contain ↗ reference
7720 papers tagged with this keyword
Planar graphs with the maximum number of induced 4-cycles or 5-cycles
Published
• View Publication
• BIB
For large $n$ we determine exactly the maximum numbers of induced $C_4$ and $C_5$ subgraphs that a planar graph on $n$ vertices can contain. We show that $K_{2,n-2}$ uniquely achieves this maximum in the $C_4$ case, and we identify the graphs which achieve the maximum in the $C_5$ case. This extends work in a paper by Hakimi and Schmeichel and a paper by Ghosh, Győri, Janzer, Paulos, Salia, and Zamora which together determine both maxima asymptotically.
Crowns in linear $3$-graphs
Published
• View Publication
• BIB
A \textit{linear $3$-graph}, $H = (V, E)$, is a set, $V$, of vertices together with a set, $E$, of $3$-element subsets of $V$, called edges, so that any two distinct edges intersect in at most one vertex. The linear Turán number, ${\rm ex}(n,F)$, is the maximum number of edges in a linear $3$-graph $H$ with $n$ vertices containing no copy of $F$.
We focus here on the \textit{crown}, $C$, which consists of three pairwise disjoint edges (jewels) and a fourth edge (base) which intersects all of the jewels. Our main result is that every linear $3$-graph with minimum degree at least $4$ contains a crown. This is not true if $4$ is replaced by $3$. In fact the known bounds of the Turán number are \[ 6 \left\lfloor{\frac{n - 3}{4}}\right\rfloor \leq {\rm ex}(n, C) \leq 2n, \] and in the construction providing the lower bound all but three vertices have degree $3$. We conjecture that ${\rm ex}(n, C) \sim \frac{3n}{2}$ but even if this were known it would not imply our main result.
Our second result is a step towards a possible proof of ${\rm ex}(n,C) \leq \frac{3n}{2}$ (i.e., determining it within a constant error). We show that a minimal counterexample to this statement must contain certain configurations with $9$ edges and we conjecture that all of them lead to contradiction.
Counting $r$-graphs without forbidden configurations
Published
• View Publication
• BIB
One of the major problems in combinatorics is to determine the number of $r$-uniform hypergraphs ($r$-graphs) on $n$ vertices which are free of certain forbidden structures. This problem dates back to the work of Erdős, Kleitman and Rothschild, who showed that the number of $K_r$-free graphs on $n$ vertices is $2^{\text{ex}(n,K_r)+o(n^2)}$. Their work was later extended to forbidding graphs as induced subgraphs by Prömel and Steger.
Here, we consider one of the most basic counting problems for $3$-graphs. Let $E_1$ be the $3$-graph with $4$ vertices and $1$ edge. What is the number of induced $\{K_4^3,E_1\}$-free $3$-graphs on $n$ vertices? We show that the number of such $3$-graphs is of order $n^{Θ(n^2)}$. More generally, we determine asymptotically the number of induced $\mathcal{F}$-free $3$-graphs on $n$ vertices for all families $\mathcal{F}$ of $3$-graphs on $4$ vertices. We also provide upper bounds on the number of $r$-graphs on $n$ vertices which do not induce $i \in L$ edges on any set of $k$ vertices, where $L \subseteq \big \{0,1,\ldots,\binom{k}{r} \big\}$ is a list which does not contain $3$ consecutive integers in its complement. Our bounds are best possible up to a constant multiplicative factor in the exponent when $k = r+1$. The main tool behind our proof is counting the solutions of a constraint satisfaction problem.
The Pyro game: a slow intelligent fire
In the Firefighter problem, a fire breaks out at a vertex of a graph and at each subsequent time step, the firefighter chooses a vertex to protect and then the fire spreads from each burned vertex to every unprotected neighbour. The problem can be thought of as a simplified model for the spread of gossip or disease in a network. We introduce a new two-player variation called the Pyro game, in which at each step, the fire spreads from one burned vertex to all unprotected neighbours of that vertex. The fire is no longer automated and aims to maximize the number of burned vertices. We show, that unlike the Firefighter problem, one firefighter can contain a fire on the Cartesian grid in the Pyro game. We also study both the Pyro Game and the Firefighter Problem on the infinite strong grid and the complexity of the Pyro game.
On Cyclic Matroids and their Applications
A matroid is a combinatorial structure that captures and generalizes the algebraic concept of linear independence under a broader and more abstract framework. Matroids are closely related with many other topics in discrete mathematics, such as graphs, matrices, codes and projective geometries. In this work, we define cyclic matroids as matroids over a ground set of size $n$ whose automorphism group contains an $n$-cycle. We study the properties of such matroids, with special focus on the minimum size of their basis sets. For this, we broadly employ two different approaches: the multiple basis exchange property, and an orbit-stabilizer method, developed by analyzing the action of the cyclic group of order $n$ on the set of bases. We further present some applications of our theory to algebra and geometry, presenting connections to cyclic projective planes, cyclic codes and $k$-normal elements.
No extremal square-free words over large alphabets
Published in Combin. Theory 2, 1 (2022) #17
• View Publication
• BIB
A word is square-free if it does not contain any square (a word of the form $XX$), and is extremal square-free if it cannot be extended to a new square-free word by inserting a single letter at any position. Grytczuk, Kordulewski, and Niewiadomski proved that there exist infinitely many ternary extremal square-free words. We establish that there are no extremal square-free words over any alphabet of size at least 17.
Choice Functions
Published
• View Publication
• BIB
This is a survey paper on rainbow sets (another name for ``choice functions''). The main theme is the distinction between two types of choice functions: those having a large (in the sense of belonging to some specified filter, namely closed up set of sets) image, and those that have a large domain and small image, where ``smallness'' means belonging to some specified complex (a closed-down set). The paper contains some new results: (1) theorems on scrambled versions, in which the sets are re-shuffled before choosing the rainbow set, and (2) results on weighted and cooperative versions - to be defined below.
Graceful and Strongly Graceful Permutations
A graceful labelling of a graph G is an injective function f from the set of vertices of G into the set {0,1,...,|EG|} such that if edge uv is assigned the label |f(u)-f(v)| then all edge labels have distinct values. A strong graceful labelling of a tree T with a perfect matching is a graceful labelling of T with the additional property that the sum of the vertex labels of each odd labelled edge add up to |ET|. A lobster or a 2-distant tree is a tree T that contains a path P such that any vertex of T is a distance at most 2 from a vertex of P. In this paper, we define generalised strongly graceful permutations and discover two new permutations in addition to the known permutation that is obtained by replacing each vertex label f(v) by |ET|- f(v). We use these permutations to prove, by induction, that a lobster with a perfect matching that consists of the set of end edges of the lobster, is strongly graceful. Further, we show that there exist strongly graceful labellings that assign the label 0 to four specific vertices of any tree belonging to this family of lobsters. By using the technique developed in this paper we will, further, present a tractable way for proving an equivalent form of Bermond conjecture which states that all lobsters are graceful. Two out of a total of three cases of the proposed equivalent form of Bermond conjecture are completed leaving the third case open for refutation or completion.
Root of unity quantum cluster algebras and Cayley-Hamilton algebras
Published
• View Publication
• BIB
We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algebra we construct a canonical central subalgebra isomorphic to the underlying upper cluster algebra, such that the pair is a Cayley-Hamilton algebra; its fully Azumaya locus is shown to contain a copy of the underlying cluster $\mathcal{A}$-variety. Both results are proved in the wider generality of intersections of mixed quantum tori over subcollections of seeds. Furthermore, we prove that all monomial subalgebras of root of unity quantum tori are Cayley-Hamilton algebras and classify those ones that are maximal orders. Arbitrary intersections of those over subsets of seeds are also proved to be Cayley-Hamilton algebras. Previous approaches to constructing maximal orders relied on filtration and homological methods. We use new methods based on cluster algebras.
Computational approximations of compact metric spaces
Published
• View Publication
• BIB
Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a method to approximate the homology groups of $X$ and other algebraic invariants. Finally, we study computational aspects and the implementation of this method.
Approximate PSD-Completion for Generalized Chordal Graphs
Recently, there has been interest in the question of whether a partial matrix in which many of the fully defined principal submatrices are PSD is approximately PSD completable. These questions are related to graph theory because we can think of the entries of a symmetric matrix as corresponding to the edges of a graph.
We first introduce a family of graphs, which we call thickened graphs; these contain both triangle-free and chordal graphs, and can be viewed as the result of replacing the edges of a graph by an arbitrary chordal graph. We believe these graphs might be of independent interest.
We then show that for a class of graphs including thickened graphs, it is possible to get quantitative bounds on how well the property of having these principal submatrices being PSD approximates the PSD-completability property. These bounds frequently only depend on the size of the smallest cycle of size at least 4 in the graph. We introduce some tools that allow us to better control the quality of these approximations and indicate how these approximations can be used to improve the performance of semidefinite programs. The tools we use in this paper are an interesting mix of algebraic topology, structural graph theory, and spectral analysis.
Griddings of permutations and hardness of pattern matching
We study the complexity of the decision problem known as Permutation Pattern Matching, or PPM. The input of PPM consists of a pair of permutations $τ$ (the `text') and $π$ (the `pattern'), and the goal is to decide whether $τ$ contains $π$ as a subpermutation. On general inputs, PPM is known to be NP-complete by a result of Bose, Buss and Lubiw. In this paper, we focus on restricted instances of PPM where the text is assumed to avoid a fixed (small) pattern $σ$; this restriction is known as Av($σ$)-PPM. It has been previously shown that Av($σ$)-PPM is polynomial for any $σ$ of size at most 3, while it is NP-hard for any $σ$ containing a monotone subsequence of length four.
In this paper, we present a new hardness reduction which allows us to show, in a uniform way, that Av($σ$)-PPM is hard for every $σ$ of size at least 6, for every $σ$ of size 5 except the symmetry class of $41352$, as well as for every $σ$ symmetric to one of the three permutations $4321$, $4312$ and $4231$. Moreover, assuming the exponential time hypothesis, none of these hard cases of Av($σ$)-PPM can be solved in time $2^{o(n/\log n)}$. Previously, such conditional lower bound was not known even for the unconstrained PPM problem.
On the tractability side, we combine the CSP approach of Guillemot and Marx with the structural results of Huczynska and Vatter to show that for any monotone-griddable permutation class C, PPM is polynomial when the text is restricted to a permutation from C.
Instances of small size with no weakly stable matching for three-sided problem with complete cyclic preferences
Published
• View Publication
• BIB
Given $n$ men, $n$ women, and $n$ dogs, we assume that each man has a complete preference list of women, while each woman does a complete preference list of dogs, and each dog does a complete preference list of men. We study the so-called 3D-CYC problem, i.e., a three-dimensional problem with cyclic preferences. We understand a matching as a collection of $n$ nonintersecting triples, each of which contains a man, a woman, and a dog. A matching is said to be nonstable, if one can find a man, a woman, and a dog, which belong to different triples and prefer each other to their current partners in the corresponding triples. Otherwise, the matching is said to be stable. According to the conjecture proposed by Eriksson, Söstrand, and Strimling (2006), the problem of finding a stable matching (the problem 3DSM-CYC) always has a solution. However, Lam and Paxton have proposed an algorithm for constructing preference lists in 3DSM-CYC of size $n=90$, which has allowed them to disprove the mentioned conjecture. The question on the existence of counterexamples of a lesser size remained open. The main value of this paper consists in reducing the size of the counterexample to $n=20$. At the end part of the paper, we discuss a new variant of 3DSM, whose solution always exists.
Covering Symmetric Sets of the Boolean Cube by Affine Hyperplanes
Published in The Electronic Journal of Combinatorics, 29(2), 2022
• View Publication
• BIB
Alon and Füredi (European J. Combin., 1993) proved that any family of hyperplanes that covers every point of the Boolean cube $\{0,1\}^n$ except one must contain at least $n$ hyperplanes. We obtain two extensions of this result, in characteristic zero, for hyperplane covers of symmetric sets of the Boolean cube (subsets that are closed under permutations of coordinates), as well as for `polynomial covers' of `weight-determined' sets of `strictly unimodal uniform' (SU$^2$) grids.
As a main tool for solving our problems, we give a combinatorial characterization of (finite-degree) Zariski (Z-) closures of symmetric sets of the Boolean cube -- the Z-closure of a symmetric set is symmetric. In fact, we obtain a characterization that concerns, more generally, weight-determined sets of SU$^2$ grids. However, in this generality, our characterization is not of the Z-closures -- unlike over the Boolean cube, the Z-closure of a weight-determined set need not be weight-determined. We introduce a new closure operator exclusively for weight-determined sets -- the `(finite-degree) Z*-closure' -- defined to be the maximal weight-determined set in the Z-closure. (This coincides with the Z-closure over the Boolean cube, for symmetric sets.) We obtain a combinatorial characterization of the finite-degree Z*-closures of weight-determined sets of an SU$^2$ grid. This characterization may also be of independent interest. Indeed, as further applications, we (i) give an alternate proof of a lemma by Alon et al. (IEEE Trans. Inform. Theory, 1988), and (ii) characterize the `certifying degrees' of weight-determined sets.
Over the Boolean cube, our above characterization can also be derived using a result of Bernasconi and Egidi (Inf. Comput., 1999). However, our proof is independent of this result, works for all SU$^2$ grids, and could be regarded as being more combinatorial.
Extremal product-one free sequences and $|G|$-product-one free sequences of a metacyclic group
Published
• View Publication
• BIB
Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erdős, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite abelian group $G$ and this result is known as the Erdős-Ginzburg-Ziv Theorem. In 2005, Zhuang and Gao conjectured that $\mathsf E(G)=\mathsf d(G)+|G|$ for every finite group, where $\mathsf d(G)$ is the small Davenport constant. Very recently, we confirmed this conjecture for the case when $G=\langle x, y| x^p=y^m=1, x^{-1}yx=y^r\rangle$ where $p$ is the smallest prime divisor of $|G|$ and $\mbox{gcd}(p(r-1), m)=1$. In this paper, we study the associated inverse problems on $\mathsf d(G)$ and $\mathsf E(G)$. Our main results characterize the structure of any product-one free sequence with extremal length $\mathsf d(G)$, and that of any $|G|$-product-one free sequence with extremal length $\mathsf E(G)-1$.
Hamiltonian cycles in 7-tough $(P_3\cup 2P_1)$-free graphs
Published
• View Publication
• BIB
The toughness of a noncomplete graph $G$ is the maximum real number $t$ such that the ratio of $|S|$ to the number of components of $G-S$ is at least $t$ for every cutset $S$ of $G$, and the toughness of a complete graph is defined to be $\infty$. Determining the toughness for a given graph is NP-hard. Chvátal's toughness conjecture, stating that there exists a constant $t_0$ such that every graph with toughness at least $t_0$ is hamiltonian, is still open for general graphs. A graph is called $(P_3\cup 2P_1)$-free if it does not contain any induced subgraph isomorphic to $P_3\cup 2P_1$, the disjoint union of $P_3$ and two isolated vertices. In this paper, we confirm Chvátal's toughness conjecture for $(P_3\cup 2P_1)$-free graphs by showing that every 7-tough $(P_3\cup 2P_1)$-free graph on at least three vertices is hamiltonian.
Distance in Latin Squares
A Latin square of order $n$ is an $n\times n$ array which contains $n$ distinct symbols exactly once in each row and column. We define the adjacent distance between two adjacent cells (containing integers) to be their difference modulo $n$, and inner distance of a Latin square to be the minimum of adjacent distances in the Latin square. By first establishing upper bounds and then constructing squares with said inner distance, we found the maximum inner distance of an $n \times n$ Latin square to be $\left\lfloor\frac{n-1}{2}\right\rfloor$. We then studied special kinds of Latin squares such as pandiagonals (also known as Knut-Vik designs), as well as Sudoku Latin squares. This research was conducted at the REU at Moravian College on Research Challenges of Computational and Experimental Mathematics, with support from the National Science Foundation.
Balanced subdivisions of a large clique in graphs with high average degree
Published
• View Publication
• BIB
In 1984, Thomassen conjectured that for every constant $k \in \mathbb{N}$, there exists $d$ such that every graph with average degree at least $d$ contains a balanced subdivision of a complete graph on $k$ vertices, i.e. a subdivision in which each edge is subdivided the same number of times. Recently, Liu and Montgomery confirmed Thomassen's conjecture. We show that for every constant $0<c<1/2$, every graph with average degree at least $d$ contains a balanced subdivision of a complete graph of size at least $Ω(d^{c})$. Note that this bound is almost optimal. Moreover, we show that every sparse expander with minimum degree at least $d$ contains a balanced subdivision of a complete graph of size at least $Ω(d)$.
On a conjecture of Zhuang and Gao
Published
• View Publication
• BIB
Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erdős, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite ablian group $G$ and this result is known as the Erdős-Ginzburg-Ziv Theorem. In 2005, Zhuang and Gao conjectured that $\mathsf E(G)=\mathsf d(G)+|G|$, where $\mathsf d(G)$ is the small Davenport constant. In this paper, we confirm the conjecture for the case when $G=\langle x, y| x^p=y^m=1, x^{-1}yx=y^r\rangle$, where $p$ is the smallest prime divisor of $|G|$ and $\mbox{gcd}(p(r-1), m)=1$.
Multiple twins in permutations
By an $r$-tuplet in a permutation we mean a family of $r$ pairwise disjoint subsequences with the same relative order. The length of an $r$-tuplet is defined as the length of any single subsequence in the family. Let $t^{(r)}(n)$ denote the largest $k$ such that every permutation of length $n$ contains an $r$-tuplet of length $k$. We prove that $t^{(r)}(n)=O\left(n^{\frac r{2r-1}}\right)$ and $t^{(r)}(n)=Ω\left( n^{\frac{R}{2R-1}} \right)$, where $R=\binom{2r-1}r$. We conjecture that the upper bound brings the correct order of magnitude of $t^{(r)}(n)$ and support this conjecture by proving that it holds for almost all permutations. Our work generalizes previous studies of the case $r=2$.