Related papers: Iterating Symmetric Extensions
In recent years we have learned that several four-dimensional field theories can manifest non-invertible zero-form symmetries generalizing the Kramers-Wannier duality defect of the 2d critical Ising model. Several recent works by various…
We develop a novel, fundamental and surprisingly simple randomized iterative method for solving consistent linear systems. Our method has six different but equivalent interpretations: sketch-and-project, constrain-and-approximate, random…
Given an argumentation framework AF, we introduce a mapping function that constructs a disjunctive logic program P, such that the preferred extensions of AF correspond to the stable models of P, after intersecting each stable model with the…
Mechanistic interpretability aims to break models into meaningful parts; verifying that two such parts implement the same computation is a prerequisite. Existing similarity measures evaluate either empirical behaviour, leaving them blind to…
We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this in the setting of…
We explore inequalities on linear extensions of posets and make them effective in different ways. First, we study the Bj\"orner--Wachs inequality and generalize it to inequalities on order polynomials and their $q$-analogues via direct…
Discovering governing equations, whether manually or by data-driven methods, has been central in physics and related areas. Since governing equations are typically constrained by a set of symmetries, using symmetry constraints to restrict…
The violation of Lorentz symmetry is studied from the point of view of a canonical formulation. We make the usual analysis on the constraints structure of the Carroll-Field-Jackiw model. In this context we derive the equations of motion for…
In two recent papers we introduced some new techniques for constructing an extension of a probability-preserving system $T:\mathbb{Z}^d\curvearrowright (X,\mu)$ that enjoys certain desirable properties in connexion with the asymptotic…
The concept of extended Hamiltonian systems allows the geometrical interpretation of several integrable and superintegrable systems with polynomial first integrals of degree depending on a rational parameter. Until now, the procedure of…
We mechanize, in the proof assistant Isabelle, a proof of the axiom-scheme of Separation in generic extensions of models of set theory by using the fundamental theorems of forcing. We also formalize the satisfaction of the axioms of…
Alternative iterative methods for a nonexpansive mapping in a Banach space are proposed and proved to be convergent to a common solution to a fixed point problem and a variational inequality. We give rates of asymptotic regularity for such…
We consider the asymptotic behavior of the incomplete gamma functions gamma(-a,-z) and Gamma(-a,-z) as a goes to infinity. Uniform expansions are needed to describe the transition area z~a in which case error functions are used as main…
Physical symmetries provide a strong inductive bias for constructing functions to analyze data. In particular, this bias may improve robustness, data efficiency, and interpretability of machine learning models. However, building machine…
The following question was asked by Grigorieff: Suppose $V$ is a ZFC model and $V[G]$ is a set-generic extension of $V$. Can there be a ZF model $N$ so that $V\subset N \subset V[G]$ yet $N$ is not equal to $V(A)$ for any set $A\in V[G]$?…
The connection between spherical harmonics and symmetric tensors is explored. For each spherical harmonic, a corresponding traceless symmetric tensor is constructed. These tensors are then extended to include nonzero traces, providing an…
The phase field method is an effective tool for modeling microstructure evolution in materials. Many efficient implicit numerical solvers have been proposed for phase field simulations under uniform and time-invariant model parameters. We…
The Empirical Interpolation Method (EIM) is a greedy procedure that constructs approximate representations of two-variable functions in separated form. In its classical presentation, the two variables play a non-symmetric role. In this…
Persistent homology is a popular and useful tool for analysing finite metric spaces, revealing features that can be used to distinguish sets of unlabeled points and as input into machine learning pipelines. The famous stability theorem of…
Landau-Ginzburg mirror symmetry studies isomorphisms between A- and B-models, which are graded Frobenius algebras that are constructed using a weighted homogeneous polynomial $W$ and a related group of symmetries $G$ of $W$. It is known…