Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Infinite Words with very Low Factor Complexity: an introduction to Combinatorics on Words
These lecture notes provide an introduction to combinatorics on words and its interactions with dynamics, algebra, and arithmetic. The central theme is the notion of low factor complexity for infinite words. We investigate the following guiding questions: What is the minimal complexity of a non-trivial infinite word over a binary, ternary, or more generally finite alphabet? How should ''non-triviality'' be formalized? Which words achieve this minimal complexity? Are there many? Are they interesting? In exploring these questions, we introduce classical objects and tools from combinatorics on words -- such as Sturmian words and Rauzy graphs -- as well as little-known and new results. In particular, the third chapter is devoted to a theorem by R. Tijdeman from 1999, which generalizes a seminal result of M. Morse and G. Hedlund from 1938. We provide a new, algebraic proof of this theorem (due to J. Cassaigne and the author, 2022) and develop its consequences.
Walks in the quadrant with interacting boundaries : genus zero case
The study of lattice walks restricted to the first quadrant has shed a lot of interest in the past twenty years. In particular, there has been an important effort to classify models of weighted walks with small steps with respect to the algebraic-differential nature of their generating function. The techniques that were developed in the course of this work are now applied to different extensions of those walks. One of these extensions, called walks with interacting boundaries, consists in accounting for the number of contacts of the walk with the axes, with motivation coming from statistical physics. These contacts are encoded as two additional parameters for the generating function, the Boltzmann weights.
For one notable family of models, called genus zero models, we establish in this paper the complete classification of their generating function, for all real values of the parameters. We do this by adapting to this more general case a method due to Dreyfus, Hardouin, Roques and Singer, used in the former classification, and which consists in studying the rational solutions to a $q$-difference equation. In almost all cases, we show that the generating function is hypertranscendental, regardless of the values of the weights. In the remaining cases, we prove that specific algebraic relations between the Boltzmann weights make the generating function $\mathbb{N}$-algebraic or $\mathbb{N}$-rational, contrasting with the interaction-less case.
A Class of Unrooted Phylogenetic Networks Inspired by the Properties of Rooted Tree-Child Networks
A directed phylogenetic network is tree-child if every non-leaf vertex has a child that is not a reticulation. As a class of directed phylogenetic networks, tree-child networks are very useful from a computational perspective. For example, several computationally difficult problems in phylogenetics become tractable when restricted to tree-child networks. At the same time, the class itself is rich enough to contain quite complex networks. Furthermore, checking whether a directed network is tree-child can be done in polynomial time. In this paper, we seek a class of undirected phylogenetic networks that is rich and computationally useful in a similar way to the class tree-child directed networks. A natural class to consider for this role is the class of tree-child-orientable networks which contains all those undirected phylogenetic networks whose edges can be oriented to create a tree-child network. However, we show here that recognizing such networks is NP-hard, even for binary networks, and as such this class is inappropriate for this role. Towards finding a class of undirected networks that fills a similar role to directed tree-child networks, we propose new classes called $q$-cuttable networks, for any integer $q\geq 1$. We show that these classes have many of the desirable properties, similar to tree-child networks in the rooted case, including being recognizable in polynomial time, for all $q\geq 1$. Towards showing the computational usefulness of the class, we show that the NP-hard problem Tree Containment is polynomial-time solvable when restricted to $q$-cuttable networks with $q\geq 3$.
On the maximum product of distances of diameter $2$ point sets
We consider a problem posed by Erdős, Herzog and Piranian on the maximum product of distances of a point set of order $n$ with a given diameter. We prove that it is sufficient to consider convex polygons and obtain results on the structure of the diameter graph. We also give constructions that drastically improve on the regular $n$-gons, sketching what the extremal polygons should look like, while presenting results indicating that one cannot hope to characterize the extremal polygons in general for even orders.
A base change framework for tensor functions
The main contribution of this note is to establish a framework to extend results of tensor functions over specific field to general field. As a consequence of this framework, we extend the existing work to more general settings: \emph{(1)} slice rank is linearly bounded by geometric rank for any 3-tensors over any field. \emph{(2)} slice rank of any 3-tensors is quasi-supermultiplicative. As a consequence, the asymptotic slice rank exists for any 3-tensors.
On distance integral and distance Laplacian integral graphs
Let $G$ be a connected graph on $n$ vertices and let $D(G)$ and $D^{L}(G)$ be the distance and the distance Laplacian matrices associated with $G$. A graph $G$ is said to be $D$-integral (resp. $D^L$-integral) if all eigenvalues of $D(G)$ (resp. $D^L(G)$) are integers. In this paper, we obtain various conditions under which the graphs $a\overline{K_m}\nabla C_n$ and $K_{p,p}\nabla C_n$ are distance integral. We also obtain conditions on $m$, $n$ under which the dumbbell graph $\boldsymbol{DB}(W_{m,n})$ is $D^L$-integral.
An Elementary Proof of the Lovász Local Lemma Without Conditional Probabilities
The Lovász Local Lemma is a powerful combinatorial tool via the probabilistic method, providing a criterion under which a collection of undesirable events with limited dependencies can be avoided simultaneously with positive probability. Standard presentations of the Lovász Local Lemma typically use conditional probabilities in intermediate steps. In this letter, we present a proof that avoids conditional probabilities altogether and instead works with unconditional probability inequalities. This formulation yields a fully self-contained argument in which every step is valid without requiring the positivity of intermediate conditioning events. The resulting proof is elementary and provides a transparent presentation of the Lovász Local Lemma.
Motivic Chern Classes of Open Projected Richardson Varieties and of Affine Schubert Cells
The open projected Richardson varieties are images of the open Richardson varieties of the complete flag variety under the canonical projection to the partial flag variety. Our main result compares the Segre motivic Chern (SMC) classes of the open projected Richardson varieties with those of the affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. The main method is the recursive relation determined by the Demazure--Lusztig operators. As another application of this recursive relation, we relate the localization of the SMC classes to the twisted Kazhdan--Lusztig R-polynomials. In the case of Grassmannians, the open projected Richardson varieties are known as the open positroid varieties. We give a combinatorial formula for the SMC classes of these varieties.
Sum rules for permutations with fixed points involving Stirling numbers of the first kind
We propose sum rules for permutations $p_n(k)$ of the ensemble $\left\{1,2,\cdots,n\right\}$ with $k$ fixed points, in the form of partial sums of their moments. The corresponding identities involve Stirling numbers of the first kind $s(q,r)$. Using a formula due to Vassilev-Missana and the Schlömlich expression of Stirling numbers, we also deduce sum rules for binomial coefficients. Connections with Bell numbers $B_n$ are outlined.
Hamiltonian Sets of Polygonal Paths in Assembly Graphs
Published in Proceedings of the Edinburgh Mathematical Society. Published online 2026:1-17
• View Publication
• BIB
We provide four equivalent combinatorial conditions for a simple assembly graph (rigid vertex graph where all vertices are of degree 1 or 4) to have the largest number of Hamiltonian sets of polygonal paths relative its size. These conditions serve to prove the conjecture that such maximum, which is equal to $F_{2n+1}-1$, where $F_k$ denotes the $k$th Fibonacci number, is achieved only for special assembly graphs, called tangled cords.
Hyperplane arrangements with non-formal Milnor fibers
Each complex hyperplane arrangement $\mathcal{A}$ gives rise to a Milnor fibration of its complement. Building on work of Zuber, we give a combinatorial sufficient condition for the Milnor fiber $F(\mathcal{A})$ to be non-$1$-formal, expressed in terms of the multinet structure on $\mathcal{A}$, and use it to produce an infinite family of monomial arrangements $\mathcal{A}(3k,3k,3)$ with non-formal Milnor fibers. We also review the relevant background on cohomology jump loci, formality, and the topology of Milnor fibers of arrangements.
A tale of two volumes of moduli spaces: Weil-Petersson and Masur-Veech
Weil-Petersson and Masur-Veech volumes measure the sizes of moduli spaces of Riemann surfaces equipped with hyperbolic and flat metrics, respectively. Over the past several decades, the computation of these volumes has inspired remarkable developments in combinatorial enumeration, intersection theory, and recursion relations. In this survey, we review key results, methods, open problems, as well as interesting parallels that emerge in the approaches to computing both types of volumes.
Precoloring 3-extension on outerplanar graphs
The precoloring problem of a graph involves assigning colors to some vertices beforehand, and the objective is to determine whether it can be extended to a proper k-coloring of the entire graph. In 1958, Grotzsch proved that every triangle-free planar graph can be properly colored by three colors. One of the further generalizations of it is the recent result by Hoang La et al. in (Discrete Mathematics, 345(6) (2022), 112849 ). They proved that any two non-adjacent vertices and a face with a length at most four are precolored, the precolorings can be extended to a 3-coloring of the graph. In the paper, we consider precoloring extension of connected outerplanar graph with at most one or two triangles. Particularly, we show that precoloring of any two or three non-adjacent vertices can be extend to a 3-coloring of the whole graph.
An extension of Birkhoff's representation theorem to locally-finite distributive lattices
Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice. We present a simplified version of Stone's extension of this theorem to general distributive lattices. We then apply this formulation to locally finite distributive lattices to produce a novel representation theorem: The lattice is isomorphic to the order ideals of the poset of prime filters of the lattice whose symmetric difference from a particular ideal is finite.
Isomorphism factorizations of the complete graph into Cayley graphs on CI-groups
Isomorphic factorizations of complete graphs originate from the seminal work of Frank Harary and collaborators, who initiated the systematic study of decompositions of complete graphs into pairwise isomorphic spanning subgraphs. In this paper, we investigate isomorphic factorizations of complete graphs into Cayley graphs on CI-groups.
Let $Γ=Cay(G,S)$ denote the Cayley graph of finite group $G$. We obtain a necessary and sufficient condition on CI-group $G$ so that the complete graph on $|G|$ vertices can be edge-partitioned into $k$-copies of Cayley graph of the same CI-group $G$ each isomorphic to $Cay(G,S)$ for some inverse-closed subset $S\subset G\setminus\{1\}$. Further we give a construction of isomorphic factorizations of the complete graph into Cayley graphs on CI-group.
Vanishing orders and zero degree Turán densities
For integers $1\le \ell<k$, the $\ell$-degree Turán density $π_\ell(F)$ measures the minimum $\ell$-degree threshold that forces a copy of a fixed $k$-uniform hypergraph $F$, generalizing both the classical Turán density $π_1$ and the codegree Turán density $π_{k-1}$. Motivated by Erdős' characterization of $k$-graphs with zero Turán density, we study the structural implications of vanishing $\ell$-degree Turán density.
We prove for every uniformity $k\ge 3$ that if $π_2(F)=0$, then $F$ admits a $2$-vanishing order-a global vertex ordering under which all edges align canonically. This provides a higher-degree analogue of the classical fact that $π_1(F)=0$ forces $k$-partiteness, and identifies a structural obstruction to vanishing $2$-degree Turán density. As an application, we show that, unlike $π_1$, $π_2$ accumulates at $0$. For $3\le \ell\le k-1$, we also obtain weaker necessary conditions for $π_\ell(F)=0$.
The proof combines random geometric building blocks, a design-theoretic gluing scheme, and random sparsification to reconcile positive $2$-degree with local vanishing structure.
Failing to keep the balance: explicit formulae and topological recursion for leaky Hurwitz numbers
Recently a new family of enumerative invariants called leaky Hurwitz numbers was introduced by Cavalieri-Markwig-Ranganathan in the context of logarithmic intersection theory. They admit an interpretation via tropical covers where the balancing condition fails. We employ tropical geometry to prove a generalisation of the piecewise polynomiality of Accadia-Karev-Lewanski for leaky completed cycles Hurwitz numbers, and a different wall crossing that is cubic instead of quadratic. Using tropical combinatorics and generatingfunctionology, we also find closed formulae for one-part and two-part completed cycles leaky Hurwitz numbers in genus $0$. Working more generally with a view towards topological recursion, we use Hamiltonian flows to associate spectral curves to very general cut-and-join operators. Under mild analytic constraints, we find the appropriate spectral curves, and in case the leakiness is fixed, we show that the resulting enumerative invariants satisfy topological recursion. This provides a partial inverse to recent work of Alexandrov-Bychkov-Dunin-Barkowski-Kazarian-Shadrin producing differentials satisfying topological recursion for KP $τ$-functions. In particular these results specialise to completed cycles leaky Hurwitz numbers.
The degeneracy and Alon-Tarsi number under $F$-sum operations
The Alon-Tarsi number of a graph $ G $ is the smallest $ k $ such that there exists an orientation $ D $ of $ G $ with maximum outdegree $ k - 1 $ satisfying that the number of even Eulerian subgraphs is different from the number of odd Eulerian subgraphs. The degeneracy of a graph $ G $ is the maximum value of the minimum degree over all subgraphs of $ G $. In this paper, we obtain a characterization of graphs with $AT(G)=2$ for any graph $G$, and study the Alon-Tarsi number of $F$-sum in terms of degeneracy.
Ramanujan Complexes from Unitary Groups over Number Fields
In this article, we construct new families of Ramanujan complexes with local structure distinct from all previously known examples. Our approach is based on unitary groups over number fields, more specifically on what we call super-definite unitary groups, that is definite unitary groups that are anisotropic modulo their center at a finite place. These arise naturally as groups of units in central division algebras with involution of the second kind.
Our first main result gives a general construction of infinite families of Ramanujan complexes associated with a super-definite unitary group $G$ over a totally real number field and a finite place $v_0$. The structure of the resulting complex is governed by the type of the Bruhat-Tits building at $v_0$. It includes new examples of type $A_n$ when $v_0$ is split, and novel families of type ${}^2\!A'_n$, ${}^2 \! A''_n$ (with $n$ even), $B$-$C_n$, ${}^2 \! B$-$C_n$ and $C$-$BC_n$ in the non-split case. This construction works uniformly across all ranks.
Since much of the motivation for constructing expander complexes comes from computer science, we investigate the algorithmic explicitness of our construction in the latter part of the paper, and provide an example in rank 5 where it becomes fully explicit. In particular, this example yields golden gates for the real Lie group $PU(5)$.
Asymptotic Transfer in Critical Recursive Composition Schemes
The composition $\mathcal{F} \circ \mathcal{G}$ of two combinatorial classes $\mathcal{F}$ and $\mathcal{G}$ is a standard combinatorial construction and translates into the composition $F(G(z))$ of their corresponding counting generating functions. Such a composition is called critical if $G(ρ_G) = ρ_F$, where $ρ_F$ and $ρ_G$ denote the corresponding radii of convergences of $F$ and $G$, respectively. In this case, both the singular behaviours of $F$ and $G$ influence that of $F\circ G$. Such critical decomposition schemes appear quite frequently in the context of map enumeration. For example by using the block-decomposition one has $M(z) = B(z(1+M(z))^2)$ and $ρ_B = ρ_M (1+M(ρ_M))^2$, where $M(z)$ denotes the generating series of all rooted planar maps and $B(y)$ the generating series of $2$-connected rooted planar maps. This can be extended to multivariate generating functions by taking several statistics into account, for example face counts. Since critical composition schemes show (usually) a condensation phenomenon -- in the above situation this means that there is giant $2$-connected block of linear size and linearly many small blocks -- it is very plausible that statistical properties on $2$-connected maps transfer to corresponding properties of all maps and back. The purpose of the present paper is to make this precise on the level of the singular structure of the corresponding multivariate generating functions. In particular we show that moving $3/2$-singularities transfer. Since such kind of singularities are closely related to central limit theorems of the corresponding statistics this methods provides also a kind of transfer of central limit theorems. Actually this method is quite flexible and is applied to a variety of face and pattern counting statistics in map enumeration.