Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Generalised quadrangles with a group of automorphisms acting primitively on points and lines
Published
• View Publication
• BIB
We show that if G is a group of automorphisms of a thick finite generalised quadrangle Q acting primitively on both the points and lines of Q, then G is almost simple. Moreover, if G is also flag-transitive then G is of Lie type.
Matroid 3-connectivity and branch width
Published
• View Publication
• BIB
We prove that, for each nonnegative integer k and each matroid N, if M is a 3-connected matroid containing N as a minor, and the the branch width of M is sufficiently large, then there is a k-element subset X of E(M) such that one of M\X and M/X is 3-connected and contains N as a minor.
Symmetric chain decomposition for cyclic quotients of Boolean algebras and relation to cyclic crystals
Published in Int. Math. Res. Notices 2013 (2) 463-473
• View Publication
• BIB
The quotient of a Boolean algebra by a cyclic group is proven to have a symmetric chain decomposition. This generalizes earlier work of Griggs, Killian and Savage on the case of prime order, giving an explicit construction for any order, prime or composite. The combinatorial map specifying how to proceed downward in a symmetric chain is shown to be a natural cyclic analogue of the $\mathfrak{sl}_2$ lowering operator in the theory of crystal bases.
Stochastic Service Systems, Random Interval Graphs and Search Algorithms
Published
• View Publication
• BIB
We consider several stochastic service systems, and study the asymptotic behavior of the moments of various quantities that have application to models for random interval graphs and algorithms for searching for an idle server or empty waiting station. In two cases the moments turn out to involve Lambert series for the generating functions for the sums of powers of divisors of positive integers. For these cases we are able to obtain complete asymptotic expansions for the moments of the quantities in question.
Generalized packing designs
Published
• View Publication
• BIB
Generalized $t$-designs, which form a common generalization of objects such as $t$-designs, resolvable designs and orthogonal arrays, were defined by Cameron [P.J. Cameron, A generalisation of $t$-designs, \emph{Discrete Math.}\ {\bf 309} (2009), 4835--4842]. In this paper, we define a related class of combinatorial designs which simultaneously generalize packing designs and packing arrays. We describe the sometimes surprising connections which these generalized designs have with various known classes of combinatorial designs, including Howell designs, partial Latin squares and several classes of triple systems, and also concepts such as resolvability and block colouring of ordinary designs and packings, and orthogonal resolutions and colourings. Moreover, we derive bounds on the size of a generalized packing design and construct optimal generalized packings in certain cases. In particular, we provide methods for constructing maximum generalized packings with $t=2$ and block size $k=3$ or 4.
On the metric dimension of line graphs
Published
• View Publication
• BIB
Let $G$ be a (di)graph. A set $W$ of vertices in $G$ is a \emph{resolving set} of $G$ if every vertex $u$ of $G$ is uniquely determined by its vector of distances to all the vertices in $W$. The \emph{metric dimension} $μ(G)$ of $G$ is the minimum cardinality of all the resolving sets of $G$. Cáceres et al. \cite{Ca2} computed the metric dimension of the line graphs of complete bipartite graphs. Recently, Bailey and Cameron \cite{Ba} computed the metric dimension of the line graphs of complete graphs. In this paper we study the metric dimension of the line graph $L(G)$ of $G$. In particular, we show that $μ(L(G))=|E(G)|-|V(G)|$ for a strongly connected digraph $G$ except for directed cycles, where $V(G)$ is the vertex set and $E(G)$ is the edge set of $G$. As a corollary, the metric dimension of de Brujin digraphs and Kautz digraphs is given. Moreover, we prove that $\lceil\log_2Δ(G)\rceil\leqμ(L(G))\leq |V(G)|-2$ for a simple connected graph $G$ with at least five vertices, where $Δ(G)$ is the maximum degree of $G$. Finally, we obtain the metric dimension of the line graph of a tree in terms of its parameters.
Expansion of $k$-Schur functions for maximal $k$-rectangles within the affine nilCoxeter algebra
Published in J. of Combinatorics 3-3 (2012) pp. 563-589
• View Publication
• BIB
We give several explicit combinatorial formulas for the expansion of k-Schur functions indexed by maximal rectangles in terms of the standard basis of the affine nilCoxeter algebra. Using our result, we also show a commutation relation of k-Schur functions corresponding to rectangles with the generators of the affine nilCoxeter algebra.
Crystal rules for $(\ell,0)$-JM partitions
Published in Electronic Journal of Combinatorics, Volume 17 (1), 2010
• View Publication
• BIB
Vazirani and the author \cite{BV} gave a new interpretation of what we called $\ell$-partitions, also known as $(\ell,0)$-Carter partitions. The primary interpretation of such a partition $λ$ is that it corresponds to a Specht module $S^λ$ which remains irreducible over the finite Hecke algebra $H_n(q)$ when $q$ is specialized to a primitive $\ell^{th}$ root of unity. To accomplish this we relied heavily on the description of such a partition in terms of its hook lengths, a condition provided by James and Mathas. In this paper, I use a new description of the crystal $reg_\ell$ which helps extend previous results to all $(\ell,0)$-JM partitions (similar to $(\ell,0)$-Carter partitions, but not necessarily $\ell$-regular), by using an analogous condition for hook lengths which was proven by work of Lyle and Fayers.
Standard Monomial Theory for desingularized Richardson varieties in the flag variety GL(n)/B
Published in Transform. Groups 18 (2013), no. 2, 329-359
• View Publication
• BIB
We consider a desingularization Gamma of a Richardson variety X_w^v=X_w \cap X^v in the flag variety Fl(n)=GL(n)/B, obtained as a fibre of a projection from a certain Bott-Samelson variety Z. We then construct a basis of the homogeneous coordinate ring of Gamma inside Z, indexed by combinatorial objects which we call w_0-standard tableaux.
Groups acting simply transitively on hyperbolic buildings
Published in LMS J. Comput. Math. 15 (2012) 101-112
• View Publication
• BIB
We construct and classify all groups, given by triangular presentations associated to the smallest thick generalized quadrangle, that act simply transitively on the vertices of hyperbolic triangular buildings of the smallest non-trivial thickness. Our classification shows 23 non-isomorphic torsion free groups (obtained in an earlier work) and 168 non-isomorphic torsion groups acting on one of two possible buildings with the smallest thick generalized quadrangle as the link of each vertex. In analogy with the Euclidean case, we find both torsion and torsion free groups acting on the same building.
Sums of Ceiling Functions Solve Nested Recursions
Published
• View Publication
• BIB
It is known that, for given integers s \geq 0 and j > 0, the nested recursion R(n) = R(n - s - R(n - j)) + R(n - 2j - s - R(n - 3j)) has a closed form solution for which a combinatorial interpretation exists in terms of an infinite, labeled tree. For s = 0, we show that this solution sequence has a closed form as the sum of ceiling functions C(n). Further, given appropriate initial conditions, we derive necessary and sufficient conditions on the parameters s1, a1, s2 and a2 so that C(n) solves the nested recursion R(n) = R(n - s1 - R(n - a1)) + R(n- s2 - R(n - a2)).
A further generalization of the colourful Carathéodory theorem
Published
• View Publication
• BIB
Given $d+1$ sets, or colours, $S_1, S_2,...,S_{d+1}$ of points in $\mathbb{R}^d$, a {\em colourful} set is a set $S\subseteq\bigcup_i S_i$ such that $|S\cap S_i|\leq 1$ for $i=1,...,d+1$. The convex hull of a colourful set $S$ is called a {\em colourful simplex}. Bárány's colourful Carathéodory theorem asserts that if the origin 0 is contained in the convex hull of $S_i$ for $i=1,...,d+1$, then there exists a colourful simplex containing 0. The sufficient condition for the existence of a colourful simplex containing 0 was generalized to 0 being contained in the convex hull of $S_i\cup S_j$ for $1\leq i< j \leq d+1$ by Arocha et al. and by Holmsen et al. We further generalize the sufficient condition and obtain new colourful Carathéodory theorems. We also give an algorithm to find a colourful simplex containing 0 under the generalized condition. In the plane an alternative, and more general, proof using graphs is given. In addition, we observe that any condition implying the existence of a colourful simplex containing 0 actually implies the existence of $\min_i|S_i|$ such simplices.
Computing hitting times via fluid approximation: application to the coupon collector problem
In this paper, we show how to use stochastic approximation to compute hitting time of a stochastic process, based on the study of the time for a fluid approximation of this process to be at distance 1/N of its fixed point.
This approach is developed to study a generalized version of the coupon collector problem. The system is composed by N independent identical Markov chains. At each time step, one Markov chain is picked at random and performs one transition. We show that the time at which all chains have hit the same state is bounded by a N log N + b N log log N + O(N) where a and b are two constants depending on eigenvalues of the Markov chain.
Upper bounds for centerlines
Published in Journal of Computational Geometry 3:20--30, 2012
• Search Publication
In 2008, Bukh, Matousek, and Nivasch conjectured that for every n-point set S in R^d and every k, 0 <= k <= d-1, there exists a k-flat f in R^d (a "centerflat") that lies at "depth" (k+1) n / (k+d+1) - O(1) in S, in the sense that every halfspace that contains f contains at least that many points of S. This claim is true and tight for k=0 (this is Rado's centerpoint theorem), as well as for k = d-1 (trivial). Bukh et al. showed the existence of a (d-2)-flat at depth (d-1) n / (2d-1) - O(1) (the case k = d-2).
In this paper we concentrate on the case k=1 (the case of "centerlines"), in which the conjectured value for the leading constant is 2/(d+2). We prove that 2/(d+2) is an *upper bound* for the leading constant. Specifically, we show that for every fixed d and every n there exists an n-point set in R^d for which no line in R^d lies at depth larger than 2n/(d+2) + o(n). This point set is the "stretched grid"---a set which has been previously used by Bukh et al. for other related purposes.
Hence, in particular, the conjecture is now settled for R^3.
Intervals of balanced binary trees in the Tamari lattice
Published in Theoretical Computer Science, 420, 1--27, 2012
• View Publication
• BIB
We show that the set of balanced binary trees is closed by interval in the Tamari lattice. We establish that the intervals [T, T'] where T and T' are balanced binary trees are isomorphic as posets to a hypercube. We introduce synchronous grammars that allow to generate tree-like structures and obtain fixed-point functional equations to enumerate these. We also introduce imbalance tree patterns and show that they can be used to describe some sets of balanced binary trees that play a particular role in the Tamari lattice. Finally, we investigate other families of binary trees that are also closed by interval in the Tamari lattice.
The C-finite Ansatz
Published
• View Publication
• BIB
While it is trivial to multiply two C-finite sequences (just like integers), it is not quite so trivial to "factorize" them, or to decide whether they are "prime". The former is plain linear algebra, while the latter is heavy-duty non-linear algebra, getting hairy systems of algebraic equations that can be solved, in principle, using Gröbner bases and the Buchberger algorithm, but, alas, sooner or later it becomes too hard even for the fastest and largest computers.
The main technical novely of this article is a fast "algorithm" (it cheats and uses floating-point arithmetic, please don't tell anyone!) for deciding whether a given C-finite sequence can be written as a product of C-finite sequences of lower order.
This article accompanies the Maple package Cfinite available from http://www.math.rutgers.edu/~zeilberg/tokhniot/Cfinite .
Scott's induced subdivision conjecture for maximal triangle-free graphs
Published
• View Publication
• BIB
Scott conjectured that the class of graphs with no induced subdivision of a given graph is $χ$-bounded. We verify his conjecture for maximal triangle-free graphs.
Exponential triples
Published in Electronic Journal of Combinatorics, 18(1), 2011, P147
• View Publication
• BIB
Using ultrafilter techniques we show that in any partition of $\mathbb{N}$ into 2 cells there is one cell containing infinitely many exponential triples, i.e. triples of the kind $a,b,a^b$ (with $a,b>1$). Also, we will show that any multiplicative $IP^*$ set is an "exponential $IP$ set", the analogue of an $IP$ set with respect to exponentiation.
Homological Stabilizer Codes
Published
• View Publication
• BIB
In this paper we define homological stabilizer codes which encompass codes such as Kitaev's toric code and the topological color codes. These codes are defined solely by the graphs they reside on. This feature allows us to use properties of topological graph theory to determine the graphs which are suitable as homological stabilizer codes. We then show that all toric codes are equivalent to homological stabilizer codes on 4-valent graphs. We show that the topological color codes and toric codes correspond to two distinct classes of graphs. We define the notion of label set equivalencies and show that under a small set of constraints the only homological stabilizer codes without local logical operators are equivalent to Kitaev's toric code or to the topological color codes.
A multivariate "inv" hook formula for forests
Published
• View Publication
• BIB
Bjoerner and Wachs provided two q-generalizations of Knuth's hook formula counting linear extensions of forests: one involving the major index statistic, and one involving the inversion number statistic. We prove a multivariate generalization of their inversion number result, motivated by specializations related to the modular invariant theory of finite general linear groups.