group
10275 papers tagged with this keyword
On monochromatic solutions of some nonlinear equations in Z/pZ
Published
• View Publication
• BIB
Consider an arbitrary coloring of integers with finite number of colors. Is it true that there are x, y such that x + y, xy and x have the same color? This is a well-known question of Ramsey theory has not solved yet. In the article we give a positive answer to the last question in the group Z/pZ, where p is a prime number.
Noncrossing partitions and the shard intersection order
Published
• View Publication
• BIB
We define a new lattice structure on the elements of a finite Coxeter group W. This lattice, called the shard intersection order, is weaker than the weak order and has the noncrossing partition lattice NC(W) as a sublattice. The new construction of NC(W) yields a new proof that NC(W) is a lattice. The shard intersection order is graded and its rank generating function is the W-Eulerian polynomial. Many order-theoretic properties of the shard intersection order, like Mobius number, number of maximal chains, etc., are exactly analogous to the corresponding properties of NC(W). There is a natural dimension-preserving bijection between simplices in the order complex of the shard intersection order (i.e. chains in the shard intersection order) and simplices in a certain pulling triangulation of the W-permutohedron. Restricting the bijection to the order complex of NC(W) yields a bijection to simplices in a pulling triangulation of the W-associahedron.
The shard intersection order is defined indirectly via the polyhedral geometry of the reflecting hyperplanes of W. Indeed, most of the results of the paper are proven in the more general setting of simplicial hyperplane arrangements.
On the Index of Sequences over Cyclic Groups
Published
• View Publication
• BIB
Let $G$ be a finite cyclic group of order $n \ge 2$. Every sequence $S$ over $G$ can be written in the form $S=(n_1g)\cdot ... \cdot (n_lg)$ where $g\in G$ and $n_1,..., n_l \in [1,\ord(g)]$, and the index $\ind (S)$ of $S$ is defined as the minimum of $(n_1+ ... + n_l)/\ord (g)$ over all $g \in G$ with $\ord (g) = n$. In this paper we prove that a sequence $S$ over $G$ of length $|S| = n$ having an element with multiplicity at least $\frac{n}{2}$ has a subsequence $T$ with $\ind (T) = 1$, and if the group order $n$ is a prime, then the assumption on the multiplicity can be relaxed to $\frac{n-2}{10}$. On the other hand, if $n=4k+2$ with $k \ge 5$, we provide an example of a sequence $S$ having length $|S| > n$ and an element with multiplicity $\frac{n}{2}-1$ which has no subsequence $T$ with $\ind (T) = 1$. This disproves a conjecture given twenty years ago by Lemke and Kleitman.
On finite edge-primitive and edge-quasiprimitive graphs
Published
• View Publication
• BIB
Many famous graphs are edge-primitive, for example, the Heawood graph, the Tutte--Coxeter graph and the Higman--Sims graph. In this paper we systematically analyse edge-primitive and edge-quasiprimitive graphs via the O'Nan--Scott Theorem to determine the possible edge and vertex actions of such graphs. Many interesting examples are given and we also determine all $G$-edge-primitive graphs for $G$ an almost simple group with socle $PSL(2,q)$.
A new counting methods, including the issue of counting labelled self-complementary graphs
Harary and Palmer announced an enumeration problem of labelled self-complementary graphs at the end of their book (Graphical Enumeration, Academic Press, New York and London, 1973). This paper resolves this problem. A method for solving this problem leads to the derivation of following formulas: (a) A formula on the number of labelled graphs with the given order of automorphism groups of those graphs. (b) A formula on the number of unlabelled graphs with the given order of automorphism groups of those graphs. (c) A formula on the number of labelled self-complementary graphs with the given order of automorphism groups of those graphs. (d) A formula on the number of unlabelled self-complementary graphs with the given order of automorphism groups of those graphs.
On the number of Latin squares
Published in B. D. McKay and I. M. Wanless, On the number of Latin squares, Ann. Combin. 9 (2005) 335-344
• Search Publication
We (1) determine the number of Latin rectangles with 11 columns and each possible number of rows, including the Latin squares of order~11, (2) answer some questions of Alter by showing that the number of reduced Latin squares of order $n$ is divisible by $f!$ where $f$ is a particular integer close to $\frac12n$, (3) provide a formula for the number of Latin squares in terms of permanents of $(+1,-1)$-matrices, (4) find the extremal values for the number of 1-factorisations of $k$-regular bipartite graphs on $2n$ vertices whenever $1\leq k\leq n\leq11$, (5) show that the proportion of Latin squares with a non-trivial symmetry group tends quickly to zero as the order increases.
The exact spread of M12 is 9
Let G be a group. We say that G has spread r if for any set of distinct non-trivial elements {x1,...,xr}\subset G there exists an element y\in G with the property that <xi, y> = G for every 1 0<i<r+1. The group G has exact spread r if it has spread r but not r + 1. The case where G is a finite simple group is particularly interesting since it is known that in this case the spread is at least 2. The precise value of the exact spread of a simple group is known in very few cases. Here we determine the precise value of the exact spread in the smallest sporadic group for which this is still unknown, the Mathieu group M12.
Stable group theory and approximate subgroups
Published
• View Publication
• BIB
We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is close to a finite subgroup, or else to a subset of a proper algebraic subgroup of G. We also find a connection with Lie groups, and use it to obtain some consequences suggestive of topological nilpotence. Combining these methods with Gromov's proof, we show that a finitely generated group with an approximate subgroup containing any given finite set must be nilpotent-by-finite. Model-theoretically we prove the independence theorem and the stabilizer theorem in a general first-order setting.
Polytopes with groups of type PGL_2(q)
Published
• View Publication
• BIB
There exists just one regular polytope of rank larger than 3 whose full automorphism group is a projective general linear group PGL_2(q), for some prime-power q. This polytope is the 4-simplex and the corresponding group is PGL_2(5), which is isomorphic to S_5.
$k$-Parabolic Subspace Arrangements
Published
• View Publication
• BIB
In this paper, we study $k$-parabolic arrangements, a generalization of $k$-equal arrangements for finite real reflection groups. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. Brieskorn (1971) showed that the fundamental group of the complement, over $\mathbb{C}$, of the type $W$ Coxeter arrangement is isomorphic to the pure Artin group of type $W$. Khovanov (1996) gave an algebraic description for the fundamental group of the complement, over $\mathbb{R}$, of the 3-equal arrangement. We generalize Khovanov's result to obtain an algebraic description of the fundamental groups of the complements of 3-parabolic arrangements for arbitrary finite reflection groups. Our description is a real analogue to Brieskorn's description.
The expected number of inversions after n adjacent transpositions
Published
• View Publication
• BIB
We give a new expression for the expected number of inversions in the product of n random adjacent transpositions in the symmetric group S_{m+1}. We then derive from this expression the asymptotic behaviour of this number when n scales with m in various ways. Our starting point is an equivalence, due to Eriksson et al., with a problem of weighted walks confined to a triangular area of the plane.
New pattern matching conditions for wreath products of the cyclic groups with symmetric groups
We present several multi-variable generating functions for a new pattern matching condition on the wreath product of the cyclic group and the symmetric group. Our new pattern matching condition requires that the underlying permutations match in the usual sense of pattern matching for the symmetric group and that the corresponding sequence of signs match in the sense of words, rather than the exact equality of signs which has been previously studied. We produce the generating functions for the number of matches that occur in elements of the wreath product for any pattern of length 2 by applying appropriate homomorphisms from the ring of symmetric functions over an infinite number of variables to simple symmetric function identities. We also provide multi-variable generating functions for the distribution of non-overlapping matches and for the number of elements of the wreath product which have exactly 2 matches which do not overlap for several patterns of length 2.
The lattice of integer flows of a regular matroid
Published
• View Publication
• BIB
For a finite multigraph G, let Λ(G) denote the lattice of integer flows of G -- this is a finitely generated free abelian group with an integer-valued positive definite bilinear form. Bacher, de la Harpe, and Nagnibeda show that if G and H are 2-isomorphic graphs then Λ(G) and Λ(H) are isometric, and remark that they were unable to find a pair of nonisomorphic 3-connected graphs for which the corresponding lattices are isometric. We explain this by examining the lattice Λ(M) of integer flows of any regular matroid M. Let M_\bullet be the minor of M obtained by contracting all co-loops. We show that Λ(M) and Λ(N) are isometric if and only if M_\bullet and N_\bullet are isomorphic.
Skew Littlewood-Richardson rules from Hopf algebras
Published
• View Publication
• BIB
We use Hopf algebras to prove a version of the Littlewood-Richardson rule for skew Schur functions, which implies a conjecture of Assaf and McNamara. We also establish skew Littlewood-Richardson rules for Schur P- and Q-functions and noncommutative ribbon Schur functions, as well as skew Pieri rules for k-Schur functions, dual k-Schur functions, and for the homology of the affine Grassmannian of the symplectic group.
A Giambelli formula for classical $G/P$ spaces
Published in J. Algebraic Geometry 23 (2014), 245-278
• View Publication
• BIB
Let $G$ be a classical complex Lie group, $P$ any parabolic subgroup of $G$, and $G/P$ the corresponding partial flag variety. We prove an explicit combinatorial Giambelli formula which expresses an arbitrary Schubert class in the cohomology ring of $G/P$ as a polynomial in certain special Schubert class generators. Our formula extends to one that applies to the torus-equivariant cohomology ring of $G/P$ and to the setting of symplectic and orthogonal degeneracy loci.
A Short Note on Disjointness Conditions for Triples of Group Subsets Satisfying the Triple Product Property
We deduce some elementary pairwise disjointness and semi-disjointness conditions on triples of subsets in arbitrary groups satisfying the so-called triple product property (TPP) as originally defined by H. Cohn and C. Umans in 2003. This property TPP for a triple of group subsets, called a TPP triple, allows the group to "realize" matrix multiplication of dimensions the sizes of the subsets, with the subsets acting as indexing sets for input matrices which are embedded into the regular algebra of the group. We derive nine different disjointness casetypes for an arbitrary TPP triple, and classify these into four different disjointness classes based on an integer measure of the degree of pairwise disjointness among the subsets. Finally, we derive lower and upper bounds for the sum of sizes of the subsets forming a TPP triple, which is the additive equivalent of the multiplicative bounds originally derived by Cohn and Umans for the product of sizes of subsets forming a TPP triple.
Symmetries in Linear and Integer Programs
The notion of symmetry is defined in the context of Linear and Integer Programming. Symmetric linear and integer programs are studied from a group theoretical viewpoint. We show that for any linear program there exists an optimal solution in the fixed point set of its symmetry group. Using this result, we develop an algorithm that allows for reducing the dimension of any linear program having a non-trivial group of symmetries.
Symmetries in Integer Programs
The notion of symmetry is defined in the context of Linear and Integer Programming. Symmetric integer programs are studied from a group theoretical viewpoint. We investigate the structure of integer solutions of integer programs and show that any integer program on n variables having an alternating group A_n as a group of symmetries can be solved in linear time in the number of variables.
Wreath Product Generalizations of the Triple $(S_{2n},H_{n},φ)$ and Their Spherical Functions
The symmetric group $S_{2n}$ and the hyperoctaheadral group $H_{n}$ is a Gelfand triple for an arbitrary linear representation $φ$ of $H_{n}$. Their $φ$-spherical functions can be caught as transition matrix between suitable symmetric functions and the power sums. We generalize this triplet in the term of wreath product. It is shown that our triplet are always to be a Gelfand triple. Furthermore we study the relation between their spherical functions and multi-partition version of the ring of symmetric functions.
Some simple modules for classical groups and $p$-ranks of orthogonal and Hermitian geometries
Published
• View Publication
• BIB
We determine the characters of the simple composition factors and the submodule lattices of certain Weyl modules for classical groups. The results have several applications. The simple modules arise in the study of incidence systems in finite geometries and knowledge of their dimensions yields the $p$-ranks of these incidence systems.