English
Related papers

Related papers: An optimal construction of Hanf sentences

200 papers

We propose a unifying general framework of quantitative primal and dual sufficient and necessary error bound conditions covering linear and nonlinear, local and global settings. The function is not assumed to possess any particular…

Optimization and Control · Mathematics 2022-06-17 Nguyen Duy Cuong , Alexander Y. Kruger

The causal structure of Einstein's evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution…

General Relativity and Quantum Cosmology · Physics 2011-04-21 Carles Bona , Joan Masso , Ed Seidel , Joan Stela

We introduce the classes of descendingly flexible and descendingly alternative algebras over an arbitrary field $\mathbb{F}$. We suggest a new method based on the sequence of differences between the dimensions of the linear spans of words,…

Rings and Algebras · Mathematics 2023-12-07 Alexander Guterman , Svetlana Zhilina

We find an asymptotic expression for the first eigenvalue of the biharmonic operator on a long thin rectangle. This is done by finding lower and upper bounds which become increasingly accurate with increasing length. The lower bound is…

Spectral Theory · Mathematics 2007-05-23 Mark P. Owen

We construct renormalised models of regularity structures by using a recursive formulation for the structure group and for the renormalisation group. This construction covers all the examples of singular SPDEs which have been treated so far…

Probability · Mathematics 2023-10-24 Yvain Bruned

It is known that if the underlying iterated function system satisfies the open set condition, then the upper box dimension of an inhomogeneous self-similar set is the maximum of the upper box dimensions of the homogeneous counterpart and…

Classical Analysis and ODEs · Mathematics 2019-09-20 Simon Baker , Jonathan M. Fraser , András Máthé

We develop a method for proving sup-norm and H\"older estimates for $\overline{\partial}$ on wide class of finite type pseudoconvex domains in $\mathbb{C}^n$. A fundamental obstruction to proving sup-norm estimates is the possibility of…

Complex Variables · Mathematics 2020-12-10 Dusty Grundmeier , Lars Simon , Berit Stensønes

We obtain the best approximation in $L^1(\R)$, by entire functions of exponential type, for a class of even functions that includes $e^{-\lambda|x|}$, where $\lambda >0$, $\log |x|$ and $|x|^{\alpha}$, where $-1 < \alpha < 1$. We also give…

Classical Analysis and ODEs · Mathematics 2011-06-06 Emanuel Carneiro , Jeffrey D. Vaaler

We prove that every concatenation of $10$ or more binary squares contains an overlap. The bound $10$ is best possible. In contrast, over a ternary alphabet, there are infinitely long overlap-free words that consist of a concatenation of…

Combinatorics · Mathematics 2026-05-28 Jeffrey Shallit

I present the most fundamental features of an implemented system designed to manipulate representations of regular languages. The system is structured into two layers, allowing regular languages to be represented in an increasingly compact,…

Formal Languages and Automata Theory · Computer Science 2025-09-24 Baudouin Le Charlier

An effective method for generating linear equations of maximal symmetry in their much general normal form is obtained. In the said normal form, the coefficients of the equation are differential functions of the coefficient of the term of…

Classical Analysis and ODEs · Mathematics 2015-02-26 JC Ndogmo

We prove an exponential upper bound for the number $f(m,n)$ of all maximal triangulations of the $m\times n$ grid: \[ f(m,n) < 2^{3mn}. \] In particular, this improves a result of S. Yu. Orevkov (1999).

Combinatorics · Mathematics 2007-05-23 Emile E. Anclin

In this paper, we present a structurally flat triangular form which is based on the extended chained form. We provide a complete geometric characterization of the proposed triangular form in terms of necessary and sufficient conditions for…

Dynamical Systems · Mathematics 2023-01-11 Conrad Gstöttner , Bernd Kolar , Markus Schöberl

We exhibit, for each even degree, a ternary form of rank strictly greater than the maximum rank of monomials. Together with an earlier result in the odd case, this gives the lower bound…

Algebraic Geometry · Mathematics 2017-06-15 Alessandro De Paris

We introduce a new Hopf algebra that operates on pairs of finite interval partitions and permutations of equal length. This algebra captures vincular patterns, which involve specifying both the permutation patterns and the consecutive…

Rings and Algebras · Mathematics 2023-07-03 Joscha Diehl , Emanuele Verri

We extend a classical construction on symmetric functions, the superization process, to several combinatorial Hopf algebras, and obtain analogs of the hook-content formula for the (q,t)-specializations of various bases. Exploiting the…

Combinatorics · Mathematics 2013-02-12 Jean-Christophe Novelli , Jean-Yves Thibon

The classical Euler's problem on optimal configurations of elastic rod in the plane with fixed endpoints and tangents at the endpoints is considered. The global structure of the exponential mapping that parameterises extremal trajectories…

Optimization and Control · Mathematics 2013-03-08 Yuri Sachkov , Elena Sachkova

In this paper we propose a general ternary construction of lattices from three rows and ternary codes. Most laminated lattices and Kappa lattices in ${\bf R}^n$, $n\leq 24$ can be recovered from our tenary construction naturally. This…

Number Theory · Mathematics 2015-04-15 Hao Chen

The classical Hopf's lemma can be reformulated as uniqueness of continuation result. We aim in the present work to quantify this property. We show precisely that if a solution $u$ of a divergence form elliptic equation attains its maximum…

Analysis of PDEs · Mathematics 2021-05-07 Mourad Choulli , Faouzi Triki , Qi Xue

We construct two new families of basis for finite field extensions. Basis in the first family, the so-called elliptic basis, are not quite normal basis, but they allow very fast Frobenius exponentiation while preserving sparse…

Number Theory · Mathematics 2012-05-07 Jean-Marc Couveignes , Reynald Lercier