共找到 20 条结果
In recent years, there has been growing interest in logics that formalise strategic reasoning about agents capable of modifying the structure of a given model. This line of research has been motivated by applications where a modelled system evolves over time, such as communication networks, security protocols, and multi-agent planning. In this paper, we introduce three logics for reasoning about strategies that modify the topology of weighted graphs. In Strategic Deconstruction Logic, a destructive agent (the demon) removes edges up to a certain cost. In Strategic Construction Logic, a constructive agent (the angel) adds edges within a cost bound. Finally, Strategic Update Logic combines both agents, who may cooperate or compete. We study the expressive power of these logics and the complexity of their model checking problems.
We derive the rational generating function that enumerates the angels and devils in M. C. Escher's {\it Circle Limit IV} according to their combinatorial distance from the six creatures whose feet meet at the center of the disk. This result shows that the base of the exponential rate of growth is $1.582\ldots$ (the largest root of the polynomial $1 - z^2 - 2z^3 - z^4 + z^6$).
External funding is crucial for early-stage ventures, particularly technology startups that require significant R&D investment. Business angels offer a critical source of funding, but their decision-making is often subjective and resource-intensive for both investor and entrepreneur. Much research has investigated this investment process to find the critical factors angels consider. One such tool, the Critical Factor Assessment (CFA), deployed more than 20,000 times by the Canadian Innovation Centre, has been evaluated post-decision and found to be significantly more accurate than investors' own decisions. However, a single CFA analysis requires three trained individuals and several days, limiting its adoption. This study builds on previous work validating the CFA to investigate whether the constraints inhibiting its adoption can be overcome using a trained AI model. In this research, we prompted multiple large language models (LLMs) to assign the eight CFA factors to a dataset of 600 transcribed, unstructured startup pitches seeking business angel funding with known investment outcomes. We then trained and evaluated machine learning classification models using the LLM-generate
The Los Angeles wildfires of January 2025 caused more than 250 billion dollars in damage and lasted for nearly an entire month before containment. Following our previous work, the Digital Twin Building, we modify and leverage the multi-agent large language model framework as well as the cloud-mapping integration to study the air quality during the Los Angeles wildfires. Recent advances in large language models have allowed for out-of-the-box automated large-scale data analysis. We use a multi-agent large language system comprised of an Instructor agent and Worker agents. Upon receiving the users' instructions, the Instructor agent retrieves the data from the cloud platform and produces instruction prompts to the Worker agents. The Worker agents then analyze the data and provide summaries. The summaries are finally input back into the Instructor agent, which then provides the final data analysis. We test this system's capability for data-based policy recommendation by assessing our Instructor-Worker LLM system's health recommendations based on air quality during the Los Angeles wildfires.
We have performed a theoretical study of the correlation functions of $K^- d$ and $K^+ d$ pairs and compared them with those provided by the ALICE Collaboration from Pb-Pb collisions, and also from high-multiplicity p-p collisions in the case of $K^+ d$. In addition to implementing the effect of the Coulomb force, the $K^- d$ and $K^+ d$ wave functions are derived from the corresponding strong scattering amplitudes that are built employing a unitarized chiral model for the elementary $K^- N$ and $K^+ N$ interactions. We present results for the impulse approximation, which accounts for single-scattering processes of the kaon with the nucleons of the deuteron, as well as for the solution of the Faddeev equations in the so-called fixed center approximation, which includes multiple rescattering effects. The $K^- d$ correlation function is shown to be very sensitive to both the size of the source and the relative momentum of the interacting pair, with large deviations from the Coulomb baseline and sizable multi-step scattering contributions, effects that are tied to a ${\bar K}N$ strong interaction that is dominated by the influence of the subthreshold resonance $Λ(1405)$. In contrast,
We give a decision procedure and proof of correctness for the equational theory of probabilistic Kleene algebra with angelic nondeterminism introduced in Ong, Ma, and Kozen (2025).
We prove the existence of complete minimal surfaces in $\mathbb{R}^3$ of arbitrary genus $p\, \ge\, 1$ and least total absolute curvature with precisely two ends -- one catenoidal and one Enneper-type -- thereby solving, affirmatively, a problem posed by Fujimori and Shoda. These surfaces, which are called \emph{Angel surfaces}, generalize some examples numerically constructed earlier by Weber. The construction of these minimal surfaces involves extending the orthodisk method developed by Weber and Wolf \cite{weber2002teichmuller}. A central idea in our construction is the notion of \emph{partial symmetry}, which enables us to introduce controlled symmetry into the surface.
The capability of the ALICE@LHC and STAR@RHIC experiments to reconstruct $D$ mesons has enabled femtoscopic correlation measurements of open-charm mesons in both small and large systems. In this work, we present a theoretical calculation of the correlation functions of $D$ and $\bar{D}$ mesons with nucleons, based on the Koonin-Pratt formalism. We employ an effective Lagrangian to model the interaction between charmed mesons and baryons and apply the TROY formalism to obtain the off-shell $T$-matrix in coupled channels, incorporating the effect of the Coulomb interaction when the pair involves two charged particles. The resulting full coupled-channel wave function is inserted into the Koonin-Pratt equation with channel weights derived from a thermal model. Additionally, we compute the correlation functions using the Lednický-Lyuboshitz approximation with low-energy scattering parameters extracted from the unitarized amplitudes. We compare these two approaches and provide predictions for different correlated pairs. Our results can be tested against current and future experimental data from the ALICE and STAR collaborations in both proton-proton and heavy-ion collisions.
We investigate the hyperonic equation of state within the non-linear derivative model that incorporates a momentum dependence on the interactions, with a special emphasis on properly establishing the conditions for hyperon appearance in neutron star matter. We demonstrate that hyperons can appear at finite momentum, forming a so-called ``moat" region, even when they are absent at lower momenta. Our study shows that this phenomenon significantly alters the composition and equation of state of hyperonic matter as compared to the cases when it is disregarded, highlighting the importance of accurately treating the momentum dependence of the baryon fields in dense matter.
We show that if $X$ is a sequentially reflexive Banach space, then its Mackey dual $(X^{*},τ(X^{*}, X))$ is an angelic space. This builds on a result of J. Howard which says that in the Mackey dual $(X^{*}, τ(X^{*}, X))$ of a Banach space $X$, relative sequential compactness is, in general, strictly stronger than relative compactness and that the two notions of compactness are equivalent if $X$ is reflexive or separable. Our main result gives a characterization of the sequentially reflexive spaces as the Banach spaces $X$ for which the the finest locally convex topology on $X^{*}$ with the same precompact sets as the Mackey topology $τ(X^{*}, X)$ is the bound extension of $τ(X^{*}, X)$.
We study the influence of hyperons in binary neutron star (NS) mergers considering a total of 14 temperature dependent equations of state (EoSs) models which include hyperonic degrees of freedom and partly delta resonances. Thermally produced hyperons induce a higher heat capacity and a lower thermal index, i.e. a reduced thermal pressure for a given amount of thermal energy, compared to purely nucleonic models. We run a large set of relativistic hydrodynamics simulations of NS mergers to explore the impact on observables of these events. In symmetric binaries, we describe a characteristic increase of the dominant postmerger gravitational-wave (GW) frequency by a few per cent, which is specifically linked to the occurrence of hyperons and can thus be potentially used as a discriminator between purely nucleonic and hyperonic systems. We corroborate that this effect occurs similarly for asymmetric binaries and becomes more prominent with increasing total binary mass. Hyperonic models tend to stick out in relations between the dominant postmerger GW frequency and the tidal deformability of massive stars providing a signature to identify the presence of hyperons. Distinct secondary pos
We show reflectivity cross-sections for the San Gabriel, Chino, and San Bernardino basins north of Los Angeles, California determined from autocorrelations of ambient noise and teleseismic earthquake waves. These basins are thought to channel the seismic energy from earthquakes on the San Andreas Fault to Los Angeles and a more accurate model of their depth is important for hazard mitigation. We use the causal side of the autocorrelation function to determine the zero-offset reflection response. To minimize the smoothing effect of the source time function, we remove the common mode from the autocorrelation in order to reveal the zero-offset reflection response. We apply this to 10 temporary nodal lines consisting of a total of 758 geophones with an intraline spacing of 250-300 m. We also show that the autocorrelation function from teleseismic events can provide illumination of subsurface that is consistent with ambient noise. Both autocorrelation results compare favorably to receiver functions.
Very recently, the Belle~II Collaboration presented a measurement for the decays $B^+\to\bar{D}^{(*)0} K^+\bar{K}^0$ and $B^0\to D^{(*)-}K^+\bar{K}^0$, the bulk of observed $m(K^+ K_S^0)$ distributions showing low-mass structures in all four channels. In this work, we study the contributions of $ρ(770,1450)^+$, $a_2(1320)^+$ and $a_0(980,1450)^+$ resonances to these decay processes. The intermediate states $ρ(770,1450)^+$ are found to dominate the low-mass distribution of kaon pairs roughly contributing to half of the total branching fraction in each of the four decay channels. The contribution of the tensor $a_2(1320)^+$ meson is found to be negligible. Near the threshold of the kaon pair, the state $a_0(980)^+$ turns out to be much less important than expected, not being able to account for the enhancement of events in that energy region observed in the $B^+\to\bar{D}^{(*)0} K^+\bar{K}^0$ decays. Further studies both from the theoretical and experimental sides are needed to elucidate the role of the non-resonant contributions governing the formation of $K^+\bar{K}^0$ pairs near their threshold in these decay processes.
We introduce a version of probabilistic Kleene algebra with angelic nondeterminism and a corresponding class of automata. Our approach implements semantics via distributions over multisets in order to overcome theoretical barriers arising from the lack of a distributive law between the powerset and Giry monads. We produce a full Kleene theorem and a coalgebraic theory, as well as both operational and denotational semantics and equational reasoning principles.
We have calculated the femtoscopic correlation functions of meson-baryon pairs in the strangeness $S=-1$ sector, employing a unitarized chiral interaction model up to next-to-leading order. We will show preliminary results for the $π^-Λ$ correlation function, which is presently under analysis by the ALICE@LHC collaboration. We will also demonstrate that, within $2σ$, the employed interaction is perfectly capable of reproducing the $K^-p$ correlation function data measured by the same collaboration, without the need of changing the coupled-channel interactions, as has been suggested recently.
We discuss the effects induced by the potential presence of hyperons in hot and ultra-dense matter within the context of neutron star mergers. Specifically, we address their effect on the dominant post-merger frequency of the gravitational waves. By performing a simulation campaign with a large sample of hyperonic and nucleonic equations of state, we explicitly show that the unique thermal behavior of hyperonic equations of state results in a systematic shift of the dominant frequency with respect to the nucleonic reference level. The predicted shift has values of up to 150 Hz, and it could be detected with the newest generations of gravitational wave detectors. Thus this approach opens a new path for signaling the presence of hyperons in neutron star remnant matter.
This study develops a Bayesian hierarchical model to explore the effects of air pollution on respiratory and cardiovascular mortality in Los Angeles County. The model takes into account various pollutants such as PM2.5, PM10, CO, SO2, NO2 and O3, as well as a related meteorological factor: temperature. The objective is to identify the significant factors affecting selected health outcomes without including all variables in each model specification. This flexibility enables the model to capture key drivers of health risk without redundancy. To account for potential measurement error in pollution data due to imperfect monitoring or averaging, certain observed pollutant levels are treated as noise proxies for true exposure. By specifying priors for regression coefficients and measurement error parameters and estimating posterior distributions via Markov Chain Monte Carlo (MCMC) sampling, it leads to more precise and reliable estimates of the health risks associated with air pollution exposure in Los Angeles County by incorporating both the count nature of the health data and the uncertainties in pollution measurements.
In this work we delve into the temperature-dependent Equation of State (EoS) of baryonic matter within the framework of the FSU2H$^*$ hadronic model, which comprehensively incorporates hyperons and is suitable for relativistic simulations of neutron star mergers and supernovae. To assess the impact of the uncertainties in the hyperonic sector on astrophysical observables, we introduce two additional models, namely FSU2H$^*$L and FSU2H$^*$U. These models cover the entire spectrum of variability of hyperonic potentials, as derived from experimental data. Our investigations reveal that these uncertainties extend their influence not only to the relative abundances of various particle species but also to the EoS itself and, consequently, have an impact on the global properties of both cold and hot neutron stars. Notably, their effects become more pronounced at large temperatures, owing to the increased presence of hyperons. These findings have direct implications for the outcomes of relativistic simulations of neutron star mergers and supernovae, emphasizing the need of accounting for hyperonic uncertainties to ensure the accuracy and reliability of such simulations in astrophysical con
Recent years have witnessed the unprecedented achievements of large-scale pre-trained models, especially the Transformer models. Many products and services in Tencent Inc., such as WeChat, QQ, and Tencent Advertisement, have been opted in to gain the power of pre-trained models. In this work, we present Angel-PTM, a productive deep learning system designed for pre-training and fine-tuning Transformer models. Angel-PTM can train extremely large-scale models with hierarchical memory efficiently. The key designs of Angel-PTM are the fine-grained memory management via the Page abstraction and a unified scheduling method that coordinate the computations, data movements, and communications. Furthermore, Angel-PTM supports extreme model scaling with SSD storage and implements the lock-free updating mechanism to address the SSD I/O bandwidth bottlenecks. Experimental results demonstrate that Angel-PTM outperforms existing systems by up to 114.8% in terms of maximum model scale as well as up to 88.9% in terms of training throughput. Additionally, experiments on GPT3-175B and T5-MoE-1.2T models utilizing hundreds of GPUs verify the strong scalability of Angel-PTM.
This paper presents an approach for synthesizing provably correct control envelopes for hybrid systems. Control envelopes characterize families of safe controllers and are used to monitor untrusted controllers at runtime. Our algorithm fills in the blanks of a hybrid system's sketch specifying the desired shape of the control envelope, the possible control actions, and the system's differential equations. In order to maximize the flexibility of the control envelope, the synthesized conditions saying which control action can be chosen when should be as permissive as possible while establishing a desired safety condition from the available assumptions, which are augmented if needed. An implicit, optimal solution to this synthesis problem is characterized using hybrid systems game theory, from which explicit solutions can be derived via symbolic execution and sound, systematic game refinements. Optimality can be recovered in the face of approximation via a dual game characterization. The resulting algorithm, Control Envelope Synthesis via Angelic Refinements (CESAR), is demonstrated in a range of safe control synthesis examples with different control challenges.