相关论文: Blocking measures for asymmetric exclusion process…
Synchronization blockade refers to an interferometric cancellation of quantum synchronization. In this manuscript, we show how the choice of synchronization measure and Hamiltonian symmetries affect the discussion of synchronization…
Quantifying how distinguishable two stochastic processes are lies at the heart of many fields, such as machine learning and quantitative finance. While several measures have been proposed for this task, none have universal applicability and…
It is shown that different distinguishability measures impose different orderings on ensembles of $N$ pure quantum states. This is demonstrated using ensembles of equally-probable, linearly independent, symmetrical pure states, with the…
Quantum coherence, as a direct manifestation of the quantum superposition principle, is a crucial resource in quantum information processing. Block coherence resource theory generalizes the traditional coherence framework by defining…
We study a two-component asymmetric simple exclusion process (ASEP) that is equivalent to the ASEP with second-class particles. We prove self-duality with respect to a family of duality functions which are shown to arise from the reversible…
Clustering is an unsupervised technique of Data Mining. It means grouping similar objects together and separating the dissimilar ones. Each object in the data set is assigned a class label in the clustering process using a distance measure.…
Measurements are shown to be processes designed to return figures: they are effective. This effectivity allows for a formalization as Turing machines, which can be described employing computation theory. Inspired in the halting problem we…
The effect of quenched disorder in the one-dimensional asymmetric exclusion process is reviewed. Both particlewise and sitewise disorder generically induces phase separation in a range of densities. In the particlewise case the existence of…
The existence of incompatible measurements, i.e. measurements which cannot be performed simultaneously on a single copy of a quantum state, constitutes an important distinction between quantum mechanics and classical theories. While…
We prove a weak law of large numbers for a tagged particle in a totally asymmetric exclusion process on the one-dimensional lattice. The particles are allowed to take long jumps but not pass each other. The object of the paper is to…
A methodology for handling block-to-block coupling of nonconforming, multiblock summation-by-parts finite difference methods is proposed. The coupling is based on the construction of projection operators that move a finite difference grid…
A univariate clustering criterion for stationary processes satisfying a $\beta$-mixing condition is proposed extending the work of \cite{KB2} to the dependent setup. The approach is characterized by an alternative sample criterion function…
To our knowledge, all known bipartite entanglement measures are symmetric under exchange of subsystems. We ask if an entanglement measure that is not symmetric can exist. A related question is if there is a state that cannot be swapped by…
In this chapter we review some examples, methods, and recent results involving comparison of clustering properties of point processes. Our approach is founded on some basic observations allowing us to consider void probabilities and moment…
We study a system composed of two parallel totally asymmetric simple exclusion processes with open boundaries, where the particles move in the two lanes in opposite directions and are allowed to jump to the other lane with rates inversely…
In this paper we investigate the existence of solutions for a system consisting of two inequalities of variational type. Each inequality is formulated in terms of a nonlinear bifunction $\chi$ and $\psi$, respectively and a coupling…
We give a combinatorial description of the stationary measure for a totally asymmetric exclusion process (TASEP) with second class particles, on either Z or on the cycle Z_N. The measure is the image by a simple operation of the uniform…
One basic requirement of many studies is the necessity of classifying data. Clustering is a proposed method for summarizing networks. Clustering methods can be divided into two categories named model-based approaches and algorithmic…
In this paper we introduce a novel way to speed up the discovery of counterexamples in bounded model checking, based on parallel runs over versions of a system in which features have been randomly disabled. As shown in previous work, adding…
Model checking is the process of deciding whether a system satisfies a given specification. Often, when the setting comprises multiple processes, the specifications are over sets of input and output signals that correspond to individual…