Showing 20 papers (Total: 84125 papers, 48472 authors in database)
T-partition systems and travel groupoids on a graph
Published
• View Publication
• BIB
The notion of travel groupoids was introduced by L. Nebeský in 2006 in connection with a study on geodetic graphs. A travel groupoid is a pair of a set $V$ and a binary operation $*$ on $V$ satisfying two axioms. For a travel groupoid, we can associate a graph. We say that a graph $G$ has a travel groupoid if the graph associated with the travel groupoid is equal to $G$. Nebeský gave a characterization for finite graphs to have a travel groupoid. In this paper, we introduce the notion of T-partition systems on a graph and give a characterization of travel groupoids on a graph in terms of T-partition systems.
Point distributions in compact metric spaces
Published
• View Publication
• BIB
We consider finite point subsets (distributions) in compact metric spaces. Non-trivial bounds for sums of distances between points of distributions and for discrepancies of distributions in metric balls are given in the case of general rectifiable metric spaces.
We generalize Stolarsky's invariance principle to distance-invariant spaces, and for arbitrary metric spaces we prove a probabilistic invariance principle.
Furthermore, we construct partitions of general rectifiable compact metric spaces into subsets of equal measure with minimum average diameter.
Resonance in orbits of plane partitions and increasing tableaux
Published in JCTA 148 May 2017 244-274
• View Publication
• BIB
We introduce a new concept of resonance on discrete dynamical systems. This concept formalizes the observation that, in various combinatorially-natural cyclic group actions, orbit cardinalities are all multiples of divisors of a fundamental frequency.
Our main result is an equivariant bijection between plane partitions in a box (or order ideals in the product of three chains) under rowmotion and increasing tableaux under $K$-promotion. Both of these actions were observed to have orbit sizes that were small multiples of divisors of an expected orbit size, and we show this is an instance of resonance, as $K$-promotion cyclically rotates the set of labels appearing in the increasing tableaux. We extract a number of corollaries from this equivariant bijection, including a strengthening of a theorem of [P. Cameron--D. Fon-der-Flaass '95] and several new results on the order of $K$-promotion. Along the way, we adapt the proof of the conjugacy of promotion and rowmotion from [J. Striker--N. Williams '12] to give a generalization in the setting of $n$-dimensional lattice projections. Finally we discuss known and conjectured examples of resonance relating to alternating sign matrices and fully-packed loop configurations.
A new interpretation of Catalan numbers
Published
• View Publication
• BIB
Towards the study of the Kashiwara B(infinity) crystal, sets H^t of functions were introduced given by equivalence classes of unordered partitions satisfying certain boundary conditions. Here it is shown that H^t is a Catalan set of order t, that is to say the cardinality of H^t is the t-th Catalan number C(t). This is a new description of a Catalan set and moreover admits some remarkable features. Thus to H^t there is an associated labelled graph G_t which is shown to have a canonical decomposition into (t-1)! subgraphs each with 2^{t-1} vertices. These subgraphs, called S-graphs, have some tight properties which are needed for the study of B(infinity). They are described as labelled hypercubes whose edges connecting vertices with equal labels are missing. It is shown that the number of distinct hypercubes so obtained is again a Catalan number, namely C(t-1). They define functions which depend on a coefficient set of non-negative integers. When the latter are non-zero and pairwise distinct, the vertices of the S-graphs describe distinct functions. Moreover this property is retained if certain edges are deleted and certain vertices identified. In particular when these coefficients are all equal and non-zero, it is shown that every hypercube degenerates to a simplex, resulting in exactly t distinct functions, which for example are exactly those needed in the description of B(infinity) in type A.
Decomposing almost complete graphs by random trees
An old conjecture of Ringel states that every tree with $m$ edges decomposes the complete graph $K_{2m+1}$. The best known lower bound for the order of a complete graph which admits a decomposition by every given tree with $m$ edges is $O(m^3)$. We show that asymptotically almost surely a random tree with $m$ edges and $p=2m+1$ a prime decomposes $K_{2m+1}(r)$ for every $r\ge 2$, the graph obtained from the complete graph $K_{2m+1}$ by replacing each vertex by a coclique of order $r$. Based on this result we show, among other results, that a random tree with $m+1$ edges a.a.s. decomposes the compete graph $K_{6m+5}$ minus one edge.
$F$-WORM colorings: Results for 2-connected graphs
Given two graphs $F$ and $G$, an $F$-WORM coloring of $G$ is an assignment of colors to its vertices in such a way that no $F$-subgraph of $G$ is monochromatic or rainbow. If $G$ has at least one such coloring, then it is called $F$-WORM colorable and $W^-(G,F)$ denotes the minimum possible number of colors. Here, we consider $F$-WORM colorings with a fixed 2-connected graph $F$ and prove the following three main results: (1) For every natural number $k$, there exists a graph $G$ which is $F$-WORM colorable and $W^-(G,F)=k$; (2) It is NP-complete to decide whether a graph is $F$-WORM colorable; (3) For each $k \ge |V(F)|-1$, it is NP-complete to decide whether a graph $G$ satisfies $W^-(G,F) \le k$. This remains valid on the class of $F$-WORM colorable graphs of bounded maximum degree. For complete graphs $F=K_n$ with $n \ge 3$ we also prove: (4) For each $n \ge 3$ there exists a graph $G$ and integers $r$ and $s$ such that $s \ge r+2$, $G$ has $K_n$-WORM colorings with exactly $r$ and also with $s$ colors, but it admits no $K_n$-WORM colorings with exactly $r+1, \dots, s-1$ colors. Moreover, the difference $s-r$ can be arbitrarily large.
A degree sum condition for hamiltonicity in balanced bipartite digraphs
Published
• View Publication
• BIB
We prove that a strongly connected balanced bipartite digraph $D$ of order $2a$ is hamiltonian, provided $a\geq3$ and $d(x)+d(y)\geq 3a$ for every pair of vertices $x$, $y$ with a common in-neighbour or a common out-neighbour in $D$.
Hitting Set for hypergraphs of low VC-dimension
We study the complexity of the Hitting Set problem in set systems (hypergraphs) that avoid certain sub-structures. In particular, we characterize the classical and parameterized complexity of the problem when the Vapnik-Chervonenkis dimension (VC-dimension) of the input is small. VC-dimension is a natural measure of complexity of set systems. Several tractable instances of Hitting Set with a geometric or graph-theoretical flavor are known to have low VC-dimension. In set systems of bounded VC-dimension, Hitting Set is known to admit efficient and almost optimal approximation algorithms (Brönnimann and Goodrich, 1995; Even, Rawitz, and Shahar, 2005; Agarwal and Pan, 2014).
In contrast to these approximation-results, a low VC-dimension does not necessarily imply tractability in the parameterized sense. In fact, we show that Hitting Set is W[1]-hard already on inputs with VC-dimension 2, even if the VC-dimension of the dual set system is also 2. Thus, Hitting Set is very unlikely to be fixed-parameter tractable even in this arguably simple case. This answers an open question raised by King in 2010. For set systems whose (primal or dual) VC-dimension is 1, we show that Hitting Set is solvable in polynomial time.
To bridge the gap in complexity between the classes of inputs with VC-dimension 1 and 2, we use a measure that is more fine-grained than VC-dimension. In terms of this measure, we identify a sharp threshold where the complexity of Hitting Set transitions from polynomial-time-solvable to NP-hard. The tractable class that lies just under the threshold is a generalization of Edge Cover, and thus extends the domain of polynomial-time tractability of Hitting Set.
Beyond Aztec Castles: Toric Cascades in the $dP_3$ Quiver
Published
• View Publication
• BIB
Given one of an infinite class of supersymmetric quiver gauge theories, string theorists can associate a corresponding toric variety (which is a Calabi-Yau 3-fold) as well as an associated combinatorial model known as a brane tiling. In combinatorial language, a brane tiling is a bipartite graph on a torus and its perfect matchings are of interest to both combinatorialists and physicists alike. A cluster algebra may also be associated to such quivers and in this paper we study the generators of this algebra, known as cluster variables, for the quiver associated to the cone over the del Pezzo surface $dP_3$. In particular, mutation sequences involving mutations exclusively at vertices with two in-coming arrows and two out-going arrows are referred to as toric cascades in the string theory literature. Such toric cascades give rise to interesting discrete integrable systems on the level of cluster variable dynamics. We provide an explicit algebraic formula for all cluster variables which are reachable by toric cascades as well as a combinatorial interpretation involving perfect matchings of subgraphs of the $dP_3$ brane tiling for these formulas in most cases.
Complete graph immersions and minimum degree
An immersion of a graph H in another graph G is a one-to-one mapping phi:V(H)->V(G) and a collection of edge-disjoint paths in G, one for each edge of H, such that the path P_{uv} corresponding to the edge uv has endpoints phi(u) and phi(v). The immersion is strong if the paths P_{uv} are internally disjoint from phi(V(H)). We prove that every simple graph of minimum degree at least 11t+7 contains a strong immersion of the complete graph K_t. This improves on previously known bound of minimum degree at least 200t obtained by DeVos et al.
Hypertoric varieties and zonotopal tilings
Published
• View Publication
• BIB
We give an abstract definition of a hypertoric variety, generalizing the existing constructive definition. We construct a hypertoric variety associated with any zonotopal tiling, and we show that the previously known examples are exactly those varieties associated with regular tilings. In particular, the examples that we construct from irregular tilings have not appeared before. We conjecture that our construction gives a complete classification of hypertoric varieties, analogous to the classification of toric varieties by fans.
On independent $[1,2]$-sets in trees
Published
• View Publication
• BIB
An independent $[1,k]$-set $S$ in a graph $G$ is a dominating set which is independent and such that every vertex not in $S$ has at most $k$ neighbors in it. The existence of such sets is not guaranteed in every graph and trees having an independent $[1,k]$-set have been characterized. In this paper we solve some problems previously posed by other authors about independent $[1,2]$-sets. We provide a necessary condition for a graph to have an independent $[1,2]$-set, in terms of spanning trees and we prove that this condition is also sufficient for cactus graphs. We follow the concept of excellent tree and characterize the family of trees such that any vertex belong to some independent $[1,2]$-set. Finally we describe a linear algorithm to decide whether a tree has an independent $[1,2]$-set. Such algorithm can be easily modified to obtain the cardinality of the smallest independent $[1,2]$-set of a tree.
Antifactors of regular bipartite graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Graph Theory (June 4, 2020) dmtcs:3233
• View Publication
• BIB
Let $G=(X,Y;E)$ be a bipartite graph, where $X$ and $Y$ are color classes and $E$ is the set of edges of $G$. Lovász and Plummer \cite{LoPl86} asked whether one can decide in polynomial time that a given bipartite graph $G=(X,Y; E)$ admits a 1-anti-factor, that is subset $F$ of $E$ such that $d_F(v)=1$ for all $v\in X$ and $d_F(v)\neq 1$ for all $v\in Y$. Cornuéjols \cite{CHP} answered this question in the affirmative. Yu and Liu \cite{YL09} asked whether, for a given integer $k\geq 3$, every $k$-regular bipartite graph contains a 1-anti-factor. This paper answers this question in the affirmative.
$m$-Cycle Packings of $(λ+μ)K_{v+u}-λK_v$: $m$ even
A $λK_v$ is a complete graph on $v$ vertices with $λ$ edges between each pair of the $v$ vertices. A $(λ+μ)K_{v+u}-λK_v$ is a $(λ+μ)K_{v+u}$ with the edge set of $λK_v$ removed. Decomposing a $(λ+μ)K_{v+u}-λK_v$ into edge-disjoint $m$-cycles has been studied by many people. To date, there is a complete solution for $m=4$ and partial results when $m=3$ or $m=5$. In this paper, we are able to solve this problem for all even cycle lengths as long as $u,v\geq m+2$.
On connected degree sequences
This note gives necessary and sufficient conditions for a sequence of non-negative integers to be the degree sequence of a connected simple graph. This result is implicit in a paper of Hakimi. A new alternative characterisation of these necessary and sufficient conditions is also given.
Diameter of Ramanujan Graphs and Random Cayley Graphs
Published
• View Publication
• BIB
We study the diameter of LPS Ramanujan graphs $X_{p,q}$. We show that the diameter of the bipartite Ramanujan graphs is greater than $ (4/3)\log_{p}(n) +O(1)$ where $n$ is the number of vertices of $X_{p,q}$. We also construct an infinite family of $(p+1)$-regular LPS Ramanujan graphs $X_{p,m}$ such that the diameter of these graphs is greater than or equal to $ \lfloor (4/3)\log_{p}(n) \rfloor$. On the other hand, for any $k$-regular Ramanujan graph we show that the distance of only a tiny fraction of all pairs of vertices is greater than $(1+ε)\log_{k-1}(n)$. We also have some numerical experiments for LPS Ramanujan graphs and random Cayley graphs which suggest that the diameters are asymptotically $(4/3)\log_{k-1}(n)$ and $\log_{k-1}(n)$, respectively.
Decidability of regular language genus computation
Published in Math. Struct. Comp. Sci. 29 (2019) 1428-1443
• View Publication
• BIB
The article continues the study of the genus of regular languages that the authors introduced in a 2012 paper. Generalizing a previous result, we produce a new family of regular languages on a two-letter alphabet having arbitrary high genus. Let $L$ be a regular language. In order to understand the genus $g(L)$ of $L$, we introduce the topological size of $|L|_{\rm{top}}$ to be the minimal size of all finite deterministic automata of genus $g(L)$ computing $L$. We show that the minimal finite deterministic automaton of a regular language can be arbitrary far away from a finite deterministic automaton realizing the minimal genus and computing the same language, both in terms of the difference of genera and in terms of the difference in size. In particular, we show that the topological size $|L|_{\rm{top}}$ can grow at least exponentially in size $|L|$. We conjecture however the genus of every regular language to be computable. This conjecture implies in particular that the planarity of a regular language is decidable, a question asked in 1976 by R.V. Book and A.K. Chandra. We prove here the conjecture for a fairly generic class of regular languages having no short cycles.
Chromatic roots and limits of dense graphs
Published in Discrete Math. 340 (2017), no. 5, 1129-1135
• View Publication
• BIB
In this short note we observe that recent results of Abert and Hubai and of Csikvari and Frenkel about Benjamini--Schramm continuity of the holomorphic moments of the roots of the chromatic polynomial extend to the theory of dense graph sequences. We offer a number of problems and conjectures motivated by this observation.
A characterization of the graphs of bilinear $(d\times d)$-forms over $\mathbb{F}_2$
Published
• View Publication
• BIB
The bilinear forms graph denoted here by $Bil_q(e\times d)$ is a graph defined on the set of $(e\times d)$-matrices ($e\geq d$) over $\mathbb{F}_q$ with two matrices being adjacent if and only if the rank of their difference equals $1$.
In 1999, K. Metsch showed that the bilinear forms graph $Bil_q(e\times d)$ is characterized by its intersection array if one of the following holds:
(-) $q=2$ and $e\geq d+4$,
(-) $q\geq 3$ and $e\geq d+3$.
Thus, the following cases have been left unsettled:
(-) $q=2$ and $e\in \{d,d+1,d+2,d+3\}$,
(-) $q\geq 3$ and $e\in \{d,d+1,d+2\}$.
In this work, we show that the graph of bilinear $(d\times d)$-forms over the binary field, where $d\geq 3$, is characterized by its intersection array. In doing so, we also classify locally grid graphs whose $μ$-graphs are hexagons and the intersection numbers $b_i,c_i$ are well-defined for all $i=0,1,2$.
Non-ambiguous trees: new results and generalisation
We present a new definition of non-ambiguous trees (NATs) as labelled binary trees. We thus get a differential equation whose solution can be described combinatorially. This yield a new formula for the number of NATs. We also obtain q-versions of our formula. And we generalize NATs to higher dimension.