arXiv++ Combinatorics

Browse math.CO papers from arXiv

group

10275 papers tagged with this keyword
2009-04-21 v2
Spectral Characteristics of Network Redundancy
Published in Phys. Rev. E 80, 026117 (2009) • View PublicationBIB
Many real-world complex networks contain a significant amount of structural redundancy, in which multiple vertices play identical topological roles. Such redundancy arises naturally from the simple growth processes which form and shape many real-world systems. Since structurally redundant elements may be permuted without altering network structure, redundancy may be formally investigated by examining network automorphism (symmetry) groups. Here, we use a group-theoretic approach to give a complete description of spectral signatures of redundancy in undirected networks. In particular, we describe how a network's automorphism group may be used to directly associate specific eigenvalues and eigenvectors with specific network motifs.
2009-04-21
On the Cameron-Praeger Conjecture
Published • View PublicationBIB
This paper takes a significant step towards confirming a long-standing and far-reaching conjecture of Peter J. Cameron and Cheryl E. Praeger. They conjectured in 1993 that there are no non-trivial block-transitive 6-designs. We prove that the Cameron-Praeger conjecture is true for the important case of non-trivial Steiner 6-designs, i.e. for 6-$(v,k,λ)$ designs with $λ=1$, except possibly when the group is $P\GammaL(2,p^e)$ with $p=2$ or 3, and $e$ is an odd prime power.
2009-04-20
A bijection between dominant Shi regions and core partitions
Published • View PublicationBIB
It is well-known that Catalan numbers $C_n = \frac{1}{n+1} \binom{2n}{n}$ count the number of dominant regions in the Shi arrangement of type $A$, and that they also count partitions which are both $n$-cores as well as $(n+1)$-cores. These concepts have natural extensions, which we call here the $m$-Catalan numbers and $m$-Shi arrangement. In this paper, we construct a bijection between dominant regions of the $m$-Shi arrangement and partitions which are both $n$-cores as well as $(mn+1)$-cores. The bijection is natural in the sense that it commutes with the action of the affine symmetric group.
2009-04-17 v2
Recurrence relations for polynomial sequences via Riordan matrices
We give recurrence relations for any family of generalized Appell polynomials unifying so some known recurrences of many classical sequences of polynomials. Our main tool to get our goal is the Riordan group. We use the product of Riordan matrices to interpret some relationships between different families of polynomials. Moreover using the Hadamard product of series we get a general recurrence relation for the polynomial sequences associated to the so called generalized umbral calculus.
2009-04-13
Isomorphic and Nonisomorphic, Isospectral Circulant Graphs
New criteria for which Cayley graphs of cyclic groups of any order can be completely determined--up to isomorphism--by the eigenvalues of their adjacency matrices is presented. Secondly, a new construction for pairs of nonisomorphic Cayley graphs of cyclic groups with the same list of eigenvalues of their adjacency matrices will be presented.
2009-04-11 v2
Cayley graphs on the symmetric group generated by initial reversals have unit spectral gap
Published in Electron. J. Combin. Vol 16, no. 1, N29 (2009) • View PublicationBIB
In a recent paper Gunnells, Scott and Walden have determined the complete spectrum of the Schreier graph on the symmetric group corresponding to the Young subgroup $S_{n-2}\times S_2$ and generated by initial reversals. In particular they find that the first nonzero eigenvalue, or spectral gap, of the Laplacian is always 1, and report that "empirical evidence" suggests that this also holds for the corresponding Cayley graph. We provide a simple proof of this last assertion, based on the decomposition of the Laplacian of Cayley graphs, into a direct sum of irreducible representation matrices of the symmetric group.
2009-04-11
Semisimple symplectic characters of finite unitary groups
Published • View PublicationBIB
Let $G = {\rm U}(2m, {\mathbb F}_{q^2})$ be the finite unitary group, with $q$ the power of an odd prime $p$. We prove that the number of irreducible complex characters of $G$ with degree not divisible by $p$ and with Frobenius-Schur indicator -1 is $q^{m-1}$. We also obtain a combinatorial formula for the value of any character of ${\rm U}(n, {\mathbb F}_{q^2})$ at any central element, using the characteristic map of the finite unitary group.
The critical group of a line graph
Published • View PublicationBIB
The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. This paper provides three basic structural results on the critical group of a line graph. The first deals with connected graphs containing no cut-edge. Here the number of independent cycles in the graph, which is known to bound the number of generators for the critical group of the graph, is shown also to bound the number of generators for the critical group of its line graph. The second gives, for each prime p, a constraint on the p-primary structure of the critical group, based on the largest power of p dividing all sums of degrees of two adjacent vertices. The third deals with connected graphs whose line graph is regular. Here known results relating the number of spanning trees of the graph and of its line graph are sharpened to exact sequences which relate their critical groups. The first two results interact extremely well with the third. For example, they imply that in a regular nonbipartite graph, the critical group of the graph and that of its line graph determine each other uniquely in a simple fashion.
2009-04-08 v2
Primitive Polynomials, Singer Cycles, and Word-Oriented Linear Feedback Shift Registers
Published in Designs, Codes and Cryptography, Vol. 58, No. 2 (2011), pp. 123-134 • View PublicationBIB
Using the structure of Singer cycles in general linear groups, we prove that a conjecture of Zeng, Han and He (2007) holds in the affirmative in a special case, and outline a plausible approach to prove it in the general case. This conjecture is about the number of primitive $σ$-LFSRs of a given order over a finite field, and it generalizes a known formula for the number of primitive LFSRs, which, in turn, is the number of primitive polynomials of a given degree over a finite field. Moreover, this conjecture is intimately related to an open question of Niederreiter (1995) on the enumeration of splitting subspaces of a given dimension.
2009-04-06
Positivity of Equivariant Schubert Classes Through Moment Map Degeneration
Published • View PublicationBIB
For a flag manifold $M=G/B$ with the canonical torus action, the $T-$equivariant cohomology is generated by equivariant Schubert classes, with one class $τ_u$ for every element $u$ of the Weyl group $W$. These classes are determined by their restrictions to the fixed point set $M^T \simeq W$, and the restrictions are polynomials with nonnegative integer coefficients in the simple roots. The main result of this article is a positive formula for computing $τ_u(v)$ in types A, B, and C. To obtain this formula we identify $G/B$ with a generic co-adjoint orbit and use a result of Goldin and Tolman to compute $τ_u(v)$ in terms of the induced moment map. Our formula, given as a sum of contributions of certain maximal ascending chains from $u$ to $v$, follows from a systematic degeneration of the moment map, corresponding to degenerating the co-adjoint orbit. In type A we prove that our formula is manifestly equivalent to the formula announced by Billey in \cite{Bi}, but in type C, the two formulas are not equivalent.
2009-04-02 v2
On conjugacy classes of SL$(2,q)$
Let SL(2,q) be the group of 2X2 matrices with determinant one over a finite field F of size q. We prove that if q is even, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least q-1 distinct conjugacy classes of SL(2,q). On the other hand, if q>3 is odd, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least (q+3)/2 distinct conjugacy classes of SL(2,q).
2009-03-30
Transversals in Latin Squares
Published in Quasigroups Related Systems 15, (2007) 169-190. A much updated version of this survey was published in Surveys in Combinatorics 2011, London Math. Soc. Lecture Note Series 392, Cambridge University Press, 2011, pp403-437 • View PublicationBIB
A latin square of order $n$ is an $n\times n$ array of $n$ symbols in which each symbol occurs exactly once in each row and column. A transversal of such a square is a set of $n$ entries such that no two entries share the same row, column or symbol. Transversals are closely related to the notions of complete mappings and orthomorphisms in (quasi)groups, and are fundamental to the concept of mutually orthogonal latin squares. Here we provide a brief survey of the literature on transversals. We cover (1) existence and enumeration results, (2) generalisations of transversals including partial transversals and plexes, (3) the special case when the latin square is a group table, (4) a connection with covering radii of sets of permutations. The survey includes a number of conjectures and open problems.
2009-03-30 v2
A multivariate arithmetic function of combinatorial and topological significance
Published in Integers, 10 (2010), A12, 155-177 (the last remark has been strengthened) • View PublicationBIB
We investigate properties of a multivariate function $E(m_1,m_2,...,m_r)$, called {\it orbicyclic}, that arises in enumerative combinatorics in counting non-isomorphic maps on orientable surfaces. $E(m_1,m_2,...,m_r)$ proves to be multiplicative, and a simple formula for its calculation is provided. It is shown that the necessary and sufficient conditions for this function to vanish is equivalent to familiar Harvey's conditions that characterize possible branching data of finite cyclic automorphism groups of Riemann surfaces.
2009-03-29 v2
Supplementary difference sets with symmetry for Hadamard matrices
Published in Operators and Matrices, vol. 3, No. 4 (2009), 557-569. • Search Publication
First we give an overview of the known supplementary difference sets (SDS) (A_i), i=1..4, with parameters (n;k_i;d), where k_i=|A_i| and each A_i is either symmetric or skew and k_1 + ... + k_4 = n + d. Five new Williamson matrices over the elementary abelian groups of order 25, 27 and 49 are constructed. New examples of skew Hadamard matrices of order 4n for n=47,61,127 are presented. The last of these is obtained from a (127,57,76)-difference family that we have constructed. An old non-published example of G-matrices of order 37 is also included.
2009-03-29
A uniform proof of the Macdonald-Mehta-Opdam identity for finite Coxeter groups
Published • View PublicationBIB
We give a new proof of the Macdonald-Mehta-Opdam integral identity for finite Coxeter groups. This identity was conjectured by Macdonald and proved by Opdam in 1993 using the theory of multivariable Bessel functions, but in non-crystallographic cases the proof relied on a computer calculation by F. Garvan. Our proof is somewhat more elementary (in particular, it does not use multivariable Bessel functions), and uniform (does not refer to the classification of finite Coxeter groups and does not use computers).
The Non-Commutative Cycle Lemma
Published in J. Combin. Theory Ser. A 117 (2010), no. 8, 1158-1166 • View PublicationBIB
We present a non-commutative version of the cycle lemma of Dvoretsky and Motzkin that applies to free groups and use this result to solve a number of problems involving cyclic reduction in the free group. We also describe an application to random matrices, in particular the fluctuations of Kesten's Law.
2009-03-26 v2
Embeddings of local fields in simple algebras and simplicial structures on the Bruhat-Tits building
Published • View PublicationBIB
This article answers a question that naturally arises from the articles by Grabitz and Broussous "Pure elements and intertwining classes of simple strata in local central simple algebras" and Broussous and Lemaire "Buildings of GL(m,D) and Centralizers". For an Azumaya-Algebra A over a non-Archimedean local field F, Grabitz and Broussous have introduced embedding invariants for field embeddings, that is for pairs (E,a), where E is a field extension of F in A, and $a$ is a hereditary order which is normalised by E^x. On the other hand if we take such a field extension E and define B to be the centralizer of E in A, then G:=A^x and G_E:=B^x are sets of rational points of reductive groups defined over F and E respectively. Broussous and Lemaire have defined a map j_E: I^{E^x}\to I_E, where $I$ is the the Euclidean building of $G$, and I_E is the Euclidean building of G_E. The question which we address is to relate the embedding invariants to the behavior of the map j_E with respect to the simplicial structures of $I$ and I_E. I have to thank very much Prof. Zink from Homboldt University Berlin for his helpful remarks, the revision of the work and for giving my the interesting task.
2009-03-23 v2
The entries in the LR-tableau
Published in Mathematische Zeitschrift 268 (2011), 211-222 • View PublicationBIB
Let $Γ$ be the Littlewood-Richardson tableau corresponding to an embedding $M$ of a subgroup in a finite abelian $p$-group. Each individual entry in $Γ$ yields information about the homomorphisms from $M$ into a particular subgroup embedding, and hence determines the position of $M$ within the category of subgroup embeddings. Conversely, this category provides a categorification for LR-tableaux in the sense that all subgroup embeddings corresponding to a given LR-tableau share certain homological properties.
2009-03-23
MV-Polytopes via affine buildings
Published in Duke Math. J. 155, no. 3 (2010), 433-482 • View PublicationBIB
We give a construction of MV-polytopes of a complex semisimple algebraic group G in terms of the geometry of the Bott-Samelson variety and the affine building. This is done by using the construction of dense subsets of MV-cycles by Gaussent and Littelmann. They used LS-gallery to define subsets in the Bott-Samelson variety that map to subsets of the affine Grassmannian, whose closure are MV-cycles. Since points in the Bott-Samelson variety correspond to galleries in the affine building one can look at the image of a point in such a special subset under all retractions at infinity. We prove that these images can be used to construct the corresponding MV-polytope in an explicit way, by using the GGMS strata. Furthermore we give a combinatorial construction for these images by using the crystal structure of LS-galleries and the action of the ordinary Weyl group on the coweight lattice.
2009-03-21
Positroid varieties I: juggling and geometry
While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the {\em cyclic shifts} of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, and Brown-Goodearl-Yakimov. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call {\em bounded juggling patterns}. We adopt his terminology and call the strata {\em positroid varieties.} We show that positroid varieties are normal and Cohen-Macaulay, and are defined as schemes by the vanishing of Plucker coordinates. We compute their T-equivariant Hilbert series, and show that their associated cohomology classes are represented by affine Stanley functions. This latter fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus. Our principal tools are the Frobenius splitting results for Richardson varieties as developed by Brion, Lakshmibai, and Littelmann, and the Hodge-Grobner degeneration of the Grassmannian. We show that each positroid variety degenerates to the projective Stanley-Reisner scheme of a shellable ball.