Gradient model for memristive systems in neurophysiology and neuromorphic circuits.
problem Understanding and modeling memristive systems.
method Introducing a gradient modeling framework based on Chua's definition of memristive elements.
result Gradient properties of memristive systems have implications for neuromorphic circuit analysis and design.
Optimizes basis functions for learning dynamical systems from data.
problem Learning suitable basis functions for dynamical systems from data.
method Gradient-based optimization framework for learning basis functions.
result Efficacy demonstrated on various benchmark problems.
We seek to achieve the Holy Grail of Bayesian inference for gravitational-wave astronomy: using deep-learning techniques to instantly produce the posterior p(θ∣D) for the source parameters θ, given the detector data D. To do so, we train a deep neural network to take as input a signal + noise data set (drawn from…
Balls-and-Bins sampling improves DP-SGD privacy and utility.
problem Improving privacy and utility in DP-SGD implementations.
method Introducing Balls-and-Bins sampling as an alternative to shuffling in DP-SGD.
result Balls-and-Bins sampling achieves utility comparable to shuffling while offering better privacy amplification.
A knot K is definite if ∣σ(K)∣=2g(K). We prove that the quotient of a definite periodic knot is definite by considering equivariant minimal genus Seifert surfaces.
A new geometric definition of integration for differential forms.
problem Standard integration definitions are coordinate-dependent and not suitable for certain contexts.
method Uses triangulations and cochains on the pair groupoid to define integration.
result Natural definition in Lie algebroids, stochastic integration, and quantum field theory.
This study proves new financial market theorems breaking standard risk definitions.
problem Breaking standard risk definitions in financial markets.
method Presenting proofs for new financial market theorems.
result New definitions are richer and broader than standard ones considering shape.
The paper defines cross-section continuity for angular momentum definitions and finds the CWY definition valid.
problem Defining angular momentum at null infinity and ensuring its continuity across different cross-sections.
method Introducing cross-section continuity as a criterion and proving it for specific angular momentum definitions.
result The Chen-Wang-Yau definition of angular momentum satisfies cross-section continuity, while the Compere-Nichols modification does not.
Local positive definite Z2^n-superfunctions can be extended.
problem Bounding and extending local positive definite Z2^n-superfunctions.
method Defining boundedness for Z2^n-superfunctions and extending them.
result Local positive definite Z2^n-superfunctions have positive definite extensions.
This paper proposes a new differential privacy definition using Rao distance.
problem Improving differential privacy definitions for better sequential composition.
method Using Rao distance instead of divergences of densities to define privacy.
result Proposed definition shares interpretation with previous definitions but improves sequential composition.
New definition resolves ambiguity in non-stationary bandit classification.
problem Ambiguity in classifying non-stationary bandits using existing definitions.
method Introducing a formal definition that resolves ambiguity and provides a unified approach.
result Unified approach applicable to both Bayesian and frequentist formulations, resolves classification issues.
Study negative definite spin fillings of knot covers.
problem Existence of negative definite spin fillings in branched double covers.
method Derive obstructions and characterize special knots.
result Characterization of special alternating knots.
In this paper a functional definition of geodesics is introduced which allows to generalize the notion of a geodesic from smooth to topological manifolds. It is shown that in the smooth case the new definition coincides with the classical definition of geodesics of a linear connection. If the smoothness is not required…
Algorithm transforms weakly negative plumbing trees to negative definite ones.
problem Transforming weakly negative plumbing trees to negative definite ones.
method Combining plumbing calculus with diagonalization algorithm to systematically eliminate positive eigenvalues.
result Explicit algorithm reduces weakly negative definite plumbing trees to negative definite ones.
We give a definition of the Maslov fibre bundle for a lagrangian submanifold of the cotangent bundle of a smooth manofold. This definition generelizes the definition given, in homotopic terms, by Arnol'd for lagrangian submanifolds of the cotangent bundle of the euclidean space and coincides with the one of Hörmander i…
Survey on embedding 3-manifolds in definite 4-manifolds, focusing on Donaldson's theorem.
problem Understanding embeddings of 3-manifolds in definite 4-manifolds.
method Utilizes Donaldson's diagonalization theorem and combinatorics of integral lattices.
result New result on embedding amphichiral lens spaces in negative-definite manifolds.
Defines hierarchical clustering axioms for various densities.
problem Defining hierarchical clustering for different types of densities.
method An axiomatic approach to piecewise constant densities, then extending to general densities.
result Our axiomatic definition results in Hartigan's cluster tree under certain conditions.
Let G be a rank 1 simple Lie group and M be a connected orientable aspherical tame manifold. Assume that each end of M has amenable fundamental group. There are several definitions of volume of representations of the fundamental group of M into G. We give a new definition of volume of representations and furthermore, s…
We prove a generalisation of Elkies' theorem to nonunimodular definite forms (and lattices). Combined with inequalities of Froyshov and of Ozsvath and Szabo, this gives a simple test of whether a rational homology 3-sphere may bound a definite four-manifold. As an example we show that small positive surgeries on torus …
Defines Kahler angle for a broader context.
problem Generalizing results about Kahler angle.
method Provides a general definition of Kahler angle.
result Generalized results about Kahler angle.
Paper defines multiplicities for quaternion eigenvalues without complex matrix concepts.
problem Defining multiplicities for quaternion eigenvalues without traditional matrix concepts.
method Introduces two definitions for algebraic and geometric multiplicities equivalent to classical definitions.
result Definitions are equivalent to classical ones and prove all properties easily.
Paper reviews Viro's definition of Khovanov homology for tangles.
problem Defining Khovanov homology for unoriented framed tangles.
method Explains Viro's definition and the relation between R-matrix and Kauffman bracket. result Clarifies the relation between R-matrix and Kauffman bracket in Khovanov homology. Clarifies definition of polarized canonical radius in Kahler Ricci flow.
problem Unclear definition of polarized canonical radius in Kahler Ricci flow.
method Clarification of the definition.
result Clarified definition of polarized canonical radius.
For a spacelike 2-surface in spacetime, we propose a new definition of quasi-local angular momentum and quasi-local center of mass, as an element in the dual space of the Lie algebra of the Lorentz group. Together with previous defined quasi-local energy-momentum, this completes the definition of conserved quantities i…
Study on 4-manifolds with exotic smooth structures and Z_2 fundamental group.
problem Exploring smooth structures on 4-manifolds with specific fundamental groups.
method Construction of irreducible, smooth, oriented, closed, definite 4-manifolds with Z_2 fundamental group and specific Betti numbers.
result Proves existence of infinitely many smooth structures on definite 4-manifolds with positive second Betti number and Z_2 fundamental group.
Study lens spaces' definite fillings, classifying those with specific inequalities.
problem Classifying lens spaces with certain inequalities for definite fillings.
method Combinatorial framework and forbidden configurations.
result Classification of lens spaces based on forbidden configurations.
A general definition of a bimodule connection in noncommutative geometry has been recently proposed. For a given algebra this definition is compared with the ordinary definition of a connection on a left module over the associated enveloping algebra. The corresponding curvatures are also compared.
New method efficiently learns positive-definite curvature for neural nets.
problem Efficiently learn positive-definite curvature for neural net training.
method Spectral-factorized positive-definite curvature learning approach.
result Efficiently applies arbitrary matrix roots and generic curvature learning.
Models like support vector machines or Gaussian process regression often require positive semi-definite kernels. These kernels may be based on distance functions. While definiteness is proven for common distances and kernels, a proof for a new kernel may require too much time and effort for users who simply aim at prac…
New groups found in hyperbolic space with infinite fields of definition.
problem Finding maximal reflection groups in hyperbolic space.
method Developed new quasi-arithmetic reflection groups for hyperbolic 2-space.
result Infinitely many maximal quasi-arithmetic reflection groups with unbounded field degrees.
Unified definition of hallucinations in language models.
problem Persistent hallucinations despite mitigation efforts.
method Unified definition of hallucination as inaccurate world modeling.
result Unified framework distinguishes hallucinations from other errors.
Positive definite kernels are an important tool in machine learning that enable efficient solutions to otherwise difficult or intractable problems by implicitly linearizing the problem geometry. In this paper we develop a set-theoretic interpretation of the Earth Mover's Distance (EMD) and propose Earth Mover's Interse…
New definite 4-manifolds found with non-cyclic groups.
problem Finding exotic smooth structures on 4-manifolds with specific fundamental groups.
method Constructing infinitely many non-diffeomorphic structures.
result Infinitely many pairwise non-diffeomorphic definite 4-manifolds with Z/2imesZ/2 fundamental group. The purpose of this note is to provide a short alternate proof that (combined with a theorem proven by Szczepanski) shows that a group which is relatively hyperbolic in the sense of the definition of Gromov is relatively hyperbolic in the sense of the definition of Farb.
Study submersions with definite folds on manifolds with boundary into Euclidean spaces.
problem Understanding differential-topological properties of manifolds with boundary under submersions with definite folds.
method Analyzing submersions with definite folds on manifolds with boundary into Euclidean spaces, focusing on restrictions to the boundary and using results for m-functions.
result Obtained restrictions on the diffeomorphism types of the source manifolds and studied the diffeomorphism types and Euler characteristics of manifolds admitting such maps.
The paper defines and studies the geometric mean for tensors and its associated Riemannian geometry.
problem Defining and studying the geometric mean for tensors.
method Generalized geometric mean for tensors using T-product, verified properties, and investigated Riemannian manifold.
result Geometric mean of T-positive definite tensors is a unique solution of algebraic Riccati tensor equations and a midpoint of geodesics.
Gaussian kernels on complex manifolds are never positive definite.
problem Analyzing positive definiteness of Gaussian kernels on non-simply-connected Riemannian manifolds.
method Combining recent preprint analysis and classical Riemannian geometry comparison theorems.
result Gaussian kernels are never positive definite on non-simply-connected closed Riemannian manifolds.
Two criteria for a closed connected definite 4-manifold with infinite cyclic fundamental group to be TOP-split are given. One criterion extends a sufficient condition made in a previous paper. The result is equivalent to a purely algebraic result on the question asking when a positive definite Hermitian form over the r…
Classifies contact structures on negative-definite Seifert fibred spaces.
problem Classifying fillable contact structures on negative-definite Seifert fibred spaces.
method Using Alexander filtration in lattice cohomology and Stein structures.
result Unique negative maximal twisting number and explicit computation.
Three definitions of a differential form on a tangent structure are considere. It is proved that the (covariant) definition given by Souriau (as a collection of forms indexed by the plaques) is equivalent to a smooth section of the corresponding vector bundle if the space does not have transverse points.
Paper introduces danceability index as a new bridge index definition.
problem Defining the bridge index in various mathematical contexts.
method Proves danceability index as equivalent to bridge index, extends to virtual knots.
result Danceability index is a new equivalent definition of the bridge index.
New definition of regular points for PL functions on manifolds.
problem Defining regular points for PL functions on combinatorial manifolds.
method Definition based on link of the point, stratification of Jacobi set, Stein factorization of Reeb space.
result Our definition of regularity is distinct from existing definitions.
This article is the introductory part of authors PhD thesis. The article presents a new coordinate invariant definition of quasiregular and quasiconformal mappings on Riemannian manifolds that generalizes the definition of quasiregular mappings on Rn. The new definition arises naturally from the inner product struc…
New smooth structures found on certain 4D spaces.
problem Finding distinct smooth structures on specific 4D spaces.
method Constructing specific 4-manifolds with infinite fundamental group.
result Infinitely many non-diffeomorphic structures found.
This paper classifies minimal fillings of lens spaces.
problem Determining the smallest smooth negative-definite fillings of lens spaces.
method Classification of minimal fillings based on forbidden subgraphs in plumbing graphs.
result Classification of lens spaces with minimal negative-definite canonical plumbing.
Two definitions quantify C2,α regularity of Riemannian surfaces.
problem Quantify the regularity of Riemannian surfaces.
method Intrinsic and extrinsic definitions using Hölder norms and smooth local representations.
result Intrinsic and extrinsic definitions are equivalent up to a constant.
Gaussian kernel fails on circle and related spaces.
problem Gaussian kernel's positive definiteness on non-Euclidean spaces.
method Analyzing the Gaussian kernel on the circle and related metric spaces.
result Gaussian kernel is not positive definite on the circle or spaces admitting circle embeddings.
Combinatorial definition of bordered Floer theory for torus-boundary manifolds.
problem Defining Floer homology for manifolds with torus boundaries.
method Combinatorial definition with Z coefficients. result Recovery of combinatorial Heegaard Floer homology.