Related papers: Inclusion-Exclusion-Like identities

The conformal formulation provides a method for constructing and parametrizing solutions of the Einstein constraint equations by mapping freely chosen sets of conformal data to solutions, provided a certain set of coupled, elliptic…

For the scalar field $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$, the multilinear Bohnenblust--Hille inequality asserts that there exists a sequence of positive scalars $(C_{\mathbb{K},m})_{m=1}^{\infty}$ such that…

We study pairs (C,D) of unital C*-algebras where D is a regular abelian C*-subalgebra of C. When D is a MASA in C, we prove the existence and uniqueness of a completely positive unital map E of C into the injective envelope I(D) of D whose…

We explicitly construct infinite families of MSTD (more sums than differences) sets. There are enough of these sets to prove that there exists a constant C such that at least C / r^4 of the 2^r subsets of {1,...,r} are MSTD sets; thus our…

We introduce enumerative invariants $F_{g,n}$ $(g\geq0$, $n \geq 1)$ associated to a cyclic $A_\infty$ algebra and a splitting of its non-commutative Hodge filtration. These invariants are defined by explicitly computable Feynman sums, and…

By a very simple argument, we prove that if $l,m,n$ are nonnegative integers then $$\sum_{k=0}^l(-1)^{m-k}\binom{l}{k}\binom{m-k}{n}\binom{2k}{k-2l+m} =\sum_{k=0}^l\binom{l}{k}\binom{2k}{n}\binom{n-l}{m+n-3k-l}. On the basis of this…

If $X$ is a set, $E$ is an equivalence relation on $X$, and $n \in \omega$, then define $$[X]^n_E = \{(x_0, ..., x_{n - 1}) \in {}^nX : (\forall i,j)(i \neq j \Rightarrow \neg(x_i \ E \ x_j))\}.$$ For $n \in \omega$, a set $X$ has the…

If two G-manifolds are G-cobordant then characteristic numbers corresponding to the fixed point sets (submanifolds) of subgroups of G and to normal bundles to these sets coincide. We construct two analogues of these characteristic numbers…

Let $G$ be a finite group. Let $K/k$ be a Galois extension of number fields with Galois group isomorphic to $G$, and let $C \subseteq \mathrm{Gal}(K/k) \simeq G$ be a conjugacy invariant subset. It is well known that there exists an…

We find closed formulas for arbitrarily high mixed moments of characteristic polynomials of the Alternative Circular Unitary Ensemble (ACUE), as well as closed formulas for the averages of ratios of characteristic polynomials in this…

We give elementary proofs of some congruence criteria to compute binomial coefficients in modulo a prime. These criteria are analogues to the symmetry property of binomial coefficients. We give extended version of Lucas Theorem by using…

Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-intersecting if each member of $\mathcal{A}$ intersects each member of $\mathcal{B}$. For any two integers $n$ and $k$ with $0 \leq k \leq n$, let ${[n] \choose \leq…

Let $G=C_n\oplus C_{mn}$ with $n\geq 2$ and $m\geq 1$, and let $k\in [0,n-1]$. It is known that any sequence of $mn+n-1+k$ terms from $G$ must contain a nontrivial zero-sum of length at most $mn+n-1-k$. The associated inverse question is to…

Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained that way (`Unfoldable cardinals') behave as…

We consider classes $\mathscr{G}^s ([0,1])$ of subsets of $[0,1]$, originally introduced by Falconer, that are closed under countable intersections, and such that every set in the class has Hausdorff dimension at least $s$. We provide a…

We introduce a natural definition for sums of the form \[ \sum_{\nu=1}^x f(\nu) \] when the number of terms x is a rather arbitrary real or even complex number. The resulting theory includes the known interpolation of the factorial by the…

We introduce joint exclusivity (JE), a form of extremal negative dependence that extends the classical notion of mutual exclusivity. The JE structure is analytically tractable and is defined by the exclusion of the interior of the…

We consider relational semantics (R-models) for the Lambek calculus extended with intersection and explicit constants for zero and unit. For its variant without constants and a restriction which disallows empty antecedents, Andreka and…

Let $A,B\subseteq \mathbb Z_n\setminus\{0\}$. A sequence $S=(x_1,\ldots, x_k)$ in $\mathbb Z_n$ is called an $(A,B)$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in A$ and $b_1,\ldots,b_k\in B$ such that…

The aim of this paper is to prove a general version of Pl\"unnecke's inequality. Namely, assume that for finite sets $A$, $B_1, ... B_k$ we have information on the size of the sumsets $A+B_{i_1}+... +B_{i_l}$ for all choices of indices…