Related papers: Model Repair via Symmetry
Grand unification of gauge couplings and fermionic representations remains an appealing proposal to explain the seemingly coincidental structure of the Standard Model. However, to realise the Standard Model at low energies, the unified…
In this paper we show how to recover a spectral approximations to broad classes of structured matrices using only a polylogarithmic number of adaptive linear measurements to either the matrix or its inverse. Leveraging this result we obtain…
We discuss the phenomenon of spontaneous symmetry breaking by means of a class of non-perturbative renormalization group flow equations which employ a regulating smearing function in the proper-time integration. We show, both analytically…
We discuss the mechanism for electroweak symmetry breaking in supersymmetric versions of the standard model. After briefly reviewing the possible sources of supersymmetry breaking, we show how the required pattern of symmetry breaking can…
Let $K$ be a number field, let $A$ be a finite-dimensional $K$-algebra, let $\mathrm{J}(A)$ denote the Jacobson radical of $A$, and let $\Lambda$ be an $\mathcal{O}_{K}$-order in $A$. Suppose that each simple component of the semisimple…
We investigate the minimum distance of the error correcting code formed by the homomorphisms between two finite groups $G$ and $H$. We prove some general structural results on how the distance behaves with respect to natural group…
To improve the predictive capacity of system models in the input-output sense, this paper presents a framework for model updating via learning of modeling uncertainties in locally (and thus also in globally) Lipschitz nonlinear systems.…
A self-correcting quantum memory can store and protect quantum information for a time that increases without bound with the system size and without the need for active error correction. We demonstrate that symmetry can lead to…
Let $G$ be a group of permutations acting on an $n$-vertex set $V$, and $X$ and $Y$ be two simple graphs on $V$. We say that $X$ and $Y$ are $G$-isomorphic if $Y$ belongs to the orbit of $X$ under the action of $G$. One can naturally…
Locally repairable codes (LRCs) are error correcting codes used in distributed data storage. Besides a global level, they enable errors to be corrected locally, reducing the need for communication between storage nodes. There is a close…
We show how to construct lattice sigma models in one, two and four dimensions which exhibit an exact fermionic symmetry. These models are discretized and {\it twisted} versions of conventional supersymmetric sigma models with N=2…
This paper presents a transformational approach for model checking two important classes of metric temporal logic (MTL) properties, namely, bounded response and minimum separation, for nonhierarchical object-oriented Real-Time Maude…
Thousands of person-years have been invested in searches for New Physics (NP), the majority of them motivated by theoretical considerations. Yet, no evidence of beyond the Standard Model (BSM) physics has been found. This suggests that…
We consider the approximate recovery of multivariate periodic functions from a discrete set of function values taken on a rank-$s$ integration lattice. The main result is the fact that any (non-)linear reconstruction algorithm taking…
Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework…
We study continuous symmetry reduction of dynamical systems by the method of slices (method of moving frames) and show that a `slice' defined by minimizing the distance to a single generic `template' intersects the group orbit of every…
We construct a Hamiltonian lattice regularisation of the $N$-flavour Gross-Neveu model that manifestly respects the full $\mathsf{O}(2N)$ symmetry, preventing the appearance of any unwanted marginal perturbations to the quantum field…
We use perturbation theory to construct perfect lattice actions for fermions and gauge fields by blocking directly from the continuum. When one uses a renormalization group transformation that preserves chiral symmetry the resulting lattice…
We present a systematic and exact way of computing finite size corrections for the random energy model, in its low temperature phase. We obtain explicit (though complicated) expressions for the finite size corrections of the overlap…
We study the $\mathcal{PT} $-symmetry breaking for the scattering problem in a one-dimensional (1D) non-Hermitian tight-binding lattice model with balanced gain and loss distributed on two adjacent sites. In the scattering process the…