arXiv++ Combinatorics

In this work, we propose a novel intrinsic approach to the approximation of ergodic SDEs on Riemannian manifolds, which include Riemannian Langevin dynamics. In opposition to the standard extrinsic approaches such as penalization methods and projection methods, our methodology does not use embeddings or coordinates and only relies on natural geometric operations: geodesics, parallel transport,... We give a criterion for high order of accuracy for the invariant measure, develop new intrinsic numerical methods designed solely for sampling the invariant measure, and derive high order conditions using a new algebraic operation on exotic Lie-Butcher series. In the spirit of the Leimkuhler-Matthews method, our approach prioritizes long time sampling efficiency over finite time accuracy, and outperforms the previous extrinsic and intrinsic approaches in terms of cost for a given accuracy, which we illustrate with several numerical experiments.

We prove a model-theoretic representation theorem for the distribution of an ergodic exchangeable $k$-uniform hypergraph: every such measure arises as the pushforward of the countably-iterated Morley product of a global Borel-definable Keisler measure over the countable universal homogeneous $k$-uniform hypergraph. We show this by starting with a Borel $k$-hypergraphon $W$ and constructing a Keisler measure $μ_{W}$ such that generic sampling with respect to $μ_{W}$ yields the same invariant measure as does the standard hypergraphon sampling procedure with respect to $W$. When $k = 2$, our results give a new representation theorem for ergodic exchangeable graphs via Keisler measures over a monster model of the Rado graph.

We present a new class of numerical methods for solving stochastic differential equations with additive noise on general Riemannian manifolds with high weak order of accuracy. In opposition to the popular approach with projection methods, the proposed methods are intrinsic: they only rely on geometric operations and avoid coordinates and embeddings. We provide a robust and general convergence analysis and an algebraic formalism of exotic planar Butcher series for the computation of order conditions at any high order. To illustrate the methodology, an explicit method of second weak order is introduced, and several numerical experiments confirm the theoretical findings and extend the approach for the sampling of the invariant measure of Riemannian Langevin dynamics.

The transition matrix of a Markov chain $(X_k,k\geq 0)$ on a finite or infinite rooted tree is said to be almost upper-directed if, given $X_k$, the node $X_{k+1}$ is either a descendant of $X_k$ or the parent of $X_k$. It is said to be almost lower-directed if given $X_k$, $X_{k+1}$ is either an ancestor of $X_k$ or a child of $X_k$. These models include nearest neighbor Markov chains on trees. Under an irreducibility assumption, we show that every almost upper-directed transition matrix on infinite (locally finite) trees has some invariant measures. An invariant measure $π$ is expressed thanks to a determinantal formula. We give general explicit criteria for recurrence and positive recurrence. An efficient algorithm (the leaf addition algorithm) of independent interest allows $π$ to be computed on many trees, without resorting to linear algebra considerations. Flajolet, in a series of papers, provided some relations between continuous fractions, generating functions of weighted Mötzkin paths, and used them in connection with the analysis of birth and death processes. These fruitful representations made it possible to establish many formulae for continuous fractions. Analogous considerations appear here: this type of study can be extended to weighted paths on trees, whose generating functions can also be expressed, this time in terms of multicontinuous fractions.

To a subshift over a finite alphabet, one can naturally associate an infinite family of finite graphs, called its Rauzy graphs. We show that for a subshift of subexponential complexity the Rauzy graphs converge to the line $\mathbf{Z}$ in the sense of Benjamini-Schramm convergence if and only if its complexity function $p(n)$ is unbounded and satisfies $\lim_n\frac{p(n+1)}{p(n)} = 1$. We then apply this criterion to many examples of well-studied dynamical systems. If the subshift is moreover uniquely ergodic then we show that the limit of labelled Rauzy graphs if it exists can be identified with the unique invariant measure. In addition we consider an example of a non uniquely ergodic system recently studied by Cassaigne and Kaboré and identify a continuum of invariant measures with subsequential limits of labelled Rauzy graphs.

