group
10399 papers tagged with this keyword
An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings
Published
• View Publication
• BIB
A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gröbner bases for symmetric ideals in the infinite dimensional polynomial ring $R$. This allows for symbolic computation in a new class of rings. In particular, we solve the ideal membership problem for symmetric ideals of $R$.
Incidence Modules for Symplectic Spaces in Characteristic Two
Published
• View Publication
• BIB
We study the permutation action of a finite symplectic group of characteristic 2 on the set of subspaces of its standard module which are either totally isotropic or else complementary to totally isotropic subspaces with respect to the alternating form. A general formula is obtained for the 2-rank of the incidence matrix for the inclusion of one-dimensional subspaces in the distinguished subspaces of a fixed dimension.
Automorphism groups of generalized Reed-Solomon codes
Published
• View Publication
• BIB
We look at AG codes associated to the projective line, re-examining the problem of determining their automorphism groups (originally investigated by Duer in 1987 using combinatorial techniques) using recent methods from algebraic geometry. We (re)classify those finite groups that can arise as the automorphism group of an AG code for the projective line and give an explicit description of how these groups appear. We also give examples of generalized Reed-Solomon codes with large automorphism groups G, such as G=PSL(2,q), and explicitly describe their G-module structure.
Inverse Zero-Sum Problems III
Published
• View Publication
• BIB
Let $G$ be a finite abeilian group. A sequence $S$ with terms from $G$ is zero-sum if the sum of terms in $S$ equals zero. It is a minimal zero-sum sequence if no proper, nontrivial subsequence is zero-sum. The maximal length of a minimal zero-sum subsequence in $G$ is the Davenport constant, denoted $D(G)$. For a rank 2 group $G=C_n \oplus C_n$, it is known that $D(G)=2n-1$. However, the structure of all maximal length minimal zero-sum sequences remains open. If every such sequence contains a term with multiplicity $n-1$, then $C_n \oplus C_n$ is said to have Property B, and it is conjectured that this is true for all rank 2 groups $C_n \oplus C_n$.
In this paper, we show that Property B is multiplicative, namely, if $G=C_n \oplus C_n$ and $G=C_m \oplus C_m$ both satisfy Property B, with $m, n\geq 3$ odd and $mn>9$, then $C_{mn}\oplus C_{mn}$ satisfies Property B also. Combined with previous work in the literature, this reduces the question of establishing Property B to the prime cases, and in such case the complete structural description of the sequence follows.
Semi-regular Relative Difference Sets with Large Forbidden Subgroups
Published
• View Publication
• BIB
Motivated by a connection between semi-regular relative difference sets and mutually unbiased bases, we study relative difference sets with parameters $(m,n,m,m/n)$ in groups of non-prime-power orders. Let $p$ be an odd prime. We prove that there does not exist a $(2p,p,2p,2)$ relative difference set in any group of order $2p^2$, and an abelian $(4p,p,4p,4)$ relative difference set can only exist in the group $\Bbb{Z}_2^2\times \Bbb{Z}_3^2$. On the other hand, we construct a family of non-abelian relative difference sets with parameters $(4q,q,4q,4)$, where $q$ is an odd prime power greater than 9 and $q\equiv 1$ (mod 4). When $q=p$ is a prime, $p>9$, and $p\equiv$ 1 (mod 4), the $(4p,p,4p,4)$ non-abelian relative difference sets constructed here are genuinely non-abelian in the sense that there does not exist an abelian relative difference set with the same parameters.
Spectra of symmetric powers of graphs and the Weisfeiler-Lehman refinements
Published
• View Publication
• BIB
The k-th power of a n-vertex graph X is the iterated cartesian product of X with itself. The k-th symmetric power of X is the quotient graph of certain subgraph of its k-th power by the natural action of the symmetric group. It is natural to ask if the spectrum of the k-th power --or the spectrum of the k-th symmetric power-- is a complete graph invariant for small values of k, for example, for k=O(1) or k=O(log n). In this paper, we answer this question in the negative: we prove that if the well known 2k-dimensional Weisfeiler-Lehman method fails to distinguish two given graphs, then their k-th powers --and their k-th symmetric powers-- are cospectral. As it is well known, there are pairs of non-isomorphic n-vertex graphs which are not distinguished by the k-dim WL method, even for k=Omega(n). In particular, this shows that for each k, there are pairs of non-isomorphic n-vertex graphs with cospectral k-th (symmetric) powers.
Algebraic and combinatorial properties of ideals and algebras of uniform clutters of TDI systems
Published in J. Comb. Optim. 21 (2011), no. 3, 269-292
• View Publication
• BIB
Let C be a uniform clutter, i.e., all the edges of C have the same size, and let A be the incidence matrix of C. We denote the column vectors of A by v1,...,vq. The vertex covering number of C, denoted by g, is the smallest number of vertices in any minimal vertex cover of C. Under certain conditions we prove that C is vertex critical. If C satisfies the max-flow min-cut property, we prove that A diagonalizes over the integers to an identity matrix and that v1,...,vq is a Hilbert basis. It is shown that if C has a perfect matching such that C has the packing property and g=2, then A diagonalizes over the integers to an identity matrix. If A is a balanced matrix we prove that any regular triangulation of the cone generated by v1,...,vq is unimodular. Some examples are presented to show that our results only hold for uniform clutters. These results are closely related to certain algebraic properties, such as the normality or torsion freeness, of blowup algebras of edge ideals and to finitely generated abelian groups. They are also related to the theory of Gröbner bases of toric ideals and to Ehrhart rings.
Cyclotomic Solomon Algebras
Published
• View Publication
• BIB
This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type $G(r,1,n)$. As with the Solomon descent algebra, our algebra has a basis given by sums of `distinguished' coset representatives for certain `reflection subgroups'. We explicitly describe the structure constants with respect to this basis and show that they are polynomials in $r$. This allows us to define a deformation, or $q$-analogue, of these algebras which depends on a parameter $q$. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.
On a problem of Molluzzo concerning Steinhaus triangles in finite cyclic groups
Published in Integers 8 (1), #A37, 2008
• Search Publication
Let $X$ be a finite sequence of length $m\geq 1$ in $\mathbb{Z}/n\mathbb{Z}$. The \textit{derived sequence} $\partial X$ of $X$ is the sequence of length $m-1$ obtained by pairwise adding consecutive terms of $X$. The collection of iterated derived sequences of $X$, until length 1 is reached, determines a triangle, the \textit{Steinhaus triangle $ΔX$ generated by the sequence $X$}. We say that $X$ is \textit{balanced} if its Steinhaus triangle $ΔX$ contains each element of $\mathbb{Z}/n\mathbb{Z}$ with the same multiplicity. An obvious necessary condition for $m$ to be the length of a balanced sequence in $\mathbb{Z}/n\mathbb{Z}$ is that $n$ divides the binomial coefficient $\binom{m+1}{2}$. It is an open problem to determine whether this condition on $m$ is also sufficient. This problem was posed by Hugo Steinhaus in 1963 for $n=2$ and generalized by John C. Molluzzo in 1976 for $n\geq3$. So far, only the case $n=2$ has been solved, by Heiko Harborth in 1972. In this paper, we answer positively Molluzzo's problem in the case $n=3^k$ for all $k\geq1$. Moreover, for every odd integer $n\geq3$, we construct infinitely many balanced sequences in $\mathbb{Z}/n\mathbb{Z}$. This is achieved by analysing the Steinhaus triangles generated by arithmetic progressions. In contrast, for any $n$ even with $n\geq4$, it is not known whether there exist infinitely many balanced sequences in $\mathbb{Z}/n\mathbb{Z}$. As for arithmetic progressions, still for $n$ even, we show that they are never balanced, except for exactly 8 cases occurring at $n=2$ and $n=6$.
Limit Theorems for Internal Aggregation Models
We study the scaling limits of three different aggregation models on the integer lattice Z^d: internal DLA, in which particles perform random walks until reaching an unoccupied site; the rotor-router model, in which particles perform deterministic analogues of random walks; and the divisible sandpile, in which each site distributes its excess mass equally among its neighbors. As the lattice spacing tends to zero, all three models are found to have the same scaling limit, which we describe as the solution to a certain PDE free boundary problem in R^d. In particular, internal DLA has a deterministic scaling limit. We find that the scaling limits are quadrature domains, which have arisen independently in many fields such as potential theory and fluid dynamics. Our results apply both to the case of multiple point sources and to the Diaconis-Fulton smash sum of domains. In the special case when all particles start at a single site, we show that the scaling limit is a Euclidean ball in R^d, and give quantitative bounds on the rate of convergence to a ball. We also improve on the previously best known bounds of Le Borgne and Rossin in Z^2 and Fey and Redig in higher dimensions for the shape of the classical abelian sandpile model. Lastly, we study the sandpile group of a regular tree whose leaves are collapsed to a single sink vertex, and determine the decomposition of the full sandpile group as a product of cyclic groups. For the regular ternary tree of height n, for example, the sandpile group is isomorphic to (Z_3)^{2^{n-3}} x (Z_7)^{2^{n-4}} x ... x Z_{2^{n-1}-1} x Z_{2^n-1}. We use this result to prove that rotor-router aggregation on the regular tree yields a perfect ball.
Lusztig's conjecture as a moment graph problem
Published in Bull. London Math. Soc. (2010) 42(6): 957-972
• View Publication
• BIB
We show that Lusztig's conjecture on the irreducible characters of a reductive algebraic group over a field of positive characteristic is equivalent to the generic multiplicity conjecture, which gives a formula for the Jordan-H"older multiplicities of baby Verma modules over the corresponding Lie algebra. Then we give a short overview of a recent proof of the latter conjecture for almost all base fields via the theory of sheaves on moment graphs.
Smooth and palindromic Schubert varieties in affine Grassmannians
Published
• View Publication
• BIB
Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical Grassmannian manifold. It has a Schubert cell decomposition indexed by the coroot lattice or equivalently by the minimal length coset representatives for the affine Weyl group modulo the Weyl group for G. The closure of an affine Schubert cell is a finite dimensional projective variety that we call an affine Schubert variety. In this paper we completely determine the smooth and palindromic (rationally smooth) affine Schubert varieties.
Voting, the symmetric group, and representation theory
Published
• View Publication
• BIB
We show how voting may be viewed naturally from an algebraic perspective by viewing voting profiles as elements of certain well-studied $\mathbb{Q}S_n$-modules. By using only a handful of simple combinatorial objects (e.g., tabloids) and some basic ideas from representation theory (e.g., Schur's Lemma), this allows us to recast and extend some well-known results in the field of voting theory.
Primitive decompositions of Johnson graphs
Published
• View Publication
• BIB
A transitive decomposition of a graph is a partition of the edge set together with a group of automorphisms which transitively permutes the parts. In this paper we determine all transitive decompositions of the Johnson graphs such that the group preserving the partition is arc-transitive and acts primitively on the parts.
Asymptotics of Plancherel measures for the infinite-dimensional unitary group
Published in Advances in Mathematics, Volume 219, Issue 3, 20 October 2008, Pages 894-931
• View Publication
• BIB
We study a two-dimensional family of probability measures on infinite Gelfand-Tsetlin schemes induced by a distinguished family of extreme characters of the infinite-dimensional unitary group. These measures are unitary group analogs of the well-known Plancherel measures for symmetric groups. We show that any measure from our family defines a determinantal point process, and we prove that in appropriate scaling limits, such processes converge to two different extensions of the discrete sine process as well as to the extended Airy and Pearcey processes.
Cluster combinatorics of d-cluster categories
Published
• View Publication
• BIB
We study the cluster combinatorics of $d-$cluster tilting objects in $d-$cluster categories. By using mutations of maximal rigid objects in $d-$cluster categories which are defined similarly for $d-$cluster tilting objects, we prove the equivalences between $d-$cluster tilting objects, maximal rigid objects and complete rigid objects. Using the chain of $d+1$ triangles of $d-$cluster tilting objects in [IY], we prove that any almost complete $d-$cluster tilting object has exactly $d+1$ complements, compute the extension groups between these complements, and study the middle terms of these $d+1$ triangles. All results are the extensions of corresponding results on cluster tilting objects in cluster categories established in [BMRRT] to $d-$cluster categories. They are applied to the Fomin-Reading's generalized cluster complexes of finite root systems defined and studied in [FR2] [Th] [BaM1-2], and to that of infinite root systems [Zh3].
On sumsets of dissociated sets
Published
• View Publication
• BIB
In the paper we are studying some properties of subsets Q of sums of dissociated sets. The exact upper bound for the number of solutions of the following equation
(1) q_1 + ... + q_p = q_{p+1} + ... + q_{2p}, q_i \in Q
in groups F_2^n is found. Using our approach, we easily prove a recent result of J. Bourgain on sets of large exponential sums and obtain a tiny improvement of his theorem. Besides an inverse problem is considered in the article. Let Q be a set belonging a sumset of two dissociated sets such that equation (1) has many solutions. We prove that in the case the large proportion of Q is highly structured.
The sorting order on a Coxeter group
Published
• View Publication
• BIB
Let $(W,S)$ be an arbitrary Coxeter system. For each word $ω$ in the generators we define a partial order--called the {\sf $ω$-sorting order}--on the set of group elements $W_ω\subseteq W$ that occur as subwords of $ω$. We show that the $ω$-sorting order is a supersolvable join-distributive lattice and that it is strictly between the weak and Bruhat orders on the group. Moreover, the $ω$-sorting order is a "maximal lattice" in the sense that the addition of any collection of Bruhat covers results in a nonlattice. Along the way we define a class of structures called {\sf supersolvable antimatroids} and we show that these are equivalent to the class of supersolvable join-distributive lattices.
Restricting supercharacters of the finite group of unipotent uppertriangular matrices
Published
• View Publication
• BIB
It is well-known that the representation theory of the finite group of unipotent upper-triangular matrices $U_n$ over a finite field is a wild problem. By instead considering approximately irreducible representations (supercharacters), one obtains a rich combinatorial theory analogous to that of the symmetric group, where we replace partition combinatorics with set-partitions. This paper studies the supercharacter theory of a family of subgroups that interpolate between $U_{n-1}$ and $U_n$. We supply several combinatorial indexing sets for the supercharacters, supercharacter formulas for these indexing sets, and a combinatorial rule for restricting supercharacters from one group to another. A consequence of this analysis is a Pieri-like restriction rule from $U_n$ to $U_{n-1}$ that can be described on set-partitions (analogous to the corresponding symmetric group rule on partitions).
Superinduction for pattern groups
Published in J. Algebra 321 (2009), 3681-3703
• View Publication
• BIB
It is well-known that the representation theory of the finite group of unipotent upper-triangular matrices $U_n$ over a finite field is a wild problem. By instead considering approximately irreducible representations (supercharacters), one obtains a rich combinatorial theory analogous to that of the symmetric group, where we replace partition combinatorics with set-partitions. This paper studies Diaconis--Isaacs' concept of superinduction in pattern groups. While superinduction shares many desirable properties with usual induction, it no longer takes characters to characters. We begin by finding sufficient conditions guaranteeing that super-induction is in fact induction. It turns out for natural embedding of $U_m$ in $U_n$, super-induction is induction. We conclude with an explicit combinatorial algorithm for computing this induction analogous to the Pieri-formulas for the symmetric group.