arXiv research

Surgery method proves category inequality for specific manifolds.

We show that the geometry of a Riemannian manifold (M,g) is sensitive to the apparently purely homotopy-theoretic invariant of M known as the Lusternik-Schnirelmann category, denoted cat_{LS}(M). Here we introduce a Riemannian analogue of cat_{LS}(M), called the systolic category of M. It is denoted cat_{sys}(M), and d…

Study proves topological complexity and LS-category inequalities for specific groups and manifolds.

We introduce the notions of categorical systoles and categorical volumes of Bridgeland stability conditions on triangulated categories. We prove that for any projective K3 surface, there exists a constant C depending only on the rank and discriminant of its Picard group, such that $$\mathrm{sys}(σ)^2\leq C\cdot\mathrm{…

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…

It follows from a theorem of Gromov that the stable systolic category of a closed manifold is bounded from below by the rational cup-length of the manifold. In the paper we study the inequality in the opposite direction. In particular, combining our results with Gromov's theorem, we prove the equality of stable systoli…

Study spherical twists on K3 surfaces, compute their centers.

The contraction inequality for Rademacher averages is extended to Lipschitz functions with vector-valued domains, and it is also shown that in the bounding expression the Rademacher variables can be replaced by arbitrary iid symmetric and sub-gaussian variables. Example applications are given for multi-category learnin…

It is shown that the topological phenomenon "zero in the continuous spectrum", discovered by S.P.Novikov and M.A.Shubin, can be explained in terms of a homology theory on the category of finite polyhedra with values in certain abelian category. This approach implies homotopy invariance of the Novikov-Shubin invariants.…

Develops algorithm to reduce real-world inequality.

Proves Rudyak's conjecture for low-dimensional simply connected spin manifolds.

The Lusternik-Schnirelmann category and topological complexity are important invariants of manifolds (and more generally, topological spaces). We study the behavior of these invariants under the operation of taking the connected sum of manifolds. We give a complete answer for the LS-categoryof orientable manifolds, $\c…

Topological complexity for closed 1-forms

Developing a scientific understanding of cities in a fast urbanizing world is essential for planning sustainable urban systems. Recently, it was shown that income and wealth creation follow increasing returns, scaling superlinearly with city size. We study scaling of per capita incomes for separate census defined incom…

Study shows Dehn twists on certain 4-manifolds cannot be realized by finite order diffeomorphisms.

Study numerical invariants under retraction maps between topological spaces.

The following inequality \cat X\le \cat Y+\lceil\frac{hd(X)-r}{r+1}\rceil holds for every locally trivial fibration between $ANE$ spaces $f:X\to Y$ which admits a section and has the $r$-connected fiber where $hd(X)$ is the homotopical dimension of $X$. We apply this inequality to prove that \cat X\le \lceil\frac{\dim …

We reduced Rudyak's conjecture that a degree one map between closed manifolds cannot raise the Lusternik-Schnirelmann category to the computation of the category of the product of two lens spaces $L^n_p\times L_q^n$ with relatively prime $p$ and $q$. We have computed $cat(L^n_p\times L^n_q)$ for values of $p,q>n/2$. It…

One of the main open problems in the theory of multi-category margin classification is the form of the optimal dependency of a guaranteed risk on the number C of categories, the sample size m and the margin parameter gamma. From a practical point of view, the theoretical analysis of generalization performance contribut…

The prominent inequality of wealth and income is a huge concern especially in the United States. The likelihood of diminishing poverty is one valid reason to reduce the world's surging level of economic inequality. The principle of universal moral equality ensures sustainable development and improve the economic stabil…

Given a dataset of careers and incomes, how large a difference of income between any pair of careers would be? Given a dataset of travel time records, how long do we need to spend more when choosing a public transportation mode $A$ instead of $B$ to travel? In this paper, we propose a framework that is able to infer or…

Let X be a finite 2-complex with unfree fundamental group. We prove lower bounds for the area of a metric on X, in terms of the square of the least length of a noncontractible loop in X. We thus establish a uniform systolic inequality for all unfree 2-complexes. Our inequality improves the constant in M. Gromov's inequ…

Even in the absence of any explicit semantic annotation, vast collections of audio recordings provide valuable information for learning the categorical structure of sounds. We consider several class-agnostic semantic constraints that apply to unlabeled nonspeech audio: (i) noise and translations in time do not change t…

Statistical models usually require vector representations of categorical variables, using for instance one-hot encoding. This strategy breaks down when the number of categories grows, as it creates high-dimensional feature vectors. Additionally, for string entries, one-hot encoding does not capture information in their…

Given a closed manifold M, we prove the upper bound of (n+d)/2 for the length of a product of systoles that can form a curvature-free lower bound for the total volume of M, in the spirit of M. Gromov's systolic inequalities. Here n is the dimension of M, while d is the is the cohomological dimension of its fundamental …

We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperkahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the…

New model for multivariate discrete event data with flexible interactions.

Study on constraints for topological and smooth realizations of line arrangements and configurations.

Studies amenable category's monotonicity and its relation to topological complexity.

To each oriented surface S, we associate a differential graded category Ko(S). The homotopy category Ho(Ko(S)) is a triangulated category which satisfies properties akin to those of the contact categories studied by K. Honda. These categories are also related to the algebraic contact categories of Y. Tian and to the bo…

Formulates a new connection between topological and geometric categories.

Orbifold uniformization of complex algebraic variety via polystable parabolic Higgs bundle

We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having an affine structure on a manifold is equivalent to having a flat torsion-free c…

We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds.

The paper defines new TQFTs from non-semisimple categories and proves spherical categories are chromatic.

Spider category comparison proves equivalence to Sikora's quotient category.

We generalize the notion of monetary value measures developed with category theory in [Adachi, 2014] by extending their base category from the category \c{hi} to the category of probability spaces Prob introduced in [Adachi and Ryu, 2016].

ETQFTs created from non-semisimple modular categories.

Studies modules over a category of Jacobi diagrams in handlebodies.

We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram…

We define a symmetric monoidal (4,3)-category with duals whose objects are certain enriched multi-fusion categories. For every modular tensor category $\mathcal{C}$, there is a self enriched multi-fusion category $\mathfrak{C}$ giving rise to an object of this symmetric monoidal (4,3)-category. We conjecture that the e…

We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor.

This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a com…

New 4-manifold invariant defined from trisection diagrams.

We study the transverse Lusternik-Schnirelmann category of a Riemannian foliation on a compact manifold. We obtain a necessary and sufficient condition when the transverse LS category is finite. We also introduce a variation on the concept of transverse LS category, the essential transverse category, and show that this…

It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps between reduced smooth orbifolds and a definition of a category in terms of mark…

TXtract extracts structured knowledge from thousands of product categories.

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