The box-ball system (BBS) is a soliton cellular automaton introduced in [TS], and it is known that the dynamics of the BBS can be linearized by several methods. Recently, a new linearization method, called the seat number configuration, is introduced in [MSSS]. The aim of this paper is fourfold. First, we introduce the $k$-skip map $Ψ_{k} : Ω\to Ω$, where $Ω$ is the state space of the BBS, and show that the $k$-skip map induces a shift operator of the seat number configuration. Second, we show that the $k$-skip map is a natural generalization of the $10$-elimination, which was originally introduced in [MIT] to solve the initial value problem of the periodic BBS. Third, we generalize the notions and results of the seat number configuration and the $k$-skip map for the BBS on the whole-line. Finally, we investigate the distribution of $Ψ_{k}(η), η\in Ω$ when the distribution of $η$ belongs to a certain class of invariant measures of the BBS introduced in [FG]. As an application of the above results, we compute the expectation of the carrier with seat numbers.

We define a class of continuous graded graphs similar to the graph of Gelfand--Tsetlin patterns, and describe the set of all ergodic central measures of discrete type on the path spaces of such graphs. The main observation is that an ergodic central measure on a subgraph of a Pascal-type graph can often be obtained as the restriction of the standard Bernoulli measure to the path space of the subgraph. This observation dramatically changes the approach to finding central measures also on discrete graphs, such as the famous Young graph. The simplest example of this type is given by the theorem on the weak limits of normalized Lebesgue measures on simplices; these are the so-called Cesàro measures, which are concentrated on the sequences with prescribed Cesàro limits (this limit parametrizes the corresponding measure). More complicated examples are the graphs of continuous Young diagrams with fixed number of rows and the graphs of spectra of infinite Hermitian matrices of finite rank. We prove existence and uniqueness theorems for ergodic central measures and describe their structure. In particular, our results 1) give a new spectral description of the so-called infinite-dimensional Wishart measures~\cite{W}~ -- ergodic unitarily invariant measures of discrete type on the set of infinite Hermitian matrices; 2) describe the structure of continuous analogs of measures on discrete graded graphs. New problems and connections which appear are to be considered in new publications.

The present article introduces the notion of quasi-smoothness of marked rhythms through a certain transformation $Ref$, called reformation map. A marked rhythm consists of a rhythm together with a marker, and the map $Ref$ modifies the marked onset of the rhythm. It is shown that an iteration of the map $Ref$ transforms an arbitrary marked rhythm into a quasi-smooth one. A numerical criterion for a marked rhythm to be quasi-smooth is given in terms of the difference of its rhythm part. Through this criterion, the rhythm part of any quasi-smooth marked rhythm is shown to be smooth.

Given a positive integer $N$ and $x$ irrational between zero and one, an $N$-continued fraction expansion of $x$ is defined analogously to the classical continued fraction expansion, but with the numerators being all equal to $N$. Inspired by Sturmian sequences, we introduce the $N$-continued fraction sequences $ω(x,N)$ and $\hatω(x,N)$, which are related to the $N$-continued fraction expansion of $x$. They are infinite words over a two letter alphabet obtained as the limit of a directive sequence of certain substitutions, hence they are $S$-adic sequences. When $N=1$, we are in the case of the classical continued fraction algorithm, and obtain the well-known Sturmian sequences. We show that $ω(x,N)$ and $\hatω(x,N)$ are $C$-balanced for some explicit values of $C$ and compute their factor complexity function. We also obtain uniform word frequencies and deduce unique ergodicity of the associated subshifts. Finally, we provide a Farey-like map for $N$-continued fraction expansions, which provides an additive version of $N$-continued fractions, for which we prove ergodicity and give the invariant measure explicitly.

