arXiv ScienceSearch

arXiv subjects

David Darrow

Publications and source records attributed to David Darrow.

16 recordsLinked to original sources

Quartic Lyapunov functions for global fluid stability

A fluid system is 'globally stable' if all initial conditions eventually converge to the same state. Since Reynolds (1895) and Orr (1907), the standard way to show global stability has been the energy method, which uses the fluctuation energy as a Lyapunov function. However, the energy method fails whenever transient energy growth is possible, so it often yields overly strict stability criteria. The first broadly applicable alternative has recently been introduced (Goulart & Chernyshenko 2012; Fuentes et al. 2022), using polynomial optimization to construct non-quadratic Lyapunov functions. Unlike the energy method, however, this approach is highly technical, computationally expensive, and hard to interpret physically. Moreover, it treats only one set of parameters at a time; in particular, if it verifies global stability at a certain Reynolds number, it does not imply the same for smaller values. The present work makes progress by connecting this numerical program with new analytical and physical insights. We show how to exploit symmetries of shear flows via convenient complex variable representations, greatly reducing the problem size. We then refine key inequalities, replace several expensive computational steps with simpler analytical alternatives, and show how to prove global stability over a range of Reynolds numbers. Our analysis identifies the simplest class of non-quadratic Lyapunov functions for two-dimensional parallel shear flows: a three-parameter family of quartic polynomials. Using these Lyapunov functions, we verify global stability of 2-D plane Couette flow and plane Poiseuille flow up to higher Reynolds numbers than possible with the energy method. Our work takes a step towards an analytical theory of global fluid stability beyond the energy method, and offers structural insights that should significantly improve future numerical investigations of global stability.

physics.flu-dyn

On the Geometry of Spreading Puddles

We develop a geometric model for the spreading of shallow, viscous puddles of arbitrary shape, building on the recent 'capillary current' model for axisymmetric droplets. In short, we assume that a spreading puddle remains close to instantaneous mechanical equilibrium as it spreads, with hydrostatic pressure balanced by surface curvature. In turn, its contact line advances so as to maximize the rate of energy loss subject to viscous dissipation. The resulting system yields a natural geometric evolution equation for both the two-dimensional footprint and the three-dimensional depth profile of a spreading puddle. In appropriate limits, it recovers the classical spreading laws for axisymmetric droplets, a local version of the Hoffman-Voinov-Tanner law for small non-axisymmetric puddles, and a nonlocal Hele-Shaw-like description for large, relatively regular puddles. We show that the model rationalizes new observations of silicone oil spreading over smooth borosilicate glass.

physics.flu-dyn

Single-particle Fraunhofer diffraction in a classical pilot-wave model

Walking oil droplets offer a qualitative, classical analog of single-particle diffraction. Making this analog quantitative has proven challenging, leading recent authors to conjecture that no classical pilot-wave model could exhibit Fraunhofer diffraction. We revisit the problem with the recent, Lagrangian pilot-wave model of Darrow and Bush [Symmetry 16, 149 (2024)], and find agreement with both single- and double-slit Fraunhofer patterns. We identify two distinct dynamical features that enable our model to capture Fraunhofer diffraction and distinguish it from previous classical pilot-wave models.

quant-ph

Extending the Droplet-Wave Statistical Correspondence in Walking Droplet Dynamics

Walking droplets -- millimetric oil droplets that self-propel across the surface of a vibrating fluid bath -- exhibit striking emergent statistics that remain only partially understood. In particular, in a variety of experiments, a robust correspondence has been observed between the droplet's statistical distribution and the time-average of the wave field that guides it. M. Durey, P. A. Milewski, and J. W. M. Bush, Chaos 28, 096108 (2018) rigorously established such a correspondence for single-droplet systems with a single, instantaneous droplet-bath impact during each vibration period, but numerical and experimental evidence suggests that the correspondence should hold far more broadly. Laboratory droplet systems, for instance, often exhibit complex bouncing modes that do not adhere to these hypotheses. We attempt to complete this program in the present work, rigorously extending this statistical correspondence to account for arbitrary droplet-bath impact models, multi-droplet interactions, and non-resonant bouncing. We investigate this correspondence numerically in systems of one and two droplets in 1-D geometries, and we highlight how the time-averaged wave field can distinguish between correlated and uncorrelated pairs of droplets.

physics.flu-dyn

Capillary currents and viscous droplet spreading

