Related papers: Crouzeix's Conjecture and related problems
In this paper, we propose the Fourier Discrepancy Function, a new discrepancy to compare discrete probability measures. We show that this discrepancy takes into account the geometry of the underlying space. We prove that the Fourier…
In 1968, Krzyz conjectured that for non-vanishing holomorphic functions $f(z) = c_0 + c_1 z + \dots$ in the unit disk with $|f(z)| \leq 1$, we have the sharp bound $|c_n| \leq 2/e$ for all $n \geq 1$, with equality only for the function…
We analyze the probabilistic variance of a solution of Liouville's equation for curvature, given suitable bounds on the Gaussian curvature. The related systolic geometry was recently studied by Horowitz, Katz, and Katz, where we obtained a…
Let $G = (V,E)$ be a connected graph. A probability measure $\mu$ on $V$ is called "balanced" if it has the following property: if $T_\mu(v)$ denotes the "earth mover's" cost of transporting all the mass of $\mu$ from all over the graph to…
Tsuzuki has conjectured that for crystals with Frobenius and connection over a local field k((t)), the embedding of the category of overconvergent crystals into the category of convergent crystals is fully faithful. We prove Tsuzuki's…
Abstract convexity generalises classical convexity by considering the suprema of functions taken from an arbitrarily defined set of functions. These are called the abstract linear (abstract affine) functions. The purpose of this paper is to…
We analyse the geometric properties of the high derivatives of the distance function from a submanifold of the Euclidean space. In particular, we show some relations with the second fundamental form and its covariant derivatives of…
Extremal functions for the $n$th coefficient in the Krzy\.z conjecture are atomic singular inner functions with at most $n$ atoms. This paper gives a lower bound on the number of atoms $N$ of the form $N\geq cn$, marking progress toward…
Convex duality has been leveraged in recent years to derive a posteriori error estimates and identities for a wide range of non-linear and non-smooth scalar problems. By employing remarkable compatibility properties of the Crouzeix-Raviart…
Absolutely continuous commuting row contractions admit a weak-$*$ continuous functional calculus. Building on recent work describing the first and second dual spaces of the closure of the polynomial multipliers on the Drury-Arveson space,…
In geometry, there are several challenging problems studying numbers associated to convex bodies. For example, the packing density problem, the kissing number problem, the covering density problem, the packing-covering constant problem,…
We prove the K-theoretic Farrell-Jones Conjecture for hyperbolic groups with (twisted) coefficients in any associative ring with unit.
We give a complete proof of the generalized Khavinson conjecture which states that, for bounded harmonic functions on the unit ball of $\mathbb{R}^n$, the sharp constants in the estimates for their radial derivatives and for their gradients…
The Collatz and $abc$ conjectures, both well known and thoroughly studied, appear to be largely unrelated at first sight. We show that assuming the $abc$ conjecture true is helpful to improve the lower bound of integers initiating a…
In this paper, we study the double shortcuts associated with pairs of standard hypercube decompositions of arbitrary Bruhat intervals in the symmetric group. Our results imply that a conjecture stated in [Bull. London Math. Soc., 57 (2025),…
We give an elementary proof of a somewhat curious result, namely, that deciding whether a convex function is self-concordant is in general an intractable problem.
In this article we encode Hadwiger's covering conjecture and Borsuk's partition conjecture into continuous functions defined on the spaces of convex bodies, propose a four-step program to approach them, and obtain some partial results.
Ivrii's conjecture asserts that the Cauchy problem is $C^{\infty}$ well-posed for any lower order term if every critical point of the principal symbol is effectively hyperbolic. Effectively hyperbolic critical point is at most triple…
Eigenvector continuation is a computational method that finds the extremal eigenvalues and eigenvectors of a Hamiltonian matrix with one or more control parameters. It does this by projection onto a subspace of eigenvectors corresponding to…
We prove that, for $C^1$-generic diffeomorphisms, if a homoclinic class is not hyperbolic, then there is a non-hyperbolic ergodic measure supported on it. This proves a conjecture by D\'iaz and Gorodetski [28]. We also discuss the…