Explore the vast range of titles available.

There has been rapid development of systems that yield strong interactions between freely propagating photons in one-dimension via controlled coupling to quantum emitters. This raises interesting possibilities such as quantum information processing with photons or quantum many-body states of light, but treating such systems generally remains a difficult task theoretically. Here, we describe a novel technique in which the dynamics and correlations of a few photons can be exactly calculated, based upon knowledge of the initial photonic state and the solution of the reduced effective dynamics of the quantum emitters alone. We show that this generalized 'input-output' formalism allows for a straightforward numerical implementation regardless of system details, such as emitter positions, external driving, and level structure. As a specific example, we apply our technique to show how atomic systems with infinite-range interactions and under conditions of electromagnetically induced transparency enable the selective transmission of correlated multi-photon states.

We explore a recently demonstrated deterministic photon subtraction scheme, based on single-photon Raman interaction with a Λ-type three-level atom, as a tool for manipulating quantum state of few-photon light pulses. We establish a comprehensive theoretical framework using input–output formalism and quantum regression theorem, enabling calculation of the first order autocorrelation matrices of the output light and identification of the temporal modes present in the generated light via their eigendecomposition. By modeling the entire system as a quantum network consisting multiple virtual cavities and a lambda-type emitter cascaded in two parallel guided modes of opposite propagation directions, we extract the quantum state occupying the modes of interest. For both squeezed vacuum and coherent light input pulses, the Wigner function of the output light after photon subtraction clearly reveals its non-Gaussian character. Furthermore, we propose a measurement-based scheme on the subtracted photon which can lead to conditional generation of quantum states resembling Schrodinger’s kitten state directly from coherent input light with fidelities above 99%. This result is particularly nothworthy, as coherent pulses, unlike the squeezed vacuum inputs commonly used in previous studies, are readily available in most experimental setups.

Obtaining the total wavefunction evolution of interacting quantum systems provides access to important properties, such as entanglement, shedding light on fundamental aspects, e.g., quantum energetics and thermodynamics, and guiding towards possible application in the fields of quantum computation and communication. We consider a two-level atom (qubit) coupled to the continuum of travelling modes of a field confined in a one-dimensional chiral waveguide. Originally, we treated the light-matter ensemble as a closed, isolated system. We solve its dynamics using a collision model where individual temporal modes of the field locally interact with the qubit in a sequential fashion. This approach allows us to obtain the total wavefunction of the qubit-field system, at any time, when the field starts in a coherent or a single-photon state. Our method is general and can be applied to other initial field states.

The paper proposes and investigates a new index of flow autocorrelation, based upon a generalization of Moran’s I, and made of two ingredients. The first one consists of a family of spatial weights matrix, the exchange matrix, possessing a freely adjustable parameter interpretable as the age of the network, and controlling for the distance decay range. The second one is a matrix of chi-square dissimilarities between outgoing or incoming flows. Flows have to be adjusted, that is their diagonal part must first be calibrated from their off-diagonal part, thanks to a new iterative procedure procedure aimed at making flows as independent as possible. Commuter flows in Western Switzerland as well as migration flows in Western US illustrate the statistical testing of flow autocorrelation, as well as the computation, mapping and interpretation of local indicators of flow autocorrelation. We prove the present dyadic formalism to be equivalent to the “origin-based” tetradic formalism found in alternative studies of flow autocorrelation.

The role of modelling and simulation in the systemic analysis of living systems is now clearly established. Emerging disciplines, such as systems biology, and worldwide research actions, such as the Physiome Project or the Virtual Physiological Human, are based on an intensive use of modelling and simulation methodologies and tools. One of the key aspects in this context is to perform an efficient integration of various models representing different biological or physiological functions, at different resolutions, spanning through different scales. This paper presents a multiformalism modelling and simulation environment (M2SL) that has been conceived to ease model integration. A given model is represented as a set of coupled and atomic model components that may be based on different mathematical formalisms with heterogeneous structural and dynamical properties. A co-simulation approach is used to solve these hybrid systems. The pioneering model of the overall regulation of the cardiovascular system proposed by Guyton and co-workers in 1972 has been implemented under M2SL and a pulsatile ventricular model based on a time-varying elastance has been integrated in a multi-resolution approach. Simulations reproducing physiological conditions and using different coupling methods show the benefits of the proposed environment.

