Related papers: Matrix-Test Duality: A Support-Function Characteri…

Classification is one of the core problems in Computer-Aided Diagnosis (CAD), targeting for early cancer detection using 3D medical imaging interpretation. High detection sensitivity with desirably low false positive (FP) rate is critical…

The symmetric group S_n acts as a reflection group on CP^{n-2} (for $n\geq 3$) . Associated with each of the $\binom{n}{2}$ transpositions in S_n is an involution on CP^{n-2} that pointwise fixes a hyperplane--the mirrors of the action. For…

Let A_0, A_1 be nonnegative matrices in GL(n+1,Z) such that the subsimplexes A_0[Delta], A_1[Delta] split the standard unit n-dimensional simplex Delta in two. We prove that, for every n=1,2,... and up to the natural action of the symmetric…

This paper develops a general theoretical framework to analyze structured sparse recovery problems using the notation of dual certificate. Although certain aspects of the dual certificate idea have already been used in some previous work,…

The aim of this work is to study the dual and the algebraic dual of an evaluation code using standard monomials and indicator functions. We show that the dual of an evaluation code is the evaluation code of the algebraic dual. We develop an…

We review the concept of $\tau$-function for simple analytic curves. The $\tau$-function gives a formal solution to the 2D inverse potential problem and appears as the $\tau$-function of the integrable hierarchy which describes conformal…

In the present paper we prove a duality theory for compact groups in the case when the C*-algebra A, the fixed point algebra of the corresponding Hilbert C*-system (F,G), has a nontrivial center Z and the relative commutant satisfies the…

In this paper, we introduce two new types of barrier certificates that are based on multiple functions rather than a single one. A conventional barrier certificate for a stochastic dynamical system is a nonnegative real-valued function…

A matrix $A$ is totally positive (or non-negative) of order $k$, denoted $TP_k$ (or $TN_k$), if all minors of size $\leq k$ are positive (or non-negative). It is well-known that such matrices are characterized by the variation diminishing…

For two positive maps $\phi_i:B(\mathcal{K}_i)\to B(\mathcal{H}_i)$, $i=1,2$, we construct a new linear map $\phi:B(\mathcal{H})\to B(\mathcal{K})$, where $\mathcal{K}=\mathcal{K}_1\oplus\mathcal{K}_2\oplus\mathbb{C}$,…

In this paper we associate with an infinite family of real extended functions defined on a locally convex space, a sum, called robust sum, which is always well-defined. We also associate with that family of functions a dual pair of problems…

We study properties of the central sequence algebra of a C*-algebra, and we present an alternative approach to a recent result of Matui and Sato. They prove that every unital separable simple nuclear C*-algebra, whose trace simplex is…

This paper aims to study the dual of an extended locally convex space. In particular, we study the weak and weak* topologies as well as the topology of uniform convergence on bounded subsets of an extended locally convex space. As an…

This paper presents a framework for modeling, simulating, and checking properties of critical systems based on the Alloy language -- a declarative, first-order, relational logic with a built-in transitive closure operator. The paper…

We demonstrate that the checkable/synthesisable split in bidirectional typechecking coincides with existing dualities in polarised System L, also known as polarised $\mu\tilde{\mu}$-calculus. Specifically, positive terms and negative…

For $\alpha\geq 0$, $\beta<1$ and $\gamma\geq 0$, the class $\mathcal{W}_{\beta}(\alpha,\gamma)$ satisfies the condition \begin{align*} {\rm Re\,} \left( e^{i\phi}\left((1-\alpha+2\gamma)f/z+(\alpha-2\gamma)f'+ \gamma…

Let $\tilde{G}$ be a finite group, $G$ a normal subgroup of $\tilde{G}$ and $k$ an algebraically closed field of characteristic $p>0$. The first main result in this paper is to show that support $\tau$-tilting $k\tilde{G}$-modules…

A linear map between real symmetric matrix spaces is positive if all positive semidefinite matrices are mapped to positive semidefinite ones. A real symmetric matrix is separable if it can be written as a summation of Kronecker products of…

Building on the recent work of Mushaandja and Olela-Otafudu~\cite{MushaandjaOlela2025} on modular metric topologies, this paper investigates extended structural properties of modular (pseudo)metric spaces. We provide necessary and…

Symmetric nonnegative matrix factorization (SymNMF) has important applications in data analytics problems such as document clustering, community detection and image segmentation. In this paper, we propose a novel nonconvex variable…