arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
$q$-deformations of the Tsetlin library
The Tsetlin library is a random shuffling process on permutations of $n$ letters, where each letter $i$ can be interpreted as a book; book $i$ is brought to the front of the bookshelf with an assigned probability $x_i$. We define a $q$-deformation of the Tsetlin library by replacing the symmetric group action on permutations by the action of the type $A$ Iwahori-Hecke algebra. We compute the stationary distribution and spectrum of this Markov chain by relating it to a Markov chain on complete flags over the finite field vector space $\mathbb{F}_q^n$ and applying techniques from semigroup theory. We also generalize the $q$-Tsetlin library to words (with repeated letters), and compute its stationary distribution and spectrum.
2026-01-29
Inverse Theorems for Point-Sphere Incidences over Finite Fields
We prove the first inverse theorem for point--sphere incidence bounds over finite fields in dimensions $d \ge 3$, showing that near-extremality forces algebraic rigidity. While sharp upper bounds have been known for over a decade, the structural characterization of configurations that nearly saturate these bounds has remained completely open. Specifically, if a configuration of points $P \subset \mathbb{F}_q^d$ and spheres $\mathscr{S}$ exceeds the random incidence baseline by a factor $K$ in the moderate-sphere regime, then there exists a subset $P' \subset P$ of size \[ |P'| \gtrsim K q^{(d-1)/2} \] contained in the zero set of a polynomial $F$ of degree at most $C K^C$. This yields a one-sided result: we identify necessary algebraic obstructions to extremality, without asserting sufficiency. The proof introduces a new rigidity mechanism for finite-field incidence geometry. Near-extremality manifests as persistent overlap among bisector hyperplanes. We prove that such persistent coincidence cannot occur without forcing the emergence of bounded-complexity algebraic certificates. The argument proceeds by isolating high-overlap layers via energy stratification, followed by a projective polynomial dichotomy applied to the set of normal directions. As applications, we obtain the first inverse-type results for pinned distance and dot-product problems over finite fields, resolving structural questions inaccessible to standard polynomial or Fourier-analytic methods.
Optimal matching under size priority
Past studies on the local limit of maximal weight matchings in edge-weighted large random graphs rely fundamentally on the assumption that the weights are atomless, which ensures that the maximal weight matching is unique. This excludes de facto maximal size matchings that correspond to equal edge-weights. In this work, we overcome this difficulty by assigning i.i.d.~atomless weights to edges and choosing the maximal size matching that maximises the weight. We call these doubly constrained matchings \emph{optimal matchings}. The natural generalisation of optimal matchings for infinite unimodular random graphs are unimodular matchings of maximal density at the root that maximise the expected weight at the root when it is matched. For unimodular Bienaymé-Galton-Watson (UBGW) trees and for a broad class of weight distributions, we show existence and uniqueness in law of such matchings. We also prove that if a sequence of finite random weighted graphs converges locally to an UBGW tree with i.i.d.~weights, then there exists a sequence of matchings on the finite graphs that converges locally to the optimal matching on the limiting tree. Finally, we identify a regime, depending only on the offspring distribution of the limiting tree, in which correlations between edge states in the optimal matching decay exponentially with their graph distance. In this regime, we strengthen the previous convergence to the convergence of optimal matchings of the finite graphs. As a by-product, we can explicitly compute the asymptotic densities of edges that belong to all maximal-density matchings, and of edges that belong to none.
2026-01-28 v2
Intersection statistics for antichains in minuscule posets
For a finite poset $P$, we study the expected size of the intersection of two independent uniformly random antichains. Equivalently, we evaluate the sum of $|A\cap A'|$ over all ordered pairs of antichains. For general posets this statistic appears to have little structure, but for the classical minuscule posets with uniform combinatorial models it admits closed-form expressions. Though the proofs are elementary and combinatorial, the resulting formulas admit a natural interpretation in terms of weight diagrams of minuscule representations.
2026-01-27
Zeros of Random Sections on Line Bundles
Sections of line bundles on 2 dimensional surfaces in 3 dimensional space can have many distinct shapes. For practical purposes we prefer smooth sections that are visibly easy to follow. This is why smoothing operators have been developed on discrete surfaces as in the inspirational paper "Globally Optimal Direction Fields" [Knoeppel et al. 2013] that can be applied to any section to return another smoother section. We are interested to make predictions on one aspect of the resulting smoothed section's structure, namely position of its signed zeros. The zeros are the most noticeable feature of a section where the section values circles around a specific point. The purpose of this thesis is to predict the distribution of the smoothed section's signed zeros with multiplicity that are given by applying the smoothing operator to randomly generated sections of hermitian line bundles on closed simplicial complexes. This will be done in a discrete setting consequently meaning that we will compute the expected sum of indices on each face. Why and how we do this is this thesis' purpose to explain.
2026-01-27
Hypergraph Samplers: Typical and Worst Case Behavior
We study the utility and limitations of using $k$-uniform hypergraphs $H = ([n], E)$ ($n \ge \mathrm{poly}(k)$) in the context of error reduction for randomized algorithms for decision problems with one- or two-sided error. Our error reduction idea is sampling a uniformly random hyperedge of $H$, and repeating the algorithm $k$ times using the hyperedge vertices as seeds. This is a general paradigm, which captures every pseudorandom method generating $k$ seeds without repetition. We show two results which imply a gap between the typical and the worst-case behavior of using $H$ for error-reduction. First, in the context of one-sided error reduction, if using a random hyperedge of $H$ decreases the error probability from $p$ to $p^k + ε$, then $H$ cannot have too few edges, i.e., $|E| = Ω(n k^{-1} ε^{-1})$. Thus, the number of random bits needed for reducing the error from $p$ to $p^k + ε$ cannot be reduced below $\lg n+\lg(ε^{-1})-\lg k+O(1)$. This is also true for hypergraphs of average uniformity $k$. Our result implies new lower bounds for dispersers and vertex-expanders. Second, if the vertex degrees are reasonably distributed, we show that in a $(1-o(1))$-fraction of the cases, choosing $k$ pseudorandom seeds using $H$ will reduce the error probability to at most $o(1)$ above the error probability of using $k$ IID seeds, for both algorithms with one- or two-sided error. Thus, despite our lower bound, for a $(1-o(1))$-fraction of randomized algorithms (and inputs) for decision problems, the advantage of using IID samples over samples obtained from a uniformly random edge of a reasonable hypergraph is negligible. A similar statement holds true for randomized algorithms with two-sided error.
How many times can two minimum spanning trees cross?
Let $P$ be a generic set of $n$ points in the plane, and let $P=R\cup B$ be a coloring of $P$ in two colors. We are interested in the number of crossings between the minimum spanning trees (MSTs) of $R$ and $B$, denoted by $\crossAB(R,B)$. We define the \emph{bicolored MST crossing number} of $P$, denoted by $\cross(P)$, as $\cross(P) = \max_{P= R\cup B}(\crossAB(R,B))$. We prove a linear upper bound for $\cross(P)$ when $P$ is generic. If $P$ is dense or in convex position, we provide linear lower bounds. Lastly, if $P$ is chosen uniformly at random from the unit square and is colored uniformly at random, we prove that the expected value of $\crossAB(R,B)$ is linear.
2026-01-26
Vertex degrees in grid graphs associated with 213-avoiding permutations
Given a permutation of size $n$, we consider its associated grid graph whose $i$th column has height equal to the $i$th entry, with vertical edges between consecutive levels and horizontal edges between equal levels in adjacent columns. We study global degree statistics of these graphs when the permutation is chosen from the Catalan avoidance class $\mathrm{Av}_n(213)$ (and, by reversal, also from $\mathrm{Av}_n(312)$). We first obtain an explicit closed form for the total number of horizontal edges summed over all permutations in $\mathrm{Av}_n(213)$. We then determine, for each degree $r\in\{1,2,3,4\}$, the total number of degree-$r$ vertices accumulated over the same class, yielding closed expressions in terms of central binomial coefficients and powers of four. The proofs rely on the Catalan decomposition induced by the position of the minimum entry, which leads to gluing identities and algebraic functional equations for ordinary generating functions, completed using global vertex and degree-sum identities. As a consequence, we derive asymptotic degree proportions for a uniform random permutation in $\mathrm{Av}_n(213)$: the distribution concentrates and the proportion of degree-$4$ vertices tends to $1$, with a deficit of order $n^{-1/2}$.
2026-01-26
On the average hitting times of the directed wheel
In this paper, following the paper ``On the average hitting times of the squares of cycles,'' we provide an explicit formula for the average hitting times of a simple random walk on a directed graph with $N$ vertices, where the graph consists of a cycle with a single absorbing vertex at its center, using elementary methods. Also, we show that the average hitting times can be expressed in terms of the Fibonacci and Lucas numbers in general.
2026-01-26
Monochromatic triangle-tilings in dense graphs without large independent sets
Given two graphs $H$ and $G$, an $H$-tiling is a family of vertex-disjoint copies of $H$ in $G$. A perfect $H$-tiling covers all vertices of $G$. The Corradi-Hajnal theorem (1963) states that an $n$-vertex graph $G$ with minimum degree $δ(G)\ge 2n/3$ contains a perfect triangle-tiling. For an $n$-vertex graph $G$ with independence number $α(G)=o(n)$, Balogh, Molla and Sharifzadeh (Random Structures & Algorithms, 2016) showed that a minimum degree of $(\frac12+o(1))n$ forces a perfect triangle-tiling. In a 2-edge-colored graph, Balogh, Freschi, Treglown (European J. Combin. 2026) determined the (asymptotic) minimum degree threshold for forcing a strong or weak monochromatic triangle-tiling covering a prescribed proportion of the vertices: a strong tiling requires all triangles to be in the same color class, while a weak tiling only requires each triangle to be monochromatic. In this paper, we combine the conditions from these two lines of work and prove that every $2$-edge-colored $n$-vertex graph $G$ with $α(G)=o(n)$ contains a weak monochromatic triangle-tiling $Γ$ of size \[ |Γ|\ge \begin{cases} 2δ(G)-n-o(n), & \text{if }\frac12 n\le δ(G)\le \frac35 n,\\[2mm] δ(G)/3-o(n), & \text{if }δ(G)>\frac35 n. \end{cases} \] Both bounds are asymptotically optimal. We use the degree form regularity lemma in our proof.
On the Number of Almost Empty Monochromatic Triangles
In this paper, we consider the problem of counting almost empty monochromatic triangles in colored planar point sets, that is, triangles whose vertices are all assigned the same color and that contain only a few interior points. Specifically, we show that any $c$-coloring of a set of $n$ points in the plane in general position (that is, no three on a line) contains $Ω(n^2)$ monochromatic triangles with at most $c-1$ interior points and $Ω(n^{\frac{4}{3}})$ monochromatic triangles with at most $c-2$ interior points, for any fixed $c \geq 2$. The latter, in particular, generalizes the result of Pach and Tóth (2013) on the number of monochromatic empty triangles in 2-colored point sets, to the setting of multiple colors and monochromatic triangles with a few interior points. We also derive the limiting value of the expected number of triangles with $s$ interior points in random point sets, for any integer $s \geq 0$. As a result, we obtain the expected number of monochromatic triangles with at most $s$ interior points in random colorings of random point sets.
Asymptotic number of edge-colored regular graphs
We prove a formula for the asymptotic number of edge-colored regular graphs with a prescribed set of allowed vertex-incidence structures. The formula depends on specific critical points of a polynomial encoding the vertex-incidences. As an application, we compute the expected number of proper $c$-edge-colorings of a large random $k$-regular graph.
2026-01-25
On asymptotically tight bounds for the open conflict-free chromatic indexes of nearly regular graphs
An edge colouring $c$ of a graph $G$ is called conflic-free if every non-isolated edge of $G$ has a uniquely coloured neighbour in its open edge neighbourhood. The least number of colours admitting such a colouring is denoted by $χ'_{\rm OCF}(G)$, or $χ'_{\rm pOCF}(G)$ if we additionally require $c$ to be proper. Our main result implies in particular that $χ'_{\rm OCF}(G) \le \log_2 Δ+ O(\ln\lnΔ)$ for nearly regular graphs $G$ with maximum degree $Δ$, which is asymptotically optimal, as witnessed by the complete graphs. For proper colourings, we moreover show that $χ'_{\rm pOCF}(G) \le Δ+ O(\ln Δ)$ in the same regime. These results improve existing bounds stemming from related colouring models and transfer directly to random graphs' setting. The proofs combine decomposition techniques with probabilistic arguments and structural properties of edge neighbourhoods.
Generalized Information Inequalities via Submodularity, and Two Combinatorial Problems
It is well known that there is a strong connection between entropy inequalities and submodularity, since the entropy of a collection of random variables is a submodular function. Unifying frameworks for information inequalities arising from submodularity were developed by Madiman and Tetali (2010) and Sason (2022). Madiman and Tetali (2010) established strong and weak fractional inequalities that subsume classical results such as Han's inequality and Shearer's lemma. Sason (2022) introduced a convex-functional framework for generalizing Han's inequality, and derived unified inequalities for submodular and supermodular functions. In this work, we build on these frameworks and make three contributions. First, we establish convex-functional generalizations of the strong and weak Madiman and Tetali inequalities for submodular functions. Second, using a special case of the strong Madiman-Tetali inequality, we derive a new Loomis-Whitney-type projection inequality for finite point sets in $\mathbb{R}^d$, which improves upon the classical Loomis-Whitney bound by incorporating slice-level structural information. Finally, we study an extremal graph theory problem that recovers and extends the previously known results of Sason (2022) and Boucheron et al., employing Shearer's lemma in contrast to the use of Han's inequality in those works.
Infinite random graphs
We study countable graphs that -- up to isomorphism and with probability one -- arise from a random process, in a similar fashion as the Rado graph. Unlike in the classical case, we do not require that probabilities assigned to pairs of points are all equal. We give examples of such generalized random graphs, and show that the class of graphs under consideration has a two-element basis.
2026-01-21
Random infinite ideal angled graphs and ideal hyperbolic polyhedra
This article aims to develop the uniformization and boundary theory of random infinite ideal hyperbolic polyhedra (abbr. IHP) and their dual 1-skeleton, i.e., ideal angled graphs (abbr. IAG) from multiple perspectives, including combinatorics, geometry, analysis and random walks. For unimodular random IAG, we establish an ICP analog of the dichotomy theorem of Angel-Hutchcroft-Nachmias-Ray [4,5]. Specifically, the character $T(ρ):=\sum_{e\niρ}Θ_e$ of an IAG, introduced in [40], determines its ICP type: the graph is a.s. ICP-parabolic if and only if $\mathbb{E}[T(ρ)]=2π$. In the ICP-hyperbolic case, the simple random walk converges a.s. to $\partial\mathbb{D}$ with positive hyperbolic speed. Moreover, the geometric, Poisson, Martin, and Gromov boundaries coincide, extending the boundary theory of Angel-Barlow-Gurevich-Nachmias [3] and Hutchcroft-Peres [37] beyond triangulations to cellular decompositions. As a corollary of the aforementioned IHP/IAG duality, we obtain the systematic characterizations of the random IHP. To develop our theory, we strengthen and refine the Ring Lemma of Ge-Yu-Zhou [27] for ICP, which provides quantitative local control of the packing geometry. This key estimate makes it possible to extend the boundary theory beyond triangulations.
2026-01-21
Fractional Diffusion on Graphs: Superposition of Laplacian Semigroups and Memory
Subdiffusion on graphs is often modeled by time-fractional diffusion equations, yet its structural and dynamical consequences remain unclear. We show that subdiffusive transport on graphs is a memory-driven process generated by a random time change that compresses operational time, produces long-tailed waiting times, and breaks Markovianity while preserving linearity and mass conservation. We prove that Mittag-Leffler graph dynamics admit an exact convex, mass-preserving representation as a superposition of classical heat semigroups evaluated at rescaled times, revealing fractional diffusion as ordinary diffusion acting across multiple intrinsic time scales. This framework uncovers heterogeneous, vertex-dependent memory effects and induces transport biases absent in classical diffusion, including algebraic relaxation, degree-dependent waiting times, and early-time asymmetries between sources and neighbors. These features define a subdiffusive geometry on graphs enabling particles to locally discover global shortest paths while favoring high-degree regions. Finally, we show that time-fractional diffusion arises as a singular limit of multi-rate diffusion.
2026-01-21
An update on multicolor Ramsey lower bounds
Building upon previous works by Conlon-Ferber and Wigderson, Sawin showed a few years ago that upper bounds on the minimum density of independent sets in a $K_t$-free $G$ can be used to provide lower bounds for multicolor Ramsey numbers. In this note, we observe how a further improved upper bound on this parameter directly follows from a recent spherical random geometric graph construction of Ma-Shen-Xie. As a consequence, we derive a small exponential improvement over the best known lower bounds for multicolor Ramsey numbers.
2026-01-21 v2
On the number of permutation-twisted dot products
For distinct real numbers $a_1, \ldots, a_n$ and distinct real numbers $b_1, \ldots, b_n$, consider the sum $S=\sum_{i=1}^n a_i b_{π(i)}$ as $π$ ranges over the permutations of $[n]$. We show that this sum always assumes at least $Ω(n^3)$ distinct values, which is optimal. This ``support'' bound complements recent work of Do, Nguyen, Phan, Tran, and Vu, and of Hunter, Pohoata, and Zhu on the anticoncentration properties of $S$ when $π$ is chosen uniformly at random.
2026-01-20
Pairwise Beats All-at-Once: Behavioral Gains from Sequential Choice Presentation
This paper presents the Sequential Rationality Hypothesis, which argues that consumers are better able to make utility-maximizing decisions when products appear in sequential pairwise comparisons rather than in simultaneous multi-option displays. Although this involves higher cognitive costs than the all-at-once format, the current digital market, with its diverse products listed by review ratings, pricing, and paid products, often creates inconsistent choices. The present work shows that preparing the list sequentially supports more rational choice, as the consumer tries to minimize cognitive costs and may otherwise make an irrational decision. If the decision remains the same on both offers, then that is a consistent preference. The platform uses this approach by reducing cognitive costs while still providing the list in an all-at-once format rather than sequentially. To show how sequential exposure reduces cognitive overload and prevents context-dependent errors, we develop a bounded attention model and extend the monotonic attention rule of the random attention model to theorize the sequential rational hypothesis. Using a theoretical design with common consumer goods, we test these hypotheses. This theoretical model helps policymakers in digital market laws, behavioral economics, marketing, and digital platform design consider how choice architectures may improve consumer choices and encourage rational decision-making.