SearcharxivSearch

arXiv subjects

Baoshan Wang

Publications and source records attributed to Baoshan Wang.

18 recordsLinked to original sources

A fast improved quasi-physical dynamic algorithm for efficient wireless coverage in convex polygonal regions

Deploying wireless nodes to maximize coverage area within a given region is an important challenge in wireless sensor networks, UAV path planning, base station placement and other industrial fields. This practical problem can be mathematically equivalent to an optimal circle covering problem. Although theoretical optimal configurations exist for simple cases in mathematics, the NP-hard nature of this problem makes it computationally prohibitive for complex polygons with numerous nodes. Existing approaches are usually designed for regular domains, while those applicable to irregular polygons often suffer from poor initialization, excessive coverage overlap and failure to constrain nodes within the boundary, leading to low coverage efficiency and long runtime. To address these issues, we propose an improved quasi-physical dynamic algorithm (IQPD) for wireless node deployment in arbitrary convex polygons. Our contributions are threefold: (1) proposing a structure-preserving initialization that maps a hexagonal close packing pattern into the target polygon via scaling and affine transformation, ensuring near-optimal initial node distribution; (2) constructing a refined virtual force model by incorporating friction and a radius-expansion optimization mechanism to reduce coverage area overlap; (3) developing a boundary encircling strategy leveraging normal and tangential gradients to reposition nodes deployed outside boundaries after initial optimization. Extensive experimental results demonstrate that our method consistently outperforms other new metaheuristic algorithms across diverse convex polygon shapes, including randomly generated data and real-world scenarios. Our method achieves the highest coverage rate and node utilization rate among all compared algorithms, greatly improving wireless coverage efficiency.

cs.CG

A Logical Formalism of Hardy-type Paradox

Hardy-type paradoxes provide elegant, inequality-free proofs of quantum contextuality. We introduce a unified logical formalism for these paradoxes, termed logical Hardy-type paradoxes. For any finite quantum scenario of ideal measurements, we prove that the existence of a logical Hardy-type paradox is equivalent to logical contextuality. Specifically, 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. We analyze logical Hardy-type paradoxes in the Mansfield and Klyachko-Can-Binicioglu-Shumovsky (KCBS) scenarios. In the KCBS scenario, we show that there is exactly one type of logical Hardy-type paradox, achieving SP\approx 10.56% for a specific parameter setting.

quant-ph

Classically Realizable Incompatibility

Incompatibility constitutes a fundamental aspect of quantum mechanics. However, not every quantum observable non-classical property arises from incompatibility, nor can all quantum scenarios be fully captured by incompatibility alone. Within the framework of partial Boolean algebra (pBA), we research the structural properties of incompatibility scenarios. We introduce a unified method to realize any incompatibility scenario via a classical game, and the construction is extendable to any scenario embeddable into a Boolean algebra. The exclusivity graph offers a precise characterization of incompatibility scenarios. We prove that every exclusivity graph is the atom graph of an exclusive pBA, which is embedded into a Boolean algebra. These results provide a necessary condition for exclusivity graphs and a sufficient condition for atom graphs.

quant-ph

An improved boundary-focused adaptive quadtree algorithm for circle-polygon intersection area approximation

In this paper, we present an improved numerical algorithm for computing the intersection area of multiple circles and a complex polygon efficiently. This geometric problem is fundamental to applications such as wireless sensor networks and base station deployment. The key idea is a curvature-multiplicity-guided adaptive sampling strategy that dynamically concentrates sampling points in geometrically complex boundary regions. The algorithm integrates three components: (i) adaptive quadtree partitioning, (ii) analytical integration via Green's theorem for cells intersecting a single circle, and (iii) curvature-multiplicity-guided Monte Carlo subsampling for cells intersecting multiple circles, where a minimum sample count and a constant factor are introduced into the sampling size. Theoretical analysis shows that the algorithm achieves O(1/ε3/2) computational complexity while maintaining an O(ε) error bound, improving upon the O(1/ε2) complexity of classical Monte Carlo and uniform grid methods for the same error tolerance ε. Numerical experiments on complex polygons, including synthetic data and real-world scenarios, demonstrate that our algorithm outperforms five classical methods in terms of relative error. Furthermore, parameter sensitivity analysis confirms that the algorithm is robust and could make it suited for practical applications such as wireless sensor network coverage estimation.

cs.CG

Hardy's Paradox for Yu-Oh Set Constructed by Logically Contextual Quantum States

