Related papers: Breaking Value Symmetry
We can break symmetry by eliminating solutions within a symmetry class that are not least in the lexicographical ordering. This is often referred to as the lex-leader method. Unfortunately, as symmetry groups can be large, the lexleader…
Motivated by phase transitions in combinatorial optimization problems, we define two kinds of geometry-preserving reductions between constraint satisfaction problems and other NP-search problems. We give a couple of examples and…
Handling symmetries in optimization problems is essential for devising efficient solution methods. In this article, we present a general framework that captures many of the already existing symmetry handling methods. While these methods are…
It is pointed out that every renormalizable supersymmetric field theory has a symmetry which is hidden in plain sight, but is usually broken by soft terms which obey supersymmetry. On the other hand, the terms which break supersymmetry…
We propose a generalization of the concept of symmetry as a continuous function of the reference center or line location. We suggest that this concept can be applied to many closed systems and exploring its time evolution. When the function…
This preprint deals with the symmetry of parametrized families of systems and the changes therein as the parameter changes. There are (at least ?) two kinds of symmetry: generic and specific which behave in almost totally opposite ways as…
Some recent experimental and theoretical work on 1) charge symmetry-breaking, 2) parity non-conservation, and 3) searches for breaking of time reversal invariance are reviewed. The examples illustrate the uses of symmetry to learn about…
Symmetries in discrete constraint satisfaction problems have been explored and exploited in the last years, but symmetries in continuous constraint problems have not received the same attention. Here we focus on permutations of the…
Symmetry in finite model finding problems of many-sorted first-order logic (MSFOL) can be exploited to reduce the number of interpretations considered during search, thereby improving solver performance. In this thesis, we situate symmetry…
We study creating and analyzing symmetry and broken symmetry in digital art. Our focus is not so much on computer-generating artistic images, but rather on analyzing concepts and templates for incorporating symmetry and symmetry breaking…
A conservative class of constraint satisfaction problems CSPs is a class for which membership is preserved under arbitrary domain reductions. Many well-known tractable classes of CSPs are conservative. It is well known that lexleader…
Values are things that are important to us. Actions activate values - they either go against our values or they promote our values. Values themselves can either be conforming or conflicting depending on the action that is taken. In this…
The status of internal symmetry breaking at high temperature in supersymmetric models is reviewed. This phenomenon could solve some well known cosmological problems, such as the domain wall, monopole and false vacuum problems.
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…
Symmetry plays a fundamental role in understanding natural phenomena and mathematical structures. This work develops a comprehensive theory for studying the persistent symmetries and degree of asymmetry of finite point configurations over…
Symmetry is the essential element of lifted inference that has recently demon- strated the possibility to perform very efficient inference in highly-connected, but symmetric probabilistic models models. This raises the question, whether…
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…
Diverse experimental constraints now motivate models of supersymmetry breaking in which some superpartners have masses well above the weak scale. Three alternatives are focus point supersymmetry and inverted hierarchy models, which embody a…
We investigate the possibility that supersymmetry is not a fundamental symmetry of nature, but emerges as an accidental approximate global symmetry at low energies. This can occur if the visible sector is non-supersymmetric at high scales,…
We consider the problem of sequencing a set of positive numbers. We try to find the optimal sequence to maximize the variance of its partial sums. The optimal sequence is shown to have a beautiful structure. It is interesting to note that…