Experimental test of the no-go theorem for continuous ψ-epistemic models.
Ontology highlight
ABSTRACT:
SUBMITTER: Liao KY
PROVIDER: S-EPMC4886536 | biostudies-other | 2016
REPOSITORIES: biostudies-other
Similar Datasets
Project description:The superradiant phase transition in thermal equilibrium is a fundamental concept bridging statistical physics and electrodynamics, which has never been observed in real physical systems since the first proposal in the 1970s. The existence of this phase transition in cavity quantum electrodynamics systems is still subject of ongoing debates due to the no-go theorem induced by the so-called A2 term. Moreover, experimental conditions to study this phase transition are hard to achieve with current accessible technology. Based on the platform of nuclear magnetic resonance, here we experimentally simulate the occurrence of an equilibrium superradiant phase transition beyond no-go theorem by introducing the antisqueezing effect. The mechanism relies on that the antisqueezing effect recovers the singularity of the ground state via exponentially enhancing the zero point fluctuation of system. The strongly entangled and squeezed Schrödinger cat states of spins are achieved experimentally in the superradiant phase, which may play an important role in fundamental tests of quantum theory and implementations of quantum metrology.
| S-EPMC8560888 | biostudies-literature
Project description:Photonic quantum systems are among the most promising architectures for quantum computers. It is well known that for dual-rail photons effective non-linearities and near-deterministic non-trivial two-qubit gates can be achieved via the measurement process and by introducing ancillary photons. While in principle this opens a legitimate path to scalable linear optical quantum computing, the technical requirements are still very challenging and thus other optical encodings are being actively investigated. One of the alternatives is to use single-rail encoded photons, where entangled states can be deterministically generated. Here we prove that even for such systems universal optical quantum computing using only passive optical elements such as beam splitters and phase shifters is not possible. This no-go theorem proves that photon bunching cannot be passively suppressed even when extra ancilla modes and arbitrary number of photons are used. Our result provides useful guidance for the design of optical quantum computers.
| S-EPMC3589727 | biostudies-other
Project description:Human breathing stems from automatic brainstem neural processes. It can also be operated by cortico-subcortical networks, especially when breathing becomes uncomfortable because of external or internal inspiratory loads. How the "irruption of breathing into consciousness" interacts with cognition remains unclear, but a case report in a patient with defective automatic breathing (Ondine's curse syndrome) has shown that there was a cognitive cost of breathing when the respiratory cortical networks were engaged. In a pilot study of putative breathing-cognition interactions, the present study relied on a randomized design to test the hypothesis that experimentally loaded breathing in 28 young healthy subjects would have a negative impact on cognition as tested by "timed up-and-go" test (TUG) and its imagery version (iTUG). Progressive inspiratory threshold loading resulted in slower TUG and iTUG performance. Participants consistently imagined themselves faster than they actually were. However, progressive inspiratory loading slowed iTUG more than TUG, a finding that is unexpected with regard to the known effects of dual tasking on TUG and iTUG (slower TUG but stable iTUG). Insofar as the cortical networks engaged in response to inspiratory loading are also activated during complex locomotor tasks requiring cognitive inputs, we infer that competition for cortical resources may account for the breathing-cognition interference that is evidenced here.
| S-EPMC4792478 | biostudies-literature
Project description:MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze systems in various domains of engineering and sciences. Traditionally, the analysis of MATLAB models is done using simulation and debugging/testing frameworks. These methods provide limited coverage due to their inherent incompleteness. Formal verification can overcome these limitations, but developing the formal models of the underlying MATLAB models is a very challenging and time-consuming task, especially in the case of higher-order-logic models. To facilitate this process, we present a library of higher-order-logic functions corresponding to the commonly used matrix functions of MATLAB as well as a translator that allows automatic conversion of MATLAB models to higher-order logic. The formal models can then be formally verified in an interactive theorem prover. For illustrating the usefulness of the proposed library and approach, we present the formal analysis of a Finite Impulse Response (FIR) filter, which is quite commonly used in digital signal processing applications, within the sound core of the HOL Light theorem prover.
| S-EPMC8022509 | biostudies-literature
Project description:Ground-state cooling and pure state preparation of a small object that is embedded in a thermal environment is an important challenge and a highly desirable quantum technology. This paper proves, with two different methods, that a fundamental constraint on the cooling dynamic implies that it is impossible to cool, via a unitary system-bath quantum evolution, a system that is embedded in a thermal environment down to its ground state, if the initial state is a factorized product of system and bath states. The latter is a crucial but artificial assumption included in numerous tools that treat system-bath dynamics, such as master equation approaches and Kraus operator based methods. Adopting these approaches to address ground state and even approximate ground state cooling dynamics should therefore be done with caution, considering the fundamental theorem exposed in this work.
| S-EPMC3650666 | biostudies-other
Project description:Despite the critical importance of attention for children's self-regulation and mental health, there are few task-based measures of this construct appropriate for use across a wide childhood age range including very young children. Three versions of a combined go/no-go and continuous performance task (GNG/CPT) were created with varying length and timing parameters to maximize their appropriateness for age groups spanning early to middle childhood. As part of the baseline assessment of a clinical trial, 452 children aged 3-12 years (50% male, 50% female; 52% White, non-Hispanic, 27% Black, 16% Hispanic/Latinx; 6% other ethnicity/race) completed the task. Confirmatory factor analysis indicated that all task versions assessed two latent factors, labeled response inhibition and sustained attention. Versions for older children elicited lower overall accuracy while equating levels of inhibitory demand. All versions showed limited floor and ceiling effects, as well as developmental sensitivity. Boys showed higher commission error rates and children from lower income households showed lower performance across multiple task metrics. Task metrics, especially d prime and accuracy summary scores, correlated with parent-reported executive function and externalizing behavior. Task scores show promise as valid and sensitive indicators of inhibition and sustained attention across heterogeneous pediatric age groups. (PsycInfo Database Record (c) 2023 APA, all rights reserved).
| S-EPMC10041761 | biostudies-literature
Project description:BackgroundLife course epidemiology examines associations between repeated measures of risk and health outcomes across different phases of life. Empirical research, however, is often based on discrete-time models that assume that sporadic measurement occasions fully capture underlying long-term continuous processes of risk.MethodsWe propose (i) the functional relevant life course model (fRLM), which treats repeated, discrete measures of risk as unobserved continuous processes, and (ii) a testing procedure to assign probabilities that the data correspond to conceptual models of life course epidemiology (critical period, sensitive period and accumulation models). The performance of the fRLM is evaluated with simulations, and the approach is illustrated with empirical applications relating body mass index (BMI) to mRNA-seq signatures of chronic kidney disease, inflammation and breast cancer.ResultsSimulations reveal that fRLM identifies the correct life course model with three to five repeated assessments of risk and 400 subjects. The empirical examples reveal that chronic kidney disease reflects a critical period process and inflammation and breast cancer likely reflect sensitive period mechanisms.ConclusionsThe proposed fRLM treats repeated measures of risk as continuous processes and, under realistic data scenarios, the method provides accurate probabilities that the data correspond to commonly studied models of life course epidemiology. fRLM is implemented with publicly-available software.
| S-EPMC10859158 | biostudies-literature
Project description:INTRODUCTION:We report the reliability of a new measure, the triple-timed up-and-go (3TUG) test, for assessing clinical function in patients with Lambert-Eaton myasthenia (LEM). METHODS:Intrarater reproducibility and interrater agreement of the 3TUG test were assessed in 25 control participants, 24 patients with non-LEM neuromuscular disease, and 12 patients with LEM. The coverage probability (CP) method was the primary measure of reproducibility and agreement. The a priori acceptable range was?<?20% difference in 3TUG test times and a CP ?0.90 confirmed agreement. RESULTS:CP values?>?0.90 for intrarater and interrater tests confirmed acceptable reproducibility and agreement for all groups. DISCUSSION:The 3TUG test is a quick, noninvasive, and reproducible measure that is easy to perform, measures clinically important weakness in LEM patients, and requires little training. Additional evaluation in a larger number of LEM patients is in progress to validate the 3TUG test as a clinical measure in LEM. Muscle Nerve 57: 136-139, 2017.
| S-EPMC5702274 | biostudies-literature
Project description:Pepsin was immobilized on ethyl-bridged hybrid (BEH) particles, and digestion performance was evaluated in a completely online format, with the specific intent of using the particles for hydrogen-deuterium exchange mass spectrometry (HDX MS) experiments. Because the BEH particles are mechanically strong, they could withstand prolonged, continuous high-pressure at 10,000 psi. Online digestion was performed under isobaric conditions with continuous solvent flow, in contrast to other approaches where the pressure or flow is cycled. As expected, digestion efficiency at 10,000 psi was increased and reproducibly produced more peptic peptides versus digestion at 1000 psi. Prototype columns made with the BEH pepsin particles exhibited robust performance, and deuterium back-exchange was similar to that of other immobilized pepsin particles. These particles can be easily incorporated in existing HDX MS workflows to provide more peptide coverage in experiments where fast, efficient, and reproducible online pepsin digestion is desired.
| S-EPMC3424325 | biostudies-literature
Project description:Fluctuation theorems specify the non-zero probability to observe negative entropy production, contrary to a naive expectation from the second law of thermodynamics. For closed particle trajectories in a fluid, Stokes theorem can be used to give a geometric characterization of the entropy production. Building on this picture, we formulate a topological fluctuation theorem that depends only by the winding number around each vortex core and is insensitive to other aspects of the force. The probability is robust to local deformations of the particle trajectory, reminiscent of topologically protected modes in various classical and quantum systems. We demonstrate that entropy production is quantized in these strongly fluctuating systems, and it is controlled by a topological invariant. We demonstrate that the theorem holds even when the probability distributions are non-Gaussian functions of the generated heat.
| S-EPMC9156749 | biostudies-literature