Showing 20 papers (Total: 83400 papers, 48159 authors in database)
Tiling randomly perturbed multipartite graphs
Published
• View Publication
• BIB
A perfect $K_r$-tiling in a graph $G$ is a collection of vertex-disjoint copies of the graph $K_r$ in $G$ that covers all vertices of $G$. In this paper, we prove that the threshold for the existence of a perfect $K_{r}$-tiling of a randomly perturbed balanced $r$-partite graph on $rn$ vertices is $n^{-2/r}$. This result is a multipartite analog of a theorem of Balogh, Treglown, and Wagner and extends our previous result, which was limited to the bipartite setting.
Shellability of the quotient order on lattice path matroids
The concept of a matroid quotient has connections to fundamental questions in the geometry of flag varieties. In previous work, Benedetti and Knauer characterized quotients in the class of lattice path matroids (LPMs) in terms of a simple combinatorial condition. As a consequence, they showed that the quotient order on LPMs yields a graded poset whose rank polynomial relates to a refinement of the Catalan numbers. In this work we show that this poset admits an EL-labeling, implying that the order complex is shellable and hence enjoys several combinatorial and topological properties. We use this to establish bounds on the Möbius function of the poset, interpreting falling chains in the EL-labeling in terms of properties of underlying permutations. Furthermore, we show that this EL-labeling is in fact a Whitney labeling, in the sense of the recent notion introduced by González D'León and Hallam.
Hanf numbers for poset games
Given two well partial orders $(P;\leq_P)$ and $(T;\leq_T)$, each with a minimum element, we study the following question: which player has a winning strategy for Chomp on the poset $(P\times T;\leq_{P\times T})$? Here, $(P\times T;\leq_{P\times T})$ denotes the poset obtained as the Cartesian product of $P$ and $T$, equipped with the corresponding lexicographic order. The answer to this very natural question depends strongly on the specific choice of $(P;\leq_P)$ and $(T;\leq_T)$. For this reason, we restrict our attention to classes of posets given by powers of a fixed poset: $\{(P^σ;\leq_{P^σ})\mid σ\in\mathrm{Ord}\}$. A fundamental fact about these classes of structures is that, if the second player does not have a winning strategy for all the posets in $\{(P^σ;\leq_{P^σ})\mid σ\in\mathrm{Ord}\}$, there exists an ordinal $ξ$ such that the second player has a winning strategy on $(P^ξ;\leq_{P^ξ})$ but not on $(P^γ;\leq_{P^γ})$ for all $γ\geqξ+1$. Determining the corresponding ordinal for this Hanf number-style property constitutes the main objective of this work.
Inspired by results of García-Marco and Knauer, we focus on classes of posets with a purely algebraic definition. These posets arise from submonoids (with respect to the natural sum, or Hessenberg sum) of ordinals of the form $ω^σ$ and are generated by sets of ordinals. In the process, we provide a test to determine whether a finite set $Γ$ of ordinals indeed yields well partial orders, and, using set-theoretic techniques, we establish an upper bound for the ordinal $ξ$: if $Γ\subsetω$, then $ξ<ω_1$, and otherwise $ξ<|\bigcupΓ|^+$.
On the minimal length of addition chains
Published
• View Publication
• BIB
We denote by $\ell(n)$ the minimal length of an addition chain leading to $n$ and we define the counting function $$ F(m,r):=\#\left\{n\in[2^m, 2^{m+1}):\ell(n)\le m+r\right\}, $$ where $m$ is a positive integer and $r\ge 0$ is a real number. We show that for $0< c<\log 2$ and for any $\varepsilon>0$, we have as $m\to \infty$, $$ F\left(m,\frac{cm}{\log m}\right)<\exp\left(cm+\frac{\varepsilon m\log\log m}{\log m}\right) $$ and $$ F\left(m,\frac{cm}{\log m}\right)>\exp\left(cm-\frac{(1+\varepsilon)cm\log\log m}{\log m}\right). $$ This extends a result of Erdős which says that for almost all $n$, as $n\to\infty$, $$ \ell(n)=\frac{\log n}{\log 2}+\left(1+o(1)\right)\frac{\log n}{\log \log n}. $$
Projection cubes of symmetric designs
Published in Mathematics in Computer Science 19 (2025), article number 11
• View Publication
• BIB
We introduce a new type of $n$-dimensional generalization of symmetric $(v,k,λ)$ block designs. We prove upper bounds on the dimension $n$ in terms of $v$ and $k$. We also define the corresponding concept of $n$-dimensional difference sets, and extend some classic families of difference sets to higher dimensions. Complete classifications are performed for small parameters $(v,k,λ)$ and some interesting examples are presented.
Phase transitions of the Erdős-Gyárfás function
Given positive integers $p,q$. For any integer $k\ge2$, an edge coloring of the complete $k$-graph $K_n^{(k)}$ is said to be a $(p,q)$-coloring if every copy of $K_p^{(k)}$ receives at least $q$ colors. The Erdős-Gyárfás function $f_k(n,p,q)$ is the minimum number of colors that are needed for $K_n^{(k)}$ to have a $(p,q)$-coloring.
Conlon, Fox, Lee and Sudakov (\emph{IMRN, 2015}) conjectured that for any positive integers $p, k$ and $i$ with $k\ge3$ and $1\le i<k$, $f_k(n,p,{{p-i}\choose{k-i}})=(\log_{(i-1)}n)^{o(1)}$, where $\log_{(i)}n$ is an iterated $i$-fold logarithm in $n$. It has been verified to be true for $k=3, p=4, i=1$ by Conlon et. al (\emph{IMRN, 2015}), for $k=3, p=5, i=2$ by Mubayi (\emph{JGT, 2016}), and for all $k\ge 4, p=k+1,i=1$ by B. Janzer and O. Janzer (\emph{JCTB, 2024}). In this paper, we give new constructions and show that this conjecture holds for infinitely many new cases, i.e., it holds for all $k\ge4$, $p=k+2$ and $i=k-1$.
Integrability of Combinatorial Riemann Boundary Value Problem and Lattice Walks Avoiding a Quadrant
We introduce a general framework of matrix-form combinatorial Riemann boundary value problem (cRBVP) to characterize the integrability of functional equations arising in lattice walk enumerations. A matrix cRBVP is defined as integrable if it can be reduced to enough polynomial equations with one catalytic variable. Our central results establish that the integrability depends on the eigenspace of some matrix associated to the problem. For lattice walks in three quadrants, we demonstrate how the obstinate kernel method transforms a discrete difference equation into a $3\times 3$ matrix cRBVP. The special double-roots eigenvalue $1/4$ yields two independent polynomial equations in the problem. The other single-root eigenvalue yields a linear equation. We obtain three independent equations from a $3\times 3$ system. Crucially, our framework generalizes three-quadrant walks with Weyl symmetry to models satisfying only orbit-sum conditions. It explains many criteria about the orbit-sum proposed by various researchers and it also explains the counter-example of lattice walks starting outside the quadrant.
Characterization of $P_3$-connected graphs
For any pair of edges $e,f$ of a graph $G$, we say that {\em $e,f$ are $P_3$-connected in $G$} if there exists a sequence of edges $e=e_0,e_1,\ldots, e_k=f$ such that $e_i$ and $e_{i+1}$ are two edges of an induced $3$-vertex path in $G$ for every $0\leq i\leq k-1$. If every pair of edges of $G$ are $P_3$-connected in $G$, then $G$ is {\em $P_3$-connected}. $P_3$-connectivity was first defined by Chudnovsky et al. in 2024 to prove that every connected graph not containing $P_5$ as an induced subgraph has cop number at most two. In this paper, we give a characterization of $P_3$-connected graphs and prove that a simple graph is $P_3$-connected if and only if it is connected and has no homogeneous set whose induced subgraph contains an edge.
Graph product and the stability of circulant graphs
A graph $Γ$ is said to be stable if $\mathrm{Aut}(Γ\times K_2)\cong\mathrm{Aut}(Γ)\times \mathbb{Z}_{2}$ and unstable otherwise. If an unstable graph is connected, non-bipartite and any two of its distinct vertices have different neighbourhoods, then it is called nontrivially unstable. We establish conditions guaranteeing the instability of various graph products, including direct products, direct product bundles, Cartesian products, strong products, semi-strong products, and lexicographic products. Inspired by a condition for the instability of direct product bundles, we propose a new sufficient condition for circulant graphs to be unstable and refine existing instability conditions from the literature. Based on these results, we categorize unstable circulant graphs into two distinct types and further propose a classification framework.
On free line arrangements with double, triple and quadruple points
Published
• View Publication
• BIB
We show that there are only finitely many combinatorial types of free real line arrangements with only double, triple and quadruple intersection points, and we enlist all admissible weak-combinatorics of them. Then we classify all real $M$-line arrangements. In particular, we show that real $M$-line arrangements are simplicial.
Improvement Ergodic Theory For The Infinite Word $\mathfrak{F}=\mathfrak{F}_{b}:=\left({ }_{b} f_{n}\right)_{n \geqslant 0}$ on Fibonacci Density
The paper explores combinatorial properties of Fibonacci words and their generalizations within the framework of combinatorics on words. These infinite sequences, measures the diversity of subwords in Fibonacci words, showing non-decreasing growth for infinite sequences. Extends factor analysis to arithmetic progressions of symbols, highlighting generalized pattern distributions. Recent results link Sturmian sequences (including Fibonacci words) to unbounded binomial complexity and gap inequivalence, with implications for formal language theory and automata. This work underscores the interplay between substitution rules, algebraic number theory, and combinatorial complexity in infinite words, providing tools for applications in fractal geometry and theoretical computer science.
A Method for Generating Connected Erdos-Renyi Random Graphs
Published
• View Publication
• BIB
We propose a novel exact algorithm for generating connected Erdos-Renyi random graphs $G(n,p)$. The method couples the graph exploration process to an inhomogeneous Poisson random walk, which yields an exact sampler that runs in $O(n)$ time in the sparse regime $p=c/n$. We also show how the method extends to the $G(n,M)$ model via an additional acceptance-rejection step.
Totally equimodular matrices: decomposition and triangulation
Published
• View Publication
• BIB
Totally equimodular matrices generalize totally unimodular matrices and arise in the context of box-total dual integral polyhedra. This work further explores the parallels between these two classes and introduces foundational building blocks for constructing totally equimodular matrices. Consequently, we present a decomposition theorem for totally equimodular matrices of full row rank.
Building on this decomposition theorem, we prove that simplicial cones whose generators form the rows of a totally equimodular matrix sa\-tisfy strong integrality decomposition properties. More precisely, we provide the Hilbert basis for these cones and construct regular unimodular Hilbert triangulations in most cases. We conjecture that cases not covered here do not exist.
A note on the Björner--Kalai theorem
In 1988, Björner and Kalai used combinatorial shadow functions to characterize the maximal Betti sequence for a given $f$-vector and the minimal $f$-vector for a given Betti sequence. Their description of the maximal Betti sequence was expressed through a set of inequalities. In this paper, we introduce an error function $δ_k$ associated with the combinatorial shadow functions and use it to sharpen these inequalities into exact equalities. As a corollary, we obtain an equivalent form of Björner and Kalai's characterization of all possible pairs $(f,β)$ that can occur as the $f$-vector and Betti sequence of a simplicial complex. Moreover, combining our results with a previous result of Björner in 2011, we derive a new number-theoretic inequality concerning the count of odd square-free integers with a specified number of prime factors.
On walk domination: Between different types of walks and $m_3$-path
Given two non-adjacent vertices \( u \) and \( v \), we say a $uv$-walk \( W \) dominates a $uv$-walk \( W' \) if every internal vertex of \( W' \) is adjacent to some internal vertex of \( W \) or belongs to \( W \). A class of walks \(\mathbf{A}\) dominates a class of walks \(\mathbf{B}\) if for every pair of non-adjacent vertices $u,v$ in the graph, every $uv$-walk in \(\mathbf{A}\) dominates every $uv$-walk in \(\mathbf{B}\). This paper investigates the domination relationships among various types of walks connecting two non-adjacent vertices in a graph. In particular, we focus on the problem which is proposed in [S. B. Tondato, Graphs Combin. 40 (2024)]. We study the domination between different walk types (shortest paths, toll walks, weakly toll walks, $l_k$-paths for $k\in \left\{2,3\right\}$) and $m_3$-paths. And we show how these relationships give rise to characterizations of graph classes.
On the Lipschitz continuity of the Spherical Cap Discrepancy around generic point sets
Published
• View Publication
• BIB
The spherical cap discrepancy is a prominent measure of uniformity for sets on the d-dimensional sphere. It is particularly important for estimating the integration error for certain classes of functions on the sphere. Building on a recently proven explicit formula for the spherical discrepancy, we show as a main result of this paper that this discrepancy is Lipschitz continuous in a neighbourhood of so-called generic point sets (as they are typical outcomes of Monte-Carlo sampling). This property may have some impact (both algorithmically and theoretically for deriving necessary optimality conditions) on optimal quantization, i.e., on finding point sets of fixed size on the sphere having minimum spherical discrepancy.
Geometries with trialities arising from linear spaces
Published
• View Publication
• BIB
A triality is a sort of super-symmetry that exchanges the types of the elements of an incidence geometry in cycles of length three. Although geometries with trialities exhibit fascinating behaviors, their construction is challenging, making them rare in the literature. To understand trialities more deeply, it is crucial to have a wide variety of examples at hand. In this article, we introduce a general method for constructing various rank-three incidence systems with trialities. Specifically, for any rank two incidence system $Γ$, we define its triangle complex $Δ(Γ)$, a rank three incidence system whose elements consist of three copies of the flags (pairs of incident elements) of $Γ$. This triangle complex always admits a triality that cyclically permutes the three copies. We then explore in detail the properties of the triangle complex when $Γ$ is a linear space, including flag-transitivity, the existence of dualities, and connectivity properties. As a consequence of our work, this construction yields the first infinite family of thick, flag-transitive and residually connected geometries with trialities but no dualities.
$K_4^-$-free triple systems without large stars in the complement
The $n$-star $S_n$ is the $n$-vertex triple system with ${n-1 \choose 2}$ edges all of which contain a fixed vertex, and $K_4^-$ is the unique triple system with four vertices and three edges. We prove that the Ramsey number $r(K_4^-, S_n)$ has order of magnitude $n^2 /\log n$.
This confirms a conjecture of Conlon, Fox, He, Suk, Verstraëte and the first author. It also generalizes the well-known bound of Kim for the graph Ramsey number $r(3,n)$, as the link of any vertex in a $K_4^-$-free triple system is a triangle-free graph. Our method builds on the approach of Guo and Warnke who adapted Kim's lower bound for $r(3,n)$ to the pseudorandom setting.
Toric ideals of graphs minimally generated by a Gröbner basis
Published
• View Publication
• BIB
Describing families of ideals that are minimally generated by at least one, or by all, of their reduced Gröbner bases is a central topic in commutative algebra. In this paper, we address this problem in the context of toric ideals of graphs. We say that a graph $G$ is an MG-graph if its toric ideal $I_G$ is minimally generated by some Gröbner basis, and a UMG-graph if every reduced Gröbner basis of $I_G$ forms a minimal generating set. We prove that a graph $G$ is a UMG-graph if and only if its toric ideal $I_G$ is a generalized robust ideal (that is, its universal Gröbner basis coincides with its universal Markov basis). Although the class of MG-graphs is not closed under taking subgraphs, we prove that it is hereditary, that is, closed under taking induced subgraphs. In addition, we describe two families of bipartite MG-graphs: ring graphs (which correspond to complete intersection toric ideals, as shown by Gitler, Reyes, and Villarreal) and graphs in which all chordless cycles have the same length. The latter extends a result of Ohsugi and Hibi, which corresponds to graphs whose chordless cycles are all of length $4$.
The Density Finite Sums Theorem
Published
• View Publication
• BIB
For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$ for all $m\in\{1,\ldots,k\}$. This can be viewed as a density analog of Hindman's finite sums theorem. Our proof reveals the natural relationships among infinite sumsets, the dynamics underpinning arithmetic progressions, and homogeneous spaces of nilpotent Lie groups.