group
10275 papers tagged with this keyword
Extensions of the Scherck-Kemperman Theorem
Published
• View Publication
• BIB
Let $Γ=(V,E)$ be a reflexive relation with a transitive automorphisms group. Let $v\in V$ and let $F$ be a finite subset of $V$ with $v\in F.$
We prove that the size of $Γ(F)$ (the image of $F$) is at least $$ |F|+ |Γ(v)|-|Γ^- (v)\cap F|.$$
Let $A,B$ be finite subsets of a group $G.$ Applied to Cayley graphs, our result reduces to following extension of the Scherk-Kemperman Theorem, proved by Kemperman: $$|AB|\ge |A|+|B|-|A\cap (cB^{-1})|,$$ for every $c\in AB.$
Singular lines of trilinear forms
Published in Linear Algebra Appl.433(3): 690-697, 2010
• View Publication
• BIB
We prove that an alternating e-form on a vector space over a quasi-algebraically closed field always has a singular (e-1)-dimensional subspace, provided that the dimension of the space is strictly greater than e. Here an (e-1)-dimensional subspace is called singular if pairing it with the e-form yields zero. By the theorem of Chevalley and Warning our result applies in particular to finite base fields. Our proof is most interesting in the case where e=3 and the space has odd dimension n; then it involves a beautiful equivariant map from alternating trilinear forms to polynomials of degree (n-3)/2. We also give a sharp upper bound on the dimension of subspaces all of whose 2-dimensional subspaces are singular for a non-degenerate trilinear form. In certain binomial dimensions the trilinear forms attaining this upper bound turn out to form a single orbit under the general linear group, and we classify their singular lines.
Looping of the numbers game and the alcoved hypercube
Published
• View Publication
• BIB
We study in detail the so-called looping case of Mozes's game of numbers, which concerns the (finite) orbits in the reflection representation of affine Weyl groups situated on the boundary of the Tits cone. We give a simple proof that all configurations in the orbit are obtainable from each other by playing the numbers game, and give a strategy for going from one configuration to another. The strategy gives rise to a partition of the finite Weyl group into finitely many graded posets, one for each extending vertex of the associated extended Dynkin diagram. These are selfdual and mutually isomorphic, and dual to the triangulation of the unit hypercube by reflecting hyperplanes, studied by many authors. Unlike the weak and Bruhat orders, the top degree is cubic in the number of vertices of the graph. We explicitly compute the Hilbert polynomial of the poset.
Symmetric group actions on the cohomology of configurations in $R^d$
In this paper we deal with the action of the symmetric group on the cohomology of the configuration space $C_n(d)$ of $n$ points in $\mathbb{R}^d$. This topic has been studied by several authors (see the introduction). On the cohomology algebra $H^*(C_n(d); \mathbb{C})$ there is, in addition to the natural $S_n$-action, an extended action of $S_{n+1}$; this was first shown for the case when $d$ is even by Mathieu, Robinson and Whitehouse and the second author. For the case when $d$ is odd it was shown by Mathieu (anyway we will give an elementary algebraic construction of the extended action for this case). The purpose of this article is to present some results that can be obtained, in an elementary way, exploiting the interplay between the extended action and the standard action.
Cross-correlation properties of cyclotomic sequences
Published in This paper have been published in IEICE Trans. Fund., 2007
• Search Publication
Sequences with good correlation properties are widely used in engineering applications, especially in the area of communications. Among the known sequences, cyclotomic families have the optimal autocorrelation property. In this paper, we decide the cross-correlation function of the known cyclotomic sequences completely. Moreover, to get our results, the relations between the multiplier group and the decimations of the characteristic sequence are also established for an arbitrary difference set.
Braids, posets and orthoschemes
Published in Algebr. Geom. Topol. 10 (2010) 2277-2314
• View Publication
• BIB
In this article we study the curvature properties of the order complex of a graded poset under a metric that we call the ``orthoscheme metric''. In addition to other results, we characterize which rank 4 posets have CAT(0) orthoscheme complexes and by applying this theorem to standard posets and complexes associated with four-generator Artin groups, we are able to show that the 5-string braid group is the fundamental group of a compact nonpositively curved space.
The strong Lefschetz property for coinvariant rings of finite reflection groups
Published in J. Algebra 331, No. 1, 68-95 (2011)
• View Publication
• BIB
In this paper we prove that a deformed tensor product of two Lefschetz algebras is a Lefschetz algebra. We then use this result in conjunction with some basic Schubert calculus to prove that the coinvariant ring of a finite reflection has the strong Lefschetz property.
On some analogues of Carlitz's identity for the hyperoctahedral group
We give a new description of the flag major index, introduced by Adin and Roichman, by using a major index defined by Reiner. This allows us to establish a connection between an identity of Reiner and some more recent results due to Chow and Gessel. Furthermore we generalize the main identity of Chow and Gessel by computing the four-variate generating series of descents, major index, length, and number of negative entries over Coxeter groups of type $B$ and $D$.
Enumerating Wreath Products Via Garsia-Gessel Bijections
Published
• View Publication
• BIB
We generalize two bijections due to Garsia and Gessel to compute the generating functions of the two vector statistics $(\des_G, \maj,\ell_G, \col)$ and $(\des_G, \ides_G, \maj, \imaj, \col, \icol)$ over the wreath product of a symmetric group by a cyclic group. Here $\des_G$, $\ell_G$, $\maj$, $\col$, $\ides_G$, $\imaj_G$, and $\icol$ denote the number of descents, length, major index, color weight, inverse descents, inverse major index, and inverse color weight, respectively. Our main formulas generalize and unify several known identities due to Brenti, Carlitz, Chow-Gessel, Garsia-Gessel, and Reiner on various distributions of statistics over Coxeter groups of type $A$ and $B$.
The Group Structure of Pivot and Loop Complementation on Graphs and Set Systems
Published in European Journal of Combinatorics, v. 32, 1353-1367, 2011
• View Publication
• BIB
We study the interplay between principal pivot transform (pivot) and loop complementation for graphs. This is done by generalizing loop complementation (in addition to pivot) to set systems. We show that the operations together, when restricted to single vertices, form the permutation group S_3. This leads, e.g., to a normal form for sequences of pivots and loop complementation on graphs. The results have consequences for the operations of local complementation and edge complementation on simple graphs: an alternative proof of a classic result involving local and edge complementation is obtained, and the effect of sequences of local complementations on simple graphs is characterized.
Random induced subgraphs of Cayley graphs induced by transpositions
Published
• View Publication
• BIB
In this paper we study random induced subgraphs of Cayley graphs of the symmetric group induced by an arbitrary minimal generating set of transpositions. A random induced subgraph of this Cayley graph is obtained by selecting permutations with independent probability, $λ_n$. Our main result is that for any minimal generating set of transpositions, for probabilities $λ_n=\frac{1+ε_n}{n-1}$ where $n^{-{1/3}+δ}\le ε_n<1$ and $δ>0$, a random induced subgraph has a.s. a unique largest component of size $\wp(ε_n)\frac{1+ε_n}{n-1}n!$, where $\wp(ε_n)$ is the survival probability of a specific branching process.
Highest weight modules and polarized embeddings of shadow spaces
Published
• View Publication
• BIB
Let Gamma be the K-shadow space of a spherical building Delta. An embedding V of Gamma is called polarized if it affords all "singular" hyperplanes of Gamma. Suppose that Delta is associated to a Chevalley group G. Then Gamma can be embedded into what we call the Weyl module for G of highest weight lambda_K. It is proved that this module is polarized and that the associated minimal polarized embedding is precisely the irreducible G-module of highest weight lambda_K. In addition a number of general results on polarized embeddings of shadow spaces are proved. The last few sections are devoted to the study of specific shadow spaces, notably minuscule weight geometries, polar grassmannians, and projective flag-grassmannians. The paper is in part expository in nature so as to make this material accessible to a wide audience.
Linear Systems on Tropical Curves
Published in Mathematische Zeitschrift 270 (2012), no. 3-4, 1111-1140
• View Publication
• BIB
A tropical curve Γis a metric graph with possibly unbounded edges, and tropical rational functions are continuous piecewise linear functions with integer slopes. We define the complete linear system |D| of a divisor D on a tropical curve Γanalogously to the classical counterpart. We investigate the structure of |D| as a cell complex and show that linear systems are quotients of tropical modules, finitely generated by vertices of the cell complex. Using a finite set of generators, |D| defines a map from Γto a tropical projective space, and the image can be extended to a tropical curve of degree equal to °(D). The tropical convex hull of the image realizes the linear system |D| as a polyhedral complex. We show that curves for which the canonical divisor is not very ample are hyperelliptic. We also show that the Picard group of a \Q-tropical curve is a direct limit of critical groups of finite graphs converging to the curve.
Bethe Ansatz, Inverse Scattering Transform and Tropical Riemann Theta Function in a Periodic Soliton Cellular Automaton for A^{(1)}_n
Published in SIGMA 6 (2010), 013, 52 pages
• View Publication
• BIB
We study an integrable vertex model with a periodic boundary condition associated with U_q(A_n^{(1)}) at the crystallizing point q=0. It is an (n+1)-state cellular automaton describing the factorized scattering of solitons. The dynamics originates in the commuting family of fusion transfer matrices and generalizes the ultradiscrete Toda/KP flow corresponding to the periodic box-ball system. Combining Bethe ansatz and crystal theory in quantum group, we develop an inverse scattering/spectral formalism and solve the initial value problem based on several conjectures. The action-angle variables are constructed representing the amplitudes and phases of solitons. By the direct and inverse scattering maps, separation of variables into solitons is achieved and nonlinear dynamics is transformed into a straight motion on a tropical analogue of the Jacobi variety. We decompose the level set into connected components under the commuting family of time evolutions and identify each of them with the set of integer points on a torus. The weight multiplicity formula derived from the q=0 Bethe equation acquires an elegant interpretation as the volume of the phase space expressed by the size and multiplicity of these tori. The dynamical period is determined as an explicit arithmetical function of the n-tuple of Young diagrams specifying the level set. The inverse map, i.e., tropical Jacobi inversion is expressed in terms of a tropical Riemann theta function associated with the Bethe ansatz data. As an application, time average of some local variable is calculated.
The number of Latin squares of order 11
Published
• View Publication
• BIB
Constructive and nonconstructive techniques are employed to enumerate Latin squares and related objects. It is established that there are (i) 2036029552582883134196099 main classes of Latin squares of order 11; (ii) 6108088657705958932053657 isomorphism classes of one-factorizations of $K_{11,11}$; (iii) 12216177315369229261482540 isotopy classes of Latin squares of order 11; (iv) 1478157455158044452849321016 isomorphism classes of loops of order 11; and (v) 19464657391668924966791023043937578299025 isomorphism classes of quasigroups of order 11. The enumeration is constructive for the 1151666641 main classes with an autoparatopy group of order at least 3.
Some Non-Trivial Kazhdan-Lusztig Coefficients of an Affine Weyl Group of Type $\tilde A_n$
Published
• View Publication
• BIB
In this paper we show that the leading coefficient $μ(y,w)$ of some Kazhdan-Lusztig polynomials $P_{y,w}$ with $y,w$ in an affine Weyl group of type $\tilde A_n $ is $n+2$. This fact has some consequences on the dimension of first extension groups of finite groups of Lie type with irreducible coefficients.
Regular Circulant Matrices
We consider the groups of regular circulant matrices over finite fields and integer residue class rings. In both cases we present a formula for the order of these groups. We also make a first step towards finding the algebraic structure of them.
Eulerian quasisymmetric functions and cyclic sieving
Published
• View Publication
• BIB
It is shown that a refined version of a q-analogue of the Eulerian numbers together with the action, by conjugation, of the subgroup of the symmetric group $S_n$ generated by the $n$-cycle $(1,2,...,n)$ on the set of permutations of fixed cycle type and fixed number of excedances provides an instance of the cyclic sieving phenonmenon of Reiner, Stanton and White. The main tool is a class of symmetric functions recently introduced in work of two of the authors.
Ree geometries
Published
• View Publication
• BIB
We introduce a rank 3 geometry for any Ree group over a not necessarily perfect field and show that its full collineation group is the automorphism group of the corresponding Ree group. A similar result holds for two rank 2 geometries obtained as a truncation of this rank 3 geometry. As an application, we show that a polarity in any Moufang generalized hexagon is unambiguously determined by its set of absolute points, or equivalently, its set of absolute lines.
Automorphism groups of a graph and a vertex-deleted subgraph
Published
• View Publication
• BIB
Understanding the structure of a graph along with the structure of its subgraphs is important for several problems in graph theory. Two examples are the Reconstruction Conjecture and isomorph-free generation. This paper raises the question of which pairs of groups can be represented as the automorphism groups of a graph and a vertex-deleted subgraph. This, and more surprisingly the analogous question for edge-deleted subgraphs, are answered in the most positive sense using concrete constructions.