Linear LL-positive sets and their polar subspaces

In this paper, we define a Banach SNL space to be a Banach space with a certain kind of linear map from it into its dual, and we develop the theory of linear $L$-positive subsets of Banach SNL spaces with Banach SNL dual spaces. We use this theory to give simplified proofs of some recent results of Bauschke, Borwein, Wang and Yao, and also of the classical Brezis-Browder theorem.Comment: 11 pages. Notational changes since version

Geoid, topography, and convection-driven crustal deformation on Venus

High-resolution Magellan images and altimetry of Venus reveal a wide range of styles and scales of surface deformation that cannot readily be explained within the classical terrestrial plate tectonic paradigm. The high correlation of long-wavelength topography and gravity and the large apparent depths of compensation suggest that Venus lacks an upper-mantle low-viscosity zone. A key difference between Earth and Venus may be the degree of coupling between the convecting mantle and the overlying lithosphere. Mantle flow should then have recognizable signatures in the relationships between surface topography, crustal deformation, and the observed gravity field

Parametric correlations versus fidelity decay: the symmetry breaking case

We derive fidelity decay and parametric energy correlations for random matrix ensembles where time--reversal invariance of the original Hamiltonian is broken by the perturbation. Like in the case of a symmetry conserving perturbation a simple relation between both quantities can be established.Comment: 8 pages, 8 figure

Species Limits and Phylogeography of North American Cricket Frogs (Acris: Hylidae)

Cricket frogs are widely distributed across the eastern United States and two species, the northern cricket frog (Acris crepitans) and the southern cricket frog (A. gryllus) are currently recognized. We generated a phylogenetic hypothesis for Acris using fragments of nuclear and mitochondrial genes in separate and combined phylogenetic analyses. We also used distance methods and fixation indices to evaluate species limits within the genus and the validity of currently recognized subspecies of A. crepitans. The distributions of existing A. crepitans subspecies, defined by morphology and call types, do not match the distributions of evolutionary lineages recovered using our genetic data. We discuss a scenario of call evolution to explain this disparity. We also recovered distinct phylogeographic groups within A. crepitans and A. gryllus that are congruent with other codistributed taxa. Under a lineage-based species concept, we recognize Acris blanchardi as a distinct species. The importance of this revised taxonomy is discussed in light of the dramatic declines in A. blanchardi across the northern and western portions of its range

Dynamics of the BCS-BEC crossover in a degenerate Fermi gas

We study the short-time dynamics of a degenerate Fermi gas positioned near a Feshbach resonance following an abrupt jump in the atomic interaction resulting from a change of external magnetic field. We investigate the dynamics of the condensate order parameter and pair wavefunction for a range of field strengths. When the abrupt jump is sufficient to span the BCS to BEC crossover, we show that the rigidity of the momentum distribution precludes any atom-molecule oscillations in the entrance channel dominated resonances observed in the 40K and 6Li. Focusing on material parameters tailored to the 40K Feshbach resonance system at 202.1 gauss, we comment on the integrity of the fast sweet projection technique as a vehicle to explore the condensed phase in the crossover regionComment: 5 pages, 4 figure

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally

Emergence of stability in a stochastically driven pendulum: beyond the Kapitsa effect

We consider a prototypical nonlinear system which can be stabilized by multiplicative noise: an underdamped non-linear pendulum with a stochastically vibrating pivot. A numerical solution of the pertinent Fokker-Planck equation shows that the upper equilibrium point of the pendulum can become stable even when the noise is white, and the "Kapitsa pendulum" effect is not at work. The stabilization occurs in a strong-noise regime where WKB approximation does not hold.Comment: 4 pages, 7 figure

Geodetic, teleseismic, and strong motion constraints on slip from recent southern Peru subduction zone earthquakes

We use seismic and geodetic data both jointly and separately to constrain coseismic slip from the 12 November 1996 M_w 7.7 and 23 June 2001 M_w 8.5 southern Peru subduction zone earthquakes, as well as two large aftershocks following the 2001 earthquake on 26 June and 7 July 2001. We use all available data in our inversions: GPS, interferometric synthetic aperture radar (InSAR) from the ERS-1, ERS-2, JERS, and RADARSAT-1 satellites, and seismic data from teleseismic and strong motion stations. Our two-dimensional slip models derived from only teleseismic body waves from South American subduction zone earthquakes with M_w > 7.5 do not reliably predict available geodetic data. In particular, we find significant differences in the distribution of slip for the 2001 earthquake from models that use only seismic (teleseismic and two strong motion stations) or geodetic (InSAR and GPS) data. The differences might be related to postseismic deformation or, more likely, the different sensitivities of the teleseismic and geodetic data to coseismic rupture properties. The earthquakes studied here follow the pattern of earthquake directivity along the coast of western South America, north of 5°S, earthquakes rupture to the north; south of about 12°S, directivity is southerly; and in between, earthquakes are bilateral. The predicted deformation at the Arequipa GPS station from the seismic-only slip model for the 7 July 2001 aftershock is not consistent with significant preseismic motion