Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Induced subgraphs and tree decompositions XIII. Basic obstructions in $\mathcal{H}$-free graphs for finite $\mathcal{H}$
Published in Advances in Combinatorics 2024:6, 30pp
• View Publication
• BIB
Unlike minors, the induced subgraph obstructions to bounded treewidth come in a large variety, including, for every $t\geq 1$, the $t$-basic obstructions: the graphs $K_{t+1}$ and $K_{t,t}$, along with the subdivisions of the $t$-by-$t$ wall and their line graphs. But this list is far from complete. The simplest example of a ''non-basic'' obstruction is due to Pohoata and Davies (independently). For every $n \geq 1$, they construct certain graphs of treewidth $n$ and with no $3$-basic obstruction as an induced subgraph, which we call $n$-arrays. Let us say a graph class $\mathcal{G}$ is clean if the only obstructions to bounded treewidth in $\mathcal{G}$ are in fact the basic ones. It follows that a full description of the induced subgraph obstructions to bounded treewidth is equivalent to a characterization of all families $\mathcal{H}$ of graphs for which the class of all $\mathcal{H}$-free graphs is clean (a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to any graph in $\mathcal{H}$). This remains elusive, but there is an immediate necessary condition: if $\mathcal{H}$-free graphs are clean, then there are only finitely many integers $n\geq 1$ such that there is an $n$-array which is $\mathcal{H}$-free. The above necessary condition is not sufficient in general. However, the situation turns out to be different if $\mathcal{H}$ is finite: we prove that for every finite set $\mathcal{H}$ of graphs, the class of all $\mathcal{H}$-free graphs is clean if and only if there is no $\mathcal{H}$-free $n$-array except possibly for finitely many values of $n$.
On a radial projection conjecture and pinned directions in finite spaces
We give upper bounds on the number of exceptional radial projections of arbitrary subsets of vector spaces over finite fields. Our bounds do not depend on the dimension of the ambient space.
Let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over $\mathbb{F}_q$, let $k \in \{1,2,\ldots,d-1\}$, and let $E \subseteq \mathbb{F}_q^d$ be an arbitrary set of points. We prove two results. First, if $q^{k-1} < |E| \leq 100^{-1}q^{k}$, then the number of points $y$ such that the projection of $E$ from $y$ contains fewer than $50^{-1}|E|$ points is bounded above by $40q^k$. This establishes a conjecture of Lund, Pham, and Thu. Second, if $30q^{k} \leq |E| \leq q^{k+1}$, then the number of points $y$ such that the projection of $E$ from $y$ contains fewer than $M \leq 4^{-1}q^k$ points is bounded above by $300q^kM|E|^{-1}$. We also have an application to a pinned directions problem. Specifically, if $E\subset \mathbb{F}_q^d$ with $|E| > 30q^k$, then there is a point $y \in E$ such that the set of lines incident to $y$ and at least one other point of $E$ determines $q^k/4$ distinct slopes.
Orthogonal projections and incidence bounds in planes over prime order fields
Let $p$ be an odd prime and let $E\subset \mathbb{F}_p^2$ with $|E|=p^a$, where $0<a\le 1$. For a direction $V$ (a $1$-dimensional subspace of $\mathbb{F}_p^2$), let $π^V:\mathbb{F}_p^2\to \mathbb{F}_p^2/V$ denote the quotient map. We bound the size of the exceptional set of directions for which the projection $π^V(E)$ is small. More precisely, for $a/2\le s\le a$, define $$ T_s^{1,2}(E):=\{V\in G(1,\mathbb{F}_p^2):\ |π^V(E)|<p^s\}. $$ We prove $$ |T_s^{1,2}(E)|\ll \min\{\,p^{\frac52 s-a},\ p^{6s-3a},\ p^s\,\}, $$ which improves the best previously known estimates over prime fields in the range $a/2\le s<2a/3$, and yields the first substantial progress toward Chen's 2018 conjecture. The key new ingredient is a novel point-line incidence bound, of independent interest, that yields a power saving when the line set spans only moderately many distinct directions.
In the reverse direction, we also obtain an incidence estimate for Cartesian products $A\times B$ with line families $\{y=ax+b:\ a,b\in C\}$ with explicit dependence on the additive energy $E^+(C)$. We also discuss connections to the sum-set problem and the distinct dot-product values conjecture.
A Weighted-Graph Curvature Calculator and Whether the Discrete Curvature Senses the Smooth One
We investigate whether there is a relationship between the discrete Bakry-Émery curvature of a graph and the smooth curvature of an ambient surface into which the graph is embedded geodesically. As we used weighted graphs as test objects, we developed a program for the calculation of the discrete curvature and with the help of this calculator, we observed some indications of such a relationship.
An optimal chromatic bound for the class of $\{P_3\cup 2K_1,\overline{P_3\cup 2K_1}\}$-free graphs
Published
• View Publication
• BIB
In 1987, A. Gyárfás in his paper ``Problems from the world surrounding perfect graphs'' posed the problem of determining the smallest $χ$-binding function for $\mathcal{G}(F,\overline{F})$, when $\mathcal{G}(F)$ is $χ$-bounded. So far the problem has been attempted for only forest $F$ with four or five vertices. In this paper, we address the case when $F=P_3\cup 2K_1$ and show that if $G$ is a $\{P_3\cup 2K_1,\overline{P_3\cup 2K_1}\}$-free graph with $ω(G)\neq 3$, then it admits $ω(G)+1$ as a $χ$-binding function. Moreover, we also construct examples to show that this bound is tight for all values of $ω\neq 3$.
$K_2$-Hamiltonian Graphs: II
Published in J. Graph Theory. 2024; 105: 580-611
• View Publication
• BIB
In this paper we use theoretical and computational tools to continue our investigation of $K_2$-hamiltonian graphs, that is, graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, and their interplay with $K_1$-hamiltonian graphs, that is, graphs in which every vertex-deleted subgraph is hamiltonian. Perhaps surprisingly, there exist graphs that are both $K_1$- and $K_2$-hamiltonian, yet non-hamiltonian, for example, the Petersen graph. Grünbaum conjectured that every planar $K_1$-hamiltonian graph must itself be hamiltonian; Thomassen disproved this conjecture. Here we show that even planar graphs that are both $K_1$- and $K_2$-hamiltonian need not be hamiltonian, and that the number of such graphs grows at least exponentially. Motivated by results of Aldred, McKay, and Wormald, we determine for every integer $n$ that is not 14 or 17 whether there exists a $K_2$-hypohamiltonian, that is, non-hamiltonian and $K_2$-hamiltonian, graph of order $n$, and characterise all orders for which such cubic graphs and such snarks exist. We also describe the smallest cubic planar graph which is $K_2$-hypohamiltonian, as well as the smallest planar $K_2$-hypohamiltonian graph of girth $5$. We conclude with open problems and by correcting two inaccuracies from the first article.
Independent domination in the graph defined by two consecutive levels of the $n$-cube
Published in Discrete Applied Mathematics 357 (2024), 161-172
• View Publication
• BIB
Fix a positive integer $n$ and consider the bipartite graph whose vertices are the $3$-element subsets and the $2$-element subsets of $[n]=\{1,2,\dots,n\}$, and there is an edge between $A$ and $B$ if $A\subset B$. We prove that the domination number of this graph is $\binom{n}{2}-\lfloor\frac{(n+1)^2}{8}\rfloor$, we characterize the dominating sets of minimum size, and we observe that the minimum size dominating set can be chosen as an independent set. This is an exact version of an asymptotic result by Balogh, Katona, Linz and Tuza (2021). For the corresponding bipartite graph between the $(k+1)$-element subsets and the $k$-elements subsets of $[n]$ ($k\geq 3$), we provide a new construction for small independent dominating sets. This improves on a construction by Gerbner, Kezegh, Lemons, Palmer, Pálvölgyi and Patkós (2012), who studied these independent dominating sets under the name saturating flat antichains.
Characterizing positroid quotients of uniform matroids
Published
• View Publication
• BIB
We study two-step flag positroids $(P_1, P_2)$, where $P_1$ is a quotient of $P_{2}$. We provide a complete characterization of all two-step flag positroids that contain a uniform matroid, extending and completing a partial result by Benedetti, Chávez, and Jiménez. To contrast general positroids with the special case of lattice path matroids, we show that the containment relations of Grassmann necklaces and conecklaces fully characterize flag lattice path matroids, but are insufficient for general flag positroids. Additionally, we prove that the decorated permutations of any elementary quotient pair are related by a cyclic shift, resolving a conjecture of Benedetti, Chávez and Jiménez.
The classification of orthogonal arrays OA(2048,14,2,7) and some completely regular codes
Published in Discrete Math. 347(5) 2024, 113923(1-8)
• View Publication
• BIB
We describe the classification of orthogonal arrays OA$(2048,14,2,7)$, or, equivalently, completely regular $\{14;2\}$-codes in the $14$-cube ($30848$ equivalence classes). In particular, we find that there is exactly one almost-OA$(2048,14,2,7{+}1)$, up to equivalence. As derived objects, OA$(1024,13,2,6)$ ($202917$ classes) and completely regular $\{12,2;2,12\}$- and $\{14, 12, 2; 2, 12, 14\}$-codes in the $13$- and $14$-cubes, respectively, are also classified.
Keywords: binary orthogonal array, completely regular code, binary 1-perfect code.
Universality for graphs with bounded density
Published
• View Publication
• BIB
A graph $G$ is $\textit{universal}$ for a (finite) family $\mathcal{H}$ of graphs if every $H \in \mathcal{H}$ is a subgraph of $G$. For a given family $\mathcal{H}$, the goal is to determine the smallest number of edges an $\mathcal{H}$-universal graph can have. With the aim of unifying a number of recent results, we consider a family of graphs with bounded density. In particular, we construct a graph with $O_d\left( n^{2 - 1/(\lceil d \rceil + 1)} \right)$ edges which contains every $n$-vertex graph with density at most $d \in \mathbb{Q}$ ($d \ge 1$), which is close to a lower bound $Ω(n^{2 - 1/d - o(1)})$ obtained by counting lifts of a carefully chosen (small) graph. When restricting the maximum degree of such graphs to be constant, we obtain a near-optimal universality. If we further assume $d \in \mathbb{N}$, we get an asymptotically optimal construction.
Incidences with Pfaffian Curves and Functions
We introduce a new approach for studying incidences with non-algebraic curves in the plane. This approach is based on the concepts of Pfaffian curves and Pfaffian functions, as defined by Khovanskii. We derive incidence bounds for curves that are defined with exponentials, logarithms, trigonometric functions, integration, and more. Our bound for incidences with Pfaffian curves matches a classical bound of Pach and Sharir for incidences with algebraic curves, up to polylogarithmic factors.
Geometric Bruhat order on (0,1)-matrices
The combinatorially and the geometrically defined partial orders on the set of permutations coincide. We extend this result to $(0,1)$-matrices with fixed row and column sums. Namely, the Bruhat order induced by the geometry of a Cherkis bow variety of type A coincides with one of the two combinatorially defined Bruhat orders on the same set.
Standard monomial theory modulo Frobenius in characteristic two
Published
• View Publication
• BIB
Over a field of characteristic two, we develop a theory of standard monomials for polynomial rings modulo a Frobenius power of the maximal ideal generated by all variables. As a result, we obtain a filtration by modular GL_n-representations whose characters are given by particular truncated Schur polynomials, thus proving a conjecture by Gao--Raicu--VandeBogert in the characteristic two case.
Building Hamiltonian Cycles in the Semi-Random Graph Process in Less Than $2n$ Rounds
Published
• View Publication
• BIB
The semi-random graph process is an adaptive random graph process in which an online algorithm is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the algorithm independently and uniformly at random. The algorithm then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a given graph property, the objective of the algorithm is to force the graph to satisfy this property asymptotically almost surely in as few rounds as possible.
We focus on the property of Hamiltonicity. We present an adaptive strategy which creates a Hamiltonian cycle in $αn$ rounds, where $α< 1.81696$ is derived from the solution to a system of differential equations. We also show that achieving Hamiltonicity requires at least $βn$ rounds, where $β> 1.26575$.
Counterexamples to conjectures on the occupancy fraction of graphs
Published
• View Publication
• BIB
The occupancy fraction of a graph is a (normalized) measure on the size of independent sets under the hard-core model, depending on a variable (fugacity) $λ.$ We present a criterion for finding the graph with minimum occupancy fraction among graphs with a fixed order, and disprove five conjectures on the extremes of the occupancy fraction and (normalized) independence polynomial for certain graph classes of regular graphs with a given girth.
On degree-$3$ and $(n-4)$-correlation-immune perfect colorings of $n$-cubes
Published in Discrete Math. 347(10) 2024, 114138(1-14)
• View Publication
• BIB
A perfect $k$-coloring of the Boolean hypercube $Q_n$ is a function from the set of binary words of length $n$ onto a $k$-set of colors such that for any colors $i$ and $j$ every word of color $i$ has exactly $S(i,j)$ neighbors (at Hamming distance $1$) of color $j$, where the coefficient $S(i,j)$ depends only on $i$ and $j$ but not on the particular choice of the word. The $k$-by-$k$ table of all coefficients $S(i,j)$ is called the quotient matrix. We characterize perfect colorings of $Q_n$ of degree at most $3$, that is, with quotient matrix whose all eigenvalues are not less than $n-6$, or, equivalently, such that every color corresponds to a Boolean function represented by a polynomial of degree at most $3$ over $R$. Additionally, we characterize $(n-4)$-correlation-immune perfect colorings of $Q_n$, whose all colors correspond to $(n-4)$-correlation-immune Boolean functions, or, equivalently, all non-main (different from $n$) eigenvalues of the quotient matrix are not greater than $6-n$.
Keywords: perfect coloring, equitable partition, resilient function, correlation-immune function.
A near-optimal zero-free disk for the Ising model
Published
• View Publication
• BIB
The partition function of the Ising model of a graph $G=(V,E)$ is defined as $Z_{\text{Ising}}(G;b)=\sum_{σ:V\to \{0,1\}} b^{m(σ)}$, where $m(σ)$ denotes the number of edges $e=\{u,v\}$ such that $σ(u)=σ(v)$. We show that for any positive integer $Δ$ and any graph $G$ of maximum degree at most $Δ$, $Z_{\text{Ising}}(G;b)\neq 0$ for all $b\in \mathbb{C}$ satisfying $|\frac{b-1}{b+1}| \leq \frac{1-o_Δ(1)}{Δ-1}$ (where $o_Δ(1) \to 0$ as $Δ\to \infty$). This is optimal in the sense that $\tfrac{1-o_Δ(1)}{Δ-1}$ cannot be replaced by $\tfrac{c}{Δ-1}$ for any constant $c > 1$ subject to a complexity theoretic assumption.
To prove our result we use a standard reformulation of the partition function of the Ising model as the generating function of even sets. We establish a zero-free disk for this generating function inspired by techniques from statistical physics on partition functions of a polymer models. Our approach is quite general and we discuss extensions of it to a certain types of polymer models.
List-$k$-Coloring $H$-free graphs for all $k>4$
Published in Combinatorica 44 (2024). 1063-1068
• View Publication
• BIB
Given an integer $k>4$ and a graph $H$, we prove that, assuming P$\neq$NP, the List-$k$-Coloring Problem restricted to $H$-free graphs can be solved in polynomial time if and only if either every component of $H$ is a path on at most three vertices, or removing the isolated vertices of $H$ leaves an induced subgraph of the five-vertex path. In fact, the "if" implication holds for all $k\geq 1$.
Induced subgraphs and tree decompositions XIV. Non-adjacent neighbours in a hole
Published in European Journal of Combinatorics 124 (2025), 104-074
• View Publication
• BIB
A clock is a graph consisting of an induced cycle $C$ and a vertex not in $C$ with at least two non-adjacent neighbours in $C$. We show that every clock-free graph of large treewidth contains a "basic obstruction" of large treewidth as an induced subgraph: a complete graph, a subdivision of a wall, or the line graph of a subdivision of a wall.
Generalized Goulden-Yong duals and signed minimal factorizations
We show the equivalence between one-way reflections and relative projective representations. We construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.