相关论文: The three divergence free matrix fields problem
We investigate various aspects of the integrability of the vertex models associated to the $D_n^2$ affine Lie algebra with open boundaries. We first study the solutions of the corresponding reflection equation compatible with the minimal…
We show that for any finitely generated group of matrices that is not virtually solvable, there is an integer m such that, given an arbitrary finite generating set for the group, one may find two elements a and b that are both products of…
Given an arbitrary (commutative) field K, let V be a linear subspace of M_n(K) consisting of matrices of rank lesser than or equal to some r<n. A theorem of Atkinson and Lloyd states that, if dim V>nr-r+1 and #K>r, then either all the…
We show that every entire solution to the Bernoulli (or one-phase) free boundary problem with finite Morse index in $\mathbb{R}^3$ is axially symmetric. In fact, we additionally prove that the same result would follow in any dimension $4…
In this paper, we study a parabolic free boundary problem in an exterior domain $$\begin{cases} F(D^2u)-\partial_tu=u^a\chi_{\{u>0\}}&\text{in }(\mathbb R^n\setminus K)\times(0,\infty),\\ u=u_0&\text{on }\{t=0\},\\ |\nabla u|=u=0&\text{on…
We provide a number of algorithmic results for the following family of problems: For a given binary m\times n matrix A and integer k, decide whether there is a "simple" binary matrix B which differs from A in at most k entries. For an…
Given a finite set $\{M_0,\dots,M_{d-1}\}$ of nonnegative $2\times 2$ matrices and a nonnegative column-vector $V$, we associate to each $(\omega_n)\in\{0,\dots,d-1\}^\mathbb N$ the sequence of the column-vectors…
Let $M$ be a complete K\"{a}hler manifold, whose universal covering is biholomorphic to a ball $\mathbb B^m(R_0)$ in $\mathbb C^m$ ($0<R_0\le +\infty$). Our first aim in this paper is to study the algebraic dependence problem of…
We provide conditions for the existence of measurable solutions to the equation $\xi(T\omega)=f(\omega,\xi(\omega))$, where $T:\Omega \rightarrow\Omega$ is an automorphism of the probability space $\Omega$ and $f(\omega,\cdot)$ is a…
Given an algebraic differential equation of order greater than one, it is shown that if there is any nontrivial algebraic relation amongst any number of distinct nonalgebraic solutions, along with their derivatives, then there is already…
Let $\A_0, \A_1, \ldots, \A_n$ be given square matrices of size $m$ with rational coefficients. The paper focuses on the exact computation of one point in each connected component of the real determinantal variety $\{\X \in\RR^n \: :\:…
We are concerned with the general problem of proving the existence of joint distributions of two discrete random variables $M$ and $N$ subject to infinitely many constraints of the form $\mathbb{P}\left(M=i,N=j\right)=0$. In particular, the…
We establish that for any non-empty, compact set $K\subset\mathbb{R}_{\mathrm{sym}}^{3\times 3}$ the $1$- and $\infty$-symmetric div-quasiconvex hulls $K^{(1)}$ and $K^{(\infty)}$ coincide. This settles a conjecture in a recent work of…
A $k$-configuration is a collection of $k$ distinct integers $x_1,\ldots,x_k$ together with their pairwise arithmetic means $\frac{x_i+x_j}{2}$ for $1 \leq i < j \leq k$. Building on recent work of Filmus, Hatami, Hosseini and Kelman on…
Let $G=(V,E)$ be a finite undirected graph without loops and multiple edges. A subset $M \subseteq E$ of edges is a {\em dominating induced matching} ({\em d.i.m.}) in $G$ if every edge in $E$ is intersected by exactly one edge of $M$. In…
We show that for all integers $2\le s\le t$, any $K_{s,t}$-free subset of $[N]$ with size $\Omega(n^{1-1/s})$ must contain a nontrivial solution to every fixed translation-invariant linear equation in at least five variables. This extends…
A modification of Newton's method for solving systems of $n$ nonlinear equations is presented. The new matrix-free method relies on a given decomposition of the invertible Jacobian of the residual into invertible sparse local Jacobians…
Recently, Dvir, Golovnev, and Weinstein have shown that sufficiently strong lower bounds for linear data structures would imply new bounds for rigid matrices. However, their result utilizes an algorithm that requires an $NP$ oracle, and…
For a graph $G$, we associate a family of real symmetric matrices, $\mathcal{S}(G)$, where for any $M \in \mathcal{S}(G)$, the location of the nonzero off-diagonal entries of $M$ are governed by the adjacency structure of $G$. The ordered…
An n\times n matrix M is called a fooling-set matrix of size n, if its diagonal entries are nonzero, whereas for every k\ne \ell we have M_{k,\ell} M_{\ell,k} = 0. Dietzfelbinger, Hromkovi\v{c}, and Schnitger (1996) showed that n \le (\rk…