Related papers: Rigged configurations for all symmetrizable types

We investigate the universality of multi-spin systems in architectures of various symmetries of coupling type and topology. Explicit reachability sets under symmetry constraints are provided. Thus for a given (possibly symmetric)…

The application of generative models in crystal structure prediction (CSP) has gained significant attention. Conditional generation--particularly the generation of crystal structures with specified stability or other physical properties has…

We define three combinatorial models for \hat{sl(n)} crystals, parametrized by partitions, configurations of beads on an `abacus', and cylindric plane partitions, respectively. These are reducible, but we can identify an irreducible…

Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…

We give a combinatorial characterization of generic frameworks that are minimally rigid under the additional constraint of maintaining symmetry with respect to a finite order rotation or a reflection. To establish these results we develop a…

We prove the validity over $\mathbb{R}$ of a commutative differential graded algebra model of configuration spaces for simply connected closed smooth manifolds, answering a conjecture of Lambrechts--Stanley. We get as a result that the real…

We prove that any group acting essentially without a fixed point at infinity on an irreducible finite-dimensional CAT(0) cube complex contains a rank one isometry. This implies that the Rank Rigidity Conjecture holds for CAT(0) cube…

The {\it number rigidity} of a stationary point process $\mathsf{P}$ entails that for a bounded set $A$ the knowledge of $\mathsf{P}$ on $A^{c}$ a.s. determines $\mathsf{P}(A)$; the $k$-order rigidity means the moments of $\mathsf{P}1_{A}$…

In this paper we continue our study of local rigidity for maps of CR submanifolds of the complex space. We provide a linear sufficient condition for local rigidity of finitely nondegenerate maps between minimal CR manifolds. Furthermore, we…

This paper establishes combinatorial characterisations of forced-symmetric and forced-periodic rigidity (under a fixed lattice) of bar-joint frameworks in non-Euclidean normed planes. In $\ell_q$-planes for $q\in(1,\infty)\backslash\{2\}$,…

A first-principles method is presented to calculate elastic constants up to the fourth order of crystals with the cubic and hexagonal symmetries. The method relies on the numerical differentiation of the second Piola-Kirchhoff stress tensor…

Given a Yamaguchi nonrigid parabolic model geometry $(G,P)$ with $G$ simple of real rank at least $3$, we use techniques developed by Erickson to establish the existence of closed, nonflat, essential, regular, normal Cartan geometries…

A bar framework determined by a finite graph $G$ and configuration $\bf p$ in $d$ space is universally rigid if it is rigid in any ${\mathbb R}^D \supset {\mathbb R}^d$. We provide a characterization of universally rigidity for any graph…

Finite quantum field theories may be constructed from the most general renormalizable quantum field theory by forbidding, order by order in the perturbative loop expansion, all ultraviolet-divergent renormalizations of the physical…

In this paper we define a rigid rational homotopy type, associated to any variety $X$ over a perfect field $k$ of positive characteristic. We prove comparison theorems with previous definitions in the smooth and proper, and log-smooth and…

Stringy canonical forms are a class of integrals that provide $\alpha'$-deformations of the canonical form of any polytopes. For generalized associahedra of finite-type cluster algebra, there exist completely rigid stringy integrals, whose…

We establish a principle of forced geometric irreducibility on product manifolds. We prove that for any product manifold $M=M_1\times M_2$, a cohomologically calibrated affine connection, $\nabla^{\mathcal{C}}$, is necessarily holonomically…

We prove that an $F$-crystal $(M,\vph)$ over an algebraically closed field $k$ of characteristic $p>0$ is determined by $(M,\vph)$ mod $p^n$, where $n\ge 1$ depends only on the rank of $M$ and on the greatest Hodge slope of $(M,\vph)$. We…

Regular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet. The form we are studying applies to systems whose set of initial…

The spectrum of possible parameters of symmetric configurations is investigated. We both survey known constructions and results, and propose some new construction methods. Many new parameters are obtained, in particular for cyclic symmetric…