Projective line over the finite quotient ring GF(2)[x]/〈x 3 ™ x〉 and quantum entanglement: The Mermin “magic” square/pentagram

In 1993, Mermin gave surprisingly simple proofs of the Bell-Kochen-Specker (BKS) theorem in Hilbert spaces of dimensions four and eight respectively using what has since been called the Mermin-Peres “magic” square and the Mermin pentagram. The former is a 3×3 array of nine observables commuting pairwise in each row and column and arranged such that their product properties contradict those of the assigned eigenvalues. The latter is a set of ten observables arranged in five groups of four lying along five edges of the pentagram and characterized by a similar contradiction. We establish a one-to-one correspondence between the operators of the Mermin-Peres square and the points of the projective line over the product ring GF(2) ⊗ GF(2). Under this map, the concept mutually commuting transforms into mutually distant, and the distinguishing character of the third column’s observables has its counterpart in the distinguished properties of the coordinates of the corresponding points, whose entries are either both zero divisors or both units. The ten operators of the Mermin pentagram correspond to a specific subset of points of the line over GF(2)[x]/〈x³ ™ x〉. But the situation in this case is more intricate because there are two different configurations that seem to serve our purpose equally well. The first one comprises the three distinguished points of the (sub)line over GF(2), their three “Jacobson” counterparts, and the four points whose both coordinates are zero divisors. The other con.guration features the neighborhood of the point (1, 0) (or, equivalently, that of (0, 1)). We also mention some other ring lines that might be relevant to BKS proofs in higher dimensions. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 151, No. 2, pp. 219–227, May, 2007.     

Wick Power Series Converging to Nonlocal Fields

We consider the infinite series in Wick powers of a generalized free field that are convergent under smoothing with analytic test functions and realize a nonlocal extension of the Borchers equivalence classes. The nonlocal fields to which the Wick power series converge are proved to be asymptotically commuting. This property serves as a natural generalization of the relative locality of the Wick polynomials. The proposed proof is based on exploiting the analytic properties of the vacuum expectation values in the x space and applying the Cauchy–Poincaré theorem.     

Primal‐dual active set methods for Allen–Cahn variational inequalities with nonlocal constraints

We propose and analyze a primal‐dual active set method for discretized versions of the local and nonlocal Allen–Cahn variational inequalities. An existence result for the nonlocal variational inequality is shown in a formulation involving Lagrange multipliers for local and nonlocal constraints. Local convergence of the discrete method is shown by interpreting the approach as a semismooth Newton method. Properties of the method are discussed and several numerical simulations demonstrate its efficiency. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

A local saddle point theorem and an application to a nonlocal PDE

We prove a local saddle point theorem that can be viewed as a generalization of the saddle point theorem of Rabinowitz. A difficulty to overcome is that there isn’t any linking. We then apply the theorem to show the existence of solutions of a nonlocal partial differential equations.     

Common fixed point theorems in intuitionistic fuzzy metric spaces

The purpose of this paper, using the idea of intuitionistic fuzzy set due to Atanassov [2], we define the notion of intuitionistic fuzzy metric spaces (see, [1]) due to Kramosil and Michalek [17] and Jungck’s common fixed point theorem ([11]) is generalized to intuitionistic fuzzy metric spaces. Further, we first formulate the definition of weakly commuting and R-weakly commuting mappings in intuitionistic fuzzy metric spaces and prove the intuitionistic fuzzy version of Pant’s theorem ([21]).     

Conservation laws for one-layer shallow water wave systems

The problem of correspondence between symmetries and conservation laws for one-layer shallow water wave systems in the plane flow, axisymmetric flow and dispersive waves is investigated from the composite variational principle of view in the development of the study [N.H. Ibragimov, A new conservation theorem, Journal of Mathematical Analysis and Applications, 333(1) (2007) 311–328]. This method is devoted to construction of conservation laws of non-Lagrangian systems. Composite principle means that in addition to original variables of a given system, one should introduce a set of adjoint variables in order to obtain a system of Euler–Lagrange equations for some variational functional. After studying Lie point and Lie–Bäcklund symmetries, we obtain new local and nonlocal conservation laws. Nonlocal conservation laws comprise nonlocal variables defined by the adjoint equations to shallow water wave systems. In particular, we obtain infinite local conservation laws and potential symmetries for the plane flow case.     

Approximate Controllability of Fractional Neutral Stochastic Evolution Equations with Nonlocal Conditions

In this paper, the approximate controllability of neutral stochastic fractional differential equations involving nonlocal initial conditions is studied. By using Sadovskii’s fixed point theorem with stochastic analysis theory, we derive a new set of sufficient conditions for the approximate controllability of semilinear fractional stochastic differential equations with nonlocal conditions under the assumption that the corresponding linear system is approximately controllable. Finally, an application to a fractional partial stochastic differential equation with nonlocal initial condition is provided to illustrate the obtained theory.     

Recursion Operator of the Narita–Itoh–Bogoyavlensky Lattice

We construct a recursion operator for the family of Narita–Itoh–Bogoyavlensky infinite lattice equations using its Lax presentation and present their mastersymmetries and bi‐Hamiltonian structures. We show that this highly nonlocal recursion operator generates infinitely many local symmetries.     

Optimal control of heterogeneous systems: Basic theory

A general model of a heterogeneous control system is introduced in the form of a first order distributed system with nonlocal dynamics and exogenous side-conditions. The heterogeneity is represented by a parameter taking values in an abstract measurable space, so that both continuous and discrete heterogeneity, as well as probabilistic heterogeneity without density, are included. A distributed and a lumped controls are involved, the latter appearing also in the side conditions. An existence theorem is proved for the uncontrolled system, and the sensitivity of the solution with respect to the control variables is estimated. The main result is an optimality condition in the form of the Pontryagin local maximum principle. A global maximum principle holds for the distributed control under an additional condition that rules out discrete measurable heterogeneity spaces. A number of possible applications are outlined: age-structured systems, size-structured systems, (nonlocal) advection-reaction equations, static parametric heterogeneity in epidemiology, and two-stage control systems with uncertain switching time.     

Conservation laws of KdV equation with time dependent coefficients

We determine conservation laws of the generalized KdV equation of time dependent variable coefficients of the linear damping and dispersion. The underlying equation is not derivable from a variational principle and hence one cannot use Noether’s theorem here to construct conservation laws as there is no Lagrangian. However, we show that by utilizing the new conservation theorem and the partial Lagrangian approach one can construct a number of local and nonlocal conservation laws for the underlying equation.     

一个带非局部源的反应扩散方程组解的存在性和渐近性态

本文研究带非局部源的半线性反应扩散方程组,并通过建立比较定理,利用Schauder不动点定理证明古典解的存在唯一性,得到了解的爆破点集与解的渐近性态.     

Commuting pairs and triples of matrices and related varieties

In this note, we show that the set of all commuting d-tuples of commuting n×n matrices that are contained in an n-dimensional commutative algebra is a closed set, and therefore, Gerstenhaber's theorem on commuting pairs of matrices is a consequence of the irreduciblity of the variety of commuting pairs. We show that the variety of commuting triples of 4×4 matrices is irreducible. We also study the variety of n-dimensional commutative subalgebras of M_n(F), and show that it is irreducible of dimension n²−n for n4, but reducible, of dimension greater than n²−n for n7.     

GLOBAL EXISTENCE, UNIQUENESS, AND STABILITY FOR A NONLINEAR HYPERBOLIC-PARABOLIC PROBLEM IN PULSE COMBUSTION

A global existence theorem is established for an initial-boundary value problem,with time-dependent boundary data,arising in a lumped parameter model of pulse combustion; the model in question gives ri...     

Approximation Technique for Fractional Evolution Equations with Nonlocal Integral Conditions

