contain ↗ reference
7694 papers tagged with this keyword
Large cliques in extremal incidence configurations
Published
• View Publication
• BIB
Let $P \subset \mathbb{R}^{2}$ be a Katz-Tao $(δ,s)$-set, and let $\mathcal{L}$ be a Katz-Tao $(δ,t)$-set of lines in $\mathbb{R}^{2}$. A recent result of Fu and Ren gives a sharp upper bound for the $δ$-covering number of the set of incidences $\mathcal{I}(P,\mathcal{L}) = \{(p,\ell) \in P \times \mathcal{L} : p \in \ell\}$. In fact, for $s,t \in (0,1]$, $$ |\mathcal{I}(P,\mathcal{L})|_δ \lesssim_ε δ^{-ε-f(s,t)}, \qquad ε> 0,$$ where $f(s,t) = (s^{2} + st + t^{2})/(s + t)$. For $s,t \in (0,1]$, we characterise the near-extremal configurations $P \times \mathcal{L}$ of this inequality: we show that if $|\mathcal{I}(P,\mathcal{L})|_δ \approx δ^{-f(s,t)}$, then $P \times \mathcal{L}$ contains "cliques" $P' \times \mathcal{L}'$ satisfying $|\mathcal{I}(P',\mathcal{L}')|_δ \approx |P'|_δ|\mathcal{L}'|_δ$, $$|P'|_δ \approx δ^{-s^{2}/(s + t)} \quad \text{and} \quad |\mathcal{L}'|_δ \approx δ^{-t^{2}/(s + t)}.$$
The Quantitative Fractional Helly theorem
Published
• View Publication
• BIB
Two celebrated extensions of Helly's theorem are the Fractional Helly theorem of Katchalski and Liu (1979) and the Quantitative Volume theorem of Bárány, Katchalski, and Pach (1982). Improving on several recent works, we prove an optimal combination of these two results. We show that given a family $\mathcal{F}$ of $n$ convex sets in $\mathbb{R}^d$ such that at least $α\binom{n}{d+1}$ of the $(d+1)$-tuples of $\mathcal{F}$ have an intersection of volume at least 1, then one can select $Ω_{d,α}(n)$ members of $\mathcal{F}$ whose intersection has volume at least $Ω_d(1)$.
Furthermore, with the help of this theorem, we establish a quantitative version of the $(p,q)$ theorem of Alon and Kleitman. Let $p\geq q\geq d+1$ and let $\mathcal{F}$ be a finite family of convex sets in $\mathbb{R}^d$ such that among any $p$ elements of $\mathcal{F}$, there are $q$ that have an intersection of volume at least $1$. Then, we prove that there exists a family $T$ of $O_{p,q}(1)$ ellipsoids of volume $Ω_d(1)$ such that every member of $\mathcal{F}$ contains at least one element of $T$.
Finally, we present extensions about the diameter version of the Quantitative Helly theoerm.
Progressions in Euclidean Ramsey theory
Published in European Journal of Combinatorics, Volume 125, 2025, 104105
• View Publication
• BIB
Conlon and Wu showed that there is a red/blue-coloring of $\mathbb{E}^n$ that does not contain $3$ red collinear points separated by unit distance and $m=10^{50}$ blue collinear points separated by unit distance. We prove that the statement holds with $m=1177$. We show similar results with different distances between the points.
On a recent extension of a family of biprojective APN functions
APN functions play a big role as primitives in symmetric cryptography as building blocks that yield optimal resistance to differential attacks. In this note, we consider a recent extension of a biprojective APN family by Göloğlu defined on $\mathbb{F}_{2^{2m}}$. We show that this generalization yields functions equivalent to Göloğlu's original family if $3\nmid m$. If $3|m$ we show exactly how many inequivalent APN functions this new family contains. We also show that the family has the minimal image set size for an APN function and determine its Walsh spectrum, hereby settling some open problems. In our proofs, we leverage a group theoretic technique recently developed by Göloğlu and the author in conjunction with a group action on the set of projective polynomials.
Paired $(n-1)$-to-$(n-1)$ disjoint path covers in bipartite transposition-like graphs
Published in Discrete Applied Mathematics 376 (2025), 449-461
• View Publication
• BIB
A paired $k$-to-$k$ disjoint path cover of a graph $G$ is a collection of pairwise disjoint path subgraphs $P_1,P_2,\dotsc,P_k$ such that each $P_i$ has prescribed vertices $s_i$ and $t_i$ as endpoints and the union of $P_1,P_2,\dotsc,P_k$ contains all vertices of $G$. In this paper, we introduce bipartite transposition-like graphs, which are inductively constructed from lower ranked bipartite transposition-like graphs. We show that every rank $n$ bipartite transposition-like graph $G$ admit a paired $(n-1)$-to-$(n-1)$ disjoint path cover for all choices of $S=\{s_1,s_2,\dotsc,s_{n-1}\}$ and $T=\{t_1,t_2,\dotsc,t_{n-1}\}$, provided that $S$ is in one partite set of $G$ and $T$ is in the other.
A lower bound on the saturation number and a strengthening for triangle-free graphs
Published in The Electronic Journal of Combinatorics 32(3) (2025), #P3.14
• View Publication
• BIB
The saturation number $\operatorname{sat}(n, H)$ of a graph $H$ and positive integer $n$ is the minimum size of a graph of order $n$ which does not contain a subgraph isomorphic to $H$ but to which the addition of any edge creates such a subgraph. Erdős, Hajnal, and Moon first studied saturation numbers of complete graphs, and Cameron and Puleo introduced a general lower bound on $\operatorname{sat}(n,H)$. In this paper, we present another lower bound on $\operatorname{sat}(n, H)$ with strengthenings for graphs $H$ in several classes, all of which include the class of triangle-free graphs. Demonstrating its effectiveness, we determine the saturation numbers of diameter-$3$ trees up to an additive constant; these are double stars $S_{s,t}$ of order $s + t$ whose central vertices have degrees $s$ and $t$. Faudree, Faudree, Gould, and Jacobson determined that $\operatorname{sat}(n, S_{t,t}) = (t-1)n/2 + O(1)$. We prove that $\operatorname{sat}(n,S_{s,t}) = (st+s)n/(2t+4) + O(1)$ when $s < t$. We also apply our lower bound to caterpillars and demonstrate an upper bound on the saturation numbers of certain diameter-$4$ caterpillars.
The common basis complex and the partial decomposition poset
Published in International Mathematics Research Notices, Volume 2024, Issue 18, September 2024, Pages 12746-12760
• View Publication
• BIB
For a finite-dimensional vector space $V$, the common basis complex of $V$ is the simplicial complex whose vertices are the proper non-zero subspaces of $V$, and $σ$ is a simplex if and only if there exists a basis $B$ of $V$ that contains a basis of $S$ for all $S\in σ$. This complex was introduced by Rognes in 1992 in connection with stable buildings. In this article, we prove that the common basis complex is homotopy equivalent to the proper part of the poset of partial direct sum decompositions of $V$. Moreover, we establish this result in a more general combinatorial context, including the case of free groups, matroids, vector spaces with non-degenerate sesquilinear forms, and free modules over commutative Hermite rings, such as local rings or Dedekind domains.
A Random-Player Game and Derangement Numbers
Consider the following game between a random player R and a deterministic player D. There is a pile of n elements at the beginning. The rules for playing are as follows: In each turn of R, if the pile contains exactly m elements, R removes k elements from the pile, where k is independently identically distributed from {1, . . . , m}. In each turn of D, D removes only one element. The winner is the player that, at the end of its round, has no elements remaining. R starts first to play. This short paper shows that Dn, which is defined as the probability of D winning the game (when is initialized with n elements), approaches 1/e when n increases; and more specifically, Dn = dn/n!, where dn is the n-th derangement number.
Chromatic symmetric functions and polynomial invariants of trees
Published
• View Publication
• BIB
Stanley asked whether a tree is determined up to isomorphism by its chromatic symmetric function. We approach Stanley's problem by studying the relationship between the chromatic symmetric function and other invariants. First, we prove Crew's conjecture that the chromatic symmetric function of a tree determines its generalized degree sequence, which enumerates vertex subsets by cardinality and the numbers of internal and external edges. Second, we prove that the restriction of the generalized degree sequence to subtrees contains exactly the same information as the subtree polynomial, which enumerates subtrees by cardinality and number of leaves. Third, we construct arbitrarily large families of trees sharing the same subtree polynomial, proving and generalizing a conjecture of Eisenstat and Gordon.
Induced Minor Models. I. Structural Properties and Algorithmic Consequences
Published
• View Publication
• BIB
A graph $H$ is said to be an induced minor of a graph $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. Equivalently, $H$ is an induced minor of $G$ if there exists an induced minor model of $H$ in $G$, that is, a collection of pairwise disjoint subsets of vertices of $G$ labeled by the vertices of $H$, each inducing a connected subgraph in $G$, such that two vertices of $H$ are adjacent if and only if there is an edge in $G$ between the corresponding subsets.
In this paper, we investigate structural properties of induced minor models, including bounds on treewidth and chromatic number of the subgraphs induced by minimal induced minor models. It is known that for some graphs $H$, testing whether a given graph $G$ contains $H$ as an induced minor is an NP-complete problem. Nevertheless, as algorithmic applications of our structural results, we make use of recent developments regarding tree-independence number to show that if $H$ is the $4$-wheel, the $5$-vertex complete graph minus an edge, or a complete bipartite graph $K_{2,q}$, then there is a polynomial-time algorithm to find in a given graph $G$ an induced minor model of $H$ in $G$, if there is one. We also develop an alternative polynomial-time algorithm for recognizing graphs that do not contain $K_{2,3}$ as an induced minor, which revolves around the idea of detecting the induced subgraphs whose presence is forced when the input graph contains $K_{2,3}$ as an induced minor, using the so-called shortest path detector. It turns out that all these induced subgraphs are Truemper configurations.
Induced saturation for complete bipartite posets
Published
• View Publication
• BIB
Given $s,t\in\mathbb{N}$, a complete bipartite poset $\mathcal{K}_{s,t}$ is a poset whose Hasse diagram consists of $s$ pairwise incomparable vertices in the upper layer and $t$ pairwise incomparable vertices in the lower layer, such that every vertex in the upper layer is larger than all vertices in the lower layer. A family $\mathcal{F}\subseteq2^{[n]}$ is called induced $\mathcal{K}_{s,t}$-saturated if $(\mathcal{F},\subseteq)$ contains no induced copy of $\mathcal{K}_{s,t}$, whereas adding any set from $2^{[n]}\backslash\mathcal{F}$ to $\mathcal{F}$ creates an induced $\mathcal{K}_{s,t}$. Let $\mathrm{sat}^{*}(n,\mathcal{K}_{s,t})$ denote the smallest size of an induced $\mathcal{K}_{s,t}$-saturated family $\mathcal{F}\subseteq2^{[n]}$. It was conjectured that $\mathrm{sat}^{*}(n,\mathcal{K}_{s,t})$ is superlinear in $n$ for certain values of $s$ and $t$. In this paper, we show that $\mathrm{sat}^{*}(n,\mathcal{K}_{s,t})=O(n)$ for all fixed $s,t\in\mathbb{N}$. Moreover, we prove a linear lower bound on $\mathrm{sat}^{*}(n,\mathcal{P})$ for a large class of posets $\mathcal{P}$, particularly for $\mathcal{K}_{s,2}$ with $s\in\mathbb{N}$.
Finding product sets in some classes of amenable groups
Published in Forum of Mathematics, Sigma 13 (2025) e10
• View Publication
• BIB
In 2022, using methods from ergodic theory, Kra, Moreira, Richter, and Robertson resolved a longstanding conjecture of Erdős about sumsets in large subsets of the natural numbers. In this paper, we extend this result to several important classes of amenable groups, including all finitely generated virtually nilpotent groups, and all abelian groups $(G,+)$ with the property that the subgroup $2G := \{g+g : g\in G\}$ has finite index. We prove that in any group $G$ from the above classes, any $A\subset G$ with positive upper Banach density contains a shifted product set of the form $\{tb_ib_j\colon i<j\}$, for some infinite sequence $(b_n)_{n\in\mathbb{N}}$ and some $t\in G$. In fact, we show this result for all amenable groups that posses a property which we call square absolute continuity. Our results provide answers to several questions and conjectures posed in a recent survey of Kra, Moreira, Richter and Robertson.
Mad families of Gowers' infinite block sequences
Call a subset of $\mathbf{FIN}_k$ small if it does not contain a copy of $\langle{A\rangle}$ for some infinite block sequence $A \in \mathbf{FIN}_k^{[\infty]}$. Gowers' $\mathbf{FIN}_k$ theorem asserts that the set of small subsets of $\mathbf{FIN}_k$ forms an ideal, so it is sensible to consider almost disjoint families of $\mathbf{FIN}_k$ with respect to the ideal of small subsets of $\mathbf{FIN}_k$. We shall show that $\mathfrak{a}_{\mathbf{FIN}_k}$, the smallest possible cardinality of an infinite mad family of $\mathbf{FIN}_k$, is uncountable.
Hamiltonicity of Sparse Pseudorandom Graphs
Published in Combinator. Probab. Comp. 34 (2025) 596-620
• View Publication
• BIB
We show that every $(n,d,λ)$-graph contains a Hamilton cycle for sufficiently large $n$, assuming that $d\geq \log^{6}n$ and $λ\leq cd$, where $c=\frac{1}{70000}$. This significantly improves a recent result of Glock, Correia and Sudakov, who obtained a similar result for $d$ that grows polynomially with $n$. The proof is based on a new result regarding the second largest eigenvalue of the adjacency matrix of a subgraph induced by a random subset of vertices, combined with a recent result on connecting designated pairs of vertices by vertex-disjoint paths in $(n,d,λ)$-graphs. We believe that the former result is of independent interest and will have further applications.
Canonical labelling of Latin squares in average-case polynomial time
Published
• View Publication
• BIB
A Latin square of order $n$ is an $n\times n$ matrix in which each row and column contains each of $n$ symbols exactly once. For $ε>0$, we show that with high probability a uniformly random Latin square of order $n$ has no proper subsquare of order larger than $n^{1/2}\log^{1/2+ε}n$. Using this fact we present a canonical labelling algorithm for Latin squares of order $n$ that runs in average time bounded by a polynomial in $n$.
The algorithm can be used to solve isomorphism problems for many combinatorial objects that can be encoded using Latin squares, including quasigroups, Steiner triple systems, Mendelsohn triple systems, $1$-factorisations, nets, affine planes and projective planes.
Toward Grünbaum's Conjecture
Given a spanning tree $T$ of a planar graph $G$, the co-tree of $T$ is the spanning tree of the dual graph $G^*$ with edge set $(E(G)-E(T))^*$. Grünbaum conjectured in 1970 that every planar 3-connected graph $G$ contains a spanning tree $T$ such that both $T$ and its co-tree have maximum degree at most 3.
While Grünbaum's conjecture remains open, Biedl proved that there is a spanning tree $T$ such that $T$ and its co-tree have maximum degree at most 5. By using new structural insights into Schnyder woods, we prove that there is a spanning tree $T$ such that $T$ and its co-tree have maximum degree at most 4.
Introducing q-deformed binomial coefficients of words
Published
• View Publication
• BIB
Gaussian binomial coefficients are q-analogues of the binomial coefficients of integers. On the other hand, binomial coefficients have been extended to finite words, i.e., elements of the finitely generated free monoids. In this paper we bring together these two notions by introducing q-analogues of binomial coefficients of words. We study their basic properties, e.g., by extending classical formulas such as the q-Vandermonde and Manvel's et al. identities to our setting. As a consequence, we get information about the structure of the considered words: these q-deformations of binomial coefficients of words contain much richer information than the original coefficients. From an algebraic perspective, we introduce a q-shuffle and a family q-infiltration products for non-commutative formal power series. Finally, we apply our results to generalize a theorem of Eilenberg characterizing so-called p-group languages. We show that a language is of this type if and only if it is a Boolean combination of specific languages defined through q-binomial coefficients seen as polynomials over $\mathbb{F}_p$.
Maximal cliques in the graph of $5$-ary simplex codes of dimension two
We consider the induced subgraph of the corresponding Grassmann graph formed by $q$-ary simplex codes of dimension $2$, $q\ge 5$. This graph contains precisely two types of maximal cliques. If $q=5$, then for any two maximal cliques of the same type there is a monomial linear automorphism transferring one of them to the other. Examples concerning the cases $q=7,11$ finish the note.
0-1 laws for pattern occurrences in phylogenetic trees and networks
Published in Bull. Math. Biol. 86, 94 (2024)
• View Publication
• BIB
In a recent paper, the question of determining the fraction of binary trees that contain a fixed pattern known as the snowflake was posed. We show that this fraction goes to 1, providing two very different proofs: a purely combinatorial one that is quantitative and specific to this problem; and a proof using branching process techniques that is less explicit, but also much more general, as it applies to any fixed patterns and can be extended to other trees and networks. In particular, it follows immediately from our second proof that the fraction of $d$-ary trees (resp. level-$k$ networks) that contain a fixed $d$-ary tree (resp. level-$k$ network) tends to $1$ as the number of leaves grows.
Visibility in Hypercubes
Published
• View Publication
• BIB
A subset $M$ of vertices in a graph $G$ is a mutual-visibility set if any two vertices $u$ and $v$ in $M$ ``see'' each other in $G$, that is, there exists a shortest $u,v$-path in $G$ that contains no elements of $M$ as internal vertices. The mutual-visibility number $μ(G)$ of a graph $G$ is the largest size of a mutual-visibility set in $G$. Let $n\in\mathbb{N}$ and $Q_{n}$ be an $n$-dimensional hypercube. Cicerone, Fonso, Di Stefano, Navarra, and Piselli showed that $2^{n}/\sqrt{n}\leqμ(Q_{n})\leq2^{n-1}$. In this paper, we prove that $μ(Q_{n})>0.186\cdot2^n$ and thus establish that $μ(Q_{n})=Θ(2^{n})$.
We also consider the chromatic mutual-visibility number, $χ_μ(G)$, that is the smallest number of colors used on vertices of $G$, such that every color class is a mutual-visibility set. Klavžar, Kuziak, Valenzuela-Tripodoro, and Yero asked whether it is true that $χ_μ(Q_{n})=O(1)$. We answer their question in the negative by showing that $ω(1)=χ_μ(Q_{n})=O(\log\log{n})$.
Finally, we study the so-called total mutual-visibility number of graphs and give asymptotically tight bounds on this parameter for hypercubes.