arXiv subjects

Kristel Michielsen

Publications and source records attributed to Kristel Michielsen.

At least 91 records · Page 5Linked to original sources

arXiv2019

Supplementary information for "Quantum supremacy using a programmable superconducting processor"

This is an updated version of supplementary information to accompany "Quantum supremacy using a programmable superconducting processor", an article published in the October 24, 2019 issue of Nature. The main article is freely available at https://www.nature.com/articles/s41586-019-1666-5. Summary of changes since arXiv:1910.11333v1 (submitted 23 Oct 2019): added URL for qFlex source code; added Erratum section; added Figure S41 comparing statistical and total uncertainty for log and linear XEB; new References [1,65]; miscellaneous updates for clarity and style consistency; miscellaneous typographical and formatting corrections.

quant-ph↗

arXiv2019

Benchmarking Supercomputers with the Jülich Universal Quantum Computer Simulator

We use a massively parallel simulator of a universal quantum computer to benchmark some of the most powerful supercomputers in the world. We find nearly ideal scaling behavior on the Sunway TaihuLight, the K computer, the IBM BlueGene/Q JUQUEEN, and the Intel Xeon based clusters JURECA and JUWELS. On the Sunway TaihuLight and the K computer, universal quantum computers with up to 48 qubits can be simulated by means of an adaptive two-byte encoding to reduce the memory requirements by a factor of eight. Additionally, we discuss an alternative approach to alleviate the memory bottleneck by decomposing entangling gates such that low-depth circuits with a much larger number of qubits can be simulated.

quant-ph↗

arXiv2019

Finite-Difference Time-Domain simulations of transmission microscopy enable a better interpretation of 3D nerve fiber architectures in the brain

In many laboratories, conventional bright-field transmission microscopes are available to study the structure and organization principles of fibrous tissue samples, but they usually provide only 2D information. To access the third (out-of-plane) dimension, more advanced techniques are employed. An example is 3D Polarized Light Imaging (3D-PLI), which measures the birefringence of histological brain sections to derive the spatial nerve fiber orientations. Here, we show how light scattering in transmission microscopy measurements can be leveraged to gain 3D structural information about fibrous tissue samples like brain tissue. For this purpose, we developed a simulation framework using finite-difference time-domain (FDTD) simulations and high performance computing, which can easily be adapted to other microscopy techniques and tissue types with comparable fibrous structures (e.g., muscle fibers, collagen, or artificial fibers). As conventional bright-field transmission microscopy provides usually only 2D information about tissue structures, a three-dimensional reconstruction of fibers across several sections is difficult. By combining our simulations with experimental studies, we show that the polarization-independent transmitted light intensity (transmittance) contains 3D information: We demonstrate in several experimental studies on brain sections from different species (rodent, monkey, human) that the transmittance decreases significantly (by more than 50%) with the increasing out-of-plane angle of the nerve fibers. Our FDTD simulations show that this decrease is mainly caused by polarization-independent light scattering in combination with the finite numerical aperture of the imaging system. This allows to use standard transmission microscopy techniques to obtain 3D information about the fiber inclination and to detect steep fibers, without need for additional measurements.

physics.med-ph↗

arXiv2019

Magnetization and energy dynamics in spin ladders: Evidence of diffusion in time, frequency, position, and momentum

The dynamics of magnetization and energy densities are studied in the two-leg spin-1/2 ladder. Using an efficient pure-state approach based on the concept of typicality, we calculate spatio-temporal correlation functions for large systems with up to 40 lattice sites. In addition, two subsequent Fourier transforms from real to momentum space as well as from time to frequency domain yield the respective dynamic structure factors. Summarizing our main results, we unveil the existence of genuine diffusion both for spin and energy. In particular, this finding is based on four distinct signatures which can all be equally well detected: (i) Gaussian density profiles, (ii) time-independent diffusion coefficients, (iii) exponentially decaying density modes, and (iv) Lorentzian line shapes of the dynamic structure factor. The combination of (i) - (iv) provides a comprehensive picture of high-temperature dynamics in thisarchetypal nonintegrable quantum model.

