Related papers: Model Repair via Symmetry
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 the LTL model-checking in possibilistic Kripke structure using possibility measure. First, the notion of possibilistic Kripke structure and the related possibility measure are introduced, then model-checking of reachability and…
We study $(1+1)$-dimensional $SU(N)$ spin systems in the presence of the global $SU(N)$ rotation and lattice translation symmetries. By matching the mixed anomaly of the $PSU(N)\times\mathbb{Z}$ symmetry in the continuum limit, we identify…
We extend the well-known theoretical treatment of the spontaneous symmetry breaking (SSB) in two-component systems, combining linear coupling and self-attractive nonlinearity, to a system in which the linear coupling competes with repulsive…
Symplectic gauge theories coupled to matter fields lead to symmetry enhancement phenomena that have potential applications in such diverse contexts as composite Higgs, top partial compositeness, strongly interacting dark matter, and…
Quantum error correction and symmetry arise in many areas of physics, including many-body systems, metrology in the presence of noise, fault-tolerant computation, and holographic quantum gravity. Here we study the compatibility of these two…
In semi-symbolic (control-explicit data-symbolic) model checking the state-space explosion problem is fought by representing sets of states by first-order formulas over the bit-vector theory. In this model checking approach, most of the…
The study of nonlinear phenomena in systems with many degrees of freedom often relies on complex numerical simulations. In trying to model realistic situations, these systems may be coupled to an external environment which drives their…
Although substantial progress has been achieved in solving quantum impurity problems, the numerical renormalization group (NRG) method generally performs poorly when applied to quantum lattice systems in a real-space blocking form. The…
The standard perturbative weak-coupling expansions in lattice models are asymptotic. The reason for this is hidden in the incorrect interchange of the summation and integration. However, substituting the Gaussian initial approximation of…
We examine the interplay of symmetry and topological order in $2+1$ dimensional topological phases of matter. We present a definition of the \it topological symmetry \rm group, which characterizes the symmetry of the emergent topological…
Network reconstruction consists in determining the unobserved pairwise couplings between $N$ nodes given only observational data on the resulting behavior that is conditioned on those couplings -- typically a time-series or independent…
Recall first the algebraic treatment of flows or tensions in a transportation network $N$, i.e. a connected antisymmetric 1-graph $G(X, U)$. Assume that, unusually, we take the values of flows (resp. tensions) in $\mathbb{C}$. So the…
A code is called $(n, k, r, t)$ information symbol locally repairable code \big($(n, k, r, t)_i$ LRC\big) if each information coordinate can be achieved by at least $t$ disjoint repair sets, containing at most $r$ other coordinates. This…
We construct the minimal supersymmetric left-right theory and show that at the renormalizable level it requires the existence of an intermediate $B-L$ breaking scale. The subsequent symmetry breaking down to MSSM automatically preserves…
The main thrust of our current work is to exploit very specific characteristics of a given problem in order to acquire improved compactness for supercritical problems and to prove existence of new types of solutions. To this end, we shall…
Let $G$ be a semisimple algebraic group. We develop a machinery for manipulation and manufacture of well-rounded families $\left\{ \mathcal{B}_{T}\right\} _{T>0}\subset G$ as they were defined in a work by A. Gorodnik and A. Nevo. The…
Many of the exciting features of the Standard Model of the elementary particles are inherently non-perturbative. A theoretical understanding of many physics aspects beyond the Standard Model of elementary particles also requires a…
Spontaneous symmetry breaking has been observed in lattice simulations of five-dimensional gauge theories on an orbifold. This effect is reproduced by perturbation theory if it is modified to account for a finite cut-off. We present a…
We propose a method using perturbation theory in the running coupling constant and the idea of scaling to determine improved actions for lattice field theories combining Wilson's renormalization group with Symanzik's improvement program .…