contain ↗ reference
7694 papers tagged with this keyword
Twin-width V: linear minors, modular counting, and matrix multiplication
We continue developing the theory around the twin-width of totally ordered binary structures, initiated in the previous paper of the series. We first introduce the notion of parity and linear minors of a matrix, which consists of iteratively replacing consecutive rows or consecutive columns with a linear combination of them. We show that a matrix class has bounded twin-width if and only if its linear-minor closure does not contain all matrices. We observe that the fixed-parameter tractable algorithm for first-order model checking on structures given with an $O(1)$-sequence (certificate of bounded twin-width) and the fact that first-order transductions of bounded twin-width classes have bounded twin-width, both established in Twin-width I, extend to first-order logic with modular counting quantifiers. We make explicit a win-win argument obtained as a by-product of Twin-width IV, and somewhat similar to bidimensionality, that we call rank-bidimensionality. Armed with the above-mentioned extension to modular counting, we show that the twin-width of the product of two conformal matrices $A, B$ over a finite field is bounded by a function of the twin-width of $A$, of $B$, and of the size of the field. Furthermore, if $A$ and $B$ are $n \times n$ matrices of twin-width $d$ over $\mathbb F_q$, we show that $AB$ can be computed in time $O_{d,q}(n^2 \log n)$. We finally present an ad hoc algorithm to efficiently multiply two matrices of bounded twin-width, with a single-exponential dependence in the twin-width bound: If the inputs are given in a compact tree-like form, called twin-decomposition (of width $d$), then two $n \times n$ matrices $A, B$ over $\mathbb F_2$, a twin-decomposition of $AB$ with width $2^{d+o(d)}$ can be computed in time $4^{d+o(d)}n$ (resp. $4^{d+o(d)}n^{1+\varepsilon}$), and entries queried in doubly-logarithmic (resp. constant) time.
Turán problems in pseudorandom graphs
Published in Combinator. Probab. Comp. 33 (2024) 583-596
• View Publication
• BIB
Given a graph $F$, we consider the problem of determining the densest possible pseudorandom graph that contains no copy of $F$. We provide an embedding procedure that improves a general result of Conlon, Fox, and Zhao which gives an upper bound on the density. In particular, our result implies that optimally pseudorandom graphs with density greater than $n^{-1/3}$ must contain a copy of the Peterson graph, while the previous best result gives the bound $n^{-1/4}$. Moreover, we conjecture that the exponent $1/3$ in our bound is tight. We also construct the densest known pseudorandom $K_{2,3}$-free graphs that are also triangle-free. Finally, we obtain the densest known construction of clique-free pseudorandom graphs due to Bishnoi, Ihringer and Pepe in a novel way and give a different proof that they have no large clique.
Magic partially filled arrays on abelian groups
Published
• View Publication
• BIB
In this paper we introduce a special class of partially filled arrays. A magic partially filled array $\mathrm{MPF}_Ω(m,n; s,k)$ on a subset $Ω$ of an abelian group $(Γ,+)$ is a partially filled array of size $m\times n$ with entries in $Ω$ such that $(i)$ every $ω\in Ω$ appears once in the array; $(ii)$ each row contains $s$ filled cells and each column contains $k$ filled cells; $(iii)$ there exist (not necessarily distinct) elements $x,y\in Γ$ such that the sum of the elements in each row is $x$ and the sum of the elements in each column is $y$. In particular, if $x=y=0_Γ$, we have a zero-sum magic partially filled array ${}^0\mathrm{MPF}_Ω(m,n; s,k)$. Examples of these objects are magic rectangles, $Γ$-magic rectangles, signed magic arrays, (integer or non integer) Heffter arrays. Here, we give necessary and sufficient conditions for the existence of a magic rectangle with empty cells, i.e., of an $\mathrm{MPF}_Ω(m,n;s,k)$ where $Ω=\{1,2,\ldots,nk\}\subset\mathbb{Z}$. We also construct zero-sum magic partially filled arrays when $Ω$ is the abelian group $Γ$ or the set of its nonzero elements.
Improved Approximation for Two-Edge-Connectivity
Published
• View Publication
• BIB
The basic goal of survivable network design is to construct low-cost networks which preserve a sufficient level of connectivity despite the failure or removal of a few nodes or edges. One of the most basic problems in this area is the $2$-Edge-Connected Spanning Subgraph problem (2-ECSS): given an undirected graph $G$, find a $2$-edge-connected spanning subgraph $H$ of $G$ with the minimum number of edges (in particular, $H$ remains connected after the removal of one arbitrary edge).
2-ECSS is NP-hard and the best-known (polynomial-time) approximation factor for this problem is $4/3$. Interestingly, this factor was achieved with drastically different techniques by [Hunkenschr{ö}der, Vempala and Vetta '00,'19] and [Seb{ö} and Vygen, '14]. In this paper we present an improved $\frac{118}{89}+ε<1.326$ approximation for 2-ECSS.
The key ingredient in our approach (which might also be helpful in future work) is a reduction to a special type of structured graphs: our reduction preserves approximation factors up to $6/5$. While reducing to 2-vertex-connected graphs is trivial (and heavily used in prior work), our structured graphs are "almost" 3-vertex-connected: more precisely, given any 2-vertex-cut $\{u,v\}$ of a structured graph $G=(V,E)$, $G[V\setminus \{u,v\}]$ has exactly 2 connected components, one of which contains exactly one node of degree $2$ in $G$.
Rotation inside convex Kakeya sets
Published
• View Publication
• BIB
Let $K$ be a convex body (a compact convex set) in $\mathbb{R}^d$, that contains a copy of another body $S$ in every possible orientation. Is it always possible to continuously move any one copy of $S$ into another, inside $K$? As a stronger question, is it always possible to continuously select, for each orientation, one copy of $S$ in that orientation? These questions were asked by Croft.
We show that, in two dimensions, the stronger question always has an affirmative answer. We also show that in three dimensions the answer is negative, even for the case when $S$ is a line segment -- but that in any dimension the first question has a positive answer when $S$ is a line segment. And we prove that, surprisingly, the answer to the first question is negative in dimension four for general $S$.
On the Wiener Index of Orientations of Graphs
Published
• View Publication
• BIB
The Wiener index of a strong digraph $D$ is defined as the sum of the distances between all ordered pairs of vertices. This definition has been extended to digraphs that are not necessarily strong by defining the distance from a vertex $a$ to a vertex $b$ as $0$ if there is no path from $a$ to $b$ in $D$.
Knor, uSkrekovski and Tepeh [Some remarks on Wiener index of oriented graphs. Appl.\ Math.\ Comput.\ {\bf 273}] considered orientations of graphs with maximum Wiener index. The authors conjectured that for a given tree $T$, an orientation $D$ of $T$ of maximum Wiener index always contains a vertex $v$ such that for every vertex $u$, there is either a $(u,v)$-path or a $(v,u)$-path in $D$. In this paper we disprove the conjecture.
We also show that the problem of finding an orientation of maximum Wiener index of a given graph is NP-complete, thus answering a question by Knor, uSkrekovski and Tepeh [Orientations of graphs with maximum Wiener index. Discrete Appl.\ Math.\ 211].
We briefly discuss the corresponding problem of finding an orientation of minimum Wiener index of a given graph, and show that the special case of deciding if a given graph on $m$ edges has an orientation of Wiener index $m$ can be solved in time quadratic in $n$.
Antisquares and Critical Exponents
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (September 6, 2023) dmtcs:10063
• View Publication
• BIB
The (bitwise) complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. An $\textit{antisquare}$ is a nonempty word of the form $x\, \overline{x}$. In this paper, we study infinite binary words that do not contain arbitrarily large antisquares. For example, we show that the repetition threshold for the language of infinite binary words containing exactly two distinct antisquares is $(5+\sqrt{5})/2$. We also study repetition thresholds for related classes, where "two" in the previous sentence is replaced by a larger number.
We say a binary word is $\textit{good}$ if the only antisquares it contains are $01$ and $10$. We characterize the minimal antisquares, that is, those words that are antisquares but all proper factors are good. We determine the growth rate of the number of good words of length $n$ and determine the repetition threshold between polynomial and exponential growth for the number of good words.
A general approach to transversal versions of Dirac-type theorems
Published
• View Publication
• BIB
Given a collection of hypergraphs $\textbf{H}=(H_1,\ldots,H_m)$ with the same vertex set, an $m$-edge graph $F\subset \cup_{i\in [m]}H_i$ is a transversal if there is a bijection $φ:E(F)\to [m]$ such that $e\in E(H_{φ(e)})$ for each $e\in E(F)$. How large does the minimum degree of each $H_i$ need to be so that $\textbf{H}$ necessarily contains a copy of $F$ that is a transversal? Each $H_i$ in the collection could be the same hypergraph, hence the minimum degree of each $H_i$ needs to be large enough to ensure that $F\subseteq H_i$. Since its general introduction by Joos and Kim [Bull. Lond. Math. Soc., 2020, 52(3):498-504], a growing body of work has shown that in many cases this lower bound is tight. In this paper, we give a unified approach to this problem by providing a widely applicable sufficient condition for this lower bound to be asymptotically tight. This is general enough to recover many previous results in the area and obtain novel transversal variants of several classical Dirac-type results for (powers of) Hamilton cycles. For example, we derive that any collection of $rn$ graphs on an $n$-vertex set, each with minimum degree at least $(r/(r+1)+o(1))n$, contains a transversal copy of the $r$-th power of a Hamilton cycle. This can be viewed as a rainbow version of the Pósa-Seymour conjecture.
Extensions and reductions of square-free words
A word is square-free if it does not contain a nonempty word of the form $XX$ as a factor. A famous 1906 result of Thue asserts that there exist arbitrarily long square-free words over a $3$-letter alphabet. We study square-free words with additional properties involving single-letter deletions and extensions of words.
A square-free word is steady if it remains square-free after deletion of any single letter. We prove that there exist infinitely many steady words over a $4$-letter alphabet. We also demonstrate that one may construct steady words of any length by picking letters from arbitrary alphabets of size $7$ assigned to the positions of the constructed word. We conjecture that both bounds can be lowered to $4$, which is best possible.
In the opposite direction, we consider square-free words that remain square-free after insertion of a single (suitably chosen) letter at every possible position in the word. We call them bifurcate. We prove a somewhat surprising fact, that over a fixed alphabet with at least three letters, every steady word is bifurcate. We also consider families of bifurcate words possessing a natural tree structure. In particular, we prove that there exists an infinite tree of doubly infinite bifurcate words over alphabet of size $12$.
Proof a conjecture on connectivity keeping odd paths in k-connected bipartite graphs
Published
• View Publication
• BIB
Luo, Tian and Wu (2022) conjectured that for any tree $T$ with bipartition $X$ and $Y$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+t$, where $t=$max$\{|X|,|Y|\}$, contains a tree $T'\cong T$ such that $G-V(T')$ is still $k$-connected. Note that $t=\lceil\frac{m}{2}\rceil$ when the tree $T$ is the path with order $m$. In this paper, we proved that every $k$-connected bipartite graph $G$ with minimum degree at least $k+ \lceil\frac{m+1}{2}\rceil$ contains a path $P$ of order $m$ such that $G-V(P)$ remains $k$-connected. This shows that the conjecture is true for paths with odd order. And for paths with even order, the minimum degree bound in this paper is the bound in the conjecture plus one.
Transitivity in finite general linear groups
Published
• View Publication
• BIB
It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural characterisations of transitive subsets of $\operatorname{GL}(n,q)$ using the character theory of $\operatorname{GL}(n,q)$ and interprete such subsets as designs in the conjugacy class association scheme of $\operatorname{GL}(n,q)$. In particular we generalise a theorem of Perin on subgroups of $\operatorname{GL}(n,q)$ acting transitively on $t$-dimensional subspaces. We survey transitive subgroups of $\operatorname{GL}(n,q)$, showing that there is no subgroup of $\operatorname{GL}(n,q)$ with $1<t<n$ acting transitively on $t$-dimensional subspaces unless it contains $\operatorname{SL}(n,q)$ or is one of two exceptional groups. On the other hand, for all fixed $t$, we show that there exist nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on linearly independent $t$-tuples of $\mathbb{F}_q^n$, which also shows the existence of nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on more general flag-like structures. We establish connections with orthogonal polynomials, namely the Al-Salam-Carlitz polynomials, and generalise a result by Rudvalis and Shinoda on the distribution of the number of fixed points of the elements in $\operatorname{GL}(n,q)$. Many of our results can be interpreted as $q$-analogs of corresponding results for the symmetric group.
Orientably-Regular $π$-Maps and Regular $π$-Maps
Given a map with underlying graph $\mathcal{G}$, if the set of prime divisors of $|V(\mathcal{G}|$ is denoted by $π$, then we call the map a {\it $π$-map}.
An orientably-regular (resp. A regular ) $π$-map is called {\it solvable} if the group $G^+$ of all orientation-preserving automorphisms (resp. the group $G$ of automorphisms) is solvable; and called {\it normal} if $G^+$ (resp. $G$) contains a normal $π$-Hall subgroup.
In this paper, it will be proved that orientably-regular $π$-maps are solvable and normal if $2\notin π$ and regular $π$-maps are solvable if $2\notin π$ and $G$ has no sections isomorphic to ${\rm PSL}(2,q)$ for some prime power $q$. In particular, it's shown that a regular $π$-map with $2\notin π$ is normal if and only if $G/O_{2^{'}}(G)$ is isomorphic to a Sylow $2$-group of $G$.
Moreover, nonnormal $π$-maps will be characterized and some properties and constructions of normal $π$-maps will be given in respective sections.
The Turán density of tight cycles in three-uniform hypergraphs
The Turán density of an $r$-uniform hypergraph $\mathcal{H}$, denoted $π(\mathcal{H})$, is the limit of the maximum density of an $n$-vertex $r$-uniform hypergraph not containing a copy of $\mathcal{H}$, as $n \to \infty$.
Denote by $\mathcal{C}_{\ell}$ the $3$-uniform tight cycle on $\ell$ vertices. Mubayi and Rödl gave an ``iterated blow-up'' construction showing that the Turán density of $\mathcal{C}_5$ is at least $2\sqrt{3} - 3 \approx 0.464$, and this bound is conjectured to be tight. Their construction also does not contain $\mathcal{C}_{\ell}$ for larger $\ell$ not divisible by $3$, which suggests that it might be the extremal construction for these hypergraphs as well. Here, we determine the Turán density of $\mathcal{C}_{\ell}$ for all large $\ell$ not divisible by $3$, showing that indeed $π(\mathcal{C}_{\ell}) = 2\sqrt{3} - 3$. To our knowledge, this is the first example of a Turán density being determined where the extremal construction is an iterated blow-up construction.
A key component in our proof, which may be of independent interest, is a $3$-uniform analogue of the statement ``a graph is bipartite if and only if it does not contain an odd cycle''.
Unavoidable patterns in locally balanced colourings
Which patterns must a two-colouring of $K_n$ contain if each vertex has at least $\varepsilon n$ red and $\varepsilon n$ blue neighbours? In this paper, we investigate this question and its multicolour variant. For instance, we show that any such graph contains a $t$-blow-up of an \textit{alternating 4-cycle} with $t = Ω(\log n)$.
A Complete Enumeration of Ballot Permutations Avoiding Sets of Small Patterns
Published in Enumerative Combinatorics and Applications 3:1 (2023) Article #S2R6
• View Publication
• BIB
Permutations whose prefixes contain at least as many ascents as descents are called ballot permutations. Lin, Wang, and Zhao have previously enumerated ballot permutations avoiding small patterns and have proposed the problem of enumerating ballot permutations avoiding a pair of permutations of length $3$. We completely enumerate ballot permutations avoiding two patterns of length $3$ and we relate these avoidance classes with their respective recurrence relations and formulas, which leads to an interesting bijection between ballot permutations avoiding $132$ and $312$ with left factors of Dyck paths. In addition, we also conclude the Wilf-classification of ballot permutations avoiding sets of two patterns of length $3$, and we then extend our results to completely enumerate ballot permutations avoiding three patterns of length $3$.
Proving a directed analogue of the Gyárfás-Sumner conjecture for orientations of $P_4$
Published in The Electronic Journal of Combinatorics, 30(3), 36:1-36:27, 2023; Proceedings: European Conference on Combinatorics, Graph Theory and Applications, EUROCOMB 2023
• View Publication
• BIB
An oriented graph is a digraph that does not contain a directed cycle of length two. An (oriented) graph $D$ is $H$-free if $D$ does not contain $H$ as an induced sub(di)graph. The Gyárfás-Sumner conjecture is a widely-open conjecture on simple graphs, which states that for any forest $F$, there is some function $f$ such that every $F$-free graph $G$ with clique number $ω(G)$ has chromatic number at most $f(ω(G))$. Aboulker, Charbit, and Naserasr [Extension of Gyárfás-Sumner Conjecture to Digraphs; E-JC 2021] proposed an analogue of this conjecture to the dichromatic number of oriented graphs. The dichromatic number of a digraph $D$ is the minimum number of colors required to color the vertex set of $D$ so that no directed cycle in $D$ is monochromatic.
Aboulker, Charbit, and Naserasr's $\overrightarrowχ$-boundedness conjecture states that for every oriented forest $F$, there is some function $f$ such that every $F$-free oriented graph $D$ has dichromatic number at most $f(ω(D))$, where $ω(D)$ is the size of a maximum clique in the graph underlying $D$. In this paper, we perform the first step towards proving Aboulker, Charbit, and Naserasr's $\overrightarrowχ$-boundedness conjecture by showing that it holds when $F$ is any orientation of a path on four vertices.
A new upper bound on the minimum degree of minimal Ramsey graphs
We prove that $s_r(K_{k+1}) = O(k^3 r^3 \log^3 k)$, where $s_r(K_k)$ is the Ramsey parameter introduced by Burr, Erdős and Lovász in 1976, which is defined as the smallest minimum degree of a graph $G$ such that any $r$-colouring of the edges of $G$ contains a monochromatic $K_k$, whereas no proper subgraph of $G$ has this property.
Hamiltonian Complete Number of Some Variants of Caterpillar Graphs
A graph $G$ is said to be Hamiltonian if it contains a spanning cycle. In this work, we investigate the Hamiltonian completeness of certain classes of caterpillar graphs, which are trees with a central path to which all other vertices are adjacent. For a non-Hamiltonian graph $G$, the Hamiltonian complete number $λ_H(G)$ is the minimum number of edges that must be added to $G$ to make it Hamiltonian. We focus on both regular and irregular caterpillar graphs, deriving explicit formulas for $λ_H(G)$ in various cases. Specifically, we show that for a regular caterpillar graph $G_{n(k)}$ where each vertex on the central path is adjacent to $k$ leaves, $λ_H(G_{n(k)}) = n(k-1)$. We also explore irregular caterpillar graphs, where the number of leaves adjacent to each vertex on the central path varies, and provide bounds for $λ_H(G)$ in these cases. Our results contribute to the understanding of Hamiltonian properties in tree-like structures and have potential applications in network design and optimization.
Separating Path Systems for the Complete Graph
Published
• View Publication
• BIB
For any graph $G$, a separating path system of $G$ is a family of paths in $G$ with the property that for any pair of edges in $E(G)$ there is at least one path in the family that contains one edge but not the other. We investigate the size of the smallest separating path system for $K_n$, denoted $f(K_n)$.
Our first main result is a construction that shows $f(K_n) \leq \left(\frac{21}{16}+o(1)\right)n$ for sufficiently large $n$. We also show that $f(K_n) \leq n$ whenever $n=p,p+1$ for prime $p$. It is known by simple argument that $f(K_n) \geq n-1$ for all $n \in \mathbb{N}$.
A key idea in our construction is to reduce the problem to finding a single path with some particular properties we call a Generator Path. These are defined in such a way that the $n$ cyclic rotations of a generator path provide a separating path system for $K_n$. Hence existence of a generator path for some $K_n$ gives $f(K_n) \leq n$. We construct such paths for all $K_n$ with $n \leq 20$, and show that generator paths exist whenever $n$ is prime.
Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022)
This is the arXiv index for the electronic proceedings of GD 2022, which is held at the Tokyo Institute of Technology, Tokyo, Japan, on September 13 - 16, 2022. It contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture Notes in Computer Science series.