Related papers: Symmetry Breaking Using Value Precedence
The method of separation of variables is significant, it has been applied to physics, engineering , chemistry and other fields. It allows to reduce the diffculity of problems by separating the variables from partial differential equation…
We use a bifurcation theory due to Crandall and Rabinowitz to show the existence of a symmetry breaking bifurcation of a specific one parameter family of axially symmetric disc type solutions of a membrane equation with fixed boundary. In…
We shall use symmetry breaking as a tool to attack the problem of identifying the topology of chaotic scatteruing with more then two degrees of freedom. specifically we discuss the structure of the homoclinic/heteroclinic tangle and the…
Embedding spaces contain interpretable dimensions indicating gender, formality in style, or even object properties. This has been observed multiple times. Such interpretable dimensions are becoming valuable tools in different areas of…
We study a functional defined on the class of piecewise constant functions, combining a jump penalization, which discourages discontinuities, with a fidelity term that penalizes deviations from a given linear function, called the forcing…
We present a first-order theory of sequences with integer elements, Presburger arithmetic, and regular constraints, which can model significant properties of data structures such as arrays and lists. We give a decision procedure for the…
We consider boundary value problems of the first and third kind for the diffusionwave equation. By using the method of energy inequalities, we find a priori estimates for the solutions of these boundary value problems.
We study the spontaneous breaking of discrete symmetries in theories with broken gauge symmetry. The intended application is to CP breaking in theories with gauged flavor symmetries, but the analysis described here is preliminary. We…
Symmetry preserving difference schemes approximating second and third order ordinary differential equations are presented. They have the same three or four-dimensional symmetry groups as the original differential equations. The new…
Constraint programming is known for being an efficient approach for solving combinatorial problems. Important design choices in a solver are the branching heuristics, which are designed to lead the search to the best solutions in a minimum…
Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e.,…
Linearisation is often used as a first step in the analysis of nonlinear initial boundary value problems. The linearisation procedure frequently results in a confusing contradiction where the nonlinear problem conserves energy and has an…
The concept of symmetry breaking and the emergence of corresponding local order parameters constitute the pillars of modern day many body physics. The theory of quantum entanglement is currently leading to a paradigm shift in understanding…
Decision trees are widely used for interpretable machine learning due to their clearly structured reasoning process. However, this structure belies a challenge we refer to as predictive equivalence: a given tree's decision boundary can be…
Finite group symmetry is commonplace in Physics, in particular through crystallographic groups occurring in condensed matter physics -- but also through the inversions (C,P,T and their combinations) occurring in high energy physics and…
Equivariant neural networks (ENNs) have been shown to be extremely effective in applications involving underlying symmetries. By construction ENNs cannot produce lower symmetry outputs given a higher symmetry input. However, symmetry…
We deal with linear programming problems involving absolute values in their formulations, so that they are no more expressible as standard linear programs. The presence of absolute values causes the problems to be nonconvex and nonsmooth,…
Symmetry breaking is a popular technique to reduce the search space for SAT solving by exploiting the underlying symmetry over variables and clauses in a formula. The key idea is to first identify sets of assignments which fall in the same…
We develop deterministic perturbation bounds for singular values and vectors of orthogonally decomposable tensors, in a spirit similar to classical results for matrices such as those due to Weyl, Davis, Kahan and Wedin. Our bounds…
In this article a non-perturbative time-dependent technique is used to treat the initial value problem, in Quantum Mechanics context, for a non-equilibrium self-interacting fermionic system in the presence of an external magnetic field.…