arXiv research

Builds geometric structures for algebraic groups over real closed fields.

One of the key technologies for future large-scale location-aware services covering a complex of multi-story buildings --- e.g., a big shopping mall and a university campus --- is a scalable indoor localization technique. In this paper, we report the current status of our investigation on the use of deep neural network…

We compute the compactly supported cohomology of the standard realization of any locally finite building.

This paper constructs and proves the uniqueness of pluriharmonic maps to Euclidean buildings.

Proves regularity of harmonic maps into Euclidean buildings and applies to superrigidity of algebraic groups.

Indoor localization based on SIngle Of Fingerprint (SIOF) is rather susceptible to the changing environment, multipath, and non-line-of-sight (NLOS) propagation. Building SIOF is also a very time-consuming process. Recently, we first proposed a GrOup Of Fingerprints (GOOF) to improve the localization accuracy and reduc…

We prove that every open subset of a euclidean building is a finite dimensional absolute neighborhood retract. This implies in particular that such a set has the homotopy type of a finite dimensional simplicial complex. We also include a proof for the rigidity of homeomorphisms of euclidean buildings. A key step in our…

Harmonic maps to Euclidean buildings have rectifiable singular strata.

Let F be a non-Archimedean local field and let E be a finite extension of F. Let G be a split semisimple F group. We discuss how to compare volumes on the Bruhat-Tits buildings B_E and B_F of G(E) and G(F) respectively.

Non-positively curved spaces admitting a cocompact isometric action of an amenable group are investigated. A classification is established under the assumption that there is no global fixed point at infinity under the full isometry group. The visual boundary is then a spherical building. When the ambient space is geode…

In this paper, we propose hybrid building/floor classification and floor-level two-dimensional location coordinates regression using a single-input and multi-output (SIMO) deep neural network (DNN) for large-scale indoor localization based on Wi-Fi fingerprinting. The proposed scheme exploits the different nature of th…

