group
10399 papers tagged with this keyword
Combinatorics of Cremona monomial maps
Published in Math. Comp. 81 (2012), no. 279, 1857--1867
• View Publication
• BIB
One studies Cremona monomial maps by combinatorial means. Among the results is a simple integer matrix theoretic proof that the inverse of a Cremona monomial map is also defined by monomials of fixed degree, and moreover, the set of monomials defining the inverse can be obtained explicitly in terms of the initial data. A neat consequence is drawn for the plane Cremona monomial group, in particular the known result saying that a plane Cremona (monomial) map and its inverse have the same degree. Included is a discussion about the computational side and/or implementation of the combinatorial invariants stemming from these questions.
The nullcone in the multi-vector representation of the symplectic group and related combinatorics
Published
• View Publication
• BIB
We study the nullcone in the multi-vector representation of the symplectic group with respect to a joint action of the general linear group and the symplectic group. By extracting an algebra over a distributive lattice structure from the coordinate ring of the nullcone, we describe a toric degeneration and standard monomial theory of the nullcone in terms of double tableaux and integral points in a convex polyhedral cone.
On adding a list of numbers (and other one-dependent determinantal processes)
Published
• View Publication
• BIB
Adding a column of numbers produces "carries" along the way. We show that random digits produce a pattern of carries with a neat probabilistic description: the carries form a one-dependent determinantal point process. This makes it easy to answer natural questions: How many carries are typical? Where are they located? We show that many further examples, from combinatorics, algebra and group theory, have essentially the same neat formulae, and that any one-dependent point process on the integers is determinantal. The examples give a gentle introduction to the emerging fields of one-dependent and determinantal point processes.
Topological flatness of orthogonal local models in the split, even case. I
Published
• View Publication
• BIB
Local models are schemes, defined in terms of linear algebra, that were introduced by Rapoport and Zink to study the étale-local structure of integral models of certain PEL Shimura varieties over p-adic fields. A basic requirement for the integral models, or equivalently for the local models, is that they be flat. In the case of local models for even orthogonal groups, Genestier observed that the original definition of the local model does not yield a flat scheme. In a recent article, Pappas and Rapoport introduced a new condition to the moduli problem defining the local model, the so-called spin condition, and conjectured that the resulting "spin" local model is flat. We prove a weak form of their conjecture in the split, Iwahori case, namely that the spin local model is topologically flat. An essential combinatorial ingredient is the equivalence of mu-admissibility and mu-permissibility for two minuscule cocharacters mu in root systems of type D.
Spectral Characteristics of Network Redundancy
Published in Phys. Rev. E 80, 026117 (2009)
• View Publication
• BIB
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.
On the Cameron-Praeger Conjecture
Published
• View Publication
• BIB
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.
A bijection between dominant Shi regions and core partitions
Published
• View Publication
• BIB
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.
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.
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.
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 Publication
• BIB
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.
Semisimple symplectic characters of finite unitary groups
Published
• View Publication
• BIB
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 Publication
• BIB
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.
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 Publication
• BIB
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.
Positivity of Equivariant Schubert Classes Through Moment Map Degeneration
Published
• View Publication
• BIB
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.
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).
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 Publication
• BIB
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.
A multivariate arithmetic function of combinatorial and topological significance
Published in Integers, 10 (2010), A12, 155-177 (the last remark has been strengthened)
• View Publication
• BIB
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.
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.
A uniform proof of the Macdonald-Mehta-Opdam identity for finite Coxeter groups
Published
• View Publication
• BIB
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 Publication
• BIB
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.