contain ↗ reference
7720 papers tagged with this keyword
On the structure of pointsets with many collinear triples
Published
• View Publication
• BIB
It is conjectured that if a finite set of points in the plane contains many collinear triples then there is some structure in the set. We are going to show that under some combinatorial conditions such pointsets contain special configurations of triples, proving a case of Elekes' conjecture. Using the techniques applied in the proof we show a density version of Jamison's theorem. If the number of distinct directions between many pairs of points of a pointset in convex position is small, then many points are on a conic.
On a construction of some homology $d$-manifolds
Published in Discrete Math. 349 (2026), no. 2, Paper No. 114843, 16 pp
• View Publication
• BIB
The $g$-vector of a simplicial complex contains a lot of information about the combinatorial and topological structure of that complex. Several classification results regarding the structure of normal pseudomanifolds and homology manifolds have been established concerning the value of $g_2$. It is known that when $g_2=0$, all normal pseudomanifolds of dimensions at least three are stacked spheres. In the cases of $g_2=1$ and $2$, all homology manifolds are polytopal spheres and can be obtained through retriangulation or join operations from the previous ones. In this article, we provide a combinatorial characterization of the homology $d$-manifolds, where $d\geq 3$ and $g_2=3$. These are spheres and can be obtained through operations such as joins, some retriangulations, and connected sums from spheres with $g_2\leq 2$. Furthermore, we have presented a structural result on prime normal $d$-pseudomanifolds with $g_2=3$.
Dense minors of graphs with independence number two
Published
• View Publication
• BIB
Motivated by Hadwiger's conjecture, we prove that every $n$-vertex graph $G$ with no independent set of size three contains an $\lceil n/2\rceil$-vertex simple minor $H$ with $$0.98688 \cdot \binom{|V(H)|}{2} - o(n^2)$$ edges.
Highly connected subgraphs with large chromatic number
Published
• View Publication
• BIB
For integers $k\ge1$ and $m\ge2$, let $g(k,m)$ be the least integer $n\ge1$ such that every graph with chromatic number at least $n$ contains a $(k+1)$-connected subgraph with chromatic number at least $m$. Refining the recent result Girão and Narayanan that $g(k-1,k)\le 7k+1$ for all $k\ge2$, we prove that $g(k,m)\le \max(m+2k-2,\lceil(3+\frac{1}{16})k\rceil)$ for all $k\ge1$ and $m\ge2$. This sharpens earlier results of Alon, Kleitman, Saks, Seymour, and Thomassen, of Chudnovsky, Penev, Scott, and Trotignon, and of Penev, Thomassé, and Trotignon.
Our result implies that $g(k,k+1)\le\lceil(3+\frac{1}{16})k\rceil$ for all $k\ge1$, making a step closer towards a conjecture of Thomassen from 1983 that $g(k,k+1)\le 3k+1$, which was originally a result with a false proof and was the starting point of this research area.
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
Published in Journal of Combinatorial Theory, Series B 167 (2024), 215-249
• View Publication
• BIB
A graph is $\mathcal{O}_k$-free if it does not contain $k$ pairwise vertex-disjoint and non-adjacent cycles. We prove that "sparse" (here, not containing large complete bipartite graphs as subgraphs) $\mathcal{O}_k$-free graphs have treewidth (even, feedback vertex set number) at most logarithmic in the number of vertices. This is optimal, as there is an infinite family of $\mathcal{O}_2$-free graphs without $K_{2,3}$ as a subgraph and whose treewidth is (at least) logarithmic.
Using our result, we show that Maximum Independent Set and 3-Coloring in $\mathcal{O}_k$-free graphs can be solved in quasi-polynomial time. Other consequences include that most of the central NP-complete problems (such as Maximum Independent Set, Minimum Vertex Cover, Minimum Dominating Set, Minimum Coloring) can be solved in polynomial time in sparse $\mathcal{O}_k$-free graphs, and that deciding the $\mathcal{O}_k$-freeness of sparse graphs is polynomial time solvable.
Hadamard matrices related to a certain series of ternary self-dual codes
Published
• View Publication
• BIB
In 2013, Nebe and Villar gave a series of ternary self-dual codes of length $2(p+1)$ for a prime $p$ congruent to $5$ modulo $8$. As a consequence, the third ternary extremal self-dual code of length $60$ was found. We show that the ternary self-dual code contains codewords which form a Hadamard matrix of order $2(p+1)$ when $p$ is congruent to $5$ modulo $24$. In addition, it is shown that the ternary self-dual code is generated by the rows of the Hadamard matrix. We also demonstrate that the third ternary extremal self-dual code of length $60$ contains at least two inequivalent Hadamard matrices.
The trace and Estrada index of uniform hypergraphs with cut vertices
Published in Linear Algebra and its Applications, Volume 660, 1 March 2023, Pages 89-117
• View Publication
• BIB
Let $\mathcal{H}$ be an $m$-uniform hypergraph, and let $\mathcal{A}(\mathcal{H})$ be the adjacency tensor of $\mathcal{H}$ which can be viewed as a system of homogeneous polynomials of degree $m-1$. Morozov and Shakirov generalized the traces of linear systems to nonlinear homogeneous polynomial systems and obtained explicit formulas for multidimensional resultants. Sun, Zhou and Bu introduced the Estrada index of uniform hypergraphs which is closely related to the traces of their adjacency tensors. In this paper we give formulas for the traces of $\mathcal{A}(\mathcal{H})$ when $\mathcal{H}$ contains cut vertices, and obtain results on the traces and Estrada index when $\mathcal{H}$ is perturbed under local changes. We prove that among all hypertrees with fixed number of edges, the hyperpath is the unique one with minimum Estrada index and the hyperstar is the unique one with maximum Estrada index.
Parking on the infinite binary tree
Published
• View Publication
• BIB
Let $(A_u : u \in \mathbb{B})$ be i.i.d.~non-negative integers that we interpret as car arrivals on the vertices of the full binary tree $ \mathbb{B}$. Each car tries to park on its arrival node, but if it is already occupied, it drives towards the root and parks on the first available spot. It is known that the parking process on $ \mathbb{B}$ exhibits a phase transition in the sense that either a finite number of cars do not manage to park in expectation (subcritical regime) or all vertices of the tree contain a car and infinitely many cars do not manage to park (supercritical regime). We characterize those regimes in terms of the law of $A$ in an explicit way. We also study in detail the critical regime as well as the phase transition which turns out to be "discontinuous".
Linear versus centred chromatic numbers
$\DeclareMathOperator{\chicen}{χ_{\mathrm{cen}}}\DeclareMathOperator{\chilin}{χ_{\mathrm{lin}}}$ A centred colouring of a graph is a vertex colouring in which every connected subgraph contains a vertex whose colour is unique and a \emph{linear colouring} is a vertex colouring in which every (not-necessarily induced) path contains a vertex whose colour is unique. For a graph $G$, the centred chromatic number $\chicen(G)$ and the linear chromatic number $\chilin(G)$ denote the minimum number of distinct colours required for a centred, respectively, linear colouring of $G$. From these definitions, it follows immediately that $\chilin(G)\le \chicen(G)$ for every graph $G$. The centred chromatic number is equivalent to treedepth and has been studied extensively. Much less is known about linear colouring. Kun et al [Algorithmica 83(1)] prove that $\chicen(G) \le \tilde{O}(\chilin(G)^{190})$ for any graph $G$ and conjecture that $\chicen(G)\le 2\chilin(G)$. Their upper bound was subsequently improved by Czerwinski et al [SIDMA 35(2)] to $\chicen(G)\le\tilde{O}(\chilin(G)^{19})$. The proof of both upper bounds relies on establishing a lower bound on the linear chromatic number of pseudogrids, which appear in the proof due to their critical relationship to treewidth. Specifically, Kun et al prove that $k\times k$ pseudogrids have linear chromatic number $Ω(\sqrt{k})$. Our main contribution is establishing a tight bound on the linear chromatic number of pseudogrids, specifically $\chilin(G)\ge Ω(k)$ for every $k\times k$ pseudogrid $G$. As a consequence we improve the general bound for all graphs to $\chicen(G)\le \tilde{O}(\chilin(G)^{10})$. In addition, this tight bound gives further evidence in support of Kun et al's conjecture (above) that the centred chromatic number of any graph is upper bounded by a linear function of its linear chromatic number.
Absolutely avoidable order-size pairs in hypergraphs
Published
• View Publication
• BIB
For fixed integer $r\ge 2$, we call a pair $(m,f)$ of integers, $m\geq 1$, $0\leq f \leq \binom{m}{r}$, $absolutely$ $avoidable$ if there is $n_0$, such that for any pair of integers $(n,e)$ with $n>n_0$ and $0\leq e\leq \binom{n}{r}$ there is an $r$-uniform hypergraph on $n$ vertices and $e$ edges that contains no induced sub-hypergraph on $m$ vertices and $f$ edges. Some pairs are clearly not absolutely avoidable, for example $(m,0)$ is not absolutely avoidable since any sufficiently sparse hypergraph on at least $m$ vertices contains independent sets on $m$ vertices. Here we show that for any $r\ge 3$ and $m \ge m_0$, either the pair $(m, \lfloor\binom mr/2\rfloor)$ or the pair $(m, \lfloor\binom{m}{r}/2\rfloor-m-1)$ is absolutely avoidable. Next, following the definition of Erdős, Füredi, Rothschild and Sós, we define the $density$ of a pair $(m,f)$ as $σ_r(m,f) = \limsup_{n \to \infty} \frac{|\{e : (n,e) \to (m,f)\}|}{\binom mr}$. We show that for $ r\ge 3$ most pairs $(m,f)$ satisfy $σ_r(m,f)=0$, and that for $m > r$, there exists no pair $(m,f)$ of density 1.
A standard form for scattered linearized polynomials and properties of the related translation planes
Published
• View Publication
• BIB
In this paper we present results concerning the stabilizer $G_f$ in $\mathrm{GL}(2,q^n)$ of the subspace $U_f=\{(x,f(x))\colon x\in\mathbb F_{q^n}[x]\}$, $f(x)$ a scattered linearized polynomial in $\mathbb F_{q^n}[x]$. Each $G_f$ contains the $q-1$ maps $(x,y)\mapsto(ax,ay)$, $a\in\mathbb F_{q}^*$. By virtue of the results of Beard (1972) and Willett (1973), the matrices in $G_f$ are simultaneously diagonalizable. This has several consequences: $(i)$ the polynomials such that $|G_f|>q-1$ have a standard form of type $\sum_{j=0}^{n/t-1}a_jx^{q^{s+jt}}$ for some $s$ and $t$ such that $(s,t)=1$, $t>1$ a divisor of $n$; $(ii)$ this standard form is essentially unique; $(iii)$ for $n>2$ and $q>3$, the translation plane $\cal A_f$ associated with $f(x)$ admits nontrivial affine homologies if and only if $|G_f|>q-1$, and in that case those with axis through the origin form two groups of cardinality $(q^t-1)/(q-1)$ that exchange axes and coaxes; $(iv)$ no plane of type $\cal A_f$, $f(x)$ a scattered polynomial not of pseudoregulus type, is a generalized André plane.
Tight bounds towards a conjecture of Gallai
Published
• View Publication
• BIB
We prove that for $n>k\geq 3$, if $G$ is an $n$-vertex graph with chromatic number $k$ but any its proper subgraph has smaller chromatic number, then $G$ contains at most $n-k+3$ copies of cliques of size $k-1$. This answers a problem of Abbott and Zhou and provides a tight bound on a conjecture of Gallai.
Turán numbers $T(n,5,3)$ and graphs without induced $5$-cycles
Published in Journal of Graph Theory, vol. 104, no. 3, 2023, pp. 451-460
• View Publication
• BIB
Turán number $T(n,5,3)$ is the minimum size of a system of triples out of a base set $X$ of $n$ elements such that every quintuple in $X$ contains a triple from the system. The exact values of $T(n,5,3)$ are known for $n \leq 17$. Turán conjectured that $T(2m,5,3) = 2\binom{m}{3}$, and no counterexamples have been found so far. If this conjecture is true, then $T(2m+1,5,3) \geq \lceil m(m-2)(2m+1)/6\rceil$. We prove the matching upper bound for all $n = 2m+1 > 17$ except $n=27$.
Computing homomorphisms in hereditary graph classes: the peculiar case of the 5-wheel and graphs with no long claws
For graphs $G$ and $H$, an $H$-coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the $H$-Coloring problem the graph $H$ is fixed and we ask whether an instance graph $G$ admits an $H$-coloring. A generalization of this problem is $H$-ColoringExt, where some vertices of $G$ are already mapped to vertices of $H$ and we ask if this partial mapping can be extended to an $H$-coloring.
We study the complexity of variants of $H$-Coloring in $F$-free graphs, i.e., graphs excluding a fixed graph $F$ as an induced subgraph. For integers $a,b,c \geq 1$, by $S_{a,b,c}$ we denote the graph obtained by identifying one endvertex of three paths on $a+1$, $b+1$, and $c+1$ vertices, respectively. For odd $k \geq 5$, by $W_k$ we denote the graph obtained from the $k$-cycle by adding a universal vertex.
As our main algorithmic result we show that $W_5$-ColoringExt is polynomial-time solvable in $S_{2,1,1}$-free graphs. This result exhibits an interesting non-monotonicity of $H$-ColoringExt with respect to taking induced subgraphs of $H$. Indeed, $W_5$ contains a triangle, and $K_3$-Coloring, i.e., classical 3-coloring, is NP-hard already in claw-free (i.e., $S_{1,1,1}$-free) graphs.
Our algorithm is based on two main observations:
1. $W_5$-ColoringExt in $S_{2,1,1}$-free graphs can be in polynomial time reduced to a variant of the problem of finding an independent set intersecting all triangles, and
2. the latter problem can be solved in polynomial time in $S_{2,1,1}$-free graphs.
We complement this algorithmic result with several negative ones. In particular, we show that $W_5$-ColoringExt is NP-hard in $S_{3,3,3}$-free graphs. This is again uncommon, as usually problems that are NP-hard in $S_{a,b,c}$-free graphs for some constant $a,b,c$ are already hard in claw-free graphs.
A note on classes of subgraphs of locally finite graphs
Published
• View Publication
• BIB
We investigate the question how `small' a graph can be, if it contains all members of a given class of locally finite graphs as subgraphs or induced subgraphs. More precisely, we give necessary and sufficient conditions for the existence of a connected, locally finite graph $H$ containing all elements of a graph class $\mathcal G$. These conditions imply that such a graph $H$ exists for the class $\mathcal G_d$ consisting of all graphs with maximum degree $<d$ which raises the question whether in this case $H$ can be chosen to have bounded maximum degree. We show that this is not the case, thereby answering a question recently posed by Huynh et al.
Two Ramsey problems in blowups of graphs
Given graphs $G$ and $H$, we say $G \stackrel{r}{\to} H$ if every $r$-colouring of the edges of $G$ contains a monochromatic copy of $H$. Let $H[t]$ denote the $t$-blowup of $H$. The blowup Ramsey number $B(G \stackrel{r}{\to} H;t)$ is the minimum $n$ such that $G[n] \stackrel{r}{\to} H[t]$. Fox, Luo and Wigderson refined an upper bound of Souza, showing that, given $G$, $H$ and $r$ such that $G \stackrel{r}{\to} H$, there exist constants $a=a(G,H,r)$ and $b=b(H,r)$ such that for all $t \in \mathbb{N}$, $B(G \stackrel{r}{\to} H;t) \leq ab^t$. They conjectured that there exist some graphs $H$ for which the constant $a$ depending on $G$ is necessary. We prove this conjecture by showing that the statement is true in the case of $H$ being $3$-chromatically connected, which in particular includes triangles. On the other hand, perhaps surprisingly, we show that for forests $F$, the function $B(G \stackrel{r}{\to} F;t)$ is independent of $G$.
Second, we show that for any $r,t \in \mathbb{N}$, any sufficiently large $r$-edge coloured complete graph on $n$ vertices with $Ω(n^{2-1/t})$ edges in each colour contains a member from a certain finite family $\mathcal{F}^r_t$ of $r$-edge coloured complete graphs. This answers a conjecture of Bowen, Hansberg, Montejano and Müyesser.
Monochromatic products and sums in $2$-colorings of $\mathbb{N}$
Published
• View Publication
• BIB
We show that any $2$-coloring of $\mathbb{N}$ contains infinitely many monochromatic sets of the form $\{x,y,xy,x+y\},$ and more generally monochromatic sets of the form $\{x_i,\prod x_i,\sum x_i: i\leq k\}$ for any $k\in\mathbb{N}.$ Along the way we prove a monochromatic products of sums theorem that extends Hindman's theorem and a colorful variant of this result that holds in any 'balanced' coloring.
Weak Sequenceability in Cyclic Groups
Published
• View Publication
• BIB
A subset $A$ of an abelian group $G$ is sequenceable if there is an ordering $(a_1, \ldots, a_k)$ of its elements such that the partial sums $(s_0, s_1, \ldots, s_k)$, given by $s_0 = 0$ and $s_i = \sum_{j=1}^i a_i$ for $1 \leq i \leq k$, are distinct, with the possible exception that we may have $s_k = s_0 = 0$. In the literature there are several conjectures and questions concerning the sequenceability of subsets of abelian groups, which have been combined and summarized in $[4]$ into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable. If the elements of a sequenceable set $A$ do not sum to $0$ then there exists a simple path $P$ in the Cayley graph $Cay[G:\pm A]$ such that $Δ(P) = \pm A$.
In this paper, inspired by this graph-theoretical interpretation, we propose a weakening of this conjecture. Here, under the above assumptions, we want to find an ordering whose partial sums define a walk $W$ of girth bigger than $t$ (for a given $t < k$) and such that $Δ(W) = \pm A$. This is possible given that the partial sums $s_i$ and $s_j$ are different whenever $i$ and $j$ are distinct and $|i-j|\leq t$. In this case, we say that the set $A$ is $t$-weak sequenceable. The main result here presented is that any subset $A$ of $\mathbb{Z}_p\setminus \{0\}$ is $t$-weak sequenceable whenever $t<7$ or when $A$ does not contain pairs of type $\{x,-x\}$ and $t<8$.
The Chromatic Number of $\mathbb{R}^{n}$ with Multiple Forbidden Distances
Published
• View Publication
• BIB
Let $A\subset\mathbb{R}_{>0}$ be a finite set of distances, and let $G_{A}(\mathbb{R}^{n})$ be the graph with vertex set $\mathbb{R}^{n}$ and edge set $\{(x,y)\in\mathbb{R}^{n}:\ \|x-y\|_{2}\in A\}$, and let $χ(\mathbb{R}^{n},A)=χ\left(G_{A}(\mathbb{R}^{n})\right)$. Erdős asked about the growth rate of the $m$-distance chromatic number \[ \barχ(\mathbb{R}^{n};m)=\max_{|A|=m}χ(\mathbb{R}^{n},A). \] We improve the best existing lower bound for $\barχ(\mathbb{R}^{n};m)$, and show that \[ \barχ(\mathbb{R}^{n};m)\geq\left(Γ_χ\sqrt{m+1}+o(1)\right)^{n} \] where $Γ_χ=0.79983\dots$ is an explicit constant. Our full result is more general, and applies to cliques in this graph. Let $χ_{k}(G)$ denote the minimum number of colors needed to color $G$ so that no color contains a $(k+1)$-clique, and let $\barχ_{k}(\mathbb{R}^{n};m)$ denote the largest value this takes for any distance set of size $m$ . Using the Partition Rank Method, we show that \[ \barχ_{k}(\mathbb{R}^{n};m)>\left(Γ_χ\sqrt{\frac{m+1}{k}}+o(1)\right)^{n}. \]
Two disjoint cycles in digraphs
Published
• View Publication
• BIB
Bermond and Thomassen conjectured that every digraph with minimum outdegree at least $2k-1$ contains $k$ vertex disjoint cycles. So far the conjecture was verified for $k\le 3$. Here we generalise the question asking for all outdegree sequences which force $k$ vertex disjoint cycles and give the full answer for $k\le 2$.