Related papers: On Davis-Putnam reductions for minimally unsatisfi…

For a division ring $D$, denote by $\mathcal M_D$ the $D$-ring obtained as the completion of the direct limit $\varinjlim_n M_{2^n}(D)$ with respect to the metric induced by its unique rank function. We prove that, for any ultramatricial…

In this article, we present a geometric theoretical analysis of semidefinite feasibility problems (SDFPs). This is done by decomposing a SDFP into smaller problems, in a way that preserves most feasibility properties of the original…

This paper is concerned with multi-modal data fusion (MMDF) under unexpected modality failures in nonlinear non-Gaussian dynamic processes. An efficient framework to tackle this problem is proposed. In particular, a notion termed modality…

In this paper, the problem of providing a complete parametrization of the minimal spectral factors of a discrete-time rational spectral density is considered. The desired parametrization, given in terms of the all-pass divisors of a certain…

The incremental singular value decomposition (SVD) updates a truncated SVD as new columns arrive, replacing a single large SVD with a sequence of small ones. In floating-point arithmetic, each update multiplies the running singular basis by…

This work tackles a class of optimization problems in which fixing some well-chosen combinations of the variables makes the problem substantially easier to solve. We consider that the variables space may be partitioned into subsets that fix…

We consider deformations of a differential system with Poincare' rank 1 at infinity and Fuchsian singularity at zero along a stratum of a coalescence locus. We give necessary and sufficient conditions for the deformation to be strongly…

In singular value decomposition (SVD) of a complex matrix A, the singular vectors or the eigenvectors of AA{\dag} and A{\dag}A are unique up to complex phase factors. Thus, the two unitary matrices in SVD are unique up to diagonal matrices…

Let $G$ be a semisimple algebraic group defined over an algebraically closed field of characteristic 0 and $P$ be a parabolic subgroup of $G$. Let $M$ be a $P$-module and $V$ be a $P$-stable closed subvariety of $M$. We show in this paper…

Let $\mathcal{F}=(F;+,\cdot,0,1,D)$ be a differentially closed field. We consider the question of definability of the derivation $D$ in reducts of $\mathcal{F}$ of the form $\mathcal{F}_{R}=(F;+,\cdot,0,1,P)_{P \in R}$ where $R$ is a…

A semidefinite program (SDP) is a particular kind of convex optimization problem with applications in operations research, combinatorial optimization, quantum information science, and beyond. In this work, we propose variational quantum…

We consider the prepotential of Dijkgraaf and Vafa (DV) as one more (and in fact, singular) example of the Seiberg-Witten (SW) prepotentials and discuss its properties from this perspective. Most attention is devoted to the issue of…

As the first component of SPARC (Simulation Package for Ab-initio Real-space Calculations), we present an accurate and efficient finite-difference formulation and parallel implementation of Density Functional Theory (DFT) for isolated…

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…

Finite dynamical systems (FDSs) are commonly used to model systems with a finite number of states that evolve deterministically and at discrete time steps. Considered up to isomorphism, those correspond to functional graphs. As such, FDSs…

In this note I demonstrate that the collection of Dynkin systems on finite sets assembles into a Connes-Consani $\mathbb{F}_1$-module, with the collection of partitions of finite sets as a sub-module. The underlying simplicial set of this…

The o-minimal structure generated by the restricted Pfaffian functions, known as restricted sub-Pfaffian sets, admits a natural measure of complexity in terms of a format $\mathcal{F}$, recording information like the number of variables and…

Considering the case where the response variable is a categorical variable and the predictor is a random function, two novel functional sufficient dimensional reduction (FSDR) methods are proposed based on mutual information and square loss…

Let $\Phi'$ denote the strong dual of a nuclear space $\Phi$. In this paper we introduce sufficient conditions for the convergence uniform on compacts in probability for a sequence of $\Phi'$-valued processes with continuous or…

This paper explores goal-directed proof search in first-order multi-modal logic. The key issue is to design a proof system that respects the modularity and locality of assumptions of many modal logics. By forcing ambiguities to be…