1: \begin{abstract}
2: Gravitational waves provide a powerful enhancement to our
3: understanding of fundamental physics. To make the most of their
4: detection we need to accurately model the entire process of their
5: emission and propagation toward
6: interferometers. Cauchy-characteristic extraction and matching are
7: methods to compute gravitational waves at null infinity, a
8: mathematical idealization of detector location, from numerical
9: relativity simulations. Both methods can in principle contribute to
10: modeling by providing highly accurate gravitational waveforms. An
11: underappreciated subtlety in realizing this potential is posed by
12: the (mere) weak hyperbolicity of the particular PDE systems solved
13: in the characteristic formulation of the Einstein field
14: equations. This shortcoming results from the popular choice of
15: Bondi-like coordinates. So motivated, we construct toy models that
16: capture that PDE structure and study Cauchy-characteristic
17: extraction and matching with them. Where possible we provide energy
18: estimates for their solutions and perform careful numerical norm
19: convergence tests to demonstrate the effect of weak hyperbolicity on
20: Cauchy-characteristic extraction and matching. Our findings strongly
21: indicate that, as currently formulated, Cauchy-characteristic
22: matching for the Einstein field equations would provide solutions
23: that are, at best, convergent at an order lower than expected for
24: the numerical method, and may be unstable. In contrast, under
25: certain conditions, the extraction method can provide properly
26: convergent solutions. Establishing however that these conditions
27: hold for the aforementioned characteristic formulations is still an
28: open problem.
29: \end{abstract}
30: