Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Prime graphical parking functions and strongly recurrent configurations of the Abelian sandpile model
This work investigates the duality between two discrete dynamical processes: parking functions, and the Abelian sandpile model (ASM). Specifically, we are interested in the extension of classical parking functions, called $G$-parking functions, introduced by Postnikov and Shapiro in 2004. $G$-parking functions are in bijection with recurrent configurations of the ASM on $G$. In this work, we define a notion of prime $G$-parking functions. These are parking functions that are in a sense "indecomposable". Our notion extends the concept of primeness for classical parking functions, as well as the notion of prime $(p,q)$-parking functions introduced by Armon et al. in recent work. We show that from the ASM perspective, prime $G$-parking functions correspond to certain configurations of the ASM, which we call strongly recurrent. We study this new connection on a number of graph families, including wheel graphs, complete graphs, complete multi-partite graphs, and complete split graphs.
An acyclic $d$-partition of the $r$-uniform complete hypergraph $K_{rd}^{(r)}$
In this paper we introduce a $d$-partition $\mathcal{E}_d^{(r)}=(Ω_1^{(r,d)}, Ω_2^{(r,d)},\dots, Ω_d^{(r,d)})$ of the $r$-uniform complete hypergraph $K_{rd}^{(r)}$. We prove that $\mathcal{E}_d^{(r)}$ is homogeneous and that each hypergraph $Ω_i^{(r,d)}$ is acyclic (i.e. has zero Betti numbers). As an application, we show that the map $det^{S^r}$ is nontrivial for every $r$, which gives a partial answer to a conjecture from [14].
Relative discrepancy of hypergraphs
Given $k$-uniform hypergraphs $G$ and $H$ on $n$ vertices with densities $p$ and $q$, their relative discrepancy is defined as $\hbox{disc}(G,H)=\max\big||E(G')\cap E(H')|-pq\binom{n}{k}\big|$, where the maximum ranges over all pairs $G',H'$ with $G'\cong G$, $H'\cong H$, and $V(G')=V(H')$. Let $\hbox{bs}(k)$ denote the smallest integer $m \ge 2$ such that any collection of $m$ $k$-uniform hypergraphs on $n$ vertices with moderate densities contains a pair $G,H$ for which $\hbox{disc}(G,H) = Ω(n^{(k+1)/2})$.
In this paper, we answer several questions raised by Bollobás and Scott, providing both upper and lower bounds for $\hbox{bs}(k)$. Consequently, we determine the exact value of $\hbox{bs}(k)$ for $2\le k\le 13$, and show $\hbox{bs}(k)=O(k^{0.525})$, substantially improving the previous bound $\hbox{bs}(k)\le k+1$ due to Bollobás-Scott. The case $k=2$ recovers a result of Bollobás-Scott, which generalises classical theorems of Erdős-Spencer, and Erdős-Goldberg-Pach-Spencer. The case $k=3$ also follows from the results of Bollobás-Scott and Kwan-Sudakov-Tran. Our proof combines linear algebra, Fourier analysis, and extremal hypergraph theory.
An Equivalence Between Erdős's Square Packing Conjecture and the Convergence of an Infinite Series
Let $f(n)$ denote the maximum sum of the side lengths of $n$ non-overlapping squares packed inside a unit square. We prove that $f(n^2+1) = n$ for all positive integers $n$ if and only if the sum $\sum_{k\geq 1}(f(k^2+1)-k)$ converges. We also show that if $f(k^2+1) = k$, for infinitely many positive integers then $f(k^2+1) = k$ for all positive integers.
Characterization of non-singular hyperplanes of $H\left(s,q^2\right)$ in $\mathrm{P G}\left(s, q^2\right)$
In this paper, we present a combinatorial characterization of the hyperplanes associated with non-singular hermitian varieties ${H}\left(s, q^2\right)$ in the projective space $\mathrm{PG}\left(s,q^2\right)$ where $s\geq3$ and $q>2$. By analyzing the intersection numbers of hyperplanes with points and co-dimension $2$ subspaces, we establish necessary and sufficient conditions for a hyperplane to be part of the hermitian variety. This approach extends previous characterizations of hermitian varieties based on intersection properties, providing a purely combinatorial method for identifying their hyperplanes.
MacMahon's Double Vision: Partition Diamonds Revisited
Plane partition diamonds were introduced by Andrews, Paule, and Riese (2001) as part of their study of MacMahon's $Ω$-operator in search for integer partition identities. More recently, Dockery, Jameson, Sellers, and Wilson (2024) extended this concept to $d$-fold partition diamonds and found their generating function in a recursive form. We approach $d$-fold partition diamonds via Stanley's (1972) theory of $P$-partitions and give a closed formula for a bivariate generalization of the Dockery--Jameson--Sellers--Wilson generating function; its main ingredient is the Euler--Mahonian polynomial encoding descent statistics of permutations.
Ordered set partition posets
The lattice of partitions of a set and its d-divisible generalization have been much studied for their combinatorial, topological, and representation-theoretic properties. An ordered set partition is a set partition where the subsets are listed in a specific order. Ordered set partitions appear in combinatorics, number theory, permutation polytopes, and the study of coinvariant algebras. The ordered set partitions of {1,\ldots,n} can be partially ordered by refinement and then a unique minimal element attached, resulting in a lattice Omega_n. This lattice has appeared while studying other combinatorial objects, but not as the central focus. The purpose of this paper is to provide the first comprehensive look at Omega_n. In particular, we show that it admits a recursive atom ordering, and study the action of the symmetric group S_n on associated homology groups, looking in particular at the multiplicity of the trivial representation. We also consider the related posets where every block has size either divisible by some fixed d at least 2 or congruent to 1 modulo d. Open problems and avenues for future research are scattered throughout.
The monomial expansions of modified Macdonald polynomials
We discover a family $A$ of sixteen statistics on fillings of any given Young diagram and prove new combinatorial formulas for modified Macdonald polynomials, that is, $$\tilde{H}_λ(X;q,t)=\sum_{σ\in T(λ)}x^σq^{maj(σ)}t^{η(σ)}$$ for each statistic $η\in A$. Building upon this new formula, we establish four compact formulas for the modified Macdonald polynomials, namely, $$\tilde{H}_λ(X;q,t)=\sum_σd_{\varepsilon}(σ)x^σq^{maj(σ)}t^{η(σ)}$$ which is summed over all canonical or dual canonical fillings of a Young diagram and $d_{\varepsilon}(σ)$ is a product of $t$-multinomials. Finally, the compact formulas enable us to derive four explicit expressions for the monomial expansion of modified Macdonald polynomials, one of which coincides with the formula given by Garbali and Wheeler (2020).
Catching Rats in $H$-minor-free Graphs
We show that every $H$-minor-free graph that also excludes a $(k \times k)$-grid as a minor has treewidth/branchwidth bounded from above by a function $f(t,k)$ that is linear in $k$ and polynomial in $t := |V(H)|$. Such a result was proven originally by [Demaine & Hajiaghayi, Combinatorica, 2008], where $f$ was indeed linear in $k$. However the dependency in $t$ in this result was non-explicit (and huge). Later, [Kawarabayashi & Kobayashi, JCTB, 2020] showed that this bound can be estimated to be $f(t,k)\in 2^{\mathcal{O}(t\log t)} \cdot k$. Wood recently asked whether $f$ can be pushed further to be polynomial, while maintaining the linearity on $k$. We answer this in a particularly strong sense, by showing that the treewidth/branchwidth of $G$ is in $\mathcal{O}(gk + t^{2304}),$ where $g$ is the Euler genus of $H$. This directly yields $f(t,k)= \mathcal{O}(t^2k + t^{2304})$.
Our methods build on techniques for branchwidth and on new bounds and insights for the Graph Minor Structure Theorem (GMST) due to [Gorsky, Seweryn & Wiederrecht, 2025, arXiv:2504.02532]. In particular, we prove a variant of the GMST that ensures some helpful properties for the minor relation. We further employ our methods to provide approximation algorithms for the treewidth/branchwidth of $H$-minor-free graphs. In particular, for every $\varepsilon > 0$ and every $t$-vertex graph $H$ with Euler genus $g$, we give a $(g + \varepsilon)$-approximation algorithm for the branchwidth of $H$-minor-free graphs running in $2^{\mathsf{poly}(t) / \varepsilon} \cdot \mathsf{poly}(n)$-time. Our algorithms explicitly return either an appropriate branch-decomposition or a grid-minor certifying a negative answer.
Homogeneous Linear Calculus of Order 1 and a $λ$-Taylor Formula
In this paper, a new calculus on sequences is defined. Also, the $λ$-derivative and the $λ$-integration are investigated. The fundamental theorem of $λ$-calculus is included. A suitable function basis for the $λ$-derivative and the $λ$-integral is provided, and various properties of this basis are given. A $λ$-Taylor formula for functions is given.
Non-expansion in polynomial automorphisms of $\mathbb{C}^2$
We treat the higher-dimensional Elekes-Szabó problem in the case of the action of Aut(C^2) on C^2.
Parameter Identifiability of Linear-Compartmental Mammillary Models
Linear compartmental models are a widely used tool for analyzing systems arising in biology, medicine, and more. In such settings, it is essential to know whether model parameters can be recovered from experimental data. This is the identifiability problem. For a class of linear compartmental models with one input and one output, namely, those for which the underlying graph is a bidirected tree, Bortner et al. completely characterized which such models are structurally identifiability, which means that every parameter is generically locally identifiable. Here, we delve deeper, by examining which individual parameters are locally versus globally identifiable. Specifically, we analyze mammillary models, which consist of one central compartment which is connected to all other (peripheral) compartments. For these models, which fall into five infinite families, we determine which individual parameters are locally versus globally identifiable, and we give formulas for some of the globally identifiable parameters in terms of the coefficients of input-output equations. Our proofs rely on a combinatorial formula due to Bortner et al. for these coefficients.
Evasive Random Walks and the Clairvoyant Demon
Published in Random Structures & Algorithms, vol. 20 no. 2 (2002), pp. 239-248
• Search Publication
A pair of random walks $(R,S)$ on the vertices of a graph $G$ is {\it successful} if two tokens can be scheduled (moving only one token at a time) to travel along $R$ and $S$ without colliding. We consider questions related to P. Winkler's {\it clairvoyant demon problem}, which asks whether for random walks $R$ and $S$ on $G$, $Pr[\ (R,S) \mbox{ is successful }] >0$. We introduce the notion of an {\it evasive} walk on $G$: a walk $S$ so that for a random walk $R$ on $G$, $Pr[\ (R,S) \mbox{ is successful }]>0$. We characterize graphs $G$ having evasive walks, giving explicit constructions on such $G$. On a cycle, we show that with high probability the tokens must collide quickly. Finally we consider two variants of the problem for which, under certain assumptions on the graph $G$, we provide algorithms that schedule $(R,S)$ successfully with positive probability.
Some more constructions of $n-$cycle permutation polynomials
$ n-$cycle permutation polynomials with small n have the advantage that their compositional inverses are efficient in terms of implementation. These permutation polynomials have significant applications in cryptography and coding theory. In this article, we propose criteria for the construction of $ n-$cycle permutation using linearized polynomial $ L(x) $ for larger $ n $. Furthermore, we investigate and generalize certain novel forms of $ n-$cycle permutation polynomials. Finally, we demonstrate our approach by constructing explicit $ n-$cycle permutation of the form $ L(x)+γh(Tr_{q^{m}/q}(x)) $, and $ G(x)+γf(x) $ with a Boolean function $ f(x) $. The polynomial $ x^{d}+γf(x) $ with $ f(x) $ being a Boolean function is shown to be quadruple and quintuple permutation polynomials. Moreover, linear binomial triple-cycle permutation polynomials are constructed.
$s$-almost cross-$t$-intersecting families for finite sets
Two families $\mathcal{F}$ and $\mathcal{G}$ of $k$-subsets of an $n$-set are called $s$-almost cross-$t$-intersecting if each member in $\mathcal{F}$ (resp. $\mathcal{G}$) is $t$-disjoint with at most $s$ members in $\mathcal{G}$ (resp. $\mathcal{F}$). In this paper, we characterize the $s$-almost cross-$t$-intersecting families with the maximum product of their sizes. Furthermore, we provide a corresponding stability result after studying the $s$-almost cross-$t$-intersecting families which are not cross-$t$-intersecting.
Single-exponential bounds for diagonals of D-finite power series
D-finite power series appear ubiquitously in combinatorics, number theory, and mathematical physics. They satisfy systems of linear partial differential equations whose solution spaces are finite-dimensional, which makes them enjoy a lot of nice properties. After attempts by others in the 1980s, Lipshitz was the first to prove that the class they form in the multivariate case is closed under the operation of diagonal. In particular, an earlier work by Gessel had addressed the D-finiteness of the diagonals of multivariate rational power series. In this paper, we give another proof of Gessel's result that fixes a gap in his original proof, while extending it to the full class of D-finite power series. We also provide a single exponential bound on the degree and order of the defining differential equation satisfied by the diagonal of a D-finite power series in terms of the degree and order of the input differential system.
Enumeration of geometric Weierstrass points of metric graphs
A classical result states that on a smooth algebraic curve of genus $g$ the number of Weierstrass points, counted with multiplicity, is $g^3-g$. In this paper, we introduce the notion of geometric Weierstrass points of metric graphs and show that a generic metric graph of genus $g$ has $g^3-g$ geometric Weierstrass points counted with multiplicity. Our methods also provide a new proof of the existence of Weierstrass points on metric graphs of genus bigger than or equal to $2$.
A few good choices
A Condorcet winning set addresses the Condorcet paradox by selecting a few candidates--rather than a single winner--such that no unselected alternative is preferred to all of them by a majority of voters. This idea extends to $α$-undominated sets, which ensure the same property for any $α$-fraction of voters and are guaranteed to exist in constant size for any $α$. However, the requirement that an outsider be preferred to every member of the set can be overly restrictive and difficult to justify in many applications. Motivated by this, we introduce a more flexible notion: $(t, α)$-undominated sets. Here, each voter compares an outsider to their $t$-th most preferred member of the set, and the set is undominated if no outsider is preferred by more than an $α$-fraction of voters. This framework subsumes prior definitions, recovering Condorcet winning sets when $(t = 1, α= 1/2)$ and $α$-undominated sets when $t = 1$, and introduces a new, tunable notion of collective acceptability for $t > 1$. We establish three main results:
1. We prove that a $(t, α)$-undominated set of size $O(t/α)$ exists for all values of $t$ and $α$.
2. We show that as $t$ becomes large, the minimum size of such a set approaches $t/α$, which is asymptotically optimal.
3. In the special case $t = 1$, we improve the bound on the size of an $α$-undominated set given by Charikar, Lassota, Ramakrishnan, Vetta, and Wang (STOC 2025). As a consequence, we show that a Condorcet winning set of five candidates exists, improving their bound of six.
On Weary Drivers, Records of Trees, and Parking Functions
This work builds on a decomposition of a Cayley tree using the notion of a record, a concept closely related to the blob encoding of a tree introduced by Kreweras and Moszkowski, and Picciotto, that we explore and extend. We provide an alternative definition of parking functions and derive from it a record-preserving bijection between Cayley trees and parking functions. Finally, we use this bijection to establish an equidistribution between a sextuple of statistics on Cayley trees and a corresponding sextuple of statistics on parking functions.
5-regular graphs and the 3-dimensional rigidity matroid
A bar-joint framework $(G,p)$ in Euclidean $d$-space is rigid if the only edge-length-preserving continuous motions arise from isometries of $\mathbb{R}^d$. In the generic case, rigidity is determined by the generic $d$-dimensional rigidity matroid of $G$. The combinatorial nature of this matroid is well understood when $d=1,2$ but open when $d\geq 3$. Jackson and Jordán 2005 characterised independence in this matroid for connected graphs with minimum degree at most $d+1$ and maximum degree at most $d+2$. Their characterisation is known to be false for $(d+2)$-regular graphs when $d\geq 4$ but when $d=3$ it remained open. Indeed they conjectured that their characterisation extends to 5-regular graphs when $d=3$. The purpose of this article is to prove their conjecture. That is, we prove that every 5-regular graph that has at most $3n-6$ edges in any subgraph on $n\geq 3$ vertices is independent in the generic 3-dimensional rigidity matroid.