Showing 1–38 of 38 results for author: Radchenko, D

Hörmander and Bernhardsson's extremal function I

Authors: Andriy Bondarenko, Joaquim Ortega-Cerdà, Danylo Radchenko, Kristian Seip

Abstract: We study the function $\varphi_1$ of minimal $L^1$ norm among all functions $f$ of exponential type at most $π$ for which $f(0)=1$. This function, first studied by Hörmander and Bernhardsson in 1993, has only real zeros $\pm τ_n$, $n=1,2, \ldots$, and the sequence $(τ_n-n-\frac12)$ has $\ell^2$ norm bounded by $0.13$. The zeros $τ_n$ can be computed by means of a fixed point iteration. We study the function $\varphi_1$ of minimal $L^1$ norm among all functions $f$ of exponential type at most $π$ for which $f(0)=1$. This function, first studied by Hörmander and Bernhardsson in 1993, has only real zeros $\pm τ_n$, $n=1,2, \ldots$, and the sequence $(τ_n-n-\frac12)$ has $\ell^2$ norm bounded by $0.13$. The zeros $τ_n$ can be computed by means of a fixed point iteration. △ Less

Submitted 1 July, 2024; originally announced July 2024.

MSC Class: 30H99; 33E99

Small volume bodies of constant width with tetrahedral symmetries

Authors: Andrii Arman, Andriy Bondarenko, Andriy Prymak, Danylo Radchenko

Abstract: For every $n\ge 2$, we construct a body $U_n$ of constant width $2$ in $\mathbb{E}^n$ with small volume and symmetries of a regular $n$-simplex. $U_2$ is the Reuleaux triangle. To the best of our knowledge, $U_3$ was not previously constructed, and its volume is smaller than the volume of other three-dimensional bodies of constant width with tetrahedral symmetries. While the volume of $U_3$ is sli… ▽ More For every $n\ge 2$, we construct a body $U_n$ of constant width $2$ in $\mathbb{E}^n$ with small volume and symmetries of a regular $n$-simplex. $U_2$ is the Reuleaux triangle. To the best of our knowledge, $U_3$ was not previously constructed, and its volume is smaller than the volume of other three-dimensional bodies of constant width with tetrahedral symmetries. While the volume of $U_3$ is slightly larger than the volume of Meissner's bodies of width $2$, it exceeds the latter by less than $0.137\%$. For all large $n$, the volume of $U_n$ is smaller than the volume of the ball of radius $0.891$. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: 7 pages, 2 figures

MSC Class: Primary 52A20; Secondary 52A15; 52A23; 52A40; 28A75; 49Q20

Small volume bodies of constant width

Authors: Andrii Arman, Andriy Bondarenko, Fedor Nazarov, Andriy Prymak, Danylo Radchenko

Abstract: For every large enough $n$, we explicitly construct a body of constant width $2$ that has volume less than $0.9^n \text{Vol}(\mathbb{B}^{n}$), where $\mathbb{B}^{n}$ is the unit ball in $\mathbb{R}^{n}$. This answers a question of O.~Schramm. For every large enough $n$, we explicitly construct a body of constant width $2$ that has volume less than $0.9^n \text{Vol}(\mathbb{B}^{n}$), where $\mathbb{B}^{n}$ is the unit ball in $\mathbb{R}^{n}$. This answers a question of O.~Schramm. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Comments: 7 pages, 2 figures

MSC Class: 52A20; 52A40; 28A75; 49Q20

Convolution identities for divisor sums and modular forms

Authors: Ksenia Fedosova, Kim Klinger-Logan, Danylo Radchenko

Abstract: We prove exact identities for convolution sums of divisor functions of the form $\sum_{n_1 \in \mathbb{Z} \smallsetminus \{0,n\}}\varphi(n_1,n-n_1)σ_{2m_1}(n_1)σ_{2m_2}(n-n_1)$ where $\varphi(n_1,n_2)$ is a Laurent polynomial with logarithms for which the sum is absolutely convergent. Such identities are motivated by computations in string theory and prove and generalize a conjecture of Chester, G… ▽ More We prove exact identities for convolution sums of divisor functions of the form $\sum_{n_1 \in \mathbb{Z} \smallsetminus \{0,n\}}\varphi(n_1,n-n_1)σ_{2m_1}(n_1)σ_{2m_2}(n-n_1)$ where $\varphi(n_1,n_2)$ is a Laurent polynomial with logarithms for which the sum is absolutely convergent. Such identities are motivated by computations in string theory and prove and generalize a conjecture of Chester, Green, Pufu, Wang, and Wen from \cite{CGPWW}. Originally, it was suspected that such sums, suitably extended to $n_1\in\{0,n\}$ should vanish, but in this paper we find that in general they give Fourier coefficients of holomorphic cusp forms. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 12 pages

Sharp Gaussian decay for the one-dimensional harmonic oscillator

Authors: Danylo Radchenko, João P. G. Ramos

