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.
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…
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.
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.
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…
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…
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.
A new definition for vector fields extends the Jacobi set concept.
problem Describing interactions between vector fields on complex domains.
method Piecewise linear approach for simplicial complexes.
result Generalizes Jacobi set concept to vector fields.
New definition of interpretability makes model design more actionable.
problem Current definitions of interpretability are not actionable and inform users poorly.
method Proposes a new definition of interpretability that is general, simple, and actionable.
result New definition reveals necessary properties for designing interpretable models.
We propose a unified definition for discrete analogues of constant mean curvature surfaces in spaces of constant curvature as a special case of discrete special isothermic nets. Bäcklund transformations and Lawson's correspondence are discussed. It is shown that the definition generalizes previous definitions and a con…
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.
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.
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 definitions of rack and quandle modules are introduced, and shown to generalise the definitions previously studied by Andruskiewitsch, Etingof and Grana. This new construct is shown to coincide with Beck's general definition of a module in an arbitrary category. A theory of Abelian extensions of racks and quandles …
New definition of Born geometry connects to known geometries.
problem Defining and understanding Born geometries.
method Using Künneth structures and recursion operators.
result Born connection derived from Künneth connection for integrable geometries.
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.
We propose a definition of center of mass for asymptotically flat manifolds satisfying Regge-Teitelboim condition at infinity. This definition has a coordinate-free expression and natural properties. Furthermore, we prove that our definition is consistent both with the one proposed by Corvino and Schoen and another by …
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.
New definition of Bäcklund transformation for surface isometric deformation.
problem Defining Bäcklund transformation in surface isometric deformation.
method Proving generic 4D integrable rolling distribution splits into 1D family of 3D distributions.
result Introducing new definition of Bäcklund transformation.
Clarifies definitions of global hyperbolicity in various spaces.
problem Clarifying terminology in recent literature on global hyperbolicity.
method Comparing definitions in Lorentzian length spaces, optimal transport, and topological preordered spaces.
result The causal relation is a closed order and preserves compactness in all cases.
Paper introduces normalized flat minima to address scale dependence in neural network optimization.
problem Scale dependence in existing flat minima definitions affects generalization studies.
method PAC-Bayesian analysis to introduce normalized flat minima, free from scale dependence.
result Normalized flat minima provides better hierarchy in hypothesis class and improved generalization.
New curvature definitions for networks simplify complex computations.
problem Complex curvature calculations for networks.
method Introducing new curvature definitions based on Menger and Haantjes curvatures.
result Simplified and faster computation of network curvatures.
New definition of knot invariants for higher-dimensional knots.
problem Defining invariants for long knots in high-dimensional spaces.
method Flexible definition as counts of diagrams, extending to asymptotic homology.
result Generalized invariants for long knots in more general spaces.
Gaussian belief propagation (GaBP) is an iterative algorithm for computing the mean of a multivariate Gaussian distribution, or equivalently, the minimum of a multivariate positive definite quadratic function. Sufficient conditions, such as walk-summability, that guarantee the convergence and correctness of GaBP are kn…
New definition for forward rates in multi-state models.
problem Defining forward rates in multi-state models.
method Established a theoretical framework and provided a novel definition.
result Interchanged transition probabilities and intensities in Kolmogorov forward equations.
Introduces bounded scale measure and generalizes property A.
problem Defining property A for large scale spaces with bounded geometry.
method Introduces bounded scale measure, shows its coarse invariance, and generalizes property A.
result Definition of property A for large scale spaces with bounded scale measure is a coarse invariant.
Maps with boundary definite fold points restrict manifold structure.
problem Restricting the global structure of manifolds with boundary.
method Introducing boundary special generic maps and deriving differential-topological restrictions.
result New results on non-singular extensions of special generic maps.
This work introduces oblivious fairness definitions for image generation.
problem Fairness in image generation with uncertain sensitive attributes.
method Introduces oblivious fairness definitions and uses Posterior Sampling.
result Conditional Proportional Representation can be achieved obliviously.
Extends Einstein-Hilbert functional definition for stable manifolds.
problem Stability of Einstein manifolds on Riemannian manifolds.
method Second variation of generalized Einstein-Hilbert functional.
result Properties of stable Einstein manifolds presented.
The paper generalizes trisection definitions and applies them to specific cases.
problem Defining and applying trisections to 4-manifolds and surfaces.
method Generalized trisection definitions and their application to specific cases.
result Classification of an infinite family of genus three trisections.
Extends p-biharmonic and bi-p-harmonic map definitions.
problem No specific problem stated; extends definitions.
method Extends definitions of p-biharmonic and bi-p-harmonic maps. result Properties of extended maps explored.
This work presents a parametrized family of divergences, namely Alpha-Beta Log- Determinant (Log-Det) divergences, between positive definite unitized trace class operators on a Hilbert space. This is a generalization of the Alpha-Beta Log-Determinant divergences between symmetric, positive definite matrices to the infi…
Characterizes real left symmetric algebras with positive definite Koszul form and related Kähler-Einstein structures.
problem Characterizing real left symmetric algebras with positive definite Koszul form.
method Analyzes the properties of left multiplication operators and symmetric bilinear forms.
result Provides a complete characterization of real left symmetric algebras with positive definite Koszul form.
New definition of disentanglement for non-independent factors of variation.
problem Current disentanglement definitions assume independent factors of variation, limiting their applicability.
method Definition based on information theory, related to Information Bottleneck Method, proposed measurement method.
result Proposed method correctly measures disentanglement with non-independent factors of variation.
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.
Unified framework for constructing RKBSs with various norms and kernels.
problem Unclear relations among existing RKBS constructions.
method Generic definition of RKBS and reproducing kernel, continuous bilinear form, feature maps.
result Unified framework unifies existing RKBS constructions and develops representer theorems.
We review the basic definition of a stack and apply it to the topological and smooth settings. We then address two subtleties of the theory: the correct definition of a ``stack over a stack'' and the distinction between small stacks (which are algebraic objects) and large stacks (which are generalized spaces).
These notions in the title are of fundamental importance in any branch of physics. However, there have been great difficulties in finding physically acceptable definitions of them in general relativity since Einstein's time. I shall explain these difficulties and progresses that have been made. In particular, I shall i…
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.
New definitions of conserved quantities at null infinity resolve ambiguities in general relativity.
problem Ambiguities in defining conserved quantities like angular momentum at null infinity.
method New definitions based on Chen-Wang-Yau quasilocal conserved quantities and optimal isometric embedding theory.
result These new definitions are free of supertranslation ambiguity and limit to classical Bondi mass.
Introduces matrix MLP for learning symmetric positive definite matrices.
problem Learning structured parameters like symmetric positive definite matrices.
method Develops matrix multilayer perceptron (matrix MLP) for structured parameter learning.
result Extends variational autoencoder (VAE) for dense covariance matrices.
Paper proves MS convergence for radially symmetric kernels with large bandwidths.
problem Proving convergence of mean shift algorithm with radially symmetric kernels.
method Analyzes convergence of mean shift algorithm with radially symmetric, positive definite kernels.
result Guaranteed convergence for sufficiently large bandwidth in any dimension.
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.
We introduce generalized almost contact structures which admit the B-field transformations on odd dimensional manifolds. We provide definition of generalized Sasakain structures from the view point of the generalized almost contact structures. We obtain a generalized Sasakian structure on a non-compact manifold which…
Study on adversarial perturbations for uniformly distributed binary inputs.
problem Understanding adversarial risk and robustness for binary classification problems.
method Taxonomy of adversarial definitions, analysis of specific algorithms, application of isoperimetric inequality and central limit theorem.
result Inherent bounds on adversarial risk and robustness for binary classification problems, showing vulnerability to small perturbations.
In a previous paper we introduced a notion of "genericity" for countable sets of curves in the curve complex of a surface S, based on the Lebesgue measure on the space of projective measured laminations in S. With this definition we prove that for each fixed g > 1 the set of irreducible genus g Heegaard splittings of h…