Influence of realistic parameters on state-of-the-art LWFA experiments

We examine the influence of non-ideal plasma-density and non-Gaussian transverse laser-intensity profiles in the laser wakefield accelerator analytically and numerically. We find that the characteristic amplitude and scale length of longitudinal density fluctuations impacts on the final energies achieved by electron bunches. Conditions that minimize the role of the longitudinal plasma density fluctuations are found. The influence of higher order Laguerre-Gaussian laser pulses is also investigated. We find that higher order laser modes typically lead to lower energy gains. Certain combinations of higher order modes may, however, lead to higher electron energy gains.Comment: 16 pages, 6 figures; Accepted for publication in Plasma Physics and Controlled Fusio

Spanning Trees on Graphs and Lattices in d Dimensions

The problem of enumerating spanning trees on graphs and lattices is considered. We obtain bounds on the number of spanning trees $N_{ST}$ and establish inequalities relating the numbers of spanning trees of different graphs or lattices. A general formulation is presented for the enumeration of spanning trees on lattices in $d\geq 2$ dimensions, and is applied to the hypercubic, body-centered cubic, face-centered cubic, and specific planar lattices including the kagom\'e, diced, 4-8-8 (bathroom-tile), Union Jack, and 3-12-12 lattices. This leads to closed-form expressions for $N_{ST}$ for these lattices of finite sizes. We prove a theorem concerning the classes of graphs and lattices ${\cal L}$ with the property that $N_{ST} \sim \exp(nz_{\cal L})$ as the number of vertices $n \to \infty$, where $z_{\cal L}$ is a finite nonzero constant. This includes the bulk limit of lattices in any spatial dimension, and also sections of lattices whose lengths in some dimensions go to infinity while others are finite. We evaluate $z_{\cal L}$ exactly for the lattices we considered, and discuss the dependence of $z_{\cal L}$ on d and the lattice coordination number. We also establish a relation connecting $z_{\cal L}$ to the free energy of the critical Ising model for planar lattices ${\cal L}$.Comment: 28 pages, latex, 1 postscript figure, J. Phys. A, in pres

Spanning trees on the Sierpinski gasket

We obtain the numbers of spanning trees on the Sierpinski gasket $SG_d(n)$ with dimension $d$ equal to two, three and four. The general expression for the number of spanning trees on $SG_d(n)$ with arbitrary $d$ is conjectured. The numbers of spanning trees on the generalized Sierpinski gasket $SG_{d,b}(n)$ with $d=2$ and $b=3,4$ are also obtained.Comment: 20 pages, 8 figures, 1 tabl

Angular Dependences of Third Harmonic Generation from Microdroplets

We present experimental and theoretical results for the angular dependence of third harmonic generation (THG) of water droplets in the micrometer range (size parameter $62<ka<248$). The THG signal in $p$- and $s$-polarization obtained with ultrashort laser pulses is compared with a recently developed nonlinear extension of classical Mie theory including multipoles of order $l\leq250$. Both theory and experiment yield over a wide range of size parameters remarkably stable intensity maxima close to the forward and backward direction at ``magic angles''. In contrast to linear Mie scattering, both are of comparable intensity.Comment: 4 pages, RevTeX, 3 figures available on request from [email protected], submitted to PR

Uniform tiling with electrical resistors

The electric resistance between two arbitrary nodes on any infinite lattice structure of resistors that is a periodic tiling of space is obtained. Our general approach is based on the lattice Green's function of the Laplacian matrix associated with the network. We present several non-trivial examples to show how efficient our method is. Deriving explicit resistance formulas it is shown that the Kagom\'e, the diced and the decorated lattice can be mapped to the triangular and square lattice of resistors. Our work can be extended to the random walk problem or to electron dynamics in condensed matter physics.Comment: 22 pages, 14 figure

Chaotic Waveguide-Based Resonators for Microlasers

