arXiv research

New proof shows no flat embedding for Petersen family graphs.

We give an answer to the question given by T.Y.Kong in his article "Can 3-D Digital Topology be Based on Axiomatically Defined Digital Spaces?" In this article he asks the question, if so called "good pairs" of neighborhood relations can be found on the set Z^n such that the existence of digital manifolds of dimension …

Paper proves a new criterion for time-like geodesics in flat spacetimes.

We prove a discrete Jordan-Brouwer-Schoenflies separation theorem telling that a (d-1)-sphere H embedded in a d-sphere G defines two different connected graphs A,B in G such a way that the intersection of A and B is H and the union is G and such that the complementary graphs A,B are both d-balls. The graph theoretic de…

The Stone-Weierstrass theorem aids in solving inverse problems on specific manifolds.

The paper solves optimal bounds for separating data points in high dimensions.

Develops a new framework for causal models on cyclic graphs, solving unique solvability issues.

The paper defines Fenchel conjugate and biconjugate on Hadamard manifolds.

New framework links fractal complexity to separation dimension.

The investment risk minimization problem with budget and return constraints has been the subject of research using replica analysis but there are shortcomings in the extant literature. With respect to Tobin's separation theorem and the capital asset pricing model, it is necessary to investigate the implications of a ri…

We investigate compact Hausdorff foliations on compact Riemannian manifolds in the context of the Gromov-Hausdorff distance theory. We give some sufficient conditions for such foliations to be separated in the Gromov-Hausdorff topology.

Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometrically finite subgroups of non-uniform lattices in rank one symmetric sp…

In her seminal 2008 paper, Maryam Mirzakhani showed that the ratio that two topological types of curves occur in is a rational number. In this paper we describe the process by which we obtained experimental evidence that separating and non-separating curves on the surface of genus two occur in the ratio 1 : 48.

Extends Lannes-Quillen theorem to all profinite groups.

Hanner's theorem is a classical theorem in the theory of retracts and extensors in topological spaces, which states that a local ANE is an ANE. While Hanner's original proof of the theorem is quite simple for separable spaces, it is rather involved for the general case. We provide a proof which is not only short, but a…

