60
votes
Recent observation of gravitational waves
Short version: LIGO matches their data onto waveforms calculated in numerical relativity. The mathematical study of black hole solutions plays a significant role in this; we couldn't trust our ...
45
votes
Accepted
Mathematics of imaging the black hole
Essential elements$^*$ of the reconstruction algorithm were developed at MIT under the name CHIRP = Continuous High-resolution Image Reconstruction using Patch priors, as described in Computational ...
23
votes
Recent observation of gravitational waves
The numbers 36,29,62 were obtained as the best match between the received signals and the output of computer simulations. The 90% confidence intervals on these numbers are about $\pm 4$. The details (...
10
votes
How to find Suleimanova's work on the Nonnegative Inverse Eigenvalue Problem?
Few things to note:
From the Math Reviews:
MR0046598 (13,760a) Reviewed
Perfect, Hazel, On positive stochastic matrices with real characteristic roots. Proc. Cambridge Philos. Soc. 48, (1952). 271–...
9
votes
Accepted
Which matrices can be realized as the Dirichlet-to-Neumann map for a given domain?
Let $A$ be this matrix. Because of the formula
$$\int_D\sigma\nabla u\cdot\nabla v\, dx=\sum_{i,j}a_{ij}U_iI_j,$$
($U$ for voltages of $u$, $I$ for currents of $v$), we see three necessary conditions:
...
9
votes
Automorphisms of projective spaces, and the Axiom of Choice
On abstract metamathematical grounds (having nothing to do with projective spaces), I claim that it is relatively consistent with ZFC and indeed with ZFC+Con(ZF) and much more that the answer to your ...
8
votes
Accepted
Reconstruction of second-order elliptic operator from spectrum
In general, this will not be possible. For instance, the first non-trivial eigenfunction will have two nodal domains, so $f_1$ cannot be arbitrary. Furthermore, you expect to have some sort of ...
7
votes
Accepted
Inverting a function
Yes, you can use the Lehmer-Permutation to make a function that is suitable for cryptography, whose solution is just as hard as the Diffie-Helman problem. The relevant papers are:
(1) Roberto Mantaci,...
7
votes
Which matrices can be realized as the Dirichlet-to-Neumann map for a given domain?
In dimensions 3 and higher, and without any constraints on $\sigma$, one can apparently obtain any symmetric matrix $A = (a_{ij})$ such that $a_{ij} < 0$ when $i \ne j$ and $a_{ii} = -\sum_{j \ne i}...
7
votes
Accepted
An explicit reconstruction of a matrix from its minors
Assume for simplicity that $kl=d+1$.
Then I claim that $V \otimes \det V$ appears as a summand of $\left( \bigwedge^k V\right)^{\otimes l}$ with multiplicity $l-1$.
The maps $\left( \bigwedge^k V\...
6
votes
Which matrices can be realized as the Dirichlet-to-Neumann map for a given domain?
This question (for two dimensional domains) was answered by Curtis, Ingerman and Morrow, "Circular Graphs and planar Resistor Networks" (1998). Let $a$ be the $n \times n$ response matrix. As already ...
6
votes
How to find Suleimanova's work on the Nonnegative Inverse Eigenvalue Problem?
There is a survey of the NIEP (by Egleston, Lenker and Narayan) at http://dx.doi.org/10.1016/j.laa.2003.10.019. This cites Suleĭmanova but immediately says that a simple proof of her main result was ...
5
votes
How to find Suleimanova's work on the Nonnegative Inverse Eigenvalue Problem?
A multi-set of real numbers $\Lambda = \{\lambda_1,\dots,\lambda_n\}$ is called a Suleĭmanova spectrum if $\Lambda$ contains one positive element and $\sum_{i=1}^n \lambda_i \geq 0$.
Suleĭmanova [...
5
votes
Accepted
Is there an English translation of Hadamard's classic French paper on well-posed problems?
No, there is no "official" English translation, however, Google translate should work just fine, here is the translation of the first paragraph, without any corrections from my side:
The general ...
4
votes
Is $\delta(df \wedge df)=0$ an Euler-Lagrange equation?
Consider the following functional:
$$ E_k(f)=\frac{1}{2}\int_{M} \| \bigwedge^k df\|^2 \text{Vol}_{M}.$$
Theorem:
The Euler-Lagrange equation of $E_2$, is $A(\phi)=0$, where $A(\phi) \in \...
4
votes
Accepted
Solution of Poisson equation vanishing at the boundary of any order
No. Take any $u$ which is not zero, but compactly supported in $\Omega$. Then
define $f=\Delta u$; it will be also compactly supported, and non-zero.
4
votes
Accepted
Reference Request - Recovering a function from its definite integrals (inverse problem)
Here is how you make an inverse problem of this problem: Choose a space $X$ for the function $f$ you are looking for (e.g. $L^2(0,1)$ to work in Hilbert spaces, but other spaces may be more suitable, ...
4
votes
Accepted
On the equation $[U, V] - V_x = C(x)$
Yes, you can always do this, as follows:
First, consider the equation $M_x = -M U$ with the initial condition $M(0) = I_n$. This linear equation with initial condition has a unique solution and $M(x)$...
4
votes
Domains with discrete Laplace spectrum
This is more of a literature pointer than an answer. In the case of Dirichlet boundary conditions, the answer to the last question is yes: for example, the cross
$$
C:=\{|x_1|\leq 1\}\cup \{x_2\leq 1\}...
3
votes
Is Sommerfeld radiation condition invariant under translations?
$\newcommand{\x}{\mathbf{x}}
\renewcommand{\a}{\mathbf{a}}
\renewcommand{\b}{\mathbf{b}}
\renewcommand{\d}{\mathbf{d}}
\newcommand{\0}{\mathbf{0}}
\newcommand{\n}{\nabla}
\newcommand{\R}{\mathbb R}
\...
3
votes
Accepted
Interesting questions for inverse parabolic problems
Inverse Problems for Partial Differential Equations (third edition, 2017) by Victor Isakov concludes each chapter with a collection of open research problems. Chapter 9 is specifically devoted to ...
3
votes
Are inverse eigenvalue problems (IEPs) hopeless and not a fruitful area of research?
Although I work exclusively on the nonnegative inverse eigenvalue problem (NIEP), I can assure you that IEPs are far from dead, both on the theoretical side and the applied side (there has been a ...
3
votes
Reconstruction of second-order elliptic operator from spectrum
Just to show how overdetermined your general request is. It has be shown that in low dimensions the sphere with standard metric is uniquely determined by the spectrum of the Laplace-Beltrami operator. ...
2
votes
Question on Inverse Galois Theory
I think the main point of the question is worked out in detail in section 2 of the thesis the link points to.
http://page.math.tu-berlin.de/~kant/publications/diss/geissler.pdf
2
votes
Reference Request - Recovering a function from its definite integrals (inverse problem)
In general, it appears that hardly anything interesting can be said. E.g., let $A=\{(1/5,3/5),(2/5,4/5)\}$; here, it will be convenient to think of $A$ as a set of (say) open intervals, rather than a ...
2
votes
Accepted
inverse interpolation
After having calculated an "explicit" interpolating function $f:\mathbb{R}^m\rightarrow \mathbb{R}^n$, satisfying $y_i=f (x_i)$, you can calculate the local inverse via evaluation of the implicit ...
2
votes
Reconstructing the Green's function of an initial-value problem of partial differential equation
One can regard your problem as probing a medium by a known source $f_1$ generated at time $t=0$, recording the medium response $f_2$ at time $t=T$ (called the data) and the goal is the recovery of ...
2
votes
Accepted
Given convex l.s.c. function $f$, find decreasing convex function $\phi$ such that $f(x) \equiv \sup_y x\phi(y)-\phi(-y)$
$\newcommand{\R}{\mathbb{R}}
\newcommand{\tto}{\underset{\text{onto}}\to}$
Let us answer the reformulated question: given a convex function $g\colon C\to\R$, when is it possible to find a decreasing ...
2
votes
Can a bijection between function spaces be continuous if the space's domains are different?
As soon as your spaces $A$ and $B$ are Banach, and the only thing which you want from $\phi$ is continuity, you can use Kadets's theorem (implicitly mentioned by Nate), or its generalization by ...
2
votes
Approximating Uniform Distribution with Mixture of Gaussians
For arbitrary points $x_1,\dotsc, x_n$ this may not be possible. For example, if the convex hull of the finite set $\{x_1,\dotsc, x_n\}$ dos not contain the barycenter of $X$, then this is not ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
inverse-problems × 87ap.analysis-of-pdes × 16
fa.functional-analysis × 14
integral-transforms × 13
integral-geometry × 13
reference-request × 12
real-analysis × 8
elliptic-pde × 8
linear-algebra × 7
fourier-analysis × 6
pr.probability × 5
image-processing × 5
oc.optimization-and-control × 4
matrix-inverse × 4
dg.differential-geometry × 3
matrices × 3
riemannian-geometry × 3
mp.mathematical-physics × 3
algorithms × 3
integration × 3
na.numerical-analysis × 3
galois-theory × 3
eigenvalues × 3
calculus-of-variations × 3
regularization × 3