arXiv research

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.

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…

Sharp inequalities for curved surfaces and cones.

Paper relaxes triangle inequality for KL divergence between Gaussian distributions.

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.

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 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…

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…

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…

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.

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…

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…

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 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…

Napoleonic triangles don't exist in hyperbolic geometry.

Introduces a new geometry based on difference angles, showing unique properties.

The study shows that certain complex geometries are hyperbolic and contractible but fail to be CAT(0).

New bounds on inscribed triangles in arbitrary planar domains.

Paper calculates eigenvalues of a specific triangle on a sphere.

Study on Laplacian determinant in isosceles triangles, finding equilateral triangle minimizes determinant.

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

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…

Defines band maps in unoriented link Floer homology forming a skein exact triangle.

Proves a new skein exact triangle for real monopole Floer homology.

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.

We answer the question "Does the Y-triangle move preserve intrinsic knottedness?" in the negative by giving an example of a graph that is obtained from the intrinsically knotted graph K_7 by triangle-Y and Y-triangle moves but is not intrinsically knotted.

Study calculates eigenvalues and eigenfunctions for spherical triangles and finds fundamental gap behavior.

Learning representations for feature interactions to model user behaviors is critical for recommendation system and click-trough rate (CTR) predictions. Recent advances in this area are empowered by deep learning methods which could learn sophisticated feature interactions and achieve the state-of-the-art result in an …

We show that the triangle with angles Pi/12, Pi/3 and 7*Pi/12 has the lattice property and compute this triangle's Veech group.

Two triples of triangles having pairwise disjoint outlines in 3-space are called combinatorially isotopic if one triple can be obtained from the other by a continuous motion during which the outlines of the triangles remain pairwise disjoint. We conjecture that it can be algorithmically checked if an (ordered or unorde…