相关论文: An Investigation of the Chung-Feller Theorem

We obtain quantified versions of Ingham's classical Tauberian theorem and some of its variants by means of a natural modification of Ingham's own simple proof. As corollaries of the main general results, we obtain quantified decay estimates…

We give new proofs of some well-known results from Invariant Theorey using the Kempf-Ness theorem.

In the case of Dynkin quivers we establish a formula for the Grothendieck class of a quiver cycle as the iterated residue of a certain rational function, for which we provide an explicit combinatorial construction. Moreover, we utilize a…

We define a cocycle on the group of symplectic diffeomorphisms of a symplectic manifold and investigate its properties. The main applications are concerned with symplectic actions of discrete groups. For example, we give an alternative…

Standard proofs of Lusin's theorem, using simple functions, are sometimes quite elaborate. Here, we give a one-sentence proof of Lusin's theorem. We do not believe our approach, by way of inverse images, is new. However, this particular…

We prove a new inequality for Gaussian processes, this inequality implies the Gordon-Chevet inequality. Some remarks on Gaussian proofs of Dvoretzky's theorem are given.

We prove the cyclic sum formulas for certain two-parameter multiple series. These are new and non-trivial generalizations of the cyclic sum formulas for multiple zeta values and multiple zeta-star values.

We investigate the cyclic proof theory of extensions of Peano Arithmetic by (finitely iterated) inductive definitions. Such theories are essential to proof theoretic analyses of certain `impredicative' theories; moreover, our cyclic systems…

We present a proof of Chow's theorem using two results of Errett Bishop retated to volumes and limits of analytic varieties. We think this approach suggested a long time ago in the beautiful book by Gabriel Stolzenberg, is very attractive…

As a first application of a very old theorem, known as Herschel's theorem, we provide direct elementary proofs of several explicit expressions for some numbers and polynomials that are known in combinatorics. The second application deals…

We prove both the biquadratic Guo--Jacquet Fundamental Lemma (FL) and the biquadratic linear Arithmetic Fundamental Lemma (AFL) for GL(4) with the unit test function. Our approach relies on a detailed study of pairs of quadratic embeddings,…

We give a counting based proof of the Graham Pollak Theorem

Circular proofs, introduced by Daniyar Shamkanov, are proofs in which assumptions are allowed that are not axioms but do appear at least twice along a branch. Shamkanov has shown that a formula belongs to the provability logic GL exactly if…

We start with a bijective proof of Schur's theorem due to Alladi and Gordon and describe how a particular iteration of it leads to some very general theorems on colored partitions. These theorems imply a number of important results,…

A derivation of the cyclic form factor equation from quantum field theoretical principles is given; form factors being the matrix elements of a field operator between scattering states. The scattering states are constructed from Haag-Ruelle…

We discuss several existing proofs of the value of a quartic integral and present a new proof that evolved from rational Landen transformations.

We study algebraic varieties parametrized by topological spaces and enlarge the domains of Lawson homology and morphic cohomology to this category. We prove a Lawson suspension theorem and splitting theorem. A version of Friedlander-Lawson…

In this article, I introduce a group-theoretical method to prove positivity of certain linear combinations (with coefficients generally lying in $\mathbb{C}$) of exponential functions under a set of semidefinite linear constraints. The…

The first version of this paper gave another proof of the Kropholler Conjecture, which gives a relative version of Stallings Ends Theorem, following an earlier incorrect proof. It has been pointed out by Sam Shepherd that the the second…

The first and second representation theorems for sign-indefinite, not necessarily semi-bounded quadratic forms are revisited. New straightforward proofs of these theorems are given. A number of necessary and sufficient conditions ensuring…