Abstract: We prove a conjecture by Vemuri by proving sharp bounds on $\ell^κ$ sums of Hermite functions multiplied by an exponentially decaying factor. More explicitly, we prove that, for each $y>0,$ we have \[ \sum_{n \ge 1} |h_n(x)|^κ \frac{e^{-κn y}}{n^β} \ll_y x^{\frac{1}{2} - 2β} e^{-κx^2 \tanh(y)/2}, \] for all $x \in \mathbb{R}$ sufficiently large. Our proof involves the classical Plancherel-Rotach a… ▽ More We prove a conjecture by Vemuri by proving sharp bounds on $\ell^κ$ sums of Hermite functions multiplied by an exponentially decaying factor. More explicitly, we prove that, for each $y>0,$ we have \[ \sum_{n \ge 1} |h_n(x)|^κ \frac{e^{-κn y}}{n^β} \ll_y x^{\frac{1}{2} - 2β} e^{-κx^2 \tanh(y)/2}, \] for all $x \in \mathbb{R}$ sufficiently large. Our proof involves the classical Plancherel-Rotach asymptotic formula for Hermite polynomials and a careful local analysis near the maximum point of such a bound. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: 5 pages

A quantitative stability result for the sphere packing problem in dimensions 8 and 24

Authors: Károly J. Böröczky, Danylo Radchenko, João P. G. Ramos

Abstract: We prove explicit stability estimates for the sphere packing problem in dimensions 8 and 24, showing that, in the lattice case, if a lattice is $\sim \varepsilon$ close to satisfying the optimal density, then it is, in a suitable sense, $O(\varepsilon^{1/2})$ close to the $E_8$ and Leech lattices, respectively. In the periodic setting, we prove that, under the same assumptions, we may take a large… ▽ More We prove explicit stability estimates for the sphere packing problem in dimensions 8 and 24, showing that, in the lattice case, if a lattice is $\sim \varepsilon$ close to satisfying the optimal density, then it is, in a suitable sense, $O(\varepsilon^{1/2})$ close to the $E_8$ and Leech lattices, respectively. In the periodic setting, we prove that, under the same assumptions, we may take a large 'frame' through which our packing locally looks like $E_8$ or $Λ_{24}.$ Our methods make explicit use of the magic functions constructed by M. Viazovska in dimension 8 and by H. Cohn, A. Kumar, S. Miller, the second author, and M. Viazovska in dimension 24, together with results of independent interest on the abstract stability of the lattices $E_8$ and $Λ_{24}.$ △ Less

Submitted 10 January, 2024; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 24 pages

A Database of Modular Forms on Noncongruence Subgroups

Authors: David Berghaus, Hartmut Monien, Danylo Radchenko

Abstract: We present a database of several hundred modular forms up to and including weight six on noncongruence subgroups of index $\leq 17$. In addition, our database contains expressions for the Belyi map for genus zero subgroups and equations of the corresponding elliptic curves for genus one subgroups and numerical approximations of noncongruence Eisenstein series to 1500 digits precision. We present a database of several hundred modular forms up to and including weight six on noncongruence subgroups of index $\leq 17$. In addition, our database contains expressions for the Belyi map for genus zero subgroups and equations of the corresponding elliptic curves for genus one subgroups and numerical approximations of noncongruence Eisenstein series to 1500 digits precision. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: Comments are welcome!

MSC Class: 11F30; 11F11

Computation of Laplacian eigenvalues of two-dimensional shapes with dihedral symmetry

Authors: David Berghaus, Robert Stephen Jones, Hartmut Monien, Danylo Radchenko

Abstract: We numerically compute the lowest Laplacian eigenvalues of several two-dimensional shapes with dihedral symmetry at arbitrary precision arithmetic. Our approach is based on the method of particular solutions with domain decomposition. We are particularly interested in asymptotic expansions of the eigenvalues $λ(n)$ of shapes with $n$ edges that are of the form… ▽ More We numerically compute the lowest Laplacian eigenvalues of several two-dimensional shapes with dihedral symmetry at arbitrary precision arithmetic. Our approach is based on the method of particular solutions with domain decomposition. We are particularly interested in asymptotic expansions of the eigenvalues $λ(n)$ of shapes with $n$ edges that are of the form $λ(n) \sim x\sum_{k=0}^{\infty} \frac{C_k(x)}{n^k}$ where $x$ is the limiting eigenvalue for $n\rightarrow \infty$. Expansions of this form have previously only been known for regular polygons with Dirichlet boundary condition and (quite surprisingly) involve Riemann zeta values and single-valued multiple zeta values, which makes them interesting to study. We provide numerical evidence for closed-form expressions of higher order $C_k(x)$ and give more examples of shapes for which such expansions are possible (including regular polygons with Neumann boundary condition, regular star polygons and star shapes with sinusoidal boundary). △ Less

Submitted 24 October, 2022; originally announced October 2022.

Comments: 20 pages

MSC Class: 11M32; 65N25; 65N35

On the Goncharov Depth Conjecture and polylogarithms of depth two

Authors: Steven Charlton, Herbert Gangl, Danylo Radchenko, Daniil Rudenko

