The paper explores conditions for homothetic Killing vectors on spacetime hypersurfaces.
problem Conditions for the existence of homothetic Killing vectors on spacetime hypersurfaces.
method General identities relating deformation tensor and tensor on hypersurfaces, applied to specific settings.
result Necessary and sufficient conditions for homothetic Killing vectors on spacetime hypersurfaces.
Adapts Bartnik method to Hilbert manifold structure for vacuum constraint equations.
problem Vacuum constraint equations on compact manifolds of any dimension ≥ 3.
method Adapts Bartnik method to provide Hilbert manifold structure.
result Fibers of scalar curvature and constraint operator are Hilbert submanifolds.
We find necessary and sufficient conditions ensuring that the vacuum development of an initial data set of the Einstein's field equations admits a conformal Killing vector. We refer to these conditions as conformal Killing initial data (CKID) and they extend the well-known Killing initial data (KID) that have been know…
Improves key instance detection in MIL models by using neural network inversion with sparseness constraint.
problem Limited key instance detection performance in attention-based deep MIL models due to skewed attention scores.
method Sparse network inversion with a sparseness constraint incorporated into neural network inversion, solved by proximal gradient method.
result Significantly improved key instance detection performance while maintaining bag-level prediction performance.
A new geometric cocycle measures mass of hyperbolic manifolds.
problem Measuring mass of hyperbolic manifolds.
method Constructing a cocycle mapping ALH metrics to a tractor-valued form field.
result Invariant c(h) can be integrated over a sphere boundary. GMVAEs cluster and generate game levels without labels.
problem Manual exploration of latent space for VAE-generated game levels.
method Apply Gaussian Mixture VAEs (GMVAEs) to learn latent clusters and generate levels.
result GMVAEs can cluster and generate game levels without requiring labels.
We show that any vacuum initial data set containing a marginally outer trapped surface S and satisfying a "no KIDs" condition can be perturbed near S so that S becomes strictly outer trapped in the new vacuum initial data set. This, together with the results in [9], gives a precise sense in which generic initial data c…
In this note, we give a geometric characterization of the compact and totally umbilical hypersurfaces that carry a non trivial locally static Killing Initial Data (KID). More precisely, such compact hypersurfaces have constant mean curvature and are isometric to one of the following manifolds: (i) Sn the standard spher…
Generalizing Riemannian theorems of Anderson-Herzlich and Biquard, we show that two (n+1)-dimensional stationary vacuum space-times (possibly with cosmological constant Λ∈R) that coincide up to order one along a timelike hypersurface $\mycal T$ are isometric in a neighbourhood of $\mycal T$. We further prove th…
Optimal mixtures of generative models outperform individual models on image datasets.
problem Selecting the best single model from a group of trained generative models.
method Formulated a quadratic optimization problem and proposed the Mixture-UCB algorithm for efficient selection.
result Mixture of generative models achieves better evaluation scores than individual models on benchmark datasets.
The paper improves interpolation in generative models by using specific base distributions.
problem Unexpected side effects in linear interpolations of normalizing flows.
method Enforces a specific manifold using Dirichlet and von Mises-Fisher base distributions.
result Superior performance in terms of bits per dimension, FID, and KID scores for interpolation.
Proposes Topology Distance for evaluating GANs.
problem Challenges in evaluating GANs' goodness.
method Builds Vietoris-Rips complex on image features and defines TD based on latent manifold comparisons.
result Demonstrates TD's superiority over existing metrics.
This paper improves level generation using VAEs for coherent, logically following segments.
problem Generating coherent levels of non-fixed length and blending levels from different games.
method Sequential segment-based level generation using VAEs with a classifier for logical placement.
result Generated levels are more coherent and capable of blending levels from different games.
NLE embeds labels for domain adaptation with neural networks.
problem Adapting deep neural networks with unpaired source and target domain data.
method Distill source-domain knowledge into l-vectors, soft targets for adaptation.
result 14.1% relative word error rate reduction over direct re-training.
Improved image generation quality using closed-form discriminator guidance in diffusion models.
problem Enhancing the quality of images generated by diffusion models.
method Theoretical framework to analyze GAN discriminator's effect on Langevin sampling, proposing IPM-GAN optimization as smoothed score-matching.
result Closed-form kernel-based discriminator guidance improves metrics like CLIP-FID and KID.
Knowledge bases (KBs) are the backbone of many ubiquitous applications and are thus required to exhibit high precision. However, for KBs that store subjective attributes of entities, e.g., whether a movie is "kid friendly", simply estimating precision is complicated by the inherent ambiguity in measuring subjective phe…
Unified deep learning framework improves SV in noisy, reverberant, and long non-speech segments.
problem Robust speaker verification in adverse environments, especially short speech segments.
method Feature Pyramid Module (FPM)-based Multi-scale Aggregation (MSA), Self-adaptive Soft VAD (SAS-VAD), Masking-based Speech Enhancement (SE).
result The proposed method outperforms baseline systems in challenging conditions.
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.