Generating higher-order quantum dissipation from lower-order parametric processes
نویسندگان
چکیده
منابع مشابه
Generating Event Logics with Higher-Order Processes as Realizers
Our topic is broadening a practical ”proofs-asprograms” method of program development to “proofs-asprocesses”. We extend our previous results that implement proofs-as-processes for the standard model of asynchronous message passing computation to a much wider class of process models including the π-calculus and other process algebras. Our first result is a general process model whose definition...
متن کاملGenerating topological order: No speedup by dissipation
We consider the problem of converting a product state to a ground state of a topologically ordered system through a locally generated open-system dynamic. Employing quantum-information tools, we show that such a conversion takes an amount of time proportional to the diameter of the system. Our result applies to typical twodimensional topologically ordered systems as well as, for example, the th...
متن کاملParametric Pricing of Higher Order
A general parametric framework based on the generalized Student t distribution is developed for pricing S&P500 options. Higher order moments in stock returns as well as time-varying volatility are priced. An important computational advantage of the proposed framework over Monte Carlo-based pricing methods is that options can be priced using one-dimensional quadrature integration. The empirical ...
متن کاملClassical Higher-Order Processes
Classical Processes (CP) is a calculus where the proof theory of classical linear logic types communicating processes with mobile channels, à la π -calculus. Its construction builds on a recent propositions as types correspondence between session types and propositions in linear logic. Desirable properties such as type preservation under reductions and progress come for free from the metatheory...
متن کاملSOS for Higher Order Processes
We lay the foundations for a Structural Operational Semantics (SOS) framework for higher order processes. Then, we propose a number of extensions to Bernstein’s promoted tyft/tyxt format which aims at proving congruence of strong bisimilarity for higher order processes. The extended format is called promoted PANTH. This format is easier to apply and strictly more expressive than the promoted ty...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quantum Science and Technology
سال: 2017
ISSN: 2058-9565
DOI: 10.1088/2058-9565/aa6e9d