Tootfinder

https://okmij.org/ftp/tagless-final/ski.pdf - Lambda to SKI, semantically.

If you want to see how Lambda scales out vs. reusing existing instances, https://watch-aws-lambda-scale.com/?ck_subscriber_id=512832040 (credit: @…

On the complexity of normalization for the planar $\lambda$-calculus
Anupam Das, Damiano Mazza, L\^e Th\`anh D\~ung Nguy\^en, Noam Zeilberger
https://arxiv.org/abs/2404.05276

On the complexity of normalization for the planar $λ$-calculus
We sketch a tentative proof of P-completeness for the $β$-convertibility problem on untyped planar (a.k.a. ordered or non-commutative) $λ$-terms.

Shalika newforms for GL(n)
Takeo Okazaki
https://arxiv.org/abs/2403.04119 https://arxiv.org/pdf/2403.04119

Shalika newforms for GL(n)
Let (pi,V) be a generic irreducible representation of a general linear group over a p-adic field. Jacquet, Piatetski-Shapiro, and Shalika gave an open compact subgroup K, so that the subspace V^K consisting of v in V fixed by K is one-dimensional. If pi has a Shalika model Lambda, then we call vectors in Lambda(V) the Shalika forms of pi, and those in Lambda(V^{K}) the Shalika newforms. In this article, we give a method to determine all values of the Shalika newforms on the mirabolic subgroup i…

First observation of $\Lambda_{b}^{0} \rightarrow \Sigma_c^{(*) } D^{(*)-} K^{-}$ decays
LHCb collaboration, et al.
https://arxiv.org/abs/2404.19510 https://arxiv.org/pdf/2404.19510
arXiv:2404.19510v1 Announce Type: new
Abstract: The four decays, $\Lambda_{b}^{0} \rightarrow \Sigma_c^{(*) } D^{(*)-} K^{-}$, are observed for the first time using proton-proton collision data collected with the LHCb detector at a centre-of-mass energy of $13\,\rm{TeV}$, corresponding to an integrated luminosity of $6\,\rm{fb}^{-1}$. By considering the $\Lambda_b^0 \rightarrow \Lambda_c^{ } \overline{D}^0 K^{-}$ decay as reference channel, the following branching fraction ratios are measured to be,
$$\frac{\cal{B} (\Lambda_{b}^{0} \rightarrow \Sigma_{c}^{ } \rm{D}^{-} {K}^{-})}{\cal{B}(\Lambda_{b}^{0} \rightarrow \Lambda_c^{ } \rm \overline{D}^0 {K}^{-})}
= {0.282}\pm{0.016}\pm{0.016}\pm{0.005},
\frac{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_{c}^{* } \rm {D}^{-} {K}^{-})}{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_c^{ } \rm {D}^{-} {K}^{-})}
= {0.460}\pm{0.052}\pm{0.028},
\frac{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_{c}^{ } \rm {D}^{*-} {K}^{-})}{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_c^{ } \rm {D}^{-} {K}^{-})}
= {2.261}\pm{0.202}\pm{0.129}\pm{0.046},
\frac{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_{c}^{* } \rm D^{*-} K^{-})}{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_c^{ } \rm D^{-} K^{-})}
= {0.896}\pm{0.137}\pm{0.066}\pm{0.018},$$
where the first uncertainties are statistical, the second are systematic, and the third are due to uncertainties in the branching fractions of intermediate particle decays. These initial observations mark the beginning of pentaquark searches in these modes, with more data set to become available following the LHCb upgrade.

Study of the timelike electromagnetic form factors of the $\Lambda_c$
Di Guo, Qin-He Yang, Ling-Yun Dai
https://arxiv.org/abs/2404.06191 https://

Study of the timelike electromagnetic form factors of the $Λ_c$
In this paper, the reaction of electron-positron annihilation into $Λ_c^+\barΛ_c^-$ is investigated. The $Λ_c^+\barΛ_c^-$ scattering amplitudes are obtained by solving the Lippmann-Schwinger equation. The contact, annihilation, and two pseudoscalar-exchange potentials are taken into account in the spirit of the chiral effective field theory. The amplitudes of $e^+e^-\to Λ_c^+\barΛ_c^-$ are constructed by the distorted wave Born approximation method, with the final state interactions of th…

Linear Contextual Metaprogramming and Session Types
Pedro \^Angelo (LIACC,Faculdade de Ci\^encias da Universidade do Porto, Portugal), Atsushi Igarashi (Kyoto University, Kyoto, Japan), Vasco T. Vasconcelos (LASIGE, Faculdade de Ci\^encias da Universidade de Lisboa, Portugal)
https://arxiv.org/abs/2404.05475

Linear Contextual Metaprogramming and Session Types
We explore the integration of metaprogramming in a call-by-value linear lambda-calculus and sketch its extension to a session type system. We build on a model of contextual modal type theory with multi-level contexts, where contextual values, closing arbitrary terms over a series of variables, may then be boxed and transmitted in messages. Once received, one such value may then be unboxed (with a let-box construct) and locally applied before being run. We present a series of examples where serv…

Benchmarking the IRDC G351.77-0.53: Gaia DR3 distance, mass distribution, and star formation content
S. D. Reyes-Reyes, A. M. Stutz, S. T. Megeath, Fengwei Xu, R. H. \'Alvarez-Guti\'errez, N. Sandoval-Garrido, H. -L. Liu
https://arxiv.org/abs/2403.02456 https://arxiv.org/pdf/2403.02456
arXiv:2403.02456v1 Announce Type: new
Abstract: While intensively studied, it remains unclear how the star formation (SF) in Infrared Dark Clouds (IRDCs) compares to that of nearby clouds. We study G351.77-0.53 (henceforth G351), a cluster-forming filamentary IRDC. We begin by characterizing its young stellar object (YSO) content. Based on the average parallax of likely members, we obtain a Gaia distance of $\sim\,2.0\pm0.14$ kpc, resolving the literature distance ambiguity. Using our Herschel-derived N(H$_2$) map, we measure a total gas mass of 10200 M$_{\odot}$ (within 11 pc$^2$) and the average line-mass profile of the entire filament, which we model as $\lambda =~1660 (w/\rm pc )^{0.62}\,\,M_{\odot}\,\rm{pc}^{-1}$. At $w < 0.63$ pc, our $\lambda$ profile is higher and has a steeper power-law index than $\lambda$ profiles extracted in Orion A and most of its substructures. Based on the YSOs inside the filament area, we estimate the SF efficiency (SFE) and SF rate (SFR). We calculate a factor of 5 incompleteness correction for our YSO catalog relative to Spitzer surveys of Orion A. The G351 SFE is $\sim 1.8$ times lower than that of Orion A and lower than the median value for local clouds. We measure SFR and gas masses to estimate the efficiency per free-fall time, $\epsilon _{\rm ff}$. We find that $\epsilon_{\rm ff}$ is $\sim$ 1.1 dex below the previously proposed mean local relation, and $\sim\,4.7\times$ below Orion A. These observations indicate that local SF-relations do not capture variations present in the Galaxy. We speculate that cloud youth and/or magnetic fields might account for the G351 inefficiency.

Lambda, which offers cloud computing services and computers to train AI, raised $320M led by Thomas Tull's US Innovative Technology at a $1.5B valuation (Rachel Metz/Bloomberg)
https://www.bloomberg.com/news/articles/2024-0…

Lambda Hits $1.5 Billion Valuation for AI Computing
The startup raised $320 million in a new funding round.

Flavor-spin symmetry of the $P^N_{\psi}/H_{\Omega_{ccc}}^N$ and $P^\Lambda_{\psi s}/H^{\Lambda}_{\Omega_{ccc}s}$ molecular states
Kan Chen, Bo Wang
https://arxiv.org/abs/2404.04016

Flavor-spin symmetry of the $P^N_ψ/H_{Ω_{ccc}}^N$ and $P^Λ_{ψs}/H^Λ_{Ω_{ccc}s}$ molecular states
Based on a contact lagrangian that incorporates the SU(3) flavor and SU(2) spin symmetries, we discuss the symmetry properties of the interactions among the heavy flavor meson-baryon $P_ψ^N$, $P_{ψs}^Λ$ (with quark components [$n\bar{c}$][$nnc$], [$s\bar{c}$][$nnc$], or [$n\bar{c}$][$nsc$]) systems and di-baryon $H_{Ω_{ccc}}^N$, $H^Λ_{Ω_{ccc}s}$ (with quark components [$nnc$][$ncc$], [$nnc$][$scc$] or [$nsc$][$ncc$]) systems ($n=u$, $d$). The light quark components of the $P_ψ^N$ ($P_{ψ…

MEET-U Project I: The key drivers of the preference for dynamic dark energy
Zhiqi Huang, Jianqi Liu, Jianfeng Mo, Yan Su, Junchao Wang, Yanhong Yao, Guangyao Yu, Zhengxin Zhu, Zhuoyang Li, Zhenjie Liu, Haitao Miao, Hui Tong
https://arxiv.org/abs/2405.03983

MEET-U Project I: The key drivers of the preference for dynamic dark energy
Joint analysis of the baryon acoustic oscillations (BAO) measurement by the Dark Energy Spectroscopic Instrument (DESI) first data release, Type Ia supernovae (SNe) of the Dark Energy Survey Year 5 (DES5YR) release and cosmic microwave background (CMB) data favors a quintom-like dynamic dark energy model over the standard Lambda cold dark matter ($Λ$CDM) model at $3.9σ$ level (Adame et al. 2024). We demonstrate that the preference for dynamic dark energy does not rely on the detailed modeling…

Intersection Types via Finite-Set Declarations
Fairouz Kamareddine, Joe Wells
https://arxiv.org/abs/2405.00440 https://arxiv.org/pdf/…

Intersection Types via Finite-Set Declarations
The lambda-cube is a famous pure type system (PTS) cube of eight powerful explicit type systems that include the simple, polymorphic and dependent type theories. The lambda-cube only types Strongly Normalising (SN) terms but not all of them. It is well known that even the most powerful system of the lambda-cube can only type the same pure untyped lambda-terms that are typable by the higher-order polymorphic implicitly typed lambda-calculus Fomega, and that there is an untyped λ-term U' that is…

On the nonvanishing condition for $A_{\mathfrak q}(\lambda)$ of $U(p,q)$ in the mediocre range
Chengyu Du
https://arxiv.org/abs/2405.03216 https://<…

On the nonvanishing condition for $A_{\mathfrak q}(λ)$ of $U(p,q)$ in the mediocre range
The modules $A_\mathfrak{q}(λ)$ of $U(p,q)$ can be parameterized by their annihilators and asymptotic supports, both of which can be identified using Young tableaux. Trapa developed an algorithm for determining the tableaux of the modules $A_\mathfrak{q}(λ)$ in the mediocre range, along with an equivalent condition to determine non-vanishing. The condition involves a combinatorial concept called the overlap, which is not straightforward to compute. In this paper, we establish a formula for th…

First observation of the $\Lambda^0_b \to D^ D^- \Lambda$ decay
LHCb collaboration, et al.
https://arxiv.org/abs/2403.03586 https://…

First observation of the $Λ^0_b \to D^+ D^- Λ$ decay
The $Λ^0_b \to D^+ D^- Λ$ decay is observed for the first time using proton-proton collision data collected by the LHCb experiment at a center-of-mass energy of $13 \mathrm{TeV}$, corresponding to an integrated luminosity of $5.3 \mathrm{fb}^{-1}$. Using the $B^0 \to D^+ D^- K_{\mathrm{S}}^0$ decay as a reference channel, the product of the relative production cross-section and decay branching fractions is measured to be $$ {\cal R}=\frac{σ_{Λ^0_b}}{σ_{B^0}} \times \frac{{\cal B}(Λ^0_b \t…

Lambda, which offers cloud computing services and computers to train AI, raised $320M led by Thomas Tull's US Innovative Technology at a $1.5B valuation (Rachel Metz/Bloomberg)
https://www.bloomberg.com/news/articles/2024-0…

Lambda Hits $1.5 Billion Valuation for AI Computing
The startup raised $320 million in a new funding round.

New Multilinear Littlewood--Paley $g_{\lambda}^{*}$ Function and Commutator on weighted Lebesgue Spaces with New Weight
Huimin Sun, Shuhui Yang, Yan Lin
https://arxiv.org/abs/2403.04285

New Multilinear Littlewood--Paley $g_λ^{*}$ Function and Commutator on weighted Lebesgue Spaces with New Weight
Via the new weight function $A_{\vec p}^{θ}(φ)$, the authors introduce a new class of multilinear Littlewood--Paley $g_λ^{*}$ functions and establish the boundedness on weighted Lebesgue spaces. In addition, the authors obtain the boundedness of the multilinear commutator and multilinear iterated commutator generated by the multilinear Littlewood--Paley $g_λ^{*}$ function and the new $BMO$ function on weighted Lebesgue spaces. The results in this article include the known results in \cite{X…

Extension groups for the $C^*$-algebras associated with $\lambda$-graph systems
Kengo Matsumoto
https://arxiv.org/abs/2405.03204 https://

Extension groups for the $C^*$-algebras associated with $λ$-graph systems
A $λ$-graph system is a labeled Bratteli diagram with certain additional structure, which presents a subshift. The class of the $C^*$-algebras $\mathcal{O}_{\frak L}$ associated with the $λ$-graph systems is a generalized class of the class of Cuntz--Krieger algebras. In this paper, we will compute the strong extension groups $\operatorname{Ext}_{\operatorname{s}}(\mathcal{O}_{\frak L})$ for the $C^*$-algebras associated with $λ$-graph systems ${\frak L}$ and study their relation with the we…

Single-letter identifiers permitted *by law* in *academic slideware*:
(high level; lots of subtlety within this framework)
#programming #teaching #education

Implicit automata in {\lambda}-calculi III: affine planar string-to-string functions
C\'ecilia Pradic, Ian Price
https://arxiv.org/abs/2404.03985 https…

Implicit automata in λ-calculi III: affine planar string-to-string functions
We prove a characterization of first-order string-to-string transduction via $λ$-terms typed in non-commutative affine logic that compute with Church encoding, extending the analogous known characterization of star-free languages. We show that every first-order transduction can be computed by a $λ$-term using a known Krohn-Rhodes-style decomposition lemma. The converse direction is given by compiling $λ$-terms into two-way reversible planar transducers. The soundness of this translation invo…

Modification to the Jeans criterion by external tides: Anisotropic fragmentation and formation of filaments
Guang-Xing Li
https://arxiv.org/abs/2403.02612 https://arxiv.org/pdf/2403.02612
arXiv:2403.02612v1 Announce Type: new
Abstract: The Jeans criterion sets the foundation of our understanding of gravitational collapse. Jog studied the fragmentation of gas under external tides and derived a dispersion relation $$
l' = l_{\rm Jeans} \frac{1} {(1 \lambda_0' / 4 \pi G \rho_0)^{1/2}} \;. $$ She further concludes that the Jeans mass is $m_{\rm incorrect}'=m_{\rm Jeans} ( 1/(1 \lambda_0' / 4 \pi G \rho_0)^{3/2})$. We clarify that due to the inhomogeneous nature of tides, this characteristic mass is incorrect. Under weak tides, the mass is $m \approx \rho\, l_1 l_2 l_3$, where the modifications to Jeans lengths along all three dimensions need to be considered; when the tide is strong enough, collapse can only occur once 1 or 2 dimensions. In the latter case, tides can stretch the gas, leading to the formation of filaments.

Multiplicity results for fully nonlinear elliptic equations with natural gradient growth
Mohan Mallick, Ram Baran Verma
https://arxiv.org/abs/2404.19042 https://arxiv.org/pdf/2404.19042
arXiv:2404.19042v1 Announce Type: new
Abstract: In this paper, we prove a theorem concerning the existence of three solutions for the following boundary value problem: \begin{equation*} -\mathcal{M}_{\lambda,\Lambda}^ (D^2u)-\Gamma|Du|^2=f(u)~~~\text{in}\ \Omega, u=0~~~\text{on}\ \partial\Omega, \end{equation*} where $f:[0,\infty]\to[0,\infty]$ is a $C^{\alpha}$ function and $\Omega$ denotes a bounded, smooth domain in $\mathbb{R}^N$. By constructing two ordered pairs of sub and supersolutions for a specific class of $f$ exhibiting sublinear growth, we further establish the existence of three positive solutions to the aforementioned boundary value problem.

On Hoffman polynomials of $\lambda$-doubly stochastic irreducible matrices and commutative association schemes
Giusy Monzillo, Safet Penji\'c
https://arxiv.org/abs/2403.00652 …

On Hoffman polynomials of $λ$-doubly stochastic irreducible matrices and commutative association schemes
Let $Γ$ denote a finite (strongly) connected regular (di)graph with adjacency matrix $A$. The {\em Hoffman polynomial} $h(t)$ of $Γ=Γ(A)$ is the unique polynomial of smallest degree satisfying $h(A)=J$, where $J$ denotes the all-ones matrix. Let $X$ denote a nonempty finite set. A nonnegative matrix $B\in{\mbox{Mat}}_X({\mathbb R})$ is called {\em $λ$-doubly stochastic} if $\sum_{z\in X} (B)_{yz}=\sum_{z\in X} (B)_{zy}=λ$ for each $y\in X$. In this paper we first show that there exists a p…

This https://arxiv.org/abs/2402.12078 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Mirroring Call-by-Need, or Values Acting Silly
Call-by-need evaluation for the lambda-calculus can be seen as merging the best of call-by-name and call-by-value, namely the wise erasing behaviour of the former and the wise duplicating behaviour of the latter. To better understand how duplication and erasure can be combined, we design a degenerated calculus, dubbed call-by-silly, that is symmetric to call-by-need in that it merges the worst of call-by-name and call-by-value, namely silly duplications by-name and silly erasures by-value. We…

My #Emacs Lisp attempt today have failed.
The second one is the following:
```
(add-hook 'newsticker-mode-hook (lambda ()
(require 'eww)
(keymap-set newsticker-treeview-mode-map "C-c C-o" 'eww-follow-link)))
```
Honestly I can't say what's wrong with it. If I eval `(…

A compilation of solar atlases (from Delbouille, Kurucz, Gandorfer, Stenflo) at disk centre and at limb from $\lambda$ 3000 {\AA} to $\lambda$ 8800 {\AA}
Jean-Marie Malherbe
https://arxiv.org/abs/2404.16902

A compilation of solar atlases (from Delbouille, Kurucz, Gandorfer, Stenflo) at disk centre and at limb from $λ$ 3000 Å to $λ$ 8800 Å
We present in this paper a compilation of solar atlases from $λ$ 3000 Å to $λ$ 8800 Å with spectral lines identified by the Moore table and with the corresponding equivalent Lande factors g*. We used two spectra at disk centre ($μ$ = 1.0), from Delbouille and Kurucz, and two spectra at the limb from Stenflo and Gandorfer, respectively at $μ$ = 0.145 and $μ$ = 0.10.

COMAP Galactic Science I: Observations of Spinning Dust Emission at 30GHz in Dark Clouds Surrounding the {\lambda}-Orionis Hii Region
Stuart E. Harper, Clive Dickinson, Kieran A. Cleary, Brandon S. Hensley, Gabriel A. Hoerning, Roberta Paladini, Thomas J. Rennie, Roke Cepeda-Arroita, Delaney A. Dunne, Hans Kristian Eriksen, Joshua Ott Gundersen, Havard T. Ihle, Jonas G. S. Lunde, Roberto Ricci, Jeroen Stil, Nils-Ole Stutzer, A. R. Taylor, Ingunn Kathrine Wehus

COMAP Galactic Science I: Observations of Spinning Dust Emission at 30GHz in Dark Clouds Surrounding the λ-Orionis Hii Region
Anomalous Microwave Emission (AME) is a major component of Galactic emission in the frequency band 10 to 60 GHz and is commonly modelled as rapidly rotating spinning dust grains. The photodissociation region (PDR) at the boundary of the $λ$-Orionis Hii region has been identified by several recent analyses as one of the brightest spinning dust emitting sources in the sky. We investigate the Barnard 30 dark cloud, a dark cloud embedded within the $λ$-Orionis PDR. We use total-power observations…

Leland just posted a great explainer on lambda "stability" and the new "strong skipping" behavior being worked on.
https://www.reddit.com/r/androiddev/comments/1an5emm/comment/kqf8dz0/?u…

This https://arxiv.org/abs/2307.10886 has been replaced.
initial toot: https://mastoxiv.page/@arXi…

Effects of Monovalent and Divalent Cations on the Rheology of Entangled DNA
In this paper we investigate the effects of varying cation valency and concentration on the rheology of entangled lambda DNA solutions. We show that monovalent cations moderately increase the viscoelasticty of the solutions mainly by stabilising linear condensation of lambda DNA ``monomers'' via hybridisation of their sticky ends. On the contrary, divalent cations have a far more complex and dramatic effect on the rheology of the solution and we observe evidence of inter-molecular DNA-DNA bridg…

Amplitude analysis of the $\Lambda_b^0\to pK^-\gamma$ decay
LHCb collaboration, et al.
https://arxiv.org/abs/2403.03710 https://arxiv…

Amplitude analysis of the $Λ_b^0\to pK^-γ$ decay
The resonant structure of the radiative decay $Λ_b^0\to pK^-γ$ in the region of proton-kaon invariant-mass up to 2.5 GeV$/c^2$ is studied using proton-proton collision data recorded at centre-of-mass energies of 7, 8, and 13 TeV collected with the LHCb detector, corresponding to a total integrated luminosity of 9 fb$^{-1}$. Results are given in terms of fit and interference fractions between the different components contributing to this final state. Only $Λ$ resonances decaying to $pK^-$ are…

Nuclear medium effects on the properties of $\Lambda(1405)$
J. Y. S\"ung\"u, N. Er
https://arxiv.org/abs/2403.02728 https://

Nuclear medium effects on the properties of $Λ(1405)$
We study the $Λ(1405)$ resonance with $I(J^{P})=0(1/2^{-}) $ in the context of the pentaquark hypothesis in the nuclear medium. For the investigation of the influence of the nuclear medium on the physical parameters of $Λ(1405)$, we propose a molecular-type structure involving $K^{-}p$ and $\bar{K}^{0}n$ admixtures, correlated with the nuclear matter density. Our analysis reveals a substantial shift in both mass and residue, approximately $20\%$ and $38\%$, respectively. These findings have s…

Early dark energy and scalarization in a scalar-tensor model
H. Mohseni Sadjadi
https://arxiv.org/abs/2404.19695 https://arxiv.org/pdf/2404.19695
arXiv:2404.19695v1 Announce Type: new
Abstract: We present a model in which the Gauss-Bonnet invariant holds the quintessence at a fixed point, respecting an initial $Z_2$ symmetry in the radiation-dominated era. This results in an early dark energy, which becomes significant around the matter-radiation equality era. However, due to $Z_2$ symmetry breaking, scalarization occurs, leading to a rapid reduction in the early dark energy density. The model then quickly behaves like the $\Lambda$CDM model. This scenario alleviates the Hubble tension and aligns with the assumption that the gravitational wave speed is infinitesimally close to the speed of light.

On Hoffman polynomials of $\lambda$-doubly stochastic irreducible matrices and commutative association schemes
Giusy Monzillo, Safet Penji\'c
https://arxiv.org/abs/2403.00652 …

On Hoffman polynomials of $λ$-doubly stochastic irreducible matrices and commutative association schemes
Let $Γ$ denote a finite (strongly) connected regular (di)graph with adjacency matrix $A$. The {\em Hoffman polynomial} $h(t)$ of $Γ=Γ(A)$ is the unique polynomial of smallest degree satisfying $h(A)=J$, where $J$ denotes the all-ones matrix. Let $X$ denote a nonempty finite set. A nonnegative matrix $B\in{\mbox{Mat}}_X({\mathbb R})$ is called {\em $λ$-doubly stochastic} if $\sum_{z\in X} (B)_{yz}=\sum_{z\in X} (B)_{zy}=λ$ for each $y\in X$. In this paper we first show that there exists a p…

One week after getting a final email from AWS that my account is finally removed and all my resources deleted I still get emails about deprecated node version in my lambda functions.
Something tells me my resources are still there.

On a relation between $\lambda$-full well-ordered sets and weakly compact cardinals
Gabriele Gull\`a
https://arxiv.org/abs/2403.15904 https://

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
We prove, via transfinite recursion, the existence, inside any linearly ordered set of appropriate regular cardinality $λ$, of a particular kind of well-ordered subsets characterized by the property of $λ$-fullness. Let $H$ be a set of regular cardinals: by using our results about well-ordered $λ$-full sets we show that if $\inf H$ is a weakly compact cardinal, then, for every LOTS $X$, $H$-compactness is equivalent to the nonexistence of gaps of types in $H$.

Proposal for PAC 52: Measurement of $\alpha_-$ for $\Lambda\rightarrow p\pi^-$
Peter Hurck, Derek I. Glazier, David G. Ireland, Ken Livingston, Farah Afzal, Annika Thiel, Yannick Wunderlich, Volker Crede, Mark M. Dalton
https://arxiv.org/abs/2405.01288

Proposal for PAC 52: Measurement of $α_-$ for $Λ\rightarrow pπ^-$
We propose to measure the weak decay constant $α_-$ for the decay $Λ\rightarrow pπ^-$ using a both circularly and linearly polarized photon beam with the GlueX spectrometer in Hall D. The measurement will take advantage of the fact that a measurement with both linear and circular photon beam polarization results in an over-constrained set of amplitudes which can be fitted to data and used to extract $α_-$ which will be left as a free parameter in the fit. We expect to determine $α_-$ with …

Tracing satellite planes in the Sculptor group: II. Discovery of five faint dwarf galaxies in the DESI Legacy Survey
David Martinez-Delgado, Michael Stein, Marcel S. Pawlowski, Dmitry Makarov, Lidia Makarova, Giuseppe Donatiello, Dustin Lang
https://arxiv.org/abs/2405.03769

Tracing satellite planes in the Sculptor group: II. Discovery of five faint dwarf galaxies in the DESI Legacy Survey
The problem of missing satellites still remains one of the well-known problems of the Lambda-CDM cosmological theory. Despite significant progress in cosmological modeling achieved in recent years, the search for new dwarf galaxies-satellites of nearby giant galaxies remains extremely important. In this series of papers we report the first results of an on-going systematic survey of faint dwarf spheroidal galaxies in the vicinity of the bright late-type spiral NGC 253 galaxy, the brightest memb…

This is how someone who works at AWS implements the Enigma Machine #lambda #lambda #lambda #CloudAustin

Can't tell if this is a welcome return to an interest i've neglected, or an extreme form of procrastination in the face of other commitments, but lately I've felt a strong and quite persistent urge to have another go at working my way through SICP:
(if anyone else on here wanted to have a go at a chapter a week with a bit of discussion on a hashtag, that could be fun)

@… This sounds like it could be fairly low cost on the hosting end, if you were doing some kind of event driven architecture.
Once a day scrape the featured apps (or however often they update) -> lookup if any of those apps match a client you have in your db -> send out notifications.
With something like AWS Lambda I doubt this is a high cost so…

This https://arxiv.org/abs/2101.07391 has been replaced.
link: https://scholar.google.com/scholar?q=a

Upper, down, two-sided Lorenz attractor, collisions, merging and switching
We present a slightly modified version of the well known "geometric Lorenz attractor". It consists in a C1 open set O of vector fields in R3 having an attracting region U containing: (1) a unique singular saddle point sigma; (2) a unique attractor Lambda containing the singular point; (3) the maximal invariant in U contains at most 2 chain recurrence classes, which are Lambda and (at most) one hyperbolic horseshoe. The horseshoe and the singular attractor have a collision along the union of 2 c…

What am I doing wrong in this #Emacs snippet:
```
(add-hook 'newsticker-mode-hook (lambda ()
(setq browse-url-browser-function 'eww-browse-url)))
```
I am trying to make newsticker use eww instead of an external browser
for opening links.
Thank you!

This https://arxiv.org/abs/2312.08842 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

$Q$-functions for lambda opers
We consider the Schrödinger operators which are constructed from the $λ$-opers corresponding to solutions of the $\widehat{\mathfrak{sl}}_2$ Gaudin Bethe Ansatz equations. We define and study the connection coefficients called the $Q$-functions. We conjecture that the $Q$-functions obtained from the $λ$-opers coincide with the $Q$-functions of the Bazhanov-Lukyanov-Zamolodchikov opers with the monster potential related to the quantum KdV flows. We give supporting evidence for this conjecture.

@… yeah, sounds super interesting, till now didn't use it, but next time I need a lambda thing, I guess I will give it a try 😏

Animated $\lambda$-rings and Frobenius lifts
Edith H\"ubner
https://arxiv.org/abs/2404.15040 https://arxiv.org/pdf/2404.15040

Animated $λ$-rings and Frobenius lifts
In this note, we study an integral analogue of animated $δ$-rings: Animated $λ$-rings. We define animated $λ$-rings in terms of animated rings equipped with a structure of coherently compatible Frobenius lifts and show that the resulting $\infty$-category is obtained from animating the classical notion of a $λ$-ring. Our results build on the theory of animated $δ$-rings developed by Bhatt and Lurie in the context of prismatic cohomology.

This https://arxiv.org/abs/1812.11880 has been replaced.
link: https://scholar.google.com/scholar?q=a

On the zeros of sum from n=1 to 00 of lambda_P(n)/n^s
Our main result is to answer a question of Michel Balazard by giving a Dirichlet series with only one zero in its half-plane of convergence. At the end of the paper we also give several sufficient conditions for the Generalized Riemann Hypothesis and ask if any of them are true.

$\lambda$-shaped random matrices, $\lambda$-plane trees, and $\lambda$-Dyck paths
Elia Bisi, Fabio Deelan Cunden
https://arxiv.org/abs/2403.07418 https://<…

$λ$-shaped random matrices, $λ$-plane trees, and $λ$-Dyck paths
We consider random matrices whose shape is the dilation $Nλ$ of a self-conjugate Young diagram $λ$. In the large-$N$ limit, the empirical distribution of the squared singular values converges almost surely to a probability distribution $F^λ$. The moments of $F^λ$ enumerate two combinatorial objects: $λ$-plane trees and $λ$-Dyck paths, which we introduce and show to be in bijection. We also prove that the distribution $F^λ$ is algebraic, in the sense of Rao and Edelman. In the case of fat…

The US CFPB fines BloomTech, formerly Lambda School, and CEO Austen Allred $164K and bans it from lending for 10 years for deceiving students on loans, and more (Kyle Wiggers/TechCrunch)
https://techcrunch.com/2024/04/17/cons

Consumer Financial Protection Bureau fines BloomTech for false claims | TechCrunch
The Consumer Financial Protection Bureau has found that BloomTech, the vocational school startup, misrepresented its practices and business.

Deformations and extensions of modified $\lambda$-differential Lie-Yamaguti algebras
Wen Teng
https://arxiv.org/abs/2403.17015 https://

Deformations and extensions of modified $λ$-differential Lie-Yamaguti algebras
In this paper, we first introduce the concept and representations of modified $λ$-differential Lie-Yamaguti algebras. We then establish the cohomology of a modified $λ$-differential Lie-Yamaguti algebra with coefficients in a representation. As applications, we investigate the formal deformations and abelian extensions of modified $λ$-differential Lie-Yamaguti algebras by using the second cohomology group.

Eisenstein integers and equilateral ideal triangles
Greg McShane
https://arxiv.org/abs/2403.14375 https://arxiv.org/pdf/2403.14375
arXiv:2403.14375v1 Announce Type: new
Abstract: We discuss the relationship between Penner's $\lambda$-length and the norms of Eisenstein integers. This leads to a geometric proof of the fact, attributed to Fermat, that every prime $p$ of the form $3k 1$ is the norm of an Eisenstein integer that is can be written as $a^2 - ab b^2$ for some $a,b \in \mathbb{Z}$.

Updated observational constraints on spatially-flat and non-flat $\Lambda$CDM and XCDM cosmological models
Javier de Cruz Perez, Chan-Gyung Park, Bharat Ratra
https://arxiv.org/abs/2404.19194

Updated observational constraints on spatially-flat and non-flat $Λ$CDM and XCDM cosmological models
We study 6 LCDM models, with 4 allowing for non-flat geometry and 3 allowing for a non-unity lensing consistency parameter $A_L$. We also study 6 XCDM models with a dynamical dark energy density X-fluid with equation of state $w$. For the non-flat models we use two different primordial power spectra, Planck $P(q)$ and new $P(q)$. These models are tested against: Planck 2018 CMB power spectra (P18) and lensing potential power spectrum (lensing), and an updated compilation of BAO, SNIa, $H(z)$, a…

$p\bar\Lambda$ final-state interaction in the reactions $e^ e^- \to K^- p \bar \Lambda$ and $J/\psi \to K^- p \bar \Lambda$
J. Haidenbauer, U. -G. Mei{\ss}ner
https://arxiv.org/abs/2403.18706

$p\barΛ$ final-state interaction in the reactions $e^+e^- \to K^- p \bar Λ$ and $J/ψ\to K^- p \bar Λ$
Near-threshold $p\barΛ$ mass spectra for the reactions $e^+e^- \to K^- p\barΛ$ and $J/ψ\to K^- p\barΛ$ are investigated with an emphasis on the role played by the interaction in the $p\barΛ$ system. As guideline for the $p\barΛ$ interaction a variety of $Λ\barΛ$ potential models is considered that have been established in the analysis of data on $p\bar p\to Λ\barΛ$ in the past. Arguments why the properties of the $p\barΛ$ and $Λ\barΛ$ interactions can be expected to be very similar…

What am I doing wrong in this #Emacs snippet:
```
(add-hook 'newsticker-mode-hook (lambda ()
(setq browse-url-browser-function 'eww-browse-url)))
```
I am trying to make newsticker use eww instead of an external browser
for opening links.
Thank you!

A characterization on trees $T$ with $m(T, \lambda)=p(T)-2$
Sarula Chang, Jianxi Li, Yirong Zheng
https://arxiv.org/abs/2403.17715 https://

A characterization on trees $T$ with $m(T, λ)=p(T)-2$
Let $m(G,λ)$ be the multiplicity of an eigenvalue $λ$ of a connected graph $G$. Wang et al. [Linear Algebra Appl. 584(2020), 257-266] proved that for any connected graph $G\neq C_n$, $m(G, λ) \leq 2c(G) + p(G) -1$, where $c (G) = |E(G)| - |V (G)| + 1$ and $p(G)$ are the cyclomatic number and the number of pendant vertices of $G$, respectively. In the same paper, they proposed the problem to characterize all connected graphs $G$ with eigenvalue $λ$ such that $m(G, λ) =2c…

Me: Help me profess my love for C . Make it a Valentine's Day special.
Copilot: [after 15 interactions]
#cpp

What is the new Bing? - Microsoft Copilot: Ihr täglicher KI-Begleiter
Microsoft Copilot nutzt die Leistungsfähigkeit von KI, um die Produktivität zu steigern, Kreativität freizuschalten und Ihnen mit einer einfachen Chaterfahrung ein besseres Verständnis von Informationen zu bieten.

The true number density of massive galaxies in the early Universe revealed by JWST/MIRI
Tao Wang, Hanwen Sun, Luwenjia Zhou, Ke Xu, Cheng Cheng, Zhaozhou Li, Yangyao Chen, H. J. Mo, Avishai Dekel, Xianzhong Zheng, Zheng Cai, Tiacheng Yang, Y. -S. Dai, David Elbaz, J. -S. Huang
https://arxiv.org/abs/2403.02399 https://arxiv.org/pdf/2403.02399
arXiv:2403.02399v1 Announce Type: new
Abstract: One of the main challenges in galaxy formation that has emerged recently is the early assembly of massive galaxies. The observed number density and the maximum stellar mass ($M_{\star}$) of massive galaxies in the early Universe appear to be higher than model predictions, which may pose a serious problem to the LCDM cosmology. A major limitation in many previous studies is the large uncertainty in estimating $M_{\star}$ due to the lack of constraints in the rest-frame near-infrared part of the spectral energy distribution, which is critical to determining $M_{\star}$ accurately. Here we use data from a large JWST/MIRI survey in the PRIMER program to carry out a systematic analysis of massive galaxies at $z \sim 3-8$, leveraging photometric constraints at rest-frame $\gtrsim 1 \mu$m. We find a significant reduction in the number and mass densities of massive galaxies at $z > 5$ compared to earlier results that did not use the MIRI photometry. Within the standard $\Lambda$CDM cosmology, our results require a moderate increase in the baryon-to-star conversion efficiency ($\epsilon$) towards higher redshifts and higher $M_{\star}$. For the most massive galaxies at $z\sim 8$, the required $\epsilon$ is $\sim 0.3$, in comparison to $\epsilon \sim 0.14$ for typical low-redshift galaxies. Our findings are consistent with models assuming suppressed stellar feedback due to the high gas density and the associated short free-fall time expected for massive halos at high redshift.

A new Young wall realization of $B(\lambda)$ and $B(\infty)$
Zhaobing Fan, Shaolong Han, Seok-Jin Kang, Young Rock Kim
https://arxiv.org/abs/2403.11055 htt…

A new Young wall realization of $B(λ)$ and $B(\infty)$
Using new combinatorics of Young walls, we give a new construction of the arbitrary level highest weight crystal $B(λ)$ for the quantum affine algebras of types $A^{(2)}_{2n}$, $D^{(2)}_{n+1}$, $A^{(2)}_{2n-1}$, $D^{(1)}_n$, $B^{(1)}_n$ and $C^{(1)}_n$. We show that the crystal consisting of reduced Young walls is isomorphic to the crystal $B(λ)$. Moreover, we provide a new realization of the crystal $B(\infty)$ in terms of reduced virtual Young walls and reduced extended Young walls.

Narrow, wide, and $\lambda$-wide regular subalgebras of semisimple Lie algebras
Andrew Douglas, Joe Repka
https://arxiv.org/abs/2403.18847 https://<…

Narrow, wide, and $λ$-wide regular subalgebras of semisimple Lie algebras
A subalgebra of a semisimple Lie algebra is wide if every simple module of the semisimple Lie algebra remains indecomposable when restricted to the subalgebra. From a finer viewpoint, a subalgebra is $λ$-wide if the simple module of a semisimple Lie algebra of highest weight $λ$ remains indecomposable when restricted to the subalgebra. A subalgebra is narrow if the restriction of all non-trivial simple modules to the subalgebra have proper decompositions. We determine necessary and sufficient…

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
Radha Jagadeesan
https://arxiv.org/abs/2403.15570 https://arxiv.org/pdf/24…

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
We study the desiderata on a model for statistical probabilistic programming languages. We argue that they can be met by a combination of traditional tools, namely open bisimulation and probabilistic simulation.

\lambda-Biharmonic hypersurfaces in the product space L^{m}\times \mathbb{R}
Chao Yang, Zhen Zhao
https://arxiv.org/abs/2403.10816 https://

λ-Biharmonic hypersurfaces in the product space L^{m}\times \mathbb{R}
In this paper, we study λ-biharmonic hypersurfaces in the product space L^{m}\times\mathbb{R}, where L^{m} is an Einstein space and \mathbb{R} is a real line. We prove that λ-biharmonic hypersurfaces with constant mean curvature in L^{m}\times\mathbb{R} are either minimal or vertical cylinders, and obtain some classification results for λ$-biharmonic hypersurfaces under various constraints. Furthermore, we investigate λ-biharmonic hypersurfaces in the product space L^{m}(c)\times\mathbb{R},…

Net 835-Gb/s/{\lambda} Carrier- and LO-Free 100-km Transmission Using Channel-Aware Phase Retrieval Reception
Hanzi Huang, Haoshuo Chen, Qian Hu, Di Che, Yetian Huang, Brian Stern, Nicolas K. Fontaine, Mikael Mazur, Lauren Dallachiesa, Roland Ryf, Zhengxuan Li, Yingxiong Song
https://arxiv.org/abs/2404.07092

Net 835-Gb/s/λ Carrier- and LO-Free 100-km Transmission Using Channel-Aware Phase Retrieval Reception
We experimentally demonstrate the first carrier- and LO-free 800G/λ receiver enabling direct compatibility with standard coherent transmitters via phase retrieval, achieving net 835-Gb/s transmission over 100-km SMF and record 8.27-b/s/Hz net optical spectral efficiency.

JWST PRIMER: A new multi-field determination of the evolving galaxy UV luminosity function at redshifts $\mathbf{z \simeq 9-15}$
C. T. Donnan, R. J. McLure, J. S. Dunlop, D. J. McLeod, D. Magee, K. Z. Arellano-C\'ordova, L. Barrufet, R. Begley, R. A. A. Bowler, A. C. Carnall, F. Cullen, R. S. Ellis, A. Fontana, G. D. Illingworth, N. A. Grogin, M. L. Hamadouche, A. M. Koekemoer, Feng-Yuan Liu, C. Mason, P. Santini, T. M. Stanton
https://arxiv.org/abs/2403.03171 https://arxiv.org/pdf/2403.03171
arXiv:2403.03171v1 Announce Type: new
Abstract: We present a new determination of the evolving galaxy UV luminosity function (LF) over the redshift range $8.5<15.5$ using a combination of several major Cycle-1 JWST imaging programmes - PRIMER, JADES and NGDEEP. This multi-field approach yields a total of $\simeq370$ sq. arcmin of JWST/NIRCam imaging, reaching (5-$\sigma$) depths of $\simeq30$ AB mag in the deepest regions. We select a sample of 2548 galaxies with a significant probability of lying at high redshift ($p(z>8.5)>0.05$) to undertake a statistical calculation of the evolving UV LF. Our new measurements span $\simeq4$ magnitudes in UV luminosity at $z=9-12.5$, placing new constraints on both the shape and evolution of the LF at early times. We fit our observational data-points with a double-power law (DPL) function and explore the evolution of the DPL parameters. Our UV LF measurements yield a new estimate of the early evolution of cosmic star-formation rate density ($\rho_{\rm{SFR}}$) which confirms the gradual, log-linear decline deduced from early JWST studies, at least out to $z \simeq 12$. Finally we show that the observed early evolution of the galaxy UV LF (and $\rho_{\rm{SFR}}$) can be reproduced in a ${\rm \Lambda}$CDM Universe, with no change in dust properties or star-formation efficiency required out to $z \simeq 12$. Instead, we show that a progressive trend towards younger stellar population ages can reproduce the observations, and we show that the typical ages required at $z \simeq$ 8, 9, 10, and 11 all converge on a time $\simeq 380-330$ Myr after the Big Bang, indicative of a rapid emergence of early galaxies at $z \simeq 12 - 13$. This is consistent with the first indications of a steeper drop-off in the galaxy population we find beyond $z \simeq 13$, possibly reflecting the rapid evolution of the halo mass function at earlier times.

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
Radha Jagadeesan
https://arxiv.org/abs/2403.15570 https://arxiv.org/pdf/24…

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
We study the desiderata on a model for statistical probabilistic programming languages. We argue that they can be met by a combination of traditional tools, namely open bisimulation and probabilistic simulation.

Static Blackhole with Cosmological Influence: Whittaker Solutions
Santanu Tripathy, K Rajesh Nayak
https://arxiv.org/abs/2404.16146 https://

Static Blackhole with Cosmological Influence: Whittaker Solutions
In this article, we investigate the impact of cosmological parameters on black holes using an exact solution to Einstein's equations that satisfies the Whittaker equation of state. We examine a spherically symmetric black hole in the background of a static Einstein Universe with a perfect fluid source with the cosmological constant. This solution is characterized by two independent parameters, namely the size of the universe~($R$) and the cosmological constant~(Lambda), representing the cosmolo…

Strong decays of the $\Lambda_{c}(2910)$ and $\Lambda_{c}(2940)$ in the $ND^{*}$ molecular frame
Zi-Li Yue, Quan-Yun Guo, Dian-Yong Chen
https://arxiv.org/abs/2402.10594

Strong decays of the $Λ_{c}(2910)$ and $Λ_{c}(2940)$ in the $ND^{*}$ molecular frame
Stimulated by the observation of a new structure, named $Λ_{c}(2910)$, in the $Σ_{c}(2455)^{0,++}π^{+,-}$ decay channel from B meson decay process by the Belle Collaboration, and the similarity of the $Λ_{c}(2910)/Λ_{c}(2940)$ and $P_{c}$ states, we investigate the decay behavior of the $Λ_{c}(2910)$ and $Λ_{c}(2940)$ in the $N D^{*}$ molecular frame with the possible $J^{P}$ quantum numbers to be $1/2^{-}$ and $3/2^{-}$. We employ an effective Lagrangian approach to evaluate the partial…

$\lambda$-shaped random matrices, $\lambda$-plane trees, and $\lambda$-Dyck paths
Elia Bisi, Fabio Deelan Cunden
https://arxiv.org/abs/2403.07418 https://<…

$λ$-shaped random matrices, $λ$-plane trees, and $λ$-Dyck paths
We consider random matrices whose shape is the dilation $Nλ$ of a self-conjugate Young diagram $λ$. In the large-$N$ limit, the empirical distribution of the squared singular values converges almost surely to a probability distribution $F^λ$. The moments of $F^λ$ enumerate two combinatorial objects: $λ$-plane trees and $λ$-Dyck paths, which we introduce and show to be in bijection. We also prove that the distribution $F^λ$ is algebraic, in the sense of Rao and Edelman. In the case of fat…

The galaxy-galaxy strong lensing cross section and the internal distribution of matter in {\Lambda}CDM substructure
Yarone M. Tokayer, Isaque Dutra, Priyamvada Natarajan, Guillaume Mahler, Mathilde Jauzac, Massimo Meneghetti
https://arxiv.org/abs/2404.16951

The galaxy-galaxy strong lensing cross section and the internal distribution of matter in ΛCDM substructure
Strong gravitational lensing offers a powerful probe of the detailed distribution of matter in lenses, while magnifying and bringing faint background sources into view. Observed strong lensing by massive galaxy clusters, which are often in complex dynamical states, has also been used to map their dark matter substructures on smaller scales. Deep high resolution imaging has revealed the presence of strong lensing events associated with these substructures, namely galaxy-scale sub-halos. However,…

In this episode of "C things I knew by feeling but not for sure":
A #cpp lambda is a class w overloaded function-call operator (), confirmed 3 different ways with the example in Pic 1:
1. Assembly has operator() function members for A, C, D
2. Can explicitly call function call operators on A, C, D
3. A passes the trait std::is_class but fails std::is_function
Pic…

Compiler Explorer - C++ (x86-64 gcc 13.2)
auto A = []() { std

T-convexity, Weakly Immediate Types and $T$-$\lambda$-Spherical Completions of o-minimal Structures
Pietro Freni
https://arxiv.org/abs/2404.07646 https://<…

T-convexity, Weakly Immediate Types and $T$-$λ$-Spherical Completions of o-minimal Structures
Let $T$ be the theory of an o-minimal field, and $T_{\mathrm{convex}}$ the theory of its expansion by a predicate $\mathcal{O}$ for a non-trival $T$-convex valuation ring. For $λ$ an uncountable cardinal, say that a unary type $p(x)$ over a model of $T_{\mathrm{convex}}$ is \emph{$λ$-bounded weakly immediate} if its cut is defined by an empty intersection of fewer than $λ$ many nested valuation balls. Call an elementary extension \emph{$λ$-bounded wim-constructible} if it is obtained as a t…

Profinite trees, through monads and the lambda-calculus
Vincent Moreau
https://arxiv.org/abs/2402.13086 https://arxiv.org/pdf/2402.13…

Profinite trees, through monads and the lambda-calculus
In its simplest form, the theory of regular languages is the study of sets of finite words recognized by finite monoids. The finiteness condition on monoids gives rise to a topological space whose points, called profinite words, encode the limiting behavior of words with respect to finite monoids. Yet, some aspects of the theory of regular languages are not particular to monoids and can be described in a general setting. On the one hand, Bojańczyk has shown how to use monads to generalize the …

The Theoretical Study of $p\bar{p}\to\bar{\Lambda}\Sigma\eta$ Reaction
Aojia Xu, Ruitian Li, Xuan Luo, Hao Sun
https://arxiv.org/abs/2404.17088 https://

The Theoretical Study of $p\bar{p}\to\barΛΣη$ Reaction
We study the production of hyperon resonances in the $p\bar{p}\to\barΛΣη$ reaction within an effective Lagrangian approach. The model includes the production of $Σ(1750)$ and $Λ(1670)$ in the intermediate state excited by the $K$ and $K^*$ meson exchanges between the initial proton and antiproton. Due to the large coupling of $Σ(1750)Ση$ vertex, $Σ(1750)$ is found a significant contribution near the threshold in this reaction. We provide total and differential cross section predictions…

The galaxy-galaxy strong lensing cross section and the internal distribution of matter in {\Lambda}CDM substructure
Yarone M. Tokayer, Isaque Dutra, Priyamvada Natarajan, Guillaume Mahler, Mathilde Jauzac, Massimo Meneghetti
https://arxiv.org/abs/2404.16951

The galaxy-galaxy strong lensing cross section and the internal distribution of matter in ΛCDM substructure
Strong gravitational lensing offers a powerful probe of the detailed distribution of matter in lenses, while magnifying and bringing faint background sources into view. Observed strong lensing by massive galaxy clusters, which are often in complex dynamical states, has also been used to map their dark matter substructures on smaller scales. Deep high resolution imaging has revealed the presence of strong lensing events associated with these substructures, namely galaxy-scale sub-halos. However,…

This https://arxiv.org/abs/2401.07458 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_nuc…

Weak magnetic effect in quark-gluon plasma and local spin polarization
We propose the weak magnetic effect, which emerges in quark-gluon plasma close to local thermal equilibrium as the dissipative correction to the quark phase space distribution function, as a novel contribution to the observed Lambda hyperon local spin polarization. With a finite field strength, which is consistent with previous estimate of the magnetic field in heavy-ion collisions, one is able to explain the experimentally observed Lambda local spin polarization through all centrality classes.…

Global rigidity of smooth ${\mathbb Z}\ltimes_\lambda{\mathbb R}$-actions on ${\mathbb T}^2$
Changguang Dong, Yi Shi
https://arxiv.org/abs/2403.10060 https…

Global rigidity of smooth ${\mathbb Z}\ltimes_λ{\mathbb R}$-actions on ${\mathbb T}^2$
For $λ>1$, we consider the locally free ${\mathbb Z}\ltimes_λ{\mathbb R}$ actions on ${\mathbb T}^2$. We show that, if the action is $C^r$ with $r\geq2$, then it is $C^{r-ε}$-conjugate to an affine action generated by a hyperbolic automorphism and a linear translation flow along expanding eigen-direction of the automorphism. In contrast, there exists a $C^{1+α}$-action which is semi-conjugate, but not topologically conjugate to an affine action.

The Essense of Useful Evaluation Through Quantitative Types (Extended Version)
Pablo Barenbaum, Delia Kesner, Mariana Milicich
https://arxiv.org/abs/2404.18874

The Essense of Useful Evaluation Through Quantitative Types (Extended Version)
Several evaluation notions for lambda calculus qualify as reasonable cost models according to Slot and van Emde Boas' Invariance Thesis. A notable result achieved by Accattoli and Dal Lago is that leftmost-outermost reduction is reasonable, where the term representation uses sharing and the steps are useful. These results, initially studied in call-by-name, have also been extended to call-by-value. However, the existing formulations of usefulness lack inductive structure, making it challenging …

The Theoretical Study of $p\bar{p}\to\bar{\Lambda}\Sigma\eta$ Reaction
Aojia Xu, Ruitian Li, Xuan Luo, Hao Sun
https://arxiv.org/abs/2404.17088 https://

The Theoretical Study of $p\bar{p}\to\barΛΣη$ Reaction
We study the production of hyperon resonances in the $p\bar{p}\to\barΛΣη$ reaction within an effective Lagrangian approach. The model includes the production of $Σ(1750)$ and $Λ(1670)$ in the intermediate state excited by the $K$ and $K^*$ meson exchanges between the initial proton and antiproton. Due to the large coupling of $Σ(1750)Ση$ vertex, $Σ(1750)$ is found a significant contribution near the threshold in this reaction. We provide total and differential cross section predictions…

Finiteness of the number of irreducible $\lambda$-quiddities over a finite commutative and unitary ring
Flavien Mabilat
https://arxiv.org/abs/2404.10521 ht…

Finiteness of the number of irreducible $λ$-quiddities over a finite commutative and unitary ring
$λ$-quiddities of size $n$ are $n$-tuples of elements of a fixed set, solutions of a matrix equation appearing in the study of Coxeter's friezes. The study of these solutions involves in particular the use of a notion of irreducibility. The main objective of this text is to show that there is a finite number of irreducible $λ$-quiddities over a finite unitary commutative ring and to obtain in this case an upper bound of the maximal size of them.

This https://arxiv.org/abs/2404.11468 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Conformal Killing cosmology with Sinyukov tensors: geometry and growth of structures
We introduce perfect fluid Sinyukov-like tensors, a special kind of conformal Killing tensors, and prove a characterization of generalized RW spacetimes. In cosmological (RW) framework, we study the Friedmann equations of Conformal Killing Gravity. In addition to ordinary matter they contain a dark fluid and a Lambda term emergent from the conformal Killing extension. We then solve the equation for the evolution of the density contrast in matter-dominated universe. The main result is that the s…

Iwasawa $\lambda$ invariant and Massey product
Peikai Qi
https://arxiv.org/abs/2402.06028 https://arxiv.org/pdf/2402.06028

Iwasawa $λ$ invariant and Massey product
We compute Iwasawa $λ$ invariant in terms of Massey products in Galois cohomology with restricted ramification. When applied to imaginary quadratic fields and cyclotomic fields, we obtain a new proof and generalization of results of Gold and McCallum-Sharifi. The main tool is the generalized Bockstein map introduced by Lam-Liu-Sharifi-Wake-Wang.

syren-halofit: A fast, interpretable, high-precision formula for the $\Lambda$CDM nonlinear matter power spectrum
Deaglan J. Bartlett, Benjamin D. Wandelt, Matteo Zennaro, Pedro G. Ferreira, Harry Desmond
https://arxiv.org/abs/2402.17492

syren-halofit: A fast, interpretable, high-precision formula for the $Λ$CDM nonlinear matter power spectrum
Rapid and accurate evaluation of the nonlinear matter power spectrum, $P(k)$, as a function of cosmological parameters and redshift is of fundamental importance in cosmology. Analytic approximations provide an interpretable solution, yet current approximations are neither fast nor accurate relative to black-box numerical emulators. We use symbolic regression to obtain simple analytic approximations to the nonlinear scale, $k_σ$, the effective spectral index, $n_{\rm eff}$, and the curvature, $…

Finiteness of the number of irreducible $\lambda$-quiddities over a finite commutative and unitary ring
Flavien Mabilat
https://arxiv.org/abs/2404.10521 ht…

Finiteness of the number of irreducible $λ$-quiddities over a finite commutative and unitary ring
$λ$-quiddities of size $n$ are $n$-tuples of elements of a fixed set, solutions of a matrix equation appearing in the study of Coxeter's friezes. The study of these solutions involves in particular the use of a notion of irreducibility. The main objective of this text is to show that there is a finite number of irreducible $λ$-quiddities over a finite unitary commutative ring and to obtain in this case an upper bound of the maximal size of them.

Improving $\Lambda$ Signal Extraction with Domain Adaptation via Normalizing Flows
Rowan Kelleher, Matthew McEneaney, Anselm Vossen
https://arxiv.org/abs/2403.14076

Improving $Λ$ Signal Extraction with Domain Adaptation via Normalizing Flows
The present study presents a novel application for normalizing flows for domain adaptation. The study investigates the ability of flow based neural networks to improve signal extraction of $Λ$ Hyperons at CLAS12. Normalizing Flows can help model complex probability density functions that describe physics processes, enabling uses such as event generation. $Λ$ signal extraction has been improved through the use of classifier networks, but differences in simulation and data domains limit classif…

A direct probe of $\Lambda$ potential in nuclear medium
Gao-Chan Yong
https://arxiv.org/abs/2402.18831 https://arxiv.org/pdf/2402.188…

A direct probe of $Λ$ potential in nuclear medium
Using the Liège intranuclear-cascade model together with the ablation model ABLA, an investigation is conducted into the effects of $Λ$ potential in $Λ$-nucleus and $Λ$-hypernucleus-nucleus collisions across various beam energies. The findings show that the angle and transverse-momentum distributions of scattered $Λ$ hyperon, the scattering cross section of the $Λ$ hyperon in $Λ$-nucleus collisions as well as the rapidity distribution of $Λ$ hyperon in $Λ$-hypernucleus-nucleus collisio…

Testing the $\mathbf{\Lambda}$CDM Cosmological Model with Forthcoming Measurements of the Cosmic Microwave Background with SPT-3G
K. Prabhu, S. Raghunathan, M. Millea, G. Lynch, P. A. R. Ade, E. Anderes, A. J. Anderson, B. Ansarinejad, M. Archipley, L. Balkenhol, K. Benabed, A. N. Bender, B. A. Benson, F. Bianchini, L. E. Bleem, F. R. Bouchet, L. Bryant, E. Camphuis, J. E. Carlstrom, T. W. Cecil, C. L. Chang, P. Chaubal, P. M. Chichura, T. -L. Chou, A. Coerver, T. M. Crawford, A. Cukie…

Testing the $\mathbfΛ$CDM Cosmological Model with Forthcoming Measurements of the Cosmic Microwave Background with SPT-3G
We forecast constraints on cosmological parameters enabled by three surveys conducted with SPT-3G, the third-generation camera on the South Pole Telescope. The surveys cover separate regions of 1500, 2650, and 6000 ${\rm deg}^{2}$ to different depths, in total observing 25% of the sky. These regions will be measured to white noise levels of roughly 2.5, 9, and 12 $μ{\rm K-arcmin}$, respectively, in CMB temperature units at 150 GHz by the end of 2024. The survey also includes measurements at 95…

More Church-Rosser Proofs in BELUGA
Alberto Momigliano (Dipartimento di Informatica, Universit\`a degli Studi di Milano, Italy), Martina Sassella (Dipartimento di Matematica, Universit\`a degli Studi di Milano, Italy)
https://arxiv.org/abs/2404.14921

More Church-Rosser Proofs in BELUGA
We report on yet another formalization of the Church-Rosser property in lambda-calculi, carried out with the proof environment Beluga. After the well-known proofs of confluence for beta-reduction in the untyped settings, with and without Takahashi's complete developments method, we concentrate on eta-reduction and obtain the result for beta-eta modularly. We further extend the analysis to typed-calculi, in particular System F. Finally, we investigate the idea of pursuing the encoding directly i…

Production of $P^\Lambda_{\psi s}(4338)$ from $\Xi_b$ decay
Qi Wu, Dian-Yong Chen
https://arxiv.org/abs/2402.14467 https://arxiv.org/…

Production of $P^Λ_{ψs}(4338)$ from $Ξ_b$ decay
In the present work, we investigate the production of the newly observed $P^Λ_{ψs}(4338)$ state in $Ξ_b^-$ decay, where the $P^Λ_{ψs}(4338)$ is assigned as $Ξ_c \bar{D}$ molecular state. By using an effective Lagrangian approach, we evaluate the branching fractions of $Ξ_b^-\rightarrow P^Λ_{ψs}(4338)K^-$ via the triangle loop mechanism. The branching fractions of $Ξ_b^-\rightarrow P^Λ_{ψs}(4338)K^-$ is in the order of $10^{-4}$, the result are compared with our previous work of $Ξ_…

Some counting formulas for $\lambda$-quiddities over the rings $\mathbb{Z}/2^{m}\mathbb{Z}$
Flavien Mabilat
https://arxiv.org/abs/2402.09968 https://

Mirroring Call-by-Need, or Values Acting Silly
Beniamino Accattoli, Adrienne Lancelot
https://arxiv.org/abs/2402.12078 https://arxiv.…

Mirroring Call-by-Need, or Values Acting Silly
Call-by-need evaluation for the lambda-calculus can be seen as merging the best of call-by-name and call-by-value, namely the wise erasing behaviour of the former and the wise duplicating behaviour of the latter. To better understand how duplication and erasure can be combined, we design a degenerated calculus, dubbed call-by-silly, that is symmetric to call-by-need in that it merges the worst of call-by-name and call-by-value, namely silly duplications by-name and silly erasures by-value. We…

Antisymmetric galaxy cross-correlations in and beyond $\Lambda$CDM
Eleonora VanzanUniversity of Padova, INFN Padova, Alvise RaccanelliUniversity of Padova, INFN Padova, INAF OAPD, Nicola BartoloUniversity of Padova, INFN Padova, INAF OAPD
https://arxiv.org/abs/2402.14782

Antisymmetric galaxy cross-correlations in and beyond $Λ$CDM
Many different techniques to analyze galaxy clustering data and obtain cosmological constraints have been proposed, tested and used. Given the large amount of data that will be available soon, it is worth investigating new observables and ways to extract information from such datasets. In this paper, we focus on antisymmetric correlations, that arise in the cross-correlation of different galaxy populations when the small-scale power spectrum is modulated by a long-wavelength field. In $Λ$CDM t…

Antisymmetric galaxy cross-correlations in and beyond $\Lambda$CDM
Eleonora VanzanUniversity of Padova, INFN Padova, Alvise RaccanelliUniversity of Padova, INFN Padova, INAF OAPD, Nicola BartoloUniversity of Padova, INFN Padova, INAF OAPD
https://arxiv.org/abs/2402.14782

Antisymmetric galaxy cross-correlations in and beyond $Λ$CDM
Many different techniques to analyze galaxy clustering data and obtain cosmological constraints have been proposed, tested and used. Given the large amount of data that will be available soon, it is worth investigating new observables and ways to extract information from such datasets. In this paper, we focus on antisymmetric correlations, that arise in the cross-correlation of different galaxy populations when the small-scale power spectrum is modulated by a long-wavelength field. In $Λ$CDM t…

From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory
Valentin BlotDEDUCTEAM, LMF, ENS Paris Saclay, Gilles DowekDEDUCTEAM, LMF, ENS Paris Saclay, Thomas Traversi\'eDEDUCTEAM, LMF, ENS Paris Saclay, MICS, Th\'eo WinterhalterDEDUCTEAM, LMF, ENS Paris Saclay
https://arxiv.org/abs/2402.09024

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
The $λ$$Π$-calculus modulo theory is an extension of simply typed $λ$-calculus with dependent types and user-defined rewrite rules. We show that it is possible to replace the rewrite rules of a theory of the $λ$$Π$-calculus modulo theory by equational axioms, when this theory features the notions of proposition and proof, while maintaining the same expressiveness. To do so, we introduce in the target theory a heterogeneous equality, and we build a translation that replaces each use of the …

This https://arxiv.org/abs/2311.13269 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hepp…

Space-like Electromagnetic Form Factors of Lambda- and Sigma-Baryons from Quark-Diquark Faddeev Equations
An important goal of ongoing and future experiments is to explore spectra and transition form factors of baryons with non-zero strangeness. Of particular interest is the transition form factor$γ^{(*)} Σ^0 \rightarrow Λ$ in the time-like momentum region that can be extracted from Dalitz decays. On the road towards a theoretical description of these form factors we extend a covariant dynamical quark-diquark model for the baryon Faddeev equation to the strange-quark sector. Based on an excellen…

Confronting the Diversity Problem: The Limits of Galaxy Rotation Curves as a tool to Understand Dark Matter Profiles
Isabel S. Sands, Philip F. Hopkins, Xuejian Shen, Michael Boylan-Kolchin, James Bullock, Claude-Andre Faucher-Giguere, Francisco J. Mercado, Jorge Moreno, Lina Necib, Xiaowei Ou, Sarah Wellons, Andrew Wetzel
https://

Confronting the Diversity Problem: The Limits of Galaxy Rotation Curves as a tool to Understand Dark Matter Profiles
While galaxy rotation curves provide one of the most powerful methods for measuring dark matter profiles in the inner regions of rotation-supported galaxies, at the dwarf scale there are factors that can complicate this analysis. Given the expectation of a universal profile in dark matter-only simulations, the diversity of observed rotation curves has become an often-discussed issue in Lambda Cold Dark Matter cosmology on galactic scales. We analyze a suite of Feedback in Realistic Environments…

This https://arxiv.org/abs/2305.12601 has been replaced.
link: https://scholar.google.com/scholar?q=a

Simply typed convertibility is TOWER-complete even for safe lambda-terms
We consider the following decision problem: given two simply typed $λ$-terms, are they $β$-convertible? Equivalently, do they have the same normal form? It is famously non-elementary, but the precise complexity - namely TOWER-complete - is lesser known. One goal of this short paper is to popularize this fact. Our original contribution is to show that the problem stays TOWER-complete when the two input terms belong to Blum and Ong's safe $λ$-calculus, a fragment of the simply typed $λ$-cal…

The Self-Consistency of DESI Analysis and Comment on "Does DESI 2024 Confirm $\Lambda$CDM?"
Deng Wang (IFIC, Spain)
https://arxiv.org/abs/2404.13833

The Self-Consistency of DESI Analysis and Comment on "Does DESI 2024 Confirm $Λ$CDM?"
We demonstrate that the constraints on the evolution of dark energy implemented by the DESI collaboration may be insufficient or incomplete using their own BAO data. Using large enough prior ranges for the present-day equation of state of dark energy $ω_0$ and amplitude of dark energy evolution $ω_a$, we obtain the complete $1\,σ$ and $2\,σ$ constraints $ω_0=1.04^{+0.91+2.00}_{-1.00-1.90}$ and $ω_a=-7.4^{+3.8+6.8}_{-3.2-7.3}$ indicating a beyond $2\,σ$ preference of quintessence-like dar…

This https://arxiv.org/abs/2309.04624 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
We consider the linear lambda-calculus extended with the sup type constructor, which provides an additive conjunction along with a non-deterministic destructor. The sup type constructor has been introduced in the context of quantum computing. In this paper, we study this type constructor within a simple linear logic categorical model, employing the category of semimodules over a commutative semiring. We demonstrate that the non-deterministic destructor, either weighted or not, finds a suitable …

How robust are the parameter constraints extending the $\Lambda$CDM model?
Stefano Gariazzo, William Giar\`e, Olga Mena, Eleonora Di Valentino
https://arxiv.org/abs/2404.11182

How robust are the parameter constraints extending the $Λ$CDM model?
We present model-marginalized limits on the six standard $Λ$CDM cosmological parameters ($Ω_{\rm c} h^2$, $Ω_{\rm b} h^2$, $θ_{\rm MC}$, $τ_{\rm reio}$, $n_s$ and $A_s$), as well as on selected derived quantities ($H_0$, $Ω_{\rm m}$, $σ_8$, $S_8$ and $r_{\rm drag}$), obtained by considering three independent Cosmic Microwave Background (CMB) experiments: the Planck satellite, the Atacama Cosmology Telescope, and South Pole Telescope. We also consider low redshift observations in the form…

Does DESI 2024 Confirm $\Lambda$CDM?
Eoin \'O Colg\'ain, Maria Giovanna Dainotti, Salvatore Capozziello, Saeed Pourojaghi, M. M. Sheikh-Jabbari, Dejan Stojkovic
https://arxiv.org/abs/2404.08633

Does DESI 2024 Confirm $Λ$CDM?
We demonstrate that a $\sim 2 σ$ discrepancy with the Planck-$Λ$CDM cosmology in DESI Luminous Red Galaxy (LRG) data at $z_{\textrm{eff}} = 0.51$ translates into an unexpectedly large $Ω_m$ value, $Ω_m = 0.668^{+0.180}_{-0.169}$. We independently confirm that this anomaly drives the preference for $w_0 > -1$ in DESI data confronted to the $w_0 w_a$CDM model. We show that redshift bins of DESI constraints allow $Ω_m$ to wiggle at the $\sim 2 σ$ level with increasing effective redshift in t…