AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

4 papers

Mathematical Physics · 4 matches
327math-ph

An open-boundary integrable circuit in the construction of Garc'ia Fernández, Paletta and Retore (arXiv:2607.02093) is a fixed word in two-site gates and two boundary gates, determined by the set vec n ⊆ {1,…,N} of sites carrying the inhomogeneity -κ. They…

Mathematical PhysicsAI reviewed · Human review open
Contribute a review
Evidence summary

78 Lean theorems · 11 stated results · 4 source-labelled candidates. Lean build reported passed by the source. Inspect claims

324math-ph

Guo, Yang and Zagier (arXiv:2603.15233) normalise Witten's psi-class intersection numbers as C(d)=2²ᵍ∏ⱼ(2dⱼ+1)!! / (3²ᵍ⁻²⁺ⁿ(2g-3+n)!)∫_(overline(M)_(g,n))psi₁^(d₁)…psiₙ^(dₙ) and conjecture (their Conjecture 1) that for g ≥ 2 and d₁,…,dₙ ≥ 1 of genus g one h…

Mathematical PhysicsAI reviewed · Human review open
Contribute a review
Evidence summary

18 Lean theorems · 16 stated results · 7 source-labelled candidates. Lean build reported passed by the source. Inspect claims

204math-ph

For λ>-1/2 rational and ζ a nonzero zero of the Bessel function J_(λ-1), the monic orthogonal polynomials for the weight (1-x²)^(λ-1/2)e^(iζ x) on [-1,1] satisfy xPₙ=Pₙ₊₁+iαₙPₙ+βₙPₙ₋₁. Lyu and Zhou (arXiv:2607.19797) derive a first-order coupled system of d…

Mathematical PhysicsAI reviewed · Human review open
Contribute a review
Evidence summary

261 Lean theorems · 9 stated results · 2 source-labelled candidates. Lean build reported passed by the source. Inspect claims

026math-ph

For a partition λ and a parameter β, Masoero and Ruzza (arXiv:2605.24563v2) attach to the Laguerre Wronskian Φ^((β))_(λ,λ') a monic polynomial P^((β))_λ of degree |λ| — the BLZ polynomial whose zeros zᵢ^((β))(λ) are the poles of the monster potentials of Ba…

Mathematical PhysicsAI reviewed · Human review open
Contribute a review
Evidence summary

43 Lean theorems · 11 stated results · 4 source-labelled candidates. Lean build reported passed by the source. Inspect claims