794 research outputs found

    Bounds and optimisation of orbital angular momentum bandwidths within parametric down-conversion systems

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    1/Nc1/N_c Expansion for Excited Baryons

    Get PDF
    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

    Get PDF
    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)

    Get PDF
    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

    Full text link
    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

    Get PDF
    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

    Get PDF
    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 ϵ(r)\epsilon({\bf r}) 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

    Get PDF
    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 Na2\mathrm{Na}_2, Na8\mathrm{Na}_8, and Na9+\mathrm{Na}_9^+ to Na59+\mathrm{Na}_{59}^+. The consistent inclusion of ionic structure considerably improves agreement with experiment. An icosahedral growth pattern is observed for Na19+\mathrm{Na}_{19}^+ to Na59+\mathrm{Na}_{59}^+. 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
    corecore