arXiv subjects

Wei Qiang

Publications and source records attributed to Wei Qiang.

4 recordsLinked to original sources

arXiv2026

Synthesis of Compact and Expressive Quantum-Circuit Optimizations

Today's quantum devices are noisy, so reducing circuit size is critical for reliable execution. Existing rule-based optimizers often rely on large rule sets that are difficult to manage and still miss long-distance transformations. We present QSymb, a framework for synthesizing compact and expressive quantum-circuit rewrite rules with formal guarantees. We formalize symbolic rewrite rules in which a symbolic gate represents infinitely many subcircuits. We then define canonical symbolic rules of the form $L;S = S;R$ and prove that they constitute a compact generative core from which general symbolic rules can be derived. On top of this formal foundation, given a gate set, QSymb synthesizes (1) a small, non-derivable concrete rule set that is complete up to chosen size and qubit bounds, and (2) a small but expressive canonical symbolic rule set that captures transformations beyond finite or monomial-only patterns. We further present rule anchoring to derive optimization-effective rules from canonical symbolic rules. Together, these results provide both expressiveness and guarantees: soundness of synthesized rules via validation, non-derivability, and bounded completeness. On the IBM-Eagle gate set, QSymb strictly outperforms state-of-the-art rewrite-based optimizers (Qiskit, Guoq, Quartz, TKET, and Queso) in two-qubit-gate reduction on 90%, 67%, 82%, 85%, and 83% of standard quantum algorithm benchmarks, respectively; on Nam gate set, the corresponding rates are 88%, 74%, 81%, 86%, and 82.9%. It achieves final average two-qubit-gate reductions of 27.44% and 29.95%, respectively.

cs.PL↗

arXiv2026

Physically Motivated Knowledge Distillation for Blind Geometric Correction of Side-Scan Sonar Imagery

Side-scan sonar (SSS) imagery is susceptible to geometric distortions caused by platform motion instability, which degrade geometric consistency and limit downstream analyses such as mosaicking and perception. Conventional correction methods typically rely on navigation and attitude measurements, which are often unreliable in real ocean conditions. This unreliability necessitates blind geometric correction from a single distorted image, a highly ill-posed problem. To address this issue, we propose a physically motivated knowledge distillation framework for blind geometric correction of SSS imagery. Specifically, a teacher network is trained using paired distorted and geocoded reference images to learn distortion-related geometric differences, and this knowledge is transferred to a student network that performs correction using only a single distorted image during blind inference. To ensure physically plausible deformation estimation, we design a parametric decoder that represents distortions as row-wise affine transformations consistent with the SSS line-scanning imaging mechanism. To compensate for the absence of reference information during blind inference, a hallucination context module is introduced to approximate the teachers geometric reasoning from distorted features under a multi-level distillation scheme. In addition, a differentiable forward warping strategy is adopted to handle the non-bijective deformation characteristics of SSS imagery in an end-to-end manner. Extensive experiments on multiple datasets show that the proposed method outperforms state-of-the-art baselines and generalizes well across different platforms and acquisition conditions.

physics.ao-ph↗

arXiv2019

Some Experimental Results of Relieving Discomfort in Virtual Reality by Disturbing Feedback Loop in Human Brain

Recently, great progress has been made in virtual reality(VR) research and application. However, virtual reality faces a big problem since its appearance, i.e. discomfort (nausea, stomach awareness, etc). Discomfort can be relieved by increasing hardware (sensor, cpu and display) speed. But this will increase cost. This paper gives another low cost solution. The phenomenon of cybersickness is explained with the control theory: discomfort arises if feedback scene differs from expectation, so it can be relieved by disturbing feedback loop in human brain. A hardware platform is build to test this explanation. The VR display on a Samsung S6 is blurred while head movement is detected. The effect is evaluated by comparing responses to the Simulated Sickness Questionnaire (SSQ) between a control and experimental condition. Experimental results show that the new method can ease discomfort remarkably with little extra cost. As a result, VR may be used more widely in teaching (like foreign language, medicine). It's also reasonable to expect likewise merits in other VR applications.

cs.HC↗

arXiv2013

Microwave transmissions through superconducting coplanar waveguide resonators with different coupling configurations

We design and fabricate two types of superconducting niobium coplanar waveguide microwave resonators with different coupling capacitors on high purity Si substrates. Their microwave transmissions are measured at the temperatures of 20 mK. It is found that these two types of resonators possess significantly-different loaded quality factors; one is $5.6\times{10}^{3}$, and the other is $4.0\times{10}^{4}$. The measured data are fitted well by classical ABCD matrix approach. We found that the transmission peak deviates from the standard Lorentizian with a frequency broadening.

cond-mat.supr-con↗