This paper introduces the Sylvester graphical lasso (SyGlasso) that captures multiway dependencies present in tensor-valued data. The model is based on the Sylvester equation that defines a generative model. The proposed model complements the tensor graphical lasso (Greenewald et al., 2019) that imposes a Kronecker sum…
This method infers models from data with physical insights, minimizing model order.
problem Learning models from data while preserving physical insights.
method Structure preservation and rank minimization via Sylvester equations.
result Models of low order are obtained with fewer degrees of freedom.
Variational inference relies on flexible approximate posterior distributions. Normalizing flows provide a general recipe to construct flexible variational posteriors. We introduce Sylvester normalizing flows, which can be seen as a generalization of planar flows. Sylvester normalizing flows remove the well-known single…
The study calibrates neural networks' parameters through optimal contraction in prediction problems.
problem Ensuring the existence and uniqueness of optimal parameters in neural networks.
method Transforming RNNs into contractions and solving matrix equations involving Sylvester equations.
result Optimal parameters exist, are unique, and can be found through an algorithm with desired precision.
New linear flows using exponential of linear transformations improve generative models.
problem Improving generative models in machine learning.
method Developed convolution exponentials and generalized Sylvester Flows using the exponential of linear transformations.
result Convolution exponentials and Convolutional Sylvester Flows outperform other models in log-likelihood.
This work uses Sylvester normalizing flows for more accurate metabolite quantification in MRS.
problem Challenges in accurate metabolite quantification in MRS due to spectral overlap, low SNR, and artifacts.
method Bayesian inference framework with physics-informed Sylvester normalizing flows.
result Accurate metabolite quantification, well-calibrated uncertainties, and insights into parameter correlations and multi-modal distributions.
SG-PALM learns interpretable tensor models for high-dimensional data.
problem Learning interpretable tensor models for high-dimensional data.
method SG-PALM combines Sylvester generative model and fast proximal alternating linearized minimization.
result SG-PALM converges linearly to global optimum and scales to high dimensions.
QMME balances cost and speed in convex optimization.
problem Slow convergence of first-order methods and high cost of second-order methods.
method Minimizing quadratic majorants with fixed curvature at each iteration.
result QMME framework achieves sequential convergence under standard assumptions.
Active sampling selects few points for accurate model reduction of high-fidelity systems.
problem Efficiently identify dominant subspaces for model reduction of large training sets.
method Proposes an active sampling strategy to select a few points from the training set to estimate dominant subspaces accurately.
result Active sampling can provide 17x speed-up without sacrificing accuracy.
We introduce Gaussian Process Topic Models (GPTMs), a new family of topic models which can leverage a kernel among documents while extracting correlated topics. GPTMs can be considered a systematic generalization of the Correlated Topic Models (CTMs) using ideas from Gaussian Process (GP) based embedding. Since GPTMs w…
This paper presents a new multitask learning framework that learns a shared representation among the tasks, incorporating both task and feature clusters. The jointly-induced clusters yield a shared latent subspace where task relationships are learned more effectively and more generally than in state-of-the-art multitas…
Study algebraic invariants from lightning self-attention models.
problem Understanding polynomial coefficients of self-attention mechanisms.
method Identify algebraic invariants using polynomial coefficients and coordinate geometry.
result Found linear and nonlinear families of algebraic invariants.
Co-Clustering, the problem of simultaneously identifying clusters across multiple aspects of a data set, is a natural generalization of clustering to higher-order structured data. Recent convex formulations of bi-clustering and tensor co-clustering, which shrink estimated centroids together using a convex fusion penalt…
Simon's knot genus problem solved with 3-manifold groups.
problem If epimorphism exists between knot groups, knot genus of one is greater than or equal to the other.
method Proved conjecture linking 3-manifold groups and Thurston norms, showed locally indicable groups are Lewin groups.
result Existence of epimorphism between knot groups implies knot genus inequality.
We consider the problem of finding the probability that a random triangle is obtuse, which was first raised by Lewis Caroll. Our investigation leads us to a natural correspondence between plane polygons and the Grassmann manifold of 2-planes in real n-space proposed by Allen Knutson and Jean-Claude Hausmann. This cor…
Woodbury transformations improve deep generative models with efficient invertibility and determinant calculation.
problem Efficiently invertible and determinant-calculable functions for deep generative models.
method Introducing Woodbury transformations that leverage matrix identities for efficient invertibility and determinant calculation.
result Woodbury transformations enable high-dimensional interactions, efficient sampling, and likelihood evaluation, outperforming other flow architectures.
Study Galois groupoids of discret Painlevé equations.
problem Computing Galois groupoids for discret Painlevé equations.
method Using semi-continuity theorem for Galois groupoid in confluence of difference to differential equations.
result Computed Galois groupoids for discret Painlevé equations.
Proves solvability of general inverse σ_k equations with constant coefficients.
problem Solvability of general inverse σ_k equations with constant coefficients.
method Proves existence of unique solution if a C-subsolution exists.
result Confirms analytical conjecture for deformed Hermitian--Yang--Mills equation.
We present an unsupervised approach for discovering semantic representations of mathematical equations. Equations are challenging to analyze because each is unique, or nearly unique. Our method, which we call equation embeddings, finds good representations of equations by using the representations of their surrounding …
Paper establishes estimates for nonlinear equations on compact manifolds.
problem Estimating solutions to fully nonlinear equations with gradient terms on compact almost Hermitian manifolds.
method Establishes second order estimates and proves existence of solutions for specific equations.
result Proves existence of solutions for various equations, including Monge-Ampère and Hessian equations.
Proves C^2,alpha estimates for elliptic equations on hyperkähler manifolds.
problem Elliptic equations on hypercomplex manifolds.
method Proves C^2,alpha estimates under suitable assumptions.
result Solutions to specific elliptic equations on hyperkähler manifolds satisfy C^2,alpha estimates.
The paper generalizes Monge-Ampère equations and their solutions in differential geometry.
problem Understanding the structure of Monge-Ampère equations and their solutions.
method Generalizing Monge-Ampère equations to higher-order systems and proving their solutions correspond to integral manifolds of exterior differential systems.
result The Korteweg-de Vries (KdV) equation and Cauchy-Riemann equations are examples of generalized Monge-Ampère equations.
We study four distinct second-order nonlinear equations of Rabelo which describe pseudospherical surfaces. By transforming these equations to the constant-characteristic form we relate them to some well-studied integrable equations. Two of the Rabelo equations are found to be related to the sine-Gordon equation. The ot…
Introduces a new PDE involving differential forms for Kähler geometry.
problem Solving a unified PDE for various important equations in Kähler geometry.
method Introduces a fully nonlinear PDE with differential form Λ and proves solvability conditions.
result Generalizes previous works and proves a conjecture for the dHYM equation.
Sharp sub-Gaussian bounds for subsolutions of Trudinger's equation on Riemannian manifolds.
problem Bounding weak subsolutions of Trudinger's equation on Riemannian manifolds.
method Proving sub-Gaussian upper bounds for weak subsolutions.
result The upper bounds are sharp for specific classes of manifolds, including \(\mathbb{R}^{n}\).
In this paper we perform a blow-up and quantization analysis of the following nonlocal Liouville-type equation \begin{equation}(-Δ)^\frac12 u= κe^u-1~\mbox{in S1,} \end{equation} where (−Δ)21 stands for the fractional Laplacian and κ is a bounded function. We interpret the above equation as the prescri…
The paper derives gradient estimates for porous medium and fast diffusion equations on metric measure spaces.
problem Gradient estimates for porous medium and fast diffusion equations on metric measure spaces.
method Derives Li-Yau and Souplet-Zhang type gradient estimates for the given equations.
result Gradient estimates for the equations on complete noncompact metric measure spaces with compact boundary.
Paper solves Hessian equations on Kähler manifolds.
problem Solving Hessian equations on Kähler manifolds.
method Combines elementary symmetric functions; provides sufficient and necessary condition.
result Generalizes results for Hessian and Hessian quotient equations.
The paper introduces new equations in Kähler geometry and proves their solutions and convexity.
problem Solving equations in Kähler geometry and understanding their geometric implications.
method Using moment map pictures to motivate and prove solutions for the equations.
result The Mabuchi functional for certain equations is shown to be convex.
We describe a method to reduce partial differential equations of Monge-Ampère type in 4 variables to complex partial differential equations in 2 variables. To illustrate this method, we construct explicit holomorphic solutions of the special lagrangian equation, the real Monge-Ampère equations and the Plebanski equatio…
Probabilistic grammars improve equation discovery from data.
problem Discovering scientific laws from data using equations.
method Proposed probabilistic context-free grammars to encode soft constraints and a Monte-Carlo algorithm.
result Probabilistic grammars lead to more efficient equation discovery.
In this paper, we provide families of second order non-linear partial differential equations, describing pseudospherical surfaces (pss equations), with the property of having local isometric immersions in E^3, with principal curvatures depending on finite-order jets of solutions of the differential equation. These equa…
The paper proves constant rank theorems for special Lagrangian equations.
problem Understanding saddle solutions and Liouville type results for special Lagrangian equations.
method Argument based on saddle solutions and Liouville type results for the special Lagrangian equation.
result Obtained constant rank theorems for saddle solutions to the special Lagrangian equation and the quadratic Hessian equation.
Study solves HJB equations for time-inconsistent control problems.
problem Time-inconsistent deterministic linear quadratic control problems.
method Characterized solutions using Riccati equations with integral terms, proving uniqueness.
result Uniqueness of solutions to equilibrium HJB equations proved.
We introduce a class of overdetermined systems of partial differential equations of finite type on (pseudo)-Riemannian manifolds that we call the generalised Ricci soliton equations. These equations depend on three real parameters. For special values of the parameters they specialise to various important classes of equ…
In this thesis, we consider the suitability of using the charged cold fluid model in the description of ultra-relativistic beams. The method that we have used is the following. Firstly, the necessary notions of kinetic theory and differential geometry of second order differential equations are explained. Then an averag…
Combines geometric hydrodynamics with magnetic systems to derive new equations and prove well-posedness.
problem Deriving new equations for magnetic systems and proving their well-posedness.
method Introducing the magnetic Euler-Arnold equation and proving well-posedness for specific equations.
result Local and global well-posedness results for the magnetic Euler-Arnold equation associated with the global quasi-geostrophic equations.
We determine the Lie point symmetries of the Fokker-Planck equation and provide examples of solutions of this equation. The Fokker-Planck equation admits a conserved form, hence there is an auxiliary system associated to this equation and whose point symmetries give rise to potential symmetries of the Fokker-Planck equ…
Studies projective geometry and partial differential equations prolongation.
problem Understanding the prolongation of overdetermined geometric partial differential equations.
method Introduction to differential geometry and tractor calculus, study of prolongation of equations.
result Recovery of projective tractor and cotractor connections via partial differential equations prolongation.
Develops equivariant connections for Yang-Mills equations, simplifying interactions modeling.
problem Simplifying interactions modeling in Yang-Mills equations for different bundles.
method Introduces SO+(p,q)-equivariance to reduce Yang-Mills equations. result Models electroweak interaction and interactions with differential and wave equations.
The paper derives gradient estimates for solutions of certain equations on metric measure spaces.
problem Gradient estimates for solutions of specific nonlinear and elliptic equations on metric measure spaces.
method Derives Li-Yau and Hamilton's type gradient estimates for positive solutions.
result Gradient estimates for positive solutions of the equations on complete noncompact metric measure spaces.
Study generalizes Hermitian-Einstein equation for cyclic Higgs bundles, proving existence and inequality.
problem Addressing Hermitian-Einstein equation for cyclic Higgs bundles.
method Introducing generalizations using subharmonic functions and proving existence, uniqueness, and convergence of heat equations.
result Existence, uniqueness, and convergence of solutions for heat equations.
We come up with infinite-dimensional prequantum line bundles and moment map interpretations of three different sets of equations - the generalised Monge-Amp`ere equation, the almost Hitchin system, and the Calabi-Yang-Mills equations. These are all perturbations of already existing equations. Our construction for the g…
Study gradient estimates for nonlinear parabolic equations on Riemannian manifolds.
problem Estimating gradients for nonlinear parabolic equations on Riemannian manifolds.
method Analyzes Fisher-KPP, parabolic Allen-Cahn, and Newell-Whitehead equations on complete noncompact Riemannian manifolds.
result Gradient estimates for positive solutions and Liouville theorem for ancient solutions.
Study a modified Laplacian equation in spacetime.
problem Analyzing a perturbed Laplacian equation in spacetime.
method Examining the equation \( \Delta u + P |
abla u| = h |
abla u| \) in an initial data set.
result Identified new properties of the modified equation.
Sharp Lipschitz bounds and gradient estimates for fully nonlinear parabolic equations.
problem Understanding moduli of continuity for fully nonlinear parabolic equations.
method Proving moduli of continuity of viscosity solutions are subsolutions of one-dimensional parabolic equations.
result Sharp Lipschitz bounds and gradient estimates for fully nonlinear parabolic equations with bounded initial data.
The paper proves estimates for vortex-type equations on compact Riemann surfaces.
problem Estimating vortex-type equations on compact Riemann surfaces.
method Proves \emph{a priori} estimates for vortex-type equations.
result Recover existing estimates for vortex bundle Monge-Ampère equation, prove existence and uniqueness for Calabi-Yang-Mills equations, and get estimates for J−vortex equation. Geometrically interprets two equations, showing their equivalence and providing solutions.
problem Equivalence and solutions of generalized Proudman-Johnson and r-Hunter-Saxton equations.
method Geometric interpretation through Finsler metrics and isometries.
result Equivalence of periodic and non-periodic cases as geodesic equations.