group
10405 papers tagged with this keyword
Convex hulls of random walks: Expected number of faces and face probabilities
Published
• View Publication
• BIB
Consider a sequence of partial sums $S_i= ξ_1+\dots+ξ_i$, $1\leq i\leq n$, starting at $S_0=0$, whose increments $ξ_1,\dots,ξ_n$ are random vectors in $\mathbb R^d$, $d\leq n$. We are interested in the properties of the convex hull $C_n:=\mathrm{Conv}(S_0,S_1,\dots,S_n)$. Assuming that the tuple $(ξ_1,\dots,ξ_n)$ is exchangeable and a certain general position condition holds, we prove that the expected number of $k$-dimensional faces of $C_n$ is given by the formula $$ \mathbb E [f_k(C_n)] = \frac{2\cdot k!}{n!} \sum_{l=0}^{\infty}\genfrac{[}{]}{0pt}{}{n+1}{d-2l} \genfrac{\{}{\}}{0pt}{}{d-2l}{k+1}, $$ for all $0\leq k \leq d-1$, where $\genfrac{[}{]}{0pt}{}{n}{m}$ and $\genfrac{\{}{\}}{0pt}{}{n}{m}$ are Stirling numbers of the first and second kind, respectively.
Further, we compute explicitly the probability that for given indices $0\leq i_1<\dots <i_{k+1}\leq n$, the points $S_{i_1},\dots,S_{i_{k+1}}$ form a $k$-dimensional face of $\mathrm{Conv}(S_0,S_1,\dots,S_n)$. This is done in two different settings: for random walks with symmetrically exchangeable increments and for random bridges with exchangeable increments. These results generalize the classical one-dimensional discrete arcsine law for the position of the maximum due to E. Sparre Andersen. All our formulae are distribution-free, that is do not depend on the distribution of the increments $ξ_k$'s.
The main ingredient in the proof is the computation of the probability that the origin is absorbed by a joint convex hull of several random walks and bridges whose increments are invariant with respect to the action of direct product of finitely many reflection groups of types $A_{n-1}$ and $B_n$. This probability, in turn, is related to the number of Weyl chambers of a product-type reflection group that are intersected by a linear subspace in general position.
A theory of pictures for quasi-posets
Published
• View Publication
• BIB
The theory of pictures between posets is known to encode much of the combinatorics of symmetric group representations and related topics such as Young diagrams and tableaux. Many reasons, com-binatorial (e.g. since semi-standard tableaux can be viewed as double quasi-posets) and topological (quasi-posets identify with finite topolo-gies) lead to extend the theory to quasi-posets. This is the object of the present article.
On some Euler-Mahonian distributions
Published
• View Publication
• BIB
We prove that the pair of statistics (des,maj) on multiset permutations is equidistributed with the pair (stc,inv) on certain quotients of the symmetric group. We define the analogue of the statistic stc on multiset permutations, whose joint distribution with the inversions equals that of (des,maj). We extend the definition of the statistic stc to hyperoctahedral and even hyperoctahedral groups. Such functions, together with the Coxeter length, are equidistributed, respectively, with (ndes,nmaj) and (ddes,dmaj).
Generating series formulas for the structure constants of Solomon's descent algebra
Introduced by Solomon in his 1976 paper, the descent algebra of a finite Coxeter group received significant attention over the past decades. As proved by Gessel, in the case of the symmetric group its structure constants give the comultiplication table for the fundamental basis of quasisymmetric functions. We show that this property actually implies several well known relations linked to the Robinson-Schensted-Knuth correspondence and some of its generalisations. We further use the theory of type B quasisymmetric functions introduced by Chow to provide analogue results when the Coxeter group is the hyperoctahedral group.
The power index of a graph
Published
• View Publication
• BIB
The {\em power index} $Θ(Γ)$ of a graph $Γ$ is the least order of a group $G$ such that $Γ$ can embed into the power graph of $G$. Furthermore, this group $G$ is {\em $Γ$-optimal} if $G$ has order $Θ(Γ)$. We say that $Γ$ is {\em power-critical} if its order equals to $Θ(Γ)$. This paper focuses on the power indices of complete graphs, complete bipartite graphs and $1$-factors. We classify all power-critical graphs $Γ'$ in these three families, and give a necessary and sufficient condition for $Γ'$-optimal groups.
Normaliz 2013-2016
Published
• View Publication
• BIB
In this article we describe mathematically relevant extensions to Normaliz that were added to it during the support by the DFG SPP "Algorithmische und Experimentelle Methoden in Algebra, Geometrie und Zahlentheorie": nonpointed cones, rational polyhedra, homogeneous systems of parameters, bottom decomposition, class groups and systems of module generators of integral closures.
Graphs, friends and acquaintances
Published
• View Publication
• BIB
As is well known, a graph is a mathematical object modeling the existence of a certain relation between pairs of elements of a given set. Therefore, it is not surprising that many of the first results concerning graphs made reference to relationships between people or groups of people. In this article, we comment on four results of this kind, which are related to various general theories on graphs and their applications: the Handshake lemma (related to graph colorings and Boolean algebra), a lemma on known and unknown people at a cocktail party (to Ramsey theory), a theorem on friends in common (to distance-regularity and coding theory), and Hall's Marriage theorem (to the theory of networks). These four areas of graph theory, often with problems which are easy to state but difficult to solve, are extensively developed and currently give rise to much research work. As examples of representative problems and results of these areas, which are discussed in this paper, we may cite the following: the Four Colors Theorem (4CTC), the Ramsey numbers, problems of the existence of distance-regular graphs and completely regular codes, and finally the study of topological proprieties of interconnection networks.
Combinatorics and Representation Theory for Generalized Permutohedra I: Simplicial Plates
In this paper, we announce results from our thesis, which studies for the first time the categorification of the theory of generalized permutohedra. The vector spaces in the categorification are tightly constrained by certain continuity relations which appeared in physics in the mid 20th century. We describe here the action of the symmetric group on the vector spaces in this categorification. Generalized permutohedra are replaced by vector spaces of characteristic functions of polyhedral cones about faces of permutohedra, called plates, due to A. Ocneanu. The symmetric group acts on plates by coordinate permutation.
In combinatorics, the Eulerian numbers count the number of permutations with a given number of ascent and descents. The classical Worpitzky identity expands a power $r^p$ as a sum of Eulerian numbers, with binomial coefficients. In our thesis, for the main result we generalize the classical Worpitzky identity to an isomorphism of symmetric group modules, corresponding geometrically to the tiling of a scaled simplex by unit hypersimplices. In the categorification, the volume of a hypersimplex is replaced by the complex-linear dimension of a vector space associated to it. The main technical aspect of the proof of the character formula for the simplex involves a partition of unity of a commutative algebra of translations on a discrete torus, and a certain modular Diophantine equation.
A detailed paper is in preparation.
Diameter and Automorphisms of Gelfand-Tsetlin Polytopes
Published
• View Publication
• BIB
We determine the diameter of the 1-skeleton and the combinatorial automorphism group of any Gelfand-Tsetlin polytope GT$_λ$ associated to an integer partition $λ.$
A characterisation of elementary abelian 3-groups
Tarnauceanu [Archiv der Mathematik, 102 (1), (2014), 11--14] gave a characterisation of elementary abelian $2$-groups in terms of their maximal sum-free sets. His theorem states that a finite group $G$ is an elementary abelian $2$-group if and only if the set of maximal sum-free sets coincides with the set of complements of the maximal subgroups. A corollary is that the number of maximal sum-free sets in an elementary abelian $2$-group of finite rank $n$ is $2^n-1$. Regretfully, we show here that the theorem is wrong. We then prove a correct version of the theorem from which the desired corollary can be deduced. Moreover, we give a characterisation of elementary abelian $3$-groups in terms of their maximal sum-free sets. A corollary to our result is that the number of maximal sum-free sets in an elementary abelian $3$-group of finite rank $n$ is $3^n-1$. Finally, for prime $p>3$ and $n\in \mathbb{N}$, we show that there is no direct analogue of this result for elementary abelian $p$-groups of finite rank $n$.
Classification of tetravalent $2$-transitive non-normal Cayley graphs of finite simple groups
Published in Bulletin of the Australian Mathematical Society, 2021
• View Publication
• BIB
A graph $Γ$ is called $(G, s)$-arc-transitive if $G \le \mathrm{Aut}(Γ)$ is transitive on the set of vertices of $Γ$ and the set of $s$-arcs of $Γ$, where for an integer $s \ge 1$ an $s$-arc of $Γ$ is a sequence of $s+1$ vertices $(v_0,v_1,\ldots,v_s)$ of $Γ$ such that $v_{i-1}$ and $v_i$ are adjacent for $1 \le i \le s$ and $v_{i-1}\ne v_{i+1}$ for $1 \le i \le s-1$. $Γ$ is called 2-transitive if it is $(\mathrm{Aut}(Γ), 2)$-arc-transitive but not $(\mathrm{Aut}(Γ), 3)$-arc-transitive. A Cayley graph $Γ$ of a group $G$ is called normal if $G$ is normal in $\mathrm{Aut}(Γ)$ and non-normal otherwise. It was proved by X. G. Fang, C. H. Li and M. Y. Xu that if $Γ$ is a tetravalent 2-transitive Cayley graph of a finite simple group $G$, then either $Γ$ is normal or $G$ is one of the groups $\mathrm{PSL}_2(11)$, $M_{11}$, $M_{23}$ and $A_{11}$. However, it was unknown whether $Γ$ is normal when $G$ is one of these four groups. In the present paper we answer this question by proving that among these four groups only $M_{11}$ produces connected tetravalent 2-transitive non-normal Cayley graphs. We prove further that there are exactly two such graphs which are non-isomorphic and both determined in the paper. As a consequence, the automorphism group of any connected tetravalent 2-transitive Cayley graph of any finite simple group is determined.
Actions of trees on semigroups, and an infinitary Gowers--Hales--Jewett Ramsey theorem
Published
• View Publication
• BIB
We introduce the notion of (Ramsey) action of a tree on a (filtered) semigroup. We then prove in this setting a general result providing a common generalization of the infinitary Gowers Ramsey theorem for multiple tetris operations, the infinitary Hales--Jewett theorems (for both located and nonlocated words), and the Farah--Hindman--McLeod Ramsey theorem for layered actions on partial semigroups. We also establish a polynomial version of our main result, recovering the polynomial Milliken--Taylor theorem of Bergelson--Hindman--Williams as a particular case. We present applications of our Ramsey-theoretic results to the structure of delta sets in amenable groups.
Conjugacy growth series for finitary wreath products
Published in Res. number theory (2017) 3: 7
• View Publication
• BIB
We examine the conjugacy growth series of all wreath products of the finitary permutation groups $\text{Sym}(X)$ and $\text{Alt}(X)$ for an infinite set $X$. We determine their asymptotics, and we characterize the limiting behavior between the $\text{Alt}(X)$ and $\text{Sym}(X)$ wreath products. In particular, their ratios form a limit if and only if the dimension of the symmetric wreath product is twice the dimension of the alternating wreath product.
Sandpile groups and the coeulerian property for random directed graphs
Published
• View Publication
• BIB
We consider random directed graphs, and calculate the distribution of the cokernels of their laplacian, following the methods used by Wood. As a corollary, we show that the probability that a random digraph is coeulerian is asymptotically upper bounded by a constant around $0.43$.
Internal Zonotopal Algebras and the Monomial Reflection Groups
Published in Journal of Combinatorial Theory, Series A, 2018
• View Publication
• BIB
The group $G(m,1,n)$ consists of $n$-by-$n$ monomial matrices whose entries are $m$th roots of unity. It is generated by $n$ complex reflections acting on $\mathbf{C}^n$. The reflecting hyperplanes give rise to a (hyperplane) arrangement $\mathcal{G} \subset \mathbf{C}^n$. The internal zonotopal algebra of an arrangement is a finite dimensional algebra first studied by Holtz and Ron. Its dimension is the number of bases of the associated matroid with zero internal activity. In this paper we study the structure of the internal zonotopal algebra of the Gale dual of the reflection arrangement of $G(m,1,n)$, as a representation of this group. Our main result is a formula for the top degree component as an induced character from the cyclic group generated by a Coxeter element. We also provide results on representation stability, a connection to the Whitehouse representation in type~A, and an analog of decreasing trees in type~B.
Weak metacirculants of odd prime power order
Published in Journal of Combinatorial Theory, Series A 155 (2018) 225-243
• View Publication
• BIB
Metacirculants are a basic and well-studied family of vertex-transitive graphs, and weak metacirculants are generalizations of them. A graph is called a weak metacirculant if it has a vertex-transitive metacyclic automorphism group. This paper is devoted to the study of weak metacirculants with odd prime power order. We first prove that a weak metacirculant of odd prime power order is a metacirculant if and only if it has a vertex-transitive split metacyclic automorphism group. We then prove that for any odd prime $p$ and integer $\ell\geq 4$, there exist weak metacirculants of order $p^\ell$ which are Cayley graphs but not Cayley graphs of any metacyclic group; this answers a question in Li et al. (2013). We construct such graphs explicitly by introducing a construction which is a generalization of generalized Petersen graphs. Finally, we determine all smallest possible metacirculants of odd prime power order which are Cayley graphs but not Cayley graphs of any metacyclic group.
Cores of imprimitive symmetric graphs of order a product of two distinct primes
Published in J. Graph Theory 81 (2016) 364-392
• View Publication
• BIB
A retract of a graph $Γ$ is an induced subgraph $Ψ$ of $Γ$ such that there exists a homomorphism from $Γ$ to $Ψ$ whose restriction to $Ψ$ is the identity map. A graph is a core if it has no nontrivial retracts. In general, the minimal retracts of a graph are cores and are unique up to isomorphism; they are called the core of the graph. A graph $Γ$ is $G$-symmetric if $G$ is a subgroup of the automorphism group of $Γ$ that is transitive on the vertex set and also transitive on the set of ordered pairs of adjacent vertices. If in addition the vertex set of $Γ$ admits a nontrivial partition that is preserved by $G$, then $Γ$ is an imprimitive $G$-symmetric graph. In this paper cores of imprimitive symmetric graphs $Γ$ of order a product of two distinct primes are studied. In many cases the core of $Γ$ is determined completely. In other cases it is proved that either $Γ$ is a core or its core is isomorphic to one of two graphs, and conditions on when each of these possibilities occurs is given.
A characterization of $\mathbb{Z}_2\mathbb{Z}_2[u]$-linear codes
We prove that the class of $\Z_2\Z_2[u]$-linear codes is exactly the class of $\Z_2$-linear codes with automorphism group of even order. Using this characterization, we give examples of known codes, e.g. perfect codes, which has a nontrivial $\Z_2\Z_2[u]$ structure. We also exhibit an example of a $\Z_2$-linear code which is not $\Z_2\Z_2[u]$-linear. Also, we state that duality of $\Z_2\Z_2[u]$-linear codes is the same that duality of $\Z_2$-linear codes.
Finally, we prove that the class of $\Z_2\Z_4$-linear codes which are also $\Z_2$-linear is strictly contained in the class of $\Z_2\Z_2[u]$-linear codes.
Finite reflection groups and graph norms
Published
• View Publication
• BIB
Given a graph $H$ on vertex set $\{1,2,\cdots, n\}$ and a function $f:[0,1]^2 \rightarrow \mathbb{R}$, define \begin{align*} \|f\|_{H}:=\left\vert\int \prod_{ij\in E(H)}f(x_i,x_j)dμ^{|V(H)|}\right\vert^{1/|E(H)|}, \end{align*} where $μ$ is the Lebesgue measure on $[0,1]$. We say that $H$ is norming if $\|\cdot\|_H$ is a semi-norm. A similar notion $\|\cdot\|_{r(H)}$ is defined by $\|f\|_{r(H)}:=\||f|\|_{H}$ and $H$ is said to be weakly norming if $\|\cdot\|_{r(H)}$ is a norm. Classical results show that weakly norming graphs are necessarily bipartite. In the other direction, Hatami showed that even cycles, complete bipartite graphs, and hypercubes are all weakly norming. We demonstrate that any graph whose edges percolate in an appropriate way under the action of a certain natural family of automorphisms is weakly norming. This result includes all previously known examples of weakly norming graphs, but also allows us to identify a much broader class arising from finite reflection groups. We include several applications of our results. In particular, we define and compare a number of generalisations of Gowers' octahedral norms and we prove some new instances of Sidorenko's conjecture.
Irreducible components of exotic Springer fibres
Published
• View Publication
• BIB
Kato introduced the exotic nilpotent cone to be a substitute for the ordinary nilpotent cone of type C with cleaner properties. Here we describe the irreducible components of exotic Springer fibres (the fibres of the resolution of the exotic nilpotent cone), and prove that they are naturally in bijection with standard bitableaux. As a result, we deduce the existence of an exotic Robinson-Schensted bijection, which is a variant of the type C Robinson-Schensted bijection between pairs of same-shape standard bitableaux and elements of the Weyl group; this bijection is described explicitly in the sequel to this paper. Note that this is in contrast with ordinary type C Springer fibres, where the parametrisation of irreducible components, and the resulting geometric Robinson-Schensted bijection, are more complicated. As an application, we explicitly describe the structure in the special cases where the irreducible components of the exotic Springer fibre have dimension 2, and show that in those cases one obtains Hirzebruch surfaces.