SearcharxivSearch

arXiv subjects

Josef Svoboda

Publications and source records attributed to Josef Svoboda.

10 recordsLinked to original sources

Quantum Invariants and Fiberedness

We explore the topological significance of the Gukov-Manolescu knot series $F_K$. We show that the leading coefficient of $F_K$ is a monomial and express its exponent in terms of the Hopf invariant for all homogeneous braid knots, and for fibered knots up to 12 crossings. As an application, we deduce an explicit formula for the Hopf invariant in terms of colored Jones polynomials. For non-fibered strongly quasipositive knots, we study a relation between $F_K$ and the stability series of the colored Jones function, and explore similarities between $F_K$ and knot Floer homology. Finally, we propose a slope conjecture for $F_K$, relating it to the boundary slopes of the knot.

math.GT

Learning to Resolve Neutron Resonances with Fully Convolutional Neural Networks

This work investigates the feasibility of augmenting traditional R-Matrix codes with a robust machine learning framework for automatically detecting neutron resonances in transmission spectra. Neutron transmission data are often complex and noisy, making them difficult to analyze using traditional peak-identification methods. The state-of-the-art R-Matrix codes currently used by physicists to fit these data often depend on prior evaluations and require substantial manual effort. This preliminary study demonstrates a method for accelerating the post-experimental processing of neutron transmission data and reducing bias associated with dependence on prior evaluations. We employ a fully convolutional neural network to classify individual points as belonging to resonance or non-resonance regions in seven transmission spectra---two evaluated and five experimental. Although the model achieves classification accuracies in the range of 93\%, further analysis shows that this metric overstates its ability to generalize. Building on our prior analysis in PHYSOR 2026, we find that, despite the inclusion of additional training data, the method does not generalize reliably to previously unseen isotopes. To address these limitations, future work should evaluate whether a larger and more diverse training dataset can produce a generalizable model and should incorporate known physical characteristics of neutron resonances to improve model performance.

cs.LG

fkcompute: an efficient $F_K$ invariant calculator

We introduce fkcompute, an open-source package for computing the Gukov--Manolescu invariant of links from a braid presentation. fkcompute implements Park's inverted state sum through a three-phase pipeline. First, a search is performed for a suitable braid presentation and for an additional inversion data on the braid. Then, the state space of the inverted sum is encoded as a polytope, bounded by the associated linear constraint system. Finally, the invariant is constructed by multiplication of R-matrices associated to the states. Benchmarks show that prime knots up to 12 crossings, and prime links up to 10 crossings and of at most 3 components, are comfortably within reach. As a result, fkcompute is used to compile the first public database of the Gukov--Manolescu invariant. The package is available as a Python library, a command-line tool, and a Mathematica paclet.

math.GT

$Δ$ Invariants of Plumbed Manifolds

We study the minimal $q$-exponent $Δ$ in the BPS $q$-series $\widehat{Z}$ of negative definite plumbed 3-manifolds equipped with a spin$^{\rm c}$-structure. We express $Δ$ of Seifert manifolds in terms of an invariant commonly used in singularity theory. We provide several examples illustrating the interesting behaviour of $Δ$ for non-Seifert manifolds. Finally, we compare $Δ$ invariants with correction terms in Heegaard-Floer homology.

math.GT

Inverted Habiro Series and its Residues

We study the Gukov--Manolescu (GM) series of knots and the inverted Habiro series (IHS) proposed by S. Park. We give a new formula for IHS in terms of coefficients of the GM series and truncated theta functions. We prove a multiplication formula for IHS, constructing a natural ring, in analogy with work of Habiro. We study the residues of IHS and apply them to Dehn surgery formulas. We also give a curious relation between the asymptotics of the GM series at roots of unity and the Kashaev invariant.

math.GT

$\widehat{Z}$ and Splice Diagrams

