Insecurity for compact surfaces of positive genus

A pair of points in a riemannian manifold $M$ is secure if the geodesics between the points can be blocked by a finite number of point obstacles; otherwise the pair of points is insecure. A manifold is secure if all pairs of points in $M$ are secure. A manifold is insecure if there exists an insecure point pair, and totally insecure if all point pairs are insecure. Compact, flat manifolds are secure. A standing conjecture says that these are the only secure, compact riemannian manifolds. We prove this for surfaces of genus greater than zero. We also prove that a closed surface of genus greater than one with any riemannian metric and a closed surface of genus one with generic metric are totally insecure.Comment: 37 pages, 11 figure

Aerodynamic and acoustic behavior of a YF-12 inlet at static conditions

An aeroacoustic test program to determine the cause of YF-12 inlet noise suppression was performed with a YF-12 aircraft at ground static conditions. Data obtained over a wide range of engine speeds and inlet configurations are reported. Acoustic measurements were made in the far field and aerodynamic and acoustic measurements were made inside the inlet. The J-58 test engine was removed from the aircraft and tested separately with a bellmouth inlet. The far field noise level was significantly lower for the YF-12 inlet than for the bellmouth inlet at engine speeds above 5500 rpm. There was no evidence that noise suppression was caused by flow choking. Multiple pure tones were reduced and the spectral peak near the blade passing frequency disappeared in the region of the spike support struts at engine speeds between 6000 and 6600 rpm

Convex domains of Finsler and Riemannian manifolds

A detailed study of the notions of convexity for a hypersurface in a Finsler manifold is carried out. In particular, the infinitesimal and local notions of convexity are shown to be equivalent. Our approach differs from Bishop's one in his classical result (Bishop, Indiana Univ Math J 24:169-172, 1974) for the Riemannian case. Ours not only can be extended to the Finsler setting but it also reduces the typical requirements of differentiability for the metric and it yields consequences on the multiplicity of connecting geodesics in the convex domain defined by the hypersurface.Comment: 22 pages, AMSLaTex. Typos corrected, references update

Magnetoplasmon excitations in an array of periodically modulated quantum wires

Motivated by the recent experiment of Hochgraefe et al., we have investigated the magnetoplasmon excitations in a periodic array of quantum wires with a periodic modulation along the wire direction. The equilibrium and dynamic properties of the system are treated self-consistently within the Thomas-Fermi-Dirac-von Weizsaecker approximation. A calculation of the dynamical response of the system to a far-infrared radiation field reveals a resonant anticrossing between the Kohn mode and a finite-wavevector longitudinal excitation which is induced by the density modulation along the wires. Our theoretical calculations are found to be in excellent agreement with experiment.Comment: 9 pages, 8 figure

On recurrence and ergodicity for geodesic flows on noncompact periodic polygonal surfaces

We study the recurrence and ergodicity for the billiard on noncompact polygonal surfaces with a free, cocompact action of $\Z$ or $\Z^2$. In the $\Z$-periodic case, we establish criteria for recurrence. In the more difficult $\Z^2$-periodic case, we establish some general results. For a particular family of $\Z^2$-periodic polygonal surfaces, known in the physics literature as the wind-tree model, assuming certain restrictions of geometric nature, we obtain the ergodic decomposition of directional billiard dynamics for a dense, countable set of directions. This is a consequence of our results on the ergodicity of \ZZ-valued cocycles over irrational rotations.Comment: 48 pages, 12 figure

Weak KAM for commuting Hamiltonians

For two commuting Tonelli Hamiltonians, we recover the commutation of the Lax-Oleinik semi-groups, a result of Barles and Tourin ([BT01]), using a direct geometrical method (Stoke's theorem). We also obtain a "generalization" of a theorem of Maderna ([Mad02]). More precisely, we prove that if the phase space is the cotangent of a compact manifold then the weak KAM solutions (or viscosity solutions of the critical stationary Hamilton-Jacobi equation) for G and for H are the same. As a corrolary we obtain the equality of the Aubry sets, of the Peierls barrier and of flat parts of Mather's $\alpha$ functions. This is also related to works of Sorrentino ([Sor09]) and Bernard ([Ber07b]).Comment: 23 pages, accepted for publication in NonLinearity (january 29th 2010). Minor corrections, fifth part added on Mather's $\alpha$ function (or effective Hamiltonian

Local boron doping quantification in homoepitaxial diamond structures

The capability of transmission electronmicroscopy (TEM) using the high angle annular dark fieldmode (HAADF,also labelled Z-contrast) to quantify boron concentration, in the high doping range between 1019cm−3 and 1021cm−3, is demonstrated. Thanks to the large relative variation of atomic number Z between carbon and boron, doping concentration maps and profiles are obtained with a nanometer-scale resolution. A novel numerical simulation procedure allows the boron concentration quantification and demonstrates the high sensitivity and spatial resolution of the technique.4 page

ELFbac: Using the Loader Format for Intent-Level Semantics and Fine-Grained Protection

Adversaries get software to do bad things by rewriting memory and changing control flow. Current approaches to protecting against these attacks leave many exposures; for example, OS-level filesystem protection and OS/architecture support of the userspace/kernelspace distinction fail to protect corrupted userspace code from changing userspace data. In this paper we present a new approach: using the ELF/ABI sections already produced by the standard binary toolchain to define, specify, and enforce fine-grained policy within an application\u27s address space. We experimentally show that enforcement of such policies would stop a large body of current attacks and discuss ways we could extend existing architecture to more efficiently provide such enforcement. Our approach is designed to work with existing ELF executables and the GNU build chain, but it can be extended into the compiler toolchains to support code annotations that take advantage of ELFbac enforcement-while maintaining full compatibility with the existing ELF ABI

Sonic Boom Computations for a Mach 1.6 Cruise Low Boom Configuration and Comparisons with Wind Tunnel Data

Accurate analysis of sonic boom pressure signatures using computational fluid dynamics techniques remains quite challenging. Although CFD shows accurate predictions of flow around complex configurations, generating grids that can resolve the sonic boom signature far away from the body is a challenge. The test case chosen for this study corresponds to an experimental wind-tunnel test that was conducted to measure the sonic boom pressure signature of a low boom configuration designed by Gulfstream Aerospace Corporation. Two widely used NASA codes, USM3D and AERO, are examined for their ability to accurately capture sonic boom signature. Numerical simulations are conducted for a free-stream Mach number of 1.6, angle of attack of 0.3 and Reynolds number of 3.85x10(exp 6) based on model reference length. Flow around the low boom configuration in free air and inside the Langley Unitary plan wind tunnel are computed. Results from the numerical simulations are compared with wind tunnel data. The effects of viscous and turbulence modeling along with tunnel walls on the computed sonic boom signature are presented and discussed