Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Combinatorial Algebra for second-quantized Quantum Theory
Published
• View Publication
• BIB
We describe an algebra G of diagrams which faithfully gives a diagrammatic representation of the structures of both the Heisenberg-Weyl algebra H - the associative algebra of the creation and annihilation operators of quantum mechanics - and U(L_H), the enveloping algebra of the Heisenberg Lie algebra L_H. We show explicitly how G may be endowed with the structure of a Hopf algebra, which is also mirrored in the structure of U(L_H). While both H and U(L_H) are images of G, the algebra G has a richer structure and therefore embodies a finer combinatorial realization of the creation-annihilation system, of which it provides a concrete model.
Expansion properties of finite simple groups
Published in Ph. D. thesis. The Hebrew University of Jerusalem (2009)
• Search Publication
We prove that if G is SL_2(F) or PSL_2(F), where F is a finite field, and A is a set of generators of G, then either |AAA| > |A|^(1+epsilon), where epsilon is an absolute positive real number, or AAA=G.
As a corollary we get that the diameter of any Cayley graph of G is Poly-Logarithmic in |G|.
Linear Approximate Groups
Published
• View Publication
• BIB
This is an informal announcement of results to be described and proved in detail in a paper to appear. We give various results on the structure of approximate subgroups in linear groups such as $\SL_n(k)$. For example, generalising a result of Helfgott (who handled the cases $n = 2$ and 3), we show that any approximate subgroup of $\SL_n(\F_q)$ which generates the group must be either very small or else nearly all of $\SL_n(\F_q)$. The argument is valid for all Chevalley groups $G(\F_q)$.
More Colourful Simplices
Published
• View Publication
• BIB
We show that any point in the convex hull of each of (d+1) sets of (d+1) points in general position in \R^d is contained in at least (d+1)^2/2 simplices with one vertex from each set. This improves the known lower bounds for all d >= 4.
Percolation on self-dual polygon configurations
Published in Bolyai Society Mathematical Studies, Volume 21 (2010), Pages 131-217
• View Publication
• BIB
Recently, Scullard and Ziff noticed that a broad class of planar percolation models are self-dual under a simple condition that, in a parametrized version of such a model, reduces to a single equation. They state that the solution of the resulting equation gives the critical point. However, just as in the classical case of bond percolation on the square lattice, self-duality is simply the starting point: the mathematical difficulty is precisely showing that self-duality implies criticality. Here we do so for a generalization of the models considered by Scullard and Ziff. In these models, the states of the bonds need not be independent; furthermore, increasing events need not be positively correlated, so new techniques are needed in the analysis. The main new ingredients are a generalization of Harris's Lemma to products of partially ordered sets, and a new proof of a type of Russo-Seymour-Welsh Lemma with minimal symmetry assumptions.
Tropical cycles and Chow polytopes
Published
• View Publication
• BIB
The Chow polytope of an algebraic cycle in a torus depends only on its tropicalisation. Generalising this, we associate a Chow polytope to any abstract tropical variety in a tropicalised toric variety. Several significant polyhedra associated to tropical varieties are special cases of our Chow polytope. The Chow polytope of a tropical variety $X$ is given by a simple combinatorial construction: its normal subdivision is the Minkowski sum of $X$ and a reflected skeleton of the fan of the ambient toric variety.
Brill-Noether theory of squarefree modules supported on a graph
Published
• View Publication
• BIB
We investigate the analogy between squarefree Cohen-Macaulay modules supported on a graph and line bundles on a curve. We prove a Riemann-Roch theorem, we study the Jacobian and gonality of a graph, and we prove Clifford's theorem.
Counting Finite Languages by Total Word Length
Published
• View Publication
• BIB
We investigate the number of sets of words that can be formed from a finite alphabet, counted by the total length of the words in the set. An explicit expression for the counting sequence is derived from the generating function, and asymptotics for large alphabet respectively large total word length are discussed. Moreover, we derive a Gaussian limit law for the number of words in a random finite language.
Perpendicular dissections of space
Published in Discrete and Computational Geometry, 27 (2002), 303--351
• View Publication
• BIB
For each pair $(Q_i,Q_j)$ of reference points and each real number $r$ there is a unique hyperplane $h \perp Q_iQ_j$ such that $d(P,Q_i)^2 - d(P,Q_j)^2 = r$ for points $P$ in $h$. Take $n$ reference points in $d$-space and for each pair $(Q_i,Q_j)$ a finite set of real numbers. The corresponding perpendiculars form an arrangement of hyperplanes. We explore the structure of the semilattice of intersections of the hyperplanes for generic reference points. The main theorem is that there is a real, additive gain graph (this is a graph with an additive real number associated invertibly to each edge) whose set of balanced flats has the same structure as the intersection semilattice. We examine the requirements for genericity, which are related to behavior at infinity but remain mysterious; also, variations in the construction rules for perpendiculars. We investigate several particular arrangements with a view to finding the exact numbers of faces of each dimension. The prototype, the arrangement of all perpendicular bisectors, was studied by Good and Tideman, motivated by a geometric voting theory. Most of our particular examples are suggested by extensions of that theory in which voters exercise finer discrimination. Throughout, we propose many research problems.
Discriminants and Jacobians of virtual reflection groups
Let A be a polynomial algebra with complex coefficients. Let B be a finite extension ring of A which is also a polynomial algebra. We describe the factorisation of the Jacobian J of the extension into irreducibles. We also introduce the notion of a well-ramified extension and define its discriminant polynomial D. In the particular case where A is the ring of invariants of B under the action of a group (i.e., a Galois extension), this framework corresponds to the classical invariant theory of complex reflection groups. In the more general case of a well-ramified extension, we explain how the pair (D,J) behaves similarly to a Galois extension. This work can be viewed as the first step towards a possible invariant theory of "virtual reflection groups".
Statistical properties of subgroups of free groups
Published in Random Structures and Algorithms 42 (2013) 349-373
• View Publication
• BIB
The usual way to investigate the statistical properties of finitely generated subgroups of free groups, and of finite presentations of groups, is based on the so-called word-based distribution: subgroups are generated (finite presentations are determined) by randomly chosen k-tuples of reduced words, whose maximal length is allowed to tend to infinity. In this paper we adopt a different, though equally natural point of view: we investigate the statistical properties of the same objects, but with respect to the so-called graph-based distribution, recently introduced by Bassino, Nicaud and Weil. Here, subgroups (and finite presentations) are determined by randomly chosen Stallings graphs whose number of vertices tends to infinity. Our results show that these two distributions behave quite differently from each other, shedding a new light on which properties of finitely generated subgroups can be considered frequent or rare. For example, we show that malnormal subgroups of a free group are negligible in the graph-based distribution, while they are exponentially generic in the word-based distribution. Quite surprisingly, a random finite presentation generically presents the trivial group in this new distribution, while in the classical one it is known to generically present an infinite hyperbolic group.
Symmetric and Antisymmetric Vector-valued Jack Polynomials
Published in Sem. Lothar. Combin. B64a (2010), 31 pp
• Search Publication
Polynomials with values in an irreducible module of the symmetric group can be given the structure of a module for the rational Cherednik algebra, called a standard module. This algebra has one free parameter and is generated by differential-difference ("Dunkl") operators, multiplication by coordinate functions and the group algebra. By specializing Griffeth's (arXiv:0707.0251) results for the G(r,p,n) setting, one obtains norm formulae for symmetric and antisymmetric polynomials in the standard module. Such polynomials of minimum degree have norms which involve hook-lengths and generalize the norm of the alternating polynomial.
Scaling limits of random skew plane partitions with arbitrarily sloped back walls
Published in Comm. Math. Phys. 305:711-739, 2011
• View Publication
• BIB
The paper studies scaling limits of random skew plane partitions confined to a box when the inner shapes converge uniformly to a piecewise linear function V of arbitrary slopes in [-1,1]. It is shown that the correlation kernels in the bulk are given by the incomplete Beta kernel, as expected. As a consequence it is established that the local correlation functions in the scaling limit do not depend on the particular sequence of discrete inner shapes that converge to V. A detailed analysis of the correlation kernels at the top of the limit shape and of the frozen boundary is given. It is shown that depending on the slope of the linear section of the back wall, the system exhibits behavior observed in either [OR2] or [BMRT].
Super congruences and Euler numbers
Published in Sci. China Math. 54(2011), no.12, 2509-2535
• View Publication
• BIB
Let $p>3$ be a prime. We prove that $$\sum_{k=0}^{p-1}\binom{2k}{k}/2^k=(-1)^{(p-1)/2}-p^2E_{p-3} (mod p^3),$$ $$\sum_{k=1}^{(p-1)/2}\binom{2k}{k}/k=(-1)^{(p+1)/2}8/3*pE_{p-3} (mod p^2),$$ $$\sum_{k=0}^{(p-1)/2}\binom{2k}{k}^2/16^k=(-1)^{(p-1)/2}+p^2E_{p-3} (mod p^3)$$, where E_0,E_1,E_2,... are Euler numbers. Our new approach is of combinatorial nature. We also formulate many conjectures concerning super congruences and relate most of them to Euler numbers or Bernoulli numbers. Motivated by our investigation of super congruences, we also raise a conjecture on 7 new series for $π^2$, $π^{-2}$ and the constant $K:=\sum_{k>0}(k/3)/k^2$ (with (-) the Jacobi symbol), two of which are $$\sum_{k=1}^\infty(10k-3)8^k/(k^3\binom{2k}{k}^2\binom{3k}{k})=π^2/2$$ and $$\sum_{k>0}(15k-4)(-27)^{k-1}/(k^3\binom{2k}{k}^2\binom{3k}k)=K.$$
Quantum Integrable Model of an Arrangement of Hyperplanes
Published in SIGMA 7 (2011), 032, 55 pages
• View Publication
• BIB
The goal of this paper is to give a geometric construction of the Bethe algebra (of Hamiltonians) of a Gaudin model associated to a simple Lie algebra. More precisely, in this paper a quantum integrable model is assigned to a weighted arrangement of affine hyperplanes. We show (under certain assumptions) that the algebra of Hamiltonians of the model is isomorphic to the algebra of functions on the critical set of the corresponding master function. For a discriminantal arrangement we show (under certain assumptions) that the symmetric part of the algebra of Hamiltonians is isomorphic to the Bethe algebra of the corresponding Gaudin model. It is expected that this correspondence holds in general (without the assumptions). As a byproduct of constructions we show that in a Gaudin model (associated to an arbitrary simple Lie algebra), the Bethe vector, corresponding to an isolated critical point of the master function, is nonzero.
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
• View Publication
• BIB
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.