arXiv research

New graph types help identify complex relationships.

Study of eigenvalues in nonlinear kernels for classification of separable data.

Geodesic flows on Kähler manifolds are quantum integrable when metrics are c-projectively equivalent.

We solve the equivalence problem for the orthogonally separable webs on the three-sphere under the action of the isometry group. This continues a classical project initiated by Olevsky in which he solved the corresponding canonical forms problem. The solution to the equivalence problem together with the results by Olev…

Characterizes Bayesian networks up to unconditional equivalence.

We show that the Prüfer surface, which is a separable non-metrizable 2-manifold, has not the homotopy type of a CW-complex. This will follow easily from J. H. C. Whitehead's result: if one has a good approximation of an arbitrary space by a CW-complex, which fails to be a homotopy equivalence, then the given space is n…

Separates estimation and control in risk-sensitive investment problems with partial observation.

New measures assess differences in causal graphs' separations.

We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished in finite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.

We show that there are separated nets in the Euclidean plane which are not biLipschitz equivalent to the integer lattice. The argument is based on the construction of a continuous function which is not the Jacobian of a biLipschitz map.

Study Poincaré inequality in metric spaces via separating sets.

Paper investigates separating times for general diffusions, providing new insights.

We prove that each coarsely homogenous separable metric space $X$ is coarsely equivalent to one of the spaces: the sigleton, the Cantor macro-cube or the Baire macro-space. This classification is derived from coarse characterizations of the Cantor macro-cube and of the Baire macro-space given in this paper. Namely, we …

Constructs classifiers for neural networks with specific data configurations.

New curvature bounds defined for Lorentzian spaces.

Categorical d-separation criterion simplifies probability graph analysis.

We show that any homomorphism from the homeomorphism group of a compact 2-manifold, with the compact-open topology, or equivalently, with the topology of uniform convergence, into a separable topological group is automatically continuous.

For each $n$, we construct a separable metric space $\mathbb{U}_n$ that is universal in the coarse category of separable metric spaces with asymptotic dimension ($\mathop{asdim}$) at most $n$ and universal in the uniform category of separable metric spaces with uniform dimension ($\mathop{udim}$) at most $n$. Thus, $\m…

A new method speeds up overlapping group lasso computations.

In this paper, we shall show a condition for that a chart is C-move equivalent to the product of two charts, the union of two charts $Γ^*$ and $Γ^{**}$ which are contained in disks $D^*$ and $D^{**}$ with $D^*\cap D^{**}=\emptyset$.

We consider the notion of dimension in four categories: the category of (unbounded) separable metric spaces and (metrically proper) Lipschitz maps, and the category of (unbounded) separable metric spaces and (metrically proper) uniform maps. A unified treatment is given to the large scale dimension and the small scale …

Study handles in 3D shapes, applies to material patterns.

New PCstar algorithm discovers causal structure of max-linear Bayesian networks.

Uniformly branching trees are equivalent to certain metric spaces.

Study tackles causal structure learning in linear models with unobserved variables and measurement error.

In the context of large financial markets we formulate the notion of \emph{no asymptotic free lunch with vanishing risk} (NAFLVR), under which we can prove a version of the fundamental theorem of asset pricing (FTAP) in markets with an (even uncountably) infinite number of assets, as it is for instance the case in bond…

A conjecture of Hirschowitz's predicts that a globally generated vector bundle $W$ on a compact complex manifold $A$ satisfies the formal principle, i.e., the formal neighborhood of its zero section determines the germ of neighborhoods in the underlying complex manifold of the vector bundle $W$. By applying Cartan's eq…

Gradient descent is a simple and widely used optimization method for machine learning. For homogeneous linear classifiers applied to separable data, gradient descent has been shown to converge to the maximal margin (or equivalently, the minimal norm) solution for various smooth loss functions. The previous theory does …

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

In this paper we study decomposition methods based on separable approximations for minimizing the augmented Lagrangian. In particular, we study and compare the Diagonal Quadratic Approximation Method (DQAM) of Mulvey and Ruszczyński and the Parallel Coordinate Descent Method (PCDM) of Richtárik and Takáč. We show that …

In this paper, we study the nonnegative matrix factorization problem under the separability assumption (that is, there exists a cone spanned by a small subset of the columns of the input nonnegative data matrix containing all columns), which is equivalent to the hyperspectral unmixing problem under the linear mixing mo…

The paper proposes a new method for comparing logistic regression models across different populations.

Necessary and/or sufficient conditions are studied for the existence, uniqueness and holonomicity of bases in which on sufficiently general subsets of a differentiable manifold the components of derivations of the tensor algebra over it vanish. The linear connections and the equivalence principle are considered form th…

Confocal quadrics lie at the heart of the system of confocal coordinates (also called elliptic coordinates, after Jacobi). We suggest a discretization which respects two crucial properties of confocal coordinates: separability and all two-dimensional coordinate subnets being isothermic surfaces (that is, allowing a con…

We prove that there exists no branched cover from the torus to the sphere with degree 3h and 3 branching points in the target with local degrees (3,...,3), (3,...,3), (4,2,3,...,3) at their preimages. The result was already established by Izmestiev, Kusner, Rote, Springborn, and Sullivan, using geometric techniques, an…

Learning rule consistency tied to non-existence of real-valued measurable cardinals.

This article establishes the performance of stochastic blockmodels in addressing the co-clustering problem of partitioning a binary array into subsets, assuming only that the data are generated by a nonparametric process satisfying the condition of separate exchangeability. We provide oracle inequalities with rate of c…

We study the Merton problem of optimal consumption-investment for the case of two investors sharing a final wealth. The typical example would be a husband and wife sharing a portfolio looking to optimize the expected utility of consumption and final wealth. Each agent has different utility function and discount factor.…

Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of the associated representations in cohomol- ogy. Furthermore, we observe that the …

Kernel embeddings separate distinct probability distributions, simplifying testing.

The paper explores how different patterns of heterophily affect Graph Neural Networks.

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the sense of Freedman and Quinn. On a separate note, we observe that the Borel Conje…

Unified geometric framework for integrability of conservative and dissipative systems.

The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating 3-spheres in S^1xS^3 not isotopic to 1xS^3 and non trivial elements of π_0 Diff_0(S^1xS^…

Existing depth separation results for constant-depth networks essentially show that certain radial functions in $\mathbb{R}^d$, which can be easily approximated with depth $3$ networks, cannot be approximated by depth $2$ networks, even up to constant accuracy, unless their size is exponential in $d$. However, the func…

This is a concise introduction to the theory of Lie groupoids, with emphasis in their role as models for stacks. After some preliminaries, we review the foundations on Lie groupoids, and we carefully study equivalences and proper groupoids. Differentiable stacks are geometric objects which have manifolds and orbifolds …

Garside groupoids, as recently introduced by Krammer, generalise Garside groups. A weak Garside group is a group that is equivalent as a category to a Garside groupoid. We show that any periodic loop in a Garside groupoid $\CG$ may be viewed as a Garside element for a certain Garside structure on another Garside groupo…

The tangent bundle of a Riemannian manifold (M,g) with non-degenerated g-natural metric G that admits a Killing vector field is investigated. Using Taylor's formula (TM,G) is decomposed into four classes that are investigated separately. The equivalence of the existence of Killing vector field on M and TM is proved. Ke…