http://arxiv.org/api/ZVH57r6q9eJH/zj/o9oHpH5hON4 2025-05-06T00:00:00-04:00 16556 150 15 http://arxiv.org/abs/2411.18627v2 2025-04-08T15:59:11Z 2024-11-12T20:24:46Z

Many dynamical systems are difficult or impossible to model using high fidelity physics based models. Consequently, researchers are relying more on data driven models to make predictions and forecasts. Based on limited training data, machine learning models often deviate from the true system states over time and need to be continually updated as new measurements are taken using data assimilation. Classical data assimilation algorithms typically require knowledge of the measurement noise statistics which may be unknown. In this paper, we introduce a new data assimilation algorithm with a foundation in topological data analysis. By leveraging the differentiability of functions of persistence, gradient descent optimization is used to minimize topological differences between measurements and forecast predictions by tuning data driven model coefficients without using noise information from the measurements. We describe the method and focus on its capabilities performance using the chaotic Lorenz 63 system as an example and we also show that the method works on a higher dimensional example with the Lorenz 96 system.

Max M. Chumley Firas A. Khasawneh 18 pages, 15 figures. Results have been improved by showing noise robustness testing at two relevant learning rates. We also added an example applying the algorithm to the 6 dimensional Lorenz 96 system http://arxiv.org/abs/2504.06049v1 2025-04-08T13:47:09Z 2025-04-08T13:47:09Z

We introduce and study a parametrized analogue of the directed topological complexity, originally developed by Goubault, Farber, and Sagnier. We establish the fibrewise basic dihomotopy invariance of directed parametrized topological complexity and explore its relationship with the parametrized topological complexity. In addition, we introduce the concept of the directed Lusternik$-$Schnirelmann (LS) category, prove its basic dihomotopy invariance, and investigate its connections with both directed topological complexity and directed parametrized topological complexity. As an application, we show that the directed LS category of the directed spheres is equal to two.

Sutirtha Datta Navnath Daundkar Abhishek Sarkar 14 pages, comments are welcome! http://arxiv.org/abs/2504.06047v1 2025-04-08T13:46:03Z 2025-04-08T13:46:03Z