We present the results of a combined experimental and theoretical study of the spreading of viscous droplets over rigid substrates. First, we experimentally investigate the wetting of a roughened glass surface by a viscous droplet of silicone oil, wide and shallow relative to the capillary length $\ell_c$. The horizontal radius of the droplet grows according to an $R_\mathrm{drop}\sim t^{1/8}$ scaling reminiscent of viscous gravity currents (Lopez et al. 1976). The droplet is preceded by a mesoscopic fluid film that percolates through the rough substrate, its radius increasing according to $R_\mathrm{film}\sim t^{3/8}/(\log t)^{1/2}$. To rationalize these observed scalings, we develop a new 'capillary current' model for the spreading of shallow droplets with arbitrary radius on rough surfaces. Furthermore, on the basis of established similarities between droplet spreading over wetted rough and smooth substrates (Cazabat & Cohen Stuart 1986), we argue its relevance to a broader class of spreading problems. We propose that, throughout their evolution, shallow droplets maintain a quasi-equilibrium balance between hydrostatic and curvature pressure, perturbed only by unbalanced contact line forces arising along the droplet's edge. For drops with horizontal radii small with respect to $\ell_c$, our model converges to the original description of Hervet & de Gennes (1984) and thereby recovers the classic spreading laws of Hoffman (1975), Voinov (1976), and Tanner (1979). For drops wide with respect to $\ell_c$, it rationalizes why millimetric, surface-tension-driven capillary currents exhibit the same spreading behavior as relatively large-scale viscous gravity currents.

physics.flu-dyn

A Spectral Theory of Scalar Volterra Equations

This work aims to bridge the gap between pure and applied research on scalar, linear Volterra equations by examining five major classes: integral and integro-differential equations with completely monotone kernels, such as linear viscoelastic models; equations with positive definite kernels, such as partially observed quantum systems; difference equations with discrete, positive definite kernels; a generalized class of delay differential equations; and a generalized class of fractional differential equations. We develop a general, spectral theory that provides a system of correspondences between these disparate domains. As a result, we see how 'interconversion' (operator inversion) arises as a natural, continuous involution within each class, yielding a plethora of novel formulas for analytical solutions of such equations. This spectral theory unifies and extends existing results in viscoelasticity, signal processing, and analysis, and makes progress on an open question of Abel regarding the solution of integral equations of the first kind. Finally, it reduces simple Volterra equations of all classes to pen-and-paper calculation, and offers promising applications to the numerical solution of Volterra equations more broadly.

math.CA

On Unitary Monodromy of Second-Order Ordinary Differential Equations

