Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Arithmetical subword complexity of automatic sequences
We fully classify automatic sequences $a$ over a finite alphabet $Ω$ with the property that each word over $Ω$ appears is $a$ along an arithmetic progression. Using the terminology introduced by Avgustinovich, Fon-Der-Flaass and Frid, these are the automatic sequences with the maximal possible arithmetical subword complexity. More generally, we obtain an asymptotic formula for arithmetical (and even polynomial) subword complexity of a given automatic sequence $a$.
Extensions of MacMahon's sums of divisors
Published
• View Publication
• BIB
In 1920, P. A. MacMahon generalized the (classical) notion of divisor sums by relating it to the theory of partitions of integers. In this paper, we extend the idea of MacMahon. In doing so we reveal a wealth of divisibility theorems and unexpected combinatorial identities. Our initial approach is quite different from MacMahon and involves rational function approximation to MacMahon-type generating functions. One such example involves multiple $q$-harmonic sums $$\sum_{k=1}^n\frac{(-1)^{k-1}\genfrac{[}{]}{0pt}{}{n}{k}_{q}(1+q^k)q^{\binom{k}{2}+tk}}{[k]_q^{2t} \genfrac{[}{]}{0pt}{}{n+k}{k}_{q}}=\sum_{1\leq k_1\leq\cdots\leq k_{2t}\leq n}\frac{q^{n+k_1+k_3\cdots+k_{2t-1}}+q^{k_2+k_4+\cdots+k_{2t}}}{[n+k_1]_q[k_2]_q\cdots[k_{2t}]_q}.$$
A note on a generalized double series
Published
• View Publication
• BIB
By employing contour integration the derivation of a generalized double finite series involving the Hurwitz-Lerch zeta function is used to derive closed form formulae in terms of special functions. We use this procedure to find special cases of the summation and product formulae in terms of the Hurwitz-Lerch zeta function, trigonometric functions and the gamma function.
The Three Tree Theorem
We prove that every 2-sphere graph different from a prism can be vertex 4-colored in such a way that all Kempe chains are forests. This implies the following three tree theorem: the arboricity of a discrete 2-sphere is 3. Moreover, the three trees can be chosen so that each hits every triangle. A consequence is a result of an exercise in the book of Bondy and Murty based on work of A. Frank, A. Gyarfas and C. Nash-Williams: the arboricity of a planar graph is less or equal than 3.
Non-$\ell$-distance-balanced generalized Petersen graphs $GP(n,3)$ and $GP(n,4)$
A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. We prove that the generalized Petersen graph $GP(n,3)$ where $n>16$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,3))$, and $GP(n,4)$ where $n>24$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,4))$. This partially solves a conjecture posed by Š. Miklavič and P. Šparl (Discrete Appl. Math. 244:143-154, 2018).
On the third ABC index of trees and unicyclic graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. The third atom-bond connectivity index, $ABC_3$ index, of $G$ is defined as $ABC_3(G)=\sum\limits_{uv\in E(G)}\sqrt{\frac{e(u)+e(v)-2}{e(u)e(v)}}$, where eccentricity $e(u)$ is the largest distance between $u$ and any other vertex of $G$, namely $e(u)=\max\{d(u,v)|v\in V(G)\}$. This work determines the maximal $ABC_3$ index of unicyclic graphs with any given girth and trees with any given diameter, and characterizes the corresponding graphs.
Boxicity and Interval-Orders: Petersen and the Complements of Line Graphs
Published
• View Publication
• BIB
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs''.
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023].
Since every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $\mathcal{NP}$-hard: for the existence and optimization of interval-order subgraphs of line-graphs, or of interval-completions of their complement.
The $K^4$-Game
We investigate a two player game called the $K^4$-building game: two players alternately claim edges of an infinite complete graph. Each player's aim is to claim all six edges on some vertex set of size four for themself. The first player to accomplish this goal is declared the winner of the game. We present a winning strategy which guarantees a win for the first player.
A combinatorial view on star moments of regular directed graphs and trees
We investigate the method of moments for $d$-regular digraphs and the limiting $d$-regular directed tree $T_d$ as the number of vertices tends to infinity, in the same spirit as McKay (Linear Algebra Appl., 1981) for the undirected setting. In particular, we provide a combinatorial derivation of the formula for the star moments (from a root vertex $o\in T_d$) $$M_d(w)\qquad:=\sum_{\substack{v_0,v_1\ldots,v_{k-1},v_k\in T_d\\v_0=v_k=o}} A^{w_1}(v_0,v_1)A^{w_2}(v_1,v_2) \cdots A^{w_k}(v_{k-1},v_k)$$ with $A$ the adjacency matrix of $T_d$, where $w:=w_1\cdots w_k$ is any word on the alphabet $\{1,{*}\}$ and $A^*$ is the adjoint matrix of $A$. Our analysis highlights a connection between the non-zero summands of $M_d(w)$ and the non-crossing partitions of $\{1,\ldots,k\}$ which are in some sense compatible with $w$.
LDP polygons and the number 12 revisited
We give a combinatorial proof of a lattice point identity involving a lattice polygon and its dual, generalizing the formula $area(Δ) + area(Δ^*) = 6$ for reflexive $Δ$. The identity is equivalent to the stringy Libgober-Wood identity for toric log del Pezzo surfaces.
An improvement to the Kelley-Meka bounds on three-term arithmetic progressions
In a recent breakthrough Kelley and Meka proved a quasipolynomial upper bound for the density of sets of integers without non-trivial three-term arithmetic progressions. We present a simple modification to their method that strengthens their conclusion, in particular proving that if $A\subset\{1,\ldots,N\}$ has no non-trivial three-term arithmetic progressions then \[\lvert A\rvert \leq \exp(-c(\log N)^{1/9})N\] for some $c>0$.
Cohen-Macaulay weighted chordal graphs
In this paper I give a combinatorial characterization of all the Cohen-Macaulay weighted chordal graphs. In particular, it is shown that a weighted chordal graph is Cohen- Macaulay if and only if it is unmixed.
On off-diagonal Ramsey numbers for vector spaces over $\mathbb{F}_{2}$
Published
• View Publication
• BIB
For every positive integer $d$, we show that there must exist an absolute constant $c > 0$ such that the following holds: for any integer $n \geq cd^{7}$ and any red-blue coloring of the one-dimensional subspaces of $\mathbb{F}_{2}^{n}$, there must exist either a $d$-dimensional subspace for which all of its one-dimensional subspaces get colored red or a $2$-dimensional subspace for which all of its one-dimensional subspaces get colored blue. This answers recent questions of Nelson and Nomoto, and confirms that for any even plane binary matroid $N$, the class of $N$-free, claw-free binary matroids is polynomially $χ$-bounded.
Our argument will proceed via a reduction to a well-studied additive combinatorics problem, originally posed by Green: given a set $A \subset \mathbb{F}_{2}^{n}$ with density $α\in [0,1]$, what is the largest subspace that we can find in $A+A$? Our main contribution to the story is a new result for this problem in the regime where $1/α$ is large with respect to $n$, which utilizes ideas from the recent breakthrough paper of Kelley and Meka on sets of integers without three-term arithmetic progressions.
Representations of large Mackey Lie algebras and universal tensor categories
Published
• View Publication
• BIB
We extend previous work by constructing a universal abelian tensor category ${\bf T}_t$ generated by two objects $X,Y$ equipped with finite filtrations $0\subsetneq X_0\subsetneq ... X_{t+1}\subsetneq X$ and $0\subsetneq Y_0\subsetneq ... Y_{t+1}\subsetneq Y$, and with a pairing $X\otimes Y\to \mathbb{I}$, where $\mathbb{I}$ is the monoidal unit. This category is modeled as a category of representations of a Mackey Lie algebra $\mathfrak{gl}^M(V,V_*)$ of cardinality $2^{\aleph_t}$, associated to a diagonalizable pairing between two complex vector spaces $V,V_*$ of dimension $\aleph_t$. As a preliminary step, we study a tensor category $\mathbb{T}_t$ generated by the algebraic duals $V^*$, $(V_*)^*$. The injective hull of $\mathbb{C}$ in $\mathbb{T}_t$ is a commutative algebra $I$, and the category ${\bf T}_t$ is consists of the free $I$-modules in $\mathbb{T}_t$. An essential novelty in our work is the explicit computation of Ext-groups between simples in both categories ${\bf T}_t$ and $\mathbb{T}_t$, which had been an open problem already for $t=0$. This provides a direct link from the theory of universal tensor categories to Littlewood-Richardson-type combinatorics.
2-Edge Distance-Balanced Graphs
In a graph A, for each two arbitrary vertices g, h with d(g,h)=2,|MAg2h|=mAg2h is introduced the number of edges of A that are closer to g than to h. We say A is a 2-edge distance-balanced graph if we have mAg2h=mAh2g. In this article, we verify the concept of these graphs and present a method to recognize k-edge distance-balanced graphs for k = 2,3 using existence of either even or odd cycles. Moreover, we investigate situations under which the Cartesian and lexicographic products lead to 2-edge distance -balanced graphs. In some subdivision-related graphs 2-edge distance-balanced property is verified.
Distances between realizations of order types
Published
• View Publication
• BIB
Any $n$-tuple of points in the plane can be moved to any other $n$-tuple by a continuous motion with at most $\binom{n}{3}$ intermediate changes of the order type. Even for tuples with the same order type, the cubic bound is sharp: there exist pairs of $n$-tuples of the same order type requiring $c\binom{n}{3}$ intermediate changes.
Big Tiles in Hyperbolic Groups
We prove that if $Γ$ is a word hyperbolic group and $K$ is a finite subset of $Γ$, then $Γ$ admits a tile containing $K$.
Quantum Bruhat graphs and tilted Richardson varieties
Quantum Bruhat graph is a weighted directed graph on a finite Weyl group first defined by Brenti-Fomin-Postnikov. It encodes quantum Monk's rule and can be utilized to study the $3$-point Gromov-Witten invariants of the flag variety. In this paper, we provide an explicit formula for the minimal weights between any pair of permutations on the quantum Bruhat graph, and consequently obtain an Ehresmann-like characterization for the tilted Bruhat order. Moreover, for any ordered pair of permutations $u$ and $v$, we define the tilted Richardson variety $T_{u,v}$, with a stratification that gives a geometric meaning to intervals in the tilted Bruhat order. We provide a few equivalent definitions to this new family of varieties that include Richardson varieties, and establish some fundamental geometric properties including their dimensions and closure relations.
Inertia and spectral symmetry of the eccentricity matrices of a class of bi-block graphs
Published
• View Publication
• BIB
The eccentricity matrix of a simple connected graph G is obtained from the distance matrix of G by retaining the largest non-zero distance in each row and column, and the remaining entries are defined to be zero. A bi-block graph is a simple connected graph whose blocks are all complete bipartite graphs with possibly different orders. In this paper, we study the eccentricity matrices of a subclass B (which includes trees) of bi-block graphs. We first find the inertia of the eccentricity matrices of graphs in B, and thereby we characterize graphs in B with odd diameters. Precisely, if G in B with diameter of G greater than three, then we show that the eigenvalues of the eccentricity matrix of G are symmetric with respect to the origin if and only if the diameter of G is odd. Further, we prove that the eccentricity matrices of graphs in B are irreducible.
On Translation Hyperovals in Semifield Planes
Published
• View Publication
• BIB
In this paper we demonstrate the first example of a finite translation plane which does not contain a translation hyperoval, disproving a conjecture of Cherowitzo. The counterexample is a semifield plane, specifically a Generalised Twisted Field plane, of order $64$. We also relate this non-existence to the covering radius of two associated rank-metric codes, and the non-existence of scattered subspaces of maximum dimension with respect to the associated spread.