Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Maximal Arithmetic Progressions in Random Subsets
Published in Electronic Communications in Probability 12 (2007), 365-376
• View Publication
• BIB
Let U(N) denote the maximal length of arithmetic progressions in a random uniform subset of {0,1}^N. By an application of the Chen-Stein method, we show that U(N)- 2 log(N)/log(2) converges in law to an extreme type (asymmetric) distribution. The same result holds for the maximal length W(N) of arithmetic progressions (mod N). When considered in the natural way on a common probability space, we observe that U(N)/log(N) converges almost surely to 2/log(2), while W(N)/log(N) does not converge almost surely (and in particular, limsup W(N)/log(N) is at least 3/log(2)).
Reflection Groups and Polytopes over Finite Fields, III
Published
• View Publication
• BIB
When the standard representation of a crystallographic Coxeter group is reduced modulo an odd prime p, one obtains a finite group G^p acting on some orthogonal space over Z_p . If the Coxeter group has a string diagram, then G^p will often be the automorphism group of a finite abstract regular polytope. In parts I and II we established the basics of this construction and enumerated the polytopes associated to groups of rank at most 4, as well as all groups of spherical or Euclidean type. Here we extend the range of our earlier criteria for the polytopality of G^p . Building on this we investigate the class of 3-infinity groups of general rank, and then complete a survey of those locally toroidal polytopes which can be described by our construction.
Relating two Hopf algebras built from an operad
Published in International Mathematics Research Notices 2007 (2007) rnm131, 27 pages
• View Publication
• BIB
Starting from an operad, one can build a family of posets. From this family of posets, one can define an incidence Hopf algebra. By another construction, one can also build a group directly from the operad. We then consider its Hopf algebra of functions. We prove that there exists a surjective morphism from the latter Hopf algebra to the former one. This is illustrated by the case of an operad built on rooted trees, the $\NAP$ operad, where the incidence Hopf algebra is identified with the Connes-Kreimer Hopf algebra of rooted trees.
Averages over hyperplanes, sum-product theory in vector spaces over finite fields and the Erdos-Falconer distance conjecture
Published
• View Publication
• BIB
We prove a point-wise and average bound for the number of incidences between points and hyper-planes in vector spaces over finite fields. While our estimates are, in general, sharp, we observe an improvement for product sets and sets contained in a sphere. We use these incidence bounds to obtain significant improvements on the arithmetic problem of covering ${\mathbb F}_q$, the finite field with q elements, by $A \cdot A+... +A \cdot A$, where A is a subset ${\mathbb F}_q$ of sufficiently large size. We also use the incidence machinery we develope and arithmetic constructions to study the Erdos-Falconer distance conjecture in vector spaces over finite fields. We prove that the natural analog of the Euclidean Erdos-Falconer distance conjecture does not hold in this setting due to the influence of the arithmetic. On the positive side, we obtain good exponents for the Erdos -Falconer distance problem for subsets of the unit sphere in $\mathbb F_q^d$ and discuss their sharpness. This results in a reasonably complete description of the Erdos-Falconer distance problem in higher dimensional vector spaces over general finite fields.
Algebras associated to acyclic directed graphs
Published
• View Publication
• BIB
We construct and study a class of algebras associated to generalized layered graphs, i.e. directed graphs with a ranking function on their vertices. Each finite directed acyclic graph admits countably many structures of a generalized layered graph. We construct linear bases in such algebras and compute their Hilbert series. Our interest to generalized layered graphs and algebras associated to those graphs is motivated by their relations to factorizations of polynomials over noncommutative rings.
Constant-degree graph expansions that preserve the treewidth
Published in Algorithmica, Volume 59, Number 4, 461-470,2011
• View Publication
• BIB
Many hard algorithmic problems dealing with graphs, circuits, formulas and constraints admit polynomial-time upper bounds if the underlying graph has small treewidth. The same problems often encourage reducing the maximal degree of vertices to simplify theoretical arguments or address practical concerns. Such degree reduction can be performed through a sequence of splittings of vertices, resulting in an _expansion_ of the original graph. We observe that the treewidth of a graph may increase dramatically if the splittings are not performed carefully. In this context we address the following natural question: is it possible to reduce the maximum degree to a constant without substantially increasing the treewidth?
Our work answers the above question affirmatively. We prove that any simple undirected graph G=(V, E) admits an expansion G'=(V', E') with the maximum degree <= 3 and treewidth(G') <= treewidth(G)+1. Furthermore, such an expansion will have no more than 2|E|+|V| vertices and 3|E| edges; it can be computed efficiently from a tree-decomposition of G. We also construct a family of examples for which the increase by 1 in treewidth cannot be avoided.
Two Analogs of Intrinsically Linked Graphs
A graph G is intrinsically S^1-linked if for every embedding of the vertices of G into S^1, vertices that form the endpoints of two disjoint edges in G form a non-split link in the embedding. We show that a graph is intrinsically S^1-linked if and only if it is not outer-planar. A graph is outer-flat if it can be embedded in the 3-ball such that all of its vertices map to the boundary of the 3-ball, all edges to the interior, and every cycle bounds a disk in the 3-ball that meets the graph only along its boundary. We show that a graph is outer-flat if and only if it is planar.
Morita equivalences of cyclotomic Hecke algebras of type G(r,p,n)
Published in J. Reine Angew. Math. 628 (2009), 169--194.
• View Publication
• BIB
We prove a Morita reduction theorem for the cyclotomic Hecke algebras H_{r,p,n}({q,Q})$ of type G(r,p,n). As a consequence, we show that computing the decomposition numbers of H_{r,p,n}(Q) reduces to computing the p'-splittable decomposition numbers of the cyclotomic Hecke algebras H_{r',p',n'}(Q'), where $1\le r'\le r$, $1\le n'\le n$, $ p'\mid p$ and where the parameters Q' are contained in a single $(ε,q)$-orbit and $ε$ is a primitive p'th root of unity.
An exotic shuffle relation of $ζ(\{2\}^m)$ and $ζ(\{3,1\}^n)$
Published in Arch. Math. (Basel) 91 (5)(2008), pp. 409-415
• View Publication
• BIB
In this short note we will provide a new and shorter proof of the following exotic shuffle relation of multiple zeta values:
$$ζ(\{2\}^m \sha\{3,1\}^n)={2n+m\choose m}
\frac{π^{4n+2m}}{(2n+1)\cdot (4n+2m+1)!}.$$ This was proved by Zagier when n=0, by Broadhurst when $m=0$, and by Borwein, Bradley, and Broadhurst when m=1. In general this was proved by Bowman and Bradley in \emph{The algebra and combinatorics of shuffles and multiple zeta values}, J. of Combinatorial Theory, Series A, Vol. \textbf{97} (1)(2002), 43--63. Our idea in the general case is to use the method of Borwein et al. to reduce the above general relation to some families of combinatorial identities which can be verified by WZ-method.
How Much Work Does It Take To Straighten a Plane Graph Out?
We prove that if one wants to make a plane graph drawing straight-line then in the worst case one has to move almost all vertices.
Combinatorial Aspects of Elliptic Curves
Published in Seminaire Lotharingien de Combinatoire, vol. 56 (2007) Art. B56f
• Search Publication
Given an elliptic curve C, we study here $N_k = #C(F_{q^k})$, the number of points of C over the finite field F_{q^k}. This sequence of numbers, as k runs over positive integers, has numerous remarkable properties of a combinatorial flavor in addition to the usual number theoretical interpretations. In particular we prove that $N_k = - W_k(q, - N_1)$ where W_k(q,t) is a (q,t)-analogue of the number of spanning trees of the wheel graph. Additionally we develop a determinantal formula for N_k where the eigenvalues can be explicitly written in terms of q, N_1, and roots of unity. We also discuss here a new sequence of bivariate polynomials related to the factorization of N_k, which we refer to as elliptic cyclotomic polynomials because of their various properties.
Turan's theorem inverted
Published
• View Publication
• BIB
Turan's theorem implies that every graph of order n with more edges than the r-partite Turan graph contains a complete graph of order r+1. We show that the same premise implies the existence of much larger graphs. We also prove corresponding stability theorems. These results complete work started by Erdos in 1963.
Gibbs Rapidly Samples Colorings of G(n,d/n)
Published
• View Publication
• BIB
Gibbs sampling also known as Glauber dynamics is a popular technique for sampling high dimensional distributions defined on graphs. Of special interest is the behavior of Gibbs sampling on the Erdős-Rényi random graph G(n,d/n). While the average degree in G(n,d/n) is d(1-o(1)), it contains many nodes of degree of order $\log n / \log \log n$.
The existence of nodes of almost logarithmic degrees implies that for many natural distributions defined on G(n,p) such as uniform coloring or the Ising model, the mixing time of Gibbs sampling is at least $n^{1 + Ω(1 / \log \log n)}$. High degree nodes pose a technical challenge in proving polynomial time mixing of the dynamics for many models including coloring.
In this work consider sampling q-colorings and show that for every $d < \infty$ there exists $q(d) < \infty$ such that for all $q \geq q(d)$ the mixing time of Gibbs sampling on G(n,d/n) is polynomial in $n$ with high probability. Our results are the first polynomial time mixing results proven for the coloring model on G(n,d/n) for d > 1 where the number of colors does not depend on n. They extend to much more general families of graphs which are sparse in some average sense and to much more general interactions. The results also generalize to the hard-core model at low fugacity and to general models of soft constraints at high temperatures.
A new characterization for the m-quasiinvariants of S_n and explicit basis for two row hook shapes
Published in J. Combin. Theory Ser. A 115 (2008), no. 8, 1333--1357
• View Publication
• BIB
In 2002, Feigin and Veselov defined the space of m-quasiinvariants for any Coxeter group, building on earlier work of Chalykh and Veselov. While many properties of those spaces were proven from this definition, an explicit computation of a basis was only done in certain cases. In particular, Feigin and Veselov computed bases for the m-quasiinvariants of dihedral groups, including S_3, and Felder and Veselov computed the non-symmetric m-quasiinvariants of lowest degree for general S_n. In this paper, we provide a new characterization of the m-quasiinvariants of S_n, and use this to provide a basis for the isotypic component indexed by the partition [n-1,1]. This builds on a previous paper in which we computed a basis for S_3 via combinatorial methods.
Random generation of finitely generated subgroups of a free group
Published in International Journal of Algebra and Computation 18 (2008) 1-31
• View Publication
• BIB
We give an efficient algorithm to randomly generate finitely generated subgroups of a given size, in a finite rank free group. Here, the size of a subgroup is the number of vertices of its representation by a reduced graph such as can be obtained by the method of Stallings foldings. Our algorithm randomly generates a subgroup of a given size n, according to the uniform distribution over size n subgroups. In the process, we give estimates of the number of size n subgroups, of the average rank of size n subgroups, and of the proportion of such subgroups that have finite index. Our algorithm has average case complexity $Ø(n)$ in the RAM model and $Ø(n^2\log^2n)$ in the bitcost model.
Gale duality bounds for roots of polynomials with nonnegative coefficients
Published
• View Publication
• BIB
We bound the location of roots of polynomials that have nonnegative coefficients with respect to a fixed but arbitrary basis of the vector space of polynomials of degree at most $d$. For this, we interpret the basis polynomials as vector fields in the real plane, and at each point in the plane analyze the combinatorics of the Gale dual vector configuration. This approach permits us to incorporate arbitrary linear equations and inequalities among the coefficients in a unified manner to obtain more precise bounds on the location of roots. We apply our technique to bound the location of roots of Ehrhart and chromatic polynomials. Finally, we give an explanation for the clustering seen in plots of roots of random polynomials.
Block-Toeplitz determinants, chess tableaux, and the type $\hat{A_1}$ Geiss-Leclerc-Schroer $φ$-map
We evaluate the Geiss-Leclerc-Schroer $φ$-map for shape modules over the preprojective algebra $Λ$ of type $\hat{A_1}$ in terms of matrix minors arising from the block-Toeplitz representation of the loop group $\SL_2(\mathcal{L})$. Conjecturally these minors are among the cluster variables for coordinate rings of unipotent cells within $\SL_2(\mathcal{L})$. In so doing we compute the Euler characteristic of any generalized flag variety attached to a shape module by counting standard tableaux of requisite shape and parity; alternatively by counting chess tableaux of requisite shape and content.
Deformed Macdonald-Ruijsenaars operators and super Macdonald polynomials
Published
• View Publication
• BIB
It is shown that the deformed Macdonald-Ruijsenaars operators can be described as the restrictions on certain affine subvarieties of the usual Macdonald-Ruijsenaars operator in infinite number of variables. The ideals of these varieties are shown to be generated by the Macdonald polynomials related to Young diagrams with special geometry. The super Macdonald polynomials and their shifted version are introduced, the combinatorial formulas for them are given.
Critical percolation on random regular graphs
Published
• View Publication
• BIB
We describe the component sizes in critical independent p-bond percolation on a random d-regular graph on n vertices, where d \geq 3 is fixed and n grows. We prove mean-field behavior around the critical probability p_c=1/(d-1).
In particular, we show that there is a scaling window of width n^{-1/3} around p_c in which the sizes of the largest components are roughly n^{2/3} and we describe their limiting joint distribution. We also show that for the subcritical regime, i.e. p = (1-eps(n))p_c where eps(n)=o(1) but \eps(n)n^{1/3} tends to infinity, the sizes of the largest components are concentrated around an explicit function of n and eps(n) which is of order o(n^{2/3}). In the supercritical regime, i.e. p = (1+\eps(n))p_c where eps(n)=o(1) but eps(n)n^{1/3} tends to infinity, the size of the largest component is concentrated around the value (2d/(d-2))\eps(n)n and a duality principle holds: other component sizes are distributed as in the subcritical regime.
A superadditivity and submultiplicativity property for cardinalities of sumsets
Published
• View Publication
• BIB
For finite sets of integers $A_1, A_2 ... A_n$ we study the cardinality of the $n$-fold sumset $A_1+...
+A_n$ compared to those of $n-1$-fold sumsets $A_1+...
+A_{i-1}+A_{i+1}+... A_n$. We prove a superadditivity and a submultiplicativity property for these quantities. We also examine the case when the addition of elements is restricted to an addition graph between the sets.