-
The Aldous--Lyons Conjecture II: Undecidability
Authors:
Lewis Bowen,
Michael Chapman,
Thomas Vidick
Abstract:
This paper, and its companion [BCLV24], are devoted to a negative resolution of the Aldous--Lyons Conjecture [AL07, Ald07].
In this part we study tailored non-local games. This is a subclass of non-local games -- combinatorial objects which model certain experiments in quantum mechanics, as well as interactive proofs in complexity theory. Our main result is that, given a tailored non-local game…
▽ More
This paper, and its companion [BCLV24], are devoted to a negative resolution of the Aldous--Lyons Conjecture [AL07, Ald07].
In this part we study tailored non-local games. This is a subclass of non-local games -- combinatorial objects which model certain experiments in quantum mechanics, as well as interactive proofs in complexity theory. Our main result is that, given a tailored non-local game $G$, it is undecidable to distinguish between the case where $G$ has a special kind of perfect strategy, and the case where every strategy for $G$ is far from being perfect. Using a reduction introduced in the companion paper [BCLV24], this undecidability result implies a negative answer to the Aldous--Lyons conjecture. Namely, it implies the existence of unimodular networks that are non-sofic.
To prove our result, we use a variant of the compression technique developed in MIP*=RE [JNV+21]. Our main technical contribution is to adapt this technique to the class of tailored non-local games. The main difficulty is in establishing answer reduction, which requires a very careful adaptation of existing techniques in the construction of probabilistically checkable proofs. As a byproduct, we are reproving the negation of Connes' embedding problem [Con76] -- i.e., the existence of a $\mathrm{II}_1$-factor which cannot be embedded in an ultrapower of the hyperfinite $\mathrm{II}_1$-factor -- first proved in [JNV+21], using an arguably more streamlined proof. In particular, we incorporate recent simplifications from the literature [dlS22b, Vid22] due to de la Salle and the third author.
△ Less
Submitted 30 December, 2024;
originally announced January 2025.
-
Conditional Non-Soficity of p-adic Deligne Extensions: on a Theorem of Gohla and Thom
Authors:
Michael Chapman,
Yotam Dikstein,
Alexander Lubotzky
Abstract:
A long standing problem asks whether every group is sofic, i.e., can be separated by almost-homomorphisms to the symmetric group $Sym(n)$. Similar problems have been asked with respect to almost-homomorphisms to the unitary group $U(n)$, equipped with various norms. One of these problems has been solved for the first time in [De Chiffre, Gelbsky, Lubotzky, Thom, 2020]: some central extensions…
▽ More
A long standing problem asks whether every group is sofic, i.e., can be separated by almost-homomorphisms to the symmetric group $Sym(n)$. Similar problems have been asked with respect to almost-homomorphisms to the unitary group $U(n)$, equipped with various norms. One of these problems has been solved for the first time in [De Chiffre, Gelbsky, Lubotzky, Thom, 2020]: some central extensions $\widetildeΓ$ of arithmetic lattices $Γ$ of $Sp(2g,\mathbb{Q}_p)$ were shown to be non-Frobenius approximated by almost homomorphisms to $U(n)$. Right after, it was shown that similar results hold with respect to the $p$-Schatten norms in [Lubotzky, Oppenheim, 2020]. It is natural, and has already been suggested in [Chapman, Lubotzky, 2024] and [Gohla, Thom, 2024], to check whether the $\widetildeΓ$ are also non-sofic. In order to show that they are (also) non-sofic, it suffices:
(a) To prove that the permutation Cheeger constant of the simplicial complex underlying $Γ$ is positive, generalizing [Evra, Kaufman, 2016]. This would imply that $Γ$ is stable.
(b) To prove that the (flexible) stability of $Γ$ implies the non-soficity of $\widetildeΓ$.
Clause (b) was proved by Gohla and Thom. Here we offer a more algebraic/combinatorial treatment to their theorem.
△ Less
Submitted 15 December, 2024; v1 submitted 3 October, 2024;
originally announced October 2024.
-
The Aldous--Lyons Conjecture I: Subgroup Tests
Authors:
Lewis Bowen,
Michael Chapman,
Alexander Lubotzky,
Thomas Vidick
Abstract:
This paper, and its companion [BCV24], are devoted to a negative resolution of the Aldous--Lyons Conjecture [AL07, Ald07]. This conjecture, originated in probability theory, is well known (cf. [Gel18]) to be equivalent to the statement that every invariant random subgroup of the free group is co-sofic. We disprove this last statement.
In this part we introduce subgroup tests. These tests are fin…
▽ More
This paper, and its companion [BCV24], are devoted to a negative resolution of the Aldous--Lyons Conjecture [AL07, Ald07]. This conjecture, originated in probability theory, is well known (cf. [Gel18]) to be equivalent to the statement that every invariant random subgroup of the free group is co-sofic. We disprove this last statement.
In this part we introduce subgroup tests. These tests are finite distributions over continuous functions from the space of subgroups of the free group to $\{0,1\}$. Subgroup tests provide a general framework in which one can study invariant random subgroups of the free group. Classical notions such as group soficity and group stability arise naturally in this framework. By the correspondence between subgroups of the free group and Schreier graphs, one can view subgroup tests as a property testing model for certain edge-labeled graphs. This correspondence also provides the connection to random networks.
Subgroup tests have values, which are their asymptotic optimal expectations when integrated against co-sofic invariant random subgroups. Our first main result is that, if every invariant random subgroup of the free group is co-sofic, then one can approximate the value of a subgroup test up to any positive additive constant. Our second main result is an essentially value preserving correspondence between certain non-local games and subgroup tests. By composing this correspondence with a stronger variant of the reduction in MIP*=RE [JNV+21], proved in the companion paper [BCV24], we deduce that approximating the sofic value of a subgroup test is as hard as the Halting Problem, and in particular, undecidable. The combination of our two main results proves the existence of non co-sofic invariant random subgroups of the free group.
△ Less
Submitted 31 July, 2024;
originally announced August 2024.
-
Non-commutative error correcting codes and proper subgroup testing
Authors:
Michael Chapman,
Irit Dinur,
Alexander Lubotzky
Abstract:
Property testing has been a major area of research in computer science in the last three decades. By property testing we refer to an ensemble of problems, results and algorithms which enable to deduce global information about some data by only reading small random parts of it. In recent years, this theory found its way into group theory, mainly via group stability.
In this paper, we study the fo…
▽ More
Property testing has been a major area of research in computer science in the last three decades. By property testing we refer to an ensemble of problems, results and algorithms which enable to deduce global information about some data by only reading small random parts of it. In recent years, this theory found its way into group theory, mainly via group stability.
In this paper, we study the following problem: Devise a randomized algorithm that given a subgroup $H$ of $G$, decides whether $H$ is the whole group or a proper subgroup, by checking whether a single (random) element of $G$ is in $H$. The search for such an algorithm boils down to the following purely group theoretic problem: For $G$ of rank $k$, find a small as possible test subset $A\subseteq G$ such that for every proper subgroup $H$, $|H\cap A|\leq (1-δ)|A|$ for some absolute constant $δ>0$, which we call the detection probability of $A$. It turns out that the search for sets $A$ of size linear in $k$ and constant detection probability is a non-commutative analogue of the classical search for families of good error correcting codes. This paper is devoted to proving that such test subsets exist, which implies good universal error correcting codes exist -- providing a far reaching generalization of the classical result of Shannon.
In addition, we study this problem in certain subclasses of groups -- such as abelian, nilpotent, and finite solvable groups -- providing different constructions of test subsets for these subclasses with various qualities. Finally, this generalized theory of non-commutative error correcting codes suggests a plethora of interesting problems and research directions.
△ Less
Submitted 28 June, 2024; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Risk-Aware Finite-Horizon Social Optimal Control of Mean-Field Coupled Linear-Quadratic Subsystems
Authors:
Dhairya Patel,
Margaret Chapman
Abstract:
We formulate and solve an optimal control problem with cooperative, mean-field coupled linear-quadratic subsystems and additional risk-aware costs depending on the covariance and skew of the disturbance. This problem quantifies the variability of the subsystem state energy rather than merely its expectation. In contrast to related work, we develop an alternative approach that illuminates a family…
▽ More
We formulate and solve an optimal control problem with cooperative, mean-field coupled linear-quadratic subsystems and additional risk-aware costs depending on the covariance and skew of the disturbance. This problem quantifies the variability of the subsystem state energy rather than merely its expectation. In contrast to related work, we develop an alternative approach that illuminates a family of matrices with many analytical properties, which are useful for effectively extracting the mean-field coupled solution from a standard LQR solution.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Stability of Homomorphisms, Coverings and Cocycles II: Examples, Applications and Open problems
Authors:
Michael Chapman,
Alexander Lubotzky
Abstract:
Coboundary expansion (with $\mathbb{F}_2$ coefficients), and variations on it, have been the focus of intensive research in the last two decades. It was used to study random complexes, property testing, and above all Gromov's topological overlapping property.
In part I of this paper, we extended the notion of coboundary expansion (and its variations) to cochains with permutation coefficients, eq…
▽ More
Coboundary expansion (with $\mathbb{F}_2$ coefficients), and variations on it, have been the focus of intensive research in the last two decades. It was used to study random complexes, property testing, and above all Gromov's topological overlapping property.
In part I of this paper, we extended the notion of coboundary expansion (and its variations) to cochains with permutation coefficients, equipped with the normalized Hamming distance. We showed that this gives a unified language for studying covering stability of complexes, as well as stability of group homomorphisms -- a topic that drew a lot of attention in recent years.
In this part, we extend the theory to the permutation coefficients setting. This gives some new results, even for $\mathbb{F}_2$ coefficients, opens several new directions of research, and suggests a pattern to proving the existence of non-sofic groups.
Along the way, we solve the dimension $2$ case of a problem of Gromov, exhibiting a family of bounded degree coboundary expanders with $\mathbb{F}_2$ coefficients.
△ Less
Submitted 1 April, 2024; v1 submitted 11 November, 2023;
originally announced November 2023.
-
Efficiently stable presentations from error-correcting codes
Authors:
Michael Chapman,
Thomas Vidick,
Henry Yuen
Abstract:
We introduce a notion of \emph{efficient stability} for finite presentations of groups. Informally, a finite presentation using generators $S$ and relations $R$ is \emph{stable} if any map from $S$ to unitaries that approximately satisfies the relations (in the tracial norm) is close to the restriction of a representation of $G$ to the subset $S$. This notion and variants thereof have been extensi…
▽ More
We introduce a notion of \emph{efficient stability} for finite presentations of groups. Informally, a finite presentation using generators $S$ and relations $R$ is \emph{stable} if any map from $S$ to unitaries that approximately satisfies the relations (in the tracial norm) is close to the restriction of a representation of $G$ to the subset $S$. This notion and variants thereof have been extensively studied in recent years, in part motivated by connections to property testing in computer science. The novelty in our work is the focus on \emph{efficiency}, which, informally, places an onus on small presentations -- in the sense of encoding length. The goal in this setup is to achieve non-trivial tradeoffs between the presentation length and its modulus of stability.
With this goal in mind we analyze various natural examples of presentations. We provide a general method for constructing presentations of $\mathbb{Z}_2^k$ from linear error-correcting codes. We observe that the resulting presentation has a weak form of stability exactly when the code is \emph{testable}. This raises the question of whether testable codes give rise to genuinely stable presentations using this method. While we cannot show that this is the case in general, we leverage recent results in the study of non-local games in quantum information theory (Ji et al., Discrete Analysis 2021) to show that a specific instantiation of our construction, based on the Reed-Muller family of codes, leads to a stable presentation of $\mathbb{Z}_2^k$ of size polylog$(k)$ only. As an application, we combine this result with recent work of de la Salle (arXiv:2204.07084) to re-derive the quantum low-degree test of Natarajan and Vidick (IEEE FOCS'18), which is a key building block in the recent refutation of Connes' Embedding Problem via complexity theory (Ji et al., arXiv:2001.04383).
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Stability of Homomorphisms, Coverings and Cocycles I: Equivalence
Authors:
Michael Chapman,
Alexander Lubotzky
Abstract:
This paper is motivated by recent developments in group stability, high dimensional expansion, local testability of error correcting codes and topological property testing. In Part I, we formulate and motivate three stability problems: 1. Homomorphism stability: Are almost homomorphisms close to homomorphisms? 2. Covering stability: Are almost coverings of a cell complex close to genuine coverings…
▽ More
This paper is motivated by recent developments in group stability, high dimensional expansion, local testability of error correcting codes and topological property testing. In Part I, we formulate and motivate three stability problems: 1. Homomorphism stability: Are almost homomorphisms close to homomorphisms? 2. Covering stability: Are almost coverings of a cell complex close to genuine coverings of it? 3. Cocycle stability: Are 1-cochains whose coboundary is small close to 1-cocycles? We then prove that these three problems are equivalent.
△ Less
Submitted 1 April, 2024; v1 submitted 26 October, 2023;
originally announced October 2023.
-
CVaR-based Safety Analysis in the Infinite Time Horizon Setting
Authors:
Chuanning Wei,
Michael Fauss,
Margaret P. Chapman
Abstract:
We develop a risk-averse safety analysis method for stochastic systems on discrete infinite time horizons. Our method quantifies the notion of risk for a control system in terms of the severity of a harmful random outcome in a fraction of the worst cases. In contrast, classical methods quantify risk in terms of the probability of a harmful event. Our theoretical arguments are based on the analysis…
▽ More
We develop a risk-averse safety analysis method for stochastic systems on discrete infinite time horizons. Our method quantifies the notion of risk for a control system in terms of the severity of a harmful random outcome in a fraction of the worst cases. In contrast, classical methods quantify risk in terms of the probability of a harmful event. Our theoretical arguments are based on the analysis of a value iteration algorithm on an augmented state space. We provide conditions to guarantee the existence of an optimal policy on this space. We illustrate the method numerically using an example from the domain of stormwater management.
△ Less
Submitted 10 March, 2022; v1 submitted 15 August, 2021;
originally announced August 2021.
-
On Exponential Utility and Conditional Value-at-Risk as Risk-Averse Performance Criteria
Authors:
Kevin M. Smith,
Margaret P. Chapman
Abstract:
The standard approach to risk-averse control is to use the Exponential Utility (EU) functional, which has been studied for several decades. Like other risk-averse utility functionals, EU encodes risk aversion through an increasing convex mapping $\varphi$ of objective costs to subjective costs. An objective cost is a realization $y$ of a random variable $Y$. In contrast, a subjective cost is a rea…
▽ More
The standard approach to risk-averse control is to use the Exponential Utility (EU) functional, which has been studied for several decades. Like other risk-averse utility functionals, EU encodes risk aversion through an increasing convex mapping $\varphi$ of objective costs to subjective costs. An objective cost is a realization $y$ of a random variable $Y$. In contrast, a subjective cost is a realization $\varphi(y)$ of a random variable $\varphi(Y)$ that has been transformed to measure preferences about the outcomes. For EU, the transformation is $\varphi(y) = \exp(\frac{-θ}{2}y)$, and under certain conditions, the quantity $\varphi^{-1}(E(\varphi(Y)))$ can be approximated by a linear combination of the mean and variance of $Y$. More recently, there has been growing interest in risk-averse control using the Conditional Value-at-Risk (CVaR) functional. In contrast to the EU functional, the CVaR of a random variable $Y$ concerns a fraction of its possible realizations. If $Y$ is a continuous random variable with finite $E(|Y|)$, then the CVaR of $Y$ at level $α$ is the expectation of $Y$ in the $α\cdot 100 \%$ worst cases. Here, we study the applications of risk-averse functionals to controller synthesis and safety analysis through the development of numerical examples, with emphasis on EU and CVaR. Our contribution is to examine the decision-theoretic, mathematical, and computational trade-offs that arise when using EU and CVaR for optimal control and safety analysis. We are hopeful that this work will advance the interpretability and elucidate the potential benefits of risk-averse control technology.
△ Less
Submitted 5 May, 2023; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Stability of approximate group actions: uniform and probabilistic
Authors:
Oren Becker,
Michael Chapman
Abstract:
We prove that every uniform approximate homomorphism from a discrete amenable group into a symmetric group is uniformly close to a homomorphism into a slightly larger symmetric group. That is, amenable groups are uniformly flexibly stable in permutations. This answers affirmatively a question of Kun and Thom and a slight variation of a question of Lubotzky. We also give a negative answer to Lubotz…
▽ More
We prove that every uniform approximate homomorphism from a discrete amenable group into a symmetric group is uniformly close to a homomorphism into a slightly larger symmetric group. That is, amenable groups are uniformly flexibly stable in permutations. This answers affirmatively a question of Kun and Thom and a slight variation of a question of Lubotzky. We also give a negative answer to Lubotzky's original question by showing that the group $\mathbb{Z}$ is not uniformly strictly stable. Furthermore, we show that $\text{SL}_{r}(\mathbb{Z})$, $r\geq3$, is uniformly flexibly stable, but the free group $F_{r}$, $r\geq 2$, is not. We define and investigate a probabilistic variant of uniform stability that has an application to property testing.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
Cutoff on Ramanujan complexes and classical groups
Authors:
Michael Chapman,
Ori Parzanchevski
Abstract:
The total-variation cutoff phenomenon has been conjectured to hold for simple random walk on all transitive expanders. However, very little is actually known regarding this conjecture, and cutoff on sparse graphs in general. In this paper we establish total-variation cutoff for simple random walk on Ramanujan complexes of type $\widetilde{A}_{d}$ $(d\geq1)$. As a result, we obtain explicit generat…
▽ More
The total-variation cutoff phenomenon has been conjectured to hold for simple random walk on all transitive expanders. However, very little is actually known regarding this conjecture, and cutoff on sparse graphs in general. In this paper we establish total-variation cutoff for simple random walk on Ramanujan complexes of type $\widetilde{A}_{d}$ $(d\geq1)$. As a result, we obtain explicit generators for the finite classical groups $\mathrm{PGL}_{n}(\mathbb{F}_{q})$ for which the associated Cayley graphs exhibit total-variation cutoff.
△ Less
Submitted 16 June, 2022; v1 submitted 27 January, 2019;
originally announced January 2019.
-
Expander Graphs -- Both Local and Global
Authors:
Michael Chapman,
Nati Linial,
Yuval Peled
Abstract:
Let $G=(V,E)$ be a finite graph. For $v\in V$ we denote by $G_v$ the subgraph of $G$ that is induced by $v$'s neighbor set. We say that $G$ is $(a,b)$-regular for $a>b>0$ integers, if $G$ is $a$-regular and $G_v$ is $b$-regular for every $v\in V$. Recent advances in PCP theory call for the construction of infinitely many $(a,b)$-regular expander graphs $G$ that are expanders also locally. Namely,…
▽ More
Let $G=(V,E)$ be a finite graph. For $v\in V$ we denote by $G_v$ the subgraph of $G$ that is induced by $v$'s neighbor set. We say that $G$ is $(a,b)$-regular for $a>b>0$ integers, if $G$ is $a$-regular and $G_v$ is $b$-regular for every $v\in V$. Recent advances in PCP theory call for the construction of infinitely many $(a,b)$-regular expander graphs $G$ that are expanders also locally. Namely, all the graphs $\{G_v|v\in V\}$ should be expanders as well. While random regular graphs are expanders with high probability, they almost surely fail to expand locally. Here we construct two families of $(a,b)$-regular graphs that expand both locally and globally. We also analyze the possible local and global spectral gaps of $(a,b)$-regular graphs. In addition, we examine our constructions vis-a-vis properties which are considered characteristic of high-dimensional expanders.
△ Less
Submitted 28 August, 2019; v1 submitted 30 December, 2018;
originally announced December 2018.
-
Symbol $p$-Algebras of Prime Degree and their $p$-Central Subspaces
Authors:
Adam Chapman,
Michael Chapman
Abstract:
We prove that the maximal dimension of a $p$-central subspace of the generic symbol $p$-algebra of prime degree $p$ is $p+1$. We do it by proving the following number theoretic fact: let $\{s_1,\dots,s_{p+1}\}$ be $p+1$ distinct nonzero elements in the additive group $G=(\mathbb{Z}/p \mathbb{Z}) \times (\mathbb{Z}/p \mathbb{Z})$; then every nonzero element $g \in G$ can be expressed as…
▽ More
We prove that the maximal dimension of a $p$-central subspace of the generic symbol $p$-algebra of prime degree $p$ is $p+1$. We do it by proving the following number theoretic fact: let $\{s_1,\dots,s_{p+1}\}$ be $p+1$ distinct nonzero elements in the additive group $G=(\mathbb{Z}/p \mathbb{Z}) \times (\mathbb{Z}/p \mathbb{Z})$; then every nonzero element $g \in G$ can be expressed as $d_1 s_1+\dots+d_{p+1} s_{p+1}$ for some non-negative integers $d_1,\dots,d_{p+1}$ with $d_1+\dots+d_{p+1} \leq p-1$.
△ Less
Submitted 19 September, 2016; v1 submitted 18 July, 2016;
originally announced July 2016.
-
Filtrations of free groups arising from the lower central series
Authors:
Michael Chapman,
Ido Efrat
Abstract:
We make a systematic study of filtrations of a free group F defined as products of powers of the lower central series of F. Under some assumptions on the exponents, we characterize these filtrations in terms of the group algebra, the Magnus algebra of non-commutative power series, and linear representations by upper-triangular unipotent matrices. These characterizations generalize classical result…
▽ More
We make a systematic study of filtrations of a free group F defined as products of powers of the lower central series of F. Under some assumptions on the exponents, we characterize these filtrations in terms of the group algebra, the Magnus algebra of non-commutative power series, and linear representations by upper-triangular unipotent matrices. These characterizations generalize classical results of Grun, Magnus, Witt, and Zassenhaus from the 1930's, as well as later results on the lower p-central filtration and the p-Zassenhaus filtrations. We derive alternative recursive definitions of such filtrations, extending results of Lazard. Finally, we relate these filtrations to Massey products in group cohomology.
△ Less
Submitted 29 January, 2016;
originally announced January 2016.
-
The Kontsevich constants for the volume of the moduli of curves and topological recursion
Authors:
Kevin M. Chapman,
Motohico Mulase,
Brad Safnuk
Abstract:
We give an Eynard-Orantin type topological recursion formula for the canonical Euclidean volume of the combinatorial moduli space of pointed smooth algebraic curves. The recursion comes from the edge removal operation on the space of ribbon graphs. As an application we obtain a new proof of the Kontsevich constants for the ratio of the Euclidean and the symplectic volumes of the moduli space of cu…
▽ More
We give an Eynard-Orantin type topological recursion formula for the canonical Euclidean volume of the combinatorial moduli space of pointed smooth algebraic curves. The recursion comes from the edge removal operation on the space of ribbon graphs. As an application we obtain a new proof of the Kontsevich constants for the ratio of the Euclidean and the symplectic volumes of the moduli space of curves.
△ Less
Submitted 16 November, 2011; v1 submitted 10 September, 2010;
originally announced September 2010.
