English
Related papers

Related papers: An axiomatic look at a windmill

200 papers

The rich non-linear dynamics of the coupled oscillators (under second harmonic injection) can be leveraged to solve computationally hard problems in combinatorial optimization such as finding the ground state of the Ising Hamiltonian. While…

Optimization and Control · Mathematics 2023-10-17 Mohammad Khairul Bashar , Zongli Lin , Nikhil Shukla

Given an elliptic operator $P$ on a non-compact manifold (with proper asymptotic conditions), there is a discrete set of numbers called indicial roots. It's known that $P$ is Fredholm between weighted Sobolev spaces if and only if the…

Differential Geometry · Mathematics 2017-02-21 Yuanqi Wang

A basic problem in the theory of partially ordered vector spaces is to characterise those cones on which every order-isomorphism is linear. We show that this is the case for every Archimedean cone that equals the inf-sup hull of the sum of…

Functional Analysis · Mathematics 2023-11-27 Bas Lemmens , Hent van Imhoff , Onno van Gaans

In this work we study the asymptotic behavior of solutions of the incompressible two-dimensional Euler equations in the exterior of a single smooth obstacle when the obstacle becomes very thin tending to a curve. We extend results by…

Analysis of PDEs · Mathematics 2015-05-13 Christophe Lacave

We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.

Logic in Computer Science · Computer Science 2023-09-06 Gilles Dowek

In this paper, we give a bijective proof of the reduced lecture hall partition theorem. It is possible to extend this bijection in lecture hall partition theorem. And refined versions of each theorems are also presented.

Combinatorics · Mathematics 2015-04-17 Masanori Ando

We study the regularity of weak solutions to the 3D valued stationary Hall magnetohydrodynamic equations on $ \Bbb R^2$. We prove that every weak solution is smooth. Furthermore, we prove a Liouville type theorem for the Hall equations.

Analysis of PDEs · Mathematics 2017-08-23 Dongho Chae , Joerg Wolf

Starting from an integral projective variety $Y$ equipped with a very ample, non-special and not-secant defective line bundle $\mathcal{L}$, the paper establishes, under certain conditions, the regularity of $(Y \times \mathbb…

Algebraic Geometry · Mathematics 2023-12-05 Edoardo Ballico , Alessandra Bernardi , Tomasz Mańdziuk

The main goal of this paper is to give a general method to compute (via computer algebra systems) an explicit set of generators of the ideals of the projective embeddings of some ruled surfaces, namely projective line bundles over curves…

Algebraic Geometry · Mathematics 2007-05-23 Alberto Alzati , Fabio Tonoli

In this short note we provide a quantitative version of the classical Runge approximation property for second order elliptic operators. This relies on quantitative unique continuation results and duality arguments. We show that these…

Analysis of PDEs · Mathematics 2017-08-22 Angkana Rüland , Mikko Salo

We consider an optimal control problem governed by an elliptic variational inequality of the second kind. The problem is discretized by linear finite elements for the state and a variational discrete approach for the control. Based on a…

Numerical Analysis · Mathematics 2020-11-25 Christian Meyer , Monika Weymuth

The aim of this paper is to investigate the use of an entropic projection method for the iterative regularization of linear ill-posed problems. We derive a closed form solution for the iterates and analyze their convergence behaviour both…

Optimization and Control · Mathematics 2020-01-29 Martin Burger , Elena Resmerita , Martin Benning

Inspired by a planar partitioning problem involving multiple improper chambers, this article investigates using classical techniques what can be said of the existence, uniqueness, and regularity of minimizers in a certain free-endpoint…

Analysis of PDEs · Mathematics 2023-08-09 Stanley Alama , Lia Bronsard , Silas Vriend

If A and B are two points in the plane, with B lower and to the right of A, then we may consider the trajectory of an object travelling from A to B under the influence of gravity. The search for the trajectory minimising the time taken by…

Optimization and Control · Mathematics 2012-11-14 Rodney Coleman

One of the remarkable notions in the recent development of quantum physics is the weak value related to weak measurements. We emulate it as a two-time conditional expectation in a classical stochastic model. We use the well known…

Statistical Mechanics · Physics 2017-08-23 Hiroyuki Tomita

We are interested in existence results for second order differential inclusions, involving finite number of unilateral constraints in an abstract framework. These constraints are described by a set-valued operator, more precisely a proximal…

Classical Analysis and ODEs · Mathematics 2010-03-10 Frederic Bernicot , Aline Lefebvre-Lepot

The porous medium equation (PME) is a typical nonlinear degenerate parabolic equation. An energetic variational approach has been studied in a recent work [6], in which the trajectory equation is obtained, and a few first order accurate…

Numerical Analysis · Mathematics 2020-06-23 Chenghua Duan , Wenbin Chen , Chun Liu , Cheng Wang , Xingye Yue

We consider orthogonal polynomials with respect to the weight $|z^2+a^2|^{cN}e^{-N|z|^2}$ in the whole complex plane. We obtain strong asymptotics and the limiting normalized zero counting measure (mother body) of the orthogonal polynomials…

Classical Analysis and ODEs · Mathematics 2026-03-24 Mario Kieburg , Arno B. J. Kuijlaars , Sampad Lahiry

Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization of the simplest one and formally prove its convergence in…

Logic in Computer Science · Computer Science 2011-11-15 Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond , Pierre Weis

Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization of the simplest one and formally prove its convergence in…

Logic in Computer Science · Computer Science 2011-11-10 Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond , Pierre Weis