相关论文: Universal Witnesses for State Complexity of Boolea…

In this contribution I review the connection between compact stars and high-baryon density matter, focusing on astrophysical observables for deconfinement to quark matter. I discuss modern ingredients, repositories, and constraints for the…

An entanglement witness is an observable detecting entanglement for a subset of states. We present a framework that makes an entanglement witness twice as powerful due to the general existence of a second (lower) bound, in addition to the…

We study the basic regular expression intersection testing problem, which asks to determine whether the intersection of the languages of two regular expressions is nonempty. A textbook solution to this problem is to construct the…

In this article we prove three obstruction results on the existence of equations of state in clusters of stellar systems fulfilling mass-radius relationships and some additional bound (on the mass, on the radius or a causal bound). The…

It is known that the witness operator is useful in the detection and quantification of entangled states. This motivated us for the construction of the family of witness operators that can detect many mixed entangled states. This family of…

For any bipartite systems, a universal entanglement witness of rank-4 for pure states is obtained and a class of finite rank entanglement witnesses is constructed. In addition, a method of detecting entanglement of a state only by entries…

The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions) is presented. Since state complexity is a property of a language, it is…

We derive an experimentally observable lower bound on concurrence of mixed quantum states in terms of an entanglement witness, relating measurements on single states with those on two copies.

Descriptional complexity is the study of the conciseness of the various models representing formal languages. The state complexity of a regular language is the size, measured by the number of states of the smallest, either deterministic or…

As some of the most compact stellar objects in the universe, neutron stars are unique cosmic laboratories. The study of neutron stars provides an ideal theoretical testbed for investigating both physics at supra-nuclear densities as well as…

In this work we construct an automaton for the commutative closure of a given regular group language. The number of states of the resulting automaton is bounded by the number of states of the original automaton, raised to the power of the…

The entanglement quantified by negativity of pure bipartite superposed states is studied. We show that if the entanglement is quantified by the concurrence two pure states of high fidelity to one another still have nearly the same…

We obtain a necessary and sufficient condition for a finite set of states of a finite dimensional multiparticle quantum system to be amenable to unambiguous discrimination using local operations and classical communication. This condition…

A language L is prefix-closed if, whenever a word w is in L, then every prefix of w is also in L. We define suffix-, factor-, and subword-closed languages in the same way, where by subword we mean subsequence. We study the quotient…

Determining the equation of state of matter at nuclear density and hence the structure of neutron stars has been a riddle for decades. We show how the imminent detection of gravitational waves from merging neutron star binaries can be used…

We provide a way to ease the verification of programs whose state evolves monotonically. The main idea is that a property witnessed in a prior state can be soundly recalled in the current state, provided (1) state evolves according to a…

The diversity product and the diversity sum are two very important parameters for a good-performing unitary space time constellation. A basic question is what the maximal diversity product (or sum) is. In this paper we are going to derive…

We present an approach to estimate the operational distinguishability between an entangled state and any separable state directly from measuring an entanglement witness. We show that this estimation also implies bounds on a variety of other…

Entanglement characteristics of a pair coherent state is studied using entanglement of superposition. It is demonstrated only few states in the expansion of a pair coherent state, in a harmonic oscillator basis, contribute significantly to…

The question under what conditions different witnesses may detect some entangled states simultaneously is answered for both finite- and infinite-dimensional bipartite systems. Finite many different witnesses can detect some entangled states…