Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Minimal Obstructions for Partial Representations of Interval Graphs
Published
• View Publication
• BIB
Interval graphs are intersection graphs of closed intervals. A generalization of recognition called partial representation extension was introduced recently. The input gives an interval graph with a partial representation specifying some pre-drawn intervals. We ask whether the remaining intervals can be added to create an extending representation. Two linear-time algorithms are known for solving this problem.
In this paper, we characterize the minimal obstructions which make partial representations non-extendible. This generalizes Lekkerkerker and Boland's characterization of the minimal forbidden induced subgraphs of interval graphs. Each minimal obstruction consists of a forbidden induced subgraph together with at most four pre-drawn intervals. A Helly-type result follows: A partial representation is extendible if and only if every quadruple of pre-drawn intervals is extendible by itself. Our characterization leads to a linear-time certifying algorithm for partial representation extension.
Scale-dependent Hausdorff dimensions in 2d gravity
Published
• View Publication
• BIB
By appropriate scaling of coupling constants a one-parameter family of ensembles of two-dimensional geometries is obtained, which interpolates between the ensembles of (generalized) causal dynamical triangulations and ordinary dynamical triangulations. We study the fractal properties of the associated continuum geometries and identify both global and local Hausdorff dimensions.
Bounding Clique-Width via Perfect Graphs
Published
• View Publication
• BIB
Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no subgraph isomorphic to $H_1$ or $H_2$. We continue a recent study into the clique-width of $(H_1,H_2)$-free graphs and present three new classes of $(H_1,H_2)$-free graphs of bounded clique-width and one of unbounded clique-width. The four new graph classes have in common that one of their two forbidden induced subgraphs is the diamond (the graph obtained from a clique on four vertices by deleting one edge). To prove boundedness of clique-width for the first three cases we develop a technique based on bounding clique covering number in combination with reduction to subclasses of perfect graphs. We extend our proof of unboundedness for the fourth case to show that Graph Isomorphism is Graph Isomorphism-complete on the same graph class. We also show the implications of our results for the computational complexity of the Colouring problem restricted to $(H_1,H_2)$-free graphs.
A finer reduction of constraint problems to digraphs
Published in Logical Methods in Computer Science, Volume 11, Issue 4 (December 29, 2015) lmcs:1619
• View Publication
• BIB
It is well known that the constraint satisfaction problem over a general relational structure A is polynomial time equivalent to the constraint problem over some associated digraph. We present a variant of this construction and show that the corresponding constraint satisfaction problem is logspace equivalent to that over A. Moreover, we show that almost all of the commonly encountered polymorphism properties are held equivalently on the A and the constructed digraph. As a consequence, the Algebraic CSP dichotomy conjecture as well as the conjectures characterizing CSPs solvable in logspace and in nondeterministic logspace are equivalent to their restriction to digraphs.
On Erdős-Ko-Rado for random hypergraphs II
Published
• View Publication
• BIB
Denote by $\mathcal{H}_k (n,p)$ the random $k$-graph in which each $k$-subset of $\{1... n\}$ is present with probability $p$, independent of other choices. More or less answering a question of Balogh, Bohman and Mubayi, we show: there is a fixed $\varepsilon >0$ such that if $n=2k+1$ and $p> 1-\varepsilon$, then w.h.p. (that is, with probability tending to 1 as $k\rightarrow \infty$), $\mathcal{H}_k (n,p)$ has the "Erdős-Ko-Rado property." We also mention a similar random version of Sperner's Theorem.
The smallest line arrangement which is free but not recursively free
In the category of free arrangements, inductively and recursively free arrangements are important. In particular, in the former, the conjecture by Terao asserting that freeness depends only on combinatorics holds true. A long standing problem whether all free arrangements are recursively free or not is settled by Cuntz and Hoge very recently, by giving a free but non-recursively free plane arrangement consisting of 27 planes.
In this paper, we construct a free but non-recursively free plane arrangement consisting of 13 planes, and show that this example is the smallest in the sense of the cardinality of planes. In other words, all free plane arrangements consisting of at most 12 planes are recursively free. To show it, we completely classify all free plane arrangements in terms of inductive freeness and three exceptions when the number of planes is at most 12.
The asymptotic complexity of matrix reduction over finite fields
Consider an invertible n \times n matrix over some field. The Gauss-Jordan elimination reduces this matrix to the identity matrix using at most n^2 row operations and in general that many operations might be needed.
In [1] the authors considered matrices in GL(n;q), the set of n \times n invertible matrices in the finite field of q elements, and provided an algorithm using only row operations which performs asymptotically better than the Gauss-Jordan elimination. More specifically their `striped elimination algorithm' has asymptotic complexity \frac{n^2}{\log_q{n}}. Furthermore they proved that up to a constant factor this algorithm is best possible as almost all matrices in GL(n;g) need asymptotically at least \frac{n^2}{2\log_q{n}} operations.
In this short note we show that the `striped elimination algorithm' is asymptotically optimal by proving that almost all matrices in GL(n;q) need asymptotically at least frac{n^2}{\log_q{n}} operations.
Universal Lyndon Words
Published in Lecture Notes in Computer Science, 8634: 135-146 (2014)
• View Publication
• BIB
A word $w$ over an alphabet $Σ$ is a Lyndon word if there exists an order defined on $Σ$ for which $w$ is lexicographically smaller than all of its conjugates (other than itself). We introduce and study \emph{universal Lyndon words}, which are words over an $n$-letter alphabet that have length $n!$ and such that all the conjugates are Lyndon words. We show that universal Lyndon words exist for every $n$ and exhibit combinatorial and structural properties of these words. We then define particular prefix codes, which we call Hamiltonian lex-codes, and show that every Hamiltonian lex-code is in bijection with the set of the shortest unrepeated prefixes of the conjugates of a universal Lyndon word. This allows us to give an algorithm for constructing all the universal Lyndon words.
The Moser-Tardos Framework with Partial Resampling
Published in Journal of the ACM 66(5), Article #36 (2019)
• View Publication
• BIB
The resampling algorithm of Moser \& Tardos is a powerful approach to develop constructive versions of the Lovász Local Lemma (LLL). We generalize this to partial resampling: when a bad event holds, we resample an appropriately-random subset of the variables that define this event, rather than the entire set as in Moser & Tardos. This is particularly useful when the bad events are determined by sums of random variables. This leads to several improved algorithmic applications in scheduling, graph transversals, packet routing etc. For instance, we settle a conjecture of Szabó & Tardos (2006) on graph transversals asymptotically, and obtain improved approximation ratios for a packet routing problem of Leighton, Maggs, & Rao (1994).
Virasoro constraints and topological recursion for Grothendieck's dessin counting
Published in Lett. Math. Phys. 105 (8), 1057-1084 (2015)
• View Publication
• BIB
We compute the number of coverings of ${\mathbb{C}}P^1\setminus\{0, 1, \infty\}$ with a given monodromy type over $\infty$ and given numbers of preimages of 0 and 1. We show that the generating function for these numbers enjoys several remarkable integrability properties: it obeys the Virasoro constraints, an evolution equation, the KP (Kadomtsev-Petviashvili) hierarchy and satisfies a topological recursion in the sense of Eynard-Orantin.
Vertex adjacencies in the set covering polyhedron
Published in Discrete Applied Mathematics, Volume 218, Pages 40-56, 2017
• View Publication
• BIB
We describe the adjacency of vertices of the (unbounded version of the) set covering polyhedron, in a similar way to the description given by Chvatal for the stable set polytope. We find a sufficient condition for adjacency, and characterize it with similar conditions in the case where the underlying matrix is row circular. We apply our findings to show a new infinite family of minimally nonideal matrices.
A note on the unit distance problem for planar configurations with Q-independent direction set
Published
• View Publication
• BIB
Let $T(n)$ denote the maximum number of unit distances that a set of $n$ points in the Euclidean plane $\mathbb{R}^2$ can determine with the additional condition that the distinct unit length directions determined by the configuration must be $\mathbb{Q}$-independent. This is related to the Erdos unit distance problem but with a simplifying additional assumption on the direction set which holds "generically".
We show that $T(n+1)-T(n)$ is the Hamming weight of $n$, i.e., the number of nonzero binary coefficients in the binary expansion of $n$, and find a formula for $T(n)$ explicitly. In particular $T(n)$ is $Θ(n log(n))$. Furthermore we describe a process to construct a set of $n$ points in the plane with $\mathbb{Q}$-independent unit length direction set which achieves exactly $T(n)$ unit distances. In the process of doing this, we show $T(n)$ is also the same as the maximum number of edges a subset of vertices of size $n$ determines in either the countably infinite lattice $\mathbb{Z}^{\infty}$ or the infinite hypercube graph $\{0,1\}^{\infty}$.
The problem of determining T(n) can be viewed as either a type of packing or isoperimetric problem.
Order complexes of coset posets of finite groups are not contractible
Published in Adv. Math. 291 (2016), 758-773
• View Publication
• BIB
We show that the order complex of the poset of all cosets of all proper subgroups of a finite group $G$ is never $\mathbb{F}_{2}$-acyclic and therefore never contractible. This settles a question of K. S. Brown.
Topological Ramsey spaces and metrically Baire sets
Published
• View Publication
• BIB
We characterize a class of topological Ramsey spaces such that each element $\mathcal R$ of the class induces a collection $\{\mathcal R_k\}_{k<ω}$ of projected spaces which have the property that every Baire set is Ramsey. Every projected space $\mathcal R_k$ is a subspace of the corresponding space of length-$k$ approximation sequences with the Tychonoff, equivalently metric, topology.
This answers a question of S. Todorcevic and generalizes the results of Carlson \cite{Carlson}, Carlson-Simpson \cite{CarSim2}, Prömel-Voigt \cite{PromVoi}, and Voigt \cite{Voigt}. We also present a new family of topological Ramsey spaces contained in the aforementioned class which generalize the spaces of ascending parameter words of Carlson-Simpson \cite{CarSim2} and Prömel-Voigt \cite{PromVoi} and the spaces $\FIN_m^{[\infty]}$, $0<m<ω$, of block sequences defined by Todorcevic \cite{Todo}.
The uncrossing partial order on matchings is Eulerian
Published
• View Publication
• BIB
We prove that the partial order on the set of matchings of 2n points on a circle, given by resolving crossings, is an Eulerian poset.
Estimating the asymptotics of solid partitions
Published in J Stat Phys 158 (2015) 950-967
• View Publication
• BIB
We study the asymptotic behavior of solid partitions using transition matrix Monte Carlo simulations. If $p_3(n)$ denotes the number of solid partitions of an integer $n$, we show that $\lim_{n\rightarrow\infty} n^{-3/4} \log p_3(n)\sim 1.822\pm 0.001$. This shows clear deviation from the value $1.7898$, attained by MacMahon numbers $m_3(n)$, that was conjectured to hold for solid partitions as well. In addition, we find estimates for other sub-leading terms in $\log p_3(n)$. In a pattern deviating from the asymptotics of line and plane partitions, we need to add an oscillatory term in addition to the obvious sub-leading terms. The period of the oscillatory term is proportional to $n^{1/4}$, the natural scale in the problem. This new oscillatory term might shed some insight into why partitions in dimensions greater than two do not admit a simple generating function.
Congruences and relations for r-Fishburn numbers
Published
• View Publication
• BIB
Recently Andrews and Sellers proved some amazing congruences for the Fishburn numbers. We extend their results to a more general sequence of numbers. As a result we prove a new congruence mod 23 for the Fishburn numbers and prove their conjectured mod 5 congruence for a related sequence. We also extend and prove some unpublished conjectures of Garthwaite and Rhoades.
Triangulated map with minimum degree four is Hamiltonian
A $triangulation$ is an embedding of a graph on surfaces where every face has length three. In this article, we show the existence of contractible Hamiltonian cycle in triangulated maps of which minimum degree is four.
Distinguishing Chromatic Number of Random Cayley graphs
Published
• View Publication
• BIB
The \textit{Distinguishing Chromatic Number} of a graph $G$, denoted $χ_D(G)$, was first defined in \cite{collins} as the minimum number of colors needed to properly color $G$ such that no non-trivial automorphism $φ$ of the graph $G$ fixes each color class of $G$. In this paper, we consider random Cayley graphs $Γ(A,S)$ defined over certain abelian groups $A$ and show that with probability at least $1-n^{-Ω(\log n)}$ we have, $χ_D(Γ)\leχ(Γ) + 1$.
Proper Hamiltonian Paths in Edge-Coloured Multigraphs
Given a $c$-edge-coloured multigraph, a proper Hamiltonian path is a path that contains all the vertices of the multigraph such that no two adjacent edges have the same colour. In this work we establish sufficient conditions for an edge-coloured multigraph to guarantee the existence of a proper Hamiltonian path, involving various parameters as the number of edges, the number of colours, the rainbow degree and the connectivity.