Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Expected Density of Random Minimizers
Published
• View Publication
• BIB
Minimizer schemes, or just minimizers, are a very important computational primitive in sampling and sketching biological strings. Assuming a fixed alphabet of size $σ$, a minimizer is defined by two integers $k,w\ge2$ and a total order $ρ$ on strings of length $k$ (also called $k$-mers). A string is processed by a sliding window algorithm that chooses, in each window of length $w+k-1$, its minimal $k$-mer with respect to $ρ$. A key characteristic of the minimizer is the expected density of chosen $k$-mers among all $k$-mers in a random infinite $σ$-ary string. Random minimizers, in which the order $ρ$ is chosen uniformly at random, are often used in applications. However, little is known about their expected density $\mathcal{DR}_σ(k,w)$ besides the fact that it is close to $\frac{2}{w+1}$ unless $w\gg k$.
We first show that $\mathcal{DR}_σ(k,w)$ can be computed in $O(kσ^{k+w})$ time. Then we attend to the case $w\le k$ and present a formula that allows one to compute $\mathcal{DR}_σ(k,w)$ in just $O(w \log w)$ time. Further, we describe the behaviour of $\mathcal{DR}_σ(k,w)$ in this case, establishing the connection between $\mathcal{DR}_σ(k,w)$, $\mathcal{DR}_σ(k+1,w)$, and $\mathcal{DR}_σ(k,w+1)$. In particular, we show that $\mathcal{DR}_σ(k,w)<\frac{2}{w+1}$ (by a tiny margin) unless $w$ is small. We conclude with some partial results and conjectures for the case $w>k$.
Sequences of odd length in strict partitions II: the $2$-measure and refinements of Euler's theorem
Published
• View Publication
• BIB
The number of sequences of odd length in strict partitions (denoted as $\mathrm{sol}$), which plays a pivotal role in the first paper of this series, is investigated in different contexts, both new and old. Namely, we first note a direct link between $\mathrm{sol}$ and the $2$-measure of strict partitions when the partition length is given. This notion of $2$-measure of a partition was introduced quite recently by Andrews, Bhattacharjee, and Dastidar. We establish a $q$-series identity in three ways, one of them features a Franklin-type involuion. Secondly, still with this new partition statistic $\mathrm{sol}$ in mind, we revisit Euler's partition theorem through the lens of Sylvester-Bessenrodt. Two new bivariate refinements of Euler's theorem are established, which involve notions such as MacMahon's 2-modular Ferrers diagram, the Durfee side of partitions, and certain alternating index of partitions that we believe is introduced here for the first time.
Discrepancies of spanning trees in dense graphs
We address several related problems on combinatorial discrepancy of trees in a setting introduced by Erdős, Füredi, Loebl and Sós. Given a fixed tree $T$ on $n$ vertices and an edge-colouring of the complete graph $K_n$, for every colour, we find a copy of $T$ in $K_n$ where the number of edges in that colour significantly exceeds its expected count in a uniformly random embedding. This resolves a problem posed by Erdős, Füredi, Loebl and Sós by generalising their work from two to many colours. Furthermore, if $T$ has maximum degree $Δ\leqεn$ for sufficiently small $ε> 0$ and the edge-colouring of $K_n$ is both balanced and ``not too close'' to one particular instance, we show that, for every colour, there is a copy of $T$ in $K_n$ where that colour appears on linearly more edges than any other colour. Several related examples are provided to demonstrate the necessity of the introduced structural restrictions. Our proofs combine saturation arguments for the existence of particular coloured substructures and analysis of conveniently defined local exchanges.
Using similar methods, we investigate the existence of copies of a graph $H$ with prescribed number of edges in each colour in $2$-edge-coloured dense host graphs. In particular, for a graph $H$ with bounded maximum degree and balanced $2$-edge-colourings $\mathbf{c}$ of a host graph $G$ with minimum degree at least $(1-ε)n$ for some $ε> 0$, we show that, for any sufficiently large $n$ and sufficiently small $ε$, there exists a copy of $H$ where the number of edges in the two colours differ by at most $2$. Moreover, we completely characterise the pairs $(H,\mathbf{c})$ for which the difference of $2$ cannot be improved, refuting a conjecture by Mohr, Pardey, and Rautenbach.
On Functional Dimension and Persistent Pseudodimension
For any fixed feedforward ReLU neural network architecture, it is well-known that many different parameter settings can determine the same function. It is less well-known that the degree of this redundancy is inhomogeneous across parameter space. In this work, we discuss two locally applicable complexity measures for ReLU network classes and what we know about the relationship between them: (1) the local functional dimension [14, 18], and (2) a local version of VC dimension that we call persistent pseudodimension. The former is easy to compute on finite batches of points; the latter should give local bounds on the generalization gap, which would inform an understanding of the mechanics of the double descent phenomenon [7].
Upper bounds for multicolour Ramsey numbers
Published
• View Publication
• BIB
The $r$-colour Ramsey number $R_r(k)$ is the minimum $n \in \mathbb{N}$ such that every $r$-colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove, for each fixed $r \geqslant 2$, that $$R_r(k) \leqslant e^{-δk} r^{rk}$$ for some constant $δ= δ(r) > 0$ and all sufficiently large $k \in \mathbb{N}$. For each $r \geqslant 3$, this is the first exponential improvement over the upper bound of Erdős and Szekeres from 1935. In the case $r = 2$, it gives a different (and significantly shorter) proof of a recent result of Campos, Griffiths, Morris and Sahasrabudhe.
Classical patterns in Mallows permutations
Published
• View Publication
• BIB
We study classical pattern counts in Mallows random permutations with parameters $(n,q_n)$, as $n\to\infty$. We focus on three different regimes for the parameter $q = q_n$. When $n^{3/2}(1-q)\to0$, we use coupling techniques to prove that pattern counts in Mallows random permutations satisfy a central limit theorem with the same asymptotic mean and variance as in uniformly random permutations. When $q\to1$ and $n(1-q)\to\infty$, we use results on the displacements of permutation points to find the order of magnitude of pattern counts. When $q\in(0,1)$ is fixed, we use the regenerative property of the Mallows distribution to compare pattern counts with certain $U$-statistics, and establish central limit theorems. We also construct a specific Mallows process, that is a coupling of Mallows distributions with $q$ ranging from $0$ to $1$, for which the process of pattern counts satisfies a functional central limit theorem.
Classifying rational polygons with small denominator and few interior lattice points
Published
• View Publication
• BIB
We present algorithms for classifying rational polygons with fixed denominator and number of interior lattice points. Our approach is to first describe maximal polygons and then compute all subpolygons, where we eliminate redundancy by a suitable normal form. Executing our classification, we obtained a dataset of several billions of polygons covering a wide variety of cases.
A generalization of Franklin's partition identity and a Beck-type companion identity
Published
• View Publication
• BIB
Euler's classic partition identity states that the number of partitions of $n$ into odd parts equals the number of partitions of $n$ into distinct parts. We develop a new generalization of this identity, which yields a previous generalization of Franklin as a special case, and prove an accompanying Beck-type companion identity.
More on the optimal arrangement of $2d$ lines in $\mathbb{C}^d$
We introduce a new infinite family of $d\times 2d$ equiangular tight frames. Many matrices in this family consist of two $d\times d$ circulant blocks. We conjecture that such equiangular tight frames exist for every $d$. We show that our conjecture holds for $d\leq 165$ by a computer-assisted application of a Newton-Kantorovich theorem. In addition, we supply numerical constructions that corroborate our conjecture for $d\leq 1500$.
The Largest and Smallest Eigenvalues of Matrices and Some Hamiltonian Properties of Graphs
Published
• View Publication
• BIB
Let $G = (V, E)$ be a graph. We define matrices $M(G; α, β)$as $αD + βA$, where $α$, $β$ are real numbers such that $(α, β) \neq (0, 0)$ and $D$ and $A$ are the diagonal matrix and adjacency matrix of $G$, respectively. Using the largest and smallest eigenvalues of $M(G; α, β)$ with $α\geq β> 0$, we present sufficient conditions for the Hamiltonian and traceable graphs.
Zero Forcing of Generalized Hierarchical Products of Graphs
Zero forcing is a graph propagation process for which vertices fill-in (or propagate information to) neighbor vertices if all neighbors except for one, are filled. The zero-forcing number is the smallest number of vertices that must be filled to begin the process so that the entire graph or network becomes filled. In this paper, bounds are provided on the zero forcing number of generalized hierarchical products.
A New Polynomial for Checkerboard-Colorable 4-Valent Virtual Graphs
Published in Graphs and Combinatorics 41(3), 65 (2025)
• View Publication
• BIB
We assign a new polynomial to any checkerboard-colorable 4-valent virtual graph in terms of its Euler circuit expansion. This provides a new combinatorial formulation of the Kauffman-Jones polynomial for checkerboard-colorable virtual links.
On the Matching Problem in Random Hypergraphs
Published
• View Publication
• BIB
We study a variant of the Erdős Matching Problem in random hypergraphs. Let $\mathcal{K}_p(n,k)$ denote the Erdős-Rényi random $k$-uniform hypergraph on $n$ vertices where each possible edge is included with probability $p$. We show that when $n\gg k^{2}s$ and $p$ is not too small, with high probability, the maximum number of edges in a sub-hypergraph of $\mathcal{K}_p(n,k)$ with matching number $s$ is obtained by the trivial sub-hypergraphs, i.e. the sub-hypergraph consisting of all edges containing at least one vertex in a fixed set of $s$ vertices.
Semigroups of ideals and isomorphism problems
Published
• View Publication
• BIB
Let $H$ be a monoid (written multiplicatively). We call $H$ Archimedean if, for all $a, b \in H$ such that $b$ is a non-unit, there is an integer $k \ge 1$ with $b^k \in HaH$; strongly Archimedean if, for each $a \in H$, there is an integer $k \ge 1$ such that $HaH$ contains any product of any $k$ non-units of $H$; and duo if $aH = Ha$ for all $a \in H$.
We prove that the ideals of two strongly Archimedean, cancellative, duo monoids make up isomorphic semigroups under the induced operation of setwise multiplication if and only if the monoids themselves are isomorphic up to units; and the same holds upon restriction to finitely generated ideals in Archimedean, cancellative, duo monoids. Then we use the previous results to tackle a new case of a problem of Tamura and Shafer from the late 1960s.
A bijective proof of Andrews' refinement of the Alladi-Schur theorem
Published
• View Publication
• BIB
This paper gives a bijective proof of Andrews' refinement of the Alladi-Schur theorem. Moreover, it demonstrates that the bijective framework introduced here can be used to reproduce and provide a bijective account of Andrews' recursive relations for the Alladi-Schur polynomials.
Sparse Hanson-Wright Inequalities with Applications
Published
• View Publication
• BIB
We derive new Hanson-Wright-type inequalities tailored to the quadratic forms of random vectors with sparse independent components. Specifically, we consider cases where the components of the random vector are sparse $α$-subexponential random variables with $α>0$. When $α=\infty$, these inequalities can be seen as quadratic generalizations of the classical Bernstein and Bennett inequalities for sparse bounded random vectors. To establish this quadratic generalization, we also develop new Bernstein-type and Bennett-type inequalities for linear forms of sparse $α$-subexponential random variables that go beyond the bounded case $(α=\infty)$. Our proof relies on a novel combinatorial method for estimating the moments of both random linear forms and quadratic forms.
We present two key applications of these new sparse Hanson-Wright inequalities: (1) A local law and complete eigenvector delocalization for sparse $α$-subexponential Hermitian random matrices, generalizing the result of He et al. (2019) beyond sparse Bernoulli random matrices. To the best of our knowledge, this is the first local law and complete delocalization result for sparse $α$-subexponential random matrices down to the near-optimal sparsity $p\geq \frac{\mathrm{polylog}(n)}{n}$ when $α\in (0,2)$ as well as for unbounded sparse sub-gaussian random matrices down to the optimal sparsity $p\gtrsim \frac{\log n}{n}.$ (2) Concentration of the Euclidean norm for the linear transformation of a sparse $α$-subexponential random vector, improving on the results of G{ö}tze et al. (2021) for sparse sub-exponential random vectors.
Matching stability for 3-partite 3-uniform hypergraphs
Published
• View Publication
• BIB
Let $n,k,s$ be three integers such that $k\geq 2$ and $n\geq s\geq 1$. Let $H$ be a $k$-partite $k$-uniform hypergraph with $n$ vertices in each class. Aharoni (2017) showed that if $e(H)>(s-1)n^{k-1}$, then $H$ has a matching of size $s$.
In this paper, we give a stability result for 3-partite 3-uniform hypergraphs: if $G$ is a $3$-partite $3$-uniform hypergraph with $n\geq 162$ vertices in each class, $e(G)\geq (s-1)n^2+3n-s$ and $G$ contains no matching of size $s+1$, then $G$ has a vertex cover of size $s$. Our bound is also tight.
Special values of $K$-theoretic Schur $P$- and $Q$-functions
We provide the special values of the skew version of the $K$-theoretic Schur $P$- and $Q$-functions. Using these special values, we show an oddness property of the number of shifted set-valued skew tableaux. Additionally, we generalize these special values to another skew case. Based on these special values, we give pairs among certain shifted set-valued skew tableaux.
Combinatorial Proofs of Some Results of Andrews and El Bachraoui
Published
• View Publication
• BIB
Recently, Andrews and El Bachraoui (2024) proved three very interesting $q$-series identities, from which three simple looking identities involving certain restricted partitions into distinct even parts and $4$-regular partitions follow. In this short note, we give combinatorial proofs of these identities. We also prove the counterpart identities for the restricted partitions into distinct odd parts.
Effects of graph operations on star pairwise compatibility graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ is defined as a star-$k$-PCG when it is possible to assign a positive real number weight $w$ to each vertex $V$, and define $k$ distinct intervals $I_1, I_2, \ldots I_k$, in such a way that there is an edge $uv$ in $E$ if and only if the sum of the weights of vertices $u$ and $v$ falls within the union of these intervals. The star-$k$-PCG class is connected to two significant categories of graphs, namely PCGs and multithreshold graphs. The star number of a graph $G$, is the smallest $k$ for which $G$ is a star-$k$-PCG. In this paper, we study the effects of various graph operations, such as the addition of twins, pendant vertices, universal vertices, or isolated vertices, on the star number of the graph resulting from these operations. As a direct application of our results, we determine the star number of lobster graphs and provide an upper bound for the star number of acyclic graphs.