arXiv research

We describe the set of possible vector valued side lengths of n-gons in thick Euclidean buildings of rank 2. This set is determined by a finite set of homogeneous linear inequalities, which we call the generalized triangle inequalities. These inequalities are given in terms of the combinatorics of the spherical Coxeter…

Paper relaxes triangle inequality for KL divergence between Gaussian distributions.

We study side-lengths of triangles in path metric spaces. We prove that unless such a space X is bounded, or quasi-isometric to line or half-line, every triple of real numbers satisfying the strict triangle inequalities, is realized by the side-lengths of a triangle in X. We construct an example of a complete path metr…

Two simple proofs of the triangle inequality for the Jaccard distance in terms of nonnegative, monotone, submodular functions are given and discussed.

New neural nets respect triangle inequality, improving graph and reinforcement learning performance.

The paper finds extremum values for mixed Laplacian eigenvalues on triangles and trapezoids.

Sharp inequalities for curved surfaces and cones.

Lorentz-Finsler geometry reveals new and old inequalities.

This paper considers affine analogues of the isoperimetric inequality in the sense of piecewise linear topology. Given a closed polygon P embedded in R^d having n edges, we give upper and lower bounds for the minimal number of triangles needed to forma triangulated embedded orientable surface in R^d having P as its geo…

A pseudo-length function defined on an arbitrary group $G = (G,\cdot,e, (\,)^{-1})$ is a map $\ell: G \to [0,+\infty)$ obeying $\ell(e)=0$, the symmetry property $\ell(x^{-1}) = \ell(x)$, and the triangle inequality $\ell(xy) \leqslant \ell(x) + \ell(y)$ for all $x,y \in G$. We consider pseudo-length functions which sa…

The paper finds inequalities in Grassmannian geometry.

Study on a metric space derived from Kähler manifolds.

We show that, in the Teichmüller metric, "thin-framed triangles are thin"---that is, under suitable hypotheses, the variation of geodesics obeys a hyperbolic-like inequality. This theorem has applications to the study of random walks on Teichmüller space. In particular, an application is worked out for the action of th…

Given a closed polygon P having n edges, embedded in R^d, we give upper and lower bounds for the minimal number of triangles t needed to form a triangulated PL surface in R^d having P as its geometric boundary. The most interesting case is dimension 3, where the polygon may be knotted. We use the Seifert suface constru…

We prove a differential Harnack inequality for the solution of the parabolic Allen-Cahn equation $\frac{\partial f}{\partial t}=\triangle f-(f^3-f)$ on a closed n-dimensional manifold. As a corollary we find a classical Harnack inequality. We also formally compare the standing wave solution to a gradient estimate of M…

The paper establishes conditions for Bayesian consistency in supremum metric.

In this paper, we explore the relationship between one of the most elementary and important properties of graphs, the presence and relative frequency of triangles, and a combinatorial notion of Ricci curvature. We employ a definition of generalized Ricci curvature proposed by Ollivier in a general framework of Markov p…

Study interior estimates for solutions of Poisson equation on Riemann surfaces.

Distance functions of metric spaces with lower curvature bound, by definition, enjoy various metric inequalities; triangle comparison, quadruple comparison and the inequality of Lang-Schroeder-Sturm. The purpose of this paper is to study the extremal cases of these inequalities and to prove rigidity results. The spaces…

Proves compactness for timed-metric spaces using new distance and maps.

Using a ramified cover of the two-sphere by the torus, we prove a local optimal inequality between the diastole and the area on the two-sphere near a singular metric. This singular metric, made of two equilateral triangles glued along their boundary, has been conjectured by E. Calabi to achieve the best ratio area over…

In this article, we study the geodesic problem in a generalized metric space, in which the distance function satisfies a relaxed triangle inequality $d(x,y)\leq σ(d(x,z)+d(z,y))$ for some constant $σ\geq 1$, rather than the usual triangle inequality. Such a space is called a quasimetric space. We show that many well-kn…

New MMOTs define a generalized metric for multi-distribution transport.

Consider a set represented by an inequality. An interesting phenomenon which occurs in various settings in mathematics is that the interior of this set is the subset where strict inequality holds, the boundary is the subset where equality holds, and the closure of the set is the closure of its interior. This paper disc…

