搜索结果：University

Abstract clones serve as an algebraic presentation of the syntax of a simple type theory. From the perspective of universal algebra, they define algebraic theories like those of groups, monoids and rings. This link allows one to study the language of simple type theory from the viewpoint of universal algebra. Programming languages, however, are much more complicated than simple type theory. Many useful features like reading, writing, and exception handling involve interacting with the environment; these are called side-effects. Algebraic presentations for languages with the appropriate syntax for handling effects are given by premulticategories and effectful multicategories. We study these structures with the aim of defining a suitable notion of an algebra. To achieve this goal, we proceed in two steps. First, we define a tensor on $[\to,\category{Set}]$, and show that this tensor along with the cartesian product gives the category a duoidal structure. Secondly, we introduce the novel notion of a multicategory enriched in a duoidal category which generalize the traditional notion of a multicategory. Further, we prove that an effectful multicategory is the same as a multicategory en

We will report on current progress in the understanding of the QCD phase diagram, including universal scaling in the chiral limit and the vicinity of the QCD critical point. In the latter case we will discuss the universal scaling of Lee-Yang zeros and their determination from multi-point Padé approximations to the baryon number density at imaginary chemical potentials. In particular, reported results include the critical phase transition temperature, the curvature of the critical and pseudo-critical transition temperature with respect to the chemical potential and the location of the QCD critical point.

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

I review the use of Type Ia supernovae (SNe Ia) in the 1998 discovery of the accelerating expansion of the Universe, as well as the subsequent use of SNe Ia to study the expansion history in more detail, determine the equation-of-state parameter w, and measure the current value of the Hubble constant. This is the lightly edited transcript of a lecture given at the Standard Model at 50 Symposium held at Case Western University, June 1-4, 2018, and thus corresponds to the state of the field in mid-2018; however, a few post-symposium updates were included in 2019. Also, this version includes at the end a brief update (December 2023) on the early-time vs. late-time Hubble tension, which has now reached a level of 5 sigma based on SNe Ia alone and is supported by several other low-redshift determinations of the Hubble constant.

Understanding how cooperation emerges in public goods games is crucial for addressing societal challenges. While optional participation can establish cooperation without identifying cooperators, it relies on specific assumptions -- that individuals abstain and receive a non-negative payoff, or that non-participants cause damage to public goods -- which limits our understanding of its broader role. We generalize this mechanism by considering non-participants' payoffs and their potential direct influence on public goods, allowing us to examine how various strategic motives for non-participation affect cooperation. Using replicator dynamics, we find that cooperation thrives only when non-participants are motivated by individualistic or prosocial values, with individualistic motivations yielding optimal cooperation. These findings are robust to mutation, which slightly enlarges the region where cooperation can be maintained through cyclic dominance among strategies. Our results suggest that while optional participation can benefit cooperation, its effectiveness is limited and highlights the limitations of bottom-up schemes in supporting public goods.

In this thesis, we present new exact solutions of Einstein-Maxwell's field equations, with the most general case being the dyonic Kerr-Newman black hole in a Melvin-swirling universe, obtained analytically using the Ehlers-Harrison transformations of the Ernst formalism. Subsequently, for each possible sub-case, we analyze the presence of singularities and study some physical properties. Finally, we examine their supersymmetry in the context of $N=2$, $d=4$ Supergravity.

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

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

Logic has its origins in basic questions about the nature of the real world and how we describe it. This article seeks to bring out the physical and epistemological relevance of some of the more recent technical work in logic and computability theory. "If you are receptive and humble, mathematics will lead you by the hand. Again and again, when I have been at a loss how to proceed, I have just had to wait until I have felt the mathematics lead me by the hand. It has led me along an unexpected path, a path where new vistas open up, a path leading to new territory, where one can set up a base of operations, from which one can survey the surroundings and plan future progress." - Paul Dirac, 27 November, 1975. In Paul A. M. Dirac Papers, Florida State University Libraries, Tallahassee, Florida, USA, No. 2/29/17.

The Friedmann equations of universe dynamics describe the infinite number of the Friedmannian models of universe. The consistent and distinguished relativistic, classical-mechanical, quantum-mechanical and formal-logical analysis of the Friedmannian universe models leads to a surprising and unexpected conclusion: The Friedmannian model of the flat expansive homogeneous and isotropic universe with the zero gravitational force state equation is the only model of universe, which does not contradict the: 1st Einstein general theory of relativity (and its special partial solutions: the Einstein special theory of relativity and the Newton theory of gravitation); 2nd quantum mechanics; 3rd fundamental formal principles of logical thinking; and 4th observations.