The concept of a fluid algebra was introduced by Sullivan over a decade ago as an algebraic construct which contains everything necessary in order to write down a form of the Euler equation, as an ODE whose solutions have invariant quantities which can be identified as energy and enthalpy. The natural (infinite-dimensional) fluid algebra on co-exact 1-forms on a three-dimensional closed oriented Riemannian manifold leads to an Euler equation which is equivalent to the classical Euler equation which describes non-viscous fluid flow. In this paper, the recently introduced transverse intersection algebra associated to a cubic lattice of An-Lawrence-Sullivan is used to construct a finite-dimensional fluid algebra on a cubic lattice (with odd periods). The corresponding Euler equation is an ODE which it is proposed is a `good' discretisation of the continuum Euler equation. This paper contains all the explicit details necessary to implement numerically the corresponding Euler equation. Such an implementation has been carried out by our team and results are pending.

Ofir Aharoni Daniel An Alice Kwon Ruth Lawrence Dennis Sullivan 18 pages, 4 figures, Appendix by Dennis Sullivan http://arxiv.org/abs/2408.14335v2 2025-04-08T11:57:37Z 2024-08-26T15:03:22Z

We demonstrate that companionships and conjunctions in double $\infty$-categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living companionship and conjunction respectively. Specifically, we prove that these extensions are (homotopically) unique: the corresponding spaces of extensions are contractible under suitable completeness assumptions. The developed theory is then put to use to give a characterization of companions and conjoints in functor double Segal spaces in terms of so-called companionable and conjointable 2-cells. We end with an application of our results to $(\infty,2)$-category theory.

Jaco Ruit 48 pages; v2: major update http://arxiv.org/abs/2311.16947v2 2025-04-08T11:55:56Z 2023-11-28T16:50:55Z

We construct an $A_\infty$-structure on the two-sided bar construction involving homotopy Gerstenhaber algebras (hgas). It extends the non-associative product defined by Carlson and the author and generalizes the dga structure on the one-sided bar construction due to Kadeishvili-Saneblidze. As a consequence, the multiplicative cohomology isomorphism from the Eilenberg-Moore theorem is promoted to a quasi-isomorphism of $A_\infty$-algebras. We also show that the resulting product on the differential torsion product involving cochain algebras agrees with the one defined by Eilenberg-Moore and Smith, for all triples of spaces. This is a consequence of the following result, which is of independent interest: The strongly homotopy commutative (shc) structure on cochains inductively constructed by Gugenheim-Munkholm agrees with the one previously defined by the author for all hgas.

Matthias Franz 32 pages; Corollary 4.3, Remark 4.4 added, typos fixed http://arxiv.org/abs/2504.05626v1 2025-04-08T03:02:00Z 2025-04-08T03:02:00Z

We examine generalized global symmetries as a kind of compactly supported cohomology, and so are led to revisit questions about the locality of quantum field theory, following Segal. Physics naturally suggests a generalization of factorization algebras, aimed at capturing nonperturbative information, and we explain how higher group symmetries offer examples of this generalization, providing an extension of the nonabelian Poincar\'e duality of Salvatore and Lurie. Finally, we explore how continuous generalized symmetries and anomalies can be cast in this framework.

Owen Gwilliam http://arxiv.org/abs/2504.05404v1 2025-04-07T18:19:33Z 2025-04-07T18:19:33Z

Building on work of Harer \cite{Ha86}, we construct a spine for the decorated Teichm\"uller space of a non-orientable surface with at least one puncture and negative Euler characteristic. We compute its dimension, and show that the deformation retraction onto this spine is equivariant with respect to the pure mapping class group of the non-orientable surface. As a consequence, we obtain a model for the classifying space for proper actions of the pure mapping class group of a punctured non-orientable surface, which is of minimal dimension in the case there is a single puncture.

Nestor Colin Rita Jiménez Rolland Porfirio L. León Álvarez Luis Jorge Sánchez Saldaña 15 pages, 5 figures http://arxiv.org/abs/2405.02054v2 2025-04-07T16:45:27Z 2024-05-03T12:36:19Z

We describe the modulo $2$ de Rham-Witt complex of a field of characteristic $2$, in terms of the powers of the augmentation ideal of the $\mathbb{Z}/2$-geometric fixed points of real topological restriction homology TRR. This is analogous to the conjecture of Milnor, proved by Kato for fields of characteristic $2$, which describes the modulo $2$ Milnor K-theory in terms of the powers of the augmentation ideal of the Witt group of symmetric forms. Our proof provides a somewhat explicit description of these objects, as well as a calculation of the homotopy groups of the geometric fixed points of TRR and of real topological cyclic homology, for all fields.

Emanuele Dotto 40 pages, added helpful comments from a referee including a construction of the real trace map http://arxiv.org/abs/2410.04688v2 2025-04-07T15:14:37Z 2024-10-07T01:52:36Z

Given a commutative ring $R$, a $\pi_1$-$R$-equivalence is a continuous map of spaces inducing an isomorphism on fundamental groups and an $R$-homology equivalence between universal covers. When $R$ is an algebraically closed field, Raptis and Rivera described a full and faithful model for the homotopy theory of spaces up to $\pi_1$-$R$-equivalence by means of simplicial coalgebras considered up to a notion of weak equivalence created by a localized version of the Cobar functor. In this article, we prove a $G$-equivariant analog of this statement using a generalization of a celebrated theorem of Elmendorf. We also prove a more general result about modeling $G$-simplicial sets considered under a linearized version of quasi-categorical equivalence in terms of simplicial coalgebras.

Sofía Martínez Alberga Manuel Rivera 17 pages http://arxiv.org/abs/2407.05809v2 2025-04-07T10:39:04Z 2024-07-08T10:43:16Z

The perfect matching complex of a simple graph $G$ is a simplicial complex having facets (maximal faces) as the perfect matchings of $G$. This article discusses the perfect matching complex of polygonal line tilings and the $\left(2 \times n\right)$-grid graph in particular. We use tools from discrete Morse theory to show that the perfect matching complex of any polygonal line tiling is either contractible or homotopy equivalent to a wedge of spheres. While proving our results, we also characterize all the matchings of $\left(2 \times n\right)$-grid graph that cannot be extended to form a perfect matching.

Himanshu Chandrakar Anurag Singh 10.1007/s00026-025-00755-0 The original element-pairing proof of Theorem 3.3, replaced in the accepted version by a shorter argument using the fold lemma (suggested by the referee), is now included in the appendix. The proof of Lemma 3.1 has been rephrased for clarity, though the reasoning remains unchanged. Published in Annals of Combinatorics (05 April 2025) http://arxiv.org/abs/2504.04875v1 2025-04-07T09:31:20Z 2025-04-07T09:31:20Z

In this note, we will compute some Gromoll filtration groups $\Gamma^{n+1}_{i+1}$ for certain $i$ when $8\leq n \leq 17$ and $n=4k+2\geq 18$. We will also use these results to obtain some information of $\pi_1\mathrm{Diff}_{\partial} (D^n)$ when $6\leq n \leq 15$ and $\pi_2 \mathrm{Diff}_{\partial} (D^{4k+3})$ when $4k+3\geq 15$.

Wei Wang 27 pages, comments and suggestions are welcome! http://arxiv.org/abs/2310.06263v3 2025-04-07T02:49:41Z 2023-10-10T02:22:54Z

We extend classical tools from rational homotopy theory to topological data analysis by introducing persistent Sullivan minimal models of persistent topological spaces. Our main result establishes that the interleaving distance between such models in the homotopy category of CDGAs is stable with respect to the homotopy interleaving distance of the underlying spaces. For Vietoris-Rips filtrations of metric spaces, this yields new persistent invariants that are more discriminative than persistent homology. We further show that these models provide sharper lower bounds for the Gromov-Hausdorff distance than those obtained from persistent homology or persistent rational homotopy groups.

Ling Zhou http://arxiv.org/abs/2504.04361v1 2025-04-06T05:18:19Z 2025-04-06T05:18:19Z

Topological data analysis is an approach to study shape of a data set by means of topology. Its main object of study is the persistence diagram, which represents the topological features of the data set at different spatial resolutions. Multiple data sets can be compared by the similarity of their diagrams to understand their behaviors in relative to each other. The bottleneck and Wasserstein distances are often used as a tool to indicate the similarity. In this paper, we introduce cosine similarity as a new indicator for the similarity between persistence diagrams and investigate its properties. Furthermore, it leads to the new notion of orthogonality between persistence diagrams. It turns out that the orthogonality refers to perfect dissimilarity between persistence diagrams under the cosine similarity. Through data demonstration, the cosine similarity is shown to be more accurate than the standard distances to measure the similarity between persistence diagrams.

Azmeer Nordin Mohd Salmi Md Noorani Nurulkamal Masseran Mohd Sabri Ismail Nur Firyal Roslan 25 pages, 4 figures http://arxiv.org/abs/2504.04183v1 2025-04-05T14:04:16Z 2025-04-05T14:04:16Z

We prove that the complement of a diagonal subspace arrangement is homotopy equivalent to a cellular subcomplex $\mathrm{Perm}(K)$ in the permutohedron. The product in the cohomology ring of a diagonal arrangement complement is described via the cellular approximation of the diagonal map in the permutohedron constructed by Saneblidze and Umble. We consider the projection from the permutohedron to the cube and prove that the Saneblidze--Umble diagonal maps to the diagonal constructed by Cai for the description of the product in the cohomology of a real moment-angle complex.

Taras Panov Vsevolod Tril 16 pages, 4 figures http://arxiv.org/abs/2504.04119v1 2025-04-05T09:23:11Z 2025-04-05T09:23:11Z

We give the first tractable and systematic examples of nontrivial higher digraph homotopy groups. To do this we define relative digraph homotopy groups and show these satisfy a long exact sequence analogous to the relative homotopy groups of spaces. We then define digraph suspension and Hurewicz homomorphisms and show they commute with each other. The existence of nontrivial digraph homotopy groups then reduces to the existence of corresponding groups in the degree 1 path homology of digraphs.

Stephen Theriault Jie Wu Shing-Tung Yau Mengmeng Zhang 37 pages