Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Free resolution of the logarithmic derivation modules of close to free arrangements
Published
• View Publication
• BIB
This paper studies the algebraic structure of a new class of hyperplane arrangement $A$ obtained by deleting two hyperplanes from a free arrangement. We provide information on the minimal free resolutions of the logarithmic derivation module of $A$, which can be used to compute a lower bound for the graded Betti numbers of the resolution.
Specifically, for the three-dimensional case, we determine the minimal free resolution of the logarithmic derivation module of $A$. We present illustrative examples of our main theorems to provide insights into the relationship between algebraic and combinatorial properties for close-to-free arrangements.
Predators and altruists arriving on jammed Riviera
The Riviera model is a combinatorial model for a settlement along a coastline, introduced recently by the authors. Of most interest are the so-called jammed states, where no more houses can be built without violating the condition that every house needs to have free space to at least one of its sides. In this paper, we introduce new agents (predators and altruists) that want to build houses once the settlement is already in the jammed state. Their behavior is governed by a different set of rules, and this allows them to build new houses even though the settlement is jammed. Our main focus is to detect jammed configurations that are resistant to predators, to altruists, and to both predators and altruists. We provide bivariate generating functions, and complexity functions (configurational entropies) for such jammed configurations. We also discuss this problem in the two-dimensional setting of a combinatorial settlement planning model that was also recently introduced by the authors, and of which the Riviera model is just a special case.
On the Girth of Graph Lifts
The size of the smallest $k$-regular graph of girth at least $g$ is denoted by the well-studied function $n(k,g)$. We introduce an analogous function $n(H,g)$, defined as the smallest size graph of girth at least $g$ that is a lift (or cover) of the, possibly non-regular, graph $H$. We prove that the two main combinatorial bounds on $n(k,g)$ -- the Moore lower bound and the Erdös-Sachs upper bound -- carry over to the new lift setting.
We also consider two other functions: i) The smallest size graph of girth at least $g$ sharing a universal cover with $H$. We prove that it is the same as $n(H,g)$ up to a multiplicative constant. ii) The smallest size graph of girth least $g$ with a prescribed degree distribution. We discuss this known generalization and argue that the new suggested definitions are superior.
We conclude with experimental results for a specific base graph, followed by conjectures and open problems for future research.
The weak categorical quiver minor theorem and its applications: matchings, multipaths, and magnitude cohomology
Building upon previous works of Proudfoot and Ramos, and using the categorical framework of Sam and Snowden, we extend the weak categorical minor theorem from undirected graphs to quivers. As case of study, we investigate the consequences on the homology of multipath complexes; eg. on its torsion. Further, we prove a comparison result: we show that, when restricted to directed graphs without oriented cycles, multipath complexes and matching complexes yield functors which commute up to a blow-up operation on directed graphs. We use this fact to compute the homotopy type of matching complexes for a certain class of bipartite graphs also known as half-graphs or ladders. We complement the work with a study of the (representation) category of cones, and with analysing related consequences on magnitude cohomology of quivers.
On the Ramsey number of the double star
The double star $S(m_1,m_2)$ is obtained from joining the centres of a star with $m_1$ leaves and a star with $m_2$ leaves. We give a short proof of a new upper bound on the two-colour Ramsey number of $S(m_1,m_2)$, for positive $m_1,m_2$ fulfilling $(\sqrt 5+1)m_2/2 < m_1 < 3m_2$. Our result implies that for all positive $m$, the Ramsey number of the double star $S(2m,m)$ is at most $4.275m$.
Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth
Published in Journal of Graph Theory 110 (3), 2025, 351-365
• View Publication
• BIB
We present and study the following conjecture: for an integer $t\geq 4$ and a graph $H$, every even-hole-free graph of large enough treewidth has an induced subgraph isomorphic to either $K_t$ or $H$, if (and only if) $H$ is a $K_4$-free chordal graph. The ``only if'' part follows from the properties of the so-called layered wheels due to Sintiari and Trotignon.
Alecu, Chudnovsky, Spirkl and the author recently proved the conjecture in two special cases: (a) when $t=4$; and (b) when $H=cone (F)$ for some forest $F$; that is, $H$ is obtained from $F$ by adding a universal vertex. Our first result is a common strengthening: for an integer $t\geq 4$ and graphs $F$ and $H$, (even-hole, $cone(cone (F))$, $H$, $K_t$)-free graphs have bounded treewidth if and only if $F$ is a forest and $H$ is a $K_4$-free chordal graph.
Also, for general $t\geq 4$, we push the current state of the art further than (b) by settling the conjecture for the smallest choices of $H$ that are not coned forests. This follows from our second result: we prove the conjecture when $H$ is a crystal; that is, a graph obtained from several coned double stars by gluing them together along the middle edges of the double stars.
In the first version of this paper, we suggested a strengthening of our main conjecture, that for every $t\geq 1$, every graph of sufficiently large treewidth has an induced subgraph of treewidth $t$ which is either complete, complete bipartite, or $2$-degenerate. This strengthening has now been refuted by Chudnovsky and Trotignon [On treewidth and maximum cliques, arXiv:2405.07471, 2024].
List Packing and Correspondence Packing of Planar Graphs
Published in Journal of Graph Theory. Vol. 109(3), July 2025, pp. 339-352
• View Publication
• BIB
For a graph $G$ and a list assignment $L$ with $|L(v)|=k$ for all $v$, an $L$-packing consists of $L$-colorings $\varphi_1,\cdots,\varphi_k$ such that $\varphi_i(v)\ne\varphi_j(v)$ for all $v$ and all distinct $i,j\in\{1,\ldots,k\}$. Let $χ^{\star}_{\ell}(G)$ denote the smallest $k$ such that $G$ has an $L$-packing for every $L$ with $|L(v)|=k$ for all $v$. Let $\mathcal{P}_k$ denote the set of all planar graphs with girth at least $k$. We show that (i) $χ^{\star}_{\ell}(G)\le 8$ for all $G\in \mathcal{P}_3$ and (ii) $χ^{\star}_{\ell}(G)\le 5$ for all $G\in \mathcal{P}_4$ and (iii) $χ^{\star}_{\ell}(G)\le 4$ for all $G\in \mathcal{P}_5$. Part (i) makes progress on a problem of Cambie, Cames van Batenburg, Davies, and Kang. We also construct outerplanar graphs $G$ such that $χ^{\star}_{\ell}(G)=4$, which matches the known upper bound $χ^{\star}_{\ell}(G)\le 4$ for all outerplanar graphs. Finally, we consider the analogue of $χ^{\star}_{\ell}$ for correspondence coloring, $χ^{\star}_c$. In fact, all bounds stated above for $χ^{\star}_{\ell}$ also hold for $χ^{\star}_c$.
Flip Graphs on Self-Complementary Ideals of Chain Products
In this paper, we introduce a flip operation on self-complementary ideals of chain product posets and study the resulting flip graphs. We give asymptotics for the number of vertices in these graphs, compute their diameters, and give bounds for their radii. We also define similar flip operations on self-complementary ideals of the chain product $[2r]\times [2r]\times [2r]$ satisfying additional symmetries, and we achieve similar results for the resulting flip graphs.
Quota Trees
We introduce the notion of quota trees in directed graphs. Given a nonnegative integer ``quota'' for each vertex of a directed multigraph $G$, a quota tree is an immersed rooted tree which hits each vertex of $G$ the prescribed number of times. When the quotas are all one, the tree is actually embedded and we recover the usual notion of a spanning arborescence (directed spanning tree). The usual algorithms which produce spanning arborescences with various properties typically have (sometimes more complicated) ``quota'' analogues.
Our original motivation for studying quota trees was the problem of characterizing the sizes of the Myhill-Nerode equivalence classes in a connected deterministic finite-state automaton recognizing a given regular language. We show that the obstruction to realizing a given set of M-N class sizes is precisely the existence of a suitable quota tree.
In this paper we develop the basic theory of quota trees. We give necessary and sufficient conditions for the existence of a quota tree (or forest) over a given directed graph with specified quotas, solving the M-N class size problem as a special case. We discuss some potential applications of quota trees and forests, and connect them to the $k$ lightest paths problem. We give two proofs of the main theorem: one based on an algorithmic loop invariant, and one based on direct enumeration of quota trees. For the latter, we use Lagrange inversion to derive a formula which vastly generalizes both the matrix-tree theorem and Cayley's formula for counting labeled trees. We give an efficient algorithm to sample uniformly from the set of forests with given quotas, as well as a generalization of Edmonds' algorithm for computing a minimum-weight quota forest.
On the 2D Yang-Mills/Hurwitz Correspondence
In this paper, we show that in the large $N$ limit two-dimensional Yang-Mills theory with $U(N)$ gauge group becomes mixed Hurwitz theory, in the sense that the $1/N$ expansion of the chiral partition function receives contributions from both classical and monotone Hurwitz theory for all but finitely many compact orientable spacetimes.
An algorithm for estimating the crossing number of dense graphs, and continuous analogs of the crossing and rectilinear crossing numbers
Published
• View Publication
• BIB
We present a deterministic $n^{2+o(1)}$-time algorithm that approximates the crossing number of any graph $G$ of order $n$ up to an additive error of $o(n^4)$. We also provide a randomized polynomial-time algorithm that constructs a drawing of $G$ with $\text{cr}(G)+o(n^4)$ crossings. These results yield a $1+o(1)$ approximation algorithm for the crossing number of dense graphs. Our work complements a paper of Fox, Pach and Súk, who obtained similar results for the rectilinear crossing number.
The results of Fox, Pach and Súk and in this paper imply that the (normalized) crossing and rectilinear crossing numbers are estimable parameters. Motivated by this, we introduce two graphon parameters, the \textit{crossing density} and the \textit{rectilinear crossing density}, and we prove that, in a precise sense, these are the correct continuous analogs of the crossing and rectilinear crossing numbers of graphs.
On the $δ$-chromatic numbers of the Cartesian products of graphs
Published
• View Publication
• BIB
In this work, we study the $δ$-chromatic number of a graph which is the chromatic number of the $δ$-complement of a graph. We give a structure of the $δ$-complements and sharp bounds on the $δ$-chromatic numbers of the Cartesian products of graphs. Furthermore, we compute the $δ$-chromatic numbers of various classes of Cartesian product graphs, including the Cartesian products between cycles, paths, and stars.
On metric dimension of cube of trees
Let $G=(V,E)$ be a connected graph and $d_{G}(u,v)$ be the shortest distance between the vertices $u$ and $v$ in $G$. A set $S=\{s_{1},s_{2},\cdots,s_{n}\}\subset V(G)$ is said to be a {\em resolving set} if for all distinct vertices $u,v$ of $G$, there exist an element $s\in S$ such that $d(s,u)\neq d(s,v)$. The minimum cardinality of a resolving set for a graph $G$ is called the {\em metric dimension} of $G$ and it is denoted by $β{(G)}$. A resolving set having $β{(G)}$ number of vertices is named as {\em metric basis} of $G$. The metric dimension problem is to find a metric basis in a graph $G$, and it has several real-life applications in network theory, telecommunication, image processing, pattern recognition, and many other fields. In this article, we consider {\em cube of trees} $T^{3}=(V, E)$, where any two vertices $u,v$ are adjacent if and only if the distance between them is less than equal to three in $T$. We establish the necessary and sufficient conditions of a vertex subset of $V$ to become a resolving set for $T^{3}$. This helps determine the tight bounds (upper and lower) for the metric dimension of $T^{3}$. Then, for certain well-known cubes of trees, such as caterpillars, lobsters, spiders, and $d$-regular trees, we establish the boundaries of the metric dimension. Further, we characterize some restricted families of cube of trees satisfying $β{(T^{3})}=β{(T)}$. We provide a construction showing the existence of a cube of tree attaining every positive integer value as their metric dimension.
Domination Polynomial of the Rook Graph
Published in Journal of Integer Sequences 27 (2024), Article 24.3.7
• Search Publication
A placement of chess pieces on a chessboard is called dominating, if each free square of the chessboard is under attack by at least one piece. In this contribution we compute the number of dominating arrangements of $k$ rooks on an $n\times m$ chessboard. To this end we derive an expression for the corresponding generating function, the domination polynomial of the $n\times m$ rook graph.
A Note on Matching Variables to Equations
We showed with J. P. Gollin that if a (possibly infinite) homogeneous linear equation system has only the trivial solution, then there exists an injective function from the variables to the equations such that each variable appears with non-zero coefficient in its image. Shortly after, a more elementary proof was found by Aharoni and Guo. In this note we present a very short matroid-theoretic proof of this theorem.
Approximate generalized Steiner systems and near-optimal constant weight codes
Published
• View Publication
• BIB
Constant weight codes (CWCs) and constant composition codes (CCCs) are two important classes of codes that have been studied extensively in both combinatorics and coding theory for nearly sixty years. In this paper we show that for {\it all} fixed odd distances, there exist near-optimal CWCs and CCCs asymptotically achieving the classic Johnson-type upper bounds.
Let $A_q(n,w,d)$ denote the maximum size of $q$-ary CWCs of length $n$ with constant weight $w$ and minimum distance $d$. One of our main results shows that for {\it all} fixed $q,w$ and odd $d$, one has $\lim_{n\rightarrow\infty}\frac{A_q(n,d,w)}{\binom{n}{t}}=\frac{(q-1)^t}{\binom{w}{t}}$, where $t=\frac{2w-d+1}{2}$. This implies the existence of near-optimal generalized Steiner systems originally introduced by Etzion, and can be viewed as a counterpart of a celebrated result of Rödl on the existence of near-optimal Steiner systems. Note that prior to our work, very little is known about $A_q(n,w,d)$ for $q\ge 3$. A similar result is proved for the maximum size of CCCs.
We provide different proofs for our two main results, based on two strengthenings of the well-known Frankl-Rödl-Pippenger theorem on the existence of near-optimal matchings in hypergraphs: the first proof follows by Kahn's linear programming variation of the above theorem, and the second follows by the recent independent work of Delcour-Postle, and Glock-Joos-Kim-Kühn-Lichev on the existence of near-optimal matchings avoiding certain forbidden configurations.
We also present several intriguing open questions for future research.
Sequential choice functions and stability problems
Published
• View Publication
• BIB
The concept of sequential choice functions is introduced and studied. This concept applies to the reduction of the problem of stable matchings with sequential workers to a situation where the workers are linear.
A note on a flip-connected class of generalized domino tilings of the box $[0,2]^n$
Published
• View Publication
• BIB
Let $n,d\in \mathbb{N}$ and $n>d$. An $(n-d)$-domino is a box $I_1\times \cdots \times I_n$ such that $I_j\in \{[0,1],[1,2]\}$ for all $j\in N\subset [n]$ with $|N|=d$ and $I_i=[0,2]$ for every $i\in [n]\setminus N$. If $A$ and $B$ are two $(n-d)$-dominoes such that $A\cup B$ is an $(n-(d-1))$-domino, then $A,B$ is called a twin pair. If $C,D$ are two $(n-d)$-dominoes which form a twin pair such that $A\cup B=C\cup D$ and $\{C,D\}\neq \{A,B\}$, then the pair $C,D$ is called a flip of $A,B$. A family $\mathscr{D}$ of $(n-d)$-dominoes is a tiling of the box $[0,2]^n$ if interiors of every two members of $\mathscr{D}$ are disjoint and $\bigcup_{B\in \mathscr{D}}B=[0,2]^n$. An $(n-d)$-domino tiling $\mathscr{D}'$ is obtained from an $(n-d)$-domino tiling $\mathscr{D}$ by a flip, if there is a twin pair $A,B\in \mathscr{D}$ such that $\mathscr{D}'=(\mathscr{D}\setminus \{A,B\})\cup \{C,D\}$, where $C,D$ is a flip of $A,B$. A family of $(n-d)$-domino tilings of the box $[0,2]^n$ is flip-connected, if for every two members $\mathscr{D},\mathscr{E}$ of this family the tiling $\mathscr{E}$ can be obtained from $\mathscr{D}$ by a sequence of flips. In the paper some flip-connected class of $(n-d)$-domino tilings of the box $[0,2]^n$ is described.
Improved bounds for the bracketing number of orthants or revisiting an algorithm of Thiémard to compute bounds for the star discrepancy
Published in Journal of Complexity, Volume 83, August 2024, 101855
• View Publication
• BIB
We improve the best known upper bound for the bracketing number of $d$-dimensional axis-parallel boxes anchored in $0$ (or, put differently, of lower left orthants intersected with the $d$-dimensional unit cube $[0,1]^d$). More precisely, we provide a better upper bound for the cardinality of an algorithmic bracketing cover construction due to Eric Thiémard, which forms the core of his algorithm to approximate the star discrepancy of arbitrary point sets from [E. Thiémard, An algorithm to compute bounds for the star discrepancy, J.~Complexity 17 (2001), 850 -- 880].
Moreover, the new upper bound for the bracketing number of anchored axis-parallel boxes yields an improved upper bound for the bracketing number of arbitrary axis-parallel boxes in $[0,1]^d$.
In our upper bounds all constants are fully explicit.
An infinite family of counterexamples to a conjecture on distance magic labeling
Published
• View Publication
• BIB
This work is about a partition problem which is an instance of the distance magic graph labeling problem. Given positive integers $n,k$ and $p_1\le p_2\le \cdots\le p_k$ such that $p_1+\cdots+p_k=n$ and $k$ divides $\sum_{i=1}^ni$, we study the problem of characterizing the cases where it is possible to find a partition of the set $\{1,2,\ldots,n\}$ into $k$ subsets of respective sizes $p_1,\dots,p_k$, such that the element sum in each subset is equal. Using a computerized search we found examples showing that the necessary condition, $\sum_{i=1}^{p_1+\cdots+p_j} (n-i+1)\ge j{\binom{n+1}{2}}/k$ for all $j=1,\ldots,k$, is not generally sufficient, refuting a past conjecture. Moreover, we show that there are infinitely many such counter-examples. The question whether there is a simple characterization is left open and for all we know the corresponding decision problem might be NP-complete.