Symbolic bisimulation for quantum processes

With the previous notions of bisimulation presented in literature, to check if two quantum processes are bisimilar, we have to instantiate the free quantum variables of them with arbitrary quantum states, and verify the bisimilarity of resultant configurations. This makes checking bisimilarity infeasible from an algorithmic point of view because quantum states constitute a continuum. In this paper, we introduce a symbolic operational semantics for quantum processes directly at the quantum operation level, which allows us to describe the bisimulation between quantum processes without resorting to quantum states. We show that the symbolic bisimulation defined here is equivalent to the open bisimulation for quantum processes in the previous work, when strong bisimulations are considered. An algorithm for checking symbolic ground bisimilarity is presented. We also give a modal logical characterisation for quantum bisimilarity based on an extension of Hennessy-Milner logic to quantum processes.Comment: 30 pages, 7 figures, comments are welcom

Modeling ammonia emissions from dairy production systems in the United States

Dairy production systems are hot spots of ammonia (NH3) emission. However, there remains large uncertainty in quantifying and mitigating NH3 emissions from dairy farms due to the lack of both long-term field measurements and reliable methods for extrapolating these measurements. In this study, a process-based biogeochemical model, Manure-DNDC, was tested against measurements of NH3 fluxes from five barns and one lagoon in four dairy farms over a range of environmental conditions and management practices in the United States. Results from the validation tests indicate that the magnitudes and seasonal patterns of NH3 fluxes simulated by Manure-DNDC were in agreement with the observations across the sites. The model was then applied to assess impacts of alternative management practices on NH3 emissions at the farm scale. The alternatives included reduction of crude protein content in feed, replacement of scraping with flushing for removal of manure from barn, lagoon coverage, increase in frequency for removal of slurry from lagoon, and replacement of surface spreading with incorporation for manure land application. The simulations demonstrate that: (a) all the tested alternative management practices decreased the NH3 emissions although the efficiency of mitigation varied; (b) a change of management in an upstream facility affected the NH3 emissions from all downstream facilities; and (c) an optimized strategy by combining the alternative practices on feed, manure removal, manure storage, and land application could reduce the farm-scale NH3 emission by up to 50%. The results from this study may provide useful information for mitigating NH3 emissions from dairy production systems and emphasize the necessity of whole-farm perspectives on the assessment of potential technical options for NH3 mitigation. This study also demonstrates the potential of utilizing process-based models, such as Manure-DNDC, to quantify and mitigate NH3 emissions from dairy farms

On Midrange Periodicities in Solar Radio Flux and Sunspot Areas

Using the Hilbert-Huang transform technique, we investigate the midrange periodicities in solar radio flux at 2800 MHz (F10.7) and sunspot areas (SAs) from February 1, 1947 to September 30, 2016. The following prominent results are found: (1) The quasi-periodic oscillations of both data sets are not identical, such as the rotational cycle, the midrange periodicities, and the Schwabe cycle. In particular, the midrange periodicities ranging from 37.9 days to 297.3 days are related to the magnetic Rossby-type waves; 2) The 1.3-year and 1.7-year fluctuations in solar activity indicators are surface manifestations (from photosphere to corona) of magnetic flux changes generated deep inside the Sun; 3) At the timescale of the Schwabe cycle, \textbf{the complicated phase relationships} in the three intervals (1947-1958, 1959-1988, and 1989-2016) agree with the produced periodicities of the magnetic Rossby-type waves. \textbf{The findings indicate that the magnetic Rossby-type waves are the possible physical mechanism behind the midrange periodicities of solar activity indicators. Moreover, the significant change in the relationship between photospheric and coronal activity took place after the maximum of solar cycle 22 could be interpreted by the magnetic Rossby-type waves