Cyclification of orbifolds explained in cohesive higher topos theory.
problem Understanding cyclification of orbifolds in geometric and algebraic contexts.
method Cohesive higher topos theory and transgression of cohomological charges.
result Cyclification of orbifolds is a fundamental base-change construction.
We formulate differential cohomology and Chern-Weil theory -- the theory of connections on fiber bundles and of gauge fields -- abstractly in the context of a certain class of higher toposes that we call "cohesive". Cocycles in this differential cohomology classify higher principal bundles equipped with cohesive struct…
Unified theory of orbifolds and cohomology.
problem Formulating a general theory of orbifolds unifying differential and equivariant cohomology.
method Abstract axiomatization in higher topos theory and concrete models for various orbifolds.
result Fully faithful embedding of orbifolds into a cohesive infinity-topos with proper equivariant cohomology.
Unified classification of equivariant principal bundles using higher homotopy theory.
problem Unified classification of equivariant principal bundles.
method Smooth Oka principle, singular-cohesive homotopy theory, internally describing principal bundles.
result Unified classification results for equivariant principal bundles.
Higher topos theory applied to physics.
problem No specific problem stated.
method Exposition of higher topos theory.
result No specific key result mentioned.
The paper defines approximate fibrations in higher topos theory.
problem Defining approximate fibrations in a new mathematical framework.
method Introducing approximate fibrations for geometric morphisms of ∞-topoi, providing characterizations and comparing to previous definitions. result Generalization of shape-theoretic characterizations to a topos-theoretical proof.
The paper studies deformations of cohesive modules on complex manifolds.
problem Deformation theory of cohesive modules on compact complex manifolds.
method Development of Kuranishi maps and obstructions for deformations of cohesive modules.
result Generalization of deformation theory for holomorphic vector bundles and coherent sheaves.
The paper develops residue currents for cohesive modules and proves a generalized Poincaré-Lelong formula.
problem Analyzing coherent sheaves on complex manifolds using global analytic methods.
method Developing residue currents for cohesive modules and proving their properties.
result Proves a generalized Poincaré-Lelong formula for cohesive modules.
We show that there is a fully faithful embedding of the category of manifolds with corners into the Cahiers topos, one of the premier models for Synthetic Differential Geometry. This embedding is shown to have a number of nice properties, such as preservation of open covers and transverse fibre products. We develop a t…
The paper bridges diffeological bundle theory with higher topos theory.
problem Comparing Čech cohomology of diffeological spaces with existing notions.
method Using Čech model structure on simplicial presheaves and diffeological spaces as discrete simplicial presheaves.
result Nerve of diffeological principal G-bundles is weak homotopy equivalent to G-principal ∞-bundles. Policy-gradient method controls multiple non-cohesive targets.
problem Controlling multiple non-cohesive targets in a decentralized manner.
method Proximal Policy Optimization for target selection and driving.
result Effective control of non-cohesive targets without prior dynamics knowledge.
Motivated by recent financial crises significant research efforts have been put into studying contagion effects and herding behaviour in financial markets. Much less has been said about influence of financial news on financial markets. We propose a novel measure of collective behaviour in financial news on the Web, New…
Proof confirms preservation of projective limits in synthetic differential geometry.
problem Prove preservation of projective limits in synthetic differential geometry.
method Detailed proof using synthetic differential geometry and Cahiers topos.
result Projective limits preserved in synthetic differential geometry.
It is well known that the category of Frolicher spaces and smooth mappings is Cartesian closed. The principal objective in this paper is to show that the full subcategory of Frolicher spaces that believe in fantasy that every Weil functor is really an exponentiation by the corresponding infinitesimal object is also Car…
Topo-MLP learns network representations without message passing.
problem Lack of efficient higher-order network modeling methods.
method Proposes Topo-MLP, a simplicial neural network algorithm using MLP and HONC loss.
result Demonstrates improved robustness and efficiency in representation learning.
The paper generalizes current constructions to cohesive modules and characteristic forms.
problem Constructing currents for characteristic forms of cohesive modules.
method Generalized construction of pseudomeromorphic currents for de-Rham characteristic classes and characteristic forms of cohesive modules.
result Currents representing characteristic forms can be constructed using the degree-0 and degree-1 parts of the superconnection.
Study on Čech-de Rham obstruction in diffeological spaces.
problem Obstruction to Čech-de Rham map being an isomorphism in diffeological spaces.
method Higher topos theory, homotopy pullback diagrams, Čech-de Rham bicomplex, ∞-stack cohomology. result New exact sequences in all higher degrees and conceptual proof of cohomology agreement.
Study examines how business units can benefit from group cohesion under regulatory constraints.
problem Regulatory constraints limit business units' ability to form a single cohesive group.
method Defined and analyzed cohesive risk measures to minimize capital costs.
result Cohesive risk measures allow groups to achieve minimal capital costs without altering individual liabilities.
We develop an approach to construct Poisson algebras for non-linear scalar field theories that is based on the Cahiers topos model for synthetic differential geometry. In this framework the solution space of the field equation carries a natural smooth structure and, following Zuckerman's ideas, we can endow it with a p…
Using the concept of a cohesive module defined by Block, we use the theory of superconnections in the sense of Quillen to construct natural superconnections on Hermitian cohesive modules. By the Chern-Weil construction, we obtain characteristic classes with values in Bott-Chern cohomology which refines the usual deRham…
A new method improves graph node embeddings by considering both nearby and distant node similarities.
problem Improving graph node embeddings by considering both nearby and distant node similarities.
method Distance-aware Negative Sampling (DNS) which maximizes cohesion at nearby node-pairs and separation at distant node-pairs.
result DNS outperforms baseline methods in downstream node classification tasks on various datasets and GRL algorithms.
Higher gauge theory via differential nonabelian cohomology
problem Global infrared completion of higher gauge fields
method Maxwell-type higher gauge fields
result Electromagnetic flux quantization
Let $\imath: M\to \RR^{p+2}$ be a smooth embedding from a connected, oriented, closed p-dimesional smooth manifold to $\RR^{p+2}$, then there is a spin structure ♯(ςp+2) on M canonically induced from the embedding. If an orientation-preserving diffeomorphism τ of M extends over as an o…
Enhances kernel regression with network data for better predictions.
problem Improving predictive power in high-dimensional data.
method Combines kernel regression with network cohesion data to model nonlinearities.
result Significantly better predictive performances in high-dimensional data.
In this paper, we study the problem of using representation learning to assist information diffusion prediction on graphs. In particular, we aim at estimating the probability of an inactive node to be activated next in a cascade. Despite the success of recent deep learning methods for diffusion, we find that they often…
Intuitive clustering algorithm balances cluster size and cohesion.
problem Cluster definition and selection in data analysis.
method Nearest neighbours equilibrium condition for clustering.
result High-quality clustering solutions compared to benchmarks.
Method predicts which high-dimensional correlation signs will change in the future.
problem Predicting which correlation matrix coefficients will change signs in high-dimensional data.
method Stability of correlation signs depends on three-by-three relationships, inspired by Heider social cohesion theory.
result The method accurately predicts the stability of correlation signs in high-dimensional data.
Discriminative clustering uses mutual information to cluster data.
problem Clustering data into cohesive groups.
method Discriminative clustering using mutual information.
result Mutual information has been a cornerstone of discriminative clustering.
Cohesion uses deep Koopman operators to generate long-range forecasts of chaotic dynamics.
problem Challenges in data-driven emulation of chaotic dynamics, especially long-range skill decay.
method Generative modeling with coherent priors estimated using reduced-order models.
result Superior long-range forecasting skill on chaotic systems, including climate dynamics.
This article constructs the moduli stack of torsionfree G-jet-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for any ∞-topos equipped with any stable factorization systems. In the intended applications of this theory, the factorization systems are …
New bounds improve linkage methods for clustering, distinguishing complete-link from single-link.
problem Improving bounds on linkage methods for clustering quality.
method Developed new bounds for complete-link and average-link methods in agglomeration clustering.
result Separated complete-link from single-link in terms of approximation for diameter.
Introduces a new geometric framework for non-perturbative BV-theory.
problem Non-perturbative generalization of BV-theory in infinite-dimensional spaces.
method Derived differential geometry and homotopical algebraic geometry.
result Concrete model of derived smooth stacks for encoding non-perturbative BV-theory.
Frolicher spaces and smooth mappings form a cartesian closed category. It was shown in our previous paper [Far East Journal of Mathematical Sciences, 35 (2009), 211-233] that its full subcategory of Weil exponentiable Frolicher spaces is cartesian closed. By emancipating microlinearity from within a well-adapted model …
Online PaLD extends PaLD for semi-supervised online applications.
problem Scalability of unsupervised clustering algorithms for large datasets.
method Adapted partitioned local depth algorithm for online semi-supervised prediction.
result Online PaLD extends cohesion network to new data points efficiently.
Homotopy theory of differentiable sheaves connects manifold properties to underlying homotopy types.
problem Understanding the homotopy type of manifolds using differentiable sheaves.
method Developed model structures and homotopical calculi on the ∞-category Diff∞ to compute and compare shapes. result The shape of any manifold coincides with various other notions of underlying homotopy types.
This paper uses sheaf theory to model virtual knots geometrically.
problem Defining and understanding virtual knots in a geometric framework.
method Sheaf theory applied to virtual knot diagrams to model them geometrically.
result A geometric model for virtual knots formalizes the intuitive notion of knots in a variable ambient space.
This is a survey of motivations, constructions and applications of higher prequantum geometry. In section 1 we highlight the open problem of prequantizing local field theory in a local and gauge invariant way, and we survey how a solution to this problem exists in higher differential geometry. In section 2 we survey ex…
Extends field theory foundations to infinitesimal spaces, simplifying complex concepts.
problem Develop rigorous foundations for field theory, especially for infinitesimal spaces.
method Formulates local Lagrangian field theory in a new category of thickened smooth sets.
result Establishes a firm foundation for field theory, including tangent bundles and perturbative considerations.
This work investigates fundamental questions related to learning features in convolutional neural networks (CNN). Empirical findings across multiple architectures such as VGG, ResNet, Inception, DenseNet and MobileNet indicate that weights near the center of a filter are larger than weights on the outside. Current regu…
The paper gives a categorical approach to generalized manifolds such as orbit spaces and leaf spaces of foliations. It is suggested to consider these spaces as sets equipped with some additional structure which generalizes the notion of atlas. The approach is compared with the known ones that use the Grothendieck topos…
This paper argues that the fundamental principle of contemporary financial economics is balanced reciprocity, not the principle of utility maximisation that is important in economics more generally. The argument is developed by analysing the mathematical Fundamental Theory of Asset Pricing with reference to the emergen…
Examines multiagent systems for complex learning tasks.
problem Achieving cohesive learning behavior in multiagent networks.
method General formulation for multiagent dynamics and conditions for learning.
result Conditions for achieving cohesive learning behavior in multiagent networks.
Extends partitioned local depth concept with probabilistic considerations.
problem Uncertain, variable, and conflicting information in data.
method Partitioned local depth with probabilistic concepts of local relevance and support division.
result Extends original ideas to handle uncertain data.
The paper explains the importance of diffeological groupoids in modern geometry and physics.
problem None explicitly stated, focuses on the concept and applications.
method Expository review of the development and applications of diffeological groupoids.
result The diffeological groupoid serves as a powerful tool in various areas of modern geometry and physics.
This paper presents a simple agent-based model of an economic system, populated by agents playing different games according to their different view about social cohesion and tax payment. After a first set of simulations, correctly replicating results of existing literature, a wider analysis is presented in order to stu…
Synthetic theory defines orbifolds as microlinear types with finite identifications.
problem Defining orbifolds in traditional set-level foundations with internal symmetries.
method Synthetic differential cohesive homotopy type theory, microlinearity, finite identifications.
result Proper étale groupoids are orbifolds in synthetic theory.
The paper explores how to fairly share longevity risk among participants of tontine schemes.
problem Fair distribution of longevity risk among participants with varying wealth and health.
method Develops a modeling framework for sharing benefits among survivors in tontine schemes.
result There are multiple ways to share longevity risk, depending on social cohesion.
Data stream classification methods demonstrate promising performance on a single data stream by exploring the cohesion in the data stream. However, multiple data streams that involve several correlated data streams are common in many practical scenarios, which can be viewed as multi-task data streams. Instead of handli…