We study geodesically complete and locally compact Hadamard spaces X whose Tits boundary is a connected irreducible spherical building. We show that X is symmetric iff complete geodesics in X do not branch and a Euclidean building otherwise. Furthermore, every boundary equivalence (cone topology homeomorphism preservin…

The study proves properties of 4D projective manifolds and builds non-hyperbolic examples.

The article explores metrics on buildings and symmetric spaces, proving injectivity and proper actions.

We generalize the natural cross ratio on the ideal boundary of a rank one symmetric spaces, or even $\mathrm{CAT}(-1)$ space, to higher rank symmetric spaces and (non-locally compact) Euclidean buildings - we obtain vector valued cross ratios defined on simplices of the building at infinity. We show several properties …

We build an elementary analytico-geometric theory of Segre chains and their jets.

Most existing fingerprints-based indoor localization approaches are based on some single fingerprints, such as received signal strength (RSS), channel impulse response (CIR), and signal subspace. However, the localization accuracy obtained by the single fingerprint approach is rather susceptible to the changing environ…

We investigate periodic diffeomorphisms of non-compact aspherical manifolds (and orbifolds) and describe a class of spaces that have no homotopically trivial periodic diffeomorphisms. Prominent examples are moduli spaces of curves and aspherical locally symmetric spaces with non-vanishing Euler characteristic. In the i…

Proves conjecture on deformation invariance of big fundamental groups.

Extends partitioned local depth concept with probabilistic considerations.

Professional software developers spend a significant amount of time fixing builds, but this has received little attention as a problem in automatic program repair. We present a new deep learning architecture, called Graph2Diff, for automatically localizing and fixing build errors. We represent source code, build config…

Maps complex varieties into buildings with harmonic properties.

We use Ricci flow to obtain a local bi-Holder correspondence between Ricci limit spaces in three dimensions and smooth manifolds. This is more than a complete resolution of the three-dimensional case of the conjecture of Anderson-Cheeger-Colding-Tian, describing how Ricci limit spaces in three dimensions must be homeom…

We construct a global homeomorphism from any 3D Ricci limit space to a smooth manifold, that is locally bi-Holder. This extends the recent work of Miles Simon and the second author, and we build upon their techniques. A key step in our proof is the construction of local "pyramid Ricci flows", existing on uniform region…

We propose a spectral clustering method based on local principal components analysis (PCA). After performing local PCA in selected neighborhoods, the algorithm builds a nearest neighbor graph weighted according to a discrepancy between the principal subspaces in the neighborhoods, and then applies spectral clustering. …

Let X be a symmetric space of non-compact type or a locally finite, strongly transitive Euclidean building, and let B denote the geodesic boundary of X. We reduce the study of visual limits of maximal flats in X to the study of limits of apartments in the spherical building B: this defines a natural, geometric compacti…

Swarm systems constitute a challenging problem for reinforcement learning (RL) as the algorithm needs to learn decentralized control policies that can cope with limited local sensing and communication abilities of the agents. While it is often difficult to directly define the behavior of the agents, simple communicatio…

We present a conditional generative model to learn variation in cell and nuclear morphology and the location of subcellular structures from microscopy images. Our model generalizes to a wide range of subcellular localization and allows for a probabilistic interpretation of cell and nuclear morphology and structure loca…

We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category structure drops down to the localization. In our construction the spaces of 1- …

We introduce a systematic method to solve a type of Cartan's realization problem. Our method builds upon a new theory of Lie algebroids and Lie groupoids with structure group and connection. This approach allows to find local as well as complete solutions, their symmetries, and to determine the moduli spaces of local a…

Locally Valid and Discriminative prediction intervals for deep learning models.

We present a method for scalable and fully 3D magnetic field simultaneous localisation and mapping (SLAM) using local anomalies in the magnetic field as a source of position information. These anomalies are due to the presence of ferromagnetic material in the structure of buildings and in objects such as furniture. We …

Matrix approximation is a common tool in machine learning for building accurate prediction models for recommendation systems, text mining, and computer vision. A prevalent assumption in constructing matrix approximations is that the partially observed matrix is of low-rank. We propose a new matrix approximation model w…

Surrogate explainers of black-box machine learning predictions are of paramount importance in the field of eXplainable Artificial Intelligence since they can be applied to any type of data (images, text and tabular), are model-agnostic and are post-hoc (i.e., can be retrofitted). The Local Interpretable Model-agnostic …

Given a Riemann surface $X = (Σ, J)$ we find an expression for the dominant term for the asymptotics of the holonomy of opers over that Riemann surface corresponding to rays in the Hitchin base of the form $(0,0,\cdots,tω_n)$. Moreover, we find an associated equivariant map from the universal cover $(\tildeΣ,\tilde{J})…

AutoBayes simplifies variational inference by composing models and optimizing them.

Considered as a data-driven approach, Fingerprinting Localization Solutions (FPSs) enjoy huge popularity due to their good performance and minimal environment information requirement. This papers addresses applications of artificial intelligence to solve two problems in Received Signal Strength Indicator (RSSI) based F…

Study Morse complexity of manifolds and homology classes, proving bounds and implications.

The local kinematic formulas on complex space forms induce the structure of a commutative algebra on the space $\mathrm{Curv}^{\mathrm{U}(n)*}$ of dual unitarily invariant curvature measures. Building on the recent results from integral geometry in complex space forms, we describe this algebra structure explicitly as a…

Let G(O_S) be an S-arithmetic subgroup of a connected, absolutely almost simple linear algebraic group G over a global function field K. We show that the sum of local ranks of G determines the homological finiteness properties of G(O_S) provided the K-rank of G is 1. This shows that the general upper bound for the fini…

Exposes two methods for constructing flat surfaces in 4D spaces.

Compactifies CR structures for complex hyperbolic manifolds.

Paper studies Transformer learning theory for Euclidean and Riemannian domains.

We show that for any convex differentiable loss, a deep linear network has no spurious local minima as long as it is true for the two layer case. This reduction greatly simplifies the study on the existence of spurious local minima in deep linear networks. When applied to the quadratic loss, our result immediately impl…

Paper proposes incentives for federated learning to ensure truthful contributions.

Let be M a smooth manifold, A a local algebra and M^{A} a manifold of infinitely near points on M of kind A. We build the canonical foliation on M^{A} et we show that the canonical foliation on the tangent bundle TM is the foliation defined by his canonical field.

We investigate 3-dimensional almost Kenmotsu manifolds satisfying special types of nullity conditions depending on two smooth functions $κ,μ$. When either $κ<-1$ and $μ=0$ or $h=0$, such conditions coincide with the $κ$-nullity condition which we show to be equivalent to the $η$-Einstein one. As an application of this …

The Noether theorem is extended to stochastic control problems using contact symmetries.