group
10430 papers tagged with this keyword
Intersection Pairings for Higher Laminations
Published
• View Publication
• BIB
One can realize higher laminations as positive configurations of points in the affine building. The duality pairings of Fock and Goncharov give pairings between higher laminations for two Langlands dual groups $G$ and $G^{\vee}$. These pairings are a generalization of the intersection pairing between measured laminations on a topological surface.
We give a geometric interpretation of these intersection pairings in the case that $G=SL_n$. In particular, we show that they can be computed as the length of minimal weighted networks in the building. Thus we relate the intersection pairings to the metric structure of the affine building. This proves several of the conjectures from [LO]
The key tools are linearized versions of well-known classical results from combinatorics, like Hall's marriage lemma, Konig's theorem, and the Kuhn-Munkres algorithm.
Lambda number of the power graph of a finite group
Published
• View Publication
• BIB
The power graph $Γ_G$ of a finite group $G$ is the graph with the vertex set $G$, where two distinct elements are adjacent if one is a power of the other. An $L(2, 1)$-labeling of a graph $Γ$ is an assignment of labels from nonnegative integers to all vertices of $Γ$ such that vertices at distance two get different labels and adjacent vertices get labels that are at least $2$ apart. The lambda number of $Γ$, denoted by $λ(Γ)$, is the minimum span over all $L(2, 1)$-labelings of $Γ$. In this paper, we obtain bounds for $λ(Γ_G)$, and give necessary and sufficient conditions when the bounds are attained. As applications, we compute the exact value of $λ(Γ_G)$ if $G$ is a dihedral group, a generalized quaternion group, a $\mathcal{P}$-group or a cyclic group of order $pq^n$, where $p$ and $q$ are distinct primes and $n$ is a positive integer.
The critical group of the Kneser graph on $2$-subsets of an $n$-element set
Published in Linear Algebra and its Applications (2018) Volume 546, Pages 154-168
• View Publication
• BIB
In this paper we compute the critical group of the Kneser graph $KG(n,2)$. This is equivalent to computing the Smith normal form of a Laplacian matrix of this graph.
Small simplicial complexes with prescribed torsion in homology
Published
• View Publication
• BIB
For $d \geq 2$ and $G$ a finite abelian group, define $T_d(G)$ to be the minimum number of vertices $n$ so that there exists a simplicial complex $X$ on $n$ vertices which has the torsion part of $H_{d - 1}(X)$ isomorphic to $G$. Here we establish an upper bound on $T_d(G)$ which matches the known lower bound up to a constant factor. That is, we prove that for every $d \geq 2$ there exist constants $c_d$ and $C_d$ so that for any finite abelian group $c_d(\log |G|)^{1/d} \leq T_d(G) \leq C_d(\log |G|)^{1/d}.$
Planar Tropical Cubic Curves of Any Genus, and Higher Dimensional Generalisations
Published
• View Publication
• BIB
We study the maximal values of Betti numbers of tropical subvarieties of a given dimension and degree in $\mathbb{TP}^n$. We provide a lower estimate for the maximal value of the top Betti number, which naturally depends on the dimension and degree, but also on the codimension. In particular, when the codimension is large enough, this lower estimate is larger than the maximal value of the corresponding Hodge number of complex algebraic projective varieties of the given dimension and degree. In the case of surfaces, we extend our study to all tropical homology groups. As a special case, we prove that there exist planar tropical cubic curves of genus $g$ for any non-negative integer $g$.
Tetravalent Vertex- and Edge-Transitive Graphs Over Doubled Cycles
Published
• View Publication
• BIB
In order to complete (and generalize) results of Gardiner and Praeger on 4-valent symmetric graphs (European J. Combin, 15 (1994)) we apply the method of lifting automorphisms in the context of elementary-abelian covering projections. In particular, the vertex- and edge-transitive graphs whose quotient by a normal $p$-elementary abelian group of automorphisms, for $p$ an odd prime, is a cycle, are described in terms of cyclic and negacyclic codes. Specifically, the symmetry properties of such graphs are derived from certain properties of the generating polynomials of cyclic and negacyclic codes, that is, from divisors of $x^n \pm 1 \in {\mathbb Z}_p[x]$. As an application, a short and unified description of resolved and unresolved cases of Gardiner and Praeger are given.
Some applications of Rees products of posets to equivariant gamma-positivity
Published
• View Publication
• BIB
The Rees product of partially ordered sets was introduced by Björner and Welker. Using the theory of lexicographic shellability, Linusson, Shareshian and Wachs proved formulas, of significance in the theory of gamma-positivity, for the dimension of the homology of the Rees product of a graded poset $P$ with a certain $t$-analogue of the chain of the same length as $P$. Equivariant generalizations of these formulas are proven in this paper, when a group of automorphisms acts on $P$, and are applied to establish the Schur gamma-positivity of certain symmetric functions arising in algebraic and geometric combinatorics.
Composition problems for braids: Membership, Identity and Freeness
In this paper we investigate the decidability and complexity of problems related to braid composition. While all known problems for a class of braids with three strands, $B_3$, have polynomial time solutions we prove that a very natural question for braid composition, the membership problem, is NP-complete for braids with only three strands. The membership problem is decidable in NP for $B_3$, but it becomes harder for a class of braids with more strands. In particular we show that fundamental problems about braid compositions are undecidable for braids with at least five strands, but decidability of these problems for $B_4$ remains open. Finally we show that the freeness problem for semigroups of braids from $B_3$ is also decidable in NP.
The paper introduces a few challenging algorithmic problems about topological braids opening new connections between braid groups, combinatorics on words, complexity theory and provides solutions for some of these problems by application of several techniques from automata theory, matrix semigroups and algorithms.
Non-existence of partial difference sets of order 8p^3 in Abelian groups
Published
• View Publication
• BIB
In this paper we prove non-existence of nontrivial partial difference sets in Abelian groups of order 8p^3, where p \geq 3 is a prime number.
The application of representation theory in directed strongly regular graphs
Published
• View Publication
• BIB
The concept of directed strongly regular graphs (DSRG) was introduced by Duval in 1988 \cite{A}.In the present paper,we use representation theory of finite groups in order to investigate the directed strongly regular Cayley graphs.We first show that a Cayley graph $\mathcal{C}(G,S)$ is not a directed strongly regular graph if $S$ is a union of some conjugate classes of $G$.This generalizes an earlier result of Leif K.Jørgensen \cite{J1} on abelian groups.Secondly,by using induced representations,we have a look at the Cayley graph $\mathcal{C}(N\rtimes_θH, N_1\times H_1)$ with $N_1\subseteq N$ and $H_1\subseteq H$,determining its characteristic polynomial and its minimal polynomial.Based on this result,we generalize the semidirect product method of Art M. Duval and Dmitri Iourinski in \cite{D} and obtain a larger family of directed strongly regular graphs.Finally,we construct some directed strongly regular Cayley graphs on dihedral groups,which partially generalize the earlier results of Mikhail Klin,Akihiro Munemasa,Mikhail Muzychuk,and Paul Hermann Zieschang in \cite{K1}.By using character theory,we also give the characterization of directed strongly regular Cayley graphs $\mathcal{C}(D_n,X\cup Xa)$ with $X\cap X^{(-1)}=\emptyset$.
On the Falk invariant of hyperplane arrangements attached to gain graphs
The fundamental group of the complement of a hyperplane arrangement in a complex vector space is an important topological invariant. The third rank of successive quotients in the lower central series of the fundamental group was called Falk invariant of the arrangement since Falk gave the first formula and asked to give a combinatorial interpretation. In this article, we give a combinatorial formula for the Falk invariant of hyperplane arrangements attached to certain gain graphs.
Combinatorial properties of triplet covers for binary trees
It is a classical result that an unrooted tree $T$ having positive real-valued edge lengths and no vertices of degree two can be reconstructed from the induced distance between each pair of leaves. Moreover, if each non-leaf vertex of $T$ has degree 3 then the number of distance values required is linear in the number of leaves. A canonical candidate for such a set of pairs of leaves in $T$ is the following: for each non-leaf vertex $v$, choose a leaf in each of the three components of $T-v$, group these three leaves into three pairs, and take the union of this set over all choices of $v$. This forms a so-called 'triplet cover' for $T$. In the first part of this paper we answer an open question (from 2012) by showing that the induced leaf-to-leaf distances for any triplet cover for $T$ uniquely determine $T$ and its edge lengths. We then investigate the finer combinatorial properties of triplet covers. In particular, we describe the structure of triplet covers that satisfy one or more of the following properties of being minimal, 'sparse', and 'shellable'.
Rook theory of the finite general linear group
Published in Experimental Mathematics 29:3 (2020), 328-346
• View Publication
• BIB
Matrices over a finite field having fixed rank and restricted support are a natural $q$-analogue of rook placements on a board. We develop this $q$-rook theory by defining a corresponding analogue of the hit numbers. Using tools from coding theory, we show that these $q$-hit and $q$-rook numbers obey a variety of identities analogous to the classical case. We also explore connections to earlier $q$-analogues of rook theory, as well as settling a polynomiality conjecture and finding a counterexample of a positivity conjecture of the authors and Klein.
PRIMES STEP Plays Games
Published
• View Publication
• BIB
A group of students in 7-9 grades are inventing combinatorial impartial games. The games are played on graphs, piles, and grids. We found winning positions, optimal strategies, and other interesting facts about the games.
Power maps in finite groups
In recent work, Pomerance and Shparlinski have obtained results on the number of cycles in the functional graph of the map $x \mapsto x^a$ in $\mathbb{F}_p^*$. We prove similar results for other families of finite groups. In particular, we obtain estimates for the number of cycles for cyclic groups, symmetric groups, dihedral groups and $SL_2(\mathbb{F}_q)$. We also show that the cyclic group of order $n$ minimizes the number of cycles among all nilpotent groups of order $n$ for a fixed exponent. Finally, we pose several problems.
Monochromatic Subgraphs in Randomly Colored Graphons
Published in European Journal of Combinatorics, 81, 328-353, 2019
• View Publication
• BIB
Let $T(H, G_n)$ be the number of monochromatic copies of a fixed connected graph $H$ in a uniformly random coloring of the vertices of the graph $G_n$. In this paper we give a complete characterization of the limiting distribution of $T(H, G_n)$, when $\{G_n\}_{n \geq 1}$ is a converging sequence of dense graphs. When the number of colors grows to infinity, depending on whether the expected value remains bounded, $T(H, G_n)$ either converges to a finite linear combination of independent Poisson variables or a normal distribution. On the other hand, when the number of colors is fixed, $T(H, G_n)$ converges to a (possibly infinite) linear combination of independent centered chi-squared random variables. This generalizes the classical birthday problem, which involves understanding the asymptotics of $T(K_s, K_n)$, the number of monochromatic $s$-cliques in a complete graph $K_n$ ($s$-matching birthdays among a group of $n$ friends), to general monochromatic subgraphs in a network.
On basic graphs of symmetric graphs of valency five
Published
• View Publication
• BIB
A graph $\G$ is {\em symmetric} or {\em arc-transitive} if its automorphism group $\Aut(\G)$ is transitive on the arc set of the graph, and $\G$ is {\em basic} if $\Aut(\G)$ has no non-trivial normal subgroup $N$ such that the quotient graph $\G_N$ has the same valency with $\G$. In this paper, we classify symmetric basic graphs of order $2qp^n$ and valency 5, where $q<p$ are two primes and $n$ is a positive integer. It is shown that such a graph is isomorphic to a family of Cayley graphs on dihedral groups of order $2q$ with $5\di (q-1)$, the complete graph $K_6$ of order $6$, the complete bipartite graph $K_{5,5}$ of order 10, or one of the nine sporadic coset graphs associated with non-abelian simple groups. As an application, connected pentavalent symmetric graphs of order $kp^n$ for some small integers $k$ and $n$ are classified.
Every finite non-solvable group admits an Oriented Regular Representation
Published
• View Publication
• BIB
In this paper we give a partial answer to a 1980 question of Lazslo Babai: "Which [finite] groups admit an oriented graph as a DRR?" That is, which finite groups admit an oriented regular representation (ORR)? We show that every finite non-solvable group admits an ORR, and provide a tool that may prove useful in showing that some families of finite solvable groups admit ORRs. We also completely characterize all finite groups that can be generated by at most three elements, according to whether or not they admit ORRs.
Lower Bounds for Searching Robots, some Faulty
Published
• View Publication
• BIB
Suppose we are sending out $k$ robots from $0$ to search the real line at constant speed (with turns) to find a target at an unknown location; $f$ of the robots are faulty, meaning that they fail to report the target although visiting its location (called crash type). The goal is to find the target in time at most $λ|d|$, if the target is located at $d$, $|d| \ge 1$, for $λ$ as small as possible. We show that this cannot be achieved for $$λ< 2\frac{ρ^ρ}{(ρ-1)^{ρ-1}}+1,~~ ρ:= \frac{2(f+1)}{k}~, $$ which is tight due to earlier work (see J. Czyzowitz, E. Kranakis, D. Krizanc, L. Narayanan, J. Opatrny, PODC'16, where this problem was introduced). This also gives some better than previously known lower bounds for so-called Byzantine-type faulty robots that may actually wrongly report a target.
In the second part of the paper, we deal with the $m$-rays generalization of the problem, where the hidden target is to be detected on $m$ rays all emanating at the same point. Using a generalization of our methods, along with a useful relaxation of the original problem, we establish a tight lower for this setting as well (as above, with $ρ:= m(f+1)/k$). When specialized to the case $f=0$, this resolves the question on parallel search on $m$ rays, posed by three groups of scientists some 15 to 30 years ago: by Baeza-Yates, Culberson, and Rawlins; by Kao, Ma, Sipser, and Yin; and by Bernstein, Finkelstein, and Zilberstein. The $m$-rays generalization is known to have connections to other, seemingly unrelated, problems, including hybrid algorithms for on-line problems, and so-called contract algorithms.
Classification of finite groups that admit an oriented regular representation
Published
• View Publication
• BIB
This is the third, and last, of a series of papers dealing with oriented regular representations. Here we complete the classification of finite groups that admit an oriented regular representation (or ORR for short), and give a complete answer to a 1980 question of Laszlo Babai: "Which [finite] groups admit an oriented graph as a DRR?" It is easy to see and well-understood that generalised dihedral groups do not admit ORRs. We prove that, with 11 small exceptions (having orders ranging from 8 to 64), every finite group that is not generalised dihedral has an ORR.