Publications

Post-Selection-Free Quantum Automated Learning (in Preparation)

Author: Wang, Junkai; Deng, Dong-Ling; Liu, Jin-Peng.
[First author.]

First-author manuscript in preparation.

Summary: We identify post-selection as the central serial bottleneck of quantum automated learning (QAL) and show that projector-mixing QAL updates admit an explicit block-encoding with a certified success floor. This enables a branch-preserving fixed-point amplitude amplification wrapper that turns long training trajectories into a near-deterministic process with predictable query cost, and the same certified-floor logic extends to normalized imaginary-time protocols and a microcanonical-double lifting regime.

Recommended citation: Wang, Junkai; Deng, Dong-Ling; Liu, Jin-Peng. (2026). "Post-Selection-Free Quantum Automated Learning (in Preparation)." Manuscript in preparation.

LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)

Author: Xu, Rongge; Dai, Hui; Fu, Yiming; Jiang, Jiedong; Nie, Tianjiao; Wang, Hongwei; Wang, Junkai; Yang, Holiverse; Yang, Jiatong; Zhang, Zhi-Hao.
[Equal contributions; authors listed by surname.]

Preprint on arXiv (arXiv:2512.24796); preparing submission to ICML 2026.

Summary: First Lean benchmark dedicated to formal category theory: Statement-level Lean tasks across 8 clusters (e.g., adjunctions, limits-colimits, abelian categories, monads) to stress-test abstraction-heavy, library-mediated reasoning; tough baselines (8.25% pass@1 / 12.00% pass@4) expose the natural-to-formal bottleneck, and LeanBridge + Lean-Explore (retrieve-generate-verify with compiler feedback) improves performance on a subset.

Recommended citation: Xu, Rongge; Dai, Hui; Fu, Yiming; Jiang, Jiedong; Nie, Tianjiao; Wang, Hongwei; Wang, Junkai; Yang, Holiverse; Yang, Jiatong; Zhang, Zhi-Hao. (2025). "LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)." arXiv. arXiv:2512.24796. Preparing submission to ICML 2026.
Article Link

Quantum Gravity Meets DESI: Dynamical Dark Energy in Light of the Trans-Planckian Censorship Conjecture

Author: Li, Chunyu; Wang, Junkai; Zhang, Dongdong; Saridakis, Emmanuel N.; Cai, Yi-Fu.
[Co-first author responsible for the original idea and the theory; another responsible for the numerics.]

Published in Journal of Cosmology and Astroparticle Physics, 2025

Summary: Using DESI DR2 hints of evolving dark energy, the work shows alignment with the Swampland Transplanckian Censorship Conjecture and uses swampland TCC criteria to constrain EoS parameterizations (CPL/BA/JBP/EXP/LOG) and test modified gravity, implying viable scenarios must asymptotically transition to deceleration.

Recommended citation: Li, Chunyu; Wang, Junkai; Zhang, Dongdong; Saridakis, Emmanuel N.; Cai, Yi-Fu. (2025). "Quantum Gravity Meets DESI: Dynamical Dark Energy in Light of the Trans-Planckian Censorship Conjecture." Journal of Cosmology and Astroparticle Physics.
Article Link

Development of Gravity Theories in the View of TRAPPIST-1e

Author: Wang, Nan; Lu, Lu-Yao; Liu, Hui-Gen; Chen, An-Dong; Lu, Tiger; Cui, Ao-Ran; Wang, Jun-Kai.

Published in Research in Astronomy and Astrophysics, 2025

ISSN: 1674-4527; 2397-6209.

Summary: From a TRAPPIST-1e observer’s viewpoint, N-body integrations generate ephemerides and observable sky phenomena to assess what “discovering gravity” looks like in a compact exoplanet system; Keplerian regularities are readily testable, while relativistic effects (e.g., perihelion precession) are too small to stand out, suggesting GR would be hard to infer locally.

Recommended citation: Wang, Nan; Lu, Lu-Yao; Liu, Hui-Gen; Chen, An-Dong; Lu, Tiger; Cui, Ao-Ran; Wang, Jun-Kai. (2025). "Development of Gravity Theories in the View of TRAPPIST-1e." Research in Astronomy and Astrophysics. 25(1):015003.
Article Link

Form & Function: A Linguistic-Semiotic Investigation on Modern Physics

Author: Wang, Junkai. [Sole author.]

Published in 5th National Symposium on Philosophy of Physics, 2021

Conference paper presented at the 5th National Symposium on Philosophy of Physics, China.

Summary: As the youngest speaker to deliver a 30-min plenary talk, in this article we develop a compact framework for physics discourse using linguistic semiotics—Peirce’s sign–interpretant–object triad, Saussurean oppositions, and Hallidayan Systemic Functional Linguistics with multimodality—to model modern physics language as a structured, multimodal sign system. It operationalizes the framework via (i) a semiotic comparison of interpretations of quantum mechanics and (ii) an SFL/discourse analysis of Einstein’s 1905 On the Electrodynamics of Moving Bodies, yielding a reusable template for analyzing and standardizing scientific writing across languages.

Recommended citation: Wang, Junkai. (2021). "Form & Function: A Linguistic-Semiotic Investigation on Modern Physics." Conference paper, 5th National Symposium on Philosophy of Physics (China).