contain ↗ reference
7689 papers tagged with this keyword
Monophonic position sets of Cartesian and lexicographic products of graphs
The general position problem in graph theory asks for the number of vertices in a largest set $S$ of vertices of a graph $G$ such that no shortest path of $G$ contains more than two vertices of $S$. The analogous monophonic position problem is obtained from the general position problem by replacing ``shortest path'' by ``induced path.'' In this paper the monophonic position number is studied on Cartesian and lexicographic products of graphs. It is proved that in Cartesian products, a monophonic position set can only be in one of three canonical forms, named layered, varied, and cliquey. The monophonic position number of an arbitrary Cartesian product is bounded from below and above. The two bounds coincide if neither of the factors has simplicial vertices. A formula for the monophonic position number of a lexicographic product is given which only contains the clique number and the structure of monophonic sets of the second factor.
$k$-loose elements and $k$-paving matroids
Published
• View Publication
• BIB
For a matroid of rank $r$ and a non-negative integer $k$, an element is called $k$-loose if every circuit containing it has size greater than $r-k$. Zaslavsky and the author characterized all binary matroids with a $1$-loose element. In this paper, we establish a sharp linear bound on the size of a binary matroid, in terms of its rank, that contains a $k$-loose element. A matroid is called $k$-paving if all its elements are $k$-loose. Rajpal showed that for a prime power $q$, the rank of a $GF(q)$-matroid that is $k$-paving is bounded. We provide a bound on the rank of $GF(q)$-matroids that are cosimple and have two $k$-loose elements. Consequently, we deduce a bound on the rank of $GF(q)$-matroids that are $k$-paving. Additionally, we provide a bound on the size of binary matroids that are $k$-paving.
Minimal pentagulations of $n$-gons
A planar graph $G$ is called a pentagulation of an $n$-gon ($n\geq$ is an integer) if all faces of $G$ are pentagons, except one, which is an $n$-gon. A $3$-connected pentagulation $G$ of an $n$-gon is called minimal if it has the smallest number of pentagons among all such $3$-connected pentagulations. It is known that minimal pentagulations of the $3$-gon and $4$-gon contain 15 and 14 pentagons, respectively. We determined all minimal pentagulations of $n$-gons for all $n$ such that $3\leq n\leq 12$ using computer calculations. The calculations employed the plantri package, which generates all planar triangulations for a given number of vertices. We also present several open questions on this topic.
Acyclic List Colouring Locally Planar Graphs
A (vertex) colouring of graph is \emph{acyclic} if it contains no bicoloured cycle. In 1979, Borodin proved that planar graphs are acyclically 5-colourable. In 2010, Kawarabayashi and Mohar proved that locally planar graphs are acyclically 7-colourable. In 2002, Borodin, Fon-Der-Flaass, Kostochka, Raspaud, and Sopena proved that planar graphs are acyclically 7-list-colourable. We prove that locally planar graphs are acyclically 9-list-colourable\textemdash no bound for acyclic list colouring locally planar graphs for any fixed number of colours was previously known.
Hamiltonicity of Transitive Graphs Whose Automorphism Group Has $\Z_{p}$ as Commutator Subgroups
Published
• View Publication
• BIB
In 1982, Durnberger proved that every connected Cayley graph of a finite group with a commutator subgroup of prime order contains a hamiltonian cycle. In this paper, we extend this result to the infinite case. Additionally, we generalize this result to a broader class of infinite graphs $X$, where the automorphism group of $X$ contains a transitive subgroup $G$ with a cyclic commutator subgroup of prime order.
A contribution to the characterization of finite minimal automorphic posets of width three
The characterization of the finite minimal automorphic posets of width three is still an open problem. Niederle has shown that this task can be reduced to the characterization of the nice sections of width three having a non-trivial tower of nice sections as retract. We solve this problem for a sub-class $\mathfrak{N}_2$ of the finite nice sections of width three. On the one hand, we characterize the posets in $\mathfrak{N}_2$ having a retract of width three being a non-trivial tower of nice sections, and on the other hand we characterize the posets in $\mathfrak{N}_2$ having a 4-crown stack as retract. The latter result yields a recursive approach for the determination of posets in $\mathfrak{N}_2$ having a 4-crown stack as retract. With this approach, we determine all posets in $\mathfrak{N}_2$ with height up to six having such a retract. For each integer $n \geq 2$, the class $\mathfrak{N}_2$ contains $2^{n-2}$ different isomorphism types of posets of height $n$.
Lagrangians are attained as uniform Turán densities
The study of uniform Turán densities was initiated in the 1980s by Erdős and Sós. Given a $3$-graph $F$, the uniform Turán density of $F$, $π_{\therefore}(F)$, is defined as the infimum $d\in[0,1]$ such that every $3$-graph $H$ in which every linearly sized $S\subseteq V(H)$ induces at least $(d+o(1))\binom{\vert S\vert}{3}$ edges must contain a copy of $F$. Disproving Erdős's famous jumping conjecture, Frankl and Rödl showed that the set of Turán densities is not well-ordered. We prove an analogous result for the uniform Turán density, namely that the set $Π^{(3)}_{\therefore,\infty}=\{π_{\therefore}(\mathcal{F}) : \mathcal{F}\text{ a family of }3\text{-graphs} \}$ is not well-ordered. This is a consequence of a more general result, which in particular implies that for every Lagrangian $Λ$ of a $3$-graph and integer $1 \leq t \leq 6$ we have $\frac{t}{6}Λ\in Π^{(3)}_{\therefore,\infty}$.
Monochromatic odd cycles in edge-coloured complete graphs
It is easy to see that every $q$-edge-colouring of the complete graph on $2^q+1$ vertices must contain a monochromatic odd cycle. A natural question raised by Erdős and Graham in $1973$ asks for the smallest $L(q)$ such that every $q$-edge-colouring of $K_{2^q+1}$ must contain a monochromatic odd cycle of length at most $L(q)$. In here, we show that $L(q)=O\left(\frac{2^q}{q^{1-o(1)}}\right)$ giving the first non-trivial upper bound on $L(q)$.
Almost-full transversals in equi-$n$-squares
In 1975, Stein made a wide generalisation of the Ryser-Brualdi-Stein conjecture on transversals in Latin squares, conjecturing that every equi-$n$-square (an $n\times n$ array filled with $n$ symbols where each symbol appears exactly $n$ times) has a transversal of size $n-1$. That is, it should have a collection of $n-1$ entries that share no row, column, or symbol. In 2017, Aharoni, Berger, Kotlar, and Ziv showed that equi-$n$-squares always have a transversal with size at least $2n/3$. In 2019, Pokrovskiy and Sudakov disproved Stein's conjecture by constructing equi-$n$-squares without a transversal of size $n-\frac{\log n}{42}$, but asked whether Stein's conjecture is approximately true. I.e., does an equi-$n$-square always have a transversal with size $(1-o(1))n$?
We answer this question in the positive. More specifically, we improve both known bounds, showing that there exist equi-$n$-squares with no transversal of size $n-Ω(\sqrt{n})$ and that every equi-$n$-square contains $n-n^{1-Ω(1)}$ disjoint transversals of size $n-n^{1-Ω(1)}$.
Gapfree graphs and powers of edge ideals with linear quotients
Published
• View Publication
• BIB
Let $I(G)$ be the edge ideal of a gapfree graph $G$. An open conjecture of Nevo and Peeva states that $I(G)^q$ has linear resolution for $q\gg 0$. We present a promising approach to this challenging conjecture by investigating the stronger property of linear quotients. Specifically, we make the conjecture that if $I(G)^q$ has linear quotients for some integer $q\geq 1$, then $I(G)^{s}$ has linear quotients for all $s\geq q$. We give a partial solution to this conjecture, and identify conditions under which only finitely many powers need to be checked. It is known that if $G$ does not contain a cricket, a diamond, or a $C_4$, then $I(G)^q$ has linear resolution for $q \geq 2$. We construct a family of gapfree graphs $G$ containing cricket, diamond, $C_4$ together with $C_5$ as induced subgraphs of $G$ for which $I(G)^q$ has linear quotients for $q \ge 2$.
On Zarankiewicz's Problem for Intersection Hypergraphs of Geometric Objects
The hypergraph Zarankiewicz's problem, introduced by Erdős in 1964, asks for the maximum number of hyperedges in an $r$-partite hypergraph with $n$ vertices in each part that does not contain a copy of $K_{t,t,\ldots,t}$. Erdős obtained a near optimal bound of $O(n^{r-1/t^{r-1}})$ for general hypergraphs. In recent years, several works obtained improved bounds under various algebraic assumptions -- e.g., if the hypergraph is semialgebraic.
In this paper we study the problem in a geometric setting -- for $r$-partite intersection hypergraphs of families of geometric objects. Our main results are essentially sharp bounds for families of axis-parallel boxes in $\mathbb{R}^d$ and families of pseudo-discs. For axis-parallel boxes, we obtain the sharp bound $O_{d,r}(tn^{r-1}(\frac{\log n}{\log \log n})^{d-1})$. The best previous bound was larger by a factor of about $(\log n)^{d(2^{r-1}-2)}$. For pseudo-discs, we obtain the bound $O_r(tn^{r-1}(\log n)^{r-2})$, which is sharp up to logarithmic factors. As this hypergraph has no algebraic structure, no improvement of Erdős' 60-year-old $O(n^{r-1/t^{r-1}})$ bound was known for this setting. Futhermore, even in the special case of discs for which the semialgebraic structure can be used, our result improves the best known result by a factor of $\tildeΩ(n^{\frac{2r-2}{3r-2}})$.
To obtain our results, we use the recently improved results for the graph Zarankiewicz's problem in the corresponding settings, along with a variety of combinatorial and geometric techniques, including shallow cuttings, biclique covers, transversals, and planarity.
Pencils of Conic-Line Curves
Published
• View Publication
• BIB
In this paper, we study the restrictions on the number $m$ of conic-line curves in special pencils. The most general result we obtain is the relation between upper bounds on $m$ and the number $p$ of concurrent lines in these pencils. We construct a one-parameter family of pencils such that each pencil in the family contains exactly 4 conic-line curves. We also deal with pencils whose conic-line curves are in general position.
When do Schubert polynomial products stabilize?
The "back-stabilization number" for products of Schubert polynomials is the distance the corresponding permutations must be shifted before the structure constants stabilize. We give an explicit formula for this number and thereby prove a conjecture of N. Li in a strengthened form. This leads to an additional result: a formula for the smallest $n$ such that a given Schubert product expands completely over $S_n$.
Our method is to explore back-stable fundamental slide polynomials and their products combinatorially, in the context of their associated words. We use three main tools: (i) an algebra consisting of "colored words", with a modified shuffle product, and which contains the rings of back (quasi)symmetric functions as subquotients; (ii) the combinatorics of increasing suffixes of reduced words; and (iii) the lift of differential operators to the space of colored words.
Random regular graph states are complex at almost any depth
Published
• View Publication
• BIB
Graph states are fundamental objects in the theory of quantum information due to their simple classical description and rich entanglement structure. They are also intimately related to IQP circuits, which have applications in quantum pseudorandomness and quantum advantage. For us, they are a toy model to understand the relation between circuit connectivity, entanglement structure and computational complexity. In the worst case, a strict dichotomy in the computational universality of such graph states appears as a function of the degree $d$ of a regular graph state [GDH+23]. In this paper, we study the average-case complexity of simulating random graph states of varying degree when measured in random product bases and give distinct evidence that a similar complexity-theoretic dichotomy exists in the average case. Specifically, we consider random $d$-regular graph states and prove three distinct results: First, we exhibit two families of IQP circuits of depth $d$ and show that they anticoncentrate for any $2 < d = o(n^{1/2})$ when measured in a random $X$-$Y$-plane product basis. This implies anticoncentration for random constant-regular graph states. Second, in the regime $d = Θ(n^c)$ with $c \in (0,1)$, we prove that random $d$-regular graph states contain polynomially large grid graphs as induced subgraphs with high probability. This implies that they are universal resource states for measurement-based computation. Third, in the regime of high degree ($d\sim n/2$), we show that random graph states are not sufficiently entangled to be trivially classically simulable, unlike Haar random states. Proving the three results requires different techniques -- the analysis of a classical statistical-mechanics model using Krawtchouck polynomials, graph theoretic analysis using the switching method, and analysis of the ranks of submatrices of random adjacency matrices, respectively.
A note on finding large transversals efficiently
Published
• View Publication
• BIB
In an $n \times n$ array filled with symbols, a transversal is a collection of entries with distinct rows, columns and symbols. In this note we show that if no symbol appears more than $βn$ times, the array contains a transversal of size $(1-β/4-o(1))n$. In particular, if the array is filled with $n$ symbols, each appearing $n$ times (an equi-$n$ square), we get transversals of size $(3/4-o(1))n$. Moreover, our proof gives a deterministic algorithm with polynomial running time, that finds these transversals.
Classes of binary matroids with small lists of excluded induced minors
Published
• View Publication
• BIB
In earlier work, we characterized the class of matroids with no $M(C_4)$ as an induced minor and the class of matroids with no member of $\{M(C_4),M(K_4)\}$ as an induced minor. In this paper, for every two matroids in $\{M(C_4),M(K_4\backslash e),M(K_4),F_7\}$, we determine the class of matroids that have neither of the chosen pair as an induced minor. Additionally, we prove structural lemmas toward characterizing the class of matroids that do not contain $M(K_4)$ as an induced minor.
Covering points by hyperplanes and related problems
Published in SIAM Journal on Discrete Mathematics (2025), 39(4): 2242 - 2249
• View Publication
• BIB
For a set $P$ of $n$ points in $\mathbb R^d$, for any $d\ge 2$, a hyperplane $h$ is called $k$-rich with respect to $P$ if it contains at least $k$ points of $P$. Answering and generalizing a question asked by Peyman Afshani, we show that if the number of $k$-rich hyperplanes in $\mathbb R^d$, $d \geq 3$, is at least $Ω(n^d/k^α+ n/k)$, with a sufficiently large constant of proportionality and with $d\le α< 2d-1$, then there exists a $(d-2)$-flat that contains $Ω(k^{(2d-1-α)/(d-1)})$ points of $P$. We also present upper bound constructions that give instances in which the above lower bound is tight. An extension of our analysis yields similar lower bounds for $k$-rich spheres or $k$-rich flats.
Sparse graphs with an independent or foresty minimum vertex cut
Published
• View Publication
• BIB
A connected graph is called fragile if it contains an independent vertex cut. In 2002 Chen and Yu proved that every connected graph of order $n$ and size at most $2n-4$ is fragile, and in 2013 Le and Pfender characterized the non-fragile graphs of order $n$ and size $2n-3.$ It is natural to consider minimum vertex cuts. We prove two results. (1) Every connected graph of order $n$ with $n\ge 7$ and size at most $\lfloor 3n/2\rfloor$ has an independent minimum vertex cut; (2) every connected graph of order $n$ with $n\ge 7$ and size at most $2n$ has a foresty minimum vertex cut. Both results are best possible.
A note on infinite versions of $(p,q)$-theorems
We prove that fractional Helly and $(p,q)$-theorems imply $(\aleph_0,q)$-theorems in an entirely abstract setting. We give a plethora of applications, including reproving almost all earlier $(\aleph_0,q)$-theorems about geometric hypergraphs that were proved recently. Some of the corollaries are new results, for example, we prove that if $\mathcal{F}$ is an infinite family of convex compact sets in $\mathbb{R}^d$ and among every $\aleph_0$ of the sets some $d+1$ contain a point in their intersection with integer coordinates, then all the members of $\mathcal{F}$ can be hit with finitely many points with integer coordinates.
A simple proof of the existence of complete bipartite graph immersion in graphs with independence number two
Published
• View Publication
• BIB
Hadwiger's conjecture for the immersion relation posits that every graph $G$ contains an immersion of the complete graph $K_{χ(G)}$. Vergara showed that this is equivalent to saying that every $n$-vertex graph $G$ with $α(G)=2$ contains an immersion of the complete graph on $\lceil\frac{n}{2}\rceil$ vertices. Recently, Botler et al. showed that every $n$-vertex graph $G$ with $α(G)=2$ contains every complete bipartite graph on $\lceil\frac{n}{2}\rceil$ vertices as an immersion. In this paper, we give a much simpler proof of this result.