Propagation of singularities by Osgood vector fields and for 2D inviscid incompressible fluids
Abstract

We show that certain singular structures (Hölderian cusps and mild divergences) are transported by the flow of homeomorphisms generated by an Osgood velocity field. The structure of these singularities is related to the modulus of continuity of the velocity and the results are shown to be sharp in the sense that slightly more singular structures cannot generally be propagated. For the 2D Euler equation, we prove that certain singular structures are preserved by the motion, e.g. a system of$$\log \log _+(1/|x|)$$$log{log}_{+}\left(1/|x|\right)$vortices (and those that are slightly less singular) travel with the fluid in a nonlinear fashion, up to bounded perturbations. We also give stability results for weak Euler solutions away from their singular set.

Authors:
; ;
Award ID(s):
Publication Date:
NSF-PAR ID:
10378137
Journal Name:
Mathematische Annalen
ISSN:
0025-5831
Publisher:
National Science Foundation
##### More Like this
1. Abstract

We continue the program of proving circuit lower bounds via circuit satisfiability algorithms. So far, this program has yielded several concrete results, proving that functions in$\mathsf {Quasi}\text {-}\mathsf {NP} = \mathsf {NTIME}[n^{(\log n)^{O(1)}}]$$\mathrm{Quasi}-\mathrm{NP}=\mathrm{NTIME}\left[{n}^{{\left(\mathrm{log}n\right)}^{O\left(1\right)}}\right]$and other complexity classes do not have small circuits (in the worst case and/or on average) from various circuit classes$\mathcal { C}$$C$, by showing that$\mathcal { C}$$C$admits non-trivial satisfiability and/or#SAT algorithms which beat exhaustive search by a minor amount. In this paper, we present a new strong lower bound consequence of having a non-trivial#SAT algorithm for a circuit class${\mathcal C}$$C$. Say that a symmetric Boolean functionf(x1,…,xn) issparseif it outputs 1 onO(1) values of${\sum }_{i} x_{i}$${\sum }_{i}{x}_{i}$. We show that for every sparsef, and for all “typical”$\mathcal { C}$$C$, faster#SAT algorithms for$\mathcal { C}$$C$circuits imply lower bounds against the circuit class$f \circ \mathcal { C}$$f\circ C$, which may bestrongerthan$\mathcal { C}$$C$itself. In particular:

#SAT algorithms fornk-size$\mathcal { C}$$C$-circuits running in 2n/nktime (for allk) implyNEXPdoes not have$(f \circ \mathcal { C})$$\left(f\circ C\right)$-circuits of polynomial size.

#SAT algorithms for$2^{n^{{\varepsilon }}}$${2}^{{n}^{\epsilon }}$-size$\mathcal { C}$$C$-circuits running in$2^{n-n^{{\varepsilon }}}$${2}^{n-{n}^{\epsilon }}$time (for someε> 0) implyQuasi-NPdoes not have$(f \circ \mathcal { C})$$\left(f\circ C\right)$-circuits of polynomial size.

Applying#SAT algorithms from the literature, one immediate corollary of our results is thatQuasi-NPdoes not haveEMAJACC0THRcircuits of polynomialmore »

2. Abstract

