English
Related papers

Related papers: A Note on Shortest Developments

200 papers

In this paper, we prove that any two birational projective varieties with finite quotient singularities can be realized as two geometric GIT quotients of a non-singular projective variety by a reductive algebraic group. Then, by applying…

Algebraic Geometry · Mathematics 2007-05-23 Yi Hu

Learning Bayesian networks from raw data can help provide insights into the relationships between variables. While real data often contains a mixture of discrete and continuous-valued variables, many Bayesian network structure learning…

Artificial Intelligence · Computer Science 2018-09-19 Yi-Chun Chen , Tim Allan Wheeler , Mykel John Kochenderfer

We study linear time fractional diffusion equations in divergence form of time order less than one. It is merely assumed that the coefficients are measurable and bounded, and that they satisfy a uniform parabolicity condition. As the main…

Analysis of PDEs · Mathematics 2010-11-13 Rico Zacher

We consider the differentiation of the value function for parametric optimization problems. Such problems are ubiquitous in Machine Learning applications such as structured support vector machines, matrix factorization and min-min or…

Optimization and Control · Mathematics 2020-12-29 Sheheryar Mehmood , Peter Ochs

Strain-gradient theories of plasticity have been successful in modeling the behavior of complex materials. However, the traditional formulation of these theories lacks a material length scale, and is thus incapable of capturing…

Mesoscale and Nanoscale Physics · Physics 2014-07-01 Jordan S. Cotler , Felipe Hernandez

We prove that the finite-difference based derivative-free descent (FD-DFD) methods have a capability to find the global minima for a class of multiple minima problems. Our main result shows that, for a class of multiple minima objectives…

Optimization and Control · Mathematics 2020-06-26 Xiaopeng Luo , Xin Xu , Daoyi Dong

We study minimizers of non-differentiable functionals modeled on the degenerate quenching problem. Our main result establishes the finiteness of the $(n-1)-$dimensional Hausdorff measure of the free boundary. The proof is based on optimal…

Analysis of PDEs · Mathematics 2026-02-19 Damião J. Araújo , Rafayel Teymurazyan , José Miguel Urbano

We study superdevelopments in the weak lambda calculus of Cagman and Hindley, a confluent variant of the standard weak lambda calculus in which reduction below lambdas is forbidden. In contrast to developments, a superdevelopment from a…

Logic in Computer Science · Computer Science 2010-01-26 Eduardo Bonelli , Pablo Barenbaum

We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably…

alg-geom · Mathematics 2008-02-03 Leovigildo Alonso , Ana Jeremias , Joseph Lipman

Our main result (Theorem A) shows the incompleteness of any consistent sequential theory T formulated in a finite language such that T is axiomatized by a collection of sentences of bounded quantifier-alternation-depth. Our proof employs an…

Logic · Mathematics 2024-02-19 Ali Enayat , Albert Visser

On a connected finite graph, we propose an evolution of weights including Ollivier's Ricci flow as a special case. During the evolution process, on each edge, the speed of change of weight is exactly the difference between the Wasserstein…

Classical Analysis and ODEs · Mathematics 2025-04-30 Jicheng Ma , Yunyan Yang

In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinations of resource lambda-terms, from a calculus similar to Boudol's…

Logic in Computer Science · Computer Science 2010-01-20 Thomas Ehrhard

Our overall goal is to unify and extend some results in the literature related to the approximation of generating functions of finite and infinite sequences over a field by rational functions. In our approach, numerators play a significant…

Symbolic Computation · Computer Science 2015-04-08 Graham H. Norton

A new method of deriving comparative statics information using generalized compensated derivatives is presented which yields constraint-free semidefiniteness results for any differentiable, constrained optimization problem. More generally,…

Optimization and Control · Mathematics 2013-10-29 M. Hossein Partovi , Michael R. Caputo

The aim of this short note is to establish a limit theorem for the optimal trading strategies in the setup of the utility maximization problem with proportional transaction costs. This limit theorem resolves the open question from [4]. The…

Mathematical Finance · Quantitative Finance 2021-09-28 Erhan Bayraktar , Christoph Czichowsky , Leonid Dolinskyi , Yan Dolinsky

For many common height functions, it is notoriously hard to compute the essential minimum. Nevertheless there are two classical methods, one giving lower bounds and the other giving upper bounds. In this paper, we show that the two methods…

Number Theory · Mathematics 2026-03-24 José Burgos Gil , Ricardo Menares , Binggang Qu , Martín Sombra

The paper deals with the optimal control problem described by second order evolution differential inclusions; to this end first we use an auxiliary problem with second order discrete and discrete-approximate inclusions. Then applying…

Optimization and Control · Mathematics 2019-06-18 Elimhan N. Mahmudov

We consider the equation $\Delta u=Vu$ in exterior domains in $\mathbb{R}^2$ and $\mathbb{R}^3$, where $V$ has certain periodicity properties. In particular we show that such equations cannot have non-trivial superexponentially decaying…

Analysis of PDEs · Mathematics 2017-12-20 Daniel M. Elton

We extend classical finite-dimensional Fenichel theory in two directions to infinite dimensions. Under comparably weak assumptions we show that the solution of an infinite-dimensional fast-slow system is approximated well by the…

Dynamical Systems · Mathematics 2020-08-26 Felix Hummel , Christian Kuehn

Among diversity of frameworks and constructions introduced in Loewner Theory by different authors, one can distinguish two closely related but still different ways of reasoning, which colloquially may be described as "increasing" and…

Complex Variables · Mathematics 2012-02-28 Manuel D. Contreras , Santiago Diaz-Madrigal , Pavel Gumenyuk