Related papers: Proof of the orthogonal--Pin duality

In this paper we study sequences of vector orthogonal polynomials. The vector orthogonality presented here provides a reinterpretation of what is known in the literature as matrix orthogonality. These systems of orthogonal polynomials…

This paper is devoted to the proof of an isoperimetric property of the double spherical cap rearrangement of planar sets under the assumption of disconnection of non-trivial spherical slices. Additionally, the higher-dimensional case is…

We provide an elementary proof of a bicategorical pasting theorem that does not rely on Power's 2-categorical pasting theorem, the bicategorical coherence theorem, or the local characterization of a biequivalence.

This article proves a Pythagoras-type formula for the sides and diagonals of a polygon inscribed in a semicircle having one of the sides of the polygon as diameter.

We state a simple criterion to prove the infiniteness of the image of Reshetikhin-Turaev irreducible representations of the mapping class groups of surfaces. We use it to study some of the Reshetikhin-Turaev representations associated to…

Here we prove a Poincar\'e-Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.

The conjectures of Manin and Peyre are confirmed for a certain threefold.

We give three new proofs of the triangle inequality in Euclidean Geometry. There seems to be only one known proof at the moment. It is due to properties of triangles, but our proofs are due to circles or ellipses. We aim to prove the…

A simple proof of the weighted two variable geometric-arithmetic a mean inequality based on one given earlier valid only for integer weights

In this paper, we give a complete picture of Howe correspondence for the setting ($O(E, b), Pin(E, b), \Pi$), where $O(E, b)$ is an orthogonal group (real or complex), $Pin(E, b)$ is the two-fold Pin-covering of $O(E, b)$, and $\Pi$ is the…

In a recent paper, Amini et al. introduce a general framework to prove duality theorems between special decompositions and their dual combinatorial object. They thus unify all known ad-hoc proofs in one single theorem. While this…

By using Alexander duality on simplicial complexes we give a new and algebraic proof of Dirac's theorem on chordal graphs.

This is a technical report, containing all the theorem proofs in paper "Link Identifiability in Communication Networks with Two Monitors" by Liang Ma, Ting He, Kin K. Leung, Ananthram Swami, and Don Towsley, published in IEEE Globecom,…

We show that two $\operatorname{Pin}$-structures on a surface differ by a diffeomorphism of the surface if and only if they are cobordant (for comparison, the analogous fact has already been shown for $\operatorname{Spin}$-structures). We…

The purpose of this paper was to give an algebraic analog of Poincare duality. But there is a mistake in the proof of the main theorem. It will be corrected as soon as possible.

This work concerns results on conditions guaranteeing that certain banded $M$-matrices have banded inverses. As a first goal, a graph theoretic characterization for an off-diagonal entry of the inverse of an $M$-matrix to be positive, is…

This proof of Godel's first incompleteness theorem doesn't require omega-consistency, nor does it refer to codes of negated sentences as in Rosser's. It begins from where Godel's usual proof ends, and stalks it till it ends proving it.

The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtained results are new proofs of the existing theorems, others…

This paper deals with a proof theory for a theory of $\Pi_{N}$-reflecting ordinals using a system of ordinal diagrams. This is a sequel to the previous one(APAL 129)in which a theory for $\Pi_{3}$-reflection is analysed proof-theoretically.

We give a full, correct proof of the following result, earlier claimed by Erd\H{o}s and Komj\'ath. If the Continuum Hypothesis holds then there is a coloring of the plane with countably many colors, with no monocolored right triangle.