Showing 20 papers (Total: 82797 papers, 47838 authors in database)
$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.
An algebraic approach to enumerating non-equivalent double traces in graphs
Published in MATCH Commun. Math. Comput. Chem. 78 (2017) 581-594
• Search Publication
Recently designed biomolecular approaches to build single chain polypeptide polyhedra as molecular origami nanostructures have risen high interest in various double traces of the underlying graphs of these polyhedra. Double traces are walks that traverse every edge of the graph twice, usually with some additional conditions on traversal direction and vertex neighborhood coverage. Given that double trace properties are intimately related to theefficiency of polypeptide polyhedron construction, enumerating all different possible double traces and analyzing their properties is an important step in the construction. In the paper, we study the automorphism group of double traces and present an algebraic approach to this problem, yielding a branch-and-bound algorithm.
On automorphisms and structural properties of generalized Cayley graphs
Published
• View Publication
• BIB
In this paper, generalized Cayley graphs are studied. It is proved that every generalized Cayley graph of order 2p is a Cayley graph, where p is a prime. Special attention is given to generalized Cayley graphs on Abelian groups. It is proved that every generalized Cayley graph on an Abelian group with respect to an automorphism which acts as inversion is a Cayley graph if and only if the group is elementary Abelian 2-group, or its Sylow 2-subgroup is cyclic. Necessary and sufficient conditions for a generalized Cayley graph to be unworthy are given.
The Writhe of Permutations and Random Framed Knots
Published in Random Struct. Alg. 2016. 51: 121-142
• View Publication
• BIB
We introduce and study the writhe of a permutation, a circular variant of the well-known inversion number. This simple permutation statistics has several interpretations, which lead to some interesting properties. For a permutation sampled uniformly at random, we study the asymptotics of the writhe, and obtain a non-Gaussian limit distribution.
This work is motivated by the study of random knots. A model for random framed knots is described, which refines the Petaluma model. The distribution of the framing in this model is equivalent to the writhe of random permutations.
A new shellability proof of an identity of Dixon
We give a new proof of an old identity of Dixon (1865-1936) that uses tools from topological combinatorics. Dixon's identity is re-established by constructing an infinite family of non-pure simplicial complexes $Δ(n)$, indexed by the positive integers, such that the alternating sum of the numbers of faces of $Δ(n)$ of each dimension is the left-hand side of the identity. We show that $Δ(n)$ is shellable for all $n$. Then, using the fact that a shellable simplicial complex is homotopy equivalent to a wedge of spheres, we compute the Betti numbers of $Δ(n)$ by counting (via a generating function) the number of facets of $Δ(n)$ of each dimension that attach along their entire boundary in the shelling order. In other words, Dixon's identity is re-established by using the Euler-Poincaré relation.
New Conjectures for Union-Closed Families
Published
• View Publication
• BIB
The Frankl conjecture, also known as the union-closed sets conjecture, states that in any finite non-empty union-closed family, there exists an element in at least half of the sets. From an optimization point of view, one could instead prove that $2a$ is an upper bound to the number of sets in a union-closed family on a ground set of $n$ elements where each element is in at most $a$ sets for all $a,n\in \mathbb{N}^+$. Similarly, one could prove that the minimum number of sets containing the most frequent element in a (non-empty) union-closed family with $m$ sets and $n$ elements is at least $\frac{m}{2}$ for any $m,n\in \mathbb{N}^+$. Formulating these problems as integer programs, we observe that the optimal values we computed do not vary with $n$. We formalize these observations as conjectures, and show that they are not equivalent to the Frankl conjecture while still having wide-reaching implications if proven true. Finally, we prove special cases of the new conjectures and discuss possible approaches to solve them completely.
On the spectral radius of nonregular uniform hypergraphs
Let $G$ be a connected uniform hypergraphs with maximum degree $Δ$, spectral radius $λ$ and minimum H-eigenvalue $μ$. In this paper, we give some lower bounds for $Δ-λ$, which extend the result of [S.M. Cioabă, D.A. Gregory, V. Nikiforov, Extreme eigenvalues of nonregular graphs, J. Combin. Theory, Ser. B 97 (2007) 483-486] to hypergraphs. Applying these bounds, we also obtain a lower bound for $Δ+μ$.
Combinatorially rigid simple polytopes with d+3 facets
We classify here combinatorially rigid simple polytopes with three facets more than their dimension.
One more Turán number and Ramsey number for the loose 3-uniform path of length three
Published
• View Publication
• BIB
Let $P$ denote a 3-uniform hypergraph consisting of 7 vertices $a,b,c,d,e,f,g$ and 3 edges $\{a,b,c\}, \{c,d,e\},$ and $\{e,f,g\}$. It is known that the $r$-color Ramsey number for $P$ is $R(P;r)=r+6$ for $r\le 9$. The proof of this result relies on a careful analysis of the Turán numbers for $P$. In this paper, we refine this analysis further and compute the fifth order Turán number for $P$, for all $n$. Using this number for $n=16$, we confirm the formula $R(P;10)=16$.
The plaid model and outer billiards on kites
This paper is the third in a series which explores a combinatorial method for generating lattice polygons in the plane. I call this method the plaid model.
In this paper I prove the main result I had been aiming for since the beginning, which is to show that there is a coarse isomorphism between the plaid model and the so-called arithmetic graph for outer billiards on kites. The content of the theorem is that the plaid model predicts the symbolic dynamics of the outer billiards orbits, up to an error of one unit. This result combines with the work in the other papers to give a second proof that outer billiards has unbounded orbits for every irrational kite. So far, these are the only known polygonal examples with this property.
Improved bounds for the Ramsey number of tight cycles versus cliques
Published in Combinator. Probab. Comp. 25 (2016) 791-796
• View Publication
• BIB
The 3-uniform tight cycle $C_s^3$ has vertex set $ Z_s$ and edge set $\{\{i, i+1, i+2\}: i \in Z_s\}$. We prove that for every $s \not\equiv 0$ (mod 3) and $s \ge 16$ or $s \in \{8,11,14\}$ there is a $c_s>0$ such that the 3-uniform hypergraph Ramsey number $$r(C_s^3, K_n^3)< 2^{c_s n \log n}$$ This answers in strong form a question of the author and Rödl who asked for an upper bound of the form $2^{n^{1+ε_s}}$ for each fixed $s \ge 4$, where $ε_s \rightarrow 0$ as $s \rightarrow \infty$ and $n$ is sufficiently large. The result is nearly tight as the lower bound is known to be exponential in $n$.
4-coloring ($P_6$, bull)-free graphs
We present a polynomial-time algorithm that determines whether a graph that contains no induced path on six vertices and no bull (the graph with vertices a, b, c, d, e and edges ab, bc, cd, be, ce) is 4-colorable. We also show that for any fixed k the k-coloring problem can be solved in polynomial time in the class of ($P_6$, bull, gem)-free graphs.
Occurrence of Right Angles in Vector Spaces Over Finite Fields
Published in M. Bennett, Occurrence of Right Angles in Vector Spaces Over Finite Fields, European J. Combin. 70 (2018), 155-163
• View Publication
• BIB
Here we examine some Erdos-Falconer-type problems in vector spaces over finite fields involving right angles. Our main goals are to show that a) a subset A of F_q^d of size >> q^[(d+2)/3] contains three points which generate a right angle, and b) a subset A of F_q^d of size >> q^[(d+2)/2] contains two points which generate a right angle with the vertex at the origin. We will also prove that b) is sharp up to constants and provide some partial results for similar problems related to spread and collinear triples.
Tight Bounds for Gomory-Hu-like Cut Counting
Published
• View Publication
• BIB
By a classical result of Gomory and Hu (1961), in every edge-weighted graph $G=(V,E,w)$, the minimum $st$-cut values, when ranging over all $s,t\in V$, take at most $|V|-1$ distinct values. That is, these $\binom{|V|}{2}$ instances exhibit redundancy factor $Ω(|V|)$. They further showed how to construct from $G$ a tree $(V,E',w')$ that stores all minimum $st$-cut values. Motivated by this result, we obtain tight bounds for the redundancy factor of several generalizations of the minimum $st$-cut problem.
1. Group-Cut: Consider the minimum $(A,B)$-cut, ranging over all subsets $A,B\subseteq V$ of given sizes $|A|=α$ and $|B|=β$. The redundancy factor is $Ω_{α,β}(|V|)$.
2. Multiway-Cut: Consider the minimum cut separating every two vertices of $S\subseteq V$, ranging over all subsets of a given size $|S|=k$. The redundancy factor is $Ω_{k}(|V|)$.
3. Multicut: Consider the minimum cut separating every demand-pair in $D\subseteq V\times V$, ranging over collections of $|D|=k$ demand pairs. The redundancy factor is $Ω_{k}(|V|^k)$. This result is a bit surprising, as the redundancy factor is much larger than in the first two problems.
A natural application of these bounds is to construct small data structures that stores all relevant cut values, like the Gomory-Hu tree. We initiate this direction by giving some upper and lower bounds.