Given a second-order, holomorphic, linear differential equation $Lf=0$ on a punctured Riemann surface, we say that its monodromy group $G\subset\operatorname{GL}(2,\mathbb{C})$ is `unitary' if it preserves a non-degenerate Hermitian form $H$ on $\mathbb{C}^2$ under the action $g\circ H=g^\dagger H g$. In the present work, we give two sets of necessary and sufficient conditions for a monodromy group $G\subset\operatorname{GL}(2,\mathbb{C})$ to be unitary. First, in the case that the natural representation of $G$ on $\mathbb{C}^2$ is irreducible, we show that unitarity is equivalent to a set of easily-verified trace conditions on local monodromy matrices; in the case that the representation is reducible, we show that $G$ is unitary if and only if it is contained in one of two model subgroups of $\operatorname{GL}(2,\mathbb{C})$. Second, we show that unitarity is equivalent to a criterion on the real dimension of the algebra $A$ generated by a rescaled group $G'\subset\operatorname{SL}(2,\mathbb{C})$: that $\dim(A)=1$ if $G\subset S^1$ is scalar, $\dim(A)=2$ if $G$ is abelian, $\dim(A)=3$ if $G$ is non-abelian but its action on $\mathbb{C}^2$ is reducible, and $\dim(A)=4$ otherwise. Our results directly extend the recent work of Adachi (2022, 2024), which treated Fuchsian equations with irreducible monodromy representation on the punctured Riemann sphere. We leverage these results to provide evidence that the spectrum of any Darboux operator should belong to a perturbed, squared lattice in the plane, extending a conjecture of Frits Beukers (2007). Our work makes progress towards characterizing the spectra of second-order operators on Riemann surfaces, and in particular, towards answering the \emph{accessory parameter problem} for Darboux equations.

math.CA

Revisiting de Broglie's Double-Solution Pilot-Wave Theory with a Lorentz-Covariant Lagrangian Framework

The relation between de Broglie's double-solution approach to quantum dynamics and the hydrodynamic pilot-wave system has motivated a number of recent revisitations and extensions of de Broglie's theory. Building upon these recent developments, we here introduce a rich family of pilot-wave systems, with a view to reformulating and studying de Broglie's double-solution program in the modern language of classical field theory. Notably, the entire family is local and Lorentz-invariant, follows from a variational principle, and exhibits time-invariant, two-way coupling between particle and pilot-wave field. We first introduce a variational framework for generic pilot-wave systems, including a derivation of particle-wave exchange of Noether currents. We then focus on a particular limit of our system, in which the particle is propelled by the local gradient of its pilot wave. In this case, we see that the Compton-scale oscillations proposed by de Broglie emerge naturally in the form of particle vibrations, and that the vibration modes dynamically adjust to match the Compton frequency in the rest frame of the particle. The underlying field dynamically changes its radiation patterns in order to satisfy the de Broglie relation $p=\hbar k$ at the particle's position, even as the particle momentum $p$ changes. The wave form and frequency thus evolve so as to conform to de Broglie's "harmony of phases", even for unsteady particle motion. We show that the particle is always dressed with a Compton-scale Yukawa wavepacket, independent of its trajectory, and that the associated energy imparts a constant increase to the particle's inertial mass. Finally, we see that the particle's wave-induced Compton-scale oscillation gives rise to a classical version of the Heisenberg uncertainty principle.

quant-ph

Detecting eigenvectors of an operator that are near a specified subspace

In modeling quantum systems or wave phenomena, one is often interested in identifying eigenstates that approximately carry a specified property; scattering states approximately align with incoming and outgoing traveling waves, for instance, and electron states in molecules often approximately align with superpositions of simple atomic orbitals. These examples -- and many others -- can be formulated as the following eigenproblem: given a self-adjoint operator $\mathcal{L}$ on a Hilbert space $\mathcal{H}$ and a closed subspace $W\subset\mathcal{H}$, can we identify all eigenvectors of $\mathcal{L}$ that lie approximately in $W$? We develop an approach to answer this question efficiently, with a user-defined tolerance and range of eigenvalues, building upon recent work for spatial localization in diffusion operators (Ovall and Reid, 2023). Namely, by perturbing $\mathcal{L}$ appropriately along the subspace $W$, we collect the eigenvectors near $W$ into a well-isolated region of the spectrum, which can then be explored using any of several existing methods. We prove key bounds on perturbations of both eigenvalues and eigenvectors, showing that our algorithm correctly identifies desired eigenpairs, and we support our results with several numerical examples.

math.NA

Convergence to Bohmian mechanics in a de Broglie-like pilot-wave system

Bohmian mechanics supplements the quantum wavefunction with deterministic particle trajectories, offering an alternate, dynamical language for quantum theory. However, the Bohmian particle does not affect its guiding wave, so the wave field must instead be prescribed by the system geometry. While this property is widely assumed necessary to ensure agreement with quantum mechanics, much work has recently been dedicated to understanding classical pilot-wave systems, which feature a two-way coupling between particle and wave. These systems, including the "walking droplet" system of Couder and Fort (2006) and its various abstractions, allow us to investigate the limits of classical systems and offer a touchstone between quantum and classical dynamics. In this work, we present a general result that bridges Bohmian mechanics with this classical pilot-wave theory. Namely, Darrow and Bush (2024) recently introduced a Lagrangian pilot-wave framework to study quantum-like behaviours in classical systems; with a particular choice of particle-wave coupling, they recover key dynamics hypothesised in de Broglie's early "double-solution" theory. We here show that, with a different choice of coupling, their de Broglie-like system reduces exactly to single-particle Bohmian mechanics in the non-relativistic limit. Finally, we present an application of the present work in developing an analogue for position measurement in a de Broglie-like setting.

quant-ph

Learning signatures of decision making from many individuals playing the same game

Human behavior is incredibly complex and the factors that drive decision making--from instinct, to strategy, to biases between individuals--often vary over multiple timescales. In this paper, we design a predictive framework that learns representations to encode an individual's 'behavioral style', i.e. long-term behavioral trends, while simultaneously predicting future actions and choices. The model explicitly separates representations into three latent spaces: the recent past space, the short-term space, and the long-term space where we hope to capture individual differences. To simultaneously extract both global and local variables from complex human behavior, our method combines a multi-scale temporal convolutional network with latent prediction tasks, where we encourage embeddings across the entire sequence, as well as subsets of the sequence, to be mapped to similar points in the latent space. We develop and apply our method to a large-scale behavioral dataset from 1,000 humans playing a 3-armed bandit task, and analyze what our model's resulting embeddings reveal about the human decision making process. In addition to predicting future choices, we show that our model can learn rich representations of human behavior over multiple timescales and provide signatures of differences in individuals.

cs.LG

A Quasi-Optimal Spectral Solver for the Heat and Poisson Equations in a Closed Cylinder

We develop a spectral method to solve the heat equation in a closed cylinder, achieving a quasi-optimal $\mathcal{O}(N\log N)$ complexity and high-order, spectral accuracy. The algorithm relies on a Chebyshev--Chebyshev--Fourier (CCF) discretization of the cylinder, which is easily implemented and decouples the heat equation into a collection of smaller, sparse Sylvester equations. In turn, each of these equations is solved using the alternating direction implicit (ADI) method in quasi-optimal time; overall, this represents an improvement in the heat equation solver from $\mathcal{O}(N^{4/3})$ (in previous Chebyshev-based methods) to $\mathcal{O}(N\log N)$. While Legendre-based methods have recently been developed to achieve similar computation times, our Chebyshev discretization allows for far faster coefficient transforms; we demonstrate the application of this by outlining a spectral method to solve the incompressible Navier--Stokes equations in the cylinder in quasi-optimal time. Lastly, we provide numerical simulations of the heat equation, demonstrating significant speed-ups over traditional spectral collocation methods and finite difference methods.

math.NA

Real surreal trajectories in pilot-wave hydrodynamics

In certain instances, the particle paths predicted by Bohmian mechanics are thought to be at odds with classical intuition. A striking illustration arises in the interference experiments envisaged by Englert, Scully, S\"ussmann and Walther, which lead the authors to claim that the Bohmian trajectories can not be real and so must be `surreal'. Through a combined experimental and numerical study, we here demonstrate that individual trajectories in the hydrodynamic pilot-wave system exhibit the key features of their surreal Bohmian counterparts. These real surreal classical trajectories are rationalized in terms of the system's non-Markovian pilot-wave dynamics. Our study thus makes clear that the designation of Bohmian trajectories as surreal is based on misconceptions concerning the limitations of classical dynamics and a lack of familiarity with pilot-wave hydrodynamics.

