Related papers: Bianalytic Maps Between Free Spectrahedra
Exact free energy minimization is a convex optimization problem that is usually approximated with stochastic sampling methods. Deterministic approximations have been less successful because many desirable properties have been difficult to…
The set of controllers stabilizing a linear system is generally non-convex in the parameter space. In the case of two-parameter controller design (e.g. PI control or static output feedback with one input and two outputs), we observe however…
We compute spectra of symmetric random matrices defined on graphs exhibiting a modular structure. Modules are initially introduced as fully connected sub-units of a graph. By contrast, inter-module connectivity is taken to be incomplete.…
We describe surjective linear isometries and linear isometry groups of a large class of Lipschitz-free spaces that includes e.g. Lipschitz-free spaces over any graph. We define the notion of a Lipschitz-free rigid metric space whose…
Evert and Helton proved that real free spectrahedra are the matrix convex hulls of their absolute extreme points. However, this result does not extend to complex free spectrahedra, and we examine multiple ways in which the analogous result…
A wide variety of integral inequalities (IIs) have been developed and studied for the stability analysis of distributed parameter systems using the Lyapunov functional approach. However, no unified mathematical framework has been proposed…
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no…
Map labeling is a classical problem in cartography and geographic information systems (GIS) that asks to place labels for area, line, and point features, with the goal to select and place the maximum number of independent, i.e.,…
We derive a fluctuation theorem for generalized work distributions, related to bijective mappings of the phase spaces of two physical systems, and use it to derive a two-sided constraint maximum likelihood estimator of their free energy…
The S-matrix bootstrap maps out the space of S-matrices allowed by analyticity, crossing, unitarity, and other constraints. For the $2\rightarrow 2$ scattering matrix $S_{2\rightarrow 2}$ such space is an infinite dimensional convex space…
The distributive property can be studied through bilinear maps and various morphisms between these maps. The adjoint-morphisms between bilinear maps establish a complete abelian category with projectives and admits a duality. Thus the…
We study the Spectral Analysis for a class of bounded linear operators T = D + F in a non Archimedean Hilbert space E, where D is a diagonal linear operator and where F is a finite rank linear operator. In this study of the Spectral…
Consider a convex set S defined by a matrix inequality of polynomials or rational functions over a domain. The set S is called semidefinite programming (SDP) representable or just semidefinite representable if it equals the projection of a…
In this paper, we discuss the associated family of harmonic maps $\mathcal{F}: M \rightarrow G/K$ from a Riemann surface $M$ into inner symmetric spaces of compact or non-compact type which are either algebraic or totally symmetric. These…
We extend the log-mean linear parameterization introduced by Roverato et al. (2013) for binary data to discrete variables with arbitrary number of levels, and show that also in this case it can be used to parameterize bi-directed graph…
In this paper we derive novel families of inclusion sets for the spectrum and pseudospectrum of large classes of bounded linear operators, and establish convergence of particular sequences of these inclusion sets to the spectrum or…
Given a quadratic module, we construct its universal C*-algebra, and then use methods and notions from the theory of C*-algebras to study the quadratic module. We define residually finite-dimensional quadratic modules, and characterize them…
Let $\mu$ be a self-similar measure generated by iterated function system of four maps of equal contraction ratio $0<\rho<1$. We study when $\mu$ is a spectral measure which means that it admits an exponential orthonormal basis $\{e^{2\pi i…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
Bayesian inverse problems use data to update a prior probability distribution on uncertain parameter values to a posterior distribution. Such problems arise in many structural engineering applications, but computational solution of Bayesian…