Showing 1–3 of 3 results for author: Irani, K

Logical Inferentialism & Attacks on Classical Logic

Authors: Khashayar Irani

Abstract: This paper undertakes a foundational inquiry into logical inferentialism with particular emphasis on the normative standards it establishes and the implications these pose for classical logic. The central question addressed herein is: 'What is Logical Inferentialism & How do its Standards challenge Classical Logic?' In response, the study begins with a survey of the three principal proof systems t… ▽ More This paper undertakes a foundational inquiry into logical inferentialism with particular emphasis on the normative standards it establishes and the implications these pose for classical logic. The central question addressed herein is: 'What is Logical Inferentialism & How do its Standards challenge Classical Logic?' In response, the study begins with a survey of the three principal proof systems that is, David Hilbert's axiomatic systems and Gerhard Gentzen's natural deduction and his sequent calculus, thus situating logical inferentialism within a broader proof-theoretic landscape. The investigation then turns to the core tenets of logical inferentialism by focusing on the role of introduction and elimination rules in determining the meaning of logical constants. Through this framework, natural deduction is evaluated as a system that satisfies key inferentialist virtues including harmony, conservativeness and the subformula property. Ultimately, the paper presents challenges to classical logic from intuitionist and revisionist perspectives by arguing that certain classical principles fail to uphold inferentialist standards, consequently undermining their legitimacy within a meaning-theoretic framework. △ Less

Submitted 4 June, 2025; originally announced June 2025.

Comments: Draft

Wasserstein Distributionally Robust Adaptive Beamforming

Authors: Kiarash Hassas Irani, Sergiy A. Vorobyov, Yongwei Huang

Abstract: Distributionally robust optimization (DRO)-based robust adaptive beamforming (RAB) enables enhanced robustness against model uncertainties, such as steering vector mismatches and interference-plus-noise covariance matrix estimation errors. Existing DRO-based RAB methods primarily rely on uncertainty sets characterized by the first- and second-order moments. In this work, we propose a novel Wassers… ▽ More Distributionally robust optimization (DRO)-based robust adaptive beamforming (RAB) enables enhanced robustness against model uncertainties, such as steering vector mismatches and interference-plus-noise covariance matrix estimation errors. Existing DRO-based RAB methods primarily rely on uncertainty sets characterized by the first- and second-order moments. In this work, we propose a novel Wasserstein DRO-based beamformer, using the worst-case signal-to-interference-plus-noise ratio maximization formulation. The proposed method leverages the Wasserstein metric to define uncertainty sets, offering a data-driven characterization of uncertainty. We show that the choice of the Wasserstein cost function plays a crucial role in shaping the resulting formulation, with norm-based and Mahalanobis-like quadratic costs recovering classical norm-constrained and ellipsoidal robust beamforming models, respectively. This insight highlights the Wasserstein DRO framework as a unifying approach, bridging deterministic and distributionally robust beamforming methodologies. △ Less

Submitted 1 June, 2025; originally announced June 2025.

SINR Maximizing Distributionally Robust Adaptive Beamforming

Authors: Kiarash Hassas Irani, Yongwei Huang, Sergiy A. Vorobyov

Abstract: This paper addresses the robust adaptive beamforming (RAB) problem via the worst-case signal-to-interference-plus-noise ratio (SINR) maximization over distributional uncertainty sets for the random interference-plus-noise covariance (INC) matrix and desired signal steering vector. Our study explores two distinct uncertainty sets for the INC matrix and three for the steering vector. The uncertainty… ▽ More This paper addresses the robust adaptive beamforming (RAB) problem via the worst-case signal-to-interference-plus-noise ratio (SINR) maximization over distributional uncertainty sets for the random interference-plus-noise covariance (INC) matrix and desired signal steering vector. Our study explores two distinct uncertainty sets for the INC matrix and three for the steering vector. The uncertainty sets of the INC matrix account for the support and the positive semidefinite (PSD) mean of the distribution, as well as a similarity constraint on the mean. The uncertainty sets for the steering vector consist of the constraints on the first- and second-order moments of its associated probability distribution. The RAB problem is formulated as the minimization of the worst-case expected value of the SINR denominator over any distribution within the uncertainty set of the INC matrix, subject to the condition that the expected value of the numerator is greater than or equal to one for every distribution within the uncertainty set of the steering vector. By leveraging the strong duality of linear conic programming, this RAB problem is reformulated as a quadratic matrix inequality problem. Subsequently, it is addressed by iteratively solving a sequence of linear matrix inequality relaxation problems, incorporating a penalty term for the rank-one PSD matrix constraint. We further analyze the convergence of the iterative algorithm. The proposed robust beamforming approach is validated through simulation examples, which illustrate improved performance in terms of the array output SINR. △ Less

Submitted 21 May, 2025; originally announced May 2025.