Rigorous norm-tail smoothing and conditional ROM/QROM security reductions for fixed-target CoreFalcon signatures at Falcon-512/1024 parameters.

Covariance learning and finite-bit reconstruction for an explicit quadratic tensor functional-encryption family.

A theoretical analysis of shuffled lattice-signature residuals, with fixed-key identification bounds and conditional limits on repeated-transcript simulation in an augmented observation model.

Sharp robustness criteria and optimal certification costs for quantum operations from finite pure-state training sets.

Quantum memory thresholds for learning Pauli correlations of bounded weight and detecting preserved correlations, with proofs, reproducible checks, and a Watrous learning route.

Exact recovery probabilities for correlated BB84 bases, optimal basis randomness, noise and loss certificates, and quantum side-information limits, with encryption and key-recycling applications.

Exact linear-leakage laws for Module-LWE, an unconditional finite-batch reduction counterexample, and an even-modulus norm-parity obstruction with a matching Gaussian characterization.

One-bit leakage bounds for classical Shamir secret sharing with independent bipartite quantum sources on arbitrary networks and quantum side information.

Optimal quantum sensing with an unknown transverse noise direction: rate diversity restores Heisenberg scaling, with rigorous precision bounds and explicit protocols.

Matching bounds on the interventions needed to distinguish centered, drift-free Markovian noise from bounded-strength microscopic dynamics.

Exact and fault-tolerant compilation of Hopf differential frames: CNOT, T-count, depth and workspace bounds, with quantum backpropagation guarantees and reproducible checks.

Mode–force–time bounds for independent entangling gates mediated by shared harmonic buses, with phase-wrap-robust converses, explicit constructions, and a trapped-ion learning guide.

Logarithmic quantum-memory bounds for deterministic catalytic magic-state distillation, with exact marginal return, fixed noisy-input budgets, and a matching CCZ construction.

Optimal depth for Bell-pair preparation on a 1D chain with fixed local resources, ideal coherent control, and independent noisy measurement reports.

Exact classifiers and rank-dependent sample-complexity bounds for quantum learning from unknown subspace states.

Generic local qubit Hamiltonians admit no nonidentity exactly Gibbs-preserving operation on any proper subsystem, forcing full support for termwise physical Gibbs dynamics.

Classical communication converses for preparing GHZ states from unrestricted independent bipartite quantum resources, with collective strong bounds and exact costs for trees and hub networks.

Collective quantum purity testing under source noise: a general channel bound and an exact logarithmic noise budget for polynomial learnability.

Exact circuit-cutting costs under local memory resets and two-slot dephasing, with optimality proofs, causal constructions, and calibration bounds.

Query-optimal coherent Bures tomography and certified Holevo bounds for low-rank quantum sensing, with explicit oracle costs, conditioning limits, and exact rational verification.

Precision-dependent entanglement bounds for remote controlled quantum gates with one simultaneous exchange of classical messages.

Quantitative bounds on non-Clifford processing for noisy quantum memory, with sharp Clifford-only lifetime scaling and explicit coherent recovery constructions.

Precision limits and optimal scaling of coherent readout depth for quantum sensing with independent detector noise, with bounds for arbitrary probes and constructive decoding protocols.

Optimal workspace-depth tradeoffs for local quantum shifts: exact bounds for arbitrary fixed catalysts, robustness for product-pure work, and explicit nearest-neighbor circuits.

Exact support criteria and sharp recovery-error exponents for stabilizer syndrome measurements under coherent local rotations, with equal-parameter code families separated by one physical CNOT.

Optimal forward-only discrimination of promised quantum transitions using symmetric controls, with near-identity unitary bounds, fixed-step Hamiltonian guarantees, and explicit resource costs.

Sharp quantum query bounds for controlled noisy evolution, governed by entropy-decrease capacity, with channel stability proofs and matching two-qubit constructions.

Optimal outcome counts, polynomial rigidity, and statistical costs of universal entanglement detection using fixed collective quantum measurements.