quant-ph

Caustics of Lagrangian homotopy spheres with stably trivial Gauss map

For each positive integer $n$, we give a geometric description of the stably trivial elements of the group $\pi_n U_n/O_n$. In particular, we show that all such elements admit representatives whose tangencies with respect to a fixed Lagrangian plane consist only of folds. By the h-principle for the simplification of caustics, this has the following consequence: if a Lagrangian distribution is stably trivial from the viewpoint of a Lagrangian homotopy sphere, then by an ambient Hamiltonian isotopy one may deform the Lagrangian homotopy sphere so that its tangencies with respect to the Lagrangian distribution are only of fold type. Thus the stable triviality of the Lagrangian distribution, which is a necessary condition for the simplification of caustics to be possible, is also sufficient. We give applications of this result to the arborealization program and to the study of nearby Lagrangian homotopy spheres.

math.SG

Scaling Limits of Fluctuations of Extended-Source Internal DLA

In a previous work, we showed that the 2D, extended-source internal DLA (IDLA) of Levine and Peres is $\delta^{3/5}$-close to its scaling limit, if $\delta$ is the lattice size. In this paper, we investigate the scaling limits of the fluctuations themselves. Namely, we show that two naturally defined error functions, which measure the "lateness" of lattice points at one time and at all times, respectively, converge to geometry-dependent Gaussian random fields. We use these results to calculate point-correlation functions associated with the fluctuations of the flow. Along the way, we demonstrate similar $\delta^{3/5}$ bounds on the fluctuations of the related divisible sandpile model of Levine and Peres.

math.PR

A Convergence Rate for Extended-Source Internal DLA in the Plane

Internal DLA (IDLA) is an internal aggregation model in which particles perform random walks from the origin, in turn, and stop upon reaching an unoccupied site. Levine and Peres showed that, when particles start instead from fixed multiple-point distributions, the modified IDLA processes have deterministic scaling limits related to a certain obstacle problem. In this paper, we investigate the convergence rate of this "extended source" IDLA in the plane to its scaling limit. We show that, if $\delta$ is the lattice size, fluctuations of the IDLA occupied set are at most of order $\delta^{3/5}$ from its scaling limit, with probability at least $1-e^{-1/\delta^{2/5}}$.

math.PR