{'fraction_non_alphanumeric': 0.012704174228675136, 'fraction_numerical': 0.0, 'mean_word_length': 5.344827586206897, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
On Crosswell Traveltime Tomography

In this paper, we give a theoretical analysis of the crosswell traveltime tomography. In the single arrival case, we prove that the objective function is smooth, and every critical point is a kinematically correct velocity model. A numerical example is presented to demonstrate the properties we prove and the diierence between traveltime tomography and waveform inversion via the output least squares. These results are extended to a local formulation of traveltime tomography in the presence of multiple arrivals.