cond-mat.stat-mech↗

arXiv2019

Separation of conditions as a prerequisite for quantum theory

We introduce the notion of "separation of conditions" meaning that a description of statistical data obtained from experiments, performed under a set of different conditions, allows for a decomposition such that each partial description depends on mutually exclusive subsets of these conditions. Descriptions that allow a separation of conditions are shown to entail the basic mathematical framework of quantum theory. The Stern-Gerlach and the Einstein-Podolsky-Rosen-Bohm experiment with three, respectively nine possible outcomes are used to illustrate how the separation of conditions can be used to construct their quantum theoretical descriptions. It is shown that the mathematical structure of separated descriptions implies that, under certain restrictions, the time evolution of the data can be described by the von Neumann/Schrödinger equation.

quant-ph↗

arXiv2019

Diattenuation Imaging reveals different brain tissue properties

When transmitting polarised light through histological brain sections, different types of diattenuation (polarisation-dependent attenuation of light) can be observed: In some brain regions, the light is minimally attenuated when it is polarised parallel to the nerve fibres (referred to as D+), in others, it is maximally attenuated (referred to as D-). The underlying mechanisms of these effects and their relationship to tissue properties were so far unknown. Here, we demonstrate in experimental studies that diattenuation of both types D+ and D- can be observed in brain tissue samples from different species (rodent, monkey, and human) and that the strength and type of diattenuation depend on the nerve fibre orientations. By combining finite-difference time-domain simulations and analytical modelling, we explain the observed diattenuation effects and show that they are caused both by anisotropic absorption (dichroism) and by anisotropic light scattering. Our studies demonstrate that the diattenuation signal depends not only on the nerve fibre orientations but also on other brain tissue properties like tissue homogeneity, fibre size, and myelin sheath thickness. This allows to use the diattenuation signal to distinguish between brain regions with different tissue properties and establishes Diattenuation Imaging as a valuable imaging technique.

physics.med-ph↗

arXiv2018

Massively parallel quantum computer simulator, eleven years later

A revised version of the massively parallel simulator of a universal quantum computer, described in this journal eleven years ago, is used to benchmark various gate-based quantum algorithms on some of the most powerful supercomputers that exist today. Adaptive encoding of the wave function reduces the memory requirement by a factor of eight, making it possible to simulate universal quantum computers with up to 48 qubits on the Sunway TaihuLight and on the K computer. The simulator exhibits close-to-ideal weak-scaling behavior on the Sunway TaihuLight,on the K computer, on an IBM Blue Gene/Q, and on Intel Xeon based clusters, implying that the combination of parallelization and hardware can track the exponential scaling due to the increasing number of qubits. Results of executing simple quantum circuits and Shor's factorization algorithm on quantum computers containing up to 48 qubits are presented.

quant-ph↗

arXiv2018

Quantum annealing with anneal path control: application to 2-SAT problems with known energy landscapes

We study the effect of the anneal path control per qubit, a new user control feature offered on the D-Wave 2000Q quantum annealer, on the performance of quantum annealing for solving optimization problems by numerically solving the time-dependent Schrödinger equation for the time-dependent Hamiltonian modeling the annealing problems. The anneal path control is thereby modeled as a modified linear annealing scheme, resulting in an advanced and retarded scheme. The considered optimization problems are 2-SAT problems with 12 Boolean variables, a known unique ground state and a highly degenerate first excited state. We show that adjustment of the anneal path control can result in a widening of the minimal spectral gap by one or two orders of magnitude and an enhancement of the success probability of finding the solution of the optimization problem. We scrutinize various iterative methods based on the spin floppiness, the average spin value, and on the average energy and describe their performance in boosting the quantum annealing process.

quant-ph↗

arXiv2018

Real-Time Dynamics of Typical and Untypical States in Non-Integrable Systems

