arXiv research

New STH distance finds patterns in event timeseries without resampling.

In this note we prove that for each positive integer $m$ there exists a bi-Lipschitz embedding $Z^m\to Ham(S^2)$, where $Ham(S^2)$ is equipped with the entropy metric. In particular, the same result holds when the entropy metric is substituted with the autonomous metric.

We prove that $π_1(\text{Ham}(M))$ contains an infinite cyclic subgroup, where $\text{Ham}(M)$ is the Hamiltonian group of the one point blow up of ${\Bbb C}P^3$. We give a sufficient condition for the group $π_1(\text{Ham}(M))$ to contain an infinite cyclic subgroup, when $M$ is a general toric manifold.

We verify here some variants of topological and dynamical flavor of the injectivity radius conjecture in Hofer geometry, Lalonde-Savelyev \cite{citeLalondeSavelyevOntheinjectivityradiusinHofergeometry} in the case of $Ham (S^2)$ and $Ham(Σ, ω)$, for $Σ$ a closed positive genus surface. In particular we show that any lo…

Let $S$ be a compact oriented surface. We construct homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ generalizing the constructions of Gambaudo-Ghys and Polterovich. We prove that there are infinitely many linearly independent homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(…

We revisit fuzzy neural network with a cornerstone notion of generalized hamming distance, which provides a novel and theoretically justified framework to re-interpret many useful neural network techniques in terms of fuzzy logic. In particular, we conjecture and empirically illustrate that, the celebrated batch normal…

Develops homotopies for Lagrangian field theory using advanced algebraic structures.

We present a lower bound for a fragmentation norm and construct a bi-Lipschitz embedding $I\colon \mathbb{R}^n\to\mathrm{Ham}(M)$ with respect to the fragmentation norm on the group $\mathrm{Ham}(M)$ of Hamiltonian diffeomorphisms of a symplectic manifold $(M,ω)$. As an application, we provide an answer to Brandenbursk…

We apply Gromov's ham sandwich method to get (1) domain monotonicity (up to a multiplicative constant factor); (2) reverse domain monotonicity (up to a multiplicative constant factor); and (3) universal inequalities for Neumann eigenvalues of the Laplacian on bounded convex domains in a Euclidean space.

Classifies homeomorphism groups of countable Stone spaces up to coarse equivalence.

Let Σ_g be a closed orientable surface let Diff_0(Σ_g; area) be the identity component of the group of area-preserving diffeomorphisms of Σ_g. In this work we present an extension of Gambaudo-Ghys construction to the case of a closed hyperbolic surface Σ_g, i.e. we show that every non-trivial homogeneous quasi-morphism…

In this work we construct Calabi quasi-morphisms on the universal cover of the group Ham(M) of Hamiltonian diffeomorphisms for some non-monotone symplectic manifolds. This complements a result by Entov and Polterovich which applies in the monotone case. Moreover, in contrast to their work, we show that these quasi-morp…

Let $Σ_g$ be a closed hyperbolic surface of genus $g$ and let $Ham(Σ_g)$ be the group of Hamiltonian diffeomorphisms of $Σ_g$. The most natural word metric on this group is the autonomous metric. It has many interesting properties, most important of which is the bi-invariance of this metric. In this work we show that $…

ExDAG solves DAG learning problems with low structural Hamming distance.

In this paper, we compare the performances of FAISS and FENSHSES on nearest neighbor search in Hamming space--a fundamental task with ubiquitous applications in nowadays eCommerce. Comprehensive evaluations are made in terms of indexing speed, search latency and RAM consumption. This comparison is conducted towards a b…

We introduce here a natural functional associated to any $b \in QH_* (M, ω)$: \emph{spectral length functional}, on the space of "generalized paths" in $\text {Ham}(M, ω)$, closely related to both the Hofer length functional and spectral invariants and establish some of its properties. This functional is smooth on its…

We prove that every RAAG (a Right-Angled Artin Group) embeds in the group of Hamiltonian symplectomorphisms of the 2-sphere.

In this paper, we present NESTA, a specialized Neural engine that significantly accelerates the computation of convolution layers in a deep convolutional neural network, while reducing the computational energy. NESTA reformats Convolutions into $3 \times 3$ batches and uses a hierarchy of Hamming Weight Compressors to …

The existence of adversarial examples in which an imperceptible change in the input can fool well trained neural networks was experimentally discovered by Szegedy et al in 2013, who called them "Intriguing properties of neural networks". Since then, this topic had become one of the hottest research areas within machine…

New method identifies extreme risk propagation in financial networks.

New metric space for ReLU codes connects to network safety and robustness.

Let $V$ be a maximal globally hyperbolic flat $n+1$--dimensional space--time with compact Cauchy surface of hyperbolic type. We prove that $V$ is globally foliated by constant mean curvature hypersurfaces $M_τ$, with mean curvature $τ$ taking all values in $(-\infty, 0)$. For $n \geq 3$, define the rescaled volume of $…

We extend the definition of Weinstein's Action homomorphism to Hamiltonian actions with equivariant moment maps of (possibly infinite-dimensional) Lie groups on symplectic manifolds, and show that under conditions including a uniform bound on the symplectic areas of geodesic triangles the resulting homomorphism extends…

A theorem divides hyperplanes evenly with a line through the origin.

This paper analyzes the conflict between Hamming loss and subset accuracy in multi-label classification.

Hashing, or learning binary embeddings of data, is frequently used in nearest neighbor retrieval. In this paper, we develop learning to rank formulations for hashing, aimed at directly optimizing ranking-based evaluation metrics such as Average Precision (AP) and Normalized Discounted Cumulative Gain (NDCG). We first o…

We study the problem of recovering the latent ground truth labeling of a structured instance with categorical random variables in the presence of noisy observations. We present a new approximate algorithm for graphs with categorical variables that achieves low Hamming error in the presence of noisy vertex and edge obse…

Study shows effective resistance distance yields more accurate network barycenter than Hamming distance.

An analogue of the Hofer metric $\varrho_H$ on the Hamiltonian group $Ham(M,Λ)$ of a Poisson manifold $(M,Λ)$ can be defined but there is the problem of its non-degeneracy. First we observe that $\varrho_H$ is a genuine metric on $Ham(M,Λ)$ when the union of all closed leaves (as subsets of $M$) of the corresponding sy…

Asynchronous Gibbs sampling has been recently shown to be fast-mixing and an accurate method for estimating probabilities of events on a small number of variables of a graphical model satisfying Dobrushin's condition~\cite{DeSaOR16}. We investigate whether it can be used to accurately estimate expectations of functions…

Following \cite{citeSavelyevVirtualMorsetheoryon$Omega$Ham$(Momega)$.}, we develop here a connection between Morse theory for the (positive) Hofer length functional $L: Ω\text {Ham}(M, ω) \to \mathbb{R}$, with Gromov-Witten/Floer theory, for monotone symplectic manifolds $(M, ω)$. This gives some immediate restrictio…

We present a powerful new loss function and training scheme for learning binary hash codes with any differentiable model and similarity function. Our loss function improves over prior methods by using log likelihood loss on top of an accurate approximation for the probability that two inputs fall within a Hamming dista…

Let (F,u)\to P\to N be a symplectic fibration in math.SG/0503268 McDuff has defined a subgroup Ham^s(F,u) of the group of symplectic automorphisms of(F,u). She has shown that the cohomology class [u] of u can be extended to P if and only if the symplectic fibration has an Ham^s reduction. To show this result, she const…

PDHAMS improves sampling for discrete distributions with quadratic potential functions.

We find the minimum dilatation of pseudo-Anosov braids on n-punctured discs for 3 <= n <= 8. This covers the results of Song-Ko-Los (n=4) and Ham-Song (n=5). The proof is elementary, and uses the Lefschetz formula.

Differentially private data structures for estimating distances between strings.

The paper explores simple and relatively simple transformation groups and their universal coverings.

Our work proves robustness of embedding schemes to discrete changes in text.

A new, efficient $k$-modes algorithm improves clustering of categorical data.

We use the criteria of Lalonde and McDuff to determine a new class of examples of length minimizing paths in the group $Ham(M)$. For a compact symplectic manifold $M$ of dimension two or four, we show that a path in $Ham(M)$, generated by an autonomous Hamiltonian and starting at the identity, which induces no non-cons…

A growing interest has been witnessed recently from both academia and industry in building nearest neighbor search (NNS) solutions on top of full-text search engines. Compared with other NNS systems, such solutions are capable of effectively reducing main memory consumption, coherently supporting multi-model search and…

Given a closed symplectic manifold $(M,ω)$ we introduce a certain quantity associated to a tuple of conjugacy classes in the universal cover of the group ${\hbox{\it Ham}} (M,ω)$ by means of the Hofer metric on ${\hbox{\it Ham}} (M,ω)$. We use pseudo-holomorphic curves involved in the definition of the multiplicative s…

We prove that the autonomous norm on the group of Hamiltonian diffeomorphisms of the two-dimensional torus is unbounded. We provide explicit examples of Hamiltonian diffeomorphisms with arbitrarily large autonomous norm. For the proofs we construct quasimorphisms on $Ham(T^2)$ and some of them are Calabi.

Sharp threshold found for Frechet mean of inhomogeneous graphs.

Develops gradient boosting for multi-label classification.

Let $γ$ be a non-degenerate Ustilovsky geodesic in $Ham (M, ω)$ generated by $H$. We give a simple proof of a generalization of the conjecture stated in \cite{virtmorse}, relating the Morse index of $γ$, as a critical point of the Hofer length functional, with the Conley Zehnder index of the extremizers of $H$, consid…

Let $Ham (M,ω)$ denote the Frechet Lie group of Hamiltonian symplectomorphisms of a monotone symplectic manifold $(M, ω)$. Let $NFuk (M, ω)$ be the $A _{\infty}$-nerve of the Fukaya category $Fuk (M, ω)$, and let $(|\mathbb{S}|, NFuk (M, ω))$ denote the $NFuk (M, ω)$ component of the ``space of $\infty$-categories''…

Consider the group $\Ham^c(M)$ of compactly supported Hamiltonian symplectomorphisms of the symplectic manifold $(M,\om)$ with the Hofer $L^{\infty}$-norm. A path in $\Ham^c(M)$ will be called a geodesic if all sufficiently short pieces of it are local minima for the Hofer length functional $\Ll$. In this paper, we giv…