Traversable Wormholes and the Brouwer Fixed-Point Theorem

The Brouwer fixed-point theorem in topology states that for any continuous mapping f on a compact convex set into itself admits a fixed point, i.e., a point x0 such that f(x0) = x0. Under suitable conditions, this fixed point corresponds to the throat of a traversable wormhole, i.e., b(r0) = r0 for the shape function b = b(r). The possible existence of wormholes can therefore be deduced from purely mathematical considerations without going beyond the existing physical requirements.

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.

New Asymptotic Results on Fermat-Wiles Theorem

We analyse the Diophantine equation of Fermat xp yp = zp with p > 2 a prime, x, y, z positive nonzero integers. We consider the hypothetical solution (a, b, c) of previous equation. We use Fermat main divisors, Diophantine remainders of (a, b, c), an asymptotic approach based on Balzano Weierstrass Analysis Theorem as tools. We construct convergent infinite sequences and establish asymptotic results including the following surprising one. If z y = 1 then there exists a tight bound N such that, for all prime exponents p > N , we have xp yp zp.

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.

Some convergence theorems of fuzzy concave integral on fuzzyσ-algebra

In this paper,we consider the extension of the concave integral from classical crispσ-algebra to fuzzyσ-algebra of fuzzy sets.Firstly,the concept of fuzzy concave integral on a fuzzy set is introduced.Secondly,some important properties of such integral are discussed.Finally,various kinds of convergence theorems of a sequence of fuzzy concave integrals are proved.

Sparse-Grid Implementation of Fixed-Point Fast Sweeping WENO Schemes for Eikonal Equations

Fixed-point fast sweeping methods are a class of explicit iterative methods developed in the literature to efficiently solve steady-state solutions of hyperbolic partial differential equations(PDEs).As other types of fast sweeping schemes,fixed-point fast sweeping methods use the Gauss-Seidel iterations and alternating sweeping strategy to cover characteristics of hyperbolic PDEs in a certain direction simultaneously in each sweeping order.The resulting iterative schemes have a fast convergence rate to steady-state solutions.Moreover,an advantage of fixed-point fast sweeping methods over other types of fast sweeping methods is that they are explicit and do not involve the inverse operation of any nonlinear local system.Hence,they are robust and flexible,and have been combined with high-order accurate weighted essentially non-oscillatory(WENO)schemes to solve various hyperbolic PDEs in the literature.For multidimensional nonlinear problems,high-order fixed-point fast sweeping WENO methods still require quite a large amount of computational costs.In this technical note,we apply sparse-grid techniques,an effective approximation tool for multidimensional problems,to fixed-point fast sweeping WENO methods for reducing their computational costs.Here,we focus on fixed-point fast sweeping WENO schemes with third-order accuracy(Zhang et al.2006[41]),for solving Eikonal equations,an important class of static Hamilton-Jacobi(H-J)equations.Numerical experiments on solving multidimensional Eikonal equations and a more general static H-J equation are performed to show that the sparse-grid computations of the fixed-point fast sweeping WENO schemes achieve large savings of CPU times on refined meshes,and at the same time maintain comparable accuracy and resolution with those on corresponding regular single grids.

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.

A Study on High School Mathematics Teaching Design Based on Teaching for Robust Understanding: Taking the Cosine Theorem as an Example

Teachers’teaching behavior plays a crucial role in students’development,and there are problems in the current teaching behavior of mathematics teachers such as ignoring students’cognitive needs,lack of equal opportunities for students’classroom performance as well as lack of formative evaluation of students.In order to solve the phenomenon,this paper analyzes and explains how to promote teaching based on the Teaching for Robust Understanding(TRU)evaluation framework with the goal of focusing on the development of all students,taking the teaching design of The Cosine Theorem as an example,and provides ideas and methods for first-line high school mathematics teachers.

The Njiki’s Fundamental Theorem-Definition on Fractions in the Mathematical Set ℚ and by Extension in ℝ and ℂ, for the Purpose of Leading to the Construction of Some Algebraic Structures as Its Theoretical Applications and for the Practical Ones

The purpose of the research in the NJIKI’s fundamental THEOREM-DEFINITION on fractions in the mathematical set ℚand by extension in ℝand ℂand in order to construct some algebraic structures is about the proved EXISTENCE and the DEFINITION by NJIKI of two INNOVATIVE, IMPORTANT and TEACHABLE operations of addition or additive operations, in ℚ, marked ⊕and +α,β, and taken as VECTORIAL, TRIANGULAR, of THREE or PROPORTIONAL operations and in order to make THEM not be different from the RATIONAL ONE, +, but to bring much more and new information on fractions, and, by extension in ℝand ℂ. And the very NJIKI’s fundamental THEOREM-DEFINITION having many APPLICATIONS in the everyday life of the HUMAN BEINGS and without talking about computer sciences, henceforth being supplied with very interesting new ALGORITHMS. And as for the work done in the research, it will be waiting for its extension to be done after publication and along with the research results concerned.

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.

