Multiuser MIMO (MU-MIMO) plays a key role in the widely adopted 3GPP LTE standard for wireless cellular networks. While exact and asymptotic sum-rate results are well known, the problem of obtaining intuitive analytical results for medium signal-to-noise ratios (SNRs) is still not solved. In this paper, we propose the bend point, which quantifies the transition between low and high SNR; i.e., t...

We present a technique for coding sets “into K,” where K is the core model below a strong cardinal. Specifically, we show that if there is no inner model with a strong cardinal then any X ⊂ ω1 can be made ∆3 (in the codes) in a reasonable and stationary preserving set generic extension.

We use model theoretic forcing to study and generalize the construction of (K ,≤)-generic models introduced by Kueker and Laskowski. We characterize the (K ,≤)-generic models in terms of forcing and introduce a more general class of models, called essential forcing generics, which have many of the same properties.

We introduce and study the first-order Generic Vopěnka’s Principle, which states that for every definable proper class of structures C of the same type, there exist B 6= A in C such that B elementarily embeds into A in some set-forcing extension. We show that, for n ≥ 1, the Generic Vopěnka’s Principle fragment for Πn-definable classes is equiconsistent with a proper class of n-remarkable cardi...

We present some results about generics for computable Mathias forcing. The n-generics and weak n-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing relation, and show that if G is any n-generic with n ≥ 3 then it satisfies the jump property G(n−1) = G′ ⊕ ∅(n). We prove that every such G has generalized high degree, ...

Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Levy-Collapse. These show in particular that certain applications of forcing axioms require to add generic countable sequences high up in the set-theoretic hierarchy even before collapsing everything down to א1. Later we give applications, among them the c...

Zero forcing is a dynamic graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. This forcing process has been used to approximate certain linear algebraic parameters, as well as to model the spread of diseases and information in social networks. In this paper, we introduce and study the connected forcing process – a restriction of z...

For any vertex x in a connected graph G of order p ≥ 2, a set S of vertices of V is an x-detour set of G if each vertex v in G lies on an x-y detour for some element y in S. A connected x-detour set of G is an x-detour set S such that the subgraph G[S] induced by S is connected. The minimum cardinality of a connected x-detour set of G is the connected x-detour number of G and is denoted by cdx(...

The zero forcing number Z(G) is used to study the minimum rank/maximum nullity of the family of symmetric matrices described by a simple, undirected graph G. The positive semidefinite zero forcing number is a variant of the (standard) zero forcing number, which uses the same definition except with a different color-change rule. The positive semidefinite maximum nullity and zero forcing number f...