Showing 20 papers (Total: 83502 papers, 48219 authors in database)
q-Catalan bases and their dual coefficients
We define q-Catalan bases which are a generalization of the q-polynomials z^n(z,q)_n. The determination of their dual bases involves some q-power series termed dual coefficients. We show how these dual coefficients occur in the solution of some equations with q-commuting coefficients and solve an abstract q-Segner recursion. We study the connection between this theory and Garsia's (1981). The overall flavor of this work is to show how some properties of q-Catalan numbers are in fact instances of much more general results on dual coefficients.
On the Probability of Generating a Lattice
Published
• View Publication
• BIB
We study the problem of determining the probability that m vectors selected uniformly at random from the intersection of the full-rank lattice L in R^n and the window [0,B)^n generate $Λ$ when B is chosen to be appropriately large. This problem plays an important role in the analysis of the success probability of quantum algorithms for solving the Discrete Logarithm Problem in infrastructures obtained from number fields and also for computing fundamental units of number fields.
We provide the first complete and rigorous proof that 2n+1 vectors suffice to generate L with constant probability (provided that B is chosen to be sufficiently large in terms of n and the covering radius of L and the last n+1 vectors are sampled from a slightly larger window). Based on extensive computer simulations, we conjecture that only n+1 vectors sampled from one window suffice to generate L with constant success probability. If this conjecture is true, then a significantly better success probability of the above quantum algorithms can be guaranteed.
Generating tuples of integers modulo the action of a permutation group and applications
Published
• View Publication
• BIB
Originally motivated by algebraic invariant theory, we present an algorithm to enumerate integer vectors modulo the action of a permutation group. This problem generalizes the generation of unlabeled graph up to an isomorphism. In this paper, we present the full development of a generation engine by describing the related theory, establishing a mathematical and practical complexity, and exposing some benchmarks. We next show two applications to effective invariant theory and effective Galois theory.
Around a conjecture of ErdH{o}s on graph Ramsey numbers
For given graphs G1 and G2 the Ramsey number R(G1,G2), is the smallest positive integer n such that each blue-red edge coloring of the complete graph Kn contains a blue copy of G1 or a red copy of G2. In 1983, Erdos conjectured that there is an absolute constant c such that R(G) = R(G,G) < 2c p
m for any graph G with m edges and no isolated vertices. Recently this conjecture was proved by B. Sudakov. In this note, using the Sudakovs ideas we give an extension of his result and some interesting corollaries.
On some generalized $q$-Eulerian polynomials
Published
• View Publication
• BIB
The $(q,r)$-Eulerian polynomials are the $(\maj-$$\exc,\fix,\exc)$ enumerative polynomials of permutations. Using Shareshian and Wachs' exponential generating function of these Eulerian polynomials, Chung and Graham proved two symmetrical $q$-Eulerian identities and asked for bijective proofs. We provide such proofs using Foata and Han's three-variable statistic $(\inv-$$\lec,\pix,\lec)$. We also prove a new recurrence formula for the $(q,r)$-Eulerian polynomials and study a $q$-analogue of Chung and Graham's restricted descent polynomials. In particular, we obtain a generalized symmetrical identity for these restricted $q$-Eulerian polynomials with a combinatorial proof.
Multiple recurrence in quasirandom groups
Published
• View Publication
• BIB
We establish a new mixing theorem for quasirandom groups (finite groups with no low-dimensional unitary representations) $G$ which, informally speaking, asserts that if $g, x$ are drawn uniformly at random from $G$, then the quadruple $(g,x,gx,xg)$ behaves like a random tuple in $G^4$, subject to the obvious constraint that $gx$ and $xg$ are conjugate to each other. The proof is non-elementary, proceeding by first using an ultraproduct construction to replace the finitary claim on quasirandom groups with an infinitary analogue concerning a limiting group object that we call an \emph{ultra quasirandom group}, and then using the machinery of idempotent ultrafilters to establish the required mixing property for such groups. Some simpler recurrence theorems (involving tuples such as $(x,gx,xg)$) are also presented, as well as some further discussion of specific examples of ultra quasirandom groups.
Small H-coloring problems for bounded degree digraphs
Published
• View Publication
• BIB
An NP-complete coloring or homomorphism problem may become polynomial time solvable when restricted to graphs with degrees bounded by a small number, but remain NP-complete if the bound is higher. For instance, 3-colorability of graphs with degrees bounded by 3 can be decided by Brooks' theorem, while for graphs with degrees bounded by 4, the 3-colorability problem is NP-complete. We investigate an analogous phenomenon for digraphs, focusing on the three smallest digraphs H with NP-complete H-colorability problems. It turns out that in all three cases the H-coloring problem is polynomial time solvable for digraphs with degree bounds $Δ^{+} \leq 1$, $Δ^{-} \leq 2$ (or $Δ^{+} \leq 2$, $Δ^{-} \leq 1$). On the other hand with degree bounds $Δ^{+} \leq 2$, $Δ^{-} \leq 2$, all three problems are again NP-complete. A conjecture proposed for graphs H by Feder, Hell and Huang states that any variant of the $H$-coloring problem which is NP-complete without degree constraints is also NP-complete with degree constraints, provided the degree bounds are high enough. Our study is the first confirmation that the conjecture may also apply to digraphs.
Closed graphs are proper interval graphs
Published
• View Publication
• BIB
In this note we prove that every closed graph $G$ is up to isomorphism a proper interval graph. As a consequence we obtain that there exist linear-time algorithms for closed graph recognition.
Distribution of components in the k-nearest neighbour random geometric graph for k below the connectivity threshold
Published
• View Publication
• BIB
Let S_{n,k} denote the random geometric graph obtained by placing points inside a square of area n according to a Poisson point process of intensity 1 and joining each such point to the k=k(n) points of the process nearest to it.
In this paper we show that if Pr(S_{n,k} connected) > n^{-γ_1} then the probability that S_{n,k} contains a pair of `small' components `close' to each other is o(n^{-c_1}) (in a precise sense of `small' and 'close'), for some absolute constants γ_1>0 and c_1 >0. This answers a question of Walters. (A similar result was independently obtained by Balister.)
As an application of our result, we show that the distribution of the connected components of S_{n,k} below the connectivity threshold is asymptotically Poisson.
Hitting Matrix and Domino Tiling with Diagonal Impurities
Published
• View Publication
• BIB
As a continuation to our previous work [9, 10], we consider the domino tiling problem with impurities. (1) if we have more than two impurities on the boundary, we can compute the number of corresponding perfect matchings by using the hitting matrix method[4]. (2) we have an alternative proof of the main result in [9] and result in (1) above using the formula by Kenyon-Wilson [6, 7] of counting the number of groves on the circular planar graph. (3) we study the behavior of the probability of finding the impurity at a given site when the size of the graph tends to infinity, as well as the scaling limit of those.
$F_σ$ equivalence relations and Laver forcing
Published
• View Publication
• BIB
Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver trees. Here we prove that equivalence relations Borel reducible to an equivalence relation on $2^ω$ given by some $F_σ$ $P$-ideal on $ω$ can be canonized to the full equivalence relation or to the identity relation.
This has several corollaries, e.g. Silver type dichotomy for the Laver ideal and equivalences Borel reducible to equivalence relations given by $F_σ$ $P$-ideals.
Monochromatic generating sets in groups and other algebraic structures
The \emph{generating chromatic number} of a group $G$, $\chigen(G)$, is the maximum number of colors $k$ such that there is a monochromatic generating set for each coloring of the elements of $G$ in $k$ colors. If no such maximal $k$ exists, we set $\chigen(G)=\infty$. Equivalently, $\chigen(G)$ is the maximal number $k$ such that there is no cover of $G$ by proper subgroups ($\infty$ if there is no such maximal $k$).
We provide characterizations, for arbitrary gruops, in the cases $\chigen(G)=\infty$ and $\chigen(G)=2$. For nilpotent groups (in particular, for abelian ones), all possible chromatic numbers are characterized. Examples show that the characterization for nilpotent groups do not generalize to arbitrary solvable groups. We conclude with applications to vector spaces and fields.
A uniform model for Kirillov-Reshetikhin crystals. Extended abstract
Published in DMCTS proc AS (2013) 25-36
• View Publication
• BIB
We present a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals in all untwisted affine types, which uses a generalization of the Lakshmibai-Seshadri paths (in the theory of the Littelmann path model). This generalization is based on the graph on parabolic cosets of a Weyl group known as the parabolic quantum Bruhat graph. A related model is the so-called quantum alcove model. The proof is based on two lifts of the parabolic quantum Bruhat graph: to the Bruhat order on the affine Weyl group and to Littelmann's poset on level-zero weights. Our construction leads to a simple calculation of the energy function. It also implies the equality between a Macdonald polynomial specialized at t=0 and the graded character of a tensor product of KR modules.
Irreducibility of q-difference operators and the knot 7_4
Published in Algebr. Geom. Topol. 13 (2013) 3261-3286
• View Publication
• BIB
Our goal is to compute the minimal-order recurrence of the colored Jones polynomial of the 7_4 knot, as well as for the first four double twist knots. As a corollary, we verify the AJ Conjecture for the simplest knot 7_4 with reducible non-abelian SL(2,C) character variety. To achieve our goal, we use symbolic summation techniques of Zeilberger's holonomic systems approach and an irreducibility criterion for q-difference operators. For the latter we use an improved version of the qHyper algorithm of Abramov-Paule-Petkovsek to show that a given q-difference operator has no linear right factors. En route, we introduce exterior power Adams operations on the ring of bivariate polynomials and on the corresponding affine curves.
Long Cycle Factorizations : Bijective Computation in the General Case
Published
• View Publication
• BIB
This paper is devoted to the computation of the number of ordered factorizations of a long cycle in the symmetric group where the number of factors is arbitrary and the cycle structure of the factors is given. Jackson (1988) derived the first closed form expression for the generating series of these numbers using the theory of the irreducible characters of the symmetric group. Thanks to a direct bijection we compute a similar formula and provide the first purely combinatorial evaluation of these generating series.
The maximum number of faces of the Minkowski sum of three convex polytopes
Published
• View Publication
• BIB
We derive tight expressions for the maximum number of $k$-faces, $0\le k\le d-1$, of the Minkowski sum, $P_1+P_2+P_3$, of three $d$-dimensional convex polytopes $P_1$, $P_2$ and $P_3$, as a function of the number of vertices of the polytopes, for any $d\ge 2$. Expressing the Minkowski sum of the three polytopes as a section of their Cayley polytope $\mathcal{C}$, the problem of counting the number of $k$-faces of $P_1+P_2+P_3$, reduces to counting the number of $(k+2)$-faces of the subset of $\mathcal{C}$ comprising of the faces that contain at least one vertex from each $P_i$. In two dimensions our expressions reduce to known results, while in three dimensions, the tightness of our bounds follows by exploiting known tight bounds for the number of faces of $r$ $d$-polytopes, where $r\ge d$. For $d\ge 4$, the maximum values are attained when $P_1$, $P_2$ and $P_3$ are $d$-polytopes, whose vertex sets are chosen appropriately from three distinct $d$-dimensional moment-like curves.
A note on the pyjama problem
Published in European Journal of Combinatorics, Vol. 34 (7), 1071-1077, 2013
• View Publication
• BIB
This note concerns the so-called pyjama problem, whether it is possible to cover the plane by finitely many rotations of vertical strips of half-width $\varepsilon$. We first prove that there exist no periodic coverings for $\varepsilon<1/3$. Then we describe an explicit (non-periodic) construction for $\varepsilon =1/3-1/48$. Finally, we use a compactness argument combined with some ideas from additive combinatorics to show that a finite covering exists for $\varepsilon =1/5$. The question whether $\varepsilon$ can be arbitrarily small remains open.
Cycles, wheels, and gears in finite planes
Published
• View Publication
• BIB
The existence of a primitive element of $GF(q)$ with certain properties is used to prove that all cycles that could theoretically be embedded in $AG(2,q)$ and $PG(2,q)$ can, in fact, be embedded there (i.e. these planes are `pancyclic'). We also study embeddings of wheel and gear graphs in arbitrary projective planes.
Trees with Maximum p-Reinforcement Number
Let $G=(V,E)$ be a graph and $p$ a positive integer. The $p$-domination number $\g_p(G)$ is the minimum cardinality of a set $D\subseteq V$ with $|N_G(x)\cap D|\geq p$ for all $x\in V\setminus D$. The $p$-reinforcement number $r_p(G)$ is the smallest number of edges whose addition to $G$ results in a graph $G'$ with $\g_p(G')<\g_p(G)$. Recently, it was proved by Lu et al. that $r_p(T)\leq p+1$ for a tree $T$ and $p\geq 2$. In this paper, we characterize all trees attaining this upper bound for $p\geq 3$.
Integer decomposition property of dilated polytopes
Published
• View Publication
• BIB
Let $\mathcal{P} \subset \mathbb{R}^N$ be an integral convex polytope of dimension $d$ and write $k \mathcal{P}$, where $k = 1, 2, \ldots$, for dilations of $\mathcal{P}$. We say that $\mathcal{P}$ possesses the integer decomposition property if, for any integer $k = 1, 2, \ldots$ and for any $α\in k \mathcal{P} \cap \mathbb{Z}^N$, there exist $α_{1}, \ldots, α_k$ belonging to $\mathcal{P} \cap \mathbb{Z}^N$ such that $α= α_1 + \cdots + α_k$. A fundamental question is to determine the integers $k > 0$ for which the dilated polytope $k\mathcal{P}$ possesses the integer decomposition property. In the present paper, combinatorial invariants related to the integer decomposition property of dilated polytopes will be proposed and studied.