Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Cayley Digraphs of Matrix Rings over Finite Fields
We use the \emph{unit-graphs} and the \emph{special unit-digraphs} on matrix rings to show that every $n \times n$ nonzero matrix over $\Bbb F_q$ can be written as a sum of two $\operatorname{SL}_n$-matrices when $n>1$. We compute the eigenvalues of these graphs in terms of Kloosterman sums and study their spectral properties; and prove that if $X$ is a subset of $\operatorname{Mat}_2 (\Bbb F_q)$ with size $|X| > \frac{2 q^3 \sqrt{q}}{q - 1}$, then $X$ contains at least two distinct matrices whose difference has determinant $α$ for any $α\in \Bbb F_q^{\ast}$. Using this result we also prove a sum-product type result: if $A,B,C,D \subseteq \Bbb F_q$ satisfy $\sqrt[4]{|A||B||C||D|}= Ω(q^{0.75})$ as $q \rightarrow \infty$, then $(A - B)(C - D)$ equals all of $\Bbb F_q$. In particular, if $A$ is a subset of $\Bbb F_q$ with cardinality $|A| > \frac{3} {2} q^{\frac{3}{4}}$, then the subset $(A - A) (A - A)$ equals all of $\Bbb F_q$. We also recover a classical result: every element in any finite ring of odd order can be written as the sum of two units.
Phylogenetic flexibility via Hall-type inequalities and submodularity
Published
• View Publication
• BIB
Given a collection $τ$ of subsets of a finite set $X$, we say that $τ$ is {\em phylogenetically flexible} if, for any collection $R$ of rooted phylogenetic trees whose leaf sets comprise the collection $τ$, $R$ is compatible (i.e. there is a rooted phylogenetic $X$--tree that displays each tree in $R$). We show that $τ$ is phylogenetically flexible if and only if it satisfies a Hall-type inequality condition of being `slim'. Using submodularity arguments, we show that there is a polynomial-time algorithm for determining whether or not $τ$ is slim. This `slim' condition reduces to a simpler inequality in the case where all of the sets in $τ$ have size 3, a property we call `thin'. Thin sets were recently shown to be equivalent to the existence of an (unrooted) tree for which the median function provides an injective mapping to its vertex set; we show here that the unrooted tree in this representation can always be chosen to be a caterpillar tree. We also characterise when a collection $τ$ of subsets of size 2 is thin (in terms of the flexibility of total orders rather than phylogenies) and show that this holds if and only if an associated bipartite graph is a forest. The significance of our results for phylogenetics is in providing precise and efficiently verifiable conditions under which supertree methods that require consistent inputs of trees, can be applied to any input trees on given subsets of species.
Sign patterns that require $\mathbb{H}_n$ exist for each $n\geq 4$
The refined inertia of a square real matrix $A$ is the ordered $4$-tuple $(n_+, n_-, n_z, 2n_p)$, where $n_+$ (resp., $n_-$) is the number of eigenvalues of $A$ with positive (resp., negative) real part, $n_z$ is the number of zero eigenvalues of $A$, and $2n_p$ is the number of nonzero pure imaginary eigenvalues of $A$. For $n \geq 3$, the set of refined inertias $\mathbb{H}_n=\{(0, n, 0, 0), (0, n-2, 0, 2), (2, n-2, 0, 0)\}$ is important for the onset of Hopf bifurcation in dynamical systems. We say that an $n\times n$ sign pattern ${\cal A}$ requires $\mathbb{H}_n$ if $\mathbb{H}_n=\{\text{ri}(B) | B \in Q({\cal A})\}$. Bodine et al. conjectured that no $n\times n$ irreducible sign pattern that requires $\mathbb{H}_n$ exists for $n$ sufficiently large, possibly $n\ge 8$. However, for each $n \geq 4$, we identify three $n\times n$ irreducible sign patterns that require $\mathbb{H}_n$, which resolves this conjecture.
$t$-cores for $(Δ+t)$-edge-colouring
We extend the edge-coloring notion of core (subgraph induced by the vertices of maximum degree) to $t$-core (subgraph induced by the vertices $v$ with $d(v)+μ(v)> Δ+t$), and find a sufficient condition for $(Δ+t)$-edge-coloring. In particular, we show that for any $t\geq 0$, if the $t$-core of $G$ has multiplicity at most $t+1$, with its edges of multiplicity $t+1$ inducing a multiforest, then $χ'(G) \leq Δ+t$. This extends previous work of Ore, Fournier, and Berge and Fournier. A stronger version of our result (which replaces the multiforest condition with a vertex-ordering condition) generalizes a theorem of Hoffman and Rodger about cores of $Δ$-edge-colourable simple graphs. In fact, our bounds hold not only for chromatic index, but for the \emph{fan number} of a graph, a parameter introduced by Scheide and Stiebitz as an upper bound on chromatic index. We are able to give an exact characterization of the graphs $H$ such that $\mathrm{Fan}(G) \leq Δ(G)+t$ whenever $G$ has $H$ as its $t$-core.
Finding tight Hamilton cycles in random hypergraphs faster
Published in Combinator. Probab. Comp. 30 (2021) 239-257
• View Publication
• BIB
In an $r$-uniform hypergraph on $n$ vertices a tight Hamilton cycle consists of $n$ edges such that there exists a cyclic ordering of the vertices where the edges correspond to consecutive segments of $r$ vertices. We provide a first deterministic polynomial time algorithm, which finds a.a.s. tight Hamilton cycles in random $r$-uniform hypergraphs with edge probability at least $C \log^3n/n$. Our result partially answers a question of Dudek and Frieze [Random Structures & Algorithms 42 (2013), 374-385] who proved that tight Hamilton cycles exists already for $p=ω(1/n)$ for $r=3$ and $p=(e + o(1))/n$ for $r\ge 4$ using a second moment argument. Moreover our algorithm is superior to previous results of Allen, Böttcher, Kohayakawa and Person [Random Structures & Algorithms 46 (2015), 446-465] and Nenadov and Škorić [arXiv:1601.04034] in various ways: the algorithm of Allen et al. is a randomised polynomial time algorithm working for edge probabilities $p\ge n^{-1+\varepsilon}$, while the algorithm of Nenadov and Škorić is a randomised quasipolynomial time algorithm working for edge probabilities $p\ge C\log^8n/n$.
Quadratic Irrationals, Generating Functions, and Lévy Constants
We show that the generating function corresponding to the sequence of denominators of the best rational approximants of a quadratic irrational is a rational function with integer coefficients. Consequently we can compute the Lévy constant of any quadratic irrational explicitly in terms of a finite number of its convergents.
On generalized quadrangles with a point regular group of automorphisms
Published
• View Publication
• BIB
A generalized quadrangle is a point-line incidence geometry such that any two points lie on at most one line and, given a line $\ell$ and a point $P$ not incident with $\ell$, there is a unique point of $\ell$ collinear with $P$. We study the structure of groups acting regularly on the point set of a generalized quadrangle. In particular, we provide a characterization of the generalized quadrangles with a group of automorphisms acting regularly on both the point set and the line set and show that such a thick generalized quadrangle does not admit a polarity. Moreover, we prove that a group $G$ acting regularly on the point set of a generalized quadrangle of order $(u^2, u^3)$ or $(s,s)$, where $s$ is odd and $s+1$ is coprime to $3$, cannot have any nonabelian minimal normal subgroups.
Cluster algebras and Jones polynomials
Published
• View Publication
• BIB
We present a new and very concrete connection between cluster algebras and knot theory. This connection is being made via continued fractions and snake graphs. It is known that the class of 2-bridge knots and links is parametrized by continued fractions, and it has recently been shown that one can associate to each continued fraction a snake graph, and hence a cluster variable in a cluster algebra. We show that up to normalization by the leading term the Jones polynomial of the 2-bridge link is equal to the specialization of this cluster variable obtained by setting all initial cluster variables to 1 and specializing the initial principal coefficients of the cluster algebra as follows $y_1=t^{-2}$ and $ y_i=-t^{-1}$, for all $i> 1$. As a consequence we obtain a direct formula for the Jones polynomial of a 2-bridge link as the numerator of a continued fraction of Laurent polynomials in $q=-t^{-1}$. We also obtain formulas for the degree and the width of the Jones polynomial, as well as for the first three and the last three coefficients. Along the way, we also develop some basic facts about even continued fractions and construct their snake graphs. We show that the snake graph of an even continued fraction is ismorphic to the snake graph of a positive continued fraction if the continued fractions have the same value. We also give recursive formulas for the Jones polynomials.
The distinguishing index of graphs with at least one cycle is not more than its distinguishing number
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. The complete characterization of finite trees $T$ with $D'(T)=D(T)+ 1$ has been given recently.
In this note we show that if $G$ is a finite connected graph with at least one cycle, then $D'(G)\leq D(G)$. Finally, we characterize all connected graphs for which $D'(G) \leq D(G)$.
On the transmission-based graph topological indices
Published in Kragujevac Journal of Mathematics, 44(1) (2020) 44-63
• View Publication
• BIB
The distance $d(u,v)$ between the vertices $u$ and $v$ of a connected graph $G$ is defined as the number of edges in a minimal path connecting them. The \emph{transmission} of a vertex $v$ of $G$ is defined by $σ(v)=\sum\limits_{u\in V(G)}{d(v,u)}$. In this article we aim to define some transmission-based topological indices. We obtain lower and upper bounds on these indices and characterize graphs for which these bounds are best possible. Finally, we find these indices for various graphs using the group of automorphisms of $G$. This is an efficient method of finding these indices especially when the automorphism group of $G$ has a few orbits on $V(G)$ or $E(G)$.
Extremal problems on the hypercube and the codegree Turán density of complete $r$-graphs
Published in SIAM J. Discrete Math. 32:4 (2018) pp. 2667-2674
• View Publication
• BIB
Let $G$ be a finite abelian group, and $r$ be a multiple of its exponent. The generalized Erdős-Ginzburg-Ziv constant $s_r(G)$ is the smallest integer $s$ such that every sequence of length $s$ over $G$ has a zero-sum subsequence of length $r$. We show that $s_{2m}(\mathbb{Z}_2^d) \leq C_m 2^{d/m} + O(1)$ when $d\rightarrow\infty$, and $s_{2m}(\mathbb{Z}_2^d) \geq 2^{d/m} + 2m-1$ when $d=km$. We use results on $s_r(G)$ to prove new bounds for the codegree Turán density of complete $r$-graphs.
On some hard and some tractable cases of the maximum acyclic matching problem
Three well-studied types of subgraph-restricted matchings are induced matchings, uniquely restricted matchings, and acyclic matchings. While it is hard to determine the maximum size of a matching of each of these types, whether some given graph has a maximum matching that is induced or has a maximum matching that is uniquely restricted, can both be decided efficiently. In contrast to that we show that deciding whether a given bipartite graph of maximum degree at most four has a maximum matching that is acyclic is NP-complete. Furthermore, we show that maximum weight acyclic matchings can be determined efficiently for $P_4$-free graphs and $2P_3$-free graphs, and we characterize the graphs for which every maximum matching is acyclic.
Lower bounds on the number of realizations of rigid graphs
Published in Experimental Mathematics, 2018
• View Publication
• BIB
Computing the number of realizations of a minimally rigid graph is a notoriously difficult problem. Towards this goal, for graphs that are minimally rigid in the plane, we take advantage of a recently published algorithm, which is the fastest available method, although its complexity is still exponential. Combining computational results with the theory of constructing new rigid graphs by gluing, we give a new lower bound on the maximal possible number of (complex) realizations for graphs with a given number of vertices. We extend these ideas to rigid graphs in three dimensions and we derive similar lower bounds, by exploiting data from extensive Gröbner basis computations.
A short proof of the middle levels theorem
Published in Version published by Discrete Analysis 2018:8, 12 pages
• View Publication
• BIB
Consider the graph that has as vertices all bitstrings of length $2n+1$ with exactly $n$ or $n+1$ entries equal to 1, and an edge between any two bitstrings that differ in exactly one bit. The well-known middle levels conjecture asserts that this graph has a Hamilton cycle for any $n\geq 1$. In this paper we present a new proof of this conjecture, which is much shorter and more accessible than the original proof.
Differential posets and restriction in critical groups
Published in Algebraic Combinatorics, Volume 2 (2019) no. 6, p. 1311-1327
• View Publication
• BIB
In recent work, Benkart, Klivans, and Reiner defined the critical group of a faithful representation of a finite group $G$, which is analogous to the critical group of a graph. In this paper we study maps between critical groups induced by injective group homomorphisms and in particular the map induced by restriction of the representation to a subgroup. We show that in the abelian group case the critical groups are isomorphic to the critical groups of a certain Cayley graph and that the restriction map corresponds to a graph covering map. We also show that when $G$ is an element in a differential tower of groups, critical groups of certain representations are closely related to words of up-down maps in the associated differential poset. We use this to generalize an explicit formula for the critical group of the permutation representation of the symmetric group given by the second author, and to enumerate the factors in such critical groups.
Almost 2-perfect 8-cycle systems
For an $m$-cycle $C$, an inside $m$-cycle of $C$ is a cycle on the same vertex set, that is edge-disjoint from $C$. In an $m$-cycle system, $(\mathcal{X}, \mathcal{C})$, if inside $m$-cycles can be chosen -one for each cycle- to form another $m$-cycle system, then $(\mathcal{X}, \mathcal{C})$ is called an almost $2$-perfect $m$-cycle system. Almost $2$-perfect cycle systems can be considered as generalisations of $2$-perfect cycle systems. Cycle packings are generalisations of cycle systems that allow to have leaves after decomposition. In this paper, we prove that an almost $2$-perfect maximum packing of $K_n$ with $8$-cycles of order $n$ exists for each $n\geq 8$. We also construct a maximum $8$-cycle packing of order $n$ which is not almost $2$-perfect for each $n \geq 10$.
Maximum number of sum-free colorings in finite abelian groups
An $r$-coloring of a subset $A$ of a finite abelian group $G$ is called sum-free if it does not induce a monochromatic Schur triple, i.e., a triple of elements $a,b,c\in A$ with $a+b=c$. We investigate $κ_{r,G}$, the maximum number of sum-free $r$-colorings admitted by subsets of $G$, and our results show a close relationship between $κ_{r,G}$ and largest sum-free sets of $G$. Given a sufficiently large abelian group $G$ of type $I$, i.e., $|G|$ has a prime divisor $q$ with $q\equiv 2\pmod 3$. For $r=2,3$ we show that a subset $A\subset G$ achieves $κ_{r,G}$ if and only if $A$ is a largest sum-free set of $G$. For even order $G$ the result extends to $r=4,5$, where the phenomenon persists only if $G$ has a unique largest sum-free set. On the contrary, if the largest sum-free set in $G$ is not unique then $A$ attains $κ_{r,G}$ if and only if it is the union of two largest sum-free sets (in case $r=4$) and the union of three ("independent") largest sum-free sets (in case $r=5$). Our approach relies on the so called container method and can be extended to larger $r$ in case $G$ is of even order and contains sufficiently many largest sum-free sets.
When is an automatic set an additive basis?
Published
• View Publication
• BIB
We characterize those $k$-automatic sets $S$ of natural numbers that form an additive basis for the natural numbers, and we show that this characterization is effective. In addition, we give an algorithm to determine the smallest $j$ such that $S$ forms an additive basis of order $j$, if it exists.
On the maximum size of connected hypergraphs without a path of given length
In this note we asymptotically determine the maximum number of hyperedges possible in an $r$-uniform, connected $n$-vertex hypergraph without a Berge path of length $k$, as $n$ and $k$ tend to infinity. We show that, unlike in the graph case, the multiplicative constant is smaller with the assumption of connectivity.
How to encode a tree
We construct bijections giving three "codes" for trees. These codes follow naturally from the Matrix Tree Theorem of Tutte and have many advantages over the one produced by Prufer in 1918. One algorithm gives explicitly a bijection that is implicit in Orlin's manipulatorial proof of Cayley's formula (the formula was actually found first by Borchardt). Another is based on a proof of Knuth. The third is an implementation of Joyal's pseudo-bijective proof of the formula, and is equivalent to one previously found by Egecioglu and Remmel. In each case, we have at least two algorithms, one of which involves hands-on manipulations of the tree while the other involves a combinatorial and linear algebraic manipulation of a matrix.