Computer Science

Authors and titles for Dec 2025, skipping first 2600

[2601]  arXiv:2512.04497 (cross-list from quant-ph) [pdf, ps, other]

Title: QReach: A Reachability Analysis Tool for Quantum Markov Chains

Authors: Aochu Dai, Mingsheng Ying

Comments: 15 pages, 5 figures

Journal-ref: Computer Aided Verification (CAV 2024), LNCS 14683, 2024, pp. 520-532

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)

[2602]  arXiv:2512.04523 (cross-list from math.OC) [pdf, ps, other]

Title: An accelerated proximal bundle method for convex optimization

Authors: Feng-Yi Liao, Thomas Madden, Yang Zheng

Comments: 21 pages, 1 figure

Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

[2603]  arXiv:2512.04574 (cross-list from physics.flu-dyn) [pdf, ps, other]

Title: Can Explicit Subgrid Models Enhance Implicit LES Simulations? A GPU-Oriented High-Order-Solver Perspective

Authors: Gonzalo Rubio, Gerasimos Ntoukas, Miguel Chávez-Módena, Oscar Mariño, Bernat Font, Oriol Lehmkuhl, Eusebio Valero, Esteban Ferrer

Subjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)

[2604]  arXiv:2512.04642 (cross-list from q-bio.NC) [pdf, ps, other]

Title: Limit cycles for speech

Authors: Adamantios I. Gafos, Stephan R. Kuberski

Subjects: Neurons and Cognition (q-bio.NC); Computation and Language (cs.CL)

[2605]  arXiv:2512.04663 (cross-list from quant-ph) [pdf, ps, other]

Title: Fermionic neural Gibbs states

Authors: Jannes Nys, Juan Carrasquilla

Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Machine Learning (cs.LG); Computational Physics (physics.comp-ph)

[2606]  arXiv:2512.04671 (cross-list from physics.soc-ph) [pdf, ps, other]

Title: Evolutionary Dynamics Based on Reputation in Networked Populations with Game Transitions

Authors: Yuji Zhang, Minyu Feng, Jürgen Kurths, Attila Szolnoki

Comments: 13 pages

Journal-ref: IEEE Transactions on Signal and Information Processing over Networks, 2025, 1-13

Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI)

[2607]  arXiv:2512.04690 (cross-list from stat.ML) [pdf, ps, other]

Title: Recurrent Neural Networks with Linear Structures for Electricity Price Forecasting

Authors: Souhir Ben Amor, Florian Ziel

Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG)

[2608]  arXiv:2512.04696 (cross-list from stat.ML) [pdf, ps, other]

Title: Provable FDR Control for Deep Feature Selection: Deep MLPs and Beyond

Authors: Kazuma Sawaya

Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)

[2609]  arXiv:2512.04697 (cross-list from math.OC) [pdf, ps, other]

Title: Continuous-time reinforcement learning for optimal switching over multiple regimes

Authors: Yijie Huang, Mengge Li, Xiang Yu, Zhou Zhou

Comments: Keywords: Optimal regime switching, multiple regimes, continuous-time reinforcement learning, system of HJB equations, policy improvement, policy iteration convergence

Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Computational Finance (q-fin.CP)

[2610]  arXiv:2512.04710 (cross-list from quant-ph) [pdf, ps, other]

Title: Quantum-Inspired Optimization through Qudit-Based Imaginary Time Evolution

Authors: Erik M. Åsgrim, Ahsan Javed Awan

Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET)