相关论文: 2-fold and 3-fold mixing: why 3-dot-type counterex…

One of the driving problems in the CSP area is the Dichotomy Conjecture, formulated in 1993 by Feder and Vardi [STOC'93], stating that for any fixed relational structure G the Constraint Satisfaction Problem CSP(G) is either NP--complete or…

Neutrino mixing is studied from a symmetry perspective, both bottom-up and top-down. In the bottom-up approach, we start from the tri-bimaximal mixing, or one of its three partial patterns, and construct a list of horizontal symmetry groups…

Constructive methods for matrices of multihomogeneous (or multigraded) resultants for unmixed systems have been studied by Weyman, Zelevinsky, Sturmfels, Dickenstein and Emiris. We generalize these constructions to mixed systems, whose…

We compute the $p$-primary components of the linking pairings of orientable 3-manifolds admitting a fixed-point free $S^1$-action. Using this, we show that any non-singular linking pairing on a finite abelian group with homogeneous…

We model tri-bimaximal lepton mixing from first principles in a way that avoids the problem of the vacuum alignment characteristic of such models. This is achieved by using a softly broken A4 symmetry realized with an isotriplet fermion,…

This work presents a new three-operator splitting method to handle monotone inclusion and convex optimization problems. The proposed splitting serves as another natural extension of the Douglas-Rachford splitting technique to problems…

Topology in general but also topological objects such as monopoles are a central concept in physics. They are prime examples for the intriguing physics of gauge theories and topological states of matter. Vector monopoles are already…

The mixing among flavors in quarks or leptons in terms of a single rotation angle is defined such that three flavor eigenvectors are transformed into three mass eigenvectors by a single rotation about a common axis. We propose that a…

In 1970, Donald Ornstein proved a landmark result in dynamical systems, viz., two Bernoulli systems with the same entropy are isomorphic except for a measure 0 set. Keane and Smorodinsky gave a finitary proof of this result. They also…

We study trapped surfaces from the point of view of local isometric embedding into three-dimensional Riemannian manifolds. When a two-surface is embedded into three-dimensional Euclidean space, the problem of finding all surfaces applicable…

In a phase with fractional excitations, topological properties are enriched in the presence of global symmetry. In particular, fractional excitations can transform under symmetry in a fractionalized manner, resulting in different Symmetry…

A new mathematical notation is proposed for the iteration of functions. It facilitates the application of the iteration of functions in mathematical and logical expressions, definitions of sets, and formulations of algorithms. Illustrations…

In this communication we introduce a new model which represents the interaction between an atom and two fields injected simultaneously within a cavity including the nonlinear couplers. By using the canonical transformation the model can be…

We propose a class of models which generate three-dimensional random volumes, where each configuration consists of triangles glued together along multiple hinges. The models have matrices as the dynamical variables and are characterized by…

In this paper we continue the work of Kalnins et al in classifying all second-order conformally-superintegrable (Laplace-type) systems over conformally flat spaces, using tools from algebraic geometry and classical invariant theory. The…

We describe combinatorial approaches to the question of whether families of real matrices admit pairs of nonreal eigenvalues passing through the imaginary axis. When the matrices arise as Jacobian matrices in the study of dynamical systems,…

We study a non-commutative non-relativistic scalar field theory in 2+1 dimensions. The theory shows the UV/IR mixing typical of QFT on non-commutative spaces. The one-loop correction to the two-point function turns out to be given by a…

We identify two families of ten-point Feynman diagrams that generalize the elliptic double box, and show that they can be expressed in terms of the same class of elliptic multiple polylogarithms to all loop orders. Interestingly, one of…

Contrary to the quark mixing matrix, the lepton mixing matrix could be symmetric. We study the phenomenological consequences of this possibility. In particular, we find that symmetry would imply that |U_{e3}| is larger than 0.16, i.e.,…

Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users. The delayed solution of a triangular system over a finite…