This study connects Jacobian regularization to adversarial robustness and improves generalization.
problem Adversarial attacks make deep neural networks vulnerable.
method Developed a connection between Jacobian regularization and adversarial training, and established robust generalization gaps.
result Jacobian norms are related to both standard and robust generalization.
RecurJac efficiently computes Jacobian bounds for neural networks.
problem Computing Jacobian bounds for neural networks efficiently and accurately.
method Recursive algorithm to compute upper and lower bounds for Jacobian matrix elements.
result Our method produces better quality Lipschitz constants than previous approaches.
To a compact Riemann surface of genus g can be assigned a principally polarized abelian variety (PPAV) of dimension g, the Jacobian of the Riemann surface. The Schottky problem is to discern the Jacobians among the PPAVs. Buser and Sarnak showed, that the square of the first successive minimum, the squared norm of the …
The Jacobian Conjecture is proven for all Jacobian maps.
problem Proving the Jacobian Conjecture for all Jacobian maps.
method Using the Weyl algebra and holonomic modules, the paper shows that the Jacobian module is 1-generated and has finite length.
result The Jacobian Conjecture is true for all Jacobian maps.
To any compact Riemann surface of genus g one may assign a principally polarized abelian variety of dimension g, the Jacobian of the Riemann surface. The Jacobian is a complex torus, and a Gram matrix of the lattice of a Jacobian is called a period Gram matrix. This paper provides upper and lower bounds for all the ent…
Generalization in nonlinear least squares can be studied via algorithmic stability and effective dimension.
problem Generalization in nonlinear least squares models
method Deriving error bounds for local minimizers using algorithmic stability and effective dimension
result Bounds depend on learned geometry rather than parameter count
New bounds improve neural network generalization by considering data-dependent properties.
problem Exponential dependence on depth in existing bounds for neural networks.
method Augmenting functions to make their composition Lipschitz and covering the augmented functions.
result Rademacher complexity bounds scale polynomially in depth when data-dependent properties are small.
We study the barycentric straightening of simplices in irreducible symmetric spaces of non-compact type. We show that, for an n-dimensional symmetric space of rank r>1, the p-Jacobian has uniformly bounded norm, as soon as p is at least n-r+2. As a consequence, for a non-compact, connected, semisimple real Lie group G,…
New approach ties loss curvature to model performance in deep learning.
problem Understanding the relationship between loss curvature and model performance in deep learning.
method Empirical analysis of loss Hessians and theoretical results on input-output Jacobians.
result Novel generalization bound in terms of empirical Jacobian.
We prove two-sided inequalities for the Lp-norm of a pushforward or pullback (with respect to an orientation-preserving diffeomorphism) on oriented volume and Riemannian manifolds. For a function or density on a volume manifold, these bounds depend only on the Jacobian determinant, which arises through the change of…
The generalization error of deep neural networks via their classification margin is studied in this work. Our approach is based on the Jacobian matrix of a deep neural network and can be applied to networks with arbitrary non-linearities and pooling layers, and to networks with different architectures such as feed forw…
Autoencoder performance is predicted by eigenvalues of weight matrices.
problem Predicting an autoencoder's generalization ability without dataset knowledge.
method Analyze Jacobian matrices' eigenvalues to bound mean squared errors.
result Eigenvalues are good predictors of MSE on test points.
The paper develops methods to reduce deployment risk under dynamic covariate shifts.
problem Reduction of deployment risk under dynamic covariate shifts.
method Time-domain Poincare inequality and Jacobian-velocity theorem to identify and control directional tangent energy.
result Drift-aligned tangent regularization (DTR) reduces risk volatility and directional gain in low-rank drift regimes.
Injective flows for star-like manifolds improve variational inference efficiency.
problem Efficiently modeling densities on star-like manifolds with exact Jacobian computation.
method Proposed injective flows for star-like manifolds with exact Jacobian computation.
result Exact Jacobian computation for star-like manifolds reduces computational cost to NFs.
Deep neural networks' Jacobian spectrum becomes well-conditioned with orthogonal weights.
problem Understanding and handling the Jacobian spectrum of deep neural networks.
method Applying free probability theory to show almost sure asymptotic freeness of Jacobians in the wide limit.
result Layer-wise Jacobians of deep neural networks with orthogonal weights are almost surely asymptotically free.
Study shows connections between Jacobian torsors and Fermat curves.
problem Understanding torsors of Jacobian of universal Fermat curves.
method Analyzes torsors of Jacobian of universal family of degree-m Fermat curves. result Every torsor is a connected component of the Picard scheme.
Fractional Sobolev maps with positive distributional Jacobians are continuous.
problem Proving continuity of maps in fractional Sobolev spaces with positive Jacobians.
method Extending known results from W1,n to Ws,sn for s≥n+1n, considering distributional Jacobians. result Fractional Sobolev maps with positive distributional Jacobians are continuous.
Maxout networks study gradients and propose initialization strategies.
problem Complexity in input-output Jacobian distribution complicates stable parameter initialization.
method Obtained bounds on moments of gradients and formulated initialization strategies.
result Parameter initialization strategies improve training of deep maxout networks.
This work proves the asymptotic freeness of layerwise Jacobians in MLPs with Haar orthogonal matrices.
problem Proving the asymptotic freeness of layerwise Jacobians in multilayer perceptrons (MLPs).
method Replacing each layer's parameter matrix with itself multiplied by a Haar orthogonal matrix, and using the invariance of the MLP.
result Proves the asymptotic freeness of layerwise Jacobians in MLPs with Haar orthogonal matrices.
Efficiently regularizes deep learning models using Jacobian nuclear norm.
problem Regularizing deep learning models to prevent overfitting and improve generalization.
method Proposes a denoising-style approximation to penalize the Jacobian nuclear norm without computing the Jacobian matrix.
result Demonstrates that penalizing the average squared Frobenius norm of Jg and Jh is equivalent to penalizing the Jacobian nuclear norm for function compositions. We obtain a Bernstein type result for entire two dimensional minimal graphs in R4, which extends a previous one due to L. Ni. Moreover, we provide a characterization for complex analytic curves.
Study Lagrangian fibrations using Jacobians and Prym varieties.
problem Understanding Lagrangian fibrations in symplectic geometry.
method Survey of holomorphic symplectic varieties with Jacobians and Prym varieties as fibres.
result Characterization of Lagrangian fibrations using Jacobians and Prym varieties.
Jacobian regularization boosts neural network robustness without degrading generalization.
problem Ensuring robustness of machine learning models against input perturbations.
method Developed a computationally efficient Jacobian regularization technique.
result Significant improvements in robustness measured against random and adversarial perturbations.
Abstract: Unknown status of Jacobian Conjecture, proof has a gap.
problem Status of Jacobian Conjecture
method Analysis of proof of theorem 2.1
result Proof of theorem 2.1 contains a gap
Exact spectral norm regularization improves neural network generalization.
problem Improving neural network generalization while protecting against noise.
method Exact spectral norm regularization of the Jacobian.
result Improved generalization performance compared to previous methods.
Surveying recent results on the geometry of Jacobian loci.
problem Understanding the extrinsic geometry of Jacobian loci.
method Analyzing the Torelli map as a multiplication map and studying totally geodesic subvarieties.
result Relation between totally geodesic subvarieties and Hodge loci.
Derandomizing PAC-Bayes bounds for smooth loss functions
problem Derandomizing PAC-Bayes bounds for smooth loss functions
method Exploiting smoothness properties of both the loss and the predictor class
result Bounds for deterministic predictors that involve flatness quantities
Derives bounds for deterministic predictors using smooth loss functions.
problem Generalizing probabilistic predictors to deterministic ones.
method Exploits smoothness properties of loss and predictor classes, controlling the Jensen gap class through Rademacher complexity.
result Derives bounds for deterministic predictors involving flatness quantities from Jacobians and Hessians.
The Jacobian conjecture is simplified using polynomial mappings.
problem Simplifying the Jacobian conjecture over the real field.
method Using polynomial mappings to restrict transitions on manifolds.
result An equivalent statement of the Jacobian conjecture.
Paper tackles Hessian/Jacobian-free stochastic bilevel optimization with O(ε−1.5) complexity.
problem Nonconvex-strongly-convex bilevel optimization problem.
method FdeHBO optimizer with finite-difference Hessian/Jacobian-vector approximation and momentum.
result FdeHBO achieves O(ε−1.5) iterations for ε-accurate stationary point. Recent work (Pennington et al, 2017) suggests that controlling the entire distribution of Jacobian singular values is an important design consideration in deep learning. Motivated by this, we study the distribution of singular values of the Jacobian of the generator in Generative Adversarial Networks (GANs). We find th…
The study finds infinitely many Shimura subvarieties in Jacobian loci for curves of genus 2, 3, and 4.
problem Understanding Shimura subvarieties in Jacobian loci for curves of positive genus.
method Analyzing Galois covers of curves and their Shimura subvarieties under specific numerical conditions.
result The Jacobian locus contains infinitely many Shimura subvarieties of positive dimension for g≤4. The paper discusses fractional Sobolev immersions of flat domains into 3D space.
problem Developing C1 regularity and isometric immersions of flat domains with fractional Sobolev regularity. method Analysis of weak Codazzi-Mainardi equations, study of $W^{2, rac2s}$ planar deformations, and properties of the distributional Jacobian determinant.
result Generalization of isometric immersions with local fractional Sobolev regularity.
We derive an analytic formula for the dual Jacobian matrix of a generalised hyperbolic tetrahedron. Two cases are considered: a mildly truncated and a prism truncated tetrahedron. The Jacobian for the latter arises as an analytic continuation of the former, that falls in line with a similar behaviour of the correspondi…
The paper extends infinite-width analysis to neural network Jacobians, revealing convergence to Gaussian processes and linear ODEs.
problem Understanding the training dynamics of neural networks in the infinite-width limit.
method Extending infinite-width analysis to Jacobians, characterizing convergence to Gaussian processes and linear ODEs.
result The evolution of MLPs under robust training in the infinite-width limit is described by a linear ODE.
New algorithms estimate Jacobian matrices for large-scale machine learning.
problem Efficiently computing search directions for large nonlinear least squares.
method Exploit low-rank structure in Hessian to estimate Jacobian matrices.
result Two algorithms perform well compared to state-of-the-art methods.
GrokAlign aligns Jacobians to accelerate grokking in deep networks.
problem Accelerating the training dynamics of deep networks to avoid delayed generalisation and robustness.
method Aligning the Jacobians of a deep network with the training data to ensure grokking under a low-rank assumption.
result GrokAlign regularizes Jacobians to induce grokking sooner than conventional methods.
We provide a characterization for complex analytic curves among two-dimensional minimal graphs in R4 via the Jacobian
New method reduces deep learning training costs by approximating vector-jacobian products.
problem Efficiently training deep neural networks with reduced computational and memory costs.
method Randomized, unbiased approximations of vector-jacobian products during backpropagation.
result Validated potential for reducing deep learning training costs through unbiased estimates.
Paper improves robustness of GNNs against adversarial attacks.
problem Understanding robust generalization of GNNs in adversarial settings.
method Develops a sensitivity-aware PAC-Bayesian framework for MPGNNs.
result Derives tighter robust generalization bounds for MPGNNs.
Normalizing flows optimize Jacobian determinant for unique likelihood objective.
problem Optimizing normalizing flows for unique likelihood.
method Showed Jacobian determinant is unique for given distributions, leading to a unique global optimum. Used eigenvalues of auto-correlation matrix for explicit likelihood expression.
result Explicit expression of likelihood for flows, independent of neural network parameterization, with theoretical optimal value.
The Jacobian of Douady-Earle extension equals 1 only for isometries.
problem Investigating the Jacobian of Douady-Earle extension maps.
method Analyzing the Jacobian of the Douady-Earle extension map and constructing sequences of hyperbolic surfaces.
result The Jacobian of the Douady-Earle extension map is 1 only when the map is an isometry, and it can grow arbitrarily large for certain sequences of surfaces.
The aim here is to continue the investigation in \cite{AB} of Jacobians of a Klein surface and also to correct an error in \cite{AB}.
New proof shows Jacobian of certain homeomorphisms is non-negative.
problem Determining sign of Jacobian for Sobolev homeomorphisms.
method Analyzes Hölder continuity and uses Sobolev space properties.
result Jacobian of homeomorphisms is non-negative almost everywhere.
We show that the Goldman flows preserve the holomorphic structure on the moduli space of homomorphisms of the fundamental group of a Riemann surface into U(1), in other words the Jacobian.
Generative adversarial networks (GANs) are notoriously difficult to train and the reasons underlying their (non-)convergence behaviors are still not completely understood. By first considering a simple yet representative GAN example, we mathematically analyze its local convergence behavior in a non-asymptotic way. Furt…
Recovering hidden influence networks from cascade data using Jacobian-based machine learning.
problem Recovering influence networks behind dynamic cascades.
method CascadeNet, a Jacobian-based machine learning framework.
result CascadeNet achieves high accuracy in network recovery.
Geometrically represents path integral reduction Jacobian for interacting systems.
problem Quantizing a model mechanical system with dependent coordinates.
method Geometric representation using scalar curvature and Christoffel symbols in a nonholonomic basis.
result Found a geometric representation for the path integral reduction Jacobian.