High impact pressure regulator withstands impacts of over 15,000 g

High impact pressure regulator used with a high impact gas scannograph withstands impacts of over 15,000 g. By the passage of fluid through the first and second chambers of the regulator, the pressure of the scannograph is regulated from a specific input valve to the desired output pressure valve

The Equivalence Postulate of Quantum Mechanics

The Equivalence Principle (EP), stating that all physical systems are connected by a coordinate transformation to the free one with vanishing energy, univocally leads to the Quantum Stationary HJ Equation (QSHJE). Trajectories depend on the Planck length through hidden variables which arise as initial conditions. The formulation has manifest p-q duality, a consequence of the involutive nature of the Legendre transform and of its recently observed relation with second-order linear differential equations. This reflects in an intrinsic psi^D-psi duality between linearly independent solutions of the Schroedinger equation. Unlike Bohm's theory, there is a non-trivial action even for bound states. No use of any axiomatic interpretation of the wave-function is made. Tunnelling is a direct consequence of the quantum potential which differs from the usual one and plays the role of particle's self-energy. The QSHJE is defined only if the ratio psi^D/psi is a local self-homeomorphism of the extended real line. This is an important feature as the L^2 condition, which in the usual formulation is a consequence of the axiomatic interpretation of the wave-function, directly follows as a basic theorem which only uses the geometrical gluing conditions of psi^D/psi at q=\pm\infty as implied by the EP. As a result, the EP itself implies a dynamical equation that does not require any further assumption and reproduces both tunnelling and energy quantization. Several features of the formulation show how the Copenhagen interpretation hides the underlying nature of QM. Finally, the non-stationary higher dimensional quantum HJ equation and the relativistic extension are derived.Comment: 1+3+140 pages, LaTeX. Invariance of the wave-function under the action of SL(2,R) subgroups acting on the reduced action explicitly reveals that the wave-function describes only equivalence classes of Planck length deterministic physics. New derivation of the Schwarzian derivative from the cocycle condition. "Legendre brackets" introduced to further make "Legendre duality" manifest. Introduction now contains examples and provides a short pedagogical review. Clarifications, conclusions, ackn. and references adde

Control Plane Compression

We develop an algorithm capable of compressing large networks into a smaller ones with similar control plane behavior: For every stable routing solution in the large, original network, there exists a corresponding solution in the compressed network, and vice versa. Our compression algorithm preserves a wide variety of network properties including reachability, loop freedom, and path length. Consequently, operators may speed up network analysis, based on simulation, emulation, or verification, by analyzing only the compressed network. Our approach is based on a new theory of control plane equivalence. We implement these ideas in a tool called Bonsai and apply it to real and synthetic networks. Bonsai can shrink real networks by over a factor of 5 and speed up analysis by several orders of magnitude.Comment: Extended version of the paper appearing in ACM SIGCOMM 201

Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof

In recent work, we formalized the theory of optimal-size sorting networks with the goal of extracting a verified checker for the large-scale computer-generated proof that 25 comparisons are optimal when sorting 9 inputs, which required more than a decade of CPU time and produced 27 GB of proof witnesses. The checker uses an untrusted oracle based on these witnesses and is able to verify the smaller case of 8 inputs within a couple of days, but it did not scale to the full proof for 9 inputs. In this paper, we describe several non-trivial optimizations of the algorithm in the checker, obtained by appropriately changing the formalization and capitalizing on the symbiosis with an adequate implementation of the oracle. We provide experimental evidence of orders of magnitude improvements to both runtime and memory footprint for 8 inputs, and actually manage to check the full proof for 9 inputs.Comment: IMADA-preprint-c

Dvoretzky type theorems for multivariate polynomials and sections of convex bodies

In this paper we prove the Gromov--Milman conjecture (the Dvoretzky type theorem) for homogeneous polynomials on $\mathbb R^n$, and improve bounds on the number $n(d,k)$ in the analogous conjecture for odd degrees $d$ (this case is known as the Birch theorem) and complex polynomials. We also consider a stronger conjecture on the homogeneous polynomial fields in the canonical bundle over real and complex Grassmannians. This conjecture is much stronger and false in general, but it is proved in the cases of $d=2$ (for $k$'s of certain type), odd $d$, and the complex Grassmannian (for odd and even $d$ and any $k$). Corollaries for the John ellipsoid of projections or sections of a convex body are deduced from the case $d=2$ of the polynomial field conjecture

Neisseria oralis sp. nov., isolated from healthy gingival plaque and clinical samples

A polyphasic analysis was undertaken of seven independent isolates of Gram-negative cocci collected from pathological clinical samples from New York, Louisiana, Florida and Illinois and healthy subgingival plaque from a patient in Virginia, USA. The 16S rRNA gene sequence similarity among these isolates was 99.7–100 %, and the closest species with a validly published name was Neisseria lactamica (96.9 % similarity to the type strain). DNA–DNA hybridization confirmed that these isolates are of the same species and are distinct from their nearest phylogenetic neighbour, N. lactamica. Phylogenetic analysis of 16S and 23S rRNA gene sequences indicated that the novel species belongs in the genus Neisseria. The predominant cellular fatty acids were C16 : 0, summed feature 3 (C16 : 1ω7c and/or iso-C15 : 0 2-OH) and C18 : 1ω7c. The cellular fatty acid profile, together with other phenotypic characters, further supports the inclusion of the novel species in the genus Neisseria. The name Neisseria oralis sp. nov. (type strain 6332T = DSM 25276T = LMG 26725T) is proposed

Book Reviews

Cases on Quasi Contract, by Edward S. Thurston. American Case Book Series. St. Paul: West Publishing Co., I916; pp. 622