Abstract: We prove the surjectivity part of Goncharov's depth conjecture. We also show that the depth conjecture implies that multiple polylogarithms of depth $d$ and weight $n$ can be expressed via a single function $\mathrm{Li}_{n-d+1,1,\dots,1}(a_1,a_2,\dots,a_d)$, and we prove this latter statement for $d=2$. We prove the surjectivity part of Goncharov's depth conjecture. We also show that the depth conjecture implies that multiple polylogarithms of depth $d$ and weight $n$ can be expressed via a single function $\mathrm{Li}_{n-d+1,1,\dots,1}(a_1,a_2,\dots,a_d)$, and we prove this latter statement for $d=2$. △ Less

Submitted 10 November, 2022; v1 submitted 21 October, 2022; originally announced October 2022.

Comments: 4 pages, added Corollary 6, title modified to emphasise result on Depth Conjecture

The $D^6 R^4$ interaction as a Poincaré series, and a related shifted convolution sum

Authors: Kim Klinger-Logan, Stephen D. Miller, Danylo Radchenko

Abstract: We complete the program, initiated in a 2015 paper of Green, Miller, and Vanhove, of directly constructing the automorphic solution to the string theory $D^6 R^4$ differential equation $(Δ-12)f=-E_{3/2}^2$ for $SL(2,\mathbb{Z})$. The construction is via a type of Poincaré series, and requires explicitly evaluating a particular double integral. We also show how to derive the predicted vanishing of… ▽ More We complete the program, initiated in a 2015 paper of Green, Miller, and Vanhove, of directly constructing the automorphic solution to the string theory $D^6 R^4$ differential equation $(Δ-12)f=-E_{3/2}^2$ for $SL(2,\mathbb{Z})$. The construction is via a type of Poincaré series, and requires explicitly evaluating a particular double integral. We also show how to derive the predicted vanishing of one type of term appearing in $f$'s Fourier expansion, confirming a conjecture made by Chester, Green, Pufu, Wang, and Wen motivated by Yang-Mills theory. △ Less

Submitted 30 September, 2022; originally announced October 2022.

On the computation of modular forms on noncongruence subgroups

Authors: David Berghaus, Hartmut Monien, Danylo Radchenko

Abstract: We present two approaches that can be used to compute modular forms on noncongruence subgroups. The first approach uses Hejhal's method for which we improve the arbitrary precision solving techniques so that the algorithm becomes about up to two orders of magnitude faster in practical computations. This allows us to obtain high precision numerical estimates of the Fourier coefficients from which t… ▽ More We present two approaches that can be used to compute modular forms on noncongruence subgroups. The first approach uses Hejhal's method for which we improve the arbitrary precision solving techniques so that the algorithm becomes about up to two orders of magnitude faster in practical computations. This allows us to obtain high precision numerical estimates of the Fourier coefficients from which the algebraic expressions can be identified using the LLL algorithm. The second approach is restricted to genus zero subgroups and uses efficient methods to compute the Belyi map from which the modular forms can be constructed. △ Less

Submitted 27 July, 2022; originally announced July 2022.

Comments: 30 pages

MSC Class: 11F30 (Primary); 65Q20; 65F10; 11F11; 65Y20; 11G32; 11Y35 (Secondary)

Upper bounds on chromatic number of $\mathbb{E}^n$ in low dimensions

Authors: Andrii Arman, Andriy V. Bondarenko, Andriy Prymak, Danylo Radchenko

Abstract: Let $χ(\mathbb{E}^n)$ denote the chromatic number of the Euclidean space $\mathbb{E}^n$, i.e., the smallest number of colors that can be used to color $\mathbb{E}^n$ so that no two points unit distance apart are of the same color. We present explicit constructions of colorings of $\mathbb{E}^n$ based on sublattice coloring schemes that establish the following new bounds: $χ(\mathbb{E}^5)\le 140$,… ▽ More Let $χ(\mathbb{E}^n)$ denote the chromatic number of the Euclidean space $\mathbb{E}^n$, i.e., the smallest number of colors that can be used to color $\mathbb{E}^n$ so that no two points unit distance apart are of the same color. We present explicit constructions of colorings of $\mathbb{E}^n$ based on sublattice coloring schemes that establish the following new bounds: $χ(\mathbb{E}^5)\le 140$, $χ(\mathbb{E}^n)\le 7^{n/2}$ for $n\in\{6,8,24\}$, $χ(\mathbb{E}^7)\le 1372$, $χ(\mathbb{E}^{9})\leq 17253$, and $χ(\mathbb{E}^n)\le 3^n$ for all $n\le 38$ and $n=48,49$. △ Less

Submitted 12 February, 2022; v1 submitted 26 December, 2021; originally announced December 2021.

Comments: 16 pages

Hyperbolic Fourier series

Authors: Andrew Bakan, Haakan Hedenmalm, Alfonso Montes-Rodriguez, Danylo Radchenko, Maryna Viazovska

