Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Forcing Quasirandomness in a Regular Tournament
A tournament $H$ is said to force quasirandomness if it has the property that a sequence $(T_n)_{n\in \mathbb{N}}$ of tournaments of increasing orders is quasirandom if and only if the homomorphism density of $H$ in $T_n$ tends to $(1/2)^{\binom{v(H)}{2}}$ as $n\to\infty$. It was recently shown that there is only one non-transitive tournament with this property. This is in contrast to the analogous problem for graphs, where there are numerous graphs that are known to force quasirandomness and the well known Forcing Conjecture suggests that there are many more. To obtain a richer family of characterizations of quasirandomness in tournaments, we propose a variant in which the tournaments $(T_n)_{n\in \mathbb{N}}$ are assumed to be "nearly regular." We characterize the tournaments on at most 5 vertices which force quasirandomness under this stronger assumption.
A Probabilistic Parking Process and Labeled IDLA
In 1966, Konheim and Weiss [33] introduced a now classical parking protocol. The deterministic process and its resultant objects, known as parking functions, have since become a favorite object of study in enumerative combinatorics. In our work, we introduce and study a probabilistic variant of the classical parking protocol, which is closely related to Internal Diffusion Limited Aggregation, or IDLA, introduced in 1991 by Diaconis and Fulton [19]. In particular, we compute the stationary distribution of this process when initiated with a particular class of initial preferences, of which weakly increasing parking functions are a subset. Furthermore, we compute the expected time it takes for the protocol to complete assuming all of the cars park, and prove that, in some cases, the parking process is negatively correlated. In addition, we study statistics of uniformly random weakly increasing parking functions such as the distribution of the last entry, the probability that a specific set of cars is lucky, and the expected number of lucky cars.
Antidirected trees in directed graphs
The Komlós-Sárközy-Szemerédi (KSS) theorem establishes that a certain bound on the minimum degree of a graph guarantees it contains all bounded degree trees of the same order. Recently several authors put forward variants of this result, where the tree is of smaller order than the host graph, and the host graph also obeys a maximum degree condition. Also, Kathapurkar and Montgomery extended the KSS theorem to digraphs. We bring these two directions together by establishing minimum and maximum degree bounds for digraphs that ensure the containment of oriented trees of smaller order. Our result is restricted to balanced antidirected trees of bounded degree. More precisely, we show that for every $γ> 0$, $c\in\mathbb{R}$, $\ell\geq 2$ sufficiently large $n$ and all $k\geqγn$, the following holds for every $n$-vertex digraph $D$ and every balanced antidirected tree $T$ with $k$ arcs whose total maximum degree is bounded by $(\log n)^c$. If $D$ has a vertex of outdegree at least $(1+γ)(\ell -1)k$, a vertex of indegree at least $(1+γ)(\ell -1)k$ and minimum semidegree $δ^0(D)\geq\left(\frac{\ell}{2\ell -1}+γ\right)k$, then $D$ contains $T$.
Counting the number of group orbits by marrying the Burnside process with importance sampling
This paper introduces a novel and general algorithm for approximately counting the number of orbits under group actions. The method is based on combining the Burnside process and importance sampling. Specializing to unitriangular groups yields an efficient algorithm for estimating the number of conjugacy classes of such groups.
Cardinalities of $g$-difference sets
Let $η_{g}(n) $ be the smallest cardinality that $A\subseteq {\mathbb Z}$ can have if $A$ is a $g$-difference basis for $[n]$ (i.e, if, for each $x\in [n]$, there are {\em at least} $g$ solutions to $a_{1}-a_{2}=x$ ). We prove that the finite, non-zero limit $\lim\limits_{n\rightarrow \infty}\frac{η_{g}(n)}{\sqrt{n}}$ exists, answering a question of Kravitz. We also investigate a similar problem in the setting of a vector space over a finite field.
Let $α_g(n)$ be the largest cardinality that $A\subseteq [n]$ can have if, for all nonzero $x$, $a_{1}-a_{2}=x$ has {\em at most} $g$ solutions. We also prove that $α_g(n)={\sqrt{gn}}(1+o_{g}(1))$ as $n\rightarrow\infty$.
Permutation polynomials, projective polynomials, and bijections between $μ_{\frac{q^n-1}{q-1}}$ and $PG(n-1,q)$
Using arbitrary bases for the finite field $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$, we obtain the generalized Möbius transformations (GMTs), which are a class of bijections between the projective geometry $PG(n-1,q)$ and the set of roots of unity $μ_{\frac{q^n-1}{q-1}}\subseteq\mathbb{F}_{q^n}$, where $n\geq 2$ is any integer. We also introduce a class of projective polynomials, using the properties of which we determine the inverses of the GMTs. Moreover, we study the roots of those projective polynomials, which lead to a three-way correspondence between partitions of $\mathbb{F}_{q^n}^\ast,μ_{\frac{q^n-1}{q-1}}$ and $PG(n-1,q)$. Through this correspondence and the GMTs, we construct permutation polynomials of index $\frac{q^n-1}{q-1}$ over $\mathbb{F}_{q^n}$.
Patterns in rectangulations. Part I: $\top$-like patterns, inversion sequence classes $I(010, 101, 120, 201)$ and $I(011, 201)$, and rushed Dyck paths
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (October 16, 2025) dmtcs:15118
• View Publication
• BIB
We initiate a systematic study of pattern avoidance in rectangulations. We give a formal definition of such patterns and investigate rectangulations that avoid $\top$-like patterns - the pattern $\top$ and its rotations. For every $L \subseteq \{\top, \, \vdash, \, \bot, \, \dashv \}$ we enumerate $L$-avoiding rectangulations, both weak and strong. In particular, we show $\top$-avoiding weak rectangulations are enumerated by Catalan numbers and construct bijections to several Catalan structures. Then, we prove that $\top$-avoiding strong rectangulations are in bijection with several classes of inversion sequences, among them $I(010,101,120,201)$ and $I(011,201)$ - which leads to a solution of the conjecture that these classes are Wilf-equivalent. Finally, we show that $\{\top, \bot\}$-avoiding strong rectangulations are in bijection with recently introduced rushed Dyck paths.
Inequalities and asymptotics for hook lengths in $\ell$-regular partitions and $\ell$-distinct partitions
In this article, we study hook lengths in $\ell$-regular partitions and $\ell$-distinct partitions. More precisely, we establish hook length inequalities between $\ell$-regular partitions and $\ell$-distinct partitions for hook lengths $2$ and $3$, by deriving asymptotic formulas for the total number of hooks of length $t$ in both partition classes, for $t = 1, 2, 3$. From these asymptotics, we show that the ratio of the total number of hooks of length $t$ in $\ell$-regular partitions to those in $\ell$-distinct partitions tends to a constant that depends on $\ell$ and $t$. We also provide hook length inequalities within $\ell$-regular partitions and within $\ell$-distinct partitions.
Packing Dijoins in Weighted Chordal Digraphs
In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects every dicut. Edmonds and Giles conjectured that in a weighted digraph, the minimum weight of a dicut is equal to the maximum size of a packing of dijoins. This has been disproved. However, the unweighted version conjectured by Woodall remains open. We prove that the Edmonds-Giles conjecture is true if the underlying undirected graph is chordal. We also give a strongly polynomial time algorithm to construct such a packing.
Semicomplete multipartite weakly distance-regular digraphs
A digraph is semicomplete multipartite if its underlying graph is a complete multipartite graph. As a special case of semicomplete multipartite digraphs, Jørgensen et al. \cite{JG14} initiated the study of doubly regular team tournaments. As a natural extension, we introduce doubly regular team semicomplete multipartite digraphs and show that such digraphs fall into three types. Furthermore, we give a characterization of all semicomplete multipartite commutative weakly distance-regular digraphs.
On variants of Chowla's conjecture
We study the shifted convolution sums associated to completely multiplicative functions taking values in $\{\pm 1\}$ and give combinatorical proofs of two recent results in the direction of Chowla's conjecture. We also determine the corresponding "spectrum".
Blocking Ideals: a method for filtering linear extensions of a finite poset
The standard notion of poset probability of a finite poset P involves calculating, for incomparable $α$, $β$ in P, the number of linear extensions of P for which $α$ precedes $β$. The fraction of those linear extensions among all linear extensions of P is the probability that $α< β$. The question of whether there is always a pair $α, β$ such that this probability lies between 1/3 and 2/3, in any poset P (that is not a chain) is the famous "1/3-2/3-conjecture".
A general way of counting linear extensions of P for which $α$ precedes $β$ is to count linear extensions of the poset obtained by adding the relation $(α,β)$, and its transitive consequences.
For chain-products, and more generally for partition posets, lattice-path methods can be used to count the number of those linear extensions.
We present an alternative approach to find the pertinent linear extensions. It relies on finding the "blocking ideals" in $J(P)$, where $J(P)$ is the lattice of order ideals in P. This method works for all finite posets.
We illustrate this method by using blocking ideals to find explicit formulas of poset probabilities in cell posets $P_λ$ of two-row partitions. Well-known formulae such as the hook-length formula for $f^λ$, the number of standard Young tableaux on a partition $λ$, and the corresponding determinental formula by Jacobi-Trudi-Aitken for $f^{λ/ μ}$, the number of standard Young tableaux on a skew partition $λ/ μ$, are used along the way.
We also calculate the limit probabilities when the elements $α,β$ are fixed cells, but the arm-lengths tend to infinity.
Random Subwords and Billiard Walks in Affine Weyl Groups
Let $W$ be an irreducible affine Weyl group, and let $\mathsf{b}$ be a finite word over the alphabet of simple reflections of $W$. Fix a probability $p\in(0,1)$. For each integer $K\geq 0$, let $\mathsf{sub}_p(\mathsf{b}^K)$ be the random subword of $\mathsf{b}^K$ obtained by deleting each letter independently with probability $1-p$. Let $v_p(\mathsf{b}^K)$ be the element of $W$ represented by $\mathsf{sub}_p(\mathsf{b}^K)$. One can view $v_p(\mathsf{b}^K)$ geometrically as a random alcove; in many cases, this alcove can be seen as the location after a certain amount of time of a random billiard trajectory that, upon hitting a hyperplane in the Coxeter arrangement of $W$, reflects off of the hyperplane with probability $1-p$. We show that the asymptotic distribution of $v_p(\mathsf{b}^K)$ is a central spherical multivariate normal distribution with some variance $σ_{\mathsf{b}}^2$ depending on $\mathsf{b}$ and $p$. We provide a formula to compute $σ_{\mathsf{b}}^2$ that is remarkably simple when $\mathsf{b}$ contains only one occurrence of the simple reflection that is not in the associated finite Weyl group. As a corollary, we provide an asymptotic formula for $\mathbb{E}[\ell(v_p(\mathsf{b}^K))]$, the expected Coxeter length of $v_p(\mathsf{b}^K)$. For example, when $W=\widetilde A_{r}$ and $\mathsf{b}$ contains each simple reflection exactly once, we find that \[\lim_{K\to\infty}\frac{1}{\sqrt{K}}\mathbb{E}[\ell(v_p(\mathsf{b}^K))]=\sqrt{\frac{2}πr(r+1)\frac{p}{1-p}}.\]
Exponents in the local properties problem for difference sets have a gap at 2
We study the local properties problem for difference sets: If we have a large set of real numbers and know that every small subset has many distinct differences, to what extent must the entire set have many distinct differences? More precisely, we define $g(n, k, \ell)$ to be the minimum number of differences in an $n$-element set with the `local property' that every $k$-element subset has at least $\ell$ differences; we study the asymptotic behavior of $g(n, k, \ell)$ as $k$ and $\ell$ are fixed and $n \to \infty$.
The quadratic threshold is the smallest $\ell$ (as a function of $k$) for which $g(n, k, \ell) = Ω(n^2)$; its value is known when $k$ is even. In this paper, we show that for $k$ even, when $\ell$ is one below the quadratic threshold, we have $g(n, k, \ell) = O(n^c)$ for an absolute constant $c < 2$ -- i.e., at the quadratic threshold, the `exponent of $n$ in $g(n, k, \ell)$' jumps by a constant independent of $k$.
Covering half-grids with lines and planes
We study hyperplane covering problems for finite grid-like structures in $\mathbb{R}^d$. We call a set $\mathcal{C}$ of points in $\mathbb{R}^2$ a conical grid if the line $y = a_i$ intersects $\mathcal{C}$ in exactly $i$ points, for some $a_1 > \cdots > a_n \in \mathbb{R}$. We prove that the number of lines required to cover every point of such a grid at least $k$ times is at least $nk\left(1-\frac{1}{e}-O(\frac{1}{n}) \right)$. If the grid $\mathcal{C}$ is obtained by cutting an $m \times n$ grid of points into a half along one of the diagonals, then we prove the lower bound of $mk\left(1-e^{-\frac{n}{m}}-O(\frac{n}{m^2})\right)$.
Motivated by the Alon-Füredi theorem on hyperplane coverings of grids that miss a point and its multiplicity variations, we study the problem of finding the minimum number of hyperplanes required to cover every point of an $n \times \cdots \times n$ half-grid in $\mathbb{R}^d$ at least $k$ times while missing a point $P$. For almost all such half-grids, with $P$ being the corner point, we prove asymptotically sharp upper and lower bounds for the covering number in dimensions $2$ and $3$. For $k = 1$, $d = 2$, and an arbitrary $P$, we determine this number exactly by using the polynomial method bound for grids.
How Many Cards Should You Lay Out in Quad-128: A Classification of Caps in AG(7,2)
We define a cap in the affine geometry AG(n,2) to be a subset in which every collection of four points is in general position. In this paper, we classify, up to affine equivalence, all caps in AG(7,2) of size k greater than or equal to 10. In particular, we show that there are two equivalence classes of 10-caps and one equivalence class of 11-caps, none of which are complete, and one equivalence class of 12-caps, which are both complete and of maximum size.
On generalizing cryptographic results to Sidon sets in $\mathbb{F}_2^n$
A Sidon set $S$ in $\mathbb{F}_2^n$ is a set such that $x+y=z+w$ has no solutions $x,y,z,w \in S$ with $x,y,z,w$ all distinct. In this paper, we prove various results on Sidon sets by using or generalizing known cryptographic results. In particular, we generalize known results on the Walsh transform of almost perfect nonlinear (APN) functions to Sidon sets. One such result is that we classify Sidon sets with minimal linearity as those that are $k$-covers. That is, Sidon sets with minimal linearity are those Sidon sets $S \subseteq \mathbb{F}_2^n$ such that there exists $k > 0$ such that for any $p \in \mathbb{F}_2^n \setminus S$, there are exactly $k$ subsets $\{x,y,z\} \subseteq S$ such that $x+y+z = p$. From this, we also classify $k$-covers by means of the Cayley graph of a particular Boolean function, and we construct the unique rank $3$ strongly regular graph with parameters $(2048, 276, 44, 36)$ as the Cayley graph of a Boolean function. Finally, by computing the linearity of a particular family of Sidon sets, we increase the best-known lower bound of the largest Sidon set in $\mathbb{F}_2^{4t+1}$ by $1$ for all $t \geq 4$.
Non-crossing $H$-graphs: a generalization of proper interval graphs admitting FPT algorithms
We prove new parameterized complexity results for the FO Model Checking problem on a well-known generalization of interval and circular-arc graphs: the class of $H$-graphs, for any fixed multigraph $H$. In particular, we research how the parameterized complexity differs between two subclasses of $H$-graphs: proper $H$-graphs and non-crossing $H$-graphs, each generalizing proper interval graphs and proper circular-arc graphs. We first generalize a known result of Bonnet et al. (IPEC 2022) from interval graphs to $H$-graphs, for any (simple) forest $H$, by showing that for such $H$, the class of $H$-graphs is delineated. This implies that for every hereditary subclass ${\cal D}$ of $H$-graphs, FO Model Checking is in FPT if ${\cal D}$ has bounded twin-width and AW[$*$]-hard otherwise. As proper claw-graphs have unbounded twin-width, this means that FO Model Checking is AW[$*$]-hard for proper $H$-graphs for certain forests $H$ like the claw. In contrast, we show that even for every multigraph $H$, non-crossing $H$-graphs have bounded proper mixed-thinness and hence bounded twin-width, and thus FO Model Checking is in FPT on non-crossing $H$-graphs when parameterized by $\Vert H \Vert+\ell$, where $\Vert H \Vert$ is the size of $H$ and $\ell$ is the size of a formula. It is known that a special case of FO Model Checking, Independent Set, is $\mathsf{W}[1]$-hard on $H$-graphs when parameterized by $\Vert H \Vert +k$, where $k$ is the size of a solution. We strengthen this $\mathsf{W}[1]$-hardness result to proper $H$-graphs. Hence, we solve, in two different ways, an open problem of Chaplick (Discrete Math. 2023), who asked about problems that can be solved faster for non-crossing $H$-graphs than for proper $H$-graphs.
Answering Related Questions
We introduce the meta-problem Sidestep$(Π, \mathsf{dist}, d)$ for a problem $Π$, a metric $\mathsf{dist}$ over its inputs, and a map $d: \mathbb N \to \mathbb R_+ \cup \{\infty\}$. A solution to Sidestep$(Π, \mathsf{dist}, d)$ on an input $I$ of $Π$ is a pair $(J, Π(J))$ such that $\mathsf{dist}(I,J) \leqslant d(|I|)$ and $Π(J)$ is a correct answer to $Π$ on input $J$. This formalizes the notion of answering a related question (or sidestepping the question), for which we give some practical and theoretical motivations, and compare it to the neighboring concepts of smoothed analysis, planted problems, and edition problems. Informally, we call hardness radius the ``largest'' $d$ such that Sidestep$(Π, \mathsf{dist}, d)$ is NP-hard. This framework calls for establishing the hardness radius of problems $Π$ of interest for the relevant distances $\mathsf{dist}$.
We exemplify it with graph problems and two distances $\mathsf{dist}_Δ$ and $\mathsf{dist}_e$ (the edge edit distance) such that $\mathsf{dist}_Δ(G,H)$ (resp. $\mathsf{dist}_e(G,H)$) is the maximum degree (resp. number of edges) of the symmetric difference of $G$ and $H$ if these graphs are on the same vertex set, and $+\infty$ otherwise. We show that the decision problems Independent Set, Clique, Vertex Cover, Coloring, Clique Cover have hardness radius $n^{\frac{1}{2}-o(1)}$ for $\mathsf{dist}_Δ$, and $n^{\frac{4}{3}-o(1)}$ for $\mathsf{dist}_e$, that Hamiltonian Cycle has hardness radius 0 for $\mathsf{dist}_Δ$, and somewhere between $n^{\frac{1}{2}-o(1)}$ and $n/3$ for $\mathsf{dist}_e$, and that Dominating Set has hardness radius $n^{1-o(1)}$ for $\mathsf{dist}_e$. We leave several open questions.
Ordering digraphs with maximum outdegrees by their $A_α$ spectral radius
Let $G$ be a strongly connected digraph with $n$ vertices and $m$ arcs. For any real $α\in[0,1]$, the $A_α$ matrix of a digraph $G$ is defined as $$A_α(G)=αD(G)+(1-α)A(G),$$ where $A(G)$ is the adjacency matrix of $G$ and $D(G)$ is the outdegrees diagonal matrix of $G$. The eigenvalue of $A_α(G)$ with the largest modulus is called the $A_α$ spectral radius of $G$, denoted by $λ_α(G)$. In this paper, we first obtain an upper bound on $λ_α(G)$ for $α\in[\frac{1}{2},1)$. Employing this upper bound, we prove that for two strongly connected digraphs $G_1$ and $G_2$ with $n\ge4$ vertices and $m$ arcs, and $α\in [\frac{1}{\sqrt{2}},1)$, if the maximum outdegree $Δ^+(G_1)\ge 2α(1-α)(m-n+1)+2α$ and $Δ^+(G_1)>Δ^+(G_2)$, then $λ_α(G_1)>λ_α(G_2)$. Moreover, We also give another upper bound on $λ_α(G)$ for $α\in[\frac{1}{2},1)$. Employing this upper bound, we prove that for two strongly connected digraphs with $m$ arcs, and $α\in[\frac{1}{2},1)$, if the maximum outdegree $Δ^+(G_1)>\frac{2m}{3}+1$ and $Δ^+(G_1)>Δ^+(G_2)$, then $λ_α(G_1)+\frac{1}{4}>λ_α(G_2)$.