group
10226 papers tagged with this keyword
A combinatorial view of stochastic processes: White noise
Published
• View Publication
• BIB
White noise is a fundamental and fairly well understood stochastic process that conforms the conceptual basis for many other processes, as well as for the modeling of time series. Here we push a fresh perspective toward white noise that, grounded on combinatorial considerations, contributes to give new interesting insights both for modelling and theoretical purposes. To this aim, we incorporate the ordinal pattern analysis approach which allows us to abstract a time series as a sequence of patterns and their associated permutations, and introduce a simple functional over permutations that partitions them into classes encoding their level of asymmetry. We compute the exact probability mass function (p.m.f.) of this functional over the symmetric group of degree $n$, thus providing the description for the case of an infinite white noise realization. This p.m.f. can be conveniently approximated by a continuous probability density from an exponential family, the Gaussian, hence providing natural sufficient statistics that render a convenient and simple statistical analysis through ordinal patterns. Such analysis is exemplified on experimental data for the spatial increments from tracks of gold nanoparticles in 3D diffusion.
Local Statistics of Random Permutations from Free Products
Published
• View Publication
• BIB
Let $α$ and $β$ be uniformly random permutations of orders $2$ and $3$, respectively, in $S_{N}$, and consider, say, the permutation $αβαβ^{-1}$. How many fixed points does this random permutation have on average? The current paper studies questions of this kind and relates them to surprising topological and algebraic invariants of elements in free products of groups.
Formally, let $Γ=G_{1}*\ldots*G_{k}$ be a free product of groups where each of $G_1,\ldots,G_k$ is either finite, finitely generated free, or an orientable hyperbolic surface group. For a fixed element $γ\inΓ$, a $γ$-random permutation in the symmetric group $S_{N}$ is the image of $γ$ through a uniformly random homomorphism $Γ\to S_{N}$. In this paper we study local statistics of $γ$-random permutations and their asymptotics as $N$ grows. We first consider $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$, the expected number of fixed points in a $γ$-random permutation in $S_{N}$. We show that unless $γ$ has finite order, the limit of $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ as $N\to\infty$ is an integer, and is equal to the number of subgroups $H\leΓ$ containing $γ$ such that $H\cong\mathbb{Z}$ or $H\cong C_{2}*C_{2}$. Equivalently, this is the number of subgroups $H\leΓ$ containing $γ$ and having (rational) Euler characteristic zero. We also prove there is an asymptotic expansion for $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ and determine the limit distribution of the number of fixed points as $N\to\infty$. These results are then generalized to all statistics of cycles of fixed lengths.
Quotients of skew morphisms of cyclic groups
Published
• View Publication
• BIB
A skew morphism of a finite group $B$ is a permutation $\varphi$ of $B$ that preserves the identity element of $B$ and has the property that for every $a\in B$ there exists a positive integer $i_a$ such that $\varphi(ab) = \varphi(a)\varphi^{i_a}(b)$ for all $b\in B$. The problem of classifying skew morphisms for all finite cyclic groups is notoriously hard, with no such classification available up to date. Each skew morphism $\varphi$ of $\mathbb{Z}_n$ is closely related to a specific skew morphism of $\mathbb{Z}_{|\!\langle \varphi \rangle\!|}$, called the quotient of $\varphi$. In this paper, we use this relationship and other observations to prove new theorems about skew morphisms of finite cyclic groups. In particular, we classify skew morphisms for all cyclic groups of order $2^em$ with $e\in \{0,1,2,3,4\}$ and $m$ odd and square-free. We also develop an algorithm for finding skew morphisms of cyclic groups, and implement this algorithm in MAGMA to obtain a census of all skew morphisms for cyclic groups of order up to $161$. During the preparation of this paper we noticed a few flaws in Section~5 of the paper Cyclic complements and skew morphisms of groups [J. Algebra 453 (2016), 68-100]. We propose and prove weaker versions of the problematic original assertions (namely Lemma 5.3(b), Theorem 5.6 and Corollary 5.7), and show that our modifications can be used to fix all consequent proofs (in the aforementioned paper) that use at least one of those problematic assertions.
Graph coloring-related properties of (generating functions of) Hodge-Deligne polynomials
Motivated by a connection between the topology of (generalized) configuration spaces and chromatic polynomials, we show that generating functions of Hodge-Deligne polynomials of quasiprojective varieties and colorings of acyclic directed graphs with the complete graph $K_n$ as the underlying undirected graph. In order to do this, we combine an interpretation of Crew-Spirkl for plethysms involving chromatic symmetric polynomials using colorings of directed acyclic graphs to plethystic exponentials often appearing Hodge-Deligne polynomials of varieties. Applying this to a recent result of Florentino-Nozad-Zamora, we find a connection between $GL_n$-character varieties of finitely presented groups and colorings of these "complete" directed graphs by (signed) variables used in the Hodge-Deligne polynomials of the irreducible representations.
As a consequence of the constructions used, generators of Hodge-Deligne polynomials carry over to generators of the plethystic exponentials as a power series in a way that is compatible with this graph coloring interpretation and gives interesting combinatorial information that simplifies when we consider Hodge-Deligne polynomials of birationally equivalent varieties to be equivalent. Finally, we give an application of methods used to symmetries of Hodge-Deligne polynomials of varieties and their configuration spaces and their relation to chromatic symmetric polynomials.
How Expressive Are Friendly School Partitions?
A natural procedure for assigning students to classes in the beginning of the school-year is to let each student write down a list of $d$ other students with whom she/he wants to be in the same class (typically $d=3$). The teachers then gather all the lists and try to assign the students to classes in a way that each student is assigned to the same class with at least one student from her/his list. We refer to such partitions as friendly. In realistic scenarios, the teachers may also consider other constraints when picking the friendly partition: e.g. there may be a group of students whom the teachers wish to avoid assigning to the same class; alternatively, there may be two close friends whom the teachers want to put together; etc.
Inspired by such challenges, we explore questions concerning the expressiveness of friendly partitions. For example: Does there always exist a friendly partition? More generally, how many friendly partitions are there? Can every student $u$ be separated from any other student $v$? Does there exist a student $u$ that can be separated from any other student $v$?
We show that when $d\geq 3$ there always exist at least $2$ friendly partitions and when $d\geq 15$ there always exists a student $u$ which can be separated from any other student $v$. The question regarding separability of each pair of students is left open, but we give a positive answer under the additional assumption that each student appears in at most roughly $\exp(d)$ lists. We further suggest several open questions and present some preliminary findings towards resolving them.
Plethysm and a character embedding problem of Miller
Published
• View Publication
• BIB
We use a plethystic formula of Littlewood to answer a question of Miller on embeddings of symmetric group characters. We also reprove a result of Miller on character congruences.
Arc-disjoint hamiltonian paths in Cartesian products of directed cycles
Published
• View Publication
• BIB
We show that if $C_1$ and $C_2$ are directed cycles (of length at least two), then the Cartesian product $C_1 \Box C_2$ has two arc-disjoint hamiltonian paths. (This answers a question asked by J. A. Gallian in 1985.) The same conclusion also holds for the Cartesian product of any four or more directed cycles (of length at least two), but some cases remain open for the Cartesian product of three directed cycles.
We also discuss the existence of arc-disjoint hamiltonian paths in $2$-generated Cayley digraphs on (finite or infinite) abelian groups.
Inscribable Fans II: Inscribed zonotopes, simplicial arrangements, and reflection groups
An arrangement of hyperplanes is strongly inscribable if it has an inscribed (or ideal hyperbolic) zonotope. We characterize inscribed zonotopes and prove that the family of strongly inscribable arrangements is closed under restriction and localization. Moreover, we show that (strongly) inscribable arrangements are simplicial. We conjecture that only reflection arrangements and their restrictions are strongly inscribable and we verify our conjecture in rank-$3$ using the conjecturally complete list of irreducible simplicial rank-$3$ arrangements.
A Note on the Critical Groups of Strongly Regular Graphs and Their Generalizations
Published in Innov. Incidence Geom. 19 (2022) 95-109
• View Publication
• BIB
We determine the maximum order of an element in the critical group of a strongly regular graph, and show that it achieves the spectral bound due to Lorenzini. We extend the result to all graphs with exactly two non-zero Laplacian eigenvalues, and study the signed graph version of the problem. We also study the monodromy pairing on the critical groups, and suggest an approach to study the structure of these groups using the pairing.
Computing Galois groups of Ehrhart polynomials in OSCAR
We report on an implementation of Galois groups in the new computer algebra system OSCAR. As an application we compute Galois groups of Ehrhart polynomials of lattice polytope
On Flag-Transitive $2$-$(k^{2}, k, λ)$ Designs with $λ\mid k$
Published
• View Publication
• BIB
It is shown that, apart from the smallest Ree group, a flag-transitive automorphism group $G$ of a $2$-$(k^{2}, k, λ)$ design D, with $λ\mid k$, is either an affine group or an almost simple classical group. Moreover, when $G$ is the smallest Ree group, $\mathcal{D}$ is isomorphic either to the $2$-$(62, 6, 2)$ design or to one of the three $2$- $(62, 6, 6)$ designs constructed in this paper. All the four $2$-designs have the $36$ secants of a nondegenerate conic $\mathcal{C}$ of $PG_{2}(8)$ as a point set and 6-sets of secants in a remarkable configuration as a block set.
Flag-transitive, point-imprimitive symmetric $2$-$(v,k,λ)$ designs with $k>λ\left(λ-3 \right)/2$
Let $\mathcal{D}=\left(\mathcal{P},\mathcal{B} \right)$ be a symmetric $2$-$(v,k,λ)$ design admitting a flag-transitive, point-imprimitive automorphism group $G$ that leaves invariant a non-trivial partition $Σ$ of $\mathcal{P}$. Praeger and Zhou \cite{PZ} have shown that, there is a constant $k_{0}$ such that, for each $B \in \mathcal{B}$ and $Δ\in Σ$, the size of $\left\vert B \cap Δ\right \vert$ is either $0$ or $k_{0}$. In the present paper we show that, if $k>λ\left(λ-3 \right)/2$ and $k_{0} \geq 3$, $\mathcal{D}$ is isomorphic to one of the known flag-transitive, point-imprimitive symmetric $2$-designs with parameters $(45,12,3)$ or $(96,20,4)$.
Classification of the non-trivial $2$-$(k^{2},k,λ)$ designs, with $λ\mid k$, admitting a flag-transitive almost simple automorphism group
Published
• View Publication
• BIB
Non-trivial $2$-$(k^{2},k,λ)$ designs, with $λ\mid k$, admitting a flag-transitive almost simple automorphism group are classified.
Borel factors and embeddings of systems in subshifts
Published
• View Publication
• BIB
In this paper we study the combinatorics of free Borel actions of the group $\mathbb Z^d$ on Polish spaces. Building upon recent work by Chandgotia and Meyerovitch, we introduce property $F$ on $\mathbb Z^d$-shift spaces $X$ under which there is an equivariant map from any free Borel action to the free part of $X$. Under further entropic assumptions, we prove that any subshift $Y$ (modulo the periodic points) can be Borel embedded into $X$. Several examples satisfy property $F$ including, but not limited to, the space of proper $3$-colourings, tilings by rectangles (under a natural arithmetic condition), proper $2d$-edge colourings of $\mathbb Z^d$ and the space of bi-infinite Hamiltonian paths. This answers questions raised by Seward, and Gao-Jackson, and recovers a result by Weilacher and some results announced by Gao-Jackson-Krohne-Seward.
Zero-sum partitions of Abelian groups and their applications to magic- and antimagic-type labelings
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Combinatorics (October 25, 2024) dmtcs:12361
• View Publication
• BIB
The following problem has been known since the 80s. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $\{m_i\}_{i=1}^{t}$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $\{S_i\}_{i=1}^{t}$ such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every $1 \leq i \leq t$. Such a subset partition is called a \textit{zero-sum partition}. $|I(Γ)|\neq 1$, where $I(Γ)$ is the set of involutions in $Γ$, is a necessary condition for the existence of zero-sum partitions. In this paper, we show that the additional condition of $m_i\geq 4$ for every $1 \leq i \leq t$, is sufficient. Moreover, we present some applications of zero-sum partitions to magic- and antimagic-type labelings of graphs.
Procesi's Conjecture on the Formanek-Weingarten Function is False
Published in C. R. Math. Acad. Sci. Paris, 360, 1169-1172, 2022
• View Publication
• BIB
In this paper, we disprove a recent monotonicity conjecture of C. Procesi on the generating function for monotone walks on the symmetric group, an object which is equivalent to the Weingarten function of the unitary group.
On integral mixed Cayley graphs over non-abelian finite groups admitting an abelian subgroup of index 2
Published
• View Publication
• BIB
Recently, several works by a number of authors have provided characterizations of integral undirected Cayley graphs over generalized dihedral groups and generalized dicyclic groups. We generalize and unify these results in two different ways. Firstly, we work over arbitrary non-abelian finite groups admitting an abelian subgroup of index 2. Secondly, our main result actually characterizes integral mixed Cayley graphs over such finite groups, in the spirit of a very recent result of Kadyan--Bhattarcharjya in the abelian case.
On $\mathbb{F}_2^ω$-affine-exchangeable probability measures
Published
• View Publication
• BIB
For any standard Borel space $B$, let $\mathcal{P}(B)$ denote the space of Borel probability measures on $B$. In relation to a difficult problem of Aldous in exchangeability theory, and in connection with arithmetic combinatorics, Austin raised the question of describing the structure of affine-exchangeable probability measures on product spaces indexed by the vector space $\mathbb{F}_2^ω$, i.e., the measures in $\mathcal{P}(B^{\mathbb{F}_2^ω})$ that are invariant under the coordinate permutations on $B^{\mathbb{F}_2^ω}$ induced by all affine automorphisms of $\mathbb{F}_2^ω$. We answer this question by describing the extreme points of the space of such affine-exchangeable measures. We prove that there is a single structure underlying every such measure, namely, a random infinite-dimensional cube (sampled using Haar measure adapted to a specific filtration) on a group that is a countable power of the 2-adic integers. Indeed, every extreme affine-exchangeable measure in $\mathcal{P}(B^{\mathbb{F}_2^ω})$ is obtained from a $\mathcal{P}(B)$-valued function on this group, by a vertex-wise composition with this random cube. The consequences of this result include a description of the convex set of affine-exchangeable measures in $\mathcal{P}(B^{\mathbb{F}_2^ω})$ equipped with the vague topology (when $B$ is a compact metric space), showing that this convex set is a Bauer simplex. We also obtain a correspondence between affine-exchangeability and limits of convergent sequences of (compact-metric-space valued) functions on vector spaces $\mathbb{F}_2^n$ as $n\to\infty$. Via this correspondence, we establish the above-mentioned group as a general limit domain valid for any such sequence.
The generalized X-join of Cayley graphs
As a main result of this paper we give conditions under which the generalized $X$-join of Cayley graphs is a Cayley graph. In particular, we show that $X$-join of isomorphic Cayley graphs is a Cayley grpah. To do this, new properties for a generalized wreath product of permutation groups are given in the case where the base group acts regularly. These are used to give conditions for the generalized wreath product to contain a regular subgroup, which are then applied to generalized $X$-joins of Cayley graphs. Along the way, it is shown that the generalized $X$-join of isomorphic Cayley graphs will always be a vertex transitive graph.
The 2-colouring problem for $(m,n)$-mixed graphs with switching is polynomial
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (November 3, 2022) dmtcs:9242
• View Publication
• BIB
A mixed graph is a set of vertices together with an edge set and an arc set. An $(m,n)$-mixed graph $G$ is a mixed graph whose edges are each assigned one of $m$ colours, and whose arcs are each assigned one of $n$ colours. A \emph{switch} at a vertex $v$ of $G$ permutes the edge colours, the arc colours, and the arc directions of edges and arcs incident with $v$. The group of all allowed switches is $Γ$.
Let $k \geq 1$ be a fixed integer and $Γ$ a fixed permutation group. We consider the problem that takes as input an $(m,n)$-mixed graph $G$ and asks if there a sequence of switches at vertices of $G$ with respect to $Γ$ so that the resulting $(m,n)$-mixed graph admits a homomorphism to an $(m,n)$-mixed graph on $k$ vertices. Our main result establishes this problem can be solved in polynomial time for $k \leq 2$, and is NP-hard for $k \geq 3$. This provides a step towards a general dichotomy theorem for the $Γ$-switchable homomorphism decision problem.