Properties of Distributed Time Arc Petri Nets

In recent work we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. This formalism enables to model e.g. hardware architectures like GALS. We give a formal definition of process semantics for our model and investigate several properties of local versus global timing: expressiveness, reachability and coverability

Special Issue “Machine Learning in Insurance”

Learning in Insurance”, which represents a compilation of ten high-quality articles discussing avant-garde developments or introducing new theoretical or practical advances in this field

Hubbard model as an approximation to the entanglement in nanostructures

We investigate how well the one-dimensional Hubbard model describes the entanglement of particles trapped in a string of quantum wells. We calculate the average single-site entanglement for two particles interacting via a contact interaction and consider the effect of varying the interaction strength and the interwell distance. We compare the results with the ones obtained within the one-dimensional Hubbard model with on-site interaction. We suggest an upper bound for the average single-site entanglement for two electrons in M wells and discuss analytical limits for very large repulsive and attractive interactions. We investigate how the interplay between interaction and potential shape in the quantum-well system dictates the position and size of the entanglement maxima and the agreement with the theoretical limits. Finally, we calculate the spatial entanglement for the quantum-well system and compare it to its average single-site entanglement

Optimal control, geometry, and quantum computing

We prove upper and lower bounds relating the quantum gate complexity of a unitary operation, U, to the optimal control cost associated to the synthesis of U. These bounds apply for any optimal control problem, and can be used to show that the quantum gate complexity is essentially equivalent to the optimal control cost for a wide range of problems, including time-optimal control and finding minimal distances on certain Riemannian, subriemannian, and Finslerian manifolds. These results generalize the results of Nielsen, Dowling, Gu, and Doherty, Science 311, 1133-1135 (2006), which showed that the gate complexity can be related to distances on a Riemannian manifoldComment: 7 Pages Added Full Names to Author

Behavior of quantum entropies in polaronic systems

Quantum entropies and state distances are analyzed in polaronic systems with short range (Holstein model) and long range (Fr$\ddot{o}$hlich model) electron-phonon coupling. These quantities are extracted by a variational wave function which describes very accurately polaron systems with arbitrary size in all the relevant parameter regimes. With the use of quantum information tools, the crossover region from weak to strong coupling regime can be characterized with high precision. Then, the linear entropy is found to be very sensitive to the range of the electron-phonon coupling and the adiabatic ratio. Finally, the entanglement entropy is studied as a function of the system size pointing out that it not bounded, but scales as the logarithm of the size either for weak electron-phonon coupling or for short range interaction. This behavior is ascribed to the peculiar coupling induced by the single electron itinerant dynamics on the phonon subsystem.Comment: 4 figures, to be published in Phys. Rev.

Recognizing Small-Circuit Structure in Two-Qubit Operators and Timing Hamiltonians to Compute Controlled-Not Gates

This work proposes numerical tests which determine whether a two-qubit operator has an atypically simple quantum circuit. Specifically, we describe formulae, written in terms of matrix coefficients, characterizing operators implementable with exactly zero, one, or two controlled-not (CNOT) gates and all other gates being one-qubit. We give an algorithm for synthesizing two-qubit circuits with optimal number of CNOT gates, and illustrate it on operators appearing in quantum algorithms by Deutsch-Josza, Shor and Grover. In another application, our explicit numerical tests allow timing a given Hamiltonian to compute a CNOT modulo one-qubit gates, when this is possible.Comment: 4 pages, circuit examples, an algorithm and a new application (v3

Efimov states in asymmetric systems

The conditions for occurrence of the Efimov effect is briefly described using hyperspherical coordinates. The strength of the effective hyperradial $\rho^{-2}$ potential appearing for two or three large scattering lengths is computed and discussed as function of two independent mass ratios of the three constituent particles. The effect is by far most pronounced for asymmetric systems with three very different masses. One Efimov state may by chance appear in nuclei. Many states could be present for systems with one electron and two neutral atoms or molecules. Estimates of the number of states and their sizes and energies are given.Comment: 7 pages, 3 figure

Collisional transport across the magnetic field in drift-fluid models

Drift ordered fluid models are widely applied in studies of low-frequency turbulence in the edge and scrape-off layer regions of magnetically confined plasmas. Here, we show how collisional transport across the magnetic field is self-consistently incorporated into drift-fluid models without altering the drift-fluid energy integral. We demonstrate that the inclusion of collisional transport in drift-fluid models gives rise to diffusion of particle density, momentum and pressures in drift-fluid turbulence models and thereby obviate the customary use of artificial diffusion in turbulence simulations. We further derive a computationally efficient, two-dimensional model which can be time integrated for several turbulence de-correlation times using only limited computational resources. The model describes interchange turbulence in a two-dimensional plane perpendicular to the magnetic field located at the outboard midplane of a tokamak. The model domain has two regions modeling open and closed field lines. The model employs a computational expedient model for collisional transport. Numerical simulations show good agreement between the full and the simplified model for collisional transport

Entanglement Measure for Composite Systems

A general description of entanglement is suggested as an action realized by an arbitrary operator over given disentangled states. The related entanglement measure is defined. Because of its generality, this definition can be employed for any physical systems, pure or mixed, equilibrium or nonequilibrium, and characterized by any type of operators, whether these are statistical operators, field operators, spin operators, or anything else. Entanglement of any number of parts from their total ensemble forming a multiparticle composite system can be determined. Interplay between entanglement and ordering, occurring under phase transitions, is analysed by invoking the concept of operator order indices.Comment: 6 pages, Revte