SearcharxivSearch

arXiv subjects

Evan Miller

Publications and source records attributed to Evan Miller.

At least 19 recordsLinked to original sources

Global regularity for axisymmetric, swirl-free solutions of the Euler equation in four dimensions

In this paper, we prove global regularity for all smooth, axisymmetric, swirl-free solutions of the incompressible Euler equation in four dimensions. Previous works establishing global regularity for certain axisymmetric, swirl-free solutions of the Euler equation in four dimensions required the additional assumption that $\frac{\omega^0}{r^2}\in L^\infty$, which can fail even for Schwartz class initial data. For discussion of another contemporaneous result removing this condition, see Remark 1.5. The key advance in this paper is a new bound on the vortex stretching term that only requires $\frac{\omega^0}{r^2}\in L^{2,1}(\mathbb{R}^4)$, a condition which holds generically for any axisymmetric, swirl-free initial data $u^0\in H^s\left(\mathbb{R}^4\right), s>4$, with reasonable decay at infinity.

math.AP

Singular, finite-time $L^2$ attractors for odd, smooth solutions of Burgers equation on the torus

In this paper, we show that the positive multiples of a particular function $F$ -- which is singular with a jump discontinuity at the origin -- are finite-time global attractors in $L^2$ for generic odd, smooth solutions of the one dimensional inviscid Burgers equation. Furthermore, the identity that leads to this result provides to an alternative proof of finite-time blowup for the fractal Burgers equation in the supercritical range $0<\alpha<\frac{1}{2}$. This proof is based on lower bounds on a Lyapunov functional given by the inner product of the solution with the global attractor $F$. We will also show that this property holds for a broader class of odd functions that are strictly increasing on $(0,\pi)$.

math.AP

Finite-time blowup for the infinite dimensional vorticity equation

In a previous work with Tai-Peng Tsai, the author studied the dynamics of axisymmetric, swirl-free Euler equation in four and higher dimensions. One conclusion of this analysis is that the dynamics become dramatically more singular as the dimension increases. In particular, the barriers to finite-time blowup for smooth solutions which exist in three dimensions do not exist in higher dimensions $d\geq 4$. Motivated by this result, we will consider a model equation that is obtained by taking the formal limit of the scalar vorticity evolution equation as $d\to +\infty$. This model exhibits finite-time blowup of a Burgers shock type. The blowup result for the infinite dimensional model equation strongly suggests a mechanism for the finite-time blowup of smooth solutions of the Euler equation in sufficiently high dimensions. It is also possible to treat the full Euler equation as a perturbation of the infinite dimensional model equation, although this perturbation is highly singular.

math.AP

Adding Error Bars to Evals: A Statistical Approach to Language Model Evaluations

Evaluations are critical for understanding the capabilities of large language models (LLMs). Fundamentally, evaluations are experiments; but the literature on evaluations has largely ignored the literature from other sciences on experiment analysis and planning. This article shows researchers with some training in statistics how to think about and analyze data from language model evaluations. Conceptualizing evaluation questions as having been drawn from an unseen super-population, we present formulas for analyzing evaluation data, measuring differences between two models, and planning an evaluation experiment. We make a number of specific recommendations for running language model evaluations and reporting experiment results in a way that minimizes statistical noise and maximizes informativeness.

stat.AP

On the interaction of strain and vorticity for solutions of the Navier--Stokes equation

In this paper, we prove a new identity for divergence free vector fields, showing that \begin{equation*} \left<-\Delta S,\omega\otimes\omega\right>=0, \end{equation*} where $S_{ij}=\frac{1}{2}\left(\partial_iu_j+\partial_ju_i\right)$ is the symmetric part of the velocity gradient, and $\omega=\nabla\times u$ is the vorticity. This identity will allow us to understand the interaction of different aspects of the nonlinearity in the Navier--Stokes equation from the strain and vorticity perspective, particularly as they relate to the depletion of the nonlinearity by advection. We will prove global regularity for the strain-vorticity interaction model equation, a model equation for studying the impact of the vorticity on the evolution of strain which has the same identity for enstrophy growth as the full Navier--Stokes equation. We will also use this identity to obtain several new regularity criteria for the Navier--Stokes equation, one of which will help to clarify the circumstances in which advection can work to deplete the nonlinearity, preventing finite-time blowup.

math.AP

Permutation symmetric solutions of the incompressible Euler equation