For a class of typical states, the real-time and real-space dynamics of non-equilibrium density profiles has been recently studied for integrable models, i.e. the spin-1/2 XXZ chain [PRB 95, 035155 (2017)] and the Fermi-Hubbard chain [PRE 96, 020105 (2017)]. It has been found that the non-equilibrium dynamics agrees with linear response theory. Moreover, in the regime of strong interactions, clear signatures of diffusion have been observed. However, this diffusive behavior strongly depends on the choice of the initial state and disappears for untypical states without internal randomness. In the present work, we address the question whether or not the above findings persist for non-integrable models. As a first step, we study the spin-1/2 XXZ chain, where integrability can be broken due to an additional next-nearest neighbor interaction. Furthermore, we analyze the differences of typical and untypical initial states on the basis of their entanglement and their local density of states.

cond-mat.str-el↗

arXiv2017

Relaxation, thermalization and Markovian dynamics of two spins coupled to a spin bath

It is shown that by fitting a Markovian quantum master equation to the numerical solution of the time-dependent Schrödinger equation of a system of two spin-1/2 particles interacting with a bath of up to 34 spin-1/2 particles, the former can describe the dynamics of the two-spin system rather well. The fitting procedure that yields this Markovian quantum master equation accounts for all non-Markovian effects in as much the general structure of this equation allows and yields a description that is incompatible with the Lindblad equation.

physics.comp-ph↗

arXiv2017

Discrete-event simulation unmasks the quantum Cheshire Cat

It is shown that discrete-event simulation accurately reproduces the experimental data of a single-neutron interferometry experiment [T. Denkmayr {\sl et al.}, Nat. Commun. 5, 4492 (2014)] and provides a logically consistent, paradox-free, cause-and-effect explanation of the quantum Cheshire cat effect without invoking the notion that the neutron and its magnetic moment separate. Describing the experimental neutron data using weak-measurement theory is shown to be useless for unravelling the quantum Cheshire cat effect.

quant-ph↗

arXiv2017

Benchmarking gate-based quantum computers

With the advent of public access to small gate-based quantum processors, it becomes necessary to develop a benchmarking methodology such that independent researchers can validate the operation of these processors. We explore the usefulness of a number of simple quantum circuits as benchmarks for gate-based quantum computing devices and show that circuits performing identity operations are very simple, scalable and sensitive to gate errors and are therefore very well suited for this task. We illustrate the procedure by presenting benchmark results for the IBM Quantum Experience, a cloud-based platform for gate-based quantum computing.

quant-ph↗

arXiv2017

Finite-Difference Time-Domain Simulation for Three-dimensional Polarized Light Imaging

Three-dimensional Polarized Light Imaging (3D-PLI) is a promising technique to reconstruct the nerve fiber architecture of human post-mortem brains from birefringence measurements of histological brain sections with micrometer resolution. To better understand how the reconstructed fiber orientations are related to the underlying fiber structure, numerical simulations are employed. Here, we present two complementary simulation approaches that reproduce the entire 3D-PLI analysis: First, we give a short review on a simulation approach that uses the Jones matrix calculus to model the birefringent myelin sheaths. Afterwards, we introduce a more sophisticated simulation tool: a 3D Maxwell solver based on a Finite-Difference Time-Domain algorithm that simulates the propagation of the electromagnetic light wave through the brain tissue. We demonstrate that the Maxwell solver is a valuable tool to better understand the interaction of polarized light with brain tissue and to enhance the accuracy of the fiber orientations extracted by 3D-PLI.

physics.med-ph↗

arXiv2017

Analysis of Wigner's Set Theoretical Proof for Bell-type inequalities

We present a detailed analysis of the set theoretical proof of Wigner for Bell type inequalities with the following result. Wigner introduced a crucial assumption that is not related to Einstein's local realism, but instead, without justification, to the existence of certain joint probability measures for possible and actual measurement outcomes of Einstein-Podolsky-Rosen (EPR) experiments. His conclusions about Einstein's local realism are, therefore, not applicable to EPR experiments and the contradiction of the experimental outcomes to Wigner's results has no bearing on the validity of Einstein's local realism.

