Showing 1–50 of 61 results for author: Young, A

An ergodic Lebesgue differentiation theorem

Authors: Aidan Young

Abstract: We show that if $(X, μ, T)$ is a probability measure-preserving dynamical system, and $\mathscr{P}$ is a countable partition of $(X, μ)$, then the limit $$ \lim_{n, k \to \infty} \mathbb{E} \left[ \frac{1}{k} \sum_{j = 0}^{k - 1} f \circ T^j \mid \bigvee_{i = 0}^{n - 1} T^{-i} \mathscr{P} \right] $$ exists almost surely for all $f \in L^p(μ), p > 1$. We prove this as a corollary of a geometric res… ▽ More We show that if $(X, μ, T)$ is a probability measure-preserving dynamical system, and $\mathscr{P}$ is a countable partition of $(X, μ)$, then the limit $$ \lim_{n, k \to \infty} \mathbb{E} \left[ \frac{1}{k} \sum_{j = 0}^{k - 1} f \circ T^j \mid \bigvee_{i = 0}^{n - 1} T^{-i} \mathscr{P} \right] $$ exists almost surely for all $f \in L^p(μ), p > 1$. We prove this as a corollary of a geometric result: that if $(X, μ)$ is a metric measure space on which the Hardy-Littlewood maximal inequality holds, then the limit $$\lim_{r \searrow 0, k \to \infty} μ(B(x, r))^{-1} \int_{B(x, r)} \frac{1}{k} \sum_{j = 0}^{k - 1} f \circ T^j \mathrm{d} μ$$ exists almost surely. △ Less

Submitted 26 June, 2025; originally announced June 2025.

Higher Chiral Algebras in a Polysimplicial Model

Authors: Laura O. Felder, Zhengping Gui, Charles A. S. Young

Abstract: Vertex algebras are equivalent to translation-equivariant chiral algebras on $\mathbb{A}^1$, in the sense of Beilinson and Drinfeld. In this paper we give an algebraic construction of a chiral algebra on $\mathbb{A}^n$; this can be seen as an algebraic construction of a higher-dimensional vertex algebra. We introduce a model, in dg commutative algebras, of the derived algebra of functions on the… ▽ More Vertex algebras are equivalent to translation-equivariant chiral algebras on $\mathbb{A}^1$, in the sense of Beilinson and Drinfeld. In this paper we give an algebraic construction of a chiral algebra on $\mathbb{A}^n$; this can be seen as an algebraic construction of a higher-dimensional vertex algebra. We introduce a model, in dg commutative algebras, of the derived algebra of functions on the configuration space of $k$ distinct labelled marked points in $\mathbb{A}^n$. Working in this model -- which we call the polysimplicial model -- we obtain a dg operad of chiral operations on a degree-shifted copy of the canonical sheaf. We prove that there is a quasi-isomorphism, to this dg operad, from the Lie-infinity operad. This result makes the shifted canonical sheaf into a first example of a homotopy polysimplicial chiral algebra on $\mathbb{A}^n$, in a sense which generalizes to higher dimensions Malikov and Schechtman's notion of a homotopy chiral algebra. △ Less

Submitted 11 June, 2025; originally announced June 2025.

Comments: 74 pages. Comments are welcome

Non-alternating mean payoff games

Authors: Tom Meyerovitch, Aidan Young

Abstract: We present and study a variant of the mean payoff games introduced by A. Ehrenfeucht and J. Mycielski. In this version, the second player makes an infinite sequence of moves only after the first player's sequence of moves has been decided and revealed. Such games occur in the computation of the covering radius of constrained systems, a quantity of interest in coding theory. We present and study a variant of the mean payoff games introduced by A. Ehrenfeucht and J. Mycielski. In this version, the second player makes an infinite sequence of moves only after the first player's sequence of moves has been decided and revealed. Such games occur in the computation of the covering radius of constrained systems, a quantity of interest in coding theory. △ Less

Submitted 18 May, 2025; v1 submitted 4 May, 2025; originally announced May 2025.

Comments: Updated in light of a relevant reference we discovered after the first version was made public

Sampling models for selective inference

Authors: Daniel García Rasines, G. Alastair Young