In this paper, we study permutation symmetric solutions of the incompressible Euler equation. We show that the dynamics of these solutions can be reduced to an evolution equation on a single vorticity component $\omega_1$, and we characterize the relevant constraint space for this vorticity component under permutation symmetry. We also give single vorticity component versions of the energy equality, Beale-Kato-Majda criterion, and local wellposedness theory that are specific to the permutation symmetric case. This paper is significantly motivated by a recent work of the author [13], which proved finite-time blowup for smooth solutions of a Fourier-restricted Euler model equation, where the Helmholtz projection is replaced by a projection onto a more restrictive constraint space. The blowup solutions for this model equation are odd, permutation symmetric, and mirror symmetric about the plane $x_1+x_2+x_3=0.$ Using the blowup solution introduced by Elgindi in [5], we are able to prove there are $C^{1,\alpha}$ solutions of the full Euler equation that blowup in finite-time, which are odd, permutation symmetric, and mirror symmetric about the plane $x_1+x_2+x_3=0$. We will also prove that divergence-free vector fields that are odd, permutation symmetric, and mirror symmetric about the plane $x_1+x_2+x_3=0$ ($\mathcal{G}_\sigma$ symmetric) are equivalent up to a change of coordinates given by a rotation to divergence-free vector fields that are mirror symmetric about each of the three coordinate axes and symmetric with respect to rotations by $\frac{\pi}{3}$ in the horizontal plane ($\mathcal{G}$-symmetric). The latter discrete symmetry group allows for a Fourier series expansion in cylindrical coordinates that shines a further light on the structure of these symmetry groups, in particular their relation to axisymmetric, swirl-free vector fields.

math.AP

Likelihood-ratio inference on differences in quantiles

Quantiles can represent key operational and business metrics, but the computational challenges associated with inference has hampered their adoption in online experimentation. One-sample confidence intervals are trivial to construct; however, two-sample inference has traditionally required bootstrapping or a density estimator. This paper presents a new two-sample difference-in-quantile hypothesis test and confidence interval based on a likelihood-ratio test statistic. A conservative version of the test does not involve a density estimator; a second version of the test, which uses a density estimator, yields confidence intervals very close to the nominal coverage level. It can be computed using only four order statistics from each sample.

stat.ME

Finite-time blowup for the Fourier-restricted Euler and hypodissipative Navier-Stokes model equations

In this paper, we introduce the Fourier-restricted Euler and hypodissipative Navier--Stokes equations. These equations are analogous to the Euler and hypodissipative Navier--Stokes equations respectively, but with the Helmholtz projection replaced by a projection onto a more restrictive constraint space; the $(u\cdot\nabla)u$ nonlinearity is otherwise unchanged. The constraint space restricts the divergence-free velocity to specific Fourier modes, which have a dyadic shell structure, and are constructed iteratively using permutations. In the inviscid case -- and in the hypo-viscous case when $\alpha<\frac{\log(3)}{6\log(2)} \approx .264$ -- we prove finite-time blowup for a set of solutions with a discrete group of symmetries. Our blowup Ansatz is odd, permutation symmetric, and mirror symmetric about the plane $x_1+x_2+x_3=0$. The Fourier-restricted Euler and hypodissipative Navier--Stokes equations respect both the energy equality and the identity for enstrophy growth from the full Euler and hypodissipative Navier--Stokes equations respectively, which is a substantial advance over the previous literature on Euler and Navier--Stokes model equations.

math.AP

Growth rates for anti-parallel vortex tube Euler flows in three and higher dimensions

We consider axisymmetric, swirl-free solutions of the Euler equations in three and higher dimensions, of generalized anti-parallel-vortex-tube-pair-type: the initial scalar vorticity has a sign in the half-space, is odd under reflection across the plane, is bounded and decays sufficiently rapidly at the axis and at spatial infinity. We prove lower bounds on the growth of such solutions in all dimensions, improving a lower bound proved by Choi and Jeong arXiv:2110.09079 in three dimensions.

math.AP

Finite-time blowup for the inviscid vortex stretching equation

In this paper, we will introduce the inviscid vortex stretching equation, which is a model equation for the 3D Euler equation where the advection of vorticity is neglected. We will show that there are smooth solutions of this equation which blowup in finite-time, even when restricting to axisymmetric, swirl-free solutions. This provides further evidence of the role of advection in depleting nonlinear vortex stretching for solutions of the 3D Euler equation.

math.AP

On the regularity of axisymmetric, swirl-free solutions of the Euler equation in four and higher dimensions

In this paper, we consider axisymmetric, swirl-free solutions of the Euler equation in four and higher dimensions. We show that in dimension $d\geq 4$, axisymmetric, swirl-free solutions of the Euler equation have properties which could allow finite-time singularity formation of a form that is excluded when $d=3$, and we prove a conditional blowup result for axisymmetric, swirl-free solutions of the Euler equation in dimension $d\geq 4$. The condition which must be imposed on the solution in order to imply blowup becomes weaker as $d\to +\infty$, suggesting the dynamics are becoming much more singular as the dimension increases.

