Showing 20 papers (Total: 84285 papers, 48548 authors in database)
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.
The generalized Sierpiński Arrowhead Curve
We define special Hamiltonian-paths and special permutations of the up-facing dark tiles on a checked triangular grid related to the generalized Sierpiński Gasket. Our definitions and observations make possible the generalization of the Sierpiński Arrowhead Curve for all orders. We produce these symmetric recursive curves in many ways by two kinds of asymmetric paths which are in a bijective relation and unambiguously transformable into each other in any order. These node-rewriting and edge-rewriting recursive curves keep their self-avoiding and simple properties after the transformation and their cardinality specifies a new integer sequence. We show a transformation table to change the curves into each other and we give another table to change them into Lindenmayer-system strings both by the absolute direction codes of their edges.
Decomposing graphs into edges and triangles
Published in Combinator. Probab. Comp. 28 (2019) 465-472
• View Publication
• BIB
We prove the following 30-year old conjecture of Győri and Tuza: the edges of every $n$-vertex graph $G$ can be decomposed into complete graphs $C_1,\ldots,C_\ell$ of orders two and three such that $|C_1|+\cdots+|C_\ell|\le (1/2+o(1))n^2$. This result implies the asymptotic version of the old result of Erdős, Goodman and Pósa that asserts the existence of such a decomposition with $\ell\le n^2/4$.
On partitions with even parts below odd parts
Published
• View Publication
• BIB
Recently, Andrews gave a detailed study of partitions with even parts below odd parts in which only the largest even part appears an odd number of times. In this paper, we provide a combinatorial proof of the generating function identity of such partitions. We also have a further investigation on the largest even part. Finally, we give an interesting weighted overpartition generalization.
Two results about the hypercube
Published
• View Publication
• BIB
First we consider families in the hypercube $Q_n$ with bounded VC dimension. Frankl raised the problem of estimating the number $m(n,k)$ of maximal families of VC dimension $k$. Alon, Moran and Yehudayoff showed that $$n^{(1+o(1))\frac{1}{k+1}\binom{n}{k}}\leq m(n,k)\leq n^{(1+o(1))\binom{n}{k}}.$$ We close the gap by showing that $\log \left(m(n,k)\right)= {(1+o(1))\binom{n}{k}}\log n$ and show how a tight asymptotic for the logarithm of the number of induced matchings between two adjacent small layers of $Q_n$ follows as a corollary.
Next, we consider the integrity $I(Q_n)$ of the hypercube, defined as $$I(Q_n) = \min\{ |S| +m(Q_n \setminus S) : S \subseteq V (Q_n) \},$$ where $m(H)$ denotes the number of vertices in the largest connected component of $H$. Beineke, Goddard, Hamburger, Kleitman, Lipman and Pippert showed that $c\frac{2^n}{\sqrt{n}} \leq I(Q_n)\leq C\frac{2^n}{\sqrt{n}}\log n$ and suspected that their upper bound is the right value. We prove that the truth lies below the upper bound by showing that $I(Q_n)\leq C \frac{2^n}{\sqrt{n}}\sqrt{\log n}$.
The Number of $k$-Cycles In a Family of Restricted Permutations
In this paper we study different restrictions imposed over the set of permutations of size $n$, $S_n$, and for specific classes of restrictions study the cycle structure of corresponding permutations. More specifically, we prove that for any fixed positive integer $k$, the number of $k$-cycles of a uniformly chosen permutation $π\in S_n$ with the restriction "$π(i) \geq i-1$" for $i \in \{2, \ldots, n\}$ has a Normal asymptotic distribution. We further prove that this result translates into CLTs regarding multiplicities of fixed-size parts of a uniformly selected composition of $n$.