group
10399 papers tagged with this keyword
Polytopes with mass linear functions, part I
Published
• View Publication
• BIB
We analyze mass linear functions $H$ on simple polytopes $\De$, where a mass linear function is an affine function on $\De$ whose value on the center of mass depends linearly on the positions of the supporting hyperplanes. We show that certain types of symmetries of $\De$ give rise to nonconstant mass linear functions on $\De$. These are called inessential; the others are essential. We also show that most polytopes do not admit any nonconstant mass linear functions. Our main result shows that there is only one family of smooth polytopes of dimension $\leq 3$ which admit essential mass linear functions.
These results have geometric implications. Fix a symplectic toric manifold $(M,\om,T,Φ)$ with moment polytope $\De = Φ(M)$; let $\Symp(M,\om)$ be its group of symplectomorphisms. Any linear function $H$ on $\De$ generates a Hamiltonian $\R$ action on $M$ whose closure is a subtorus $T_H$ of $T$. We show that if the map $π_1(T_H)\to π_1(\Symp(M,\om))$ has finite image, then $H$ is mass linear. Therefore, in most cases the induced map $π_1(T) \to π_1(\Symp(M,\om))$ is an injection. We also show that this map does not have finite image unless $M$ is a product of projective spaces. Moreover, the inessential $H$ correspond to elements in the kernel of the map $π_1(T)\to \Isom(M)$, where the Kahler isometry group $\Isom(M)\subset \Symp(M,\om)$ consists of elements that also preserve the natural compatible complex structure on $M$. Therefore if $\De$ supports no nonconstant essential mass linear $H$, the map $π_1(\Isom(M))\to pi_1(\Symp(M,\om)$ is injective.
On exponentials of exponential generating series
Published in Algebra & Number Theory 4, 7 (2010) 919-942
• View Publication
• BIB
Identifying the algebra of exponential generating series with the shuffle algebra of formal power series, one can define an exponential map ${\mathop{exp}}_!:X\mathbb K[[X]]\longrightarrow 1+X\mathbb K[[X]]$ for the associated Lie group formed by exponential generating series with constant coefficient 1 over an arbitrary field $\mathbb K$. The main result of this paper states that the map ${\mathop{exp}}_!$ (and its inverse map ${\mathop{log}}_!$) induces a bijection between rational, respectively algebraic, series in $X\mathbb K [[X]]$ and $1+X\mathbb K[[X]]$ if the field $\mathbb K$ is a subfield of the algebraically closed field $\bar{\mathbb F}_p$ of characteristic $p$.
Decoding generalised hyperoctahedral groups and asymptotic analysis of correctible error patterns
Published
• View Publication
• BIB
We demonstrate a majority-logic decoding algorithm for decoding the generalised hyperoctahedral group $C_m \wr S_n$ when thought of as an error-correcting code. We also find the complexity of this decoding algorithm and compare it with that of another, more general, algorithm. Finally, we enumerate the number of error patterns exceeding the correction capability that can be successfully decoded by this algorithm, and analyse this asymptotically.
The Postage Stamp Problem and Essential Subsets in Integer Bases
Published
• View Publication
• BIB
Plagne recently determined the asymptotic behavior of the function E(h), which counts the maximum possible number of essential elements in an additive basis for N of order h. Here we extend his investigations by studying asymptotic behavior of the function E(h,k), which counts the maximum possible number of essential subsets of size k, in a basis of order h. For a fixed k and with h going to infinity, we show that E(h,k) = Θ_{k} ([h^{k}/\log h]^{1/(k+1)}). The determination of a more precise asymptotic formula is shown to depend on the solution of the well-known "postage stamp problem" in finite cyclic groups. On the other hand, with h fixed and k going to infinity, we show that E(h,k) \sim (h-1) {\log k \over \log \log k}.
Ehrhart Theory for Lawrence Polytopes and Orbifold Cohomology of Hypertoric Varieties
Published in Proc. Amer. Math. Soc. 137 (2009), 4243-4253
• View Publication
• BIB
We establish a connection between the orbifold cohomology of hypertoric varieties and the Ehrhart theory of Lawrence polytopes. More specifically, we show that the dimensions of the orbifold cohomology groups of a hypertoric variety are equal to the coefficients of the Ehrhart $δ$-polynomial of the associated Lawrence polytope. As a consequence, we deduce a formula for the Ehrhart $δ$-polynomial of a Lawrence polytope and use the injective part of the Hard Lefschetz Theorem for hypertoric varieties to deduce some inequalities between the coefficients of the $δ$-polynomial.
Geometrically Constructed Bases for Homology of Non-Crossing Partition Lattices
Published
• View Publication
• BIB
For any finite, real reflection group $W$, we construct a geometric basis for the homology of the corresponding non-crossing partition lattice. We relate this to the basis for the homology of the corresponding intersection lattice introduced by Björner and Wachs in \cite{BW} using a general construction of a generic affine hyperplane for the central hyperplane arrangement defined by $W$.
Inverse zero-sum problems and algebraic invariants
Published in Acta Arithmetica 135, 3 (2008) 231-246
• View Publication
• BIB
In this article, we study the maximal cross number of long zero-sumfree sequences in a finite Abelian group. Regarding this inverse-type problem, we formulate a general conjecture and prove, among other results, that this conjecture holds true for finite cyclic groups, finite Abelian p-groups and for finite Abelian groups of rank two. Also, the results obtained here enable us to improve, via the resolution of a linear integer program, a result of W. Gao and A. Geroldinger concerning the minimal number of elements with maximal order in a long zero-sumfree sequence of a finite Abelian group of rank two.
Boolean 2-designs and the embedding of a 2-design in a group
We try to embed a t-design in a finite commutative group in such a way that the sum of the k points of a block is zero. We can compute the number of blocks of the boolean 2-design having all the non zero vectors of $(Z_2)^n$ as the set of points and the k-subsets of elements the sum of which is zero as blocks.
Jack polynomials and the coinvariant ring of $G(r,p,n)$
Published
• View Publication
• BIB
We study the coinvariant ring of the complex reflection group $G(r,p,n)$ as a module for the corresponding rational Cherednik algebra $\HH$ and its generalized graded affine Hecke subalgebra $\mathcal{H}$. We construct a basis consisting of non-symmetric Jack polynomials, and using this basis decompose the coinvariant ring into irreducible modules for $\mathcal{H}$. The basis consists of certain non-symmetric Jack polynomials, whose leading terms are the ``descent monomials'' for $G(r,p,n)$ recently studied by Adin, Brenti, and Roichman and Bagno and Biagoli. The irreducible $\mathcal{H}$-submodules of the coinvariant ring are their ``colored descent representations''.
Quantum spaces associated to multipermutation solutions of level two
Published
• View Publication
• BIB
We study finite set-theoretic solutions $(X,r)$ of the Yang-Baxter equation of square-free multipermutation type. We show that each such solution over $\C$ with multipermutation level two can be put in diagonal form with the associated Yang-Baxter algebra $\Acal(\C,X,r)$ having a $q$-commutation form of relations determined by complex phase factors. These complex factors are roots of unity and all roots of a prescribed form appear as determined by the representation theory of finite abelian group $\Gcal$ of left actions on $X$. We study the structure of $\Acal(\C,X,r)$ and show that they have a $\bullet$-product form `quantizing' the commutative algebra of polynomials in $|X|$ variables. We obtain the $\bullet$-product both as a Drinfeld cotwist for a certain canonical 2-cocycle and as a braided-opposite product for a certain crossed $\Gcal$-module (over any field $k$). We provide first steps in the noncommutative differential geometry of $\Acal(k,X,r)$ arising from these results. As a byproduct of our work we find that every such level 2 solution $(X,r)$ factorises as $r=f\circτ\circ f^{-1}$ where $τ$ is the flip map and $(X,f)$ is another solution coming from $X$ as a crossed $\Gcal$-set.
q,t-Fuss-Catalan numbers for complex reflection groups
Published
• View Publication
• BIB
In type A, the q,t-Fuss -Catalan numbers can be defined as a bigraded Hilbert series of a module associated to the symmetric group S_n. We generalize this construction to (finite) complex reflection groups and exhibit some nice conjectured algebraic and combinatorial properties of these polynomials in q and t. Finally, we present an idea how these polynomials could be related to some graded Hilbert series of modules arising in the context of rational Cherednik algebras. This is work in progress.
The sum-product phenomenon in arbitrary rings
Published
• View Publication
• BIB
The \emph{sum-product phenomenon} predicts that a finite set $A$ in a ring $R$ should have either a large sumset $A+A$ or large product set $A \cdot A$ unless it is in some sense "close" to a finite subring of $R$. This phenomenon has been analysed intensively for various specific rings, notably the reals $\R$ and cyclic groups $\Z/q\Z$. In this paper we consider the problem in arbitrary rings $R$, which need not be commutative or contain a multiplicative identity. We obtain rigorous formulations of the sum-product phenomenon in such rings in the case when $A$ encounters few zero-divisors of $R$. As applications we recover (and generalise) several sum-product theorems already in the literature.
Simple SL(n)-Modules with Normal Closures of Maximal Torus Orbits
Published
• View Publication
• BIB
Let $T$ be the subgroup of diagonal matrices in the group SL(n). The aim of this paper is to find all finite-dimensional simple rational SL(n)-modules $V$ with the following property: for each point $v\in V$ the closure $\bar{Tv}$ of its $T$-orbit is a normal affine variety. Moreover, for any SL(n)-module without this property a $T$-orbit with non-normal closure is constructed. The proof is purely combinatorial: it deals with the set of weights of simple SL(n)-modules. The saturation property is checked for each subset in the set of weights.
Zeta functions, heat kernels and spectral asymptotics on degenerating families of discrete tori
Published
• View Publication
• BIB
By a discrete torus we mean the Cayley graph associated to a finite product of finite cycle groups with generating set given by choosing a generator for each cyclic factor. In this article we study the spectral theory of the combinatorial Laplacian for sequences of discrete tori when the orders of the cyclic factors tend to infinity at comparable rates. First we show that the sequence of heat kernels corresponding to the degenerating family converges, after re-scaling, to the heat kernel on an associated real torus. We then establish an asymptotic expansion, in the degeneration parameter, of the determinant of the combinatorial Laplacian. The zeta-regularized determinant of the Laplacian of the limiting real torus appears as the constant term in this expansion. On the other hand, using a classical theorem by Kirchhoff the determinant of the combinatorial Laplacian of a finite graph divided by the number of vertices equals the number of spanning trees, called the complexity, of the graph. As a result, we establish a precise connection between the complexity of the Cayley graphs of finite abelian groups and heights of real tori. It is also known that spectral determinants on discrete tori can be expressed using trigonometric functions and that spectral determinants on real tori can be expressed using modular forms on general linear groups. Another interpretation of our analysis is thus to establish a link between limiting values of certain products of trigonometric functions and modular forms. The heat kernel analysis which we employ uses a careful study of I-Bessel functions. Our methods extend to prove the asymptotic behavior of other spectral invariants through degeneration, such as special values of spectral zeta functions and Epstein-Hurwitz type zeta functions.
Shadows and intersections: stability and new proofs
Published in Adv. Math. 218 (2008), 1685--1703
• View Publication
• BIB
We give a short new proof of a version of the Kruskal-Katona theorem due to Lovász. Our method can be extended to a stability result, describing the approximate structure of configurations that are close to being extremal, which answers a question of Mubayi. This in turn leads to another combinatorial proof of a stability theorem for intersecting families, which was originally obtained by Friedgut using spectral techniques and then sharpened by Keevash and Mubayi by means of a purely combinatorial result of Frankl. We also give an algebraic perspective on these problems, giving yet another proof of intersection stability that relies on expansion of a certain Cayley graph of the symmetric group, and an algebraic generalisation of Lovász's theorem that answers a question of Frankl and Tokushige.
Distinguishing Primitive Permutation Groups
Let $G$ be a permutation group acting on a set $V$. A partition $π$ of $V$ is distinguishing if the only element of $G$ that fixes each cell of $π$ is the identity. The distinguishing number of $G$ is the minimum number of cells in a distinguishing partition. We prove that if $G$ is a primitive permutation group and $|V|\ge336$, its distinguishing number is two.
Homology representations arising from the half cube
Published
• View Publication
• BIB
We construct a CW decomposition $C_n$ of the $n$-dimensional half cube in a manner compatible with its structure as a polytope. For each $3 \leq k \leq n$, the complex $C_n$ has a subcomplex $C_{n, k}$, which coincides with the clique complex of the half cube graph if $k = 4$. The homology of $C_{n, k}$ is concentrated in degree $k-1$ and furthermore, the $(k-1)$-st Betti number of $C_{n, k}$ is equal to the $(k-2)$-nd Betti number of the complement of the $k$-equal real hyperplane arrangement. These Betti numbers, which also appear in theoretical computer science, numerical analysis and engineering, are the coefficients of a certain Pascal-like triangle (Sloane's sequence A119258). The Coxeter groups of type $D_n$ act naturally on the complexes $C_{n, k}$, and thus on the associated homology groups.
Groebner-Shirshov basis for the braid semigroup
We found Groebner-Shirshov basis for the braid semigroup $B^+_{n+1}$. It gives a new algorithm for the solution of the word problem for the braid semigroup and so for the braid group.
Markov and Artin normal form theorem for braid groups
Published
• View Publication
• BIB
In this paper we will present the results of Artin--Markov on braid groups by using the Groebner--Shirshov basis. As a consequence we can reobtain the normal form of Artin--Markov--Ivanovsky as an easy corollary.
Groebner-Shirshov basis for the braid group in the Artin-Garside generators
Published
• View Publication
• BIB
In this paper, we give a Groebner-Shirshov basis of the braid group $B_{n+1}$ in the Artin--Garside generators. As results, we obtain a new algorithm for getting the Garside normal form, and a new proof that the braid semigroup $B^+{n+1}$ is the subsemigroup in $B_{n+1}$.