This book develops an effective theory approach to understanding deep neural networks of practical relevance. Beginning from a first-principles component-level picture of networks, we explain how to determine an accurate description of the output of trained networks by solving layer-to-layer iteration equations and nonlinear learning dynamics. A main result is that the predictions of networks are described by nearly-Gaussian distributions, with the depth-to-width aspect ratio of the network controlling the deviations from the infinite-width Gaussian description. We explain how these effectively-deep networks learn nontrivial representations from training and more broadly analyze the mechanism of representation learning for nonlinear models. From a nearly-kernel-methods perspective, we find that the dependence of such models' predictions on the underlying learning algorithm can be expressed in a simple and universal way. To obtain these results, we develop the notion of representation group flow (RG flow) to characterize the propagation of signals through the network. By tuning networks to criticality, we give a practical solution to the exploding and vanishing gradient problem. We

The vacuum is filled with complex scalar fields, such as the Higgs field. These fields serve as order parameters for superfluidity (quantum phase coherence over macroscopic distances), making the entire universe a superfluid. We review a mathematical model consisting of two aspects: (a) emergence of the superfluid during the big bang; (b) observable manifestations of superfluidity in the present universe. The creation aspect requires a self-interacting scalar field that is asymptotically free, i.e., the interaction must grow from zero during the big bang, and this singles out the Halpern-Huang potential, which has exponential behavior for large fields. It leads to an equivalent cosmological constant that decays like a power law, and this gives dark energy without "fine-tuning". Quantum turbulence (chaotic vorticity) in the early universe was able to create all the matter in the universe, fulfilling the inflation scenario. In the present universe, the superfluid can be phenomenologically described by a nonlinear Klein-Gordon equation. It predicts halos around galaxies with higher superfluid density, which is perceived as dark matter through gravitational lensing. In short, dark ener

This talk reviews the proposal for dynamically selecting the most probable wavefunction of the universe propagating on the landscape of string theory, by means of quantum cosmology. Talk given at 'Albert Einstein Century International Conference'-UNESCO, Paris July 18-22 2005.

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.

We discuss the universality of the L1 recovery threshold in compressed sensing. Previous studies in the fields of statistical mechanics and random matrix integration have shown that L1 recovery under a random matrix with orthogonal symmetry has a universal threshold. This indicates that the threshold of L1 recovery under a non-orthogonal random matrix differs from the universal one. Taking this into account, we use a simple random matrix without orthogonal symmetry, where the random entries are not independent, and show analytically that the threshold of L1 recovery for such a matrix does not coincide with the universal one. The results of an extensive numerical experiment are in good agreement with the analytical results, which validates our methodology. Though our analysis is based on replica heuristics in statistical mechanics and is not rigorous, the findings nevertheless support the fact that the universality of the threshold is strongly related to the symmetry of the random matrix.

Over the past few decades, a consensus picture has emerged in which roughly a quarter of the universe consists of dark matter. I begin with a review of the observational evidence for the existence of dark matter: rotation curves of galaxies, gravitational lensing measurements, hot gas in clusters, galaxy formation, primordial nucleosynthesis and cosmic microwave background observations. Then I discuss a number of anomalous signals in a variety of data sets that may point to discovery, though all of them are controversial. The annual modulation in the DAMA detector and/or the gamma-ray excess seen in the Fermi Gamma Ray Space Telescope from the Galactic Center could be due to WIMPs; a 3.5 keV X-ray line from multiple sources could be due to sterile neutrinos; or the 511 keV line in INTEGRAL data could be due to MeV dark matter. All of these would require further confirmation in other experiments or data sets to be proven correct. In addition, a new line of research on dark stars is presented, which suggests that the first stars to exist in the universe were powered by dark matter heating rather than by fusion: the observational possibility of discovering dark matter in this way is d

Universal Extra Dimensions (UEDs) with compactification radius near the TeV scale provide interesting phenomenology at future colliders. The collider signals of the first Kaluza-Klein (KK) level are very similar to those of a supersymmetric model with a nearly degenerate superpartner spectrum. The heavier first level KK states cascade decay to the lightest KK particles (LKP), which is neutral and stable because of KK-parity. The signatures involve missing energy and relatively soft jets and leptons which can be difficult for detection. The KK electron signal in $e^- e^-$ collisions is free from the problematic two photon background therefore provides a unique opportunity for a detailed studies of the KK electrons in the Universal Extra Dimension scenario.