The document presents a system model and problem formulation for user scheduling in massive MIMO OFDMA systems with hybrid analog-digital beamforming. The system considers a base station with N antennas but only Na < N RF chains serving multiple single-antenna mobile stations. The objective is to maximize the overall data rate by scheduling Kt mobile stations across subcarriers, subject to a per-subcarrier power constraint. For a single subcarrier, the problem is formulated as maximizing the sum rate of K scheduled users under a total power constraint, assuming Na = K RF chains. Two approaches are discussed: directly constraining the analog beamforming matrix or exploiting the solution from a digital scheduler using a clever decomposition method.