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

SSDB spaces and maximal monotonicity

In this paper, we develop some of the theory of SSD spaces and SSDB spaces, and deduce some results on maximally monotone multifunctions on a reflexive Banach space.Comment: 16 pages. Written version of the talk given at IX ISORA in Lima, Peru, October 200

Localization of gravity and topography: constraints on the tectonics and mantle dynamics of Venus

We develop a method for spatio-spectral localization of harmonic data on a sphere and use it to interpret recent high-resolution global estimates of the gravity and topography of Venus in the context of geodynamical models. Our approach applies equally to the simple spatial windowing of harmonic data and to variable-length-scale analyses, which are analogous to a wavelet transform in the Cartesian domain. Using the variable-length-scale approach, we calculate the localized RMS amplitudes of gravity and topography, as well as the spectral admittance between the two fields, as functions of position and wavelength. The observed admittances over 10 per cent of the surface of Venus (highland plateaus and tessera regions) are consistent with isostatic compensation of topography by variations in crustal thickness, while admittances over the remaining 90 per cent of the surface (rises, plains and lowlands) indicate that long-wavelength topography is dominantly the result of vertical convective tractions at the base of the lithosphere. The global average crustal thickness is less than 30 km, but can reach values as large as 40 km beneath tesserae and highland plateaus. We also note that an Earth-like radial viscosity structure cannot be rejected by the gravity and topography data and that, without a mechanical model of the lithosphere, admittance values cannot constrain the thickness of the thermal boundary layer of Venus. Modelling the lithosphere as a thin elastic plate indicates that at the time of formation of relief in highland plateaus and tesserae, the effective elastic plate thickness, T_e, was less than 20 km. Estimates of T_e at highland rises are consistently less than 30 km. Our inability to find regions with T_e > 30 km is inconsistent with predictions made by a class of catastrophic resurfacing models

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

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

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

Correlations and fluctuations of a confined electron gas

The grand potential $\Omega$ and the response $R = - \partial \Omega /\partial x$ of a phase-coherent confined noninteracting electron gas depend sensitively on chemical potential $\mu$ or external parameter $x$. We compute their autocorrelation as a function of $\mu$, $x$ and temperature. The result is related to the short-time dynamics of the corresponding classical system, implying in general the absence of a universal regime. Chaotic, diffusive and integrable motions are investigated, and illustrated numerically. The autocorrelation of the persistent current of a disordered mesoscopic ring is also computed.Comment: 12 pages, 1 figure, to appear in Phys. Rev.

Z2SAL: a translation-based model checker for Z

Despite being widely known and accepted in industry, the Z formal specification language has not so far been well supported by automated verification tools, mostly because of the challenges in handling the abstraction of the language. In this paper we discuss a novel approach to building a model-checker for Z, which involves implementing a translation from Z into SAL, the input language for the Symbolic Analysis Laboratory, a toolset which includes a number of model-checkers and a simulator. The Z2SAL translation deals with a number of important issues, including: mapping unbounded, abstract specifications into bounded, finite models amenable to a BDD-based symbolic checker; converting a non-constructive and piecemeal style of functional specification into a deterministic, automaton-based style of specification; and supporting the rich set-based vocabulary of the Z mathematical toolkit. This paper discusses progress made towards implementing as complete and faithful a translation as possible, while highlighting certain assumptions, respecting certain limitations and making use of available optimisations. The translation is illustrated throughout with examples; and a complete working example is presented, together with performance data

Particle dynamics of a cartoon dune

The spatio-temporal evolution of a downsized model for a desert dune is observed experimentally in a narrow water flow channel. A particle tracking method reveals that the migration speed of the model dune is one order of magnitude smaller than that of individual grains. In particular, the erosion rate consists of comparable contributions from creeping (low energy) and saltating (high energy) particles. The saltation flow rate is slightly larger, whereas the number of saltating particles is one order of magnitude lower than that of the creeping ones. The velocity field of the saltating particles is comparable to the velocity field of the driving fluid. It can be observed that the spatial profile of the shear stress reaches its maximum value upstream of the crest, while its minimum lies at the downstream foot of the dune. The particle tracking method reveals that the deposition of entrained particles occurs primarily in the region between these two extrema of the shear stress. Moreover, it is demonstrated that the initial triangular heap evolves to a steady state with constant mass, shape, velocity, and packing fraction after one turnover time has elapsed. Within that time the mean distance between particles initially in contact reaches a value of approximately one quarter of the dune basis length

A Brownian Motion Model of Parametric Correlations in Ballistic Cavities

A Brownian motion model is proposed to study parametric correlations in the transmission eigenvalues of open ballistic cavities. We find interesting universal properties when the eigenvalues are rescaled at the hard edge of the spectrum. We derive a formula for the power spectrum of the fluctuations of transport observables as a response to an external adiabatic perturbation. Our formula correctly recovers the Lorentzian-squared behaviour obtained by semiclassical approaches for the correlation function of conductance fluctuations.Comment: 19 pages, written in RevTe