Related papers: Symmetric inclusion-exclusion

We consider several families of binomial sum identities whose definition involves the absolute value function. In particular, we consider centered double sums of the form \[S_{\alpha,\beta}(n) :=…

A positive integer $n$ is said to be a palindrome in base $b$ (or $b$-adic palindrome) if the representation of $n = (a_k a_{k-1} \cdots a_0)_b$ in base $b$ with $a_k \neq 0$ has the symmetric property $a_{k-i} = a_i$ for every…

We compare various viewpoints on down-sets (simplicial complexes), illustrating how the combinatorial inclusion-exclusion principle may serve as an alternative to more advanced methods of studying their face numbers.

In this article, we propose a general theory of integration of the Riemann and Lebesgue types with respect to arbitrary measures and functions, connected by a continuous bilinear product, with values in abstract vector spaces endowed with a…

A group of individuals wishes to classify $m$ objects into $n$ categories in such a way that no class is left empty, a condition known as surjectivity. The opinions of the individuals are aggregated separately for each object using an…

We use the theory of symmetric functions to enumerate various classes of alternating permutations w of {1,2,...,n}. These classes include the following: (1) both w and w^{-1} are alternating, (2) w has certain special shapes, such as…

Let $A$ be a unital C*-algebra, $S$ be an operator $A$-system and $E$ be an operator space that is a left operator $A$-module. We introduce the symmetrisation of the pair $(E,S)$ as the Hausdorff completion of the balanced tensor product…

The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved,…

This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $\mu$ be a Radon measure on $X$ and let…

A Borel system consists of a measurable automorphism of a standard Borel space. We consider Borel embeddings and isomorphisms between such systems modulo null sets, i.e. sets which have measure zero for every invariant probability measure.…

In this paper we consider a sum of modified Bessel functions of the first kind of which particular case is used in the study of Kanter's sharp modified Bessel function bound for concentrations of some sums of independent symmetric random…

We examine convergent representations for the sum of a decaying exponential and a Bessel function in the form \[\sum_{n=1}^\infty \frac{e^{-an}}{(\frac{1}{2} bn)^\nu}\,J_\nu(bn),\] where $J_\nu(x)$ is the Bessel function of the first kind…

We initiate the systematic study of modular representations of symmetric groups that arise via the braiding in (symmetric) tensor categories over fields of positive characteristic. We determine what representations appear for certain…

For two semi-simple algebras $A$ and $B$ over an arbitrary ground field $F$, we give a numerical criterion when $\Hom_F(A,B)$, the set of $F$-algebra homomorphisms between them, is non-empty. We also determine when the orbit set $B^\times…

A generalized word in two positive definite matrices A and B is a finite product of nonzero real powers of A and B. Symmetric words in positive definite A and B are positive definite, and so for fxed B, we can view a symmetric word, S(A,B),…

Given a finite set of roots of unity, we show that all power sums are non-negative integers iff the set forms a group under multiplication. The main argument is purely combinatorial and states that for an arbitrary finite set system the…

We prove general results about separation and weak$^\#$-convergence of boundedly finite measures on separable metric spaces and Souslin spaces. More precisely, we consider an algebra of bounded real-valued, or more generally a $*$-algebra…

Let $S$ be a finite set, $s=|S|\ge6$. Given a non-negative integer $t$, there exists an inclusion-minimal non-Bondy system $\mathscr{A}$ of size $t$ on $S$ if and only if $s+1\le t\le2s$.

We unify in a large class of additive functions the results obtained in the first part of this work. The proof rests on series involving the Riemann zeta function and certain sums of primes which may have their own interest.

In this paper we obtain general integral formulas for probabilities in the asymmetric simple exclusion process (ASEP) on the integer lattice with nearest neighbor hopping rates p to the right and q=1-p to the left. For the most part we…