New construction of Turaev-Viro invariants invariant under Morita equivalence.
problem Constructing Turaev-Viro invariants invariant under Morita equivalence.
method Pivotal bicategory construction of spherical module categories.
result The invariant recovers the standard Turaev-Viro invariant and is independent of the skeleton.
A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twist, satisfying rigidity, ribbon, pivotality, and modularity conditions. We prove that the oriented 3-dimensional bordism bicategory of 1-, 2-…
The paper solves a problem in constructing a bicategory of algebra bundles.
problem Defining a well-defined composition law for algebra bundles over a smooth manifold.
method Developed a complete solution for a bicategory of algebra bundles, addressing non-invertible bimodules and non-semisimple algebras.
result A complete solution to the problem of constructing a bicategory of algebra bundles.
Equivalent bicategories constructed from action Lie groupoids.
problem Equivalence of bicategories constructed from action Lie groupoids.
method Localizing at equivariant weak equivalences, surjective submersive equivariant weak equivalences, and all weak equivalences.
result Weak equivalences between action Lie groupoids are isomorphic to compositions of nice forms of equivariant weak equivalences.
A bicategory approach to differential cohomology is presented. Based on the axioms of Bunke-Schick, a symmetric monoidal groupoid is associated to differential refinements of cohomology theories. It is proven that such differential refinements are unique up to equivalence of the corresponding symmetric monoidal groupoi…
Defines extended TQFTs using handle attachments.
problem Constructing extended topological quantum field theories (TQFTs).
method Finite presentation of cobordism symmetric monoidal bicategory using handle attachments and relations.
result Constructs a once extended TQFT from categorified TQFT and handle 2-morphisms.
We describe a bicategory (RedOrb) of reduced orbifolds in the framework of classical differential geometry (i.e. without any explicit reference to notions of Lie groupoids or differentiable stacks, but only using orbifold atlases, local lifts and changes of charts). In order to construct such a …
We construct a weak 2-functor from the bicategory of oriented tangles to a bicategory of Lagrangian cospans. This functor simultaneously extends the Burau representation of the braid groups, its generalization to tangles due to Turaev and the first-named author, and the Alexander module of 1 and 2-dimensional links.
Theory of 2-vector bundles for smooth manifolds developed.
problem Developing a comprehensive theory for 2-vector bundles over smooth manifolds.
method Based on bicategory of algebras, bimodules, and intertwiners; symmetric monoidal structures; classification via Cech cohomology.
result Unified framework for bundle gerbes and algebra bundles.
Quasifold groupoids and diffeological quasifolds are studied, showing an equivalence of categories.
problem Understanding the structure and equivalence of quasifold groupoids and diffeological quasifolds.
method Examining the category of diffeological quasifolds and the bicategory of quasifold groupoids, proving an equivalence of categories under certain conditions.
result Restricting to locally invertible morphisms and effective quasifold groupoids, the orbit space functor is an equivalence of categories.
Solves open problem on Lie groupoids equivalence.
problem Whether Lie groupoids Morita equivalent are diffeologically Morita equivalent.
method Localisation of 2-categories, anafunctors, Lie groupoids, diffeological groupoids.
result Two Lie groupoids diffeologically Morita equivalent are Morita equivalent in the Lie sense.
Extends 4D cornered skein theory to surfaces, proving gluing formulas.
problem Formulating gluing formulas for 4-manifolds with corners and boundaries.
method Develops a categorical framework and introduces bicategories for closed surfaces.
result Proves gluing formulas for categories associated with 3-manifolds with boundary.
Motivated by topology, we develop a general theory of traces and shadows for an endobicategory, which is a~pair: bicategory C and endobifunctor Σ:C→C. For a graded linear bicategory and a fixed invertible parameter q, we quantize this theory by using the endofunctor Σq such th…
We study (pre-)sheaves in bicategories on geometric categories: smooth manifolds, manifolds with a Lie group action and Lie groupoids. We present three main results: we describe equivariant descent, we generalize the plus construction to our setting and show that the plus construction yields a 2-stackification for 2-pr…
This thesis is divided into four chapters. The first chapter discusses the relationship between stacks on a site and groupoids internal to the site. It includes a rigorous proof of the folklore result that there is an equivalence between the bicategory of internal groupoids and the bicategory of geometric stacks. The s…
Adapts pivoting technique to circle homeomorphisms for proofs.
problem Probabilistic Tits alternative and exponential synchronization.
method Adapts Gou{ë}zel's pivoting technique.
result Different proofs of probabilistic Tits alternative and exponential synchronization.
We concretely construct a 2-categorically extended TQFT that extends the Reshetikhin-Turaev TQFT to cobordisms with corners. The source category will be a well chosen 2-category of decorated cobordisms with corners and the target bicategory will be the Kapranov-Voevodsky 2-vector spaces.
New pivoting strategy improves trace norm contraction in low-rank approximation.
problem Finding good low-rank approximations of symmetric, positive-definite matrices.
method Choosing rows with likelihood proportional to Aii2 for randomly pivoted partial Cholesky algorithm. result Same trace norm contraction result in Frobenius norm for improved pivoting strategy.
The paper discusses strictification and non-strictification of monoidal categories.
problem Transforming monoidal categories into strict or non-strict ones.
method Explicit models and 2-adjunctions for strictification and non-strictification.
result Strictification and non-strictification are part of a pair of free-forgetful 2-adjunctions.
New quadrature method using randomly pivoted Cholesky outperforms existing techniques.
problem Efficiently approximating integrals of functions in reproducing kernel Hilbert spaces.
method Nodes drawn by randomly pivoted Cholesky algorithm.
result Randomly pivoted Cholesky quadrature is fast and achieves comparable accuracy to more computationally intensive methods.
This paper categorifies Quinn's TQFTs and computes them for specific omega-groupoids.
problem Constructing and computing finite total homotopy TQFTs.
method Direct homotopy theoretical construction, categorification of Quinn's TQFTs, explicit computation for omega-groupoids.
result Categorification and explicit computation of Quinn's TQFTs for omega-groupoids.
New Morita equivalence for diffeological groupoids defined.
problem Defining Morita equivalence for diffeological groupoids.
method Developed diffeological groupoid actions, -bundles, and -bibundles; introduced principality; defined Hilsum-Skandalis tensor product.
result Biprincipal bibundles are weakly invertible in the bicategory DiffBiBund.
The study analyzes convergence rates for sparse pivotal estimators in high-dimensional regression.
problem Sparse pivotal estimation in high-dimensional regression problems.
method Theoretical analysis and comparison of non-smooth + non-smooth optimization problems, including smoothing techniques.
result Minimax sup-norm convergence rates for square-root Lasso-type estimators are derived.
Constructs 2-vector bundles and 2K-theory for Lie groupoids and 2-equivariant settings.
problem Developing a theory of 2-vector bundles and 2K-theory for Lie groupoids and their equivariant versions.
method Defines 2-vector bundles over Lie groupoids, constructs 2K-theory as Grothendieck completion, and proves classification theorems.
result Establishes an equivalence between homotopy categories of 2-vector bundles and simplicial maps, and computes 2-equivariant 2K-theories for specific Lie groups.
Paper reinterprets ARP algorithm and improves its analysis and speed.
problem Column subset selection in data analysis.
method Volume sampling and active learning connections, new analysis, rejection sampling.
result Faster implementations and new analysis for ARP algorithm.
Estimates proportions of LLM-generated text in mixed documents.
problem Estimating the proportion of text generated by a pre-specified LLM in mixed documents.
method Developed estimators for two observation regimes: full observation and pivotal reduction, and established sample complexity bounds.
result Full observation estimators require fewer samples than pivotal reduction estimators.
Develops graphical calculus for monoidal categories with twisted pivotal structures.
problem Constructing modules for surfaces with Morse functions or foliations.
method Graphical calculus and string nets for monoidal categories with twisted pivotal structures.
result Twisted string net modules assemble in an oriented categorified 2-TQFT.
Study on estimating Gumbel--Max watermark proportions in edited documents.
problem Estimating the proportion of a document generated from a watermarked LLM.
method Comparison of full observation and pivotal reduction observation regimes; development of estimators and information-theoretic lower bounds.
result Full observation yields a substantially smaller sample complexity compared to pivotal reduction.
We use techniques from functorial quantum field theory to provide a geometric description of the parity anomaly in fermionic systems coupled to background gauge and gravitational fields on odd-dimensional spacetimes. We give an explicit construction of a geometric cobordism bicategory which incorporates general backgro…
New algorithm improves plant breeding by clustering soybean genotypes more accurately and efficiently.
problem Low accuracy and high computational complexity in clustering plant genotypes.
method Spectral Clustering with Pivotal Sampling for phenotypic data.
result Our algorithm achieves substantially more accuracy than existing methods.
We extend the notion of an ambidextrous trace on an ideal (developed by the first two authors) to the setting of a pivotal category. We show that under some conditions, these traces lead to invariants of colored spherical graphs (and so to modified 6j-symbols).
We show how to integrate a weak morphism of Lie algebra crossed-modules to a weak morphism of Lie 2-groups. To do so we develop a theory of butterflies for 2-term L_infty algebras. In particular, we obtain a new description of the bicategory of 2-term L_infty algebras. We use butterflies to give a functorial constructi…
Constructs a representation of the string 2-group on a von Neumann algebra.
problem Establishing a categorified spinor representation of the string 2-group.
method Using the Morita bicategory of von Neumann algebras, specifically the hyperfinite type III_1 factor.
result Demonstrates a categorification of the spinor representation.
We give another definition of two-dimensional extended homotopy field theories (E-HFTs) with aspherical targets and classify them. When the target of E-HFT is chosen to be a K(G,1)-space, we classify E-HFTs taking values in the symmetric monoidal bicategory of algebras, bimodules, and bimodule maps by certain Frobeni…
Proposes using Wasserstein barycenter for better multilingual alignment.
problem Finding word-to-word translations between multiple languages without parallel data.
method Uses Wasserstein barycenter as a more informative pivot language, minimizing pairwise transportation costs.
result Demonstrates state-of-the-art performances on standard benchmarks.
PiVoT improves real-time multi-object detection and tracking in clutter.
problem Challenges in multi-object detection and tracking from noisy point clouds.
method Variational inference for fast, clutter-resilient multi-object tracking.
result Substantial performance improvement over existing Bayesian trackers.
In many real-world scenarios, an autonomous agent often encounters various tasks within a single complex environment. We propose to build a graph abstraction over the environment structure to accelerate the learning of these tasks. Here, nodes are important points of interest (pivotal states) and edges represent feasib…
Methods for prediction and tolerance intervals in non-normal models.
problem Constructing prediction and tolerance intervals for non-normal data.
method Two approaches: pivotal quantity approximation and confidence interval for mean.
result Intuitive, simple, efficient methods with proper operating characteristics.
Exact selective inference with randomization for Gaussian regression models.
problem Exact selective inference in Gaussian regression models.
method Introduces a pivot for exact selective inference with randomization, reducing the problem to a bivariate truncated Gaussian distribution.
result Our pivot leads to exact inference and produces narrower confidence intervals than related methods.
The classical Serre-Swan's theorem defines a bijective correspondence between vector bundles and finitely generated projective modules over the algebra of continuous functions on some compact Hausdorff topological space. We extend these results to obtain a correspondence between the category of representations of an et…
We give an explicit handy (and cocycle-free) description of the groupoid of weak maps between two crossed-modules in terms of certain digrams of groups which we we call a {\em butterflies}. We define composition of butterflies and this way find a bicategory that is naturally biequivalent to the 2-category of pointed ho…
Generalizes string-net modular functors to non-spherical categories.
problem Extending string-net models to non-spherical categories.
method Using non-semisimple string-nets and Drinfeld centers.
result Equivalence between string-net and Lyubashenko modular functors.
A string-net model associates a vector space to a surface in terms of graphs decorated by objects and morphisms of a pivotal fusion category modulo local relations. String-net models are usually considered for spherical fusion categories, and in this case the vector spaces agree with the state spaces of the correspondi…
Estimates watermarked content proportions in mixed-source texts.
problem Optimally estimating the proportion of watermarked content in texts with mixed sources.
method Casting the problem as estimating a proportion parameter in a mixture model based on pivotal statistics.
result Proposes efficient estimators for watermark proportion and shows their accuracy through evaluations.
Several techniques for domain adaptation have been proposed to account for differences in the distribution of the data used for training and testing. The majority of this work focuses on a binary domain label. Similar problems occur in a scientific context where there may be a continuous family of plausible data genera…
Develops a new framework for anomaly description in quantum field theories.
problem Anomalies in quantum field theories.
method Extended functorial field theories and symmetric monoidal bicategories.
result Explicit construction of anomaly 2-cocycles and 't Hooft anomalies.
New 4-manifold invariant defined from trisection diagrams.
problem Defining a new 4-manifold invariant from trisection diagrams.
method Algebraic data from bimodule categories and spherical fusion categories, described diagrammatically.
result Includes Hopf algebraic invariants and modular fusion category invariants.
PIVOT bridges Black-Scholes price and implied volatility spaces via a differentiable layer.
problem Lack of a differentiable interface between price and implied volatility spaces.
method Develops PIVOT, a differentiable layer that preserves LBR's forward pass and avoids backpropagation through branch logic, addressing singularity issues.
result PIVOT achieves high performance and accuracy, reducing price and implied volatility errors by up to 43.4% and 21.3% respectively.