Abstract: This paper explores the challenges of constructing suitable inferential models in scenarios where the parameter of interest is determined in light of the data, such as regression after variable selection. Two compelling arguments for conditioning converge in this context, whose interplay can introduce ambiguity in the choice of conditioning strategy: the Conditionality Principle, from classical st… ▽ More This paper explores the challenges of constructing suitable inferential models in scenarios where the parameter of interest is determined in light of the data, such as regression after variable selection. Two compelling arguments for conditioning converge in this context, whose interplay can introduce ambiguity in the choice of conditioning strategy: the Conditionality Principle, from classical statistics, and the `condition on selection' paradigm, central to selective inference. We discuss two general principles that can be employed to resolve this ambiguity in some recurrent contexts. The first one refers to the consideration of how information is processed at the selection stage. The second one concerns an exploration of ancillarity in the presence of selection. We demonstrate that certain notions of ancillarity are preserved after conditioning on the selection event, supporting the application of the Conditionality Principle. We illustrate these concepts through examples and provide guidance on the adequate inferential approach in some common scenarios. △ Less

Submitted 4 February, 2025; originally announced February 2025.

Comments: 16 pages

Adversarial ergodic optimization

Authors: Aidan Young

Abstract: In this article, we introduce an ergodic optimization problem inspired by information theory, which can be presented informally as follows: given a factor map $π: (X, T) \to (Y, S)$ of topological dynamical systems, and a continuous function $f \in C(X)$, what can be said about the extrema… ▽ More In this article, we introduce an ergodic optimization problem inspired by information theory, which can be presented informally as follows: given a factor map $π: (X, T) \to (Y, S)$ of topological dynamical systems, and a continuous function $f \in C(X)$, what can be said about the extrema $$\sup_{y \in Y} \inf_{x \in π^{-1} \{y\}} \lim_{k \to \infty} \frac{1}{k} \sum_{j = 0}^{k - 1} f \left( T^j x \right) ? $$ △ Less

Submitted 31 January, 2025; v1 submitted 27 August, 2024; originally announced August 2024.

Comments: Substantial revisions based on an anonymous referee report, and some updated results

Directional descent

Authors: Andrew J. Young

Abstract: We identity the optimal non-infinitesimal direction of descent for a convex function. An algorithm is developed that can theoretically minimize a subset of (non-convex) Lipschitz functions. We identity the optimal non-infinitesimal direction of descent for a convex function. An algorithm is developed that can theoretically minimize a subset of (non-convex) Lipschitz functions. △ Less

Submitted 26 August, 2024; originally announced August 2024.

Completely greedy coin sets

Authors: Andrew J. Young

Abstract: We show that the binary coin set minimizes the number of coins needed to guarantee the ability to make change in any one transaction and its asymptotic uniform average cost is no worse than that of any completely greedy coin set. We show that the binary coin set minimizes the number of coins needed to guarantee the ability to make change in any one transaction and its asymptotic uniform average cost is no worse than that of any completely greedy coin set. △ Less

Submitted 26 July, 2024; originally announced July 2024.

Raviolo vertex algebras, cochains and conformal blocks

Authors: Luigi Alfonsi, Hyungrok Kim, Charles A. S. Young

Abstract: Raviolo vertex algebras were introduced recently by Garner and Williams in arXiv:2308.04414. Working at the level of cochain complexes, in the present paper we construct spaces of conformal blocks, or more precisely their duals, coinvariants, in the raviolo setting. We prove that the raviolo state-field map correctly captures the limiting behaviour of coinvariants as marked points collide. Raviolo vertex algebras were introduced recently by Garner and Williams in arXiv:2308.04414. Working at the level of cochain complexes, in the present paper we construct spaces of conformal blocks, or more precisely their duals, coinvariants, in the raviolo setting. We prove that the raviolo state-field map correctly captures the limiting behaviour of coinvariants as marked points collide. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Comments: 47 pages

Reconstructing algebra objects from NIM-reps in pointed, near-group and quantum group-like fusion categories

Authors: Samuel Hannah, Ana Ros Camacho, with an appendix with Devi Young

Abstract: In this article we study the possible Morita equivalence classes of algebras in three families of fusion categories (pointed, near-group and $A \left( 1,l \right)_{\frac{1}{2}}$) by studying the Non-negative Integer Matrix representations (NIM-reps) of their underlying fusion ring, and compare these results with existing classification results of algebra objects. Also, in an appendix we include a… ▽ More In this article we study the possible Morita equivalence classes of algebras in three families of fusion categories (pointed, near-group and $A \left( 1,l \right)_{\frac{1}{2}}$) by studying the Non-negative Integer Matrix representations (NIM-reps) of their underlying fusion ring, and compare these results with existing classification results of algebra objects. Also, in an appendix we include a test of the exponents conjecture for modular tensor categories of rank up to 4. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: Comments welcome!

MSC Class: 18M20; 18M15

Local asymptotics of selection models with applications in Bayesian selective inference

Authors: Daniel G. Rasines, G. Alastair Young

Abstract: Contemporary focus on selective inference provokes interest in the asymptotic properties of selection models, as the working inferential models in the conditional approach to inference after selection. In this paper, we derive an asymptotic expansion of the local likelihood ratios of selection models. We show that under mild regularity conditions, they behave asymptotically like a sequence of Gaus… ▽ More Contemporary focus on selective inference provokes interest in the asymptotic properties of selection models, as the working inferential models in the conditional approach to inference after selection. In this paper, we derive an asymptotic expansion of the local likelihood ratios of selection models. We show that under mild regularity conditions, they behave asymptotically like a sequence of Gaussian selection models. This generalizes the Local Asymptotic Normality framework of Le Cam (1960) to a class of non-regular models, and indicates a notion of local asymptotic selective normality as the appropriate simplifying theoretical framework for analysis of selective inference. Furthermore, we establish practical consequences for Bayesian selective inference. Specifically, we derive the asymptotic shape of Bayesian posterior distributions constructed from selection models, and show that they will typically be significantly miscalibrated in a frequentist sense, demonstrating that the familiar asymptotic equivalence between Bayesian and frequentist approaches does not hold under selection. △ Less

Submitted 14 April, 2025; v1 submitted 14 November, 2023; originally announced November 2023.

Comments: 28 pages, 5 figures

MSC Class: 62E20 (Primary) 62F15 (Secondary)

Towards non-perturbative BV-theory via derived differential geometry

Authors: Luigi Alfonsi, Charles A. S. Young

Abstract: We propose a global geometric framework which allows one to encode a natural non-perturbative generalisation of usual Batalin-Vilkovisky (BV-)theory. Namely, we construct a concrete model of derived differential geometry, whose geometric objects are formal derived smooth stacks, i.e. stacks on formal derived smooth manifolds, together with a notion of differential geometry on them. This provides a… ▽ More We propose a global geometric framework which allows one to encode a natural non-perturbative generalisation of usual Batalin-Vilkovisky (BV-)theory. Namely, we construct a concrete model of derived differential geometry, whose geometric objects are formal derived smooth stacks, i.e. stacks on formal derived smooth manifolds, together with a notion of differential geometry on them. This provides a working language to study generalised geometric spaces that are smooth, infinite-dimensional, higher and derived at the same time. Such a formalism is obtained by combining Schreiber's differential cohesion with the machinery of Töen-Vezzosi's homotopical algebraic geometry applied to the theory of derived manifolds of Spivak and Carchedi-Steffens. We investigate two classes of examples of non-perturbative classical BV-theories in the context of derived differential cohesion: scalar field theory and Yang-Mills theory. △ Less

Submitted 25 October, 2023; v1 submitted 27 July, 2023; originally announced July 2023.

Comments: 106 pages, 11 figures; section 4 revised, other corrections

MSC Class: 81Txx; 14A30; 18N40

Temporo-spatial differentiations for actions of locally compact groups

Authors: Aidan Young

Abstract: In this paper, we extend the notion of temporo-spatial differentiation problems to the setting of actions of more general topological groups. The problem can be expressed as follows: Given an action $T$ of an amenable discrete group $G$ on a probability space $(X, μ)$ by automorphisms, let $(F_k)_{k = 1}^\infty$ be a Følner sequence for $G$, and let $(C_k)_{k = 1}^\infty$ be a sequence of measurab… ▽ More In this paper, we extend the notion of temporo-spatial differentiation problems to the setting of actions of more general topological groups. The problem can be expressed as follows: Given an action $T$ of an amenable discrete group $G$ on a probability space $(X, μ)$ by automorphisms, let $(F_k)_{k = 1}^\infty$ be a Følner sequence for $G$, and let $(C_k)_{k = 1}^\infty$ be a sequence of measurable subsets of $X$ with positive probability $μ(C_k)$. What is the limiting behavior of the sequence $$\left( \frac{1}{μ(C_k)} \int_{C_k} \frac{1}{|F_k|} \sum_{g \in F_k} f(T_g x) \mathrm{d} μ(x) \right)_{k = 1}^\infty$$ for $f \in L^\infty(X, μ)$? We provide some positive convergence results for temporo-spatial differentiations with respect to ergodic averages over Følner sequences, as well as with respect to ergodic averages over subsequences of the integers (e.g. polynomials), multiple ergodic averages, and weighted ergodic averages. △ Less

Submitted 28 March, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: This article is derived from a chapter of the author's doctoral dissertation. This version corrects a few minor typos found in the first version

Noncommutative Ergodic Optimization

Authors: Aidan Young

Abstract: We extend the theory of ergodic optimization and maximizing measures to the non-commutative field of C*-dynamical systems. We then provide a result linking the ergodic optimizations of elements of a C*-dynamical system to the convergence of certain ergodic averages in a suitable seminorm. We also provide alternate proofs of several results in this article using the tools of nonstandard analysis. We extend the theory of ergodic optimization and maximizing measures to the non-commutative field of C*-dynamical systems. We then provide a result linking the ergodic optimizations of elements of a C*-dynamical system to the convergence of certain ergodic averages in a suitable seminorm. We also provide alternate proofs of several results in this article using the tools of nonstandard analysis. △ Less

Submitted 28 March, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: This article is derived from a chapter of the author's doctoral dissertation. It combines and extends two articles previously uploaded to the arXiv:2109.10425 and arXiv:2109.13965. This version corrects a few minor typos found in the first version

Temporo-spatial differentiations with respect to finite unions of balls

Authors: Aidan Young

Abstract: Here we study temporo-spatial differentiation problems with respect to sequences of finite unions of balls. We establish several convergence results, as well as construct pathological temporo-spatial differentiations with prescribed sets of limit points. We also demonstrate the prevalence of certain pathological temporo-spatial differentiations in the presence of a specification-like property. Here we study temporo-spatial differentiation problems with respect to sequences of finite unions of balls. We establish several convergence results, as well as construct pathological temporo-spatial differentiations with prescribed sets of limit points. We also demonstrate the prevalence of certain pathological temporo-spatial differentiations in the presence of a specification-like property. △ Less

Submitted 28 March, 2023; v1 submitted 12 February, 2023; originally announced February 2023.

Comments: This article is derived from a chapter of the author's doctoral dissertation. This version corrects a few minor typos found in the first version

Solving the n-color ice model

Authors: Patrick Addona, Ethan Bockenhauer, Ben Brubaker, Michael Cauthorn, Cianan Conefrey-Shinozaki, David Donze, William Dudarov, Jessamyn Dukes, Andrew Hardt, Cindy Li, Jigang Li, Yanli Liu, Neelima Puthanveetil, Zain Qudsi, Jordan Simons, Joseph Sullivan, Autumn Young

Abstract: Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named becaus… ▽ More Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named because their admissible vertices have adjacent edges labeled by one of $n$ colors with additional restrictions. The two-colored case specializes to the six-vertex model, in which case our results recover the familiar quadric condition of Baxter for solvability. The general $n$-color case includes important solutions to the Yang-Baxter equation like the evaluation modules for the quantum affine Lie algebra $U_q(\hat{\mathfrak{sl}}_n)$. Finally, we demonstrate the invariance of this class of solutions under natural transformations, including those associated with Drinfeld twisting. △ Less

Submitted 29 May, 2024; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: 39 pages, 8 figures

MSC Class: 16T25 (Primary); 82B23; 20G42; 05E10 (secondary)

An Optimization Approach to Improve Equitable Access to Local Parks

Authors: Anisa Young, Emily L. Tucker, Mariela Fernandez, David White, Robert Brookover, Brandon Harris

Abstract: Local parks are public resources that promote human and environmental welfare. Unfortunately, park inequities are commonplace as historically marginalized groups may have insufficient access. Platforms exist to identify the geographical areas that would benefit from future park improvements. However, these platforms do not optimize decisions nor include key features, such as budget and infrastruct… ▽ More Local parks are public resources that promote human and environmental welfare. Unfortunately, park inequities are commonplace as historically marginalized groups may have insufficient access. Platforms exist to identify the geographical areas that would benefit from future park improvements. However, these platforms do not optimize decisions nor include key features, such as budget and infrastructure, that are relevant to park location decisions. To support recreational and government agencies in addressing inequities in the distribution and quality of parks, we propose a mixed-integer program that minimizes insufficient access, defined as weighted deviations across multiple categories (distance, capacity, and environmental features). We consider an equity-focused min-max objective and an overall objective to minimize total weighted deviations. We apply the model to a case study of Asheville, North Carolina. We conduct extensive data collection to parameterize the model. In policy analyses, we consider the effects of available budget, planning horizons, strategic demographic priorities, and thresholds of access. The model reflects user-defined criteria and goals, and the results suggest that the framework may be generalizable to other cities. This study serves as a step in the development and incorporation of mathematical modeling to achieve social goals within the recreational setting. △ Less

Submitted 19 January, 2024; v1 submitted 8 December, 2022; originally announced December 2022.

Higher current algebras, homotopy Manin triples, and a rectilinear adelic complex

Authors: Luigi Alfonsi, Charles A. S. Young

Abstract: The notion of a Manin triple of Lie algebras admits a generalization, to dg Lie algebras, in which various properties are required to hold only up to homotopy. This paper introduces two classes of examples of such homotopy Manin triples. These examples are associated to analogs in complex dimension two of, respectively, the punctured formal 1-disc, and the complex plane with multiple punctures.… ▽ More The notion of a Manin triple of Lie algebras admits a generalization, to dg Lie algebras, in which various properties are required to hold only up to homotopy. This paper introduces two classes of examples of such homotopy Manin triples. These examples are associated to analogs in complex dimension two of, respectively, the punctured formal 1-disc, and the complex plane with multiple punctures. The dg Lie algebras which appear include certain higher current algebras in the sense of Faonte, Hennion and Kapranov arXiv:1701.01368. We work in a ringed space we call rectilinear space, and one of the tools we introduce is a model of the derived sections of its structure sheaf, whose construction is in the spirit of the adelic complexes for schemes due to Parshin and Beilinson. △ Less

Submitted 11 August, 2022; originally announced August 2022.

Comments: 60 pages

Quartic Hamiltonians, and higher Hamiltonians at next-to-leading order, for the affine $\mathfrak{sl}_2$ Gaudin model

Authors: Tommaso Franzini, Charles A. S. Young

Abstract: In this work we will use a general procedure to construct higher local Hamiltonians for the affine $\mathfrak{sl}_2$ Gaudin model. We focus on the first non-trivial example, the quartic Hamiltonians. We show by direct calculation that the quartic Hamiltonians commute amongst themselves and with the quadratic Hamiltonians which define the model. We go on to introduce a certain next-to-leading-order… ▽ More In this work we will use a general procedure to construct higher local Hamiltonians for the affine $\mathfrak{sl}_2$ Gaudin model. We focus on the first non-trivial example, the quartic Hamiltonians. We show by direct calculation that the quartic Hamiltonians commute amongst themselves and with the quadratic Hamiltonians which define the model. We go on to introduce a certain next-to-leading-order semi-classical limit of the model. In this limit, we are able to write down the full hierarchy of higher local Hamiltonians and prove that they commute. △ Less

Submitted 28 February, 2023; v1 submitted 31 May, 2022; originally announced May 2022.

Comments: 32 pages,1 figure. Accepted version for J. Phys. A: Math. Theor

Journal ref: 2023 J. Phys. A: Math. Theor. 56 105201

Non-Autonomous Spatial-Temporal Differentiation Theorems for Group Endomorphisms

Authors: Idris Assani, Aidan Young

Abstract: We introduce a non-autonomous generalization of spatial-temporal differentiations, and prove results about probabilistically and topologically generic behaviors of certain spatial-temporal differentiations generated by endomorphisms of compact abelian metrizable groups. We introduce a non-autonomous generalization of spatial-temporal differentiations, and prove results about probabilistically and topologically generic behaviors of certain spatial-temporal differentiations generated by endomorphisms of compact abelian metrizable groups. △ Less

Submitted 21 April, 2022; v1 submitted 19 November, 2021; originally announced November 2021.

Comments: This is the latest version of the paper which is accepted for publication. Changes were made taking into account the referee comments. arXiv admin note: substantial text overlap with arXiv:2101.06473

MSC Class: Primary 37B55; Secondary 28D15; 28D05

A nonstandard-analytic proof of a theorem regarding noncommutative ergodic optimizations

Authors: Aidan Young

Abstract: In a previous article, we extended the notion of ergodic optimization to the setting of C*-dynamical systems of countable discrete groups. Among the key results of that paper was that given an action $G \stackrelΞ{\curvearrowright} \mathfrak{M}$ of a countable discrete amenable group $G$ on a W*-probability space $(\mathfrak{M}, ρ)$ by $ρ$-preserving $*$-automorphisms of $\mathfrak{M}$, a positive… ▽ More In a previous article, we extended the notion of ergodic optimization to the setting of C*-dynamical systems of countable discrete groups. Among the key results of that paper was that given an action $G \stackrelΞ{\curvearrowright} \mathfrak{M}$ of a countable discrete amenable group $G$ on a W*-probability space $(\mathfrak{M}, ρ)$ by $ρ$-preserving $*$-automorphisms of $\mathfrak{M}$, a positive element $x \in \mathfrak{M}$, and a right Følner sequence $\mathcal{F} = (F_k)_{k \in \mathbb{N} }$ for $G$, the sequence $$\left( \left\| \frac{1}{|F_k|} \sum_{g \in F_k} Ξ_g x \right\| \right)_{ k \in \mathbb{N} }$$ converges to a value $Γ(x)$ which can be described in the language of ergodic optimization. We provide here an alternate, more direct proof of that theorem using the tools of nonstandard analysis. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Noncommutative Ergodic Optimization and Unique Ergodicity

Authors: Aidan Young

Abstract: We extend the theory of ergodic optimization and maximizing measures to the non-commutative field of C*-dynamical systems. We then employ this ergodic optimization machinery to provide an alternate characterization of unique erogdicity of C*-dynamical systems when the resident group action satisfies certain Choquet-theoretic assumptions. We extend the theory of ergodic optimization and maximizing measures to the non-commutative field of C*-dynamical systems. We then employ this ergodic optimization machinery to provide an alternate characterization of unique erogdicity of C*-dynamical systems when the resident group action satisfies certain Choquet-theoretic assumptions. △ Less

Submitted 15 January, 2022; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: An anonymous referee pointed out an error in the "erasure" construction. We have removed the erasure from this version, as well as its supposed applications to a non-commutative Jewett-Krieger theorem

Spatial-Temporal Differentiation Theorems

Authors: Idris Assani, Aidan Young

Abstract: Let $(X, \mathcal{B}, μ, T)$ be a dynamical system where $X$ is a compact metric space with Borel $σ$-algebra $\mathcal{B}$, and $μ$ is a probability measure that's ergodic with respect to the homeomorphism $T : X \to X$. We study the following differentiation problem: Given $f \in C(X)$ and $F_k \in \mathcal{B}$, where $μ(F_k) > 0$ and $μ(F_k) \to 0$, when can we say that… ▽ More Let $(X, \mathcal{B}, μ, T)$ be a dynamical system where $X$ is a compact metric space with Borel $σ$-algebra $\mathcal{B}$, and $μ$ is a probability measure that's ergodic with respect to the homeomorphism $T : X \to X$. We study the following differentiation problem: Given $f \in C(X)$ and $F_k \in \mathcal{B}$, where $μ(F_k) > 0$ and $μ(F_k) \to 0$, when can we say that $$\lim_{k \to \infty} \frac{\int_{F_k} \left( \frac{1}{k} \sum_{i = 0}^{k - 1} T^i f \right) \mathrm{d} μ}{μ(F_k)} = \int f \mathrm{d} μ? $$ △ Less

Submitted 19 May, 2022; v1 submitted 16 January, 2021; originally announced January 2021.

Comments: Changes were made taking into account a referee's comments

MSC Class: 37A30; 37A35

An analog of the Feigin-Frenkel homomorphism for double loop algebras

Authors: Charles A. S. Young

Abstract: We prove the existence of a homomorphism of vertex algebras, from the vacuum Verma module over the loop algebra of an untwisted affine algebra, whose construction is analogous to that of the Feigin-Frenkel homomorphism from the vacuum Verma module at critical level over an affine algebra. We prove the existence of a homomorphism of vertex algebras, from the vacuum Verma module over the loop algebra of an untwisted affine algebra, whose construction is analogous to that of the Feigin-Frenkel homomorphism from the vacuum Verma module at critical level over an affine algebra. △ Less

Submitted 3 November, 2020; originally announced November 2020.

Comments: 66 pages

Bayesian Selective Inference: Non-informative Priors

Authors: Daniel G. Rasines, G. Alastair Young

Abstract: We discuss Bayesian inference for parameters selected using the data. First, we provide a critical analysis of the existing positions in the literature regarding the correct Bayesian approach under selection. Second, we propose two types of non-informative priors for selection models. These priors may be employed to produce a posterior distribution in the absence of prior information as well as to… ▽ More We discuss Bayesian inference for parameters selected using the data. First, we provide a critical analysis of the existing positions in the literature regarding the correct Bayesian approach under selection. Second, we propose two types of non-informative priors for selection models. These priors may be employed to produce a posterior distribution in the absence of prior information as well as to provide well-calibrated frequentist inference for the selected parameter. We test the proposed priors empirically in several scenarios. △ Less

Submitted 11 May, 2021; v1 submitted 11 August, 2020; originally announced August 2020.

Comments: 24 pages, 7 figures

The Mathematics of Tie Knots

Authors: Elizabeth Denne, Corinne Joireman, Allison Young

Abstract: In 2000, Thomas Fink and Young Mao studied neck ties and, with certain assumptions, found 85 different ways to tie a neck tie. They gave a formal language which describes how a tie is made, giving a sequence of moves for each neck tie. The ends of a neck tie can be joined together, which gives a physical model of a mathematical knot that we call a tie knot. In this paper we classify the knot type… ▽ More In 2000, Thomas Fink and Young Mao studied neck ties and, with certain assumptions, found 85 different ways to tie a neck tie. They gave a formal language which describes how a tie is made, giving a sequence of moves for each neck tie. The ends of a neck tie can be joined together, which gives a physical model of a mathematical knot that we call a tie knot. In this paper we classify the knot type of each of Fink and Mao's 85 tie knots. We describe how the unknot, left and right trefoil, twist knots and $(2,p)$ torus knots can be recognized from their sequence of moves. We also view tie knots as a family within the set of all knots. Among other results, we prove that any tie knot is prime and alternating. △ Less

Submitted 8 December, 2020; v1 submitted 26 May, 2020; originally announced May 2020.

Comments: 22 pages, 17 figures, 3 tables. Some minor errors corrected

MSC Class: 57M25

Journal ref: Involve 14 (2021) 241-270

Affine opers and conformal affine Toda

Authors: Charles A. S. Young

Abstract: For $\mathfrak g$ a Kac-Moody algebra of affine type, we show that there is an $\text{Aut}\, \mathcal O$-equivariant identification between $\text{Fun}\,\text{Op}_{\mathfrak g}(D)$, the algebra of functions on the space of ${\mathfrak g}$-opers on the disc, and $W\subset π_0$, the intersection of kernels of screenings inside a vacuum Fock module $π_0$. This kernel $W$ is generated by two states: a… ▽ More For $\mathfrak g$ a Kac-Moody algebra of affine type, we show that there is an $\text{Aut}\, \mathcal O$-equivariant identification between $\text{Fun}\,\text{Op}_{\mathfrak g}(D)$, the algebra of functions on the space of ${\mathfrak g}$-opers on the disc, and $W\subset π_0$, the intersection of kernels of screenings inside a vacuum Fock module $π_0$. This kernel $W$ is generated by two states: a conformal vector, and a state $δ_{-1}\left|0\right>$. We show that the latter endows $π_0$ with a canonical notion of translation $T^{\text{(aff)}}$, and use it to define the densities in $π_0$ of integrals of motion of classical Conformal Affine Toda field theory. The $\text{Aut}\,\mathcal O$-action defines a bundle $Π$ over $\mathbb P^1$ with fibre $π_0$. We show that the product bundles $Π\otimes Ω^j$, where $Ω^j$ are tensor powers of the canonical bundle, come endowed with a one-parameter family of holomorphic connections, $\nabla^{\text{(aff)}} - αT^{\text{(aff)}}$, $α\in \mathbb C$. The integrals of motion of Conformal Affine Toda define global sections $[\mathbf v_j dt^{j+1} ] \in H^1(\mathbb P^1, Π\otimes Ω^j,\nabla^{\text{(aff)}})$ of the de Rham cohomology of $\nabla^{\mathrm{(aff)}}$. Any choice of ${\mathfrak g}$-Miura oper $χ$ gives a connection $\nabla^{\mathrm{(aff)}}_χ$ on $Ω^j$. Using coinvariants, we define a map $\mathsf F_χ$ from sections of $Π\otimes Ω^j$ to sections of $Ω^j$. We show that $\mathsf F_χ\nabla^{\text{(aff)}} = \nabla^{\text{(aff)}}_χ\mathsf F_χ$, so that $\mathsf F_χ$ descends to a well-defined map of cohomologies. Under this map, the classes $[\mathbf v_j dt^{j+1} ]$ are sent to the classes in $H^1(\mathbb P^1, Ω^j,\nabla^{\text{(aff)}}_χ)$ defined by the ${\mathfrak g}$-oper underlying $χ$. △ Less

Submitted 8 June, 2021; v1 submitted 31 March, 2020; originally announced March 2020.

Comments: to appear in the Journal of the London Mathematical Society; the Lie algebra g and its Langlands dual are exchanged relative to earlier arxiv version; introduction reorganized following helpful suggestions of the referee

Block bootstrap optimality for density estimation with dependent data

Authors: Todd A. Kuffner, Stephen M. -S. Lee, G. Alastair Young

Abstract: Accurate approximation of the sampling distribution of nonparametric kernel density estimators is crucial for many statistical inference problems. Since these estimators have complex asymptotic distributions, bootstrap methods are often used for this purpose. With i.i.d. observations, a large literature exists concerning optimal bootstrap methods which achieve the fastest possible convergence rate… ▽ More Accurate approximation of the sampling distribution of nonparametric kernel density estimators is crucial for many statistical inference problems. Since these estimators have complex asymptotic distributions, bootstrap methods are often used for this purpose. With i.i.d. observations, a large literature exists concerning optimal bootstrap methods which achieve the fastest possible convergence rate of the bootstrap estimator of the sampling distribution of the kernel density estimator. With dependent data, such an optimality theory is an important open problem. We establish a general theory of optimality of the block bootstrap for kernel density estimation under weak dependence assumptions which are satisfied by many important time series models. We propose a unified framework for a theoretical study of a rich class of bootstrap methods which include as special cases subsampling, Kunsch's moving block bootstrap, Hall's under-smoothing (UNS) as well as approaches incorporating no (NBC) or explicit bias correction (EBC). Moreover, we consider their accuracy under a broad spectrum of choices of the bandwidth $h$, which include as an important special case the MSE-optimal choice, as well as other under-smoothed choices. Under each choice of $h$, we derive the optimal tuning parameters and compare optimal performances between the main subclasses (EBC, NBC, UNS) of the bootstrap methods. △ Less

Submitted 5 September, 2019; originally announced September 2019.

Comments: 44 pages

MSC Class: 62G07; 62G09; 62G20; 62M10; 62E20

Consistent Entropy Estimation for Stationary Time Series

Authors: Alexander L Young, David B Dunson

Abstract: Entropy estimation, due in part to its connection with mutual information, has seen considerable use in the study of time series data including causality detection and information flow. In many cases, the entropy is estimated using $k$-nearest neighbor (Kozachenko-Leonenko) based methods. However, analytic results on this estimator are limited to independent data. In the article, we show rigorous… ▽ More Entropy estimation, due in part to its connection with mutual information, has seen considerable use in the study of time series data including causality detection and information flow. In many cases, the entropy is estimated using $k$-nearest neighbor (Kozachenko-Leonenko) based methods. However, analytic results on this estimator are limited to independent data. In the article, we show rigorous bounds on the rate of decay of the bias in the number of samples, $N$, assuming they are drawn from a stationary process which satisfies a suitable mixing condition. Numerical examples are presented which demonstrate the efficiency of the estimator when applied to a Markov process with stationary Gaussian density. These results support the asymptotic rates derived in the theoretical work. △ Less

Submitted 3 August, 2019; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 16 pages, 2 figures

MSC Class: 62G05; 62G20

Noncommutative cyclic isolated singularities

Authors: Kenneth Chan, Alexander Young, James Zhang

Abstract: The question of whether a noncommutative graded quotient singularity $A^G$ is isolated depends on a subtle invariant of the $G$-action on $A$, called the pertinency. We prove a partial dichotomy theorem for isolatedness, which applies to a family of noncommutative quotient singularities arising from a graded cyclic action on the $(-1)$-skew polynomial ring. Our results generalize and extend some r… ▽ More The question of whether a noncommutative graded quotient singularity $A^G$ is isolated depends on a subtle invariant of the $G$-action on $A$, called the pertinency. We prove a partial dichotomy theorem for isolatedness, which applies to a family of noncommutative quotient singularities arising from a graded cyclic action on the $(-1)$-skew polynomial ring. Our results generalize and extend some results of Bao, He and the third-named author and results of Gaddis, Kirkman, Moore and Won. △ Less

Submitted 13 February, 2019; originally announced February 2019.

Comments: 39 pages

MSC Class: 16W22

Cubic hypergeometric integrals of motion in affine Gaudin models

Authors: Sylvain Lacroix, Benoit Vicedo, Charles A. S. Young

Abstract: We construct cubic Hamiltonians for quantum Gaudin models of affine types $\hat{\mathfrak{sl}}_M$. They are given by hypergeometric integrals of a form we recently conjectured in arXiv:1804.01480. We prove that they commute amongst themselves and with the quadratic Hamiltonians. We prove that their vacuum eigenvalues, and their eigenvalues for one Bethe root, are given by certain hypergeometric fu… ▽ More We construct cubic Hamiltonians for quantum Gaudin models of affine types $\hat{\mathfrak{sl}}_M$. They are given by hypergeometric integrals of a form we recently conjectured in arXiv:1804.01480. We prove that they commute amongst themselves and with the quadratic Hamiltonians. We prove that their vacuum eigenvalues, and their eigenvalues for one Bethe root, are given by certain hypergeometric functions on a space of affine opers. △ Less

Submitted 28 July, 2020; v1 submitted 18 April, 2018; originally announced April 2018.

Comments: 24 pages, latex; v2: references clarified

Affine Gaudin models and hypergeometric functions on affine opers

Authors: Sylvain Lacroix, Benoit Vicedo, Charles A. S. Young

Abstract: We conjecture that quantum Gaudin models in affine types admit families of local higher Hamiltonians, labelled by the (countably infinite set of) exponents, whose eigenvalues are given by functions on a space of meromorphic opers associated with the Langlands dual Lie algebra. This is in direct analogy with the situation in finite types. However, in stark contrast to finite types, we prove that in… ▽ More We conjecture that quantum Gaudin models in affine types admit families of local higher Hamiltonians, labelled by the (countably infinite set of) exponents, whose eigenvalues are given by functions on a space of meromorphic opers associated with the Langlands dual Lie algebra. This is in direct analogy with the situation in finite types. However, in stark contrast to finite types, we prove that in affine types such functions take the form of hypergeometric integrals, over cycles of a twisted homology defined by the levels of the modules at the marked points. That result prompts the further conjecture that the Hamiltonians themselves are naturally expressed as such integrals. We go on to describe the space of meromorphic affine opers on an arbitrary Riemann surface. We prove that it fibres over the space of meromorphic connections on the canonical line bundle $Ω$. Each fibre is isomorphic to the direct product of the space of sections of the square of $Ω$ with the direct product, over the exponents $j$ not equal to 1, of the twisted cohomology of the $j^{\rm th}$ tensor power of $Ω$. △ Less

Submitted 28 July, 2020; v1 submitted 4 April, 2018; originally announced April 2018.

Comments: 53 pages; v2: minor edits; version to appear in Advances in Mathematics; v3: references clarified

Optimal hybrid block bootstrap for sample quantiles under weak dependence

Authors: Todd A. Kuffner, Stephen M. S. Lee, G. Alastair Young

Abstract: We establish a general theory of optimality for block bootstrap distribution estimation for sample quantiles under a mild strong mixing assumption. In contrast to existing results, we study the block bootstrap for varying numbers of blocks. This corresponds to a hybrid between the subsampling bootstrap and the moving block bootstrap (MBB), in which the number of blocks is somewhere between 1 and t… ▽ More We establish a general theory of optimality for block bootstrap distribution estimation for sample quantiles under a mild strong mixing assumption. In contrast to existing results, we study the block bootstrap for varying numbers of blocks. This corresponds to a hybrid between the subsampling bootstrap and the moving block bootstrap (MBB), in which the number of blocks is somewhere between 1 and the ratio of sample size to block length. Our main theorem determines the optimal choice of the number of blocks and block length to achieve the best possible convergence rate for the block bootstrap distribution estimator for sample quantiles. As part of our analysis, we also prove an important lemma which gives the convergence rate of the block bootstrap distribution estimator, with implications even for the smooth function model. We propose an intuitive procedure for empirical selection of the optimal number and length of blocks. Relevant examples are presented which illustrate the benefits of optimally choosing the number of blocks. △ Less

Submitted 6 October, 2017; originally announced October 2017.

MSC Class: 62G09; 62G20

Cyclotomic Gaudin models with irregular singularities

Authors: Benoit Vicedo, Charles A. S. Young

Abstract: Generalizing the construction of the cyclotomic Gaudin algebra from arXiv:1409.6937, we define the universal cyclotomic Gaudin algebra. It is a cyclotomic generalization of the Gaudin models with irregular singularities defined in arXiv:math/0612798. We go on to solve, by Bethe ansatz, the special case in which the Lax matrix has simple poles at the origin and arbitrarily many finite points, and… ▽ More Generalizing the construction of the cyclotomic Gaudin algebra from arXiv:1409.6937, we define the universal cyclotomic Gaudin algebra. It is a cyclotomic generalization of the Gaudin models with irregular singularities defined in arXiv:math/0612798. We go on to solve, by Bethe ansatz, the special case in which the Lax matrix has simple poles at the origin and arbitrarily many finite points, and a double pole at infinity. △ Less

Submitted 28 November, 2016; originally announced November 2016.

Comments: 39 pages

Discriminants and Automorphism Groups of Veronese subrings of skew polynomial rings

Authors: Kenneth Chan, Alexander Young, James Zhang

Abstract: We study important invariants and properties of the Veronese subalgebras of $q$-skew polynomial rings, including their discriminant, center and automorphism group, as well as cancellation property and the Tits alternative. We study important invariants and properties of the Veronese subalgebras of $q$-skew polynomial rings, including their discriminant, center and automorphism group, as well as cancellation property and the Tits alternative. △ Less

Submitted 3 June, 2016; originally announced June 2016.

MSC Class: 16W20; 11R29

Cyclotomic discriminantal arrangements and diagram automorphisms of Lie algebras

Authors: Alexander Varchenko, Charles A. S. Young

Abstract: Recently a new class of quantum integrable models, the cyclotomic Gaudin models, were described in arXiv:1409.6937, arXiv:1410.7664. Motivated by these, we identify a class of affine hyperplane arrangements that we call cyclotomic discriminantal arrangements. We establish correspondences between the flag and Aomoto complexes of such arrangements and chain complexes for nilpotent subalgebras of Kac… ▽ More Recently a new class of quantum integrable models, the cyclotomic Gaudin models, were described in arXiv:1409.6937, arXiv:1410.7664. Motivated by these, we identify a class of affine hyperplane arrangements that we call cyclotomic discriminantal arrangements. We establish correspondences between the flag and Aomoto complexes of such arrangements and chain complexes for nilpotent subalgebras of Kac-Moody type Lie algebras with diagram automorphisms. As a byproduct, we show that the Bethe vectors of cyclotomic Gaudin models associated to diagram automorphisms are nonzero. △ Less

Submitted 23 March, 2016; originally announced March 2016.

Comments: 56 pages, latex

Populations of Solutions to Cyclotomic Bethe Equations

Authors: Alexander Varchenko, Charles A. S. Young

Abstract: We study solutions of the Bethe Ansatz equations for the cyclotomic Gaudin model of [Vicedo B., Young C.A.S., arXiv:1409.6937]. We give two interpretations of such solutions: as critical points of a cyclotomic master function, and as critical points with cyclotomic symmetry of a certain "extended" master function. In finite types, this yields a correspondence between the Bethe eigenvectors and eig… ▽ More We study solutions of the Bethe Ansatz equations for the cyclotomic Gaudin model of [Vicedo B., Young C.A.S., arXiv:1409.6937]. We give two interpretations of such solutions: as critical points of a cyclotomic master function, and as critical points with cyclotomic symmetry of a certain "extended" master function. In finite types, this yields a correspondence between the Bethe eigenvectors and eigenvalues of the cyclotomic Gaudin model and those of an "extended" non-cyclotomic Gaudin model. We proceed to define populations of solutions to the cyclotomic Bethe equations, in the sense of [Mukhin E., Varchenko A., Commun. Contemp. Math. 6 (2004), 111-163, math.QA/0209017], for diagram automorphisms of Kac-Moody Lie algebras. In the case of type A with the diagram automorphism, we associate to each population a vector space of quasi-polynomials with specified ramification conditions. This vector space is equipped with a ${\mathbb Z}_2$-gradation and a non-degenerate bilinear form which is (skew-)symmetric on the even (resp. odd) graded subspace. We show that the population of cyclotomic critical points is isomorphic to the variety of isotropic full flags in this space. △ Less

Submitted 14 November, 2015; v1 submitted 28 May, 2015; originally announced May 2015.

Journal ref: SIGMA 11 (2015), 091, 41 pages

Discriminant Formulas and Applications

Authors: Kenneth Chan, Alexander Young, James Zhang

Abstract: We solve two conjectures of Ceken-Palmieri-Wang-Zhang concerning discriminants and give some applications. We solve two conjectures of Ceken-Palmieri-Wang-Zhang concerning discriminants and give some applications. △ Less

Submitted 10 February, 2016; v1 submitted 21 March, 2015; originally announced March 2015.

Comments: 33 pages. Edit: In version 2, we removed the hypothesis that 1-q is invertible in Theorem 0.1

MSC Class: 16W20; 16W55

Journal ref: Algebra Number Theory 10 (2016) 557-596

Quantifying nuisance parameter effects via decompositions of asymptotic refinements for likelihood-based statistics

Authors: Thomas J. DiCiccio, Todd A. Kuffner, G. Alastair Young

Abstract: Accurate inference on a scalar interest parameter in the presence of a nuisance parameter may be obtained using an adjusted version of the signed root likelihood ratio statistic, in particular Barndorff-Nielsen's $R^*$ statistic. The adjustment made by this statistic may be decomposed into a sum of two terms, interpreted as correcting respectively for the possible effect of nuisance parameters and… ▽ More Accurate inference on a scalar interest parameter in the presence of a nuisance parameter may be obtained using an adjusted version of the signed root likelihood ratio statistic, in particular Barndorff-Nielsen's $R^*$ statistic. The adjustment made by this statistic may be decomposed into a sum of two terms, interpreted as correcting respectively for the possible effect of nuisance parameters and the deviation from standard normality of the signed root likelihood ratio statistic itself. We show that the adjustment terms are determined to second-order in the sample size by their means. Explicit expressions are obtained for the leading terms in asymptotic expansions of these means. These are easily calculated, allowing a simple way of quantifying and interpreting the respective effects of the two adjustments, in particular of the effect of a high dimensional nuisance parameter. Illustrations are given for a number of examples, which provide theoretical insight to the effect of nuisance parameters on parametric inference. The analysis provides a decomposition of the mean of the signed root statistic involving two terms: the first has the property of taking the same value whether there are no nuisance parameters or whether there is an orthogonal nuisance parameter, while the second is zero when there are no nuisance parameters. Similar decompositions are discussed for the Bartlett correction factor of the likelihood ratio statistic, and for other asymptotically standard normal pivots. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Comments: Accepted for publication in the Journal of Statistical Planning and Inference

MSC Class: 62F05

Stability and uniqueness of $p$-values for likelihood-based inference

Authors: Thomas J. DiCiccio, Todd A. Kuffner, G. Alastair Young, Russell Zaretzki

Abstract: Likelihood-based methods of statistical inference provide a useful general methodology that is appealing, as a straightforward asymptotic theory can be applied for their implementation. It is important to assess the relationships between different likelihood-based inferential procedures in terms of accuracy and adherence to key principles of statistical inference, in particular those relating to c… ▽ More Likelihood-based methods of statistical inference provide a useful general methodology that is appealing, as a straightforward asymptotic theory can be applied for their implementation. It is important to assess the relationships between different likelihood-based inferential procedures in terms of accuracy and adherence to key principles of statistical inference, in particular those relating to conditioning on relevant ancillary statistics. An analysis is given of the stability properties of a general class of likelihood-based statistics, including those derived from forms of adjusted profile likelihood, and comparisons are made between inferences derived from different statistics. In particular, we derive a set of sufficient conditions for agreement to $O_{p}(n^{-1})$, in terms of the sample size $n$, of inferences, specifically $p$-values, derived from different asymptotically standard normal pivots. Our analysis includes inference problems concerning a scalar or vector interest parameter, in the presence of a nuisance parameter. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Comments: Accepted for publication in Statistica Sinica

MSC Class: 62F03

Objective Bayes, conditional inference and the signed root likelihood ratio statistic

Authors: Thomas J. DiCiccio, Todd A. Kuffner, G. Alastair Young

Abstract: Bayesian properties of the signed root likelihood ratio statistic are analysed. Conditions for first-order probability matching are derived by the examination of the Bayesian posterior and frequentist means of this statistic. Second-order matching conditions are shown to arise from matching of the Bayesian posterior and frequentist variances of a mean-adjusted version of the signed root statistic.… ▽ More Bayesian properties of the signed root likelihood ratio statistic are analysed. Conditions for first-order probability matching are derived by the examination of the Bayesian posterior and frequentist means of this statistic. Second-order matching conditions are shown to arise from matching of the Bayesian posterior and frequentist variances of a mean-adjusted version of the signed root statistic. Conditions for conditional probability matching in ancillary statistic models are derived and discussed. △ Less

Submitted 19 March, 2015; originally announced March 2015.

MSC Class: 62F15

Journal ref: Biometrika (2012), 99 (3), 675-686

On Enriching the Levin-Wen model with Symmetry

Authors: Liang Chang, Meng Cheng, Shawn X. Cui, Yuting Hu, Wei Jin, Ramis Movassagh, Pieter Naaijkens, Zhenghan Wang, Amanda Young

Abstract: Symmetry protected and symmetry enriched topological phases of matter are of great interest in condensed matter physics due to new materials such as topological insulators. The Levin-Wen model for spin/boson systems is an important rigorously solvable model for studying $2D$ topological phases. The input data for the Levin-Wen model is a unitary fusion category, but the same model also works for u… ▽ More Symmetry protected and symmetry enriched topological phases of matter are of great interest in condensed matter physics due to new materials such as topological insulators. The Levin-Wen model for spin/boson systems is an important rigorously solvable model for studying $2D$ topological phases. The input data for the Levin-Wen model is a unitary fusion category, but the same model also works for unitary multi-fusion categories. In this paper, we provide the details for this extension of the Levin-Wen model, and show that the extended Levin-Wen model is a natural playground for the theoretical study of symmetry protected and symmetry enriched topological phases of matter. △ Less

Submitted 19 December, 2014; originally announced December 2014.

Comments: 21 pages, 6 figures

Vertex Lie algebras and cyclotomic coinvariants

Authors: Benoit Vicedo, Charles A. S. Young

Abstract: Given a vertex Lie algebra $\mathscr L$ equipped with an action by automorphisms of a cyclic group $Γ$, we define spaces of cyclotomic coinvariants over the Riemann sphere. These are quotients of tensor products of smooth modules over `local' Lie algebras $\mathsf L(\mathscr L)_{z_i}$ assigned to marked points $z_i$, by the action of a `global' Lie algebra ${\mathsf L}^Γ_{\{z_i \}}(\mathscr L)$ of… ▽ More Given a vertex Lie algebra $\mathscr L$ equipped with an action by automorphisms of a cyclic group $Γ$, we define spaces of cyclotomic coinvariants over the Riemann sphere. These are quotients of tensor products of smooth modules over `local' Lie algebras $\mathsf L(\mathscr L)_{z_i}$ assigned to marked points $z_i$, by the action of a `global' Lie algebra ${\mathsf L}^Γ_{\{z_i \}}(\mathscr L)$ of $Γ$-equivariant functions. On the other hand, the universal enveloping vertex algebra $\mathbb V (\mathscr L)$ of $\mathscr L$ is itself a vertex Lie algebra with an induced action of $Γ$. This gives `big' analogs of the Lie algebras above. From these we construct the space of `big' cyclotomic coinvariants, i.e. coinvariants with respect to ${\mathsf L}^Γ_{\{z_i \}}(\mathbb V(\mathscr L))$. We prove that these two definitions of cyclotomic coinvariants in fact coincide, provided the origin is included as a marked point. As a corollary we prove a result on the functoriality of cyclotomic coinvariants which we require for the solution of cyclotomic Gaudin models in arXiv:1409.6937. At the origin, which is fixed by $Γ$, one must assign a module over the stable subalgebra $\mathsf L(\mathscr L)^Γ$ of $\mathsf L(\mathscr L)$. This module becomes a $\mathbb V(\mathscr L)$-quasi-module in the sense of Li. As a bi-product we obtain an iterate formula for such quasi-modules. △ Less

Submitted 28 October, 2014; originally announced October 2014.

Comments: 54 pages, latex

Cyclotomic Gaudin models: construction and Bethe ansatz

Authors: Benoit Vicedo, Charles A. S. Young

Abstract: To any simple Lie algebra $\mathfrak g$ and automorphism $σ:\mathfrak g\to \mathfrak g$ we associate a cyclotomic Gaudin algebra. This is a large commutative subalgebra of $U(\mathfrak g)^{\otimes N}$ generated by a hierarchy of cyclotomic Gaudin Hamiltonians. It reduces to the Gaudin algebra in the special case $σ= \text{id}$. We go on to construct joint eigenvectors and their eigenvalues for t… ▽ More To any simple Lie algebra $\mathfrak g$ and automorphism $σ:\mathfrak g\to \mathfrak g$ we associate a cyclotomic Gaudin algebra. This is a large commutative subalgebra of $U(\mathfrak g)^{\otimes N}$ generated by a hierarchy of cyclotomic Gaudin Hamiltonians. It reduces to the Gaudin algebra in the special case $σ= \text{id}$. We go on to construct joint eigenvectors and their eigenvalues for this hierarchy of cyclotomic Gaudin Hamiltonians, in the case of a spin chain consisting of a tensor product of Verma modules. To do so we generalize an approach to the Bethe ansatz due to Feigin, Frenkel and Reshetikhin involving vertex algebras and the Wakimoto construction. As part of this construction, we make use of a theorem concerning cyclotomic coinvariants, which we prove in a companion paper. As a byproduct, we obtain a cyclotomic generalization of the Schechtman-Varchenko formula for the weight function. △ Less

Submitted 24 September, 2014; originally announced September 2014.

Comments: 51 pages, latex

Journal ref: Commun. Math. Phys. (2016) 343: 971

Gaudin models for gl(m|n)

Authors: Evgeny Mukhin, Benoit Vicedo, Charles A. S. Young

Abstract: We establish the basics of the Bethe ansatz for the Gaudin model associated to the Lie superalgebra gl(m|n). In particular, we prove the completeness of the Bethe ansatz in the case of tensor products of fundamental representations. We establish the basics of the Bethe ansatz for the Gaudin model associated to the Lie superalgebra gl(m|n). In particular, we prove the completeness of the Bethe ansatz in the case of tensor products of fundamental representations. △ Less

Submitted 14 April, 2014; originally announced April 2014.

Comments: 36 pages, latex

Quantum loop algebras and l-root operators

Authors: C. A. S. Young

Abstract: Let g be a simple Lie algebra and q transcendental. We consider the category C_P of finite-dimensional representations of the quantum loop algebra Uq(Lg) in which the poles of all l-weights belong to specified finite sets P. Given the data (g,q,P), we define an algebra A whose raising/lowering operators are constructed to act with definite l-weight (unlike those of Uq(Lg) itself). It is shown that… ▽ More Let g be a simple Lie algebra and q transcendental. We consider the category C_P of finite-dimensional representations of the quantum loop algebra Uq(Lg) in which the poles of all l-weights belong to specified finite sets P. Given the data (g,q,P), we define an algebra A whose raising/lowering operators are constructed to act with definite l-weight (unlike those of Uq(Lg) itself). It is shown that there is a homomorphism Uq(Lg) -> A such that every representation V in C_P is the pull-back of a representation of A. △ Less

Submitted 30 September, 2014; v1 submitted 28 June, 2012; originally announced June 2012.

Comments: 28 pages, latex; v2: Version to appear in Transformation Groups

MSC Class: 17B37; 81R50; 82B23

Affinization of category O for quantum groups

Authors: C. A. S. Young, E. Mukhin

Abstract: Let g be a simple Lie algebra. We consider the category O-hat of those modules over the affine quantum group Uq(g-hat) whose Uq(g)-weights have finite multiplicity and lie in a finite union of cones generated by negative roots. We show that many properties of the category of the finite-dimensional representations naturally extend to the category O-hat. In particular, we develop the theory of q-cha… ▽ More Let g be a simple Lie algebra. We consider the category O-hat of those modules over the affine quantum group Uq(g-hat) whose Uq(g)-weights have finite multiplicity and lie in a finite union of cones generated by negative roots. We show that many properties of the category of the finite-dimensional representations naturally extend to the category O-hat. In particular, we develop the theory of q-characters and define the minimal affinizations of parabolic Verma modules. In types ABCFG we classify these minimal affinizations and conjecture a Weyl denominator type formula for their characters. △ Less

Submitted 12 April, 2012; originally announced April 2012.

Comments: 32 pages, latex

Extended T-systems

Authors: E. Mukhin, C. A. S. Young

Abstract: We use the theory of q-characters to establish a number of short exact sequences in the category of finite-dimensional representations of the quantum affine groups of types A and B. That allows us to introduce a set of 3-term recurrence relations which contains the celebrated T-system as a special case. We use the theory of q-characters to establish a number of short exact sequences in the category of finite-dimensional representations of the quantum affine groups of types A and B. That allows us to introduce a set of 3-term recurrence relations which contains the celebrated T-system as a special case. △ Less

Submitted 14 January, 2012; v1 submitted 15 April, 2011; originally announced April 2011.

Comments: 36 pages, latex; v2: version to appear in Selecta Mathematica

MSC Class: 17B37

Journal ref: Selecta Mathematica September 2012, Volume 18, Issue 3, pp 591-631

Path description of type B q-characters

Authors: E. Mukhin, C. A. S. Young

Abstract: We give a set of sufficient conditions for a Laurent polynomial to be the q-character of a finite-dimensional irreducible representation of a quantum affine group. We use this result to obtain an explicit path description of q-characters for a class of modules in type B. In particular, this proves a conjecture of Kuniba-Ohta-Suzuki. We give a set of sufficient conditions for a Laurent polynomial to be the q-character of a finite-dimensional irreducible representation of a quantum affine group. We use this result to obtain an explicit path description of q-characters for a class of modules in type B. In particular, this proves a conjecture of Kuniba-Ohta-Suzuki. △ Less

Submitted 30 March, 2011; originally announced March 2011.

Comments: 32 pages, latex

Journal ref: Advances in Mathematics 231 no. 2 (2012) pp 1119--1150

On the Kurosh problem for algebras over a general field

Authors: Jason P. Bell, Alexander A. Young

Abstract: Smoktunowicz, Lenagan, and the second-named author recently gave an example of a nil algebra of Gelfand-Kirillov dimension at most three. Their construction requires a countable base field, however. We show that for any field $k$ and any monotonically increasing function $f(n)$ which grows super-polynomially but subexponentially there exists an infinite-dimensional finitely generated nil $k$-algeb… ▽ More Smoktunowicz, Lenagan, and the second-named author recently gave an example of a nil algebra of Gelfand-Kirillov dimension at most three. Their construction requires a countable base field, however. We show that for any field $k$ and any monotonically increasing function $f(n)$ which grows super-polynomially but subexponentially there exists an infinite-dimensional finitely generated nil $k$-algebra whose growth is asymptotically bounded by $f(n)$. This construction gives the first examples of nil algebras of subexponential growth over uncountable fields. △ Less

Submitted 2 February, 2011; originally announced February 2011.

Comments: 18 pages; comments welcome

MSC Class: 16N40; 16P90

Constant Scalar Curvature Metrics on Boundary Complexes of Cyclic Polytopes

Authors: Daniel Champion, Andrew Marchese, Jacob Miller, Andrea Young

Abstract: In [7], a notion of constant scalar curvature metrics on piecewise flat manifolds is defined. Such metrics are candidates for canonical metrics on discrete manifolds. In this paper, we define a class of vertex transitive metrics on certain triangulations of $\mathbb{S}^3$; namely, the boundary complexes of cyclic polytopes. We use combinatorial properties of cyclic polytopes to show that, for any… ▽ More In [7], a notion of constant scalar curvature metrics on piecewise flat manifolds is defined. Such metrics are candidates for canonical metrics on discrete manifolds. In this paper, we define a class of vertex transitive metrics on certain triangulations of $\mathbb{S}^3$; namely, the boundary complexes of cyclic polytopes. We use combinatorial properties of cyclic polytopes to show that, for any number of vertices, these metrics have constant scalar curvature. △ Less

Submitted 15 September, 2010; originally announced September 2010.

Comments: 15 pages, 4 figures