The derivation of performance expressions for communication protocols from timed Petri net models

Petri Net models have been extended in a variety of ways and have been used to prove the correctness and evaluate the performance of communication protocols. Several extensions have been proposed to model time. This work uses a form of Timed Petri Nets and presents a technique for symbolically deriving expressions which describe system performance. Unlike past work on performance evaluation of Petri Nets which assumes a priori knowledge of specific time delays, the technique presented here applies to a wide range of time delays so long as the delays satisfy a set of timing constraints. The technique is demonstrated using a simple communication protocol

On the pp-supports of a holonomic D\mathcal{D}-module

For a smooth variety $Y$ over a perfect field of positive characteristic, the sheaf $D_Y$ of crystalline differential operators on $Y$ (also called the sheaf of $PD$-differential operators) is known to be an Azumaya algebra over $T^*_{Y'},$ the cotangent space of the Frobenius twist $Y'$ of $Y.$ Thus to a sheaf of modules $M$ over $D_Y$ one can assign a closed subvariety of $T^*_{Y'},$ called the $p$-support, namely the support of $M$ seen as a sheaf on $T^*_{Y'}.$ We study here the family of $p$-supports assigned to the reductions modulo primes $p$ of a holonomic $\mathcal{D}$-module. We prove that the Azumaya algebra of differential operators splits on the regular locus of the $p$-support and that the $p$-support is a Lagrangian subvariety of the cotangent space, for $p$ large enough. The latter was conjectured by Kontsevich. Our approach also provides a new proof of the involutivity of the singular support of a holonomic $\mathcal{D}$-module, by reduction modulo $p.$Comment: The article has been rewritten with much improved exposition as well as some additional results, e.g. Corollary 6.3.1. This is the final version, accepted for publication in Inventiones Mathematica

Subnanosecond spectral diffusion measurement using photon correlation

Spectral diffusion is a result of random spectral jumps of a narrow line as a result of a fluctuating environment. It is an important issue in spectroscopy, because the observed spectral broadening prevents access to the intrinsic line properties. However, its characteristic parameters provide local information on the environment of a light emitter embedded in a solid matrix, or moving within a fluid, leading to numerous applications in physics and biology. We present a new experimental technique for measuring spectral diffusion based on photon correlations within a spectral line. Autocorrelation on half of the line and cross-correlation between the two halves give a quantitative value of the spectral diffusion time, with a resolution only limited by the correlation set-up. We have measured spectral diffusion of the photoluminescence of a single light emitter with a time resolution of 90 ps, exceeding by four orders of magnitude the best resolution reported to date

Ramification theory for varieties over a local field

We define generalizations of classical invariants of wild ramification for coverings on a variety of arbitrary dimension over a local field. For an l-adic sheaf, we define its Swan class as a 0-cycle class supported on the wild ramification locus. We prove a formula of Riemann-Roch type for the Swan conductor of cohomology together with its relative version, assuming that the local field is of mixed characteristic. We also prove the integrality of the Swan class for curves over a local field as a generalization of the Hasse-Arf theorem. We derive a proof of a conjecture of Serre on the Artin character for a group action with an isolated fixed point on a regular local ring, assuming the dimension is 2.Comment: 159 pages, some corrections are mad

Stringy K-theory and the Chern character

For a finite group G acting on a smooth projective variety X, we construct two new G-equivariant rings: first the stringy K-theory of X, and second the stringy cohomology of X. For a smooth Deligne-Mumford stack Y we also construct a new ring called the full orbifold K-theory of Y. For a global quotient Y=[X/G], the ring of G-invariants of the stringy K-theory of X is a subalgebra of the full orbifold K-theory of the the stack Y and is linearly isomorphic to the ``orbifold K-theory'' of Adem-Ruan (and hence Atiyah-Segal), but carries a different, ``quantum,'' product, which respects the natural group grading. We prove there is a ring isomorphism, the stringy Chern character, from stringy K-theory to stringy cohomology, and a ring homomorphism from full orbifold K-theory to Chen-Ruan orbifold cohomology. These Chern characters satisfy Grothendieck-Riemann-Roch for etale maps. We prove that stringy cohomology is isomorphic to Fantechi and Goettsche's construction. Since our constructions do not use complex curves, stable maps, admissible covers, or moduli spaces, our results simplify the definitions of Fantechi-Goettsche's ring, of Chen-Ruan's orbifold cohomology, and of Abramovich-Graber-Vistoli's orbifold Chow. We conclude by showing that a K-theoretic version of Ruan's Hyper-Kaehler Resolution Conjecture holds for symmetric products. Our results hold both in the algebro-geometric category and in the topological category for equivariant almost complex manifolds.Comment: Exposition improved and additional details provided. To appear in Inventiones Mathematica

Unconventional motional narrowing in the optical spectrum of a semiconductor quantum dot

Motional narrowing refers to the striking phenomenon where the resonance line of a system coupled to a reservoir becomes narrower when increasing the reservoir fluctuation. A textbook example is found in nuclear magnetic resonance, where the fluctuating local magnetic fields created by randomly oriented nuclear spins are averaged when the motion of the nuclei is thermally activated. The existence of a motional narrowing effect in the optical response of semiconductor quantum dots remains so far unexplored. This effect may be important in this instance since the decoherence dynamics is a central issue for the implementation of quantum information processing based on quantum dots. Here we report on the experimental evidence of motional narrowing in the optical spectrum of a semiconductor quantum dot broadened by the spectral diffusion phenomenon. Surprisingly, motional narrowing is achieved when decreasing incident power or temperature, in contrast with the standard phenomenology observed for nuclear magnetic resonance

Enhanced sequential carrier capture into individual quantum dots and quantum posts controlled by surface acoustic waves

Individual self-assembled Quantum Dots and Quantum Posts are studied under the influence of a surface acoustic wave. In optical experiments we observe an acoustically induced switching of the occupancy of the nanostructures along with an overall increase of the emission intensity. For Quantum Posts, switching occurs continuously from predominantely charged excitons (dissimilar number of electrons and holes) to neutral excitons (same number of electrons and holes) and is independent on whether the surface acoustic wave amplitude is increased or decreased. For quantum dots, switching is non-monotonic and shows a pronounced hysteresis on the amplitude sweep direction. Moreover, emission of positively charged and neutral excitons is observed at high surface acoustic wave amplitudes. These findings are explained by carrier trapping and localization in the thin and disordered two-dimensional wetting layer on top of which Quantum Dots nucleate. This limitation can be overcome for Quantum Posts where acoustically induced charge transport is highly efficient in a wide lateral Matrix-Quantum Well.Comment: 11 pages, 5 figure

Tomosyn inhibits synaptic vesicle priming in Caenorhabditis elegans

Caenorhabditis elegans TOM-1 is orthologous to vertebrate tomosyn, a cytosolic syntaxin-binding protein implicated in the modulation of both constitutive and regulated exocytosis. To investigate how TOM-1 regulates exocytosis of synaptic vesicles in vivo, we analyzed C. elegans tom-1 mutants. Our electrophysiological analysis indicates that evoked postsynaptic responses at tom-1 mutant synapses are prolonged leading to a two-fold increase in total charge transfer. The enhanced response in tom-1 mutants is not associated with any detectable changes in postsynaptic response kinetics, neuronal outgrowth, or synaptogenesis. However, at the ultrastructural level, we observe a concomitant increase in the number of plasma membrane-contacting vesicles in tom-1 mutant synapses, a phenotype reversed by neuronal expression of TOM-1. Priming defective unc-13 mutants show a dramatic reduction in plasma membrane-contacting vesicles, suggesting these vesicles largely represent the primed vesicle pool at the C. elegans neuromuscular junction. Consistent with this conclusion, hyperosmotic responses in tom-1 mutants are enhanced, indicating the primed vesicle pool is enhanced. Furthermore, the synaptic defects of unc-13 mutants are partially suppressed in tom-1 unc-13 double mutants. These data indicate that in the intact nervous system, TOM-1 negatively regulates synaptic vesicle priming. © 2006 Gracheva et al

Beyond the perfect fluid hypothesis for dark energy equation of state

Abandoning the perfect fluid hypothesis, we investigate here the possibility that the dark energy equation of state (EoS) $w$ is a nonlinear function of the energy density $\rho$. To this aim, we consider four different EoS describing classical fluids near thermodynamical critical points and discuss the main features of cosmological models made out of dust matter and a dark energy term with the given EoS. Each model is tested against the data on the dimensionless coordinate distance to Type Ia Supernovae and radio galaxies, the shift and the acoustic peak parameters and the positions of the first three peaks in the anisotropy spectrum of the comic microwave background radation. We propose a possible interpretation of each model in the framework of scalar field quintessence determining the shape of the self interaction potential $V(\phi)$ that gives rise to each one of the considered thermodynamical EoS. As a general result, we demonstrate that replacing the perfect fluid EoS with more generar expressions gives both the possibility of successfully solving the problem of cosmic acceleration escaping the resort to phantom models.Comment: 15 pages, 4 figures, accepted for publication on Physical Review