TeV Neutrinos in a dense medium

The dispersion relation of energetic (few TeV) neutrinos traversing a medium is studied. We use the real time formalism of thermal field theory and we include the effects from the propagator of the W gauge boson. We consider then the MSW oscillations for cosmic neutrinos traversing the Earth, adopting for the neutrino parameters values suggested by the LSND results. It is found that the $\nu_\mu$ flux, for neutrinos passing through the center of the Earth, will appear reduced by 15% for energies around 10 TeV.Comment: 12 pages, latex, 2 figure

Metastable Markov chains: from the convergence of the trace to the convergence of the finite-dimensional distributions

We consider continuous-time Markov chains which display a family of wells at the same depth. We provide sufficient conditions which entail the convergence of the finite-dimensional distributions of the order parameter to the ones of a finite state Markov chain. We also show that the state of the process can be represented as a time-dependent convex combination of metastable states, each of which is supported on one well

Real Time Correlators in Hot (2+1)d QCD

We use dimensional reduction techniques to relate real time finite T correlation functions in (2+1) dimensional QCD to bound state parameters in a generalized 't Hooft model with an infinite number of heavy quark and adjoint scalar fields. While static susceptibilities and correlation functions of the DeTar type can be calculated using only the light (static) gluonic modes, the dynamical correlators require the inclusion of the heavy modes. In particular we demonstrate that the leading T perturbative result can be understood in terms of the bound states of the 2d model and that consistency requires bound state trajectories composed of both quarks and adjoint scalars. We also propose a non-perturbative expression for the dynamical DeTar correlators at small spatial momenta.Comment: 21 pages, Latex, uses axodra

Edge Theories for Polarized Quantum Hall States

Starting from recently proposed bosonic mean field theories for fully and partially polarized quantum Hall states, we construct corresponding effective low energy theories for the edge modes. The requirements of gauge symmetry and invariance under global O(3) spin rotations, broken only by a Zeeman coupling, imply boundary conditions that allow for edge spin waves. In the generic case, these modes are chiral, and the spin stiffness differs from that in the bulk. For the case of a fully polarized $\nu=1$ state, our results agree with previous Hartree-Fock calculations.Comment: 15 pages (number of pages has been reduced by typesetting in RevTeX); 2 references adde

Jain States in a Matrix Theory of the Quantum Hall Effect

The U(N) Maxwell-Chern-Simons matrix gauge theory is proposed as an extension of Susskind's noncommutative approach. The theory describes D0-branes, nonrelativistic particles with matrix coordinates and gauge symmetry, that realize a matrix generalization of the quantum Hall effect. Matrix ground states obtained by suitable projections of higher Landau levels are found to be in one-to-one correspondence with the expected Laughlin and Jain hierarchical states. The Jain composite-fermion construction follows by gauge invariance via the Gauss law constraint. In the limit of commuting, ``normal'' matrices the theory reduces to eigenvalue coordinates that describe realistic electrons with Calogero interaction. The Maxwell-Chern-Simons matrix theory improves earlier noncommutative approaches and could provide another effective theory of the fractional Hall effect.Comment: 35 pages, 3 figure

Two-vibron bound states in alpha-helix proteins : the interplay between the intramolecular anharmonicity and the strong vibron-phonon coupling

The influence of the intramolecular anharmonicity and the strong vibron-phonon coupling on the two-vibron dynamics in an $\alpha$-helix protein is studied within a modified Davydov model. The intramolecular anharmonicity of each amide-I vibration is considered and the vibron dynamics is described according to the small polaron approach. A unitary transformation is performed to remove the intramolecular anharmonicity and a modified Lang-Firsov transformation is applied to renormalize the vibron-phonon interaction. Then, a mean field procedure is realized to obtain the dressed anharmonic vibron Hamiltonian. It is shown that the anharmonicity modifies the vibron-phonon interaction which results in an enhancement of the dressing effect. In addition, both the anharmonicity and the dressing favor the occurrence of two different bound states which the properties strongly depend on the interplay between the anharmonicity and the dressing. Such a dependence was summarized in a phase diagram which characterizes the number and the nature of the bound states as a function of the relevant parameters of the problem. For a significant anharmonicity, the low frequency bound states describe two vibrons trapped onto the same amide-I vibration whereas the high frequency bound states refer to the trapping of the two vibrons onto nearest neighbor amide-I vibrations.Comment: may 2003 submitted to Phys. Rev.

Discrete-time rewards model-checked

This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with reward constraints. This allows to formulate complex measures – involving expected as well as accumulated rewards – in a precise and succinct way. Algorithms to efficiently analyze such formulae are introduced. The approach is illustrated by model-checking a probabilistic cost model of the IPv4 zeroconf protocol for distributed address assignment in ad-hoc networks

A model checking approach to the parameter estimation of biochemical pathways

Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed ‘acceptable’. In this work we use model checking in a new setting; parameter estimation. We characterise the desired behaviour of a model in a temporal logic property and alter the model to make it conform to the property (determined through model checking). We have implemented a computational system called MC2(GA) which pairs a model checker with a genetic algorithm. To drive parameter estimation, the fitness of set of parameters in a model is the inverse of the distance between its actual behaviour and the desired behaviour. The model checker used is the simulation-based Monte Carlo Model Checker for Probabilistic Linear-time Temporal Logic with numerical constraints, MC2(PLTLc). Numerical constraints as well as the overall probability of the behaviour expressed in temporal logic are used to minimise the behavioural distance. We define the theory underlying our parameter estimation approach in both the stochastic and continuous worlds. We apply our approach to biochemical systems and present an illustrative example where we estimate the kinetic rate constants in a continuous model of a signalling pathway

Matrix Model Description of Laughlin Hall States

We analyze Susskind's proposal of applying the non-commutative Chern-Simons theory to the quantum Hall effect. We study the corresponding regularized matrix Chern-Simons theory introduced by Polychronakos. We use holomorphic quantization and perform a change of matrix variables that solves the Gauss law constraint. The remaining physical degrees of freedom are the complex eigenvalues that can be interpreted as the coordinates of electrons in the lowest Landau level with Laughlin's wave function. At the same time, a statistical interaction is generated among the electrons that is necessary to stabilize the ground state. The stability conditions can be expressed as the highest-weight conditions for the representations of the W-infinity algebra in the matrix theory. This symmetry provides a coordinate-independent characterization of the incompressible quantum Hall states.Comment: 31 pages, large additions on the path integral and overlaps, and on the W-infinity symmetr