Machine learning predicts arithmetic curve invariants with high accuracy.
problem Classifying arithmetic curves based on their invariants.
method Training machine learning algorithms on datasets of elliptic and genus 2 curves.
result High accuracy in classifying curves, including rank, torsion, and integral points.
BSD is a Bayesian framework for analyzing neural spectral data.
problem Challenges in statistical analysis and group-level comparisons of neural power spectra.
method Bayesian Spectral Decomposition (BSD) for parametric models of neural spectra.
result BSD outperforms existing methods in model selection and parameter estimation.
The wavelet scattering transform is an invariant signal representation suitable for many signal processing and machine learning applications. We present the Kymatio software package, an easy-to-use, high-performance Python implementation of the scattering transform in 1D, 2D, and 3D that is compatible with modern deep …
Data science reveals patterns in elliptic curve ranks and coefficients.
problem Understanding rational points on elliptic curves via BSD conjecture.
method Data science, machine learning, topological data analysis.
result Patterns and distributions in rank versus Weierstrass coefficients.
The paper defines contact invariants in bordered Floer homology.
problem Tackles contact invariants in bordered Floer homology.
method Defines contact invariants in bordered sutured Floer homology.
result Contact invariants derived in bordered sutured modules and bimodules.
Seglearn is an open-source python package for machine learning time series or sequences using a sliding window segmentation approach. The implementation provides a flexible pipeline for tackling classification, regression, and forecasting problems with multivariate sequence and contextual data. This package is compatib…
Pymc-learn is a Python package providing a variety of state-of-the-art probabilistic models for supervised and unsupervised machine learning. It is inspired by scikit-learn and focuses on bringing probabilistic machine learning to non-specialists. It uses a general-purpose high-level language that…
SMAC3 optimizes machine learning hyperparameters efficiently.
problem Optimizing hyperparameters for machine learning algorithms.
method Bayesian Optimization framework with facades for various use cases.
result Improves performance with minimal evaluations.
Today, artificial intelligence systems driven by machine learning algorithms can be in a position to take important, and sometimes legally binding, decisions about our everyday lives. In many cases, however, these systems and their actions are neither regulated nor certified. To help counter the potential harm that suc…
The problem of accurately measuring the similarity between graphs is at the core of many applications in a variety of disciplines. Graph kernels have recently emerged as a promising approach to this problem. There are now many kernels, each focusing on different structural aspects of graphs. Here, we present GraKeL, a …
Inverse Problems in medical imaging and computer vision are traditionally solved using purely model-based methods. Among those variational regularization models are one of the most popular approaches. We propose a new framework for applying data-driven approaches to inverse problems, using a neural network as a regular…
Framework evaluates AI proposals for drug discovery, finds no LLM advantage.
problem No principled framework exists for evaluating AI-guided scientific selection under budget constraints.
method Formally verified metric (BSDS/DQS) penalizes false discoveries and excessive abstention.
result LLMs provide no marginal value over existing classifiers in drug discovery.
Python package for functional data analysis.
problem Handling and analysis of functional data.
method Comprehensive tools for representation, preprocessing, and exploratory analysis of functional data.
result Scikit-fda package provides a comprehensive set of tools for functional data analysis.
We introduce the blind subspace deconvolution (BSSD) problem, which is the extension of both the blind source deconvolution (BSD) and the independent subspace analysis (ISA) tasks. We examine the case of the undercomplete BSSD (uBSSD). Applying temporal concatenation we reduce this problem to ISA. The associated `high …
Python package reduces hubness in high-dimensional data.
problem Hubness in high-dimensional data affects machine learning tasks.
method Hubness analysis, reduction, and approximate neighbor search.
result Improves neighbor retrieval and learning tasks in high dimensions.
A new method uses compressive autoencoders for image restoration.
problem Efficient regularization of inverse problems in computational imaging.
method Variational Bayes Latent Estimation (VBLE) with compressive autoencoders.
result VBLE achieves similar performance to state-of-the-art PnP methods but faster.
NUBO simplifies Bayesian optimization for researchers.
problem Optimizing expensive functions like experiments and simulations.
method Bayesian optimization using Gaussian processes and acquisition functions.
result Transparency and user-friendly design for easy access.
Abstract invariant cannot be expressed using various slice-torus invariants.
problem Cannot express Iida-Taniguchi's slice-torus invariant using other known invariants.
method Analysis of various known invariants and their properties.
result Iida-Taniguchi's slice-torus invariant cannot be realized as a linear combination of other invariants.
The θ invariant encompasses the Rozansky-Overbay invariant.
problem None explicitly stated in the abstract.
method Generalization of the Rozansky-Overbay invariant using the θ invariant. result The θ invariant recovers the Rozansky-Overbay invariant. Non-invariant complex structures on Lie groups are not biholomorphic to invariant ones.
problem Understanding non-invariant deformations of complex structures on Lie groups.
method Computed cohomologies to show non-biholomorphicity.
result Non-invariant complex structures are not biholomorphic to invariant ones.
Study of Bauer-Furuta invariants under Lie group actions and Galois coverings.
problem Investigating invariants of 4-manifolds under group actions and Galois coverings.
method Functorial approach to equivariant invariants and study in Galois covering situations.
result Ordinary invariants of quotients are determined by equivariant invariants of the covering manifold.
The Kuperberg invariant is shown to be gauge invariant for certain framed 3-manifolds.
problem Exploring gauge invariance of the Kuperberg invariant for specific 3-manifolds.
method Using hyperbolic 3-manifolds and finite-dimensional Hopf algebras.
result First examples of gauge invariants of general finite-dimensional Hopf algebras via topological methods.
New polynomial invariant distinguishes singular links.
problem Distinguishing singular links using existing invariants.
method Generalized quandle polynomial to singquandles and constructed a singular link invariant.
result New polynomial invariant distinguishes singular links with same counting invariant.
We show that the perturbative g invariant of rational homology 3-spheres can be recovered from the LMO invariant for any simple Lie algebra g, i.e, the LMO invariant is universal among the perturbative invariants. This universality was conjectured in [25]. Since the perturbative invariants dominate …
Paper introduces new invariant for pairs of immersions.
problem Understanding behavior of immersions through tangencies and triple points.
method Introduces J2+-invariant for oriented pairs of immersions, invariant under inverse tangencies and triple points. result Invariant changes under direct tangencies but remains invariant under orientation change and inverse tangencies.
Grid homology confirms the Upsilon invariant in knot theory.
problem Verifying the equivalence of Upsilon invariants in knot theory.
method Reconstructed Upsilon invariant using grid homology and proved equivalence.
result Upsilon invariants in knot Floer and grid homology are equivalent.
Constructs universal link invariants from intersections in configuration spaces.
problem Globalise topologically all coloured Jones polynomials and ADO polynomials.
method Defines new link invariants from graded intersections in configuration spaces.
result Recover all coloured Jones polynomials and ADO polynomials for links.
New invariant CWR for alternating links is stronger than existing invariants.
problem Developing a stronger invariant for alternating links.
method Introducing CWR invariant as an array of two-variable polynomials. result The CWR invariant is stronger than classical invariants like HOMFLYPT and Kauffman polynomials. Defines knot concordance invariant using instanton homology and Donaldson invariants.
problem Knot concordance and its classification.
method Defines an invariant φ for knots in the 3-sphere using Donaldson invariants and Floer's instanton homology. result The invariant φ coincides with a special case of an invariant defined by Froyshov. Combines combinatorial method to extend Milnor invariants to welded links.
problem Extending Milnor invariants to welded links.
method Combinatorial approach.
result Invariance of extended Milnor invariants for welded links.
New family of knots with epsilon invariant nonzero despite Upsilon and phi being zero.
problem Comparing smooth concordance invariants.
method Building an infinite family of knots.
result Found knots with epsilon invariant nonzero but Upsilon and phi zero.
Paper introduces a new invariant for virtual knotoids and proves it's a Vassiliev invariant of order one.
problem Tackles the problem of understanding invariants for virtual knotoids.
method Uses a 0-smoothing invariant constructed from local modifications at classical crossings.
result Demonstrates that the 0-smoothing invariant provides less information than the gluing invariant.
We construct two knot invariants. The first knot invariant is a sum constructed using linking numbers. The second is an invariant of flat knots and is a formal sum of flat knots obtained by smoothing pairs of crossings. This invariant can be used in conjunction with other flat invariants, forming a family of invariants…
As nilpotent studies in knot theory, we focus on invariants of Milnor, Orr, and Kontsevich. We show that the Orr invariant of degree k is equivalent to the tree reduction of the Kontsevich invariant of degree <2k. Furthermore, we will see a close relation between the Orr invariant and the Milnor invariant, and …
Formula connects surface and curve invariants via slice transitions.
problem Computing surface invariants from curve invariants.
method Introducing differential measures for local changes across singular slice transitions.
result Explicit formula for surface invariant change during quadruple-point events.
In this article we introduce a family of transverse invariants arising from the deformations of Khovanov homology. This family includes the invariants introduced by Plamenevskaya and by Lipshitz, Ng, and Sarkar. Then, we investigate the invariants arising from Bar-Natan's deformation. These invariants, called β-invar…
New concordance invariants phi and phi_j are defined and studied.
problem Understanding the relationships between different concordance invariants.
method Defined and analyzed new invariants phi and phi_j, and provided recursive formulas.
result Found infinitely many knots with specific combinations of zero and nonzero phi invariant.
We recall the definition of the quadratic helicity invariant and of the higher asymptotic ergodic M-invariant. We present a simpler new proof (in part) that the M-invariant is ergodic. The M-invariant is a higher invariant, this means that for the magnetic field with closed magnetic lines the invariant is not a f…
Defines new link-homotopy invariants using Milnor's higher order link invariants.
problem Link-homotopy invariants for link maps of multiple components.
method Uses Milnor's higher order link invariants and combinatorial theory of cut-diagrams.
result Provides practical algorithms to compute these invariants and detects families of examples.
New invariants for singular knots and links defined using shadow structures.
problem Defining invariants for singular knots and links.
method Introducing action of singquandles on sets and defining shadow counting and polynomial invariants.
result Enhanced shadow counting invariant for singular knots and links.
We discuss an universal bordism invariant obtained from the Atiyah-Patodi-Singer eta-invariant from the analytic and homotopy theoretic point of view. Classical invariants like the Adams e-invariant, ρ-invariants and String-bordism invariants are derived as special cases. The main results are a secondary index theo…
Paper calculates L-invariant and L*-invariant for complex surface sums.
problem Calculating invariants for complex surface sums.
method Using pants complexes and dual curve complexes.
result First example of arbitrary large invariants for bridge numbers.
Paper proves Rohlin invariant's uniqueness and extends homology sphere invariants.
problem Proving the uniqueness of Rohlin invariant and extending homology sphere invariants.
method Using the Rohlin invariant's uniqueness, the paper extends invariants from trivial 2-cocycles to those with 2-torsion.
result Generalized invariants of homology spheres with 2-torsion values.
The universal sl_2 invariant of string links has a universality property for the colored Jones polynomial of links, and takes values in the h-adic completed tensor powers of the quantized enveloping algebra of sl_2. In this paper, we exhibit explicit relationships between the universal sl_2 invariant and Milnor invaria…
We consider Milnor invariants for certain covering links as a generalization of covering linkage invariants formulated by R. Hartley and K. Murasugi. A set of Milnor invariants for covering links is a cobordism invariant of a link, and that this invariant can distinguish some links for which the ordinary Milnor invaria…
The study explores knot invariants using roots of unity.
problem Understanding knot invariants at roots of unity.
method Using Reshetikhin-Turaev method and generalizing ADO invariants.
result Clarified definitions and connections between different invariants.
Researchers prove birational invariance of BCOV invariant using motivic integration.
problem Proving the birational invariance of BCOV invariant for Calabi-Yau manifolds and varieties.
method Motivic integration theory applied to Calabi-Yau varieties with Kawamata log terminal singularities.
result Birational Calabi-Yau manifolds have the same BCOV invariant.
Power series invariant of hyperbolic 3-manifolds matches knot invariants.
problem Understanding topological invariants of hyperbolic 3-manifolds.
method Perturbative power series associated with ideally triangulated cusped hyperbolic 3-manifolds.
result The power series agrees with Kashaev and Andersen-Kashaev invariants to all orders.