Related papers: Symmetry Breaking Using Value Precedence
Modeling symmetry breaking is essential for understanding the fundamental changes in the behaviors and properties of physical systems, from microscopic particle interactions to macroscopic phenomena like fluid dynamics and cosmic…
For nonlinear inverse problems that are prevalent in imaging science, symmetries in the forward model are common. When data-driven deep learning approaches are used to solve such problems, these intrinsic symmetries can cause substantial…
Symmetry can be used to help solve many problems. For instance, Einstein's famous 1905 paper ("On the Electrodynamics of Moving Bodies") uses symmetry to help derive the laws of special relativity. In artificial intelligence, symmetry has…
Symmetry breaking is a crucial technique in modern combinatorial solving, but it is difficult to be sure it is implemented correctly. The most successful approach to deal with bugs is to make solvers certifying, so that they output not just…
We first outline the calculations of the neutron-proton mass difference and of the axial singlet matrix element (relevant to the "proton spin" puzzle) in a generalized Skyrme model of pseudoscalars and vectors. These two calculations are,…
The minimum-cost arborescence problem is a well-studied problem in the area of graph theory, with known polynomial-time algorithms for solving it. Previous literature introduced new variations on the original problem with different…
Kinematical and dynamical mechanisms leading to the spontaneous breaking of space-time symmetries are described. The symmetries affected are space and time translations, space rotations, scale and conformal transformations. Applications are…
In this work, we explore the trade-offs of explicit structural priors, particularly group equivariance. We address this through theoretical analysis and a comprehensive empirical study. To enable controlled and fair comparisons, we…
We consider the problem of decomposing a real-valued symmetric tensor as the sum of outer products of real-valued vectors. Algebraic methods exist for computing complex-valued decompositions of symmetric tensors, but here we focus on…
These lectures provide a simple introduction to supersymmetry breaking. After presenting the basics of the subject and illustrating them in tree-level examples, we discuss dynamical supersymmetry breaking, emphasizing the role of holomorphy…
In these lectures we look for parallels between symmetry breaking in the early universe and condensed matter systems, and discuss experiments that display these.
Solutions of boundary value problems for a diffusion equation of fractional and variable order in differential and difference settings are studied. It is shown that the method of energy inequalities is applicable to obtaining a priori…
The concepts of symmetry and its breakdown are investigated in two different terms according to whether the resulting asymmetry is universal or only obtained for a special configuration: we shall illustrate this by considering in the first…
Efficient omission of symmetric solution candidates is essential for combinatorial problem-solving. Most of the existing approaches are instance-specific and focus on the automatic computation of Symmetry Breaking Constraints (SBCs) for…
We review the subject of spontaneous supersymmetry breaking. First we consider supersymmetry breaking in a semiclassical theory. We illustrate it with several examples, demonstrating different phenomena, including metastable supersymmetry…
Substitutability, interchangeability and related concepts in Constraint Programming were introduced approximately twenty years ago and have given rise to considerable subsequent research. We survey this work, classify, and relate the…
We investigate the concept of symmetry and its role in problem solving. This paper first defines precisely the elements that constitute a "problem" and its "solution," and gives several examples to illustrate these definitions. Given…
I review the status of the ElectroWeak Symmetry Breaking problem. The lectures are naturally divided into two parts. The first is mostly devoted to overview the impact of current data on the issue of EWSB. The tools are known, the latest…
Constraint programming uses enumeration and search tree pruning to solve combinatorial optimization problems. In order to speed up this solution process, we investigate the use of semidefinite relaxations within constraint programming. In…
We consider the ground state of a one-dimensional critical quantum system carrying a global symmetry in the bulk, which is explicitly broken by its boundary conditions. We probe the system via a string-order parameter, showing how it…