794 research outputs found
Bounds and optimisation of orbital angular momentum bandwidths within parametric down-conversion systems
The measurement of high-dimensional entangled states of orbital angular
momentum prepared by spontaneous parametric down-conversion can be considered
in two separate stages: a generation stage and a detection stage. Given a
certain number of generated modes, the number of measured modes is determined
by the measurement apparatus. We derive a simple relationship between the
generation and detection parameters and the number of measured entangled modes.Comment: 6 pages, 4 figure
Dynamic thylakoid stacking is regulated by LHCII phosphorylation but not its interaction with PSI
Grana stacking in plant chloroplast thylakoid membranes dynamically responds to the light environment. These dynamics have been linked to regulation of the relative antenna sizes of PSI and PSII (state transitions), the PSII repair cycle, and the regulation of photosynthetic electron transfer. Here, we used 3D structured illumination microscopy, a subdiffraction-resolution fluorescence imaging technique, to investigate the light-intensity dependence, kinetics, reversibility, and regulation of dynamic thylakoid stacking in spinach (Spinacia oleracea) and Arabidopsis (Arabidopsis thaliana). Low-intensity white light (150 μmol photons m−2 s−1) behaved similarly to light preferentially exciting PSII (660 nm), causing a reduction in grana diameter and an increased number of grana per chloroplast. By contrast, high-intensity white light (1000 μmol photons m−2 s−1), darkness, and light preferentially exciting PSI (730 nm) reversed these changes. These dynamics occurred with a half-time of 7 to 8 min and were accompanied by state transitions. Consistent with this, the dynamics were dependent on STN7 (light-harvesting complex II [LHCII] kinase) and TAP38 (LHCII phosphatase), which are required for state transitions but were unaffected by the absence of STN8 (PSII kinase) or PSII core phosphatase (PSII phosphatase). Unlike state transitions, however, thylakoid stacking dynamics did not rely on the presence of the LHCI and PSI subunit L phospho-LHCII binding sites on PSI. Since oligomerization of thylakoid curvature protein (CURT1A) was unaffected by the absence of STN7 or TAP38, we conclude that the primary determinant of dynamic thylakoid stacking is LHCII phosphorylation
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
Web services are distributed software components, that are decoupled from each other using interfaces with specified functional behaviors. However, such behavioral specifications are insufficient to demonstrate compliance with certain temporal non-functional policies. An example is demonstrating that a patient’s health-related query sent to a health care service is answered only by a doctor (and not by a secretary). Demonstrating compliance with such policies is important for satisfying governmental privacy regulations. It is often necessary to expose the internals of the web service implementation for demonstrating such compliance, which may compromise modularity. In this work, we provide a language design that enables such demonstrations, while hiding majority of the service’s source code. The key idea is to use greybox specifications to allow service providers to selectively hide and expose parts of their implementation. The overall problem of showing compliance is then reduced to two subproblems: whether the desired properties are satisfied by the service’s greybox specification, and whether this greybox specification is satisfied by the service’s implementation. We specify policies using LTL and solve the first problem by model checking. We solve the second problem by refinement techniques
Expansion for Excited Baryons
We derive consistency conditions which constrain the possible form of the
strong couplings of the excited baryons to the pions. The consistency
conditions follow from requiring the pion-excited baryon scattering amplitudes
to satisfy the large-N_c Witten counting rules and are analogous to consistency
conditions used by Dashen, Jenkins and Manohar and others for s-wave baryons.
The consistency conditions are explicitly solved, giving the most general
allowed form of the strong vertices for excited baryons in the large-N_c limit.
We show that the solutions to the large-N_c consistency conditions coincide
with the predictions of the nonrelativistic quark model for these states,
extending the results previously obtained for the s-wave baryons. The 1/N_c
corrections to these predictions are studied in the quark model with arbitrary
number of colors N_c.Comment: 56 pages, REVTeX; one new Appendix added containing a discussion of
the results in the language of quark operator
Generating a checking sequence with a minimum number of reset transitions
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)
Threshold neutral pion photoproduction off the tri-nucleon to O(q^4)
We calculate electromagnetic neutral pion production off tri-nucleon bound
states (3H, 3He) at threshold in chiral nuclear effective field theory to
fourth order in the standard heavy baryon counting. We show that the fourth
order two-nucleon corrections to the S-wave multipoles at threshold are very
small. This implies that a precise measurement of the S-wave cross section for
neutral pion production off 3He allows for a stringent test of the chiral
perturbation theory prediction for the S-wave electric multipole E_{0+}^{pi0
n}.Comment: 17 pages, 5 figures, title changed, final version to appear in EPJA.
arXiv admin note: substantial text overlap with arXiv:1103.340
Extrusion limits of magnesium alloys
Magnesium alloys are generally found to be slower to extrude than aluminum alloys; however, limited quantitative comparisons of the actual operating windows have been published. In this work, the extrusion limits are determined for a series of commercial magnesium alloys (M1, ZM21, AZ31, AZ61, and ZK60). These are compared with the limits established for aluminum alloy AA6063. The maximum extrusion speed of alloy M1 is shown to be similar to AA6063. Alloys ZM21, AZ31, ZK60, and AZ61 exhibit maximum extrusion speeds 44, 18, 4, and 3 pct, respectively, of the maximum measured for AA6063. For AZ31, the maximum extrusion speed is increased by 22 pct after homogenization and by 64 pct for repeat extrusions. The variation in the extrusion limits with changing alloy content is rationalized in terms of differences in the hot working flow stress and solidus temperature.<br /
Students as co-creators of teaching approaches, course design and curricula: implications for academic developers
Within higher education, students’ voices are frequently overlooked in the design of teaching approaches, courses and curricula. In this paper we outline the theoretical background to arguments for including students as partners in pedagogical planning processes. We present examples where students have worked collaboratively in design processes along with the beneficial outcomes of these examples. Finally we focus on some of the implications and opportunities for academic developers of proposing collaborative approaches to pedagogical planning
Field quantization for open optical cavities
We study the quantum properties of the electromagnetic field in optical
cavities coupled to an arbitrary number of escape channels. We consider both
inhomogeneous dielectric resonators with a scalar dielectric constant
and cavities defined by mirrors of arbitrary shape. Using
the Feshbach projector technique we quantize the field in terms of a set of
resonator and bath modes. We rigorously show that the field Hamiltonian reduces
to the system--and--bath Hamiltonian of quantum optics. The field dynamics is
investigated using the input--output theory of Gardiner and Collet. In the case
of strong coupling to the external radiation field we find spectrally
overlapping resonator modes. The mode dynamics is coupled due to the damping
and noise inflicted by the external field. For wave chaotic resonators the mode
dynamics is determined by a non--Hermitean random matrix. Upon including an
amplifying medium, our dynamics of open-resonator modes may serve as a starting
point for a quantum theory of random lasing.Comment: 16 pages, added references, corrected typo
Ionic and electronic structure of sodium clusters up to N=59
We determined the ionic and electronic structure of sodium clusters with even
electron numbers and 2 to 59 atoms in axially averaged and three-dimensional
density functional calculations. A local, phenomenological pseudopotential that
reproduces important bulk and atomic properties and facilitates structure
calculations has been developed. Photoabsorption spectra have been calculated
for , , and to
. The consistent inclusion of ionic structure considerably
improves agreement with experiment. An icosahedral growth pattern is observed
for to . This finding is supported by
photoabsorption data.Comment: To appear in Phys. Rev. B 62. Version with figures in better quality
can be requested from the author
- …