Related papers: Matrix-Test Duality: A Support-Function Characteri…
We study the structure of the normal matrix model (NMM). We show that all correlation functions of the model with axially symmetric potentials can be expressed in terms of holomorphic functions of one variable. This observation is used to…
Low-rank matrix recovery problems arise naturally as mathematical formulations of various inverse problems, such as matrix completion, blind deconvolution, and phase retrieval. Over the last two decades, a number of works have rigorously…
We extend harmonic map techniques to the setting of more general differential equations in conformal geometry. We obtain an extension of Siu's rigidity to Kahler-Weyl geometry and apply the latter to Vaisman's conjecture. Other applications…
We present three projects concerned with applications of proof assistants in the area of programming language theory and mathematics. The first project is about a certified compilation technique for a domain-specific programming language…
We discuss various aspects of most general multisupport solutions to matrix models in the presence of hard walls, i.e., in the case where the eigenvalue support is confined to subdomains of the real axis. The structure of the solution at…
In this work, we adapt Sinkhorn-Knopp theorem for rectangular positive maps $(T:M_k\rightarrow M_m)$. We extend their concepts of support and total support to these maps. We show that a positive map $T:M_k\rightarrow M_m$ is equivalent to a…
For a considerable number of software projects, the creation of effective test cases is hindered by design documentation that is either lacking, incomplete or obsolete. The exploratory testing approach can serve as a sound method in such…
We provide a decomposition that is sufficient in showing when a symmetric tridiagonal matrix $A$ is completely positive. Our decomposition can be applied to a wide range of matrices. We give alternate proofs for a number of related results…
Orthogonal and symplectic matrix integrals are investigated. It is shown that the matrix integrals can be considered as a $\tau$-function of the coupled KP hierarchy, whose solution can be expressed in terms of pfaffians.
If G is a Lie group, let D(G) be the space of compactly supported smooth functions on G. Consider the bilinear map B : D(G) x D(G) -> D(G), (f,g) |-> f*g which takes a pair of test functions to their convolution. We show that B is…
Identifying the most powerful test in multiple hypothesis testing under strong family-wise error rate (FWER) control is a fundamental problem in statistical methodology. State-of-the-art approaches formulate this as a constrained…
Hermitian positive definite, totally positive, and nonsingular M-matrices enjoy many common properties, in particular: (A) positivity of all principal minors, (B) weak sign symmetry, (C) eigenvalue monotonicity, (D) positive stability. The…
We introduce a unified geometric framework for domains satisfying a geometric normal property (C-GNP) relative to a strictly convex set \(C\). Under the fundamental assumption that the source \(f\) is supported within the core \(C\), we…
This paper uses matrix transformations to provide the Autoone-Takagi decomposition of dual complex symmetric matrices and extends it to dual quaternion $\eta$-Hermitian matrices. The LU decomposition of dual matrices is given using the…
We consider the problem of designing optimal level-$\alpha$ power-one tests for composite nulls. Given a parameter $\alpha \in (0,1)$ and a stream of $\mathcal{X}$-valued observations $\{X_n: n \geq 1\} \overset{i.i.d.}{\sim} P$, the goal…
We initiate a study of linear maps on $M_n(\mathbb{C})$ that have the property that they factor through a tracial von Neumann algebra $(\mathcal{A,\tau})$ via operators $Z\in M_n(\mathcal{A})$ whose entries consist of positive elements from…
The same complex matrix model calculates both tachyon scattering for the c=1 non-critical string at the self-dual radius and certain correlation functions of half-BPS operators in N=4 super-Yang-Mills. It is dual to another complex matrix…
We provide a novel tool which may be used to construct new examples of positive maps in matrix algebras (or, equivalently, entanglement witnesses). It turns out that this can be used to prove positivity of several well known maps (such as…
Two methods of constructing 2D Toda $\tau$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group…
For a compact subset $K\subset \mathbb C$ and a positive finite Borel measure $\mu$ supported on $K,$ let $\text{Rat}(K)$ denote the space of rational functions with poles off $K,$ let $R^\infty (K,\mu)$ be the weak-star closure of…