In this paper, we show a strong correlation between turnstile usage data of the New York City subway provided by the Metropolitan Transport Authority of New York City and COVID-19 deaths and cases reported by the New York City Department of Health. The turnstile usage data not only indicate the usage of the city's subway but also people's activity that promoted the large prevalence of COVID-19 city dwellers experienced from March to May of 2020. While this correlation is apparent, no proof has been provided before. Here we demonstrate this correlation through the application of a long short-term memory neural network. We show that the correlation of COVID-19 prevalence and deaths considers the incubation and symptomatic phases on reported deaths. Having established this correlation, we estimate the dates when the number of COVID-19 deaths and cases would approach zero after the reported number of deaths were decreasing by using the Auto-Regressive Integrated Moving Average model. We also estimate the dates when the first cases and deaths occurred by back-tracing the data sets and compare them to the reported dates.
We present a new and highly efficient algorithm for computing a power spectrum made from evenly spaced data which combines the noise-reducing advantages of the weighted fit with the computational advantages of the Fast Fourier Transform (FFT). We apply this method to a 10-year data set of the solar p-mode oscillations obtained by the Birmingham Solar Oscillations Network (BiSON) and thereby uncover three new low-frequency modes. These are the l=2, n=5 and n=7 modes and the l=3, n=7 mode. In the case of the l=2, n=5 modes, this is believed to be the first such identification of this mode in the literature. The statistical weights needed for the method are derived from a combination of the real data and a sophisticated simulation of the instrument performance. Variations in the weights are due mainly to the differences in the noise characteristics of the various BiSON instruments, the change in those characteristics over time and the changing line-of-sight velocity between the stations and the Sun. It should be noted that a weighted data set will have a more time-dependent signal than an unweighted set and that, consequently, its frequency spectrum will be more susceptible to aliasin
Fashion is a perpetual topic in human social life, and the mass has the penchant to emulate what large city residents and celebrities wear. Undeniably, New York City is such a bellwether large city with all kinds of fashion leadership. Consequently, to study what the fashion trends are during this year, it is very helpful to learn the fashion trends of New York City. Discovering fashion trends in New York City could boost many applications such as clothing recommendation and advertising. Does the fashion trend in the New York Fashion Show actually influence the clothing styles on the public? To answer this question, we design a novel system that consists of three major components: (1) constructing a large dataset from the New York Fashion Shows and New York street chic in order to understand the likely clothing fashion trends in New York, (2) utilizing a learning-based approach to discover fashion attributes as the representative characteristics of fashion trends, and (3) comparing the analysis results from the New York Fashion Shows and street-chic images to verify whether the fashion shows have actual influence on the people in New York City. Through the preliminary experiments o
Phosphorus (P) is considered to be one of the key elements for life, making it an important element to look for in the abundance analysis of spectra of stellar systems. Yet, there exists only a handful of spectroscopic studies to estimate the P abundances and investigate its trend across a range of metallicities. We have observed full HK band spectra at a spectral resolving power of R=45,000 with IGRINS instrument. Abundances are determined using SME in combination with 1D MARCS stellar atmosphere models. The investigated sample of stars have reliable stellar parameters estimated using optical FIES spectra (GILD; Jönsson et al. in prep.). In order to determine the P abundances from the 16482.92 Angstrom P line, we take special care of the CO($ν=7-4$) blend. We determine the C, N, O abundances from atomic carbon and a range of non-blended molecular lines (CO, CN, OH) which are aplenty in the H band region of K giant stars, assuring an appropriate modelling of the blending CO($ν=7-4$) line. We present [P/Fe] vs [Fe/H] trend for 38 K giant stars in the metallicity range of -1.2 dex $<$ [Fe/H] $<$ 0.4 dex. We find that our trend matches well with the compiled literature sample of
A previous study of symmetric collisions of massive nuclei has shown that current models of multi-nucleon transfer (MNT) reactions do not adequately describe the transfer product yields. To gain further insight into this problem, we have measured the yields of MNT products in the interaction of 977 (E/A = 4.79 MeV) and 1143 MeV (E/A = 5.60 MeV) $^{204}$Hg with $^{208}$Pb. We find that the yield of multi-nucleon transfer products are similar in these two reactions and are substantially lower than those observed in the reaction of 1257 MeV (E/A = 6.16 MeV) $^{204}$Hg + $^{198}$Pt. We compare our measurements with the predictions of the GRAZING-F, di-nuclear systems (DNS) and improved quantum molecular dynamics (ImQMD) models. For the observed isotopes of the elements Au, Hg, Tl, Pb and Bi, the measured values of the MNT cross sections are orders of magnitude larger than the predicted values. Furthermore, the various models predict the formation of nuclides near the N=126 shell, which are not observed.
The purpose of the New York Workshop on Computer, Earth and Space Sciences is to bring together the New York area's finest Astronomers, Statisticians, Computer Scientists, Space and Earth Scientists to explore potential synergies between their respective fields. The 2011 edition (CESS2011) was a great success, and we would like to thank all of the presenters and participants for attending. This year was also special as it included authors from the upcoming book titled "Advances in Machine Learning and Data Mining for Astronomy". Over two days, the latest advanced techniques used to analyze the vast amounts of information now available for the understanding of our universe and our planet were presented. These proceedings attempt to provide a small window into what the current state of research is in this vast interdisciplinary field and we'd like to thank the speakers who spent the time to contribute to this volume.
We have investigated the toroidal analog of ellipsoidal shells of matter, which are of great significance in Astrophysics. The exact formula for the gravitational potential $Ψ(R,Z)$ of a shell with a circular section at the pole of toroidal coordinates is first established. It depends on the mass of the shell, its main radius and axis-ratio $e$ (i.e. core-to-main radius ratio), and involves the product of the complete elliptic integrals of the first and second kinds. Next, we show that successive partial derivatives $\partial^{n +m} Ψ/\partial_{R^n} \partial_{Z^m}$ are also accessible by analytical means at that singular point, thereby enabling the expansion of the interior potential as a bivariate series. Then, we have generated approximations at orders $0$, $1$, $2$ and $3$, corresponding to increasing accuracy. Numerical experiments confirm the great reliability of the approach, in particular for small-to-moderate axis ratios ($e^2 \lesssim 0.1$ typically). In contrast with the ellipsoidal case (Newton's theorem), the potential is not uniform inside the shell cavity as a consequence of the curvature. We explain how to construct the interior potential of toroidal shells with a th
In this issue we announce a fascinating series of works on the comparison of various types of convergence of sequences of functions. Some of these properties are provably related to some of the properties which were introduced in the earlier issues of the SPM Bulletin, and many problems remain open. Section 2, written by Lev Bukovský, contains a brief survey of some of the major open problems in this area. This issue gives the first example of the importance of the transmission of knowledge between the recipients of this bulletin: One of the announcements implies a solution to one of the problems posed in an independent paper announced here. looking forward to receive more announcements from other recipients and readers of the bulletin.
Gradually typed programming languages, which allow for soundly mixing static and dynamically typed programming styles, present a strong challenge for metatheorists. Even the simplest sound gradually typed languages feature at least recursion and errors, with realistic languages featuring furthermore runtime allocation of memory locations and dynamic type tags. Further, the desired metatheoretic properties of gradually typed languages have become increasingly sophisticated: validity of type-based equational reasoning as well as the relational property known as graduality. Many recent works have tackled verifying these properties, but the resulting mathematical developments are highly repetitive and tedious, with few reusable theorems persisting across different developments. In this work, we present a new denotational semantics for gradual typing developed using guarded domain theory. Guarded domain theory combines the generality of step-indexed logical relations for modeling advanced programming features with the modularity and reusability of denotational semantics. We demonstrate the feasibility of this approach with a model of a simple gradually typed lambda calculus and prove th
Eccentric planets may spend a significant portion of their orbits at large distances from their host stars, where low temperatures can cause atmospheric CO2 to condense out onto the surface, similar to the polar ice caps on Mars. The radiative effects on the climates of these planets throughout their orbits would depend on the wavelength-dependent albedo of surface CO2 ice that may accumulate at or near apoastron and vary according to the spectral energy distribution of the host star. To explore these possible effects, we incorporated a CO2 ice-albedo parameterization into a one-dimensional energy balance climate model. With the inclusion of this parameterization, our simulations demonstrated that F-dwarf planets require 29% more orbit-averaged flux to thaw out of global water ice cover compared with simulations that solely use a traditional pure water ice-albedo parameterization. When no eccentricity is assumed, and host stars are varied, F-dwarf planets with higher bond albedos relative to their M-dwarf planet counterparts require 30% more orbit-averaged flux to exit a water snowball state. Additionally, the intense heat experienced at periastron aids eccentric planets in exiting
One of the most striking and curious features of the small Kuiper Belt Object (KB), Arrokoth, explored by New Horizons, is the bright, annular neck it exhibits at the junction between its two lobes. Here we summarize past reported findings regarding the properties of this feature and report new findings regarding its dimensions, reflectivity and color, shape profile, and its lack of identifiable craters. We conclude by enumerating possible origin scenarios for this unusual feature. New results include a new measurement of the observed neck area of 8+/-1.5 km2, a total neck surface area of 32 km2, a 12.5:1 ratio of neck circumference to height, a normal reflectance histogram of the observed neck, and the fact that no significant (i.e., >2 sigma) color units were identified, meaning the neck's color is generally spatially uniform at the 1.5 km/pixel scale of the best color images. Although several origin hypotheses for the bright material in the neck are briefly discussed, none can be conclusively demonstrated to be the actual origin mechanism at this time; some future tests are identified.
Medicine, including fields in healthcare and life sciences, has seen a flurry of quantum-related activities and experiments in the last few years (although biology and quantum theory have arguably been entangled ever since Schrödinger's cat). The initial focus was on biochemical and computational biology problems; recently, however, clinical and medical quantum solutions have drawn increasing interest. The rapid emergence of quantum computing in health and medicine necessitates a mapping of the landscape. In this review, clinical and medical proof-of-concept quantum computing applications are outlined and put into perspective. These consist of over 40 experimental and theoretical studies. The use case areas span genomics, clinical research and discovery, diagnostics, and treatments and interventions. Quantum machine learning (QML) in particular has rapidly evolved and shown to be competitive with classical benchmarks in recent medical research. Near-term QML algorithms have been trained with diverse clinical and real-world data sets. This includes studies in generating new molecular entities as drug candidates, diagnosing based on medical image classification, predicting patient pe
While an integration by parts formula for the bilinear form of the hypersingular boundary integral operator for the transient heat equation in three spatial dimensions is available in the literature, a proof of this formula seems to be missing. Moreover, the available formula contains an integral term including the time derivative of the fundamental solution of the heat equation, whose interpretation is difficult at second glance. To fill these gaps we provide a rigorous proof of a general version of the integration by parts formula and an alternative representation of the mentioned integral term, which is valid for a certain class of functions including the typical tensor-product discretization spaces.
We present the results of processing the effects of the powerful Gamma Ray Burst GRB221009A captured by the charged particle detectors (electrostatic analyzers and solid-state detectors) onboard spacecraft at different points in the heliosphere on October 9, 2022. To follow the GRB221009A propagation through the heliosphere we used the electron and proton flux measurements from solar missions Solar Orbiter and STEREO-A; Earth magnetosphere and the solar wind missions THEMIS and Wind; meteorological satellites POES15, POES19, MetOp3; and MAVEN - a NASA mission orbiting Mars. GRB221009A had a structure of four bursts: less intense Pulse 1 - the triggering impulse - was detected by gamma-ray observatories at 131659 UT (near the Earth); the most intense Pulses 2 and 3 were detected on board all the spacecraft from the list, and Pulse 4 detected in more than 500 s after Pulse 1. Due to their different scientific objectives, the spacecraft, which data was used in this study, were separated by more than 1 AU (Solar Orbiter and MAVEN). This enabled tracking GRB221009A as it was propagating across the heliosphere. STEREO-A was the first to register Pulse 2 and 3 of the GRB, almost 100 secon
Multiple-input multiple-output (MIMO) system has been the defining mobile communications technology in recent generations. With the ever-increasing demands looming towards the sixth generation (6G), we are in need of additional degrees of freedom that deliver further gains beyond MIMO. To this goal, fluid antenna system (FAS) has emerged as a new way to obtain spatial diversity using reconfigurable position-switchable antennas. Considering the case with more than one ports activated on a 2D fluid antenna surface at both ends, we take the information-theoretic approach to study the achievable performance limits of the MIMO-FAS. First of all, we propose a suboptimal scheme, referred to as QR MIMO-FAS, to maximize the rate at high signal-to-noise ratio (SNR) via joint port selection, transmit and receive beamforming and power allocation. We then derive the optimal diversity and multiplexing tradeoff (DMT) of MIMO-FAS. From the DMT, we highlight that MIMO-FAS outperforms traditional MIMO antenna systems. Further, we introduce a new metric, namely q-outage capacity, which can jointly consider rate and outage probability. Through this metric, our results indicate that MIMO-FAS surpasses
The advent of the sixth-generation (6G) networks presents another round of revolution for the mobile communication landscape, promising an immersive experience, robust reliability, minimal latency, extreme connectivity, ubiquitous coverage, and capabilities beyond communication, including intelligence and sensing. To achieve these ambitious goals, it is apparent that 6G networks need to incorporate the state-of-the-art technologies. One of the technologies that has garnered rising interest is fluid antenna system (FAS) which represents any software-controllable fluidic, conductive, or dielectric structure capable of dynamically changing its shape and position to reconfigure essential radio-frequency (RF) characteristics. Compared to traditional antenna systems (TASs) with fixed-position radiating elements, the core idea of FAS revolves around the unique flexibility of reconfiguring the radiating elements within a given space. One recent driver of FAS is the recognition of its position-flexibility as a new degree of freedom (dof) to harness diversity and multiplexing gains. In this paper, we provide a comprehensive tutorial, covering channel modeling, signal processing and estimatio
The Web Bulletin Board (WBB) is a key component of verifiable election systems. It is used in the context of election verification to publish evidence of voting and tallying that voters and officials can check, and where challenges can be launched in the event of malfeasance. In practice, the election authority has responsibility for implementing the web bulletin board correctly and reliably, and will wish to ensure that it behaves correctly even in the presence of failures and attacks. To ensure robustness, an implementation will typically use a number of peers to be able to provide a correct service even when some peers go down or behave dishonestly. In this paper we propose a new protocol to implement such a Web Bulletin Board, motivated by the needs of the vVote verifiable voting system. Using a distributed algorithm increases the complexity of the protocol and requires careful reasoning in order to establish correctness. Here we use the Event-B modelling and refinement approach to establish correctness of the peered design against an idealised specification of the bulletin board behaviour. In particular we show that for n peers, a threshold of t > 2n/3 peers behaving correc
Proposed as blanket structural materials for fusion power reactors, reduced activation ferritic/martensitic (RAFM) steel undergoes volume expanding and contracting in a cyclic mode under service environment. Particularly, being subjected to significant fluxes of fusion neutrons RAFM steel suffers considerable local volume variations in the radiation damage involved regions. It is necessary to study the structure properties of the alloying elements in contraction and expansion states. In this paper we studied local substitution structures of thirteen alloying elements Al, Co, Cr, Cu, Mn, Mo, Nb, Ni, Si, Ta, Ti, V, and W in bcc Fe and calculated their substitutional energies in the volume variation range from -1.0% to 1.0%. From the structure relaxation results of the first five neighbor shells around the substitutional atom we find the relaxation in each neighbor shell keeps approximately uniform within the volume variation from -1.0% to 1.0% except those of Mn and the relaxation of the fifth neighbor shell is stronger than that of the third and forth, indicating that the lattice distortion due to the substitution atom is easier to spread in <111> direction than in other direc
In this paper, we investigate conformal Killing's vectors (CKVs) admitted by some plane symmetric spacetimes. Ten conformal Killing's equations and their general forms of CKVs are derived along with their conformal factor. The existence of conformal Killing's symmetry imposes restrictions on the metric functions. The conditions imposing restrictions on these metric functions are obtained as a set of integrability conditions. Considering the cases of time-like and inheriting CKVs, we obtain spacetimes admitting plane conformal symmetry. Integrability conditions are solved completely for some known non-conformally flat and conformally flat classes of plane symmetric spacetimes. A special vacuum plane symmetric spacetime is obtained, and it is shown that for such a metric CKVs are just the homothetic vectors (HVs). Among all the examples considered, there exists only one case with a six dimensional algebra of special CKVs admitting one proper CKV. In all other examples of non-conformally flat metrics, no proper CKV is found and CKVs are either HVs or Killing's vectors (KVs). In each of the three cases of conformally flat metrics, a fifteen dimensional algebra of CKVs is obtained of wh
This issue contains, in addition to the usual contents, a special festive announcement: A book. This book by Banakh and Zdomsky seems to be the first in a planned series by these authors. We believe that the book will become a cornerstone in many future mathematical investigations, in particular in the field of infinite-combinatorial topology. The book's preliminary version is available online, as seen in the announcement, and the readers of the SPM Bulletin are encouraged to take a look and make comments. Zdomsky has also made two detailed contributions to this issue. This is the ideal form of a contribution to the SPM Bulletin, and we urge all contributors to consider this possibility from time to time. 1 Editor's note; 2 Research announcements; 2.1 On subclasses of weak Asplund spaces; 2.2 The number of translates of a closed nowhere dense set required to cover a Polish group; 2.3 More on convexity numbers of closed sets in R^n; 2.4 A new book: Coherence of Semifilters; 3 Characterization of topological spaces with (strictly) o-bounded free topological group; 4 An equivalent of SPM Bulletin 2's Problem of the month; 5 Boise Extravaganza In Set Theory (March 25--27, 2005); 6 Prob