Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A combinatorial algorithm for computing the entire sequence of the maximum degree of minors of a generic partitioned polynomial matrix with $2 \times 2$ submatrices
Published
• View Publication
• BIB
In this paper, we consider the problem of computing the entire sequence of the maximum degree of minors of a block-structured symbolic matrix (a generic partitioned polynomial matrix) $A = (A_{αβ} x_{αβ} t^{d_{αβ}})$, where $A_{αβ}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$, $x_{αβ}$ is an indeterminate, and $d_{αβ}$ is an integer for $α= 1,2,\dots, μ$ and $β= 1,2,\dots,ν$, and $t$ is an additional indeterminate. This problem can be viewed as an algebraic generalization of the maximum weight bipartite matching problem.
The main result of this paper is a combinatorial $O(μν\min\{μ, ν\}^2)$-time algorithm for computing the entire sequence of the maximum degree of minors of a $(2 \times 2)$-type generic partitioned polynomial matrix of size $2μ\times 2ν$. We also present a minimax theorem, which can be used as a good characterization (NP $\cap$ co-NP characterization) for the computation of the maximum degree of minors of order $k$. Our results generalize the classical primal-dual algorithm (the Hungarian method) and minimax formula (Egerváry's theorem) for the maximum weight bipartite matching problem.
Reconstruction of hypergraphs from line graphs and degree sequences
In this paper we consider the problem to reconstruct a $k$-uniform hypergraph from its line graph. In general this problem is hard. We solve this problem when the number of hyperedges containing any pair of vertices is bounded. Given an integer sequence, constructing a $k$-uniform hypergraph with that as its degree sequence is NP-complete. Here we show that for constant integer sequences the question can be answered in polynomial time using Baranyai's theorem.
Word-representability of split graphs generated by morphisms
Published
• View Publication
• BIB
A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$, $x\neq y$, alternate in $w$ if and only if $xy\in E$. A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. There is a long line of research on word-representable graphs in the literature, and recently, word-representability of split graphs has attracted interest.
In this paper, we first give a characterization of word-representable split graphs in terms of permutations of columns of the adjacency matrices. Then, we focus on the study of word-representability of split graphs obtained by iterations of a morphism, the notion coming from combinatorics on words. We prove a number of general theorems and provide a complete classification in the case of morphisms defined by $2\times 2$ matrices.
Complementation in t-perfect graphs
Published
• View Publication
• BIB
Inspired by applications of perfect graphs in combinatorial optimization, Chvátal defined t-perfect graphs in 1970s. The long efforts of characterizing t-perfect graphs started immediately, but embarrassingly, even a working conjecture on it is still missing after nearly 50 years. Unlike perfect graphs, t-perfect graphs are not closed under substitution or complementation. A full characterization of t-perfection with respect to substitution has been obtained by Benchetrit in his Ph.D. thesis. Through the present work we attempt to understand t-perfection with respect to complementation. In particular, we show that there are only five pairs of graphs such that both the graphs and their complements are minimally t-imperfect.
Symplectic right keys -- Type C Willis' direct way
It is known that the right key of a Kashiwara-Nakashima tableau can be computed using the Lecouvey-Sheats symplectic jeu de taquin. Motivated by Willis' direct way of computing type A right keys, we also give a way of computing symplectic right keys without the use of jeu de taquin.
Formalizing the Face Lattice of Polyhedra
Published in Logical Methods in Computer Science, Volume 18, Issue 2 (May 18, 2022) lmcs:7436
• View Publication
• BIB
Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library providing the basic constructions and operations over polyhedra, including projections, convex hulls and images under linear maps. Moreover, we design a special mechanism which automatically introduces an appropriate representation of a polyhedron or a face, depending on the context of the proof. We demonstrate the usability of this approach by establishing some of the most important combinatorial properties of faces, namely that they constitute a family of graded atomistic and coatomistic lattices closed under interval sublattices. We also prove a theorem due to Balinski on the $d$-connectedness of the adjacency graph of polytopes of dimension $d$.
Tropical tangents for complete intersection curves
Published
• View Publication
• BIB
We consider the tropicalization of tangent lines to a complete intersection curve $X$ in $\mathbb{P}^n$. Under mild hypotheses, we describe a procedure for computing the tropicalization of the image of the Gauss map of $X$ in terms of the tropicalizations of the hypersurfaces cutting out $X$. We apply this to obtain descriptions of the tropicalization of the dual variety $X^*$ and tangential variety $τ(X)$ of $X$. In particular, we are able to compute the degrees of $X^*$ and $τ(X)$ and the Newton polytope of $τ(X)$ without using any elimination theory.
Do alcoved lattice polytopes have unimodal h*-vector?
We show that h*-vectors of alcoved polytopes P in R^n (of Lie type A) are unimodal if they contain interior lattice points and their facets have lattice distance 1 to the set of interior lattice points. The maximal possible such distance for general alcoved polytopes is shown to be dim(P)-1. A secondary purpose of the paper is to serve as a guide to previous work surrounding unimodality of h*-vectors of alcoved polytopes and related questions.
Reductions for the 3-Decomposition Conjecture
Published
• View Publication
• BIB
The 3-decomposition conjecture is wide open. It asserts that every finite connected cubic graph can be decomposed into a spanning tree, a disjoint union of cycles, and a matching. We show that every such decomposition is derived from a homeomorphically irreducible spanning tree (HIST). This allows us to propose a novel reformulation of the 3-decomposition conjecture: the HIST-extension conjecture.
We also prove that the following graphs are reducible configurations with respect to the 3-decomposition conjecture: the triangle, the K_{2,3}, the Petersen graph with one vertex removed, the claw-square, the twin-house, and the domino. As an application, we show that all 3-connected graphs of tree-width at most 3 or of path-width at most 4 satisfy the 3-decomposition conjecture and that a 3-connected minimum counterexample to the conjecture is triangle-free, all cycles of length at most 6 are induced, and every edge is in the centre of an induced P_6.
Finally, we automate the naive part of the process of checking whether a configuration is reducible and we prove that all graphs of order at most 20 satisfy the 3-decomposition conjecture.
Constructing certain families of $\mathbf{3}$-polytopal graphs
Published
• View Publication
• BIB
Let $n\geq 3$ and $r_n$ be a $3$-polytopal graph such that for every $3\leq i\leq n$, $r_n$ has at least one vertex of degree $i$. We find the minimal vertex count for $r_n$. We then describe an algorithm to construct the graphs $r_n$. A dual statement may be formulated for faces of $3$-polytopes. The ideas behind the algorithm generalise readily to solve related problems.
Moreover, given a $3$-polytope $t_l$ comprising a vertex of degree $i$ for all $3\leq i\leq l$, $l$ fixed, we define an algorithm to output for $n>l$ a $3$-polytope $t_n$ comprising a vertex of degree $i$, for all $3\leq i\leq n$, and such that the initial $t_l$ is a subgraph of $t_n$. The vertex count of $t_n$ is asymptotically optimal, in the sense that it matches the aforementioned minimal vertex count up to order of magnitude, as $n$ gets large. In fact, we only lose a small quantity on the coefficient of the second highest term, and this quantity may be taken as small as we please, with the tradeoff of first constructing an accordingly large auxiliary graph.
On $(k,l,H)$-kernels by walks and the H-class digraph
Let $H$ be a digraph possibly with loops and $D$ a digraph without loops whose arcs are colored with the vertices of $H$ ($D$ is said to be an $H-$colored digraph). If $W=(x_{0},\ldots,x_{n})$ is an open walk in $D$ and $i\in \{1,\ldots,n-1\}$, we say that there is an obstruction on $x_{i}$ if $(color(x_{i-1},x_{i}),color(x_{i},x_{i+1}))\notin A(H)$. If $S\subseteq V(D)$, we say that $S$ is a $(k,l,H)$-kernel by walks if for every pair of different vertices in $S$, every walk between them has at least $k-1$ obstructions, and for every $x\in V(D)\setminus S$ there exists an $xS$-walk with at most $l-1$ obstructions. If $D$ is an $H$-colored digraph, an $H$-class partition is a partition $\mathscr{F}$ of $A(D)$ such that, for every $\{(u,v),(v,w)\}\subseteq A(D)$, $(color(u,v),color(v,w))\in A(H)$ iff there exists $F$ in $\mathscr{F}$ such that $\{(u,v),(v,w)\}\subseteq F$. The $H$-class digraph relative to $\mathscr{F}$, denoted by $C_{\mathscr{F}}(D)$, is the digraph such that $V(C_{\mathscr{F}}(D))=\mathscr{F}$, and $(F,G)\in A(C_{\mathscr{F}}(D))$ if and only if there exist $(u,v)\in F$ and $(v,w)\in G$ with $\{u,v,w\}\subseteq V(D)$. We will show sufficient conditions on $\mathscr{F}$ and $C_{\mathscr{F}}(D)$ to guarantee the existence of $(k,l,H)$-kernels by walks in $H$-colored digraphs, and we will show that some conditions are tight. For instance, we will show that if an $H$-colored digraph $D$ has an $H$-class partition in which every class induces a strongly connected digraph, and has an obstruction-free vertex, then for every $k\geq 2$, $D$ has a $(k,k-1,H)$-kernel by walks. Despite the fact that finding $(k,l)$-kernels in arbitrary $H$-colored digraphs is an NP-complete problem, some hypothesis presented in this paper can be verified in polynomial time.
On the trifference problem for linear codes
Published
• View Publication
• BIB
We prove that perfect $3$-hash linear codes in $\mathbb{F}_{3}^{n}$ must have dimension at most $ \left(\frac{1}{4}-ε\right)n$ for some absolute constant $ε> 0$.
Hard Diagrams of the Unknot
Published
• View Publication
• BIB
We present three "hard" diagrams of the unknot. They require (at least) three extra crossings before they can be simplified to the trivial unknot diagram via Reidemeister moves in $\mathbb{S}^2$. Both examples are constructed by applying previously proposed methods. The proof of their hardness uses significant computational resources. We also determine that no small "standard" example of a hard unknot diagram requires more than one extra crossing for Reidemeister moves in $\mathbb{S}^2$.
Mixed Eulerian numbers and Peterson Schubert calculus
Published
• View Publication
• BIB
Let $Φ$ be a root system. Postnikov introduced and studied the mixed $Φ$-Eulerian numbers. These numbers indicate the mixed volumes of $Φ$-hypersimplices. As specializations of these numbers, one can obtain the usual Eulerian numbers, the Catalan numbers, and the binomial coefficients. Recent work of Berget-Spink-Tseng gave a simple computation for the mixed $Φ$-Eulerian numbers when $Φ$ is of type $A$. In this paper we connect a relation between mixed $Φ$-Eulerian numbers and Peterson Schubert calculus. By using the connection, we provide a combinatorial model for the computation of Berget-Spink-Tseng in terms of left-right diagrams which were introduced by Abe-Horiguchi-Kuwata-Zeng for the purpose of Peterson Schubert calculus. We also derive a simple computation for the mixed $Φ$-Eulerian numbers in arbitrary Lie types from Peterson Schubert calculus.
Compatibility of Partitions with Trees, Hierarchies, and Split Systems
Published
• View Publication
• BIB
The question whether a partition $\mathcal{P}$ and a hierarchy $\mathcal{H}$ or a tree-like split system $\mathfrak{S}$ are compatible naturally arises in a wide range of classification problems. In the setting of phylogenetic trees, one asks whether the sets of $\mathcal{P}$coincide with leaf sets of connected components obtained by deleting some edges from the tree $T$ that represents $\mathcal{H}$ or $\mathfrak{S}$, respectively. More generally, we ask whether a refinement $T^*$ of $T$ exists such that $T^*$ and $\mathcal{P}$ are compatible in this sense. The latter is closely related to the question as to whether there exists a tree at all that is compatible with $\mathcal{P}$. We report several characterizations for (refinements of) hierarchies and split systems that are compatible with (systems of) partitions. In addition, we provide a linear-time algorithm to check whether refinements of trees and a given partition are compatible. The latter problem becomes NP-complete but fixed-parameter tractable if a system of partitions is considered instead of a single partition. In this context, we also explore the close relationship of the concept of compatibility and so-called Fitch maps.
Cut Vertices in Random Planar Maps
Published
• View Publication
• BIB
The main goal of this paper is to determine the asymptotic behavior of the number $X_n$ of cut-vertices in random planar maps with $n$ edges. It is shown that $X_n/n \to c$ in probability (for some explicit $c>0$). For so-called subcritical classes of planar maps (like outerplanar maps) we obtain a central limit theorem, too. Interestingly the combinatorics behind this seemingly simple problem is quite involved.
Lower Bounds and properties for the average number of colors in the non-equivalent colorings of a graph
Published
• View Publication
• BIB
We study the average number $\mathcal{A}(G)$ of colors in the non-equivalent colorings of a graph $G$. We show some general properties of this graph invariant and determine its value for some classes of graphs. We then conjecture several lower bounds on $\mathcal{A}(G)$ and prove that these conjectures are true for specific classes of graphs such as triangulated graphs and graphs with maximum degree at most 2.
Graph Similarity and Homomorphism Densities
We introduce the tree distance, a new distance measure on graphs. The tree distance can be computed in polynomial time with standard methods from convex optimization. It is based on the notion of fractional isomorphism, a characterization based on a natural system of linear equations whose integer solutions correspond to graph isomorphism. By results of Tinhofer (1986, 1991) and Dvořák (2010), two graphs G and H are fractionally isomorphic if and only if, for every tree T, the number of homomorphisms from T to G equals the corresponding number from T to H, which means that the tree distance of G and H is zero. Our main result is that this correspondence between the equivalence relations "fractional isomorphism" and "equal tree homomorphism densities" can be extended to a correspondence between the associated distance measures. Our result is inspired by a similar result due to Lovász and Szegedy (2006) and Borgs, Chayes, Lovász, Sós, and Vesztergombi (2008) that connects the cut distance of graphs to their homomorphism densities (over all graphs), which is a fundamental theorem in the theory of graph limits. We also introduce the path distance of graphs and take the corresponding result of Dell, Grohe, and Rattan (2018) for exact path homomorphism counts to an approximate level. Our results answer an open question of Grohe (2020).
We establish our main results by generalizing our definitions to graphons as this allows us to apply techniques from functional analysis. We prove the fairly general statement that, for every "reasonably" defined graphon pseudometric, an exact correspondence to homomorphism densities can be turned into an approximate one. We also provide an example of a distance measure that violates this reasonableness condition. This incidentally answers an open question of Grebík and Rocha (2021).
Distribution of distances in five dimensions and related problems
In this paper, we study the Erdős-Falconer distance problem in five dimensions for sets of Cartesian product structures. More precisely, we show that for $A\subset \mathbb{F}_p$ with $|A|\gg p^{\frac{13}{22}}$, then $Δ(A^5)=\mathbb{F}_p$. When $|A-A|\sim |A|$, we obtain stronger statements as follows:
If $|A|\gg p^{\frac{13}{22}}$, then $(A-A)^2+A^2+A^2+A^2+A^2=\mathbb{F}_p.$
If $|A|\gg p^{\frac{4}{7}}$, then $(A-A)^2+(A-A)^2+A^2+A^2+A^2+A^2=\mathbb{F}_p.$
We also prove that if $p^{4/7}\ll |A-A|=K|A|\le p^{5/8}$, then \[|A^2+A^2|\gg \min \left\lbrace \frac{p}{K^4}, \frac{|A|^{8/3}}{K^{7/3}p^{2/3}}\right\rbrace.\] As a consequence, $|A^2+A^2|\gg p$ when $|A|\gg p^{5/8}$ and $K\sim 1$, where $A^2=\{x^2\colon x\in A\}$.
Revising Johnson's table for the 21st century
Published
• View Publication
• BIB
What does it mean today to study a problem from a computational point of view? We focus on parameterized complexity and on Column 16 "Graph Restrictions and Their Effect" of D. S. Johnson's Ongoing guide, where several puzzles were proposed in a summary table with 30 graph classes as rows and 11 problems as columns. Several of the 330 entries remain unclassified into Polynomial or NP-complete after 35 years. We provide a full dichotomy for the Steiner Tree column by proving that the problem is NP-complete when restricted to Undirected Path graphs. We revise Johnson's summary table according to the granularity provided by the parameterized complexity for NP-complete problems.