Let $$\phi(x,y)$$ be a continuous function, smooth away from the diagonal, such that, for some $$\alpha>0$$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^{\phi}f(x)=\int_{\phi(x,y)=t} f(y) \psi(y) d\sigma_{x,t}(y) \end{equation} map $$L^2({\mathbb R}^d) \to H^{\alpha}({\mathbb R}^d)$$ for all $t>0$. Let $$E$$ be a compact subset of $${\mathbb R}^d$$ for some $$d \ge 2$$, and suppose that the Hausdorff dimension of $$E$$ is $$>d-\alpha$$. We show that any tree graph $$T$$ on $k+1$ ($$k \ge 1$$) vertices is realizable in $$E$$, in the sense that there exist distinct $$x^1, x^2, \dots, x^{k+1} \in E$$ and $t>0$ such that the $$\phi$$-distance $$\phi(x^i, x^j)$$ is equal to $$t$$ for all pairs $(i,j)$ corresponding to the edges of the graph $$T$$. 
                        more » 
                        « less   
                    
                            
                            Asymptotically Kasner-like singularities
                        
                    
    
            abstract: We prove existence, uniqueness and regularity of solutions to the Einstein vacuum equations taking the form $$ {}^{(4)}g = -dt^2 + \sum_{i,j=1}^3 a_{ij}t^{2 p_{\max\{i,j\}}}\,{\rm d} x^i\,{\rm d} x^j $$ on $$(0,T]_t\times\Bbb{T}^3_x$$, where $$a_{ij}(t,x)$$ and $$p_i(x)$$ are regular functions without symmetry or analyticity assumptions. These metrics are singular and asymptotically Kasner-like as $$t\to 0^+$$. These solutions are expected to be highly non-generic, and our construction can be viewed as solving a singular initial value problem with Fuchsian-type analysis where the data are posed on the ``singular hypersurface'' $$\{t=0\}$$. This is the first such result without imposing symmetry or analyticity. To carry out the analysis, we study the problem in a synchronized coordinate system. In particular, we introduce a novel way to perform (weighted) energy estimates in such a coordinate system based on estimating the second fundamental forms of the constant-$$t$$ hypersurfaces. 
        more » 
        « less   
        
    
                            - Award ID(s):
- 1709458
- PAR ID:
- 10612370
- Publisher / Repository:
- Johns Hopkins University Press
- Date Published:
- Journal Name:
- American Journal of Mathematics
- Volume:
- 145
- Issue:
- 4
- ISSN:
- 1080-6377
- Page Range / eLocation ID:
- 1183 to 1272
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            Abstract Consider $$(X_{i}(t))$$ ( X i ( t ) ) solving a system of N stochastic differential equations interacting through a random matrix $${\mathbf {J}} = (J_{ij})$$ J = ( J ij ) with independent (not necessarily identically distributed) random coefficients. We show that the trajectories of averaged observables of $$(X_i(t))$$ ( X i ( t ) ) , initialized from some $$\mu $$ μ independent of $${\mathbf {J}}$$ J , are universal, i.e., only depend on the choice of the distribution $$\mathbf {J}$$ J through its first and second moments (assuming e.g., sub-exponential tails). We take a general combinatorial approach to proving universality for dynamical systems with random coefficients, combining a stochastic Taylor expansion with a moment matching-type argument. Concrete settings for which our results imply universality include aging in the spherical SK spin glass, and Langevin dynamics and gradient flows for symmetric and asymmetric Hopfield networks.more » « less
- 
            The Bollobás set pairs inequality is a fundamental result in extremal set theory with many applications. In this paper, for $$n \geqslant k \geqslant t \geqslant 2$$, we consider a collection of $$k$$ families $$\mathcal{A}_i: 1 \leq i \leqslant k$$ where $$\mathcal{A}_i = \{ A_{i,j} \subset [n] : j \in [n] \}$$ so that $$A_{1, i_1} \cap \cdots \cap A_{k,i_k} \neq \varnothing$$ if and only if there are at least $$t$$ distinct indices $$i_1,i_2,\dots,i_k$$. Via a natural connection to a hypergraph covering problem, we give bounds on the maximum size $$\beta_{k,t}(n)$$ of the families with ground set $[n]$.more » « less