Abstract: In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula of Viazovska and Radchenko from [Publ Math-Paris 129, 1 (2019)]. We construct explicitly the sequence in $L^1 (\mathbb{R} )$ which is biorthogonal to the system… ▽ More In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula of Viazovska and Radchenko from [Publ Math-Paris 129, 1 (2019)]. We construct explicitly the sequence in $L^1 (\mathbb{R} )$ which is biorthogonal to the system $1$, $\exp ( i πn x)$, $\exp ( i πn/ x)$, $n \in \mathbb{Z} \setminus \{0\}$, and show that it is complete in $L^1 (\mathbb{R})$. We associate with each $f \in L^1 (\mathbb{R}, (1+x^2)^{-1} d x)$ its hyperbolic Fourier series $h_{0}(f) + \sum_{n \in \mathbb{Z}\setminus \{0\}}(h_{n}(f) e^{ i πn x} + m_{n}(f) e^{-i πn / x} )$ and prove that it converges to $f$ in the space of tempered distributions on the real line. Applied to the above mentioned biorthogonal system, the integral transform given by $U_{\varphi} (x, y):= \int_{\mathbb{R}} \varphi (t) \exp \left( i x t + i y / t \right) d t $, for $\varphi \in L^{1} (\mathbb{R})$ and $(x, y) \in \mathbb{R}^{2}$, supplies interpolating functions for the Klein-Gordon equation. △ Less

Submitted 4 July, 2023; v1 submitted 30 September, 2021; originally announced October 2021.

Comments: 123 pages, 3 figures

MSC Class: 81Q05; 42C30 (Primary) 33C05; 33E05 (Secondary)

Fourier non-uniqueness sets from totally real number fields

Authors: Danylo Radchenko, Martin Stoller

Abstract: Let $K$ be a totally real number field of degree $n \geq 2$. The inverse different of $K$ gives rise to a lattice in $\mathbb{R}^n$. We prove that the space of Schwartz Fourier eigenfunctions on $\mathbb{R}^n$ which vanish on the "component-wise square root" of this lattice, is infinite dimensional. The Fourier non-uniqueness set thus obtained is a discrete subset of the union of all spheres… ▽ More Let $K$ be a totally real number field of degree $n \geq 2$. The inverse different of $K$ gives rise to a lattice in $\mathbb{R}^n$. We prove that the space of Schwartz Fourier eigenfunctions on $\mathbb{R}^n$ which vanish on the "component-wise square root" of this lattice, is infinite dimensional. The Fourier non-uniqueness set thus obtained is a discrete subset of the union of all spheres $\sqrt{m}S^{n-1}$ for integers $m \geq 0$ and, as $m \rightarrow \infty$, there are $\sim c_{K} m^{n-1}$ many points on the $m$-th sphere for some explicit constant $c_{K}$, proportional to the square root of the discriminant of $K$. This contrasts a recent Fourier uniqueness result by Stoller. Using a different construction involving the codifferent of $K$, we prove an analogue of our results for discrete subsets of ellipsoids. In special cases, these sets also lie on spheres with more densely spaced radii, but with fewer points on each. We also study a related question about existence of Fourier interpolation formulas with nodes "$\sqrtΛ$" for general lattices $Λ\subset \mathbb{R}^n$. Using results about lattices in Lie groups of higher rank, we prove that, if $n \geq 2$ and if a certain group $Γ_Λ \leq \operatorname{PSL}_2(\mathbb{R})^n$ is discrete, then such interpolation formulas cannot exist. Motivated by these more general considerations, we revisit the case of one radial variable and prove, for all $n \geq 5$ and all real $λ> 2$, Fourier interpolation results for sequences of spheres $\sqrt{2 m/ λ}S^{n-1}$, where $m$ ranges over any fixed cofinite set of non-negative integers. The proof relies on a series of Poincaré type for Hecke groups of infinite covolume, similarly to the construction previously used by Stoller. △ Less

Submitted 8 June, 2022; v1 submitted 26 August, 2021; originally announced August 2021.

Comments: 29 pages, 2 figures; minor changes in the introduction; to appear in Commentarii Mathematici Helvetici

On Dirichlet eigenvalues of regular polygons

Authors: David Berghaus, Bogdan Georgiev, Hartmut Monien, Danylo Radchenko

Abstract: We prove that the first Dirichlet eigenvalue of a regular $N$-gon of area $π$ has an asymptotic expansion of the form $λ_1(1+\sum_{n\ge3}C_n(λ_1)N^{-n})$ as $N\to\infty$, where $λ_1$ is the first Dirichlet eigenvalue of the unit disk and $C_n$ are polynomials whose coefficients belong to the space of multiple zeta values of weight $n$. We also explicitly compute these polynomials for all $n\le14$. We prove that the first Dirichlet eigenvalue of a regular $N$-gon of area $π$ has an asymptotic expansion of the form $λ_1(1+\sum_{n\ge3}C_n(λ_1)N^{-n})$ as $N\to\infty$, where $λ_1$ is the first Dirichlet eigenvalue of the unit disk and $C_n$ are polynomials whose coefficients belong to the space of multiple zeta values of weight $n$. We also explicitly compute these polynomials for all $n\le14$. △ Less

Submitted 1 March, 2021; originally announced March 2021.

Comments: 15 pages

