Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Observations on the Perturbed Wedge
Santos' construction of the first known counterexample to the Hirsch conjecture, for bounded polytopes, follows the strategy of first finding a counterexample to the nonrevisiting conjecture. Santos constructs a $5$-dimensional all-but-simple spindle $(P,x,y)$ of length $6$, which is a counterexample to the nonrevisiting conjecture.
For simple polytopes, if we had a counterexample to the nonrevisiting conjecture, we would produce the corresponding counterexample to the Hirsch conjecture through repeated wedging, over all the facets not incident to $x$ or $y$. However, Santos $5$-dimensional spindle is not simple. Every facet is incident to either $x$ or $y$, so we need an alternate method to produce the corresponding counterexample to the Hirsch conjecture. Santos has offered the perturbed wedge to accomplish this.
In these working notes, we offer some technical details regarding the nonsimplicities under iterations of the perturbed wedge construction.
NOTE: these are working notes about the construction.
Counting Conjugacy Classes of Elements of Finite Order in Lie Groups
Published in European Journal of Combinatorics 36 (2014), pp. 86-96
• View Publication
• BIB
Using combinatorial techniques, we answer two questions about simple classical Lie groups. Define $N(G,m)$ to be the number of conjugacy classes of elements of finite order $m$ in a Lie group $G$, and $N(G,m,s)$ to be the number of such classes whose elements have $s$ distinct eigenvalues or conjugate pairs of eigenvalues. What is $N(G,m)$ for $G$ a unitary, orthogonal, or symplectic group? What is $N(G,m,s)$ for these groups? For some cases, the first question was answered a few decades ago via group-theoretic techniques. It appears that the second question has not been asked before; here it is inspired by questions related to enumeration of vacua in string theory. Our combinatorial methods allow us to answer both questions.
An Exact Algorithm for the Generalized List $T$-Coloring Problem
Published
• View Publication
• BIB
The generalized list $T$-coloring is a common generalization of many graph coloring models, including classical coloring, $L(p,q)$-labeling, channel assignment and $T$-coloring. Every vertex from the input graph has a list of permitted labels. Moreover, every edge has a set of forbidden differences. We ask for such a labeling of vertices of the input graph with natural numbers, in which every vertex gets a label from its list of permitted labels and the difference of labels of the endpoints of each edge does not belong to the set of forbidden differences of this edge. In this paper we present an exact algorithm solving this problem, running in time $\mathcal{O}^*((τ+2)^n)$, where $τ$ is the maximum forbidden difference over all edges of the input graph and $n$ is the number of its vertices. Moreover, we show how to improve this bound if the input graph has some special structure, e.g. a bounded maximum degree, no big induced stars or a perfect matching.
Supersolvable restrictions of reflection arrangements
Published
• View Publication
• BIB
Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable. For X in L(A), it is known that the restriction A^X is supersolvable provided A is.
Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A(W) = (A(W), V) be its associated hyperplane arrangement. In earlier work by the last two authors, we classified all supersolvable reflection arrangements. Extending this work, the aim of this note is to determine all supersolvable restrictions of reflection arrangements. It turns out that apart from the obvious restrictions of supersolvable reflection arrangements there are only a few additional instances. Moreover, in our previous work, we classified all inductively free restrictions A(W)^X of reflection arrangements A(W). Since every supersolvable arrangement is inductively free, the supersolvable restrictions A(W)^X of reflection arrangements A(W) form a natural subclass of the class of inductively free restrictions A(W)^X.
Finally, we characterize the irreducible supersolvable restrictions of reflection arrangements by the presence of modular elements of dimension 1 in their intersection lattice. This in turn shows that reflection arrangements as well as their restrictions are of fiber type if and only if they are strictly linearly fibered.
On the genus filtration of diagrams over two backbones
In this paper we compute the bivariate generating function of $γ$-matchings over two backbones, filtered by the number of arcs and the topological genus. $γ$-matchings over two backbones are chord-diagrams, obtained via concatenation and nesting of irreducible shapes of topological genus $\le γ$. We show that the key information is contained in the polynomials counting these shapes and provide recursions that allow to compute the latter. In particular we give a bijection between such irreducible shapes over one and two backbones. We present two applications of our results. The first is concerned with RNA-RNA interaction structures, obtained from the $γ$-matchings via symbolic methods. We secondly show that, using analytic-combinatorial methods, the topological genus satisfies a central limit theorem.
Uniform generation of RNA-RNA interaction structures of fixed topological genus
Published
• View Publication
• BIB
Interacting RNA complexes are studied via bicellular maps using a filtration via their topological genus. Our main result is a new bijection for RNA-RNA interaction structures and linear time uniform sampling algorithm for RNA complexes of fixed topological genus. The bijection allows to either reduce the topological genus of a bicellular map directly, or to lose connectivity by decomposing the complex into a pair of single stranded RNA structures. Our main result is proved bijectively. It provides an explicit algorithm of how to rewire the corresponding complexes and an unambiguous decomposition grammar. Using the concept of genus induction, we construct bicellular maps of fixed topological genus $g$ uniformly in linear time. We present various statistics on these topological RNA complexes and compare our findings with biological complexes. Furthermore we show how to construct loop-energy based complexes using our decomposition grammar.
Enumeration for the total number of all spanning forests of complete tripartite graph based on the combinatorial decomposition
This paper discusses the enumeration for the total number of all rooted spanning forests of the labeled complete tripartite graph. We enumerate the total number by a combinatorial decomposition.
An extremal problem on Hilbert cubes and complete r-partite hypergraphs
We construct a set of positive integers A in {1,..., n} with |A|>> n^{2/3} that does not contain Hilbert cubes of dimension 3. As a consequence we prove that ex(n; K^(3)(2,2,2))>> n^{8/3} where K^(3)(2,2,2) is the simplest complete 3-partite hypergraph. This is the first case of an improvement on the trivial lower bound for ex(n; L) when L is a complete r-partite hypergraph.
Mondshein Sequences (a.k.a. (2,1)-Orders)
Published
• View Publication
• BIB
Canonical orderings [STOC'88, FOCS'92] have been used as a key tool in graph drawing, graph encoding and visibility representations for the last decades. We study a far-reaching generalization of canonical orderings to non-planar graphs that was published by Lee Mondshein in a PhD-thesis at M.I.T. as early as 1971.
Mondshein proposed to order the vertices of a graph in a sequence such that, for any i, the vertices from 1 to i induce essentially a 2-connected graph while the remaining vertices from i+1 to n induce a connected graph. Mondshein's sequence generalizes canonical orderings and became later and independently known under the name non-separating ear decomposition. Surprisingly, this fundamental link between canonical orderings and non-separating ear decomposition has not been established before. Currently, the fastest known algorithm for computing a Mondshein sequence achieves a running time of O(nm); the main open problem in Mondshein's and follow-up work is to improve this running time to subquadratic time.
After putting Mondshein's work into context, we present an algorithm that computes a Mondshein sequence in optimal time and space O(m). This improves the previous best running time by a factor of n. We illustrate the impact of this result by deducing linear-time algorithms for five other problems, for four out of which the previous best running times have been quadratic. In particular, we show how to - compute three independent spanning trees of a 3-connected graph in time O(m), - improve the preprocessing time from O(n^2) to O(m) for a data structure reporting 3 internally disjoint paths between any given vertex pair, - derive a very simple O(n)-time planarity test once a Mondshein sequence has been computed, - compute a nested family of contractible subgraphs of 3-connected graphs in time O(m), - compute a 3-partition in time O(m).
Submatrices of Hadamard matrices: complementation results
Published in Electron. J. Linear Algebra 27 (2014), 197-212
• View Publication
• BIB
Two submatrices $A,D$ of a Hadamard matrix $H$ are called complementary if, up to a permutation of rows and columns, $H=[^A_C{\ }^B_D]$. We find here an explicit formula for the polar decomposition of $D$. As an application, we show that under suitable smallness assumptions on the size of $A$, the complementary matrix $D$ is an almost Hadamard sign pattern, i.e. its rescaled polar part is an almost Hadamard matrix.
Polyhedral Covers of Tree Space
Published in SIAM Journal of Discrete Mathematics 28 (2014) 1508 - 1514
• View Publication
• BIB
The phylogenetic tree space, introduced by Billera, Holmes, and Vogtmann, is a cone over a simplicial complex. In this short article, we construct this complex from local gluings of classical polytopes, the associahedron and the permutohedron. Its homotopy is also reinterpreted and calculated based on polytope data.
Three dimensional Seiberg-like duality and tropical cluster algebra
Seiberg-like duality of three dimensional N=2 Chern-Simons-Matter quiver gauge theory is shown to have a chiral double tropical cluster algebra structure. We use cluster algebra results to study combinatorial aspects of these theories such as classification, supersymmetry breaking, etc.
Covering Paths and Trees for Planar Grids
Given a set of points in the plane, a covering path is a polygonal path that visits all the points. In this paper we consider covering paths of the vertices of an n x m grid. We show that the minimal number of segments of such a path is $2\min(n,m)-1$ except when we allow crossings and $n=m\ge 3$, in which case the minimal number of segments of such a path is $2\min(n,m)-2$, i.e., in this case we can save one segment. In fact we show that these are true even if we consider covering trees instead of paths.
These results extend previous works on axis-aligned covering paths of n x m grids and complement the recent study of covering paths for points in general position, in which case the problem becomes significantly harder and is still open.
Optimal Binary Subspace Codes of Length 6, Constant Dimension 3 and Minimum Distance 4
Published in Contemporary Mathematics 632 (2015), ISBN 978-0-8218-9860-4, 157-176
• View Publication
• BIB
It is shown that the maximum size of a binary subspace code of packet length $v=6$, minimum subspace distance $d=4$, and constant dimension $k=3$ is $M=77$; in Finite Geometry terms, the maximum number of planes in $\operatorname{PG}(5,2)$ mutually intersecting in at most a point is $77$. Optimal binary $(v,M,d;k)=(6,77,4;3)$ subspace codes are classified into $5$ isomorphism types, and a computer-free construction of one isomorphism type is provided. The construction uses both geometry and finite fields theory and generalizes to any $q$, yielding a new family of $q$-ary $(6,q^6+2q^2+2q+1,4;3)$ subspace codes.
Majority out-dominating functions in digraphs
At least two different notions have been published under the name "majority domination in graphs": Majority dominating functions and majority dominating sets. In this work we extend the former concept to digraphs. Given a digraph $D=(V,A),$ a function $f : V \rightarrow \{-1,1\}$ such that $f(N^+[v])\geq1$ for at least half of the vertices $v$ in $V$ is a majority out-dominating function (MODF) of $D.$ The weight of a MODF $f$ is $w(f)=\sum\limits_{v\in V}f(v),$ and the minimum weight of a MODF in $D$ is the majority out-domination number of $D,$ denoted $γ^+_{maj}(D).$ In this work we introduce these concepts and prove some results regarding them, among which the fact that the decision problem of finding a majority out-dominating function of a given weight is NP-complete.
Majority out-dominating sets in digraphs
The concept of majority domination in graphs has been defined in at least two different ways: As a function and as a set. In this work we extend the latter concept to digraphs, while the former was extended in another paper. Given a digraph $D=(V,A),$ a set $S\subseteq V$ is a \textit{majority out-dominating set} (MODS) of $D$ if $|N^+[S]|\geq \frac {n}{2}.$ The minimum cardinality of a MODS in $D$ is the {\it set majority out-domination number} $γ^+_{m}(D)$ of $D.$ In this work we introduce these concepts and prove some results about them, among which the characterization of minimal MODSs.
Construction of Directed Strongly Regular Graphs Using Block Matrices
The concept of directed strongly regular graphs was introduced by Duval in his paper, A Directed Graph Version of Strongly Regular Graphs. Duval also provided several construction methods for directed strongly regular graphs. The directed strongly regular graphs reported in this paper are obtained using a block construction of adjacency matrices of regular tournaments and circulant matrices. We then give some algebraic and combinatorial interpretation of these graphs in connection with known directed strongly regular graphs and related combinatorial structures.
Avoiding 5-circuits in a 2-factor of cubic graphs
Published in SIAM Journal on Discrete Mathematics 29 (2015) 1387-1405
• View Publication
• BIB
We show that every bridgeless cubic graph $G$ on $n$ vertices other than the Petersen graph has a 2-factor with at most $2(n-2)/15$ circuits of length $5$. An infinite family of graphs attains this bound. We also show that $G$ has a 2-factor with at most $n/5.8\overline{3}$ odd circuits. This improves the previously known bound of $n/5.41$ [Lukoťka, Máčajová, Mazák, Škoviera: Small snarks with large oddness, arXiv:1212.3641 [cs.DM] ].
Directed cycle double covers: structure and generation of hexagon graphs
Jaeger's directed cycle double cover conjecture can be formulated as a problem of existence of special perfect matchings in a class of graphs that we call hexagon graphs. In this work, we explore the structure of hexagon graphs. We show that hexagon graphs are braces that can be generated from the ladder on 8 vertices using two types of McCuaig's augmentations.
Online and size anti-Ramsey numbers
Published
• View Publication
• BIB
A graph is properly edge-colored if no two adjacent edges have the same color. The smallest number of edges in a graph any of whose proper edge colorings contains a totally multicolored copy of a graph H is the size anti-Ramsey number AR_s(H) of H. This number in offline and online setting is investigated here.