Related papers: Model Repair via Symmetry
Algorithmic meta-theorems explain the tractability of large classes of computational problems by linking logical expressibility with structural graph properties. While extensions of first-order logic such as FO+dp admit efficient model…
We obtain lattice models whose continuum limits correspond to $N=2$ superconformal coset models. This is done by taking the well known vertex model whose continuum limit is the $G \times G/G$ conformal field theory, and twisting the…
A novel decomposition scheme to solve parametric non-convex programs as they arise in Nonlinear Model Predictive Control (NMPC) is presented. It consists of a fixed number of alternating proximal gradient steps and a dual update per time…
Symmetries are ubiquitous in network systems and have profound impacts on the observable dynamics. At the most fundamental level, many synchronization patterns are induced by underlying network symmetry, and a high degree of symmetry is…
In this work a lattice formulation of a supersymmetric theory is proposed and tested that preserves the complete supersymmetry on the lattice. The results of a one-dimensional nonperturbative simulation show the realization of the full…
Among (regular, normal) parabolic geometries of type $(G,P)$, there is a locally unique maximally symmetric structure and it has symmetry dimension $\dim(G)$. The symmetry gap problem concerns the determination of the next realizable…
A general scheme is proposed and tested to control the symmetry breaking instability of a homogeneous solution of a spatially extended multispecies model, defined on a network. The inherent discreteness of the space makes it possible to act…
We carry out an extended symmetry analysis of the multi-layer quasi-geostrophic problem. This model is given by a system of an arbitrary number of coupled barotropic vorticity equations. Conservation laws and a Hamiltonian structure for the…
We explore the existence of time reparametrization symmetry in p-spin models. Using the Martin-Siggia-Rose generating functional, we analytically probe the long-time dynamics. We perform a renormalization group analysis where we…
Motivated by the application of Reed-Solomon codes to recently emerging decentralized storage systems such as Storj and Filebase/Sia, we study the problem of designing compact repair groups for recovering multiple failures in a…
We construct a family of one-dimensional (1D) quantum lattice models based on $G$-graded unitary fusion category $\mathcal{C}_G$. This family realize an interpolation between the anyon-chain models and edge models of 2D symmetry-protected…
The Hopf-Galois structures on normal extensions $K/k$ with $G=Gal(K/k)$ are in one-to-one correspondence with the set of regular subgroups $N\leq B=Perm(G)$ that are normalized by the left regular representation $\lambda(G)\leq B$. Each…
We investigate the interplay of generalized global symmetries in 2+1 dimensions in a lattice model that couples a $\mathbb{Z}_N$ clock model to a $\mathbb{Z}_N$ gauge theory via a topological interaction. This coupling binds the charges of…
Let $G$ be a linear connected non-compact real simple Lie group and let $K\subset G$ be a maximal compact subgroup of $G$. Suppose that the centre of $K$ isomorphic to $\mathbb{S}^1$ so that $G/K$ is a global Hermitian symmetric space. Let…
As a nonperturbative check on the Q-exact lattice formulation, we demonstrate that the continuum R-symmetries are recovered. We locate the critical domain of the lattice theory. Aspects of the continuum nonrenormalization theorems are found…
We found an additional symmetry hidden in the fermion and Higgs sectors of the Standard Model. It is connected to the centers of the SU(3) and SU(2) subgroups of the gauge group. A lattice regularization of the whole Standard Model is…
Symmetry is an important feature of many constraint programs. We show that any problem symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each…
We establish a connection between problems studied in rigidity theory and matroids arising from linear algebraic constructions like tensor products and symmetric products. A special case of this correspondence identifies the problem of…
We reconsider the issue of spontaneous symmetry breaking in SO(10) grand unified theories. The emphasis is put on the quest for the minimal Higgs sector leading to a phenomenologically viable breaking to the standard model gauge group.…
Many modern data analysis algorithms either assume that or are considerably more efficient if the distances between the data points satisfy a metric. These algorithms include metric learning, clustering, and dimensionality reduction.…