arXiv research

We show that all finite-dimensional resolvable generalized manifolds with the piecewise disjoint arc-disk property are codimension one manifold factors. We then show how the piecewise disjoint arc-disk property and other general position properties that detect codimension one manifold factors are related. We also note …

Statistical relational AI (StarAI) aims at reasoning and learning in noisy domains described in terms of objects and relationships by combining probability with first-order logic. With huge advances in deep learning in the current years, combining deep networks with first-order logic has been the focus of several recen…

The paper explores basic properties of knot skein invariants.

Kernelized PCovR reveals structure-property relations in chemistry and materials.

In the paper, the author studies properties of three functions relating to the exponential function and the existence of partitions of unity, including accurate and explicit computation of their derivatives, analyticity, complete monotonicity, logarithmically complete monotonicity, absolute monotonicity, and the like.

This note establishes several integral identities relating certain metric properties of level hypersurfaces of Morse functions.

Grid homology properties for MOY graphs studied.

Study generalizations of chainability and compactness in metric spaces.

MCML uses ML to study learnability of Alloy properties, showing simple models can perform well but fail on full input space.

On simple geodesic disks of constant curvature, we derive new functional relations for the geodesic X-ray transform, involving a certain class of elliptic differential operators whose ellipticity degenerates normally at the boundary. We then use these relations to derive sharp mapping properties for the X-ray transform…

We establish some a priori geometric relations on stable minimal surfaces lying inside three-manifolds with scalar curvature uniformly bounded below. The relations are based on a slight generalization of a formula due to Castillon. We apply it to prove non-local rigidity results in the particular sense that they expres…

Classifies surfaces with special curvature properties.

Paper tackles multi-task learning for molecular property prediction with limited data.

We discuss in this article a property of action of groups by isometries called "well displacing". An action is said to be well displacing, if the displacement function is equivalent to the the displacement function for the action on the Cayley graph. We relate this property with the fact that orbit maps are quasi-isome…

We investigate probabilistic graphical models that allow for both cycles and latent variables. For this we introduce directed graphs with hyperedges (HEDGes), generalizing and combining both marginalized directed acyclic graphs (mDAGs) that can model latent (dependent) variables, and directed mixed graphs (DMGs) that c…

The study explores how surface diffeomorphisms of knots relate to their topological properties.

Study geodesic properties of time series data using Wasserstein metric.

While it has not yet been proven, empirical evidence suggests that model generalization is related to local properties of the optima which can be described via the Hessian. We connect model generalization with the local property of a solution under the PAC-Bayes paradigm. In particular, we prove that model generalizati…

Network representation learning (NRL) has been widely used to help analyze large-scale networks through mapping original networks into a low-dimensional vector space. However, existing NRL methods ignore the impact of properties of relations on the object relevance in heterogeneous information networks (HINs). To tackl…

We present and discuss some open problems formulated by participants of the International Workshop "Knots, Braids, and Auto\-mor\-phism Groups" held in Novosibirsk, 2014. Problems are related to palindromic and commutator widths of groups; properties of Brunnian braids and two-colored braids, corresponding to an amalga…

The Dirac field is studied in a Lyra space-time background by means of the classical Schwinger Variational Principle. We obtain the equations of motion, establish the conservation laws, and get a scale relation relating the energy-momentum and spin tensors. Such scale relation is an intrinsic property for matter fields…

The Weinstein conjecture, as the general existence problem for periodic orbits of Hamiltonian or Reeb flows, has been among the central questions in symplectic topology for over two decades and its investigation has led to understanding of some fundamental properties of Hamiltonian flows. In this paper we survey some r…

Unique continuation results are proved for metrics with prescribed Ricci curvature in the setting of bounded metrics on compact manifolds with boundary, and in the setting of complete, conformally compact metrics. Related to this issue, an isometry extension property is proved: continuous groups of isometries at confor…

Extends neural net safety guarantees by proving structural properties.

