Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Locally seeded embeddings, and Ramsey numbers of bipartite graphs with sublinear bandwidth
A seminal result of Lee asserts that the Ramsey number of any bipartite $d$-degenerate graph $H$ satisfies $\log r(H) = \log n + O(d)$. In particular, this bound applies to every bipartite graph of maximal degree $Δ$. It remains a compelling challenge to identify conditions that guarantee that an $n$-vertex graph $H$ has Ramsey number linear in $n$, independently of $Δ$. Our contribution is a characterization of bipartite graphs with linear-size Ramsey numbers in terms of graph bandwidth, a notion of local connectivity. We prove that for any $n$-vertex bipartite graph $H$ with maximal degree at most $Δ$ and bandwidth $b(H)$ at most $\exp(-CΔ\logΔ)\,n$, we have $\log r(H) = \log n + O(1)$. This characterization is nearly optimal: for every $Δ$ there exists an $n$-vertex bipartite graph $H$ of degree at most $Δ$ and $b(H) \leq \exp(-cΔ)\,n$, such that $\log r(H) = \log n + Ω(Δ)$. We also provide bounds interpolating between these two bandwidth regimes.
The diameter of random spanning trees interpolating between the UST and the MST of the complete graph
We introduce $\mathsf{WST}^{β_n}(K_n)$ as the weighted spanning tree of the complete graph $K_n$ w.r.t. the random electric network of conductances $\{\exp(-β_nU_{e})\}_{e\in E(K_n)}$ with $\mathrm{Unif}[0,1]$ i.i.d. $U_e$'s.
Moving from $β_n\equiv 0$ to faster and faster growing $β_n$'s, the model interpolates between the \emph{uniform} and the \emph{minimum} spanning trees: $\mathsf{WST}^0(K_n)=\mathsf{UST}(K_n)$, and there are phase transitions for $\mathsf{WST}^{β_n}(K_n)$ behaving more and more like $\mathsf{MST}(K_n)$:
- around $β_n=n^{3+o(1)}$ regarding the agreement of the two standard algorithms generating these models : Aldous-Broder and Prim's invasion algorithms,
- around $β_n=n^{2+o(1)}$ regarding the models consisting of exactly the same edges, and
- around $β_n=n^{1+o(1)}$ regarding the expected total length $\mathbb{E}\left[\sum_{e\in \mathsf{WST}^{β_n}(K_n)}U_e\right]$.
But most importantly, we study the global geometry of the model: we prove that the typical diameter of $\mathsf{WST}^{β_n}(K_n)$ grows like $Θ(n^{1/3})$ for $β_n\ge n^{4/3+o(1)}$ likewise the $\mathsf{MST}(K_n)$ case, and it grows like $Θ(n^{1/2})$ for $β_n\le n^{1+o(1)}$ similarly to the $\mathsf{UST}(K_n)$ case. For $β_n=n^α$ with $1<α<4/3$, the behavior of the typical diameter is a more delicate open question, but we conjecture that its exponent strictly between 1/2 and 1/3.
Exponential odd-distance sets under the Manhattan metric
We construct a set of $2^n$ points in $\mathbb{R}^n$ such that all pairwise Manhattan distances are odd integers, which improves the recent linear lower bound of Golovanov, Kupavskii and Sagdeev. In contrast to the Euclidean and maximum metrics, this shows that the odd-distance set problem behaves very differently to the equilateral set problem under the Manhattan metric. Moreover, all coordinates of the points in our construction are integers or half-integers, and we show that our construction is optimal under this additional restriction.
On a clique-building game of Erdős
Published
• View Publication
• BIB
The following game was introduced in a list of open problems from 1983 attributed to Erdős: two players take turns claiming edges of a $K_n$ until all edges are exhausted. Player 1 wins the game if the largest clique that they claim at the end is strictly larger than the largest clique of their opponent; otherwise, Player 2 wins the game. Erdős conjectured that Player 2 always wins this game for $n\geq 3$. We make the first known progress on this problem, proving that this holds for at least $3/4$ of all such $n$. We also address a biased version of this game, as well as the corresponding degree-building game, both of which were originally proposed by Erdős as well.
Every $3$-connected $\{K_{1,3},Γ_3\}$-free graph is Hamilton-connected
Published
• View Publication
• BIB
We show that every $3$-connected $\{K_{1,3},Γ_3\}$-free graph is Hamilton-connected, where $Γ_3$ is the graph obtained by joining two vertex-disjoint triangles with a path of length $3$. This resolves one of the two last open cases in the characterization of pairs of connected forbidden subgraphs implying Hamilton-connectedness. The proof is based on a new closure technique, developed in a previous paper, and on a structural analysis of small subgraphs, cycles and paths in line graphs of multigraphs. The most technical steps of the analysis are computer-assisted.
Keywords: Hamilton-connected; closure; forbidden subgraph; claw-free; $Γ_3$-free
Fan distributions via Tverberg partitions and Gale duality
Published
• View Publication
• BIB
Equipartition theory, beginning with the classical ham sandwich theorem, seeks the fair division of finite point sets in $\mathbb{R}^d$ by the full-dimensional regions determined by a prescribed geometric dissection of $\mathbb{R}^d$. Here we examine $\textit{equidistributions}$ of finite point sets in $\mathbb{R}^d$ by prescribed $\textit{low dimensional}$ subsets. Our main result states that if $r\geq 3$ is a prime power, then for any $m$-coloring of a sufficiently small point set $X$ in $\mathbb{R}^d$, there exists an $r$-fan in $\mathbb{R}^d$ -- that is, the union of $r$ ``half-flats'' of codimension $r-2$ centered about a common $(r-1)$-codimensional affine subspace -- which captures all the points of $X$ in such a way that each half-flat contains at most an $r$-th of the points from each color class. The number of points in $\mathbb{R}^d$ we require for this is essentially tight when $m\geq 2$. Additionally, we extend our equidistribution results to ''piercing'' distributions in a similar fashion to Dolnikov's hyperplane transversal generalization of the ham sandwich theorem. By analogy with recent work of Frick et al., our results are obtained by applying Gale duality to linear cases of topological Tverberg-type theorems. Finally, we extend our distribution results to multiple $r$-fans after establishing a multiple intersection version of a topological Tverberg-type theorem due to Sarkaria.
On a conjecture of Nikiforov concerning the minimal $p$-energy of connected graphs
Published
• View Publication
• BIB
For a given simple graph \( G \), the \( p \)-energy of \( G \), denoted by \( \mathcal{E}_p(G) \), is defined as the sum of the \( p \)-th power of the absolute values of the eigenvalues of its adjacency matrix. Let \( S_n \) denote the star graph with one internal node and \( n-1 \) leaves. Nikiforov conjectured that for \( 1 < p < 2 \), the connected graph of order \( n \) with the smallest \( p \)-energy is \( S_n \). Recently, this conjecture was proved for bipartite graphs. In this paper, by employing a Coulson-Jacobs-type formula and certain spectral radius results for connected graphs, we completely resolve this conjecture. Furthermore, we establish that the equality condition in the inequality \( \mathcal{E}_p(G) \geq \mathcal{E}_p(S_n) \) holds if and only if \( G \) is \( S_n \).
Quantum dispersionless KdV hierarchy revisited
Published
• View Publication
• BIB
We quantize Hamiltonian structures with hydrodynamic leading terms using the Heisenberg vertex algebra. As an application, we construct the quantum dispersionless KdV hierarchy via a non-associative Weyl quantization procedure and compute the corresponding eigenvalue problem.
Polynomial Expressions for the Dimensions of the Representations of Symmetric Groups and Restricted Standard Young Tableaux
Published
• View Publication
• BIB
Given a partition $λ$ of a number $k$, it is known that by adding a long line of length $n-k$, the dimension of the associated representation of $S_{n}$ is an integer-valued polynomial of degree $k$ in $n$. We show that its expansion in the binomial basis is bounded by the length of $λ$, and that the resulting coefficient of index $h$, with alternating signs, counts the standard Young tableaux of shape $λ$ in which a given collection of consecutive $h$ numbers lie in increasing rows. We also construct bijections in order to demonstare explicitly that this number is indeed independent of the set of consecutive $h$ numbers used.
Caterpillars with given degree sequence, small Energy and small Hosoya index
The energy $En(G)$ of a graph $G$ is defined as the sum of the absolute values of its eigenvalues. The Hosoya index $Z(G)$ of a graph $G$ is the number of independent edge subsets of $G$, including the empty set. For any given degree sequence $D$, we characterize the caterpillar $\mathcal{S}(D)$ that has the minimum $Z$ and $En$. %and maximum $σ$. In $\mathcal{S}(D)$, as we move along the internal path towards the center, large and small degrees alternate. We also compare $\mathcal{S}(D)$ with $\mathcal{S}(Y)$, for a degree sequence $Y$ majorized by a degree sequence $D$. Suppose $Y=(y_1,\dots ,y_n)$ and $D=(d_1,\dots ,d_n)$ are degree sequences such that $Y$ is majorized by $D$ and$$\sum_{i=1}^{n}y_i=\sum_{i=1}^{n}d_i,$$then $Z(\mathcal{S}(D))<Z(\mathcal{S}(Y))$ and $En(\mathcal{S}(D))<En(\mathcal{S}(Y))$.
Random spanning trees in random environment
We introduce a new spanning tree model called the random spanning tree in random environment (RSTRE), which interpolates between the uniform spanning tree and the minimum spanning tree as the inverse temperature (disorder strength) $β$ varies. On the complete graph with $n$ vertices and i.i.d.\ uniform disorder variables on the edges, we identify: (1) a low disorder regime with $β\leq C n/\log n$, where the diameter of the random spanning tree is typically of order $n^{1/2}$, the same as for the uniform spanning tree; (2) a high disorder regime with $β\geq n^{4/3} \log n$, where the diameter is typically of order $n^{1/3}$, the same as for the minimum spanning tree. We conjecture that for $β=n^α$ with $α\in (1, 4/3)$, the diameter is of order $n^{γ+o(1)}$ for some $γ=γ(α)$ strictly between $1/2$ and $1/3$.
Local limits of random spanning trees in random environment
We study the edge overlap and local limit of the random spanning tree in random environment (RSTRE) on the complete graph with $n$ vertices and weights given by $\exp(-βω_e)$ for $ω_e$ uniformly distributed on $[0,1]$. We show that for $β$ growing with $β= o(n/\log n)$, the edge overlap is $(1+o(1)) β$, while for $β$ much larger than $n \log^2 n$, the edge overlap is $(1-o(1))n$. Furthermore, there is a transition of the local limit around $β= n$. When $β= o(n/ \log n)$ the RSTRE locally converges to the same limit as the uniform spanning tree, whereas for $β$ larger than $n \log^λn$, where $λ= λ(n) \rightarrow \infty$ arbitrarily slowly, the local limit of the RSTRE is the same as that of the minimum spanning tree.
Discrete homotopy and homology theories for finite posets
Published
• View Publication
• BIB
This paper presents a discrete homotopy theory and a discrete homology theory for finite posets. In particular, the discrete and classical homotopy groups of finite posets are always isomorphic.
Moreover, this discrete homology theory is related to the discrete homotopy theory through a discrete analogue of the Hurewicz map.
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.