Related papers: Log-concavity of rows of Pascal type triangles
It is shown that for a given log-concave function, its symmetric decreasing rearrangement is always harder to approximate in the symmetric difference metric by inner log-linearizations with a fixed number of break points. This extends a…
We extend the classical deconvolution framework in Rn to the case with a pseudodifferential-like solution operator with a symbol depending on both the base and cotangent variable. Our framework enables deconvolution with spatially varying…
In this paper we introduce probability-preserving convolution algebras on cones of positive semidefinite matrices over one of the division algebras $\b F = \b R, \b C$ or $\b H$ which interpolate the convolution algebras of radial bounded…
We prove a series of Stephan's conjectures concerning Pascal triangle modulo 2 and give a polynomial generalization.
In this paper we present short algebraic proofs of the Linear Conway--Gordon--Sachs and the Linear van Kampen--Flores theorems in the spirit of the Radon theorem on convex hulls. {\bf Theorem.} {\it Take any $n+3$ general position points in…
Observations of galaxy clusters (GC's) are a powerful tool to probe the evolution of the Universe at $z<2$. However, the determination of their real shape and structure is not completely understood and the assumption of asphericity is often…
An antinorm is a concave nonnegative homogeneous functional on a convex cone. It is shown that if the cone is polyhedral, then every antinorm has a unique continuous extension from the interior of the cone. The main facts of the duality…
Viviani's theorem states that the sum of distances from any point inside an equilateral triangle to its sides is constant. We consider extensions of the theorem and show that any convex polygon can be divided into parallel segments such…
It will be shown that Pascal's Theorem is equivalent to the associativity of a natural binary operation on conic sections. A novel proof for Pascal's Theorem will then be given by showing that this binary operation is associative…
In the present paper the smoothness loss of a continuation of solutions to convolution equations is studied. Also examples for some kinds of convolvers are given.
Continuing the first part of this paper, the present one establishes in their full generality the properties of the derived system and of the dual sequence of any barypolygonal sequence: it is proven that the results obtained in the case…
We investigate a property that extends the Danos-Regnier correctness criterion for linear logic proof-structures. The property applies to the correctness graphs of a proof-structure: it states that any such graph is acyclic and the number…
We show that log canonical thresholds of fixed dimension are standardized. More precisely, we show that any sequence of log canonical thresholds in fixed dimension $d$ accumulates in a way which is i) either similar to how standard and…
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…
In this article some explicit estimates on the decay of the convolutive inverse of a sequence are proved. They are derived from the functional calculus for Sobolev algebras. Applications include localization in spline-type spaces and…
We consider two algorithms which can be used for proving positivity of sequences that are defined by a linear recurrence equation with polynomial coefficients (P-finite sequences). Both algorithms have in common that while they do succeed…
We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents,…
We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent…
The visibility graph of a simple polygon represents visibility relations between its vertices. Knowing the correct order of the vertices around the boundary of a polygon and its visibility graph, it is an open problem to locate the vertices…
The relative log-concavity ordering $\leq_{\mathrm{lc}}$ between probability mass functions (pmf's) on non-negative integers is studied. Given three pmf's $f,g,h$ that satisfy $f\leq_{\mathrm{lc}}g\leq_{\mathrm{lc}}h$, we present a pair of…