Quantum contextuality is a fundamental nonclassical property of quantum systems, regarded as a key resource that demonstrates the computational and informational advantages of quantum over classical systems. Our present work aims to construct Hardy's paradoxes, a set of possibilistic conditions witnessing contextuality, for Yu-Oh set, which is the state-independent contextual quantum system with the least number of vectors. To achieve the aim, we systematically enumerate all logically contextual pure states on Yu-Oh set, and theoretically prove that no mixed states in this scenario are logically contextual. Based on the identified logically contextual quantum states, we construct 12 Hardy's paradoxes with identical success probability SP=11.1%. Furthermore, we present corresponding observables to experimentally witness these Hardy's paradoxes.

quant-ph

An Improved Quasi-Physical Dynamic Algorithm for Efficient Circular Coverage in Arbitrary Convex

The optimal circle coverage problem aims to find a configuration of circles that maximizes the covered area within a given region. Although theoretical optimal solutions exist for simple cases, the problem's NP-hard characteristic makes the problem computationally intractable for complex polygons with numerous circles. Prevailing methods are largely confined to regular domains, while the few algorithms designed for irregular polygons suffer from poor initialization, unmanaged boundary effects, and excessive overlap among circles, resulting in low coverage efficiency. Consequently, we propose an Improved Quasi-Physical Dynamic(IQPD) algorithm for arbitrary convex polygons. Our core contributions are threefold: (1) proposing a structure-preserving initialization strategy that maps a hexagonal close-packing of circles into the target polygon via scaling and affine transformation; (2) constructing a virtual force field incorporating friction and a radius-expansion optimization iteration model; (3) designing a boundary-surrounding strategy based on normal and tangential gradients to retrieve overflowing circles. Experimental results demonstrate that our algorithm significantly outperforms four state-of-the-art methods on seven metrics across a variety of convex polygons. This work could provide a more efficient solution for operational optimization or resource allocation in practical applications.

cs.CG

The logical structure of contextuality and nonclassicality

Quantum contextuality represents a fundamental form of nonclassicality in quantum mechanics. To provide a more complete characterization of nonclassical properties in quantum systems, we adopt a logical perspective and propose a mathematical framework based on exclusive partial Boolean algebras (epBAs). This framework enables a unified description of contextuality and nonclassicality across finite general, quantum, and classical systems. We establish a unified and minimal classical counterpart for any finite general system. Within this framework, we formalize major categories of quantum contextuality, demonstrating that: 12 projectors suffice to generate Kochen-Specker scenarios; 10 projectors suffice to witness state-independent contextuality; and 3 observables suffice to witness quantum contextuality. Finally, we prove that contextuality is a sufficient but not necessary condition for nonclassicality.

quant-ph

Event-based quantum contextuality theory

Fully revealing the mathmatical structure of quantum contextuality is a significant task, while some known contextuality theories are only applicable for rank-1 projectors. That is because they adopt the observable-based definitions. This paper overcomes the challenges faced by some known contextuality theories by establishing an event-based contextuality theory with exclusive partial Boolean algebra, which is used to describe the contextual systems with local consistency and exclusivity principle. Our theory provides a precise mathematical framework for quantum contextuality, which can handle the scenarios composed of general projectors, and introduces a more complete contextuality hierarchy. We conclude that the Kochen-Specker contextuality is equivalent to the state-independent strong contextuality for finite dimensional quantum systems. Therefore, when considering both the strength and proportion of contextual quantum states, Kochen-Specker contextuality is the strongest.

quant-ph

Atom graph, partial Boolean algebra and quantum contextuality

Partial Boolean algebra underlies the quantum logic as an important tool for quantum contextuality. We propose the notion atom graphs to reveal the graph structure of partial Boolean algebra for finite dimensional quantum systems by proving that (i) the partial Boolean algebras for quantum systems are determined by their atom graphs; (ii) the states on atom graphs can be extended uniquely to the partial Boolean algebras, and (iii) each exclusivity graph is an induced graph of an atom graph. (i) and (ii) show that the finite dimensional quantum systems are uniquely determined by their atom graphs. which proves the reasonability of graphs as the models of quantum experiments. (iii) establishes a connection between atom graphs and exclusivity graphs, and introduces a method to express the exclusivity experiments more precisely. We also present a general and parametric description for Kochen-Specker theorem based on graphs, which gives a type of non-contextuality inequality for KS contextuality.

quant-ph

Graph structure of quantum mechanics