We consider a class of fractional evolution equations with nonlocal integral conditions in Banach spaces. New existence of mild solutions to such a problem are established using Schauder fixed-point theorem, diagonal argument and approximation techniques under the hypotheses that the nonlinear term is Carathéodory continuous and satisfies some weak growth condition, the nonlocal term depends on all the value of independent variable on the whole interval and satisfies some weak growth condition. This work may be viewed as an attempt to develop a general existence theory for fractional evolution equations with general nonlocal integral conditions. Finally, as a sample of application, the results are applied to a fractional parabolic partial differential equation with nonlocal integral condition. The results obtained in this paper essentially extend some existing results in this area.     

A sufficient condition for the existence of a principal eigenvalue for nonlocal diffusion equations with applications

Considerable work has gone into studying the properties of nonlocal diffusion equations. The existence of a principal eigenvalue has been a significant portion of this work. While there are good results for the existence of a principal eigenvalue equations on a bounded domain, few results exist for unbounded domains. On bounded domains, the Krein–Rutman theorem on Banach spaces is a common tool for showing existence. This article shows that generalized Krein–Rutman can be used on unbounded domains and that the theory of positive operators can serve as a powerful tool in the analysis of nonlocal diffusion equations. In particular, a useful sufficient condition for the existence of a principal eigenvalue is given.     

Characteristic and mixed problems for second-order equations of the hyperbolic type

We prove a theorem on the reduction of the Goursat problem in integral form to an equivalent system of two Fredholm integral equations of the second kind and a uniqueness theorem for its solution. We suggest a method for reducing nonlocal characteristic and mixed problems, including the Samarskii problem for a second-order differential equation, to local problems for partial differential equations of higher order. We present examples illustrating the importance of the condition ensuring the uniqueness of the solution of the problems in question.     

Classical predator–prey system with infection of prey population—a mathematical model

The present paper deals with the problem of a classical predator–prey system with infection of prey population. A classical predator–prey system is split into three groups, namely susceptible prey, infected prey and predator. The relative removal rate of the susceptible prey due to infection is worked out. We observe the dynamical behaviour of this system around each of the equilibria and point out the exchange of stability. It is shown that local asymptotic stability of the system around the positive interior equilibrium ensures its global asymptotic stability. We prove that there is always a Hopf bifurcation for increasing transmission rate. To substantiate the analytical findings, numerical experiments have been carried out for hypothetical set of parameter values. Our analysis shows that there is a threshold level of infection below which all the three species will persist and above which the disease will be epidemic. Copyright © 2003 John Wiley & Sons, Ltd.     

A uniqueness theorem for two-point boundary value problems

We prove a uniqueness theorem for solutions of two-point boundary value problems, which says that when the nonlinearity is sublinear and Lipschitzian, and one of the boundary values is fixed, then for sufficiently large values of the other boundary value there is a unique solution of the problem. The proof is based on the Banach's fixed-point theorem, and the argument used to show that the relevant operator is a contraction makes use of a generalization of the Riemann-Lebesgue lemma     

Inverse problem for a quasilinear hyperbolic equation with a nonlocal boundary condition containing a delay argument

We consider a problem for a quasilinear hyperbolic equation with a nonlocal condition that contains a retarded argument. By reducing this problem to a nonlinear integrofunctional equation, we prove the existence and uniqueness theorem for its solution. We pose an inverse problem of finding a solution-dependent coefficient of the equation on the basis of additional information on the solution; the information is given at a fixed point in space and is a function of time. We prove the uniqueness theorem for the solution of the inverse problem. The proof is based on the derivation and analysis of an integro-functional equation for the difference of two solutions of the inverse problem.     

Legendre–Gauss–Lobatto spectral collocation method for nonlinear delay differential equations

A Legendre–Gauss–Lobatto spectral collocation method is introduced for the numerical solutions of a class of nonlinear delay differential equations. An efficient algorithm is designed for the single‐step scheme and applied to the multiple‐domain case. As a theoretical result, we obtain a general convergence theorem for the single‐step case. Numerical results show that the suggested algorithm enjoys high‐order accuracy both in time and in the delayed argument and can be implemented in a robust and efficient manner. Copyright © 2013 John Wiley & Sons, Ltd.