Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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$.
Frieze patterns as root posets and affine triangulations
Published
• View Publication
• BIB
The entries of frieze patterns may be interpreted as coordinates of roots of a finite Weyl groupoid of rank two. We prove the existence of maximal elements in their root posets and classify those frieze patterns which can be used to build an affine simplicial arrangement.
Duality properties of strong isoperimetric inequalities on a planar graph and combinatorial curvatures
Published
• View Publication
• BIB
This paper is about hyperbolic properties on planar graphs. First, we study the relations among various kinds of strong isoperimetric inequalities on planar graphs and their duals. In particular, we show that a planar graph satisfies a strong isoperimetric inequality if and only if its dual has the same property, if the graph satisfies some minor regularity conditions and we choose an appropriate notion of strong isoperimetric inequalities. Second, we consider planar graphs where negative combinatorial curvatures dominate, and use the outcomes of the first part to strengthen the results of Higuchi, Żuk, and, especially, Woess. Finally, we study the relations between Gromov hyperbolicity and strong isoperimetric inequalities on planar graphs, and give a proof that a planar graph satisfying a proper kind of a strong isoperimetric inequality must be Gromov hyperbolic if face degrees of the graph are bounded. We also provide some examples to support our results.
A Solution to the Edge-Balanced Index Set Problem for Complete Odd Bipartite Graphs
In 2009, Kong, Wang, and Lee began work on the problem of finding the edge-balanced index sets (EBI) of complete bipartite graphs K_{m,n} by solving the cases where n = 1, 2, 3, 4, and 5, and also the case where m = n. In 2011, Krop and Sikes expanded upon that work by finding EBI(K_{m,m-2a}) for odd m > 5 and 1 <= a <= (m-3)/4. In this paper, we provide a general solution to the edge-balanced index set problem for all complete odd bipartite graphs, thereby concluding the problem for this case.
The transition matroid of a 4-regular graph: an introduction
Published in European J. Combinatorics 50 (2015), 180-207
• View Publication
• BIB
Given a 4-regular graph $F$, we introduce a binary matroid $M_τ(F)$ on the set of transitions of $F$. Parametrized versions of the Tutte polynomial of $M_τ(F)$ yield several well-known graph and knot polynomials, including the Martin polynomial, the homflypt polynomial, the Kauffman polynomial and the Bollobás-Riordan polynomial.
Rooted grid minors
Published
• View Publication
• BIB
Intuitively, a tangle of large order in a graph is a highly-connected part of the graph, and it is known that if a graph has a tangle of large order then it has a large grid minor. Here we show that for any k, if G has a tangle of large order and Z is a set of vertices of cardinality k that cannot be separated from the tangle by any separation of order less than k, then G has a large grid minor containing Z, in which the members of Z all belong to the outside of the grid. This is a lemma for use in a later paper.
Mutually Unbiased Weighing Matrices
Published
• View Publication
• BIB
Inspired by the many applications of mutually unbiased Hadamard matrices, we study mutually unbiased weighing matrices. These matrices are studied for small orders and weights in both the real and complex setting. Our results make use of and examine the sharpness of a very important existing upper bound for the number of mutually unbiased weighing matrices.
Resolvable Mendelsohn designs and finite Frobenius groups
Published in Bulletin of the Australian Mathematical Society 98 (2018) 1-13
• View Publication
• BIB
We prove the existence and give constructions of a $(p(k)-1)$-fold perfect resolvable $(v, k, 1)$-Mendelsohn design for any integers $v > k \ge 2$ with $v \equiv 1 \mod k$ such that there exists a finite Frobenius group whose kernel $K$ has order $v$ and whose complement contains an element $φ$ of order $k$, where $p(k)$ is the least prime factor of $k$. Such a design admits $K \rtimes \langle φ\rangle$ as a group of automorphisms and is perfect when $k$ is a prime. As an application we prove that for any integer $v = p_{1}^{e_1} \ldots p_{t}^{e_t} \ge 3$ in prime factorization, and any prime $k$ dividing $p_{i}^{e_i} - 1$ for $1 \le i \le t$, there exists a resolvable perfect $(v, k, 1)$-Mendelsohn design that admits a Frobenius group as a group of automorphisms. We also prove that, if $k$ is even and divides $p_{i} - 1$ for $1 \le i \le t$, then there are at least $\varphi(k)^t$ resolvable $(v, k, 1)$-Mendelsohn designs that admit a Frobenius group as a group of automorphisms, where $\varphi$ is Euler's totient function.
Fixing numbers for matroids
Published
• View Publication
• BIB
Motivated by work in graph theory, we define the fixing number for a matroid. We give upper and lower bounds for fixing numbers for a general matroid in terms of the size and maximum orbit size (under the action of the matroid automorphism group). We prove the fixing numbers for the cycle matroid and bicircular matroid associated with 3-connected graphs are identical. Many of these results have interpretations through permutation groups, and we make this connection explicit.