We develop the theory of maximal representations of the fundamental group of a compact connected oriented surface with boundary, into a group of Hermitian type. For any such representation we define the Toledo invariant, for which we establish properties such as uniform boundedness on the representation variety, additi…

The paper studies properties of group relations induced by compatible coarse structures.

We study the Orchard relation for generic configurations of points in the plane (also called order types). We introduce infinitesimally-close points and analyse the relation of this notion with the Orchard relation. The second part of the paper deals with monochromatic configurations (for the Orchard relation). We give…

Notes on continuity of discrete-spectrum Fredholm operators.

The notion of local subgroupoid as a generalisation of a local equivalence relation was defined in a previous paper by the first two authors. Here we use the notion of star path connectivity for a Lie groupoid to give an important new class of examples, generalising the local equivalence relation of a foliation, and de…

We examine relations between geometry and the associated curvature decompositions in Weyl geometry.

Osculating spaces of decomposable scrolls (of any genus and not necessarily normal)are studied and their inflectional loci are related to those of their generating curves by using systematically an idea introduced by Piene and Sacchiero in the setting of rational normal scrolls. In this broader setting the extra compon…

We will say that a group G possesses the Magnus property if for any two elements u,v in G with the same normal closure, u is conjugate to v or v^{-1}. We prove that some one-relator groups, including the fundamental groups of closed nonorientable surfaces of genus g>3 possess this property. The analogous result for ori…

How different is the universal cover of a given finite 2-complex from a 3-manifold (from the proper homotopy viewpoint)? Regarding this question, we recall that a finitely presented group $G$ is said to be properly 3-realizable if there exists a compact 2-polyhedron $K$ with $π_1(K) \cong G$ whose universal cover $\til…

Constellation learns group-level visual relationships for abstract reasoning.

New probabilistic method constructs Kähler-Einstein metrics and suggests zero-free properties of zeta functions.

The n-th order covariant derivative on a smooth manifold with an affine connection is a differential operator which turns a function into a tensor field of type (0,n). In this paper the properties of this operatior related to the permutation of indices are investigated by means of non-associative algebra. The general f…

There is a relation between the generalized Property R Conjecture and the Schoenflies Conjecture that suggests a new line of attack on the latter. The approach gives a quick proof of the genus 2 Schoenflies Conjecture and suffices to prove the genus 3 case, even in the absence of new progress on the generalized Propert…

It is well-known that a paracompact space X is of covering dimension n if and only if any map f from X to a simplicial complex K can be pushed into its n-skeleton. We use the same idea to define dimension in the coarse category. It turns out the analog of maps f from X to K is related to asymptotically Lipschitz maps, …

This work establishes properties on diffeological structures for set-valued maps and measures.

We define transit clusters to simplify causal diagrams and preserve their essential properties.

We present a representation for describing transition models in complex uncertain domains using relational rules. For any action, a rule selects a set of relevant objects and computes a distribution over properties of just those objects in the resulting state given their properties in the previous state. An iterative g…

We replace the usual Convex Integration formula by a Corrugation Process and introduce the notion of Kuiper differential relations. This notion provides a natural framework for the construction of solutions with self-similarity properties. We consider the case of the totally real relation, we prove that it is Kuiper an…

Study properties of bi-warped product submanifolds in specific geometric spaces.

Introduces new types of homogeneous spaces and their properties.

In this paper, we introduce a new type of relation between knots called the descendant relation. One knot $H$ is a descendant of another knot $K$ if $H$ can be obtained from a minimal crossing diagram of $K$ by some number of crossing changes. We explore properties of the descendant relation and study how certain knots…

Study on properties and transformations of Weingarten surfaces in 3D space.

We study differential geometric properties of cuspidal edges with boundary. There are several differential geometric invariants which are related with the behavior of the boundary in addition to usual differential geometric invariants of cuspidal edges. We study the relation of these invariants with several other invar…

The paper explores higher property T in lattices and its connections to geometric phenomena.