scholarly journals Conditional Probability, Three-Slit Experiments, and the Jordan Algebra Structure of Quantum Mechanics

2012 ◽  
Vol 2012 ◽  
pp. 1-20 ◽  
Author(s):  
Gerd Niestegge
Keyword(s):  
Quantum Mechanics ◽  
Conditional Probability ◽  
Mathematical Structure ◽  
Higher Order ◽  
Complete Characterization ◽  
Jordan Algebras ◽  
Algebra Structure ◽  
Quantum Logics ◽  
Close Link

Most quantum logics do not allow for a reasonable calculus of conditional probability. However, those ones which do so provide a very general and rich mathematical structure, including classical probabilities, quantum mechanics, and Jordan algebras. This structure exhibits some similarities with Alfsen and Shultz's noncommutative spectral theory, but these two mathematical approaches are not identical. Barnum, Emerson, and Ududec adapted the concept of higher-order interference, introduced by Sorkin in 1994, into a general probabilistic framework. Their adaption is used here to reveal a close link between the existence of the Jordan product and the nonexistence of interference of third or higher order in those quantum logics which entail a reasonable calculus of conditional probability. The complete characterization of the Jordan algebraic structure requires the following three further postulates: a Hahn-Jordan decomposition property for the states, a polynomial functional calculus for the observables, and the positivity of the square of an observable. While classical probabilities are characterized by the absence of any kind of interference, the absence of interference of third (and higher) order thus characterizes a probability calculus which comes close to quantum mechanics but still includes the exceptional Jordan algebras.

scholarly journals Theoretical framework for higher-order quantum theory

2019 ◽  
Vol 475 (2225) ◽  
pp. 20180706 ◽  
Author(s):  
Alessandro Bisio ◽  
Paolo Perinotti
Keyword(s):  
Quantum Theory ◽  
Convex Sets ◽  
Mathematical Structure ◽  
Higher Order ◽  
Equivalence Relations ◽  
Full Generality ◽  
Special Cases ◽  
Different Types ◽  
Causal Structures

Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes recursively, with the construction of a full hierarchy of maps of increasingly higher order. The analysis of special cases already showed that higher-order quantum functions exhibit features that cannot be tracked down to the usual circuits, such as indefinite causal structures, providing provable advantages over circuital maps. The present treatment provides a general framework where this kind of analysis can be carried out in full generality. The hierarchy of higher-order quantum maps is introduced axiomatically with a formulation based on the language of types of transformations. Complete positivity of higher-order maps is derived from the general admissibility conditions instead of being postulated as in previous approaches. The recursive characterization of convex sets of maps of a given type is used to prove equivalence relations between different types. The axioms of the framework do not refer to the specific mathematical structure of quantum theory, and can therefore be exported in the context of any operational probabilistic theory.

scholarly journals Inferring genetic interactions from comparative fitness data

eLife ◽  
2017 ◽  
Vol 6 ◽  
Author(s):  
Kristina Crona ◽  
Alex Gavryushkin ◽  
Devin Greene ◽  
Niko Beerenwinkel
Keyword(s):  
Evolutionary Biology ◽  
Fitness Landscape ◽  
Higher Order ◽  
Complete Characterization ◽  
Genetic Interactions ◽  
Gene Interactions ◽  
Rank Orders ◽  
Darwinian Fitness ◽  
Parasite Plasmodium

Darwinian fitness is a central concept in evolutionary biology. In practice, however, it is hardly possible to measure fitness for all genotypes in a natural population. Here, we present quantitative tools to make inferences about epistatic gene interactions when the fitness landscape is only incompletely determined due to imprecise measurements or missing observations. We demonstrate that genetic interactions can often be inferred from fitness rank orders, where all genotypes are ordered according to fitness, and even from partial fitness orders. We provide a complete characterization of rank orders that imply higher order epistasis. Our theory applies to all common types of gene interactions and facilitates comprehensive investigations of diverse genetic interactions. We analyzed various genetic systems comprising HIV-1, the malaria-causing parasite Plasmodium vivax, the fungus Aspergillus niger, and the TEM-family of β-lactamase associated with antibiotic resistance. For all systems, our approach revealed higher order interactions among mutations.

