Related papers: A simplified proof of Serre's Conjectures
In this short exposition we provide a simplified proof of Buser's result for Cheeger's isoperimetric constant.
These notes are a self-contained short proof of the stability of persistence diagrams.
We obtain simple proofs of certain inequalites for bivariate means.
We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows us to prove termination in a truly modular way. We consider…
We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some properties of the program are established first and…
We prove the `weight elimination' part of the weight part of Serre's conjecture for mod 2 Galois representations for rank two unitary groups, by modifying the results in arXiv:1203.2552 and arXiv:1309.0527.
This is supplementary material to "Realizations of a special class of admittances with strictly lower complexity than canonical forms" [1], which presents the detailed proofs of some results. For more background information, refer to…
In this short note a new proof of the monotone con- vergence theorem of Lebesgue integral on \sigma-class is given.
We introduce the notion of a Morse sequence, which provides a simple and effective approach to discrete Morse theory. A Morse sequence is a sequence composed solely of two elementary operations, that is, expansions (the inverse of a…
The goal of this note is to give, at least for a restricted range of indices, a short proof of homogeneous commutator estimates for fractional derivatives of a product, using classical tools. Both $L^{p}$ and weighted $L^{p}$ estimates can…
The purpose of this note is to give a self contained description of Walls finiteness obstruction.
We give a new proof of the existence of designs, which is much shorter and gives better bounds.
We give combinatorial proofs of several recent results due to Merca on the sum of different parts congruent to $r$ modulo $m$ in all partitions of $n$. The proofs make use of some well known involutions from the literature and some new…
Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond ${\bf NP\neq co NP}$. These conjectures formally connect computational complexity with the difficulty of…
Let R be a commutative ring with identity, S be a multiplicatively closed subset of R, and let M be an R-module. The aim of this paper is to introduce the notion of S-secondary submodules of M as a generalization of secondary submodules of…
This paper aims to expand and detail the notion of formal semantics of Conjectures by applying a theoretic-model approach. After a short introduction to the concepts and basics of Conjectures, we will start from the notion of Simple…
The goal of the paper is to present two simple proofs of the Lagrange Inversion Formula for formal power series. Both proofs are non-external in the sense that they use concepts that do not go beyond the scope of formal power series…
A simple new proof of the Harish-Chandra condition, preceded by an expository part on Hermitian symmetric spaces, holomorphic induction, and on some analytic tools.
This paper consists of two prongs. Firstly, we prove that any Specht module labelled by a 2-separated partition is semisimple and we completely determine its decomposition as a direct sum of graded simple modules. Secondly, we apply these…
In this paper we present a more transparent upgrade of our proofs and comment on Jerabek's paper [8].