group
10263 papers tagged with this keyword
On BEL-configurations and finite semifields
Published
• View Publication
• BIB
The BEL-construction for finite semifields was introduced in \cite{BEL2007}; a geometric method for constructing semifield spreads, using so-called BEL-configurations in $V(rn,q)$. In this paper we investigate this construction in greater detail, and determine an explicit multiplication for the semifield associated with a BEL-configuration in $V(rn,q)$, extending the results from \cite{BEL2007}, where this was obtained only for $r=n$. Given a BEL-configuration with associated semifields spread $\mathcal{S}$, we also show how to find a BEL-configuration corresponding to the dual spread $\mathcal{S}^d$. Furthermore, we study the effect of polarities in $V(rn,q)$ on BEL-configurations, leading to a characterisation of BEL-configurations associated to symplectic semifields.
We give precise conditions for when two BEL-configurations in $V(n^2,q)$ define isotopic semifields. We define operations which preserve the BEL property, and show how non-isotopic semifields can be equivalent under this operation. We also define an extension of the ```switching'' operation on BEL-configurations in $V(2n,q)$ introduced in \cite{BEL2007}, which, together with the transpose operation, leads to a group of order $8$ acting on BEL-configurations.
A note on the transitive Hurwitz action on decompositions of parabolic Coxeter elements
Published
• View Publication
• BIB
In this note, we provide a short and self-contained proof that the braid group on n strands acts transitively on the set of reduced factorizations of a Coxeter element in a Coxeter group of finite rank n into products of reflections. We moreover use the same argument to also show that all factorizations of an element in a parabolic subgroup of W lie as well in this parabolic subgroup.
Fully commutative elements in finite and affine Coxeter groups
Published
• View Publication
• BIB
An element of a Coxeter group $W$ is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. These elements were extensively studied by Stembridge, in particular in the finite case. They index naturally a basis of the generalized Temperley--Lieb algebra. In this work we deal with any finite or affine Coxeter group $W$, and we give explicit descriptions of fully commutative elements. Using our characterizations we then enumerate these elements according to their Coxeter length, and find in particular that the corrresponding growth sequence is ultimately periodic in each type. When the sequence is infinite, this implies that the associated Temperley--Lieb algebra has linear growth.
On Zero Forcing Number of Graphs and Their Complements
Published in Discrete Math. Algorithms Appl. Vol. 7(1) (2015) 1550002 (10 pages)
• View Publication
• BIB
The \emph{zero forcing number}, $Z(G)$, of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G) \setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the color-change rule": a white vertex is converted to a black vertex if it is the only white neighbor of a black vertex. Zero forcing number was introduced and used to bound the minimum rank of graphs by the "AIM Minimum Rank -- Special Graphs Work Group". It's known that $Z(G)\geq δ(G)$, where $δ(G)$ is the minimum degree of $G$. We show that $Z(G)\leq n-3$ if a connected graph $G$ of order $n$ has a connected complement graph $\overline{G}$. Further, we characterize a tree or a unicyclic graph $G$ which satisfies either $Z(G)+Z(\overline{G})=δ(G)+δ(\overline{G})$ or $Z(G)+Z(\overline{G})=2(n-3)$.
Law of Large Numbers for Infinite Random Matrices over a Finite Field
Published
• View Publication
• BIB
Asymptotic representation theory of general linear groups GL(n,q) over a finite field leads to studying probability measures ρon the group U of all infinite uni-uppertriangular matrices over F_q, with the condition that ρis invariant under conjugations by arbitrary infinite matrices. Such probability measures form an infinite-dimensional simplex, and the description of its extreme points (in other words, ergodic measures ρ) was conjectured by Kerov in connection with nonnegative specializations of Hall-Littlewood symmetric functions.
Vershik and Kerov also conjectured the following Law of Large Numbers. Consider an n by n diagonal submatrix of the infinite random matrix drawn from an ergodic measure coming from the Kerov's conjectural classification. The sizes of Jordan blocks of the submatrix can be interpreted as a (random) partition of n, or, equivalently, as a (random) Young diagram λ(n) with n boxes. Then, as n goes to infinity, the rows and columns of λ(n) have almost sure limiting frequencies corresponding to parameters of this ergodic measure.
Our main result is the proof of this Law of Large Numbers. We achieve it by analyzing a new randomized Robinson-Schensted-Knuth (RSK) insertion algorithm which samples random Young diagrams λ(n) coming from ergodic measures. The probability weights of these Young diagrams are expressed in terms of Hall-Littlewood symmetric functions. Our insertion algorithm is a modified and extended version of a recent construction by Borodin and the second author (arXiv:1305.5501). On the other hand, our randomized RSK insertion generalizes a version of the RSK insertion introduced by Vershik and Kerov (1986) in connection with asymptotic representation theory of symmetric groups (which is governed by nonnegative specializations of Schur symmetric functions).
Quantum and affine Schubert calculus and Macdonald polynomials
Published
• View Publication
• BIB
We definitively establish that the theory of symmetric Macdonald polynomials aligns with quantum and affine Schubert calculus using a discovery that distinguished weak chains can be identified by chains in the strong (Bruhat) order poset on the type-$A$ affine Weyl group. We construct two one-parameter families of functions that respectively transition positively with Hall-Littlewood and Macdonald's $P$-functions, and specialize to the representatives for Schubert classes of homology and cohomology of the affine Grassmannian. Our approach leads us to conjecture that all elements in a defining set of 3-point genus 0 Gromov-Witten invariants for flag manifolds can be formulated as strong covers.
A combinatorial proof of strict unimodality for $q$-binomial coefficients
Published
• View Publication
• BIB
Pak and Panova recently proved that the $q$-binomial coefficient ${m+n \choose m}_q$ is a strictly unimodal polynomial in $q$ for $m,n \geq 8$, via the representation theory of the symmetric group. We give a direct combinatorial proof of their result by characterizing when a product of chains is strictly unimodal and then applying O'Hara's structure theorem for the partition lattice $L(m,n)$. In fact, we prove a stronger result: if $m, n \geq 8d$, and $2d \leq r \leq mn/2$, then the $r$-th rank of $L(m,n)$ has at least $d$ more elements that the next lower rank.
Signed arc permutations
Published
• View Publication
• BIB
Arc permutations, which were originally introduced in the study of triangulations and characters, have recently been shown to have interesting combinatorial properties. The first part of this paper continues their study by providing signed enumeration formulas with respect to their descent set and major index. Next, we generalize the notion of arc permutations to the hyperoctahedral group in two different directions. We show that these extensions to type $B$ carry interesting analogues of the properties of type $A$ arc permutations, such as characterizations by pattern avoidance, and elegant unsigned and signed enumeration formulas with respect to the flag-major index.
Linking Rigid Bodies Symmetrically
Published
• View Publication
• BIB
The mathematical theory of rigidity of body-bar and body-hinge frameworks provides a useful tool for analyzing the rigidity and flexibility of many articulated structures appearing in engineering, robotics and biochemistry. In this paper we develop a symmetric extension of this theory which permits a rigidity analysis of body-bar and body-hinge structures with point group symmetries. The infinitesimal rigidity of body-bar frameworks can naturally be formulated in the language of the exterior (or Grassmann) algebra. Using this algebraic formulation, we derive symmetry-adapted rigidity matrices to analyze the infinitesimal rigidity of body-bar frameworks with Abelian point group symmetries in an arbitrary dimension. In particular, from the patterns of these new matrices, we derive combinatorial characterizations of infinitesimally rigid body-bar frameworks which are generic with respect to a point group of the form $\mathbb{Z}/2\mathbb{Z}\times \dots \times \mathbb{Z}/2\mathbb{Z}$. Our characterizations are given in terms of packings of bases of signed-graphic matroids on quotient graphs. Finally, we also extend our methods and results to body-hinge frameworks with Abelian point group symmetries in an arbitrary dimension. As special cases of these results, we obtain combinatorial characterizations of infinitesimally rigid body-hinge frameworks with $\mathcal{C}_2$ or $\mathcal{D}_2$ symmetry - the most common symmetry groups found in proteins.
The Smith and critical groups of Paley graphs
Published in Journal of Algebraic Combinatorics: Volume 41, Issue 4 (2015), Page 1013-1022 pdf
• View Publication
• BIB
There is a Paley graph for each prime power $q$ such that $q\equiv 1\pmod 4$. The vertex set is the field $\mathbb Fq$ and two vertices $x$ and $y$ are joined by an edge if and only if $x-y$ is a nonzero square of $\mathbb Fq$. We compute the Smith normal forms of the adjacency matrix and Laplacian matrix of a Paley graph.
The representation theory of generalized hyperoctahedral groups
We give an explicit decomposition of $\hbox{Ind}(1)_{B_n}^{S_{2n}}$, following Barbasch and Vogan [1]. We define two natural generalizations of $B_n$, and extend the proof in [1] to recursively compute these decompositions. Although the decompositions do not appear to follow a simple pattern, we prove enough of their structure to show that they are almost never multiplicity-free.
Mutual Interlacing and Eulerian-like Polynomials for Weyl Groups
We use the method of mutual interlacing to prove two conjectures on the real-rootedness of Eulerian-like polynomials: Brenti's conjecture on $q$-Eulerian polynomials for Weyl groups of type $D$, and Dilks, Petersen, and Stembridge's conjecture on affine Eulerian polynomials for irreducible finite Weyl groups.
For the former, we obtain a refinement of Brenti's $q$-Eulerian polynomials of type $D$, and then show that these refined Eulerian polynomials satisfy certain recurrence relation. By using the Routh--Hurwitz theory and the recurrence relation, we prove that these polynomials form a mutually interlacing sequence for any positive $q$, and hence prove Brenti's conjecture. For $q=1$, our result reduces to the real-rootedness of the Eulerian polynomials of type $D$, which were originally conjectured by Brenti and recently proved by Savage and Visontai.
For the latter, we introduce a family of polynomials based on Savage and Visontai's refinement of Eulerian polynomials of type $D$. We show that these new polynomials satisfy the same recurrence relation as Savage and Visontai's refined Eulerian polynomials. As a result, we get the real-rootedness of the affine Eulerian polynomials of type $D$. Combining the previous results for other types, we completely prove Dilks, Petersen, and Stembridge's conjecture, which states that, for every irreducible finite Weyl group, the affine descent polynomial has only real zeros.
On involutions in extremal self-dual codes and the dual distance of semi self-dual codes
Published
• View Publication
• BIB
A classical result of Conway and Pless is that a natural projection of the fixed code of an automorphism of odd prime order of a self-dual binary linear code is self-dual. In this paper we prove that the same holds for involutions under some (quite strong) conditions on the codes. In order to prove it, we introduce a new family of binary codes: the semi self-dual codes. A binary self-orthogonal code is called semi self-dual if it contains the all-ones vector and is of codimension 2 in its dual code. We prove upper bounds on the dual distance of semi self-dual codes. As an application we get the following: let C be an extremal self-dual binary linear code of length 24m and s in Aut(C) be a fixed point free automorphism of order 2. If m is odd or if m=2k with binom{5k-1}{k-1} odd then C is a free F_2<s>-module. This result has quite strong consequences on the structure of the automorphism group of such codes.
Pólya theory for species with an equivariant group action
Published in Australasian Journal of Combinatorics, Volume 63(2) (2015), Pages 202--225
• Search Publication
Joyal's theory of combiantorial species provides a rich and elegant framework for enumerating combinatorial structures by translating structural information into algebraic functional equations. We present some classical and folklore results which interpret the species-theoretic cycle index series in terms of the Pólya theory of the action of the symmetric group on the label set, allowing the enumeration of "partially-labeled" structures and providing an alternate foundation for several proofs. We also extend the theory to incorporate information about "structural" group actions (i.e. those which commute with the label permutation action) on combinatorial species, using the $Γ$-species of Henderson, and present Pólya-theoretic interpretations of the associated formal power series. We define the appropriate operations $+$, $\cdot$, $\circ$, and $\square$ on $Γ$-species, give formulas for the associated operations on $Γ$-cycle indices, and illustrate the use of this theory to study several important examples of combinatorial structures. Finally, we demonstrate the use of the Sage computer algebra system to enumerate $Γ$-species and their quotients.
On the group of alternating colored permutations
Published
• View Publication
• BIB
The group of alternating colored permutations is the natural analogue of the classical alternating group, inside the wreath product $\mathbb{Z}_r \wr S_n$. We present a 'Coxeter-like' presentation for this group and compute the length function with respect to that presentation. Then, we present this group as a covering of $\mathbb{Z}_{\frac{r}{2}} \wr S_n$ and use this point of view to give another expression for the length function. We also use this covering to lift several known parameters of $\mathbb{Z}_{\frac{r}{2}} \wr S_n$ to the group of alternating colored permutations.
Markov chains, $\mathscr R$-trivial monoids and representation theory
Published in International Journal of Algebra and Computation, Volume 25, Issue 01n02, 169 (2015)
• View Publication
• BIB
We develop a general theory of Markov chains realizable as random walks on $\mathscr R$-trivial monoids. It provides explicit and simple formulas for the eigenvalues of the transition matrix, for multiplicities of the eigenvalues via Möbius inversion along a lattice, a condition for diagonalizability of the transition matrix and some techniques for bounding the mixing time. In addition, we discuss several examples, such as Toom-Tsetlin models, an exchange walk for finite Coxeter groups, as well as examples previously studied by the authors, such as nonabelian sandpile models and the promotion Markov chain on posets. Many of these examples can be viewed as random walks on quotients of free tree monoids, a new class of monoids whose combinatorics we develop.
Integral point sets in higher dimensional affine spaces over finite fields
Published in H. Meyer and S. Kurz: Integral point sets in higher dimensional affine spaces over finite fields. Journal of Combinatorial Theory, Series A Vol. 116, Nr. 6 (2009), Pages 1120-1139
• Search Publication
We consider point sets in the $m$-dimensional affine space $\mathbb{F}_q^m$ where each squared Euclidean distance of two points is a square in $\mathbb{F}_q$. It turns out that the situation in $\mathbb{F}_q^m$ is rather similar to the one of integral distances in Euclidean spaces. Therefore we expect the results over finite fields to be useful for the Euclidean case.
We completely determine the automorphism group of these spaces which preserves integral distances. For some small parameters $m$ and $q$ we determine the maximum cardinality $\mathcal{I}(m,q)$ of integral point sets in $\mathbb{F}_q^m$. We provide upper bounds and lower bounds on $\mathcal{I}(m,q)$. If we map integral distances to edges in a graph, we can define a graph $\mathfrak{G}_{m,q}$ with vertex set $\mathbb{F}_q^m$. It turns out that $\mathfrak{G}_{m,q}$ is strongly regular for some cases.
Diffuse Scattering on Graphs
Published
• View Publication
• BIB
We formulate and analyze difference equations on graphs analogous to time-independent diffusion equations arising in the study of diffuse scattering in continuous media. Moreover, we show how to construct solutions in the presence of weak scatterers from the solution to the homogeneous (background problem) using Born series, providing necessary conditions for convergence and demonstrating the process through numerous examples. In addition, we outline a method for finding Green's functions for Cayley graphs for both abelian and non-abelian groups. Finally, we conclude with a discussion of the effects of sparsity on our method and results, outlining the simplifications that can be made provided that the scatterers are weak and well-separated.
Factors of IID on Trees
Published in Combin. Probab. Comput. 26, no. 2 (2017), 285--300
• View Publication
• BIB
Classical ergodic theory for integer-group actions uses entropy as a complete invariant for isomorphism of IID (independent, identically distributed) processes (a.k.a. product measures). This theory holds for amenable groups as well. Despite recent spectacular progress of Bowen, the situation for non-amenable groups, including free groups, is still largely mysterious. We present some illustrative results and open questions on free groups, which are particularly interesting in combinatorics, statistical physics, and probability. Our results include bounds on minimum and maximum bisection for random cubic graphs that improve on all past bounds.
On Lattice-Free Orbit Polytopes
Published in Discrete & Computational Geometry, 53 (2015), 144-172
• View Publication
• BIB
Given a permutation group acting on coordinates of $\mathbb{R}^n$, we consider lattice-free polytopes that are the convex hull of an orbit of one integral vector. The vertices of such polytopes are called \emph{core points} and they play a key role in a recent approach to exploit symmetry in integer convex optimization problems. Here, naturally the question arises, for which groups the number of core points is finite up to translations by vectors fixed by the group. In this paper we consider transitive permutation groups and prove this type of finiteness for the $2$-homogeneous ones. We provide tools for practical computations of core points and obtain a complete list of representatives for all $2$-homogeneous groups up to degree twelve. For transitive groups that are not $2$-homogeneous we conjecture that there exist infinitely many core points up to translations by the all-ones-vector. We prove our conjecture for two large classes of groups: For imprimitive groups and groups that have an irrational invariant subspace.