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 ...
user1504's user avatar
  • 5,879
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 ...
Carlo Beenakker's user avatar
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 (...
Brendan McKay's user avatar
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–...
Misha's user avatar
  • 31k
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: ...
Denis Serre's user avatar
  • 51.6k
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 ...
Joel David Hamkins's user avatar
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 ...
Gabe K's user avatar
  • 5,384
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,...
David White's user avatar
  • 29.8k
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}...
Mateusz Kwaśnicki's user avatar
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\...
Will Sawin's user avatar
  • 137k
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 ...
David E Speyer's user avatar
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 ...
Neil Strickland's user avatar
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 [...
Pietro Paparella's user avatar
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 ...
Carlo Beenakker's user avatar
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 \...
Asaf Shachar's user avatar
  • 6,621
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.
Alexandre Eremenko's user avatar
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, ...
Dirk's user avatar
  • 12.3k
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)$...
Robert Bryant's user avatar
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\}...
Kostya_I's user avatar
  • 8,672
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} \...
Iosif Pinelis's user avatar
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 ...
Carlo Beenakker's user avatar
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 ...
Pietro Paparella's user avatar
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. ...
quarague's user avatar
  • 622
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
Stephan's user avatar
  • 21
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 ...
Iosif Pinelis's user avatar
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 ...
Manfred Weis's user avatar
  • 12.7k
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 ...
Rakesh's user avatar
  • 21
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 ...
Iosif Pinelis's user avatar
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 ...
August Cleaner's user avatar
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 ...
Liviu Nicolaescu's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible