Faster Algorithms for Weighted Recursive State Machines

Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b) specify many natural parameters for algorithmic analysis, e.g., the number of entries and exits. We consider a general framework where RSM transitions are labeled from a semiring and path properties are algebraic with semiring operations, which can model, e.g., interprocedural reachability and dataflow analysis problems. Our main contributions are new algorithms for several fundamental problems. As compared to a direct translation of RSMs to PDSs and the best-known existing bounds of PDSs, our analysis algorithm improves the complexity for finite-height semirings (that subsumes reachability and standard dataflow properties). We further consider the problem of extracting distance values from the representation structures computed by our algorithm, and give efficient algorithms that distinguish the complexity of a one-time preprocessing from the complexity of each individual query. Another advantage of our algorithm is that our improvements carry over to the concurrent setting, where we improve the best-known complexity for the context-bounded analysis of concurrent RSMs. Finally, we provide a prototype implementation that gives a significant speed-up on several benchmarks from the SLAM/SDV project

Helicobacter hepaticus infection in mice: models for understanding lower bowel inflammation and cancer

Pioneering work in the 1990s first linked a novel microaerobic bacterium, Helicobacter hepaticus, with chronic active hepatitis and inflammatory bowel disease in several murine models. Targeted H. hepaticus infection experiments subsequently demonstrated its ability to induce colitis, colorectal cancer, and extraintestinal diseases in a number of mouse strains with defects in immune function and/or regulation. H. hepaticus is now widely utilized as a model system to dissect how intestinal microbiota interact with the host to produce both inflammatory and tolerogenic responses. This model has been used to make important advances in understanding factors that regulate both acquired and innate immune response within the intestine. Further, it has been an effective tool to help define the function of regulatory T cells, including their ability to directly inhibit the innate inflammatory response to gut microbiota. The complete genomic sequence of H. hepaticus has advanced the identification of several virulence factors and aided in the elucidation of H. hepaticus pathogenesis. Delineating targets of H. hepaticus virulence factors could facilitate novel approaches to treating microbially induced lower bowel inflammatory diseases.National Institutes of Health (U.S.) (grant R01-DK052413)National Institutes of Health (U.S.) (grant P01-CA026731)National Institutes of Health (U.S.) (grant R01-CA067529)National Institutes of Health (U.S.) (grant P30-ES02109)National Institutes of Health (U.S.) (grant R01-A1052267)National Institutes of Health (U.S.) (grantR01-CA108854

Controlling Effect of Geometrically Defined Local Structural Changes on Chaotic Hamiltonian Systems

An effective characterization of chaotic conservative Hamiltonian systems in terms of the curvature associated with a Riemannian metric tensor derived from the structure of the Hamiltonian has been extended to a wide class of potential models of standard form through definition of a conformal metric. The geodesic equations reproduce the Hamilton equations of the original potential model through an inverse map in the tangent space. The second covariant derivative of the geodesic deviation in this space generates a dynamical curvature, resulting in (energy dependent) criteria for unstable behavior different from the usual Lyapunov criteria. We show here that this criterion can be constructively used to modify locally the potential of a chaotic Hamiltonian model in such a way that stable motion is achieved. Since our criterion for instability is local in coordinate space, these results provide a new and minimal method for achieving control of a chaotic system

Lower hybrid turbulence and ponderomotive force effects in space plasmas subjected to large‐amplitude low‐frequency waves

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/95445/1/grl9158.pd

Diffeomorphism algebra of two dimensional free massless scalar field with signature change

We study a model of free massless scalar fields on a two dimensional cylinder with metric that admits a change of signature between Lorentzian and Euclidean type (ET), across the two timelike hypersurfaces (with respect to Lorentzian region). Considering a long strip-shaped region of the cylinder, denoted by an angle \theta, as the signature changed region it is shown that the energy spectrum depends on the angle \theta and in a sense differs from ordinary one for low energies. Morever diffeomorphism algebra of corresponding infinite conserved charges is different from '' Virasoro'' algebra and approaches to it at higher energies. The central term is also modified but does not approach to the ordinary one at higher energies.Comment: 18 pages, Latex, 2 ps figure

Quarks in the Skyrme-'t Hooft-Witten Model

The three-flavor Skyrme-'t Hooft-Witten model is interpreted in terms of a quark-like substructure, leading to a new model of explicitly confined color-free ``quarks'' reminiscent of Gell-Mann's original pre-color quarks, but with unexpected and significant differences.Comment: Latex, 6 pages, no figure

Lower Hybrid Oscillations in Multicomponent Space Plasmas Subjected to Ion Cyclotron Waves

It is found that in multicomponent plasmas subjected to Alfven or fast magnetosonic waves, such as are observed in regions of the outer plasmasphere and ring current-plasmapause overlap, lower hybrid oscillations are generated. The addition of a minor heavy ion component to a proton-electron plasma significantly lowers the low-frequency electric wave amplitude needed for lower hybrid wave excitation. It is found that the lower hybrid wave energy density level is determined by the nonlinear process of induced scattering by ions and electrons; hydrogen ions in the region of resonant velocities are accelerated; and nonresonant particles are weakly heated due to the induced scattering. For a given example, the light resonant ions have an energy gain factor of 20, leading to the development of a high-energy tail in the H(+) distribution function due to low-frequency waves

Linked Cluster Expansion Around Mean-Field Theories of Interacting Electrons

A general expansion scheme based on the concept of linked cluster expansion from the theory of classical spin systems is constructed for models of interacting electrons. It is shown that with a suitable variational formulation of mean-field theories at weak (Hartree-Fock) and strong (Hubbard-III) coupling the expansion represents a universal and comprehensive tool for systematic improvements of static mean-field theories. As an example of the general formalism we investigate in detail an analytically tractable series of ring diagrams that correctly capture dynamical fluctuations at weak coupling. We introduce renormalizations of the diagrammatic expansion at various levels and show how the resultant theories are related to other approximations of similar origin. We demonstrate that only fully self-consistent approximations produce global and thermodynamically consistent extensions of static mean field theories. A fully self-consistent theory for the ring diagrams is reached by summing the so-called noncrossing diagrams.Comment: 17 pages, REVTEX, 13 uuencoded postscript figures in 2 separate file

Statistical Mechanics of the Self-gravitating gas with two or more kinds of Particles

We study the statistical mechanics of the self-gravitating gas at thermal equilibrium with two kinds of particles. We start from the partition function in the canonical ensemble which we express as a functional integral over the densities of the two kinds of particles for a large number of particles. The system is shown to possess an infinite volume limit when (N_1,N_2,V)->infty, keeping N_1/V^{1/3} and N_2/V^{1/3} fixed. The saddle point approximation becomes here exact for (N_1,N_2,V)->infty.It provides a nonlinear differential equation on the particle densities. For the spherically symmetric case, we compute the densities as functions of two dimensionless physical parameters: eta_1=G m_1^2 N_1/[V^{1/3} T] and eta_2=G m_2^2 N_2/[V^{1/3} T] (where G is Newton's constant, m_1 and m_2 the masses of the two kinds of particles and T the temperature). According to the values of eta_1 and eta_2 the system can be either in a gaseous phase or in a highly condensed phase.The gaseous phase is stable for eta_1 and eta_2 between the origin and their collapse values. The gas is inhomogeneous and the mass M(R) inside a sphere of radius R scales with R as M(R) propto R^d suggesting a fractal structure. The value of d depends in general on eta_1 and eta_2 except on the critical line for the canonical ensem- ble where it takes the universal value d simeq 1.6 for all values of N_1/N_2. The equation of state is computed.It is found to be locally a perfect gas equation of state. Thermodynamic functions are computed as functions of eta_1 and eta_2. They exhibit a square root Riemann sheet with the branch points on the critical canonical line. This treatment is further generalized to the self-gravitating gas with n-types of particles.Comment: LaTex, 29 pages, 11 .ps figures, expanded version to appear in Phys. Rev.