MSC Class: 11M32; 35P15; 35J25

Arithmetic properties of the Herglotz function

Authors: Danylo Radchenko, Don Zagier

Abstract: In this paper we study two functions $F(x)$ and $J(x)$, originally found by Herglotz in 1923 and later rediscovered and used by one of the authors in connection with the Kronecker limit formula for real quadratic fields. We discuss many interesting properties of these functions, including special values at rational or quadratic irrational arguments as rational linear combinations of dilogarithms a… ▽ More In this paper we study two functions $F(x)$ and $J(x)$, originally found by Herglotz in 1923 and later rediscovered and used by one of the authors in connection with the Kronecker limit formula for real quadratic fields. We discuss many interesting properties of these functions, including special values at rational or quadratic irrational arguments as rational linear combinations of dilogarithms and products of logarithms, functional equations coming from Hecke operators, and connections with Stark's conjecture. We also discuss connections with 1-cocycles for the modular group $\mathrm{PSL}(2,\mathbb{Z})$. △ Less

Submitted 31 December, 2020; originally announced December 2020.

Comments: 18 pages

Functional equations of polygonal type for multiple polylogarithms in weights 5, 6 and 7

Authors: Steven Charlton, Herbert Gangl, Danylo Radchenko

Abstract: We present new functional equations in weights 5, 6 and 7 and use them for explicit depth reduction of multiple polylogarithms. These identities generalize the crucial identity $\mathbf{Q}_4$ from the recent work of Goncharov and Rudenko that was used in their proof of the weight 4 case of Zagier's Polylogarithm Conjecture. We present new functional equations in weights 5, 6 and 7 and use them for explicit depth reduction of multiple polylogarithms. These identities generalize the crucial identity $\mathbf{Q}_4$ from the recent work of Goncharov and Rudenko that was used in their proof of the weight 4 case of Zagier's Polylogarithm Conjecture. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Comments: 6 pages, 4 figures

MSC Class: Primary 11G55; Secondary 33E20; 39B32

Spherical coverings and X-raying convex bodies of constant width

Authors: A. Bondarenko, A. Prymak, D. Radchenko

Abstract: K. Bezdek and Gy. Kiss showed that existence of origin-symmetric coverings of unit sphere in $\mathbb{E}^n$ by at most $2^n$ congruent spherical caps with radius not exceeding $\arccos\sqrt{\frac{n-1}{2n}}$ implies the $X$-ray conjecture and the illumination conjecture for convex bodies of constant width in $\mathbb{E}^n$, and constructed such coverings for $4\le n\le 6$. Here we give such constru… ▽ More K. Bezdek and Gy. Kiss showed that existence of origin-symmetric coverings of unit sphere in $\mathbb{E}^n$ by at most $2^n$ congruent spherical caps with radius not exceeding $\arccos\sqrt{\frac{n-1}{2n}}$ implies the $X$-ray conjecture and the illumination conjecture for convex bodies of constant width in $\mathbb{E}^n$, and constructed such coverings for $4\le n\le 6$. Here we give such constructions with fewer than $2^n$ caps for $5\le n\le 15$. For the illumination number of any convex body of constant width in $\mathbb{E}^n$, O.~Schramm proved an upper estimate with exponential growth of order $(3/2)^{n/2}$. In particular, that estimate is less than $3\cdot 2^{n-2}$ for $n\ge 16$, confirming the above mentioned conjectures for the class of convex bodies of constant width. Thus, our result settles the outstanding cases $7\le n\le 15$. We also show how to calculate the covering radius of a given discrete point set on the sphere efficiently on a computer. △ Less

Submitted 7 December, 2021; v1 submitted 12 November, 2020; originally announced November 2020.

MSC Class: Primary 52C17; Secondary 52A20; 52A40; 52C35

Fourier uniqueness in $\mathbb{R}^4$

Authors: Andrew Bakan, Haakan Hedenmalm, Alfonso Montes-Rodriguez, Danylo Radchenko, Maryna Viazovska

Abstract: We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017. We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017. △ Less

Submitted 8 July, 2020; originally announced July 2020.

Comments: 3 pages

MSC Class: 42B10; 37A45; 35L10

Journal ref: PNAS 118 (15), (2021), e20223227118

Fourier interpolation with zeros of zeta and $L$-functions

Authors: Andriy Bondarenko, Danylo Radchenko, Kristian Seip

Abstract: We construct a large family of Fourier interpolation bases for functions analytic in a strip symmetric about the real line. Interesting examples involve the nontrivial zeros of the Riemann zeta function and other $L$-functions. We establish a duality principle for Fourier interpolation bases in terms of certain kernels of general Dirichlet series with variable coefficients. Such kernels admit mero… ▽ More We construct a large family of Fourier interpolation bases for functions analytic in a strip symmetric about the real line. Interesting examples involve the nontrivial zeros of the Riemann zeta function and other $L$-functions. We establish a duality principle for Fourier interpolation bases in terms of certain kernels of general Dirichlet series with variable coefficients. Such kernels admit meromorphic continuation, with poles at a sequence dual to the sequence of frequencies of the Dirichlet series, and they satisfy a functional equation. Our construction of concrete bases relies on a strengthening of Knopp's abundance principle for Dirichlet series with functional equations and a careful analysis of the associated Dirichlet series kernel, with coefficients arising from certain modular integrals for the theta group. △ Less

