Researcher profile

Mihály Weiner

Mihály Weiner contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2023arXiv

Realization of an arbitrary structure of perfect distinguishability of states in general probability theory

Let $s_1,s_2,\ldots s_n$ be states of a general probability theory, and $\mathcal A$ be the set of all subsets of indices $H \subset [n]\equiv\{1,2,\ldots n\}$ such that the states $(s_j)_{j\in H}$ are jointly perfectly distinguishable. All subsets with a single element are of course in $\mathcal A$, and since smaller collections are easier to distinguish, if $H\in \mathcal A$ and $L \subset H$ then $L\in \mathcal A$; in other words, $\mathcal A$ is a so-called $\textit{independence system}$ on the set of indices $[n]$. In this paper it is shown that every independence system on $[n]$ can be realized in the above manner.

preprint2022arXiv

On entanglement assistance to a noiseless classical channel

For a classical channel, neither the Shannon capacity, nor the sum of conditional probabilities corresponding to the cases of successful transmission can be increased by the use of shared entanglement, or, more generally, a non-signaling resource. Yet, perhaps somewhat counterintuitively, entanglement assistance can help and actually elevate the chances of success even in a one-way communicational task that is to be completed by a single-shot use of a noiseless classical channel. To quantify the help that a non-signaling resource provides to a noiseless classical channel, one might ask how many extra letters should be added to the alphabet of the channel in order to perform equally well without the specified non-signaling resource. As was observed by Cubitt, Leung, Matthews, and Winter, there is no upper bound on the number of extra letters required for substituting the assistance of a general non-signaling resource to a noiseless one-bit classical channel. In contrast, here we prove that if this resource is a bipartite quantum system in a maximally entangled state, then an extra classical bit always suffices as a replacement.

preprint2021arXiv

A rigidity property of complete systems of mutually unbiased bases

Suppose that for some unit vectors $b_1,\ldots b_n$ in $\mathbb C^d$ we have that for any $j\neq k$ $b_j$ is either orthogonal to $b_k$ or $|\langle b_j,b_k\rangle|^2 = 1/d$ (i.e. $b_j$ and $b_k$ are unbiased). We prove that if $n=d(d+1)$, then these vectors necessarily form a complete system of mutually unbiased bases, that is, they can be arranged into $d+1$ orthonormal bases, all being mutually unbiased with respect to each other.

preprint2021arXiv

On the error exponents of binary state discrimination with composite hypotheses

The trade-off between the two types of errors in binary state discrimination may be quantified in the asymptotics by various error exponents. In the case of simple i.i.d. hypotheses, each of these exponents is equal to a divergence (pseudo-distance) of the two states. In the case of composite hypotheses, represented by sets of states $R,S$, one always has the inequality $\mathrm{e}(R\|S)\le \mathrm{E}(R\|S)$, where $\mathrm{e}$ is the exponent, $\mathrm{E}$ is the corresponding divergence, and the question is whether equality holds. The relation between the composite exponents and the worst pairwise exponents may be influenced by a number of factors: the type of exponents considered; whether the problem is classical or quantum; the cardinality and the geometric properties of the sets representing the hypotheses; and, on top of the above, possibly whether the underlying Hilbert space is finite- or infinite-dimensional. Our main contribution in this paper is clarifying this landscape considerably: We exhibit explicit examples for hitherto unstudied cases where the above inequality fails to hold with equality, while we also prove equality for various general classes of state discrimination problems. In particular, we show that equality may fail for any of the error exponents even in the classical case, if the system is allowed to be infinite-dimensional, and the alternative hypothesis contains countably infinitely many states. Moreover, we show that in the quantum case strict inequality is the generic behavior in the sense that, starting from any pair of non-commuting density operators of any dimension, and for any of the exponents, it is possible to construct an example with a simple null-hypothesis and an alternative hypothesis consisting of only two states, such that strict inequality holds for the given exponent.

preprint2012arXiv

Thermal States in Conformal QFT. I

