group
10226 papers tagged with this keyword
On entropic and almost multilinear representability of matroids
This article studies two notions of generalized matroid representations motivated by algorithmic information theory and cryptographic secret sharing. The first (entropic representability) involves discrete random variables, while the second (almost-multilinear representability) deals with approximate subspace arrangements. In both cases, we prove that determining whether an input matroid has such a representation is undecidable. Consequently, the conditional independence implication problem is also undecidable, providing an independent answer to a question posed by Geiger and Pearl, recently resolved by Cheuk Ting Li. These problems are also closely related to characterizing achievable rates in network coding and constructing secret sharing schemes. For example, another corollary of our work is that deciding whether an access structure admits an ideal secret sharing scheme is undecidable. Our approach reduces undecidable problems from group theory to matroid representation problems. Specifically, we reduce the uniform word problem for finite groups to entropic representability and the word problem for sofic groups to almost-multilinear representability. A key part of this reduction involves modifying group presentations into forms where linear representations are generic in an appropriate sense when restricted to the generating set.
The relation between symmetries and coincidence and collinearity of polygon centers and centers of multisets of points in the plane
There are several remarkable points, defined for polygons and multisets of points in the plane, called centers (such as the centroid). To make possible their study, there exists a formal definition for the concept of center in both cases. In this paper, the relation between symmetries of polygons and multisets of points in the plane and the coincidence and collinearity of their centers is studied. First, a precise statement for the problem is given. Then, it is proved that, given a polygon or a multiset of points in the plane, a given point in the plane is a center for this object if and only if it belongs to the set of points fixed by its group of symmetries.
A classification of finite primitive IBIS groups with alternating socle
Published
• View Publication
• BIB
Let $G$ be a finite permutation group on $Ω$. An ordered sequence $(ω_1,\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group.
Lucchini, Morigi and Moscatiello have proved a theorem reducing the problem of classifying finite primitive IBIS groups $G$ to the case that the socle of $G$ is either abelian or non-abelian simple.
In this paper, we classify the finite primitive IBIS groups having socle an alternating group. Moreover, we propose a conjecture aiming to give a classification of all almost simple primitive IBIS groups.
The Jacobian of a graph and graph automorphisms
In the present paper we investigate the faithfulness of certain linear representations of groups of automorphisms of a graph $X$ in the group of symmetries of the Jacobian of $X$. As a consequence we show that if a $3$-edge-connected graph $X$ admits a nonabelian semiregular group of automorphims, then the Jacobian of $X$ cannot be cyclic. In particular, Cayley graphs of degree at least three arising from nonabelian groups have non-cyclic Jacobians. While the size of the Jacobian of $X$ is well-understood - it is equal to the number of spanning trees of $X$ - the combinatorial interpretation of the rank of Jacobian of a graph is unknown. Our paper presents a contribution in this direction.
Matroids of Gain Signed Graphs
Published
• View Publication
• BIB
A signed graph has edge signs. A gain graph has oriented edge gains drawn from a group. We define the combination of the two for the abelian case, in which each oriented edge of a signed graph has a gain from an abelian group, concentrating on the case of the additive group of a field. We develop the elementary graph properties, the associated matroid, and the vector and hyperplanar representations.
Unicellular LLT polynomials and twin of regular semisimple Hessenberg varieties
Published
• View Publication
• BIB
The solution of Shareshian-Wachs conjecture by Brosnan-Chow linked together the cohomology of regular semisimple Hessenberg varieties and graded chromatic symmetric functions on unit interval graphs. On the other hand, it is known that unicellular LLT polynomials have similar properties to graded chromatic symmetric functions. In this paper, we link together the unicellular LLT polynomials and twin of regular semisimple Hessenberg varieties introduced by Ayzenberg-Buchstaber. We prove their palindromicity from topological viewpoint. We also show that modules of a symmetric group generated by faces of a permutohedron are related to a shifted unicellular LLT polynomial and observe the $e$-positivity of shifted unicellular LLT polynomials, which is established by Alexandersson-Sulzgruber in general, for path graphs and complete graphs through the cohomology of the twins.
Exceptional sequences in the derived category of a gentle algebra
Published
• View Publication
• BIB
In this paper, using the correspondence of gentle algebras and dissections of marked surfaces, we study full exceptional sequences in the perfect derived category $\mathsf{K^b(A)}$ of a gentle algebra $\mathsf{A}$. We show that full exceptional sequences in $\mathsf{K^b(A)}$ exist if and only if the associated marked surface has no punctures and has at least two marked points on the boundary. Furthermore, by using induction on cuts of surfaces, we characterise when an exceptional sequence can be completed to a full exceptional sequence. If the genus of the associated surface is zero then we show that the action of the braid group together with the grading shift on full exceptional sequences in $\mathsf{K^b(A)}$ is transitive. For the case of surfaces of higher genus, we reduce the problem of transitivity to the problem of the existence of certain sequences of pairs of exceptional objects. Finally, we interpret the duality of a full exceptional sequence induced by the longest element in the associated symmetric group using Koszul duality.
An update on Haiman's conjectures
Published
• View Publication
• BIB
We revisit Haiman's conjecture on the relations between characters of Kazdhan-Lusztig basis elements of the Hecke algebra over the symmetric group. The conjecture asserts that, for purposes of character evaluation, any Kazhdan-Lusztig basis element is reducible to a sum of the simplest possible ones (those associated to so-called codominant permutations). When the basis element is associated to a smooth permutation, we are able to give a geometric proof of this conjecture. On the other hand, if the permutation is singular, we provide a counterexample.
A geometric approach to characters of Hecke algebras
Published
• View Publication
• BIB
To any element of a connected, simply connected, semisimple complex algebraic group G and a choice of an element of the corresponding Weyl group there is an associated Lusztig variety. When the element of G is regular semisimple, the corresponding variety carries an action of the Weyl group on its (equivariant) intersection cohomology. From this action, we recover the induced characters of an element of the Kazhdan-Lusztig basis of the corresponding Hecke algebra. In type A, we prove a more precise statement: that the Frobenius character of this action is precisely the symmetric function given by the characters of a Kazhdan-Lusztig basis element. The main idea is to find celular decompositions of desingularizations of these varieties and apply the Brosnan-Chow palindromicity criterion for determining when the local invariant cycle map is an isomorphism.
This recovers some results of Lusztig about character sheaves and gives a generalization of the Brosnan-Chow solution to the Sharesian-Wachs conjecture to non-codominant permutations, where singularities are involved. We also review the connections between Immanants, Hecke algebras, and Chromatic quasisymmetric functions of indifference graphs.
The vibrational modes of simplicial molecules
Published in Math Intelligencer 44 (2022) 364-370
• View Publication
• BIB
Consider a "simplicial molecule": $n$ equal point masses placed at the vertices of a regular $(n-1)$-simplex, connected by ${n \choose 2}$ identical springs. We apply the representation theory of the symmetric group $S_n$ to compute its vibrational modes.
The Engel graph of almost simple groups
Published
• View Publication
• BIB
Given a finite group $G$, the Engel graph of $G$ is a directed graph encoding pairs of elements satisfying some Engel word. From the work of Detomi, Lucchini and Nemmi, the strongly connectivity of the Engel graph of an arbitrary group $G$ is reduced to the understanding of the strongly connectivity of the Engel graph of non-abelian simple groups.
In this paper, we investigate the strongly connectivity of the Engel graph of finite non-abelian simple groups.
On the Largest Product-free Subsets of the Alternating Groups
Published
• View Publication
• BIB
A subset $A$ of a group $G$ is called product-free if there is no solution to $a=bc$ with $a,b,c$ all in $A$. It is easy to see that the largest product-free subset of the symmetric group $S_n$ is obtained by taking the set of all odd permutations, i.e. $S_n \setminus A_n$, where $A_n$ is the alternating group. By contrast, it is a long-standing open problem to find the largest product-free subset of $A_n$. We solve this problem for large $n$, showing that the maximum size is achieved by the previously conjectured extremal examples, namely families of the form $\{π~|~π(x)\in I, π(I)\cap I=\emptyset\}$ and their inverses. Moreover, we show that the maximum size is only achieved by these extremal examples, and we have stability: any product-free subset of $A_n$ of nearly maximum size is structurally close to an extremal example. Our proof uses a combination of tools from Combinatorics and Non-abelian Fourier Analysis, including a crucial new ingredient exploiting some recent theory developed by Filmus, Kindler, Liftshitz and Minzer for global hypercontractivity on the symmetric group.
Generalized Quadrangles Of Order $(s, s^2)$. IV. Translations, Moufang And Fong-Seitz
Published
• View Publication
• BIB
In the period 1994-1999 Thas wrote a series of three papers on generalized quadrangles of order $(s, s^2)$. In this Part IV we classify all finite translation generalized quadrangles of order $(s, s^2)$ having a kernel of size at least 3, containing a regular line not incident with the translation point. There are several applications on generalized quadrangles of order $(s, s^2)$ having at least 2 translation points, on Moufang quadrangles, and concerning the theorem of Fong and Seitz classifying all groups with a BN-pair of rank 2.
A standard form for scattered linearized polynomials and properties of the related translation planes
Published
• View Publication
• BIB
In this paper we present results concerning the stabilizer $G_f$ in $\mathrm{GL}(2,q^n)$ of the subspace $U_f=\{(x,f(x))\colon x\in\mathbb F_{q^n}[x]\}$, $f(x)$ a scattered linearized polynomial in $\mathbb F_{q^n}[x]$. Each $G_f$ contains the $q-1$ maps $(x,y)\mapsto(ax,ay)$, $a\in\mathbb F_{q}^*$. By virtue of the results of Beard (1972) and Willett (1973), the matrices in $G_f$ are simultaneously diagonalizable. This has several consequences: $(i)$ the polynomials such that $|G_f|>q-1$ have a standard form of type $\sum_{j=0}^{n/t-1}a_jx^{q^{s+jt}}$ for some $s$ and $t$ such that $(s,t)=1$, $t>1$ a divisor of $n$; $(ii)$ this standard form is essentially unique; $(iii)$ for $n>2$ and $q>3$, the translation plane $\cal A_f$ associated with $f(x)$ admits nontrivial affine homologies if and only if $|G_f|>q-1$, and in that case those with axis through the origin form two groups of cardinality $(q^t-1)/(q-1)$ that exchange axes and coaxes; $(iv)$ no plane of type $\cal A_f$, $f(x)$ a scattered polynomial not of pseudoregulus type, is a generalized André plane.
Tetravalent half-arc-transitive graphs of order $12p$
A graph is half-arc-transitive if its automorphism group acts transitively on its vertex set, edge set, but not its arc set. In this paper, we study all tetravalent half-arc-transitive graphs of order $12p$.
q-Stirling numbers in type B
Stirling numbers, which count partitions of a set and permutations in the symmetric group, have found extensive application in combinatorics, geometry, and algebra. We study analogues and q-analogues of these numbers corresponding to the Coxeter group of type B. In particular, we show how they are related to complete homogeneous and elementary symmetric polynomials; demonstrate how they q-count signed partitions and permutations; compute their ordinary, exponential, and q-exponential generating functions; and prove various identities about them. Ordered analogues of the q-Stirling numbers of the second kind have recently appeared in conjectures of Zabrocki and of Swanson--Wallach concerning the Hilbert series of certain super coinvariant algebras. We provide conjectural bases for these algebras and show that they have the correct Hilbert series.
On Graphs, Groups and Geometry
A metric space (X,d) is declared to be natural if (X,d) determines an up to isomorphism unique group structure (X,+) on the set X such that all the group translations and group inversion are isometries. A group is called natural if it emerges like this from a natural metric. A simple graph X is declared to be natural if (X,d) with geodesic metric d is natural. We look here at some examples and some general statements like that the graphical regular representations of a finite group is always a natural graphs or that the direct product on groups or the Shannon product of finite graphs preserves the property of being natural. The semi-direct product of finite natural groups is natural too as they are represented by Zig-Zag products of suitable Cayley graphs. It follows that wreath products preserve natural groups. The Rubik cube for example is natural. Also free products of finitely generated natural groups are natural. A major theme is that non-natural groups often can be upgraded to become natural by extending them to become Coxeter groups. Examples of non-natural groups are cyclic groups whose order is divisible by 4, the quaternion group, the integers, the lamplighter group, the free groups or the group of p-adic integers. The prototype feature is to extend the integers and get the infinite dihedral group, replacing the single generator by two free reflections. We conclude with a short discussion of the hypothesis of using the dihedral group as a physical time in dynamical system theory.
Sizing the White Whale
Published
• View Publication
• BIB
We propose a computational, convex hull free framework that takes advantage of the combinatorial structure of a zonotope, as for example its symmetry group, to orbitwise generate all canonical representatives of its vertices. We illustrate the proposed framework by generating all the 1 955 230 985 997 140 vertices of the $9$-dimensional White Whale. We also compute the number of edges of this zonotope up to dimension $9$ and exhibit a family of vertices whose degree is exponential in the dimension. The White Whale is the Minkowski sum of all the $2^d-1$ non-zero $0/1$-valued $d$-dimensional vectors. The central hyperplane arrangement dual to the White Whale, made up of the hyperplanes normal to these vectors, is called the resonance arrangement and has been studied in various contexts including algebraic geometry, mathematical physics, economics, psychometrics, and representation theory.
Crystal invariant theory II: Pseudo-energies
The geometric crystal operators and geometric $R$-matrices (or geometric Weyl group actions) give commuting actions on the field of rational functions in $mn$ variables. We study the invariants of various combinations of these actions, which we view as "crystal analogues" of the invariants of $S_m$, ${\rm SL}_m$, $S_n \times S_m$, ${\rm SL}_n \times \, S_m$, and ${\rm SL}_n \times {\rm SL}_m$ acting on the polynomial ring in an $m \times n$ matrix of variables. The polynomial invariants of the $S_m$-action generated by the ${\rm GL}_m$-geometric $R$-matrices were described by Lam and the third-named author as the ring of loop symmetric functions. In a previous paper of the authors, the polynomial invariants of the ${\rm GL}_m$-geometric crystal operators were described as a subring of the ring of loop symmetric functions.
In this paper, we give conjectural generating sets for the fields of rational invariants in the remaining cases, and we give formulas expressing a large class of loop symmetric functions in terms of these conjectural generators. Our results include new positive formulas for the central charge and energy function of a product of single-row geometric crystals, and a new derivation of Kirillov and Berenstein's piecewise-linear formula for cocharge. The formulas manifest the symmetries possessed by these functions.
Complexity of Cut-and-Project Sets of Polytopal Type in Special Homogeneous Lie Groups
Published
• View Publication
• BIB
The aim of this paper is to determine the asymptotic growth rate of the complexity function of cut-and-project sets in the non-abelian case. In the case of model sets of polytopal type in homogeneous two-step nilpotent Lie groups we can establish that the complexity function asymptotically behaves like $r^{homdim(G) dim(H)}$. Further we generalize the concept of acceptance domains to locally compact second countable groups.