group
10399 papers tagged with this keyword
The Hopf monoid on nonnesting supercharacters of pattern groups
Published
• View Publication
• BIB
We construct supercharacter theories for a collection of unipotent matrix groups and produce a Hopf monoid from the supercharacters. These supercharacter theories are coarser than those defined by Diaconis--Isaacs for algebra groups and have supercharacters and superclasses indexed by nonnesting labeled set partitions. We compute the supercharacter tables and describe the product and coproduct of the Hopf monoid combinatorially. We also show that this Hopf monoid is free.
Extending Precolorings to Distinguish Group Actions
Published
• View Publication
• BIB
Given a group $Γ$ acting on a set $X$, a $k$-coloring $φ:X\to\{1,\dots,k\}$ of $X$ is distinguishing with respect to $Γ$ if the only $γ\in Γ$ that fixes $φ$ is the identity action. The distinguishing number of the action $Γ$, denoted $D_Γ(X)$, is then the smallest positive integer $k$ such that there is a distinguishing $k$-coloring of $X$ with respect to $Γ$. This notion has been studied in a number of settings, but by far the largest body of work has been concerned with finding the distinguishing number of the action of the automorphism group of a graph $G$ upon its vertex set, which is referred to as the distinguishing number of $G$.
The distinguishing number of a group action is a measure of how difficult it is to "break" all of the permutations arising from that action. In this paper, we aim to further differentiate the resilience of group actions with the same distinguishing number. In particular, we introduce a precoloring extension framework to address this issue. A set $S \subseteq X$ is a fixing set for $Γ$ if for every non-identity element $γ\in Γ$ there is an element $s \in S$ such that $γ(s) \neq s$. The distinguishing extension number $\operatorname{ext}_D(X,Γ;k)$ is the minimum number $m$ such that for all fixing sets $W \subseteq X$ with $|W| \geq m$, every $k$-coloring $c : X \setminus W \to [k]$ can be extended to a $k$-coloring that distinguishes $X$.
In this paper, we prove that $\operatorname{ext}_D(\mathbb{R},\operatorname{Aut}(\mathbb{R}),2) =4$, where $\operatorname{Aut}(\mathbb{R})$ is comprised of compositions of translations and reflections. We also consider the distinguishing extension number of the circle and (finite) cycles, obtaining several exact results and bounds.
Chromatic quasisymmetric functions
We introduce a quasisymmetric refinement of Stanley's chromatic symmetric function. We derive refinements of both Gasharov's Schur-basis expansion of the chromatic symmetric function and Chow's expansion in Gessel's basis of fundamental quasisymmetric functions. We present a conjectural refinement of Stanley's power sum basis expansion, which we prove in special cases. We describe connections between the chromatic quasisymmetric function and both the $q$-Eulerian polynomials introduced in our earlier work and, conjecturally, representations of symmetric groups on cohomology of regular semisimple Hessenberg varieties, which have been studied by Tymoczko and others. We discuss an approach, using the results and conjectures herein, to the $e$-positivity conjecture of Stanley and Stembridge for incomparability graphs of $(3+1)$-free posets.
The graphs of Hoffman-Singleton, Higman-Sims, and McLaughlin, and the Hermitian curve of degree 6 in characteristic 5
We construct the graphs of Hoffman-Singleton, Higman-Sims, and McLaughlin from certain relations on the set of non-singular conics totally tangent to the Hermitian curve of degree 6 in characteristic 5. We then interpret this geometric construction in terms of the subgroup structure of the automorphism group of this Hermitian curve.
Homology of torus spaces with acyclic proper faces of the orbit space
Let $X$ be 2n-dimensional compact manifold with a locally standard action of a compact torus. The orbit space $X/T$ is a manifold with corners. Suppose that all proper faces of $X/T$ are acyclic. In the paper we study the homological spectral sequence $E^*_{*,*}\Rightarrow H_*(X)$ corresponding to the filtration of $X$ by orbit types. When the free part of the action is not twisted, we describe the whole spectral sequence in terms of homology and combinatorial structure of $X/T$. In this case we describe the kernel and the cokernel of the natural map $k[X/T]/(l.s.o.p.) \to H_*(X)$, where $k[X/T]$ is a face ring of $X/T$ and $(l.s.o.p.)$ is the ideal generated by a linear system of parameters (this ideal appears as the image of $H^{>0}(BT)$ in equivariant cohomology. There exists a natural double grading on $H_*(X)$, which satisfies bigraded Poincare duality. This general theory is applied to compute homology groups of origami toric manifolds with acyclic proper faces of the orbit space. A number of natural generalizations is considered. These include Buchsbaum simplicial complexes and posets. h'- and h''-numbers of simplicial posets appear as the ranks of certain terms in the spectral sequence $E^*_{*,*}$. In particular, using topological argument we show that Buchsbaum posets have nonnegative h''-vectors. The proofs of this paper rely on the theory of cellular sheaves. We associate to a torus space certain sheaves and cosheaves on the underlying simplicial poset, and observe an interesting duality between these objects. This duality seems to be a version of Poincare-Verdier duality between cellular sheaves and cosheaves.
The Davenport constant of a box
Published in Acta Arithmetica, Vol. 171, No. 3 (2015), pp. 197-219
• View Publication
• BIB
Given an additively written abelian group $G$ and a set $X\subseteq G$, we let $\mathscr{B}(X)$ denote the monoid of zero-sum sequences over $X$ and $\mathsf{D}(X)$ the Davenport constant of $\mathscr{B}(X)$, namely the supremum of the positive integers $n$ for which there exists a sequence $x_1 \cdots x_n$ of $\mathscr{B}(X)$ such that $\sum_{i \in I} x_i \ne 0$ for each non-empty proper subset $I$ of $\{1, \ldots, n\}$. In this paper, we mainly investigate the case when $G$ is a power of $\mathbb{Z}$ and $X$ is a box (i.e., a product of intervals of $G$). Some mixed sets (e.g., the product of a group by a box) are studied too, and some inverse results are obtained.
Undecidability and the developability of permutoids and rigid pseudogroups
Published
• View Publication
• BIB
A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a finite permutoid based on a finite set can be completed to a finite permutation group, and he related this problem to the study of groups that have no non-trivial finite quotients. This note explains how our recent work on the profinite triviality problem for finitely presented groups can be used to prove Cameron's conjecture. We also prove that the existence problem for finite developments of rigid pseudogroups is unsolvable.
An Improved Lower Bound for Arithmetic Regularity
Published in Math. Proc. Camb. Phil. Soc. 161 (2016) 193-197
• View Publication
• BIB
The arithmetic regularity lemma due to Green [GAFA 2005] is an analogue of the famous Szemer{é}di regularity lemma in graph theory. It shows that for any abelian group $G$ and any bounded function $f:G \to [0,1]$, there exists a subgroup $H \le G$ of bounded index such that, when restricted to most cosets of $H$, the function $f$ is pseudorandom in the sense that all its nontrivial Fourier coefficients are small. Quantitatively, if one wishes to obtain that for $1-ε$ fraction of the cosets, the nontrivial Fourier coefficients are bounded by $ε$, then Green shows that $|G/H|$ is bounded by a tower of twos of height $1/ε^3$. He also gives an example showing that a tower of height $Ω(\log 1/ε)$ is necessary. Here, we give an improved example, showing that a tower of height $Ω(1/ε)$ is necessary.
Phylogenetic invariants for $\mathbb{Z}_3$ scheme-theoretically
Published
• View Publication
• BIB
We study phylogenetic invariants of models of evolution whose group of symmetries is the cyclic group with 3 elements. We prove that projective schemes corresponding to the ideal I of phylogenetic invariants of such a model and to its subideal I' generated by elements of degree at most 3 are the same. This is motivated by a conjecture of Sturmfels and Sullivant, which would imply that I = I'.
Permutations on the random permutation
Published
• View Publication
• BIB
The random permutation is the Fraïssé limit of the class of finite structures with two linear orders. Answering a problem stated by Peter Cameron in 2002, we use a recent Ramsey-theoretic technique to show that there exist precisely 39 closed supergroups of the automorphism group of the random permutation, and thereby expose all symmetries of this structure. Equivalently, we classify all structures which have a first-order definition in the random permutation.
Hadamard Z2Z4Q8-codes. Constructions based on the rank and dimension of the kernel
Published
• View Publication
• BIB
This work deals with Hadamard Z2Z4Q8-codes, which are binary codes after a Gray map from a subgroup of the direct product of Z2, Z4 and Q8 groups, where Q8 is the quaternionic group. In a previous work, these kind of codes were classified in five shapes. In this paper we analyze the allowable range of values for the rank and dimension of the kernel, which depends on the particular shape of the code. We show that all these codes can be represented in a standard form, from a set of generators, which help to a well understanding of the characteristics of each shape. The main results are the characterization of Hadamard Z2Z4Q8-codes as a quotient of a semidirect product of Z2Z4-linear codes and, on the other hand, the construction of Hadamard Z2Z4Q8-codes code with any given pair of allowable parameters for the rank and dimension of the kernel.
Group With Maximum Undirected Edges in Directed Power Graph Among All Finite Non-Cyclic Nilpotent Groups
In [Curtin and Pourgholi, A group sum inequality and its application to power graphs, J. Algebraic Combinatorics, 2014], it is proved that among all directed power graphs of groups of a given order $ n $, the directed power graph of cyclic group of order $ n $ has the maximum number of undirected edges. In this paper, we continue their work and we determine a non-cyclic nilpotent group of an odd order $ n $ whose directed power graph has the maximum number of undirected edges among all non-cyclic nilpotent groups of order $n$.
We next determine non-cyclic $p$-groups whose undirected power graphs have the maximum number of edges among all groups of the same order.
A characterisation of weakly locally projective amalgams related to $A_{16}$ and the sporadic simple groups $M_{24}$ and $He$
Published
• View Publication
• BIB
A simple undirected graph is weakly $G$-locally projective, for a group of automorphisms $G$, if for each vertex $x$, the stabiliser $G(x)$ induces on the set of vertices adjacent to $x$ a doubly transitive action with socle the projective group $L_{n_x}(q_x)$ for an integer $n_x$ and a prime power $q_x$. It is $G$-locally projective if in addition $G$ is vertex transitive. A theorem of Trofimov reduces the classification of the $G$-locally projective graphs to the case where the distance factors are as in one of the known examples. Although an analogue of Trofimov's result is not yet available for weakly locally projective graphs, we would like to begin a program of characterising some of the remarkable examples. We show that if a graph is weakly locally projective with each $q_x =2$ and $n_x = 2$ or $3$, and if the distance factors are as in the examples arising from the rank 3 tilde geometries of the groups $M_{24}$ and $He$, then up to isomorphism there are exactly two possible amalgams. Moreover, we consider an infinite family of amalgams of type $\mathcal{U}_n$ (where each $q_x=2$ and $n=n_x+1\geq 4$) and prove that if $n\geq 5$ there is a unique amalgam of type $\mathcal{U}_n$ and it is unfaithful, whereas if $n=4$ then there are exactly four amalgams of type $\mathcal{U}_4$, precisely two of which are faithful, namely the ones related to $M_{24}$ and $He$, and one other which has faithful completion $A_{16}$.
On Reflection Orders Compatible with a Coxeter Element
In this article we give a simple, almost uniform proof that the lattice of noncrossing partitions associated with a well-generated complex reflection group is lexicographically shellable. So far a uniform proof is available only for Coxeter groups. In particular we show that, for any complex reflection group $W$ and any element $x\in W$, every $x$-compatible reflection order is a recursive atom order of the corresponding interval in absolute order. Since any Coxeter element $γ$ in any well-generated complex reflection group admits a $γ$-compatible reflection order, the lexicographic shellability follows from a well-known result due to Björner and Wachs.
Return words of linear involutions and fundamental groups
Published
• View Publication
• BIB
We investigate the natural codings of linear involutions. We deduce from the geometric representation of linear involutions as Poincaré maps of measured foliations a suitable definition of return words which yields that the set of first return words to a given word is a symmetric basis of the free group on the underlying alphabet $A$. The set of first return words with respect to a subgroup of finite index $G$ of the free group on $A$ is also proved to be a symmetric basis of $G$.
Group representations that resist random sampling
Published
• View Publication
• BIB
We show that there exists a family of groups $G_n$ and nontrivial irreducible representations $ρ_n$ such that, for any constant $t$, the average of $ρ_n$ over $t$ uniformly random elements $g_1, \ldots, g_t \in G_n$ has operator norm $1$ with probability approaching 1 as $n \rightarrow \infty$. More quantitatively, we show that there exist families of finite groups for which $Ω(\log \log |G|)$ random elements are required to bound the norm of a typical representation below $1$. This settles a conjecture of A. Wigderson.
Enumeration of balanced finite group valued functions on directed graphs
Published
• View Publication
• BIB
A group valued function on a graph is called balanced if the product of its values along any cycle is equal to the identity element of the group. We compute the number of balanced functions from edges and vertices of a directed graph to a finite group.
Pairwise transitive 2-designs
Published
• View Publication
• BIB
We classify the pairwise transitive 2-designs, that is, 2-designs such that a group of automorphisms is transitive on the following five sets of ordered pairs: point-pairs, incident point-block pairs, non-incident point-block pairs, intersecting block-pairs and non-intersecting block-pairs. These 2-designs fall into two classes: the symmetric ones and the quasisymmetric ones. The symmetric examples include the symmetric designs from projective geometry, the 11-point biplane, the Higman-Sims design, and designs of points and quadratic forms on symplectic spaces. The quasisymmetric examples arise from affine geometry and the point-line geometry of projective spaces, as well as several sporadic examples.
G-graphs Characterisation and Incidence Graphs
Graphs derived from groups are a widely studied class of graphs, motivated by their highly symmetric structure. In particular, G-graphs offer an easy and interesting alternative construction of semi-symmetric graphs. After recalling the main properties of these graphs, this papers gives an extended characterisation of G-graphs and develops the link between bipartite G-graphs and incidence graphs. It appears that these two classes of graphs have a wide overlapping despite having completely different constructions. We give partial answers to the problem of finding which complete simple graphs have a G-graph as their incidence graph.
Richard Stanley through a crystal lens and from a random angle
Published in in: The Mathematical Legacy of Richard P. Stanley, AMS 2016, edited by P. Hersh, T. Lam, P. Pylyavskyy, V. Reiner, pp. 287-299
• View Publication
• BIB
We review Stanley's seminal work on the number of reduced words of the longest element of the symmetric group and his Stanley symmetric functions. We shed new light on this by giving a crystal theoretic interpretation in terms of decreasing factorizations of permutations. Whereas crystal operators on tableaux are coplactic operators, the crystal operators on decreasing factorization intertwine with the Edelman-Greene insertion. We also view this from a random perspective and study a Markov chain on reduced words of the longest element in a finite Coxeter group, in particular the symmetric group, and mention a generalization to a poset setting.