group
10405 papers tagged with this keyword
Lucas atoms
Published
• View Publication
• BIB
Given two variables $s$ and $t$, the associated sequence of Lucas polynomials is defined inductively by $\{0\}=0$, $\{1\}=1$, and $\{n\}=s\{n-1\}+t\{n-2\}$ for $n\ge2$. An integer (e.g., a Catalan number) defined by an expression of the form $\prod_i n_i/\prod_j k_j$ has a Lucas analogue obtained by replacing each factor with the corresponding Lucas polynomial. There has been interest in deciding when such expressions, which are a priori only rational functions, are actually polynomials in $s,t$. The approaches so far have been combinatorial. We introduce a powerful algebraic method for answering this question by factoring $\{n\}=\prod_{d|n} P_d(s,t)$, where we call the polynomials $P_d(s,t)$ Lucas atoms. This permits us to show that the Lucas analogues of the Fuss-Catalan and Fuss-Narayana numbers for all irreducible Coxeter groups are polynomials in $s,t$. Using gamma expansions, a technique which has recently become popular in combinatorics and geometry, one can show that the Lucas atoms have a close relationship with cyclotomic polynomials $Φ_d(q)$. Certain results about the $Φ_d(q)$ can then be lifted to Lucas atoms. In particular, one can prove analogues of theorems of Gauss and Lucas, deduce reduction formulas, and evaluate the $P_d(s,t)$ at various specific values of the variables.
The Signed Monodromy Group of an Adinkra
Published in Ann.Inst.H.Poincare D Comb.Phys.Interact. 10 (2022) 1, 1-30
• View Publication
• BIB
An ordering of colours in an Adinkra leads to an embedding of this Adinkra into a Riemann surface $X$, and a branched covering map $β_X:X\to\mathbb{CP}^1$. This paper shows how the dashing of edges in an Adinkra determines a signed permutation version of the monodromy group, and shows that it is isomorphic to a Salingaros Vee group.
Zeta functions of graphs, their symmetries and extended Catalan numbers
In this paper we study spectral zeta functions associated to finite and infinite graphs. First we establish a meromorphic continuation of these functions under some general conditions. Then we study special values in the case of standard lattice graphs associated to free abelian groups. In particular we connect it to Catalan numbers in several ways, and obtain some non-trivial special values and functional symmetries. Furthermore we relate the values at the negative integers with the more studied Ihara zeta functions, and prove a few minor results that seem not to have been recorded before. Finally we consider the characteristic polynomial of the graph Laplacians, and in particular completely determine its coefficients for cyclic graphs using new analytical methods.
Tensor decompositions on simplicial complexes with invariance
Published in J. Symb. Comput. 124, 102299 (2024)
• View Publication
• BIB
We develop a framework to analyse invariant decompositions of elements of tensor product spaces. Namely, we define an invariant decomposition with indices arranged on a simplicial complex, and which is explicitly invariant under a group action. We prove that this decomposition exists for all invariant tensors after possibly enriching the simplicial complex. As a special case we recover tensor networks with translational invariance and the symmetric tensor decomposition. We also define an invariant separable decomposition and purification form, and prove similar existence results. Associated to every decomposition there is a rank, and we prove several inequalities between them. For example, we show by how much the rank increases when imposing invariance in the decomposition, and that the tensor rank is the largest of all ranks. Finally, we apply our framework to nonnegative tensors, where we define a nonnegative and a positive semidefinite decomposition on arbitrary simplicial complexes with group action. We show a correspondence to the previous ranks, and as a very special case recover the nonnegative, the positive semidefinite, the completely positive and the completely positive semidefinite transposed decomposition.
On PM-mapping class monoids
In this paper, we introduce PM-mapping class monoids. Braid groups and mapping class groups have many features in common. Similarly to the notion of braid PM-monoid, PM-mapping class monoid is defined. This construction is an analogy of inverse mapping class monoid defined by R. Karoui and V. V. Vershinin. As the main result, we give the analog of the Dehn-Nilsen-Baer theorem.
The lemmas of Alexander and Sperner
Alexander's lemma is a version of Sperner's lemma published by Alexander two years earlier than Sperner's paper. The present paper is devoted to a modern but elementary exposition of lemmas of Alexander and Sperner and their main topological applications: Brouwer's theorems about the topological invariance of dimension and of domains (here we follow Lebesgue ideas in the form given to them by Sperner), Brouwer's fixed-point theorem, and Alexander's theorem about the topological invariance of homology groups. Along the way we relate the Knaster-Kuratowski-Mazurkiewich argument with the notion of simplicial approximations, provide a cohomological interpretation of Sperner's lemma and of its combinatorial proof, and explain how classical proofs of Sperner's and Alexander's lemma lead to path-following algorithms. The exposition does not assume any knowledge of algebraic topology.
Loop Homology of Bi-secondary Structures II
Published
• View Publication
• BIB
In this paper we further describe the features of the topological space $K(R)$ obtained from the loop nerve of $R$, for $R=(S,T)$ a bi-secondary structure. We will first identify certain distinct combinatorial structures in the arc diagram of $R$ which we will call crossing components. The main theorem of this paper shows that the total number of these crossing components equals the rank of $H_2(R)$, the second homology group of the loop nerve.
A categorification of the Malvenuto--Reutenauer algebra via a tower of groups
Published in Adv. Math. 383 (2021), 107675
• View Publication
• BIB
There is a long tradition of categorifying combinatorial Hopf algebras by the modules of a tower of algebras (or even better via the representation theory of a tower of groups). From the point of view of combinatorics, such a categorification supplies canonical bases, inner products, and a natural avenue to prove positivity results. Recent ideas in supercharacter theory have made fashioning the representation theory of a tower of groups into a Hopf structure more tractable. This paper applies such a program to the Malvenuto--Reutenauer Hopf algebra. In particular, we design functors on the representation theory of a tower of $p$-groups that realize the Hopf structure of the Malvenuto--Reutenauer algebra in such a way that its well-known fundamental basis corresponds to a supercharacter basis.
On the number of roots of some linearized polynomials
Published
• View Publication
• BIB
Linearized polynomials appear in many different contexts, such as rank metric codes, cryptography and linear sets, and the main issue regards the characterization of the number of roots from their coefficients. Results of this type have been already proved in [7,10,24]. In this paper we provide bounds and characterizations on the number of roots of linearized polynomials of this form \[ ax+b_0x^σ+b_1x^{σq^n}+b_2x^{σq^{2n}}+\ldots+b_{t-1}x^{σq^{n(t-1)}} \in \mathbb{F}_{q^{nt}}[x], \] with $σ$ a generator of the Galois group $\mathrm{Gal}(\mathbb{F}_{q^n}\colon\mathbb{F}_q)$. Also, we characterize the number of roots of such polynomials directly from their coefficients, dealing with matrices which are much smaller than the relative Dickson matrices and the companion matrices used in the previous papers. Furthermore, we develop a method to find explicitly the roots of a such polynomial by finding the roots of a $q^n$-polynomial. Finally, as an applications of the above results, we present a family of linear sets of the projective line whose points have a small spectrum of possible weights, containing most of the known families of scattered linear sets. In particular, we carefully study the linear sets in $\mathrm{PG}(1,q^6)$ presented in [9].
Alcove paths and Gelfand-Tsetlin patterns
Published
• View Publication
• BIB
In their study of the equivariant K-theory of the generalized flag varieties $G/P$, where $G$ is a complex semisimple Lie group, and $P$ is a parabolic subgroup of $G$, Lenart and Postnikov introduced a combinatorial tool, called the alcove paths model. It provides a model for the highest weight crystals with dominant integral highest weights, generalizing the model by semistandard Young tableaux. In this paper, we prove a simple and explicit formula describing the crystal isomorphism between the alcove paths model and the Gelfand-Tsetlin patterns model for type $A$.
On planes through points off the twisted cubic in $\mathrm{PG}(3,q)$ and multiple covering codes
Published
• View Publication
• BIB
Let $\mathrm{PG}(3,q)$ be the projective space of dimension three over the finite field with $q$ elements. Consider a twisted cubic in $\mathrm{PG}(3,q)$. The structure of the point-plane incidence matrix in $\mathrm{PG}(3,q)$ with respect to the orbits of points and planes under the action of the stabilizer group of the twisted cubic is described. This information is used to view generalized doubly-extended Reed-Solomon codes of codimension four as asymptotically optimal multiple covering codes.
Flagged Littlewood-Richardson tableaux and branching rule for classical groups
Published in Journal of Combinatorial Theory, Series A, 181, (2021), 105419
• View Publication
• BIB
We give a new formula for the branching rule from ${\rm GL}_n$ to ${\rm O}_n$ generalizing the Littlewood's restriction formula. The formula is given in terms of Littlewood-Richardson tableaux with certain flag conditions which vanish in a stable range. As an application, we give a combinatorial formula for the Lusztig $t$-weight multiplicity $K_{μ0}(t)$ of type $B_n$ and $D_n$ with highest weight $μ$ and weight $0$.
Partial linear spaces with a rank 3 affine primitive group of automorphisms
Published in J. London Math. Soc. 104 (2021), 1011-1084
• View Publication
• BIB
A partial linear space is a pair $(\mathcal{P},\mathcal{L})$ where $\mathcal{P}$ is a non-empty set of points and $\mathcal{L}$ is a collection of subsets of $\mathcal{P}$ called lines such that any two distinct points are contained in at most one line, and every line contains at least two points. A partial linear space is proper when it is not a linear space or a graph. A group of automorphisms $G$ of a proper partial linear space acts transitively on ordered pairs of distinct collinear points and ordered pairs of distinct non-collinear points precisely when $G$ is transitive of rank 3 on points. In this paper, we classify the finite proper partial linear spaces that admit rank 3 affine primitive automorphism groups, except for certain families of small groups, including subgroups of $AΓL_1(q)$. Up to these exceptions, this completes the classification of the finite proper partial linear spaces admitting rank 3 primitive automorphism groups. We also provide a more detailed version of the classification of the rank 3 affine primitive permutation groups, which may be of independent interest.
Maximizing the Edelman-Greene statistic
Published
• View Publication
• BIB
The $\textit{Edelman-Greene statistic}$ of S. Billey-B. Pawlowski measures the "shortness" of the Schur expansion of a Stanley symmetric function. We show that the maximum value of this statistic on permutations of Coxeter length $n$ is the number of involutions in the symmetric group $S_n$, and explicitly describe the permutations that attain this maximum. Our proof confirms a recent conjecture of C. Monical, B. Pankow, and A. Yong: we give an explicit combinatorial injection between a certain collections of Edelman-Greene tableaux and standard Young tableaux.
Spectral properties of graphs associated to the Basilica group
Published
• View Publication
• BIB
We provide the foundation of the spectral analysis of the Laplacian on the orbital Schreier graphs of the Basilica group, the iterated monodromy group of the quadratic polynomial $z^2-1$. This group is an important example in the class of self-similar amenable but not elementary amenable finite automata groups studied by Grigorchuk, Żuk, \v Sunić, Bartholdi, Virág, Nekrashevych, Kaimanovich, Nagnibeda et al. We prove that the spectrum of the Laplacian has infinitely many gaps and that the support of the KNS Spectral Measure is a Cantor set. Moreover, on a generic blowup, the spectrum coincides with this Cantor set, and is pure point with localized eigenfunctions and eigenvalues located at the endpoints of the gaps.
The point regular automorphism groups of the Payne derived quadrangle of $W(q)$
Published in J. Combin. Theory Ser. A, (179)2021, 105384
• View Publication
• BIB
In this paper, we completely determine the point regular automorphism groups of the Payne derived quadrangle of the symplectic quadrangle $W(q)$, $q$ odd. As a corollary, we show that the finite groups that act regularly on the points of a finite generalized quadrangle can have unbounded nilpotency class.
Groups, graphs, and hypergraphs: average sizes of kernels of generic matrices with support constraints
Published
• View Publication
• BIB
We develop a theory of average sizes of kernels of generic matrices with support constraints defined in terms of graphs and hypergraphs. We apply this theory to study unipotent groups associated with graphs. In particular, we establish strong uniformity results pertaining to zeta functions enumerating conjugacy classes of these groups. We deduce that the numbers of conjugacy classes of $\mathbf{F}_q$-points of the groups under consideration depend polynomially on $q$. Our approach combines group theory, graph theory, toric geometry, and $p$-adic integration.
Our uniformity results are in line with a conjecture of Higman on the numbers of conjugacy classes of unitriangular matrix groups. Our findings are, however, in stark contrast to related results by Belkale and Brosnan on the numbers of generic symmetric matrices of given rank associated with graphs.
Jordan-Hölder with uniqueness for semimodular semilattices
We present a short proof of the Jordan-Hölder theorem with uniqueness for semimodular semilattice: Given two maximal chains in a semimodular semilattice of finite height, they both have the same length. Moreover there is a unique bijection that takes the prime intervals of the first chain to the prime intervals of the second chain such that the interval and its image are up-and-down projective.
The theorem generalizes the classical result that all composition series of a finite group have the same length and isomorphic factors. Moreover, it shows that the isomorphism is in some sense unique.
Cayley posets
Published
• View Publication
• BIB
We introduce Cayley posets as posets arising naturally from pairs $S<T$ of semigroups, much in the same way that Cayley graph arises from a (semi)group and a subset. We show that Cayley posets are a common generalization of several known classes of posets, e.g. posets of numerical semigroups (with torsion) and more generally affine semigroups. Furthermore, we give Sabidussi-type characterizations for Cayley posets and for several subclasses in terms of their endomorphism monoid. We show that large classes of posets are Cayley posets, e.g., series-parallel posets and (generalizations of) join-semilattices, but also provide examples of posets which cannot be represented this way. Finally, we characterize (locally finite, with a finite number of atoms) auto-equivalent posets - a class that generalizes a recently introduced notion for numerical semigroups - as those posets coming from a finitely generated submonoid of an abelian group.
Tetravalent half-arc-transitive graphs with unbounded nonabelian vertex stabilizers
Published
• View Publication
• BIB
Half-arc-transitive graphs are a fascinating topic which connects graph theory, Riemann surfaces and group theory. Although fruitful results have been obtained over the last half a century, it is still challenging to construct half-arc-transitive graphs with prescribed vertex stabilizers. Until recently, there have been only six known connected tetravalent half-arc-transitive graphs with nonabelian vertex stabilizers, and the question whether there exists a connected tetravalent half-arc-transitive graph with nonabelian vertex stabilizer of order $2^s$ for every $s\geqslant3$ has been wide open. This question is answered in the affirmative in this paper via the construction of a connected tetravalent half-arc-transitive graph with vertex stabilizer $\mathrm{D}_8^2\times\mathrm{C}_2^m$ for each integer $m\geqslant1$, where $\mathrm{D}_8^2$ is the direct product of two copies of the dihedral group of order $8$ and $\mathrm{C}_2^m$ is the direct product of $m$ copies of the cyclic group of order $2$. The graphs constructed have surprisingly many significant properties in various contexts.