Related papers: A solid angle theory for real polytopes

Inertial manifold theory, saddle point property and exponential dichotomy have been treated as different topics in the literature with different proofs. As a common feature, they all have the purpose of `splitting' the space to understand…

We introduce here a new axiomatisation of the rational fragment of the ZX-calculus, a diagrammatic language for quantum mechanics. Compared to the previous axiomatisation introduced in [8], our axiomatisation does not use any metarule , but…

We prove a scalar curvature rigidity theorem for convex polytopes. The proof uses the Fredholm theory for Dirac operators on manifolds with boundary. A variant of a theorem of Fefferman and Phong plays a central role in our analysis.

In this paper, we intend to revisit Theorem 2 of [3] formulating it in a way that, weakening the hypotheses and, at the same time, highlighting the richer conclusion allowed by the proof, it can potentially be applicable to a broader range…

The differential $\lambda$-calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has generalized the axioms of Taylor expansion so they…

We present a rectilinearization theorem for p-adic semi-algebraic sets depending on parameters. As an application of our main theorem we present an alternative proof of a rationality result for parametric p-adic inte- grals, due to Denef.

The q-deformation of the Lie algebras underlying the standard field theories leads to a pair of dual algebras. We describe a simple choice of possible field theories based on these derived algebras. One of these approximates the standard…

We study approximations of polytopes in the standard model for computing polytopes using Minkowski sums and (convex hulls of) unions. Specifically, we study the ability to approximate a target polytope by polytopes of a given depth. Our…

In this survey, different aspects of the theory of orthogonal polynomials of one (real or complex) variable are reviewed. Orthogonal polynomials on the unit circle are not discussed.

We introduce a proximal subdifferential and develop a calculus for nonsmooth functions defined on any Riemannian manifold $M$. We give several applications of this theory, concerning: 1) differentiability and geometrical properties of the…

We survey a very general (nonlinear) Fredholm theory for a new class of ambient spaces, called polyfolds. This theory is being currently developed jointly with K. Wysocki and E. Zehnder. The basic feature of these new spaces is that in…

Recent progress in analytical calculation of the multiple [inverse, binomial, harmonic] sums, related with epsilon-expansion of the hypergeometric function of one variable are discussed.

We study the rational approximation properties of special manifolds defined by a set of polynomials with rational coefficients. Mostly we will assume the case of all polynomials to depend on only one variable. In this case the manifold can…

In the paper, we introduce the notion of a local regular supermartingale relative to a convex set of equivalent measures and prove for it an optional Doob decomposition in the discrete case. This Theorem is a generalization of the famous…

We are concerned with the computational problem of determining the covering radius of a rational polytope. This parameter is defined as the minimal dilation factor that is needed for the lattice translates of the correspondingly dilated…

We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the…

In a previous paper, we provided some update in the treatment of the finiteness theorem for rational maps of finite degree from a fixed variety to varieties of general type. In the present paper we present another improvement, introducing…

We provide a complete structure theorem for involutory matrices. This yields a new approach to principal angles between subspaces and provide a series of nice formulae for these angles.

We develop precise analytic description of oscillons - long-lived quasiperiodic field lumps - in scalar field theories with nearly quadratic potentials, e.g. the monodromy potential. Such oscillons are essentially nonperturbative due to…

In this paper the double-sided Talor's approximations are used to obtain generalisations and improvements of some trigonometric inequalities.