Showing 20 papers (Total: 82797 papers, 47838 authors in database)
The weight distributions of linear sets in PG(1,q^5)
In this paper, we study the weight distributions of $\mathbb{F}_q$-linear sets in $\mathrm{PG}(1,q^5)$. Our main theorem proves that a linear set $S$ of rank $5$, which is not scattered has the following weight distribution for its points with weight larger than 1: (i) one point of weight $4$ or $5$, (ii) one point of weight $3$ and $0$, $q$, $q^2$ points of weight two, (iii) $s$ points of weight $2$ where $s\in [q-2\sqrt{q}+1,q+2\sqrt{q}+1]\cup\{2q,2q+1,2q+2,3q,3q+1,q^2+1\}$. In particular, there are no $2$-clubs in $\mathrm{PG}(1,q^5)$.
An extension of a cubic 2-connected plane graph G to a hamiltonian plane graph contained in G^{2}
Let $G$ be a simple cubic 2-connected plane graph. For every $2$-factor $X$ of $G$ having $n$-components there exists a simple hamiltonian plane graph $J \subset G^{2}$ such that $|E(J)|= |E(G)| + 2n -2$ and $Δ(J) \leqslant 5$.
Retakh's Motzkin paths and some combinatorial comments
Published
• View Publication
• BIB
Dyck paths where peaks are only allowed on level 1 and on even-indexed levels, were introduced by Retakh and analysed by Zeilberger, with assistance from Ekhad. We add some combinatorial comments to the enumeration, which involves Motzkin numbers, in particular, about the average height of such objects.
On Hermitian varieties in $\mathrm{PG}(6,q^2)$
Published in Ars Math. Contemporanea 2021
• View Publication
• BIB
In this paper we characterize the non-singular Hermitian variety ${\mathcal H}(6,q^2)$ of $\mathrm{PG}(6, q^2)$, $q\neq2$ among the irreducible hypersurfaces of degree $q+1$ in $\mathrm{PG}(6, q^2)$ not containing solids by the number of its points and the existence of a solid $S$ meeting it in $q^4+q^2+1$ points.
Circles and Paths in 2-Colored Best Match Graphs
Recent investigations in computational biology focus on a family of 2-colored digraphs, called 2-colored best match graphs, which naturally arise from rooted phylogenetic trees. Actually the defining properties of such graphs are unexpectedly unusual in graph theory, and they were established only recently after the discovery of their links to evolutionary relatedness via phylogenetic trees. In this paper several results are obtained on 2-colored best match graphs which well fit in the mainstream of graph theory.
Two lower bounds for $p$-centered colorings
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (November 11, 2020) dmtcs:6543
• View Publication
• BIB
Given a graph $G$ and an integer $p$, a coloring $f : V(G) \to \mathbb{N}$ is \emph{$p$-centered} if for every connected subgraph $H$ of $G$, either $f$ uses more than $p$ colors on $H$ or there is a color that appears exactly once in $H$. The notion of $p$-centered colorings plays a central role in the theory of sparse graphs. In this note we show two lower bounds on the number of colors required in a $p$-centered coloring.
First, we consider monotone classes of graphs whose shallow minors have average degree bounded polynomially in the radius, or equivalently (by a result of Dvořák and Norin), admitting strongly sublinear separators. We construct such a class such that $p$-centered colorings require a number of colors super-polynomial in $p$. This is in contrast with a recent result of Pilipczuk and Siebertz, who established a polynomial upper bound in the special case of graphs excluding a fixed minor.
Second, we consider graphs of maximum degree $Δ$. Dębski, Felsner, Micek, and Schröder recently proved that these graphs have $p$-centered colorings with $O(Δ^{2-1/p} p)$ colors. We show that there are graphs of maximum degree $Δ$ that require $Ω(Δ^{2-1/p} p \ln^{-1/p}Δ)$ colors in any $p$-centered coloring, thus matching their upper bound up to a logarithmic factor.
Counterexamples for Topological Complexity in Digital Images
Published
• View Publication
• BIB
Digital topology has its own working conditions and sometimes differs from the normal topology. In the area of topological robotics, we have important counterexamples in this study to emphasize this red line between a digital image and a topological space. We indicate that the results on topological complexities of certain path-connected topological spaces show alterations in digital images. We also give a result about the digital topological complexity number using the genus of a digital surface in discrete geometry.
Sumsets of Wythoff Sequences, Fibonacci Representation, and Beyond
Published
• View Publication
• BIB
Let $α= (1+\sqrt{5})/2$ and define the lower and upper Wythoff sequences by $a_i = \lfloor i α\rfloor$, $b_i = \lfloor i α^2 \rfloor$ for $i \geq 1$. In a recent interesting paper, Kawsumarng et al. proved a number of results about numbers representable as sums of the form $a_i + a_j$, $b_i + b_j$, $a_i + b_j$, and so forth. In this paper I show how to derive all of their results, using one simple idea and existing free software called Walnut. The key idea is that for each of their sumsets, there is a relatively small automaton accepting the Fibonacci representation of the numbers represented. I also show how the automaton approach can easily prove other results.
Combinatorics of injective words for Temperley-Lieb algebras
Published
• View Publication
• BIB
This paper studies combinatorial properties of the 'complex of planar injective words', a chain complex of modules over the Temperley-Lieb algebra that arose in our work on homological stability. Despite being a linear rather than a discrete object, our chain complex nevertheless exhibits interesting combinatorial properties. We show that the Euler characteristic of this complex is the n-th Fine number. We obtain an alternating sum formula for the representation given by its top-dimensional homology module and, under further restrictions on the ground ring, we decompose this module in terms of certain standard Young tableaux. This trio of results - inspired by results of Reiner and Webb for the complex of injective words - can be viewed as an interpretation of the n-th Fine number as the 'planar' or 'Dyck path' analogue of the number of derangements of n letters. This interpretation has precursors in the literature, but here emerges naturally from considerations in homological stability. Our final result shows a surprising connection between the boundary maps of our complex and the Jacobsthal numbers.
The poset of king permutations on a cylinder
A permutation $σ=[σ_1,\dots,σ_n] \in S_n$ is called a {\em cylindrical king permutation} if $ |σ_{i+1}-σ_{i}|>1$ for each $1\leq i \leq n-1$ and $|σ_1-σ_n|>1$. The name comes from the the way one can see these permutations as describing locations of $n$ kings on a chessboard of order $n\times n$ in such a way that (each row and each column contains exactly one king and) no two kings are attacking each other, with the additional condition that a king can move off a certain row and reappear at the beginning of that row.
In a recent paper, we dealt with the more general set of 'king permutations' i.e. the ones which satisfy only the first of the two conditions above. This set constitutes a poest under the well known containment relation on permutations.
In this article we investigate the sub-poset of the cylindrical king permutations and its structure. We examine those cylindrical king permutations whose downset is as large as possible in the upper ranks. We use a modification of Manhattan distance of the plot of a permutation and some of its applications to the cylindrical context to find a criterion for such a permutation to be $k-$ prolific. One of our main results is that the maximal gap between two permutations in the poset of cylindrical permutations is $4$.
A connection between the Ice-type model of Linus Pauling and the three-color problem
Published in European Journal of Physics, 42, 025101 (2021)
• View Publication
• BIB
The ice-type model proposed by Linus Pauling to explain its entropy at low temperatures is here approached in a didactic way. We first present a theoretically estimated low-temperature entropy and compare it with numerical results. Then, we consider the mapping between this model and the three-colour problem, i.e.,colouring a regular graph with coordination equal to 4 (a two-dimensional lattice) with three colours, for which we apply the transfer-matrix method to calculate all allowed configurations for two-dimensional square lattices of $N$ oxygen atoms ranging from 4 to 225. Finally, from a linear regression of the transfer matrix results, we obtain an estimate for the case $N\rightarrow \infty $ which is compared with the exact solution by Lieb.
Some exact results for generalized Turán problems
Published
• View Publication
• BIB
Fix a $k$-chromatic graph $F$. In this paper we consider the question to determine for which graphs $H$ does the Turán graph $T_{k-1}(n)$ have the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs (for $n$ large enough). We say that such a graph $H$ is $F$-Turán-good. In addition to some general results, we give (among others) the following concrete results:
(i) For every complete multipartite graph $H$, there is $k$ large enough such that $H$ is $K_k$-Turán-good.
(ii) The path $P_3$ is $F$-Turán-good for $F$ with $χ(F) \geq 4$.
(iii) The path $P_4$ and cycle $C_4$ are $C_5$-Turán-good.
(iv) The cycle $C_4$ is $F_2$-Turán-good where $F_2$ is the graph of two triangles sharing exactly one vertex.
The cohomology of coalgebras in species
Published
• View Publication
• BIB
Aguiar and Mahajan introduced a cohomology theory for the twisted coalgebras of Joyal, with particular interest in the computation of their second cohomology group, which gives rise to their deformations. We use the Koszul duality theory between twisted algebras and coalgebras on the twisted coalgebra that gives rise to their cohomology theory to give a new alternative description of it which, in particular, allows for its effective computation. We compute it completely in various examples, including those proposed by Aguiar and Mahajan, and obtain structural results: in particular, we study its multiplicative structure and provide a Künneth formula.
Transversals, near transversals, and diagonals in iterated groups and quasigroups
Published
• View Publication
• BIB
Given a binary quasigroup $G$ of order $n$, a $d$-iterated quasigroup $G[d]$ is the $(d+1)$-ary quasigroup equal to the $d$-times composition of $G$ with itself. The Cayley table of every $d$-ary quasigroup is a $d$-dimensional latin hypercube. Transversals and diagonals in multiary quasigroups are defined so as to coincide with those in the corresponding latin hypercube.
We prove that if a group $G$ of order $n$ satisfies the Hall--Paige condition, then the number of transversals in $G[d]$ is equal to $ \frac{n!}{ |G'| n^{n-1}} \cdot n!^{d} (1 + o(1))$ for large $d$, where $G'$ is the commutator subgroup of $G$. For a general quasigroup $G$, we obtain similar estimations on the numbers of transversals and near transversals in $G[d]$ and develop a method for counting diagonals of other types in iterated quasigroups.
On the Homology of Nilpotent k-ary Lie Algebras
We introduce nilpotent k-ary Lie algebras including analogues of Heisenberg Lie algebras and free nilpotent Lie algebras. We study homology of k-ary nilpotent Lie algebras by using a modification of Chevalley-Eilenberg complex. For some classes of nilpotent k-ary Lie algebras and in particular Heisenberg k-ary Lie algebras we give explicit formulas for Betti numbers. Representation stability of free nilpotent k-ary Lie algebras is proven and lower bounds for Betti numbers are described by Schur modules. We also verify that toral rank conjecture holds for the classes we studied. Moreover, for 2-step nilpotent k-ary Lie algebras, we give a refinement of it.
New estimates for convex layer numbers
Published in Discrete Mathematics 344 (2021), no. 7., 112424
• View Publication
• BIB
Starting with a finite point set $X \subset \mathbf{R}^d$, the peeling process repeatedly removes the set of the vertices of the convex hull of the current set. The number of peeling steps required to completely remove $X$ is called the layer number of $X$, denoted by $L(X)$. In the article, we study the layer number of evenly distributed families of point sets contained in $B^d$, the $d$-dimensional unit ball. These sets consist of points in $B^d$ whose minimal distance is asymptotically as large as possible. We show that for a set $X$ belonging to an evenly distributed family, $L(X) \geq Ω(|X|^{1/d})$ holds, with the bound being asymptotically sharp. On the other hand, building on earlier results, we prove that $L(X)\leq O(|X|^{2/d})$ holds for $d\geq 2$, which improves greatly on the current upper bound of $O(|X|^{(d+1)/2d})$ for $d \geq 3$. Finally, we provide a recursive construction of evenly distributed families whose sets satisfy $L(X) = Θ(|X|^{2/d - 1/(d 2^{d-1})})$, showing that our upper bound is nearly tight.
Graceful and Prime Labelings -- Algorithms, Embeddings and Conjectures
Four algorithms giving rise to graceful graphs from a known (non)graceful graph are described. Some necessary conditions for a graph to be highly graceful and critical are given. Finally some conjectures are made on graceful, critical and highly graceful graphs. The RingelRosaKotzig Conjecture is generalized to highly graceful graphs. MayedaSeshu Tree Generation Algorithm is modified to generate all possible graceful labelings of trees of order p. An alternative algorithm in terms of integers modulo p is described which includes all possible graceful labelings of trees of order p and some interesting properties are observed. Optimal and graceful graph embeddings (not necessarily connected) are given. Alternative proofs for embedding a graph into a graceful graph as a subgraph and as an induced subgraph are included. An algorithm to obtain an optimal graceful embedding is described. A necessary condition for a graph to be supergraceful is given. As a consequence some classes of nonsupergraceful graphs are obtained. Embedding problems of a graph into a supergraceful graph are studied. A catalogue of super graceful graphs with at most five nodes is appended. Optimal graceful and supergraceful embeddings of a graph are given. Graph theoretical properties of prime and superprime graphs are listed. Good upper bound for minimum number of edges in a nonprime graph is given and some conjectures are proposed which in particular includes Entringers prime tree conjecture. A conjecture for regular prime graphs is also proposed.
Eulers Graph World -- More Conjectures On Gracefulness Boundaries-I
Euler graphs are characterized by the simple criterion that degree of each node is even. By restricting on the cycle types yet additional intrinsic properties of Euler graphs are unveiled. For example, regularity higher than degree two is impossible within the class εi of Euler graphs with one type of cycles Cn, n=i(mod 4), i=0,1,2,3. Further, graphs in εi are planar for i=1,2,3. In the light of new properties of Euler graphs more gracefulness boundaries are conjectured for subclasses of Euler graphs and where relevant extended for general class of graphs. In absence of general analytical results much of the published papers resort to proving an infinite class of graphs graceful or nongraceful. The purpose of this paper is not to give families of graphs graceful or not. Instead, based on the available information expected gracefulness boundaries are proposed which may guide where to look for graceful graphs or lead to characterizations. While the (Ringel,Kotzig,Rosa) Tree Conjecture continues to remain unsettled, the work reported here serves an update on the conjectures made in Rao Hebbare (1975,1981) and more conjectures subsequently made in Rao (1999,2000) based on embedding theorems and graceful algorithms for constructing graceful graphs from a graceful graph. It is hoped that these conjectures lead to analytical techniques for establishing gracefulness property. Further probe into Euler graphs with only two types of cycles and other combinations of cycles continues.
Eulers Graph World -- More Conjectures On Gracefulness Boundaries-II
The subclass of Euler graphs with only one type of cycles under (mod 4) operation was studied in Part-1 of this series. It was established that such graphs under regularity are nonexistent for degree >2. Here we consider the subclass of Euler graphs with only two types of cycles under (mod 4) operation. Six cases arise. The case when the cycle types are 0&2(mod 4), the well known class of bipartite Euler graphs, the existence of regular bipartite Euler graphs is very much known. In the other five cases, it transpires that regular Euler graphs with only two types of cycles are nonexistent. Some constructions of Euler graphs with the property are given. We investigate some properties of cycle decompositions, block structure and cycle intersections. Cycle decomposition of Euler graphs allows segregating Euler graphs satisfying Rosa-Golumb criterion and so are nongraceful. In the other case the graphs are possible candidates for gracefulness and are conjectured graceful leading to better understanding of gracefulness boundaries. The cases when the cycle types are 1&2, 1&3, 2&3(mod 4) the graphs are proved to be planar and in other three cases the graphs may not be planar with examples of nonplanar graphs. Probe into the properties of Euler graphs is to propose expected gracefulness boundaries which may guide where to look for graceful graphs. Further, the conjectures may lead to analytical techniques for establishing gracefulness property.
Tiling proofs of Jacobi triple product and Rogers-Ramanujan identities
We use the method of tiling to give elementary combinatorial proofs of some celebrated $q$-series identities, such as Jacobi triple product identity, Rogers-Ramanujan identities, and some identities of Rogers. We give a tiling proof of the q-binomial theorem and a tiling interpretation of the q-binomial coefficients. A new generalized $ k $-product $q$-series identity is also obtained by employing the `tiling-method', wherein the generating function of the set of all possible tilings of a rectangular board is computed in two different ways to obtain the desired $q$-series identity. Several new recursive $ q$-series identities were also established. The `tiling-method' holds promise for giving an aesthetically pleasing approach to prove old and new $q$-series identities.