group
10399 papers tagged with this keyword
CayleyPy-4: AI-Holography. Towards analogs of holographic string dualities for AI tasks
This is the fourth paper in the CayleyPy project, which applies AI methods to the exploration of large graphs. In this work, we suggest the existence of a new discrete version of holographic string dualities for this setup, and discuss their relevance to AI systems and mathematics. Many modern AI tasks -- such as those addressed by GPT-style language models or RL systems -- can be viewed as direct analogues of predicting particle trajectories on graphs. We investigate this problem for a large family of Cayley graphs, for which we show that surprisingly it admits a dual description in terms of discrete strings. We hypothesize that such dualities may extend to a range of AI systems where they can lead to more efficient computational approaches. In particular, string holographic images of states are proposed as natural candidates for data embeddings, motivated by the "complexity = volume" principle in AdS/CFT.
For Cayley graphs of the symmetric group S_n, our results indicate that the corresponding dual objects are flat, planar polygons. The diameter of the graph is equal to the number of integer points inside the polygon scaled by n. Vertices of the graph can be mapped holographically to paths inside the polygon, and the usual graph distances correspond to the area under the paths, thus directly realising the "complexity = volume" paradigm. We also find evidence for continuous CFTs and dual strings in the large n limit. We confirm this picture and other aspects of the duality in a large initial set of examples. We also present new datasets (obtained by a combination of ML and conventional tools) which should be instrumental in establishing the duality for more general cases.
Entropy of affine permutations and universality of affine atomic lengths
We introduce and study the notion of entropy of affine permutations and prove that it coincides with the atomic length associated with the sum of the fundamental weights for a type $A$ affine root system, as defined by the first two authors. We then establish an analogue of the Granville-Ono theorem by showing that any nonnegative integer can be realised as the entropy of an affine permutation or alternatively, as the size of a core multipartition as introduced by the last two authors. Our proof uses an additive combinatorics theorem due to Hall on difference sets of permutations modulo $n$. More generally, we give a polynomial expression of the atomic length associated with any dominant weight in affine type $A$ and investigate the problem of its universality. Beyond type $A$, we are able to prove that the entropy of affine type $C_n$ permutations is universal when $2n+1$ is prime. This is achieved by establishing an analogue of Hall's theorem for the hyperoctahedral group based on Alon's combinatorial Nullstellensatz. We also propose conjectures generalising the results presented in the paper, each supported by computational evidence. Finally, we show that in any affine classical type, the problem of the universality of the atomic length simplifies in large rank when the weight considered is conveniently adjusted.
The Erdős-Ginzburg-Ziv theorem constant of finite groups
Let $G$ be a multiplicatively written finite group of order $n$. The Erdős-Ginzburg-Ziv Theorem constant of the group $G$, denoted $\mathsf E(G)$, is defined as the smallest positive integer $\ell$ with the following property: for any given sequence $(g_1,\ldots,g_{\ell})$ over $G$, there exist $n$ distinct integers $i_1,\ldots,i_n\in \{1,\ldots,\ell\}$ such that the product of $g_{i_1},\ldots,g_{i_n}$, in some order, is the identity element of $G$. The Erdős-Ginzburg-Ziv Theorem constant originates from the celebrated additive theorem proved by Erdős, Ginzburg and Ziv in 1961, which amounts to proving $\mathsf E(G)\leq 2|G|-1$ holds in case that $G$ is abelian. It is also well-known that $\mathsf E(G)=2|G|-1$ holds for all finite cyclic groups. In 2010, Gao and Li [J. Pure Appl. Algebra] conjectured that $\mathsf E(G)\leq \frac{3|G|}{2}$ for every finite non-cyclic group $G$. In this paper, we confirm the conjecture for all non-cyclic groups $G$ whose order is not divisible by four, and characterize the groups achieving the equality $\mathsf E(G)=\frac{3|G|}{2}$ as those with a cyclic subgroup of index two.
Growth of infinite frieze patterns of affine type
We analyse the growth coefficients of infinite frieze patterns arising from cluster algebras using cluster modular groups and cluster categories. For a fixed cluster category of affine type, we prove that the collection of infinite frieze patterns given by both the homogeneous and non-homogeneous stable tubes all have the same growth coefficients. We also derive and verify an explicit formula for the $k$-th growth coefficient, expressed directly in terms of data from homogeneous tubes, or, alternatively, from appropriate elements of the corresponding cluster algebra.
A canonicity criterion for toric varieties and the classification of canonical 4-simplices
Based on the Reid-Shepherd-Barron-Tai criterion for canonical and terminal quotient singularities, we characterize canonicity and terminality of a toric variety in terms of its local class group actions. Specializing it to the Picard number one setting, we arrive at a classification algorithm for canonical and terminal fake weighted projective spaces in any dimension. In dimension four it gives, up to isomorphism, 710450 canonical fake weighted projective spaces. We take a look at the corresponding Calabi-Yau hypersurfaces, compute the Fine interior of the associated canonical simplices, and discuss the results.
Decomposing Centrally Symmetric Convex Polyhedral Surfaces into Parallelograms
Let $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ be the moduli space of centrally symmetric convex polyhedral surfaces with $2N$ labeled vertices and prescribed cone-deficits $δ_1$, $δ_2$, $\dots$, $δ_N$. We show that $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ has the structure of a real hyperbolic manifold of dimension $2N-3$. When $N=4$ and $5$, we show that every surface in $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ can be decomposed into at most $2\binom{2N-2}{2}$ parallelograms, and the decomposition is invariant under the antipodal map. Using the edge-lengths of these parallelograms as coordinates, we show that the moduli space of centrally symmetric polyhedral surfaces with $8$ unlabeled vertices and cone-deficits $\fracπ{2}$ is isometric to the quotient of a real hyperbolic regular ideal $5$-simplex by the dihedral group $D_6$.
Graham conjecture on small sets in abelian groups
A famous conjecture of Graham asserts that every set $A \subseteq \mathbb{Z}_p \setminus \{0\}$ can be ordered so that all partial sums are distinct. Although this conjecture was recently proved for sufficiently large primes by Pham and Sauermann in~\cite{PM} (combined with earlier results of \cite{BBKMM}), it remains open for general abelian groups, even in the cyclic case $\mathbb{Z}_k$.
In this paper, using a recursive approach, we investigate the sequenceability of subsets $A$ in generic abelian groups for small values of $|A|$. We prove that any subset $A \subseteq G\setminus\{0\}$ with $|A| \leq 20$ is sequenceable where previously it was known only for $|A|\leq 9$. This bound is improved to $|A| \leq 22$ for zero-sum subsets. Finally, regarding the related CMPP conjecture, we show that zero-sum subsets without inverse pairs are sequenceable for $|A| \leq 23$.
Fault-tolerant metric basis and dimension of barycentric subdivision of zero divisor graphs
The undirected zero divisor graph of a commutative ring with unity \( R \), denoted by \( Γ(R) = (V(Γ(R)), E(Γ(R))) \). The vertex set \( V(Γ(R)) \) consists of all the non-zero zero-divisors of \( R \). The edge set \( E(Γ(R)) \) is defined by the set \( \{ e = a_1 a_2 \mid a_1 \cdot a_2 = 0 \text{ and } a_1, a_2 \in V(Γ(R)) \} \). The barycentric subdivision of $Γ$ is the process of subdividing each edge by inserting new vertex in the graph $Γ$. In this article, we have focused on the fault-tolerant metric dimension of the barycentric subdivision of zero divisor graph of the group of integers modulo \( n \), represented by \( fdim(BS(Γ(\mathbb{Z}_n )\), where \( n = pq \); \( p \) and \( q \) are distinct odd primes with \( q > p \). We also demonstrate that \( fdim(BS(Γ(\mathbb{Z}_n) \geq q - 1 \) for every \( n = pq \), where \( p \) and \( q \) are any distinct odd primes with \( q > p \).
Structural and Spectral Properties of Prime Order Element Graph of Finite Abelian Groups
Given a finite group $G$, the \emph{Prime Order Element (POE) Graph} $Γ(G)$ consists of the group elements as the vertices, and two vertices $x$ and $y$ are adjacent if and only if $o(xy)$ is prime. This paper presents a thorough structural and spectral analysis of the POE graphs associated with the finite Abelian groups of different types. The order of a finite Abelian group may be a prime or a product of primes, which influences the structure of POE graphs. The POE graph is connected when the order of the Abelian group is a square-free integer. The POE graphs of the other Abelian groups have multiple connected components. Some of these components are isomorphic to the POE graph of a lower-order group. We study various graph-theoretic properties of the components, including regularity and bipartiteness. Arranging the elements of the group in a number of particular orders, we observe the block structure in the adjacency matrix of POE graphs. It assists us in investigating the spectral properties of POE graphs. We explicitly derive the characteristic polynomials governing both integral and irrational eigenvalues, and compute the eigenvalues with multiplicity in terms of the structure of the graphs.
Asymptotic Formula for $(t+1)$-Regular Partitions
A partition is $t$-regular if none of its parts is divisible by $t$. Let $p(N,t)$ be the number of $(t+1)$-regular partitions of a positive integer $N$. In 1971, Hagis proved an asymptotic formula for $p(N,t)$ using the circle method, when $t$ fixed. In this article, we use the saddle point method and extend the result of Hagis in different ranges of $t$, obtaining explicit bounds. We also discuss an application of our result to estimate zeros in the character table of the symmetric group.
Colourings of Cayley graphs of finite $3$-groups
Colouring problems arising from group-based constructions provide a natural link between combinatorics and algebra, particularly in the study of Cayley graphs and Latin squares. We introduce colouring bijections of finite groups, a class of permutations encoding proper vertex colourings of associated Cayley-type graphs, extending classical notions such as complete and strong complete mappings. We prove that every finite $3$-group without a cyclic maximal subgroup admits a colouring bijection. Consequently, for such groups $G$, the graph $\mathscr{G}_3(G)$ admits a proper colouring with $|G|$ colours. These results show that the existence of colouring bijections is governed by structural properties of $3$-groups, revealing a new connection between group theory and combinatorial colouring problems.
Linear and group identifying codes in Hamming Graphs
Published
• View Publication
• BIB
Codes are crucial in many areas of applications. Different types of codes are designed to meet specific needs, which makes them more effective and useful. Linear codes are extensively used in data storage systems. Identifying codes are essential for locating malfunctioning processors. To combine these benefits, researchers have looked into a type of code called linear identifying codes. These codes blend the error-correction abilities of linear codes with the fault-finding capabilities of identifying codes. Group codes are also highly regarded for their strong properties and reliable decoding methods. In our work, we introduce a new type of identifying code called group Identifying codes. These codes aim to bring together the best features of both Identifying codes and group codes, offering enhanced performance in fault detection and system reliability. In this paper, we establish limits on the smallest size of a group identifying code when \( G \) is an \( n \)-dimensional Hamming cube \( K_{m_1} \square K_{m_2} \square \dots \square K_{m_n} \). Additionally, we determine the smallest size of a linear identifying code in \( K_p^n \) for a prime \( p \) and \( n \geq 2 \). In [1], it was hypothesized that \( γ^{ID}(K_m^3) = m^2 \) for an integer \( m \geq 2 \). Although this conjecture was disproven in [2], we demonstrate that group identifying codes in \( K_m^3 \) for an integer \( m \geq 2 \) and linear identifying codes in \( K_p^3 \) for a prime \( p \) indeed fulfill this conjecture.
Counting Strict Gridlock on Graphs
Graph colorings have been of interest to mathematicians for a long time, but relatively recently, social scientists have also found them to be interesting tools for studying group behavior. In the last 20 years, scientists have begun to study how coloring problems can be solved by groups of individuals on a graph, which has led to new insights into network structure, group dynamics, and individual human behavior. Despite this newfound utility, the exact nature of these distributed coloring problems is not well-understood, and established mathematical tools like the chromatic polynomial miss the unique challenges that arise in these social problem-solving situations with limited information. In this paper, we provide a new framework for understanding these distributed problems by defining a new kind of graph coloring with particular relevance to consensus formation on networks, in which all vertices are trying to agree on a common color. These strict gridlock colorings represent roadblocks to consensus where the group will not reach a uniform coloring using natural update processes. We describe a recurrence relation that provides an algorithm for counting these gridlocked colorings, which establishes a mathematical measure of how much a given graph hinders consensus in a group.
Constructing, Classifying and Studying the Space of Small Integer Weighing Matrices
Published
• View Publication
• BIB
Integer weighing matrices (IW-matrices for short) are integer valued orthogonal square matrices. One usecase of these is to create classical weighing matrices with various block structures. In this paper we study and classify the space $IW(n,k)$ of the integer weighing matrices of small size $n\times n$ and weight $k$. Our classification includes a full list of all inequivalent matrices up to Hadamard equivalence and automorphism groups. We then continue to a secondary classification of the symmetric and antisymmetric IW up to symmetric Hadamard equivalence. We apply this to the case of projective space weighing matrices. Next we use the classification to count the cardinality of the spaces of all $IW(n,k)$ as well as the symmetric and anti-symmetric subspace. We supply practical algorithms and implement them in \texttt{Sagemath}. Finding an (anti-)symmetric IW matrix in a given Hadamard class can be done for significantly higher orders. In particular we solve some open cases: Symmetric $W(23,16)$, $W(28,25)$ and $W(30,17)$, and an anti-symmetric $W(28,25)$. We conclude by showing a detailed classification of $IW(7,25)$. We have also improved the \texttt{NSOKS} algorithm to find all possible representations of an integer $k$ as a sum of $n$ integer squares.
Mysterious points in keys but not trees
The deep locus of a cluster variety is defined to be the set of its points that do not belong to any cluster torus. We show that, if the cluster variety has a seed whose mutable part is a tree without multiple edges, then the deep locus can be characterized as the set of points whose stabilizer under a certain group action is nontrivial. Deep points without a stabilizer are called mysterious. We establish that many other classes of acyclic quivers (including keys) often have mysterious points. This refutes Conjecture 1.1 of arXiv:2402.16970, but establishes it in many important cases.
An Infinite Family of 6_Regular B-Cayley Graphs from the Petersen Graph
We construct an infinite family of 6-regular graphs $\{G_n\}_{n\ge 3}$ by taking $n$ copies of the Petersen graph and wiring corresponding vertices according to an $n$-cycle permutation. Each $G_n$ has $10n$ vertices, $30n$ edges, and automorphism group $D_{5n}$ of order $10n$, acting with two vertex orbits of size $5n$. The graphs have girth $4$ and diameter $\lfloor n/2\rfloor+2$. We prove that $G_3$ and $G_4$ are Ramanujan graphs, satisfying $|λ_2| \le 2\sqrt{5}$. The first five members ($n=3,\dots,7$) have been deposited in the House of Graphs database as entries 56324--56328. This construction provides new examples of highly symmetric regular graphs and contributes two new Ramanujan graphs to the literature. All computational scripts are available online for full reproducibility.
Quantized rational chip-firing
This article introduces a quantized chip-firing model with close connections to the theory of rational lattice paths and rational parking functions. Given a graph with a sink and positive integers a,b,c with gcd(a,b)=1, a set S of vertices fires by the following rule. Each vertex in S provisionally sends c chips to the sink and a/b chips to each non-sink neighbor outside of S. The novel feature is that the total number of chips leaving from or arriving at any vertex gets rounded down to the nearest integer before being finalized. We define the notions of chip configurations being superstable, k-stable, or k-skeletal in this model. When c=1 and the graph is complete, superstable configurations correspond to rational parking functions. There is a bijection between superstable configurations and k-skeletal configurations for each k. We establish these results by building a combinatorial theory of k-skeletal rational lattice paths (both unlabeled and labeled) and translating that theory to chip configurations. There is a group structure on the set of chip configurations modulo firing and borrowing moves. We show that this group is isomorphic to the product of b-1 copies of the integers modulo a; and, for each k, each coset of chip configurations in this group contains a unique k-skeletal representative.
Annexes in affine Coxeter complexes
We introduce the annex of an element $x$ in a Coxeter group as the set of elements $y$ such that $x \nleq y$ with respect to Bruhat order. This notion provides a complementary perspective to the study of Bruhat intervals and their interpretation via folded galleries. We establish general properties of annexes and show that in affine Coxeter groups the annex of any fixed element is finite. In rank-two affine Coxeter complexes, we further describe the geometric structure of annex boundaries using descent sets and configurations of parallel reflections. These results offer a new geometric viewpoint on the structure of the Bruhat order.
On aggregation-quantization permutability problem for discrete-time Markov chains
Given random walk on a graph, the corresponding discrete-time quantum walk can be constructed using the method proposed by Szegedy. On the other hand, given a partition of the set of states of a Markov chain, one can study the corresponding aggregated process. We extend the aggregation technique to the level of quantum Markov chains. We provide conditions under which application of these two operations - Szegedy's quantization and aggregation - give the same result. In particular, we show that the conditions are satisfied in the case of the random walk on graphs equipped with equitable partitions. We present several examples, which include the classical/quantum walks on Platonic solids. We discuss also relation of discrete-time classical/quantum walks on $N$-dimensional hypercube and the Ehrenfests urn model with $N$ particles. We apply our technique for of discrete-time walks on Cayley graphs of free groups. We also compare our results with those obtained using Cantero-Moral-Velazquez uniformization of unitary matrices.
Fixed point theorem for cluster modular groups
We prove that any finite subgroup $G \subset Γ_{\boldsymbol{s}}$ of the cluster modular group has fixed points in the cluster manifolds $\mathcal{A}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ and $\mathcal{X}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ under a certain condition. This generalizes Kerckhoff's Nielsen realization theorem [Ker83] for the mapping class group action on the Teichmüller space. The condition holds whenever $Γ_{\boldsymbol{s}}$ admits a cluster DT transformation, and it can be also verified for all finite mutation types except for $X_7$. Our proof closely follows Kerckhoff's argument, based on the convexity of log-cluster variables.