Related papers: Model Repair via Symmetry
Most of the reliability literature on modeling the effect of repairs on systems assumes the failure rate functions are monotonically increasing. For systems with non-monotonic failure rate functions, most models deal with minimal repairs…
We present a method of exploiting symmetries of discrete-time optimal control problems to reduce the dimensionality of dynamic programming iterations. The results are derived for systems with continuous state variables, and can be applied…
We study several extensions of linear-time and computation-tree temporal logics with quantifiers that allow for counting how often certain properties hold. For most of these extensions, the model-checking problem is undecidable, but we show…
Some interesting recent advances in the theoretical understanding of neural networks have been informed by results from the physics of disordered many-body systems. Motivated by these findings, this work uses the replica technique to study…
Solution and analysis of mathematical programming problems may be simplified when these problems are symmetric under appropriate linear transformations. In particular, a knowledge of the symmetries may help reduce the problem dimension, cut…
I consider the following generic scenario: an abstract model M of some 'real' system is only partially presented, or partially known to us, and we have to ensure that the actual system satisfies a given specification, formalised in some…
The Standard Model (SM) of particle physics is in such good agreement with experiment that it is still accepted as providing an accurate model of reality. Nevertheless, its algebraic foundations are in need of repair. Chirality is shown to…
Let $G$ be a connected complex semisimple Lie group, $\Gamma$ be a cocompact, irreducible and torsionless lattice in $G$ and $K$ be a maximal compact subgroup of $G$. Assume $\Gamma$ acts by left multiplication and $K$ acts by right…
We review the construction of exactly solvable lattice models whose continuum limits are $N=2$ supersymmetric models. Both critical and off-critical models are discussed. The approach we take is to first find lattice models with natural…
We develop a density matrix renormalization group (DMRG) algorithm for constrained quantum lattice models that successfully {\it{implements the local constraints as symmetries in the contraction of the matrix product states and matrix…
Symmetries found through automorphisms or graph fibrations provide important insights in network analysis. Symmetries identify clusters of robust synchronization in the network which improves the understanding of the functionality of…
We study the finite temperature symmetry behaviour of O(N_1) \times O(N_2) scalar models on the lattice and we prove that at sufficiently high temperatures and in arbitrary dimensions their full symmetry is always restored or, equivalently,…
Program synthesis and repair have emerged as an exciting area of research, driven by the potential for revolutionary advances in programmer productivity. Among most promising ideas emerging for synthesis are syntax-driven search,…
We analyse supersymmetric models that show supersymmetry breaking in one and two dimensions using lattice methods. Starting from supersymmetric quantum mechanics we explain the fundamental principles and problems that arise in putting…
We give a new framework for solving the fundamental problem of low-rank matrix completion, i.e., approximating a rank-$r$ matrix $\mathbf{M} \in \mathbb{R}^{m \times n}$ (where $m \ge n$) from random observations. First, we provide an…
For variational problems with $O(N)$-symmetry the existence of several geometrically distinct solutions had been shown by use of group theoretic approach in previous articles. It was done by a crafty choice of a family $H_i \subset O(N)$…
We consider a composite defect system where a lower-dimensional defect (sub-defect) is embedded to a higher-dimensional one, and examine renormalization group (RG) flows localized on the defect. A composite defect is constructed in the…
Symmetrization of topologically ordered wavefunctions is a powerful method for constructing new topological models. Here, we study wavefunctions obtained by symmetrizing quantum double models of a group $G$ in the Projected Entangled Pair…
Supersymmetry provides a natural playground for the construction of dynamically constrained lattice fermion models. We here illustrate how supersymmetry can be used to construct a fermionic equivalent of the PXP model with an adjustable…
We present new parallel software, SUSY LATTICE, for lattice studies of four-dimensional $\mathcal N = 4$ supersymmetric Yang--Mills theory with gauge group SU(N). The lattice action is constructed to exactly preserve a single supersymmetry…