group
10275 papers tagged with this keyword
Packing and Partitioning Orbitopes
Published
• View Publication
• BIB
We introduce orbitopes as the convex hulls of 0/1-matrices that are lexicographically maximal subject to a group acting on the columns. Special cases are packing and partitioning orbitopes, which arise from restrictions to matrices with at most or exactly one 1-entry in each row, respectively. The goal of investigating these polytopes is to gain insight into ways of breaking certain symmetries in integer programs by adding constraints, e.g., for a well-known formulation of the graph coloring problem.
We provide a thorough polyhedral investigation of packing and partitioning orbitopes for the cases in which the group acting on the columns is the cyclic group or the symmetric group. Our main results are complete linear inequality descriptions of these polytopes by facet-defining inequalities. For the cyclic group case, the descriptions turn out to be totally unimodular, while for the symmetric group case both the description and the proof are more involved. Nevertheless, the associated separation problem can be solved in linear time also in this case.
On the frequency of permutations containing a long cycle
Published in Journal of Algebra, 300(1), 289-304, 2006
• View Publication
• BIB
A general explicit upper bound is obtained for the proportion $P(n,m)$ of elements of order dividing $m$, where $n-1 \le m \le cn$ for some constant $c$, in the finite symmetric group $S_n$. This is used to find lower bounds for the conditional probabilities that an element of $S_n$ or $A_n$ contains an $r$-cycle, given that it satisfies an equation of the form $x^{rs}=1$ where $s\leq3$. For example, the conditional probability that an element $x$ is an $n$-cycle, given that $x^n=1$, is always greater than 2/7, and is greater than 1/2 if $n$ does not divide 24. Our results improve estimates of these conditional probabilities in earlier work of the authors with Beals, Leedham-Green and Seress, and have applications for analysing black-box recognition algorithms for the finite symmetric and alternating groups.
A matroid invariant via the K-theory of the Grassmannian
Published
• View Publication
• BIB
Let G(d,n) denote the Grassmannian of d-planes in C^n and let T be the torus (C^*)^n/diag(C^*) which acts on G(d,n). Let x be a point of G(d,n) and let \bar{Tx} be the closure of the T-orbit through x. Then the class of the structure sheaf of \bar{Tx} in the K-theory of G(d,n) depends only on which Plücker coordinates of x are nonzero -- combinatorial data known as the matroid of x. In this paper, we will define a certain map of additive groups from the K-theory of G(d,n) to Z[t]. Letting g_x(t) denote the image of (-1)^{n-dim Tx} [ O_{\bar{Tx}}], g_x behaves nicely under the standard constructions of matroid theory. Specifically, g_{x_1 \oplus x_2}(t)=g_{x_1}(t) g_{x_2}(t), g_{x_1 +_2 x_2}(t)=g_{x_1}(t) g_{x_2}(t)/t, g_x(t) = g_{x^{\perp}}(t) and g_x is unaltered by series and parallel extensions. Furthermore, the coefficients of g_x are nonnegative. The existence of this map implies bounds on (essentially equivalently) the complexity of Kapranov's Lie complexes, Hacking, Keel and Tevelev's very stable pairs and the author's tropical linear spaces when they are realizable in characteristic zero. Namely, in characteristic zero, a Lie complex or the underlying d-1 dimensional scheme of a very stable pair can have at most (n-i-1)! / (d-i)!(n-d-i)!(i-1)! strata of dimensions n-i and d-i respectively and a tropical linear space realizable in characteristic zero can have at most this many i-dimensional bounded faces.
On the size of spheres of relations with a transitive group of automorphisms
Let $Γ=(V,E)$ be a point-transitive reflexive relation. Let $v\in V$ and put $r=|Γ(v)|.$ Also assume $Γ^j(v)\cap Γ^{-}(v)=\{v\}$. Then $$ |Γ^{j} (v)\setminus Γ^{j-1} (v)| \ge r-1.$$
In particular we have $ |Γ^{j} (v)| \ge 1+(r-1)j.$ The last result confirms a recent conjecture of Seymour in the case vertex-transitive graphs. Also it gives a short proof for the validity of the Caccetta-Häggkvist conjecture for vertex-transitive graphs and generalizes an additive result of Shepherdson.
Strongly regular Cayley graphs over primary abelian groups of rank 2
Strongly regular Cayley graphs with Paley parameters over abelian groups of rank 2 were studied in [J.A Davis, Partial difference sets in p-groups, Arch.Math.63 (1994) 103-110; K.H Leung, S.L. Ma, Partial difference sets with Paley parameters, Bull. London Math Soc. 27 (1995) 553-564]. It was shown that such graphs exist iff the corresponding group is isomorphic to ${\mathbb Z}_{p^n} \oplus {\mathbb Z}_{p^n}$, where $p$ is an odd prime. In this paper we classify all strongly regular Cayley graphs over this group using Schur rings method. As a consequence we obtain a complete classification of strongly regular Cayley graphs with Paley parameters over abelian groups of rank 2.
On the determination of sets by their triple correlation in finite cyclic groups
Published
• View Publication
• BIB
Let $G$ be a finite abelian group and $E$ a subset of it. Suppose that we know for all subsets $T$ of $G$ of size up to $k$ for how many $x \in G$ the translate $x+T$ is contained in $E$. This information is collectively called the $k$-deck of $E$. One can naturally extend the domain of definition of the $k$-deck to include functions on $G$. Given the group $G$ when is the $k$-deck of a set in $G$ sufficient to determine the set up to translation? The 2-deck is not sufficient (even when we allow for reflection of the set, which does not change the 2-deck) and the first interesting case is $k=3$. We further restrict $G$ to be cyclic and determine the values of $n$ for which the 3-deck of a subset of $\ZZ_n$ is sufficient to determine the set up to translation. This completes the work begun by Grünbaum and Moore as far as the 3-deck is concerned. We additionally estimate from above the probability that for a random subset of $\ZZ_n$ there exists another subset, not a translate of the first, with the same 3-deck. We give an exponentially small upper bound when the previously known one was $O(1\bigl / \sqrt{n})$.
Nested set complexes of Dowling lattices and complexes of Dowling trees
Published
• View Publication
• BIB
Given a finite group G and a natural number n, we study the structure of the complex of nested sets of the associated Dowling lattice Q(G) and of its subposet of the G-symmetric partitions Q_G which was recently introduced by Hultman together with the complex of G-symmetric phylogenetic trees T_G. Hultman shows that T_G and Q_G are homotopy equivalent and Cohen-Macaulay, and determines the rank of their top homology. An application of the theory of building sets and nested set complexes by Feichtner and Kozlov shows that in fact T_G is subdivided by the order complex of Q_G. We introduce the complex of Dowling trees T(G) and prove that it is subdivided by the order complex of Q(G) and contains T_G as a subcomplex. We show that T(G) is obtained from T_G by successive coning over certain subcomplexes. We explicitly and independently calculate how many homology spheres are added in passing from T_G to T(G).
SPM Bulletin 16
CONTENTS OF THE ISSUE:
Hurewicz-like tests for Borel subsets of the plane; Ordered Spaces, Metric Preimages, and Function Algebras; On the independence of a generalized statement of Egoroff's theorem from ZFC, after T. Weiss; Forty annotated questions about large topological groups; Strong compactness and a partition property; Countable Borel equivalence relations and quotient Borel spaces; Decisive creatures and large continuum; Models of real-valued measurability; Hausdorff ultrafilters; Block combinatorics; Maharam's problem; Universality of uniform Eberlein compacta; Linearly ordered compacta and Banach spaces with a projectional resolution of the identity; Steinhaus Sets and Jackson Sets; Problem of the Issue; Problems from earlier issues.
$PSL(3,q)$ and line-transitive linear spaces
We present a partial classification of those finite linear spaces $\mathcal{S}$ on which an almost simple group $G$ with socle $PSL(3,q)$ acts line-transitively.
Transitive projective planes
Published
• View Publication
• BIB
A long-standing conjecture is that any transitive finite projective plane is Desarguesian. We make a contribution towards a proof of this conjecture by showing that a group acting transitively on the the points of a non-Desarguesianprojective plane must not contain any components.
Poincare series of subsets of affine Weyl groups
Published
• View Publication
• BIB
In this note, we identify a natural class of subsets of affine Weyl groups whose Poincare series are rational functions. This class includes the sets of minimal coset representatives of reflection subgroups. As an application, we construct a generalization of the classical length-descent generating function, and prove its rationality.
Schubert polynomials for the affine Grassmannian
Published
• View Publication
• BIB
Confirming a conjecture of Mark Shimozono, we identify polynomial representatives for the Schubert classes of the affine Grassmannian as the k-Schur functions in homology and affine Schur functions in cohomology. Our results rely on Kostant and Kumar's nilHecke ring, work of Peterson on the homology of based loops on a compact group, and earlier work of ours on non-commutative k-Schur functions.
The permutation action of finite symplectic groups of odd characteristic on their standard modules
Published in Journal of Algebra 323 (2010) 3157-3181
• View Publication
• BIB
Motivated by the incidence problems between points and flats of a symplectic polar space, we study a large class of submodules of the space of functions on the standard module of a finite symplectic group of odd characteristic. Our structure results on this class of submodules allow us to determine the $p$-ranks of the incidence matrices between points and flats of the symplectic polar space. In particular, we give an explicit formula for the $p$-rank of the generalized quadrangle ${\rm W}(3,q)$, where $q$ is an odd prime power. Combined with the earlier results of Sastry and Sin on the 2-rank of ${\rm W}(3,2^t)$, it completes the determination of the $p$-ranks of ${\rm W}(3,q)$.
Lattice polytopes with a given $h^*$-polynomial
Published
• View Publication
• BIB
Let $Δ\subset \R^n$ be an $n$-dimensional lattice polytope. It is well-known that $h_Δ^*(t) := (1-t)^{n+1} \sum_{k \geq 0} |kΔ\cap \Z^n| t^k $ is a polynomial of degree $d \leq n$ with nonnegative integral coefficients. Let $AGL(n, \Z)$ be the group of invertible affine integral transformations which naturally acts on $\R^n$. For a given polynomial $h^* \in \Z[t]$, we denote by $C_{h^*}(n)$ the number $AGL(n, \Z)$-equivalence classes of $n$-dimensional lattice polytopes such that $h^* = h_Δ^*(t)$. In this paper we show that $\{C_{h^*}(n) \}_{n \geq 1}$ is a monotone increasing sequence which eventually becomes constant. This statement follows from a more general combinatorial result whose proof uses methods of commutative algebra.
Long zero-free sequences in finite cyclic groups
Published
• View Publication
• BIB
A sequence in an additively written abelian group is called zero-free if each of its nonempty subsequences has sum different from the zero element of the group. The article determines the structure of the zero-free sequences with lengths greater than $n/2$ in the additive group $\Zn/$ of integers modulo $n$. The main result states that for each zero-free sequence $(a_i)_{i=1}^\ell$ of length $\ell>n/2$ in $\Zn/$ there is an integer $g$ coprime to $n$ such that if $\bar{ga_i}$ denotes the least positive integer in the congruence class $ga_i$ (modulo $n$), then $Σ_{i=1}^\ell\bar{ga_i}<n$. The answers to a number of frequently asked zero-sum questions for cyclic groups follow as immediate consequences. Among other applications, best possible lower bounds are established for the maximum multiplicity of a term in a zero-free sequence with length greater than $n/2$, as well as for the maximum multiplicity of a generator. The approach is combinatorial and does not appeal to previously known nontrivial facts.
Combinatorial aspects of nodal curves
Published in `Le Matematiche'', vol. LXI (2006), Fascicolo I, pp. 109-141
• Search Publication
To any nodal curve $C$ is associated the degree class group, a combinatorial invariant which plays an important role in the compactification of the generalised Jacobian of $C$ and in the construction of the Néron model of the Picard variety of families of curves having $C$ as special fibre. In this paper we study this invariant. More precisely, we construct a wide family of graphs having cyclic degree class group and we provide a recursive formula for the cardinality of the degree class group of the members of this family. Moreover, we analyse the behaviour of the degree class group under standard geometrical operations on the curve, such as the blow up and the normalisation of a node.
Sur le nombre d'intervalles dans les treillis de Tamari
Published in Seminaire Lotharingien de Combinatoire 55 (2006) B55f
• Search Publication
We enumerate the intervals in the Tamari lattices. For this, we introduce an inductive description of the intervals. Then a notion of "new interval" is defined and these are also enumerated. A a side result, the inverse of two special series is computed in a group of tree-indexed series.
The Hecke algebra and structure constants of the ring of symmetric polynomials
We give half a dozen bases of the Hecke algebra of the symmetric group, and relate them to the basis of Geck-Rouquier, and to the basis of Jones, using matrices of change of bases of the ring of symmetric polynomials.
Poset Topology: Tools and Applications
Published
• View Publication
• BIB
These lecture notes for the IAS/Park City Graduate Summer School in Geometric Combinatorics (July 2004) provide an overview of poset topology. These notes include introductory material, as well as recent developments and open problems. Some of the topics covered are: subspace arrangements, graph complexes, group actions on poset homology, shellability, recursive techniques, and fiber theorems.
Classification of lattice-regular lattice convex polytopes
Published in Functional Analysis and Other Mathematics, vol.1(1), pp.17-35, 2006
• View Publication
• BIB
In this paper for any dimension n we give a complete list of lattice convex polytopes in R^n that are regular with respect to the group of affine transformations preserving the lattice.