arXiv research

Paper proposes CNE-net to tackle incremental learning in (T)ACSA tasks.

Characterizes quasi-isometric embeddings in coarsely Lipschitz category.

Modern deep learning-based recommendation systems exploit hundreds to thousands of different categorical features, each with millions of different categories ranging from clicks to posts. To respect the natural diversity within the categorical data, embeddings map each category to a unique dense representation within a…

Diffeological submanifolds are a new type of submanifold in manifold theory.

Study of embedding calculus using infinite operads.

New criteria for Cantor set tameness and wildness via projections.

Spaces over BO are equivalent to thickened manifolds.

New research shows larger language models improve data processing for diverse entries.

It is known that every ribbon category with unimodality allows symmetrized $6j$-symbols with full tetrahedral symmetries while a spherical category does not in general. We give an explicit counterexample for this, namely the category $\mathcal{E}$. We define the mirror conjugate symmetry of $6j$-symbols instead and sho…

The principal objective in this paer is to study the relationship between the old kingdom of differential geometry (the category of smooth manifolds) and its new kingdom (the category of functors on the category of Weil algebras to some smooth category). It is shown that the canonical embedding of the old kingdom into …

Building behavior profiles of Android applications (apps) with holistic, rich and multi-view information (e.g., incorporating several semantic views of an app such as API sequences, system calls, etc.) would help catering downstream analytics tasks such as app categorization, recommendation and malware analysis signifi…

The paper studies which branched covers can be lifted to braided embeddings.

New categories from TQFTs interpret skein relations.

Extends Gelfand duality to various geometric and analytical categories.

