English
Related papers

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

200 papers

Matrix factorizations in dual number algebra, a hypercomplex system, have been applied to kinematics, mechanisms, and other fields recently. We develop an approach to identify spatiotemporal patterns in the brain such as traveling waves…

Numerical Analysis · Mathematics 2023-08-21 Tong Wei , Weiyang Ding , Yimin Wei

Generalized Heisenberg algebras $\H(f)$ for any polynomial $f(h)\in\C[h]$ have been used to explain various physical systems and many physical phenomena for the last 20 years. In this paper, we first obtain the center of $\H(f)$, and the…

Mathematical Physics · Physics 2015-10-14 Rencai Lu , Kaiming Zhao

Studies of modular linear differential equations (MLDE) for the classification of rational CFT characters have been limited to the case where the coefficient functions (in monic form) have no poles, or poles at special points of moduli…

High Energy Physics - Theory · Physics 2023-12-19 Arpit Das , Chethan N. Gowdigere , Sunil Mukhi , Jagannath Santara

In this paper, we find necessary and sufficient conditions to identify pairs of matrices $X$ and $Y$ for which there exists $\Delta \in \mathbb C^{n,n}$ such that $\Delta+\Delta^*$ is positive semidefinite and $\Delta X=Y$. Such a $\Delta$…

Optimization and Control · Mathematics 2021-12-20 Mohit Kumar Baghel , Nicolas Gillis , Punit Sharma

This paper continues an earlier work on the structure of solutions to two classes of functional equation. Let $Z$ be a compact Abelian group and $U_1$, \ldots, $U_k \leq Z$ be closed subgroups. Given $f:Z\to\mathbb{T}$ and $w \in Z$, one…

Functional Analysis · Mathematics 2014-10-28 Tim Austin

A set function $f$ on a finite set $V$ is submodular if $f(X) + f(Y) \geq f(X \cup Y) + f(X \cap Y)$ for any pair $X, Y \subseteq V$. The symmetric difference transformation (SD-transformation) of $f$ by a canonical set $S \subseteq V$ is a…

Discrete Mathematics · Computer Science 2019-02-08 Junpei Nakashima , Yukiko Yamauchi , Shuji Kijima , Masafumi Yamashita

We consider equation systems of the form X_1 = f_1(X_1, ..., X_n), ..., X_n = f_n(X_1, ..., X_n) where f_1, ..., f_n are polynomials with positive real coefficients. In vector form we denote such an equation system by X = f(X) and call f a…

Numerical Analysis · Computer Science 2010-03-17 Javier Esparza , Stefan Kiefer , Michael Luttenberger

Modulo sampling (MS) has been recently introduced to enhance the dynamic range of conventional ADCs by applying a modulo operator before sampling. This paper examines the identifiability of a measurement model where measurements are taken…

Information Theory · Computer Science 2024-08-07 Qi Zhang , Jiang Zhu , Fengzhong Qu , Zheng Zhu , De Wen Soh

A description is given of those sequences ${\Bbb S}= (S(0),S(1),\dots,S(l))$ of simple modules over a finite dimensional algebra for which there are only finitely many uniserial modules with consecutive composition factors…

Representation Theory · Mathematics 2014-07-10 Birge Huisgen-Zimmermann

We fix a field $\kk$ of characteristic $p$. For a finite group $G$ denote by $\delta(G)$ and $\sigma(G)$ respectively the minimal number $d$, such that for any finite dimensional representation $V$ of $G$ over $\kk$ and any $v\in…

Commutative Algebra · Mathematics 2014-06-25 Jonathan Elmer , Martin Kohls

We develop a divergence-minimization (DM) framework for robust and efficient inference in latent-mixture models. By optimizing a residual-adjusted divergence, the DM approach recovers EM as a special case and yields robust alternatives…

Statistics Theory · Mathematics 2025-11-25 Lei Li , Anand N. Vidyashankar

In this paper, we initiate a systematic study of the parametrised complexity in the field of Dependence Logics which finds its origin in the Dependence Logic of V\"a\"an\"anen from 2007. We study a propositional variant of this logic (PDL)…

Logic in Computer Science · Computer Science 2020-06-16 Yasir Mahmood , Arne Meier

When Fourier series are employed to solve partial differential equations, low-pass filters can be used to regularize divergent series that may appear. In this paper we show that the linear low-pass filters defined in a previous paper can be…

Complex Variables · Mathematics 2015-03-25 Jorge L. deLyra

A uniform derivation is presented of the self-consistent field equations in a finite basis set. Both restricted and unrestricted Hartree-Fock (HF) theory as well as various density functional (DF) approximations are considered. The unitary…

Computational Physics · Physics 2020-03-10 Susi Lehtola , Frank Blockhuys , Christian Van Alsenoy

Let $F \in \mathbb{Z}[x_0, \ldots, x_n]$ be homogeneous of degree $d$ and assume that $F$ is not a `nullform', i.e., there is an invariant $I$ of forms of degree $d$ in $n+1$ variables such that $I(F) \neq 0$. Equivalently, $F$ is…

Number Theory · Mathematics 2023-10-18 Andreas-Stephan Elsenhans , Michael Stoll

We study several variants of decomposing a symmetric matrix into a sum of a low-rank positive semidefinite matrix and a diagonal matrix. Such decompositions have applications in factor analysis and they have been studied for many decades.…

Optimization and Control · Mathematics 2023-10-02 Levent Tunçel , Stephen A. Vavasis , Jingye Xu

We prove sharp lower bounds for the smallest singular value of a partial Fourier matrix with arbitrary "off the grid" nodes (equivalently, a rectangular Vandermonde matrix with the nodes on the unit circle), in the case when some of the…

Numerical Analysis · Mathematics 2019-06-20 Dmitry Batenkov , Laurent Demanet , Gil Goldman , Yosef Yomdin

For a system of partial differential equations (PDEs) $F = 0$ admitting a local (point, contact, or higher) symmetry $X$ with the characteristic $\varphi$, invariant solutions satisfy the reduced system $F = \varphi = 0$. We propose a…

Exactly Solvable and Integrable Systems · Physics 2026-03-24 Kostya Druzhkov , Alexei Cheviakov

This paper considers \emph{volume minimization} (VolMin)-based structured matrix factorization (SMF). VolMin is a factorization criterion that decomposes a given data matrix into a basis matrix times a structured coefficient matrix via…

Machine Learning · Statistics 2016-11-03 Xiao Fu , Kejun Huang , Bo Yang , Wing-Kin Ma , Nicholas D. Sidiropoulos

This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We…

Optimization and Control · Mathematics 2024-03-08 Marcel Celaya , Stefan Kuhlmann , Robert Weismantel