-
Cosmic Ray Anisotropy with 11 Years of IceCube Data
Authors:
Frank McNally,
Rasha Abbasi,
Paolo Desiati,
Juan Carlos Díaz Vélez,
Christina Cochling,
Katherine Gruchot,
William Hayes,
Andrew Moy,
Emily Schmidt,
Andrew Thorpe
Abstract:
The IceCube Observatory provides our highest-statistics picture of the cosmic-ray arrival directions in the Southern Hemisphere, with over 700 billion cosmic-ray-induced muon events collected between May 2011 and May 2022. Using the larger data volume, we find an improved significance of the PeV cosmic ray anisotropy down to scales of $6^\circ$. In addition, we observe a variation in the angular p…
▽ More
The IceCube Observatory provides our highest-statistics picture of the cosmic-ray arrival directions in the Southern Hemisphere, with over 700 billion cosmic-ray-induced muon events collected between May 2011 and May 2022. Using the larger data volume, we find an improved significance of the PeV cosmic ray anisotropy down to scales of $6^\circ$. In addition, we observe a variation in the angular power spectrum as a function of energy, hinting at a relative decrease in large-scale features above 100 TeV. The data-taking period covers a complete solar cycle, providing new insight into the time variability of the signal. We present preliminary results using this up-to-date event sample.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
Successful Kinetic Impact into an Asteroid for Planetary Defense
Authors:
R. Terik Daly,
Carolyn M. Ernst,
Olivier S. Barnouin,
Nancy L. Chabot,
Andrew S. Rivkin,
Andrew F. Cheng,
Elena Y. Adams,
Harrison F. Agrusa,
Elisabeth D. Abel,
Amy L. Alford,
Erik I. Asphaug,
Justin A. Atchison,
Andrew R. Badger,
Paul Baki,
Ronald-L. Ballouz,
Dmitriy L. Bekker,
Julie Bellerose,
Shyam Bhaskaran,
Bonnie J. Buratti,
Saverio Cambioni,
Michelle H. Chen,
Steven R. Chesley,
George Chiu,
Gareth S. Collins,
Matthew W. Cox
, et al. (76 additional authors not shown)
Abstract:
While no known asteroid poses a threat to Earth for at least the next century, the catalog of near-Earth asteroids is incomplete for objects whose impacts would produce regional devastation. Several approaches have been proposed to potentially prevent an asteroid impact with Earth by deflecting or disrupting an asteroid. A test of kinetic impact technology was identified as the highest priority sp…
▽ More
While no known asteroid poses a threat to Earth for at least the next century, the catalog of near-Earth asteroids is incomplete for objects whose impacts would produce regional devastation. Several approaches have been proposed to potentially prevent an asteroid impact with Earth by deflecting or disrupting an asteroid. A test of kinetic impact technology was identified as the highest priority space mission related to asteroid mitigation. NASA's Double Asteroid Redirection Test (DART) mission is the first full-scale test of kinetic impact technology. The mission's target asteroid was Dimorphos, the secondary member of the S-type binary near-Earth asteroid (65803) Didymos. This binary asteroid system was chosen to enable ground-based telescopes to quantify the asteroid deflection caused by DART's impact. While past missions have utilized impactors to investigate the properties of small bodies those earlier missions were not intended to deflect their targets and did not achieve measurable deflections. Here we report the DART spacecraft's autonomous kinetic impact into Dimorphos and reconstruct the impact event, including the timeline leading to impact, the location and nature of the DART impact site, and the size and shape of Dimorphos. The successful impact of the DART spacecraft with Dimorphos and the resulting change in Dimorphos's orbit demonstrates that kinetic impactor technology is a viable technique to potentially defend Earth if necessary.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications
Authors:
Alex Gu,
Tamara Mitrovska,
Daniela Velez,
Jacob Andreas,
Armando Solar-Lezama
Abstract:
We introduce ObSynth, an interactive system leveraging the domain knowledge embedded in large language models (LLMs) to help users design object models from high level natural language prompts. This is an example of specification reification, the process of taking a high-level, potentially vague specification and reifying it into a more concrete form. We evaluate ObSynth via a user study, leading…
▽ More
We introduce ObSynth, an interactive system leveraging the domain knowledge embedded in large language models (LLMs) to help users design object models from high level natural language prompts. This is an example of specification reification, the process of taking a high-level, potentially vague specification and reifying it into a more concrete form. We evaluate ObSynth via a user study, leading to three key findings: first, object models designed using ObSynth are more detailed, showing that it often synthesizes fields users might have otherwise omitted. Second, a majority of objects, methods, and fields generated by ObSynth are kept by the user in the final object model, highlighting the quality of generated components. Third, ObSynth altered the workflow of participants: they focus on checking that synthesized components were correct rather than generating them from scratch, though ObSynth did not reduce the time participants took to generate object models.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Using TeV Cosmic Rays to probe the Heliosphere's Boundary with the Local Interstellar Medium
Authors:
Paolo Desiati,
Juan Carlos Díaz Vélez,
Gwenael Giacinti,
Francesco Longo,
Elena Orlando,
Nikolai Pogorelov,
Ming Zhang
Abstract:
The heliosphere is the magnetic structure formed by the Sun's atmosphere extending into the local interstellar medium (ISM). The boundary separating the heliosphere from the ISM is a still largely unexplored region of space. Even though both Voyager spacecraft entered the local ISM and are delivering data, they are two points piercing a vast region of space at specific times. The heliospheric boun…
▽ More
The heliosphere is the magnetic structure formed by the Sun's atmosphere extending into the local interstellar medium (ISM). The boundary separating the heliosphere from the ISM is a still largely unexplored region of space. Even though both Voyager spacecraft entered the local ISM and are delivering data, they are two points piercing a vast region of space at specific times. The heliospheric boundary regulates the penetration of MeV- GeV galactic cosmic rays (CR) in the inner heliosphere. Interstellar keV neutral atoms are crucial to the outer heliosphere since they can penetrate unperturbed and transfer energy to the solar wind. Missions such as NASA's IBEX and Cassini are designed to detect neutral atoms and monitor charge exchange processes at the heliospheric boundary. The heliosphere does not modulate the TeV CR intensity, but it does influence their arrival direction distribution. Ground-based CR observatories have provided accurate maps of CR anisotropy as a function of energy in the last couple of decades. Combining observations to produce all-sky coverage makes it possible to investigate the heliosphere's impact on TeV CR particles. We can numerically calculate the pristine TeV CR distribution in the local ISM with state-of-the-art heliosphere models. Only by subtracting the heliospheric influence is it possible to use TeV CR observations to infer propagation properties and the characteristics of magnetic turbulence in the ISM. Numerical calculations of CR particle trajectories through heliospheric models provide a complementary tool to probe the boundary region properties. A program boosting heliospheric modeling with emphasis on the boundary region and promoting combined CR experimental data analyses from multiple experiments benefits CR astrophysics and provides additional data and tools to explore the interaction between the heliosphere and the local ISM.
△ Less
Submitted 16 September, 2022;
originally announced September 2022.
-
Discrete diffusion-type equation on regular graphs and its applications
Authors:
Carlos A. Cadavid,
Paulina Hoyos,
Jay Jorgenson,
Lejla Smajlović,
Juan D. Vélez
Abstract:
We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further…
▽ More
We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further, we develop three applications. The first one is to derive a general trace formula that relates the spectral data on $X$ to its topological data. Though we emphasize the results in the case when $X$ is finite, our method also applies when $X$ has a countably infinite number of vertices. As a second application, we obtain a closed-form expression for the return time probability distribution of the uniform random walk on any $(q+1)$-regular graph. The expression is obtained by relating $K_{X}(x,x_{0};t)$ to the uniform random walk on a $(q+1)$-regular graph. We then show that if $\{X_{h}\}$ is a sequence of $(q+1)$-regular graphs whose number of vertices goes to infinity and which satisfies a certain natural geometric condition, then the limit of the return time probability distributions from $\{X_{h}\}$ is equal to the return time probability distribution on the tree $T_{q+1}$. As a third application, we derive formulas which express the number of distinct closed irreducible walks without tails on a finite graph $X$ in terms of moments of the spectrum of its adjacency matrix.
△ Less
Submitted 23 March, 2023; v1 submitted 24 August, 2022;
originally announced August 2022.
-
"If it didn't happen, why would I change my decision?": How Judges Respond to Counterfactual Explanations for the Public Safety Assessment
Authors:
Yaniv Yacoby,
Ben Green,
Christopher L. Griffin Jr.,
Finale Doshi Velez
Abstract:
Many researchers and policymakers have expressed excitement about algorithmic explanations enabling more fair and responsible decision-making. However, recent experimental studies have found that explanations do not always improve human use of algorithmic advice. In this study, we shed light on how people interpret and respond to counterfactual explanations (CFEs) -- explanations that show how a m…
▽ More
Many researchers and policymakers have expressed excitement about algorithmic explanations enabling more fair and responsible decision-making. However, recent experimental studies have found that explanations do not always improve human use of algorithmic advice. In this study, we shed light on how people interpret and respond to counterfactual explanations (CFEs) -- explanations that show how a model's output would change with marginal changes to its input(s) -- in the context of pretrial risk assessment instruments (PRAIs). We ran think-aloud trials with eight sitting U.S. state court judges, providing them with recommendations from a PRAI that includes CFEs. We found that the CFEs did not alter the judges' decisions. At first, judges misinterpreted the counterfactuals as real -- rather than hypothetical -- changes to defendants. Once judges understood what the counterfactuals meant, they ignored them, stating their role is only to make decisions regarding the actual defendant in question. The judges also expressed a mix of reasons for ignoring or following the advice of the PRAI without CFEs. These results add to the literature detailing the unexpected ways in which people respond to algorithms and explanations. They also highlight new challenges associated with improving human-algorithm collaborations through explanations.
△ Less
Submitted 28 August, 2022; v1 submitted 11 May, 2022;
originally announced May 2022.
-
From $p$-Values to Posterior Probabilities of Hypothesis
Authors:
D. Vélez,
L. R. Pericchi,
M. E. Pérez
Abstract:
Minimum Bayes factors are commonly used to transform two-sided p-values to lower bounds on the posterior probability of the null hypothesis, as in Pericchi et al. (2017). In this article, we show posterior probabilities of hypothesis by transforming the commonly used -eplog(p), proposed by Vovk (1993) and Sellke et al. (2001). This is achieved after adjusting this minimum Bayes factor with the inf…
▽ More
Minimum Bayes factors are commonly used to transform two-sided p-values to lower bounds on the posterior probability of the null hypothesis, as in Pericchi et al. (2017). In this article, we show posterior probabilities of hypothesis by transforming the commonly used -eplog(p), proposed by Vovk (1993) and Sellke et al. (2001). This is achieved after adjusting this minimum Bayes factor with the information to approximate it to an exact Bayes factor, not only when p is a p-value but also when p is a pseudo p-value in the sense of Casella and Berger (2001). Additionally, we show the fit to a refined version to linear models.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
On an approach for evaluating certain trigonometric character sums using the discrete time heat kernel
Authors:
Carlos A. Cadavid,
Paulina Hoyos,
Jay Jorgenson,
Lejla Smajlović,
Juan D. Vélez
Abstract:
In this article we develop a general method by which one can explicitly evaluate certain sums of $n$-th powers of products of $d\geq 1$ elementary trigonometric functions evaluated at $\mathbf{m}=(m_1,\ldots,m_d)$-th roots of unity. Our approach is to first identify the individual terms in the expression under consideration as eigenvalues of a discrete Laplace operator associated to a graph whose…
▽ More
In this article we develop a general method by which one can explicitly evaluate certain sums of $n$-th powers of products of $d\geq 1$ elementary trigonometric functions evaluated at $\mathbf{m}=(m_1,\ldots,m_d)$-th roots of unity. Our approach is to first identify the individual terms in the expression under consideration as eigenvalues of a discrete Laplace operator associated to a graph whose vertices form a $d$-dimensional discrete torus $G_{\mathbf{m}}$ which depends on $\mathbf{m}$. The sums in question are then related to the $n$-th step of a Markov chain on $G_{\mathbf{m}}$. The Markov chain admits the interpretation as a particular random walk, also viewed as a discrete time and discrete space heat diffusion, so then the sum in question is related to special values of the associated heat kernel. Our evaluation follows by deriving a combinatorial expression for the heat kernel, which is obtained by periodizing the heat kernel on the infinite lattice $\mathbb{Z}^{d}$ which covers $G_{\mathbf{m}}$.
△ Less
Submitted 23 October, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Composition Sensitivity (for the Cosmic Ray Anisotropy with SWGO)
Authors:
A. M. Taylor,
G. Giacinti,
P. Desiati,
J. C. Diaz Velez,
A. Chiavassa,
G. Di Sciascio,
J. C. Arteaga Velazquez,
S. Kunwar
Abstract:
A number of cosmic-ray observatories have measured a change in both phase and amplitude of the dipole component in the distribution of cosmic-ray arrival directions above a primary energy of 100 TeV. We focus on probing the cosmic-ray dipole and multipole evolution in the energy region of mutli TeV to beyond PeV with a future large-area gamma-ray observatory, such as the Southern Wide-field Gamma-…
▽ More
A number of cosmic-ray observatories have measured a change in both phase and amplitude of the dipole component in the distribution of cosmic-ray arrival directions above a primary energy of 100 TeV. We focus on probing the cosmic-ray dipole and multipole evolution in the energy region of mutli TeV to beyond PeV with a future large-area gamma-ray observatory, such as the Southern Wide-field Gamma-ray Observatory (SWGO). The ability to discriminate between different mass groups is essential to understand the origin of this evolution. Through a consideration of the energy and mass resolution for cosmic-ray detection by such an observatory, we estimate its separation power for decomposing the full-particle anisotropy into mass groups. In particular, we explore the feasibility of probing the dipole evolution with rigidity with SWGO. In this way, we demonstrate the great potential that this instrument offers for providing a deeper understanding of the origin of the cosmic-ray anisotropy.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.
-
Observation of Cosmic Ray Anisotropy with Nine Years of IceCube Data
Authors:
Frank McNally,
Rasha Abbasi,
Paolo Desiati,
Juan Carlos Díaz Vélez,
Timothy Aguado,
Katherine Gruchot,
Andrew Moy,
Alexander Simmons,
Andrew Thorpe,
Hannah Woodward
Abstract:
The IceCube Observatory has collected over 577 billion cosmic-ray induced muon events in its final configuration from May 2011 to May 2020. We used this data set to provide an unprecedented statistically accurate map of the cosmic ray arrival direction distribution in the TeV-PeV energy range scale in the Southern Hemisphere. Such an increase in event statistics makes it possible to extend the sen…
▽ More
The IceCube Observatory has collected over 577 billion cosmic-ray induced muon events in its final configuration from May 2011 to May 2020. We used this data set to provide an unprecedented statistically accurate map of the cosmic ray arrival direction distribution in the TeV-PeV energy range scale in the Southern Hemisphere. Such an increase in event statistics makes it possible to extend the sensitivity to anisotropies at higher cosmic ray energies and smaller angular scales. It will also facilitate a more detailed assessment of the observatory stability over both short- and long-time scales. This will enable us to study the time variability of the cosmic ray anisotropy on a yearly-base and over the entire data sample period covering most of the solar cycle 24. We present the preliminary results from the study with the extended event sample.
△ Less
Submitted 23 July, 2021;
originally announced July 2021.
-
On the Topological Structure of the (Non-) Finitely-generated Locus of Frobenius Algebras emerging from Stanley-Reisner Rings
Authors:
Edisson Gallego,
Juan D. Vélez,
Sergio D. Molina-Aristizabal,
Juan P. Hernandez-Rodas,
Danny A. J. Gómez-Ramírez
Abstract:
In this paper we study initial topological properties of the (non-)finitely-generated locus of Frobenius Algebra coming from Stanley-Reisner rings defined through face ideals. More specifically, we will give a partial answer to a conjecture made by M. Katzman about the openness of the finitely generated locus of such Frobenius algebras. This conjecture can be formulated in a precise manner: Let us…
▽ More
In this paper we study initial topological properties of the (non-)finitely-generated locus of Frobenius Algebra coming from Stanley-Reisner rings defined through face ideals. More specifically, we will give a partial answer to a conjecture made by M. Katzman about the openness of the finitely generated locus of such Frobenius algebras. This conjecture can be formulated in a precise manner: Let us define
\begin{equation*} U=\{P\in \text{Spec}(R)~:~\mathcal{F}(E_{R_{p}})~\text{is a finitely generated}~R_{p}\text{-algebra}\} \end{equation*} where $\mathcal{F}$ denotes the Frobenius functor and $E_{R_{p}}$ the injective hull of the residual field of the local ring $(R_{p},pR_{p})$. Is the locus $U$ an open set in the Zariski Topology? In the case where $R$ is a ring of the form $R=K[[x_{1},\dots ,x_{n}]]/I,$ where $I\subset R$ is a face ideal, i.e., square-free monomial ideal, we show that the corresponding $U$ has non-empty interior. Even more, we prove that in general $U$ contains two different types of opens sets and that in specific situation its complement contains intersections of opens and closes sets in the Zariski topology. Furthermore, we explicitly verify in some non-trivial examples that $U$ is an non-trivial open set.
△ Less
Submitted 11 May, 2021;
originally announced May 2021.
-
An integer factorization algorithm which uses diffusion as a computational engine
Authors:
Carlos A. Cadavid,
Paulina Hoyos,
Jay Jorgenson,
Lejla Smajlović,
Juan D. Vélez
Abstract:
In this article we develop an algorithm which computes a divisor of an integer $N$, which is assumed to be neither prime nor the power of a prime. The algorithm uses discrete time heat diffusion on a finite graph. If $N$ has $m$ distinct prime factors, then the probability that our algorithm runs successfully is at least $p(m) = 1-(m+1)/2^{m}$. We compute the computational complexity of the algori…
▽ More
In this article we develop an algorithm which computes a divisor of an integer $N$, which is assumed to be neither prime nor the power of a prime. The algorithm uses discrete time heat diffusion on a finite graph. If $N$ has $m$ distinct prime factors, then the probability that our algorithm runs successfully is at least $p(m) = 1-(m+1)/2^{m}$. We compute the computational complexity of the algorithm in terms of classical, or digital, steps and in terms of diffusion steps, which is a concept that we define here. As we will discuss below, we assert that a diffusion step can and should be considered as being comparable to a quantum step for an algorithm which runs on a quantum computer. With this, we prove that our factorization algorithm uses at most $O((\log N)^{2})$ deterministic steps and at most $O((\log N)^{2})$ diffusion steps with an implied constant which is effective. By comparison, Shor's algorithm is known to use at most $O((\log N)^{2}\log (\log N) \log (\log \log N))$ quantum steps on a quantum computer.
As an example of our algorithm, we simulate the diffusion computer algorithm on a desktop computer and obtain factorizations of $N=33$ and $N=1363$.
△ Less
Submitted 23 January, 2023; v1 submitted 23 April, 2021;
originally announced April 2021.
-
Snowmass 2021 LoI: Determination of cosmic ray properties in the local interstellar medium with all-sky anisotropy observations
Authors:
Paolo Desiati,
Juan Carlos Díaz Vélez,
Nikolai Pogorelov,
Ming Zhang
Abstract:
Propagation of Galactic cosmic rays (CR) in the interstellar medium (ISM) is among the unsolved problems in particle astrophysics. Interpretation of CR spectrum and composition measurements and their possible link to dark matter crucially relies on our understanding of CR propagation in the Galaxy. Several air shower experiments have measured a significant anisotropy of CRs in the TeV to PeV energ…
▽ More
Propagation of Galactic cosmic rays (CR) in the interstellar medium (ISM) is among the unsolved problems in particle astrophysics. Interpretation of CR spectrum and composition measurements and their possible link to dark matter crucially relies on our understanding of CR propagation in the Galaxy. Several air shower experiments have measured a significant anisotropy of CRs in the TeV to PeV energy range. These observations hint to a complicated overlap of more than one cause: from the distribution of the CR sources in the Milky Way to the nature of such sources, from the turbulence properties of interstellar plasmas to the inhomogeneous nature of the interstellar medium. Coherent magnetic structures such as the heliosphere greatly influence the CR arrival direction distribution. It is necessary to account for and remove the heliosphere's distortion effects if we want to determine the pristine CR arrival direction distribution in the local interstellar medium (LISM), the environment surrounding the solar system up to the distance of particle mean free path. The recent availability of accurate all-sky maps of CR arrival direction distribution and the latest advancements in heliospheric modeling, make it possible to infer the CR pitch angle distribution in the LISM using a Liouville map** technique. With the interstellar CR distribution, we can study the global characteristics of CR diffusion, tap into the properties of interstellar plasma turbulence, test the recent and local CR source hypothesis, and whether clumps of dark matter have a role in the observed CR observations. The study can lead to developments aiming to a better understanding of the heliosphere, particularly the boundary region with the ISM, and additional constraints on the LISM properties.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
Initial results from the New Horizons exploration of 2014 MU69, a small Kuiper Belt Object
Authors:
S. A. Stern,
H. A. Weaver,
J. R. Spencer,
C. B. Olkin,
G. R. Gladstone,
W. M. Grundy,
J. M. Moore,
D. P. Cruikshank,
H. A. Elliott,
W. B. McKinnon,
J. Wm. Parker,
A. J. Verbiscer,
L. A. Young,
D. A. Aguilar,
J. M. Albers,
T. Andert,
J. P. Andrews,
F. Bagenal,
M. E. Banks,
B. A. Bauer,
J. A. Bauman,
K. E. Bechtold,
C. B. Beddingfield,
N. Behrooz,
K. B. Beisser
, et al. (180 additional authors not shown)
Abstract:
The Kuiper Belt is a distant region of the Solar System. On 1 January 2019, the New Horizons spacecraft flew close to (486958) 2014 MU69, a Cold Classical Kuiper Belt Object, a class of objects that have never been heated by the Sun and are therefore well preserved since their formation. Here we describe initial results from these encounter observations. MU69 is a bi-lobed contact binary with a fl…
▽ More
The Kuiper Belt is a distant region of the Solar System. On 1 January 2019, the New Horizons spacecraft flew close to (486958) 2014 MU69, a Cold Classical Kuiper Belt Object, a class of objects that have never been heated by the Sun and are therefore well preserved since their formation. Here we describe initial results from these encounter observations. MU69 is a bi-lobed contact binary with a flattened shape, discrete geological units, and noticeable albedo heterogeneity. However, there is little surface color and compositional heterogeneity. No evidence for satellites, ring or dust structures, gas coma, or solar wind interactions was detected. By origin MU69 appears consistent with pebble cloud collapse followed by a low velocity merger of its two lobes.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Increasing the Replicability for Linear Models via Adaptive Significance Levels
Authors:
D. Vélez,
M. E. Pérez,
L. R. Pericchi
Abstract:
We put forward an adaptive alpha (Type I Error) that decreases as the information grows, for hypothesis tests in which nested linear models are compared. A less elaborate adaptation was already presented in \citet{PP2014} for comparing general i.i.d. models. In this article we present refined versions to compare nested linear models. This calibration may be interpreted as a Bayes-non-Bayes comprom…
▽ More
We put forward an adaptive alpha (Type I Error) that decreases as the information grows, for hypothesis tests in which nested linear models are compared. A less elaborate adaptation was already presented in \citet{PP2014} for comparing general i.i.d. models. In this article we present refined versions to compare nested linear models. This calibration may be interpreted as a Bayes-non-Bayes compromise, of a simple translations of a Bayes Factor on frequentist terms that leads to statistical consistency, and most importantly, it is a step towards statistics that promotes replicable scientific findings.
△ Less
Submitted 5 January, 2021; v1 submitted 15 March, 2020;
originally announced March 2020.
-
The Southern Wide-Field Gamma-Ray Observatory (SWGO): A Next-Generation Ground-Based Survey Instrument for VHE Gamma-Ray Astronomy
Authors:
P. Abreu,
A. Albert,
R. Alfaro,
C. Alvarez,
R. Arceo,
P. Assis,
F. Barao,
J. Bazo,
J. F. Beacom,
J. Bellido,
S. BenZvi,
T. Bretz,
C. Brisbois,
A. M. Brown,
F. Brun,
M. Buscemi,
K. S. Caballero Mora,
P. Camarri,
A. Carramiñana,
S. Casanova,
A. Chiavassa,
R. Conceição,
G. Cotter,
P. Cristofari,
S. Dasso
, et al. (73 additional authors not shown)
Abstract:
We describe plans for the development of the Southern Wide-field Gamma-ray Observatory (SWGO), a next-generation instrument with sensitivity to the very-high-energy (VHE) band to be constructed in the Southern Hemisphere. SWGO will provide wide-field coverage of a large portion of the southern sky, effectively complementing current and future instruments in the global multi-messenger effort to und…
▽ More
We describe plans for the development of the Southern Wide-field Gamma-ray Observatory (SWGO), a next-generation instrument with sensitivity to the very-high-energy (VHE) band to be constructed in the Southern Hemisphere. SWGO will provide wide-field coverage of a large portion of the southern sky, effectively complementing current and future instruments in the global multi-messenger effort to understand extreme astrophysical phenomena throughout the universe. A detailed description of science topics addressed by SWGO is available in the science case white paper [1]. The development of SWGO will draw on extensive experience within the community in designing, constructing, and successfully operating wide-field instruments using observations of extensive air showers. The detector will consist of a compact inner array of particle detection units surrounded by a sparser outer array. A key advantage of the design of SWGO is that it can be constructed using current, already proven technology. We estimate a construction cost of 54M USD and a cost of 7.5M USD for 5 years of operation, with an anticipated US contribution of 20M USD ensuring that the US will be a driving force for the SWGO effort. The recently formed SWGO collaboration will conduct site selection and detector optimization studies prior to construction, with full operations foreseen to begin in 2026. Throughout this document, references to science white papers submitted to the Astro2020 Decadal Survey with particular relevance to the key science goals of SWGO, which include unveiling Galactic particle accelerators [2-10], exploring the dynamic universe [11-21], and probing physics beyond the Standard Model [22-25], are highlighted in red boldface.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
On Preservation Properties and a Special Algebraic Characterization of Some Stronger Forms of the Noetherian Condition
Authors:
Danny A. J. Gomez-Ramirez,
Juan D. Velez,
Edisson Gallego
Abstract:
We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is $I-$adically complete. Moreover, we offer as a direct corollary a new elementary proof of the fact that if a ring is Noetherian then the corresponding ring of forma…
▽ More
We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is $I-$adically complete. Moreover, we offer as a direct corollary a new elementary proof of the fact that if a ring is Noetherian then the corresponding ring of formal power series in finitely many variables is Noetherian. In addition, we give a counterexample showing that the `completion' condition cannot be avoided on the former theorem. Lastly, we give an elementary characterization of Noetherian commutative rings that can be decomposed as a finite direct product of fields.
△ Less
Submitted 8 September, 2017;
originally announced September 2017.
-
A General Version of the Nullstellensatz for Arbitrary Fields
Authors:
Juan D. Velez,
Danny A. J. Gomez-Ramirez,
Edisson Gallego
Abstract:
We prove a general version of Bezout's form of the Nullstellensatz for arbitrary fields. The corresponding sufficient and necessary condition only involves the local existence of multi-valued roots for each of the polynomials belonging to the ideal in consideration. Finally, this version implies the standard Nullstellensatz when the coefficient field is algebraically closed.
We prove a general version of Bezout's form of the Nullstellensatz for arbitrary fields. The corresponding sufficient and necessary condition only involves the local existence of multi-valued roots for each of the polynomials belonging to the ideal in consideration. Finally, this version implies the standard Nullstellensatz when the coefficient field is algebraically closed.
△ Less
Submitted 15 August, 2017;
originally announced August 2017.
-
Generalizations of the Direct Summand Theorem over UFD-s for some Bigenerated Extensions and an Asymptotic Version of Koh's Conjecture
Authors:
Danny A. J. Gomez-Ramirez,
Edisson Gallego,
Juan D. Velez
Abstract:
This article deals with two different problems in commutative algebra. In the first part, we give a proof of generalized forms of the Direct Summand Theorem (DST (or DCS)) for module-finite extension rings of mixed characteristic $R\subset S$ satisfying the following hypotheses: The base ring $R$ is a Unique Factorization Domain of mixed characteristic zero. We assume that $S$ is generated by two…
▽ More
This article deals with two different problems in commutative algebra. In the first part, we give a proof of generalized forms of the Direct Summand Theorem (DST (or DCS)) for module-finite extension rings of mixed characteristic $R\subset S$ satisfying the following hypotheses: The base ring $R$ is a Unique Factorization Domain of mixed characteristic zero. We assume that $S$ is generated by two elements which satisfy, either radical quadratic equations, or general quadratic equations under certain arithmetical restrictions. In the second part of this article, we discuss an asymptotic version of Koh's Conjecture. We give a model theoretical proof using "non-standard methods".
△ Less
Submitted 10 August, 2017;
originally announced August 2017.
-
Containment-Division Rings and New Characterizations of Dedekind Domains
Authors:
Danny A. J. Gomez-Ramirez,
Juan D. Velez,
Edisson Gallego
Abstract:
We introduce a new class of commutative rings with unity, namely, the Containment-Division Rings (CDR-s). We show that this notion has a very exceptional origin since it was essentially co-discovered with the qualitative help of a computer program (i.e. The Heterogeneous Tool Set (HETS)). Besides, we show that in a Noetherian setting, the CDR-s are just another way of describing Dedekind domains.…
▽ More
We introduce a new class of commutative rings with unity, namely, the Containment-Division Rings (CDR-s). We show that this notion has a very exceptional origin since it was essentially co-discovered with the qualitative help of a computer program (i.e. The Heterogeneous Tool Set (HETS)). Besides, we show that in a Noetherian setting, the CDR-s are just another way of describing Dedekind domains. Simultaneously, we see that for CDR-s, the Noetherian condition can be replaced by a weaker Divisor Chain Condition.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
Towards an Homological Generalization of the Direct Summand Theorem
Authors:
Juan D. Velez,
Danny A. J. Gomez-Ramirez
Abstract:
We present a more general (parametric-) homological characterization of the Direct Summand Theorem. Specifically, we state two new conjectures: the Socle-Parameter conjecture (SPC) in its weak and strong forms. We give a proof for the week form by showing that it is equivalent to the Direct Summand Conjecture (DSC), now known to be true after the work of Y. André, based on Scholze's theory of perf…
▽ More
We present a more general (parametric-) homological characterization of the Direct Summand Theorem. Specifically, we state two new conjectures: the Socle-Parameter conjecture (SPC) in its weak and strong forms. We give a proof for the week form by showing that it is equivalent to the Direct Summand Conjecture (DSC), now known to be true after the work of Y. André, based on Scholze's theory of perfectoids. Furthermore, we prove the SPC in its strong form for the case when the multiplicity of the parameters is smaller or equal than two. Finally, we present a new proof of the DSC in the equicharacteristic case, based on the techniques thus developed.
△ Less
Submitted 31 July, 2017;
originally announced July 2017.
-
On Positive-Characteristic Semi-Parametric Local-Uniform Reductions of Varieties over Finitely Generated $\mathbb{Q}$-Algebras
Authors:
Edisson Gallego,
Danny A. J. Gomez-Ramirez,
Juan D. Velez
Abstract:
We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is equivalent to the existence of a collection of local semi-parametric (positive-characteristic) reductions of such variety for almost all primes (i.e. outside a finite…
▽ More
We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is equivalent to the existence of a collection of local semi-parametric (positive-characteristic) reductions of such variety for almost all primes (i.e. outside a finite set), and such that there exists a global complexity bounding all the corresponding structures involved. Results of this kind are a fundamental tool for transferring theorems in commutative algebra from a characteristic-zero setting to a positive-characteristic one.
△ Less
Submitted 25 July, 2017;
originally announced July 2017.
-
Global parameter test ideals
Authors:
Mordechai Katzman,
Serena Murru,
Juan D. Velez,
Wenliang Zhang
Abstract:
This paper shows the existence of ideals whose localizations and completions at prime ideals are parameter test ideals of the localized and completed rings. We do this for Cohen-Macaulay localizations (resp., completions) of non-local rings, for generalized Cohen-Macaulay rings, and for non-local rings with isolated non Cohen-Macaulay points, each being an isolated non $F$-rational point. The tool…
▽ More
This paper shows the existence of ideals whose localizations and completions at prime ideals are parameter test ideals of the localized and completed rings. We do this for Cohen-Macaulay localizations (resp., completions) of non-local rings, for generalized Cohen-Macaulay rings, and for non-local rings with isolated non Cohen-Macaulay points, each being an isolated non $F$-rational point. The tools used to prove this results are constructive in nature and as a consequence our results yield algorithms for the computation of these global parameter test ideals.
Finally, we illustrate the power of our methods by analyzing the HSL numbers of local cohomology modules with support at any prime ideal.
△ Less
Submitted 8 May, 2017; v1 submitted 7 July, 2016;
originally announced July 2016.
-
q-exponential behavior of expected aggregated supply curves in deregulated electricity markets
Authors:
C. Cadavid,
M. E. Puerta,
J. D. Velez,
Juan F. Garcia
Abstract:
It has been observed that the expected aggregated supply curves of the colombian electricity market present q-exponential behavior. The purpose of this article is to present evidence supporting the fact that q-exponentiality is already present in the expected aggregated supply curve of certain extremely simple idealized deregulated electricity markets where illegal interaction among competing firm…
▽ More
It has been observed that the expected aggregated supply curves of the colombian electricity market present q-exponential behavior. The purpose of this article is to present evidence supporting the fact that q-exponentiality is already present in the expected aggregated supply curve of certain extremely simple idealized deregulated electricity markets where illegal interaction among competing firms is precluded.
△ Less
Submitted 27 January, 2016;
originally announced January 2016.
-
On the Classification of G-Graded Twisted Algebras over Finite Abelian Groups
Authors:
Juan P. Hernandez,
Juan D. Velez,
Luis A. Wills-Toro,
Edisson Gallego
Abstract:
Let G be a group and let W be an algebra over a field K. We will say that W is a G-graded twisted algebra if W can be written as a direct sum over the elements of G of one dimensional K-vector spaces. It is also assumed that W has no monomial which is a zero divisor. We also demand that W has a multiplicative identity element. We focus in the case where G is a finite abelian group and the field K…
▽ More
Let G be a group and let W be an algebra over a field K. We will say that W is a G-graded twisted algebra if W can be written as a direct sum over the elements of G of one dimensional K-vector spaces. It is also assumed that W has no monomial which is a zero divisor. We also demand that W has a multiplicative identity element. We focus in the case where G is a finite abelian group and the field K is either the real numbers or the complex numbers. In this article, using methods of group cohomology, we classify all associative G-graded twisted algebras in the case G is a finite abelian group. On the other hand, by generalizing some of the arguments developed in (Velez et. al., 2014) we present a classification of all G-graded twisted algebras that satisfy certain symmetry condition.
△ Less
Submitted 15 May, 2015;
originally announced May 2015.
-
Limits of quotients of real polynomial functions of three variables
Authors:
Juan D. Vélez,
Juan P. Hernández,
Carlos A. Cadavid
Abstract:
An algorithm for computing the limit of a quotient of bivariate real analytic functions has been developed by one of the authors in (Limits of quotients of bivariate real analytic functions, Journal of Symbolic Computation, 50, 2013, 197 207). In this paper we provide a theoretical method based on the work developed in that article to determine the existence of the limit of a quotient of two polyn…
▽ More
An algorithm for computing the limit of a quotient of bivariate real analytic functions has been developed by one of the authors in (Limits of quotients of bivariate real analytic functions, Journal of Symbolic Computation, 50, 2013, 197 207). In this paper we provide a theoretical method based on the work developed in that article to determine the existence of the limit of a quotient of two polynomial functions of three variables. An algorithm to compute such limits, in the case where the polynomials have rational coefficients, or more generally, coefficients in a real finite extension of the rationals, is also described.
△ Less
Submitted 29 April, 2016; v1 submitted 15 May, 2015;
originally announced May 2015.
-
Black Holes at the Centers of Nearby Dwarf Galaxies
Authors:
Edward C. Moran,
Karlen Shahinyan,
Hannah R. Sugarman,
Darik O. Velez,
Michael Eracleous
Abstract:
Using a distance-limited portion of the Sloan Digital Sky Survey (SDSS) Data Release 7, we have identified 28 active galactic nuclei (AGNs) in nearby (d < 80 Mpc) low-mass, low-luminosity dwarf galaxies. The accreting objects at the galaxy centers are expected to be intermediate-mass black holes (IMBHs) with M_BH < 1e6 M_sun. The AGNs were selected using several optical emission-line diagnostics a…
▽ More
Using a distance-limited portion of the Sloan Digital Sky Survey (SDSS) Data Release 7, we have identified 28 active galactic nuclei (AGNs) in nearby (d < 80 Mpc) low-mass, low-luminosity dwarf galaxies. The accreting objects at the galaxy centers are expected to be intermediate-mass black holes (IMBHs) with M_BH < 1e6 M_sun. The AGNs were selected using several optical emission-line diagnostics after careful modeling of the continuum present in the spectra. We have limited our survey to objects with spectral characteristics similar to those of Seyfert nuclei, excluding emission-line galaxies with ambiguous spectra that could be powered by stellar processes. The host galaxies in our sample are thus the least massive objects in the very local universe certain to contain central black holes. Given our focus on the nearest objects included in the SDSS, our survey is more sensitive to low-luminosity emission than previous optical searches for AGNs in low-mass galaxies. The [O III] lambda5007 luminosities of the Seyfert nuclei in our sample have a median value of L_5007 = 2e5 L_sun and extend down to 1e4 L_sun. Using published data for broad-line IMBH candidates, we have derived an [O III] bolometric correction of log (L_bol/L_5007) = 3.0 +/- 0.3, which is significantly lower than values obtained for high-luminosity AGNs. Applying this correction to our sample, we obtain minimum black-hole mass estimates that fall mainly in the 10^3 M_sun -- 10^4 M_sun range, which is roughly where the predicted mass functions for different black-hole seed formation scenarios overlap the most. In the stellar mass range that includes the bulk of the AGN host galaxies in our sample, we derive a lower limit on the AGN fraction of a few percent, indicating that active nuclei in dwarf galaxies are not as rare as previously thought.
△ Less
Submitted 19 August, 2014;
originally announced August 2014.
-
Hurwitz complete sets of factorizations in the modular group and the classification of Lefschetz elliptc fibrations over the disk
Authors:
J. D. Vélez,
C. Cadavid,
L. Moreno
Abstract:
Given any matrix B in SL(2,Z), we will describe an algorithm that provides at least one elliptic fibration over the disk, relatively minimal and Lefschetz, within each topological equivalence class, whose total monodromy is the conjugacy class of B.
Given any matrix B in SL(2,Z), we will describe an algorithm that provides at least one elliptic fibration over the disk, relatively minimal and Lefschetz, within each topological equivalence class, whose total monodromy is the conjugacy class of B.
△ Less
Submitted 23 September, 2013;
originally announced September 2013.
-
A remark on the Heat Equation and minimal Morse Functions on Tori and Spheres
Authors:
J. D. Velez,
Cadavid Carlos
Abstract:
Let (M,g) be a compact, connected riemannian manifold that is homogeneous, i.e. each pair of points p,q in M have isometric neighborhoods. This paper is a first step towards an understanding of the extent to which it is true that for each "generic" initial condition f0, the solution to the Heat Equation is such that for sufficiently large t, f(.,t) is a minimal Morse function, i.e., a Morse functi…
▽ More
Let (M,g) be a compact, connected riemannian manifold that is homogeneous, i.e. each pair of points p,q in M have isometric neighborhoods. This paper is a first step towards an understanding of the extent to which it is true that for each "generic" initial condition f0, the solution to the Heat Equation is such that for sufficiently large t, f(.,t) is a minimal Morse function, i.e., a Morse function whose total number of critical points is the minimal possible on M. In this paper we show that this is true for flat tori and round spheres in all dimensions.
△ Less
Submitted 24 January, 2013;
originally announced January 2013.
-
On the classification of G-graded twisted algebras
Authors:
Juan D. Velez,
Luis A. Wills,
Natalia Agudelo
Abstract:
Let G denote a group and let W be an algebra over a commutative ring R. We will say that W is a G-graded twisted algebra (not necessarily commutative, neither associative) if there exists a G-grading W=\bigoplus_{g \in G}W_{g} where each summand W_{g} is a free rank one R -module, and W has no monomial zero divisors (for each pair of nonzero elements w_{a},w_{b} en W_{a} and W_{b} their product is…
▽ More
Let G denote a group and let W be an algebra over a commutative ring R. We will say that W is a G-graded twisted algebra (not necessarily commutative, neither associative) if there exists a G-grading W=\bigoplus_{g \in G}W_{g} where each summand W_{g} is a free rank one R -module, and W has no monomial zero divisors (for each pair of nonzero elements w_{a},w_{b} en W_{a} and W_{b} their product is not zero, w_{a}w_{b}\neq 0). It is also assumed that W has an identity element. In this article, methods of group cohomology are used to study the general problem of classification under graded isomorphisms. We give a full description of these algebras in the associative cases, for complex and real algebras. In the nonassociative case, an analogous result is obtained under a symmetry condition of the corresponding associative function of the algebra, and when the group providing the grading is finite cyclic.
△ Less
Submitted 23 January, 2013;
originally announced January 2013.
-
Limits of quotients of real analytic functions in two variables
Authors:
Carlos A. Cadavid,
Juan D. Velez,
Sergio Molina
Abstract:
Necessary and sufficient conditions for the existence of limits of the form {equation*} \lim_{(x,y)\rightarrow (a,b)}\frac{f(x,y)}{g(x,y)} {equation*} are given, under the hipothesis that $f$ and $g$ are real analytic functions near the point $(a,b)$, and $g$ has an isolated zero at $(a,b)$. An algorithm (implemented in MAPLE 12) is also provided. This algorithm determines the existence of the lim…
▽ More
Necessary and sufficient conditions for the existence of limits of the form {equation*} \lim_{(x,y)\rightarrow (a,b)}\frac{f(x,y)}{g(x,y)} {equation*} are given, under the hipothesis that $f$ and $g$ are real analytic functions near the point $(a,b)$, and $g$ has an isolated zero at $(a,b)$. An algorithm (implemented in MAPLE 12) is also provided. This algorithm determines the existence of the limit, and computes it in case it exists. It is shown to be more powerful than the one found in the latest versions of MAPLE. The main tools used throughout are Hensel's Lemma and the theory of Puiseux series.
△ Less
Submitted 6 November, 2010;
originally announced November 2010.
-
Normal Factorization in $SL(2,Z)$ and the Confluence of Singular Fibers in Elliptic Fibrations
Authors:
Juan D. Velez,
Carlos A. Cadavid
Abstract:
In this article we obtain a result about the uniqueness of factorization in terms of conjugates of the matrix $U=(\xymatrix{1 & 1 0 & 1})$, of some matrices representing the conjugacy classes of those elements of $SL(2,Z)$ arising as the monodromy around a singular fiber in an elliptic fibration (i.e. those matrices that appear in Kodaira's list).
In this article we obtain a result about the uniqueness of factorization in terms of conjugates of the matrix $U=(\xymatrix{1 & 1 0 & 1})$, of some matrices representing the conjugacy classes of those elements of $SL(2,Z)$ arising as the monodromy around a singular fiber in an elliptic fibration (i.e. those matrices that appear in Kodaira's list).
△ Less
Submitted 31 January, 2008;
originally announced February 2008.