English
Related papers

Related papers: The three divergence free matrix fields problem

200 papers

We consider the low rank matrix completion problem over finite fields. This problem has been extensively studied in the domain of real/complex numbers, however, to the best of authors' knowledge, there exists merely one efficient algorithm…

Information Theory · Computer Science 2023-08-23 Mahdi Soleymani , Qiang Liu , Hessam Mahdavifar , Laura Balzano

The problem of solving linear systems is one of the most fundamental problems in computer science, where given a satisfiable linear system $(A,b)$, for $A \in \mathbb{R}^{n \times n}$ and $b \in \mathbb{R}^n$, we wish to find a vector $x…

Data Structures and Algorithms · Computer Science 2021-06-25 Mitali Bafna , Nikhil Vyas

Given linear diophantine equation Ax=b, rank A=m. Let d be the maximum of absolute values of the mxm minors of the matrix (A | b). It is shown that if M={x : Ax=b, x nonnegative and integer} is nonempty, then there exists x=(x1,...,xn) in…

Optimization and Control · Mathematics 2008-07-01 S. I. Veselov

In this work, first we prove that for any compact set $K\subset\mathbb{R}^{n}$ and any continuous function $\phi$ defined on $\partial K$, there exists a bounded weak solution in $C(\bar{\mathbb{R}^{n}\backslash K}) \cap…

Analysis of PDEs · Mathematics 2022-08-25 Leonardo Prange Bonorino , Lucas Pinto Dutra , Filipe Jung dos Santos

Consider a complete $d$-dimensional Riemannian manifold $(\mathcal M,g)$, a point $p\in\mathcal M$ and a nonlinearity $f(q,u)$ with $f(p,0)>0$. We prove that for any odd integer $N\ge3$, there exists a sequence of smooth domains…

Analysis of PDEs · Mathematics 2025-02-06 Alberto Enciso , Francesca Gladiali , Massimo Grossi

In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…

Logic · Mathematics 2025-03-31 Igor Klep , Marcus Tressl

We show that any $m\times m$ matrix $M$ with integer entries and $\det M =\Delta \neq 0$ can be equipped by a finite digit set $\mathcal{D}\subset\mathbb{Z}^m$ such that any integer $m$-dimensional vector belongs to the set $$ {\rm…

Number Theory · Mathematics 2021-03-04 Edita Pelantová , Tomáš Vávra

The exact/approximate non-orthogonal general joint block diagonalization ({\sc nogjbd}) problem of a given real matrix set $\mathcal{A}=\{A_i\}_{i=1}^m$ is to find a nonsingular matrix $W\in\mathbb{R}^{n\times n}$ (diagonalizer) such that…

Numerical Analysis · Mathematics 2017-03-03 Yunfeng Cai , Chengyu Liu

In 1959, Marcus and Ree proved that any bistochastic matrix $A$ satisfies $\Delta_n(A):= \max_{\sigma\in S_n}\sum_{i=1}^{n}A(i, \sigma(i))-\sum_{i, j=1}^n A(i, j)^2 \geq 0$. Erd\H{o}s asked to characterize the bistochastic matrices…

Metric Geometry · Mathematics 2025-07-22 Aman Kushwaha , Raghavendra Tripathi

Let $K$ be a field and $D$ be a finite-dimensional central division algebra over $K$. We prove a variant of the Nullstellensatz for $2$-sided ideals in the ring of polynomial maps $D^n \to D$. In the case where $D = K$ is commutative, our…

Rings and Algebras · Mathematics 2021-08-10 Zhengheng Bao , Zinovy Reichstein

We present a solution to the real multidimensional rational K-moment problem, where K is defined by finitely many polynomial inequalities. More precisely, let S be a finite set of real polynomials in X=(X_1,...,X_n) such that the…

Algebraic Geometry · Mathematics 2009-10-19 Jaka Cimpric , Murray Marshall , Tim Netzer

We present a unified algebraic Bethe ansatz for open vertex models which are associated with the non-exceptional $A^{(2)}_{2n},A^{(2)}_{2n-1},B^{(1)}_n,C^{(1)}_n,D^{(1)}_{n}$ Lie algebras. By the method, we solve these models with the…

High Energy Physics - Theory · Physics 2011-02-16 Guang-Liang Li , Kang-Jie Shi

Matrix completion is the problem of recovering a low rank matrix by observing a small fraction of its entries. A series of recent works [KOM12,JNS13,HW14] have proposed fast non-convex optimization based iterative algorithms to solve this…

Numerical Analysis · Computer Science 2014-11-06 Prateek Jain , Praneeth Netrapalli

In this paper, we study the equality constrained nonlinear least squares problem, where the Jacobian matrices of the objective function and constraints are unavailable or expensive to compute. We approximate the Jacobian matrices via…

Optimization and Control · Mathematics 2025-07-09 Xi Chen , Jinyan Fan

Consider the following $m-$polyharmonic Kirchhoff problem: \begin{eqnarray} \label{ea} \begin{cases} M\left(\int_{\O}|D_r u|^{m} +a|u|^m\right)[\Delta^r_m u +a|u|^{m-2}u]= K(x)f(u) &\mbox{in}\quad \Omega, \\ u=\left(\frac{\partial}{\partial…

Analysis of PDEs · Mathematics 2019-08-07 Mohamed Karim Hamdani , Abdellaziz Harrabi

Let $X$ be a compact metric space which is locally absolutely retract and let $\phi: C(X)\to C(Y, M_n)$ be a unital homomorphism, where $Y$ is a compact metric space with ${\rm dim}Y\le 2.$ It is proved that there exists a sequence of $n$…

Operator Algebras · Mathematics 2009-09-10 Huaxin Lin

In this paper we find a third order unimodular matrix, none of whose entries is $1$ or $-1$, such that when each entry of the matrix is replaced by its cube, the resulting matrix is also unimodular. Further, we find third order square…

Number Theory · Mathematics 2021-10-26 Ajai Choudhry

In this paper we study higher-order difference equations which can be written as follows: $$ \mathbf{J} (y_0,y_1,...)^T = \lambda^N (y_0,y_1,...)^T, $$ where $\mathbf{J}$ is a $(2N+1)$-diagonal bounded banded matrix…

Classical Analysis and ODEs · Mathematics 2026-04-17 Sergey M. Zagorodnyuk

We prove two results on the defining ideals of certain varieties of matrices. Let us fix two positive integers r, e. Let M(r) be the set of r x r matrices over a field K. We consider the closed subscheme of the nilpotent variety of M(r)…

Algebraic Geometry · Mathematics 2007-05-23 J. Weyman

This work deals with the system $(-\Delta)^m u= a(x) v^p$, $(-\Delta)^m v=b(x) u^q$ with Dirichlet boundary condition in a domain $\Omega\subset\RR^n$, where $\Omega$ is a ball if $n\ge 3$ or a smooth perturbation of a ball when $n=2$. We…

Analysis of PDEs · Mathematics 2010-11-13 Ricardo G. Duran , Marcela Sanmartino , Marisa Toschi