Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Growth in finite simple groups of Lie type
Published
• View Publication
• BIB
We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^(1+epsilon) where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple groups L of Lie type the diameter of any Cayley graph is polylogarithmic in |L|. Combining our result on growth with known results of Bourgain,Gamburd and Varjú it follows that if LAMBDA is a Zariski-dense subgroup of SL(d,Z) generated by a finite symmetric set S, then for square-free moduli m which are relatively prime to some number m_0 the Cayley graphs Gamma(SL(d,m),pi_m(S)) form an expander family.
Okounkov bodies and toric degenerations
Published in Math. Ann. 356 (2013), no. 3, 1183-1202
• View Publication
• BIB
Let Δbe the Okounkov body of a divisor D on a projective variety X. We describe a geometric criterion for Δto be a lattice polytope, and show that in this situation X admits a flat degeneration to the corresponding toric variety. This degeneration is functorial in an appropriate sense.
Point- and arc-reaching sets of vertices in a digraph
Published in Indian Journal of Mathematics, 51 (2009), no. 3, 597-609. MR 2573808 (2011b:05082). Zbl 1194.05053
• Search Publication
In a digraph $D = (X, \mathcal{U})$, not necessarily finite, an arc $(x, y) \in \mathcal{U}$ is reachable from a vertex $u$ if there exists a directed walk $W$ that originates from $u$ and contains $(x, y)$. A subset $S \subseteq X$ is an arc-reaching set of $D$ if for every arc $(x, y)$ there exists a diwalk $W$ originating at a vertex $u \in S$ and containing $(x, y)$. A minimal arc-reaching set is an arc-basis. $S$ is a point-reaching set if for every vertex $v$ there exists a diwalk $W$ to $v$ originating at a vertex $u \in S$. A minimal point-reaching set is a point-basis. We extend the results of Harary, Norman, and Cartwright on point-bases in finite digraphs to point- and arc-bases in infinite digraphs.
An elementary chromatic reduction for gain graphs and special hyperplane arrangements
Published in Electronic J. Combinatorics, 16 (1) (2009), Article R121
• Search Publication
A gain graph is a graph whose edges are labelled invertibly by "gains" from a group. "Switching" is a transformation of gain graphs that generalizes conjugation in a group. A "weak chromatic function" of gain graphs with gains in a fixed group satisfies three laws: deletion-contraction for links with neutral gain, invariance under switching, and nullity on graphs with a neutral loop. The laws lead to the "weak chromatic group" of gain graphs, which is the universal domain for weak chromatic functions. We find expressions, valid in that group, for a gain graph in terms of minors without neutral-gain edges, or with added complete neutral-gain subgraphs, that generalize the expression of an ordinary chromatic polynomial in terms of monomials or falling factorials. These expressions imply relations for chromatic functions of gain graphs.
We apply our relations to some special integral gain graphs including those that correspond to the Shi, Linial, and Catalan arrangements, thereby obtaining new evaluations of and new ways to calculate the zero-free chromatic polynomial and the integral and modular chromatic functions of these gain graphs, hence the characteristic polynomials and hypercubical lattice-point counting functions of the arrangements. We also calculate the total chromatic polynomial of any gain graph and especially of the Catalan, Shi, and Linial gain graphs.
The John Theorem for Simplex
Published in J.Shanghai University, 2006, 10(6):487-490
• Search Publication
In this paper, we give a description of the John contact points of a regular simplex. We prove that the John ellipsoid of any simplex is ball if and only if this simplex is regular and that the John ellipsoid of a regular simplex is its inscribed ball.
The number of graphs with large forbidden subgraphs
In this note, extending some results of Erdos, Frankl, Rodl, Alexeev, Bollobas and Thomason we determine asymptotically the number of graphs which do not contain certain large subgraphs. In particular, if H_1,...,H_n,... are graphs with chromatic numbers r_1,...,r_n,... and order o(log n), we dermine asymptotically the number of graphs of order n not containing H_n as a subgraph. We also give similar results for induced subgraphs.
Combinatoire du point de croix
This paper deals with a popular form of counted-thread embroidery: the cross-stitch. More precisely, we are interested in the minimal length of embroidery thread one need to fill a given picture. We give a complete answer to this problem for 4-connexe pictures (the notion is defined in the paper). In a last part, we study several other examples.
Weight Optimization for Distributed Average Consensus Algorithm in Symmetric, CCS & KCS Star Networks
This paper addresses weight optimization problem in distributed consensus averaging algorithm over networks with symmetric star topology. We have determined optimal weights and convergence rate of the network in terms of its topological parameters. In addition, two alternative topologies with more rapid convergence rates have been introduced. The new topologies are Complete-Cored Symmetric (CCS) star and K-Cored Symmetric (KCS) star topologies. It has been shown that the optimal weights for the edges of central part in symmetric and CCS star configurations are independent of their branches. By simulation optimality of obtained weights under quantization constraints have been verified.
Higher order Fourier analysis as an algebraic theory III
For every natural number k we introduce the notion of k-th order convolution of functions on abelian groups. We study the group of convolution preserving automorphisms of function algebras in the limit. It turns out that such groups have k-nilpotent factor groups explaining why k-th order Fourier analysis has non-commutative features. To demonstrate our method in the quadratic case we develop a new quadratic representation theory on finite abelian groups. We introduce the notion of a quadrtic nil-morphism of an abelian group into a two step nil-manifold. We prove a structure theorem saying that any bounded function on a finite abelian group is decomposable into a structured part (which is the composition of a nil-morphism with a bounded complexity continuous function) and a random looking part with small U3 norm. It implies a new inverse theorem for the U3 norm. (The general case for Un, n>3 will be discussed in the next part of this sequence.) We point out that our framework creates interesting limit objects for functions on finite (or compact) abelian groups that are measurable functions on nil-manifolds.
Pieces of nilpotent cones for classical groups
Published in Representation Theory 15 (2011), 584-616
• View Publication
• BIB
We compare orbits in the nilpotent cone of type $B_n$, that of type $C_n$, and Kato's exotic nilpotent cone. We prove that the number of $\F_q$-points in each nilpotent orbit of type $B_n$ or $C_n$ equals that in a corresponding union of orbits, called a type-$B$ or type-$C$ piece, in the exotic nilpotent cone. This is a finer version of Lusztig's result that corresponding special pieces in types $B_n$ and $C_n$ have the same number of $\F_q$-points. The proof requires studying the case of characteristic 2, where more direct connections between the three nilpotent cones can be established. We also prove that the type-$B$ and type-$C$ pieces of the exotic nilpotent cone are smooth in any characteristic.
Challenging computations of Hilbert bases of cones associated with algebraic statistics
Published
• View Publication
• BIB
In this paper we present two independent computational proofs that the monoid derived from $5\times 5\times 3$ contingency tables is normal, completing the classification by Hibi and Ohsugi. We show that Vlach's vector disproving normality for the monoid derived from $6\times 4\times 3$ contingency tables is the unique minimal such vector up to symmetry. Finally, we compute the full Hilbert basis of the cone associated with the non-normal monoid of the semi-graphoid for $|N|=5$. The computations are based on extensions of the packages LattE-4ti2 and Normaliz.
Roots of Ehrhart polynomials of Gorenstein Fano polytopes
Published in Proc. Amer. Math. Soc. 139 (2011), 3727--3734
• View Publication
• BIB
Given arbitrary integers $k$ and $d$ with $0 \leq 2k \leq d$, we construct a Gorenstein Fano polytope $\Pc \subset \RR^d$ of dimension $d$ such that (i) its Ehrhart polynomial $i(\Pc, n)$ possesses $d$ distinct roots; (ii) $i(\Pc, n)$ possesses exactly $2k$ imaginary roots; (iii) $i(\Pc, n)$ possesses exactly $d - 2k$ real roots; (iv) the real part of each of the imaginary roots is equal to $- 1 / 2$; (v) all of the real roots belong to the open interval $(-1, 0)$.
Stolarsky's conjecture and the sum of digits of polynomial values
Published
• View Publication
• BIB
Let $s_q(n)$ denote the sum of the digits in the $q$-ary expansion of an integer $n$. In 1978, Stolarsky showed that $$ \liminf_{n\to\infty} \frac{s_2(n^2)}{s_2(n)} = 0. $$ He conjectured that, as for $n^2$, this limit infimum should be 0 for higher powers of $n$. We prove and generalize this conjecture showing that for any polynomial $p(x)=a_h x^h+a_{h-1} x^{h-1} + ... + a_0 \in \Z[x]$ with $h\geq 2$ and $a_h>0$ and any base $q$, \[ \liminf_{n\to\infty} \frac{s_q(p(n))}{s_q(n)}=0.\] For any $ε> 0$ we give a bound on the minimal $n$ such that the ratio $s_q(p(n))/s_q(n) < ε$. Further, we give lower bounds for the number of $n < N$ such that $s_q(p(n))/s_q(n) < ε$.
The sum of digits of $n$ and $n^2$
Published
• View Publication
• BIB
Let $s_q(n)$ denote the sum of the digits in the $q$-ary expansion of an integer $n$. In 2005, Melfi examined the structure of $n$ such that $s_2(n) = s_2(n^2)$. We extend this study to the more general case of generic $q$ and polynomials $p(n)$, and obtain, in particular, a refinement of Melfi's result. We also give a more detailed analysis of the special case $p(n) = n^2$, looking at the subsets of $n$ where $s_q(n) = s_q(n^2) = k$ for fixed $k$.
Configuration of lines in del Pezzo surfaces with Gosset Polytopes
Published
• View Publication
• BIB
In this article, we study the divisor classes of del Pezzo surfaces, which are written as the sum of distinct lines with fixed intersection according to the inscribed simplexes and crosspolytopes in Gosset polytopes. We introduce the k-Steiner system and cornered simplexes, and characterize the configurations of inscribed m(<4)-simplexes with them. Higher dimensional inscribed m(3<m)-simplexes exist in 4_{21} in the Picard group of del Pezzo surface S_{8} of degree 1.The configurations of 4- and 7-simplexes are related to rulings in S_{8}. And the configurations of 5- and 6-simplexes correspond the skew 3-lines and skew 7-lines in S_{8}. In particular, the seven lines in a 6-simplex produce a Fano plane. We also study the inscribed crosspolytopes and hypercubes in the Gosset polytopes.
Fraction-like rates from preferential voting
Published
• View Publication
• BIB
A method is given for determining a mixed social choice out of a paired-comparison matrix. The method combines a projection procedure introduced in previous papers of the same authors and a classical method due to Zermelo. The resulting method is proved to have certain desirable properties, which include: compliance with a majority principle, clone consistency, and continuity of the mixing fractions with respect to the data.
Bipartite $S_2$ graphs are Cohen-Macaulay
In this paper we show that if the Stanley-Reisner ring of the simplicial complex of independent sets of a bipartite graph $G$ satisfies Serre's condition $S_2$, then $G$ is Cohen-Macaulay. As a consequence, the characterization of Cohen-Macaulay bipartite graphs due to Herzog and Hibi carries over this family of bipartite graphs. We check that the equivalence of Cohen-Macaulay property and the condition $S_2$ is also true for chordal graphs and we classify cyclic graphs with respect to the condition $S_2$.
Yet Another Hat Game
Published
• View Publication
• BIB
Several different "hat games" have recently received a fair amount of attention. Typically, in a hat game, one or more players are required to correctly guess their hat colour when given some information about other players' hat colours. Some versions of these games have been motivated by research in complexity theory and have ties to well-known research problems in coding theory, and some variations have led to interesting new research.
In this paper, we review Ebert's Hat Game, which garnered a considerable amount of publicity in the late 90's and early 00's, and the Hats-on-a-line Game. Then we introduce a new hat game which is a "hybrid" of these two games and provide an optimal strategy for playing the new game. The optimal strategy is quite simple, but the proof involves an interesting combinatorial argument.
A Note on the Stanley Distribution
Richard Stanley proved that the centralized/normalized version of the random variable "length of largest up-down subsequence" in a random permutation of length n is asymptotically normal. We go beyond and present a more refined asymptotic formula for the moments.
Some degenerations of Kazhdan-Lusztig ideals and multiplicities of Schubert varieties
Published in Advances in Mathematics, Volume 229, Issue 1, 15 (2012), 633--667
• View Publication
• BIB
We study Hilbert-Samuel multiplicity for points of Schubert varieties in the complete flag variety, by Groebner degenerations of the Kazhdan-Lusztig ideal. In the covexillary case, we give a positive combinatorial rule for multiplicity by establishing (with a Groebner basis) a reduced and equidimensional limit whose Stanley-Reisner simplicial complex is homeomorphic to a shellable ball or sphere. We show that multiplicity counts the number of facets of this complex. We also obtain a formula for the Hilbert series of the local ring. In particular, our work gives a multiplicity rule for Grassmannian Schubert varieties, providing alternative statements and proofs to formulae of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], [Krattenthaler '01], [Kreiman-Lakshmibai '04] and [Woo-Yong '09]. We suggest extensions of our methodology to the general case.