On the regularity of the flow map for the gravity-capillary equations

We prove via explicitly constructed initial data that solutions to the gravity-capillary wave system in $\mathbb{R}^3$ representing a 2d air-water interface immediately fails to be $C^3$ with respect to the initial data if the initial data $(h_0, \psi_0) \in H^{s+\frac12} \otimes H^{s}$ for $s<3$. Similar results hold in $\mathbb{R}^2$ domains with a 1d interface. Furthermore, we discuss the illposedness threshold for the pure gravity water wave system.Comment: 31 pages, no figures; several errors in the Dirichlet-Neumann map expansion corrected thanks to a comment from Nicolas Burq, Thomas Alazard and Claude Zuill

Spectral Analysis for Matrix Hamiltonian Operators

In this work, we study the spectral properties of matrix Hamiltonians generated by linearizing the nonlinear Schr\"odinger equation about soliton solutions. By a numerically assisted proof, we show that there are no embedded eigenvalues for the three dimensional cubic equation. Though we focus on a proof of the 3d cubic problem, this work presents a new algorithm for verifying certain spectral properties needed to study soliton stability. Source code for verification of our comptuations, and for further experimentation, are available at http://www.math.toronto.edu/simpson/files/spec_prop_code.tgz.Comment: 57 pages, 22 figures, typos fixe

Escape times for subgraph detection and graph partitioning

We provide a rearrangement based algorithm for fast detection of subgraphs of $k$ vertices with long escape times for directed or undirected networks. Complementing other notions of densest subgraphs and graph cuts, our method is based on the mean hitting time required for a random walker to leave a designated set and hit the complement. We provide a new relaxation of this notion of hitting time on a given subgraph and use that relaxation to construct a fast subgraph detection algorithm and a generalization to $K$-partitioning schemes. Using a modification of the subgraph detector on each component, we propose a graph partitioner that identifies regions where random walks live for comparably large times. Importantly, our method implicitly respects the directed nature of the data for directed graphs while also being applicable to undirected graphs. We apply the partitioning method for community detection to a large class of model and real-world data sets.Comment: 22 pages, 10 figures, 1 table, comments welcome!

A metric on directed graphs and Markov chains based on hitting probabilities

The shortest-path, commute time, and diffusion distances on undirected graphs have been widely employed in applications such as dimensionality reduction, link prediction, and trip planning. Increasingly, there is interest in using asymmetric structure of data derived from Markov chains and directed graphs, but few metrics are specifically adapted to this task. We introduce a metric on the state space of any ergodic, finite-state, time-homogeneous Markov chain and, in particular, on any Markov chain derived from a directed graph. Our construction is based on hitting probabilities, with nearness in the metric space related to the transfer of random walkers from one node to another at stationarity. Notably, our metric is insensitive to shortest and average walk distances, thus giving new information compared to existing metrics. We use possible degeneracies in the metric to develop an interesting structural theory of directed graphs and explore a related quotienting procedure. Our metric can be computed in $O(n^3)$ time, where $n$ is the number of states, and in examples we scale up to $n=10,000$ nodes and $\approx 38M$ edges on a desktop computer. In several examples, we explore the nature of the metric, compare it to alternative methods, and demonstrate its utility for weak recovery of community structure in dense graphs, visualization, structure recovering, dynamics exploration, and multiscale cluster detection.Comment: 26 pages, 9 figures, for associated code, visit https://github.com/zboyd2/hitting_probabilities_metric, accepted at SIAM J. Math. Data Sc

Wave operator bounds for 1-dimensional Schr\"odinger operators with singular potentials and applications

Boundedness of wave operators for Schr\"odinger operators in one space dimension for a class of singular potentials, admitting finitely many Dirac delta distributions, is proved. Applications are presented to, for example, dispersive estimates and commutator bounds.Comment: 16 pages, 0 figure

On the spectral properties of L_{+-} in three dimensions

This paper is part of the radial asymptotic stability analysis of the ground state soliton for either the cubic nonlinear Schrodinger or Klein-Gordon equations in three dimensions. We demonstrate by a rigorous method that the linearized scalar operators which arise in this setting, traditionally denoted by L_{+-}, satisfy the gap property, at least over the radial functions. This means that the interval (0,1] does not contain any eigenvalues of L_{+-} and that the threshold 1 is neither an eigenvalue nor a resonance. The gap property is required in order to prove scattering to the ground states for solutions starting on the center-stable manifold associated with these states. This paper therefore provides the final installment in the proof of this scattering property for the cubic Klein-Gordon and Schrodinger equations in the radial case, see the recent theory of Nakanishi and the third author, as well as the earlier work of the third author and Beceanu on NLS. The method developed here is quite general, and applicable to other spectral problems which arise in the theory of nonlinear equations

Dark Solitons Near Potential and Nonlinearity Steps

We study dark solitons near potential and nonlinearity steps and combinations thereof, forming rectangular barriers. This setting is relevant to the contexts of atomic Bose-Einstein condensates (where such steps can be realized by using proper external fields) and nonlinear optics (for beam propagation near interfaces separating optical media of different refractive indices). We use perturbation theory to develop an equivalent particle theory, describing the matter-wave or optical soliton dynamics as the motion of a particle in an effective potential. This Newtonian dynamical problem provides information for the soliton statics and dynamics, including scenarios of reflection, transmission, or quasi-trapping at such steps. The case of multiple such steps and its connection to barrier potentials is also touched upon. Our analytical predictions are found to be in very good agreement with the corresponding numerical results

A system of ODEs for a Perturbation of a Minimal Mass Soliton

We study soliton solutions to a nonlinear Schrodinger equation with a saturated nonlinearity. Such nonlinearities are known to possess minimal mass soliton solutions. We consider a small perturbation of a minimal mass soliton, and identify a system of ODEs similar to those from Comech and Pelinovsky (2003), which model the behavior of the perturbation for short times. We then provide numerical evidence that under this system of ODEs there are two possible dynamical outcomes, which is in accord with the conclusions of Pelinovsky, Afanasjev, and Kivshar (1996). For initial data which supports a soliton structure, a generic initial perturbation oscillates around the stable family of solitons. For initial data which is expected to disperse, the finite dimensional dynamics follow the unstable portion of the soliton curve.Comment: Minor edit

Strichartz estimates on Schwarzschild black hole backgrounds

We study dispersive properties for the wave equation in the Schwarzschild space-time. The first result we obtain is a local energy estimate. This is then used, following the spirit of earlier work of Metcalfe-Tataru, in order to establish global-in-time Strichartz estimates. A considerable part of the paper is devoted to a precise analysis of solutions near the trapping region, namely the photon sphere.Comment: 44 pages; typos fixed, minor modifications in several place

Near Sharp Strichartz estimates with loss in the presence of degenerate hyperbolic trapping

We consider an $n$-dimensional spherically symmetric, asymptotically Euclidean manifold with two ends and a codimension 1 trapped set which is degenerately hyperbolic. By separating variables and constructing a semiclassical parametrix for a time scale polynomially beyond Ehrenfest time, we show that solutions to the linear Schr\"odiner equation with initial conditions localized on a spherical harmonic satisfy Strichartz estimates with a loss depending only on the dimension $n$ and independent of the degeneracy. The Strichartz estimates are sharp up to an arbitrary $\beta>0$ loss. This is in contrast to \cite{ChWu-lsm}, where it is shown that solutions satisfy a sharp local smoothing estimate with loss depending only on the degeneracy of the trapped set, independent of the dimension