scholarly journals Inferring Genetic Interactions From Comparative Fitness Data

2017 ◽  
Author(s):  
Kristina Crona ◽  
Alex Gavryushkin ◽  
Devin Greene ◽  
Niko Beerenwinkel
Keyword(s):  
Evolutionary Biology ◽  
Fitness Landscape ◽  
Higher Order ◽  
Complete Characterization ◽  
Genetic Interactions ◽  
Gene Interactions ◽  
Rank Orders ◽  
Darwinian Fitness ◽  
Hiv 1

AbstractDarwinian fitness is a central concept in evolutionary biology. In practice, however, it is hardly possible to measure fitness for all genotypes in a natural population. Here, we present quantitative tools to make inferences about epistatic gene interactions when the fitness landscape is only incompletely determined due to imprecise measurements or missing observations. We demonstrate that genetic interactions can often be inferred from fitness rank orders, where all genotypes are ordered according to fitness, and even from partial fitness orders. We provide a complete characterization of rank orders that imply higher order epistasis. Our theory applies to all common types of gene interactions and facilitates comprehensive investigations of diverse genetic interactions. We analyzed various genetic systems comprising HIV-1, the malaria-causing parasite Plasmodium vivax, the fungus Aspergillus niger, and the TEM-family of β-lactamase associated with antibiotic resistance. For all systems, our approach revealed higher order interactions among mutations.

A class of representations of involutive bialgebras

1990 ◽  
Vol 107 (1) ◽  
pp. 149-175 ◽  
Author(s):  
Michael Schürmann
Keyword(s):  
General Result ◽  
Linear Functional ◽  
Fock Space ◽  
Positive Definite ◽  
Complete Characterization ◽  
Lie Superalgebras ◽  
Algebra Structure ◽  
Infinitely Divisible ◽  
Positive Linear Functional

AbstractA class of representations on Fock space is associated to a representation of the *-algebra structure of a cocommutative graded bialgebra with an involution. We prove that the Gelfand–Naimark–Segal (GNS) representation given by the convolution exponential of a conditionally positive linear functional can be embedded into a representation of this class. Our theory generalizes a well-known construction for infinitely divisible positive definite functions on a group. Applying our general result, we obtain a complete characterization of the GNS representations given by infinitely divisible states on involutive Lie superalgebras.

scholarly journals Time-Consistent Reconciliation Maps and Forbidden Time Travel

2017 ◽  
Author(s):  
Nikolai Nøjgaard ◽  
Manuela Geiß ◽  
Peter F. Stadler ◽  
Daniel Merkle ◽  
Nicolas Wieseke ◽  
...  
Keyword(s):  
Horizontal Transfer ◽  
Gene Tree ◽  
Time Consistency ◽  
Gene Families ◽  
Mathematical Structure ◽  
Complete Characterization ◽  
Gene Trees ◽  
Species Trees ◽  
Tree Reconciliation

AbstractBackgroundIn the absence of horizontal gene transfer it is possible to reconstruct the history of gene families from empirically determined orthology relations, which are equivalent to event-labeled gene trees. Knowledge of the event labels considerably simplifies the problem of reconciling a gene tree T with a species trees S, relative to the reconciliation problem without prior knowledge of the event types. It is well-known that optimal reconciliations in the unlabeled case may violate time-consistency and thus are not biologically feasible. Here we investigate the mathematical structure of the event labeled reconciliation problem with horizontal transfer.ResultsWe investigate the issue of time-consistency for the event-labeled version of the reconciliation problem, provide a convenient axiomatic framework, and derive a complete characterization of time-consistent reconciliations. This characterization depends on certain weak conditions on the event-labeled gene trees that reflect conditions under which evolutionary events are observable at least in principle. We give an 𝒪(|V(T)|log(|V(S)|))-time algorithm to decide whether a time-consistent reconciliation map exists. It does not require the construction of explicit timing maps, but relies entirely on the comparably easy task of checking whether a small auxiliary graph is acyclic. The algorithms are implemented in C++ using the boost graph library and are freely available at https://github.com/Nojgaard/tc-recon.SignificanceThe combinatorial characterization of time consistency and thus biologically feasible reconciliation is an important step towards the inference of gene family histories with horizontal transfer from orthology data, i.e., without presupposed gene and species trees. The fast algorithm to decide time consistency is useful in a broader context because it constitutes an attractive component for all tools that address tree reconciliation problems.