Submitted 3 November, 2022; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: This is the final version of the paper, to appear in Constructive Approximation

MSC Class: 11M06; 11F37; 42A10

Explicit formulas for Grassmannian polylogarithms

Authors: Steven Charlton, Herbert Gangl, Danylo Radchenko

Abstract: We give new explicit formulas for Grassmannian and Aomoto polylogarithms in terms of iterated integrals, for arbitrary weight. We also explicitly reduce the Grassmannian polylogarithm in weight 4 and in weight 5 each to depth 2. Furthermore, using this reduction in weight 4 we obtain an explicit, albeit complicated, form of the so-called 4-ratio, which gives an expression for the Borel class in co… ▽ More We give new explicit formulas for Grassmannian and Aomoto polylogarithms in terms of iterated integrals, for arbitrary weight. We also explicitly reduce the Grassmannian polylogarithm in weight 4 and in weight 5 each to depth 2. Furthermore, using this reduction in weight 4 we obtain an explicit, albeit complicated, form of the so-called 4-ratio, which gives an expression for the Borel class in continuous cohomology of $\mathrm{GL}_4$ in terms of $\mathrm{Li}_4$. △ Less

Submitted 2 August, 2022; v1 submitted 30 September, 2019; originally announced September 2019.

Comments: 28 pages; Formula for the Aomoto polylogarithm as an iterated integral added (Theorem 7 and Remark 8)

MSC Class: 11G55 (Primary); 33E20; 39B32 (Secondary)

Independence Polynomials and Hypergeometric Series

Authors: Danylo Radchenko, Fernando Rodriguez Villegas

Abstract: Let $Γ$ be a simple graph and $I_Γ(x)$ its multivariate independence polynomial. The main result of this paper is the characterization of chordal graphs as the only $Γ$ for which the power series expansion of $I_Γ^{-1}(x)$ is Horn hypergeometric. Let $Γ$ be a simple graph and $I_Γ(x)$ its multivariate independence polynomial. The main result of this paper is the characterization of chordal graphs as the only $Γ$ for which the power series expansion of $I_Γ^{-1}(x)$ is Horn hypergeometric. △ Less

Submitted 14 January, 2020; v1 submitted 29 August, 2019; originally announced August 2019.

Comments: v2: 15 pages, added references, improved statement of Theorem 1.2

MSC Class: 33C70; 97K30

On functional equations for Nielsen polylogarithms

Authors: Steven Charlton, Herbert Gangl, Danylo Radchenko

Abstract: We derive new functional equations for Nielsen polylogarithms. We show that, when viewed modulo $\mathrm{Li}_5$ and products of lower weight functions, the weight $5$ Nielsen polylogarithm $S_{3,2}$ satisfies the dilogarithm five-term relation. We also give some functional equations and evaluations for Nielsen polylogarithms in weights up to 8, and general families of identities in higher weight. We derive new functional equations for Nielsen polylogarithms. We show that, when viewed modulo $\mathrm{Li}_5$ and products of lower weight functions, the weight $5$ Nielsen polylogarithm $S_{3,2}$ satisfies the dilogarithm five-term relation. We also give some functional equations and evaluations for Nielsen polylogarithms in weights up to 8, and general families of identities in higher weight. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 36 pages, 3 figures

MSC Class: 11G55 (Primary); 33E20; 39B32 (Secondary)

On a tropical version of the Jacobian conjecture

Authors: Dima Grigoriev, Danylo Radchenko

Abstract: We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove… ▽ More We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove that if the Jacobians have the same sign and if its preimage is a singleton at least at one regular point then the map is an isomorphism. △ Less

Submitted 20 February, 2019; originally announced February 2019.

MSC Class: 14T05

Universal optimality of the $E_8$ and Leech lattices and interpolation formulas

Authors: Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko, Maryna Viazovska

Abstract: We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point configurations in Euclidean spaces of dimensions $8$ and $24$, respectively. In other words, they minimize energy for every potential function that is a completely monotonic function of squared distance (for example, inverse power laws or Gaussians), which is a strong form of robustness not previously kn… ▽ More We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point configurations in Euclidean spaces of dimensions $8$ and $24$, respectively. In other words, they minimize energy for every potential function that is a completely monotonic function of squared distance (for example, inverse power laws or Gaussians), which is a strong form of robustness not previously known for any configuration in more than one dimension. This theorem implies their recently shown optimality as sphere packings, and broadly generalizes it to allow for long-range interactions. The proof uses sharp linear programming bounds for energy. To construct the optimal auxiliary functions used to attain these bounds, we prove a new interpolation theorem, which is of independent interest. It reconstructs a radial Schwartz function $f$ from the values and radial derivatives of $f$ and its Fourier transform $\widehat{f}$ at the radii $\sqrt{2n}$ for integers $n\ge1$ in $\mathbb{R}^8$ and $n \ge 2$ in $\mathbb{R}^{24}$. To prove this theorem, we construct an interpolation basis using integral transforms of quasimodular forms, generalizing Viazovska's work on sphere packing and placing it in the context of a more conceptual theory. △ Less

