group
10226 papers tagged with this keyword
Group vertex magicness of product graphs and trees
In this article, some necessary conditions of group vertex magicness of graphs with at least one pendant, group vertex magicness of product graphs, are proved. A characterization of group vertex magicness of trees of diameter up to 5. for all infinite Abelian groups with finitely many torsion elements, is also obtained.
The excedance quotient of the Bruhat order, Quasisymmetric Varieties and Temperley-Lieb algebras
Published in J. of London Math Soc. {\bf 110--4} (2024) e13007
• View Publication
• BIB
Let $R_n=\mathbb{Q}[x_1,x_2,\ldots,x_n]$ be the ring of polynomial in $n$ variables and consider the ideal $\langle \mathrm{QSym}_{n}^{+}\rangle\subseteq R_n$ generated by quasisymmetric polynomials without constant term. It was shown by J.~C.~Aval, F.~Bergeron and N.~Bergeron that $\dim\big(R_n\big/\langle \mathrm{QSym}_{n}^{+} \rangle\big)=C_n$ the $n$th Catalan number. In the present work, we explain this phenomenon by defining a set of permutations $\mathrm{QSV}_{n}$ with the following properties: first, $\mathrm{QSV}_{n}$ is a basis of the Temperley--Lieb algebra $\mathsf{TL}_{n}(2)$, and second, when considering $\mathrm{QSV}_{n}$ as a collection of points in $\mathbb{Q}^{n}$, the top-degree homogeneous component of the vanishing ideal $\mathbf{I}(\mathrm{QSV}_{n})$ is $\langle \mathrm{QSym}_{n}^{+}\rangle$.
Our construction has a few byproducts which are independently noteworthy. We define an equivalence relation $\sim$ on the symmetric group $S_{n}$ using weak excedances and show that its equivalence classes are naturally indexed by noncrossing partitions. Each equivalence class is an interval in the Bruhat order between an element of $\mathrm{QSV}_{n}$ and a $321$-avoiding permutation. Furthermore, the Bruhat order induces a well-defined order on $S_{n}\big/\!\!\sim$. Finally, we show that any section of the quotient $S_{n}\big/\!\!\sim$ gives an (often novel) basis for $\mathsf{TL}_{n}(2)$.
Causal order complex and magnitude homotopy type of metric spaces
In this paper, we construct a pointed CW complex called the magnitude homotopy type for a given metric space $X$ and a real parameter $\ell \geq 0$. This space is roughly consisting of all paths of length $\ell$ and has the reduced homology group that is isomorphic to the magnitude homology group of $X$.
To construct the magnitude homotopy type, we consider the poset structure on the spacetime $X\times\mathbb{R}$ defined by causal (time- or light-like) relations. The magnitude homotopy type is defined as the quotient of the order complex of an intervals on $X\times\mathbb{R}$ by a certain subcomplex.
The magnitude homotopy type gives a covariant functor from the category of metric spaces with $1$-Lipschitz maps to the category of pointed topological spaces. The magnitude homotopy type also has a ``path integral'' like expression for certain metric spaces.
By applying discrete Morse theory to the magnitude homotopy type, we obtain a new proof of the Mayer-Vietoris type theorem and several new results including the invariance of the magnitude under sycamore twist of finite metric spaces.
Reduction for flag-transitive symmetric designs with $k>λ(λ-2)$
Let $G$ be a flag-transitive automorphism group of a $(v,k,λ)$ symmetric design $\mathcal{D}$ with $k>λ(λ-2)$. O'Reilly Regueiro proved that if $G$ is point-imprimitive, then $\mathcal{D}$ has parameters $(v,k,λ)=(λ^2(λ+2),λ(λ+1),λ)$. In the present paper, we consider the case that $G$ is point-primitive. By applying the O'Nan-Scott Theorem, we prove that $G$ must be of affine type or almost simple type.
On Picard groups and Jacobians of directed graphs
The Picard group of an undirected graph is a finitely generated abelian group, and the Jacobian is the torsion subgroup of the Picard group. These groups can be computed by using the Smith normal form of the Laplacian matrix of the graph or by using chip-firing games associated with the graph. One may consider its generalization to directed graphs based on the Laplacian matrix. We compute Picard groups and Jacobians for several classes of directed trees, cycles, wheel, and multipartite graphs.
A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part I: the defining ideal
We give a presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, as a quotient of a polynomial ring by an explicit ideal. This is the torus-equivariant version of our previous result, which gives a presentation of the non-equivariant quantum $K$-theory ring of flag manifolds of type $A$. However, the method of proof for the torus-equivariant one is completely different from that for the non-equivariant one; our proof is based on the result in the $Q = 0$ limit, and uses Nakayama-type arguments to upgrade it to the quantum situation. Also, in contrast to the non-equivariant case in which we used the Chevalley formula, we make use of the inverse Chevalley formula for the torus-equivariant $K$-group of semi-infinite flag manifolds to obtain a relation which yields our presentation.
Perfect precise colorings of plane semiregular tilings
Published
• View Publication
• BIB
A coloring of a planar semiregular tiling $\mathcal{T}$ is an assignment of a unique color to each tile of $\mathcal{T}$. If $G$ is the symmetry group of $\mathcal{T}$, we say that the coloring is perfect if every element of $G$ induces a permutation on the finite set of colors. If $\mathcal{T}$ is $k$-valent, then a coloring of $\mathcal{T}$ with $k$ colors is said to be precise if no two tiles of $\mathcal{T}$ sharing the same vertex have the same color. In this work, we obtain perfect precise colorings of some families of $k$-valent semiregular tilings in the plane, where $k\leq 6$.
Measures for the colored circle
In recent work with Harman, we introduced a new notion of measure for oligomorphic groups, and showed how they can be used to produce interesting tensor categories. Determining the measures for an oligomorphic group is (in our view) an important and difficult combinatorial problem, which has only been solved in a handful of cases. The purpose of this paper is to solve this problem for a certain infinite family of oligomorphic groups, namely, the automorphism group of the $n$-colored circle (for each $n \ge 1$).
Doubly transitive equiangular tight frames that contain regular simplices
An equiangular tight frame (ETF) is a finite sequence of equal norm vectors in a Hilbert space that achieves equality in the Welch bound, and so has minimal coherence. The binder of an ETF is the set of all subsets of its indices whose corresponding vectors form a regular simplex. An ETF achieves equality in Donoho and Elad's spark bound if and only if its binder is nonempty. When this occurs, its binder is the set of all linearly dependent subsets of it of minimal size. Moreover, if members of the binder form a balanced incomplete block design (BIBD) then its incidence matrix can be phased to produce a sparse representation of its dual (Naimark complement). A few infinite families of ETFs are known to have this remarkable property. In this paper, we relate this property to the recently introduced concept of a doubly transitive equiangular tight frame (DTETF), namely an ETF for which the natural action of its symmetry group is doubly transitive. In particular, we show that the binder of any DTETF is either empty or forms a BIBD, and moreover that when the latter occurs, any member of the binder of its dual is an oval of this BIBD. We then apply this general theory to certain known infinite families of DTETFs. Specifically, any symplectic form on a finite vector space yields a DTETF, and we compute the binder of it and its dual, showing that the former is empty except in a single notable case, and that the latter consists of affine Lagrangian subspaces. This unifies and generalizes several results from the existing literature. We then consider the binders of four infinite families of DTETFs that arise from quadratic forms over the field of two elements, showing that two of these are empty except in a finite number of cases, whereas the other two form BIBDs that relate to each other, and to Lagrangian subspaces, in nonobvious ways.
Semidefinite approximations for bicliques and biindependent pairs
We investigate some graph parameters dealing with biindependent pairs $(A,B)$ in a bipartite graph $G=(V_1\cup V_2,E)$, i.e., pairs $(A,B)$ where $A\subseteq V_1$, $B\subseteq V_2$ and $A\cup B$ is independent. These parameters also allow to study bicliques in general graphs. When maximizing the cardinality $|A\cup B|$ one finds the stability number $α(G)$, well-known to be polynomial-time computable. When maximizing the product $|A|\cdot |B|$ one finds the parameter $g(G)$, shown to be NP-hard by Peeters (2003), and when maximizing the ratio $|A|\cdot |B|/|A\cup B|$ one finds $h(G)$, introduced by Vallentin (2020) for bounding product-free sets in finite groups. We show that $h(G)$ is an NP-hard parameter and, as a crucial ingredient, that it is NP-complete to decide whether a bipartite graph $G$ has a balanced maximum independent set. These hardness results motivate introducing semidefinite programming bounds for $g(G)$, $h(G)$, and $α_{\text{bal}}(G)$ (the maximum cardinality of a balanced independent set). We show that these bounds can be seen as natural variations of the Lovász $\vartheta$-number, a well-known semidefinite bound on $α(G)$. In addition we formulate closed-form eigenvalue bounds and we show relationships among them as well as with earlier spectral parameters by Hoffman, Haemers (2001) and Vallentin (2020).
Simple Procedures for Left and Right Keys of Semi-Standard Young Tableaux
We give simple procedures to obtain the left and right keys of a semi-standard Young tableau. Keys derive their interest from the fact that they encode the characters of Demazure and opposite Demazure modules for the general and special linear groups. Given the importance of keys, there are indeed several procedures available in the literature to determine them. In comparison, our procedures are new (to the best of our knowledge) and especially simple. Having said that, we hasten to add that there is nothing new in any individual ingredient that goes into our procedures. These ingredients are all routine, straightforward, and (in any case) occur in the literature. But they never quite seem to have been put together as done here.
Our procedures end up repeatedly performing the Deodhar lifts, maximal lifts for the left key and minimal lifts for right key. Together with the well known fact that keys can be obtained by such repeated lifts, this justifies the procedures. The relevance of Deodhar lifts to combinatorial models for Demazure characters is well known in Standard Monomial Theory. Right and left keys appear respectively as initial and final directions of Lakshmibai-Seshadri paths in Littelmanns Path Model Theory.
Another proof of Seymour's 6-flow theorem
In 1981 Seymour proved his famous 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero flow in the group ${\mathbb Z}_2 \times {\mathbb Z}_3$ (in fact, he offers two proofs of this result). In this note we give a new short proof of a generalization of this theorem where ${\mathbb Z}_2 \times {\mathbb Z}_3$-valued functions are found subject to certain boundary constraints.
On the Automorphism Group of Token Graphs of Complete Bipartite Graphs
Let $G$ be a graph of order $n$ and let $k\in \{1,2,\ldots,n-1\}$. The $k$-token graph of $G$ is the graph, whose vertices are all the $k$-subsets of vertices of $G$, where two such $k$-sets are adjacent whenever their symmetric difference is an edge of $G$. In this paper, we determine the automorphism group of the $k$-token graph of the complete bipartite graph $K_{m,n}$.
Moving vectors I: Representation type of blocks of Ariki-Koike algebras
We introduce a new invariant for blocks of Ariki-Koike algebras, called block moving vector, which is a vector of non-negative integers summing up to the weight of the block. In this paper, we use moving vectors to classify representation-finite blocks of Ariki-Koike algebras. As applications, we obtain examples of blocks with the same weight associated with the same multicharge that are not derived equivalent and examples of derived equivalent blocks being in different orbits under the adjoint action of the affine Weyl group. We also determine the representation type for blocks of cyclotomic $q$-Schur algebras.
A topological version of Hedetniemi's conjecture for equivariant spaces
Published in Combinatorica 44, 441-452 (2024)
• View Publication
• BIB
A topological version of the famous Hedetniemi conjecture says: The mapping index of the Cartesian product of two $\mathbb Z/2$-spaces is equal to the minimum of their $\mathbb Z/2$-indexes. The main purpose of this article is to study the topological version of the Hedetniemi conjecture for $G$-spaces. Indeed, we show that the topological Hedetniemi conjecture cannot be valid for general pairs of $G$-spaces. More precisely, we show that this conjecture can possibly survive if the group $G$ is either a cyclic $p$-group or a generalized quaternion group whose size is a power of 2.
Pisot numbers, Salem numbers, and generalised polynomials
We study sets of integers that can be defined by the vanishing of a generalised polynomial expression. We show that this includes sets of values of linear recurrent sequences of Salem type and some linear recurrent sequences of Pisot type. To this end, we introduce the notion of a generalised polynomial on a number field. We establish a connection between the existence of generalised polynomial expressions for sets of values of linear recurrent sequences and for subsemigroups of multiplicative groups of number fields.
Generalizations of the Muller-Schupp theorem and tree-like inverse graphs
Published in Journal of the London Mathematical Society, Volume109, Issue 5 (2024)
• View Publication
• BIB
We extend the characterization of context-free groups of Muller and Schupp in two ways. We first show that for a quasi-transitive inverse graph $Γ$, being quasi-isometric to a tree, or context-free (finitely many end-cones types), or having the automorphism group $Aut(Γ)$ that is virtually free, are all equivalent conditions. Furthermore, we add to the previous equivalences a group theoretic analog to the representation theorem of Chomsky-Schützenberger that is fundamental in solving a weaker version of a conjecture of T. Brough which also extends Muller and Schupp' result to the class of groups that are virtually finitely generated subgroups of direct product of free groups. We show that such groups are precisely those whose word problem is the intersection of a finite number of languages accepted by quasi-transitive, tree-like inverse graphs.
On Structural and Spectral Properties of Distance Magic Graphs
A graph $G=(V,E)$ is said to be distance magic if there is a bijection $f$ from a vertex set of $G$ to the first $|V(G)|$ natural numbers such that for each vertex $v$, its weight given by $\sum_{u \in N(v)}f(u)$ is constant, where $N(v)$ is an open neighborhood of a vertex $v$. In this paper, we introduce the concept of $p$-distance magic labeling and establish the necessary and sufficient condition for a graph to be distance magic. Additionally, we introduce necessary and sufficient conditions for a connected regular graph to exhibit distance magic properties in terms of the eigenvalues of its adjacency and Laplacian matrices. Furthermore, we study the spectra of distance magic graphs, focusing on singular distance magic graphs. Also, we show that the number of distance magic labelings of a graph is, at most, the size of its automorphism group.
Hurwitz numbers for reflection groups $B$ and $D$
We are building a theory of simple Hurwitz numbers for the reflection groups B and D parallel to the classical theory for the symmetric group. We also study analogs of the cut-and-join operators. An algebraic description of Hurwitz numbers and an explicit formula for them in terms of Schur polynomials are provided. We also relate Hurwitz numbers for B and D to ribbon decomposition of surfaces with boundary -- a similar result for the symmetric group was proved earlier by Yu.Burman and the author. Finally, the generating function of B-Hurwitz numbers is shown to give rise to two independent tau-function of the KP hierarchy.
Bargain hunting in a Coxeter group
Published in Ann. Comb. (2023)
• View Publication
• BIB
Petersen and Tenner defined the depth statistic for Coxeter group elements which, in the symmetric group, can be described in terms of a cost function on transpositions. We generalize that cost function to the other classical (finite and affine) Weyl groups, letting the cost of an individual reflection $t$ be the distance between the integers transposed by $t$ in the combinatorial representation of the group (à la Eriksson and Eriksson). Arbitrary group elements then have a well-defined cost, obtained by minimizing the sum of the transposition costs among all factorizations of the element. We show that the cost of arbitrary elements can be computed directly from the elements themselves using a simple, intrinsic formula.