We consider reflector imaging in a weakly random waveguide. We address the situation in which the source is farther from the reflector to be imaged than the energy equipartition distance, but the receiver array is closer to the reflector to be imaged than the energy equipartition distance. As a consequence, the reflector is illuminated by a partially coherent field and the signals recorded by the receiver array are noisy. This paper shows that migration of the recorded signals cannot give a good image, but an appropriate migration of the cross correlations of the recorded signals can give a very good image. The resolution and stability analysis of this original functional shows that the reflector can be localized with an accuracy of the order of the wavelength even when the receiver array has small aperture, and that broadband sources are necessary to ensure statistical stability, whatever the aperture of the array.

We prove that torsion-free G2 structures are (weakly) dynamically stable along the Laplacian flow for closed G2 structures. More precisely, given a torsion-free G2 structure φ on a compact 7-manifold, the Laplacian flow with initial value cohomologous and sufficiently close to φ will converge to a torsion-free G2 structure which is in the orbit of φ under diffeomorphisms isotopic to the identity. We deduce, from fundamental work of Joyce [18], that the Laplacian flow starting at any closed G2 structure with sufficiently small torsion will exist for all time and converge to a torsion-free G2 structure.

Topological cyclic homology is a refinement of Connes–Tsygan’s cyclic homology which was introduced by Bökstedt–Hsiang–Madsen in 1993 as an approximation to algebraic K-theory. There is a trace map from algebraic K-theory to topological cyclic homology, and a theorem of Dundas–Goodwillie–McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which gives a way for computing K-theory in various situations. The construction of topological cyclic homology is based on genuine equivariant homotopy theory, the use of explicit point-set models, and the elaborate notion of a cyclotomic spectrum. The goal of this paper is to revisit this theory using only homotopy-invariant notions. In particular, we give a new construction of topological cyclic homology. This is based on a new definition of the ∞-category of cyclotomic spectra: We define a cyclotomic spectrum to be a spectrum X with S1-action (in the most naive sense) together with S1-equivariant maps φp:X→XtCp for all primes p. Here, XtCp=cofib(Nm:XhCp→XhCp) is the Tate construction. On bounded below spectra, we prove that this agrees with previous definitions. As a consequence, we obtain a new and simple formula for topological cyclic homology. In order to construct the maps φp:X→XtCp in the example of topological Hochschild homology, we introduce and study Tate-diagonals for spectra and Frobenius homomorphisms of commutative ring spectra. In particular, we prove a version of the Segal conjecture for the Tate-diagonals and relate these Frobenius homomorphisms to power operations.

We study homogenization of G-equation with a ow straining term (or the strain G-equation) in two dimensional periodic cellular ow. The strain G-equation is a highly non-coercive and non-convex level set Hamilton-Jacobi equation. The main objective is to investigate how the ow induced straining (the nonconvex term) in uences front propagation as the ow intensity A increases. Three distinct regimes are identified. When A is below the critical level, homogenization holds and the turbulent ame speed sT (effective Hamiltonian) is well-defined for any periodic ow with small divergence and is enhanced by the cellular ow as $s_T \ge O(A/logA)$. In the second regime where A is slightly above the critical value, homogenization breaks down, and $s_T$ is not well defined along any direction. Solutions become a mixture of fast moving part and a stagnant part. When $A$ is sufficiently large, the whole ame front ceases to propagate forward due to the flow induced straining. In particular, along directions $p = (1; 0)$ and $(0;1)$, $s_T$ is well-defined again with a value of zero (trapping). A partial homogenization result is also proved. If we consider a similar but relatively simpler Hamiltonian, the trapping occurs along all directions. The analysis is based on the two-player dierential game representation of solutions, selection of game strategies and trapping regions, and construction of connecting trajectories.

No abstract uploaded!