Dilation,discrimination and Uhlmann's theorem of link products of quantum channels

We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows.We also find that the maximum value of Uhlmann's theorem can be achieved for diagonal channels.

Diophantine equations and Fermat's last theorem for multivariate(skew-)polynomials

Fermat’s Last Theorem is a famous theorem in number theory which is difficult to prove.However,it is known that the version of polynomials with one variable of Fermat’s Last Theorem over C can be proved very concisely.The aim of this paper is to study the similar problems about Fermat’s Last Theorem for multivariate(skew)-polynomials with any characteristic.

AAK Theorem and a Design of Multidimensional BIBO Stable Filters

Rational approximation theory occupies a significant place in signal processing and systems theory. This research paper proposes an optimal design of BIBO stable multidimensional Infinite Impulse Response filters with a realizable (rational) transfer function thanks to the Adamjan, Arov and Krein (AAK) theorem. It is well known that the one dimensional AAK results give the best approximation of a polynomial as a rational function in the Hankel semi norm. We suppose that the Hankel matrix associated to the transfer function has a finite rank.

Whole Perfect Vectors and Fermat’s Last Theorem

A naïve discussion of Fermat’s last theorem conundrum is described. The present theorem’s proof is grounded on the well-known properties of sums of powers of the sine and cosine functions, the Minkowski norm definition, and some vector-specific structures.

Vanishing Theorems for p-Harmonic Forms on Submanifolds in Spheres

In this paper,we present some vanishing theorems for p-harmonic forms on-super stable complete submanifold M immersed in sphere Sn+m.When 2≤1≤n-2,M has a flat normal bundle.Assuming that M is a minimal submanifold andδ>1(n-1)p2/4n[p-1+(p-1)2kp],we prove a vanishing theorem for p-harmonicℓ-forms.

EXTENDED HELMHOLTZ THEOREM AND ITS APPLICATION IN ELECTROMAGNETIC THEORY

It is proved that in a regular boundary system of rectangular,cylindrical or sphericalcoordinate,an arbitrary vector function can be separated into three orthogonal parameters:TEmodel field,TM model field and irrotational field.Each of these components can be determinedfully by a scalar function.On the basis of this theorem,the completeness of vector wave functionsystem{L,M,and N}is proved also.Thus it is explained that a vector function space can beprojected into three uncrossed subspaces not only in Euclidean space but also in the subspace ofvector wave function space.

Helmholtz Theorems, Gauge Transformations, General Covariance and the Empirical Meaning of Gauge Conditions

It is well known that the use of Helmholtz decomposition theorem for static vector fields , when applied to the time dependent vector fields , which represent the electromagnetic field, allows us to obtain instantaneous-like solutions all along . For this reason, some people thought (see e.g. [1] and references therein) that the Helmholtz theorem cannot be applied to time dependent vector fields and some modification is wanted in order to get the retarded solutions. However, the use of the Helmholtz theorem for static vector fields is correct even for time dependent vector fields (see, e.g. [2]), so a relation between the solutions was required, in such a way that a retarded solution can be transformed in an instantaneous one, and conversely. On this paper we want to suggest, following most of the time the mathematical formalism of Woodside in [3], that: 1) there are many Helmholtz decompositions, all equally consistent, 2) each one is naturally related to a space-time structure, 3) when we use the Helmholtz decomposition for the electromagnetic potentials it is equivalent to a gauge transformation, 4) there is a natural methodological criterion for choosing the gauge according to the structure postulated for a global space-time, 5) the Helmholtz decomposition is the manifestation at the level of the fields that a gauge is involved. So, when we relate the retarded solution to the instantaneous one what we do is to change the gauge and the space-time. And, if the Helmholtz decompositions are related to a space-time structure, and are equivalent to gauge transformations, each gauge transformation is natural for a specific space-time. In this way, a Helmholtz decomposition for Euclidean space is equivalent to the Coulomb gauge and a Helmholtz decomposition for the Minkowski space is equivalent to the Lorenz gauge. This leads us to consider that the theories defined by different gauges may be mathematically equivalent, because they can be related by means of a gauge transformation, but they are not empirically equivalent, because they have quite different observational consequences due to the different space-time structure involved.