A Secure and Effective Energy-Aware Fixed-Point Quantization Scheme for Asynchronous Federated Learning

Asynchronous federated learning(AsynFL)can effectivelymitigate the impact of heterogeneity of edge nodes on joint training while satisfying participant user privacy protection and data security.However,the frequent exchange of massive data can lead to excess communication overhead between edge and central nodes regardless of whether the federated learning(FL)algorithm uses synchronous or asynchronous aggregation.Therefore,there is an urgent need for a method that can simultaneously take into account device heterogeneity and edge node energy consumption reduction.This paper proposes a novel Fixed-point Asynchronous Federated Learning(FixedAsynFL)algorithm,which could mitigate the resource consumption caused by frequent data communication while alleviating the effect of device heterogeneity.FixedAsynFL uses fixed-point quantization to compress the local and global models in AsynFL.In order to balance energy consumption and learning accuracy,this paper proposed a quantization scale selection mechanism.This paper examines the mathematical relationship between the quantization scale and energy consumption of the computation/communication process in the FixedAsynFL.Based on considering the upper bound of quantization noise,this paper optimizes the quantization scale by minimizing communication and computation consumption.This paper performs pertinent experiments on the MNIST dataset with several edge nodes of different computing efficiency.The results show that the FixedAsynFL algorithm with an 8-bit quantization can significantly reduce the communication data size by 81.3%and save the computation energy in the training phase by 74.9%without significant loss of accuracy.According to the experimental results,we can see that the proposed AsynFixedFL algorithm can effectively solve the problem of device heterogeneity and energy consumption limitation of edge nodes.

A Fixed-Point Iterative Method for Discrete Tomography Reconstruction Based on Intelligent Optimization

Discrete Tomography(DT)is a technology that uses image projection to reconstruct images.Its reconstruction problem,especially the binary image(0–1matrix)has attracted strong attention.In this study,a fixed point iterative method of integer programming based on intelligent optimization is proposed to optimize the reconstructedmodel.The solution process can be divided into two procedures.First,the DT problem is reformulated into a polyhedron judgment problembased on lattice basis reduction.Second,the fixed-point iterativemethod of Dang and Ye is used to judge whether an integer point exists in the polyhedron of the previous program.All the programs involved in this study are written in MATLAB.The final experimental data show that this method is obviously better than the branch and bound method in terms of computational efficiency,especially in the case of high dimension.The branch and bound method requires more branch operations and takes a long time.It also needs to store a large number of leaf node boundaries and the corresponding consumptionmatrix,which occupies a largememory space.

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.

A Fixed-Point Fast Sweeping WENO Method with Inverse Lax-Wendroff Boundary Treatment for Steady State of Hyperbolic Conservation Laws

Fixed-point fast sweeping WENO methods are a class of efficient high-order numerical methods to solve steady-state solutions of hyperbolic partial differential equations(PDEs).The Gauss-Seidel iterations and alternating sweeping strategy are used to cover characteristics of hyperbolic PDEs in each sweeping order to achieve fast convergence rate to steady-state solutions.A nice property of fixed-point fast sweeping WENO methods which distinguishes them from other fast sweeping methods is that they are explicit and do not require inverse operation of nonlinear local systems.Hence,they are easy to be applied to a general hyperbolic system.To deal with the difficulties associated with numerical boundary treatment when high-order finite difference methods on a Cartesian mesh are used to solve hyperbolic PDEs on complex domains,inverse Lax-Wendroff(ILW)procedures were developed as a very effective approach in the literature.In this paper,we combine a fifthorder fixed-point fast sweeping WENO method with an ILW procedure to solve steadystate solution of hyperbolic conservation laws on complex computing regions.Numerical experiments are performed to test the method in solving various problems including the cases with the physical boundary not aligned with the grids.Numerical results show highorder accuracy and good performance of the method.Furthermore,the method is compared with the popular third-order total variation diminishing Runge-Kutta(TVD-RK3)time-marching method for steady-state computations.Numerical examples show that for most of examples,the fixed-point fast sweeping method saves more than half CPU time costs than TVD-RK3 to converge to steady-state solutions.

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.

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.

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.

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.