Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Trees on hyperbolic honeycombs
Published in Miskolc Math. Notes, Vol.16/1 (2015) 353-360
• Search Publication
In the hyperbolic plane there are infinite regular lattices. From a fix vertex of a lattice tree graphs can be constructed recursively to the next layers with edges of the lattice. In this article we examine the properties of the growing of trees and the probabilities of length of trees considering the vertices on level i.
Canonical Representatives of Morphic Permutations
Published in WORDS 2015, 9304, pp.59-72, 2015, Lecture Notes in Computer Science
• View Publication
• BIB
An infinite permutation can be defined as a linear ordering of the set of natural numbers. In particular, an infinite permutation can be constructed with an aperiodic infinite word over $\{0,\ldots,q-1\}$ as the lexicographic order of the shifts of the word. In this paper, we discuss the question if an infinite permutation defined this way admits a canonical representative, that is, can be defined by a sequence of numbers from [0, 1], such that the frequency of its elements in any interval is equal to the length of that interval. We show that a canonical representative exists if and only if the word is uniquely ergodic, and that is why we use the term ergodic permutations. We also discuss ways to construct the canonical representative of a permutation defined by a morphic word and generalize the construction of Makarov, 2009, for the Thue-Morse permutation to a wider class of infinite words.
Extremal graph for intersecting odd cycles
Published
• View Publication
• BIB
An extremal graph for a graph $H$ on $n$ vertices is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $T_{n,r}$ be the Turán graph, which is the complete $r$-partite graph on $n$ vertices with part sizes that differ by at most one. The well-known Turán Theorem states that $T_{n,r}$ is the only extremal graph for complete graph $K_{r+1}$. Erdös et al. (1995) determined the extremal graphs for intersecting triangles and Chen et al. (2003) determined the maximum number of edges of the extremal graphs for intersecting cliques. In this paper, we determine the extremal graphs for intersecting odd cycles.
Completeness of cubic curves in PG(2, q), q <= 81
Theoretical results are known about the completeness of a planar algebraic cubic curve as a (n,3)-arc in PG(2,q). They hold for q big enough and sometimes have restriction on the characteristic and on the value of the j-invariant. We determine the completeness of all cubic curves for q <= 81.
Betti-linear Ideals
Published
• View Publication
• BIB
We introduce the notion of a Betti-linear monomial ideal, which generalizes the notion of lattice-linear monomial ideal introduced by Clark. We provide a characterization of Betti-linearity in terms of Tchernev's poset construction. As an application we obtain an explicit canonical construction for the minimal free resolutions of monomial ideals having pure resolutions.
Toroidal boards and code covering
Published in The Australasian Journal of Combinatorics 76 (2020) 41-54
• Search Publication
We denote by $\mathbb{F}_q$ the field with $q$ elements. A radius-$r$ extended ball with center in a $1$-dimensional vector subspace $V$ of $\mathbb{F}_q^3$ is the set of elements of $\mathbb{F}_q^3$ with Hamming distance to $V$ at most $r$. We define $c(q)$ as the size of a minimum covering of $\fqt$ by radius-$1$ extended balls. We define a semiqueen as a piece of a toroidal chessboard that extends the covering range of a rook by the southwest-northeast diagonal containing it. Let $ξ_D(n)$ be the minimum number of semiqueens of the $n\times n$ toroidal board necessary to cover the entire board except possibly for the southwest-northeast diagonal. We prove that, for $q\ge 7$, $c(q)=ξ_D(q-1)+2$. Moreover, our proof exhibits a method to build such covers of $\mathbb{F}_q^3$ from the semiqueen coverings of the board. With this new method, we determine $c(q)$ for the odd values of $q$ and improve both existing bounds for the even case.
Intersections of Amoebas
Published
• View Publication
• BIB
Amoebas are projections of complex algebraic varieties in the algebraic torus under a Log-absolute value map, which have connections to various mathematical subjects. While amoebas of hypersurfaces have been intensively studied in recent years, the non-hypersurface case is barely understood so far.
We investigate intersections of amoebas of $n$ hypersurfaces in $(\mathbb{C}^*)^n$, which are canonical supersets of amoebas given by non-hypersurface varieties. Our main results are amoeba analogs of Bernstein's Theorem and Bézout's Theorem providing an upper bound for the number of connected components of such intersections. Moreover, we show that the \emph{order map} for hypersurface amoebas can be generalized in a natural way to intersections of amoebas. In particular, analogous to the case of amoebas of hypersurfaces, the restriction of this generalized order map to a single connected component is still $1$-to-$1$.
Hilbert series and degree bounds for matrix (semi-)invariants
Published
• View Publication
• BIB
We study the ring R(n,m) of invariants for the left-right action of SL_n \times SL_n on m-tuples of n by n complex matrices. We show that R(3,m) is generated by invariants of degree less equal 309 for all m. Then, we use a combinatorial description of the invariants to show that R(n,m) cannot be generated by invariants of degree < n^2 for large m. We also compute the Hilbert series for several cases.
A note on the Ramsey number of even wheels versus stars
Published
• View Publication
• BIB
For two graphs $G_1$ and $G_2$ the Ramsey number $R(G_1,G_2)$ is the smallest integer $N$, such that for any graph on $N$ vertices either $G$ contains $G_1$ or $\overline{G}$ contains $G_2$. Let $S_n$ be a star of order $n$ and $W_m$ be a wheel of order $m+1$. In this paper, it is shown that $R(W_n,S_n)\leq{5n/2-1}$, where $n\geq{6}$ is even. It was proven a theorem which implies that $R(W_n,S_n)\geq{5n/2-2}$, where $n\geq{6}$ is even. Therefore we conclude that $R(W_n,S_n)=5n/2-2$ or $5n/2-1$, for $n\geq{6}$ and even.
Classification of edge-transitive propeller graphs
In this paper, we introduce a family of tetravalent graphs called propeller graphs, denoted by $Pr_{n}(b,c,d)$. We then produce three infinite subfamilies and one finite subfamily of arc-transitive propeller graphs, and show that all such graphs are necessarily members of one of these four subfamilies, up to isomorphism. We close the paper with questions for further investigation, as well as a few conjectures.
Cyclic sieving and rational Catalan theory
Published
• View Publication
• BIB
Let $a < b$ be coprime positive integers. Armstrong, Rhoades, and Williams defined a set $\mathsf{NC}(a,b)$ of `rational noncrossing partitions', which form a subset of the ordinary noncrossing partitions of $\{1, 2, \dots, b-1\}$. Confirming a conjecture of Armstrong et. al., we prove that $\mathsf{NC}(a,b)$ is closed under rotation and prove an instance of the cyclic sieving phenomenon for this rotational action. We also define a rational generalization of the $\mathfrak{S}_a$-noncrossing parking functions of Armstrong, Reiner, and Rhoades.
Lower bound of the asymptotic complexity of self-similar fractal graphs
We study the asymptotic complexity constant of the sequence of approximating graphs to a fully symmetric self-similar structure on a finitely ramified fractal $K$. We show how full symmetry implies existence of the asymptotic complexity constant and obtain a sharp lower bound thereby answering two conjectures by Anema.
Colourings, Homomorphisms, and Partitions of Transitive Digraphs
Published
• View Publication
• BIB
We investigate the complexity of generalizations of colourings (acyclic colourings, $(k,\ell)$-colourings, homomorphisms, and matrix partitions), for the class of transitive digraphs. Even though transitive digraphs are nicely structured, many problems are intractable, and their complexity turns out to be difficult to classify. We present some motivational results and several open problems.
Proof of a conjecture involving Sun polynomials
Published
• View Publication
• BIB
The Sun polynomials $g_n(x)$ are defined by \begin{align*} g_n(x)=\sum_{k=0}^n{n\choose k}^2{2k\choose k}x^k. \end{align*} We prove that, for any positive integer $n$, there hold \begin{align*} &\frac{1}{n}\sum_{k=0}^{n-1}(4k+3)g_k(x) \in\mathbb{Z}[x],\quad\text{and}\\ &\sum_{k=0}^{n-1}(8k^2+12k+5)g_k(-1)\equiv 0\pmod{n}. \end{align*} The first one confirms a recent conjecture of Z.-W. Sun, while the second one partially answers another conjecture of Z.-W. Sun. We give three different proofs of the former. One of them depends on the following congruence: $$ {m+n-2\choose m-1}{n\choose m}{2n\choose n}\equiv 0\pmod{m+n}\quad\text{for $m,n\geqslant 1$.} $$
Cluster Algebras and Symmetries of Regular Tilings
The classification of Grassmannian cluster algebras resembles that of regular polygonal tilings. We conjecture that this resemblance may indicate a deeper connection between these seemingly unrelated structures.
Cluster Analysis of Local Convergent Sequences of Structures
The cluster analysis of very large objects is an important problem, which spans several theoretical as well as applied branches of mathematics and computer science. Here we suggest a novel approach: under assumption of local convergence of a sequence of finite structures we derive an asymptotic clustering. This is achieved by a blend of analytic and geometric techniques, and particularly by a new interpretation of the authors' representation theorem for limits of local convergent sequences, which serves as a guidance for the whole process. Our study may be seen as an effort to describe connectivity structure at the limit (without having a defined explicit limit structure) and to pull this connectivity structure back to the finite structures in the sequence in a continuous way.
On the Balance of Unrooted Trees
Published
• View Publication
• BIB
We solve a class of optimization problems for (phylogenetic) $X$-trees or their shapes. These problems have recently appeared in different contexts, e.g. in the context of the impact of tree shapes on the size of TBR neighborhoods, but so far these problems have not been characterized and solved in a systematic way. In this work we generalize the concept and also present several applications. Moreover, our results give rise to a nice notion of balance for trees. Unsurprisingly, so-called caterpillars are the most unbalanced tree shapes, but it turns out that balanced tree shapes cannot be described so easily as they need not even be unique.
On the Number of Dot Products Determined by a Large Set and One of its Translates in Finite Fields
Published in Online J. Anal. Comb., 12, #4, 2017
• View Publication
• BIB
Let $E \subseteq \mathbb{F}_q^2$ be a set in the 2-dimensional vector space over a finite field with $q$ elements, which satisfies $|E| > q$. There exist $x,y \in E$ such that $|E \cdot (y-x)| > q/2.$ In particular, $(E+E) \cdot (E-E) = \mathbb{F}_q$.
Characterizations of the Suzuki tower near polygons
Published
• View Publication
• BIB
In recent work, we constructed a new near octagon $\mathcal{G}$ from certain involutions of the finite simple group $G_2(4)$ and showed a correspondence between the Suzuki tower of finite simple groups, $L_3(2) < U_3(3) < J_2 < G_2(4) < Suz$, and the tower of near polygons, $\mathrm{H}(2,1) \subset \mathrm{H}(2)^D \subset \mathsf{HJ} \subset \mathcal{G}$. Here we characterize each of these near polygons (except for the first one) as the unique near polygon of the given order and diameter containing an isometrically embedded copy of the previous near polygon of the tower. In particular, our characterization of the Hall-Janko near octagon $\mathsf{HJ}$ is similar to an earlier characterization due to Cohen and Tits who proved that it is the unique regular near octagon with parameters $(2, 4; 0, 3)$, but instead of regularity we assume existence of an isometrically embedded dual split Cayley hexagon, $\mathrm{H}(2)^D$. We also give a complete classification of near hexagons of order $(2, 2)$ and use it to prove the uniqueness result for $\mathrm{H}(2)^D$.
Weighted de Bruijn Graphs for the Menage Problem and Its Generalizations
Published in Lecture Notes in Computer Science 9843 (2016), 151-162
• View Publication
• BIB
We address the problem of enumeration of seating arrangements of married couples around a circular table such that no spouses sit next to each other and no k consecutive persons are of the same gender. While the case of k=2 corresponds to the classical problème des ménages with a well-studied solution, no closed-form expression for the number of seating arrangements is known when k>=3.
We propose a novel approach for this type of problems based on enumeration of walks in certain algebraically weighted de Bruijn graphs. Our approach leads to new expressions for the menage numbers and their exponential generating function and allows one to efficiently compute the number of seating arrangements in general cases, which we illustrate in detail for the ternary case of k=3.