scholarly journals Frame functions in finite-dimensional quantum mechanics and its Hamiltonian formulation on complex projective spaces

2016 ◽  
Vol 13 (02) ◽  
pp. 1650013 ◽  
Author(s):  
Valter Moretti ◽  
Davide Pastorello
Keyword(s):  
Quantum Mechanics ◽  
Projective Space ◽  
Hamiltonian Formulation ◽  
Point Of View ◽  
Algebra Structure ◽  
Complex Projective Spaces ◽  
Finite Dimensional ◽  
Quantum Observables ◽  
Complex Projective

This work concerns some issues about the interplay of standard and geometric (Hamiltonian) approaches to finite-dimensional quantum mechanics, formulated in the projective space. Our analysis relies upon the notion and the properties of so-called frame functions, introduced by Gleason to prove his celebrated theorem. In particular, the problem of associating quantum states with positive Liouville densities is tackled from an axiomatic point of view, proving a theorem classifying all possible correspondences. A similar result is established for classical-like observables (i.e. real scalar functions on the projective space) representing quantum ones. These correspondences turn out to be encoded in a one-parameter class and, in both cases, the classical-like objects representing quantum ones result to be frame functions. The requirements of [Formula: see text] covariance and (convex) linearity play a central role in the proof of those theorems. A new characterization of classical-like observables describing quantum observables is presented, together with a geometric description of the [Formula: see text]-algebra structure of the set of quantum observables in terms of classical-like ones.

Experimental Characterization of Mechanical Behavior of Cord-Rubber Composites

1982 ◽  
Vol 10 (1) ◽  
pp. 37-54 ◽  
Author(s):  
M. Kumar ◽  
C. W. Bert
Keyword(s):  
Response Characteristic ◽  
Cord Compression ◽  
Complete Characterization ◽  
Strain Response ◽  
Strain Gages ◽  
Experimental Characterization ◽  
Rubber Composites ◽  
Stress Strain ◽  
Strain Data

Abstract Unidirectional cord-rubber specimens in the form of tensile coupons and sandwich beams were used. Using specimens with the cords oriented at 0°, 45°, and 90° to the loading direction and appropriate data reduction, we were able to obtain complete characterization for the in-plane stress-strain response of single-ply, unidirectional cord-rubber composites. All strains were measured by means of liquid mercury strain gages, for which the nonlinear strain response characteristic was obtained by calibration. Stress-strain data were obtained for the cases of both cord tension and cord compression. Materials investigated were aramid-rubber, polyester-rubber, and steel-rubber.

Characterization of CMOS Structures (0.6 µm process) Submitted to HBM and COM ESD Stress Tests

1997 ◽  
Author(s):  
G. Meneghesso ◽  
E. Zanoni ◽  
P. Colombo ◽  
M. Brambilla ◽  
R. Annunziata ◽  
...  
Keyword(s):  
Electron Microscopy ◽  
Electrostatic Discharge ◽  
Stress Test ◽  
Complete Characterization ◽  
Stress Tests ◽  
Test Procedures ◽  
Emission Microscopy ◽  
Fast Rise ◽  
Scanning Electron

Abstract In this work, we present new results concerning electrostatic discharge (ESD) robustness of 0.6 μm CMOS structures. Devices have been tested according to both HBM and socketed CDM (sCDM) ESD test procedures. Test structures have been submitted to a complete characterization consisting in: 1) measurement of the tum-on time of the protection structures submitted to pulses with very fast rise times; 2) ESD stress test with the HBM and sCDM models; 3) failure analysis based on emission microscopy (EMMI) and Scanning Electron Microscopy (SEM).

scholarly journals Complete characterization of spin chains with two Ising symmetries

2019 ◽  
Vol 125 (1) ◽  
pp. 10008 ◽  
Author(s):  
Bat-el Friedman ◽  
Atanu Rajak ◽  
Emanuele G. Dalla Torre
Keyword(s):  
Complete Characterization ◽  
Spin Chains
Sign in / Sign up

Export Citation Format

Share Document