Searcharxiv⌕ Search

arXiv subjects

Joao Paixao

Publications and source records attributed to Joao Paixao.

5 recordsLinked to original sources

GSVD for Geometry-Grounded Dataset Comparison: An Alignment Angle Is All You Need

Geometry-grounded learning asks models to respect structure in the problem domain rather than treating observations as arbitrary vectors. Motivated by this view, we revisit a classical but underused primitive for comparing datasets: linear relations between two data matrices, expressed via the co-span constraint $Ax = By = z$ in a shared ambient space. To operationalize this comparison, we use the generalized singular value decomposition (GSVD) as a joint coordinate system for two subspaces. In particular, we exploit the GSVD form $A = HCU$, $B = HSV$ with $C^{\top}C + S^{\top}S = I$, which separates shared versus dataset-specific directions through the diagonal structure of $(C, S)$. From these factors we derive an interpretable *angle score* $θ(z) \in [0, π/2]$ for a sample $z$, quantifying whether z is explained relatively more by $A$, more by $B$, or comparably by both. The primary role of $θ(z)$ is as a *per-sample geometric diagnostic*. We illustrate the behavior of the score on MNIST through angle distributions and representative GSVD directions. A binary classifier derived from $θ(z)$ is presented as an illustrative application of the score as an interpretable diagnostic tool.

cs.LG↗

Vector Field Neural Networks

This work begins by establishing a mathematical formalization between different geometrical interpretations of Neural Networks, providing a first contribution. From this starting point, a new interpretation is explored, using the idea of implicit vector fields moving data as particles in a flow. A new architecture, Vector Fields Neural Networks(VFNN), is proposed based on this interpretation, with the vector field becoming explicit. A specific implementation of the VFNN using Euler's method to solve ordinary differential equations (ODEs) and gaussian vector fields is tested. The first experiments present visual results remarking the important features of the new architecture and providing another contribution with the geometrically interpretable regularization of model parameters. Then, the new architecture is evaluated for different hyperparameters and inputs, with the objective of evaluating the influence on model performance, computational time, and complexity. The VFNN model is compared against the known basic models Naive Bayes, Feed Forward Neural Networks, and Support Vector Machines(SVM), showing comparable, or better, results for different datasets. Finally, the conclusion provides many new questions and ideas for improvement of the model that can be used to increase model performance.

cs.LG↗

Vector Field Based Neural Networks

A novel Neural Network architecture is proposed using the mathematically and physically rich idea of vector fields as hidden layers to perform nonlinear transformations in the data. The data points are interpreted as particles moving along a flow defined by the vector field which intuitively represents the desired movement to enable classification. The architecture moves the data points from their original configuration to anew one following the streamlines of the vector field with the objective of achieving a final configuration where classes are separable. An optimization problem is solved through gradient descent to learn this vector field.

cs.LG↗

Greedy Morse matchings and discrete smoothness

Discrete Morse theory emerged as an essential tool for computational geometry and topology. Its core structures are discrete gradient fields, defined as acyclic matchings on a complex $C$, from which topological and geometrical informations of $C$ can be efficiently computed, in particular its homology or Morse-Smale decomposition. Given a function $f$ sampled on $C$, it is possible to derive a discrete gradient that mimics the dynamics of $f$. Many such constructions are based on some variant of a greedy pairing of adjacent cells, given an appropriate weighting. However, proving that the dynamics of $f$ is correctly captured by this process is usually intricate. This work introduces the notion of discrete smoothness of the pair $(f,C)$, as a minimal sampling condition to ensure that the discrete gradient is geometrically faithful to $f$. More precisely, a discrete gradient construction from a function $f$ on a polyhedron complex $C$ of any dimension is studied, leading to theoretical guarantees prior to the discrete smoothness assumption. Those results are then extended and completed for the smooth case. As an application, a purely combinatorial proof that all CAT(0) cube complexes are collapsible is given.

math.GT↗

Discrete Gradient Line Fields on Surfaces

A line field on a manifold is a smooth map which assigns a tangent line to all but a finite number of points of the manifold. As such, it can be seen as a generalization of vector fields. They model a number of geometric and physical properties, e.g. the principal curvature directions dynamics on surfaces or the stress flux in elasticity. We propose a discretization of a Morse-Smale line field on surfaces, extending Forman's construction for discrete vector fields. More general critical elements and their indices are defined from local matchings, for which Euler theorem and the characterization of homotopy type in terms of critical cells still hold.

math.GT↗