On the Coherent State Path Integral for Linear Systems

We present a computation of the coherent state path integral for a generic linear system using ``functional methods'' (as opposed to discrete time approaches). The Gaussian phase space path integral is formally given by a determinant built from a first-order differential operator with coherent state boundary conditions. We show how this determinant can be expressed in terms of the symplectic transformation generated by the (in general, time-dependent) quadratic Hamiltonian for the system. We briefly discuss the conditions under which the coherent state path integral for a linear system actually exists. A necessary -- but not sufficient -- condition for existence of the path integral is that the symplectic transformation generated by the Hamiltonian is (unitarily) implementable on the Fock space for the system.Comment: 15 pages, plain Te

Quantum diffusion on a cyclic one dimensional lattice

The quantum diffusion of a particle in an initially localized state on a cyclic lattice with N sites is studied. Diffusion and reconstruction time are calculated. Strong differences are found for even or odd number of sites and the limit N->infinit is studied. The predictions of the model could be tested with micro - and nanotechnology devices.Comment: 17 pages, 5 figure

Functional assessment of cancer therapy questionnaire for breast cancer (FACT-B+4): Italian version validation

BACKGROUND: Improvements in breast cancer diagnosis and treatment led to an increased incidence of survivors' rate. The healthcare system has to face new problems related not only to the treatment of the disease, but also to the management of the quality of life after the diagnosis. The aim of this study was to validate the Italian version of the Functional Assessment of Cancer Therapy - Breast (FACT-B+4) questionnaire and to evaluate its reliability. METHODS: The questionnaire was administered twice, with an interval of three days between each administration, to a cohort of women of the Breast Surgical Unit, PoliclincoUmberto I. Cronbach's alpha was used as a measure of the internal consistency of the Italian version. RESULTS: The Italian version of the tool was administered to 55 subjects. The Cronbach's alpha for most scores registered values >0.7, both at baseline and at the follow-up analysis, therefore the subscale showed good internal consistency. CONCLUSIONS: The Italian version of FACT-B+4 demonstrated acceptable reliability properties in the Breast Unit patients. The use of this questionnaire seemed to be effective and in line with the results derived from the English and Spanishversions. Internal consistency and validity had similar performance results

Effects of No-Tillage Production Practices on Crop Yields as Influenced by Crop and Growing Environment Factors

This paper evaluated differences between yields of no-tillage compared to conventional or reduced tillage and their associated downside risk. Six crops were evaluated along with how those yields and risks differed by various environmental factors such geographic location, precipitation, soil type and how long the practice had been used.no-tillage, conservation, conventional tillage, downside-risk, yield, Agribusiness, Environmental Economics and Policy, Farm Management, Land Economics/Use, Production Economics, Risk and Uncertainty,

Functional Evolution of Free Quantum Fields

We consider the problem of evolving a quantum field between any two (in general, curved) Cauchy surfaces. Classically, this dynamical evolution is represented by a canonical transformation on the phase space for the field theory. We show that this canonical transformation cannot, in general, be unitarily implemented on the Fock space for free quantum fields on flat spacetimes of dimension greater than 2. We do this by considering time evolution of a free Klein-Gordon field on a flat spacetime (with toroidal Cauchy surfaces) starting from a flat initial surface and ending on a generic final surface. The associated Bogolubov transformation is computed; it does not correspond to a unitary transformation on the Fock space. This means that functional evolution of the quantum state as originally envisioned by Tomonaga, Schwinger, and Dirac is not a viable concept. Nevertheless, we demonstrate that functional evolution of the quantum state can be satisfactorily described using the formalism of algebraic quantum field theory. We discuss possible implications of our results for canonical quantum gravity.Comment: 21 pages, RevTeX, minor improvements in exposition, to appear in Classical and Quantum Gravit

