sequence
6845 papers tagged with this keyword
A Formal Analogue of Euler's Formula for Infinite Planar Regular Graphs
We present a formal version of the numbers of vertices, edges, and faces for infinite planar regular triangular meshes of degree r>6. These numbers are defined via Euler summation of sequences obtained from iterated expansions of a convex combinatorial disk. We prove that these formal quantities satisfy the classical Euler formula, providing a combinatorial analogue of Euler's formula for infinite planar graphs.
Persistence probabilities of MA(1) sequences with Laplace innovations and $q$-deformed zigzag numbers
We study the persistence probabilities of a moving average process of order one with innovations that follow a Laplace distribution. The persistence probabilities can be computed fully explicitly in terms of classical combinatorial quantities like certain $q$-Pochhammer symbols or $q$-deformed analogues of Euler's zigzag numbers, respectively. Similarly, the generating functions of the persistence probabilities can be written in terms of $q$-analogues of the exponential function or the $q$-sine/$q$-cosine functions, respectively.
A Simple Recursive Relation Characterizes a Tree Associated to Generalized Farey Sequences
This paper proves that two differently defined rooted binary trees are isomorphic. The first tree is one associated to a version of Farey sequences where the vertices correspond to the open intervals formed by two successive terms in the sequence. The other tree has the vertices consisting of pairs of positive integers whose adjacency is defined by a simple recursive relation. These trees appeared in a study of a generalization of a class of the permutations defined by Sós and the bijection between it and the set of the Farey intervals due to Surányi.
Optimal Mistake Bounds for Transductive Online Learning
We resolve a 30-year-old open problem concerning the power of unlabeled data in online learning by tightly quantifying the gap between transductive and standard online learning. In the standard setting, the optimal mistake bound is characterized by the Littlestone dimension $d$ of the concept class $H$ (Littlestone 1987). We prove that in the transductive setting, the mistake bound is at least $Ω(\sqrt{d})$. This constitutes an exponential improvement over previous lower bounds of $Ω(\log\log d)$, $Ω(\sqrt{\log d})$, and $Ω(\log d)$, due respectively to Ben-David, Kushilevitz, and Mansour (1995, 1997) and Hanneke, Moran, and Shafer (2023). We also show that this lower bound is tight: for every $d$, there exists a class of Littlestone dimension $d$ with transductive mistake bound $O(\sqrt{d})$. Our upper bound also improves upon the best known upper bound of $(2/3)d$ from Ben-David, Kushilevitz, and Mansour (1997). These results establish a quadratic gap between transductive and standard online learning, thereby highlighting the benefit of advance access to the unlabeled instance sequence. This contrasts with the PAC setting, where transductive and standard learning exhibit similar sample complexities.
On the minimal forts of trees
In 2008, the zero forcing number of a graph was shown to be an upper bound on the graph's maximum nullity. In 2018, the concept of forts was introduced to provide a set covering characterization of zero forcing sets. Since then, forts have been integrated into integer programming models for zero forcing and have been used to yield bounds on the zero forcing number. In 2025, researchers explored the combinatorial question of how many minimal forts a graph can have. They demonstrated that the number of minimal forts in a graph with an order of at least six is strictly less than Sperner's bound. Moreover, the authors derived an explicit formula for the number of minimal forts in path, cycle, and spider graphs. For example, the number of minimal forts in a path graph aligns with the Padovan sequence, and thus exhibits exponential growth. In this article, we demonstrate that no tree with an order of $n$ can have fewer than $n/3$ minimal forts. Additionally, we provide a characterization of the trees that possess exactly $n/3$ minimal forts. We conjecture that the $n/3$ bound is valid for all graphs of order $n$. We present experimental evidence supporting this conjecture and prove that it holds for all Eulerian graphs.
Diagonal Simplicial Tensor Modules and Algebraic $n$-Hypergroupoids
Let $A$ be a commutative ring, let $k\in\mathbb{Z}^+$, and let $\vec{s}=(n_1,\dots,n_k)\in(\mathbb{Z}^+)^k$ with $n=\min_a(n_a)-1$. We attach to $\vec{s}$ a diagonal simplicial tensor module $X_\bullet(\vec{s};A)$ whose $p$-simplices are functions on a cosimplicial index set $I_p(\vec{s})\subseteq \mathbb{N}^k$. This extends Quillen's diagonal on double semi-simplicial groups: $X_\bullet(\vec{s};A)$ is obtained by restricting a $k$-fold simplicial $A$-module along the diagonal $p\mapsto(p,\ldots,p)$.
Using a ``missing indices'' description of face kernels, we compute the horn kernels $R_{p,j}(X)$ and show that $R_{p,j}(X)\neq 0$ if and only if $k\ge p$, independently of $j$. Consequently, $X_\bullet(\vec{s};A)$ is an algebraic $n$-hypergroupoid in the sense of Duskin (1979) and Glenn (1982) if and only if $k\le n$, and horn fillers in dimension $n$ are non-unique if and only if $k\ge n$; in particular it is strict precisely when $k=n$. A Horn Non-Degeneracy Lemma shows that, for $p\ge 1$, $R_{p,j}(X)\cap D_p(X)=\{0\}$ and yields a decomposition $X_p=R_{p,j}(X)\oplus D_p(X)$. An explicit shift-and-truncate chain homotopy, equivariant under $\operatorname{Stab}(\vec{s})$ and compatible with a natural filtration, contracts $X_\bullet(\vec{s};A)$ and forces the associated spectral sequence to collapse at $E_1$.
When $A$ is an infinite field $K$, we study simplicial submodules generated by a single tensor via kernel sequences and a moduli map to a product of Grassmannians. The moduli map image is an irreducible and unirational constructible subset of a determinantal incidence variety.
Color-avoiding directed paths in tournaments
We study the following Ramsey-theoretic question: given a $q$-coloring of the edges of a tournament, how long of a directed path can we guarantee whose edges avoid one of the colors? Questions of this type have applications in many areas, such as vector sequences, convex geometry, and extremal hypergraph theory, and have been extensively studied over the past 50 years.
We prove that if $\varepsilon>0$ is fixed and $q$ is sufficiently large, then every $q$-edge-colored $N$-vertex tournament contains a color-avoiding directed path of length $N^{1-\varepsilon}$. This answers a question of Gowers and Long, strengthens several of their results, and extends earlier work of Loh.
Concerning FAT Colorings of Graphs
Let $G$ be a graph and let $C$ be a color set of cardinality $k$. Suppose $c \colon V(G) \to C$ is a (not necessarily proper) vertex coloring whose all color classes are $V_1$, $V_2$, $\dots$, $V_k$, each of which is nonempty. The vertex coloring $c$ is said to be a {\it FAT $k$-coloring of $G$} if there exist real numbers $α$ and $β$, both in $[0,1]$, such that for every vertex $v\in V(G)$ and every color class $V_i$ the following equalities hold: $$ \bigl| V_i \cap N(v) \bigr| = \begin{cases}
α°(v) & \mbox{ if } \ \ v \notin V_i
β°(v) & \mbox{ if } \ \ v \in V_i . \end{cases} $$ Let $k > 1$ be a fixed integer, and let $α\in \left[ 0 , \frac{1}{k-1} \right) \cap \mathbb{Q}$ and $β\in [ 0 , 1 ] \cap \mathbb{Q}$ be some fixed rational numbers satisfying $ β+ (k-1) α= 1 $. It was asked for the existence of a graph $G$ with $δ(G) > 0$ admitting some FAT $k$-coloring with the corresponding parameters $α$ and $β$. This paper settles the question in the affirmative. We explicitly construct a sequence $\displaystyle\left\{G_n\right\}_{n=1}^{\infty}$ of pairwise non-homomorphically equivalent graphs, each being a regular graph of positive degree, admitting a FAT $k$-coloring with the corresponding parameters $α$ and $β$.
Complexity of Linear Subsequences of $k$-Automatic Sequences
We construct automata with input(s) in base $k$ recognizing some basic relations and study their number of states. We also consider some basic operations on $k$-automatic sequences and discuss their state complexity. We find a relationship between subword complexity of the interior sequence $(h'(i))_{i \geq 0}$ and state complexity of the linear subsequence $(h(ni+c))_{i \geq 0}$. We resolve a recent question of Zantema and Bosma about linear subsequences of $k$-automatic sequences with input in most-significant-digit-first format. We also discuss the state complexity and runtime complexity of using a reasonable interpretation of Büchi arithmetic to actually construct some of the studied automata recognizing relations or carrying out operations on automatic sequences.
On the Number of Posets
This paper presents combinatorial facts dealing with the number of unlabeled partially ordered sets (posets) refined by the number of arcs in the Hasse diagram (sequence A342447 in OEIS). The main result is that the differences with respect to the number of points in this sequence become stationary if the number of points is sufficiently high. These differences are proposed as the new sequence A376894. In addition, the underlying combinatorial and graph theoretical arguments were used to extend some further OEIS sequences.
Reddening sequences and mutation of infinite quivers
Cluster algebras, introduced by Fomin and Zelevinsky through the process of quiver mutation, have become central objects in modern algebra and geometry, linking combinatorial constructions with diverse mathematical domains such as Teichmuller theory, total positivity, and even theoretical physics. Building on foundational work by Fomin, Shapiro, and Thurston connecting cluster algebras to triangulated surfaces, recent research has extended mutation theory to infinite settings, including the infinity-gon and more general marked surfaces. In this paper, we develop a purely combinatorial framework for mutation of infinite quivers, independent of but compatible with these topological constructions. By formalizing infinite quivers as limits of embedded finite quivers, we establish a consistent definition of mutation that generalizes prior surface-based results. We then apply this framework to extend the notion of reddening sequences, special mutation sequences with significant algebraic consequences, from the finite to the infinite setting. Our approach not only unifies previous topological and combinatorial perspectives but also provides a technical foundation for further generalizations of cluster algebra theory in the infinite case.
The Uniform Random Walk on graphs, loop processes and graphings
We define the Uniform Random Walk (URW) on a connected, locally finite graph as the weak limit of the uniform walk of length $n$ starting at a fixed vertex. When the limit exists, it is necessarily Markovian and is independent of the starting point. For a finite graph, URW equals the Maximal Entropy Random Walk (MERW).
We investigate the existence and phase transitions of URW for loop perturbed regular graphs and their limits. It turns out that for a sequence of finite graphs, it is the global spectral theory of the limiting graphing that governs the behavior of the finite MERWs.
In the delocalized phase, we use a "membrane argument", showing that the principal eigenfunction of an expander graphing is stable under a small diagonal perturbation. This gives us: 1) The existence of URW on leaves; 2) The URW is a unique entropy maximizer; 3) The MERW of a finite graph sequence Benjamini-Schramm converges to the URW of the limiting graphing.
In the localized phase, the environment seen by the particle takes the role of a finite stationary measure. We show that for canopy trees, the URW exists, is transient and maximizes entropy. We also show that for large finite graphs where most vertices have a fixed degree, localization of MERW is governed by the adjacency norm.
Quantitative indistinguishability and sparse and dense clusters in factor of IID percolations
Chifan-Ioana (2010) implies that, for any factor of IID percolation on any nonamenable Cayley graph $G$, there is a countable set of (strong) indistinguishability classes for non-hyperfinite clusters. We introduce quantitative strengthenings, called (qI) and (qSI): for $η$-non-hyperfinite clusters, there are at most $M(G,η)<\infty$ (strong) indistinguishability classes, for any FIID percolation.
We first show that (qI) and (qSI) for any $G$ are equivalent to the ``sparse implies thin'' property (SiT): any FIID percolation with $η$-non-hyperfinite clusters has density at least $c(G,η)>0$. Also, (SiT) is independent of the finite generating set of a group. We prove, using entropy inequalities, that (SiT) holds for free groups, even for weak FIIDs. On the other hand, recent work of Jardón-Sánchez, Mellick, Poulin, and Wróbel implies that (SiT) fails for weak FIIDs on non-exact, i.e., not property (A) groups.
Furthermore, (SiT) implies that the Bernoulli graphing over any non-hyperfinite FIID cluster is strongly ergodic, and that indistinguishability for non-hyperfinite FIID clusters is equivalent to strong indistinguishability. These results follow from the work of Chifan-Ioana for every nonamenable Cayley graph, but with non-probabilistic proofs.
We also prove, again using entropy inequalities, this time for all nonamenable Cayley graphs, that any FIID percolation with high enough expected degree must have a density close to 1, and there must be a single indistinguishability class of such clusters. On Kazhdan groups, there must be a single such cluster.
Our results have finite counterparts: in any large girth $d$-regular graph sequence, any FIID subgraph of average degree at least $2+δ$ must have density at least $c(d,δ)>0$. In the uniform random d-regular graph $G_{n,d}$, this holds for every subgraph of average degree at least $2+δ$.
The local homological structure of generalized splines
Generalized splines are a simultaneous generalization of GKM theory -- which studies equivariant cohomology -- and classical splines, which provide piecewise approximations of functions. Generalized splines can also be understood via schemes, with the interpolation constraints -- or so-called GKM-condition -- encoded by gluing along certain closed subschemes. This view provides a local-global principle, with the local pictures retaining the generalized spline structure. Consequently, the behavior of generalized splines over local rings controls certain global phenomena, such as projectivity and often freeness.
We introduce an interface between the homological study of local rings and the combinatorial study of generalized splines. We identify precisely how the generalized spline structure coordinates with the existing homological local ring machinery. This is accomplished by two exact sequences that provide a regulatory structure on the local cohomology of a generalized spline module. As an application, we use this to prove that for any edge-labeled graph $G$ with principal ideal labels, and any Cohen-Macaulay ring $R$ of Krull dimension 2 at each maximal ideal, the module of splines $R_G$ is free, provided it has finite projective dimension. As a special case, this implies every generalized spline module over $k[x,y]$ with principal edge labels is free.
Bell Numbers and Stirling Numbers of the Mycielskian of Trees
We establish explicit formulas for Bell numbers and graphical Stirling numbers of complete multipartite graphs, complete bipartite graphs with removed perfect matchings, and Mycielskian trees. For complete multipartite graphs $K(n_1,\ldots,n_\ell)$, we provide a simplified proof that $B(G) = \prod_{i=1}^\ell \bell{n_i}$. We derive $B(K_{n,n} - M) = \sum_{k=0}^{n} \binom{n}{k} \bell{k}^2$ for removed perfect matching $M$, and for Mycielskian star graphs, $B(M(St_n); 3) = 2^n + 1$ and $B(M(St_n); 2n) = 2n^2 - 3n + 3$. Results extend to Mycielskians of arbitrary trees. Our computational verifications establish links between graphical Bell numbers and fundamental sequences in combinatorics and pattern avoidance, including identification of several OEIS entries: A000051, A096376, A116735, A384980, A384981, A384988, A385432, and A385437.
Hardness of Planarity for Weak Temporal Sequences of 2-Connected Graphs
A weak deletion sequence is a sequence $(G_1,\ldots,G_n)$ of graphs so that for each $i\in[n-1]$ either $G_i$ is isomorphic to a subgraph of $G_{i+1}$, or vice versa: $G_{i+1}$ is isomorphic to a subgraph of $G_i$. We prove that determining the simultaneous planar embeddability of weak deletion sequences of $2$-connected graphs is NP-hard.
Distribution of deformed Laplacian limit points
This paper investigates limit points of the deformed Laplacian matrix, which merges the Laplacian and signless Laplacian matrices of a graph through a quadractic one-parameter family of matrices. First, we show that any value greater or equal to 1 is a deformed Laplacian limit point (for different values of the parameter $s$) using a simple family of trees. Second, we define $(T_k)_{k \in \mathbb{N}}$ the Shearer's sequence of caterpillars for $λ>1$ and we present a convergence criterion based on Shearer's approach. Our main result is that for any fixed value $λ_0>1$ there exists a unique value $0<s^* <\sqrt{λ_0} -1$ such that, and for any $s \in (0,s^*)$ the interval $[λ_0, \; +\infty)$ is entirely formed by $s$-deformed Laplacian limit points (for the same value of $s$). Finally, we provide some numerical data exploring the limit properties.
There exist infinite cube-free words over any sequence of binary alphabets
We prove that for any sequence of binary alphabets $\mathcal{A}_1,\mathcal{A}_2,\dots$, there exists a cube-free word $c_1c_2\dots$ so that $c_1\in\mathcal{A}_1,c_2\in\mathcal{A}_2,\dots$. In particular, for every $n$, there are at least $1.35^n$ cube-free words in $\mathcal{A}_1\times\mathcal{A}_2\times\dots\times \mathcal{A}_n$. We also prove that if the list of alphabets is computable then one of these words is computable and its $n$th letter can be computed in time polynomial in $n$.
Sharp thresholds, hitting times and the power of choice for random geometric graphs
We consider a random geometric graph process where random points $(X_i)_{i \ge 1}$ are embedded consecutively in the $d$-dimensional unit torus $\mathbb{T}^d$, and every two points at distance at most $r$ form an edge. As $r\to 0$, we confirm that well-known hitting time results for $k$-connectivity (with $k\ge 1$ fixed) and Hamiltonicity in the Erdős-Rényi graph process also hold for the considered geometric analogue. Moreover, we exhibit a sort of probabilistic monotonicity for each of these properties.
We also study a geometric analogue of the power of choice where, at each step, an agent is given two random points sampled independently and uniformly from $\mathbb{T}^d$ and must add exactly one of them to the already constructed point set. When the agent is allowed to make their choice with the knowledge of the entire sequence of random points (offline 2-choice), we show that they can construct a connected graph at the first time $t$ when none of the first $t$ pairs of proposed points contains two isolated vertices in the graph induced by $(X_i)_{i=1}^{2t}$, and maintain connectivity thereafter by following a simple algorithm. We also derive analogous results for $k$-connectivity and Hamiltonicity. This shows that each of the said properties can be attained two times faster (time-wise) and with four times fewer points in the offline 2-choice process compared to the 1-choice process.
In the online version where the agent only knows the process until the current time step, we show that $k$-connectivity and Hamiltonicity cannot be significantly accelerated (time-wise) but may be realised on two times fewer points compared to the 1-choice analogue.
A dimer view on Fox's trapezoidal conjecture
Fox's conjecture (1962) states that the sequence of absolute values of the coefficients of the Alexander polynomial of alternating links is trapezoidal. While the conjecture remains open in general, a number of special cases have been settled, some quite recently: Fox's conjecture was shown to hold for special alternating links by Hafner, Mészáros, and Vidinas (2023) and for certain diagrammatic Murasugi sums of special alternating links by Azarpendar, Juhász, and Kálmán (2024). In this paper, we give an alternative proof of Azarpendar, Juhász, and Kálmán's aforementioned beautiful result via a dimer model for the Alexander polynomial. In doing so, we not only obtain a significantly shorter proof of Azarpendar, Juhász, and Kálmán's result than the original, but we also obtain several theorems of independent interest regarding the Alexander polynomial, which are readily visible from the dimer point of view.