Related papers: A Note on Shortest Developments
We present a new duality theory for non-convex variational problems, under possibly mixed Dirichlet and Neumann boundary conditions. The dual problem reads nicely as a linear programming problem, and our main result states that there is no…
We present a general method for obtaining strong bounds for discrete optimization problems that is based on a concept of branching duality. It can be applied when no useful integer programming model is available, and we illustrate this with…
We prove a strong duality result for a linear programming problem which has the interpretation of being a discretised optimal Skorokhod embedding problem, and we recover this continuous time problem as a limit of the discrete problems. With…
The first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Fr\"uhwirth, we consider an extension of this theory with an additional…
Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over…
We give a purely combinatorial proof for a two-fold generalization of van der Waerden-Brauer's theorem and Hindman's theorem. We also give tower bounds for a finite version of it.
The paper presents fundamental metrical theorems for a class of continued fraction-like expansions known as $\theta$-expansions. We first prove Khinchine's Weak Law of Large Numbers for the sum of digits, followed by the Diamond-Vaaler…
We consider a problem of an optimal consumption strategy on the infinite time horizon when the short-rate is a diffusion process. General existence and uniqueness theorem is illustrated by the Vasicek and so-called invariant interval…
The main result of this paper is a proof of the continuity of a family of integral functionals defined on the space of functions of bounded variation with respect to a topology under which smooth functions are dense. These functionals occur…
We prove the uniqueness and finite-time existence of bounded-vorticity solutions to the 2D Euler equations having velocity growing slower than the square root of the distance from the origin, obtaining global existence for more slowly…
We study gradient flows of general functionals with linear growth with very weak assumptions. Classical results concerning characterisation of solutions require differentiability of the Lagrangian, as for the time-dependent minimal surface…
We prove that for every $n \in \mathbb{N}$ and $\delta>0$ there exists a word $w_n \in F_2$ of length $n^{2/3} \log(n)^{3+\delta}$ which is a law for every finite group of order at most $n$. This improves upon the main result of [A. Thom,…
We prove convergence of a fully discrete finite difference scheme for the Korteweg--de Vries equation. Both the decaying case on the full line and the periodic case are considered. If the initial data $u|_{t=0}=u_0$ is of high regularity,…
Some of the most important results in prediction theory and time series analysis when finitely many values are removed from or added to its infinite past have been obtained using difficult and diverse techniques ranging from duality in…
Dirichlet's version of Gauss's reduction theory for indefinite binary quadratic forms includes a map from Gauss-reduced forms to strings of natural numbers. It attaches to a form the minimal period of the continued fraction of a quadratic…
We argue that the finiteness of quantum gravity amplitudes in fully compactified theories (at least in supersymmetric cases) leads to a bottom-up prediction for the existence of non-trivial dualities. In particular, finiteness requires the…
We establish two global boundedness results for weak solutions to generalized Schr\"{o}dinger-type double phase problems with variable exponents in $\mathbb{R}^N$ under new critical growth conditions optimally introduced in [26, 32]. More…
This paper gives two different proofs to a structural theorem of decreasing minimization (lexicographic optimization) on integrally convex sets. The theorem states that the set of decreasingly minimal elements of an integrally convex set…
An elliptic equation div(F(Du)) = f whose ellipticity strongly degenerates for small values of Du (say, F = 0 on B(0,1)) is considered. The aim is to prove regularity for F(Du). The paper proves a continuity result in dimension two and…
We show general lower semicontinuity and relaxation theorems for linear-growth integral functionals defined on vector measures that satisfy linear PDE side constraints (of arbitrary order). These results generalize several known lower…