Submitted 9 June, 2022; v1 submitted 13 February, 2019; originally announced February 2019.

Comments: 100 pages, 6 figures

Unit distance graphs and algebraic integers

Authors: Danylo Radchenko

Abstract: We answer a question of Brass about vertex degrees in unit distance graphs of finitely generated additive subgroups of $\mathbb{R}^2$. We answer a question of Brass about vertex degrees in unit distance graphs of finitely generated additive subgroups of $\mathbb{R}^2$. △ Less

Submitted 10 July, 2018; originally announced July 2018.

MSC Class: 52C10

Goursat rigid local systems of rank four

Authors: Danylo Radchenko, Fernando Rodriguez Villegas

Abstract: We study the general properties of certain rank four rigid local systems considered by Goursat. We analyze when they are irreducible, give an explicit integral description as well as the invariant Hermitian form when it exists. By a computer search we find what we expect are all irreducible such systems all whose solutions are algebraic functions and give several explicit examples defined over the… ▽ More We study the general properties of certain rank four rigid local systems considered by Goursat. We analyze when they are irreducible, give an explicit integral description as well as the invariant Hermitian form when it exists. By a computer search we find what we expect are all irreducible such systems all whose solutions are algebraic functions and give several explicit examples defined over the rationals. We also exhibit one example with infinite monodromy as arising from a family of genus two curves. △ Less

Submitted 22 March, 2018; originally announced March 2018.

Fourier interpolation on the real line

Authors: Danylo Radchenko, Maryna Viazovska

Abstract: We use weakly holomorphic modular forms for the Hecke theta group to construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the function and its Fourier transform on the set $\{0, \pm\sqrt{1}, \pm\sqrt{2}, \pm\sqrt{3},\dots\}$. We use weakly holomorphic modular forms for the Hecke theta group to construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the function and its Fourier transform on the set $\{0, \pm\sqrt{1}, \pm\sqrt{2}, \pm\sqrt{3},\dots\}$. △ Less

Submitted 14 February, 2020; v1 submitted 1 January, 2017; originally announced January 2017.

Journal ref: M. Publ.math.IHES (2018)

The sphere packing problem in dimension 24

Authors: Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko, Maryna Viazovska

Abstract: Building on Viazovska's recent solution of the sphere packing problem in eight dimensions, we prove that the Leech lattice is the densest packing of congruent spheres in twenty-four dimensions and that it is the unique optimal periodic packing. In particular, we find an optimal auxiliary function for the linear programming bounds, which is an analogue of Viazovska's function for the eight-dimensio… ▽ More Building on Viazovska's recent solution of the sphere packing problem in eight dimensions, we prove that the Leech lattice is the densest packing of congruent spheres in twenty-four dimensions and that it is the unique optimal periodic packing. In particular, we find an optimal auxiliary function for the linear programming bounds, which is an analogue of Viazovska's function for the eight-dimensional case. △ Less

Submitted 28 August, 2017; v1 submitted 21 March, 2016; originally announced March 2016.

Comments: 17 pages

Journal ref: Annals of Mathematics 185 (2017), 1017-1033

There is no strongly regular graph with parameters (460,153,32,60)

Authors: A. V. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska

Abstract: We prove that there is no strongly regular graph (SRG) with parameters (460,153,32,60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs. We prove that there is no strongly regular graph (SRG) with parameters (460,153,32,60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs. △ Less

Submitted 19 April, 2017; v1 submitted 21 September, 2015; originally announced September 2015.

MSC Class: Primary 05C25; Secondary 05C50

Non-existence of (76,30,8,14) strongly regular graph

Authors: A. V. Bondarenko, A. Prymak, D. Radchenko

Abstract: We prove the non-existence of strongly regular graph with parameters $(76,30,8,14)$. We use Euclidean representation of a strongly regular graph together with a new lower bound on the number of 4-cliques to derive strong structural properties of the graph, and then use these properties to show that the graph cannot exist. We prove the non-existence of strongly regular graph with parameters $(76,30,8,14)$. We use Euclidean representation of a strongly regular graph together with a new lower bound on the number of 4-cliques to derive strong structural properties of the graph, and then use these properties to show that the graph cannot exist. △ Less

Submitted 31 March, 2017; v1 submitted 24 October, 2014; originally announced October 2014.

MSC Class: Primary 05C25; Secondary 05C50; 52C99; 41A55

Journal ref: Linear Algebra Appl. 527 (2017), 53-72

On concentrators and related approximation constants

Authors: A. V. Bondarenko, A. Prymak, D. Radchenko

Abstract: Pippenger ([Pippenger, 1977]) showed the existence of $(6m,4m,3m,6)$-concentrator for each positive integer $m$ using a probabilistic method. We generalize his approach and prove existence of $(6m,4m,3m,5.05)$-concentrator (which is no longer regular, but has fewer edges). We apply this result to improve the constant of approximation of almost additive set functions by additive set functions from… ▽ More Pippenger ([Pippenger, 1977]) showed the existence of $(6m,4m,3m,6)$-concentrator for each positive integer $m$ using a probabilistic method. We generalize his approach and prove existence of $(6m,4m,3m,5.05)$-concentrator (which is no longer regular, but has fewer edges). We apply this result to improve the constant of approximation of almost additive set functions by additive set functions from $44.5$ (established in [Kalton, Roberts, 1983]) to $39$. We show a more direct connection of the latter problem to the Whitney type estimate for approximation of continuous functions on a cube in $\mathbb{R}^d$ by linear functions, and improve the estimate of this Whitney constant from $802$ (proved in [Brudnyi, Kalton, 2000]) to $73$. △ Less

Submitted 8 April, 2014; originally announced April 2014.

MSC Class: Primary 41A63 (46A10). Secondary 05D40; 05C35

Journal ref: J. Math. Anal. Appl. 402 (2013), no. 1, 234-241

Well separated spherical designs

Authors: Andriy Bondarenko, Danylo Radchenko, Maryna Viazovska

Abstract: For each $N\ge C_dt^d$ we prove the existence of a well separated spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $C_d$ is a constant depending only on $d$. For each $N\ge C_dt^d$ we prove the existence of a well separated spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $C_d$ is a constant depending only on $d$. △ Less

Submitted 10 July, 2013; v1 submitted 24 March, 2013; originally announced March 2013.

Comments: 25 pages

MSC Class: 52C35; 41A55; 41A63

On a family of strongly regular graphs with λ=1

Authors: Andriy V. Bondarenko, Danylo V. Radchenko

Abstract: In this paper, we give a complete description of strongly regular graphs with parameters ((n^2+3n-1)^2,n^2(n+3),1,n(n+1)). All possible such graphs are: the lattice graph $L_{3,3}$ with parameters (9,4,1,2), the Brouwer-Haemers graph with parameters (81,20,1,6), and the Games graph with parameters (729,112,1,20). In this paper, we give a complete description of strongly regular graphs with parameters ((n^2+3n-1)^2,n^2(n+3),1,n(n+1)). All possible such graphs are: the lattice graph $L_{3,3}$ with parameters (9,4,1,2), the Brouwer-Haemers graph with parameters (81,20,1,6), and the Games graph with parameters (729,112,1,20). △ Less

Submitted 3 February, 2012; v1 submitted 1 January, 2012; originally announced January 2012.

Comments: 17 pages

MSC Class: 05C25; 05C50; 52C99; 41A55; 11D61

Local maxima of energy of point configurations on sphere

Authors: Danylo Radchenko

Abstract: We prove that certain energy functionals of point configurations on sphere have no local maxima. We prove that certain energy functionals of point configurations on sphere have no local maxima. △ Less

Submitted 13 March, 2011; originally announced March 2011.

On two-dimensional shape-preserving approximation

Authors: Danylo Radchenko

Abstract: In this paper we investigate a problem of approximation of continuous map**s by smooth map**s with nonnegative Jacobian. In this paper we investigate a problem of approximation of continuous map**s by smooth map**s with nonnegative Jacobian. △ Less

Submitted 26 October, 2010; originally announced October 2010.

MSC Class: 41A29; 41A63; 55M25

Optimal asymptotic bounds for spherical designs

Authors: Andriy Bondarenko, Danylo Radchenko, Maryna Viazovska

Abstract: In this paper we prove the conjecture of Korevaar and Meyers: for each $N\ge c_dt^d$ there exists a spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $c_d$ is a constant depending only on $d$. In this paper we prove the conjecture of Korevaar and Meyers: for each $N\ge c_dt^d$ there exists a spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $c_d$ is a constant depending only on $d$. △ Less

Submitted 7 March, 2011; v1 submitted 22 September, 2010; originally announced September 2010.

Comments: 13 pages

MSC Class: 52C35; 41A55; 41A63

Dissecting brick into bars

Authors: Ivan Feshchenko, Danylo Radchenko, Lev Radzivilovsky, Maksym Tantsiura

Abstract: An $N$-dimensional parallelepiped will be called a bar if and only if there are no more than $k$ different numbers among the lengths of its sides (the definition of bar depends on $k$). We prove that a parallelepiped can be dissected into finite number of bars iff the lengths of sides of the parallelepiped span a linear space of dimension no more than $k$ over $\QQ$. This extends and generalizes… ▽ More An $N$-dimensional parallelepiped will be called a bar if and only if there are no more than $k$ different numbers among the lengths of its sides (the definition of bar depends on $k$). We prove that a parallelepiped can be dissected into finite number of bars iff the lengths of sides of the parallelepiped span a linear space of dimension no more than $k$ over $\QQ$. This extends and generalizes a well-known theorem of Max Dehn about partition of rectangles into squares. Several other results about dissections of parallelepipeds are obtained. △ Less

Submitted 10 September, 2008; originally announced September 2008.