Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Strict Log-Subadditivity for Overpartition Rank
Published
• View Publication
• BIB
Bessenrodt and Ono initially found the strict log-subadditivity of partition function $p(n)$, that is, $p(a+b)< p(a)p(b)$ for $a,b>1$ and $a+b>9$. Many other important statistics of partitions are proved to enjoy similar properties. Lovejoy introduced the overpartition rank as an analog of Dyson's rank for partitions from the $q$-series perspective. Let $\overline{N}(a,c,n)$ denote the number of overpartitions with rank congruent to $a$ modulo $c$. Ciolan computed the asymptotic formula of $\overline{N}(a,c,n)$ and showed that $\overline{N}(a, c, n) > \overline{N}(b, c, n)$ for $c\geq7$ and $n$ large enough. In this paper, we derive an upper bound and a lower bound of $\overline{N}(a,c,n)$ for each $c\geq3$ by using the asymptotics of Ciolan. Consequently, we establish the strict log-subadditivity of $\overline{N}(a,c,n)$ analogous to the partition function $p(n)$.
The Banach-Tarski Paradox
This thesis presents the strong and weak forms of the Banach-Tarski paradox based on the Hausdorff paradox. It provides modernized proofs of the paradoxes and necessary properties of equidecomposable and paradoxical sets. The historical significance of the paradox for measure theory is covered, along with its incorrect attribution to Banach and Tarski. Finally, the necessity of the axiom of choice is discussed and contrasted with other axiomatic and topological assumptions that enable the paradoxes.
A Matrix Analogue of Schur-Siegel-Smyth Trace Problem
Let $\mathcal{S}$ be the set of all positive-definite, symmetrizable integer matrices with non-zero upper and lower diagonal and $\mathcal{T}$ to be the set of all positive-definite real symmetric matrices with nonzero upper diagonal such that all non-zero entries are square-roots of some positive integers and the matrices satisfy a certain cycle condition.
In this paper, for any $n \times n$ matrix $A \in \mathcal{S} \cup \mathcal{T}$ and any $k \in \mathbb{N}$ we find a general lower bound for $Tr_{2^k}(A)$, i.e, the sum of $2^k$-th power of eigenvalues of $A$, which depends on $n$ as well as some other variables. In particular, we obtain the best possible lower bound for $Tr_2(A) $ that is $6n - 5$. As a strong outcome of this result we show that the smallest limit point of $\overline{Tr_2(A)} = \frac{Tr_2(A)}{n}$ is $6$. This is a solution of an analogue of ``Schur - Siegel - Smyth trace problem" for characteristic polynomials of matrices in $\mathcal{S} \cup \mathcal{T}$. We also obtain a lower bound of smallest limit point of $\overline{Tr_{2^k}(A)}$ for any positive integer $k > 1$ and for the same set of matrices. Furthermore, we exhibit that the famous results of Smyth on density of absolute trace measure and absolute trace-2 measure of totally positive integers are also true for the set of symmetric integer connected positive definite matrices.
On isomorphism classes of leaf-induced subtrees in topological trees
A subtree can be induced in a natural way by a subset of leaves of a rooted tree. We study the number of nonisomorphic such subtrees induced by leaves (leaf-induced subtrees) of a rooted tree with no vertex of outdegree 1 (topological tree). We show that only stars and binary caterpillars have the minimum nonisomorphic leaf-induced subtrees among all topological trees with a given number of leaves. We obtain a closed formula and a recursive formula for the families of $d$-ary caterpillars and complete $d$-ary trees, respectively. An asymptotic formula is found for complete $d$-ary trees using polynomial recurrences. We also show that the complete binary tree of height $h>1$ contains precisely $\lfloor 2(1.24602...)^{2^h}\rfloor$ nonisomorphic leaf-induced subtrees.
On the Impossibility of Decomposing Binary Matroids
Published
• View Publication
• BIB
We show that there exist $k$-colorable matroids that are not $(b,c)$-decomposable when $b$ and $c$ are constants. A matroid is $(b,c)$-decomposable, if its ground set of elements can be partitioned into sets $X_1, X_2, \ldots, X_l$ with the following two properties. Each set $X_i$ has size at most $ck$. Moreover, for all sets $Y$ such that $|Y \cap X_i| \leq 1$ it is the case that $Y$ is $b$-colorable. A $(b,c)$-decomposition is a strict generalization of a partition decomposition and, thus, our result refutes a conjecture from arXiv:1911.10485v2 .
The Vertical Recursive Relation of Riordan Arrays and Their Matrix Representation
A vertical recursive relation approach to Riordan arrays is induced, while the horizontal recursive relation is represented by $A$- and $Z$-sequences. This vertical recursive approach gives a way to represent the entries of a Riordan array $(g,f)$ in terms of a recursive linear combinations of the coefficients of $g$. A matrix representation of the vertical recursive relation is also given. The set of all those matrices forms a group, called the quasi-Riordan group. The extensions of the horizontal recursive relation and the vertical recursive relation in terms of $c$- and $C$- Riordan arrays are defined with illustrations by using the rook triangle and the Laguerre triangle. Those extensions represent a way to study nonlinear recursive relations of the entries of some triangular matrices from linear recursive relations of the entries of Riordan arrays. In addition, the matrix representation of the vertical recursive relation of Riordan arrays provides transforms between lower order and high order finite Riordan arrays, where the $m$th order Riordan array is defined by $(g,f)_m=(d_{n,k})_{m\geq n,k\geq 0}$. Furthermore, the vertical relation approach to Riordan arrays provides a unified approach to construct identities.
The freeness Index of a graph
We define a new integer invariant of a finite graph G, the freeness index, that measures the extent to which G can be embedded in the 3-sphere so that it and its subgraphs have ``simple" complements, i.e., complements which are homeomorphic to a connect-sum of handlebodies. We relate the freeness index to questions of embedding graphs into surfaces, in particular to the orientable cycle double cover conjecture. We show that a cubic graph satisfying the orientable double cycle cover conjecture has freeness index at least two.
A characterization of edge-ordered graphs with almost linear extremal functions
Published
• View Publication
• BIB
The systematic study of Turán-type extremal problems for edge-ordered graphs was initiated by Gerbner et al. arXiv:2001.00849. They conjectured that the extremal functions of edge-ordered forests of order chromatic number 2 are $n^{1+o(1)}$. Here we resolve this conjecture proving the stronger upper bound of $n2^{O(\sqrt{\log n})}$. This represents a gap in the family of possible extremal functions as other forbidden edge-ordered graphs have extremal functions $Ω(n^c)$ for some $c>1$. However, our result is probably not the last word: here we conjecture that the even stronger upper bound of $n\log^{O(1)}n$ also holds for the same set of extremal functions.
On the computation of rational solutions of underdetermined systems over a finite field
We design and analyze an algorithm for computing solutions with coefficients in a finite field $\mathbb{F}_q$ of underdetermined systems defined over $\mathbb{F}_q$. The algorithm is based on reductions to zero-dimensional searches. The searches are performed on "vertical strips", namely parallel linear spaces of suitable dimension in a given direction. Our results show that, on average, less than three searches suffice to obtain a solution of the original system, with a probability of success which grows exponentially with the number of searches. The analysis of our algorithm relies on results on the probability that the solution set (over the algebraic closure of $\mathbb{F}_q$) of a random system with coefficients in $\mathbb{F}_q$ satisfies certain geometric and algebraic properties which is of independent interest.
On the homology of several number-theoretic set families
Published in Enumerative Combinatorics and Applications 4,2 (2024), #S2R12, 11 pp
• View Publication
• BIB
This paper describes the homology of various simplicial complexes associated to set families from combinatorial number theory, including primitive sets, pairwise coprime sets, product-free sets, and coprime-free sets. We present a condition on a set family that results in easy computation of the homology groups, and show that the first three examples, among many others, admit such a structure. We then extend our techniques to address the complexes associated to coprime-free sets and a generalization of primitive sets.
Fractional revival on Cayley graphs over abelian groups
Published
• View Publication
• BIB
In this paper, we investigate the existence of fractional revival on Cayley graphs over finite abelian groups. We give a necessary and sufficient condition for Cayley graphs over finite abelian groups to have fractional revival. As applications, the existence of fractional revival on circulant graphs and cubelike graphs are characterized.
All minimal $[9,4]_{2}$-codes are hyperbolic quadrics
Published
• View Publication
• BIB
Minimal codes are being intensively studied in last years. $[n,k]_{q}$-minimal linear codes are in bijection with strong blocking sets of size $n$ in $PG(k-1,q)$ and a lower bound for the size of strong blocking sets is given by $(k-1)(q+1)\leq n$. In this note we show that all strong blocking sets of length 9 in $PG(3,2)$ are the hyperbolic quadrics $Q^{+}(3,2)$.
On upper bounds for the multi-fold chromatic numbers of the plane
Published in Geombinatorics 30/4 (2021) 177-189
• Search Publication
The multi-fold chromatic number of the plane $χ_m$ is the smallest number of colors $k$, sufficient to color each point of the Euclidean plane in exactly $m$ colors, so that for any pair of points at a unit distance from each other, two corresponding $m$-subsets of $k$-set do not contain any common color. We consider upper bounds for $m$-fold chromatic numbers of the plane. Our main result is that for any $m$ the inequality $χ_m<(1+2/\sqrt3)^2\cdot m+3.501$ holds.
A 6-chromatic odd-distance graph in the plane
Published in Geombinatorics 31/3 (2022) 124-137
• Search Publication
Two vertices of an odd-distance graph are connected by an edge if and only if their Euclidean distance is an odd integer. We construct a 6-chromatic odd-distance graph in the plane.
On the plane and its coloring
Published in Geombinatorics 31/4 (2022) 189-195
• Search Publication
We provide a human-verifiable proof that, in a certain sense, the chromatic number of the plane is exactly 7.
Tiling the plane with hexagons: improved separations for $k$-colourings
It has been common knowledge since 1950 that seven colours can be assigned to tiles of an infinite honeycomb with cells of unit diameter such that no two tiles of the same colour are closer than $d(7)=\frac{\sqrt{7}}{2}$ apart. Various authors have described tilings using $k>7$ colours, giving corresponding values for $d(k)$, but it is generally unknown whether these are the largest possible for a given $k$. Here, for many $k$, we describe tilings with larger values of $d(k)$ than previously reported.
On super cluster algebras based on super Plücker and super Ptolemy relations
Published
• View Publication
• BIB
We study super cluster algebra structure arising in examples provided by super Plücker and super Ptolemy relations. We develop the super cluster structure of the super Grassmannians $\Gr_{2|0}(n|1)$ for arbitrary $n$, which was indicated earlier in our joint work with Th. Voronov. For the super Ptolemy relation for the decorated super Teichmüller space of Penner-Zeitlin, we show how by a change of variables it can be transformed into the classical Ptolemy relation with the new even variables decoupled from odd variables. We also analyze super Plücker relations for general super Grassmannians and obtain a new simple form of the relations for $\Gr_{r|1}(n|1)$. To this end, we establish properties of Berezinians of certain type matrices (which we call ``wrong'').
Knight's paths towards Catalan numbers
Published
• View Publication
• BIB
We provide enumerating results for partial knight's paths of a given size. We prove algebraically that zigzag knight's paths of a given size ending on the $x$-axis are enumerated by the generalized Catalan numbers, and we give a constructive bijection with peakless Motzkin paths of a given length. After enumerating partial knight's paths of a given length, we prove that zigzag knight's paths of a given length ending on the $x$-axis are counted by the Catalan numbers. Finally, we give a constructive bijection with Dyck paths of a given length.
Steiner Type Packing Problems in Digraphs: A Survey
Graph packing problem is one of the central problems in graph theory and combinatorial optimization. The famous Steiner tree packing problem in undirected graphs has become an well-established area. It is natural to extend this problem to digraphs, and such problems in digraphs are called directed Steiner type packing problems.
In this survey we overview known results on several directed Steiner type packing problems. The paper is divided into seven sections: introduction, directed Steiner tree packing problem, directed Steiner path packing problem, directed pendant Steiner tree packing problem, strong subgraph packing problem, strong arc decomposition problem, directed Steiner cycle packing problem. This survey also contains some conjectures and open problems for further study.
Extensions and Limits of the Specker-Blatter Theorem
Published
• View Publication
• BIB
The original Specker-Blatter Theorem (1983) was formulated for classes of structures $\mathcal{C}$ of one or several binary relations definable in Monadic Second Order Logic MSOL. It states that the number of such structures on the set $[n]$ is modularly C-finite (MC-finite). In previous work we extended this to structures definable in CMSOL, MSOL extended with modular counting quantifiers. The first author also showed that the Specker-Blatter Theorem does not hold for one quaternary relation (2003).
If the vocabulary allows a constant symbol $c$, there are $n$ possible interpretations on $[n]$ for $c$. We say that a constant $c$ is {\em hard-wired} if $c$ is always interpreted by the same element $j \in [n]$. In this paper we show:
1. The Specker-Blatter Theorem also holds for CMSOL when hard-wired constants are allowed. The proof method of Specker and Blatter does not work in this case.
2. The Specker-Blatter Theorem does not hold already for $\mathcal{C}$ with one ternary relation definable in First Order Logic FOL. This was left open since 1983.
Using hard-wired constants allows us to show MC-finiteness of counting functions of various restricted partition functions which were not known to be MC-finite till now. Among them we have the restricted Bell numbers $B_{r,A}$, restricted Stirling numbers of the second kind $S_{r,A}$ or restricted Lah-numbers $L_{r,A}$. Here $r$ is an non-negative integer and $A$ is an ultimately periodic set of non-negative integers.