Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Supercongruences involving binomial coefficients and Euler polynomials
Let $p$ be an odd prime and let $x$ be a $p$-adic integer. In this paper, we establish supercongruences for $$ \sum_{k=0}^{p-1}\frac{\binom{x}{k}\binom{x+k}{k}(-4)^k}{(dk+1)\binom{2k}{k}}\pmod{p^2} $$ and $$ \sum_{k=0}^{p-1}\frac{\binom{x}{k}\binom{x+k}{k}(-2)^k}{(dk+1)\binom{2k}{k}}\pmod{p^2}, $$ where $d\in\{0,1,2\}$. As consequences, we extend some known results. For example, for $p>3$ we show $$ \sum_{k=0}^{p-1}\binom{3k}{k}\left(\frac{4}{27}\right)^k\equiv\frac19+\frac89p+\frac{4}{27}pE_{p-2}\left(\frac13\right)\pmod{p^2}, $$ where $E_n(x)$ denotes the Euler polynomial of degree $n$. This generalizes a known congruence of Z.-W. Sun.
Standard Lyndon loop words: weighted orders
Published in International Mathematics Research Notices (2025)
• View Publication
• BIB
We generalize the study of standard Lyndon loop words from [A.Negut, A.Tsymbaliuk, "Quantum loop groups and shuffle algebras via Lyndon words", Adv. Math. 439 (2024), Paper No. 109482] to a more general class of orders on the underlying alphabet, as suggested in Remark 3.15 of loc.cit. The main new ingredient is the exponent-tightness of these words, which also allows to generalize the construction of PBW bases of the untwisted quantum loop algebra via the combinatorics of loop words.
A visual approach to symmetric chain decompositions of finite Young lattices
The finite Young lattice $L(m, n)$ is rank-symmetric, rank-unimodal, and has the strong Sperner property. R. Stanley further conjectured that $L(m, n)$ admits a symmetric chain order. We show that the order structure on $L(m, n)$ is equivalent to a natural ordering on the lattice points of a dilated $n$-simplex, which in turn corresponds to a weight diagram for the root system of type $A_n$. Lindstr{\" o}m's symmetric chain decompositions for $L(3, n)$ are described completely through pictures.
Schröder Paths, Their Generalizations and Knot Invariants
We study some kinds of generalizations of Schröder paths below a line with rational slope and derive the $q$-difference equations that are satisfied by their generating functions. As a result, we establish a relation between the generating function of generalized Schröder paths with backwards and the wave function corresponding to colored HOMFLY-PT polynomials of torus knot $T_{1,f}$. We also give a combinatorial proof of a recent result by Stošić and Sułkowski, in which the standard generalized Schröder paths are related to the superpolynomial of reduced colored HOMFLY-PT homology of $T_{1,f}$.
Fraïssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition
In this paper we show that a countable structure admitting a finite monomorphic decomposition has finite big Ramsey degrees if and only if so does every monomorphic part in its minimal monomorphic decomposition. The necessary prerequisite for this result is the characterization of monomorphic structures with finite big Ramsey degrees: a countable monomorphic structure has finite big Ramsey degrees if and only if it is chainable by a chain with finite big Ramsey degrees. Interestingly, both characterizations require deep structural properties of chains. Fraïssé's Conjecture (actually, its positive resolution due to Laver) is instrumental in the characterization of monomorphic structures with finite big Ramsey degrees, while the analysis of big Ramsey combinatorics of structures admitting a finite monomorphic decomposition requires a product Ramsey theorem for big Ramsey degrees. We find this last result particularly intriguing because big Ramsey degrees misbehave notoriously when it comes to general product statements.
Fast computation of permanents over $\mathbb{F}_3$ via $\mathbb{F}_2$ arithmetic
We present a method of representing an element of $\mathbb{F}_3^n$ as an element of $\mathbb{F}_n^2 \times \mathbb{F}_n^2$ which in practice will be a pair of unsigned integers. We show how to do addition, subtraction and pointwise multiplication and division of such vectors quickly using primitive binary operations (and, or, xor). We use this machinery to develop a fast algorithm for computing the permanent of a matrix in $\mathbb{F}_3^{n\times n}$. We present Julia code for a natural implementation of the permanent and show that our improved implementation gives, roughly, a factor of 80 speedup for problems of practical size. Using this improved code, we perform Monte Carlo simulations that suggest that the distribution of $\mbox{perm}(A)$ tends to the uniform distribution as $n \to \infty$.
A new framework for identifying most reliable graphs and a correction to the $K_{3,3}$-theorem
Given a multigraph $G$, the all-terminal reliability $R(G,p)$ is the probability that $G$ remains connected under percolation with parameter $p$. Fixing the number of vertices $n$ and edges $m$, we investigate which graphs maximize $R(G,p)$ -- such graphs are called optimal -- paying particular attention to uniqueness and to whether the answer depends upon $p$. We generalize the concept of a distillation and build a framework with which we identify all optimal graphs for which $m-n\in\{1,2,3\}$. These graphs are uniformly optimal in $p$. Most have been previously identified, but with serious problems, especially when $m-n=3$. We obtain partial results for $m-n\in\{4,5\}$.
For $m-n=3$, the optimal graphs were incorrectly identified by Wang in 1994, in the infinite number of cases where $m\equiv5\pmod{9}$ and $m\geq14$. This erroneous result concerns subdivisions of $K_{3,3}$ and has been cited extensively, without any mistake being detected. While the optimal graphs were correctly described for other $m$, the proof is fundamentally flawed. Our proof of the rectified statement is self-contained.
For $m-n=4$, the optimal graphs were recently shown to depend upon $p$ for infinitely many $m$. We find a new such set of $m$-values, which gives a different perspective on why this phenomenon occurs and leads us to conjecture that uniformly optimal graphs exist only for finitely many $m$. However, for $m-n=5$, we conjecture that there are again infinitely many uniformly optimal graphs.
Multilevel polynomial partitioning and semialgebraic hypergraphs: regularity, Turán, and Zarankiewicz results
We prove three main results about semialgebraic hypergraphs. First, we prove an optimal and oblivious regularity lemma. Fox, Pach, and Suk proved that the class of $k$-uniform semialgebraic hypergraphs satisfies a very strong regularity lemma where the vertex set can be partitioned into $\mathrm{poly}(1/\varepsilon)$ parts so that all but an $\varepsilon$-fraction of $k$-tuples of parts are homogeneous (either complete or empty). Our result improves the number of parts in the partition to $O_{d,k}((D/\varepsilon)^{d})$ where $d$ is the dimension of the ambient space and $D$ is a measure of the complexity of the hypergraph; additionally, the partition is oblivious to the edge set of the hypergraph. We give examples that show that the dependence on both $\varepsilon$ and $D$ is optimal.
From this regularity lemma we deduce the best-known Turán-type result for semialgebraic hypergraphs. Third, we prove a Zarankiewicz-type result for semialgebraic hypergraphs. Previously Fox, Pach, Sheffer, Suk, and Zahl showed that a $K_{u,u}$-free semialgebraic graph on $N$ vertices has at most $O_{d,D,u}(N^{2d/(d+1)+o(1)})$ edges and Do extended this result to $K_{u,\ldots,u}^{(k)}$-free semialgebraic hypergraphs. We improve upon both of these results by removing the $o(1)$ in the exponent and making the dependence on $D$ and $u$ explicit and polynomial.
All three of these results follow from a novel ``multilevel polynomial partitioning scheme'' that efficiently partitions a point set $P\subset\mathbb{R}^d$ via low-complexity semialgebraic pieces. We prove this result using the polynomial method over varieties as developed by Walsh which extends the real polynomial partitioning technique of Guth and Katz.
We give additional applications to the unit distance problem, the Erdős--Hajnal problem for semialgebraic graphs, and property testing of semialgebraic hypergraphs.
Models of random spanning trees
Published
• View Publication
• BIB
There are numerous randomized algorithms to generate spanning trees in a given ambient graph; several target the uniform distribution on trees (UST), while in practice the fastest and most frequently used draw random weights on the edges and then employ a greedy algorithm to choose the minimum-weight spanning tree (MST). Though MST is a workhorse in applications, the mathematical properties of random MST are far less explored than those of UST. In this paper we develop tools for the quantitative study of random MST. We consider the standard case that the weights are drawn i.i.d. from a single distribution on the real numbers, as well as successive generalizations that lead to \emph{product measures}, where the weights are independently drawn from arbitrary distributions.
Wormhole Renormalization: The gravitational path integral, holography, and a gauge group for topology change
Published
• View Publication
• BIB
We study the Factorization Paradox from the bottom up by adapting methods from perturbative renormalization. Just as quantum field theories are plagued with loop divergences that need to be cancelled systematically by introducing counterterms, gravitational path integrals are plagued by wormhole contributions that spoil the factorization of the holographic dual. These wormholes must be cancelled by some stringy effects in a UV complete, holographic theory of quantum gravity. In a simple model of two-dimensional topological gravity, we outline a gravitational analog of the recursive BPHZ procedure in order to systematically introduce ``counter-wormholes" which parametrize the unknown stringy effects that lead to factorization. Underlying this procedure is a Hopf algebra of symmetries which is analogous to the Connes--Kreimer Hopf algebra underlying perturbative renormalization. The group dual to this Hopf algebra acts to reorganize contributions from spacetimes with distinct topology, and can be seen as a gauge group relating various equivalent ways of constructing a factorizing gravitational path integral.
$GL_n(\mathbb{F}_q)$-analogues of some properties of $n$-cycles in $\mathfrak{S}_n$
We give analogues in the finite general linear group of two elementary results concerning long cycles and transpositions in the symmetric group: first, that the long cycles are precisely the elements whose minimum-length factorizations into transpositions yield a generating set, and second, that a long cycle together with an appropriate transposition generates the whole symmetric group.
How to burn a Latin square
Published
• View Publication
• BIB
We investigate the lazy burning process for Latin squares by studying their associated hypergraphs. In lazy burning, a set of vertices in a hypergraph is initially burned, and that burning spreads to neighboring vertices over time via a specified propagation rule. The lazy burning number is the minimum number of initially burned vertices that eventually burns all vertices. The hypergraphs associated with Latin squares include the $n$-uniform hypergraph, whose vertices and hyperedges correspond to the entries and lines (that is, sets of rows, columns, or symbols) of the Latin square, respectively, and the $3$-uniform hypergraph, which has vertices corresponding to the lines of the Latin square and hyperedges induced by its entries.
Using sequences of vertices that together form a vertex cover, we show that for a Latin square of order $n$, the lazy burning number of its $n$-uniform hypergraph is bounded below by $n^2-3n+3$ and above by $n^2-3n+2 + \lfloor \log_2 n \rfloor.$ These bounds are shown to be tight using cyclic Latin squares and powers of intercalates. For the $3$-uniform hypergraph case, we show that the lazy burning number of Latin squares is one plus its shortest connected chain of subsquares. We determine the lazy burning number of Latin square hypergraphs derived from finitely generated groups. We finish with open problems.
Odd 4-coloring of outerplanar graphs
Published
• View Publication
• BIB
A proper $k$-coloring of $G$ is called an odd coloring of $G$ if for every vertex $v$, there is a color that appears at an odd number of neighbors of $v$. This concept was introduced recently by Petruševski and Škrekovski, and they conjectured that every planar graph is odd 5-colorable. Towards this conjecture, Caro, Petruševski, and Škrekovski showed that every outerplanar graph is odd 5-colorable, and this bound is tight since the cycle of length 5 is not odd 4-colorable. Recently, the first author and others showed that every maximal outerplanar graph is odd 4-colorable. In this paper, we show that a connected outerplanar graph $G$ is odd 4-colorable if and only if $G$ contains a block which is not a copy of the cycle of length 5. This strengthens the result by Caro, Petruševski, and Škrekovski, and gives a complete characterization of odd 4-colorable outerplanar graphs.
On Simplicial Complexes with Extremal Total Betti number and Total Bigraded Betti Number
Published
• View Publication
• BIB
We determine which simplicial complexes have the maximum or minimum sum of Betti numbers and sum of bigraded Betti numbers with a given number of vertices in each dimension.
Bizonotopal Graphical Algebras
Published
• View Publication
• BIB
Zonotopal algebras (external, central, and internal) of an undirected graph G introduced by Postnikov-Shapiro and Holtz-Ron, are finite-dimensional commutative graded algebras whose Hilbert series contain a wealth of combinatorial information about G. In this paper, we associate to G a new family of algebras, which we call bizonotopal, because their definition involves doubling the set of edges of G. These algebras are monomial and have intricate properties related, among other things, to the combinatorics of graphical parking functions and their polytopes.
Unlike the case of usual zonotopal algebras, the Hilbert series of bizonotopal algebras are not specializations of the Tutte polynomial of G. Still, we show that in the external and central cases these Hilbert series satisfy a modified deletion-contraction relation. In addition, we prove that the external bizonotopal algebra is a complete graph invariant.
The $B_2$ index of galled trees
In recent years, there has been an effort to extend the classical notion of phylogenetic balance, originally defined in the context of trees, to networks. One of the most natural ways to do this is with the so-called $B_2$ index. In this paper, we study the $B_2$ index for a prominent class of phylogenetic networks: galled trees. We show that the $B_2$ index of a uniform leaf-labeled galled tree converges in distribution as the network becomes large. We characterize the corresponding limiting distribution, and show that its expected value is 2.707911858984... This is the first time that a balance index has been studied to this level of detail for a random phylogenetic network.
One specificity of this work is that we use two different and independent approaches, each with its advantages: analytic combinatorics, and local limits. The analytic combinatorics approach is more direct, as it relies on standard tools; but it involves slightly more complex calculations. Because it has not previously been used to study such questions, the local limit approach requires developing an extensive framework beforehand; however, this framework is interesting in itself and can be used to tackle other similar problems.
Periodic Column Partial Sums in the Riordan Array of a Polynomial
Published
• View Publication
• BIB
When $p(t)$ is a polynomial of degree $d$, $k$-th column of the Riordan array $\bigl(1/(1 - t^{d+1}), tp(t)\bigr)$ is an eventually periodic sequence with the repeating part beginning at the $1 + (k-1)(d+1)$-st term. The pre-periodic terms add up to the $(k-1)(d+1)$-st partial sum of the corresponding formal power series, and thus the Riordan array of $p(t)$ generates a sequence of column partial sums. We classify linear and quadratic polynomials, and present a particular family of polynomials of higher degrees, for which such sequences of column partial sums are eventually periodic.
The rank of a random triangular matrix over $\mathbb{F}_q$
Published
• View Publication
• BIB
We consider uniformly random strictly upper-triangular matrices in $\operatorname{Mat}_n(\mathbb{F}_q)$. For such a matrix $A_n$, we show that $n-\operatorname{rank}(A_n) \approx \log_q n$ as $n \to \infty$, and find that the fluctuations around this limit are finite-order and given by explicit $\mathbb{Z}$-valued random variables. More generally, we consider the random partition whose parts are the sizes of the nilpotent Jordan blocks of $A_n$: its $k$ largest parts (rows) were previously shown by Borodin to have jointly Gaussian fluctuations as $N \to \infty$, and its columns correspond to differences $\operatorname{rank}(A_n^{i-1}) - \operatorname{rank}(A_n^i)$. We show the fluctuations of the columns converge jointly to a discrete random point configuration $\mathcal{L}_{t,χ}$ introduced in arXiv:2310.12275. The proofs use an explicit integral formula for the probabilities at finite $N$, obtained by de-Poissonizing a corresponding one in arXiv:2310.12275, which is amenable to asymptotic analysis.
Pattern-avoiding Cayley permutations via combinatorial species
A Cayley permutation is a word of positive integers such that if a letter appears in this word, then all positive integers smaller than that letter also appear. We initiate a systematic study of pattern avoidance on Cayley permutations adopting a combinatorial species approach. Our methods lead to species equations, generating series, and counting formulas for Cayley permutations avoiding any pattern of length at most three. We also introduce the species of primitive structures as a generalization of Cayley permutations with no "flat steps". Finally, we explore various notions of Wilf equivalence arising in this context.
Equality cases of the Stanley--Yan log-concave matroid inequality
The \emph{Stanley--Yan} (SY) \emph{inequality} gives the ultra-log-concavity for the numbers of bases of a matroid which have given sizes of intersections with $k$ fixed disjoint sets. The inequality was proved by Stanley (1981) for regular matroids, and by Yan (2023) in full generality. In the original paper, Stanley asked for equality conditions of the SY~inequality, and proved total equality conditions for regular matroids in the case $k=0$. In this paper, we completely resolve Stanley's problem. First, we obtain an explicit description of the equality cases of the SY inequality for $k=0$, extending Stanley's results to general matroids and removing the ``total equality'' assumption. Second, for $k\ge 1$, we prove that the equality cases of the SY inequality cannot be described in a sense that they are not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level.