Related papers: Model Repair via Symmetry
We define and study certain integrable lattice models with non-compact quantum group symmetry (the modular double of U_q(sl_2)) including an integrable lattice regularization of the sinh-Gordon model and a non-compact version of the XXZ…
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus comes largely from quantum information theory; in contrast to…
The one-dimensional quantum breakdown model, which features spatially asymmetric fermionic interactions simulating the electrical breakdown phenomenon, exhibits an exponential U(1) symmetry and a variety of dynamical phases including…
Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases. Most of the proposed solutions make use of classical, point-based temporal logics,…
In this paper we study the problem of model reduction of linear network systems. We aim at computing a reduced order stable approximation of the network with the same topology and optimal w.r.t. H2 norm error approximation. Our approach is…
Post-hoc repair of LLM mathematical reasoning introduces an asymmetric risk: fixing an incorrect reasoning trace is useful, but replacing a trace that was already correct can be harmful. We study this problem under a selective replacement…
Supersymmetric Yang-Mills (SYM) theories in four dimensions exhibit many interesting non-perturbative phenomena that can be studied by means of Monte Carlo lattice simulations. However, the lattice regularization breaks supersymmetry…
In recent work, we developed a method to construct invertible and non-invertible symmetries of finite-group gauge theories as topological domain walls on the lattice. In the present work, we consider abelian and non-abelian finite-group…
In this work, we look at the symmetry of normal modes in symmetric structures, particularly structures with cyclic symmetry. We show that normal modes of symmetric structures have different levels of symmetry, or symmetricity. One novel…
We consider the problem of reconstructing a rank-$k$ $n \times n$ matrix $M$ from a sampling of its entries. Under a certain incoherence assumption on $M$ and for the case when both the rank and the condition number of $M$ are bounded, it…
This paper introduces a SAT-based technique that calculates a compact and complete symmetry-break for finite model finding, with the focus on structures with a single binary operation (magmas). Classes of algebraic structures are typically…
Symmetry in mathematical programming may lead to a multiplicity of solutions. In nonconvex optimisation, it can negatively affect the performance of the branch-and-bound algorithm. Symmetry may induce large search trees with multiple…
A method is proposed for latticizing a class of supersymmetric gauge theories, including N=4 super Yang-Mills. The technique is inspired by recent work on ``deconstruction''. Part of the target theory's supersymmetry is realized exactly on…
We examine unification of gauge couplings in four dimensional renormalizable gauge theories inspired by the latticized (deconstructed) SM or MSSM in five dimensions. The models are based on replicated gauge groups, spontaneously broken to…
We study a model of spinless fermions with infinite nearest-neighbor repulsion on the square ladder which has microscopic supersymmetry. It has been conjectured that in the continuum the model is described by the superconformal minimal…
Model repair is an essential topic in model-driven engineering. We present typed graph-repair programs for specific conditions; application to any typed graph yields a typed graph satisfying the condition. A model graph based on the Eclipse…
Lattice regularizations are pivotal in the non-perturbative quantization of gauge field theories. Wilson's proposal to employ group-valued link fields simplifies the regularization of gauge fields in principal fiber bundles, preserving…
We report recent results and developments from our ongoing lattice studies of $\mathcal N = 4$ supersymmetric Yang--Mills theory. These include a proof that only a single fine-tuning needs to be performed, so long as the moduli space is not…
The structure of the coincidence symmetry group of an arbitrary $n$-dimensional lattice in the $n$-dimensional Euclidean space is considered by describing a set of generators. Particular attention is given to the coincidence isometry…
The max-flow outer bound is achievable by regenerating codes for functional repair distributed storage system. However, the capacity of exact repair distributed storage system is an open problem. In this paper, the linear programming bound…