Related papers: Model Repair via Symmetry
We present a new method, the Subdivision Construction, for proving the finite model property (the fmp) for broad classes of modal logics and modal rule systems. The construction builds on the framework of stable canonical rules, and…
We deconstruct the non-supersymmetric SU(5) breaking by discrete symmetry on the space-time $M^4\times S^1$ and $M^4\times S^1/(Z_2\times Z_2')$ in the Higgs mechanism deconstruction scenario. And we explain the subtle point on how to…
Crystalline membranes are one of the rare examples of bidimensional systems in which long-range order can stabilise an ordered phase in the thermodynamic limit. By a careful analysis of the Goldstone modes counting, we propose a symmetry…
Reparameterizing a probabilisitic system is common advice for improving the performance of a statistical algorithm like Markov chain Monte Carlo, even though in theory such reparameterizations should leave the system, and the performance of…
Grand Unified Theories (GUTs) are a very well motivated extensions of the Standard Model (SM), but the landscape of models and possibilities is overwhelming, and different patterns can lead to rather distinct phenomenologies. In this work…
I study, in the leptonic sector, the role of the $SU(2)_V$ custodial symmetry $\ti{\cal G}$ which was shown in ref. [1] to control the quantization of the electric charge in the $J=0$ mesonic sector. The electroweak theory is considered,…
A new type of robust estimation problem is introduced where the goal is to recover a statistical model that has been corrupted after it has been estimated from data. Methods are proposed for "repairing" the model using only the design and…
We construct N=2 supersymmetric SYK model on one-dimensional (euclidean time) lattice. One nilpotent supersymmetry is exactly realized on the lattice in use of the cyclic Leibniz rule (CLR).
We summarize recent progress in lattice studies of four-dimensional N=4 supersymmetric Yang--Mills theory and present preliminary results from ongoing investigations. Our work is based on a construction that exactly preserves a single…
We consider the problem of robust matrix completion, which aims to recover a low rank matrix $L_*$ and a sparse matrix $S_*$ from incomplete observations of their sum $M=L_*+S_*\in\mathbb{R}^{m\times n}$. Algorithmically, the robust matrix…
The design of minimum-compliance bending-resistant structures with continuous cross-section parameters is a challenging task because of its inherent non-convexity. Our contribution develops a strategy that facilitates computing all…
Non-perturbative investigations of $\mathcal N = 4$ supersymmetric Yang--Mills theory formulated on a space-time lattice have advanced rapidly in recent years. Large-scale numerical calculations are currently being carried out based on a…
The solution of problems in physics is often facilitated by a change of variables. In this work we present neural transformations to learn symmetries of Hamiltonian mechanical systems. Maintaining the Hamiltonian structure requires novel…
We study a natural generalization of stable matching to the maximum weight stable matching problem and we obtain a combinatorial polynomial time algorithm for it by reducing it to the problem of finding a maximum weight ideal cut in a DAG.…
In human-aware planning, a planning agent may need to provide an explanation to a human user on why its plan is optimal. A popular approach to do this is called model reconciliation, where the agent tries to reconcile the differences in its…
We study several aspects of the quantum structure of the minimal potentially realistic renormalizable $\mathrm{SO}(10)$ Higgs model in which the $\mathbf{45}\oplus \mathbf{126}$ scalars spontaneously break the symmetry down to the Standard…
By combining two distinct renormalization group transformations, opposing scale transformations, we obtain a composite transformation which does not rescale the system, and drives it to a "geometrical" fixed point, controlling the effective…
We construct the truly minimal left-right symmetric model by utilizing only the fields dictated by supersymmetry and automatic R-parity conservation. Allowing for non-renormalizable operators in the superpotential, we show that parity can…
Our main result (Theorem 1) suggests a possible dividing line ($\mu$-superstable $+$ $\mu$-symmetric) for abstract elementary classes without using extra set-theoretic assumptions or tameness. This theorem illuminates the structural side of…
We introduce in this paper two dimensional lattice models whose continuum limit belongs to the $N=2$ series. The first kind of model is integrable and obtained through a geometrical reformulation, generalizing results known in the $k=1$…