The Mackey-type identity mentioned in the title relates the operations of parabolic induction and restriction for invariant functions on the Lie algebras of the finite unitary groups $U(N, q^2)$. This result is applied to constructing positive harmonic functions on a new branching graph with a negative Hall-Littlewood parameter, as introduced in the authors' paper [Adv. Math. vol. 395 (2022), 108087; arXiv:2102.01947].This in turn implies the existence of an infinite-parameter family of invariant measures for the coadjoint action of an infinite-dimensional analogue of the groups $U(N, q^2)$.

The Quantum Symmetric Simple Exclusion Process (QSSEP) is a model of quantum particles hopping on a finite interval and satisfying the exclusion principle. Recently Bernard and Jin have studied the fluctuations of the invariant measure for this process, when the number of sites goes to infinity. These fluctuations are encoded into polynomials, for which they have given equations and proved that these equations determine the polynomials completely. In this paper, I give an explicit combinatorial formula for these polynomials, in terms of Schröder trees. I also show that, quite surprisingly, these polynomials can be interpreted as free cumulants of a family of commuting random variables.

We present a coarse-graining (or model order reduction) procedure for stochastic matrices by clustering. The method is consistent with the natural structure of Markov theory, preserving positivity and mass, and does not rely on any tools from Hilbert space theory. The reconstruction is provided by a generalized Penrose-Moore inverse of the coarse-graining operator incorporating the inhomogeneous invariant measure of the Markov matrix. As we show, the method provides coarse-graining and reconstruction also on the level of tensor spaces, which is consistent with the notion of an incidence matrix and quotient graphs, and, moreover, allows to coarse-grain and reconstruct fluxes. Furthermore, we investigate the connection with functional inequalities and Poincaré-type constants.

We define a new class of countable groups, which are defined by its action on the set of monotonic numberings (diagrams) of an arbitrary finite or countable partial ordered set (poset). These groups are generated by the set of involutions? and in the case of finite posets could be considered as generalization of Coxeter's symmetric groups. We discuss the problems concerned to infinite groups jf this type, in particular the problem of the descripton of invariant measures on the space of numberings (central measures)with respect to actions of those groups. The probelms are tightly connected with the new theory of representations of the generalizations of infinite symmetric group.

