Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Enumerating Projective Reflection Groups
Published
• View Publication
• BIB
Projective re ection groups have been recently dened by the second author. They include a special class of groups denoted G(r; p; s; n) which contains all classical Weyl groups and more generally all the complex re ection groups of type G(r; p; n). In this paper we dene some statistics analogous to descent number and major index over the projective re ection groups G(r; p; s; n), and we compute several generating functions concerning these parameters. Some aspects of the representation theory of G(r; p; s; n), as distribution of one-dimensional characters and computation of Hilbert series of invariant algebras, are also treated.
Some necessary conditions for vector space partitions
Published
• View Publication
• BIB
Some new necessary conditions for the existence of vector space partitions are derived. They are applied to the problem of finding the maximum number of spaces of dimension t in a vector space partition of V(2t,q) that contains m_d spaces of dimension d, where t/2<d<t, and also spaces of other dimensions. It is also discussed how this problem is related to maximal partial t-spreads in V(2t,q). We also give a lower bound for the number of spaces in a vector space partition and verify that this bound is tight.
Octants are Cover Decomposable
Published
• View Publication
• BIB
We prove that octants are cover-decomposable, i.e., any 12-fold covering of any subset of the space with a finite number of translates of a given octant can be decomposed into two coverings. As a corollary, we obtain that any 12-fold covering of any subset of the plane with a finite number of homothetic copies of a given triangle can be decomposed into two coverings. We also show that any 12-fold covering of the whole plane with open triangles can be decomposed into two coverings. However, we exhibit an indecomposable 3-fold covering.
The crossing number of folded hypercubes
The {\it crossing number} of a graph $G$ is the minimum number of pairwise intersections of edges in a drawing of $G$. The {\it $n$-dimensional folded hypercube} $FQ_n$ is a graph obtained from $n$-dimensional hypercube by adding all complementary edges. In this paper, we obtain upper and lower bounds of the crossing number of $FQ_n$.
Doubly-refined enumeration of Alternating Sign Matrices and determinants of 2-staircase Schur functions
We prove a determinantal identity concerning Schur functions for 2-staircase diagrams lambda=(ln+l',ln,l(n-1)+l',l(n-1),...,l+l',l,l',0). When l=1 and l'=0 these functions are related to the partition function of the 6-vertex model at the combinatorial point and hence to enumerations of Alternating Sign Matrices. A consequence of our result is an identity concerning the doubly-refined enumerations of Alternating Sign Matrices.
Character tables of association schemes based on attenuated spaces
Published
• View Publication
• BIB
The set of subspaces of a given dimension in an attenuated space has a structure of a symmetric association scheme and this association scheme is called an association scheme based on an attenuated space. Association schemes based on attenuated spaces are generalizations of Grassmann schemes and bilinear forms schemes, and also $q$-analogues of non-binary Johnson schemes. Wang, Guo and Li computed the intersection numbers of association schemes based on attenuated spaces. The aim of this paper is to compute character tables of association schemes based on attenuated spaces using the method of Tarnanen, Aaltonen and Goethals. Moreover, we also prove that association schemes based on attenuated spaces include as a special case the $m$-flat association scheme, which is defined on the set of cosets of subspaces of a constant dimension in a vector space over a finite field.
Perfectly Colorable Graphs
Published in Information Processing Letters 111, 19, 960 - 961, 2011
• View Publication
• BIB
We define a perfect coloring of a graph $G$ as a proper coloring of $G$ such that every connected induced subgraph $H$ of $G$ uses exactly $ω(H)$ many colors where $ω(H)$ is the clique number of $H$. A graph is perfectly colorable if it admits a perfect coloring. We show that the class of perfectly colorable graphs is exactly the class of perfect paw-free graphs. It follows that perfectly colorable graphs can be recognized and colored in linear time.
New Proofs of Plünnecke-type Estimates for Product Sets in Groups
Published in Combinatorica 32 (6), 2012, 721-733
• View Publication
• BIB
We present a new method to bound the cardinality of triple product sets in groups and give three applications. A new and unexpectedly short proof of the Plunnecke-Ruzsa sumset inequalities for Abelian groups. A new proof of a theorem of Tao on triple products, which generalises these inequalities when no assumption on commutativity is made. A further generalisation of the Plunnecke-Ruzsa inequalities in general groups.
Avoiding 3/2-powers over the natural numbers
Published in Discrete Mathematics 312 (2012) 1282-1288
• View Publication
• BIB
In this paper we answer the following question: what is the lexicographically least sequence over the natural numbers that avoids 3/2-powers?
Stochastic coalescence in logarithmic time
Published in Annals of Applied Probability 2013, Vol. 23, No. 2, 492-528
• View Publication
• BIB
The following distributed coalescence protocol was introduced by Dahlia Malkhi in 2006 motivated by applications in social networking. Initially there are n agents wishing to coalesce into one cluster via a decentralized stochastic process, where each round is as follows: every cluster flips a fair coin to dictate whether it is to issue or accept requests in this round. Issuing a request amounts to contacting a cluster randomly chosen proportionally to its size. A cluster accepting requests is to select an incoming one uniformly (if there are such) and merge with that cluster. Empirical results by Fernandess and Malkhi suggested the protocol concludes in O(log n) rounds with high probability, whereas numerical estimates by Oded Schramm, based on an ingenious analytic approximation, suggested that the coalescence time should be super-logarithmic. Our contribution is a rigorous study of the stochastic coalescence process with two consequences. First, we confirm that the above process indeed requires super-logarithmic time w.h.p., where the inefficient rounds are due to oversized clusters that occasionally develop. Second, we remedy this by showing that a simple modification produces an essentially optimal distributed protocol; if clusters favor their smallest incoming merge request then the process does terminate in O(log n) rounds w.h.p., and simulations show that the new protocol readily outperforms the original one. Our upper bound hinges on a potential function involving the logarithm of the number of clusters and the cluster-susceptibility, carefully chosen to form a supermartingale. The analysis of the lower bound builds upon the novel approach of Schramm which may find additional applications: rather than seeking a single parameter that controls the system behavior, instead one approximates the system by the Laplace transform of the entire cluster-size distribution.
Upper bounds involving parameter $σ_2$ for the rainbow connection
Published
• View Publication
• BIB
For a graph $G$, we define $σ_2(G)=min \{d(u)+d(v)| u,v\in V(G), uv\not\in E(G)\}$, or simply denoted by $σ_2$. A edge-colored graph is rainbow edge-connected if any two vertices are connected by a path whose edges have distinct colors, which was introduced by Chartrand et al. The rainbow connection of a connected graph $G$, denoted by $rc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow edge-connected. We prove that if $G$ is a connected graph of order $n$, then $rc(G)\leq 6\frac{n-2}{σ_2+2}+7$. Moreover, the bound is seen to be tight up to additive factors by a construction mentioned by Caro et al. A vertex-colored graph is rainbow vertex-connected if any two vertices are connected by a path whose internal vertices have distinct colors, which was recently introduced by Krivelevich and Yuster. The rainbow vertex-connection of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. We prove that if $G$ is a connected graph of order $n$, then $rvc(G)\leq 8\frac{n-2}{σ_2+2}+10 $ for $2\leq σ_2\leq 6, σ_2\geq 28 $, while for $ 7 \leq σ_2\leq 8, 16\leq σ_2\leq 27$, $ rvc(G)\leq \frac{10n-16}{σ_2+2}+10$, and for $9 \leq σ_2\leq 15, rvc(G)\leq \frac{10n-16}{σ_2+2}+A(σ_2)$ where $ A(σ_2)= 63,41,27,20,16,13,11,$ respectively.
The complexity of determining the rainbow vertex-connection of graphs
Published
• View Publication
• BIB
A vertex-colored graph is {\it rainbow vertex-connected} if any two vertices are connected by a path whose internal vertices have distinct colors, which was introduced by Krivelevich and Yuster. The {\it rainbow vertex-connection} of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. In this paper, we study the computational complexity of vertex-rainbow connection of graphs and prove that computing $rvc(G)$ is NP-Hard. Moreover, we show that it is already NP-Complete to decide whether $rvc(G)=2$. We also prove that the following problem is NP-Complete: given a vertex-colored graph $G$, check whether the given coloring makes $G$ rainbow vertex-connected.
Growth of Schreier graphs of automaton groups
Published in Mathematische Annalen, Volume 354, Number 2, 765-785, 2012
• View Publication
• BIB
Every automaton group naturally acts on the space $X^ω$ of infinite sequences over some alphabet $X$. For every $w\in X^ω$ we consider the Schreier graph $Γ_w$ of the action of the group on the orbit of $w$. We prove that for a large class of automaton groups all Schreier graphs $Γ_w$ have subexponential growth bounded above by $n^{(\log n)^m}$ with some constant $m$. In particular, this holds for all groups generated by automata with polynomial activity growth (in terms of S.Sidki), confirming a conjecture of V.Nekrashevych. We present applications to omega-periodic graphs and Hanoi graphs.
Patch ideals and Peterson varieties
Published in Transformation Groups, December 2012, Volume 17, Issue 4, pp 1011-1036
• View Publication
• BIB
Patch ideals encode neighbourhoods of a variety in GL_n/B. For Peterson varieties we determine generators for these ideals and show they are complete intersections, and thus Cohen-Macaulay and Gorenstein. Consequently, we combinatorially describe the singular locus of the Peterson variety; give an explicit equivariant K-theory localization formula; and extend some results of [B. Kostant '96] and of D. Peterson to intersections of Peterson varieties with Schubert varieties. We conjecture that the projectivized tangent cones are Cohen-Macaulay, and that their h-polynomials are nonnegative and upper-semicontinuous. Similarly, we use patch ideals to briefly analyze other examples of torus invariant subvarieties of GL_n/B, including Richardson varieties and Springer fibers.
N-fold integer programming in cubic time
Published in Mathematical Programming, 137:325--341, 2013
• View Publication
• BIB
N-fold integer programming is a fundamental problem with a variety of natural applications in operations research and statistics. Moreover, it is universal and provides a new, variable-dimension, parametrization of all of integer programming. The fastest algorithm for $n$-fold integer programming predating the present article runs in time $O(n^{g(A)}L)$ with $L$ the binary length of the numerical part of the input and $g(A)$ the so-called Graver complexity of the bimatrix $A$ defining the system. In this article we provide a drastic improvement and establish an algorithm which runs in time $O(n^3 L)$ having cubic dependency on $n$ regardless of the bimatrix $A$. Our algorithm can be extended to separable convex piecewise affine objectives as well, and also to systems defined by bimatrices with variable entries. Moreover, it can be used to define a hierarchy of approximations for any integer programming problem.
An Euler characteristic proof that 4-prismatoids have width at most 4
We show that there is no 4-dimensional analogue of the 5-prismatoids used in Santos' recent counterexample to the Hirsch conjecture.
Inverse Littlewood-Offord problems and The Singularity of Random Symmetric Matrices
Published in Duke Math. J. 161, no. 4 (2012), 545-586
• View Publication
• BIB
Let $M_n$ denote a random symmetric $n$ by $n$ matrix, whose upper diagonal entries are iid Bernoulli random variables (which take value -1 and 1 with probability 1/2). Improving the earlier result by Costello, Tao and Vu, we show that $M_n$ is non-singular with probability $1-O(n^{-C})$ for any positive constant $C$. The proof uses an inverse Littlewood-Offord result for quadratic forms, which is of interest of its own.
Sharpness in the k-nearest neighbours random geometric graph model
Published in Advances in Applied Probability, 44(3) (2012), 617-634
• View Publication
• BIB
Let $S_{n,k}$ denote the random geometric graph obtained by placing points in a square box of area $n$ according to a Poisson process of intensity 1 and joining each point to its $k$ nearest neighbours. Balister, Bollobás, Sarkar and Walters conjectured that for every $0< ε<1$ and all $n$ sufficiently large there exists $C=C(ε)$ such that whenever the probability $S_{n,k}$ is connected is at least $ε$ then the probability $S_{n,k+C}$ is connected is at least $1-ε$. In this paper we prove this conjecture.
As a corollary we prove that there is a constant $C'$ such that whenever $k=k(n)$ is a sequence of integers such that the probability $S_{n,k(n)}$ is connected tends to one as $n$ tends to infinity, then for any $s(n)$ with $s(n)=o(\log n)$, the probability that $S_{n,k(n)+C's\log \log n}$ is $s$-connected tends to one This proves another conjecture of Balister, Bollobás, Sarkar and Walters.
Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations
Published in ISSAC 2011: Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ACM, 2011, pp. 59-66
• View Publication
• BIB
Enumerating all 3-manifold triangulations of a given size is a difficult but increasingly important problem in computational topology. A key difficulty for enumeration algorithms is that most combinatorial triangulations must be discarded because they do not represent topological 3-manifolds. In this paper we show how to preempt bad triangulations by detecting genus in partially-constructed vertex links, allowing us to prune the enumeration tree substantially.
The key idea is to manipulate the boundary edges surrounding partial vertex links using expected logarithmic time operations. Practical testing shows the resulting enumeration algorithm to be significantly faster, with up to 249x speed-ups even for small problems where comparisons are feasible. We also discuss parallelisation, and describe new data sets that have been obtained using high-performance computing facilities.
On the resilience of Hamiltonicity and optimal packing of Hamilton cycles in random graphs
Published in SIAM Journal on Discrete Mathematics, 25(3):1176--1193, 2011
• View Publication
• BIB
Let $\bk=(k_1,...,k_n)$ be a sequence of $n$ integers. For an increasing monotone graph property $\mP$ we say that a base graph $G=([n],E)$ is \emph{$\bk$-resilient} with respect to $\mP$ if for every subgraph $H\subseteq G$ such that $d_H(i)\leq k_i$ for every $1\leq i\leq n$ the graph $G-H$ possesses $\mP$. This notion naturally extends the idea of the \emph{local resilience} of graphs recently initiated by Sudakov and Vu. In this paper we study the $\bk$-resilience of a typical graph from $\GNP$ with respect to the Hamiltonicity property where we let $p$ range over all values for which the base graph is expected to be Hamiltonian. In particular, we prove that for every $ε>0$ and $p\geq\frac{\ln n+\ln\ln n +ω(1)}{n}$ if a graph is sampled from $\GNP$ then with high probability removing from each vertex of "small" degree all incident edges but two and from any other vertex at most a $(\frac{1}{3}-ε)$-fraction of the incident edges will result in a Hamiltonian graph.
Considering this generalized approach to the notion of resilience allows to establish several corollaries which improve on the best known bounds of Hamiltonicity related questions. It implies that for every positive $ε>0$ and large enough values of $K$, if $p>\frac{K\ln n}{n}$ then with high probability the local resilience of $\GNP$ with respect to being Hamiltonian is at least $(1-ε)np/3$, improving on the previous bound for this range of $p$. Another implication is a result on optimal packing of edge disjoint Hamilton cycles in a random graph. We prove that if $p\leq\frac{1.02\ln n}{n}$ then with high probability a graph $G$ sampled from $\GNP$ contains $\lfloor\frac{δ(G)}{2}\rfloor$ edge disjoint Hamilton cycles, extending the previous range of $p$ for which this was known to hold.