More Like this

1. Standard monomials and invariant theory for arc spaces I: General linear group

   https://doi.org/10.1142/S021919972350013X  

   Linshaw, Andrew R; Song, Bailin (May 2024, Communications in Contemporary Mathematics)

   This is the first in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field [Formula: see text], we construct a standard monomial basis for the arc space of the determinantal variety over [Formula: see text]. As an application, we prove the arc space analogue of the first and second fundamental theorems of invariant theory for the general linear group. 

   more » « less
2. Standard monomials and invariant theory of arc spaces II: Symplectic group

   https://doi.org/10.1090/jag/834  

   Linshaw, Andrew; Song, Bailin (October 2024, Journal of Algebraic Geometry)

   This is the second in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field $K$, we construct a standard monomial basis for the arc space of the Pfaffian variety over $K$. As an application, we prove the arc space analogue of the first and second fundamental theorems of invariant theory for the symplectic group. 

   more » « less
3. A stochastic PDE approach to large N problems in quantum field theory: A survey

   https://doi.org/10.1063/5.0089851  

   Shen, Hao (August 2022, Journal of Mathematical Physics)

   In this Review, we review some recent rigorous results on large N problems in quantum field theory, stochastic quantization, and singular stochastic partial differential equations (SPDEs) and their mean field limit problems. In particular, we discuss the O( N) linear sigma model on a two- and three-dimensional torus. The stochastic quantization procedure leads to a coupled system of N interacting Φ 4 equations. In d = 2, we show uniformity in N bounds for the dynamics and convergence to a mean-field singular SPDE. For large enough mass or small enough coupling, the invariant measures [i.e., the O( N) linear sigma model] converge to the massive Gaussian free field, the unique invariant measure of the mean-field dynamics, in a Wasserstein distance. We also obtain tightness for certain O( N) invariant observables as random fields in suitable Besov spaces as N → ∞, along with exact descriptions of the limiting correlations. In d = 3, the estimates become more involved since the equation is more singular. We discuss in this case how to prove convergence to the massive Gaussian free field. The proofs of these results build on the recent progress of singular SPDE theory and combine many new techniques, such as uniformity in N estimates and dynamical mean field theory. These are based on joint papers with Scott Smith, Rongchan Zhu, and Xiangchan Zhu. 

   more » « less
4. Cosets of Free Field Algebras via Arc Spaces

   https://doi.org/10.1093/imrn/rnac367  

   Linshaw, Andrew_R; Song, Bailin (January 2023, International Mathematics Research Notices)

   Abstract Using the invariant theory of arc spaces, we find minimal strong generating sets for certain cosets of affine vertex algebras inside free field algebras that are related to classical Howe duality. These results have several applications. First, for any vertex algebra $${{\mathcal {V}}}$$, we have a surjective homomorphism of differential algebras $$\mathbb {C}[J_{\infty }(X_{{{\mathcal {V}}}})] \rightarrow \text {gr}^{F}({{\mathcal {V}}})$$; equivalently, the singular support of $${{\mathcal {V}}}$$ is a closed subscheme of the arc space of the associated scheme $$X_{{{\mathcal {V}}}}$$. We give many new examples of classically free vertex algebras (i.e., this map is an isomorphism), including $$L_{k}({{\mathfrak {s}}}{{\mathfrak {p}}}_{2n})$$ for all positive integers $$n$$ and $$k$$. We also give new examples where the kernel of this map is nontrivial but is finitely generated as a differential ideal. Next, we prove a coset realization of the subregular $${{\mathcal {W}}}$$-algebra of $${{\mathfrak {s}}}{{\mathfrak {l}}}_{n}$$ at a critical level that was previously conjectured by Creutzig, Gao, and the 1st author. Finally, we give some new level-rank dualities involving affine vertex superalgebras. 

   more » « less
5. Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems

   https://doi.org/10.1109/CDC45484.2021.9683574  

   Liu, Zexiang; Anevlavis, Tzanis; Ozay, Necmiye; Tabuada, Paulo (December 2021, IEEE Conference on Decision and Control)

   In this paper, we derive closed-form expressions for implicit controlled invariant sets for discrete-time controllable linear systems with measurable disturbances. In particular, a disturbance-reactive (or disturbance feedback) controller in the form of a parameterized finite automaton is considered. We show that, for a class of automata, the robust positively invariant sets of the corresponding closed-loop systems can be expressed by a set of linear inequality constraints in the joint space of system states and controller parameters. This leads to an implicit representation of the invariant set in a lifted space. We further show how the same parameterization can be used to compute invariant sets when the disturbance is not available for measurement. 

   more » « less