Showing 1–27 of 27 results for author: Fleming, C H

A new safety-guided design methodology to complement model-based safety analysis for safety assurance

Authors: Minghui Sun, Cody H. Fleming

Abstract: With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether the safety-critical scenarios are adequately addressed by the design solution of a cyber-physical human system. However, there is a gap. If specific safety-critical scenarios are not included in the given design solution (i.e., the mode… ▽ More With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether the safety-critical scenarios are adequately addressed by the design solution of a cyber-physical human system. However, there is a gap. If specific safety-critical scenarios are not included in the given design solution (i.e., the model) in the first place, the results of MBSA cannot be trusted for safety assurance. To tackle this problem, we propose a new safety-guided design methodology (called STPA+) to complement MBSA. Inspired by STPA, STPA+ treats a system as a control structure, which is particularly fit for systems with complex interactions between human, machine, and automation. Three methods are developed in STPA+ to tackle the possible omissions of safety-critical scenarios caused by incorrectly defined safety constraints, improperly constrained process model, and inadequately designed controller. In this way, STPA+ directly derives an adequately defined design solution as the input to an MBSA verification program and bridges the gap between current MBSA approaches and safety assurance. △ Less

Submitted 29 April, 2022; originally announced May 2022.

Compositional Thinking in Cyberphysical Systems Theory

Authors: Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming

Abstract: Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras. We posit that verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyber-physical systems theory, which can assis… ▽ More Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras. We posit that verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyber-physical systems theory, which can assist in the modeling and analysis of safety-critical cyber-physical systems. △ Less

Submitted 9 October, 2021; v1 submitted 26 May, 2021; originally announced May 2021.

Yoneda Hacking: The Algebra of Attacker Actions

Authors: Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming

Abstract: Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equip** the categorical formalism with algebras produces two interesting results for security modeling. First, using the Yoneda lemma, we can model attacker reconnaissance missions. In this context, the Yoneda lemma shows us tha… ▽ More Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equip** the categorical formalism with algebras produces two interesting results for security modeling. First, using the Yoneda lemma, we can model attacker reconnaissance missions. In this context, the Yoneda lemma shows us that if two system representations, one being complete and the other being the attacker's incomplete view, agree at every possible test, they behave the same. The implication is that attackers can still successfully exploit the system even with incomplete information. Second, we model the potential changes to the system via an exploit. An exploit either manipulates the interactions between system components, such as providing the wrong values to a sensor, or changes the components themselves, such as controlling a global positioning system (GPS). One additional benefit of using category theory is that mathematical operations can be represented as formal diagrams, helpful in applying this analysis in a model-based design setting. We illustrate this modeling framework using an unmanned aerial vehicle (UAV) cyber-physical system model. We demonstrate and model two types of attacks (1) a rewiring attack, which violates data integrity, and (2) a rewriting attack, which violates availability. △ Less

Submitted 13 April, 2022; v1 submitted 26 February, 2021; originally announced March 2021.

Compositional Cyber-Physical Systems Modeling

Authors: Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming

Abstract: Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system is not yet available for testing or verification of proper behavior. A primary motivation for `getting things right' in these early design stages is that altering the design is significantly less costly and more effective… ▽ More Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system is not yet available for testing or verification of proper behavior. A primary motivation for `getting things right' in these early design stages is that altering the design is significantly less costly and more effective than when hardware and software have already been developed. Engineering cyber-physical systems requires the construction of several different types of models, each representing a different view, which include stakeholder requirements, system behavior, and the system architecture. Furthermore, each of these models can be represented at different levels of abstraction. Formal reasoning has improved the precision and expanded the available types of analysis in assuring correctness of requirements, behaviors, and architectures. However, each is usually modeled in distinct formalisms and corresponding tools. Currently, this disparity means that a system designer must manually check that the different models are in agreement. Manually editing and checking models is error prone, time consuming, and sensitive to any changes in the design of the models themselves. Wiring diagrams and related theory provide a means for formally organizing these different but related modeling views, resulting in a compositional modeling language for cyber-physical systems. Such a categorical language can make concrete the relationship between different model views, thereby managing complexity, allowing hierarchical decomposition of system models, and formally proving consistency between models. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Comments: In Proceedings ACT 2020, arXiv:2101.07888

Journal ref: EPTCS 333, 2021, pp. 125-138

Categorical Semantics of Cyber-Physical Systems Theory

Authors: Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou

Abstract: Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in cyber-physical systems. However, to date the different model views of cyber-physical systems are largely related informally, which raises issues with the degree… ▽ More Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in cyber-physical systems. However, to date the different model views of cyber-physical systems are largely related informally, which raises issues with the degree of formal consistency between those various models of requirements, system behavior, and system architecture. We present a category-theoretic framework to make different types of composition explicit in the modeling and analysis of cyber-physical systems, which could assist in verifying the system as a whole. This compositional framework for cyber-physical systems gives rise to unified system models, where system behavior is hierarchically decomposed and related to a system architecture using the systems-as-algebras paradigm. As part of this paradigm, we show that an algebra of (safety) contracts generalizes over the state of the art, providing more uniform mathematical tools for constraining the behavior over a richer set of composite cyber-physical system models, which has the potential of minimizing or eliminating hazardous behavior. △ Less

Submitted 26 April, 2021; v1 submitted 15 October, 2020; originally announced October 2020.

An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering

Authors: Georgios Bakirtzis, Tim Sherburne, Stephen Adams, Barry M. Horowitz, Peter A. Beling, Cody H. Fleming

Abstract: System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of ``-ilities'', such that they are safe and secure and ultimately resilient to disruption of service. We propo… ▽ More System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of ``-ilities'', such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model. △ Less

Submitted 9 June, 2020; originally announced June 2020.

Fundamental Challenges of Cyber-Physical Systems Security Modeling

Authors: Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody H. Fleming

Abstract: Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of safety critical cyber-physical systems, where security violations can cause hazards. Currently, the overlap between security and safety is narrow. But deploying cyber-physical systems means that today's adversaries can… ▽ More Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of safety critical cyber-physical systems, where security violations can cause hazards. Currently, the overlap between security and safety is narrow. But deploying cyber-physical systems means that today's adversaries can intentionally trigger accidents. By implementing security assessment tools for modeling languages we are better able to address threats earlier in the system's lifecycle and, therefore, assure their safe and secure behavior in their eventual deployment. We posit that cyber-physical systems security modeling is practiced insufficiently because it is still addressed similarly to information technology systems. △ Less

Submitted 30 April, 2020; originally announced May 2020.

Data Driven Vulnerability Exploration for Design Phase System Analysis

Authors: Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody H. Fleming, Carl R. Elks

Abstract: Applying security as a lifecycle practice is becoming increasingly important to combat targeted attacks in safety-critical systems. Among others there are two significant challenges in this area: (1) the need for models that can characterize a realistic system in the absence of an implementation and (2) an automated way to associate attack vector information; that is, historical data, to such syst… ▽ More Applying security as a lifecycle practice is becoming increasingly important to combat targeted attacks in safety-critical systems. Among others there are two significant challenges in this area: (1) the need for models that can characterize a realistic system in the absence of an implementation and (2) an automated way to associate attack vector information; that is, historical data, to such system models. We propose the cybersecurity body of knowledge (CYBOK), which takes in sufficiently characteristic models of systems and acts as a search engine for potential attack vectors. CYBOK is fundamentally an algorithmic approach to vulnerability exploration, which is a significant extension to the body of knowledge it builds upon. By using CYBOK, security analysts and system designers can work together to assess the overall security posture of systems early in their lifecycle, during major design decisions and before final product designs. Consequently, assisting in applying security earlier and throughout the systems lifecycle. △ Less

Submitted 6 September, 2019; originally announced September 2019.

A Dynamic Sustainable Competitive Petroleum Supply Chain Model for Various Stakeholders with Shared Facilities

Authors: Nazanin Moradinasab, Hassan Jafarzadeh, M. R. Amin-Naseri, Cody H. Fleming

Abstract: Petroleum industry is the world's biggest energy source, and its associated industries such as production, distribution, refining and retail are considered as the largest ones in the world. Having the increasing price and governments job creation and international environmental policies, the petroleum companies try to maximize the number of created job, and their profit and minimize the air pollut… ▽ More Petroleum industry is the world's biggest energy source, and its associated industries such as production, distribution, refining and retail are considered as the largest ones in the world. Having the increasing price and governments job creation and international environmental policies, the petroleum companies try to maximize the number of created job, and their profit and minimize the air pollution simultaneously. To meet these objectives, an effective detailed and precise planning is needed. On the other hand, the dynamic environment and the presence of various stakeholders add to the complexity of planning and design of petroleum supply chain. Therefore, the multi-period, multi-objective, multi-level and multi-product dynamic sustainable competitive petroleum supply chain (DSCPSC) model taking into consideration the various stakeholders have been proposed in this paper. The proposed model is an MILP model and GAMS 24.1.2 software has been used to run it for a part of real petroleum supply chain data. Sensitivity analysis was then performed to determine the sensitivity of the results to the variation of the coefficients in objective function. Sensitivity analysis reveals that the highest variations of the objective function were observed with respect to the variable costs, facility installation costs and pipeline transportation costs. △ Less

Submitted 26 July, 2019; originally announced July 2019.

Comments: 18 Pages, 5 Figures

How range residency and long-range perception change encounter rates

Authors: Ricardo Martinez-Garcia, Christen H. Fleming, Ralf Seppelt, William F. Fagan, Justin M. Calabrese

Abstract: Encounter rates link movement strategies to intra- and inter-specific interactions, and therefore translate individual movement behavior into higher-level ecological processes. Indeed, a large body of interacting population theory rests on the law of mass action, which can be derived from assumptions of Brownian motion in an enclosed container with exclusively local perception. These assumptions i… ▽ More Encounter rates link movement strategies to intra- and inter-specific interactions, and therefore translate individual movement behavior into higher-level ecological processes. Indeed, a large body of interacting population theory rests on the law of mass action, which can be derived from assumptions of Brownian motion in an enclosed container with exclusively local perception. These assumptions imply completely uniform space use, individual home ranges equivalent to the population range, and encounter dependent on movement paths actually crossing. Mounting empirical evidence, however, suggests that animals use space non-uniformly, occupy home ranges substantially smaller than the population range, and are often capable of nonlocal perception. Here, we explore how these empirically supported behaviors change pairwise encounter rates. Specifically, we derive novel analytical expressions for encounter rates under Ornstein-Uhlenbeck motion, which features non-uniform space use and allows individual home ranges to differ from the population range. We compare OU-based encounter predictions to those of Reflected Brownian Motion, from which the law of mass action can be derived. For both models, we further explore how the interplay between the scale of perception and home range size affects encounter rates. We find that neglecting realistic movement and perceptual behaviors can systematically bias encounter rate predictions. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: 21 pages, 7 figures, 10 appendices

Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis

Authors: Georgios Bakirtzis, Brandon J. Simon, Cody H. Fleming, Carl R. Elks

Abstract: Today, there is a plethora of software security tools employing visualizations that enable the creation of useful and effective interactive security analyst dashboards. Such dashboards can assist the analyst to understand the data at hand and, consequently, to conceive more targeted preemption and mitigation security strategies. Despite the recent advances, model-based security analysis is lacking… ▽ More Today, there is a plethora of software security tools employing visualizations that enable the creation of useful and effective interactive security analyst dashboards. Such dashboards can assist the analyst to understand the data at hand and, consequently, to conceive more targeted preemption and mitigation security strategies. Despite the recent advances, model-based security analysis is lacking tools that employ effective dashboards---to manage potential attack vectors, system components, and requirements. This problem is further exacerbated because model-based security analysis produces significantly larger result spaces than security analysis applied to realized systems---where platform specific information, software versions, and system element dependencies are known. Therefore, there is a need to manage the analysis complexity in model-based security through better visualization techniques. Towards that goal, we propose an interactive security analysis dashboard that provides different views largely centered around the system, its requirements, and its associated attack vector space. This tool makes it possible to start analysis earlier in the system lifecycle. We apply this tool in a significant area of engineering design---the design of cyber-physical systems---where security violations can lead to safety hazards. △ Less

Submitted 23 October, 2018; v1 submitted 24 August, 2018; originally announced August 2018.

MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis

Authors: Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming, Carl R. Elks

Abstract: Currently, perimeter-based approaches are the mainstay of cybersecurity. While this paradigm is necessary, there is mounting evidence of its insufficiency with respect to sophisticated and coordinated attacks. In contrast to perimeter-based security, mission-centric cybersecurity provides awareness of how attacks can influence mission success and therefore focuses resources for mitigating vulnerab… ▽ More Currently, perimeter-based approaches are the mainstay of cybersecurity. While this paradigm is necessary, there is mounting evidence of its insufficiency with respect to sophisticated and coordinated attacks. In contrast to perimeter-based security, mission-centric cybersecurity provides awareness of how attacks can influence mission success and therefore focuses resources for mitigating vulnerabilities and protecting critical assets. This is strategic as opposed to tactical perimeter-based cybersecurity. We propose MISSION AWARE, which assists in the identification of parts of a system that destabilize the overall mission of the system if compromised. MSSION AWARE starts with a structured elicitation process that leads to hazards analysis. It employs hierarchical modeling methods to capture mission requirements, admissible functional behaviors, and system architectures. It then generates evidence---attacks applicable to elements that directly correlate with mission success. Finally, MISSION AWARE traces evidence back to mission requirements to determine the evidence with the highest impact relative to mission objectives. △ Less

Submitted 4 December, 2017; originally announced December 2017.

A Model-Based Approach to Security Analysis for Cyber-Physical Systems

Authors: Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming

Abstract: Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation. Most safety and security decisions that can have major effects on mitigation strategy options after deployment are made early in the system's life cycle. To allow for a vuln… ▽ More Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation. Most safety and security decisions that can have major effects on mitigation strategy options after deployment are made early in the system's life cycle. To allow for a vulnerability analysis before deployment, a sufficient well-formed model has to be constructed. To construct such a model we produce a taxonomy of attributes; that is, a generalized schema for system attributes. This schema captures the necessary specificity that characterizes a possible real system and can also map to the attack vector space associated with the model's attributes. In this way, we can match possible attack vectors and provide architectural mitigation at the design phase. We present a model of a flight control system encoded in the Systems Modeling Language, commonly known as SysML, but also show agnosticism with respect to the modeling language or tool used. △ Less

Submitted 10 June, 2018; v1 submitted 31 October, 2017; originally announced October 2017.

Comments: 8 pages, 5 figures, conference

A maximum-entropy description of animal movement

Authors: Chris H. Fleming, Yigit Subasi, Justin M. Calabrese

Abstract: We introduce a class of maximum-entropy states that naturally includes within it all of the major continuous-time stochastic processes that have been applied to animal movement, including Brownian motion, Ornstein-Uhlenbeck motion, integrated Ornstein-Uhlenbeck motion, a recently discovered hybrid of the previous models, and a new model that describes central-place foraging. We are also able to pr… ▽ More We introduce a class of maximum-entropy states that naturally includes within it all of the major continuous-time stochastic processes that have been applied to animal movement, including Brownian motion, Ornstein-Uhlenbeck motion, integrated Ornstein-Uhlenbeck motion, a recently discovered hybrid of the previous models, and a new model that describes central-place foraging. We are also able to predict a further hierarchy of new models that will emerge as data quality improves to better resolve the underlying continuity of animal movement. Finally, we also show that Langevin equations must obey a fluctuation-dissipation theorem to generate processes that fall from this class of maximum-entropy distributions. △ Less

Submitted 7 August, 2014; originally announced August 2014.

Comments: 6 pages

Journal ref: Phys. Rev. E 91, 032107 (2015)

On the estimators of autocorrelation model parameters

Authors: C. H. Fleming, J. M. Calabrese

Abstract: Estimation of autocorrelations and spectral densities is of fundamental importance in many fields of science, from identifying pulsar signals in astronomy to measuring heart beats in medicine. In circumstances where one is interested in specific autocorrelation functions that do not fit into any simple families of models, such as auto-regressive moving average (ARMA), estimating model parameters i… ▽ More Estimation of autocorrelations and spectral densities is of fundamental importance in many fields of science, from identifying pulsar signals in astronomy to measuring heart beats in medicine. In circumstances where one is interested in specific autocorrelation functions that do not fit into any simple families of models, such as auto-regressive moving average (ARMA), estimating model parameters is generally approached in one of two ways: by fitting the model autocorrelation function to a non-parameteric autocorrelation estimate via regression analysis or by fitting the model autocorrelation function directly to the data via maximum likelihood. Prior literature suggests that variogram regression yields parameter estimates of comparable quality to maximum likelihood. In this letter we demonstrate that, as sample size is increases, the accuracy of the maximum-likelihood estimates (MLE) ultimately improves by orders of magnitude beyond that of variogram regression. For relatively continuous and Gaussian processes, this improvement can occur for sample sizes of less than 100. Moreover, even where the accuracy of these methods is comparable, the MLE remains almost universally better and, more critically, variogram regression does not provide reliable confidence intervals. Inaccurate regression parameter estimates are typically accompanied by underestimated standard errors, whereas likelihood provides reliable confidence intervals. △ Less

Submitted 21 January, 2013; originally announced January 2013.

Comments: 10 pages, 5 figures

The equilibrium states of open quantum systems in the strong coupling regime

Authors: Y. Subasi, C. H. Fleming, J. M. Taylor, B. L. Hu

Abstract: In this work we investigate the late-time stationary states of open quantum systems coupled to a thermal reservoir in the strong coupling regime. In general such systems do not necessarily relax to a Boltzmann distribution if the coupling to the thermal reservoir is non-vanishing or equivalently if the relaxation timescales are finite. Using a variety of non-equilibrium formalisms valid for non-Ma… ▽ More In this work we investigate the late-time stationary states of open quantum systems coupled to a thermal reservoir in the strong coupling regime. In general such systems do not necessarily relax to a Boltzmann distribution if the coupling to the thermal reservoir is non-vanishing or equivalently if the relaxation timescales are finite. Using a variety of non-equilibrium formalisms valid for non-Markovian processes, we show that starting from a product state of the closed system = system + environment, with the environment in its thermal state, the open system which results from coarse graining the environment will evolve towards an equilibrium state at late-times. This state can be expressed as the reduced state of the closed system thermal state at the temperature of the environment. For a linear (harmonic) system and environment, which is exactly solvable, we are able to show in a rigorous way that all multi-time correlations of the open system evolve towards those of the closed system thermal state. Multi-time correlations are especially relevant in the non-Markovian regime, since they cannot be generated by the dynamics of the single-time correlations. For more general systems, which cannot be exactly solved, we are able to provide a general proof that all single-time correlations of the open system evolve to those of the closed system thermal state, to first order in the relaxation rates. For the special case of a zero-temperature reservoir, we are able to explicitly construct the reduced closed system thermal state in terms of the environmental correlations. △ Less

Submitted 12 June, 2012; originally announced June 2012.

Comments: 20 pages, 2 figures

Journal ref: Phys. Rev. E 86, 061132 (2012)

Non-Markovian Dynamics of Open Quantum Systems: Stochastic Equations and their Perturbative Solutions

Authors: C. H. Fleming, B. L. Hu

Abstract: We treat several key stochastic equations for non-Markovian open quantum system dynamics and present a formalism for finding solutions to them via canonical perturbation theory, without making the Born-Markov or rotating wave approximations (RWA). This includes master equations of the (asymptotically) stationary, periodic, and time-nonlocal type. We provide proofs on the validity and meaningfulnes… ▽ More We treat several key stochastic equations for non-Markovian open quantum system dynamics and present a formalism for finding solutions to them via canonical perturbation theory, without making the Born-Markov or rotating wave approximations (RWA). This includes master equations of the (asymptotically) stationary, periodic, and time-nonlocal type. We provide proofs on the validity and meaningfulness of the late-time perturbative master equation and on the preservation of complete positivity despite a general lack of Lindblad form. More specifically, we show how the algebraic generators satisfy the theorem of Lindblad and Gorini, Kossakowski and Sudarshan, even though the dynamical generators do not. These proofs ensure the mathematical viability and physical soundness of solutions to non-Markovian processes. Within the same formalism we also expand upon known results for non-Markovian corrections to the quantum regression theorem. Several directions where these results can be usefully applied to are also described, including the analysis of near-resonant systems where the RWA is inapplicable and the calculation of the reduced equilibrium state of open systems. △ Less

Submitted 1 December, 2011; originally announced December 2011.

Comments: 28 pages, 1 figure

Journal ref: Annals of Physics 327 (2012), pp. 1238-1276

Quantum Brownian motion of multipartite systems and their entanglement dynamics

Authors: C. H. Fleming, Albert Roura, B. L. Hu

Abstract: We solve the model of N quantum Brownian oscillators linearly coupled to an environment of quantum oscillators at finite temperature, with no extra assumptions about the structure of the system-environment coupling. Using a compact phase-space formalism, we give a rather quick and direct derivation of the master equation and its solutions for general spectral functions and arbitrary temperatures.… ▽ More We solve the model of N quantum Brownian oscillators linearly coupled to an environment of quantum oscillators at finite temperature, with no extra assumptions about the structure of the system-environment coupling. Using a compact phase-space formalism, we give a rather quick and direct derivation of the master equation and its solutions for general spectral functions and arbitrary temperatures. Since our framework is intrinsically nonperturbative, we are able to analyze the entanglement dynamics of two oscillators coupled to a common scalar field in previously unexplored regimes, such as off resonance and strong coupling. △ Less

Submitted 28 June, 2011; originally announced June 2011.

Comments: 10 pages, 6 figures

Nonequilibrium Dynamics of Charged Particles in an Electromagnetic Field: Causal and Stable Dynamics from 1/c Expansion of QED

Authors: C. H. Fleming, P. R. Johnson, B. L. Hu

Abstract: We derive from a microscopic Hamiltonian a set of stochastic equations of motion for a system of spinless charged particles in an electromagnetic (EM) field based on a consistent application of a dimensionful 1/c expansion of quantum electrodynamics (QED). All relativistic corrections up to order 1/c^3 are captured by the dynamics, which includes electrostatic interactions (Coulomb), magnetostatic… ▽ More We derive from a microscopic Hamiltonian a set of stochastic equations of motion for a system of spinless charged particles in an electromagnetic (EM) field based on a consistent application of a dimensionful 1/c expansion of quantum electrodynamics (QED). All relativistic corrections up to order 1/c^3 are captured by the dynamics, which includes electrostatic interactions (Coulomb), magnetostatic backreaction (Biot-Savart), dissipative backreaction (Abraham-Lorentz) and quantum field fluctuations at zero and finite temperatures. With self-consistent backreaction of the EM field included we show that this approach yields causal and runaway-free equations of motion, provides new insights into charged particle backreaction, and naturally leads to equations consistent with the (classical) Darwin Hamiltonian and has quantum operator ordering consistent with the Breit Hamiltonian. To order 1/c^3 the approach leads to a nonstandard mass renormalization which is associated with magnetostatic self-interactions, and no cutoff is required to prevent runaways. Our new results also show that the pathologies of the standard Abraham-Lorentz equations can be seen as a consequence of applying an inconsistent (i.e. incomplete, mixed-order) expansion in 1/c, if, from the start, the analysis is viewed as generating a low-energy effective theory rather than an exact solution. Finally, we show that the 1/c expansion within a Hamiltonian framework yields well-behaved noise and dissipation, in addition to the multiple-particle interactions. △ Less

Submitted 9 June, 2011; originally announced June 2011.

Comments: 17 pages, 2 figures

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 255002

Initial state preparation with dynamically generated system-environment correlations

Authors: C. H. Fleming, B. L. Hu, Albert Roura

Abstract: The dependence of the dynamics of open quantum systems upon initial correlations between the system and environment is an utterly important yet poorly understood subject. For technical convenience most prior studies assume factorizable initial states where the system and its environments are uncorrelated, but these conditions are not very realistic and give rise to peculiar behaviors. One distinct… ▽ More The dependence of the dynamics of open quantum systems upon initial correlations between the system and environment is an utterly important yet poorly understood subject. For technical convenience most prior studies assume factorizable initial states where the system and its environments are uncorrelated, but these conditions are not very realistic and give rise to peculiar behaviors. One distinct feature is the rapid build up or a sudden jolt of physical quantities immediately after the system is brought in contact with its environments. The ultimate cause of this is an initial imbalance between system-environment correlations and coupling. In this note we demonstrate explicitly how to avoid these unphysical behaviors by proper adjustments of correlations and/or the coupling, for setups of both theoretical and experimental interest. We provide simple analytical results in terms of quantities that appear in linear (as opposed to affine) master equations derived for factorized initial states. △ Less

Submitted 13 January, 2011; originally announced January 2011.

Comments: 6 pages, 2 figures

Report number: AEI-2011-001

Journal ref: Phys. Rev. E 84, 021106 (2011)

Non-Markovian Dynamics and Entanglement of Two-level Atoms in a Common Field

Authors: C. H. Fleming, N. I. Cummings, Charis Anastopoulos, B. L. Hu

Abstract: We derive the stochastic equations and consider the non-Markovian dynamics of a system of multiple two-level atoms in a common quantum field. We make only the dipole approximation for the atoms and assume weak atom-field interactions. From these assumptions we use a combination of non-secular open- and closed-system perturbation theory, and we abstain from any additional approximation schemes. The… ▽ More We derive the stochastic equations and consider the non-Markovian dynamics of a system of multiple two-level atoms in a common quantum field. We make only the dipole approximation for the atoms and assume weak atom-field interactions. From these assumptions we use a combination of non-secular open- and closed-system perturbation theory, and we abstain from any additional approximation schemes. These more accurate solutions are necessary to explore several regimes: in particular, near-resonance dynamics and low-temperature behavior. In detuned atomic systems, small variations in the system energy levels engender timescales which, in general, cannot be safely ignored, as would be the case in the rotating-wave approximation (RWA). More problematic are the second-order solutions, which, as has been recently pointed out, cannot be accurately calculated using any second-order perturbative master equation, whether RWA, Born-Markov, Redfield, etc.. This latter problem, which applies to all perturbative open-system master equations, has a profound effect upon calculation of entanglement at low temperatures. We find that even at zero temperature all initial states will undergo finite-time disentanglement (sometimes termed "sudden death"), in contrast to previous work. We also use our solution, without invoking RWA, to characterize the necessary conditions for Dickie subradiance at finite temperature. We find that the subradiant states fall into two categories at finite temperature: one that is temperature independent and one that acquires temperature dependence. With the RWA there is no temperature dependence in any case. △ Less

Submitted 28 September, 2011; v1 submitted 22 December, 2010; originally announced December 2010.

Comments: 17 pages, 13 figures, v2 updated references, v3 clarified results and corrected renormalization, v4 further clarified results and new Fig. 8-10

Journal ref: J. Phys. A. 45, 065301 (2012)

The strong-coupling master equation of quantum open systems

Authors: C. H. Fleming

Abstract: In this paper we demonstrate how to generate the strong-coupling master equations for open quantum systems of continuous variables. These are the dissipative master equations of quantum Brownian particles for which the environmental noise is stronger than other system forces. Our strong-coupling master equations are very different from other so-called "strong-coupling" master equations (e.g. the q… ▽ More In this paper we demonstrate how to generate the strong-coupling master equations for open quantum systems of continuous variables. These are the dissipative master equations of quantum Brownian particles for which the environmental noise is stronger than other system forces. Our strong-coupling master equations are very different from other so-called "strong-coupling" master equations (e.g. the quantum Smoluchowski equation) which are perturbing off a limit in which the system energy is taken to be perturbative and thus the dynamics is principally Markovian. Such approximations also require the system mass to be asymptotically large (even as compared to the ratio of noise and induced system frequencies) and thus they do not fully categorize the regime of what one might consider to be strong coupling. Our master equations are highly non-Markovian and radically different for different system potentials, admitting no apparent generic form. This result is quite exciting as it brings forth a new regime for theoretical exploration: the regime of strong noise and dissipation yet non-Markovian, such as strong coupling to a low-temperature environment with large 1/f fluctuations. △ Less

Submitted 6 December, 2010; originally announced December 2010.

Comments: 9 pages, no figures

Non-Equilibrium Fluctuation-Dissipation Inequality and Non-Equilibrium Uncertainty Principle

Authors: C. H. Fleming, B. L. Hu, Albert Roura

Abstract: The fluctuation-dissipation relation is usually formulated for a system interacting with a heat bath at finite temperature in the context of linear response theory, where only small deviations from the mean are considered. We show that for an open quantum system interacting with a non-equilibrium environment, where temperature is no longer a valid notion, a fluctuation-dissipation inequality exist… ▽ More The fluctuation-dissipation relation is usually formulated for a system interacting with a heat bath at finite temperature in the context of linear response theory, where only small deviations from the mean are considered. We show that for an open quantum system interacting with a non-equilibrium environment, where temperature is no longer a valid notion, a fluctuation-dissipation inequality exists. Clearly stated, quantum fluctuations are bounded below by quantum dissipation, whereas classically the fluctuations can be made to vanish. The lower bound of this inequality is exactly satisfied by (zero-temperature) quantum noise and is in accord with the Heisenberg uncertainty principle, both in its microscopic origins and its influence upon systems. Moreover, it is shown that the non-equilibrium fluctuation-dissipation relation determines the non-equilibrium uncertainty relation in the weak-dam** limit. △ Less

Submitted 3 December, 2010; originally announced December 2010.

Comments: 6 pages, no figures

Journal ref: Phys. Rev. E 88, 012102 (2013)

Decoherence Strength of Multiple Non-Markovian Environments

Authors: C. H. Fleming, B. L. Hu, Albert Roura

Abstract: It is known that one can characterize the decoherence strength of a Markovian environment by the product of its temperature and induced dam**, and order the decoherence strength of multiple environments by this quantity. We show that for non-Markovian environments in the weak coupling regime there also exists a natural (albeit partial) ordering of environment-induced irreversibility within a per… ▽ More It is known that one can characterize the decoherence strength of a Markovian environment by the product of its temperature and induced dam**, and order the decoherence strength of multiple environments by this quantity. We show that for non-Markovian environments in the weak coupling regime there also exists a natural (albeit partial) ordering of environment-induced irreversibility within a perturbative treatment. This measure can be applied to both low-temperature and non-equilibrium environments. △ Less

Submitted 8 July, 2011; v1 submitted 14 November, 2010; originally announced November 2010.

Comments: 6 pages, 1 figure, v3 included figure, appendix, and clarification of results

Journal ref: Physica A: Statistical Mechanics and its Applications 391 (2012), pp. 4206-4214

The Accuracy of Perturbative Master Equations

Authors: Chris H. Fleming, Nick I. Cummings

Abstract: We consider open quantum systems with dynamics described by master equations that have perturbative expansions in the system-environment interaction. We show that, contrary to intuition, full-time solutions of order-2n accuracy require an order-(2n+2) master equation. We give two examples of such inaccuracies in the solutions to an order-2n master equation: order-2n inaccuracies in the steady stat… ▽ More We consider open quantum systems with dynamics described by master equations that have perturbative expansions in the system-environment interaction. We show that, contrary to intuition, full-time solutions of order-2n accuracy require an order-(2n+2) master equation. We give two examples of such inaccuracies in the solutions to an order-2n master equation: order-2n inaccuracies in the steady state of the system and order-2n positivity violations, and we show how these arise in a specific example for which exact solutions are available. This result has a wide-ranging impact on the validity of coupling (or friction) sensitive results derived from second-order convolutionless, Nakajima-Zwanzig, Redfield, and Born-Markov master equations. △ Less

Submitted 21 January, 2011; v1 submitted 24 October, 2010; originally announced October 2010.

Comments: 6 pages, 0 figures; v2 updated references; v3 updated references, extension to full-time and nonlocal regimes

Journal ref: Phys. Rev. E 83, 031117 (2011)

Exact analytical solutions to the master equation of quantum Brownian motion for a general environment

Authors: C. H. Fleming, Albert Roura, B. L. Hu

Abstract: We revisit the model of a quantum Brownian oscillator linearly coupled to an environment of quantum oscillators at finite temperature. By introducing a compact and particularly well-suited formulation, we give a rather quick and direct derivation of the master equation and its solutions for general spectral functions and arbitrary temperatures. The flexibility of our approach allows for an immedia… ▽ More We revisit the model of a quantum Brownian oscillator linearly coupled to an environment of quantum oscillators at finite temperature. By introducing a compact and particularly well-suited formulation, we give a rather quick and direct derivation of the master equation and its solutions for general spectral functions and arbitrary temperatures. The flexibility of our approach allows for an immediate generalization to cases with an external force and with an arbitrary number of Brownian oscillators. More importantly, we point out an important mathematical subtlety concerning boundary-value problems for integro-differential equations which led to incorrect master equation coefficients and impacts on the description of nonlocal dissipation effects in all earlier derivations. Furthermore, we provide explicit, exact analytical results for the master equation coefficients and its solutions in a wide variety of cases, including ohmic, sub-ohmic and supra-ohmic environments with a finite cut-off. △ Less

Submitted 10 December, 2010; v1 submitted 9 April, 2010; originally announced April 2010.

Comments: 37 pages (26 + appendices), 14 figures; this paper is an evolution of arXiv:0705.2766v1, but contains far more general and significant results; v2 minor changes, double column, improved Appendix C

Report number: AEI-2010-047

Journal ref: Annals of Physics 326,1207 (2011)

Solutions to Master Equations of Quantum Brownian Motion in a General Environment with External Force

Authors: C. H. Fleming, B. L. Hu, Albert Roura

Abstract: We revisit the model of a system made up of a Brownian quantum oscillator under the influence of an external classical force and linearly coupled to an environment made up of many quantum oscillators at zero or finite temperature. We show that the HPZ master equation for the reduced density matrix derived earlier [B.L. Hu, J.P. Paz, Y. Zhang, Phys. Rev. D 45, 2843 (1992)] with coefficients obtai… ▽ More We revisit the model of a system made up of a Brownian quantum oscillator under the influence of an external classical force and linearly coupled to an environment made up of many quantum oscillators at zero or finite temperature. We show that the HPZ master equation for the reduced density matrix derived earlier [B.L. Hu, J.P. Paz, Y. Zhang, Phys. Rev. D 45, 2843 (1992)] with coefficients obtained from solutions of integro-differential equations can assume closed functional forms for a fairly general class of spectral densities of the environment at arbitrary temperature and coupling strength. As an illustration of these new results we solve the corresponding master equation and calculate, among other physical quantities, the uncertainty function whose late time behavior can be obtained fully. This produces a formula for investigating the standard quantum limit which is central to addressing many theoretical issues in macroscopic quantum phenomena and experimental concerns related to low temperature precision measurements. We find that any initial state always settles down to a Gaussian density matrix whose covariance is determined by the thermal reservoir and whose mean is determined by the external force. For more general spectra we show that the solution of the master equation can be reduced to solving for the motion of a classical parametric oscillator with parametric frequency determined by the unsolved for master equation coefficients. States in these systems experience evolution that is parametrically similar to the simpler evolution explicitly determined for in the case of Laurent-series spectra. △ Less

Submitted 18 May, 2007; originally announced May 2007.

Comments: 48 pages, 9 figures, REVTeX4

Report number: LA-UR 06-8834