contain ↗ reference
7720 papers tagged with this keyword
On the number of perfect triangles with a fixed angle
Published
• View Publication
• BIB
Richard Guy asked the following question: can we find a triangle with rational sides, medians, and area? Such a triangle is called a \emph{perfect triangle} and no example has been found to date. It is widely believed that such a triangle does not exist. Here we use the setup of Solymosi and de Zeeuw about rational distance sets contained in an algebraic curve, to show that for any angle $0<θ< π$, the number of perfect triangles with an angle $θ$ is finite. A \emph{rational median set} $S$ is a set of points in the plane such that for every three non collinear points $p_1,p_2,p_3$ in $S$ all medians of the triangle with vertices at $p_i$'s have rational length. The second result of this paper is that no irreducible algebraic curve defined over $\mathbb{R}$ contains an infinite rational median set.
Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs
Published
• View Publication
• BIB
Over 50 years ago, Lovász proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum isomorphic (in the commuting operator framework) if and only if they admit the same number of homomorphisms from any planar graph. As there exist pairs of non-isomorphic graphs that are quantum isomorphic, this implies that homomorphism counts from planar graphs do not determine a graph up to isomorphism. Another immediate consequence is that determining whether there exists some planar graph that has a different number of homomorphisms to two given graphs is an undecidable problem, since quantum isomorphism is known to be undecidable. Our characterization of quantum isomorphism is proven via a combinatorial characterization of the intertwiner spaces of the quantum automorphism group of a graph based on counting homomorphisms from planar graphs. This result inspires the definition of "graph categories" which are analogous to, and a generalization of, partition categories that are the basis of the definition of easy quantum groups. Thus we introduce a new class of "graph-theoretic quantum groups" whose intertwiner spaces are spanned by maps associated to (bi-labeled) graphs. Finally, we use our result on quantum isomorphism to prove an interesting reformulation of the Four Color Theorem: that any planar graph is 4-colorable if and only if it has a homomorphism to a specific Cayley graph on the symmetric group $S_4$ which contains a complete subgraph on four vertices but is not 4-colorable.
Extremal Square-free Words
Published
• View Publication
• BIB
A word is \emph{square-free} if it does not contain non-empty factors of the form $XX$. In 1906 Thue proved that there exist arbitrarily long square-free words over $3$-letter alphabet. We consider a new type of square-free words. A square-free word is \emph{extremal} if it cannot be extended to a new square-free word by inserting a single letter on arbitrary position. We prove that there exist infinitely many extremal words over $3$-letter alphabet. Some parts of our construction relies on computer verifications. We also pose some related open problems.
Independent Dominating Sets in Directed Graphs
In this paper, we study independent domination in directed graphs, which was recently introduced by Cary, Cary, and Prabhu. We provide a short, algorithmic proof that all directed acyclic graphs contain an independent dominating set. Using linear algebraic tools, we prove that any strongly connected graph with even period has at least two independent dominating sets, generalizing several of the results of Cary, Cary, and Prabhu. We prove that determining the period of the graph is not sufficient to determine the existence of an independent dominating set by constructing a few examples of infinite families of graphs. We show that the direct analogue of Vizing's Conjecture does not hold for independent domination number in directed graphs by providing two infinite families of graphs.
We initialize the study of time complexity for independent domination in directed graphs, proving that the existence of an independent dominating set in directed acyclic graphs and strongly connected graphs with even period are in the time complexity class $P$. We also provide an algorithm for determining existence of an independent dominating set for digraphs with period greater than $1$.
The saturation number of $K_{3,3}$
Published
• View Publication
• BIB
A graph $G$ is called $F$-saturated if $G$ does not contain $F$ as a subgraph (not necessarily induced) but the addition of any missing edge to $G$ creates a copy of $F$. The saturation number of $F$, denoted by $sat(n,F)$, is the minimum number of edges in an $n$-vertex $F$-saturated graph. Determining the saturation number of complete partite graphs is one of the most important problems in the study of saturation number. The value of $sat(n,K_{2,2})$ was shown to be $\lfloor\frac{3n-5}{2}\rfloor$ by Ollmann, and a shorter proof was later given by Tuza. For $K_{2,3}$, there has been a series of study aiming to determine $sat(n,K_{2,3})$ over the years. This was finally achieved by Chen who confirmed a conjecture of Bohman, Fonoberova, and Pikhurko that $sat(n, K_{2,3})= 2n-3$ for all $n\geq 5$. In this paper, we prove a conjecture of Pikhurko and Schmitt that $sat(n, K_{3,3})=3n-9$ when $n \geq 9$.
Small families under subdivision
Let $H$ be a graph with maximum degree $d$, and let $d'\ge 0$. We show that for some $c>0$ depending on $H,d'$, and all integers $n\ge 0$, there are at most $c^n$ unlabelled simple $d$-connected $n$-vertex graphs with maximum degree at most $d'$ that do not contain $H$ as a subdivision. On the other hand, the number of unlabelled simple $(d-1)$-connected $n$-vertex graphs with minimum degree $d$ and maximum degree at most $d+1$ that do not contain $K_{d+1}$ as a subdivision is superexponential in $n$.
The Resolution of Keller's Conjecture
Published
• View Publication
• BIB
We consider three graphs, $G_{7,3}$, $G_{7,4}$, and $G_{7,6}$, related to Keller's conjecture in dimension 7. The conjecture is false for this dimension if and only if at least one of the graphs contains a clique of size $2^7 = 128$. We present an automated method to solve this conjecture by encoding the existence of such a clique as a propositional formula. We apply satisfiability solving combined with symmetry-breaking techniques to determine that no such clique exists. This result implies that every unit cube tiling of $\mathbb{R}^7$ contains a facesharing pair of cubes. Since a faceshare-free unit cube tiling of $\mathbb{R}^8$ exists (which we also verify), this completely resolves Keller's conjecture.
Stack Sorting with Increasing and Decreasing Stacks
Published
• View Publication
• BIB
We introduce a sorting machine consisting of $k+1$ stacks in series: the first $k$ stacks can only contain elements in decreasing order from top to bottom, while the last one has the opposite restriction. This device generalizes \cite{SM}, which studies the case $k=1$. Here we show that, for $k=2$, the set of sortable permutations is a class with infinite basis, by explicitly finding an antichain of minimal nonsortable permutations. This construction can easily be adapted to each $k \ge 3$. Next we describe an optimal sorting algorithm, again for the case $k=2$. We then analyze two types of left-greedy sorting procedures, obtaining complete results in one case and only some partial results in the other one. We close the paper by discussing a few open questions.
Improved lower bounds on parity vertex colourings of binary trees
A vertex colouring is called a \emph{parity vertex colouring} if every path in $G$ contains an odd number of occurrences of some colour. Let $χ_{p}(G)$ be the minimal number of colours in a parity vertex colouring of $G$. We show that $χ_{p}(B^*) \ge \sqrt{d} + \frac{1}{4} \log_2(d) - \frac{1}{2}$ where $B^*$ is a subdivision of the complete binary tree $B_d$. This improves the previously known bound $χ_{p}(B^*) \ge \sqrt{d}$ and enhances the techniques used for proving lower bounds. We use this result to show that $χ_{p}(T) > \sqrt[3]{\log{n}}$ where $T$ is any binary tree with $n$ vertices. These lower bounds are also lower bounds for the conflict-free colouring. We also prove that $χ_{p}(G)$ is not monotone with respect to minors and determine its value for cycles. Furthermore, we study complexity of computing the parity vertex chromatic number $χ_{p}(G)$. We show that checking whether a vertex colouring is a parity vertex colouring is coNP-complete. Then we use Courcelle's theorem to prove that the problem of checking whether $χ_{p}(G) \le k$ is fixed-parameter tractable with respect $k$ and the treewidth of $G$.
Two-coloring triples such that in each color class every element is missed at least once
Published
• View Publication
• BIB
We give a characterization of finite sets of triples of elements (e.g., positive integers) that can be colored with two colors such that for every element $i$ in each color class there exists a triple which does not contain $i$. We give a linear (in the number of triples) time algorithm to decide if such a coloring exists and find one if it does.
We also consider generalizations of this result and an application to a matching problem, which motivated this study. Finally, we show how these results translate to results about colorings of hypergraphs in which the degree of every vertex is $k$ less than the number of hyperedges.
An Erdős-Gallai-type theorem for keyrings with larger number of leaves
A keyring is a graph obtained from a cycle by appending $r\ge0$ leaves to one of its vertices. Sidorenko proved an Erdős-Gallai-type theorem: Every graph of order $n$ and size more than $\frac{(k-1)n}{2}$ contains a keyring of size at least $k$ and with $r$ leaves for $r\le\frac{k-1}2$ (Theorem 1.4, An Erdős-Gallai-type theorem for keyrings, Graphs Combin., 2018). In this note, we show that Sidorenko's theorem holds for larger $r$ and so complete the Erdős-Gallai-type theorem for keyrings.
Incidence Hypergraphs: Injectivity, Uniformity, and Matrix-tree Theorems
Published in Linear Algebra Appl. 634 (2022), 77-105
• View Publication
• BIB
An oriented hypergraph is an oriented incidence structure that allows for the generalization of graph theoretic concepts to integer matrices through its locally signed graphic substructure. The locally graphic behaviors are formalized in the subobject classifier of incidence hypergraphs. Moreover, the injective envelope is calculated and shown to contain the class of uniform hypergraphs -- providing a combinatorial framework for the entries of incidence matrices. A multivariable all-minors characteristic polynomial is obtained for both the determinant and permanent of the oriented hypergraphic Laplacian and adjacency matrices arising from any integer incidence matrix. The coefficients of each polynomial are shown to be submonic maps from the same family into the injective envelope limited by the subobject classifier. These results provide a unifying theorem for oriented hypergraphic matrix-tree-type and Sachs-coefficient-type theorems. Finally, by specializing to bidirected graphs, the trivial subclasses for the degree-$k$ monomials of the Laplacian are shown to be in one-to-one correspondence with $k$-arborescences.
Distinct degrees in induced subgraphs
Published
• View Publication
• BIB
An important theme of recent research in Ramsey theory has been establishing pseudorandomness properties of Ramsey graphs. An $N$-vertex graph is called $C$-Ramsey if it has no homogeneous set of size $C\log N$. A theorem of Bukh and Sudakov, solving a conjecture of Erdős, Faudree and Sós, shows that any $C$-Ramsey $N$-vertex graph contains an induced subgraph with $Ω_C(N^{1/2})$ distinct degrees. We improve this to $Ω_C(N^{2/3})$, which is tight up to the constant factor.
We also show that any $N$-vertex graph with $N > (k-1)(n-1)$ and $n\geq n_0(k) = Ω(k^9)$ either contains a homogeneous set of order $n$ or an induced subgraph with $k$ distinct degrees. The lower bound on $N$ here is sharp, as shown by an appropriate Turán graph, and confirms a conjecture of Narayanan and Tomon.
A Unique Extension of Rich Words
Published
• View Publication
• BIB
A word $w$ is called rich if it contains $| w|+1$ palindromic factors, including the empty word. We say that a rich word $w$ can be extended in at least two ways if there are two distinct letters $x,y$ such that $wx,wy$ are rich. Let $R$ denote the set of all rich words. Given $w\in R$, let $K(w)$ denote the set of all words such that if $u\in K(w)$ then $wu\in R$ and $wu$ can be extended in at least two ways. Let $ω(w)=\min\{| u| \mid u\in K(w)\}$ and let $φ(n)=\max\{ω(w)\mid w\in R\mbox{ and }| w|=n\}$, where $n>0$. Vesti (2014) showed that $φ(n)\leq 2n$. In other words, it says that for each $w\in R$ there is a word $u$ with $| u|\leq 2| w|$ such that $wu\in R$ and $wu$ can be extended in at least two ways. We prove that $φ(n)\leq n$. In addition we prove that for each real constant $c>0$ and each integer $m>0$ there is $n>m$ such that $φ(n)\geq (\frac{2}{9}-c)n$. The results hold for each finite alphabet having at least two letters.
Existence thresholds and Ramsey properties of random posets
Published
• View Publication
• BIB
Let $\mathcal P(n)$ denote the power set of $[n]$, ordered by inclusion, and let $\mathcal P (n,p)$ denote the random poset obtained from $\mathcal P(n)$ by retaining each element from $\mathcal P (n)$ independently at random with probability $p$ and discarding it otherwise.
Given any fixed poset $F$ we determine the threshold for the property that $\mathcal P(n,p)$ contains $F$ as an induced subposet. We also asymptotically determine the number of copies of a fixed poset $F$ in $\mathcal P(n)$. Finally, we obtain a number of results on the Ramsey properties of the random poset $\mathcal P(n,p)$.
Long paths and connectivity in {$1$}-independent random graphs
Published
• View Publication
• BIB
Given a graph $G$, a probability measure $μ$ on the subsets of the edge set of $G$ is said to be $1$-independent if events determined by edge sets that are at graph distance at least $1$ apart in $G$ are independent. Call such a probability measure a $1$-ipm on $G$, and denote by $\mathbf{G}_μ$ the associated random spanning subgraph of $G$.
Let $\mathcal{M}_{1,\geqslant p}(G)$ (resp. $\mathcal{M}_{1,\leqslant p}(G)$) denote the collection of $1$-ipms $μ$ on $G$ for which each edge is included in $\mathbf{G}_μ$ with probability at least $p$ (resp. at most $p$). Let $\mathbb{Z}^2$ denote the square integer lattice. Balister and Bollobás raised the question of determining the critical value $p_{\star}=p_{1,c}(\mathbb{Z}^2)$ such that for all $p>p_{\star}$ and all $μ\in \mathcal{M}_{1,\geqslant p}(\mathbb{Z}^2)$, $\left(\mathbf{\mathbb{Z}^2}\right)_μ$ almost surely contains an infinite component. This can be thought of as asking for a $1$-independent analogue of the celebrated Harris--Kesten theorem.
In this paper we investigate both this problem and connectivity problems for $1$-ipms more generally. We give two lower bounds on $p_{\star}$ that significantly improve on the previous bounds. Furthermore, motivated by the Russo--Seymour--Welsh lemmas, we define a $1$-independent critical probability for long paths and determine its value for the line and ladder lattices. Finally, for finite graphs $G$ we study $f_{1,G}(p)$ (respectively $F_{1,G}(p)$), the infimum (resp. supremum) over all $μ\in \mathcal{M}_{1,\geqslant p}(G)$ (resp. all $μ\in \mathcal{M}_{1,\leqslant p}(G)$) of the probability that $\mathbf{G}_μ$ is connected. We determine $f_{1,G}(p)$ and $F_{1,G}(p)$ exactly when $G$ is a path, a complete graph and a cycle of length at most $5$.
Many new problems arise from our work, which are discussed in the final section of the paper.
Vertex Ramsey properties of randomly perturbed graphs
Published
• View Publication
• BIB
Given graphs $F,H$ and $G$, we say that $G$ is $(F,H)_v$-Ramsey if every red/blue vertex colouring of $G$ contains a red copy of $F$ or a blue copy of $H$. Results of Łuczak, Ruciński and Voigt and, subsequently, Kreuter determine the threshold for the property that the random graph $G(n,p)$ is $(F,H)_v$-Ramsey. In this paper we consider the sister problem in the setting of randomly perturbed graphs. In particular, we determine how many random edges one needs to add to a dense graph to ensure that with high probability the resulting graph is $(F,H)_v$-Ramsey for all pairs $(F,H)$ that involve at least one clique.
A degree sequence version of the Kühn-Osthus tiling theorem
Published
• View Publication
• BIB
A fundamental result of Kühn and Osthus [The minimum degree threshold for perfect graph packings, Combinatorica, 2009] determines up to an additive constant the minimum degree threshold that forces a graph to contain a perfect H-tiling. We prove a degree sequence version of this result which allows for a significant number of vertices to have lower degree.
Quantum Bicyclic Hyperbolic Codes
Published
• View Publication
• BIB
Bicyclic codes are a generalization of the one dimensional (1D) cyclic codes to two dimensions (2D). Similar to the 1D case, in some cases, 2D cyclic codes can also be constructed to guarantee a specified minimum distance. Many aspects of these codes are yet unexplored. Motivated by the problem of constructing quantum codes, in this paper, we study some structural properties of certain bicyclic codes. We show that a primitive narrow-sense bicyclic hyperbolic code of length $n^2$ contains its dual if and only if its design distance is lower than $n-Δ$, where $Δ=\mathcal{O}(\sqrt{n})$. We extend the sufficiency condition to the non-primitive case as well. We also show that over quadratic extension fields, a primitive bicyclic hyperbolic code of length $n^2$ contains Hermitian dual if and only if its design distance is lower than $n-Δ_h$, where $Δ_h=\mathcal{O}(\sqrt{n})$. Our results are analogous to some structural results known for BCH and Reed-Solomon codes. They further our understanding of bicyclic codes. We also give an application of these results by showing that we can construct two classes of quantum bicyclic codes based on our results.
A moment ratio bound for polynomials and some extremal properties of Krawchouk polynomials and Hamming spheres
Published
• View Publication
• BIB
Let $p \ge 2$. We improve the bound $\frac{\|f\|_p}{\|f\|_2} \le (p-1)^{s/2}$ for a polynomial $f$ of degree $s$ on the boolean cube $\{0,1\}^n$, which comes from hypercontractivity, replacing the right hand side of this inequality by an explicit bivariate function of $p$ and $s$, which is smaller than $(p-1)^{s/2}$ for any $p > 2$ and $s > 0$. We show the new bound to be tight, within a smaller order factor, for the Krawchouk polynomial of degree $s$.
This implies several nearly-extremal properties of Krawchouk polynomials and Hamming spheres (equivalently, Hamming balls). In particular, Krawchouk polynomials have (almost) the heaviest tails among all polynomials of the same degree and $\ell_2$ norm (this has to be interpreted with some care). The Hamming spheres have the following approximate edge-isoperimetric property: For all $1 \le s \le \frac{n}{2}$, and for all even distances $0 \le i \le \frac{2s(n-s)}{n}$, the Hamming sphere of radius $s$ contains, up to a multiplicative factor of $O(i)$, as many pairs of points at distance $i$ as possible, among sets of the same size (there is a similar, but slightly weaker and somewhat more complicated claim for general distances). This also implies that Hamming spheres are (almost) stablest with respect to noise among sets of the same size. In coding theory terms this means that a Hamming sphere (equivalently a Hamming ball) has the maximal probability of undetected error, among all binary codes of the same rate.
We also describe a family of hypercontractive inequalities for functions on $\{0,1\}^n$, which improve on the `usual' "$q \rightarrow 2$" inequality by taking into account the concentration of a function (expressed as the ratio between its $\ell_r$ norms), and which are nearly tight for characteristic functions of Hamming spheres.