We analyze the set of locally normal KMS states w.r.t. the translation group for a local conformal net A of von Neumann algebras on R. In this first part, we focus on completely rational net A. Our main result here states that, if A is completely rational, there exists exactly one locally normal KMS state ϕ. Moreover, ϕis canonically constructed by a geometric procedure. A crucial rôle is played by the analysis of the "thermal completion net" associated with a locally normal KMS state. A similar uniqueness result holds for KMS states of two-dimensional local conformal nets w.r.t. the time-translation one-parameter group.

preprint2010arXiv

A gap for the maximum number of mutually unbiased bases

A collection of pairwise mutually unbiased bases (in short: MUB) in d>1 dimensions may consist of at most d+1 bases. Such "complete" collections are known to exists in C^d when d is a power of a prime. However, in general little is known about the maximal number N(d) of bases that a collection of MUBs in C^d can have. In this work it is proved that a collection of d MUBs in C^d can be always completed. Hence N(d) cannot be d and when d>1 we have a dichotomy: either N(d)=d+1 (so that there exists a complete collection of MUBs), or N(d)\leq d-1. In the course of the proof an interesting new characterization is given for a linear subspace of M_d(C) to be a subalgebra.

preprint2010arXiv

An algebraic Haag's theorem

Under natural conditions (such as split property and geometric modular action of wedge algebras) it is shown that the unitary equivalence class of the net of local (von Neumann) algebras in the vacuum sector associated to double cones with bases on a fixed space-like hyperplane completely determines an algebraic QFT model. More precisely, if for two models there is unitary connecting all of these algebras, then --- without assuming that this unitary also connects their respective vacuum states or spacetime symmetry representations --- it follows that the two models are equivalent. This result might be viewed as an algebraic version of the celebrated theorem of Rudolf Haag about problems regarding the so-called "interaction-picture" in QFT. Original motivation of the author for finding such an algebraic version came from conformal chiral QFT. Both the chiral case as well as a related conjecture about standard half-sided modular inclusions will be also discussed.

preprint2010arXiv

On quasi-orthogonal systems of matrix algebras

In this work it is shown that certain interesting types of quasi-orthogonal system of subalgebras (whose existence cannot be ruled out by the trivial necessary conditions) cannot exist. In particular, it is proved that there is no quasi-orthogonal decomposition of M_n(C)\otimes M_n(C)\equiv M_{n^2}(C) into a number of maximal abelian subalgebras and factors isomorphic to M_n(C) in which the number of factors would be 1 or 3. In addition, some new tools are introduced, too: for example, a quantity c(A,B), which measures "how close" the subalgebras A,B \subset M_n(C) are to being quasi-orthogonal. It is shown that in the main cases of interest, c(A',B') - where A' and B' are the commutants of A and B, respectively - can be determined by c(A,B) and the dimensions of A and B. The corresponding formula is used to find some further obstructions regarding quasi-orthogonal systems.

preprint2010arXiv

On vector configurations that can be realized in the cone of positive matrices

Let $v_1$,..., $v_n$ be $n$ vectors in an inner product space. Can we find a natural number $d$ and positive (semidefinite) complex matrices $A_1$,..., $A_n$ of size $d \times d$ such that ${\rm Tr}(A_kA_l)= <v_k, v_l>$ for all $k,l=1,..., n$? For such matrices to exist, one must have $<v_k, v_l> \geq 0$ for all $k,l=1,..., n$. We prove that if $n<5$ then this trivial necessary condition is also a sufficient one and find an appropriate example showing that from $n=5$ this is not so --- even if we allowed realizations by positive operators in a von Neumann algebra with a faithful normal tracial state. The fact that the first such example occurs at $n=5$ is similar to what one has in the well-investigated problem of positive factorization of positive (semidefinite) matrices. If the matrix $(<v_k, v_l>)$ has a positive factorization, then matrices $A_1$,..., $A_n$ as above exist. However, as we show by a large class of examples constructed with the help of the Clifford algebra, the converse implication is false.