Geodesic Distance
The length of the shortest curve connecting two points on a Riemannian manifold, generalizing the concept of Euclidean straight-line distance to curved spaces. In information geometry, it is used to measure the true dissimilarity between probability distributions.
Timeline (last 90 days)
The paper proposes using geodesic distance determined by the Fisher information metric as a measure of the true change brought about by pruning.
The paper constructs an optimality hierarchy of pruning methods by applying successively finer approximations to the geodesic distance.
Exact computation of geodesic distances typically requires solving differential equations, which is computationally expensive.
The geometric framework demonstrates that different pruning criteria are essentially products of the same geodesic distance at different levels of approximation precision, providing engineers with a basis for making trade-offs between accuracy and efficiency.
All Facts (4)
The paper proposes using geodesic distance determined by the Fisher information metric as a measure of the true change brought about by pruning.
50%UnverifiedThe paper constructs an optimality hierarchy of pruning methods by applying successively finer approximations to the geodesic distance.
50%UnverifiedExact computation of geodesic distances typically requires solving differential equations, which is computationally expensive.
50%UnverifiedThe geometric framework demonstrates that different pruning criteria are essentially products of the same geodesic distance at different levels of approximation precision, providing engineers with a basis for making trade-offs between accuracy and efficiency.
50%