New results on pushdown module checking with imperfect information

Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about the system (in the last case, the environment has only a partial view of the system's control states and stack content). For standard CTL, PMC with imperfect information is known to be undecidable. If the stack content is assumed to be visible, then the problem is decidable and 2EXPTIME-complete (matching the complexity of PMC with perfect information against CTL). The decidability status of PMC with imperfect information against CTL restricted to the case where the depth of the stack content is visible is open. In this paper, we show that with this restriction, PMC with imperfect information against CTL remains undecidable. On the other hand, we individuate an interesting subclass of OPDS with visible stack content depth such that PMC with imperfect information against the existential fragment of CTL is decidable and in 2EXPTIME. Moreover, we show that the program complexity of PMC with imperfect information and visible stack content against CTL is 2EXPTIME-complete (hence, exponentially harder than the program complexity of PMC with perfect information, which is known to be EXPTIME-complete).Comment: In Proceedings GandALF 2011, arXiv:1106.081

On the Complexity of Searching in Trees: Average-case Minimization

We focus on the average-case analysis: A function w : V -> Z+ is given which defines the likelihood for a node to be the one marked, and we want the strategy that minimizes the expected number of queries. Prior to this paper, very little was known about this natural question and the complexity of the problem had remained so far an open question. We close this question and prove that the above tree search problem is NP-complete even for the class of trees with diameter at most 4. This results in a complete characterization of the complexity of the problem with respect to the diameter size. In fact, for diameter not larger than 3 the problem can be shown to be polynomially solvable using a dynamic programming approach. In addition we prove that the problem is NP-complete even for the class of trees of maximum degree at most 16. To the best of our knowledge, the only known result in this direction is that the tree search problem is solvable in O(|V| log|V|) time for trees with degree at most 2 (paths). We match the above complexity results with a tight algorithmic analysis. We first show that a natural greedy algorithm attains a 2-approximation. Furthermore, for the bounded degree instances, we show that any optimal strategy (i.e., one that minimizes the expected number of queries) performs at most O(\Delta(T) (log |V| + log w(T))) queries in the worst case, where w(T) is the sum of the likelihoods of the nodes of T and \Delta(T) is the maximum degree of T. We combine this result with a non-trivial exponential time algorithm to provide an FPTAS for trees with bounded degree

Early hydration study of standard and doped Alite-Belite-Ye’elimite (ABY) cements through Synchrotron Radiation

The manufacturing of ye'elimite-rich cements releases from 15 to 37%, depending on their composition, less CO2 to the atmosphere than ordinary Portland cement (OPC). BYF cements containing belite, ye’elimite and ferrite as main crystalline phases, are promising eco-friendly binders. Nevertheless, belite, its main phase, shows a slow hydrating behaviour and the mechanical strengths are lower than OPC at early ages. Some alternatives to solve this problem are: i) forming alite jointly with belite and ye’elimite during clinkering, Alite Belite Ye’elimite (ABY) clinkers. The hydration of alite and ye’elimite would develop high mechanical strengths at early ages, and belite contributes to later curing times; ii) a second alternative is the stabilisation of alpha forms of belite using dopants such as boron named here after dABY. In this work, two different types of ABY clinkers (standard and doped) have been prepared and characterized to understand their different hydration mechanisms at the same water-to-cement (w/c) ratio. The clinkers have been prepared using CaF2 and ZnO as mineralizers, and borax as dopant agent to stabilize alpha forms of belite (’H-C2S). Afterwards, 14 wt% of anhydrite (as soluble sulphate source) was added to prepare the corresponding cements. Finally, the hydration study was performed at w/c ratio of 0.5. Here, an in-situ hydration study using synchrotron X-ray powder diffraction (SXRPD) for the first 14 hours of hydration is reported. Moreover, these results will be combined with the ex-situ laboratory X-ray powder diffraction study (LXRPD) at 1 day of hydration and calorimetric results. Rietveld quantitative phase analysis has been used to establish the phase evolution across the time.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. MINECO ( BIA2017-82391-R), co-funded by FEDER, and I3 [IEDI-2016-0079]

Understanding light quanta: First quantization of the free electromagnetic field

The quantization of the electromagnetic field in vacuum is presented without reference to lagrangean quantum field theory. The equal time commutators of the fields are calculated from basic principles. A physical discussion of the commutators suggest that the electromagnetic fields are macroscopic emergent properties of more fundamental physical system: the photons

On a class of 2-surface observables in general relativity

The boundary conditions for canonical vacuum general relativity is investigated at the quasi-local level. It is shown that fixing the area element on the 2- surface S (rather than the induced 2-metric) is enough to have a well defined constraint algebra, and a well defined Poisson algebra of basic Hamiltonians parameterized by shifts that are tangent to and divergence-free on $. The evolution equations preserve these boundary conditions and the value of the basic Hamiltonian gives 2+2 covariant, gauge-invariant 2-surface observables. The meaning of these observables is also discussed.Comment: 11 pages, a discussion of the observables in stationary spacetimes is included, new references are added, typos correcte