group
10399 papers tagged with this keyword
Fermions and Zeta Function on the Graph
Published
• View Publication
• BIB
We propose a novel fermionic model on the graphs. The Dirac operator of the model consists of deformed incidence matrices on the graph and the partition function is given by the inverse of the graph zeta function. We find that the coefficients of the inverse of the graph zeta function, which is a polynomial of finite degree in the coupling constant, count the number of fermionic cycles on the graph. We also construct the model on grid graphs by using the concept of the covering graph and the Artin-Ihara $L$-function. In connection with this, we show that the fermion doubling is absent, and the overlap fermions can be constructed on a general graph. Furthermore, we relate our model to statistical models by introducing the winding number around cycles, where the distribution of the poles of the graph zeta function (the zeros of the partition function) plays a crucial role. Finally, we formulate gauge theory including fermions on the graph from the viewpoint of the covering graph derived from the gauge group in a unified way.
The existence of pyramidal Steiner triple systems over abelian groups
Published
• View Publication
• BIB
A Steiner triple system STS$(v)$ is called $f$-pyramidal if it has an automorphism group fixing $f$ points and acting sharply transitively on the remaining $v-f$ points. In this paper, we focus on the STSs that are $f$-pyramidal over some abelian group. Their existence has been settled only for the smallest admissible values of $f$, that is, $f=0,1,3$.
In this paper, we complete this result and determine, for every $f>3$, the spectrum of values $(f,v)$ for which there is an $f$-pyramidal STS$(v)$ over an abelian group. This result is obtained by constructing difference families relative to a suitable partial spread.
On subgroup perfect codes in vertex-transitive graphs
Published
• View Publication
• BIB
A subset $C$ of the vertex set $V$ of a graph $Γ$ is called a perfect code in $Γ$ if every vertex in $V\setminus C$ is adjacent to exactly one vertex in $C$. Given a group $G$ and a subgroup $H$ of $G$, a subgroup $A$ of $G$ containing $H$ is called a perfect code of the pair $(G,H)$ if there exists a coset graph $\mathrm{Cos}(G,H,U)$ such that the set of left cosets of $H$ in $A$ is a perfect code in $\mathrm{Cos}(G,H,U)$. In particular, $A$ is called a perfect code of $G$ if $A$ is a perfect code of the pair $(G,1)$. In this paper, we give a characterization of $A$ to be a perfect code of the pair $(G,H)$ under the assumption that $H$ is a perfect code of $G$. As a corollary, we derive an additional sufficient and necessary condition for $A$ to be a perfect code of $G$. Moreover, we establish conditions under which $A$ is not a perfect code of $(G,H)$, which is applied to construct infinitely many counterexamples to a question posed by Wang and Zhang [\emph{J.~Combin.~Theory~Ser.~A}, 196 (2023) 105737]. Furthermore, we initiate the study of determining which maximal subgroups of $S_n$ are perfect codes.
Monk Algebras and Representability
Published
• View Publication
• BIB
In ``Monk Algebras and Ramsey Theory,'' \emph{J. Log. Algebr. Methods Program.} (2022), Kramer and Maddux prove various representability results in furtherance of the goal of finding the smallest weakly representable but not representable relation algebra. They also pose many open problems.
In the present paper, we address problems and issues raised by Kramer and Maddux. In particular, we prove that their Proposition 7 does not generalize, and we answer Problem 1.1 in the negative: relation algebra $1311_{1316}$ is not representable. Thus $1311_{1316}$ is a good candidate for the smallest weakly representable but not representable relation algebra.
Finally, we give the first known finite cyclic group representations for relation algebras $31_{37}$, $32_{65}$, $1306_{1314}$, and $1314_{1316}$.
Circle graphs and the automorphism group of the circle
We prove that $Aut({\mathbb S}^1)$ coincides with the automorphism group of the \emph{circle graph} $\mathcal{C}$, i.e. the intersection graph of the family of chords of ${\mathbb S}^1$.
We prove that the countable subgraph of $\mathcal{C}$ induced by the rational chords is a strongly universal element of the family of circle graphs, and that it is invariant under local complementation. The only other known connected graphs that have the latter property are $K_2$ and the Rado graph.
A note on the maximum diversity of intersecting families in the symmetric group
Published in European Journal of Combinatorics Volume 134, April 2026, 104331
• View Publication
• BIB
Let $\mathcal{S}_n$ be the symmetric group on the set $[n]:=\{1,2,\ldots,n\}$. A family $\mathcal{F}\subset \mathcal{S}_n$ is called intersecting if for every $σ,π\in \mathcal{F}$ there exists some $i\in [n]$ such that $σ(i)=π(i)$. Deza and Frankl proved that the largest intersecting family of permutations is the full star, that is, the collection of all permutations with a fixed position. The diversity of an intersecting family $\mathcal{F}$ is defined as the minimum number of permutations in $\mathcal{F}$, whose deletion results in a star. In the present paper, by applying the spread approximation method developed recently by Kupavskii and Zakharov, we prove that for $n\geq 500$ the diversity of an intersecting subfamily of $\mathcal{S}_n$ is at most $(n-3)(n-3)!$, which is best possible.
Enumeration of walks in multidimensional orthants and reflection groups
We consider (random) walks in a multidimensional orthant. Using the idea of universality in probability theory, one can associate a unique polyhedral domain to any given walk model. We use this connection to prove two sets of new results. First, we are interested in a group of transformations naturally associated with any small step model; as it turns out, this group is central to the classification of walk models. We show a strong connection between this group and the reflection group through the walls of the polyhedral domain. As a consequence, we can derive various conditions for the combinatorial group to be infinite. Secondly, we consider the asymptotics of the number of excursions, whose critical exponent is known to be computable in terms of the eigenvalue of the above polyhedral domain. We prove new results from spectral theory on the eigenvalues of polyhedral nodal domains. We believe that these results are interesting in their own right; they can also be used to find new exact asymptotic results for walk models corresponding to these nodal polyhedral domains.
The{N/D}-Conjecture for Nonresonant Hyperplane Arrangements
This paper studies Bernstein--Sato polynomials $b_{f,0}$ for homogeneous polynomials $f$ of degree $d$ with $n$ variables. It is open to know when $-{n\over d}$ is a root of $b_{f,0}$. For essential indecomposable hyperplane arrangements, this is a conjecture by Budur, Mustaţă and Teitler and implies the strong topological monodromy conjecture for arrangements. Walther gave a sufficient condition that a certain differential form does not vanish in the top cohomology group of Milnor fiber. We use Walther's result to verify the $n\over d$-conjecture for weighted hyperplane arrangements satisfying the nonresonant condition.
A Relationship Between Character Values Of Wreath Products And The Symmetric Group
Published
• View Publication
• BIB
A relation between certain irreducible character values of the hyperoctahedral group $B_n$ ($\mathbb{Z}/2\mathbb{Z} \wr S_n$) and the symmetric group $S_{2n}$ was proved by F. Lübeck and D. Prasad in 2021. Their proof is algebraic in nature and uses Lie theory. Using combinatorial methods, R. Adin and Y. Roichman proved a similar relation between certain character values of $G\wr S_n$ and $S_{rn}$, where $G$ is an abelian group of order $r$ (generalizing the result of Lübeck-Prasad). Using their result, we prove yet another relation between certain irreducible character values of $G\wr S_n$ and $S_{rn}$, where $G$ is an abelian group of order $r$.
Quasi-optimal cyclic orbit codes
Published
• View Publication
• BIB
We focus on two aspects of cyclic orbit codes: invariants under equivalence and quasi-optimality. Regarding the first aspect, we establish a connection between the codewords of a cyclic orbit code and a certain linear set on the projective line. This allows us to derive new bounds on the parameters of the code. In the second part, we study a particular family of (quasi-)optimal cyclic orbit codes and derive a general existence theorem for quasi-optimal codes in even-dimensional vector spaces over finite fields of any characteristic. Finally, for our particular code family we describe the automorphism groups under the general linear group and a suitable Galois group.
On graphs with large third eigenvalue
Published
• View Publication
• BIB
Given a graph $G$, let $λ_3$ denote the third largest eigenvalue of its adjacency matrix. In this paper, we prove various results towards the conjecture that $λ_3(G) \le \frac{|V(G)|}{3}$, motivated by a question of Nikiforov. We generalise the known constructions that yield $λ_3(G) = \frac{|V(G)|}{3} - 1$ and prove the inequality holds for $G$ strongly regular, a regular line graph or a Cayley graph on an abelian group. We also consider the extended problem of minimising $λ_{n-1}$ on weighted graphs and reduce the existence of a minimiser with simple final eigenvalue to a vertex multiplication of a graph on 11 vertices. We prove that the minimal $λ_{n-1}$ over weighted graphs is at most $O(\sqrt{n})$ from the minimal $λ_{n-1}$ over unweighted graphs.
Reidemeister spectra of free nilpotent groups and plethysms of Schur functions
We establish a strong link between two open problems: determining the Reidemeister spectrum of free nilpotent groups and determining the coefficients in the Schur expansion of plethysms of Schur functions. Specifically, we show that the expressions occurring in the computations for the Reidemeister spectrum are sums of plethysms of the form $s_{1^{i}}[g]$, where $g$ is a Schur function or a Schur positive function.
How Associative Can a Non-Associative Moufang Loop Be?
Published
• View Publication
• BIB
We prove a non-associative analog to the well-known $\frac{5}{8}$ Theorem. Namely, for a finite Moufang loop with nuclear commutators, we show that if the probability that three randomly chosen elements associate is greater than $\frac{43}{64}$, then the loop must be a group. The bound is tight as demonstrated by the 16-element Octonion loop.
Fundamental polytope for the isometry group of an alcove
Published
• View Publication
• BIB
A fundamental alcove $\mathcal{A}$ is a tile in a paving of a vector space $V$ by an affine reflection group $W_{\mathrm{aff}}$. Its geometry encodes essential features of $W_{\mathrm{aff}}$, such as its affine Dynkin diagram $\widetilde{D}$ and fundamental group $Ω$. In this article we investigate its full isometry group $\mathrm{Aut}(\mathcal{A})$. It is well known that the isometry group of a regular polyhedron is generated by hyperplane reflections on its faces. Being a simplex, an alcove $\mathcal{A}$ is the simplest of polyhedra, nevertheless it is seldom a regular one. In our first main result we show that $\mathrm{Aut}(\mathcal{A})$ is isomorphic to $\mathrm{Aut}(\widetilde{D})$. Building on this connection, we establish that $\mathrm{Aut}(\mathcal{A})$ is an abstract Coxeter group, with generators given by affine isometric involutions of the ambient space. Although these involutions are seldom reflections, our second main result leverages them to construct, by slicing the Komrakov--Premet fundamental polytope $\mathcal{K}$ for the action of $Ω$, a family of fundamental polytopes for the action of $\mathrm{Aut}(\mathcal{A})$ on $\mathcal{A}$, whose vertices are contained in the vertices of $\mathcal{K}$ and whose faces are parametrized by the so-called balanced minuscule roots, which we introduce here. In an appendix, we discuss some related negative results on stratified centralizers and equivariant triangulations.
Sets preserved by a large subgroup of the special linear group
Published
• View Publication
• BIB
Let $E$ be a subset of the affine plane over a finite field $\mathbb{F}_q$. We bound the size of the subgroup of $SL_2(\mathbb{F}_q)$ that preserves $E$. As a consequence, we show that if $E$ has size $\ll q^α$ and is preserved by $\gg q^β$ elements of $SL_2(\mathbb{F}_q)$ with $β\geq 3α/2$, then $E$ is contained in a line. This result is sharp in general, and will be proved by using combinatorial arguments and applying a point-line incidence bound in $\mathbb{F}_q^3$ due to Mockenhaupt and Tao (2004).
A uniform action of the dihedral group $ Z_2\times D_3$ on Littlewood--Richardson coefficients
We show that the dihedral group $ Z_2\times D_3$ of order twelve acts faithfully on the set LR, either consisting of Littlewood-Richardson tableaux, or their companion tableaux, or Knutson-Tao hives or Knutson-Tao-Woodward puzzles,via involutions which simultaneously conjugate or shuffle a Littlewood-Richardson triple of partitions. The action of $ Z_2\times D_3$ carries a linear time index two subgroup $H\simeq D_3$ action, where an involution which goes from $H$ into the other coset of H is difficult in the sense that it is not manifest neither exhibited by simple means. Pak and Vallejo have earlier made this observation with respect to the subgroup of index two in the symmetric group $ S_3$ consisting of cyclic permutations which H extends. The other half LR symmetries, not in the range of the H-action, are hidden and consist of commutativity and conjugation symmetries. Their exhibition is reduced to the action of a remaining generator of $ Z_2\times D_3$, which belongs to the other coset of H, and enables to reduce in linear time all known LR commuters and transposers to each other, and to the Luzstig- Schützenberger involution. A hive is specified by superimposing the companion tableau pair of an LR tableau, and its $Z_2\times D_3$-symmetries are exhibited via the corresponding LR companion tableau pair. The action of $ Z_2\times D_3$ on puzzles, naturally in bijection with Purbhoo mosaics, is consistent with the migration map on mosaics which translates to jeu de taquin slides or tableau-switching on LR tableaux. Their H-symmetries are reduced to simple procedures on a puzzle via label swapping together with simple reflections of an equilateral triangle, that is, puzzle dualities, and rotations on an equilateral triangle.
A categorical approach to additive combinatorics
Published
• View Publication
• BIB
Motivated by the definition of Freiman homomorphism, we explore the possibilities of formulating some basic notions and techniques of additive combinatorics in a categorical language. We show that additive sets and Freiman homomorphisms form a category and we study several limit and colimit constructions in this, and in an interesting subcategory of this category. Moreover, we study the additive structure of these (co)limit objects using additive doubling constant. We relate this category to that of finite sets and mappings, and that of abelian groups and group homomorphisms. We show that the Konyagin and Lev result on the existence of universal ambient groups is an instance of adjunction
Abstract Regular Polytopes of Finite Irreducible Coxeter Groups
Published
• View Publication
• BIB
Here, for $W$ the Coxeter group $\mathrm{D}_n$ where $n > 4$, it is proved that the maximal rank of an abstract regular polytope for $W$ is $n - 1$ if $n$ is even and $n$ if $n$ is odd. Further it is shown that $W$ has abstract regular polytopes of rank $r$ for all $r$ such that $3 \leq r \leq n - 1$, if $n$ is even, and $3 \leq r \leq n$, if $n$ is odd. The possible ranks of abstract regular polytopes for the exceptional finite irreducible Coxeter groups are also determined.
Block components of generalized quaternion group codes
Codes in the generalized quaternion group algebra $\mathbb{F}_q[Q_{4n}]$ are considered. Restricting to char$\mathbb{F}_q \nmid 4n$ the structure of an arbitrary code $C \subseteq \mathbb{F}_q[Q_{4n}]$ is described via the Wedderburn decomposition. Moreover it is known that in this case every code $C \subseteq \mathbb{F}_q[Q_{4n}]$ has a generating idempotent $λ\in \mathbb{F}_q[Q_{4n}]$. Given the generating idempotent of a code $C$ we determine the different components in its decomposition $C \cong \bigoplus_{j=1}^{r+s}C_j \oplus \bigoplus_{i=1}^{k+t}C'_{i}.$ Afterwards we apply this result to describe the blocks of codes induced by cyclic group codes.
Group Invariant Quantum Latin Squares
A quantum Latin square is an $n \times n$ array of unit vectors where each row and column forms an orthonormal basis of a fixed complex vector space. We introduce the notion of $(G,G')$-invariant quantum Latin squares for finite groups $G$ and $G'$. These are quantum Latin squares with rows and columns indexed by $G$ and $G'$ respectively such that the inner product of the $a,b$-entry with the $c,d$-entry depends only on $a^{-1}c \in G$ and $b^{-1}d \in G'$. This definition is motivated by the notion of group invariant bijective correlations introduced in [Roberson \& Schmidt (2020)], and every group invariant quantum Latin square produces a group invariant bijective correlation, though the converse does not hold. In this work we investigate these group invariant quantum Latin squares and their corresponding correlations. Our main result is that, up to applying a global isometry to every vector in a $(G,G')$-invariant quantum Latin square, there is a natural bijection between these objects and trace and conjugate transpose preserving isomorphisms between the group algebras of $G$ and $G'$. This in particular proves that a $(G,G')$-invariant quantum Latin square exists if and only if the multisets of degrees of irreducible representations are equal for $G$ and $G'$. Another motivation for this line of work is that whenever Cayley graphs for groups $G$ and $G'$ are quantum isomorphic, then there is a $(G,G')$-invariant quantum correlation witnessing this, and thus it suffices to consider such correlations when searching for quantum isomorphic Cayley graphs. Given a group invariant quantum correlation, we show how to construct all pairs of graphs for which it gives a quantum isomorphism.