This is a survey on two closely related subjects. First, we review the study of topological structure of `finite type' components of spaces of Bridgeland's stability conditions on triangulated categories. The key is to understand Happel-Reiten-Smalo tilting as tiling of cells. Second, we review topological realizations…

In this paper I define certain interesting 2-functors from the Khovanov-Lauda 2-category which categorifies quantum sl(k), for any k>1, to a 2-category of universal sl(3) foams with corners. For want of a better name I use the term "foamation" to indicate those 2-functors. I conjecture the existence of similar 2-functo…

We prove that the algebra of singular cochains on a smooth manifold, equipped with the cup product, is equivalent to the A-infinity structure on the Lagrangian Floer cochain group associated to the zero section in the cotangent bundle. More generally, given a pair of smooth manifolds of the same dimension with embeddin…

On a Weinstein manifold, we define a constructible co/sheaf of categories on the skeleton. The construction works with arbitrary coefficients, and depends only on the homotopy class of a section of the Lagrangian Grassmannian of the stable symplectic normal bundle. The definition is as follows. Take any, possibly high …

We discuss the concept of Galois structure and Galois epimorphism in a general setting. Namely, a Galois structure for an epimorphism $π\colon M\to B$ in some category ${\mathcal C}$ is the action of a group object that gives to $M$ the structure of principal homogeneous space in the relative category ${\mathcal C}_B$.

Informally, ${\mathbb Z}_2^n$-manifolds are 'manifolds' with ${\mathbb Z}_2^n$-graded coordinates and a sign rule determined by the standard scalar product of their ${\mathbb Z}_2^n$-degrees. Such manifolds can be understood in a sheaf-theoretic framework, as supermanifolds can, but with significant differences, in par…

This paper focuses on a new task, i.e., transplanting a category-and-task-specific neural network to a generic, modular network without strong supervision. We design an functionally interpretable structure for the generic network. Like building LEGO blocks, we teach the generic network a new category by directly transp…

This paper proposes a zero-shot learning approach for audio classification based on the textual information about class labels without any audio samples from target classes. We propose an audio classification system built on the bilinear model, which takes audio feature embeddings and semantic class label embeddings as…

Given Poincare spaces M and X, we study the possibility of compressing embeddings of M x I in X x I down to embeddings of M in X. This results in a new approach to embedding in the metastable range both in the smooth and Poincare duality categories.

This paper focuses on a new task, i.e., transplanting a category-and-task-specific neural network to a generic, modular network without strong supervision. We design a functionally interpretable structure for the generic network. Like building LEGO blocks, we teach the generic network a new category by directly transpl…

Galatius, Madsen, Tillmann and Weiss have identified the homotopy type of the classifying space of the cobordism category with objects (d-1)-dimensional manifolds embedded in R^\infty. In this paper we apply the techniques of spaces of manifolds, as developed by the author and Galatius, to identify the homotopy type of…

We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category of topological spaces and prove an analogue of the approximation theorem. Namely…

Metric learning aims at learning a distance which is consistent with the semantic meaning of the samples. The problem is generally solved by learning an embedding for each sample such that the embeddings of samples of the same category are compact while the embeddings of samples of different categories are spread-out i…

Random forests classify Pokemon names based on evolutionary status.

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study …

New discrete cobordism category for nested manifolds and relations to algebraic structures.

In this paper we study how to distinguish two embeddings of a finite collection of disjoint circles into the plane up to planar isotopy. We adopt the spirit of the approach by V. Turaev, Operator Invariants of Tangles, Math. USSR-Izv. 35 (1990), 411--444, by considering a category of planar tangles and representing it …

For a fixed closed manifold $P$, we construct a cobordism category of embedded manifolds with a single Baas-Sullivan singularity of type $P$. Our main theorem identifies the homotopy type of the classifying space of this cobordism category with that of the infinite loop-space of a certain spectrum related to the spectr…

Natural Language Processing models help encode categorical process inputs.

The abstract generalizes a construction for splitting supermanifolds and studies Lie supergroup cases.

Let $X$ be a compact real analytic manifold, and let $T^*X$ be its cotangent bundle. Let $Sh(X)$ be the triangulated dg category of bounded, constructible complexes of sheaves on $X$. In this paper, we develop a Fukaya $A_\infty$-category $Fuk(T^*X)$ whose objects are exact, not necessarily compact Lagrangian branes in…

Defines state sum models with defects in 3-manifolds.

We give a general treatment of the somewhat unfamiliar operation on manifolds called Connected Sum at Infinity, or CSI for short. A driving ambition has been to make the geometry behind the well definition and basic properties of CSI as clear and elementary as possible. CSI then yields a very natural and elementary pro…

Most of the 50-year history of the study of the set of knot concordance classes, C, has focused on its structure as an abelian group. Here we take a different approach, namely we study C as a metric space admitting many natural geometric operators, especially satellite operators. We consider several knot concordance sp…

We propose a general theory for constructing functorial assignments $Σ\longmapsto Ω_Σ \in E(Σ)$ for a large class of functors $E$ from a certain category of bordered surfaces to a suitable target category of topological vector spaces. The construction proceeds by successive excisions of homotopy classes of embedded pai…

SessionPath improves category suggestions in type-ahead search.

Controversies around race and machine learning have sparked debate among computer scientists over how to design machine learning systems that guarantee fairness. These debates rarely engage with how racial identity is embedded in our social experience, making for sociological and psychological complexity. This complexi…

Let $\mathcal{A}_{g,d}$ be the (topological) cobordism category of orientable surfaces whose connected components are homeomorphic to either $S^1 \times I$ with one incoming and one outgoing boundary component or the surface $Σ_{g,d}$ of genus $g$ and $d$ boundary components that are all incoming. In this paper, we stu…

We formalize the arithmetic topology, i.e. a relationship between knots and primes. Namely, using the notion of a cluster C*-algebra we construct a functor from the category of 3-dimensional manifolds M to a category of algebraic number fields K, such that the prime ideals (ideals, resp.) in the ring of integers of K c…

For a given list of closed manifolds $Σ_k=(P_1,...,P_k)$, we construct a cobordism category $\mathbf{Cob}_{d}^{Σ_{k}}$ of embedded manifolds with Baas-Sullivan singularities of type $Σ_k$. Our main results identify the homotopy type of the classifying spaces $B\mathbf{Cob}_{d}^{Σ_{k}}$ of these cobordism categories wit…

We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve that goal, we study the cobordism category of manifolds with positive scalar cu…

The paper discusses strictification and non-strictification of monoidal categories.

This paper is devoted to the study of algebraic structures leading to link homology theories. The originally used structures of Frobenius algebra and/or TQFT are modified in two directions. First, we refine 2-dimensional cobordisms by taking into account their embedding into the three space. Secondly, we extend the und…

Ehresmann connections in tangent categories