quant-ph↗

arXiv2016

From Boole to Leggett-Garg: Epistemology of Bell-type Inequalities

In 1862, George Boole derived an inequality for variables, now known as Boolean variables, that in his opinion represents a demarcation line between possible and impossible experience. This inequality forms an important milestone in the epistemology of probability theory and probability measures. In 1985 Leggett and Garg derived a physics related inequality, mathematically identical to Boole's, that according to them represents a demarcation between macroscopic realism and quantum mechanics. Their formalism, constructed for the magnetic flux of SQUIDS, includes general features and applies also to many other quantum experiments. We show that a wide gulf, a wide divide, separates the "sense impressions" and corresponding data, as well as the postulates of macroscopic realism, from the mathematical abstractions that are used to derive the inequality of Leggett-Garg. If the gulf can be bridged, one may indeed derive the said inequality, which is then clearly a demarcation between possible and impossible experience: it cannot be violated and is not violated by quantum theory. We deduce from this fact that a violation of the Leggett-Garg inequality does not mean that the SQUID-flux is not there when nobody looks, as Leggett-Garg suggest, but instead that the probability measures may not be what Leggett-Garg have assumed them to be, when no data can be secured that directly relate to them. We show that similar considerations apply to other well known quantum interpretation-puzzles including that of the two-slit experiment.

quant-ph↗

arXiv2016

Irrelevance of Bell's Theorem for experiments involving correlations in space and time: a specific loophole-free computer-example

John Bell is generally credited to have accomplished the remarkable "proof" that any theory of physics, which is both Einstein-local and "realistic" (counterfactually definite), results in a strong upper bound to the correlations that are measured in space and time. He thus predicts that Einstein-Podolsky-Rosen experiments cannot violate Bell- type inequalities. We present a counterexample to this claim, based on discrete-event computer simulations. Our model-results fully agree with the predictions of quantum theory for Einstein-Podolsky-Rosen-Bohm experiments and are free of the detection- or a coincidence-loophole.

physics.gen-ph↗

arXiv2016

Counterfactual Definiteness and Bell's Inequality

Counterfactual definiteness must be used as at least one of the postulates or axioms that are necessary to derive Bell-type inequalities. It is considered by many to be a postulate that is not only commensurate with classical physics (as for example Einstein's special relativity), but also separates and distinguishes classical physics from quantum mechanics. It is the purpose of this paper to show that Bell's choice of mathematical functions and independent variables implicitly includes counterfactual definiteness and reduces the generality of the physics of Bell-type theories so significantly that no meaningful comparison of these theories with actual Einstein-Podolsky-Rosen experiments can be made.

quant-ph↗

arXiv2015

A Jones matrix formalism for simulating three-dimensional polarized light imaging of brain tissue

The neuroimaging technique three-dimensional polarized light imaging (3D-PLI) provides a high-resolution reconstruction of nerve fibres in human post-mortem brains. The orientations of the fibres are derived from birefringence measurements of histological brain sections assuming that the nerve fibres - consisting of an axon and a surrounding myelin sheath - are uniaxial birefringent and that the measured optic axis is oriented in direction of the nerve fibres (macroscopic model). Although experimental studies support this assumption, the molecular structure of the myelin sheath suggests that the birefringence of a nerve fibre can be described more precisely by multiple optic axes oriented radially around the fibre axis (microscopic model). In this paper, we compare the use of the macroscopic and the microscopic model for simulating 3D-PLI by means of the Jones matrix formalism. The simulations show that the macroscopic model ensures a reliable estimation of the fibre orientations as long as the polarimeter does not resolve structures smaller than the diameter of single fibres. In the case of fibre bundles, polarimeters with even higher resolutions can be used without losing reliability. When taking the myelin density into account, the derived fibre orientations are considerably improved.

physics.med-ph↗