Related papers: Inclusion-Exclusion-Like identities

Let $A \leq G$ be a subgroup of a group $G$. An $A$-complement of $G$ is a subgroup $H$ of $G$ such that $G = A H$ and $A \cap H = \{1\}$. The \emph{classifying complements problem} asks for the description and classification of all…

We present the results of systematic numerical computations relating to the extreme value statistics of the characteristic polynomials of random unitary matrices drawn from the Circular Unitary Ensemble (CUE) of Random Matrix Theory. In…

The most promising candidate for being the fundamental principle of quantum contextuality is the Exclusivity principle, which states that the sum of the probabilities of a set of pairwise exclusive events cannot exceed 1. By itself, the…

We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the complement of a given regular expression, a double exponential size…

A classical inequality due to H.F. Bohnenblust and E. Hille states that for every positive integer $n$ there is a constant $C_{n}>0$ so that…

If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, there are non-isomorphic models M_1 and M_2 of T that can be…

Motivated by advances in categorical probability, we introduce non-commutative almost everywhere (a.e.) equivalence and disintegrations in the setting of C*-algebras. We show that C*-algebras (resp. W*-algebras) and a.e. equivalence classes…

The concepts of closed unbounded (club) and stationary sets are generalised to $\gamma$-club and $\gamma$-stationary sets, which are closely related to stationary reflection. We use these notions to define generalisations of Jensen's…

Let $\mathcal{E}$ be the ideal generated by the $F_\sigma$ measure zero subsets of the reals. The purpose of this survey paper is to study the cardinal characteristics (the additivity, covering number, uniformity, and cofinality) of…

A notion of arithmetic similarity between number fields is defined by requiring equality of some arithmetic statistics over all but finitely many rational primes. The exceptional set is empty in all previously studied cases, but existing…

We proved that for every sufficiently large $n$, the complete graph $K_{2n}$ with an arbitrary edge signing $\sigma: E(K_{2n}) \to \{-1, +1\}$ admits a high discrepancy $1$-factor decomposition. That is, there exists a universal constant $c…

In this note we present a new proof of the Carleson Embedding Theorem on the unit disc and unit ball. The only technical tool used in the proof of this fact is Green's formula. The starting point is that every Carleson measure gives rise to…

We discuss avoidance of sure loss and coherence results for semicopulas and standardized functions, i.e., for grounded, 1-increasing functions with value $1$ at $(1,1,\ldots, 1)$. We characterize the existence of a $k$-increasing…

This report works out the details of a closed-form, fully Bayesian, multiclass, openset, generative pattern classifier using multivariate Gaussian likelihoods, with conjugate priors. The generative model has a common within-class…

We consider the problem of finding the density of 1's in a configuration obtained by $n$ iterations of a given cellular automaton (CA) rule, starting from disordered initial condition. While this problems is intractable in full generality…

If we assume the axiom of choice, then every two cardinal numbers are comparable. In the absence of the axiom of choice, this is no longer so. For a few cardinalities related to an arbitrary infinite set, we will give all the possible…

Let $P \subset A$ be an inclusion of $\sigma$-unital C*-algebras with a finite index in the sense of Izumi. Then we introduce the Rokhlin property for a conditional expectation $E$ from $A$ onto $P$ and show that if $A$ is simple and…

Let $\mathbf{D}=(D_{n})_{n\geq 1}$ be an elliptic divisibility sequence associated to the pair $(E,P)$. For a fixed integer $k$, we define $\mathscr{A}_{E,k}=\{n\geq 1 : \gcd(n,D_{n})=k\}$. We give an explicit structural description of…

Translated from the Latin original, "Theorema arithmeticum eiusque demonstratio", Commentationes arithmeticae collectae 2 (1849), 588-592. E794 in the Enestroem index. For m distinct numbers a,b,c,d,...,\upsilon,x this paper evaluates \[…

We study AECs without assuming the amalgamation property in general. We do assume the disjoint amalgamation property in a specific cardinality lambda and assume that there is no maximal model in \lambda. Under these hypotheses, we prove the…