Showing 20 papers (Total: 82851 papers, 47869 authors in database)
$(D+1)$-Colored Graphs - a Review of Sundry Properties
Published in SIGMA 12 (2016), 076, 27 pages
• View Publication
• BIB
We review the combinatorial, topological, algebraic and metric properties supported by $(D+1)$-colored graphs, with a focus on those that are pertinent to the study of tensor model theories. We show how to extract a limiting continuum metric space from this set of graphs and detail properties of this limit through the calculation of exponents at criticality.
Heredity for generalized power domination
Published
• View Publication
• BIB
In this paper, we study the behaviour of the generalized power domination number of a graph by small changes on the graph, namely edge and vertex deletion and edge contraction. We prove optimal bounds for $γ\_{p,k}(G-e)$, $γ\_{p,k}(G/e)$ and for $γ\_{p,k}(G-v)$ in terms of $γ\_{p,k}(G)$, and give examples for which these bounds are tight. We characterize all graphs for which $γ\_{p,k}(G-e) = γ\_{p,k}(G)+1$ for any edge $e$. We also consider the behaviour of the propagation radius of graphs by similar modifications.
Peeling and Nibbling the Cactus: Subexponential-Time Algorithms for Counting Triangulations and Related Problems
Given a set of $n$ points $S$ in the plane, a triangulation $T$ of $S$ is a maximal set of non-crossing segments with endpoints in $S$. We present an algorithm that computes the number of triangulations on a given set of $n$ points in time $n^{(11+ o(1))\sqrt{n} }$, significantly improving the previous best running time of $O(2^n n^2)$ by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size $O(\sqrt{n})$ of a triangulation in a canonical way. The definition of the separators are based on the decomposition of the triangulation into nested layers ("cactus graphs"). Based on the above algorithm, we develop a simple and formal framework to count other non-crossing straight-line graphs in $n^{O(\sqrt{n})}$ time. We demonstrate the usefulness of the framework by applying it to counting non-crossing Hamilton cycles, spanning trees, perfect matchings, $3$-colorable triangulations, connected graphs, cycle decompositions, quadrangulations, $3$-regular graphs, and more.
Special divisors on marked chains of cycles
Published in J. Combin. Theory Ser. A 150 (2017), 182-207
• View Publication
• BIB
We completely describe all Brill-Noether loci on metric graphs consisting of a chain of g cycles with arbitrary edge lengths, generalizing work of Cools, Draisma, Payne, and Robeva. The structure of these loci is determined by displacement tableaux on rectangular partitions, which we define. More generally, we fix a marked point on the rightmost cycle, and completely analyze the loci of divisor classes with specified ramification at the marked point, classifying them using displacement tableaux. Our results give a tropical proof of the generalized Brill-Noether theorem for general marked curves, and serve as a foundation for the analysis of general algebraic curves of fixed gonality.
Tangles and the Mona Lisa
We show how an image can, in principle, be described by the tangles of the graph of its pixels.
The tangle-tree theorem provides a nested set of separations that efficiently distinguish all the distinguishable tangles in a graph. This translates to a small data set from which the image can be reconstructed.
The tangle duality theorem says that a graph either has a certain-order tangle or a tree-structure witnessing that this cannot exist. This tells us the maximum resolution at which the image contains meaningful information.
Some Ree and Suzuki curves are not Galois covered by the Hermitian curve
Published
• View Publication
• BIB
The Deligne-Lusztig curves associated to the algebraic groups of type $^2A_2$, $^2B_2$, and $^2G_2$ are classical examples of maximal curves over finite fields. The Hermitian curve $\mathcal H_q$ is maximal over $\mathbb F_{q^2}$, for any prime power $q$, the Suzuki curve $\mathcal S_q$ is maximal over $\mathbb F_{q^4}$, for $q=2^{2h+1}$, $h\geq1$ and the Ree curve $\mathcal R_q$ is maximal over $\mathbb F_{q^6}$, for $q=3^{2h+1}$, $h\geq0$. In this paper we show that $\mathcal S_8$ is not Galois covered by $\mathcal H_{64}$. We also give a proof for an unpublished result due to Rains and Zieve stating that $\mathcal R_3$ is not Galois covered by $\mathcal H_{27}$. Furthermore, we determine the spectrum of genera of Galois subcovers of $\mathcal H_{27}$, and we point out that some Galois subcovers of $\mathcal R_3$ are not Galois subcovers of $\mathcal H_{27}$.
A Liouville hyperbolic souvlaki
Published
• View Publication
• BIB
We construct a transient bounded-degree graph no transient subgraph of which embeds in any surface of finite genus.
Moreover, we construct a transient, Liouville, bounded-degree, Gromov--hyperbolic graph with trivial hyperbolic boundary that has no transient subtree. This answers a question of Benjamini. This graph also yields a (further) counterexample to a conjecture of Benjamini and Schramm.
On subsets of the normal rational curve
Published
• View Publication
• BIB
A normal rational curve of the $(k-1)$-dimensional projective space over ${\mathbb F}_q$ is an arc of size $q+1$, since any $k$ points of the curve span the whole space. In this article we will prove that if $q$ is odd then a subset of size $3k-6$ of a normal rational curve cannot be extended to an arc of size $q+2$. In fact, we prove something slightly stronger. Suppose that $q$ is odd and $E$ is a $(2k-3)$-subset of an arc $G$ of size $3k-6$. If $G$ projects to a subset of a conic from every $(k-3)$-subset of $E$ then $G$ cannot be extended to an arc of size $q+2$. Stated in terms of error-correcting codes we prove that a $k$-dimensional linear maximum distance separable code of length $3k-6$ over a field ${\mathbb F}_q$ of odd characteristic, which can be extended to a Reed-Solomon code of length $q+1$, cannot be extended to a linear maximum distance separable code of length $q+2$.
Cyclic Coloring of Plane Graphs with Maximum Face Size 16 and 17
Plummer and Toft conjectured in 1987 that the vertices of every 3-connected plane graph with maximum face size D can be colored using at most D+2 colors in such a way that no face is incident with two vertices of the same color. The conjecture has been proven for D=3, D=4 and D>=18. We prove the conjecture for D=16 and D=17.
The matroid secretary problem for minor-closed classes and random matroids
Published
• View Publication
• BIB
We prove that for every proper minor-closed class $M$ of matroids representable over a prime field, there exists a constant-competitive matroid secretary algorithm for the matroids in $M$. This result relies on the extremely powerful matroid minor structure theory being developed by Geelen, Gerards and Whittle.
We also note that for asymptotically almost all matroids, the matroid secretary algorithm that selects a random basis, ignoring weights, is $(2+o(1))$-competitive. In fact, assuming the conjecture that almost all matroids are paving, there is a $(1+o(1))$-competitive algorithm for almost all matroids.
A new expander and improved bounds for $A(A+A)$
The main result in this paper concerns a new five-variable expander. It is proven that for any finite set of real numbers $A$, $$|\{(a_1+a_2+a_3+a_4)^2+\log a_5 :a_1,a_2,a_3,a_4,a_5 \in A \}| \gg \frac{|A|^2}{\log |A|}.$$ This bound is optimal, up to logarithmic factors. The paper also gives new lower bounds for $|A(A-A)|$ and $|A(A+A)|$, improving on results from arXiv:1312.6438. The new bounds are $$|A(A-A)| \gtrapprox |A|^{3/2+\frac{1}{34}}$$ and $$|A(A+A)| \gtrapprox |A|^{3/2+\frac{5}{242}}.$$
Cops, Robber and Medianwidth Parameters
In previous work, we introduced median decompositions, a generalisation of tree decompositions where a graph can be modelled after any median graph, along with a hierarchy of $i$-medianwidth parameters $(mw_i)_{i\geq 1}$ starting from treewidth and converging to the clique number.
We introduce another graph parameter based on the concept of median decompositions, to be called $i$-latticewidth and denoted by $lw_i$, for which we restrict the modelling median graph of a decomposition to be isometrically embeddable into the Cartesian product of $i$ paths. The sequence $(lw_i)_{i\geq 1}$ gives rise to a hierarchy of parameters starting from pathwidth and converging to the clique number. We characterise the $i$-latticewidth of a graph in terms of maximal intersections of bags of $i$ path decompositions of the graph.
We study a generalisation of the classical Cops and Robber game, where the robber plays against not just one, but $i$ cop players. Depending on whether the robber is visible or not, we show a direct connection to $i$-medianwidth or $i$-latticewidth, respectively.
The First Time KE is Broken up
A relevant collection is a collection, $F$, of sets, such that each set in $F$ has the same cardinality, $α(F)$. A Konig Egervary (KE) collection is a relevant collection $F$, that satisfies $|\bigcup F|+|\bigcap F|=2α(F)$. An hke (hereditary KE) collection is a relevant collection such that all of his non-empty subsets are KE collections. In \cite{jlm} and \cite{dam}, Jarden, Levit and Mandrescu presented results concerning graphs, that give the motivation for the study of hke collections. In \cite{hke}, Jarden characterize hke collections.
Let $Γ$ be a relevant collection such that $Γ-\{S\}$ is an hke collection, for every $S \in Γ$. We study the difference between $|\bigcap Γ_1-\bigcup Γ_2|$ and $|\bigcap Γ_2-\bigcup Γ_1|$, where $\{Γ_1,Γ_2\}$ is a partition of $Γ$. We get new characterizations for an hke collection and for a KE graph.
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
Published in Journal of Symbolic Computation, volume 85, pages 25-54, 2018
• View Publication
• BIB
A general issue in computational optimization is to develop combinatorial algorithms for semidefinite programming. We address this issue when the base field is nonarchimedean. We provide a solution for a class of semidefinite feasibility problems given by generic matrices. Our approach is based on tropical geometry. It relies on tropical spectrahedra, which are defined as the images by the valuation of nonarchimedean spectrahedra. We establish a correspondence between generic tropical spectrahedra and zero-sum stochastic games with perfect information. The latter have been well studied in algorithmic game theory. This allows us to solve nonarchimedean semidefinite feasibility problems using algorithms for stochastic games. These algorithms are of a combinatorial nature and work for large instances.
Clique Minors in Double-critical Graphs
Published
• View Publication
• BIB
A connected $t$-chromatic graph $G$ is \dfn{double-critical} if $G \backslash\{u, v\}$ is $(t-2)$-colorable for each edge $uv\in E(G)$. A long standing conjecture of Erdős and Lovász that the complete graphs are the only double-critical $t$-chromatic graphs remains open for all $t\ge6$. Given the difficulty in settling Erdős and Lovász's conjecture and motivated by the well-known Hadwiger's conjecture, Kawarabayashi, Pedersen and Toft proposed a weaker conjecture that every double-critical $t$-chromatic graph contains a $K_t$ minor and verified their conjecture for $t\le7$. Albar and Gonçalves recently proved that every double-critical $8$-chromatic graph contains a $K_8$ minor, and their proof is computer-assisted. In this paper we prove that every double-critical $t$-chromatic graph contains a $K_t$ minor for all $t\le9$. Our proof for $t\le8$ is shorter and computer-free.
Some bounds on the maximum induced matching numbers of certain grids
An induced matching $M$ in a graph $G$ is a matching in $G$ that is also the edge set of an induced subgraph of $G$. That is, any edge not in $M$ must have no more than one incident vertex saturated by $M$. The maximum size $|M|$ of an induced matching $M$ of $G$ is maximum induced matching number of $G$, which is denoted by $\textrm{Max}(G)$. In this article, we obtain upper bounds for $\textrm{Max}(G)$, for $G=G_{n,m}$, grids with $n,m \geq 9$, $m\equiv 1 \mod 4$ and $nm$ odd.
A new series of large sets of subspace designs over the binary field
Published in Designs, Codes and Cryptography 86[2] (2018), 251-268
• View Publication
• BIB
In this article, we show the existence of large sets $\operatorname{LS}_2[3](2,k,v)$ for infinitely many values of $k$ and $v$. The exact condition is $v \geq 8$ and $0 \leq k \leq v$ such that for the remainders $\bar{v}$ and $\bar{k}$ of $v$ and $k$ modulo $6$ we have $2 \leq \bar{v} < \bar{k} \leq 5$.
The proof is constructive and consists of two parts. First, we give a computer construction for an $\operatorname{LS}_2[3](2,4,8)$, which is a partition of the set of all $4$-dimensional subspaces of an $8$-dimensional vector space over the binary field into three disjoint $2$-$(8, 4, 217)_2$ subspace designs. Together with the already known $\operatorname{LS}_2[3](2,3,8)$, the application of a recursion method based on a decomposition of the Graßmannian into joins yields a construction for the claimed large sets.
New proofs of Melzak's identity
Published
• View Publication
• BIB
In their recent book on combinatorial identities, Quaintance and Gould devoted one chapter to Melzak's identity. We give new proofs for this identity and its generalization.
Sums of squares of Krawtchouk polynomials, Catalan numbers, and some algebras over the Boolean lattice
Writing the values of Krawtchouk polynomials as matrices, we consider weighted partial sums along columns. For the general case, we find an identity that, in the symmetric case yields a formula for such partial sums. Complete sums of squares along columns involve "Super Catalan" numbers. We look as well for particular values (matrix entries) involving the Catalan numbers. Properties considered and developed in this work are applied to calculations of various dimensions that describe the structure of some *-algebras over the Boolean lattice based on inclusion/superset relations expressed algebraically using zeons [zero-square elements].
Taming Reluctant Random Walks in the Positive Quadrant
Published
• View Publication
• BIB
A lattice walk model is said to be reluctant if the defining step set has a strong drift towards the boundaries. We describe efficient random generation strategies for these walks.