The groups mentioned in the title are certain matrix groups of infinite size over a finite field $\mathbb F_q$. They are built from finite classical groups and at the same time they are similar to reductive $p$-adic Lie groups. In the present paper, we initiate the study of invariant measures for the coadjoint action of these infinite-dimensional groups. We examine first the group $\mathbb{GLB}$, a topological completion of the inductive limit group $\varinjlim GL(n, \mathbb F_q)$. As was shown by Gorin, Kerov, and Vershik [arXiv:1209.4945], the traceable factor representations of $\mathbb{GLB}$ admit a complete classification, achieved in terms of harmonic functions on the Young graph $\mathbb Y$. We show that there exists a parallel theory for ergodic coadjoint-invariant measures, which is linked with a deformed version of harmonic functions on $\mathbb Y$. Here the deformation means that the edges of $\mathbb Y$ are endowed with certain formal multiplicities coming from the simplest version of Pieri rule (multiplication by the first power sum $p_1$) for the Hall-Littlewood (HL) symmetric functions with parameter $t:=q^{-1}$. This fact serves as a prelude to our main results, which concern topological completions of two inductive limit groups built from finite unitary groups. We show that in this case, coadjoint-invariant measures are linked to some new branching graphs. The latter are still related to the HL functions, but the novelty is that now the formal edge multiplicities come from the multiplication by $p_2$ (not $p_1$) and the HL parameter $t$ turns out to be negative (as in Ennola's duality).

We give a description of invariants and attractors of the critical and subcritical Galton-Watson tree measures under the operation of Horton pruning (cutting tree leaves with subsequent series reduction). Under a regularity condition, the class of invariant measures consists of the critical binary Galton-Watson tree and a one-parameter family of critical Galton-Watson trees with offspring distribution $\{q_k\}$ that has a power tail $q_k\sim Ck^{-(1+1/q_0)}$, where $q_0\in(1/2,1)$. Each invariant measure has a non-empty domain of attraction under consecutive Horton pruning, specified by the tail behavior of the initial Galton-Watson offspring distribution. The invariant measures satisfy the Toeplitz property for the Tokunaga coefficients and obey the Horton law with exponent $R = (1-q_0)^{-1/q_0}$.

This document is a collection of comments that I wrote down while reading the first four chapters of the book "Discrete Groups, Expanding Graphs and Invariant Measures" by Alexander Lubotzky. Most of them are more detailed versions of proofs. Some imprecisions are pointed out and discussed, and some facts referenced in the book are proven. In the appendix we discuss topics of interest in relation to this book, which are however not necessary for its understanding. The aim of this document, which is not quite complete in that respect, is to provide, together with Lubotzky's book, a self-contained read.

Given a countable relational language $L$, we consider probability measures on the space of $L$-structures with underlying set $\mathbb{N}$ that are invariant under the logic action. We study the growth rate of the entropy function of such a measure, defined to be the function sending $n \in \mathbb{N}$ to the entropy of the measure induced by restrictions to $L$-structures on $\{0, \ldots, n-1\}$. When $L$ has finitely many relation symbols, all of arity $k\ge 1$, and the measure has a property called non-redundance, we show that the entropy function is of the form $Cn^k+o(n^k)$, generalizing a result of Aldous and Janson. When $k\ge 2$, we show that there are invariant measures whose entropy functions grow arbitrarily fast in $o(n^k)$, extending a result of Hatami-Norine. For possibly infinite languages $L$, we give an explicit upper bound on the entropy functions of non-redundant invariant measures in terms of the number of relation symbols in $L$ of each arity; this implies that finite-valued entropy functions can grow arbitrarily fast.

We investigate the relative computability of exchangeable binary relational data when presented in terms of the distribution of an invariant measure on graphs, or as a graphon in either $L^1$ or the cut distance. We establish basic computable equivalences, and show that $L^1$ representations contain fundamentally more computable information than the other representations, but that $0'$ suffices to move between computable such representations. We show that $0'$ is necessary in general, but that in the case of random-free graphons, no oracle is necessary. We also provide an example of an $L^1$-computable random-free graphon that is not weakly isomorphic to any graphon with an a.e. continuous version.

Gao, Jackson, and Seward (see arXiv:1201.0513) proved that every countably infinite group $Γ$ admits a nonempty free subshift $X \subseteq \{0,1\}^Γ$. Furthermore, a theorem of Seward and Tucker-Drob (see arXiv:1402.4184) implies that every countably infinite group $Γ$ admits a free subshift $X \subseteq \{0,1\}^Γ$ that supports an invariant probability measure. Aubrun, Barbieri, and Thomassé (see arXiv:1507.03369) used the Lovász Local Lemma to give a short alternative proof of the Gao--Jackson--Seward theorem. Recently, Elek (see arXiv:1702.01631) followed another approach involving the Lovász Local Lemma to obtain a different proof of the existence of free subshifts with invariant probability measures for finitely generated sofic groups. Using the measurable version of the Lovász Local Lemma for shift actions established by the author (see arXiv:1604.07349), we give a short alternative proof of the existence of such subshifts for arbitrary groups. Moreover, we can find such subshifts in any nonempty invariant open set.

We consider the space of countable structures with fixed underlying set in a given countable language. We show that the number of ergodic probability measures on this space that are $S_\infty$-invariant and concentrated on a single isomorphism class must be zero, or one, or continuum. Further, such an isomorphism class admits a unique $S_\infty$-invariant probability measure precisely when the structure is highly homogeneous; by a result of Peter J. Cameron, these are the structures that are interdefinable with one of the five reducts of the rational linear order $(\mathbb{Q}, <)$.