-
An Optical Gamma-Ray Burst Catalogue with Measured Redshift PART I: Data Release of 535 Gamma-Ray Bursts and Colour Evolution
Authors:
M. G. Dainotti,
B. De Simone,
R. F. Mohideen Malik,
V. Pasumarti,
D. Levine,
N. Saha,
B. Gendre,
D. Kido,
A. M. Watson,
R. L. Becerra,
S. Belkin,
S. Desai,
A. C. C. do E. S. Pedreira,
U. Das,
L. Li,
S. R. Oates,
S. B. Cenko,
A. Pozanenko,
A. Volnova,
Y. -D. Hu,
A. J. Castro-Tirado,
N. B. Orange,
T. J. Moriya,
N. Fraija,
Y. Niino
, et al. (27 additional authors not shown)
Abstract:
We present the largest optical photometry compilation of Gamma-Ray Bursts (GRBs) with redshifts ($z$). We include 64813 observations of 535 events (including upper limits) from 28 February 1997 up to 18 August 2023. We also present a user-friendly web tool \textit{grbLC} which allows users the visualization of photometry, coordinates, redshift, host galaxy extinction, and spectral indices for each…
▽ More
We present the largest optical photometry compilation of Gamma-Ray Bursts (GRBs) with redshifts ($z$). We include 64813 observations of 535 events (including upper limits) from 28 February 1997 up to 18 August 2023. We also present a user-friendly web tool \textit{grbLC} which allows users the visualization of photometry, coordinates, redshift, host galaxy extinction, and spectral indices for each event in our database. Furthermore, we have added a Gamma Ray Coordinate Network (GCN) scraper that can be used to collect data by gathering magnitudes from the GCNs. The web tool also includes a package for uniformly investigating colour evolution. We compute the optical spectral indices for 138 GRBs for which we have at least 4 filters at the same epoch in our sample and craft a procedure to distinguish between GRBs with and without colour evolution. By providing a uniform format and repository for the optical catalogue, this web-based archive is the first step towards unifying several community efforts to gather the photometric information for all GRBs with known redshifts. This catalogue will enable population studies by providing light curves (LCs) with better coverage since we have gathered data from different ground-based locations. Consequently, these LCs can be used to train future LC reconstructions for an extended inference of the redshift. The data gathering also allows us to fill some of the orbital gaps from Swift in crucial points of the LCs, e.g., at the end of the plateau emission or where a jet break is identified.
△ Less
Submitted 3 June, 2024; v1 submitted 3 May, 2024;
originally announced May 2024.
-
Group topologies on groups of bi-absolutely continuous homeomorphisms
Authors:
J. de la Nuez González
Abstract:
The group of homeomorphisms of the closed interval that are orientation preserving, absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $τ_{ac}$. We observe that, more generally, under some conditions on a compact space endowed with a finite Borel measure an analogous Polish group topology can be defined on the subgroup of t…
▽ More
The group of homeomorphisms of the closed interval that are orientation preserving, absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $τ_{ac}$. We observe that, more generally, under some conditions on a compact space endowed with a finite Borel measure an analogous Polish group topology can be defined on the subgroup of the homeomorphism group which push forward the measure to another one with which it is mutually absolutely continuous. We use a probabilistic argument involving approximations by supmartingale processes to show that in many cases there is no group topology between $τ_{ac}$ and the restriction $τ_{co}$ of the compact-open topology. This applies, in particular, to any compact topological manifold equipped with an Oxtoby-Ulam measure and to the Cantor space endowed with some natural Borel measures. In fact, we show that in such cases any separable group topology strictly finer than $τ_{co}$ has to be also finer than $τ_{ac}$. For one-dimensional manifolds well-known arguments show that the compact-open topology is a minimum Hausdroff group topology on the group, which implies that $τ_{co}$ and $τ_{ac}$ are the only Hausdorff group topologies coarser than $τ_{ac}$. We also show that while Solecki's example is not Roelcke precompact, the group of bi-absolutely continuous homeomorphisms of the Cantor space endowed with the measure given by the Fräissé limit of the class of measured boolean algebras with rational probability measures is Roelcke precompact.
△ Less
Submitted 1 January, 2024;
originally announced January 2024.
-
TetraScatt model: Born approximation for the estimation of acoustic dispersion of fluid-like objects of arbitrary geometries
Authors:
Edmundo F. Lavia,
Guadalupe Cascallares,
Juan D. Gonzalez
Abstract:
Modelling the acoustic scattering response due to penetrable objects of arbitrary shapes, such as those of many marine organisms, can be computationally intensive, often requiring high-performance computing equipment when considering a completely general situation. However, when the physical properties (sound speed and density) of the scatterer object under consideration are similar to those of th…
▽ More
Modelling the acoustic scattering response due to penetrable objects of arbitrary shapes, such as those of many marine organisms, can be computationally intensive, often requiring high-performance computing equipment when considering a completely general situation. However, when the physical properties (sound speed and density) of the scatterer object under consideration are similar to those of the surrounding medium, the Born approximation provides a computationally efficient way to calculate the scattering. For simple geometrical shapes like spheres and spheroids, the acoustic scattering in the far field can be evaluated through the Born approximation recipe as a formula which has been historically employed to predict the response of weakly scattering organisms, such as zooplankton. Moreover, the Born approximation has been extended to bodies whose geometry can be described as a collection of non-circular rings centred on a smooth curve. In this work, we have developed a numerical approach to calculate the far-field backscattering by arbitrary 3D objects under the Born approximation. The object's geometry is represented by a volumetric mesh composed of tetrahedrons, and the computation is efficiently performed through analytical 3D integration, yielding a solution expressed in terms of elementary functions for each tetrahedron. The method's correctness has been successfully validated against benchmark solutions. Additionally, we present acoustic scattering results for species with complex shapes. To enable other researchers to use and validate the method a computational package named tetrascatt implemented in the R programming language was developed and published in the CRAN (Comprehensive R Archive Network).
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
Authors:
Thomas Koberda,
J. de la Nuez González
Abstract:
We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded dimension. As a consequence, many classical problems in group theory and geometry (e.g.~the linearity of mapping classes of compact $2$--manifolds) are encoded as…
▽ More
We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded dimension. As a consequence, many classical problems in group theory and geometry (e.g.~the linearity of mapping classes of compact $2$--manifolds) are encoded as elementary properties homeomorphism groups of manifolds. Furthermore, the homeomorphism group interprets the Borel and projective hierarchies of the homeomorphism group. Finally, we show that the collection of sentences that isolate the homeomorphism group of a particular manifold, or that isolate the homeomorphism groups of manifolds in general, is not definable in arithmetic, and that membership of particular sentences in these collections cannot be proved in ZFC.
△ Less
Submitted 6 February, 2024; v1 submitted 26 December, 2023;
originally announced December 2023.
-
The compact-open topology on the diffeomorphism or homeomorphism group of a smooth manifold without boundary is minimal in almost all dimensions
Authors:
J. de la Nuez González
Abstract:
We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group topology. This implies the minimality of the compact-open topology on the homeomorphism group of $M$ in all dimensions different from $3$ and $4$. In those case…
▽ More
We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group topology. This implies the minimality of the compact-open topology on the homeomorphism group of $M$ in all dimensions different from $3$ and $4$. In those cases for which in addition to all of this automatic continuity is known to hold, such as when $M$ is closed, one can conclude that the compact-open topology is the unique separable Hausdorff group topology on the homeomorphism group.
△ Less
Submitted 16 April, 2024; v1 submitted 20 March, 2023;
originally announced March 2023.
-
First order rigidity of homeomorphism groups of manifolds
Authors:
Sang-hyun Kim,
Thomas Koberda,
J. de la Nuez González
Abstract:
For every compact, connected manifold $M$, we prove the existence of a sentence $φ_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $φ_M$ if and only if $N$ is homeomorphic to $M$. We prove the analogous statement for groups of homeomorphisms preserving an Oxtoby--Ulam probability measure.
For every compact, connected manifold $M$, we prove the existence of a sentence $φ_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $φ_M$ if and only if $N$ is homeomorphic to $M$. We prove the analogous statement for groups of homeomorphisms preserving an Oxtoby--Ulam probability measure.
△ Less
Submitted 5 April, 2023; v1 submitted 2 February, 2023;
originally announced February 2023.
-
The compact-open topology on the homeomorphism group of a surface without boundary is minimal
Authors:
J. de la Nuez González
Abstract:
We show that the homeomorphism group of a surface without boundary does not admit a Hausdorff group topology strictly coarser than the compact-open topology. In combination with known automatic continuity results, this implies that the compact-open topology is the unique Hausdorff separable group topology on the group if the surface is closed or the complement in a closed surface of either a finit…
▽ More
We show that the homeomorphism group of a surface without boundary does not admit a Hausdorff group topology strictly coarser than the compact-open topology. In combination with known automatic continuity results, this implies that the compact-open topology is the unique Hausdorff separable group topology on the group if the surface is closed or the complement in a closed surface of either a finite set or the union of a finite set and a Cantor set.
△ Less
Submitted 6 November, 2022; v1 submitted 31 October, 2022;
originally announced October 2022.
-
The Cosmic Telescope that Lenses the Sunburst Arc, PSZ1 G311.65-18.48: Strong Gravitational Lensing model and Source Plane Analysis
Authors:
Keren Sharon,
Guillaume Mahler,
T. Emil Rivera-Thorsen,
Hakon Dahle,
Michael D. Gladders,
Matthew B. Bayliss,
Michael K. Florian,
Keunho J. Kim,
Gourav Khullar,
Ramesh Mainali,
Kate A. Napier,
Alexander Navarre,
Jane R. Rigby,
Juan David Remolina Gonzalez,
Soniya Sharma
Abstract:
We present a strong lensing analysis of the cluster PSZ1 G311.65-18.48, based on Hubble Space Telescope imaging, archival VLT/MUSE spectroscopy, and Chandra X-ray data. This cool-core cluster (z=0.443) lenses the brightest lensed galaxy known, dubbed the "Sunburst Arc" (z=2.3703), a Lyman continuum (LyC) emitting galaxy multiply-imaged 12 times. We identify in this field 14 additional strongly-len…
▽ More
We present a strong lensing analysis of the cluster PSZ1 G311.65-18.48, based on Hubble Space Telescope imaging, archival VLT/MUSE spectroscopy, and Chandra X-ray data. This cool-core cluster (z=0.443) lenses the brightest lensed galaxy known, dubbed the "Sunburst Arc" (z=2.3703), a Lyman continuum (LyC) emitting galaxy multiply-imaged 12 times. We identify in this field 14 additional strongly-lensed galaxies to constrain a strong lens model, and report secure spectroscopic redshifts of four. We measure a projected cluster core mass of M(<250 kpc)=2.93+0.01/-0.02x10^14M_sun. The two least-magnified but complete images of the Sunburst Arc's source galaxy are magnified by ~13x, while the LyC clump is magnified by ~4-80x. We present time delay predictions and conclusive evidence that a discrepant clump in the Sunburst Arc, previously claimed to be a transient, is not variable, thus strengthening the hypothesis that it results from an exceptionally high magnification. A source plane reconstruction and analysis of the Sunburst Arc finds its physical size to be 1x2 kpc, and that it is resolved in three distinct directions in the source plane, 0, 40, and 75 degrees (east of North). We place an upper limit of r <~ 50 pc on the source plane size of unresolved clumps, and r<~ 32 pc for the LyC clump. Finally, we report that the Sunburst Arc is likely in a system of two or more galaxies separated by <~6 kpc in projection. Their interaction may drive star formation and could play a role in the mechanism responsible for the leaking LyC radiation.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Planar graphs with separation are dp-minimal
Authors:
Javier de la Nuez González
Abstract:
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
A 3D acoustic propagation model for shallow waters based on an indirect Boundary Element Method
Authors:
Edmundo F. Lavia,
Juan D. Gonzalez,
Silvia Blanc
Abstract:
The purpose of this work is twofold: (a) To present the theoretical formulation of a 3D acoustic propagation model based on a Boundary Element Method (BEM), which uses a half-space Green function in place of the more conventional free-space Green function and (b) to show a numerical implementation aimed to explore the formulation in simple idealized cases --controlled by a few parameters--, and pr…
▽ More
The purpose of this work is twofold: (a) To present the theoretical formulation of a 3D acoustic propagation model based on a Boundary Element Method (BEM), which uses a half-space Green function in place of the more conventional free-space Green function and (b) to show a numerical implementation aimed to explore the formulation in simple idealized cases --controlled by a few parameters--, and provides necessary tests for the accuracy and performance of the model. The half-space Green's function, which has been used previously in scattering and diffraction, adds terms to the usual expressions of the integral operators without altering their continuity properties. Verifications against the Pekeris waveguide suggest that the model allows an adequately prediction for the acoustic field. Likewise, numerical explorations in relation to the necessary mesh size for the description of the water-sediment interface allow us to conclude that a TL prediction with acceptable accuracy can be obtained with the use of a bounded mesh around the desired evaluation region.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
Non-Roelcke precompactness of groups of surface homeomorphisms
Authors:
Javier de la Nuez Gonzalez
Abstract:
We prove that no subgroup of the group of boundary-fixing homeomorphisms of a compact surface whose action on the interior of the surface is sufficiently transitive can be Roelcke precompact with the topology inherited from the compact-open topology.
We prove that no subgroup of the group of boundary-fixing homeomorphisms of a compact surface whose action on the interior of the surface is sufficiently transitive can be Roelcke precompact with the topology inherited from the compact-open topology.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
On the elementary theory of graph products of groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Javier de la Nuez González
Abstract:
In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we require the vertex groups to satisfy a non-generic almost positive sentence, a condition which generalizes a range of natural ``non-freeness conditions" such as the…
▽ More
In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we require the vertex groups to satisfy a non-generic almost positive sentence, a condition which generalizes a range of natural ``non-freeness conditions" such as the satisfaction of a group law, having nontrivial center or being boundedly simple.
As a corollary, we determine an invariant of the elementary theory of a right-angled Artin group, the core of the defining graph, which we conjecture to determine the elementary class of the RAAG. We further combine our results with the results of Sela on free products of groups to describe all finitely generated groups elementarily equivalent to certain RAAGs. We also deduce rigidity results on the elementary classification of graph products of groups for specific types of vertex groups, such as finite, nilpotent or classical linear groups.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
The Strongest Cluster Lenses: An Analysis of the Relation Between Strong Gravitational Lensing Strength and the Physical Properties of Galaxy Clusters
Authors:
Carter Fox,
Guillaume Mahler,
Keren Sharon,
Juan D. Remolina González
Abstract:
Strong gravitational lensing provides unique opportunities to investigate the mass distribution at the cores of galaxy clusters and to study high redshift galaxies. Using $94$ strong lensing models of $74$ cluster fields from the \textit{Hubble} Frontier Fields (HFF), Reionization Lensing Cluster Survey (RELICS), and Sloan Giant Arcs Survey (SGAS), modeled with three parametric approaches, we eval…
▽ More
Strong gravitational lensing provides unique opportunities to investigate the mass distribution at the cores of galaxy clusters and to study high redshift galaxies. Using $94$ strong lensing models of $74$ cluster fields from the \textit{Hubble} Frontier Fields (HFF), Reionization Lensing Cluster Survey (RELICS), and Sloan Giant Arcs Survey (SGAS), modeled with three parametric approaches, we evaluate the lensing strength of each cluster (area with $|μ|\geq3$ for $z_s=9$). We assess how large scale mass, projected inner core mass, and the inner slope of the projected mass density profile relate to lensing strength. While we do not identify a strong correlation between lensing strength and large scale mass, we reveal that the inner slope ($50$ kpc~$\leq r \leq~200$ kpc) of the projected mass density profile is indicative of lensing strength and can set an upper bound on the possible lensing strength of a cluster. We find that the effective Einstein area correlates with lensing strength, and that a large ($\gtrsim 30^{''}0$) radial extent of lensing evidence is a strong indicator of a powerful lens. These results can help to more efficiently design future observations to maximize lensing strength.
△ Less
Submitted 5 April, 2022; v1 submitted 12 April, 2021;
originally announced April 2021.
-
Core Mass Estimates in Strong Lensing Galaxy Clusters: a Comparison Between Masses Obtained from Detailed Lens Models, Single-Halo Lens Models, and Einstein Radii
Authors:
J. D. Remolina González,
K. Sharon,
G. Mahler,
C. Fox,
C. A. Garcia Diaz,
K. Napier,
L. E. Bleem,
M. D. Gladders,
N. Li,
A. Niemiec
Abstract:
The core mass of galaxy clusters is both an important anchor of the radial mass distribution profile and probe of structure formation. With thousands of strong lensing galaxy clusters being discovered by current and upcoming surveys, timely, efficient, and accurate core mass estimates are needed. We assess the results of two efficient methods to estimate the core mass of strong lensing clusters: t…
▽ More
The core mass of galaxy clusters is both an important anchor of the radial mass distribution profile and probe of structure formation. With thousands of strong lensing galaxy clusters being discovered by current and upcoming surveys, timely, efficient, and accurate core mass estimates are needed. We assess the results of two efficient methods to estimate the core mass of strong lensing clusters: the mass enclosed by the Einstein radius ($M_{corr}(<θ_E)$ where $θ_{\rm E}$ is approximated from arc positions; Remolina González et al. 2020), and single-halo lens model ($M_{\rm{SHM}}(<\rm{e}θ_{\rm{E}})$; Remolina González et al. 2021), against measurements from publicly available detailed lens models ($M_{\rm{DLM}}$) of the same clusters. We use data from the Sloan Giant Arc Survey, the Reionization Lensing Cluster Survey, the \Hubble\ Frontier Fields, and the Cluster Lensing and Supernova Survey with \Hubble. We find a scatter of $18.3\%$ ($8.4\%$) with a bias of $-7.5\%$ ($0.4\%$) between $M_{corr}(<θ_E)$ ($M_{\rm{SHM}}(<\rm{e}θ_{\rm{E}})$) and $M_{\rm{DLM}}$. Last, we compare the statistical uncertainties measured in this work to those from simulations. This work demonstrates the successful application of these methods to observational data. As the effort to efficiently model the mass distribution of strong lensing galaxy clusters continues, we need fast, reliable methods to advance the field.
△ Less
Submitted 20 July, 2021; v1 submitted 8 April, 2021;
originally announced April 2021.
-
Robust Model-Based Clustering
Authors:
Juan D. Gonzalez,
Ricardo Maronna,
Victor J. Yohai,
Ruben H. Zamar
Abstract:
We propose a new class of robust and Fisher-consistent estimators for mixture models. These estimators can be used to construct robust model-based clustering procedures. We study in detail the case of multivariate normal mixtures and propose a procedure that uses S estimators of multivariate location and scatter. We develop an algorithm to compute the estimators and to build the clusters which is…
▽ More
We propose a new class of robust and Fisher-consistent estimators for mixture models. These estimators can be used to construct robust model-based clustering procedures. We study in detail the case of multivariate normal mixtures and propose a procedure that uses S estimators of multivariate location and scatter. We develop an algorithm to compute the estimators and to build the clusters which is quite similar to the EM algorithm. An extensive Monte Carlo simulation study shows that our proposal compares favorably with other robust and non robust model-based clustering procedures. We apply ours and alternative procedures to a real data set and again find that the best results are obtained using our proposal.
△ Less
Submitted 8 June, 2021; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Core Mass Estimates in Strong Lensing Galaxy Clusters Using a Single-Halo Lens Model
Authors:
J. D. Remolina González,
K. Sharon,
N. Li,
G. Mahler,
L. E. Bleem,
M. Gladders,
A. Niemiec
Abstract:
The core mass of galaxy clusters is an important probe of structure formation. Here, we evaluate the use of a Single-Halo model (SHM) as an efficient method to estimate the strong lensing cluster core mass, testing it with ray-traced images from the `Outer Rim' simulation. Unlike detailed lens models, the SHM represents the cluster mass distribution with a single halo and can be automatically gene…
▽ More
The core mass of galaxy clusters is an important probe of structure formation. Here, we evaluate the use of a Single-Halo model (SHM) as an efficient method to estimate the strong lensing cluster core mass, testing it with ray-traced images from the `Outer Rim' simulation. Unlike detailed lens models, the SHM represents the cluster mass distribution with a single halo and can be automatically generated from the measured lensing constraints. We find that the projected core mass estimated with this method, M$_{\rm SHM}$, has a scatter of $8.52\%$ and a bias of $0.90\%$ compared to the "true" mass within the same aperture. Our analysis shows no systematic correlation between the scatter or bias and the lens-source system properties. The bias and scatter can be reduced to $3.26\%$ and $0.34\%$, respectively, by excluding models that fail a visual inspection test. We find that the SHM success depends on the lensing geometry, with single giant arc configurations accounting for most of the failed cases due to their limiting constraining power. When excluding such cases, we measure a scatter and bias of $3.88\%$ and $0.84\%$, respectively. Finally, we find that when the source redshift is unknown, the model-predicted redshifts are overestimated, and the M$_{\rm SHM}$ is underestimated by a few percent, highlighting the importance of securing spectroscopic redshifts of background sources. Our analysis provides a quantitative characterization of M$_{\rm SHM}$, enabling its efficient use as a tool to estimate the strong lensing cluster core masses in the large samples, expected from current and future surveys.
△ Less
Submitted 12 February, 2021;
originally announced February 2021.
-
Efficient Mass Estimate at the Core of Strong Lensing Galaxy Clusters Using the Einstein Radius
Authors:
J. D. Remolina González,
K. Sharon,
B. Reed,
N. Li,
G. Mahler,
L. E. Bleem,
M. Gladders,
A. Niemiec,
A. Acebron,
H. Child
Abstract:
In the era of large surveys, yielding thousands of galaxy clusters, efficient mass proxies at all scales are necessary in order to fully utilize clusters as cosmological probes. At the cores of strong lensing clusters, the Einstein radius can be turned into a mass estimate. This efficient method has been routinely used in literature, in lieu of detailed mass models; however, its scatter, assumed t…
▽ More
In the era of large surveys, yielding thousands of galaxy clusters, efficient mass proxies at all scales are necessary in order to fully utilize clusters as cosmological probes. At the cores of strong lensing clusters, the Einstein radius can be turned into a mass estimate. This efficient method has been routinely used in literature, in lieu of detailed mass models; however, its scatter, assumed to be $\sim30\%$, has not yet been quantified. Here, we assess this method by testing it against ray-traced images of cluster-scale halos from the Outer Rim N-body cosmological simulation. We measure a scatter of $13.9\%$ and a positive bias of $8.8\%$ in $M(<θ_E)$, with no systematic correlation with total cluster mass, concentration, or lens or source redshifts. We find that increased deviation from spherical symmetry increases the scatter; conversely, where the lens produces arcs that cover a large fraction of its Einstein circle, both the scatter and the bias decrease. While spectroscopic redshifts of the lensed sources are critical for accurate magnifications and time delays, we show that for the purpose of estimating the total enclosed mass, the scatter introduced by source redshift uncertainty is negligible compared to other sources of error. Finally, we derive and apply an empirical correction that eliminates the bias, and reduces the scatter to $10.1\%$ without introducing new correlations with mass, redshifts, or concentration. Our analysis provides the first quantitative assessment of the uncertainties in $M(<θ_E)$, and enables its effective use as a core mass estimator of strong lensing galaxy clusters.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
The model theory of the curve graph
Authors:
Valentina Disarlo,
Thomas Koberda,
J. de la Nuez González
Abstract:
In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups?
More specifically, we consi…
▽ More
In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups?
More specifically, we consider a surface $Σ$ of finite type and its curve graph $\mathcal C(Σ)$, and we investigate its first-order theory in the language of graph theory. Crucially, $\mathcal C(Σ)$ is bi-interpretable with a certain object called the augmented Cayley graph of the mapping class group of the surface. We use this bi-interpretation to prove that the theory of the curve graph is $ω$--stable, to compute its Morley rank, and to show that it has quantifier elimination with respect to the class of $\forall\exists$--formulae. We also show that many of the complexes which are naturally associated to a surface are interpretable in $\mathcal C(Σ)$. This shows that these complexes are all $ω$--stable and admit certain a priori bounds on their Morley ranks. We are able to use Morley ranks to prove that various complexes are not bi--interpretable with the curve graph. As a consequence of quantifier elimination, we show that algebraic intersection number is not definable in the first order theory of the curve graph. Finally, we prove that the curve graph of a surface enjoys a novel phenomenon that we call interpretation rigidity. That is, if surfaces $Σ_1$ and $Σ_2$ admits curve graphs that are mutually interpretable, then $Σ_1$ and $Σ_2$ are homeomorphic to each other. Along the way, numerous technical results are obtained.
△ Less
Submitted 9 June, 2023; v1 submitted 24 August, 2020;
originally announced August 2020.
-
The BUFFALO HST Survey
Authors:
Charles L. Steinhardt,
Mathilde Jauzac,
Ana Acebron,
Hakim Atek,
Peter Capak,
Iary Davidzon,
Dominique Eckert,
David Harvey,
Anton M. Koekemoer,
Claudia D. P. Lagos,
Guillaume Mahler,
Mireia Montes,
Anna Niemiec,
Mario Nonino,
P. A. Oesch,
Johan Richard,
Steven A. Rodney,
Matthieu Schaller,
Keren Sharon,
Louis-Gregory Strolger,
Joseph Allingham,
Adam Amara,
Yannick Bah'e,
Celine Boehm,
Sownak Bose
, et al. (70 additional authors not shown)
Abstract:
The Beyond Ultra-deep Frontier Fields and Legacy Observations (BUFFALO) is a 101 orbit + 101 parallel Cycle 25 Hubble Space Telescope Treasury program taking data from 2018-2020. BUFFALO will expand existing coverage of the Hubble Frontier Fields (HFF) in WFC3/IR F105W, F125W, and F160W and ACS/WFC F606W and F814W around each of the six HFF clusters and flanking fields. This additional area has no…
▽ More
The Beyond Ultra-deep Frontier Fields and Legacy Observations (BUFFALO) is a 101 orbit + 101 parallel Cycle 25 Hubble Space Telescope Treasury program taking data from 2018-2020. BUFFALO will expand existing coverage of the Hubble Frontier Fields (HFF) in WFC3/IR F105W, F125W, and F160W and ACS/WFC F606W and F814W around each of the six HFF clusters and flanking fields. This additional area has not been observed by HST but is already covered by deep multi-wavelength datasets, including Spitzer and Chandra. As with the original HFF program, BUFFALO is designed to take advantage of gravitational lensing from massive clusters to simultaneously find high-redshift galaxies which would otherwise lie below HST detection limits and model foreground clusters to study properties of dark matter and galaxy assembly. The expanded area will provide a first opportunity to study both cosmic variance at high redshift and galaxy assembly in the outskirts of the large HFF clusters. Five additional orbits are reserved for transient followup. BUFFALO data including mosaics, value-added catalogs and cluster mass distribution models will be released via MAST on a regular basis, as the observations and analysis are completed for the six individual clusters.
△ Less
Submitted 13 February, 2020; v1 submitted 27 January, 2020;
originally announced January 2020.
-
Setting the scene for BUFFALO: A study of the matter distribution in the HFF galaxy cluster MACS J0416.1-2403 and its parallel field
Authors:
Elizabeth J. Gonzalez,
Martín Chalela,
Mathilde Jauzac,
Dominique Eckert,
Matthieu Schaller,
David Harvey,
Anna Niemiec,
Anton M. Koekemoer,
David Barnes,
Doug Clowe,
Thomas Connor,
José M. Diego,
Juan D. Remolina Gonzalez,
Charles L. Steinhardt
Abstract:
In the context of the BUFFALO (Beyond Ultra-deep Frontier Fields And Legacy Observations) survey, we present a new analysis of the merging galaxy cluster MACS\,J0416.1-2403 ($z = 0.397$) and its parallel field using the data collected by the Hubble Frontier Fields (HFF) campaign. In this work, we measure the surface mass density from a weak-lensing analysis, and characterise the overall matter dis…
▽ More
In the context of the BUFFALO (Beyond Ultra-deep Frontier Fields And Legacy Observations) survey, we present a new analysis of the merging galaxy cluster MACS\,J0416.1-2403 ($z = 0.397$) and its parallel field using the data collected by the Hubble Frontier Fields (HFF) campaign. In this work, we measure the surface mass density from a weak-lensing analysis, and characterise the overall matter distribution in both the cluster and parallel fields. The surface mass distribution derived for the parallel field shows clumpy overdensities connected by filament-like structures elongated in the direction of the cluster core. We also characterise the X-ray emission of the cluster, and compare it with the lensing mass distribution. We identify five substructures at the $>5σ$ level over the two fields, four of them being in the cluster one. Furthermore, three of them are located close to the edges of the field of view, and border issues can significantly hamper the determination of their physical parameters. Finally, we compare our results with the predicted subhalo distribution of one of the Hydrangea/C-EAGLE simulated cluster. Significant differences are obtained suggesting the simulated cluster is at a more advanced evolutionary state than MACS\,J0416.1-2403. Our results anticipate the upcoming BUFFALO observations that will link the two HFF fields, extending further the \emph{HST} coverage, and thus allowing a better characterisation of the reported substructures.
△ Less
Submitted 9 December, 2019;
originally announced December 2019.
-
Simple groups with infinite verbal width and the same positive theory as free groups
Authors:
Montserrat Casals-Ruiz,
Albert Garreta,
Ilya Kazachkov,
Javier de la Nuez González
Abstract:
In this paper we show that there exists an uncountable family of finitely generated simple groups with the same positive theory as any non-abelian free group. In particular, these simple groups have infinite $w$-verbal width for all non-trivial words $w$.
In this paper we show that there exists an uncountable family of finitely generated simple groups with the same positive theory as any non-abelian free group. In particular, these simple groups have infinite $w$-verbal width for all non-trivial words $w$.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
Strong Lensing Model of SPT-CLJ0356-5337, a Major Merger Candidate at Redshift 1.0359
Authors:
Guillaume Mahler,
Keren Sharon,
Michael D. Gladders,
Lindsey Bleem,
Matthew B. Bayliss,
Michael S. Calzadilla,
Benjamin Floyd,
Gourav Khullar,
Michael McDonald,
Juan D. Remolina Gonzàlez,
Tim Schrabback,
Antony A. Stark,
Jan Luca van den Busch
Abstract:
We present an analysis of the mass distribution inferred from strong lensing by SPT-CL J0356-5337, a cluster of galaxies at redshift z = 1.0359 revealed in the follow-up of the SPT-SZ clusters. The cluster has an Einstein radius of Erad=14 for a source at z = 3 and a mass within 500 kpc of M_500kpc = 4.0+-0.8x10^14Msol. Our spectroscopic identification of three multiply-imaged systems (z = 2.363,…
▽ More
We present an analysis of the mass distribution inferred from strong lensing by SPT-CL J0356-5337, a cluster of galaxies at redshift z = 1.0359 revealed in the follow-up of the SPT-SZ clusters. The cluster has an Einstein radius of Erad=14 for a source at z = 3 and a mass within 500 kpc of M_500kpc = 4.0+-0.8x10^14Msol. Our spectroscopic identification of three multiply-imaged systems (z = 2.363, z = 2.364, and z = 3.048), combined with HST F606W-band imaging allows us to build a strong lensing model for this cluster with an rms of <0.3'' between the predicted and measured positions of the multiple images. Our modeling reveals a two-component mass distribution in the cluster. One mass component is dominated by the brightest cluster galaxy and the other component, separated by ~170 kpc, contains a group of eight red elliptical galaxies confined in a ~9'' (~70 kpc) diameter circle. We estimate the mass ratio between the two components to be between 1:1.25 and 1:1.58. In addition, spectroscopic data reveal that these two near-equal mass cores have only a small velocity difference of 300 km/s between the two components. This small radial velocity difference suggests that most of the relative velocity takes place in the plane of the sky, and implies that SPT-CL J0356-5337 is a major merger with a small impact parameter seen face-on. We also assess the relative contributions of galaxy-scale halos to the overall mass of the core of the cluster and find that within 800 kpc from the brightest cluster galaxy about 27% of the total mass can be attributed to visible and dark matter associated with galaxies, whereas only 73% of the total mass in the core comes from cluster-scale dark matter halos.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
On the positive theory of groups acting on trees
Authors:
Montserrat Casals-Ruiz,
Albert Garreta,
Javier de la Nuez González
Abstract:
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group. Our results apply to a wide class of groups, including non-virtually solvable fundamental groups of $3$-manifold groups, generalised Baumslag-Solitar groups and…
▽ More
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group. Our results apply to a wide class of groups, including non-virtually solvable fundamental groups of $3$-manifold groups, generalised Baumslag-Solitar groups and almost all one-relator groups and graph products of groups. It follows that groups in the class satisfy a number of algebraic properties: for instance, their verbal subgroups have infinite width and, although some groups in the class are simple, they cannot be boundedly simple.
In order to prove these results we describe a uniform way for constructing (weak) small cancellation tuples from (weakly) stable elements. This result of interest in its own is fundamental to obtain corollaries of general nature such as a quantifier reduction for positive sentences or the preservation of the non-trivial positive theory under extensions of groups.
△ Less
Submitted 20 October, 2019;
originally announced October 2019.
-
The SPTpol Extended Cluster Survey
Authors:
L. E. Bleem,
S. Bocquet,
B. Stalder,
M. D. Gladders,
P. A. R. Ade,
S. W. Allen,
A. J. Anderson,
J. Annis,
M. L. N. Ashby,
J. E. Austermann,
S. Avila,
J. S. Avva,
M. Bayliss,
J. A. Beall,
K. Bechtol,
A. N. Bender,
B. A. Benson,
E. Bertin,
F. Bianchini,
C. Blake,
M. Brodwin,
D. Brooks,
E. Buckley-Geer,
D. L. Burke,
J. E. Carlstrom
, et al. (113 additional authors not shown)
Abstract:
We describe the observations and resultant galaxy cluster catalog from the 2770 deg$^2$ SPTpol Extended Cluster Survey (SPT-ECS). Clusters are identified via the Sunyaev-Zel'dovich (SZ) effect, and confirmed with a combination of archival and targeted follow-up data, making particular use of data from the Dark Energy Survey (DES). With incomplete followup we have confirmed as clusters 244 of 266 c…
▽ More
We describe the observations and resultant galaxy cluster catalog from the 2770 deg$^2$ SPTpol Extended Cluster Survey (SPT-ECS). Clusters are identified via the Sunyaev-Zel'dovich (SZ) effect, and confirmed with a combination of archival and targeted follow-up data, making particular use of data from the Dark Energy Survey (DES). With incomplete followup we have confirmed as clusters 244 of 266 candidates at a detection significance $ξ\ge 5$ and an additional 204 systems at $4<ξ<5$. The confirmed sample has a median mass of $M_{500c} \sim {4.4 \times 10^{14} M_\odot h_{70}^{-1}}$, a median redshift of $z=0.49$, and we have identified 44 strong gravitational lenses in the sample thus far. Radio data are used to characterize contamination to the SZ signal; the median contamination for confirmed clusters is predicted to be $\sim$1% of the SZ signal at the $ξ>4$ threshold, and $<4\%$ of clusters have a predicted contamination $>10\% $ of their measured SZ flux. We associate SZ-selected clusters, from both SPT-ECS and the SPT-SZ survey, with clusters from the DES redMaPPer sample, and find an offset distribution between the SZ center and central galaxy in general agreement with previous work, though with a larger fraction of clusters with significant offsets. Adopting a fixed Planck-like cosmology, we measure the optical richness-to-SZ-mass ($λ-M$) relation and find it to be 28% shallower than that from a weak-lensing analysis of the DES data---a difference significant at the 4 $σ$ level---with the relations intersecting at $λ=60$ . The SPT-ECS cluster sample will be particularly useful for studying the evolution of massive clusters and, in combination with DES lensing observations and the SPT-SZ cluster sample, will be an important component of future cosmological analyses.
△ Less
Submitted 13 December, 2019; v1 submitted 9 October, 2019;
originally announced October 2019.
-
Boundary-element method to analyze acoustic scattering from a coupled swimbladder-fish body configuration
Authors:
Juan D. Gonzalez,
Edmundo F. Lavia,
Silvia Blanc,
Martin Maas,
Adrián Madirolas
Abstract:
A model for computing acoustic scattering by a swimbladdered fish with coupling to surrounding fish tissue that is assumed to behave as a homogeneous fluid, is presented. Mathematically, this corresponds to considering the problem of two penetrable scatterers immersed in a homogeneous medium, one of which is wholly embedded in the other. The model is formulated in the frame of boundary integral eq…
▽ More
A model for computing acoustic scattering by a swimbladdered fish with coupling to surrounding fish tissue that is assumed to behave as a homogeneous fluid, is presented. Mathematically, this corresponds to considering the problem of two penetrable scatterers immersed in a homogeneous medium, one of which is wholly embedded in the other. The model is formulated in the frame of boundary integral equations whose solution is achieved using the Boundary Element Method (BEM) for a planar triangle mesh. The numerical implementation is verified against benchmark solutions reported in the literature. The model is then applied to a specimen of \textit{Merluccius hubbsi}, whose morphometry was determined by CT scanning, for evaluating its forward and backscattering responses. From the acoustic scattering viewpoint, the swimbladder is considered as a gas-filled object while the flesh constituting the fish body acts like a weak scatterer. The numerical results suggest the swimbladder and the fish body responses, when fully coupled, can lead to substantial differences with respect to the simplified models normally in use in the area of aquatic ecosystem research.
△ Less
Submitted 26 December, 2019; v1 submitted 25 September, 2019;
originally announced September 2019.
-
Group topologies on automorphism groups of homogeneous structures
Authors:
Zaniar Ghadernezhad,
Javier de la Nuez González
Abstract:
We classify all group topologies coarser than the topology of stabilizers of finite sets in the case of automorphism groups of countable free-homogeneous structures, Urysohn space and Urysohn sphere, among other related results.
We classify all group topologies coarser than the topology of stabilizers of finite sets in the case of automorphism groups of countable free-homogeneous structures, Urysohn space and Urysohn sphere, among other related results.
△ Less
Submitted 23 March, 2022; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Linearity of graph products
Authors:
Federico Berlai,
Javier de la Nuez González
Abstract:
In this work we prove that, given a simplicial graph $Γ$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $Γ\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely many linearly independent variables. As a consequence we obtain that any graph product of finitely many groups linear over the complex numbers is again a linear group ov…
▽ More
In this work we prove that, given a simplicial graph $Γ$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $Γ\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely many linearly independent variables. As a consequence we obtain that any graph product of finitely many groups linear over the complex numbers is again a linear group over the complex numbers. This solves an open problem of Hsu and Wise in the case of faithful representations over $\mathbb C$.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Robust Clustering Using Tau-Scales
Authors:
Juan D. Gonzalez,
Victor J. Yohai,
Ruben H. Zamar
Abstract:
K means is a popular non-parametric clustering procedure introduced by Steinhaus (1956) and further developed by MacQueen (1967). It is known, however, that K means does not perform well in the presence of outliers. Cuesta-Albertos et al (1997) introduced a robust alternative, trimmed K means, which can be tuned to be robust or efficient, but cannot achieve these two properties simultaneously in a…
▽ More
K means is a popular non-parametric clustering procedure introduced by Steinhaus (1956) and further developed by MacQueen (1967). It is known, however, that K means does not perform well in the presence of outliers. Cuesta-Albertos et al (1997) introduced a robust alternative, trimmed K means, which can be tuned to be robust or efficient, but cannot achieve these two properties simultaneously in an adaptive way. To overcome this limitation we propose a new robust clustering procedure called K Tau Centers, which is based on the concept of Tau scale introduced by Yohai and Zamar (1988). We show that K Tau Centers performs well in extensive simulation studies and real data examples. We also show that the centers found by the proposed method are consistent estimators of the "true" centers defined as the minimizers of the the objective function at the population level.
△ Less
Submitted 19 June, 2019;
originally announced June 2019.
-
Observation of a gel of quantum vortices in a superconductor at very low magnetic fields
Authors:
José Benito Llorens,
Lior Embon,
Alexandre Correa,
Jesés David González,
Edwin Herrera,
Isabel Guillamón,
Roberto F. Luccas,
Jon Azpeitia,
Federico J. Mompeán,
Mar García-Hernández,
Carmen Munuera,
Jazmín Aragón Sánchez,
Yanina Fasano,
Milorad V. Milosevic,
Hermann Suderow,
Yonathan Anahory
Abstract:
A gel consists of a network of particles or molecules formed for example using the sol-gel process, by which a solution transforms into a porous solid. Particles or molecules in a gel are mainly organized on a scaffold that makes up a porous system. Quantized vortices in type II superconductors mostly form spatially homogeneous ordered or amorphous solids. Here we present high-resolution imaging o…
▽ More
A gel consists of a network of particles or molecules formed for example using the sol-gel process, by which a solution transforms into a porous solid. Particles or molecules in a gel are mainly organized on a scaffold that makes up a porous system. Quantized vortices in type II superconductors mostly form spatially homogeneous ordered or amorphous solids. Here we present high-resolution imaging of the vortex lattice displaying dense vortex clusters separated by sparse or entirely vortex-free regions in $β$-Bi$_2$Pd superconductor. We find that the intervortex distance diverges upon decreasing the magnetic field and that vortex lattice images follow a multifractal behavior. These properties, characteristic of gels, establish the presence of a novel vortex distribution, distinctly different from the well-studied disordered and glassy phases observed in high-temperature and conventional superconductors. The observed behavior is caused by a scaffold of one-dimensional structural defects with enhanced stress close to the defects. The vortex gel might often occur in type-II superconductors at low magnetic fields. Such vortex distributions should allow to considerably simplify control over vortex positions and manipulation of quantum vortex states.
△ Less
Submitted 18 January, 2020; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Some lower bounds on Shelah rank in the free group
Authors:
Javier de la Nuez González,
Chloé Perin,
Rizos Sklinos
Abstract:
We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.
We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
An Evaluation of 10 Lensing Models of the Frontier Fields Cluster MACSJ0416.1-2403
Authors:
J. D. Remolina González,
K. Sharon,
G. Mahler
Abstract:
Galaxy clusters can act as gravitational lenses to magnify the universe behind them, allowing us to see deep into the early universe. The Hubble Space Telescope Frontier Fields program (Lotz et al. 2017) uses six galaxy clusters imaged by Hubble to discover and study galaxies at z ~ 5-10. Seven independent teams developed lens models and derived magnifications for each galaxy cluster, based on pos…
▽ More
Galaxy clusters can act as gravitational lenses to magnify the universe behind them, allowing us to see deep into the early universe. The Hubble Space Telescope Frontier Fields program (Lotz et al. 2017) uses six galaxy clusters imaged by Hubble to discover and study galaxies at z ~ 5-10. Seven independent teams developed lens models and derived magnifications for each galaxy cluster, based on positional and redshift constraints from the best available data at the time. In this work we evaluate ten models for MACSJ0416.1-2403, which were made public in 2015, by contrasting them with new spectroscopic redshifts that were measured in 2016 (Caminha et al. 2017). We developed an independent comparison method that uses the source plane root-mean-square as a metric of lensing model performance. Our analysis quantifies the ability of models to predict unknown multiple images. We examine the source plane scatter of multiply-imaged systems and explore dependence of the scatter on the location and the redshift of the background sources. The analysis we present evaluates the performance of the different algorithms in the specific case of the MACSJ0416.1-2403 models.
△ Less
Submitted 9 July, 2018;
originally announced July 2018.
-
Modelling High-Frequency Backscattering from a Mesh of Curved Surfaces Using Kirchhoff Approximation
Authors:
Edmundo Lavia,
Juan D. Gonzalez,
Silvia Blanc
Abstract:
The Kirchhoff approximation (K-A) to calculate the acoustic backscattering of a complex structure can be evaluated using a discretized version of its surface (i.e. a $\textit{mesh}$). From the computational viewpoint, the most accesible approach is the one based on flat facets. However, in the high frequency range, where the K-A provides good agreement and is therefore applicable, it requires a me…
▽ More
The Kirchhoff approximation (K-A) to calculate the acoustic backscattering of a complex structure can be evaluated using a discretized version of its surface (i.e. a $\textit{mesh}$). From the computational viewpoint, the most accesible approach is the one based on flat facets. However, in the high frequency range, where the K-A provides good agreement and is therefore applicable, it requires a mesh with such a large number of facets that it turns impractical. To avoid these difficulties a mesh of curved triangles can be used to model the scatterer's complex structure. Previous computational implementations reported in the literature did not accomplish satisfactory results for high frequency. In this work we propose a numerical model based upon an iterative integration using Gauss-Legendre rules. The model was validated against exact solutions and led us to achieve adequate results in the high-frequency range.
△ Less
Submitted 13 June, 2018; v1 submitted 17 May, 2018;
originally announced May 2018.
-
On expansions of non-abelian free groups by cosets of a finite index subgroup
Authors:
Javier de la Nuez González
Abstract:
Let $F$ be a finitely generated non-abelian free group and $Q$ a finite quotient. Denote by $L_Q$ the language obtained by adding unary predicates $P_q$, $q\in Q$ to the language of groups. Using a slight generalization of some of the techniques involved in Zlil Sela's solution to Tarskiś problem on the elementary theory of non-abelian free groups, we provide a few basic results on the validity of…
▽ More
Let $F$ be a finitely generated non-abelian free group and $Q$ a finite quotient. Denote by $L_Q$ the language obtained by adding unary predicates $P_q$, $q\in Q$ to the language of groups. Using a slight generalization of some of the techniques involved in Zlil Sela's solution to Tarskiś problem on the elementary theory of non-abelian free groups, we provide a few basic results on the validity of first order entences in the $L_Q$-expansion of $F$ in which every $P_q$ is interpreted as the preimage of $q$ in $F$. In particular we prove an analogous result to Sela's generalization of Merzlyakov's theorem on $\forall\exists$-sentences and show that the positive theory depends only on $Q$ and neither on the rank of $F$ nor the particular quotient map.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
-
A Computational Method to Calculate the Exact Solution for Acoustic Scattering by Fluid Spheroids
Authors:
Juan D. González,
Edmundo F. Lavia,
Silvia Blanc
Abstract:
The problem of scattering of harmonic plane acoustic waves by fluid spheroids (prolate and oblate) is addressed from an analytical approach. Mathematically, it consists in solving the Helmholtz equation in an unbounded domain with Sommerfeld radiation condition at infinity. The domain where propagation takes place is characterised by density and sound speed values $ρ_0$ and $c_0$, respectively, wh…
▽ More
The problem of scattering of harmonic plane acoustic waves by fluid spheroids (prolate and oblate) is addressed from an analytical approach. Mathematically, it consists in solving the Helmholtz equation in an unbounded domain with Sommerfeld radiation condition at infinity. The domain where propagation takes place is characterised by density and sound speed values $ρ_0$ and $c_0$, respectively, while $ρ_1$ and $c_1$ are the corresponding density and sound speed values of an immersed object that is responsible of the scattered field. Since Helmholtz equation is separable in prolate/oblate spheroidal coordinates, its exact solution for the scattered field can be expressed as an expansion on prolate/oblate spheroidal functions multiplied by coefficients whose values depend upon the boundary conditions verified at the medium-immersed fluid obstacle interface. The general case ($c_0 \neq c_1$) is cumbersome because it requires to solve successive matrix systems that are ill-conditioned when $c_1/c_0$ is far from unity. In this paper, a numerical implementation of the general exact solution that is valid for any range of eccentricity values and for $c_0 \neq c_1$, is provided. The high level solver code has been written in the Julia programming language while a software package recently released in the literature has been used to compute the spheroidal functions. Several limit cases (Dirichlet and Neumann boundary conditions, spheroid tending to sphere) have been satisfactorily verified using the implemented code. The corresponding example scripts can be downloaded from the authors' web (GitHub) site. Additionally, the new code has been used to extend results reported in the literature.
△ Less
Submitted 29 June, 2018; v1 submitted 1 March, 2016;
originally announced March 2016.