Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Quartic graphs with every edge in a triangle
Published
• View Publication
• BIB
We characterise the quartic (i.e. 4-regular) multigraphs with the property that every edge lies in a triangle. The main result is that such graphs are either squares of cycles, line multigraphs of cubic multigraphs, or are obtained from these by a number of simple subgraph-replacement operations. A corollary of this is that a simple quartic graph with every edge in a triangle is either the square of a cycle, the line graph of a cubic graph or a graph obtained from the line multigraph of a cubic multigraph by replacing triangles with copies of K_{1,1,3}.
Normal ordering problem and the extensions of the Stirling grammar
Published
• View Publication
• BIB
The purpose of this paper is to investigate the connection between context-free grammars and normal ordering problem, and then to explore various extensions of the Stirling grammar. We present grammatical characterizations of several well known combinatorial sequences, including the generalized Stirling numbers of the second kind related to the normal ordering problem and the $r$-Dowling polynomials. Also, possible avenues for future research are described.
Distinct distances on algebraic curves in the plane
Published in Proceedings of the thirtieth annual symposium on Computational geometry, 549-557, 2014
• View Publication
• BIB
Let $P$ be a set of $n$ points in the real plane contained in an algebraic curve $C$ of degree $d$. We prove that the number of distinct distances determined by $P$ is at least $c_d n^{4/3}$, unless $C$ contains a line or a circle. We also prove the lower bound $c_d' \min(m^{2/3}n^{2/3}, m^2, n^2)$ for the number of distinct distances between $m$ points on one irreducible plane algebraic curve and $n$ points on another, unless the two curves are parallel lines, orthogonal lines, or concentric circles. This generalizes a result on distances between lines of Sharir, Sheffer, and Solymosi in arXiv:1302.3081.
Infinite Free Resolutions over Monomial Rings in Two Variables
Let M in k[x,y] be a monomial ideal M=(m_1,m_2,...,m_r), where the m_i are a minimal generating set of M. We construct an explicit free resolution of k over S=k[x,y]/M for all monomial ideals M, and provide recursive formulas for the Betti numbers. In particular, if M is any monomial ideal (excepting five degenerate cases,) the total Betti numbers β_i^S(k) are given by β_0^S(k)=1, β_1^S(k)=2, and β_i^S(k)=β_{i-1}(k)+(r-1)β_{i-2}^S(k), where r is the number of minimal generators of M.
This specializes to the classic example S=k[x,y]/(x^2,xy), which has β_i^S(k)=F_{i+1}, where F_{i+1} is the (i+1)st Fibonacci number.
Macaulay2 code producing these resolutions is available at: http://cs.hood.edu/~whieldon/pages/research.html
Space complexity of list H-colouring: a dichotomy
Published
• View Publication
• BIB
The Dichotomy Conjecture for constraint satisfaction problems (CSPs) states that every CSP is in P or is NP-complete (Feder-Vardi, 1993). It has been verified for conservative problems (also known as list homomorphism problems) by A. Bulatov (2003). We augment this result by showing that for digraph templates H, every conservative CSP, denoted LHOM(H), is solvable in logspace or is hard for NL. More precisely, we introduce a digraph structure we call a circular N, and prove the following dichotomy: if H contains no circular N then LHOM(H) admits a logspace algorithm, and otherwise LHOM(H) is hard for NL. Our algorithm operates by reducing the lists in a complex manner based on a novel decomposition of an auxiliary digraph, combined with repeated applications of Reingold's algorithm for undirected reachability (2005). We also prove an algebraic version of this dichotomy: the digraphs without a circular N are precisely those that admit a finite chain of polymorphisms satisfying the Hagemann-Mitschke identities. This confirms a conjecture of Larose and Tesson (2007) for LHOM(H). Moreover, we show that the presence of a circular N can be decided in time polynomial in the size of H.
A 64-dimensional two-distance counterexample to Borsuk's conjecture
Published
• View Publication
• BIB
In 1933 Karol Borsuk asked whether each bounded set in the n-dimensional Euclidean space can be divided into n+1 parts of smaller diameter. The diameter of a set is defined as the supremum (least upper bound) of the distances of contained points. Implicitly, the whole set is assumed to contain at least two points.
The hypothesis that the answer to that question is positive became famous under the name Borsuk's conjecture. Beginning with Jeff Kahn and Gil Kalai, from 1993 to 2003 several authors have proved that in certain (almost all) high dimensions such a division is not generally possible.
In a paper published in 2013, Andriy V. Bondarenko constructed a 65-dimensional two-distance set of 416 vectors that cannot be divided into less than 84 parts of smaller diameter. That was not just the first known two-distance counterexample to Borsuk's conjecture but also a considerable reduction of the lowest known dimension the conjecture fails in in general.
This article presents a 64-dimensional subset of the vector set mentioned above that cannot be divided into less than 71 (by A. Bondarenko 72) parts of smaller diameter, that way delivering a two-distance counterexample to Borsuk's conjecture in dimension 64.
The contained proof relies on the results of some (combinatorial) calculations. The additionally (in the source package) provided small computer program G24CHK needs about one second for that task on a 1 GHz Intel PIII.
Meanwhile a short paper by this author and Andries E. Brouwer that follows the principal idea of this article but avoids the extensive computational part has been submitted to The Electronic Journal of Combinatorics.
Diophantine approximation and coloring
Published
• View Publication
• BIB
We demonstrate how connections between graph theory and Diophantine approximation can be used in conjunction to give simple and accessible proofs of seemingly difficult results in both subjects.
Local algorithms, regular graphs of large girth, and random regular graphs
Published
• View Publication
• BIB
We introduce a general class of algorithms and supply a number of general results useful for analysing these algorithms when applied to regular graphs of large girth. As a result, we can transfer a number of results proved for random regular graphs into (deterministic) results about all regular graphs with sufficiently large girth. This is an uncommon direction of transfer of results, which is usually from the deterministic setting to the random one. In particular, this approach enables, for the first time, the achievement of results equivalent to those obtained on random regular graphs by a powerful class of algorithms which contain prioritised actions. As examples, we obtain new upper or lower bounds on the size of maximum independent sets, minimum dominating sets, maximum and minimum bisection, maximum $k$-independent sets, minimum $k$-dominating sets and minimum connected and weakly-connected dominating sets in $r$-regular graphs with large girth.
Semi-degree threshold for anti-directed Hamiltonian cycles
Published
• View Publication
• BIB
In 1960, Ghouila-Houri extended Dirac's theorem to directed graphs by proving that if D is a directed graph on n vertices with minimum out-degree and in-degree at least n/2 (i.e. minimum semi-degree at least n/2), then D contains a directed Hamiltonian cycle. Of course there are other orientations of a cycle in a directed graph and it is not clear that the semi-degree threshold for the directed Hamiltonian cycle is the same as the semi-degree threshold for some other orientation. In 1980, Grant initiated the problem of determining the minimum semi-degree threshold for the anti-directed Hamiltonian cycle (an orientation in which consecutive edges alternate direction). We prove that for sufficiently large even n, if D is a directed graph on n vertices with minimum semi-degree at least n/2+1, then D contains an anti-directed Hamiltonian cycle. This result is sharp.
Point determining digraphs, $\{0,1\}$-matrix partitions, and dualities in full homomorphisms
Published
• View Publication
• BIB
We prove that every point-determining digraph $D$ contains a vertex $v$ such that $D-v$ is also point determining. We apply this result to show that for any $\{0,1\}$-matrix $M$, with $k$ diagonal zeros and $\ell$ diagonal ones, the size of a minimal $M$-obstruction is at most $(k+1)(\ell+1)$. This extends the results of Sumner, and of Feder and Hell, from undirected graphs and symmetric matrices to digraphs and general matrices.
Classification of automorphic conjugacy classes in the free group on two generators
Published in Algorithmic Problems of Group Theory, Their Complexity, and Applications to Cryptography, edited by Delaram Kahrobaei and Vladimir Shpilrain, Contemporary Mathematics 633 (2015) 13-40
• View Publication
• BIB
We associate a finite directed graph with each equivalence class of words in $F_2$ under $\operatorname*{Aut} F_2$, and we completely classify these graphs, giving a structural classification of the automorphic conjugacy classes of $F_2$. This classification refines work of Khan and proves a conjecture of Myasnikov and Shpilrain on the number of minimal words in an automorphic conjugacy class whose minimal words have length $n$, which in turn implies a sharp upper bound on the running time of Whitehead's algorithm for determining whether two words in $F_2$ are automorphic conjugates.
A Characterization of the Natural Embedding of the Split Cayley Hexagon in PG(6,q) by Intersection Numbers in Finite Projective Spaces of Arbitrary Dimension
Published in Discrete Mathematics, 314, 42-49 (2014). ISSN 0012-365X
• View Publication
• BIB
We prove that a non-empty set L of at most q^5+q^4+q^3+q^2+q+1 lines of PG(n, q) with the properties that (1) every point of PG(n,q) is incident with either 0 or q+1 elements of L, (2) every plane plane of PG(n, q) is incident with either 0, 1 or q+1 elements of L, (3) every solid of PG(n, q) is incident with either 0, 1, q+1 or 2q+1 elements of L, and (4) every 4-dimensional subspace of PG(n, q) is incident with at most q^3-q^2+4q elements of L, is necessarily the set of lines of a split Cayley hexagon H(q) naturally embedded in PG(6, q).
Type A Molecules are Kazhdan-Lusztig
Published
• View Publication
• BIB
Let (W, S) be a Coxeter system. A W-graph is an encoding of a representation of the corresponding Iwahori-Hecke algebra. Especially important examples include the W-graph corresponding to the action of the Iwahori-Hecke algebra on the Kazhdan-Lusztig basis, as well as this graph's strongly connected components (cells). In 2008, Stembridge identified some common features of the Kazhdan-Lusztig graphs and gave a combinatorial characterization of all W-graphs that have these features. He conjectured, and checked up to n=9, that all such A_n-cells are Kazhdan-Lusztig cells. The current paper provides a first step toward a potential proof of the conjecture. More concretely, we prove that the connected subgraphs of A_n-cells consisting of simple (i.e. directed both ways) edges are the same as in the Kazhdan-Lusztig cells.
Intersections of the Hermitian surface with irreducible quadrics in $PG(3,q^2)$, $q$ odd
Published in Finite Fields Appl. 30 (2014), 1-13
• View Publication
• BIB
In $PG(3,q^2)$, with $q$ odd, we determine the possible intersection sizes of a Hermitian surface $\mathcal{H}$ and an irreducible quadric $\mathcal{Q}$ having the same tangent plane $π$ at a common point $P\in{\mathcal Q}\cap{\mathcal H}$.
On the partition of R^n by hyperplanes
Published
• View Publication
• BIB
The partitioning of space by hyperplanes in the context of discrete classification problem is considered. We obtain some relations for the number of partitions and establish a recurrence relation for the maximal number of partitions of R^n by m hyperplanes. We rederive an explicit formula for the number of components into which the space can be partitioned by m hyperplanes.
Cauchy-Davenport type theorems for semigroups
Published in Mathematika 62 (2015) 1-12
• View Publication
• BIB
Let $\mathbb{A} = (A, +)$ be a (possibly non-commutative) semigroup. For $Z \subseteq A$ we define $Z^\times := Z \cap \mathbb A^\times$, where $\mathbb A^\times$ is the set of the units of $\mathbb{A}$, and $$γ(Z) := \sup_{z_0 \in Z^\times} \inf_{z_0 \ne z \in Z} {\rm ord}(z - z_0).$$ The paper investigates some properties of $γ(\cdot)$ and shows the following extension of the Cauchy-Davenport theorem: If $\mathbb A$ is cancellative and $X, Y \subseteq A$, then $$|X+Y| \ge \min(γ(X+Y),|X| + |Y| - 1).$$ This implies a generalization of Kemperman's inequality for torsion-free groups and strengthens another extension of the Cauchy-Davenport theorem, where $\mathbb{A}$ is a group and $γ(X+Y)$ in the above is replaced by the infimum of $|S|$ as $S$ ranges over the non-trivial subgroups of $\mathbb{A}$ (Hamidoune-Károlyi theorem).
A hypergraph Turán theorem via lagrangians of intersecting families
Published
• View Publication
• BIB
Let $\mc{K}_{3,3}^3$ be the 3-graph with 15 vertices $\{x_i, y_i: 1 \le i \le 3\}$ and $\{z_{ij}: 1 \le i,j \le 3\}$, and 11 edges $\{x_1, x_2, x_3\}$, $\{y_1, y_2, y_3\}$ and $\{\{x_i, y_j, z_{ij}\}: 1 \le i,j \le 3\}$. We show that for large $n$, the unique largest $\mc{K}_{3,3}^3$-free 3-graph on $n$ vertices is a balanced blow-up of the complete 3-graph on 5 vertices. Our proof uses the stability method and a result on lagrangians of intersecting families that has independent interest.
Subtraction-free complexity, cluster transformations, and spanning trees
Published
• View Publication
• BIB
Subtraction-free computational complexity is the version of arithmetic circuit complexity that allows only three operations: addition, multiplication, and division.
We use cluster transformations to design efficient subtraction-free algorithms for computing Schur functions and their skew, double, and supersymmetric analogues, thereby generalizing earlier results by P. Koev.
We develop such algorithms for computing generating functions of spanning trees, both directed and undirected. A comparison to the lower bound due to M. Jerrum and M. Snir shows that in subtraction-free computations, "division can be exponentially powerful."
Finally, we give a simple example where the gap between ordinary and subtraction-free complexity is exponential.
Partially Directed Snake Polyominoes
Published
• View Publication
• BIB
The goal of this paper is to study the family of snake polyominoes. More precisely, we focus our attention on the class of partially directed snakes. We establish functional equations and length generating functions of two dimensional, three dimensional and then $N$ dimensional partially directed snake polyominoes. We then turn our attention to partially directed snakes inscribed in a $b\times k$ rectangle and we establish two-variable generating functions, with respect to height $k$ and length $n$ of the snakes. We include observations on the relationship between snake polyominoes and self-avoiding walks. We conclude with a discussion on inscribed snakes polyominoes of maximal length which lead us to the formulation of a conjecture encountered in the course of our investigations.
Distance-regular graphs of $q$-Racah type and the universal Askey-Wilson algebra
Published
• View Publication
• BIB
Let $\C$ denote the field of complex numbers, and fix a nonzero $q \in \C$ such that $q^4 \ne 1$. Define a $\C$-algebra $Δ_q$ by generators and relations in the following way. The generators are $A,B,C$. The relations assert that each of $A+\frac{qBC-q^{-1}CB}{q^2-q^{-2}}$, $B+\frac{qCA-q^{-1}AC}{q^2-q^{-2}}$, $C+\frac{qAB-q^{-1}BA}{q^2-q^{-2}}$ is central in $Δ_q$. The algebra $Δ_q$ is called the universal Askey-Wilson algebra. Let $Γ$ denote a distance-regular graph that has $q$-Racah type. Fix a vertex $x$ of $Γ$ and let $T=T(x)$ denote the corresponding subconstituent algebra. In this paper we discuss a relationship between $Δ_q$ and $T$. Assuming that every irreducible $T$-module is thin, we display a surjective $\C$-algebra homomorphism $Δ_q \to T$. This gives a $Δ_q$ action on the standard module of $T$.