We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the theorem of Stebe that infinite-order elements of Fuchsian groups (of the first ty…

New framework for cyclic quantum causal models with graph separation property.

This work proposes external correctors for quick AI error corrections without system modification.

We prove that simple, thick hyperbolic P-manifolds of dimension >2 exhibit Mostow rigidity. We also prove a quasi-isometry rigidity result for the fundamental groups of simple, thick hyperbolic P-manifolds of dimension >2. The key tool in the proofs of these rigidity results is a strong form of the Jordan separation th…

A celebrated theorem of Marshall Hall Jr. implies that finitely generated free groups are subgroup separable and that all of their finitely generated subgroups are retracts of finite-index subgroups. We use topological techniques inspired by the work of Stallings to prove that all limit groups share these two propertie…

The study quantifies how many objects can be linearly classified under all views.

Gaussian graphical models are semi-algebraic subsets of the cone of positive definite covariance matrices. Submatrices with low rank correspond to generalizations of conditional independence constraints on collections of random variables. We give a precise graph-theoretic characterization of when submatrices of the cov…

The divergence theorem in its usual form applies only to suitably smooth vector fields. For vector fields which are merely piecewise smooth, as is natural at a boundary between regions with different physical properties, one must patch together the divergence theorem applied separately in each region. We give an elegan…

The paper extends von Neumann's theory to normed modules and shows how they can be represented.

This is a recreational paper showing that certain linked graphs cannot be separated. The proofs employ elementary covering space theory, an appeal to a theorem of Scharlemann (concerning the band sums of two unknots), and a Jones polynomial calculation.

3-manifolds have covers with infinitely many ideal triangulations.

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate version of the Morse-Sard theorem. Some consequences of the main theorem are as …

We bound the locations of outermost minimal surfaces in geometrostatic manifolds whose ADM mass is small relative to the separation between the black holes and prove the Intrinsic Flat Stability of the Positive Mass Theorem in this setting.

This work establishes universality for deep equivariant networks, overcoming limitations of previous approaches.

We study the topological types of pants decompositions of a surface by associating to any pants decomposition $P,$ in a natural way its pants decomposition graph, $Γ(P).$ This perspective provides a convenient way to analyze the maximum distance in the pants complex of any pants decomposition to a pants decomposition c…

The Trek Separation Theorem (Sullivant et al. 2010) states necessary and sufficient conditions for a linear directed acyclic graphical model to entail for all possible values of its linear coefficients that the rank of various sub-matrices of the covariance matrix is less than or equal to n, for any given n. In this pa…

We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be regarded as a sort of very strong approximate version of the Morse-Sard theorem. Some…

We formalize causal separation in portfolio theory, deriving a closed-form projected Markowitz solution.

For many years, a combination of principal component analysis (PCA) and independent component analysis (ICA) has been used for blind source separation (BSS). However, it remains unclear why these linear methods work well with real-world data that involve nonlinear source mixtures. This work theoretically validates that…

In 1987, Kalai proved that stacked spheres of dimension $d\geq 3$ are characterised by the fact that they attain equality in Barnette's celebrated Lower Bound Theorem. This result does not extend to dimension $d=2$. In this article, we give a characterisation of stacked $2$-spheres using what we call the {\em separatio…

In this paper, we state two combination theorems for relatively quasiconvex subgroups in a relatively hyperbolic group. Applications are given to the separability of double cosets of certain relatively quasiconvex subgroups and the existence of closed surface subgroups in relatively hyperbolic groups.

Deep networks achieve linear separability through progressive folding of data in higher dimensions.

Let $N_g^k$ be a nonorientable surface of genus \ $g\geq 5$ \ with \ $k$-punctures. In this note, we will give an algebraic characterization of a Dehn twist about a simple closed curve on $N_g^k$. Along the way, we will fill some little gaps in the proofs of some theorems in \cite{A} and \cite{I1} giving algebraic char…

This paper extends de Rham theory of smooth manifolds to exploded manifolds. Included are versions of Stokes' theorem, De Rham cohomology, Poincare duality, and integration along the fiber. The resulting cohomology theory is used to define Gromov Witten invariants of exploded manifolds in a separate paper.

Study on self-similar sets on Riemannian manifolds with new separation conditions.

In this note we prove the a pointwise ergodic theorem for functions taking values in a separable complete CAT(0)-space, analogous to Lindenstrauss' pointwise ergodic theorem for real-valued integrable functions on a probability space subject to a probability-preserving action of an amenable l.c.s.c. group, where in the…

A singularity theorem based on asymptotic volume growth

The purpose of this article is to prove existence of mass minimizing integral currents with prescribed possibly non-compact boundary in all dual Banach spaces and furthermore in certain spaces without linear structure, such as injective metric spaces and Hadamard spaces. We furthermore prove a weak$^*$-compactness theo…

Artificial Intelligence (AI) systems sometimes make errors and will make errors in the future, from time to time. These errors are usually unexpected, and can lead to dramatic consequences. Intensive development of AI and its practical applications makes the problem of errors more important. Total re-engineering of the…

We prove that, in the non-extreme Kerr-Newman black hole geometry, the Dirac equation has no normalizable, time-periodic solutions. A key tool is Chandrasekhar's separation of the Dirac equation in this geometry. A similar non-existence theorem is established in a more general class of stationary, axisymmetric metrics …

Simple closed curves in ε-boundaries separate sets in the plane.

For X = R, C, or H it is well known that cusp cross-sections of finite volume X-hyperbolic (n+1)-orbifolds are flat n-orbifolds or almost flat orbifolds modelled on the (2n+1)-dimensional Heisenberg group N_{2n+1} or the (4n+3)-dimensional quaternionic Heisenberg group N_{4n+3}(H). We give a necessary and sufficient co…

Alternative proof of simplicial volume bound using area-minimizing sets.