DISTORTION THEOREMS FOR CLASSES OF g-PARAMETRIC STARLIKE MAPPINGS OF REAL ORDER IN C^(n)

In this paper,we define the class S_(g)^(BX)of g-parametric starlike mappings of real order γ on the unit ball BX in a complex Banach space X,where g is analytic and satisfies certain conditions.By establishing the distortion theorem of the Fr´echet-derivative type of S_(g)^(BX)with a weak restrictive condition,we further obtain the distortion results of the Jacobi-determinant type and the Fr´echet-derivative type for the corresponding classes(compared with S_(g)^(BX))defined on the unit polydisc(resp.unit ball with the arbitrary norm)in the space of n-dimensional complex variables,n≥2.Our results extend the classic distortion theorem of holomorphic functions from the case in one-dimensional complex space to the case in the higher dimensional complex space.The main theorems also generalize and improve some recent works.

REAL PALEY-WIENER THEOREMS FOR THE SPACE-TIME FOURIER TRANSFORM

This paper presents an extension of certain forms of the real Paley-Wiener theorems to the Minkowski space-time algebra. Our emphasis is dedicated to determining the space-time valued functions whose space-time Fourier transforms(SFT) have compact support using the partial derivatives operator and the Dirac operator of higher order.

Fractional Noether theorem and fractional Lagrange equation of multi-scale mechano-electrophysiological coupling model of neuron membrane

Noether theorem is applied to a variable order fractional multiscale mechano-electrophysiological model of neuron membrane dynamics.The variable orders fractional Lagrange equation of a multiscale mechano-electrophysiological model of neuron membrane dynamics is given.The variable orders fractional Noether symmetry criterion and Noether conserved quantities are given.The forms of variable orders fractional Noether conserved quantities corresponding to Noether symmetry generators solutions of the model under different conditions are discussed in detail,and it is found that the expressions of variable orders fractional Noether conserved quantities are closely dependent on the external nonconservative forces and material parameters of the neuron.

A fixed point theorem for Proinov mappings with a contractive iterate

In this paper,we consider the fixed point theorem for Proinov mappings with a contractive iterate at a point.In other words,we combine and unify the basic approaches of Proinov and Sehgal in the framework of the complete metric spaces.We consider examples to illustrate the validity of the obtained result.

A nonlinear creep model for surrounding rocks of tunnels based on kinetic energy theorem

The initiating condition for the accelerated creep of rocks has caused difficulty in analyzing the whole creep process.Moreover,the existing Nishihara model has evident shortcomings in describing the accelerated creep characteristics of the viscoplastic stage from the perspective of internal energy to analyze the mechanism of rock creep failure and determine the threshold of accelerated creep initiation.Based on the kinetic energy theorem,Perzyna viscoplastic theory,and the Nishihara model,a unified creep constitutive model that can describe the whole process of decaying creep,stable creep,and accelerated creep is established.Results reveal that the energy consumption and creep damage in the process of creep loading mainly come from the internal energy changes of geotechnical materials.The established creep model can not only describe the viscoelasticeplastic creep characteristics of rock,but also reflect the relationship between rock energy and creep deformation change.In addition,the research results provide a new method for determining the critical point of creep deformation and a new idea for studying the creep model and creep mechanical properties.

GLOBAL RIGIDITY THEOREMS FOR SUBMANIFOLDS WITH PARALLEL MEAN CURVATURE