We propose the construction of highly directional emission microlasers using two-dimensional high-index semiconductor waveguides as {\it open} resonators. The prototype waveguide is formed by two collinear leads connected to a cavity of certain shape. The proposed lasing mechanism requires that the shape of the cavity yield mixed chaotic ray dynamics so as to have the appropiate (phase space) resonance islands. These islands allow, via Heisenberg's uncertainty principle, the appearance of quasi bound states (QBS) which, in turn, propitiate the lasing mechanism. The energy values of the QBS are found through the solution of the Helmholtz equation. We use classical ray dynamics to predict the direction and intensity of the lasing produced by such open resonators for typical values of the index of refraction.Comment: 5 pages, 5 figure

Effects of anharmonic strain on phase stability of epitaxial films and superlattices: applications to noble metals

Epitaxial strain energies of epitaxial films and bulk superlattices are studied via first-principles total energy calculations using the local-density approximation. Anharmonic effects due to large lattice mismatch, beyond the reach of the harmonic elasticity theory, are found to be very important in Cu/Au (lattice mismatch 12%), Cu/Ag (12%) and Ni/Au (15%). We find that is the elastically soft direction for biaxial expansion of Cu and Ni, but it is for large biaxial compression of Cu, Ag, and Au. The stability of superlattices is discussed in terms of the coherency strain and interfacial energies. We find that in phase-separating systems such as Cu-Ag the superlattice formation energies decrease with superlattice period, and the interfacial energy is positive. Superlattices are formed easiest on (001) and hardest on (111) substrates. For ordering systems, such as Cu-Au and Ag-Au, the formation energy of superlattices increases with period, and interfacial energies are negative. These superlattices are formed easiest on (001) or (110) and hardest on (111) substrates. For Ni-Au we find a hybrid behavior: superlattices along and like in phase-separating systems, while for they behave like in ordering systems. Finally, recent experimental results on epitaxial stabilization of disordered Ni-Au and Cu-Ag alloys, immiscible in the bulk form, are explained in terms of destabilization of the phase separated state due to lattice mismatch between the substrate and constituents.Comment: RevTeX galley format, 16 pages, includes 9 EPS figures, to appear in Physical Review

Escherichia coli induces apoptosis and proliferation of mammary cells

Mammary cell apoptosis and proliferation were assessed after injection of Escherichia coli into the left mammary quarters of six cows. Bacteriological analysis of foremilk samples revealed coliform infection in the injected quarters of four cows. Milk somatic cell counts increased in these quarters and peaked at 24 h after bacterial injection. Body temperature also increased, peaking at 12 h postinjection, The number of apoptotic cells was significantly higher in the mastitic tissue than in the uninfected control. Expression of Bax and interleukin-1 beta converting enzyme increased in the mastitic tissue at 24 h and 72 h postinfection, whereas Bcl-2 expression decreased at 24 h but did not differ significantly from the control at 72 h postinfection, Induction of matrix metalloproteinase-g, stromelysin-1 and urokinase-type plasminogen activator was also observed in the mastitic tissue. Moreover, cell proliferation increased in the infected tissue, These results demonstrate that Escherichia coli-induced mastitis promotes apoptosis and cell proliferation

Learning deterministic probabilistic automata from a model checking perspective

Probabilistic automata models play an important role in the formal design and analysis of hard- and software systems. In this area of applications, one is often interested in formal model-checking procedures for verifying critical system properties. Since adequate system models are often difficult to design manually, we are interested in learning models from observed system behaviors. To this end we adopt techniques for learning finite probabilistic automata, notably the Alergia algorithm. In this paper we show how to extend the basic algorithm to also learn automata models for both reactive and timed systems. A key question of our investigation is to what extent one can expect a learned model to be a good approximation for the kind of probabilistic properties one wants to verify by model checking. We establish theoretical convergence properties for the learning algorithm as well as for probability estimates of system properties expressed in linear time temporal logic and linear continuous stochastic logic. We empirically compare the learning algorithm with statistical model checking and demonstrate the feasibility of the approach for practical system verification