group
10405 papers tagged with this keyword
Sidon sets and $C_4$-saturated graphs
The problem of determining the Turán number of $C_4$ is a well studied problem that dates back to a paper of Erdös from 1938. It is known that Sidon sets can be used to construct $C_4$-free graphs. If $\A$ is a Sidon set in the abelian group $X$, the sum graph $G_{X, \A}$ with vertex set $X$ and edges set $E=\{\{x, y\}:x\neq y, x+y\in \A\}$ is $C_4$-free. Using the sum graph of a Sidon set of type Singer we verify a conjecture of Erdös and Simonovits concerning the number of copies of $C_4$ in a graph with $ex(q^2+q+1, C_4)+1$ edges. Further, we give a sufficient condition for the sum graph of a Sidon set to be $C_4$-saturated and describe new $C_4$-saturated graphs.
Ramanujan complexes and Golden Gates in PU(3)
Published in Geometric and Functional Analysis 32:193-235 (2022)
• View Publication
• BIB
In a seminal series of papers from the 80's, Lubotzky, Phillips and Sarnak applied the Ramanujan-Petersson Conjecture for $GL_{2}$ (Deligne's theorem), to a special family of arithmetic lattices, which act simply-transitively on the Bruhat-Tits trees associated with $SL_{2}(\mathbb{Q}_{p})$. As a result, they obtained explicit Ramanujan Cayley graphs from $PSL_{2}\left(\mathbb{F}_{p}\right)$, as well as optimal topological generators ("Golden Gates") for the compact Lie group $PU(2)$. In higher dimension, the naive generalization of the Ramanujan Conjecture fails, due to the phenomenon of endoscopic lifts. In this paper we overcome this problem for $PU_{3}$ by constructing a family of arithmetic lattices which act simply-transitively on the Bruhat-Tits buildings associated with $SL_{3}(\mathbb{Q}_{p})$ and $SU_{3}(\mathbb{Q}_{p})$, while at the same time do not admit any representation which violates the Ramanujan Conjecture. This gives us Ramanujan complexes from $PSL_{3}(\mathbb{F}_{p})$ and $PSU_{3}(\mathbb{F}_{p})$, as well as golden gates for $PU(3)$.
Geometric constructions over $\mathbb{C}$ and $\mathbb{F}_2$ for Quantum Information
Published
• View Publication
• BIB
In this review paper I present two geometric constructions of distinguished nature, one is over the field of complex numbers $\mathbb{C}$ and the other one is over the two elements field $\mathbb{F}_2$. Both constructions have been employed in the past fifteen years to describe two quantum paradoxes or two resources of quantum information: entanglement of pure multipartite systems on one side and contextuality on the other. Both geometric constructions are linked to representation of semi-simple Lie groups/algebras. To emphasize this aspect one explains on one hand how well-known results in representation theory allows one to see all the classification of entanglement classes of various tripartite quantum systems ($3$ qubits, $3$ fermions, $3$ bosonic qubits...) in a unified picture. On the other hand, one also shows how some weight diagrams of simple Lie groups are encapsulated in the geometry which deals with the commutation relations of the generalized $N$-Pauli group.
Singular Graphs on which the Dihedral Group Acts Vertex Transitively
Let $Γ$ be a simple connect graph on a finite vertex set $V$ and let $A$ be its adjacency matrix. Then $Γ$ is said to be \textit{singular} if and only if $0$ is an eigenvalue of $A.$ The \textit{nullity (singularity)} of $Γ,$ denoted by ${\rm null}(Γ),$ is the \textit{algebraic multiplicity} of the eigenvalue $0$ in the spectrum of $Γ.$ The general problem of characterising singular graphs is easy to state but it seems too difficult in this time. In this work, we investigate this problem for finite graphs on which the dihedral group $D_n$ acts vertex transitively as group of automorphisms. We determine the nullity of such graphs. We show that Cayley graphs over dihedral groups $D_{p^s} $ is non-singular if $|H \cap C_{p^s}|\neq |H \cap C_{p^s}b|$ and $|H|<p$ where $p$ is a prime number and $s \in \mathbb{N}.$
Smallest cyclically covering subspaces of $\mathbb{F}_q^n$, and lower bounds in Isbell's conjecture
Published
• View Publication
• BIB
For a prime power $q$ and a positive integer $n$, we say a subspace $U$ of ${\mathbb{F}_q^n}$ is {\em cyclically covering} if the union of the cyclic shifts of $U$ is equal to $\mathbb{F}_q^n$. We investigate the problem of determining the minimum possible dimension of a cyclically covering subspace of $\mathbb{F}_q^n$. (This is a natural generalisation of a problem posed in 1991 by the first author.) We prove several upper and lower bounds, and for each fixed $q$, we answer the question completely for infinitely many values of $n$ (which take the form of certain geometric series). Our results imply lower bounds for a well-known conjecture of Isbell, and a generalisation theoreof, supplementing lower bounds due to Spiga. We also consider the analogous problem for general representations of groups. We use arguments from combinatorics, representation theory and finite field theory.
Bi-pruned Hurwitz numbers
Published
• View Publication
• BIB
Hurwitz numbers enumerate ramified coverings of the Riemann sphere with fixed ramification data. Certain kinds of ramification data are of particular interest, such as double Hurwitz numbers, which count covers with fixed arbitrary ramification over $0$ and $\infty$ and simple ramification over $b$ points, where $b$ is given by the Riemann-Hurwitz formula. In this work, we introduce the notion of bi-pruned double Hurwitz numbers. This is a new enumerative problem, which yields smaller numbers but completely determines double Hurwitz numbers. They count a relevant subset of covers and share many properties with double Hurwitz numbers, such as piecewise polynomial behaviour and an expression in the symmetric group. Thus, we may view them as a core of the double Hurwitz numbers problem. This work is built on and generalises previous work of Do--Norbury and the author.
Stable Cluster Variables
Richard Eager and Sebastian Franco introduced a change of basis transformation on the F-polynomials of Fomin and Zelevinsky, corresponding to rewriting them in the basis given by fractional brane charges rather than quiver gauge groups. This transformation seems to display a surprising stabilization property, apparently causing the first few terms of the polynomials at each step of the mutation sequence to coincide. Eager and Franco conjecture that this transformation will always cause the polynomials to converge to a formal power series as the number of mutations goes to infinity, at least for quivers possessing certain symmetries and along periodic mutation sequences respecting such symmetries. In this paper, we verify this convergence in the case of the Kronecker and Conifold quivers. We also investigate convergence in the $F_0$ quiver. We provide a combinatorial interpretation for the stable cluster variables in each appropriate case.
Exotic Springer fibers for orbits corresponding to one-row bipartitions
Published
• View Publication
• BIB
We study the geometry and topology of exotic Springer fibers for orbits corresponding to one-row bipartitions from an explicit, combinatorial point of view. This includes a detailed analysis of the structure of the irreducible components and their intersections as well as the construction of an explicit affine paving. Moreover, we compute the ring structure of cohomology by constructing a CW-complex homotopy equivalent to the exotic Springer fiber. This homotopy equivalent space admits an action of the type C Weyl group inducing Kato's original exotic Springer representation on cohomology. Our results are described in terms of the diagrammatics of the one-boundary Temperley-Lieb algebra (also known as the blob algebra). This provides a first step in generalizing the geometric versions of Khovanov's arc algebra to the exotic setting.
A complete solution to the infinite Oberwolfach problem
Published
• View Publication
• BIB
Let $F$ be a $2$-regular graph of order $v$. The Oberwolfach problem, $OP(F)$, asks for a $2$-factorization of the complete graph on $v$ vertices in which each $2$-factor is isomorphic to $F$. In this paper, we give a complete solution to the Oberwolfach problem over infinite complete graphs, proving the existence of solutions that are regular under the action of a given involution free group $G$. We will also consider the same problem in the more general contest of graphs $F$ that are spanning subgraphs of an infinite complete graph $\mathbb{K}$ and we provide a solution when $F$ is locally finite. Moreover, we characterize the infinite subgraphs $L$ of $F$ such that there exists a solution to $OP(F)$ containing a solution to $OP(L)$.
On the Invariants of the Cohomology of Complements of Coxeter Arrangements
Published
• View Publication
• BIB
We refine Brieskorn's study of the cohomology of the complement of the reflection arrangement of a finite Coxeter group $W$. As a result we complete the verification of a conjecture by Felder and Veselov that gives an explicit basis of the space of $W$-invariants in this cohomology ring.
Quantum nilpotent subalgebras of classical quantum groups and affine crystals
Published in Journal of Combinatorial Theory, Series A, 168, (2019), 219-254
• View Publication
• BIB
We study the crystal of quantum nilpotent subalgebra of $U_q(D_n)$ associated to a maximal Levi subalgebra of type $A_{n-1}$. We show that it has an affine crystal structure of type $D_n^{(1)}$ isomorphic to a limit of perfect Kirillov-Reshetikhin crystal $B^{n,s}$ for $s\geq 1$, and give a new polytope realization of $B^{n,s}$. We show that an analogue of RSK correspondence for type $D$ due to Burge is an isomorphism of affine crystals and give a generalization of Greene's formula for type $D$.
On involutions in the Weyl group and $B$-orbit closures in the orthogonal case
Published
• View Publication
• BIB
We study coadjoint $B$-orbits on $\mathfrak{n}^*$, where $B$ is a Borel subgroup of a complex orthogonal group $G$, and $\mathfrak{n}$ is the Lie algebra of the unipotent radical of $B$. To each basis involution $w$ in the Weyl group $W$ of $G$ one can assign the associated $B$-orbit $Ω_w$. We prove that, given basis involutions $σ$, $τ$ in $W$, if the orbit $Ω_σ$ is contained in the closure of the orbit $Ω_τ$ then $σ$ is less than or equal to $τ$ with respect to the Bruhat order on $W$. For a basis involution $w$, we also compute the dimension of $Ω_w$ and present a conjectural description of the closure of $Ω_w$.
Pattern groups and a poset based Hopf monoid
Published
• View Publication
• BIB
The supercharacter theory of algebra groups gave us a representation theoretic realization of the Hopf algebra of symmetric functions in noncommuting variables. The underlying representation theoretic framework comes equipped with two canonical bases, one of which was completely new in terms of symmetric functions. This paper simultaneously generalizes this Hopf structure by considering a larger class of groups while also restricting the representation theory to a more combinatorially tractable one. Using the normal lattice supercharacter theory of pattern groups, we not only gain a third canonical basis, but also are able to compute numerous structure constants in the corresponding Hopf monoid, including coproducts and antipodes for the new bases.
Hindman's finite sums theorem and its application to topologizations of algebras
The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent ultrafilters in ultrafilter extensions of semigroups. The second, main part of the paper is devoted to the topologizability problem of a wide class of algebraic structures called polyrings; this class includes Abelian groups, rings, modules, algebras over a ring, differential rings, and others. We show that the Zariski topology of such an algebra is always non-discrete. Actually, a much stronger fact holds: if $K$ is an infinite polyring, $n$ a natural number, and a map $F$ of $K^n$ into $K$ is defined by a term in $n$ variables, then $F$ is a closed nowhere dense subset of the space $K^{n+1}$ with its Zariski topology. In particular, $K^n$ is a closed nowhere dense subset of $K^{n+1}$. The proof essentially uses a multidimensional version of Hindman's finite sums theorem. The third part of the paper lists several problems concerning topologization of various algebraic structures, their Zariski topologies, and related questions.
The structure of normal lattice supercharacter theories
Published
• View Publication
• BIB
The character theory of finite groups has numerous basic questions that are often already quite involved: enumerating of irreducible characters, their character formulas, point-wise product decompositions, and restriction/induction between groups. A supercharacter theory is a framework for simplifying the character theory of a finite group, while ideally not losing all important information. This paper studies one such theory that straddles the gap between retaining valuable group information while reducing the above fundamental questions to more combinatorial lattice constructions.
Archimedean toroidal maps and their minimal almost regular covers
Published
• View Publication
• BIB
The automorphism group of a map acts naturally on its flags (triples of incident vertices, edges, and faces). An Archimedean map on the torus is called almost regular if it has as few flag orbits as possible for its type; for example, a map of type $(4.8^2)$ is called almost regular if it has exactly three flag orbits. Given a map of a certain type, we will consider other more symmetric maps that cover it. In this paper, we prove that each Archimedean toroidal map has a unique minimal almost regular cover. By using the Gaussian and Eisenstein integers, along with previous results regarding equivelar maps on the torus, we construct these minimal almost regular covers explicitly.
Finite $3$-connected homogeneous graphs
A finite graph $\G$ is said to be {\em $(G,3)$-$($connected$)$ homogeneous} if every isomorphism between any two isomorphic (connected) subgraphs of order at most $3$ extends to an automorphism $g\in G$ of the graph, where $G$ is a group of automorphisms of the graph. In 1985, Cameron and Macpherson determined all finite $(G, 3)$-homogeneous graphs. In this paper, we develop a method for characterising $(G,3)$-connected homogeneous graphs. It is shown that for a finite $(G,3)$-connected homogeneous graph $\G=(V, E)$, either $G_v^{\G(v)}$ is $2$--transitive or $G_v^{\G(v)}$ is of rank $3$ and $\G$ has girth $3$, and that the class of finite $(G,3)$-connected homogeneous graphs is closed under taking normal quotients. This leads us to study graphs where $G$ is quasiprimitive on $V$. We determine the possible quasiprimitive types for $G$ in this case and give new constructions of examples for some possible types.
Ballot Permutations and Odd Order Permutations
Published
• View Publication
• BIB
A permutation $π$ is ballot if, for all $k$, the word $π_1\cdots π_k$ has at least as many ascents as it has descents. Let $b(n)$ denote the number of ballot permutations of order $n$, and let $p(n)$ denote the number of permutations which have odd order in the symmetric group $S_n$. Callan conjectured that $b(n)=p(n)$ for all $n$, which was proved by Bernardi, Duplantier, and Nadeau.
We propose a refinement of Callan's original conjecture. Let $b(n,d)$ denote the number of ballot permutations with $d$ descents. Let $p(n,d)$ denote the number of odd order permutations with $M(π)=d$, where $M(π)$ is a certain statistic related to the cyclic descents of $π$. We conjecture that $b(n,d)=p(n,d)$ for all $n$ and $d$. We prove this stronger conjecture for the cases $d=1,\ 2,\ 3$, and $d=\lfloor(n-1)/2\rfloor$, and in each of these cases we establish formulas for $b(n,d)$ involving Eulerian numbers and Eulerian-Catalan numbers.
Critical groups of van Lint-Schrijver Cyclotomic Strongly Regular Graphs
Published
• View Publication
• BIB
The \emph{critical} group of a finite connected graph is an abelian group defined by the Smith normal form of its Laplacian. Let $q$ be a power of a prime and $H$ be a multiplicative subgroup of $K=\mathbb{F}_{q}$. By $\mathrm{Cay}(K,H)$ we denote the Cayley graph on the additive group of $K$ with `connection' set $H$. A strongly regular graph of the form $\mathrm{Cay}(K,H)$ is called a \emph{cyclotomic strongly regular graph}. Let $p$ and $\ell >2$ be primes such that $p$ is primitive $\pmod{\ell}$. We compute the \emph{critical} groups of a family of \emph{cyclotomic strongly regular graphs} for which $q=p^{(\ell-1)t}$ (with $t\in \mathbb{N}$) and $H$ is the unique multiplicative subgroup of order $k=\frac{q-1}{\ell}$. These graphs were first discovered by van Lint and Schrijver in \cite{VS}.
Subsets of Cayley graphs that induce many edges
Let $G$ be a regular graph of degree $d$ and let $A\subset V(G)$. Say that $A$ is $η$-closed if the average degree of the subgraph induced by $A$ is at least $ηd$. This says that if we choose a random vertex $x\in A$ and a random neighbour $y$ of $x$, then the probability that $y\in A$ is at least $η$. The work of this paper was motivated by an attempt to obtain a qualitative description of closed subsets of the Cayley graph $Γ$ whose vertex set is $\mathbb F_2^{n_1}\otimes \dots \otimes \mathbb F_2^{n_d}$ with two vertices joined by an edge if their difference is of the form $u_1\otimes \cdots \otimes u_d$. For the matrix case (that is, when $d=2$), such a description was obtained by Khot, Minzer and Safra, a breakthrough that completed the proof of the 2-to-2 conjecture. In this paper, we formulate a conjecture for higher dimensions, and prove it in an important special case. Also, we identify a statement about $η$-closed sets in Cayley graphs on arbitrary finite Abelian groups that implies the conjecture and can be considered as a "highly asymmetric Balog-Szemerédi-Gowers theorem" when it holds. We conclude the paper by showing that this statement is not true for an arbitrary Cayley graph. It remains to decide whether the statement can be proved for the Cayley graph $Γ$.