group
10226 papers tagged with this keyword
Three families of toric rings arising from posets or graphs with small class groups
Published
• View Publication
• BIB
The main objects of the present paper are (i) Hibi rings (toric rings arising from order polytopes of posets), (ii) stable set rings (toric rings arising from stable set polytopes of perfect graphs), and (iii) edge rings (toric rings arising from edge polytopes of graphs satisfying the odd cycle condition). The goal of the present paper is to analyze those three toric rings and to discuss their structures in the case where their class groups have small rank. We prove that the class groups of (i), (ii) and (iii) are torsionfree. More precisely, we give descriptions of their class groups. Moreover, we characterize the posets or graphs whose associated toric rings have rank $1$ or $2$. By using those characterizations, we discuss the differences of isomorphic classes of those toric rings with small class groups.
Biased multilinear maps of abelian groups
We adapt the theory of partition rank and analytic rank to the category of abelian groups. If $A_1, \dots, A_k$ are finite abelian groups and $φ: A_1 \times \cdots \times A_k \to \mathbf{T}$ is a multilinear map, where $\mathbf{T} = \mathbf{R}/\mathbf{Z}$, the bias of $φ$ is defined to be the average value of $\exp(i 2 πφ)$. If the bias of $φ$ is bounded away from zero we show that $φ$ is the sum of boundedly many multilinear maps each of which factors through the standard multiplication map of $\mathbf{Z}/q\mathbf{Z}$ for some bounded prime power $q$. Relatedly, if $F : A_1 \times \cdots \times A_{k-1} \to B$ is a multilinear map such that $\mathbf{P}(F = 0)$ is bounded away from zero, we show that $F$ is the sum of boundedly many multilinear functions of a particular form. These structure theorems generalize work of several authors in the elementary abelian case to the arbitrary abelian case. The set of all possible biases is also investigated.
Decompositions and eigenvectors of Riordan matrices
Published in Linear Algebra and its Applications,Volume 642, 1 June 2022, Pages 118-138
• View Publication
• BIB
Riordan matrices are infinite lower triangular matrices determined by a pair of formal power series over the real or complex field. These matrices have been mainly studied as combinatorial objects with an emphasis placed on the algebraic or combinatorial structure. The present paper contributes to the linear algebraic discussion with an analysis of Riordan matrices by means of the interaction of the properties of formal power series with the linear algebra. Specifically, it is shown that if a Riordan matrix $A$ is an $n\times n$ pseudo-involution then the singular values of $A$ must come in reciprocal pairs. Moreover, we give a complete analysis of existence and nonexistence of the eigenvectors of Riordan matrices. This leads to a surprising partition of the group of Riordan matrices into matrices with three different types of eigenvectors. Finally, given a nonzero vector $v$, we investigate the Riordan matrices $A$ that stabilize the vector $v$, t i.e. $Av=v$.
Prime-valent Symmetric graphs with a quasi-semiregular automorphism
Published
• View Publication
• BIB
An automorphism of a graph is called quasi-semiregular if it fixes a unique vertex of the graph and its remaining cycles have the same length. This kind of symmetry of graphs was first investigated by Kutnar, Malnič, Martínez and Marušič in 2013, as a generalization of the well-known semiregular automorphism of a graph. Symmetric graphs of valency three or four, admitting a quasi-semiregular automorphism, have been classified in recent two papers.
Let $p\geq 5$ be a prime and $Γ$ a connected symmetric graph of valency $p$ admitting a quasi-semiregular automorphism. In this paper, we first prove that either $Γ$ is a connected Cayley graph $\rm{Cay}(M,S)$ such that $M$ is a $2$-group admitting a fixed-point-free automorphism of order $p$ with $S$ as an orbit of involutions, or $Γ$ is a normal $N$-cover of a $T$-arc-transitive graph of valency $p$ admitting a quasi-semiregular automorphism, where $T$ is a non-abelian simple group and $N$ is a nilpotent group. Then in case $p=5$, we give a complete classification of such graphs $Γ$ such that either $\rm{Aut}(Γ)$ has a solvable arc-transitive subgroup or $Γ$ is $T$-arc-transitive with $T$ a non-abelian simple group. We also construct the first infinite family of symmetric graphs that have a quasi-semiregular automorphism and an insolvable full automorphism group.
Distinguishing threshold of graphs
Published in Journal of Graph Theory (2022)
• View Publication
• BIB
A vertex coloring of a graph $G$ is called distinguishing if no non-identity automorphisms of $G$ can preserve it. The distinguishing number of $G$, denoted by $D(G)$, is the minimum number of colors required for such a coloring, and the distinguishing threshold of $G$, denoted by $θ(G)$, is the minimum number $k$ such that every $k$-coloring of $G$ is distinguishing. As an alternative definition, $θ(G)$ is one more than the maximum number of cycles in the cycle decomposition of automorphisms of $G$. In this paper, we characterize $θ(G)$ when $G$ is disconnected. Afterwards, we prove that, although for every positive integer $k\neq 2$ there are infinitely many graphs whose distinguishing thresholds are equal to $k$, we have $θ(G)=2$ if and only if $\vert V(G)\vert =2$. Moreover, we show that if $θ(G)=3$, then either $G$ is isomorphic to one of the four graphs on~3 vertices or it is of order $2p$, where $p\neq 3,5$ is a prime number. Furthermore, we prove that $θ(G)=D(G)$ if and only if $G$ is asymmetric, $K_n$ or $\overline{K_n}$. Finally, we consider all generalized Johnson graphs, $J(n,k,i)$, which are the graphs on all $k$-subsets of $\{1,\ldots , n\}$ where two vertices $A$ and $B$ are adjacent if $|A\cap B|=k-i$. After studying their automorphism groups and distinguishing numbers, we calculate their distinguishing thresholds as $θ(J(n,k,i))={n\choose k} - {n-2\choose k-1}+1$, unless $ k=\frac{n}{2}$ and $i\in\{ \frac{k}{2} , k\}$ in which case we have $θ(J(n,k,i))={n\choose k}$.
On hamiltonian cycles in Cayley graphs of order pqrs
Published
• View Publication
• BIB
Let $G$ be a finite group. We show that if $|G| = pqrs$, where $p$, $q$, $r$, and $s$ are distinct odd primes, then every connected Cayley graph on $G$ has a hamiltonian cycle.
Stability theorems for multiplicities in graded $S_n$-modules
In this paper, we prove several stability theorems for multiplicities of naturally defined representations of symmetric groups. The first such theorem states that if we consider the diagonal action of the symmetric group $S_{m+r}$ on $k$ sets of $m+r$ variables, then the dimension of the invariants of degree $m$ is the same as the dimension of the invariants of degree $m$ for $S_{m}$ acting on $k$ sets of $m$ variables. Building on this stability, the last section looks at the Hilbert series of coinvariants of the polynomial ring in $k$ sets of $m$ variables. We address a conjecture that the Hilbert series, in degrees no more than $m$, can be computed by a truncated power series expression. Using some auxiliary results and manipulations of power series, we show that if this holds for $k$ and $m$, then the truncation gives the correct Hilbert series up to degree $m$ for $k$ sets of $n \geq m$ variables. This shows the validity of the conjecture up to certain degrees. We also provide a new equivalent conjecture regarding Gröbner bases.
The second type of stability result is for Weyl modules. We prove that the dimension of the $S_{m+r}$ invariants for a Weyl module ${}_{m+r}F^λ$ (the Schur-Weyl dual of the $S_{|λ|}$ module $V^λ$) with $\left\vert λ\right\vert \leq m$ is of the same dimension as the space of $S_{m}$ invariants for ${}_{m}F^λ$. Multigraded versions of the first type of result are given, as are multigraded generalizations to non-trivial modules of symmetric groups.
Counting independent sets in amenable groups
Given a locally finite graph $Γ$, an amenable subgroup $G$ of graph automorphisms acting freely and almost transitively on its vertices, and a $G$-invariant activity function $λ$, consider the free energy $f_G(Γ,λ)$ of the hardcore model defined on the set of independent sets in $Γ$ weighted by $λ$.
Under the assumption that $G$ is finitely generated and its word problem can be solved in exponential time, we define suitable ensembles of hardcore models and prove the following: if $\|λ\|_\infty < λ_c(Δ)$, there exists a randomized $ε$-additive approximation scheme for $f_G(Γ,λ)$ that runs in time $\mathrm{poly}((1+ε^{-1})\lvert Γ/G \rvert)$, where $λ_c(Δ)$ denotes the critical activity on the $Δ$-regular tree. In addition, if $G$ has a finite index linearly ordered subgroup such that its algebraic past can be decided in exponential time, we show that the algorithm can be chosen to be deterministic. On the other hand, we observe that if $\|λ\|_\infty > λ_c(Δ)$, there is no efficient approximation scheme, unless $\mathrm{NP} = \mathrm{RP}$. This recovers the computational phase transition for the partition function of the hardcore model on finite graphs and provides an extension to the infinite setting.
As an application in symbolic dynamics, we use these results to develop efficient approximation algorithms for the topological entropy of subshifts of finite type with enough safe symbols, we obtain a representation formula of pressure in terms of random trees of self-avoiding walks, and we provide new conditions for the uniqueness of the measure of maximal entropy based on the connective constant of a particular associated graph.
On Cyclic Matroids and their Applications
A matroid is a combinatorial structure that captures and generalizes the algebraic concept of linear independence under a broader and more abstract framework. Matroids are closely related with many other topics in discrete mathematics, such as graphs, matrices, codes and projective geometries. In this work, we define cyclic matroids as matroids over a ground set of size $n$ whose automorphism group contains an $n$-cycle. We study the properties of such matroids, with special focus on the minimum size of their basis sets. For this, we broadly employ two different approaches: the multiple basis exchange property, and an orbit-stabilizer method, developed by analyzing the action of the cyclic group of order $n$ on the set of bases. We further present some applications of our theory to algebra and geometry, presenting connections to cyclic projective planes, cyclic codes and $k$-normal elements.
On $n$-partite digraphical representations of finite groups
Published
• View Publication
• BIB
A group $G$ admits an \textbf{\em $n$-partite digraphical representation} if there exists a regular $n$-partite digraph $Γ$ such that the automorphism group $\mathrm{Aut}(Γ)$ of $Γ$ satisfies the following properties: $\mathrm{Aut}(Γ)$ is isomorphic to $G$, $\mathrm{Aut}(Γ)$ acts semiregularly on the vertices of $Γ$ and the orbits of $\mathrm{Aut}(Γ)$ on the vertex set of $Γ$ form a partition into $n$ parts giving a structure of $n$-partite digraph to $Γ$.
In this paper, for every positive integer $n$, we classify the finite groups admitting an $n$-partite digraphical representation.
Groups generated by involutions, numberings of posets, and central measures
Published in Russian Math Surv. vol 76, #4 (2021) 143-144
• View Publication
• BIB
We define a new class of countable groups, which are defined by its action on the set of monotonic numberings (diagrams) of an arbitrary finite or countable partial ordered set (poset). These groups are generated by the set of involutions? and in the case of finite posets could be considered as generalization of Coxeter's symmetric groups. We discuss the problems concerned to infinite groups jf this type, in particular the problem of the descripton of invariant measures on the space of numberings (central measures)with respect to actions of those groups. The probelms are tightly connected with the new theory of representations of the generalizations of infinite symmetric group.
Tensor diagrams and cluster combinatorics at punctures
Published
• View Publication
• BIB
Fock and Goncharov introduced a family of cluster algebras associated with the moduli of SL(k)-local systems on a marked surface with extra decorations at marked points. We study this family from an algebraic and combinatorial perspective, emphasizing the structures which arise when the surface has punctures. When k is 2, these structures are the tagged arcs and tagged triangulations of Fomin, Shapiro, and Thurston. For higher k, the tagging of arcs is replaced by a Weyl group action at punctures discovered by Goncharov and Shen. We pursue a higher analogue of a tagged triangulation in the language of tensor diagrams, extending work of Fomin and the second author, and we formulate skein-algebraic tools for calculating in these cluster algebras. We analyze the finite mutation type examples in detail.
Cocyclic braces and indecomposable cocyclic solutions of the Yang-Baxter equation
Published in Proc. Amer. Math. Soc. 150 (2022), 4223-4239
• View Publication
• BIB
We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}.
Structure of $k$-closures of finite nilpotent permutation groups
Published
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$, and $k$ a positive integer. The $k$-closure $G^{(k)}$ of $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$, with the same as $G$ orbits of componentwise action on $Ω^k$. We prove that the $k$-closure of a finite nilpotent permutation group is the direct product of $k$-closures of its Sylow subgroups.
On characters of wreath products
Published
• View Publication
• BIB
A character identity which relates irreducible character values of the hyperoctahedral group $B_n$ to those of the symmetric group $S_{2n}$ was recently proved by Lübeck and Prasad. Their proof is algebraic and involves Lie theory. We present a short combinatorial proof of this identity, as well as a generalization to other wreath products.
From Trees to Barcodes and Back Again II: Combinatorial and Probabilistic Aspects of a Topological Inverse Problem
Published
• View Publication
• BIB
In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based on the simple observation that death order is a permutation of birth order. The first important outcome of our study is a clear combinatorial distinction between the space of phylogenetic trees (as defined by Billera, Holmes and Vogtmann) and the space of merge trees. Generic BHV trees on $n+1$ leaf nodes fall into $(2n-1)!!$ distinct strata, but the analogous number for merge trees is equal to the number of maximal chains in the lattice of partitions, i.e., $(n+1)!n!2^{-n}$. The second aspect of our study is the derivation of precise formulas for the distribution of tree realization numbers (the number of merge trees realizing a given barcode) when we assume that barcodes are sampled using a uniform distribution on the symmetric group. We are able to characterize some of the higher moments of this distribution, thanks in part to a reformulation in terms of Dirichlet convolution. This characterization provides a type of null hypothesis, apparently different from the distributions observed in real neuron data and opens the door to doing more precise science.
Computational approximations of compact metric spaces
Published
• View Publication
• BIB
Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a method to approximate the homology groups of $X$ and other algebraic invariants. Finally, we study computational aspects and the implementation of this method.
The Möbius function on Affine Grassmannian elements
To any saturated chain in the affine Weyl group whose translation parts are sufficiently regular, we associate a near path and a far path in the quantum Bruhat graph. Using this, working in the Bruhat order on the minimal-length representatives of the cosets in the affine Weyl group with respect to the finite Weyl group, we characterize the pairs of elements for which the Möbius function is nonzero. This is applied to obtain explicit expansions in the $K$-theory of affine Grassmannians, of the basis of ideal sheaves into the basis of structure sheaves of Schubert varieties.
Testing isomorphism of chordal graphs of bounded leafage is fixed-parameter tractable
Published
• View Publication
• BIB
The computational complexity of the graph isomorphism problem is considered to be a major open problem in theoretical computer science. It is known that testing isomorphism of chordal graphs is polynomial-time equivalent to the general graph isomorphism problem. Every chordal graph can be represented as the intersection graph of some subtrees of a representing tree, and the leafage of a chordal graph is defined to be the minimum number of leaves in a representing tree for it. We prove that chordal graph isomorphism is fixed parameter tractable with leafage as parameter. In the process we introduce the problem of isomorphism testing for higher-order hypergraphs and show that finding the automorphism group of order-$k$ hypergraphs with vertex color classes of size $b$ is fixed parameter tractable for any constant $k$ and $b$ as fixed parameter.
Cone Types, Automata, and Regular Partitions in Coxeter Groups
Published
• View Publication
• BIB
In this article we introduce the notion of a \textit{regular partition} of a Coxeter group. We develop the theory of these partitions, and show that the class of regular partitions is essentially equivalent to the class of automata (not necessarily finite state) recognising the language of reduced words in the Coxeter group. As an application of this theory we prove that each cone type in a Coxeter group has a unique minimal length representative. This result can be seen as an analogue of Shi's classical result that each component of the Shi arrangement of an affine Coxeter group has a unique minimal length element. We further develop the theory of cone types in Coxeter groups by identifying the minimal set of roots required to express a cone type as an intersection of half-spaces. This set of \textit{boundary roots} is closely related to the elementary inversion sets of Brink and Howlett, and also to the notion of the base of an inversion set introduced by Dyer.