Genesis Cosmology is the combination of Genesis and a cosmology model for the description of the first three days in Genesis. The first day involves the emergence of the separation of light and darkness from the formless, empty, and dark pre-universe in Genesis, corresponding to the emergence of the current asymmetrical dual universe: the light universe and the dark universe from the simple and dark pre-universe in Genesis Cosmology. The three stages of the pre-universe are the strong, the gravitational, and the charged pre-universes for the emergences of the strong, the gravitational, and the electromagnetic force fields, respectively. The light universe is the current observable universe, while the dark universe is sometimes hidden, and sometimes observable as dark energy. The second day involves the separation of waters from above and below the expanse in Genesis, corresponding to the separation of dark matter and baryonic matter from above and below the interface between dark matter and baryonic matter for the formation of galaxies in Genesis Cosmology. The repulsive MOND force between dark matter and baryonic matter exists in the interface between dark matter and baryonic matt
The galilean genesis scenario is an alternative to inflation in which the universe starts expanding from Minkowski in the asymptotic past by violating the null energy condition stably. Several concrete models of galilean genesis have been constructed so far within the context of galileon-type scalar-field theories. We give a generic, unified description of the galilean genesis scenario in terms of the Horndeski theory, i.e., the most general scalar-tensor theory with second-order field equations. In doing so we generalize the previous models to have a new parameter (denoted by α) which results in controlling the evolution of the Hubble rate. The background dynamics is investigated to show that the generalized galilean genesis solution is an attractor, similarly to the original model. We also study the nature of primordial perturbations in the generalized galilean genesis scenario. In all the models described by our generalized genesis Lagrangian, amplification of tensor perturbations does not occur as opposed to what happens in quasi-de Sitter inflation. We show that the spectral index of curvature perturbations is determined solely from the parameter α and does not depend on the o
We study spatially flat bouncing cosmologies and models with the early-time Genesis epoch in a popular class of generalized Galileon theories. We ask whether there exist solutions of these types which are free of gradient and ghost instabilities. We find that irrespectively of the forms of the Lagrangian functions, the bouncing models either are plagued with these instabilities or have singularities. The same result holds for the original Genesis model and its variants in which the scale factor tends to a constant as $t\to -\infty$. The result remains valid in theories with additional matter that obeys the Null Energy Condition and interacts with the Galileon only gravitationally. We propose a modified Genesis model which evades our no-go argument and give an explicit example of healthy cosmology that connects the modified Genesis epoch with kination (the epoch still driven by the Galileon field, which is a conventional massless scalar field at that stage).
Over the past decades automated debugging has seen major achievements. However, as debugging is by necessity attached to particular programming paradigms, the results are scattered. The aims of the workshop are to gather common themes and solutions across programming communities, and to cross-fertilize ideas. AADEBUG 2000 in Munich follows AADEBUG'93 in Linkoeping, Sweden; AADEBUG'95 in Saint Malo, France; AADEBUG'97 in Linkoeping, Sweden.
Scientific machine learning (SciML) methods such as physics-informed neural networks (PINNs) are used to estimate parameters of interest from governing equations and small quantities of data. However, there has been little work in assessing how well PINNs perform for inverse problems across wide ranges of governing equations across the mathematical sciences. We present a new and challenging benchmark problem for inverse PINNs based on a parametric sweep of the 2D Burgers' equation with rotational flow. We show that a novel strategy that alternates between first- and second-order optimization proves superior to typical first-order strategies for estimating parameters. In addition, we propose a novel data-driven method to characterize PINN effectiveness in the inverse setting. PINNs' physics-informed regularization enables them to leverage small quantities of data more efficiently than the data-driven baseline. However, both PINNs and the baseline can fail to recover parameters for highly inviscid flows, motivating the need for further development of PINN methods.
We estimate the number of street vendors in New York City. First, we summarize the process by which vendors receive licenses and permits to operate legally in New York City. We then describe a survey that was administered by the Street Vendor Project while distributing coronavirus relief aid to vendors operating in New York City both with and without a license or permit. Finally, we review ratio estimation and develop a theoretical justification based on the theory of point processes. We find approximately 23,000 street vendors operate in New York City: 20,500 mobile food vendors and 2,400 general merchandise vendors. One third are located in just six ZIP Codes: 11368 (16%), 11372 (3%), and 11354 (3%) in North and West Queens and 10036 (5%), 10019 (4%), and 10001 (3%) in the Chelsea and Clinton neighborhoods of Manhattan. Our estimates suggest the American Community Survey misses the majority of New York City street vendors.
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
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
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
To reduce waste and improve public health and sanitation in New York City, innovative policies tailored to the city's unique urban landscape are necessary. The first program we propose is the Dumpster and Compost Accessibility Program. This program is affordable and utilizes dumpsters placed near fire hydrants to keep waste off the street without eliminating parking spaces. It also includes legal changes and the provision of compost bins to single/two-family households, which together will increase composting rates. The second program is the Pay-As-You-Throw Program. This requires New Yorkers living in single/two-family households to purchase stickers for each refuse bag they have collected by the city, incentivizing them to sort out compostable waste and recyclables. We conduct a weighted multi-objective optimization to determine the optimal sticker price based on the City's priorities. Roughly in proportion to the price, this program will increase diversion rates and decrease the net costs to New York City's Department of Sanitation. In conjunction, these two programs will improve NYC's diversion rates, eliminate garbage bags from the streets, and potentially save New York City m
Learning new tasks and skills in succession without losing prior learning (i.e., catastrophic forgetting) is a computational challenge for both artificial and biological neural networks, yet artificial systems struggle to achieve parity with their biological analogues. Mammalian brains employ numerous neural operations in support of continual learning during sleep. These are ripe for artificial adaptation. Here, we investigate how modeling three distinct components of mammalian sleep together affects continual learning in artificial neural networks: (1) a veridical memory replay process observed during non-rapid eye movement (NREM) sleep; (2) a generative memory replay process linked to REM sleep; and (3) a synaptic downscaling process which has been proposed to tune signal-to-noise ratios and support neural upkeep. We find benefits from the inclusion of all three sleep components when evaluating performance on a continual learning CIFAR-100 image classification benchmark. Maximum accuracy improved during training and catastrophic forgetting was reduced during later tasks. While some catastrophic forgetting persisted over the course of network training, higher levels of synaptic do
To enable innovative applications and services, both industry and academia are exploring new technologies for sixth generation (6G) communications. One of the promising candidates is fluid antenna system (FAS). Unlike existing systems, FAS is a novel communication technology where its antenna can freely change its position and shape within a given space. Compared to the traditional systems, this unique capability has the potential of providing higher diversity and interference-free communications. Nevertheless, the performance limits of FAS remain unclear as its system properties are difficult to analyze. To address this, we approximate the outage probability and diversity gain of FAS in closed-form expressions. We then propose a suboptimal FAS with $N^{*}$ ports, where a significant gain can be obtained over FAS with $N^{*}-1$ ports whilst FAS with $N^{*}+1$ ports only yields marginal improvement over the proposed suboptimal FAS. In this paper, we also provide analytical and simulation results to unfold the key factors that affect the performance of FAS. Limited to systems with one active radio frequency (RF)-chain, we show that the proposed suboptimal FAS outperforms single-anten
The lithium abundances of planet-harbouring stars have been compared with those of open clusters and field stars. Young (chromospherically active) and subgiant stars have been eliminated from the comparison because they are at different stages of evolution and Li processing to the planet-harbouring stars, and hence have systematically higher Li abundances. The analysis showed that the Li abundances of the planet-harbouring stars are indistinguishable from those of non-planet-harbouring stars of the same age, temperature, and composition. This conclusion is opposite to that arrived at by Gonzalez & Laws (2000); it is believed that the field star sample used by them contained too wide a range of ages, evolutionary types, and temperatures to be accommodated by the model they adopted to describe the dependence on parameters. Li does not appear set to provide key insights into the formation and evolution of planetary systems.
A new determination of WFPC2 photometric corrections is presented, using HSTphot reduction of the WFPC2 Omega Centauri and NGC 2419 observations from January 1994 through March 2000 and a comparison with ground-based photometry. No evidence is seen for any position-independent photometric offsets (the "long-short anomaly"); all systematic errors appear to be corrected with the CTE and zero point solution. The CTE loss time dependence is determined to be very significant in the Y direction, causing time-independent CTE solutions (Stetson 1998; Saha, Lambert, & Prosser 2000) to be valid only for a small range of times. On average, the present solution produces corrections similar to Whitmore, Heyer, & Casertano (1999), although with an improved functional form that produces less scatter in the residuals and determined with roughly a year of additional data. In addition to the CTE loss characterization, zero point corrections are also determined as functions of chip, gain, filter, and temperature. Of interest, there are chip-to-chip differences of order 0.01-0.02 magnitudes relative to the Holtzman et al. (1995) calibrations, and the present study provides empirical zero point
This article gives an elementary introduction to quantum computing. It is a draft for a book chapter of the "Handbook of Nature-Inspired and Innovative Computing", Eds. A. Zomaya, G.J. Milburn, J. Dongarra, D. Bader, R. Brent, M. Eshaghian-Wilner, F. Seredynski (Springer, Berlin Heidelberg New York, 2006).
We summarize the experimental and theoretical results presented in the "Physics at the Highest Q^2 and p^2_t" working group at the DIS 2000 Workshop. High Q^2 and p^2_t processes measured at current and future colliders allow to improve our knowledge of Standard Model (SM) physics, by providing precise measurements of the SM parameters and, consequently, consistency checks of the SM. Moreover, they give information on key quantities for the calculation of the SM expectations in a yet unexplored domain, such as the parton densities of the proton or the photon. In addition to these experimental inputs, higher-order calculations are also needed to obtain precise expectations for SM processes, which are a key ingredient for the searches for new phenomena in high Q^2 and p^2_t processes at current and future experiments. The experimental and theoretical status of SM physics at high Q^2 and p^2_t is reviewed in the first part of this summary, with the remaining being dedicated to physics beyond the Standard Model.
We describe the CoNLL-2000 shared task: dividing text into syntactically related non-overlapping groups of words, so-called text chunking. We give background information on the data sets, present a general overview of the systems that have taken part in the shared task and briefly discuss their performance.
The new 1.4 MeV/u front end HSI (HochStromInjektor) of the Unilac accelerates ions with A/q ratios of up to 65 and with beam intensities in emA of up to 0.25 A/q. The maximum beam pulse power is up to 1300 kW. During the stepwise linac commissioning from April to Septem-ber 1999 the beam behind of each cavity was analysed within two weeks. A very stable Ar1+ beam out of a vol-ume plasma source MUCIS was used mainly. The meas-ured norm. 80 % emittance areas around 0.45 pi mm mrad are close to the results from beam simulations. Up to 80 % of the design intensity at the linac exit were achieved. In February 2000 an U4+ beam from the MEVVA source was accelerated for the first time.
We present results from a series of NRQCD simulations of the charmonium system, both in the quenched approximation and with n_f = 2 dynamical quarks. The spectra show evidence for quenching effects of ~10% in the S- and P-hyperfine splittings. We compare this with other systematic effects. Improving the NRQCD evolution equation altered the S-hyperfine by as much as 20 MeV, and we estimate radiative corrections may be as large as 40%.
On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of $\sim$1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg$^2$ at a luminosity distance of $40^{+8}_{-8}$ Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Msun. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at $\sim$40 Mpc) less than 11 hours after the merger by the One-Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded