The existence of non-unique solutions of finite kinetic energy for the three dimensional Navier-Stokes equations is proved in the slightly supercritical hyper-dissipative setting introduced by Tao. The result is based on the convex integration techni...
We prove a version of Onsager's conjecture on the conservation of energy for the incompressible Euler equations in the context of statistical solutions, as introduced recently by Fjordholm et al. As a byproduct, we also obtain a new proof for the con...
We prove that the hydrodynamic pressure $p$ associated to the velocity $u\in C^θ(Ω)$, $θ\in(0,1)$, of an inviscid incompressible fluid in a bounded and simply connected domain $Ω\subset \mathbb R^d$ with $C^{2+}$ boundary satisfies $p\in C^θ(Ω)...
Burton-Cabrera-Frank (BCF) theory has proven to be a versatile framework to relate surface morphology and dynamics during crystal growth to the underlying mechanisms of adatom diffusion and attachment at steps. For an important class of crystal surfa...
In 2015 Bloom and Liebenau proved that $K_n$ and $K_n+K_{n-1}$ possess the same $2$-Ramsey graphs for all $n\geq 3$ (with a single exception for $n=3$). In the following we give a simple proof that $K_n$ and $K_n+K_{n-1}$ possess the same $r$-Ramsey...
In 1956 Marguerite Frank and Paul Wolfe proved that a quadratic function which is bounded below on a polyhedron $P$ attains its infimum on $P$. In this work we search for larger classes of sets $F$ with this Frank-and-Wolfe property. We establish the...
High-order uncertain differential equation (HUDE) was introduced in literature. But the present method to solve a HUDE is incorrect. In this paper, we will rigorously prove some comparion theorems of high-order differential equations, and present a m...
In this paper, we study the relation between Fréchet derivatives and Dupire derivatives, in which the latter are recently introduced by Dupire [4]. After introducing the definition of Fréchet derivatives for non-anticipative functionals, we prove t...
Repairing incomplete trajectory data is essential for downstream spatio-temporal applications. Yet, existing repair methods focus solely on reconstruction without documenting the reasoning behind repair decisions, undermining trust in safety-critical...
If Trump isn’t a traitor, how do you explain this: Foreign policy moves that helped our adversaries • Helsinki: Standing with Putin over U.S. intelligence On live TV in 2018, Trump sided with...
We investigate language generation in the limit - a model by Kleinberg and Mullainathan [NeurIPS 2024] and extended by Li, Raman, and Tewari [COLT 2025]. While Kleinberg and Mullainathan proved generation is possible for all countable collections, Li...
We prove strong-type $A_p$-$A_\infty$ estimate for square functions, improving on the $ A_p$ bound due to Lerner. Entropy bounds, in the recent innovation of Treil-Volberg, are then proved. The techniques of proof include parallel stopping cubes, pig...
The abstract boundary has, in recent years, proved a general and flexible way to define the singularities of space-time. In this approach an essential singularity is a non-regular boundary point of an embedding which is accessible by a chosen famil...
The existence of a biplane with parameters $(121,16,2)$ is an open problem. Recently, it has been proved by Alavi, Daneshkhah and Praeger that the order of an automorphism group of a of possible biplane ${\mathcal D}$ of order $14$ divides $2^7\cdot3...
The Chow rings of hyperKähler varieties are conjectured to have a particularly rich structure. In this paper, we focus on the locally complete family of double EPW sextics and establish some properties of their Chow rings. First we prove a Beauville...
To reduce the development of drug-resistant bacteria and maintain the effectiveness of INVANZ and other antibacterial drugs, INVANZ should be used only to treat or prevent infections that are proven …
Deep neural networks often lack the safety and robustness guarantees needed to be deployed in safety critical systems. Formal verification techniques can be used to prove input-output safety properties of networks, but when properties are difficult t...
This is the second of two papers, in which we study the problem of prescribing Webster scalar curvature on the CR sphere as a given function f. Using the Webster scalar curvature flow, we prove an existence result under suitable assumptions on the Mo...
Distilling the thinking traces of a Large Language Model (LLM) with reasoning capabilities into a smaller model has been proven effective. Yet, there is a scarcity of work done on how model performances scale with the quantity of distillation data. I...
We are interested in the actions of an algebraic group G over the grassmannians of a finite dimensional K-vector space V (K algebraically closed) deduced from an action of G over V. We prove that the dimension of the orbit space of G(i,V) is smalle...