Let us fix a primepand a homogeneous system ofmlinear equations$$a_{j,1}x_1+\dots +a_{j,k}x_k=0$$${a}_{j,1}{x}_{1}+\cdots +{a}_{j,k}{x}_{k}=0$for$$j=1,\dots ,m$$$j=1,\cdots ,m$with coefficients$$a_{j,i}\in \mathbb {F}_p$$${a}_{j,i}\in {F}_{p}$. Suppose that$$k\ge 3m$$$k\ge 3m$, that$$a_{j,1}+\dots +a_{j,k}=0$$${a}_{j,1}+\cdots +{a}_{j,k}=0$for$$j=1,\dots ,m$$$j=1,\cdots ,m$and that every$$m\times m$$$m×m$minor of the$$m\times k$$$m×k$matrix$$(a_{j,i})_{j,i}$$${\left({a}_{j,i}\right)}_{j,i}$is non-singular. Then we prove that for any (large)n, any subset$$A\subseteq \mathbb {F}_p^n$$$A\subseteq {F}_{p}^{n}$of size$$|A|> C\cdot \Gamma ^n$$$|A|>C·{\Gamma }^{n}$contains a solution$$(x_1,\dots ,x_k)\in A^k$$$\left({x}_{1},\cdots ,{x}_{k}\right)\in {A}^{k}$to the given system of equations such that the vectors$$x_1,\dots ,x_k\in A$$${x}_{1},\cdots ,{x}_{k}\in A$are all distinct. Here,Cand$$\Gamma$$$\Gamma$are constants only depending onp,mandksuch that$$\Gamma $\Gamma . The crucial point here is the condition for the vectors$$x_1,\dots ,x_k$$${x}_{1},\cdots ,{x}_{k}$in the solution$$(x_1,\dots ,x_k)\in A^k$$$\left({x}_{1},\cdots ,{x}_{k}\right)\in {A}^{k}$to be distinct. If we relax this condition and only demand that$$x_1,\dots ,x_k$$${x}_{1},\cdots ,{x}_{k}$are not all equal, then the statement would follow easily from Tao’s slice rank polynomial method. However, handling the distinctness condition is much harder, and requires a new approach. While all previous combinatorial applications of the slice rank polynomial method have relied on the slice rank of diagonal tensors, we use a slice rank argument for a non-diagonal tensor in combination with combinatorial and probabilistic arguments. 3. Abstract We study the singular set in the thin obstacle problem for degenerate parabolic equations with weight$$|y|^a$$${|y|}^{a}$for$$a \in (-1,1)$$$a\in \left(-1,1\right)$. Such problem arises as the local extension of the obstacle problem for the fractional heat operator$$(\partial _t - \Delta _x)^s$$${\left({\partial }_{t}-{\Delta }_{x}\right)}^{s}$for$$s \in (0,1)$$$s\in \left(0,1\right)$. Our main result establishes the complete structure and regularity of the singular set of the free boundary. To achieve it, we prove Almgren-Poon, Weiss, and Monneau type monotonicity formulas which generalize those for the case of the heat equation ($$a=0$$$a=0$). 4. Abstract In this paper we provide a complete local well-posedness theory for the free boundary relativistic Euler equations with a physical vacuum boundary on a Minkowski background. Specifically, we establish the following results: (i) local well-posedness in the Hadamard sense, i.e., local existence, uniqueness, and continuous dependence on the data; (ii) low regularity solutions: our uniqueness result holds at the level of Lipschitz velocity and density, while our rough solutions, obtained as unique limits of smooth solutions, have regularity only a half derivative above scaling; (iii) stability: our uniqueness in fact follows from a more general result, namely, we show that a certain nonlinear functional that tracks the distance between two solutions (in part by measuring the distance between their respective boundaries) is propagated by the flow; (iv) we establish sharp, essentially scale invariant energy estimates for solutions; (v) a sharp continuation criterion, at the level of scaling, showing that solutions can be continued as long as the velocity is in$$L^1_t Lip$$${L}_{t}^{1}Lip$and a suitable weighted version of the density is at the same regularity level. Our entire approach is in Eulerian coordinates and relies on the functional framework developed in the companion work of the second and third authors onmore » 5. Abstract We study the sparsity of the solutions to systems of linear Diophantine equations with and without non-negativity constraints. The sparsity of a solution vector is the number of its nonzero entries, which is referred to as the$$\ell _0$$${\ell }_{0}$-norm of the vector. Our main results are new improved bounds on the minimal$$\ell _0$$${\ell }_{0}$-norm of solutions to systems$$A\varvec{x}=\varvec{b}$$$Ax=b$, where$$A\in \mathbb {Z}^{m\times n}$$$A\in {Z}^{m×n}$,$${\varvec{b}}\in \mathbb {Z}^m$$$b\in {Z}^{m}$and$$\varvec{x}$$$x$is either a general integer vector (lattice case) or a non-negative integer vector (semigroup case). In certain cases, we give polynomial time algorithms for computing solutions with$$\ell _0$$${\ell }_{0}$-norm satisfying the obtained bounds. We show that our bounds are tight. Our bounds can be seen as functions naturally generalizing the rank of a matrix over$$\mathbb {R}$$$R$, to other subdomains such as$$\mathbb {Z}$Z$. We show that these new rank-like functions are all NP-hard to compute in general, but polynomial-time computable for fixed number of variables.