The quantum mechanics is proved to admit no hidden-variable in 1960s, which means the quantum systems are contextual. Revealing the mathematical structure of quantum mechanics is a significant task. We develop the approach of partial Boolean algebra to characterize the contextuality theory with local consistency and exclusivity, and then prove that the finite dimensional quantum systems are determined by atoms using two graph structure theorems. We also generalize our work to infinite dimensional cases. Our conclusions indicate that the quantum mechanics is a graph-structured combination of multiple hidden-variable theories, and provide a precise mathematical framework for quantum contextuality.

quant-ph

Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators

The classical belief revision framework, as proposed by Alchourron, Gardenfors, and Makinson, involves the revision of a theory based on eight postulates. In this paper, we focus on the exploration of a revision theory grounded in quantum mechanics, referred to as the natural revision theory. There are two reasoning modes in quantum systems: static intuitionistic reasoning, which incorporates contextuality, and dynamic reasoning, which is achieved through projection measurement. We combine the advantages of two intuitionistic quantum logic frameworks, as proposed by D{ö}ring and Coecke, respectively. Our goal is to establish a truth-value assignment for intuitionistic quantum logic that not only aligns with the inherent characteristics of quantum mechanics but also supports truth-value reasoning. The natural revision theory is then investigated based on this approach. We introduce two types of revision operators that correspond to the two reasoning modes in quantum systems: static and dynamic revision. Furthermore, we highlight the distinctions between these two operators. Shifting away from classical revision paradigms, we consider the revision of consequence relations in intuitionistic quantum logic. We demonstrate how, within the natural revision theory framework, both revision operators collectively influence the consequence relations. Notably, the outcomes of revision process are impacted by the sequence in which these interweaved operators are deployed.

quant-ph

Intelligent Traffic Monitoring with Distributed Acoustic Sensing

Distributed Acoustic Sensing (DAS) is promising for traffic monitoring, but its extensive data and sensitivity to vibrations, causing noise, pose computational challenges. To address this, we propose a two-step deep-learning workflow with high efficiency and noise immunity for DAS-based traffic monitoring, focusing on instance vehicle trajectory segmentation and velocity estimation. Our approach begins by generating a diverse synthetic DAS dataset with labeled vehicle signals, tackling the issue of missing training labels in this field. This dataset is used to train a Convolutional Neural Network (CNN) to detect linear vehicle trajectories from the noisy DAS data in the time-space domain. However, due to significant noise, these trajectories are often fragmented and incomplete. To enhance accuracy, we introduce a second step involving the Hough transform. This converts detected linear features into point-like energy clusters in the Hough domain. Another CNN is then employed to focus on these energies, identifying the most significant points. The inverse Hough transform is applied to these points to reconstruct complete, distinct, and noise-free linear vehicle trajectories in the time-space domain. The Hough transform plays a crucial role by enforcing a local linearity constraint on the trajectories, enhancing continuity and noise immunity, and facilitating the separation of individual trajectories and estimation of vehicle velocities (indicated by trajectory slopes in the Hough domain). Our method has shown effectiveness in real-world datasets, proving its value in real-time processing of DAS data and applicability in similar traffic monitoring scenarios. All related codes and data are available at https://github.com/TTMuTian/itm/.

physics.geo-ph

Construction of multipartite unextendible product bases and geometric measure of entanglement of positive-partial-transpose entangled states

In quantum information theory, it is a fundamental problem to construct multipartite unextendible product bases (UPBs). We show that there exist two families UPBs in Hilbert space $\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^4$ by merging two different systems of an existing $7$-qubit UPB of size $11$. Moreover, a new family of $7$-qubit positive-partial-transpose (PPT) entangled states of rank $2^7-11$ is constructed. We analytically derive a geometric measure of entanglement of a special PPT entangled states. Also an upper bound are given by two methods.

quant-ph

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.

math.GR

Noether's problem for some subgroups of $S_{14}$: the modular case

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},\cdots,x_{n})$ via $k$-automorphisms defined by $σ\cdot x_{i}:=x_{σ\cdot i}$ for any $σ\in G$ and $1\leq i\leq n$. In this article, we will show that if $G$ is a solvable transitive subgroup of $S_{14}$ and $\text{char}(k)=7$, then the fixed subfield $k(x_{1},\cdots,x_{14})^{G}$ is rational (i.e., purely transcendental) over $k$. In proving the above theorem, we rely on the Kuniyoshi-Gaschütz Theorem or some ideas in its proof.

math.AG

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.

math.AG

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.

math.AG

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}$.

math.AG