group
10405 papers tagged with this keyword
On prime order automorphisms of generalized quadrangles
Published
• View Publication
• BIB
In this paper, we study prime order automorphisms of generalized quadrangles. We show that, if $\mathcal{Q}$ is a thick generalized quadrangle of order $(s,t)$, where $s > t$ and $s+1$ is prime, and $\mathcal{Q}$ has an automorphism of order $s+1$, then \[ s \left\lceil \left\lceil \frac{t^2}{s+1}\right\rceil\left(\frac{s+1}{t} \right) \right\rceil \le t(s+t),\] with a similar inequality holding in the dual case when $t > s$, $t+1$ is prime, and $\mathcal{Q}$ is a thick generalized quadrangle of order $(s,t)$ with an automorphism of order $t+1$.
In particular, if $s+1$ is prime and if there exists a natural number $n$ such that \[ \frac{t^2}{n+1} + t \le s + 1 < \frac{t^2}{n},\] then a thick generalized quadrangle $\mathcal{Q}$ cannot have an automorphism of order $s+1$, and hence the automorphism group of $\mathcal{Q}$ cannot be transitive on points. These results apply to numerous potential orders for which it is still unknown whether or not generalized quadrangles exist, showing that any examples would necessarily be somewhat asymmetric. Finally, we are able to use the theory we have built up about prime order automorphisms of generalized quadrangles to show that the automorphism group of a potential generalized quadrangle of order $(4,12)$ must necessarily be intransitive on both points and lines.
Text-based Passwords Generated From Topological Graphic Passwords
Topological graphic passwords (Topsnut-gpws) are one of graph-type passwords, but differ from the existing graphical passwords, since Topsnut-gpws are saved in computer by algebraic matrices. We focus on the transformation between text-based passwords (TB-paws) and Topsnut-gpws in this article. Several methods for generating TB-paws from Topsnut-gpws are introduced; these methods are based on topological structures and graph coloring/labellings, such that authentications must have two steps: one is topological structure authentication, and another is text-based authentication. Four basic topological structure authentications are introduced and many text-based authentications follow Topsnut-gpws. Our methods are based on algebraic, number theory and graph theory, many of them can be transformed into polynomial algorithms. A new type of matrices for describing Topsnut-gpws is created here, and such matrices can produce TB-paws in complex forms and longer bytes. Estimating the space of TB-paws made by Topsnut-gpws is very important for application. We propose to encrypt dynamic networks and try to face: (1) thousands of nodes and links of dynamic networks; (2) large numbers of Topsnut-gpws generated by machines rather than human's hands. As a try, we apply spanning trees of dynamic networks and graphic groups (Topsnut-groups) to approximate the solutions of these two problems. We present some unknown problems in the end of the article for further research.
A Hodge filtration of logarithmic vector fields for well-generated complex reflection groups
Published
• View Publication
• BIB
Given an irreducible well-generated complex reflection group, we construct an explicit basis for the module of vector fields with logarithmic poles along its reflection arrangement. This construction yields in particular a Hodge filtration of that module. Our approach is based on a detailed analysis of a flat connection applied to the primitive vector field. This generalizes and unifies analogous results for real reflection groups.
Tableau posets and the fake degrees of coinvariant algebras
Published
• View Publication
• BIB
We introduce two new partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. Both posets are ranked by the major index statistic offset by a fixed shift. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes. By a theorem of Lusztig--Stanley, this classification can be interpreted as determining which irreducible representations of the symmetric group exist in which homogeneous components of the corresponding coinvariant algebra, strengthening a recent result of the third author for the modular major index. Our approach is to identify patterns in standard tableaux that allow one to mutate descent sets in a controlled manner. By work of Lusztig and Stembridge, the arguments extend to a classification of all nonzero fake degrees of coinvariant algebras for finite complex reflection groups in the infinite family of Shephard--Todd groups.
What is Schur positivity and how common is it?
Published
• View Publication
• BIB
This is a short note about Schur positivity. We introduce Schur polynomials and explain how they appear in the representation theory of the general linear group. We end with a new result of the author with F. Bergeron and V. Reiner that gives the probability that a homogeneous symmetric polynomial with positive coefficients is Schur positive.
The Maximum Number of Three Term Arithmetic Progressions, and Triangles in Cayley Graphs
Let $G$ be a finite Abelian group. For a subset $S \subseteq G$, let $T_3(S)$ denote the number of length three arithemtic progressions in $S$ and Prob[$S$] $= \frac{1}{|S|^2}\sum_{x,y \in S} 1_S(x+y)$. For any $q \ge 1$ and $α\in [0,1]$, and any $S \subseteq G$ with $|S| = \frac{|G|}{q+α}$, we show $\frac{T_3(S)}{|S|^2}$ and Prob[$S$] are bounded above by $\max\left(\frac{q^2-αq+α^2}{q^2},\frac{q^2+2αq+4α^2-6α+3}{(q+1)^2},γ_0\right)$, where $γ_0 < 1$ is an absolute constant. As a consequence, we verify a graph theoretic conjecture of Gan, Loh, and Sudakov for Cayley graphs.
Shift-Inequivalent Decimations of the Sidelnikov-Lempel-Cohn-Eastman Sequences
Published
• View Publication
• BIB
We consider the problem of finding maximal sets of shift-inequivalent decimations of Sidelnikov-Lempel-Cohn-Eastman (SLCE) sequences (as well as the equivalent problem of determining the multiplier groups of the almost difference sets associated with these sequences). We derive a numerical necessary condition for a residue to be a multiplier of an SLCE almost difference set. Using our necessary condition, we show that if $p$ is an odd prime and $S$ is an SLCE almost difference set over $\mathbb{F}_p,$ then the multiplier group of $S$ is trivial. Consequently, for each odd prime $p,$ we obtain a family of $φ(p-1)$ shift-inequivalent balanced periodic sequences (where $φ$ is the Euler-Totient function) each having period $p-1$ and nearly perfect autocorrelation.
Inverse zero-sum problems for certain groups of rank three
Published in Acta Mathematica Hungarica 160, 1 (2020) 229-247
• View Publication
• BIB
The inverse problem associated to the Erdős-Ginzburg-Ziv constant and the $η$-constant is solved for finite abelian groups of the form $C_2 \oplus
C_2 \oplus C_{2n}$ where $n \ge 2$ is an integer.
Fair splittings by independent sets in sparse graphs
Published in Israel J. Math. 236, 603-627 (2020)
• View Publication
• BIB
Given a partition $V_1 \sqcup V_2 \sqcup \dots \sqcup V_m$ of the vertex set of a graph, we are interested in finding multiple disjoint independent sets that contain the correct fraction of vertices of each $V_j$. We give conditions for the existence of $q$ such independent sets in terms of the topology of the independence complex. We relate this question to the existence of $q$-fold points of coincidence for any continuous map from the independence complex to Euclidean space of a certain dimension, and to the existence of equivariant maps from the $q$-fold deleted join of the independence complex to a certain representation sphere of the symmetric group. As a corollary we derive the existence of $q$ pairwise disjoint independent sets accurately representing the $V_j$ in certain sparse graphs for $q$ a power of a prime.
The Horn Problem for Real Symmetric and Quaternionic Self-Dual Matrices
Published in SIGMA 15 (2019), 029, 34 pages
• View Publication
• BIB
Horn's problem, i.e., the study of the eigenvalues of the sum $C=A+B$ of two matrices, given the spectrum of $A$ and of $B$, is re-examined, comparing the case of real symmetric, complex Hermitian and self-dual quaternionic $3\times 3$ matrices. In particular, what can be said on the probability distribution function (PDF) of the eigenvalues of $C$ if $A$ and $B$ are independently and uniformly distributed on their orbit under the action of, respectively, the orthogonal, unitary and symplectic group? While the two latter cases (Hermitian and quaternionic) may be studied by use of explicit formulae for the relevant orbital integrals, the case of real symmetric matrices is much harder. It is also quite intriguing, since numerical experiments reveal the occurrence of singularities where the PDF of the eigenvalues diverges. Here we show that the computation of the PDF of the symmetric functions of the eigenvalues for traceless $3\times 3$ matrices may be carried out in terms of algebraic functions;- roots of quartic polynomials;- and their integrals. The computation is carried out in detail in a particular case, and reproduces the expected singular patterns. The divergences are of logarithmic or inverse power type. We also relate this PDF to the (rescaled) structure constants of zonal polynomials and introduce a zonal analogue of the Weyl ${\rm SU}(n)$ characters.
Random intersection graphs with communities
Published in Adv. Appl. Probab. 53 (2021) 1061-1089
• View Publication
• BIB
Random intersection graphs model networks with communities, assuming an underlying bipartite structure of groups and individuals, where these groups may overlap. Group memberships are generated through the bipartite configuration model. Conditionally on the group memberships, the classical random intersection graph is obtained by connecting individuals when they are together in at least one group. We generalize this definition, allowing for arbitrary community structures within the groups.
In our new model, groups might overlap and they have their own internal structure described by a graph, the classical setting corresponding to groups being complete graphs. Our model turns out to be tractable. We analyze the overlapping structure of the communities, derive the asymptotic degree distribution and the local clustering coefficient. These proofs rely on local weak convergence, which also implies that subgraph counts converge. We further exploit the connection to the bipartite configuration model, for which we also prove local weak convergence, and which is interesting in its own right.
Distinct Partial Sums in Cyclic Groups: Polynomial Method and Constructive Approaches
Published
• View Publication
• BIB
Let $(G,+)$ be an abelian group and consider a subset $A \subseteq G$ with $|A|=k$. Given an ordering $(a_1, \ldots, a_k)$ of the elements of $A$, define its {\em partial sums} by $s_0 = 0$ and $s_j = \sum_{i=1}^j a_i$ for $1 \leq j \leq k$. We consider the following conjecture of Alspach: For any cyclic group $\Z_n$ and any subset $A \subseteq \Z_n \setminus \{0\}$ with $s_k \neq 0$, it is possible to find an ordering of the elements of $A$ such that no two of its partial sums $s_i$ and $s_j$ are equal for $0 \leq i < j \leq k$. We show that Alspach's Conjecture holds for prime $n$ when $k \geq n-3$ and when $k \leq 10$. The former result is by direct construction, the latter is non-constructive and uses the polynomial method. We also use the polynomial method to show that for prime $n$ a sequence of length $k$ having distinct partial sums exists in any subset of $\Z_n \setminus \{0\}$ of size at least $2k- \sqrt{8k}$ in all but at most a bounded number of cases.
Noncrossing Arc Diagrams, Tamari Lattices, and Parabolic Quotients of the Symmetric Group
Published in Annals of Combinatorics 25 (2020), pages 307-344
• View Publication
• BIB
Ordering permutations by containment of inversion sets yields a fascinating partial order on the symmetric group: the weak order. This partial order is, among other things, a semidistributive lattice. As a consequence, every permutation has a canonical representation as a join of other permutations. Combinatorially, these canonical join representations can be modeled in terms of arc diagrams. Moreover, these arc diagrams also serve as a model to understand quotient lattices of the weak order. A particularly well-behaved quotient lattice of the weak order is the well-known Tamari lattice, which appears in many seemingly unrelated areas of mathematics. The arc diagrams representing the members of the Tamari lattices are better known as noncrossing partitions. Recently, the Tamari lattices were generalized to parabolic quotients of the symmetric group. In this article, we undertake a structural investigation of these parabolic Tamari lattices, and explain how modified arc diagrams aid the understanding of these lattices.
The spectrum and automorphism group of the set-inclusion graph
Published
• View Publication
• BIB
Let $n$, $k$ and $l$ be integers with $1\leq k<l\leq n-1$. The set-inclusion graph $G(n,k,l)$ is the graph whose vertex set consists of all $k$- and $l$-subsets of $[n]=\{1,2,\ldots,n\}$, where two distinct vertices are adjacent if one of them is contained in another. In this paper, we determine the spectrum and automorphism group of $G(n,k,l)$, respectively.
Hypergraph Modeling and Visualisation of Complex Co-occurence Networks
Published
• View Publication
• BIB
Finding inherent or processed links within a dataset allows to discover potential knowledge. The main contribution of this article is to define a global framework that enables optimal knowledge discovery by visually rendering co-occurences (i.e. groups of linked data instances attached to a metadata reference) - either inherently present or processed - from a dataset as facets. Hypergraphs are well suited for modeling co-occurences since they support multi-adicity whereas graphs only support pairwise relationships. This article introduces an efficient navigation between different facets of an information space based on hypergraph modelisation and visualisation.
The integer homology threshold in $Y_d(n, p)$
Published
• View Publication
• BIB
We prove that in the $d$-dimensional Linial--Meshulam stochastic process the $(d - 1)$st homology group with integer coefficients vanishes exactly when the final isolated $(d - 1)$-dimensional face is covered by a top-dimensional face. This generalizes the $d = 2$ case proved recently by Łuczak and Peled and establishes that $p = \frac{d \log n}{n}$ is the sharp threshold for homology with integer coefficients to vanish in $Y_d(n, p),$ answering a 2003 question of Linial and Meshulam.
The generalized connectivity of some regular graphs
The generalized $k$-connectivity $κ_{k}(G)$ of a graph $G$ is a parameter that can measure the reliability of a network $G$ to connect any $k$ vertices in $G$, which is proved to be NP-complete for a general graph $G$. Let $S\subseteq V(G)$ and $κ_{G}(S)$ denote the maximum number $r$ of edge-disjoint trees $T_{1}, T_{2}, \cdots, T_{r}$ in $G$ such that $V(T_{i})\bigcap V(T_{j})=S$ for any $i, j \in \{1, 2, \cdots, r\}$ and $i\neq j$. For an integer $k$ with $2\leq k\leq n$, the {\em generalized $k$-connectivity} of a graph $G$ is defined as $κ_{k}(G)= min\{κ_{G}(S)|S\subseteq V(G)$ and $|S|=k\}$.
In this paper, we study the generalized $3$-connectivity of some general $m$-regular and $m$-connected graphs $G_{n}$ constructed recursively and obtain that $κ_{3}(G_{n})=m-1$, which attains the upper bound of $κ_{3}(G)$ [Discrete Mathematics 310 (2010) 2147-2163] given by Li {\em et al.} for $G=G_{n}$. As applications of the main result, the generalized $3$-connectivity of many famous networks such as the alternating group graph $AG_{n}$, the $k$-ary $n$-cube $Q_{n}^{k}$, the split-star network $S_{n}^{2}$ and the bubble-sort-star graph $BS_{n}$ etc. can be obtained directly.
Lyashko-Looijenga morphisms and primitive factorizations of the Coxeter element
Published
• View Publication
• BIB
In a seminal work, Bessis gave a geometric interpretation of the noncrossing lattice $NC(W)$ associated to a well-generated complex reflection group $W$. Chief component of this was the trivialization theorem, a fundamental correspondence between families of chains of $NC(W)$ and the fibers of a finite quasi-homogeneous morphism, the $LL$ map.
We consider a variant of the $LL$ map, prescribed by the trivialization theorem, and apply it to the study of finer enumerative and structural properties of $NC(W)$. In particular, we extend work of Bessis and Ripoll and enumerate the so-called "primitive factorizations" of the Coxeter element $c$. That is, length additive factorizations of the form $c=w\cdot t_1\cdots t_k$, where $w$ belongs to a given conjugacy class and the $t_i$'s are reflections.
The Asymmetric Index of a Graph
Published
• View Publication
• BIB
A graph $G$ is asymmetric if its automorphism group of vertices is trivial. Asymmetric graphs were introduced by Erdős and Rényi in 1963 where they measured the degree of asymmetry of an asymmetric graph. They proved that any asymmetric graph can be made non-asymmetric by removing some number $r$ of edges and/or adding adding some number $s$ of edges, and defined the degree of asymmetry of a graph to be the minimum value of $r+s$. In this paper, we define another property that how close a given non-asymmetric graph is to being asymmetric. We define the asymmetric index of a graph $G$, denoted $ai(G)$, to be the minimum of $r+s$ in order to change $G$ into an asymmetric graph.
Kasteleyn cokernels and perfect matchings on planar bipartite graphs
Published
• View Publication
• BIB
The determinant method of Kasteleyn gives a method of computing the number of perfect matchings of a planar bipartite graph. In addition, results of Bernardi exhibit a bijection between spanning trees of a planar bipartite graph and elements of its Jacobian. In this paper, we explore an analogue of Bernardi's results, providing a canonical simply transitive group action of the Kasteleyn cokernel of a planar bipartite graph on its set of perfect matchings, when the planar bipartite graph in question is of the form $G^+$, as defined by Kenyon, Propp and Wilson.