Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Continuous Edge Chromatic Numbers of Abelian Group Actions
Published
• View Publication
• BIB
We prove that for any generating set $S$ of $\mathbb {Z}^n$, the continuous edge chromatic number of the Schreier graph of the Bernoulli shift action $G=F(S,2^{\mathbb{Z}^n})$ is $χ'_c(G)=χ'(G)+1$. In particular, for the standard generating set, the continuous edge chromatic number of $F(2^{\mathbb {Z}^n})$ is $2n+1$.
Identities and Generating Functions of Products of Generalized Fibonacci numbers, Catalan and Harmonic Numbers
We considered the properties of generalized Fibonacci and Lucas numbers class. The analogues of well-known Fibonacci identities for generalized numbers are obtained. We gained a new identity of product convolution of generalized Fibonacci and Lucas numbers. We wrote down generating functions of generalized Fibonacci and Lucas numbers products, their multisections, harmonic numbers and Catalan numbers.
A remarkable basic hypergeometric identity
Published in Ramanujan J. 66:3 (2025) Article 48
• View Publication
• BIB
We give a closed form for $quotients$ of truncated basic hypergeometric series where the base $q$ is evaluated at roots of unity.
Maximal number of subword occurrences in a word
Published in J. Exp. Math. 1(2): 218--238 (2025)
• View Publication
• BIB
We consider the number of occurrences of subwords (non-consecutive sub-sequences) in a given word. We first define the notion of subword entropy of a given word that measures the maximal number of occurrences among all possible subwords. We then give upper and lower bounds of minimal subword entropy for words of fixed length in a fixed alphabet, and also showing that minimal subword entropy per letter has a limit value. A better upper bound of minimal subword entropy for a binary alphabet is then given by looking at certain families of periodic words. We also give some conjectures based on experimental observations.
Asymptotics for $t$-Core Partitions and Stanton's Conjecture
Published
• View Publication
• BIB
A partition is a $t$-core partition if $t$ is not one of its hook lengths. Let $c_t(N)$ be the number of $t$-core partitions of $N$. In 1999, Stanton conjectured $c_t(N) \le c_{t+1}(N)$ if $4 \le t \ne N-1$. This was proved for $t$ fixed and $N$ sufficiently large by Anderson, and for small values of $t$ by Kim and Rouse. In this paper, we prove Stanton's conjecture in general. Our approach is to find a saddle point asymptotic formula for $c_t(N)$, valid in all ranges of $t$ and $N$. This includes the known asymptotic formulas for $c_t(N)$ as special cases, and shows that the behavior of $c_t(N)$ depends on how $t^2$ compares in size to $N$. For example, our formula implies that if $t^2 = κN + o(t)$, then $c_t(N) = \frac{\exp\left(2π\sqrt{A N}\right)}{B N} (1 + o(1))$ for suitable constants $A$ and $B$ defined in terms of $κ$.
Symplectic geometry of electrical networks
Published in Journal of Geometry and Physics, V.207 (2024)
• View Publication
• BIB
In this paper we relate a well-known in symplectic geometry compactification of the space of symmetric bilinear forms considered as a chart of the Lagrangian Grassmannian to the specific compactifications of the space of electrical networks in the disc obtained in \cite{L}, \cite{CGS} and \cite{BGKT}. In particular, we state an explicit connection between these works and describe some of the combinatorics developed there in the language of symplectic geometry. We also show that the combinatorics of the concordance vectors forces the uniqueness of the symplectic form, such that corresponding points of the Grassmannian are isotropic. We define a notion of Lagrangian concordance which provides a construction of the compactification of the space of electrical networks in the positive part of the Lagrangian Grassmannian bypassing the construction from \cite{L}.
Refined Horton-Strahler numbers I: a discrete bijection
The Horton-Strahler number of a rooted tree $T$ is the height of the tallest complete binary tree that can be homeomorphically embedded in $T$. The number of full binary trees with $n$ internal vertices and Horton-Strahler number $s$ is known to be the same as the number of Dyck paths of length $2n$ whose height $h$ satisfies $\lfloor \log_2(1+h)\rfloor=s$.
In this paper, we present a new bijective proof of the above result, that in fact strengthens and refines it as follows. We introduce a sequence of trees $(τ_i,i \ge 0)$ which "interpolates" the complete binary trees, in the sense that $τ_{2^h-1}$ is the complete binary tree of height $h$ for all $h \ge 0$, and $τ_{i+1}$ strictly contains $τ_i$ for all $i \ge 0$. Defining $\mathcal{S}(T)$ to be the largest $i$ for which $τ_i$ can be homeomorphically embedded in $T$, we then show that the number of full binary trees $T$ with $n$ internal vertices and with $\mathcal{S}(T)=h$ is the same as the number of Dyck paths of length $2n$ with height $h$. (We call $\mathcal{S}(T)$ the refined Horton-Strahler number of $T$.)
Our proof is bijective and relies on a recursive decomposition of binary trees (resp. Dyck paths) into subtrees with strictly smaller refined Horton-Strahler number (resp. subpaths with strictly smaller height). In a subsequent paper, we will show that the bijection has a continuum analogue, which transforms a Brownian continuum random tree into a Brownian excursion and under which (a continuous analogue of) the refined Horton-Strahler number of the tree becomes the height of the excursion.
A closure for Hamilton-connectedness in $\{K_{1,3},Γ_3\}$-free graphs
Published
• View Publication
• BIB
We introduce a closure technique for Hamilton-connectedness of $\{K_{1,3},Γ_3\}$-free graphs, where $Γ_3$ is the graph obtained by joining two vertex-disjoint triangles with a path of length $3$. The closure turns a claw-free graph into a line graph of a multigraph while preserving its (non)-Hamilton-connectedness. The most technical parts of the proof are computer-assisted.
The main application of the closure is given in a subsequent paper showing that every $3$-connected $\{K_{1,3},Γ_3\}$-free graph is Hamilton-connected, thus resolving one of the two last open cases in the characterization of pairs of connected forbidden subgraphs implying Hamilton-connectedness.
Ramsey numbers and extremal structures in polar spaces
We use $p$-rank bounds on partial ovoids and the classical bounds on Ramsey numbers to obtain upper bounds on the size of partial $m$-ovoids in finite classical polar spaces. These bounds imply non-existence of $m$-ovoids for new infinite families of polar spaces. We also give a probabilistic construction of large partial $m$-ovoids when $m$ grows linearly with the rank of the polar space.
In the special case of the symplectic spaces over the binary field, we prove an equivalence between partial $m$-ovoids and a generalisation of Oddtown families from extremal set theory that has been studied under the name of $m$-nearly orthogonal sets. We give a new construction for large partial $2$-ovoids in these spaces and thus $2$-nearly orthogonal sets over the binary field. This construction uses triangle-free graphs associated to certain BCH codes whose complements have low $2$-rank and it gives an asymptotic improvement over the previous best construction. We give another construction of triangle-free graphs using a binary projective cap, which has low complementary rank over the reals. This improves the bounds in the recently introduced rank-Ramsey problem and it gives better constructions of large partial $m$-ovoids for $m > 2$ in the binary symplectic space.
Alternating paths in oriented graphs with large semidegree
Published
• View Publication
• BIB
In new progress on conjectures of Stein, and Addario-Berry, Havet, Linhares Sales, Reed and Thomassé, we prove that every oriented graph with all in- and out-degrees greater than 5k/8 contains an alternating path of length k. This improves on previous results of Klimošová and Stein, and Chen, Hou and Zhou.
Matroids over tropical extensions of tracts
A tract $F$ is an algebraic structure where multiplication is defined but addition is only partially defined. They were introduced by Baker and Bowler as a unified framework to study generalisations of matroids, including oriented and valuated matroids. A tropical extension $F[Γ]$ is a tract obtained by extending a tract $F$ by an ordered abelian group $Γ$. Key examples include the tropical hyperfield as a tropical extension of the Krasner hyperfield, and the signed tropical hyperfield as a tropical extension of the sign hyperfield.
We study matroids over tropical extensions of tracts, including valuated matroids and oriented valuated matroids. We generalise the correspondence between valuated matroids and their initial matroids, showing that $M$ is an $F[Γ]$-matroid if and only if every initial matroid $M^u$ is an $F$-matroid. We also show analogous results for flag matroids and positroids over tropical extensions, utilising the circuit and covector descriptions we derive for $F[Γ]$-matroids.
We conclude by studying images of linear spaces in enriched valuations, valuation maps enriched with additional data. These give rise to enriched tropical linear spaces, including signed tropical linear spaces as a key examples. As an application of our results, we prove a structure theorem for enriched tropical linear spaces, generalising the characterisation of projective tropical linear spaces of Brandt-Eur-Zhang.
On semi-transitive orientability of circulant graphs
Published in Discrete Applied Mathematics, Volume 377, 2025, Pages 498-509
• View Publication
• BIB
A graph $G = (V, E)$ is said to be word-representable if a word $w$ can be formed using the letters of the alphabet $V$ such that for every pair of vertices $x$ and $y$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. A \textit{semi-transitive} orientation is an acyclic directed graph where for any directed path $v_0 \rightarrow v_1 \rightarrow \ldots \rightarrow v_m$, $m \ge 2$ either there is no arc between $v_0$ and $v_m$ or for all $1 \le i < j \le m$ there is an arc between $v_i$ and $v_j$. An undirected graph is semi-transitive if it admits a semi-transitive orientation. For given positive integers $n, a_1, a_2, \ldots, a_k$, we consider the undirected circulant graph with set of vertices $\{0, 1, 2, \ldots, n-1\}$ and the set of edges$\{ij ~ | ~ (i - j) \pmod n$ or $(j-i) \pmod n$ are in $\{a_1, a_2, \ldots, a_k\}\}$, where $ 0 < a_1 < a_2 < \ldots < a_k < (n+1)/2$. Recently, Kitaev and Pyatkin have shown that every $4$-regular circulant graph is semi-transitive. Further, they have posed an open problem regarding the semi-transitive orientability of circulant graphs for which the elements of the set $\{a_1, a_2, \ldots, a_k\}$ are consecutive positive integers.
In this paper, we solve the problem mentioned above. In addition, we show that under certain assumptions, some $k(\ge5)$-regular circulant graphs are semi-transitive, and some are not. Moreover, since a semi-transitive orientation is a characterisation of word-representability, we give some upper bound for the representation number of certain $k$-regular circulant graphs.
Improved stability for the size and structure of sumsets
Published
• View Publication
• BIB
Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that the sumset $NA$ has predictable size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in some finite cone other than all of the lattice points in a finite collection of exceptional subcones), once $N$ is larger than some threshold. In previous work, joint with Shakan, the first and third named authors established the first effective bounds for both of these thresholds for an arbitrary set $A$. In this article we substantially improve each of these bounds, coming much closer to the corresponding lower bounds known.
Sparse Sets in Triangle-free Graphs
Published
• View Publication
• BIB
A set of vertices is $k$-sparse if it induces a graph with a maximum degree of at most $k$. In this missive, we consider the order of the largest $k$-sparse set in a triangle-free graph of fixed order. We show, for example, that every triangle-free graph of order 11 contains a 1-sparse 5-set; every triangle-free graph of order 13 contains a 2-sparse 7-set; and every triangle-free graph of order 8 contains a 3-sparse 6-set. Further, these are all best possible.
For fixed $k$, we consider the growth rate of the largest $k$-sparse set of a triangle-free graph of order $n$. Also, we consider Ramsey numbers of the following type. Given $i$, what is the smallest $n$ having the property that all triangle-free graphs of order $n$ contain a 4-cycle or a $k$-sparse set of order $i$. We use both direct proof techniques and an efficient graph enumeration algorithm to obtain several values for defective Ramsey numbers and a parameter related to largest sparse sets in triangle-free graphs, along with their extremal graphs.
Nordhaus-Gaddum inequalities for the number of cliques in a graph
Nordhaus and Gaddum proved sharp upper and lower bounds on the sum and product of the chromatic number of a graph and its complement. Over the years, similar inequalities have been shown for a plenitude of different graph invariants. In this paper, we consider such inequalities for the number of cliques (complete subgraphs) in a graph $G$, denoted $k(G)$. We note that some such inequalities have been well-studied, e.g., lower bounds on $k(G)+k(\overline{G})=k(G)+i(G)$, where $i(G)$ is the number of independent subsets of $G$, has been come to be known as the study of Ramsey multiplicity. We give a history of such problems. One could consider fixed sized versions of these problems as well. We also investigate multicolor versions of these problems, meaning we $r$-color the edges of $K_n$ yielding graphs $G_1,G_2,\ldots,G_r$ and give bounds on $\sum k(G_i)$ and $\prod k(G_i)$.
Positivity for quantum cluster algebras from orbifolds
Let $(S,M,U)$ be a marked orbifold with or without punctures and let $\mathcal A_v$ be a quantum cluster algebra from $(S,M,U)$ with arbitrary coefficients and quantization. We provide combinatorial formulas for quantum Laurent expansion of quantum cluster variables of $\mathcal A_v$ concerning an arbitrary quantum seed. Consequently, the positivity for the quantum cluster algebra $\mathcal A_v$ is proved.
Regular set in Cayley sum mgraph
A subset $C$ of the vertex set of a graph $Γ$ is said to be $(α,β)$-regular if $C$ induces an $α$-regular subgraph and every vertex outside $C$ is adjacent to exactly $β$ vertices in $C$. In particular, if $C$ is an $(α,β)$-regular set in some Cayley sum graph of a finite group $G$ with connection set $S$, then $C$ is called an $(α,β)$-regular set of $G$ and a $(0,1)$-regular set is called a perfect code of $G$. By Sq$(G)$ and NSq$(G)$ we mean the set of all square elements and non-square elements of $G$. As one of the main results in this note, we show that a subgroup $H$ of a finite abelian group $G$ is an $(α,β)$-regular set of $G$, for each $0\leq α\leq |$NSq$(G)\cap H|$ and $0\leq β\leq \mathcal{L}(H)$, where $\mathcal{L}(H)=|H|$, if Sq$(G) \subseteq H$ and $\mathcal{L}(H)=|$NSq$(G)\cap H|$, otherwise. As a consequence of our result we give a very brief proof for the main results in \cite{mama, ma}. Also, we consider the dihedral group $G=D_{2n} $ and for each subgroup $H $ of $G$, by giving an appropriate connection set $S$, we determine each possibility for $(α, β)$, where $H$ is an $(α,β)$-regular set of $G$.
Towards the essence of Šoltés' problem
Published
• View Publication
• BIB
We explore the question asking for graphs $G$ for which the total distance decreases, possibly by a fixed constant $k$, upon the removal of any of its vertices. We obtain results leading to intuition and doubts for the Šoltés' problem ($k=0$) and its conjectures.
On a sign-change conjecture of Schlosser and Zhou
Published
• View Publication
• BIB
In this paper, we investigate the signs changes of Fourier coefficients of infinite products of $q$-series of Rogers--Ramanujan type. In particular, we prove a conjecture made by Schlosser--Zhou pertaining to such sign changes for products of modulus $10$.
Energy of a graph and Randić index of subgraphs
Published
• View Publication
• BIB
We give a new inequality between the energy of a graph and a weighted sum over the edges of the graph. Using this inequality we prove that $\mathcal{E}(G)\geq 2R(H)$, where $ \mathcal{E}(G)$ is the energy of a graph $G$ and $R(H)$ is the Randić index of any subgraph of $G$ (not necessarily induced). In particular, this generalizes well-known inequalities $\mathcal{E}(G)\geq 2R(G)$ and $\mathcal{E}(G)\geq 2μ(G)$ where $μ(G)$ is the matching number. We give other inequalities as applications to this result.