A new TQFT is conjectured to extend Reshetikhin-Turaev TQFT.
problem Extending TQFT to lower dimensions.
method Defining a symmetric monoidal (4,3)-category with duals from enriched multi-fusion categories.
result A conjectured extension of 1-2-3-dimensional TQFT to dimension zero.
In this paper we analyze supergeometric locally covariant quantum field theories. We develop suitable categories SLoc of super-Cartan supermanifolds, which generalize Lorentz manifolds in ordinary quantum field theory, and show that, starting from a few representation theoretic and geometric data, one can construct a f…
Quantizes Kähler manifolds using sheaves and differential operators.
problem Quantizing Kähler manifolds with sheaves and differential operators.
method Constructing a category enriched over sheaves of modules, defining quantizable morphisms, and showing equivalence to differential operator categories.
result Equivalence of quantized categories under certain conditions.
Novel cohomology theories for operadic algebras and spaces.
problem Formulating cohomology theories for operadic algebras.
method Using cotangent complex formalism and spectral Hochschild cohomology.
result Controlled cohomologies of operads and their algebras.
This work interprets supergravity as a super Cartan geometry linking it to Yang-Mills theory.
problem Geometric interpretation of supergravity and its relation to Yang-Mills theory.
method Using enriched categories and super Cartan geometries, the authors link supergravity to Yang-Mills theory.
result Non-extended D=4 supergravity naturally arises in this framework.
Spaces over BO are equivalent to thickened manifolds.
problem Understanding embeddings of manifolds in higher dimensions.
method Formal identification of manifolds with their thickened versions, using geometric constructions.
result The infinity-category of thickened smooth manifolds is equivalent to the infinity-category of finite spaces over BO.
There are two categorifications of the Jones polynomial: "even" discovered by M.Khovanov in 1999 and "odd" dicovered by P.Ozsvath, J.Rasmussen and Z.Szabo in 2007. The first one can be fully constructed in the category of cobordisms (strictly: in the additive closure of that category), where we can build a complex for …
The paper develops a framework for abstracting causal models using category theory.
problem Difficulties in changing the variables used to describe a system, especially from fine-grained to coarse-grained.
method Introduces a category of interventional causal models and uses enriched category theory to prove compositionality properties.
result Compositionality of model transformations is established, with bounded errors for each step.
DMRL improves UDA by mixing source and target samples and enriching latent space structures.
problem Lack of class-aware information and insufficient samples for domain-invariant feature extraction.
method Dual Mixup Regularized Learning (DMRL) that conducts category and domain mixup regularizations.
result DMRL achieves state-of-the-art performance on domain adaptation benchmarks.
This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra to define, in particular, the notion of a differential graded algebra in the wo…
Unified approach to homological representations of topological groups.
problem Constructing homological representations of topological groups.
method Functorial approach using topological enrichment of Quillen bracket construction.
result Unified construction of homological representations for mapping class groups and motion groups.
In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can be viewed as ∞-category-theoretic, as our framework is constructed in the …
Enhances machine learning interpretability using category theory.
problem Improving machine learning interpretability and social implementation.
method Develops a categorical framework for structured understanding of supervised learning.
result Introduces the Gauss-Markov Adjunction for clarifying residuals and parameters.
We consider mapping class groups Γ(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a connected summand then Γ(M) is independent of the number of boundary components. By repackagi…
Paper proves all Lagrangians unobstructed if one is, using non-archimedean analytic structure.
problem Proving the existence of bounding cochains for unobstructed Lagrangians.
method Introducing non-archimedean analytic structure and using family Floer techniques.
result All Lagrangians in a connected family are unobstructed if one is.
Enhances Floer homology for fibrations without simple connectivity assumption.
problem Applying Floer homology to fibrations without simple connectivity.
method Introduces stronger local systems and adapts construction to Hurewicz fibrations.
result Recover spectral sequence for fibrations without simple connectivity.
Study reduces memory needs for active learning with enriched queries.
problem Expensive labeling costs in active learning.
method Introduces bounded memory active learning through enriched queries, introduces lossless sample compression.
result Can learn classifiers with bounded memory and query optimality.
New cohomology functors refine classical invariants of homotopy types.
problem Classifying maps between specific spaces up to homotopy.
method Descriptive set theory applied to Čech cohomology.
result Definable cohomology functors are complete invariants of homotopy types.
DS2CF-Net learns hierarchical representations with deep coupled factorization and enriched prior.
problem Learning deep hierarchical representations from data.
method Dual-constrained Deep Semi-Supervised Coupled Factorization Network (DS2CF-Net) with enriched prior.
result DS2CF-Net achieves state-of-the-art performance in representation learning and clustering.
This expository article is an expanded version of talks given at the "Current Developments in Mathematics, 2002" conference. It gives an introduction to the (generalized) conjecture of Rapoport and Goresky-MacPherson which identifies the intersection cohomology of a real equal-rank Satake compactification of a locally …
This paper evaluates data enrichment techniques for rare event detection in manufacturing.
problem Rare events in manufacturing lead to unplanned downtime and high energy consumption.
method Time series data augmentation, sampling, and imputation techniques combined with supervised machine learning.
result Data enrichment enhances rare failure event detection and prediction by up to 48%.
This paper describes magnitude homology of metric spaces using order complexes.
problem Magnitude homology of metric spaces and order complexes.
method Using tensor products, direct sums, and degree shifts from order complexes of interval posets.
result Magnitude homology groups carry information about the diameter of a hole and can have torsion.
KANEL combines models for early hit enrichment in virtual screening.
problem Assessing model accuracy in chemical bioactivity predictions.
method Ensemble workflow using Kolmogorov-Arnold Networks (KANs) and other models.
result Improves early hit enrichment metrics like PPV@N.
DeGAN enriches data from related domains for future learning tasks.
problem Lack of relevant data for future learning tasks like Model Compression and Incremental Learning.
method Data-Enriching GAN (DeGAN) framework to retrieve representative samples from a trained classifier.
result State-of-the-art performance for Data-free Knowledge Distillation and Incremental Learning on benchmark datasets.
A new method for virtual drug screening detects top treatments.
problem Understanding model performance in virtual drug screening tasks.
method Regression Enrichment Surfaces (RES) method.
result RES detects more top-performing treatments than existing methods.
Study infinitesimal deformations of Lie algebroid pairs.
problem Infinitesimal deformations of Lie algebroid pairs.
method Investigate isomorphism classes of infinitesimal deformations of (L,A) modulo automorphisms from exponentials of derivations of L and those from the exponentials of inner derivations of L. result Find the associated governing L∞-algebras in the sense of extended deformation theory. Superhighway bypasses data sparsity in cross-domain CF.
problem Data sparsity in cross-domain collaborative filtering.
method Explicit relation-enrichment procedure to enhance cross-domain connectivity.
result Significantly improves recommendation performance in both target and source domains.
This paper introduces new invariants for time series analysis.
problem Analyzing the diversity and invariants of time series data.
method Introduces new invariants derived from the continuity of magnitude and maximum diversity.
result Demonstrates improved performance in machine learning experiments with real-world data.
Two machine learning methods for variational posteriors are shown to be mathematically equivalent.
problem Constructing flexible but tractable families of variational posteriors.
method Hierarchical variational models and auxiliary deep generative models.
result The two methods are mathematically equivalent.
The Lax-Hopf formula simplifies the value function of an intertemporal optimization (infinite dimensional) problem associated with a convex transaction-cost function which depends only on the transactions (velocities) of a commodity evolution: it states that the value function is equal to the marginal fonction of a fin…
Improves neural network performance by enriching training dataset.
problem Achieving worst-case performance guarantees in neural networks.
method Adapting training dataset during training to reduce worst-case violations.
result Improved worst-case performance guarantees in neural networks.
Geometric problems are usually formulated by means of (exterior) differential systems. In this theory, one enriches the system by adding algebraic and differential constraints, and then looks for regular solutions. Here we adopt a dual approach, which consists to enrich a plane field, as this is often practised in cont…
A new model finds patterns enriched in target datasets.
problem Discovering patterns in datasets without labeled data.
method Probabilistic model for contrastive latent variable learning.
result Model recovers interesting structure in target dataset.
Paper proposes a method to recover accurate labels from partially valid data in multi-label learning.
problem Tackles noisy supervision in multi-label learning with partially valid labels.
method Develops a two-stage method that estimates label enrichment and ground-truth confidences.
result Demonstrates improved performance over state-of-the-art PML methods.
cVAE enhances salient latent features using contrastive learning.
problem Identifying salient latent features in datasets with enriched variation.
method Contrastive Variational Autoencoder (cVAE) combining contrastive learning and deep generative models.
result cVAE effectively uncovers salient latent features across diverse datasets.
A new framework enriches variational family with auxiliary variables.
problem Challenges in maximizing ELBO with complex variational distributions.
method Proposes a novel framework using auxiliary variables to enrich variational family.
result Flexible inference model built from probabilistic mixture of simple variational posteriors.
Paper reviews neurolinguistics and language technologies, emphasizing mutual enrichment.
problem Understanding brain activity during language processing.
method Brain imaging studies and natural language representations.
result Development of brain-aware natural language representations.
The paper studies homology of tropical fans and introduces smoothness.
problem Homological properties of tropical fans and smoothness.
method Proposes a notion of smoothness in tropical geometry, proving the Hodge isomorphism theorem.
result Chow rings of smooth unimodular tropical fans are isomorphic to tropical cohomology rings.
Flowification enriches neural networks with an inverse pass and likelihood monitoring.
problem Neural networks lack an inverse pass and likelihood monitoring, limiting their generative capabilities.
method Introduce flowification, enriching neural networks with a stochastic inverse pass and likelihood monitoring.
result Certain neural network architectures can be enriched to fall under the generalized notion of a normalizing flow.
Study on women entrepreneurs' access to finance in France.
problem Inequalities in accessing external finance for women entrepreneurs in France.
method Quantitative approach using data from a representative sample of women entrepreneurs.
result Founder status affects access to external finance; increases success in fundraising but reduces bank finance.
Enhances LLMs for predicting stock movements by considering news dissemination and context.
problem Lack of consideration for news dissemination and insufficient contextual data in LLMs for stock price prediction.
method Clusters news for reach assessment, enriches prompts with specific data and instructions, fine-tunes an LLM using the dataset.
result Improves prediction accuracy by 8% compared to existing methods.
Enhanced tree-based classifiers use derivatives and geometry for better function classification.
problem Improving classification of high-dimensional time series data.
method Integrates Functional Data Analysis with tree-based ensemble techniques, leveraging derivative and geometric features.
result Significant improvements over traditional approaches in function classification.
BioBO optimizes gene perturbation design using Bayesian optimization with biological priors.
problem Efficient design of genomic perturbation experiments in drug discovery.
method Integrates Bayesian optimization with multimodal gene embeddings and enrichment analysis.
result Improves labeling efficiency by 25-40% and identifies top-performing perturbations more effectively.
Paper extends neural network method to irregular solutions in PDEs.
problem Solving irregular and data-enriched PDEs.
method Deep neural networks for numerical PDE solutions, extending to irregular and data-enhanced cases.
result Demonstrates ease and integration of large datasets in PDE modeling.
Regression, unlike classification, has lacked a comprehensive and effective approach to deal with cost-sensitive problems by the reuse (and not a re-training) of general regression models. In this paper, a wide variety of cost-sensitive problems in regression (such as bids, asymmetric losses and rejection rules) can be…
New categories for surfaces link to contact geometry.
problem Understanding contact structures on surfaces.
method Associate differential graded categories to surfaces.
result Homotopy category of these categories is triangulated.
Studies amenable category's monotonicity and its relation to topological complexity.
problem Monotonicity of amenable category for degree-one maps.
method Uses amenable covers and compares with topological complexity.
result Establishes a relation between amenable category and topological complexity.
Generative model learns conditional distributions on collective variable levels.
problem Modeling conditional probability distributions on collective variable levels.
method General and efficient learning approach, data enrichment strategy.
result Effective generative models on different level-sets of collective variables.