Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Boosted second moment method in random regular graphs
Determining the asymptotic independence ratio of random regular graphs is a key challenge in the area of sparse random graphs. Due to the interpolation method, very good upper bounds are known, which are actually known to be sharp for sufficiently large degrees.
This paper provides explicit lower bounds for given degrees $d$, beating the previous best bounds for $d \geq 10$. The starting point is a second moment argument that we can boost by arguing that the obtained independent set has a certain spatial Markov property. One can then exploit this property by making local modifications to the independent set, resulting in substantial improvements.
Our approach can also be used to prove the existence of other objects in random regular graphs. To demonstrate this, we consider the problem of decomposing random regular graphs into stars.
Transition Matrices between Plethystic Bases of Polysymmetric Functions via Bijective Methods
Published
• View Publication
• BIB
Many identities involving symmetric functions can be proved through bijective manipulations of tableaux. In this paper, we prove identities involving polysymmetric functions through bijections and sign-reversing involutions. In their paper titled "Polysymmetric functions and motivic measures of configuration spaces", Asvin G and Andrew O'Desky introduced the algebra of polysymmetric functions (PSym) which can be defined as the tensor product of copies of the symmetric functions algebra (Sym) where the $i$th tensor factor is scaled by $i$. On one hand, we can obtain bases of this algebra by taking tensor products of the bases of Sym. On the other hand, the Asvin G and Andrew O'Desky paper introduces non-pure tensor bases families $H$, $E$, $E^+$, and $P$ that we call plethystic bases. In this paper, we present combinatorial interpretations of the entries of the transition matrices between all twelve pairs of distinct plethystic bases. We also provide new interpretations for six OEIS sequences that turn up in this context.
On the quadratic complexity of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC_{2}}$-dimension
In prior work, we showed that subsets of $\mathbb{F}_{p}^{n}$ of $\mathrm{VC_{2}}$-dimension at most $k$ are well approximated by a union of atoms of a quadratic factor of complexity $(\ell,q)$, where the complexity $\ell$ of the linear part and the complexity $q$ of the quadratic part are both bounded in terms of $k$, $p$, and the desired level of approximation $μ$. A key tool in the proof of this result was an arithmetic regularity lemma for the Gowers $U^3$-norm by Green and Tao, which resulted in tower-type bounds (in terms of $μ^{-1}$) on both $\ell$ and $q$.
In the present paper we show that for sets of bounded $\mathrm{VC}_2$-dimension, the bound on $q$ can be substantially improved. Specifically, we will prove that any set $A\subseteq G=\mathbb{F}_p^n$ of $\mathrm{VC}_2$-dimension at most $k$ is approximately equal (up to error $μ|G|$) to a union of atoms of a quadratic factor whose quadratic complexity is at most $\log_p(μ^{-k-o(1)})$, implying that the purely quadratic component of the factor partitions the group into $μ^{-k-o(1)}$ many parts.
We achieve this by using our earlier result to obtain an initial quadratic factor $\mathcal{B}$, and then applying a generalization of an argument of Alon, Fox and Zhao for subsets of $\mathbb{F}_{p}^{n}$ of bounded $\mathrm{VC}$-dimension to the label space (also known as "configuration space") of $\mathcal{B}$. A related strategy was employed in earlier work of the authors on $\mathrm{NFOP}_2$ subsets of $\mathbb{F}_p^n$, and in work of the first author in the context of 3-uniform hypergraphs.
Performance of Gaussian Boson Sampling on Planted Bipartite Clique Detection
We investigate whether Gaussian Boson Sampling (GBS) can provide a computational advantage for solving the planted biclique problem, which is a graph problem widely believed to be classically hard when the planted structure is small. Although GBS has been heuristically and experimentally observed to favor sampling dense subgraphs, its theoretical performance on this classically hard problem remains largely unexplored. We focus on a natural statistic derived from GBS output: the frequency with which a node appears in GBS samples, referred to as the node weight. We rigorously analyze whether this signal is strong enough to distinguish planted biclique nodes from background nodes. Our analysis characterizes the distribution of node weights under GBS and quantifies the bias introduced by the planted structure. The results reveal a sharp limitation: when the planted biclique size falls within the conjectured hard regime, the natural fluctuations in node weights dominate the bias signal, making detection unreliable using simple ranking strategies. These findings provide the first rigorous evidence that planted biclique detection may remain computationally hard even under GBS-based quantum computing, and they motivate further investigation into more advanced GBS-based algorithms or other quantum approaches for this problem.
The structure of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC}_2$-dimension
We show that a subset of $\mathbb{F}_{p}^{n}$ of $\mathrm{VC_{2}}$-dimension at most $k$ is well approximated by a union of atoms of a quadratic factor of complexity $(\ell,q)$ (denoting the complexities of the linear and quadratic part, respectively), where $\ell$ and $q$ are bounded by a constant depending only on $k$ and the desired level of approximation. This generalises a result of Alon, Fox and Zhao on the structure of sets of bounded $\mathrm{VC}$-dimension, and is analogous to contemporaneous work of the authors arXiv:2111.01737 in the setting of 3-uniform hypergraphs.
The main result originally appeared--albeit with a different proof--in a 2021 preprint arXiv:2111.01739, which has since been split into two: the present work, which focuses on higher arity NIP and develops a theory of local uniformity semi-norms of possibly independent interest, and its companion arXiv:2111.01739, which strengthens these results under a generalized notion of stability.
On infinite sumsets and sets of multiple recurrence
We answer two questions of Kra, Moreira, Richter and Robertson regarding the existence of infinite sumsets of the form $B + C$ in dense and sparse sets of integers and the relation of sumsets to sets of recurrence. We then further generalize these results, yielding new characterizations of sets of multiple measurable and topological recurrence.
Framed Polytopes and Higher Categories
In the early 1990s, Kapranov and Voevodsky proposed a geometric method for constructing higher-categorical pasting diagrams from generically framed convex polytopes. This work revisits their construction and identifies a convex-geometric condition that is both necessary and sufficient for the procedure to yield a well-defined pasting diagram. Our criterion, the absence of cellular loops, relates their construction to the theory of cellular strings, an active area of convex geometry originating in the Baues problem. This paper introduces higher-dimensional cellular strings and uses them to disprove the Kapranov-Voevodsky conjecture in the following strong sense. Not only do we exhibit framed polytopes admitting cellular loops, but we also construct examples for which every admissible frame produces one. As observed by these authors, Street's orientals arise from canonically framed cyclic simplices. We establish that this family is exceptional as any random $n$-simplex, canonically framed, almost surely exhibits cellular loops in the large $n$-limit.
Flexible DP 3-coloring of sparse multigraphs
A \emph{request} on a graph assigns a preferred color to a subset of the vertices. A graph $G$ is \emph{$ε$-flexibly $k$-choosable} if for every $k$-list assignment $L$ and every request $r$ on $G$, there is an $L$-coloring such that an $ε$-fraction of the requests are satisfied. This notion was introduced in 2019 by Dvořák, Norin, and Postle, who also proved important properties of flexible colorings and posed several natural problems. However, the weighted version of this problem is a special case of the much older problem of fractional hypergraph matchings, introduced by Lovász in 1975. We study flexibly DP-colorable multigraphs. We prove that every loopless multigraph with maximum average degree less than $3$ is $\frac{1}{5}$-flexibly DP $3$-colorable, except for an infinite family of multigraphs that we completely characterize. The constant $ε= \frac 15$ is best possible in the weighted setting, as shown by an infinite family of tight examples. Our result follows from a stronger statement in terms of potential. We also provide a family of graphs that gives a negative answer to a question by Dvořák, Norin, and Postle regarding flexibility for list coloring in the setting of DP-coloring.
A note on the distinct distances problem over finite fields
We study a finite-field analogue of the Erdős distinct distances problem under the Hamming metric. For a set \(S\subseteq \mathbb{F}_q^n\) let $Δ(S)$ denote the set of Hamming distances determined by \(S\). We prove the lower bound \[ |Δ(S)| \;\ge\; \frac{\log |S|}{2\log(2nq)}, \] and show this bound is tight when \(|S|=O(\text{poly}(n))\), where the constant of proportionality depends only on $q$. We then also study the problem of finding a large \emph{rainbow set}, that is, a subset \(S\subseteq \mathbb{F}_q^n\) for which all \(\binom{|S|}{2}\) pairwise Hamming distances spanned by $S$ are distinct. In contrast to the Euclidean setting, we show that a set with many distinct distances does not imply the existence of a large rainbow set, by giving an explicit construction.
Nevertheless, we establish the existence of large rainbow sets, and prove that every large set in \(\mathbb{F}_q^n\) necessarily contains a non-trivial rainbow subset.
A Characterization of Macdonald's Jack Hypergeometric Series ${}_pF_q(x;α)$ and ${}_pF_q(x,y;α)$ via Differential Equations
In a widely circulated manuscript from the 1980s, now available on the arXiv, I.~G.~Macdonald introduced certain multivariable hypergeometric series ${}_pF_q(x)= {}_pF_q(x;α)$ and ${}_pF_q(x,y)= {}_pF_q(x,y;α)$ in one and two sets of variables $x=(x_1,\dots x_n)$ and $y=(y_1,\dots y_n)$. These two series are defined by explicit expansions in terms of Jack polynomials $J^{(α)}_λ$, and for $α=2$ they specialize to the hypergeometric series of matrix arguments studied by Herz (1955) and Constantine (1963) that admit analogous expansions in terms of zonal polynomials.
In this paper we determine explicit partial differential equations that characterize ${}_pF_q$, thereby answering a question posed by Macdonald. More precisely, for each $n,p,q$ we construct three differential operators $\mathcal A=\mathcal A^{(x,y)}$, $\mathcal B=\mathcal B^{(x)}$, $\mathcal C=C^{(x)}$, and we show that ${}_pF_q(x,y)$ and ${}_pF_q(x)$ are the unique series solutions of the equations $\mathcal A(f)=0$ and $\mathcal C(f)=0$, respectively, subject to certain symmetry and boundary conditions. We also prove that the equation $\mathcal B(f)=0$ characterizes ${}_pF_q(x)$, but only after one restricts the domain of $\mathcal B$ to the set of series satisfying an additional stability condition with respect to $n$.
Special cases of the operators $\mathcal A$ and $\mathcal B$ have been constructed previously in the literature, but only for a small number of pairs $(p,q)$, namely for $p \leq 3$ and $q \leq 2$ in the zonal case by Muirhead (1970), Constantine--Muirhead (1972), and Fujikoshi (1975); and for $p \leq 2$ and $q \leq 1$ in the general Jack case by Macdonald (1980s), Yan (1992), Kaneko (1993), and Baker--Forrester (1997). However the operator $\mathcal C$ seems to be new even for these special cases.
From points to complexes: a concept of unexpectedness for simplicial complexes
Published
• View Publication
• BIB
In 2018, Cook, Harbourne, Migliore and Nagel introduced the concept of unexpected hypersurfaces, which connects the study of Lefschetz properties of artinian algebras defined by powers of linear forms, to a family of interpolation problems. In this paper, inspired by the theory of unexpected hypersurfaces, we introduce the concept of unexpected systems of parameters for squarefree monomial ideals. Similarly to the setting of points, we show that the existence of an unexpected system of parameters causes a certain algebra to fail the weak Lefschetz property. We then explore combinatorial interpretations of unexpected systems of parameters, and show that this notion is intrinsically related to the theory of balanced complexes. A consequence of our results is that the theory of Rees algebras turns out to be a powerful tool for studying the existence of systems of parameters satisfying special properties.
A Continuum Beck-type Theorem for Hyperplanes
We prove a sharp continuum Beck-type theorem for hyperplanes. Our work is inspired by foundational work of Beck on the discrete problem, as well as refinements due to Do and Lund. The inductive proof uses recent breakthrough results in projection theory by Orponen--Shmerkin--Wang and Ren, who proved continuum Beck-type theorems for lines in $\mathbb{R}^2$ and $\mathbb{R}^n$.
Hall Skew-morphisms and Hall Cayley maps of finite groups
Published
• View Publication
• BIB
A characterization is given of finite groups $H$ that have skew-morphisms of order coprime to the order $|H|$, and their skew-morphisms. A complete classification is then given of the automorphism groups and the underlying graphs of vertex-rotary core-free Hall Cayley maps.
A recursive definition for the polymatroid Tutte polynomial
The Tutte polynomial is a significant invariant of graphs and matroids. It is well-known that it has three equivalent definitions: bases expansion, rank generating function, and deletion-contraction formula. The polymatroid Tutte polynomial $\mathscr{T}_{P}$ generalizes the Tutte polynomial from matroids to polymatroids $P$. In \emph{[Adv. Math. 402 (2022) 108355.]} and \emph{[J. Combin. Theory Ser. A 188 (2022) 105584]}, the authors provided bases expansion and rank generating function constructions for $\mathscr{T}_{P}$, respectively. In \emph{[Int. Math. Res. Not. 19 (2025) rnaf302]}, a recursive formula for $\mathscr{T}_{P}$ was obtained. In this paper, we show that the recursive formula itself can be used to define the polymatroid Tutte polynomial independently.
Stable hyperplane arrangements
We classify complex hyperplane arrangements $\mathcal A$ whose intersection posets $L(\mathcal A)$ satisfy $L(\mathcal A)=π_i^{-1}\circπ_i\bigl(L(\mathcal A)\bigr)$ for $i=1,\dots,n$. Here $π_i$ denotes the projection from $\mathbb C^n$ onto $\mathbb C^{n-1}$ defined by that forgets the coordinate $x_i$ of $(x_1,\dots,x_n)\in\mathbb C^n$, and $π_i\bigl(L(\mathcal A)\bigr)=\{π_i(S)\mid S\in L(\mathcal A)\}$. We show that such arrangements $\mathcal A$ arise as pullbacks of the mirror hyperplanes of complex reflection groups of type $A$ or $B$.
On Sibuya trees and forests
Published
• View Publication
• BIB
We show that the Sibuya distribution and its non-critical relatives are relevant in the context of the recursive generation of both simply generated and increasing critical trees' and forests' progenies. A special class of generalized Stirling numbers are at the heart of the analysis of the induced occupancy distributions. Asymptotic aspects of large forests are addressed.
New lower bounds on the non-repetitive chromatic number of some graphs
Published
• View Publication
• BIB
A graph \( G \) is said to be (vertex) non-repetitively colored if no simple path in \( G \) has a sequence of vertex colors that forms a repetition. Formally, a coloring \( c: V(G) \to \{1, 2, \dots, k\} \) is non-repetitive if, for every path \(\langle v_1, v_2, \dots, v_{2m} \rangle\) in \( G \), the sequence of colors \( c(v_1), c(v_2), \dots, c(v_{2m}) \) is not of the form \( ww \), where \( w \) is a sequence of \( m \) colors. The minimum number of colors required for such a coloring is called the \emph{non-repetitive chromatic number} of \(G\), denoted by \(π(G)\). In this paper, we primarily prove that \(π(P \square P) \ge 6\) and \(π(P \boxtimes P) \ge 9\), where \( P \square P \) and \( P \boxtimes P \) are the Cartesian product and the strong product of two infinite paths, respectively. This improves upon the previous best lower bounds.
Castelnuovo-Mumford Regularity and Combinatorial Invariants of Trees
This work establishes combinatorial bounds on the Castelnuovo-Mumford regularity of edge ideals for trees and their multi-whiskered variants. For a tree \( T \), we give bounds for the Castelnuovo-Mumford regularity of \( I(T) \) in terms of the order, diameter, and number of pendant vertices. Furthermore, we present an upper bound for multi-whiskered trees \( T_{\mathbf{a}} \), demonstrating that the Castelnuovo-Mumford regularity of \( I(T_{\mathbf{a}}) \) is bounded by the same invariants of the underlying tree \( T \). A principal consequence of this work is the derivation of corresponding inequalities for two key combinatorial invariants of \( T \), namely the induced matching number \( \operatorname{im}(T) \) and the independence number \( α(T) \).
Extending Thomassen's conjecture to directed graphs
A famous conjecture by Thomassen from 1983 asserts that for any given $k,g\in \mathbb{N}$ there exists some $d=d(k,g)\in \mathbb{N}$ such that every graph of minimum degree at least $d$ contains a subgraph of minimum degree at least $k$ and girth at least $g$. In this paper, we initiate the systematic study of the directed analogs of Thomassen's conjecture one obtains when replacing minimum degree by minimum out-degree. Concretely, we study which digraphs $F$ are avoidable in the sense that there exists $d_F:\mathbb{N}\rightarrow \mathbb{N}$ such that every digraph of minimum out-degree at least $d_F(k)$ contains an $F$-free subdigraph of minimum out-degree at least $k$. Among our main results, we show that all orientations of $C_3$ and $C_5$ are avoidable, while one-directed orientations of complete bipartite graphs and all oriented trees are not avoidable. This, in particular, shows that the most direct extension of Thomassen's conjecture to digraphs is false. We also fully characterize which digraphs are avoidable when restricting the setting to regular host digraphs. Finally, we raise numerous attractive open problems in the hope of sparking further progress.
On a sequence of Kimberling and its relationship to the Tribonacci word
In 2017, Clark Kimberling defined an interesting sequence ${\bf B} = 0100101100 \cdots$ of $0$'s and $1$'s by certain inflation rules, and he made a number of conjectures about this sequence and some related ones. In this note we prove his conjectures using, in part, the Walnut theorem-prover. We show how his word is related to the infinite Tribonacci word, and we determine both the subword complexity and critical exponent of $\bf B$.