We study quantum $q$-series invariants of 3-manifolds $\widehat{Z}_σ$ of Gukov-Pei-Putrov-Vafa, using techniques from the theory of normal surface singularities such as splice diagrams. We show that the (suitably normalized) sum of all $\widehat{Z}_σ$ depends only on the splice diagram, and in particular, it agrees for manifolds with the same universal abelian cover. We use these ideas to find simple formulas for $\widehat{Z}_σ$ invariants of Seifert manifolds. Applications include a better understanding of the vanishing of the $q$-series $\widehat{Z}_σ$. Additionally, we study moduli spaces of flat $\operatorname{SL}_2(\mathbb{C})$ connections on Seifert manifolds and their relation to spectra of surface singularities, extending a result of Boden and Curtis for Brieskorn spheres to Seifert rational homology spheres with 3 singular fibers and to Seifert homology spheres with any number of fibers.

math.GT

On the Impact of Monte Carlo Statistical Uncertainty on Surrogate-based Design Optimization

In multi-objective design tasks, the computational cost increases rapidly when high-fidelity simulations are used to evaluate objective functions. Surrogate models help mitigate this cost by approximating the simulation output, simplifying the design process. However, under high uncertainty, surrogate models trained on noisy data can produce inaccurate predictions, as their performance depends heavily on the quality of training data. This study investigates the impact of data uncertainty on two multi-objective design problems modelled using Monte Carlo transport simulations: a neutron moderator and an ion-to-neutron converter. For each, a grid search was performed using five different tally uncertainty levels to generate training data for neural network surrogate models. These models were then optimized using NSGA-III. The recovered Pareto-fronts were analyzed across uncertainty levels, and the impact of training data quality on optimization outcomes was quantified. Average simulation times were also compared to evaluate the trade-off between accuracy and computational cost. Results show that the influence of simulation uncertainty is strongly problem-dependent. In the neutron moderator case, higher uncertainties led to exaggerated objective sensitivities and distorted Pareto-fronts, reducing normalized hypervolume. In contrast, the ion-to-neutron converter task was less affected--low-fidelity simulations produced results similar to those from high-fidelity data. These findings suggest that a fixed-fidelity approach is not optimal. Surrogate models can still recover the Pareto-front under noisy conditions, and multi-fidelity studies can help identify the appropriate uncertainty level for each problem, enabling better trade-offs between computational efficiency and optimization accuracy.

stat.AP

Super AKSZ construction, integral forms, and the 2-dimensional $\mathcal N=(1,1)$ sigma model

We discuss a natural extension of the AKSZ construction to the case where the source is given by a supermanifold with a chosen integral form. We then focus on the special case with the target given by a Courant algebroid. In the simplest case this leads to the BV version of the super Chern-Simons theory, as developed by Grassi-Maccaferri and Cremonini-Grassi. In the case of exact Courant algebroids we derive the 2-dimensional $\mathcal N=(1,1)$ sigma model on the boundary, together with the Wess-Zumino term, paralleling the approach of Ševera in the bosonic case.

hep-th

Universal Quadratic Forms and Indecomposables over Biquadratic Fields

The aim of this article is to study (additively) indecomposable algebraic integers $\mathcal O_K$ of biquadratic number fields $K$ and universal totally positive quadratic forms with coefficients in $\mathcal O_K$. There are given sufficient conditions for an indecomposable element of a quadratic subfield to remain indecomposable in the biquadratic number field $K$. Furthermore, estimates are proven which enable algorithmization of the method of escalation over $K$. These are used to prove, over two particular biquadratic number fields $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ and $\mathbb{Q}(\sqrt{6}, \sqrt{19})$, a lower bound on the number of variables of a universal quadratic forms, verifying Kitaoka's conjecture.

math.NT

Universal quadratic forms over multiquadratic fields

For all positive integers $k$ and $N$ we prove that there are infinitely many totally real multiquadratic fields $K$ of degree $2^k$ over $\mathbb Q$ such that each universal quadratic form over $K$ has at least $N$ variables.

math.NT