math.AP

A Helmholtz-type decomposition for the space of symmetric matrices

In this paper, we introduce a Helmholtz-type decomposition for the space of square integrable, symmetric-matrix-valued functions analogous to the standard Helmholtz decomposition for vector fields. This decomposition provides a better understanding of the strain constraint space, which is important to the Navier--Stokes regularity problem. In particular, we give a full characterization the orthogonal complement of the strain constraint space and investigate the geometry of the eigenvalue distribution of matrices in the strain constraint space.

math.AP

Finite-time blowup for smooth solutions of the Navier--Stokes equations on the whole space with linear growth at infinity

In this paper we consider smooth solutions of the Navier--Stokes equations with a linear dependence on the spatial variable. We reduce the evolution of these solutions to a matrix ODE, and show that there are such solutions that blowup in finite-time. Note that because these solutions have linear growth at infinity, this blowup is not a counterexample disproving the global regularity of strong solutions of the Navier--Stokes equations, as strong solutions must have sufficient decay at infinity. This paper does not resolve the Millennium Problem. Nonetheless, these solutions do exhibit several properties that are closely related to the problem of blowup for strong solutions of Navier--Stokes equations, including the presence of unbounded planar stretching, and the alignment of the vorticity with the middle eigenvector of the strain matrix.

math.AP

Navier--Stokes regularity criteria in sum spaces

In this paper, we will consider regularity criteria for the Navier--Stokes equation in mixed Lebesgue sum spaces. In particular, we will prove regularity criteria that only require control of the velocity, vorticity, or the positive part of the second eigenvalue of the strain matrix, in the sum space of two scale critical spaces. This represents a significant step forward, because each sum space regularity criterion covers a whole family of scale critical regularity criteria in a single estimate. In order to show this, we will also prove a new inclusion and inequality for sum spaces in families of mixed Lebesgue spaces with a scale invariance that is also of independent interest.

math.AP

Global regularity for solutions of the Navier-Stokes equation sufficiently close to being eigenfunctions of the Laplacian

In this paper, we will prove a new, scale critical regularity criterion for solutions of the Navier--Stokes equation that are sufficiently close to being eigenfunctions of the Laplacian. This estimate improves previous regularity criteria requiring control on the $\dot{H}^\alpha$ norm of $u,$ with $2\leq \alpha<\frac{5}{2},$ to a regularity criterion requiring control on the $\dot{H}^\alpha$ norm multiplied by the deficit in the interpolation inequality for the embedding of $\dot{H}^{\alpha-2}\cap\dot{H}^{\alpha} \hookrightarrow \dot{H}^{\alpha-1}.$ This regularity criterion suggests, at least heuristically, the possibility of some relationship between potential blowup solutions of the Navier--Stokes equation and the Kolmogorov-Obhukov spectrum in the theory of turbulence.

math.AP

A locally anisotropic regularity criterion for the Navier--Stokes equation in terms of vorticity

In this paper, we will prove a regularity criterion that guarantees solutions of the Navier--Stokes equation must remain smooth so long as the the vorticity restricted to a plane remains bounded in the scale critical space $L^4_t L^2_x$, where the plane may vary in space and time as long as the gradient of the vector orthogonal to the plane remains bounded. This extends previous work by Chae and Choe that guaranteed that solutions of the Navier--Stokes equation must remain smooth as long as the vorticity restricted to a fixed plane remains bounded in family of scale critical mixed Lebesgue spaces. This regularity criterion also can be seen as interpolating between Chae and Choe's regularity criterion in terms of two vorticity components and Beir\~{a}o da Veiga and Berselli's regularity criterion in terms of the gradient of vorticity direction.

math.AP

Finite-time blowup for a Navier-Stokes model equation for the self-amplification of strain

In this paper, we consider a model equation for the Navier--Stokes strain equation. This model equation has the same identity for enstrophy growth and a number of the same regularity criteria as the full Navier-Stokes strain equation, and is also an evolution equation on the same constraint space. We prove finite-time blowup for this model equation, which shows that the identity for enstrophy growth and the strain constraint space are not sufficient on their own to guarantee global regularity for Navier-Stokes. The mechanism for the finite-time blowup of this model equation is the self-amplification of strain, which is consistent with recent research suggesting that strain self-amplification, not vortex stretching, is the main mechanism behind the turbulent energy cascade. Because the strain self-amplification model equation is obtained by dropping certain terms from the full Navier-Stokes strain equation, we will also prove a conditional blowup result for the full Navier-Stokes equation involving a perturbative condition on the terms neglected in the model equation.

math.AP