- 
            For , the generalized Kasner solutions (which we refer to as Kasner solutions for short) are a family of explicit solutions to various Einstein-matter systems that, exceptional cases aside, start out smooth but then develop a Big Bang singularity as , i.e., a singularity along an entire spacelike hypersurface, where various curvature scalars blow up monotonically. The family is parameterized by the Kasner exponents , which satisfy two algebraic constraints. There are heuristics in the mathematical physics literature, going back more than 50 years, suggesting that the Big Bang formation should be dynamically stable, that is, stable under perturbations of the Kasner initial data, given say at , as long as the exponents are “sub-critical” in the following sense: . Previous works have rigorously shown the dynamic stability of the Kasner Big Bang singularity under stronger assumptions: (1) the Einstein-scalar field system with and , which corresponds to the stability of the Friedmann–Lemaître–Robertson–Walker solution’s Big Bang or (2) the Einstein-vacuum equations for with . In this paper, we prove that the Kasner singularity is dynamically stable forallsub-critical Kasner exponents, thereby justifying the heuristics in the literature in the full regime where stable monotonic-type curvature-blowup is expected. We treat in detail the -dimensional Einstein-scalar field system for all and the -dimensional Einstein-vacuum equations for ; both of these systems feature non-empty sets of sub-critical Kasner solutions. Moreover, for the Einstein-vacuum equations in dimensions, where instabilities are in general expected, we prove that all singular Kasner solutions have dynamically stable Big Bangs under polarized -symmetric perturbations of their initial data. Our results hold for open sets of initial data in Sobolev spaces without symmetry, apart from our work on polarized -symmetric solutions. Our proof relies on a new formulation of Einstein’s equations: we use a constant-mean-curvature foliation, and the unknowns are the scalar field, the lapse, the components of the spatial connection and second fundamental form relative to a Fermi–Walker transported spatial orthonormal frame, and the components of the orthonormal frame vectors with respect to a transported spatial coordinate system. In this formulation, the PDE evolution system for the structure coefficients of the orthonormal frame approximately diagonalizes in a way that sharply reveals the significance of the Kasner exponent sub-criticality condition for the dynamic stability of the flow: the condition leads to the time-integrability of many terms in the equations, at least at the low derivative levels. At the high derivative levels, the solutions that we study can be much more singular with respect to , and to handle this difficulty, we use -weighted high order energies, and we control non-linear error terms by exploiting monotonicity induced by the -weights and interpolating between the singularity-strength of the solution’s low order and high order derivatives. Finally, we note that our formulation of Einstein’s equations highlights the quantities that might generate instabilities outside of the sub-critical regime.more » « less
- 
            The third Painlevé equation in its generic form, often referred to as Painlevé-III($$D_6$$), is given by $$ \frac{{\rm d}^2u}{{\rm d}x^2} =\frac{1}{u}\left(\frac{{\rm d}u}{{\rm d}x} \right)^2-\frac{1}{x} \frac{{\rm d}u}{{\rm d}x} + \frac{\alpha u^2 + \beta}{x}+4u^3-\frac{4}{u}, \qquad \alpha,\beta \in \mathbb C. $$ Starting from a generic initial solution $$u_0(x)$$ corresponding to parameters $$\alpha$$, $$\beta$$, denoted as the triple $$(u_0(x),\alpha,\beta)$$, we apply an explicit Bäcklund transformation to generate a family of solutions $$(u_n(x),\alpha + 4n,\beta + 4n)$$ indexed by $$n \in \mathbb N$$. We study the large $$n$$ behavior of the solutions $$(u_n(x), \alpha + 4n, \beta + 4n)$$ under the scaling $x = z/n$ in two different ways: (a) analyzing the convergence properties of series solutions to the equation, and (b) using a Riemann-Hilbert representation of the solution $$u_n(z/n)$$. Our main result is a proof that the limit of solutions $$u_n(z/n)$$ exists and is given by a solution of the degenerate Painlevé-III equation, known as Painlevé-III($$D_8$$), $$ \frac{{\rm d}^2U}{{\rm d}z^2} =\frac{1}{U}\left(\frac{{\rm d}U}{{\rm d}z}\right)^2-\frac{1}{z} \frac{{\rm d}U}{{\rm d}z} + \frac{4U^2 + 4}{z}.$$ A notable application of our result is to rational solutions of Painlevé-III($$D_6$$), which are constructed using the seed solution $(1,4m,-4m)$ where $$m \in \mathbb C \setminus \big(\mathbb Z + \frac{1}{2}\big)$$ and can be written as a particular ratio of Umemura polynomials. We identify the limiting solution in terms of both its initial condition at $z = 0$ when it is well defined, and by its monodromy data in the general case. Furthermore, as a consequence of our analysis, we deduce the asymptotic behavior of generic solutions of Painlevé-III, both $$D_6$$ and $$D_8$$ at $z = 0$. We also deduce the large $$n$$ behavior of the Umemura polynomials in a neighborhood of $z = 0$.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    