Conditions under which compositions of component systems form a well-defined system-of-systems are here formulated at a fundamental level. Statement of what defines a well-defined composition and sufficient conditions guaranteeing such a result offers insight into exemplars that can be found in special cases such as differential equation and discrete event systems. For any given global state of a composition, two requirements can be stated informally as: (1) the system can leave this state, i.e., there is at least one trajectory defined that starts from the state; and (2) the trajectory evolves over time without getting stuck at a point in time. Considered for every global state, these conditions determine whether the resultant is a well-defined system and, if so, whether it is non-deterministic or deterministic. We formulate these questions within the framework of iterative specifications for mathematical system models that are shown to be behaviorally equivalent to the Discrete Event System Specification (DEVS) formalism. This formalization supports definitions and proofs of the afore-mentioned conditions. Implications are drawn at the fundamental level of existence where the emergence of a system from an assemblage of components can be characterized. We focus on systems with feedback coupling where existence and uniqueness of solutions is problematic.

In a weighted spatial network, as specified by an exchange matrix, the variances of the spatial values are inversely proportional to the size of the regions. Spatial values are no more exchangeable under independence, thus weakening the rationale for ordinary permutation and bootstrap tests of spatial autocorrelation. We propose an alternative permutation test for spatial autocorrelation, based upon exchangeable spatial modes, constructed as linear orthogonal combinations of spatial values. The coefficients obtain as eigenvectors of the standardized exchange matrix appearing in spectral clustering and generalize to the weighted case the concept of spatial filtering for connectivity matrices. Also, two proposals aimed at transforming an accessibility matrix into an exchange matrix with a priori fixed margins are presented. Two examples (inter-regional migratory flows and binary adjacency networks) illustrate the formalism, rooted in the theory of spectral decomposition for reversible Markov chains.

This paper addresses two major issues. The first is the introduction of uncertainty into the framework of classical deterministic regional input-output (I-O) analysis. Secondly, the role of the use of measurable flow data on the fundamental structure of the models is explored. The opening section uncovers an anomaly in the classical approach when flows between regions of final demand products, external exports and imports are neglected in comparison to the flows of internal intermediate inputs. Next, we introduce uncertainty into the analysis by extending an entropy formulation developed by Wilson, which itself evolved from the formalism established by Leontief-Strout (L-S). The main enhancements include (i) the introduction of regional output capacities to capture spillovers from regions operating close to capacity, (ii) the inclusion of flows of external imports and exports and (iii) the use of total measurable flows as input which are readily available from surveys, yielding as output not only the total flows of each sector between each pair of regions, but (optionally) the further disaggregation of these flows to include their final destination sector or their use as final demand. In fact, a key objective is to structurally account for the joint influence of technology, output capacities and transportation costs on the pattern of intermediate and final demand flows between regions. Further extensions of the approach lead to the generation of probabilistic supply functions as tools within a potential CGE analysis. This option requires the introduction of prices, permitting a profit constraint to replace the simple transport cost constraint of the earlier models. [PUBLICATION ABSTRACT]

The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have been considered as the only source of reason holism. I strengthen Horty’s point in two ways. First, I show that contrary-to-duties provide another independent support for reason holism. Next I outline a formal theory that is able to capture these two sources of holism. While in simple settings the proposed account coincides with Horty’s one, this is not true in more complicated or “realistic” settings in which more than two norms collide. My chosen formalism is so-called input/output logic. A bottom-line example is introduced. It raises the issue of whether the conventional wisdom is right in assuming that normative reasons run parallel to epistemic ones.

We define the class of primal maps using the concepts of mapcode theory and show that a map is primal if and only if it is partial recursive.