Affine manifolds linked to integrable equations and geometric structures.
problem Understanding the geometric and algebraic properties of affine manifolds.
method Analyzing the Kahlerian tangent bundle and multi-dimensional consistency of the TED equation.
result Affine manifolds are related to self-dual Einstein spaces and Hessian structures.
FairyTED predicts fair ratings for TED talks.
problem Fairness in predicting public speech quality.
method Causal Models, Counterfactual Fairness, neural language models.
result Counterfactually fair predictions compared to true data labels.
Automated prediction of public speaking performance enables novel systems for tutoring public speaking skills. We use the largest open repository---TED Talks---to predict the ratings provided by the online viewers. The dataset contains over 2200 talk transcripts and the associated meta information including over 5.5 mi…
Financial exchanges provide incentives for limit order book (LOB) liquidity provision to certain market participants, termed designated market makers or designated sponsors. While quoting requirements typically enforce the activity of these participants for a certain portion of the day, we argue that liquidity demand t…
Paper explores a consumer-friendly approach to explain machine learning decisions.
problem Challenges in providing understandable explanations for machine learning predictions.
method Consumer-driven approach called TED that asks for explanations in training data.
result TED is robust to increasing numbers of explanations, noisy explanations, and missing explanations.
Using machine learning in high-stakes applications often requires predictions to be accompanied by explanations comprehensible to the domain user, who has ultimate responsibility for decisions and outcomes. Recently, a new framework for providing explanations, called TED, has been proposed to provide meaningful explana…
This research explores the effects of various training settings on a Polish to English Statistical Machine Translation system for spoken language. Various elements of the TED, Europarl, and OPUS parallel text corpora were used as the basis for training of language models, for development, tuning and testing of the tran…
We examine the effect of the Group Lasso (gLasso) regularizer in selecting the salient nodes of Deep Neural Network (DNN) hidden layers by applying a DNN-HMM hybrid speech recognizer to TED Talks speech data. We test two types of gLasso regularization, one for outgoing weight vectors and another for incoming weight vec…
This research explores the effects of various training settings from Polish to English Statistical Machine Translation system for spoken language. Various elements of the TED parallel text corpora for the IWSLT 2013 evaluation campaign were used as the basis for training of language models, and for development, tuning …
New K-theory approach classifies anyonic topological phases in 2D semimetals.
problem Classifying interacting topological phases remains open.
method TED K-theory of configuration spaces of points in the Brillouin torus.
result Classifies su(2)-anyonic topological order in 2D semimetals.
Paper develops a new method to analyze 3D tree-like objects.
problem Analyzing complex geometrical and topological variations in 3D tree-like objects.
method Extended SRVF representation and new metric for tree-shaped 3D objects.
result Captures full elasticity and topological variations of branches.
Novel approach trains ASR models with less supervision using bilevel optimization.
problem Training acoustic models for ASR with minimal supervision.
method Bilevel optimization with unsupervised and supervised losses.
result Achieves superior performance compared to existing methods.
A graphical calculus for microformal morphisms simplifies complex operations in classical and quantum physics.
problem Simplifying operations in classical and quantum microformal morphisms.
method Developed a graphical calculus inspired by Cattaneo-Dherin-Felder's work on formal symplectic groupoids, extended to quantum thick morphisms.
result Infinite series can be written as sums over bipartite trees for both classical and quantum thick morphisms.
This research investigates the Statistical Machine Translation approaches to translate speech in real time automatically. Such systems can be used in a pipeline with speech recognition and synthesis software in order to produce a real-time voice communication system between foreigners. We obtained three main data sets …
We evaluate three simple, normalization-centric changes to improve Transformer training. First, we show that pre-norm residual connections (PreNorm) and smaller initializations enable warmup-free, validation-based training with large learning rates. Second, we propose ℓ2 normalization with a single scale paramete…
Streamable model improves speech recognition performance.
problem Improving speech recognition in long-form audio.
method Chunk-based attention model for streaming speech recognition.
result Streamable model maintains competitive performance and generalizes well to long-form speech.
New K-theory framework reveals exotic brane charges and conformal blocks.
problem Identifying exotic brane charges in string/M-theory.
method Twisted equivariant differential K-theory and flat complex line bundles.
result Observation of conformal blocks and their relation to brane charges.
In this paper, we attempt to improve Statistical Machine Translation (SMT) systems on a very diverse set of language pairs (in both directions): Czech - English, Vietnamese - English, French - English and German - English. To accomplish this, we performed translation model training, created adaptations of training sett…
The paper proposes methods to estimate positive examples and learn classifiers from mixed data.
problem Estimating the proportion of positive examples and learning classifiers from a mixture of positive and unlabeled data.
method Best Bin Estimation (BBE) for Mixture Proportion Estimation and Conditional Value Ignoring Risk (CVIR) for PU-learning.
result The proposed methods significantly improve both mixture proportion estimation and classifier learning.
Paper finds new equations for pseudospherical surfaces with isometric immersions.
problem Identifying equations with isometric immersions for pseudospherical surfaces.
method Provided families of second order non-linear PDEs with local isometric immersions in E^3.
result Found equations with principal curvatures depending on finite-order jets of solutions.
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.
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.
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.