Source author record

Baoshan Wang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.GR math.RT quant-ph

Catalog footprint

Research overview

5works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

The Equivalence between Hardy-type paradox and Logical Contextuality

Hardy-type paradoxes offer elegant, inequality-free proof of quantum contextuality. In this work, we introduce a unified logical formulation for general Hardy-type paradoxes, which we term logical Hardy-type paradoxes. We prove that for any finite scenario, the existence of a logical Hardy-type paradox is equivalent to logical contextuality. Specially, strong contextuality is equivalent to logical Hardy-type paradoxes with success probability SP = 1. These results generalize prior work on (2,k,2), (2,2,d), and n-cycle scenarios, and resolve a misconception that such equivalence does not hold for general scenarios [1]. We analyse the logical Hardy-type paradoxes on the (2,2,2) and (2,3,3) Bell scenarios, as well as the Klyachko-Can-Binicioglu-Shumovsky (KCBS) scenario. We show that the KCBS scenario admits only one kind of Hardy-type paradox, achieving a success probability of SP \approx 10.56% for a specific parameter setting.

preprint2022arXiv

On the local rank of fusion systems

In this paper we define the notion of local rank for fusion systems so as to reformulate the Alperin's weight conjecture in the framework of block fusion systems following the work by Knörr and Robinson.

preprint2014arXiv

Rationality problem for transitive subgroups of S_8

For any field K and any transitive subgroup G of S_8, let G acts naturally on K(x_1, . . ., x_8) by permutations of the variables, we prove that under some minor conditions K(x_1, . . ., x_8)^G is always K-rational except G is A_8 or G is isomorphic to PGL(2, 7). We pay special attentions on the characteristic 2 cases.

preprint2013arXiv

Invariants of wreath products and subgroups of S_6

Let $G$ be a subgroup of $S_6$ , the symmetric group of degree 6. For any field $k$ , $G$ acts naturally on the rational function field $k(x_1,...,x_6)$ via $k$ -automorphisms defined by $σ\cdot x_i=x_{σ(i)}$ for any $σ\in G$ , any $1\le i\le 6$ . Theorem. The fixed field $k(x_1,...,x_6)^G$ is rational (=purely transcendental) over $k$ , except possibly when $G$ is isomorphic to $PSL_2(\bm{F}_5)$ , $PGL_2(\bm{F}_5)$ or $A_6$ . When $G$ is isomorphic to $PSL_2(\bm{F}_5)$ or $PGL_2(\bm{F}_5)$ , then $\bm{C}(x_1,...,x_6)^G$ is $\bm{C}$ -rational and $k(x_1,...,x_6)^G$ is stably $k$ -rational for any field $k$ . The invariant theory of wreath products will be investigated also.

preprint2013arXiv

Rational invariants for subgroups of S_5 and S_7

Let $G$ be a subgroup of $S_n$ , the symmetric group of degree $n$ . For any field $k$ , $G$ acts naturally on the rational function field $k(x_1,x_2,\ldots,x_n)$ via $k$ -automorphisms defined by $σ\cdot x_i=x_{σ(i)}$ for any $σ\in G$ , any $1\le i\le n$ . Theorem. If $n\le 5$ , then the fixed field $k(x_1,\ldots,x_n)^G$ is purely transcendental over $k$ . We will show that $\bm{C}(x_1,\ldots,x_7)^G$ is also purely transcendental over $\bm{C}$ if $G$ is any transitive subgroups of $S_7$ other than $A_7$ ; a similar result is valid for solvable transitive subgroups of $S_{11}$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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