Let $M$ be a compact 3-manifold with a triangulation $τ$. We give an inequality relating the Euler characteristic of a surface $F$ normally embedded in $M$ with the number of normal quadrilaterals in $F$. This gives a relation between a topological invariant of the surface and a quantity derived from its combinatorial …

We review some developments on clustering stochastic processes and come with the conclusion that asymptotically consistent clustering algorithms can be obtained when the processes are ergodic and the dissimilarity measure satisfies the triangle inequality. Examples are provided when the processes are distribution ergod…

New method shows any triangle group generating pair is related to special coverings.

We initiate the rigorous study of classification in quasi-metric spaces. These are point sets endowed with a distance function that is non-negative and also satisfies the triangle inequality, but is asymmetric. We develop and refine a learning algorithm for quasi-metrics based on sample compression and nearest neighbor…

This article revisits an analysis on inaccuracies of time series averaging under dynamic time warping conducted by \cite{Niennattrakul2007}. The authors presented a correctness-criterion and introduced drift-outs of averages from clusters. They claimed that averages are inaccurate if they are incorrect or drift-outs. F…

Improved K-Means++ and K-Means$\|$ with faster run-time.

We show that an infinite dimensional Lie group in Milnor's sense has the strong Trotter property if it is locally $μ$-convex. This is a continuity condition imposed on the Lie group multiplication that generalizes the triangle inequality for locally convex vector spaces, and is equivalent to $C^0$-continuity of the evo…

Study stabilizers of complex hyperbolic triangle groups, finding generators and signatures.

We study groups generated by three half-turns in the Lobachevsky $3$-space and their quotient orbifolds. These generalized triangle groups are closely related to the arbitrary 2-generator Kleinian groups. Our main result is a classification of the singular sets of the generalized triangle orbifolds. We also present a m…

Complex hyperbolic triangle groups were first considered by Mostow in building the first nonarithmetic lattices in PU(2, 1). They are a natural generalization of the classical triangle groups acting on the hyperbolic plane. A well-known theorem of Takeuchi is that there are only finitely many Fuchsian triangle groups t…

The goal of this paper is to give a conjectural census of complex hyperbolic sporadic groups. We prove that only finitely many of these sporadic groups are lattices. We also give a conjectural list of all lattices among sporadic groups, and for each group in the list we give a conjectural presentation, as well as a lis…

New surgery exact triangles in Heegaard Floer homology for rational slopes.

This paper is about metric data structures in high-dimensional or non-Euclidean space that permit cached sufficient statistics accelerations of learning algorithms. It has recently been shown that for less than about 10 dimensions, decorating kd-trees with additional "cached sufficient statistics" such as first and sec…

A formula for Rademacher symbols in triangle groups is provided.

Criterion for stopping conjugacy class enumeration in triangle groups.

Triangle groups uniquely identified by their finite quotients.

The mapping class group invariant ideal cell decomposition of the Teichmueller space of a punctured surface times an open simplex has been used in a number of computations. This paper answers a question about the asymptotics of this decomposition, namely, in a given cell of the decomposition, which curves can be short?…

We study the geometry of the (generalized) twistor triangles $\triangle J_1J_2J_3$ in the period domain of compact complex tori of complex dimension $2n$ by the means of the representation theory of the algebras (of real dimension 8) generated by the complex structures $J_1,J_2,J_3$. Considering the period domain as th…

Metric surfaces can be divided into small triangles.

This paper proposes the divergence triangle as a framework for joint training of generator model, energy-based model and inference model. The divergence triangle is a compact and symmetric (anti-symmetric) objective function that seamlessly integrates variational learning, adversarial learning, wake-sleep algorithm, an…

We consider the Neumann Laplacian acting on square-integrable functions on a triangle in the hyperbolic plane that has one cusp. We show that the generic such triangle has no eigenvalues embedded in its continuous spectrum. To prove this result we study the behavior of the real-analytic eigenvalue branches of a degener…

Compactifies group representations into thin triangle spaces.

The paper extends Menelaus' and Ceva's theorems to translation triangles in various Thurston geometries.

Napoleonic triangles don't exist in hyperbolic geometry.