group
10405 papers tagged with this keyword
The spectral symmetry of weakly irreducible nonnegative tensors and connected hypergraphs
Published
• View Publication
• BIB
Let $\mathcal{A}$ be a weakly irreducible nonnegative tensor with spectral radius $ρ(\mathcal{A})$. Let $\mathfrak{D}$ (respectively, $\mathfrak{D}^{(0)}$) be the set of normalized diagonal matrices arising from the eigenvectors of $\mathcal{A}$ corresponding to the eigenvalues with modulus $ρ(\mathcal{A})$ (respectively, the eigenvalue $ρ(\mathcal{A})$). It is shown that $\mathfrak{D}$ is an abelian group containing $\mathfrak{D}^{(0)}$ as a subgroup, which acts transitively on the set $\{e^{\mathbf{i} \frac{2 πj}{\ell}}\mathcal{A}:j =0,1, \ldots,\ell-1\}$, where $|\mathfrak{D}/\mathfrak{D}^{(0)}|=\ell$ and $\mathfrak{D}^{(0)}$ is the stabilizer of $\mathcal{A}$. The spectral symmetry of $\mathcal{A}$ is characterized by the group $\mathfrak{D}/\mathfrak{D}^{(0)}$, and $\mathcal{A}$ is called spectral $\ell$-symmetric. We obtain the structural information of $\mathcal{A}$ by analyzing the property of $\mathfrak{D}$, especially for connected hypergraphs we get some results on the edge distribution and coloring. If moreover $\mathcal{A}$ is symmetric, we prove that $\mathcal{A}$ is spectral $\ell$-symmetric if and only if it is $(m,\ell)$-colorable. We characterize the spectral $\ell$-symmetry of a tensor by using its generalized traces, and show that for an arbitrarily given integer $m \ge 3$ and each positive integer $\ell$ with $\ell \mid m$, there always exists an $m$-uniform hypergraph $G$ such that $G$ is spectral $\ell$-symmetric.
A word property for twisted involutions in Coxeter groups
Published
• View Publication
• BIB
Given an involutive automorphism $θ$ of a Coxeter system $(W,S)$, let $\mathfrak{I}(θ) \subseteq W$ denote the set of twisted involutions. We provide a minimal set of moves that can be added to the braid moves, in order to connect all reduced $\underline{S}$-expressions (also known as admissible sequences, reduced $I_θ$-expressions, or involution words) for any given $w \in \mathfrak{I}(θ)$. This can be viewed as an analogue of the well-known word property for Coxeter groups. It improves upon a result of Hamaker, Marberg, and Pawlowski, and generalises similar statements valid in certain types due to Hu, Zhang, Wu, and Marberg.
Ribbon graphs and the fundamental group of surfaces
In the present work we are going to give a formal exposition of the ribbon graphs topic based on notes of Labourie \cite{Lab}, since is difficult to find as such in the literature.
A structure theorem for product sets in extra special groups
Published
• View Publication
• BIB
Hegyvári and Hennecart showed that if $B$ is a sufficiently large brick of a Heisenberg group, then the product set $B\cdot B$ contains many cosets of the center of the group. We give a new, robust proof of this theorem that extends to all extra special groups as well as to a large family of quasigroups.
On the radius and the attachment number of tetravalent half-arc-transitive graphs
Published in Published in Discrete Mathematics, Vol 340, Issue 12, 2017
• View Publication
• BIB
In this paper, we study the relationship between the radius $r$ and the attachment number $a$ of a tetravalent graph admitting a half-arc-transitive group of automorphisms. These two parameters were first introduced in~[{\em J.~Combin.~Theory Ser.~B} {73} (1998), 41--76], where among other things it was proved that $a$ always divides $2r$. Intrigued by the empirical data from the census~[{\em Ars Math.\ Contemp.} {8} (2015)] of all such graphs of order up to 1000 we pose the question of whether all examples for which $a$ does not divide $r$ are arc-transitive. We prove that the answer to this question is positive in the case when $a$ is twice an odd number. In addition, we completely characterize the tetravalent graphs admitting a half-arc-transitive group with $r = 3$ and $a=2$, and prove that they arise as non-sectional split $2$-fold covers of line graphs of $2$-arc-transitive cubic graphs.
Tensor valuations on lattice polytopes
Published in Adv. Math. 319 (2017), 76-110
• View Publication
• BIB
The Ehrhart polynomial and the reciprocity theorems by Ehrhart \& Macdonald are extended to tensor valuations on lattice polytopes. A complete classification is established of tensor valuations of rank up to eight that are equivariant with respect to the special linear group over the integers and translation covariant. Every such valuation is a linear combination of the Ehrhart tensors which is shown to no longer hold true for rank nine.
Positive definite functions on Coxeter groups with applications to operator spaces and noncommutative probability
Published
• View Publication
• BIB
A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher (Abelian Coxeter) group to arbitrary Coxeter group is obtained. Applications to harmonic analysis, operator spaces and noncommutative probability is presented. Characterization of radial and colour-radial functions on dihedral groups and infinite permutation group are shown.
Energy of commuting graph of finite groups whose centralizers are Abelian
Published
• View Publication
• BIB
Let $Γ$ be a graph with the adjacency matrix $A$. The energy of $Γ$ is the sum of the absolute values of the eigenvalues of $A$. In this article we compute the energies of the commuting graphs of some finite groups and discuss some consequences.
Complexity of the Fourier transform on the Johnson graph
The set $X$ of $k$-subsets of an $n$-set has a natural graph structure where two $k$-subsets are connected if and only if the size of their intersection is $k-1$. This is known as the Johnson graph. The symmetric group $S_n$ acts on the space of complex functions on $X$ and this space has a multiplicity-free decomposition as sum of irreducible representations of $S_n$, so it has a well-defined Gelfand-Tsetlin basis up to scalars. The Fourier transform on the Johnson graph is defined as the change of basis matrix from the delta function basis to the Gelfand-Tsetlin basis.
The direct application of this matrix to a generic vector requires $\binom{n}{k}^2$ arithmetic operations. We show that --in analogy with the classical Fast Fourier Transform on the discrete circle-- this matrix can be factorized as a product of $n-1$ orthogonal matrices, each one with at most two nonzero elements in each column. This factorization shows that the number of arithmetic operations required to apply this matrix to a generic vector is bounded above by $2(n-1) \binom{n}{k}$. As a consequence, we show that the problem of computing all the weights of the irreducible components of a given function can be solved in $O(n \binom{n}{k})$ operations, improving the previous bound $O(k^2 \binom{n}{k})$ when $k$ asymptotically dominates $\sqrt{n}$ in a non-uniform model of computation. The same improvement is achieved for the problem of computing the isotypic projection onto a single component.
The proof is based on the construction of $n-1$ intermediate bases, each one parametrized by certain pairs composed by a standard Young tableau and a word. The parametrization of each basis is obtained via the Robinson-Schensted insertion algorithm.
Automorphism group of the subspace inclusion graph of a vector space
Published
• View Publication
• BIB
In a recent paper [Comm. Algebra, 44(2016) 4724-4731], Das introduced the graph $\mathcal{I}n(\mathbb{V})$, called subspace inclusion graph on a finite dimensional vector space $\mathbb{V}$, where the vertex set is the collection of nontrivial proper subspaces of $\mathbb{V}$ and two vertices are adjacent if one is properly contained in another. Das studied the diameter, girth, clique number, and chromatic number of $\mathcal{I}n(\mathbb{V})$ when the base field is arbitrary, and he also studied some other properties of $\mathcal{I}n(\mathbb{V})$ when the base field is finite. In this paper, the automorphisms of $\mathcal{I}n(\mathbb{V})$ are determined when the base field is finite.
Self-avoiding walks and connective constants
Published
• View Publication
• BIB
The connective constant $μ(G)$ of a quasi-transitive graph $G$ is the asymptotic growth rate of the number of self-avoiding walks (SAWs) on $G$ from a given starting vertex. We survey several aspects of the relationship between the connective constant and the underlying graph $G$.
$\bullet$ We present upper and lower bounds for $μ$ in terms of the vertex-degree and girth of a transitive graph.
$\bullet$ We discuss the question of whether $μ\geφ$ for transitive cubic graphs (where $φ$ denotes the golden mean), and we introduce the Fisher transformation for SAWs (that is, the replacement of vertices by triangles).
$\bullet$ We present strict inequalities for the connective constants $μ(G)$ of transitive graphs $G$, as $G$ varies.
$\bullet$ As a consequence of the last, the connective constant of a Cayley graph of a finitely generated group decreases strictly when a new relator is added, and increases strictly when a non-trivial group element is declared to be a further generator.
$\bullet$ We describe so-called graph height functions within an account of "bridges" for quasi-transitive graphs, and indicate that the bridge constant equals the connective constant when the graph has a unimodular graph height function.
$\bullet$ A partial answer is given to the question of the locality of connective constants, based around the existence of unimodular graph height functions.
$\bullet$ Examples are presented of Cayley graphs of finitely presented groups that possess graph height functions (that are, in addition, harmonic and unimodular), and that do not.
$\bullet$ The review closes with a brief account of the "speed" of SAW.
The pinnacle set of a permutation
Published
• View Publication
• BIB
The peak set of a permutation records the indices of its peaks. These sets have been studied in a variety of contexts, including recent work by Billey, Burdzy, and Sagan, which enumerated permutations with prescribed peak sets. In this article, we look at a natural analogue of the peak set of a permutation, instead recording the values of the peaks. We define the "pinnacle set" of a permutation w to be the set {w(i) : i is a peak of w}. Although peak sets and pinnacle sets mark the same phenomenon for a given permutation, the behaviors of these sets differ in notable ways as distributions over the symmetric group. In the work below, we characterize admissible pinnacle sets and study various enumerative questions related to these objects.
Configuration spaces, $\operatorname{FS^{op}}$-modules, and Kazhdan-Lusztig polynomials of braid matroids
The equivariant Kazhdan-Lusztig polynomial of a braid matroid may be interpreted as the intersection cohomology of a certain partial compactification of the configuration space of n distinct labeled points in the plane, regarded as a graded representation of the symmetric group. We show that, in fixed cohomological degree, this sequence of representations of symmetric groups naturally admits the structure of an FS-module, and that the dual FS^op-module is finitely generated. Using the work of Sam and Snowden, we give an asymptotic formula for the dimensions of these representations and obtain restrictions on which irreducible representations can appear in their decomposition.
Equivariant division
Let C be a non-empty finite set, and Gamma a subgroup of the symmetric group S(C). Given a bijection f:A cross C to B cross C, the problem of Gamma-equivariant division is to find a quotient bijection h:A to B respecting whatever symmetries f may have under the action of S(A) cross S(B) cross Gamma. Say that Gamma is fully cancelling if this is possible for any f, and finitely cancelling if it is possible providing A,B are finite. Feldman and Propp showed that a permutation group is finitely cancelling just if it has a globally fixed point. We show here that a permutation group is fully cancelling just if it is trivial. This sheds light on the fact that all known division algorithms that eschew the Axiom of Choice depend on fixing an ordering for the elements of C.
Formal duality in finite cyclic groups
Published in Constructive Approximation, Volume 49, Issue 3, pp 607-652 (2019)
• View Publication
• BIB
The notion of formal duality in finite Abelian groups appeared recently in relation to spherical designs, tight sphere packings, and energy minimizing configurations in Euclidean spaces. For finite cyclic groups it is conjectured that there are no primitive formally dual pairs besides the trivial one and the TITO configuration. This conjecture has been verified for cyclic groups of prime power order, as well as of square-free order. In this paper, we will confirm the conjecture for other classes of cyclic groups, namely almost all cyclic groups of order a product of two prime powers, with finitely many exceptions for each pair of primes, or whose order $N$ satisfies $p\mid\!\mid N$, where $p$ a prime satisfying the so-called self-conjugacy property with respect to $N$. For the above proofs, various tools were needed: the field descent method, used chiefly for the circulant Hadamard conjecture, the techniques of Coven & Meyerowitz for sets that tile $\mathbb{Z}$ or $\mathbb{Z}_N$ by translations, dubbed herein as the polynomial method, as well as basic number theory of cyclotomic fields, especially the splitting of primes in a given cyclotomic extension.
The largest coefficient of the highest root and the second smallest exponent
Published in Graphs and Combinatorics (2020)
• View Publication
• BIB
There are many different ways that the exponents of Weyl groups of irreducible root systems have been defined and put into practice. One of the most classical and algebraic definitions of the exponents is related to the eigenvalues of Coxeter elements. While the coefficients of the height root when expressed as a linear combination of simple roots are combinatorial objects in nature, there are several results asserting relations between these exponents and coefficients. This study was conducted to give a uniform and fairly elementary proof of the fact that the second smallest exponent of the Weyl group is one or two plus the largest coefficient of the highest root of the root system depending upon a simple condition on the root lengths. As a consequence, we obtain a necessary and sufficient condition for a root system to be of type $G_2$ in terms of these numbers.
Critical groups for Hopf algebra modules
Published in Math. Proc. Camb. Phil. Soc. 168 (2020) 473-503
• View Publication
• BIB
This paper considers an invariant of modules over a finite-dimensional Hopf algebra, called the critical group. This generalizes the critical groups of complex finite group representations studied by Benkart, Klivans, Reiner and Gaetz. A formula is given for the cardinality of the critical group generally, and the critical group for the regular representation is described completely. A key role in the formulas is played by the greatest common divisor of the dimensions of the indecomposable projective representations.
Szemeredi-type theorems for subsets of locally compact abelian groups of positive upper Banach density
Published
• View Publication
• BIB
By using ergodic theoretic techniques following Hillel Fürstenberg, we prove that measurable subsets of a locally compact abelian group of positive upper density contain Szemerédi-wise configurations defined by an arbitrary compact subset of the group.
Fourier dimension and spectral gaps for hyperbolic surfaces
Published
• View Publication
• BIB
We obtain an essential spectral gap for a convex co-compact hyperbolic surface $M=Γ\backslash\mathbb H^2$ which depends only on the dimension $δ$ of the limit set. More precisely, we show that when $δ>0$ there exists $\varepsilon_0=\varepsilon_0(δ)>0$ such that the Selberg zeta function has only finitely many zeroes $s$ with $\Re s>δ-\varepsilon_0$.
The proof uses the fractal uncertainty principle approach developed by Dyatlov-Zahl [arXiv:1504.06589]. The key new component is a Fourier decay bound for the Patterson-Sullivan measure, which may be of independent interest. This bound uses the fact that transformations in the group $Γ$ are nonlinear, together with estimates on exponential sums due to Bourgain which follow from the discretized sum-product theorem in $\mathbb R$.
Tail positive words and generalized coinvariant algebras
Published
• View Publication
• BIB
Let $n,k,$ and $r$ be nonnegative integers and let $S_n$ be the symmetric group. We introduce a quotient $R_{n,k,r}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which carries the structure of a graded $S_n$-module. When $r \geq n$ or $k = 0$ the quotient $R_{n,k,r}$ reduces to the classical coinvariant algebra $R_n$ attached to the symmetric group. Just as algebraic properties of $R_n$ are controlled by combinatorial properties of permutations in $S_n$, the algebra of $R_{n,k,r}$ is controlled by the combinatorics of objects called {\em tail positive words}. We calculate the standard monomial basis of $R_{n,k,r}$ and its graded $S_n$-isomorphism type. We also view $R_{n,k,r}$ as a module over the 0-Hecke algebra $H_n(0)$, prove that $R_{n,k,r}$ is a projective 0-Hecke module, and calculate its quasisymmetric and nonsymmetric 0-Hecke characteristics. We conjecture a relationship between our quotient $R_{n,k,r}$ and the delta operators of the theory of Macdonald polynomials.