In this paper,we mainly study the global rigidity theorem of Riemannian submanifolds in space forms.Let Mn(n≥3)be a complete minimal submanifold in the unit sphere Sn+p(1).Forλ∈[0,n2−1/p),there is an explicit positive constant C(n,p,λ),depending only on n,p,λ,such that,if∫MSn/2dM<∞,∫M(S−λ)n/2+dM<C(n,p,λ),then Mn is a totally geodetic sphere,where S denotes the square of the second fundamental form of the submanifold and∫+=max{0,f}.Similar conclusions can be obtained for a complete submanifold with parallel mean curvature in the Euclidean space Rn+p.

A Proof of Four-Color Theorem

Four-color theorem has only been proved by computer since it was proposed, many people have proposed their mathematical proof of four-color theorem, but their proof is disputed then, what lead to a situation that the mathematical proof of four-color theorem has been lacking to this day. In this article, we have summarized some laws based on previous researches, and proposed a mathematical proof of four-color theorem by using these laws trough a recursive method.

Products of Odd Numbers or Prime Number Can Generate the Three Members’ Families of Fermat Last Theorem and the Theorem Is Valid for Summation of Squares of More Than Two Natural Numbers

Fermat’s last theorem, had the statement that there are no natural numbers A, B, and C such that An + Bn = Cn, in which n is a natural number greater than 2. We have shown that any product of two odd numbers can generate Fermat or Pythagoras triple (A, B, C) following n = 2 and also it is applicable A2 + B2 + C2 + D2 + so on =An2 where all are natural numbers.

An Unbounded Fully Homomorphic Encryption Scheme Based on Ideal Lattices and Chinese Remainder Theorem

We propose an unbounded fully homomorphic encryption scheme, i.e. a scheme that allows one to compute on encrypted data for any desired functions without needing to decrypt the data or knowing the decryption keys. This is a rational solution to an old problem proposed by Rivest, Adleman, and Dertouzos [1] in 1978, and to some new problems that appeared in Peikert [2] as open questions 10 and open questions 11 a few years ago. Our scheme is completely different from the breakthrough work [3] of Gentry in 2009. Gentry’s bootstrapping technique constructs a fully homomorphic encryption (FHE) scheme from a somewhat homomorphic one that is powerful enough to evaluate its own decryption function. To date, it remains the only known way of obtaining unbounded FHE. Our construction of an unbounded FHE scheme is straightforward and can handle unbounded homomorphic computation on any refreshed ciphertexts without bootstrapping transformation technique.

On Fermat Last Theorem: The New Efficient Expression of a Hypothetical Solution as a Function of Its Fermat Divisors

Denote by a non-trivial primitive solution of Fermat’s equation (p prime).We introduce, for the first time, what we call Fermat principal divisors of the triple defined as follows. , and . We show that it is possible to express a,b and c as function of the Fermat principal divisors. Denote by the set of possible non-trivial solutions of the Diophantine equation . And, let (p prime). We prove that, in the first case of Fermat’s theorem, one has . In the second case of Fermat’s theorem, we show that , ,. Furthermore, we have implemented a python program to calculate the Fermat divisors of Pythagoreans triples. The results of this program, confirm the model used. We now have an effective tool to directly process Diophantine equations and that of Fermat. .

A Proof of Brouwer’s Fixed Point Theorem Using Sperner’s Lemma

This article offers a simple but rigorous proof of Brouwer’s fixed point theorem using Sperner’s Lemma.The general method I have used so far in the proof is mainly to convert the n-dimensional shapes to the corresponding case under the Sperner’s Labeling and apply the Sperner’s Lemma to solve the question.

改进的Mertens第一定理估计及应用

在Mertens第一定理的基础上,利用定积分估计的主要思想和Stirling’s公式的估计,对Mertens第一定理中的估计不等式进行了进一步的精确化,得到了更好的估计。改进的估计结果比原来的Mertens第一定理中的估计更加精确。把改进的Mertens第一定理估计应用到一个具体的渐近公式中,提高了该渐近公式中Landau记号里对应常数的精度范围。

基于有限谓词追踪的民机系统需求一致性检查方法

针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。