group
10226 papers tagged with this keyword
Laplacian eigenvalues of independence complexes via additive compound matrices
Published in Discrete Analysis 2024:15, 17 pp
• View Publication
• BIB
The independence complex of a graph $G=(V,E)$ is the simplicial complex $I(G)$ on vertex set $V$ whose simplices are the independent sets in $G$. We present new lower bounds on the eigenvalues of the $k$-dimensional Laplacian $L_k(I(G))$ in terms of the eigenvalues of the graph Laplacian $L(G)$. As a consequence, we show that for all $k\geq 0$, the dimension of the $k$-th reduced homology group (with real coefficients) of $I(G)$ is at most \[ \left| \left\{ 1\leq i_1<\cdots<i_{k+1}\leq |V| : \, λ_{i_1}+λ_{i_2}+\cdots+λ_{i_{k+1}} \geq |V|\right\}\right|,\] where $λ_1\geqλ_2\geq \cdots\geq λ_{|V|}=0$ are the eigenvalues of $L(G)$. In particular, if $k$ is the minimal number such that the sum of the $k$ largest eigenvalues of $L(G)$ is at least $|V|$, then $\tilde{H}_i(I(G);\mathbb{R})=0$ for all $i\leq k-2$. This extends previous results by Aharoni, Berger and Meshulam. Our proof relies on a relation between the $k$-dimensional Laplacian $L_k(I(G))$ and the $(k+1)$-th additive compound matrix of $L_0(I(G))$, which is an $\binom{n}{k+1}\times\binom{n}{k+1}$ matrix whose eigenvalues are all the possible sums of $k+1$ eigenvalues of the $0$-dimensional Laplacian. Our results apply also in the more general setting of vertex-weighted Laplacian matrices.
The Forest Filtration of a Graph
Given a graph $G$, we define a filtration of simplicial complexes associated to $G$, $\mathcal{F}_0(G)\subseteq\mathcal{F}_1(G)\subseteq\cdots\subseteq\mathcal{F}_\infty(G)$ where the first complex is the independence complex and the last the complex is formed by the acyclic sets of vertices. We prove some properties of this filtration and we calculate the homotopy type for various families of graphs. We give an upper bound for the decycling number and generalizations of this parameter using the dimensions of the rational cohomology groups of these complexes. We also derive an upper bound for the Fibonacci numbers of ternary graphs.
On symmetric 2-designs of prime order with almost simple flag-transitive automorphism groups
In this article, we investigate symmetric 2-designs of prime order admitting a flag-transitive automorphism group G. Recently, the authors proved that the automorphism group G of this type of designs must be point-primitive, and is of affine or almost simple type. Here, we give the complete classification of symmetric 2-designs of prime order, admitting a flag-transitive almost simple automorphism group.
Semi-simplicial combinatorics of cyclinders and subdivisions
In this work, we analyze the combinatorial properties of cylinders and subdivisions of augmented semi-simplicial sets. These constructions are obtained as particular cases of a certain action from a co-semi-simplicial set on an augmented semi-simplicial set. We also consider cylinders and subdivision operators in the algebraic setting of augmented sequences of integers. These operators are defined either by taking an action of matrices on sequences of integers (using binomial matrices) or by taking the simple product of sequences and matrices. We compare both the geometric and algebraic contexts using the sequential cardinal functor $|\cdot|$, which associates the augmented sequence $|X|=(|X_n|)_{n\geq -1}$ to each augmented semi-simplicial finite set $X$. Here, $|X_n|$ stands for the finite cardinality of the set of $n$-simplices $X_n$. The sequential cardinal functor transforms the action of any co-semi-simplicial set into the action of a matrix on a sequence. Therefore, we can easily calculate the number of simplices of cylinders or subdivisions of an augmented semi-simplicial set. Alternatively, instead of using the action of a matrix on a sequence, we can also compute suitable matrices and consider the product of an augmented sequence of integers and an infinite augmented matrix of integers. The calculation of these matrices is related mainly to binomial, chain-power-set, and Stirling numbers. From another point of view, these matrices can be considered as continuous automorphisms of the Baer-Specker topological group.
Surfaces with given Automorphism Group
Frucht showed that, for any finite group $G$, there exists a cubic graph such that its automorphism group is isomorphic to $G$. For groups generated by two elements we simplify his construction to a graph with fewer nodes. In the general case, we address an oversight in Frucht's construction. We prove the existence of cycle double covers of the resulting graphs, leading to simplicial surfaces with given automorphism group. For almost all finite non-abelian simple groups we give alternative constructions based on graphic regular representations. In the general cases $C_n,D_n,A_5$ for $n\geq 4$, we provide alternative constructions of simplicial spheres. Furthermore, we embed these surfaces into the Euclidean 3-Space with equilateral triangles such that the automorphism group of the surface and the symmetry group of the corresponding polyhedron in $\mathrm{O}(3)$ are isomorphic.
Four infinite families of chiral $3$-polytopes of type $\{4, 8\}$ with solvable automorphism groups
We construct four infinite families of chiral $3$-polytopes of type $\{4, 8\}$, with $1024m^4$, $2048m^4$, $4096m^4$ and $8192m^4$ automorphisms for every positive integer $m$, respectively. The automorphism groups of these polytopes are solvable groups, and when $m$ is a power of $2$, they provide examples with automorphism groups of order $2^n$ where $n \geq 10$. (On the other hand, no chiral polytopes of type $\{4, 8\}$ exist for $n \leq 9$.) In particular, our families give a partial answer to a problem proposed by Schulte and Weiss in [Problems on polytopes, their groups, and realizations, {\em Period. Math. Hungar.} 53 (2006), 231-255] and a problem proposed by Pellicer in [Developments and open problems on chiral polytopes, {\em Ars Math. Contemp} 5 (2012), 333-354].
Complex spherical designs from group orbits
We consider the general question of when all orbits under the unitary action of a finite group give a complex spherical design. Those orbits which have large stabilisers are then good candidates for being optimal complex spherical designs. This is done by developing the general theory of complex designs and associated (harmonic) Molien series for group actions. As an application, we give explicit constructions of some putatively optimal real and complex spherical t-designs.
Generating Graphs of Finite Dihedral Groups
Published in Results in Mathematics, 2023
• View Publication
• BIB
For a group $G$, the generating graph $Γ(G)$ is defined as the graph with the vertex set $G$, and any two distinct vertices of $Γ(G)$ are adjacent if they generate $G$. In this paper, we study the generating graph of $D_n,$ where $D_n$ is a Dihedral group of order $2n$. We explore various graph theoretic properties, and determine complete spectrum of the adjacency and the Laplacian matrix of $Γ(D_n)$. Moreover, we compute some distance and degree based topological indices of $Γ(D_n)$.
Full asymptotic expansion for orbit-summable quadrant walks and discrete polyharmonic functions
Enumeration of walks with small steps in the quadrant has been a topic of great interest in combinatorics over the last few years. In this article, it is shown how to compute exact asymptotics of the number of such walks with fixed start- and endpoints for orbit-summable models with finite group, up to arbitrary precision. The resulting representation greatly resembles one conjectured by Chapon, Fusy and Raschel for walks starting from the origin (AofA 2020), differing only in terms appearing due to the periodicity of the model. We will see that the dependency on start- and endpoint is given by discrete polyharmonic functions, which are solutions of $\triangle^n v=0$ for a discretisation $\triangle$ of a Laplace-Beltrami operator. They can be decomposed into a sum of products of lower order polyharmonic functions of either the start- or the endpoint only, which leads to a partial extension of a recent theorem by Denisov and Wachtel (Ann. Prob. 43.3).
Generalized Heawood Graphs and Triangulations of Tori
The Heawood graph is a remarkable graph that played a fundamental role in the development of the theory of graph colorings on surfaces in the 19th and 20th centuries.
Based on permutahedral tilings, we introduce a generalization of the classical Heawood graph indexed by a sequence of positive integers.
We show that the resulting generalized Heawood graphs are toroidal graphs, which are dual to higher dimensional triangulated tori. We also present explicit combinatorial formulas for their $f$-vectors and study their automorphism groups.
Induced log-concavity of equivariant matroid invariants
Inspired by the notion of equivariant log-concavity, we introduce the concept of induced log-concavity for a sequence of representations of a finite group. For an equivariant matroid equipped with a symmetric group action or a finite general linear group action, we transform the problem of proving the induced log-concavity of matroid invariants to that of proving the Schur positivity of symmetric functions. We prove the induced log-concavity of the equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids equipped with the action of a finite general linear group, as well as that of the equivariant Kazhdan-Lusztig polynomials of uniform matroids equipped with the action of a symmetric group.
As a consequence of the former, we obtain the log-concavity of Kazhdan-Lusztig polynomials of $q$-niform matroids, thus providing further positive evidence for Elias, Proudfoot and Wakefield's log-concavity conjecture on the matroid Kazhdan-Lusztig polynomials. From the latter we obtain the log-concavity of Kazhdan-Lusztig polynomials of uniform matroids, which was recently proved by Xie and Zhang by using a computer algebra approach. We also establish the induced log-concavity of the equivariant characteristic polynomials and the equivariant inverse Kazhdan-Lusztig polynomials for $q$-niform matroids and uniform matroids.
Neighbour-transitive codes in Kneser graphs
A code $C$ is a subset of the vertex set of a graph and $C$ is $s$-neighbour-transitive if its automorphism group ${\rm Aut}(C)$ acts transitively on each of the first $s+1$ parts $C_0,C_1,\ldots,C_s$ of the distance partition $\{C=C_0,C_1,\ldots,C_ρ\}$, where $ρ$ is the covering radius of $C$. While codes have traditionally been studied in the Hamming and Johnson graphs, we consider here codes in the Kneser graphs. Let $Ω$ be the underlying set on which the Kneser graph $K(n,k)$ is defined. Our first main result says that if $C$ is a $2$-neighbour-transitive code in $K(n,k)$ such that $C$ has minimum distance at least $5$, then $n=2k+1$ (i.e., $C$ is a code in an odd graph) and $C$ lies in a particular infinite family or is one particular sporadic example. We then prove several results when $C$ is a neighbour-transitive code in the Kneser graph $K(n,k)$. First, if ${\rm Aut}(C)$ acts intransitively on $Ω$ we characterise $C$ in terms of certain parameters. We then assume that ${\rm Aut}(C)$ acts transitively on $Ω$, first proving that if $C$ has minimum distance at least $3$ then either $K(n,k)$ is an odd graph or ${\rm Aut}(C)$ has a $2$-homogeneous (and hence primitive) action on $Ω$. We then assume that $C$ is a code in an odd graph and ${\rm Aut}(C)$ acts imprimitively on $Ω$ and characterise $C$ in terms of certain parameters. We give examples in each of these cases and pose several open problems.
A few more Hadamard Partitioned Difference Families
A $(G,[k_1,\dots,k_t],λ)$ {\it partitioned difference family} (PDF) is a partition $\cal B$ of an additive group $G$ into sets ({\it blocks}) of sizes $k_1$, \dots, $k_t$, such that the list of differences of ${\cal B}$ covers exactly $λ$ times every non-zero element of $G$. It is called {\it Hadamard} (HPDF) if the order of $G$ is $2λ$. The study of HPDFs is motivated by the fact that each of them gives rise, recursively, to infinitely many other PDFs. Apart from the {\it elementary} HPDFs consisting of a Hadamard difference set and its complement, only one HPDF was known. In this article we present three new examples in several groups and we start a general investigation on the possible existence of HPDFs with assigned parameters by means of simple arguments.
Universal adjacency spectrum of (proper) power graphs and their complements on some groups
The power graph $\mathscr{P}(G)$ of a group $G$ is an undirected graph with all the elements of $G$ as vertices and where any two vertices $u$ and $v$ are adjacent if and only if $u=v^m $ or $v=u^m$, $ m \in$ $\mathbb{Z}$. For a simple graph $H$ with adjacency matrix $A(H)$ and degree diagonal matrix $D(H)$, the universal adjacency matrix is $U(H)= αA(H)+βD(H)+ γI +ηJ$, where $α(\neq 0), β, γ, η\in \mathbb{R}$, $I$ is the identity matrix and $J$ is the all-ones matrix of suitable order. One can study many graph-associated matrices, such as adjacency, Laplacian, signless Laplacian, Seidel etc. in a unified manner through the universal adjacency matrix of a graph. Here we study universal adjacency eigenvalues and eigenvectors of power graphs, proper power graphs and their complements on the group $\mathbb{Z}_n$, dihedral group ${D}_n$, and the generalized quaternion group ${Q}_n$. Spectral results of no kind for the complement of power graph on any group were obtained before. We determine the full spectrum in some particular cases. Moreover, several existing results can be obtained as very specific cases of some results of the paper.
Tuple regularity and $k$-ultrahomogeneity for finite groups
For $k, \ell \in \mathbb{N}$, we introduce the concepts of $k$-ultrahomogeneity and $\ell$-tuple regularity for finite groups. Inspired by analogous concepts in graph theory, these form a natural generalization of homogeneity, which was studied by Cherlin and Felgner and Li as well as automorphism transitivity, which was investigated by Zhang. Additionally, these groups have an interesting algorithmic interpretation. We classify the $k$-ultrahomogeneous and $\ell$-tuple regular finite groups for $k, \ell \geq 2$. In particular, we show that every 2-tuple regular finite group is ultrahomogeneous.
Toggling, rowmotion, and homomesy on interval-closed sets
Interval-closed sets of a poset are a natural superset of order ideals. We initiate the study of interval-closed sets of finite posets from enumerative and dynamical perspectives. In particular, we use the generalized toggle group to define rowmotion on interval-closed sets as a product of these toggles. Our main theorem is an intricate global characterization of rowmotion on interval-closed sets, which we show is equivalent to the toggling definition. We also study specific posets; we enumerate interval-closed sets of ordinal sums of antichains, completely describe their rowmotion orbits, and prove a homomesy result involving the signed cardinality statistic. Finally, we study interval-closed sets of product of chains posets, proving further results about enumeration and homomesy.
The first example of a simple $2-(81,6,2)$ design
Published in Examples and Counterexamples, 1, 2021, 100005
• View Publication
• BIB
We give the very first example of a simple $2-(81,6,2)$ design. Its points are the elements of the elementary abelian group of order 81 and each block is the union of two parallel lines of the 4-dimensional geometry over the field of order 3. Hence it is also additive.
Additivity of symmetric and subspace designs
A $2$-$(v,k,λ)$ design is additive (or strongly additive) if it is possible to embed it in a suitable abelian group $G$ in such a way that its block set is contained in (or coincides with) the set of all the zero-sum $k$-subsets of $G$. Explicit results on the additivity or strong additivity of symmetric designs and subspace 2-designs are presented. In particular, the strong additivity of PG$_d(n,q)$, which was known to be additive only for $q=2$ or $d=n-1$, is always established.
Graph Automorphism Group Equivariant Neural Networks
Permutation equivariant neural networks are typically used to learn from data that lives on a graph. However, for any graph $G$ that has $n$ vertices, using the symmetric group $S_n$ as its group of symmetries does not take into account the relations that exist between the vertices. Given that the actual group of symmetries is the automorphism group Aut$(G)$, we show how to construct neural networks that are equivariant to Aut$(G)$ by obtaining a full characterisation of the learnable, linear, Aut$(G)$-equivariant functions between layers that are some tensor power of $\mathbb{R}^{n}$. In particular, we find a spanning set of matrices for these layer functions in the standard basis of $\mathbb{R}^{n}$. This result has important consequences for learning from data whose group of symmetries is a finite group because a theorem by Frucht (1938) showed that any finite group is isomorphic to the automorphism group of a graph.
Fragmenting any Parallelepiped into a Signed Tiling
Published in Discrete & Computational Geometry, 2024
• View Publication
• BIB
It is broadly known that any parallelepiped tiles space by translating copies of itself along its edges. In earlier work relating to higher-dimensional sandpile groups, the second author discovered a novel construction which fragments the parallelpiped into a collection of smaller tiles. These tiles fill space with the same symmetry as the larger parallelepiped. Their volumes are equal to the components of the multi-row Laplace determinant expansion, so this construction only works when all these signs are non-negative (or non-positive).
In this work, we extend the construction to work for all parallelepipeds, without requiring the non-negative condition. This naturally gives tiles with negative volume, which we understand to mean canceling out tiles with positive volume. In fact, with this cancellation, we prove that every point in space is contained in exactly one more tile with positive volume than tile with negative volume. This is a natural definition for a signed tiling.
Our main technique is to show that the net number of signed tiles doesn't change as a point moves through space. This is a relatively indirect proof method, and the underlying structure of these tilings remains mysterious.