group
10263 papers tagged with this keyword
A pattern avoidance criterion for free inversion arrangements
Published
• View Publication
• BIB
We show that the hyperplane arrangement of a coconvex set in a finite root system is free if and only if it is free in corank 4. As a consequence, we show that the inversion arrangement of a Weyl group element w is free if and only if w avoids a finite list of root system patterns. As a key part of the proof, we use a recent theorem of Abe and Yoshinaga to show that if the root system does not contain any factors of type C or F, then Peterson translation of coconvex sets preserves freeness. This also allows us to give a Kostant-Shapiro-Steinberg rule for the coexponents of a free inversion arrangement in any type.
On spectral properties for graph matching and graph isomorphism problems
Published
• View Publication
• BIB
Problems related to graph matching and isomorphisms are very important both from a theoretical and practical perspective, with applications ranging from image and video analysis to biological and biomedical problems. The graph matching problem is challenging from a computational point of view, and therefore different relaxations are commonly used. Although common relaxations techniques tend to work well for matching perfectly isomorphic graphs, it is not yet fully understood under which conditions the relaxed problem is guaranteed to obtain the correct answer.
In this paper we prove that the graph matching problem and its most common convex relaxation, where the matching domain of permutation matrices is substituted with its convex hull of doubly-stochastic matrices, are equivalent for a certain class of graphs, such equivalence being based on spectral properties of the corresponding adjacency matrices. We also derive results about the automorphism group of a graph, and provide fundamental spectral properties of the adjacency matrix.
Signatures of representations of Hecke algebras and rational Cherednik algebras
Published
• View Publication
• BIB
Determining whether an irreducible representation of a group (or $*$-algebra) admits a non-degenerate invariant, positive-definite Hermitian form is an important problem in representation theory. In this paper, we study a related notion: that of signatures. We study representations $S^λ(q)$ of $\mathcal{H}_{n}(q)$, the Hecke algebra of type $A$ ($|q| = 1$), and representations $M_{c}(λ)$ of $\mathbb{H}_{c}$, the rational Cherednik algebra of type $A$ ($c \in \mathbb{R}$), which have unique (up to scaling) invariant Hermitian forms (here $λ$ is a partition of $n$). The signature is the number of elements with positive norm minus the number of elements with negative norm, and we analogously define the signature character in the case that there is a natural grading on the module. We provide formulas for (1) signatures of modules over $\mathcal{H}_{n}(q)$ and (2) signature characters of modules over $\mathbb{H}_{c}$. We study the limit $c \rightarrow -\infty$, in which case the signature character has a simpler form in terms of inversions and descents of permutations in $S(n)$. We provide examples corresponding to some special shapes, and small values of $n$. Finally, when $q = e^{2 πi c}$, we show that the asymptotic signature character of the $\mathbb{H}_{c}$-module $M_{c}(τ)$ is the signature of the $\mathcal{H}_{n}(q)$-module $S^τ(q)$.
Optimal Ternary Constant-Composition Codes with Weight Four and Distance Six
Published
• View Publication
• BIB
The sizes of optimal constant-composition codes of weight three have been determined by Chee, Ge and Ling with four cases in doubt. Group divisible codes played an important role in their constructions. In this paper, we study the problem of constructing optimal ternary constant-composition codes with Hamming weight four and minimum distance six. The problem is solved with a small number of lengths undetermined. The previously known results are those with code length no greater than 10.
Crosscut-simplicial Lattices
Published in ORDER (2016)
• View Publication
• BIB
We call a lattice crosscut-simplicial if the crosscut complex of every atomic interval is equal to the boundary of a simplex. Every interval of such a lattice is either contractible or homotopy equivalent to a sphere. Recently, Hersh and Meszaros introduced SB-labellings and proved that if a lattice has an SB-labelling then it is crosscut-simplicial. Some known examples of lattices with a natural SB-labelling include the join-distributive lattices, the weak order of a Coxeter group, and the Tamari lattice. Generalizing these three examples, we prove that every meet-semidistributive lattice is crosscut-simplicial, though we do not know whether all such lattices admit an SB-labelling. While not every crosscut-simplicial lattice is meet-semidistributive, we prove that these properties are equivalent for chamber posets of real hyperplane arrangements.
Characterisations of algebraic properties of groups in terms of harmonic functions
Published in Groups Geom. Dyn. 10 (2016), 1007-1049
• View Publication
• BIB
We prove various results connecting structural or algebraic properties of graphs and groups to conditions on their spaces of harmonic functions. In particular: we show that a group with a finitely supported symmetric measure has a finite-dimensional space of harmonic functions if and only if it is virtually cyclic; we present a new proof of a result of V. Trofimov that an infinite vertex-transitive graph admits a non-constant harmonic function; we give a new proof of a result of T. Ceccherini-Silberstein, M. Coornaert and J. Dodziuk that the Laplacian on an infinite, connected, locally finite graph is surjective; and we show that the positive harmonic functions on a non-virtually nilpotent linear group span an infinite-dimensional space.
Automorphism group of the modified bubble-sort graph
The modified bubble-sort graph of dimension $n$ is the Cayley graph of $S_n$ generated by $n$ cyclically adjacent transpositions. In the present paper, it is shown that the automorphism group of the modified bubble sort graph of dimension $n$ is $S_n \times D_{2n}$, for all $n \ge 5$. Thus, a complete structural description of the automorphism group of the modified bubble-sort graph is obtained. A similar direct product decomposition is seen to hold for arbitrary normal Cayley graphs generated by transposition sets.
Relations among complementary and supplementary pairings of Saalschutzian 4F3(1) series
Published
• View Publication
• BIB
We investigate sums $K(\vec{x})$ and $L(\vec{x})$ of pairs of (suitably normalized) Saalschützian ${}_4F_3(1)$ hypergeometric series, and develop a theory of relations among these $K$ and $L$ functions.
The function $L(\vec{x})$ has been studied extensively in the literature, and has been shown to satisfy a number of two-term and three-term relations with respect to the variable $\vec{x}$. More recent works have framed these relations in terms of Coxeter group actions on $\vec{x}$, and have developed a similar theory of two-term and three-term relations for $K(\vec{x})$.
In this article, we derive "mixed" three-term relations, wherein any one of the $L$ (respectively, $K$) functions arising in the above context may be expressed as a linear combination of two of the above $K$ (respectively, $L$) functions. We show that, under the appropriate Coxeter group action, the resulting set of three-term relations (mixed and otherwise) among $K$ and $L$ functions partitions into eighteen orbits. We provide an explicit example of a relation from each orbit.
We further classify the eighteen orbits into five types, with each type uniquely determined by the distances (under a certain natural metric) between the $K$ and $L$ functions in the relation. We show that the type of a relation dictates the complexity (in terms of both number of summands and number of factors in each summand) of the coefficients of the $K$ and $L$ functions therein.
Complexes of connected graphs
Graphs with given k vertices generate an (acyclic) simplicial complex. We describe the homology of its quotient complex, formed by all connected graphs, and demonstrate its applications to the topology of braid groups, knot theory, combinatorics, and singularity theory. The multidimensional analogues of this complex are indicated, which arise naturally in the homotopy theory, higher Chern-Simons theory and complexity theory.
Upper bound on the block transposition diameter of the symmetric group
Given a generator set $S$ of the symmetric group ${\rm{Sym}}_n$, every permutation $π\in {\rm{Sym}_n}$ is a word (product of elements) of $S$. A positive integer $d(π)$ is associated with each $π\in{\rm{Sym}_n}$ taking the length of the shortest such word, and the $S$-diameter $d(S)$ is the maximum value of $d(π)$ with $π$ ranging over ${\rm{Sym_n}}$. The distance $d(π,ν)$ of two permutations $π,ν$ defined by $d(ν^{-1}\circπ)$ satisfies the axioms of a metric space. In this paper we consider the case where $S$ consists of all block transpositions of ${\rm{Sym_n}}$ and call $d(π)$ the block transposition distance of $π$. A strong motivation for the study of this special case comes from investigations of large-scale mutations of genome, where determining $d(π)$ is known as sorting the permutation $π$ by block transpositions. In the papers on this subject, toric equivalence classes often play a crucial role since $d(π)=d(ν)$ when $π$ and $ν$ are torically equivalent. A proof of this result can be found in the (unpublished) Hausen's Ph.D Dissertation thesis; see \cite{Ha}. Our main contribution is to obtain a bijective map on ${\rm{Sym}_n}$ from the toric equivalence that leaves the distances invariant. Using the properties of this map, we give an alternative proof of Hausen's result which actually fills a gap in the proof of the upper bound on $d(S)$ due to Eriksson and his coworkers; see \cite{EE}. We also revisit the proof of the key lemma \cite[Lemma 5,1]{EE}, giving more details and filling some gaps.
Congruence Lattices of Certain Finite Algebras with Three Commutative Binary Operations
A partial algebra construction of Grätzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that every finite distributive lattice is representable, seen as a special case of the Finite Lattice Representation Problem.
The construction of this proof brings together Birkhoff's representation theorem for finite distributive lattices, an emphasis on boolean lattices when representing finite lattices, and a perspective based on inequalities of partially ordered sets. It may be possible to generalize the techniques used in this approach.
Other than the aforementioned representation theorem only elementary tools are used for the two theorems of this note. In particular there is no reliance on group theoretical concepts or techniques (see Péter Pál Pálfy and Pavel Pudĺak), or on well-known methods, used to show certain finite lattice to be representable (see William J. DeMeo), such as the closure method.
A theorem on roots of unity and a combinatorial principle
Given a finite set of roots of unity, we show that all power sums are non-negative integers iff the set forms a group under multiplication. The main argument is purely combinatorial and states that for an arbitrary finite set system the non-negativity of certain alternating sums is equivalent to the set system being a filter. As an application we determine all discrete Fourier pairs of $\{0,1\}$-matrices. This technical result is an essential step in the classification of $R$-matrices of quantum groups.
Sidon Sets, Difference Sets, and Codes in $ A_n $ Lattices
This chapter investigates the properties of (linear) codes in $ A_n $ lattices, the practical motivation for which is found in several communication scenarios, such as asymmetric channels, sticky-insertion channels, bit-shift channels, and permutation channels. In particular, a connection between these codes and notions of difference sets and Sidon sets in Abelian groups is demonstrated. It is shown that the $ A_n $ lattice admits a linear perfect code of radius $ 1 $ if and only if there exists an Abelian planar difference set of cardinality $ n + 1 $. Similarly, a direct link is given between linear codes of radius $ r $ in the $ A_n $ lattice and Sidon sets of order $ 2r $ and cardinality $ n + 1 $. Sidon sets of order $ 2r-1 $ are also represented geometrically in a similar way. Apart from providing geometric intuition about Sidon sets, this interpretation enables simple derivations of bounds on their parameters, which are either equivalent to, or improve upon the known bounds. In connection to the above, more general (non-planar) Abelian difference sets and perfect codes of radius $ r $ are also discussed.
On finite groups all of whose cubic Cayley graphs are integral
Published
• View Publication
• BIB
For any positive integer $k$, let $\mathcal{G}_k$ denote the set of finite groups $G$ such that all Cayley graphs ${\rm Cay}(G,S)$ are integral whenever $|S|\le k$. Est${\rm \acute{e}}$lyi and Kov${\rm \acute{a}}$cs \cite{EK14} classified $\mathcal{G}_k$ for each $k\ge 4$. In this paper, we characterize the finite groups each of whose cubic Cayley graphs is integral. Moreover, the class $\mathcal{G}_3$ is characterized. As an application, the classification of $\mathcal{G}_k$ is obtained again, where $k\ge 4$.
An isoperimetric inequality for conjugation-invariant sets in the symmetric group
Published
• View Publication
• BIB
We prove an isoperimetric inequality for conjugation-invariant sets of size $k$ in $S_n$, showing that these necessarily have edge-boundary considerably larger than some other sets of size $k$ (provided $k$ is small). Specifically, let $T_n$ denote the Cayley graph on $S_n$ generated by the set of all transpositions. We show that if $A \subset S_n$ is a conjugation-invariant set with $|A| = pn! \leq n!/2$, then the edge-boundary of $A$ in $T_n$ has size at least $$c \cdot \frac {\log_2 (\tfrac 1{p})}{\log_2 \log_2 (\tfrac 2{p})}\cdot n \cdot |A|,$$ where $c$ is an absolute constant. (This is sharp up to an absolute constant factor, when $p = Θ(1/s!)$ for any $s \in \{1,2,...,n\}$.) It follows that if $p = n^{-Θ(1)}$, then the edge-boundary of a conjugation-invariant set of measure $p$ is necessarily a factor of $Ω(\log n / \log \log n)$ larger than the minimum edge-boundary over all sets of measure $p$.
Non-Archimedean Whittaker functions as characters: a probabilistic approach to the Shintani-Casselman-Shalika formula
Published in Int Math Res Notices (2016)
• View Publication
• BIB
For a reductive group $G$ over a non-Archimedean local field (e.g $GL_n( \mathbb{Q}_p )$ ), Jacquet's Whittaker function is essentially proportional to a character of an irreducible representation of the Langlands dual group $G^\vee( \mathbb{C} )$ ( a Schur function if $G = GL_n( \mathbb{Q}_p )$). We propose a probabilistic approach to this claim, known as the Shintani-Casselman-Shalika formula, when the group $G$ has at least one minuscule cocharacter in the coweight lattice.
Our presentation goes along the following lines. Thanks to a minuscule random walk $W^{(z)}$ on the coweight lattice and a related random walk on the Borel subgroup, we establish a Poisson kernel formula for the non-Archimedean Whittaker function. The expression and its ingredients are similar to the one previously obtained by the author in the Archimedean case. A simple manipulation reduces the problem to evaluating the probability of $W^{(z)}$ never exiting the Weyl chamber. Then, an implementation of the reflection principle forces the appearance of the Weyl character formula and therefore retrieves characters of $G^\vee\left( \mathbb{C} \right)$.
The construction of the random walk on the Borel subgroup requires some care. It is extracted from a spherical random walk whose increments have a distribution that can be understood as elements from the spherical Hecke algebra.
Growth in Right-Angled Groups and Monoids
We derive functional relationships between spherical generating functions of graph monoids, right-angled Artin groups and right-angled Coxeter groups. We use these relationships to express the spherical generating function of a right-angled Artin group in terms of the clique polynomial of its defining graph. We also describe algorithms for computing the geodesic generating functions of these structures.
Chains in Weak Order Posets Associated to Involutions
Published
• View Publication
• BIB
The W-set of an element of a weak order poset is useful in the cohomological study of the closures of spherical subgroups in generalized flag varieties. We explicitly describe in a purely combinatorial manner the W-sets of the weak order posets of three different sets of involutions in the symmetric group, namely, the set of all involutions, the set of all fixed point free involutions, and the set of all involutions with signed fixed points (or "clans"). These distinguished sets of involutions parameterize Borel orbits in the classical symmetric spaces associated to the general linear group. In particular, we give a complete characterization of the maximal chains of an arbitrary lower order ideal in any of these three posets.
A recurrence formula for Jack connection coefficients
This article is devoted to the study of Jack connection coefficients, a generalization of the connection coefficients of the classical commutative subalgebras of the group algebra of the symmetric group closely related to the theory of Jack symmetric functions. First introduced by Goulden and Jackson (1996) these numbers indexed by three partitions of a given integer $n$ and the Jack parameter $α$ are defined as the coefficients in the power sum expansion of the Cauchy sum for Jack symmetric functions. While very little is known about them, examples of computations for small values of $n$ tend to show that the nice properties of the special cases $α=1$ (connection coefficients of the class algebra) and $α= 2$ (connection coefficients of the double coset algebra) extend to general $α$. Goulden and Jackson conjectured that Jack connection coefficients are polynomials in $β= α-1$ with non negative integer coefficients given by some statistics on matchings on a set of $2n$ elements, the so called Matchings-Jack conjecture. In this paper we look at the case when two of the integer partitions are equal to the single part $(n)$ and use a framework by Lasalle (2008) for Jack symmetric functions to show that the coefficients satisfy a simple recurrence formula that makes their computation very effective and allow a better understanding of their properties. In particular we prove the Matchings-Jack conjecture in this case. Furthermore, we provide a bijective proof of the recurrence formula for $α\in \{1,2\}$ using the combinatorial interpretation of the coefficients for these specific values of the Jack parameter. Finally we exhibit the polynomial properties of more general coefficients where the two single part partitions are replaced by an arbitrary number of integer partitions either equal to $(n)$ or $[1^{n-2}2]$.
On the expansion of certain vector-valued characters of $U_q(\mathfrak{gl}_n)$ with respect to the Gelfand-Tsetlin basis
Published
• View Publication
• BIB
Macdonald polynomials are an important class of symmetric functions, with connections to many different fields. Etingof and Kirillov showed an intimate connection between these functions and representation theory: they proved that Macdonald polynomials arise as (suitably normalized) vector-valued characters of irreducible representations of quantum groups. In this paper, we provide a branching rule for these characters. The coefficients are expressed in terms of skew Macdonald polynomials with plethystic substitutions. We use our branching rule to give an expansion of the characters with respect to the Gelfand-Tsetlin basis. Finally, we study in detail the $q=0$ case, where the coefficients factor nicely, and have an interpretation in terms of certain $p$-adic counts.