Tootfinder

from my link log —
Dana Scott on the lambda calculus, then and now.
https://www.cis.upenn.edu/~cis5110/lambda_calculus_timeline-Scott.pdf
saved 2025-07-18

Revisiting the $\Lambda_c^ \to \Lambda \eta \pi^ $ and the roles of intermediate resonances
En Wang, Wen-Tao Lyu, Man-Yu Duan, Chu-Wen Xiao, Dian-Yong Chen, Ju-Jun Xie, Eulogio Oset
https://arxiv.org/abs/2507.13738

Revisiting the $Λ_c^+\to Ληπ^+$ and the roles of intermediate resonances
In this paper, we first review the theoretical and experimental studies of the process $Λ_c^+ \to π^+ ηΛ$. Motivated by the recent BESIII and Belle measurements, we have conducted a theoretical study of the process $Λ_c^+ \to π^+ ηΛ$, where the $a_0(980)$ and $Λ(1670)$ resonances are dynamically generated from the $S$-wave meson meson and meson baryon interaction, respectively. Our results give a reasonable description of the invariant mass distributions, which implies that the spin fl…

The Extended Atlas of Low-resolution Spectra from the Infrared Astronomical Satellite
G. C. Sloan, Kathleen E. Kraemer, K. Volk
https://arxiv.org/abs/2507.14134

The Extended Atlas of Low-resolution Spectra from the Infrared Astronomical Satellite
We present an updated atlas of spectra from the Low-Resolution Spectrometer (LRS) on the Infrared Astronomical Satellite (IRAS), which took spectra from 7.67 to 22.73 um with a spectral resolving power (lambda / Delta lambda) of 20-60. The updated atlas includes 11,238 spectra, including 5425 spectra published in the original LRS Atlas, 5796 spectra published in three later papers, and 17 spectra previously available online but not published. The updated atlas has significantly more sources clo…

Don't exhaust, don't waste
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
https://arxiv.org/abs/2507.13792 https://

Don't exhaust, don't waste
We extend the semantics and type system of a lambda calculus equipped with common constructs to be resource-aware. That is, the semantics keep tracks of the usage of resources, and is stuck, besides in case of type errors, if either a needed resource is exhausted, or a provided resource would be wasted. In such way, the type system guarantees, besides standard soundness, that for well-typed programs there is a computation where no resource gets either exhausted or wasted. The no-waste extensi…

Universal parameters of the $\Lambda(1380)$, the $\Lambda(1405)$ and their isospin partners from a combined analysis of Lattice QCD and experimental results
Ferenc Pittler, Maxim Mai, Ulf-G. Mei{\ss}ner, Ryan F. Ferguson, Peter Hurck, David G. Ireland, Bryan McKinnon
https://arxiv.org/abs/2507.14283

Universal parameters of the $Λ(1380)$, the $Λ(1405)$ and their isospin partners from a combined analysis of Lattice QCD and experimental results
We perform a global analysis of lattice and experimental data on negative-strangeness meson-baryon scattering using a large set of variations of the theoretical framework based on the Chiral Unitary Approach. For the former, the Lüscher formalism is utilized taking into account all pertinent coupled-channel effects. Through this, systematic uncertainties related to data scarcity, potential ambiguities, and possible framework dependence are quantified for the first time. The implementation of i…

Reanalyzing DESI DR1: 1. $\Lambda$CDM Constraints from the Power Spectrum and Bispectrum
Anton Chudaykin, Mikhail M. Ivanov, Oliver H. E. Philcox
https://arxiv.org/abs/2507.13433 …

Reanalyzing DESI DR1: 1. $Λ$CDM Constraints from the Power Spectrum and Bispectrum
We present the first independent re-analysis of the galaxy clustering data from DESI Data Release 1, utilizing an effective field theory (EFT)-based full-shape model. We analyze the power spectra and bispectra of the public catalogs using a custom-built pipeline based on window-deconvolved quasi-optimal estimators, carefully accounting for all relevant systematic effects. Compared to the official collaboration analysis, we add the galaxy power spectrum hexadecapole and the bispectrum monopole, …

Sources: Lambda is in talks for a funding round that could value the cloud services company between $4B and $5B ahead of a potential IPO by the end of 2025 (Bloomberg)
https://www.bloomberg.com/news/articles/2025-08-14/nvidia-b…

I learned something new today—threat actors are using AWS Lambda URLs for C2. Lambda is an ephemeral serverless function service from AWS. They have different URL endpoints in the different AWS regions. One example is: <uniquename>.lambda-url.ap-southeast-1.on[.]aws
Something you may want to hunt for. #cybersecurity

It's been bothering me for a while, so I created a Racket extension to refer to variables by position: eg,
(define hypotenuse
(lambda 2
(sqrt ( (square $0)
(square $1)))))
Why not. What fun. No more variable name choice paralysis! 🤣
https://github.com/shriram/lambda-n

GitHub - shriram/lambda-n: the lambda-n language
the lambda-n language. Contribute to shriram/lambda-n development by creating an account on GitHub.

Spin correlations and Bell nonlocality in $\Lambda\bar\Lambda$ pair production from $e^ e^-$ collisions with a thrust cut
Shi-Jia Lin, Ming-Jun Liu, Ding Yu Shao, Shu-Yi Wei
https://arxiv.org/abs/2507.15387

Spin correlations and Bell nonlocality in $Λ\barΛ$ pair production from $e^+e^-$ collisions with a thrust cut
We present a comprehensive theoretical study of spin correlations in $Λ\barΛ$ production from $e^+e^-$ annihilation, providing the theoretical predictions for the Belle II experiment. Using soft-collinear effective theory, we perform the first resummation of large logarithms for the longitudinal ($C_{LL}$) and transverse ($C_{TT}$) spin correlations for events with a cut on the thrust variable. Our calculation achieves next-to-next-to-leading logarithmic accuracy and incorporates the determin…

Cluster breaking and reconfiguration effects in 12 Lambda B hypernucleus
Jiaqi Tian, Mengjiao Lyu, Akinobu Dote, Zheng Cheng, Takayuki Myo, Masahiro Isaka, Hisashi Horiuchi, Hiroki Takemoto, Hiroshi Toki, Niu Wan, Qing Zhao
https://arxiv.org/abs/2508.11937

Cluster breaking and reconfiguration effects in 12 Lambda B hypernucleus
We investigate the cluster-breaking effect and spatial distribution of negative-parity states in the 12 Lambda B hypernucleus using the Hyper-Brink model with cluster-breaking(CB-Hyper-Brink) optimized via Control Neural Network (Ctrl.NN). The results demonstrate that the inclusion of cluster-breaking is essential for accurately reproducing the observed low-lying energy levels and for making reliable predictions of the Hoyle-analog state 1-4 in 12 Lambda B. Cluster-breaking manifests as strong …

A spherical hydrodynamical model of cosmic voids in {\Lambda}CDM and beyond
Tommaso Moretti, Giovanni Verza, Noemi Frusciante, Franceso Pace
https://arxiv.org/abs/2507.14120

A spherical hydrodynamical model of cosmic voids in ΛCDM and beyond
Cosmic voids have emerged as powerful probes for cosmology, providing complementary information on the large-scale structure of the universe. We present the first application of a hydrodynamical framework to model the evolution of cosmic voids. This approach offers a physically intuitive characterization of void dynamics and can naturally be applied to non-standard cosmologies. We derive the cosmology-dependent mapping that relates the linear (Lagrangian) and fully non-linear (Eulerian) evoluti…

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
Ryunosuke Endo, Tachio Terauchi
https://arxiv.org/abs/2508.12572 https://arxiv.…

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
It is well known that the reachability problem for simply-typed lambda calculus with recursive definitions and finite base-type values (finitary PCF) is decidable. A recent paper by Dal Lago and Ghyselen has shown that the same problem becomes undecidable when the language is extended with algebraic effect and handlers (effect handlers). We show that, perhaps surprisingly, the problem becomes decidable even with effect handlers when the type system is extended with answer type modification (ATM…

from my link log —
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution.
https://github.com/sweirich/lambda-n-ways
saved 2025-06-14

GitHub - sweirich/lambda-n-ways: Benchmarks for capture-avoiding substitution
Benchmarks for capture-avoiding substitution. Contribute to sweirich/lambda-n-ways development by creating an account on GitHub.

First observation of the $\mathit{\Lambda}_b^{0}\!\rightarrow\mathit{\Lambda}_{c}^{ }D_{s}^{-}K^{ }K^{-}$ decay and search for pentaquarks in the $\mathit{\Lambda}_{c}^{ }D_{s}^{-}$ system
LHCb collaboration, et al.
https://arxiv.org/abs/2507.10713

First observation of the $\mathitΛ_b^{0}\!\rightarrow\mathitΛ_{c}^{+}D_{s}^{-}K^{+}K^{-}$ decay and search for pentaquarks in the $\mathitΛ_{c}^{+}D_{s}^{-}$ system
The $\mathitΛ_b^{0}\!\rightarrow\mathitΛ_{c}^{+}D_{s}^{-}K^{+}K^{-}$ decay is observed for the first time using the data sample from proton-proton collisions recorded at a center-of-mass energy of $13\,\text{TeV}$ with the LHCb detector, corresponding to an integrated luminosity of $6\,\text{fb}^{-1}$. The ratio of branching fraction to that of $\mathitΛ_b^{0} \!\rightarrow\mathitΛ_{c}^{+}D_{s}^{-}$ decays is measured as $0.0141 \pm 0.0019 \pm 0.0012$, where the first uncertainty is statist…

On {\lambda}-Cent-Dians and Generalized-Center for Network Design: Formulations and Algorithms
V\'ictor Bucarey, Natividad Gonz\'alez-Blanco, Martine Labb\'e, Juan A. Mesa
https://arxiv.org/abs/2506.14839

On λ-Cent-Dians and Generalized-Center for Network Design: Formulations and Algorithms
In this paper, we study the $λ$-centdian problem in the domain of Network Design. The focus is on designing a sub-network within a given underlying network while adhering to a budget constraint. This sub-network is intended to efficiently serve a collection of origin/destination demand pairs. We extend the work presented in \cite{bucarey2024on}, providing an algorithmic perspective on the generalized $λ$-centdian problem. In particular, we provide a mathematical formulation for $λ\geq 0$ and…

Design switching on graphs
Ferdinand Ihringer, Robin Simoens
https://arxiv.org/abs/2508.11523 https://arxiv.org/pdf/2508.11523

Design switching on graphs
We show that each (r, lambda)-design yields a class of switching methods that can be used produce cospectral graphs. We use this to explain several specific switching methods such as Godsil-McKay (GM) switching and Wang-Qiu-Hu (WQH) switching.

Replaced article(s) found for q-fin.RM. https://arxiv.org/list/q-fin.RM/new
[1/1]:
- Optimal insurance design with Lambda-Value-at-Risk
Tim J. Boonen, Yuyu Chen, Xia Han, Qiuqi Wang

Structure of hypernucleus $_{\Lambda}^{7}$Li within microscopic three-cluster model
N. K. Kalzhigitov, S. Amangeldinova, V. S. Vasilevsky
https://arxiv.org/abs/2508.13702 https:…

Structure of hypernucleus $_Λ^{7}$Li within microscopic three-cluster model
The structure of bound and resonance states of the hypernucleus $_Λ^{7}$Li is studied within a three-cluster model. This nucleus is considered a three-cluster structure consisting of $^{4}$He, a deuteron, and a lambda hyperon. The chosen three-cluster configuration allows us to describe more accurately the structure of hypernucleus $_Λ^{7}$Li and the dynamics of different processes that involve interactions of lightest nuclei and hypernuclei. The main goal of the present investigations is to …

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
Daniel Rogozin
https://arxiv.org/abs/2507.12360 https://arxiv.o…

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
In this paper, we present a typed lambda calculus ${\bf SILL}(λ)_Σ$, a type-theoretic version of intuitionistic linear logic with subexponentials, that is, we have many resource comonadic modalities with some interconnections between them given by a subexponential signature. We also give proof normalisation rules and prove the strong normalisation and Church-Rosser properties for $β$-reduction by adapting the Tait-Girard method to subexponential modalities. Further, we analyse subexponential…

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
Abhijit Paul
https://arxiv.org/abs/2508.12475 https://arxiv.org/pdf/2508…

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
Prompt programming treats large language model prompts as software components with typed interfaces. Based on a literature survey of 15 recent works from 2023 to 2025, we observe a consistent trend: type systems are central to emerging prompt programming frameworks. However, there are gaps in constraint expressiveness and in supporting algorithms. To address these issues, we introduce the notion of Lambda Prompt, a dependently typed calculus with probabilistic refinements for syntactic and sema…

Replaced article(s) found for math.AT. https://arxiv.org/list/math.AT/new
[1/1]:
- Computational Approaches to the Singer Transfer: Preimages in the Lambda Algebra and $G_k$-Invari...
Dang Vo Phuc

Multi-population GAN Training: Analyzing Co-Evolutionary Algorithms
Walter P. Casas, Jamal Toutouh
https://arxiv.org/abs/2507.13157 https://

Multi-population GAN Training: Analyzing Co-Evolutionary Algorithms
Generative adversarial networks (GANs) are powerful generative models but remain challenging to train due to pathologies suchas mode collapse and instability. Recent research has explored co-evolutionary approaches, in which populations of generators and discriminators are evolved, as a promising solution. This paper presents an empirical analysis of different coevolutionary GAN training strategies, focusing on the impact of selection and replacement mechanisms. We compare (mu,lambda), (mu+lamb…

Analysis of the semileptonic decays $\Lambda_b\to\Lambda_cl\bar{\nu}_l$ and $\Xi_b\to\Xi_cl\bar{\nu}_l$ in QCD sum rules
Jie Lu, Guo-Liang Yu, Dian-Yong Chen, Zhi-Gang Wang, Bin Wu
https://arxiv.org/abs/2508.11900

Analysis of the semileptonic decays $Λ_b\toΛ_cl\barν_l$ and $Ξ_b\toΞ_cl\barν_l$ in QCD sum rules
In this article, the electroweak transition form factors of $Λ_b\toΛ_c$ and $Ξ_b\toΞ_c$ are analyzed within the framework of three-point QCD sum rules. In phenomenological side, all possible couplings of interpolating current to hadronic states are considered. In QCD side, the perturbative part and the contributions of vacuum condensates up to dimension 8 are also considered. With the calculated form factors, we study the decay widths and branching ratios of semileptonic decays $Λ_b\toΛ_c…

Recurrent Optical Spectrum Slicers as multi-{\lambda} processors for WDM optical equalization of IM/DD channels
Kostas Sozos, Francesco Da Ros, George Sarantoglou, Charis Mesaritakis, Adonis Bogris
https://arxiv.org/abs/2507.11659

Recurrent Optical Spectrum Slicers as multi-λ processors for WDM optical equalization of IM/DD channels
We report recurrent optical spectrum slicers as multi-wavelength optical processors in dispersion impaired IM/DD transmission systems with the use of programmable photonics. We demonstrate simultaneous equalization of three 64 Gb/s PAM-4 wavelengths after 75 km in the C-band and high tolerance to wavelength grid.

A Piecewise Smooth $\lambda$-Lemma
Claudio A. Buzzi, Paulo Santana, Luan V. M. F. Silva
https://arxiv.org/abs/2507.10896 https://arxi…

A Piecewise Smooth $λ$-Lemma
In this paper we provide extensions of the $λ$-Lemma (also known as Inclination Lemma) for piecewise smooth vector fields and maps. In order to achieve our main result, we investigate the regularity of time-T-maps of piecewise smooth vector fields defined at crossing orbits. We prove that these maps are homeomorphisms and also piecewise smooth diffeomorphisms.

Woof. This made my brain hurt over a few weeks between delighting customers, but I persevered.
Firecracker is the tiny, lightweight VM technology behind AWS Lambda "serverless" Function as a Service. You can run these tiny, tiny, fast VMs on-premises if that solves a business problem.
Anyway, here is an actual working tutorial that I wrote as most of the major tutorials out there did not work for me. Enjoy.

GitHub - DennisFaucher/firecracker: Learning Firecracker "Serverless" MicroVMs
Learning Firecracker "Serverless" MicroVMs. Contribute to DennisFaucher/firecracker development by creating an account on GitHub.

Insights for Early Massive Black Hole Growth from JWST Detection of the [Ne v] {\lambda}3427 Emission Line
Benny Trakhtenbrot, Claudio Ricci, Ezequiel Treister, Michael J. Koss, Richard Mushotzky, Kyuseok Oh, Alessandro Peca, Franz E. Bauer, Kriti Kamal Gupta, Tomer Reiss
https://arxiv.org/abs/2507.10681

Insights for Early Massive Black Hole Growth from JWST Detection of the [Ne v] λ3427 Emission Line
We use the narrow [Ne v] $λ$3427 emission line detected in the recently published JWST spectra of two galaxies, at z = 6.9 and 5.6, to study the key properties of the active galactic nuclei (AGN) and the supermassive black holes in their centers. Using a new empirical scaling linking the [Ne v] line emission with AGN accretion-driven (continuum) emission, derived from a highly complete low-redshift AGN sample, we show that the [Ne v] emission in the two z > 5 galaxies implies total (bolometric…

Observation of the electromagnetic radiative decays of the \boldmath{$\Lambda(1520)$} and \boldmath{$\Lambda(1670)$} to \boldmath{$\gamma\Sigma^0$}
BESIII Collaboration, et al.
https://arxiv.org/abs/2507.11145

Observation of the electromagnetic radiative decays of the \boldmath{$Λ(1520)$} and \boldmath{$Λ(1670)$} to \boldmath{$γΣ^0$}
Using $(10087\pm 44)\times10^6$ $J/ψ$ events collected with the BESIII detector, we report the first observation of the electromagnetic radiative decays of the $Λ(1520)$ and $Λ(1670)$ to $γΣ^0$, with a statistical significance of $16.6σ$ and $23.5σ$, respectively. The ratio of the branching fractions $\frac{\mathcal{B}(Λ(1520)\toγΛ)}{\mathcal{B}(Λ(1520)\toγΣ^0)}$ is determined to be $2.88\pm0.27(\text{stat.})\pm0.21(\text{syst.})$, which is in good agreement with flavor SU(3) symme…

Dynamical dark energy in models close to $\Lambda$CDM
Saikat Chakraborty, Charlotte Louw, Peter K. S. Dunsby, Kelly MacDevette, Alvaro de la Cruz Dombriz
https://arxiv.org/abs/2508.09813

Dynamical dark energy in models close to $Λ$CDM
In this communication we address whether or not there is an equivalence between the kinematical and dynamical descriptions of the spatially flat $Λ$CDM model. We address this by investigating whether an almost $Λ$CDM expansion history ($j(z)\approx1$) corresponds to an almost $Λ$CDM model ($w_{\rm DE}(z)\approx-1$) by considering two particular explicit examples. At least for the cases considered, this turns out not to be the case. Instead, what we find is that an almost $Λ$CDM cosmic evolu…

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
Alejandro D\'iaz-Caro, Nicolas A. Monzon
https://arxiv.org/abs/2506.16244 https://

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
We introduce Lambda-SX, a typed quantum lambda-calculus that supports multiple measurement bases. By tracking duplicability relative to arbitrary bases within the type system, Lambda-SX enables more flexible control and compositional reasoning about measurements. We formalise its syntax, typing rules, subtyping, and operational semantics, and establish its key meta-theoretical properties. This proof-of-concept shows that support for multiple bases can be coherently integrated into the type disc…

Congruence conditions for the mod $\lambda$ values of the Fourier coefficients of classical eigenforms
Michael A. Daas
https://arxiv.org/abs/2506.08865 htt…

Congruence conditions for the mod $λ$ values of the Fourier coefficients of classical eigenforms
We classify all instances of the condition $a_{p}(f) \equiv x \bmod λ$ being related to a congruence on the prime $p$, where $a_{p}(f)$ denotes the $p$th Fourier coefficient of a classical normalised cuspidal eigenform $f$ and $λ$ is a prime in the number field generated by the Fourier coefficients of $f$. This classification is done in terms of the (projective) image of the mod $λ$ Galois representation associated with $f$ and extends work by Swinnerton-Dyer. We highlight that for $x = 0$, …

On a class of lambda-hyponormal operators
Y. Estaremi, M. S. Al Ghafri, and S. Shamsigamchi
https://arxiv.org/abs/2508.04311 https://arxiv.org/pdf/2508.043…

On a class of lambda-hyponormal operators
In this paper we define $λ$-hyponormal operators on an infinite dimensional Hilbert space $\mathcal{H}$ and find a class of $λ$-hyponormal operators that can not be hypercyclic. Also, we study closedness of range and $λ$-hyponormality of weighted composition operators on the Hilbert space $\mathcal{H}=L^2(μ)$. Moreover, we apply the hypercyclicity results to $λ$-hyponormal weighted composition operators. Finally, we provide some examples to illustrate our main results.

$\Lambda$-Type Giant Atom Mediated Controllable Single-Photon Transport in a One-Dimensional Chiral Waveguide
Yimei Wang, Jing Li, Jing Lu, Lan Zhou
https://arxiv.org/abs/2508.05510

$Λ$-Type Giant Atom Mediated Controllable Single-Photon Transport in a One-Dimensional Chiral Waveguide
We investigate the single-photon scattering spectrum of a driven $Λ$-type giant atom system chirally coupled to a one-dimensional (1D) waveguide. By employing a real-space scattering approach, we obtain analytical solutions for the scattering amplitudes that remain valid in both Markovian and non-Markovian regimes. We observe that an external driving field induces a splitting of the transmission spectrum's dip into double dips, with the distance between the two dips increasing as the strength …

Measurement of Beam-Recoil Observables $C_x$ and $C_z$ for $K^ \Lambda$ Photoproduction
CLAS Collaboration, S. Adhikari, B. A. Raue, D. S. Carman, L. Guo, T. Chetry, P. Achenbach, J. S. Alvarado, M. J. Amaryan, W. R. Armstrong, H. Atac, H. Avakian, L. Baashen, N. A. Baltzell, L. Barion, M. Bashkanov, M. Battaglieri, F. Benmokhtar, A. Bianconi, A. S. Biselli, S. Boiarinov, M. Bondi, F. Bossu, K. -Th. Brinkmann, W. J. Briscoe, W. K. Brooks, S. Bueltmann, V. D. Burkert, T. Cao, R. Capobia…

Measurement of Beam-Recoil Observables $C_x$ and $C_z$ for $K^+Λ$ Photoproduction
Exclusive photoproduction of $K^+ Λ$ final states off a proton target has been an important component in the search for missing nucleon resonances and our understanding of the production of final states containing strange quarks. Polarization observables have been instrumental in this effort. The current work is an extension of previously published CLAS results on the beam-recoil transferred polarization observables $C_x$ and $C_z$. We extend the kinematic range up to invariant mass $W=3.33$~G…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
Opportunistically Parallel Lambda Calculus
https://

Resolution of embedded toric $\Lambda$-schemes
Kai Machida
https://arxiv.org/abs/2507.05592 https://arxiv.org/pdf/2507.05592

Resolution of embedded toric $Λ$-schemes
A key example in Borger's theory of $Λ$-structure is toric $Λ$-structure. We prove a resolution of singularities result for embedded toric $Λ$-schemes by applying an algorithm of Bierstone and Milman for toric varieties over perfect fields. This paper is based on work from the author's PhD thesis.

Replaced article(s) found for hep-lat. https://arxiv.org/list/hep-lat/new
[1/1]:
- Study of the $\Lambda \to p \ell \bar{\nu}_\ell$ semileptonic decay in lattice QCD
Simone Bacchio, Andreas Konstantinou

Statistical significance of meteorite-asteroid pairs using geocentric parameters
P. M. Shober
https://arxiv.org/abs/2508.08409 https://arxiv.org/pdf/2508.0…

Statistical significance of meteorite-asteroid pairs using geocentric parameters
Aims. We will test the statistical significance of meteorite-dropping fireballs and NEA clustering using the DN similarity function based on four geocentric quantities (U, theta, phi, and lambda). Methods. We calculated the cumulative similarity found between 46 meteorite falls, 535 potential meteorite-dropping fireballs, 20,516 NEAs maintained by NEODyS-2, along with 34,836 NEAs maintained by NASA/JPL HORIZONS. Statistical significance was estimated by either: (1) Kernel Density Estimation-b…

Gr\"obner-Shirshov bases of Rota-Baxter algebra of weight $\lambda$ with spectrum lying in $\{0,-\lambda\}$
H. Alhussein
https://arxiv.org/abs/2507.01614

Gröbner-Shirshov bases of Rota-Baxter algebra of weight $λ$ with spectrum lying in $\{0,-λ\}$
It is known that if $A$ is a finite-dimensional unital algebra equipped with a Rota-Baxter operator $R$ of weight $λ$, then spectrum of $R$ is a subset of $\{0,-λ\}$. We are interested on finding all consequences of the Rota-Baxter relation and the relation of the form $R^k(R+λ{\rm id})^l = 0$. In 2024, H.~Qiu, S. Zheng, Y. Dan solved this problem for $k = l = 1$ and $λ\neq0$. We find a Gröbner-Shirshov basis of the ideal generated by these two relations in general case.

Unraveling the structure of $\Lambda$ hyperons with polarized $\Lambda\bar{\Lambda}$ pairs
The BESIII Collaboration
https://arxiv.org/abs/2506.08072 https:…

Unraveling the structure of $Λ$ hyperons with polarized $Λ\barΛ$ pairs
With data collected in a dedicated off-resonance scan within the center-of-mass energy range of 2.3864$-$3.0800 GeV, the BESIII collaboration provides the first complete energy-dependent measurements of the $Λ$ electromagnetic form factors in the time-like region. By combining double-tag and single-tag events from the $e^+e^- \to Λ\barΛ \to pπ^-\bar{p}π^+$ reaction, we achieve a complete decomposition of the spin structure of the reaction at five energy points, with high statistical and sy…

New Blog - Boot a VM in 3 Seconds
Woof. This made my brain hurt over a few weeks between delighting customers, but I persevered.
Firecracker is the tiny, lightweight VM technology behind AWS Lambda "serverless" Function as a Service. You can run these tiny, tiny, fast VMs on-premises if that solves a business problem.
Anyway, here is an actual working tutorial that I wrote as most of the major tutorials out there did not work for me. Enjoy.

Boot a VM in 3 Seconds - Firecracker
Boot a VM in 3 Seconds - Firecracker (This is a copy of the README from my GitHub repo where you will find all the files to do this yoursel...

Soundtoys Donating 100% Of Sales On June 25 & 26 To Supporting LGBTQIA Civil Rights https://www.synthtopia.com/content/2025/06

Soundtoys Donating 100% Of Sales On June 25 & 26 To Supporting LGBTQIA+ Civil Rights
Customers who purchase any Soundtoys plug-in, bundle, or upgrade during the campaign period will help support Lambda Legal’s legal advocacy, public policy work, and impact litigation efforts across…

BASS. XLIX. Characterization of highly luminous and obscured AGNs: local X-ray and [NeV]$\lambda$3426 emission in comparison with the high-redshift Universe
Alessandro Peca, Michael J. Koss, Kyuseok Oh, Claudio Ricci, Benny Trakhtenbrot, Richard Mushotzky, Ezequiel Treister, C. Megan Urry, Andrealuna Pizzetti, Kohei Ichikawa, Alessia Tortosa, Federica Ricci, Matilde Signorini, Darshan Kakkad, Chin-Shin Chang, Giovanni Mazzolari, Turgay Caglar, Macon Magno, Ignacio del Moral-Castro, Pet…

BASS. XLIX. Characterization of highly luminous and obscured AGNs: local X-ray and [NeV]$λ$3426 emission in comparison with the high-redshift Universe
We present a detailed analysis of the most luminous and obscured Active Galactic Nuclei (AGNs) detected in the ultra-hard X-ray band (14-195 keV) by Swift/BAT. Our sample comprises 21 X-ray luminous (log $L_X/{\rm erg\,s^{-1}}>44.6$, 2-10 keV) AGNs at $z<0.6$, optically classified as Seyfert 1.9-2. Using NuSTAR, XMM-Newton, Suzaku, and Chandra, we constrain AGN properties such as absorption column density $N_H$, photon index $Γ$, intrinsic $L_X$, covering factor, and iron K$α$ equivalent widt…

The near infrared airglow continuum conundrum. Constraints for ground-based faint object spectroscopy
J. K. M. Viuho (Cosmic Dawn Center, Niels Bohr Institute, University of Copenhagen, Jagtvej 155A, DK-2200, Copenhagen N, Denmark, Nordic Optical Telescope, Rambla Jose Ana Fernandez Perez 7, ES-38711 Brena Baja, Spain, Department of Physics and Astronomy, Aarhus University, Munkegade 120, DK-8000 Aarhus C, Denmark), J. P. U. Fynbo (Cosmic Dawn Center, Niels Bohr Institute, University of Copenhagen, Jagtvej 155A, DK-2200, Copenhagen N, Denmark), M. I. Andersen (Cosmic Dawn Center, Niels Bohr Institute, University of Copenhagen, Jagtvej 155A, DK-2200, Copenhagen N, Denmark)
#toXiv_bot_toot

Prospects for $P$ and $C\!P$ violation in $\Lambda_{c}^{ }$ decays with polarized beam at Super Tau-Charm Facility
Hong-Jian Wang, Cheng Wang, Hao Sun, Pei-Rong Li, Xiao-Rui Lyu, Rong-Gang Ping
https://arxiv.org/abs/2508.12217

Prospects for $P$ and $C\!P$ violation in $Λ_{c}^{+}$ decays with polarized beam at Super Tau-Charm Facility
Weak decays of the charmed baryons offer an ideal platform to study parity ($P$) and charge conjugation-parity ($C\!P$) violation in quark sector, to stringently test the Standard Model and search for new physics. It is a key goal in the next-generation positron-electron collider, such as the Super Tau-Charm Facility (STCF). Thanks to the quantum-entangled pair production with super high luminosity and the possibility of beam polarization, STCF provides a unique environment to probe such symmet…

Replaced article(s) found for cs.NE. https://arxiv.org/list/cs.NE/new
[1/1]:
- Multi-parameter Control for the $(1 (\lambda,\lambda))$-GA on OneMax via Deep Reinforcement Learning
Tai Nguyen, Phong Le, Carola Doerr, Nguyen Dang

Revisiting $\Lambda$CDM extensions in light of re-analyzed CMB data
Jacobo Asorey, Javier de Cruz P\'erez
https://arxiv.org/abs/2506.13537 https://

Revisiting $Λ$CDM extensions in light of re-analyzed CMB data
In the last years with the increasing precision in cosmological observations we have been able to establish an standard model of cosmology, the so-called $Λ$CDM, but also find some tensions between cosmological probes that are difficult to explain within the context of this model. We tested several phenomenological extensions of the $Λ$CDM with the newest datasets from the chain CMB+BAO+SNIa, to see whether they are able to alleviate the aforementioned tensions. We find that when the updated …

Scott's Representation Theorem and the Univalent Karoubi Envelope
Arnoud van der Leer, Kobe Wullaert, Benedikt Ahrens
https://arxiv.org/abs/2506.22196 …

Scott's Representation Theorem and the Univalent Karoubi Envelope
Lambek and Scott constructed a correspondence between simply-typed lambda calculi and Cartesian closed categories. Scott's Representation Theorem is a cousin to this result for untyped lambda calculi. It states that every untyped lambda calculus arises from a reflexive object in some category. We present a formalization of Scott's Representation Theorem in univalent foundations, in the (Rocq-)UniMath library. Specifically, we implement two proofs of that theorem, one by Scott and one by Hyland.…

Electromagnetic probes revealing the inner structure of the $\Lambda_c(2940)$
Ping Chen, Zi-Le Zhang, Yu Zhuge
https://arxiv.org/abs/2506.15428 https://

Electromagnetic probes revealing the inner structure of the $Λ_c(2940)$
The $Λ_c(2940)$, an open-charm baryon discovered in 2006, has sparked interest due to its ``low mass puzzle'', paralleling the $X(3872)$ in the charmoniumlike sector. Both states challenge conventional hadronic interpretations, with the $X(3872)$ understood as a $D^*\bar{D}$ molecular state and the $Λ_c(2940)$ hypothesized as a $D^*N$ molecular state. This work investigates the radiative decay modes $Λ_c(2940) \to Λ_c(2286)γ$, $Λ_c(2940) \to Λ_c(2595)γ$, and $Λ_c(2940) \to Λ_c(2765)γ…

The Production and Decay Dynamics of the Charmed Baryon $\Lambda_c^ $ in $e^ e^-$ Annihilations near Threshold
BESIII Collaboration
https://arxiv.org/abs/2508.11400 https://

The Production and Decay Dynamics of the Charmed Baryon $Λ_c^+$ in $e^+e^-$ Annihilations near Threshold
The study of the charmed baryons is crucial for investigating the strong and weak interactions in the Standard Model and for gaining insights into the internal structure of baryons. In an $e^+e^-$ experiment the lightest charmed baryon, $Λ_c^+$, can be produced in pairs through the single photon annihilation process. This process can be described by two complex electromagnetic form factors. The presence of a non-zero relative phase between these form factors gives rise to a transverse polariza…

New Blog - Boot a VM in 3 Seconds
Woof. This made my brain hurt over a few weeks between delighting customers, but I persevered.
Firecracker is the tiny, lightweight VM technology behind AWS Lambda "serverless" Function as a Service. You can run these tiny, tiny, fast VMs on-premises if that solves a business problem.
Anyway, here is an actual working tutorial that I wrote as most of the major tutorials out there did not work for me. Enjoy.

GitHub - DennisFaucher/firecracker: Learning Firecracker "Serverless" MicroVMs
Learning Firecracker "Serverless" MicroVMs. Contribute to DennisFaucher/firecracker development by creating an account on GitHub.

HeII emitters in the cosmic noon and beyond. Characterising the HeII {\lambda}1640 emission with MUSE and JWST/NIRSpec
R. Gonz'alez-D'iaz, J. M. V\'ilchez, C. Kehrig, I. del Moral-Castro, J. Iglesias-P\'aramo
https://arxiv.org/abs/2506.11685

HeII emitters in the cosmic noon and beyond. Characterising the HeII λ1640 emission with MUSE and JWST/NIRSpec
The study of high-redshift galaxies provides critical insights into the early stages of cosmic evolution, particularly during the so-called 'cosmic noon', when star formation activity reached its peak. Within this context, the origin of the nebular emission remains an open question. In this work, we conduct a systematic, multi-wavelength investigation of a sample of z ~ 2-4 emitters from the MUSE Hubble Ultra Deep Field surveys, utilising both MUSE and JWST/NIRSpec data and extending the sample…

from my link log —
A multivalued language with a dependent type system. (A precursor to Epic Verse.)
https://www.leafpetersen.com/leaf/publications/dtp2013/lambda-aleph-overview.pdf
saved 2025-06-12

From Hyperons to Hypernuclei: A New Route to Unravel Proton Spin Polarization
Dai-Neng Liu, Yun-Peng Zhen, Wen-Hao Zhou, Jin-Hui Chen, Che Ming Ko, Yu-Gang Ma, Kai-Jia Sun, Song Zhang
https://arxiv.org/abs/2508.12193

From Hyperons to Hypernuclei: A New Route to Unravel Proton Spin Polarization
Ultra-relativistic nuclear collisions create the quark-gluon plasma (QGP) known as the hottest, least viscous, and most vortical fluid ever produced in terrestrial laboratories. Its vortical structure has been uncovered through the spin polarization of Lambda ($Λ$) hyperons, attributed to the spin-orbit coupling that transfers the system's orbital angular momentum to the quark spin, which is then inherited by hadrons via quark recombination or coalescence. However, $Λ$ polarization reflects p…

Measurement of transverse $\Lambda$ and $\bar{\Lambda}$ hyperon polarization in $p$Pb collisions at $\sqrt{s_{NN}} = 5.02$ TeV
LHCb collaboration, et al.
https://arxiv.org/abs/2508.02009

Measurement of transverse $Λ$ and $\barΛ$ hyperon polarization in $p$Pb collisions at $\sqrt{s_{NN}} = 5.02$ TeV
The transverse polarization of $Λ$ and $\barΛ$ hyperons is measured in $p$Pb collisions collected by the LHCb experiment at a nucleon-nucleon center-of-mass energy of $5.02 $ TeV. The polarization is averaged over hyperon transverse momentum in the range $0.15 < p_{T} < 6.00 $ GeV/$c$, and Feynman-$x$ in the ranges $0.005 < x_{F} < 0.040$ (forward region) and $-0.10 < x_{F} < -0.01$ (backward region) defined relative to the proton beam direction. The transverse polarization is found to be com…

Mass inflation from rough initial data for the spherically symmetric Einstein-Maxwell-scalar field system with $\Lambda$
Flavio Rossetti
https://arxiv.org/abs/2506.08075

Mass inflation from rough initial data for the spherically symmetric Einstein-Maxwell-scalar field system with $Λ$
Recent rigorous results on black hole interiors clearly suggest that the strong cosmic censorship conjecture fails in its most fundamental, i.e. weak, formulation: violations are expected for a class of spherically symmetric charged black holes in the presence of a positive cosmological constant near extremality. These results require sufficiently regular solutions. Conversely, when non-smooth, finite-energy initial data are prescribed for linear waves propagating on a fixed black hole backgrou…

Revisit the diquark of $\Lambda_c$ in the $\Lambda_c\to \Lambda K^ $ and $\Lambda_c\to \Sigma^0 K^ $ processes
Peng-Yu Niu, Qian Wang, Qiang Zhao
https://arxiv.org/abs/2507.04393 …

Revisit the diquark of $Λ_c$ in the $Λ_c\to ΛK^+$ and $Λ_c\to Σ^0 K^+$ processes
The spatial distributions of $[ud]$ diquark and heavy-light diquark of the SU(3)-flavor antitriplet charmed baryons are investigated by the two singly Cabibbo-suppressed hadronic weak decays, $Λ_c\to ΛK^+$ and $Λ_c\to Σ^0 K^+$ within the nonrelativistic constituent quark model. The above two spatial distributions are reflected by the two parameters $α_ρ$ and $α_λ$, which are the harmonic oscillator strength parameters of the charmed baryons. These two parameters obtain strong constraint…

Bimodal phase transition in a periodically modulated $\Lambda$-type three-level system
Sanjoy Mishra, Shraddha Sharma, Amit Rai, Pitamber Mahanandia
https://arxiv.org/abs/2508.01626

Bimodal phase transition in a periodically modulated $Λ$-type three-level system
We present a theoretical investigation of dynamical quantum phase transitions (QPTs) in a periodically driven $Λ$-type three-level system (3LS) embedded in a double-mode cavity, described by a three-level Jaynes-Cumming (3L-JC) Hamiltonian. To begin with, we probe the undriven static Hamiltonian in the dressed-state basis to identify and define distinct coupling regimes and critical points associated with both cavity modes. Furthermore, to investigate the dynamical QPTs in this system, we inco…

Constraining Dark Matter Parameters in the Lambda-CDM Framework: A Bayesian Comparison of Planck and DES Constraints
Manjeet Kunwar, Nabin Bhusal, Manil Khatiwada, Niraj Dhital
https://arxiv.org/abs/2506.07133

Constraining Dark Matter Parameters in the Lambda-CDM Framework: A Bayesian Comparison of Planck and DES Constraints
We present a Bayesian analysis of cosmological parameter constraints from early- and late-universe observations, focusing on the matter density parameter ($Ω_m$) and the amplitude of matter fluctuations ($σ_8$) within the $Λ$CDM framework. Using data from the Planck 2018 satellite mission and the Dark Energy Survey (DES) Year 3, we compute theoretical predictions for angular and matter power spectra via Boltzmann solvers and perform Markov Chain Monte Carlo (MCMC) sampling using the \texttt{…

Encoding call-by-push-value in the pi-calculus
Benjamin Bennetzen, Nikolaj Rossander Kristensen, Peter Buus Steffensen
https://arxiv.org/abs/2506.10584 htt…

Encoding call-by-push-value in the pi-calculus
In this report we define an encoding of Levys call-by-push-value lambda-calculus (CBPV) in the pi-calculus, and prove that our encoding is both sound and complete. We present informal (by-hand) proofs of soundness, completeness, and all required lemmas. The encoding is specialized to the internal pi-calculus (pi-i-calculus) to circumvent certain challenges associated with using de Bruijn index in a formalization, and it also helps with bisimulation as early-, late- and open-bisimulation coincid…

The Subgraphs of Order Six of the Family of Strongly Regular Graphs with Parameters $\lambda=1$ and $\mu=2$
Reimbay Reimbayev
https://arxiv.org/abs/2508.03377 https://

The Subgraphs of Order Six of the Family of Strongly Regular Graphs with Parameters $λ=1$ and $μ=2$
Strongly regular graphs are highly symmetrical and can be described fully with just a few parameters yet the existence of many of them is still under the question. Due to this uncertainty, it is of immense interest to study their structure, in particular to obtain all the possible subgraphs of lower order. In this paper we study the family of strongly regular graphs with parameters $λ=1$ and $μ=2$ and establish all their subgraphs of order six.

Measurement of the branching fractions of the Cabibbo-favored decays $\Lambda_{c}^{ }\to\Lambda K_{S}^{0}K^{ }$ and $\Lambda_{c}^{ }\to\Xi^{0}K_{S}^{0}\pi^{ }$ and search for $\Lambda_{c}^{ }\to\Sigma^{0} K_{S}^{0}K^{ }$
BESIII Collaboration, et al.
https://arxiv.org/abs/2506.02969

Measurement of the branching fractions of the Cabibbo-favored decays $Λ_{c}^{+}\toΛK_{S}^{0}K^{+}$ and $Λ_{c}^{+}\toΞ^{0}K_{S}^{0}π^{+}$ and search for $Λ_{c}^{+}\toΣ^{0} K_{S}^{0}K^{+}$
Based on $e^{+}e^{-}$ collision data corresponding to an integrated luminosity of about 4.5 fb$^{-1}$ collected at center-of-mass energies between 4599.53 MeV and 4698.82 MeV with the BESIII detector, the absolute branching fraction of the Cabibbo-favored decay $Λ_{c}^{+}\toΛK_{S}^{0}K^{+}$ is measured to be $(3.12\pm0.46\pm0.15)\times10^{-3}$. Combined with a previous measurement from the BESIII Collaboration, the branching fraction of the decay $Λ_{c}^{+}\toΛK_{S}^{0}K^{+}$ is calculated …

Soundtoys Donating 100% Of Sales On June 25 & 26 To Supporting LGBTQIA Civil Rights https://www.synthtopia.com/content/2025/06/25/soundtoys-donating-100-of-sales-on-june-25-26-to-supporting-lgbtqia-civi…

Soundtoys Donating 100% Of Sales On June 25 & 26 To Supporting LGBTQIA+ Civil Rights
Customers who purchase any Soundtoys plug-in, bundle, or upgrade during the campaign period will help support Lambda Legal’s legal advocacy, public policy work, and impact litigation efforts across…

from my link log —
Dependent types and program equivalence.
https://www.seas.upenn.edu/~sweirich/papers/popl10-lambda-eek.pdf
saved 2025-06-10

Equidistribution and arithmetic $\Lambda$-distributions
Matthew Bertucci, Sean Howe
https://arxiv.org/abs/2505.24748 https://arxiv.or…

Equidistribution and arithmetic $Λ$-distributions
We formulate an abstract notion of equidistribution for families of $λ$-probability spaces parameterized by admissible $\mathbb{Z}$-sets. Under the assumption of equidistribution, we show that the $σ$-moment generating functions of certain infinite sums of random variables can be computed as motivic Euler products. Combining this result with earlier generalizations of Poonen's sieve, we compute the asymptotic $Λ$-distributions for several natural families of function field $L$-functions and …

Replaced article(s) found for hep-ph. https://arxiv.org/list/hep-ph/new
[2/2]:
- Challenging $\Lambda$CDM: 5$\sigma$ Evidence for a Dynamical Dark Energy Late-Time Transition
Mateus Scherer, Miguel A. Sabogal, Rafael C. Nunes, Antonio De Felice

BASS XLVIII: [Ne v] {\lambda}3427 Emission in Powerful Nearby Active Galactic Nuclei
Tomer Reiss, Benny Trakhtenbrot, Claudio Ricci, Franz E. Bauer, Michael J. Koss, Kohei Ichikawa, Darshan Kakkad, Richard Mushotzky, Kyuseok Oh, Alessandro Peca, Rudolf B\"ar, Yaherlyn Diaz, Fiona Harrison, Meredith C. Powell, Eleonora Sani, Daniel Stern, C. Megan Urry

BASS XLVIII: [Ne v] λ3427 Emission in Powerful Nearby Active Galactic Nuclei
We investigate the high-ionization, narrow [Ne v] $λ$3427 emission line in a sample of over 340 ultrahard X-ray (14-195 keV) selected Active Galactic Nuclei (AGN) drawn from the BASS project. The analysis includes measurements in individual and stacked spectra, and considers several key AGN properties such as X-ray luminosity, supermassive black hole (SMBH) mass, Eddington ratios, and line-of-sight column density. The [Ne v] $λ$3427 line is robustly detected in ~43% (146/341) of the AGN in ou…

Measurement of $\Lambda$ Polarization in the $\pi^{-}p \to K^{0} \Lambda$ Reaction at $p_{\pi^{-}}=1.33$ GeV/$c$ toward a New $\Lambda p$ Scattering Experiment
PARC E40 Collaboration, T. Sakao, K. Miwa, J. K. Ahn, Y. Akazawa, T. Aramaki, S. Ashikaga, S. Callier, N. Chiga, S. W. Choi, H. Ekawa, P. Evtoukhovitch, N. Fujioka, M. Fujita, T. Gogami, T. Harada, S. Hasegawa, S. H. Hayakawa, R. Honda, S. Hoshino, K. Hosomi, M. Ichikawa, Y. Ichikawa, M. Ieiri, M. Ikeda, K. Imai, Y. Ishikawa, S.…

Measurement of $Λ$ Polarization in the $π^{-}p \to K^{0} Λ$ Reaction at $p_{π^{-}}=1.33$ GeV/$c$ toward a New $Λp$ Scattering Experiment
This paper presents high-precision experimental data of the polarization of the $Λ$ hyperon in the $π^{-}p \to K^{0} Λ$ reaction, measured in the angular range $0.6<\cos θ^{CM}_{K0}<1.0$ with a fine bin width of $d\cos θ^{CM}_{K0}=0.05$. The data were obtained from the J-PARC E40 experiment at the K1.8 beamline in the J-PARC Hadron Experimental Facility. The observed average polarization of $Λ$ in the range $0.60<\cos θ^{CM}_{K0}<0.85$ was $0.932 \pm 0.058 \,(\text{stat}) \pm 0.028 \,(\t…

Spectral and ergodic properties of the operator $B(r,s)$ over power series spaces $\Lambda_\infty(\alpha)$ of infinite type and their duals
Angela A. Albanese, Claudio Mele
https://arxiv.org/abs/2508.05315

Spectral and ergodic properties of the operator $B(r,s)$ over power series spaces $Λ_\infty(α)$ of infinite type and their duals
In this paper, we investigate the spectral and ergodic properties of the linear operator $B(r,s)$ acting on power series spaces $Λ_\infty(α)$ of infinite type and on their strong duals. Precisely, we provide a complete characterization of its fine spectrum and establish necessary and sufficient conditions for the operator to be power bounded and (uniformly) mean ergodic.

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Ohana trees and Taylor expansion for the $\lambda$I-calculus. No variable gets left behind or for...
R\'emy Cerda, Giulio Manzonetto, Alexis Saurin

Constraints on $\Lambda N$ Effective Interactions from Mirror Hypernuclei in a Deformed Relativistic Hartree-Bogoliubov Model
Yu-Ting Rong, Dan Yang, Cheng-Jun Xia, Ting-Ting Sun
https://arxiv.org/abs/2506.13499

Constraints on $ΛN$ Effective Interactions from Mirror Hypernuclei in a Deformed Relativistic Hartree-Bogoliubov Model
We investigate the ground-state properties of four mirror hypernuclei pairs--$^{10}_Λ$Be-$^{10}_Λ$B, $^{12}_Λ$B-$^{12}_Λ$C, $^{16}_Λ$N-$^{16}_Λ$O, and $^{40}_Λ$K-$^{40}_Λ$Ca--within the deformed relativistic Hartree-Bogoliubov framework, analyzing their connection to $ΛN$ effective interactions. Systematic calculations with eight distinct effective interactions reveal linear correlations between mirror hypernuclei in $Λ$ separation energies and charge radii. The charge symmetry breaki…

Growth Rate Analysis in $f(R,L_m)$ Gravity: A Comparative Study with \boldmath$\Lambda$CDM Cosmology
G. K. Goswami, J. P. Saini
https://arxiv.org/abs/2507.04079

Growth Rate Analysis in $f(R,L_m)$ Gravity: A Comparative Study with \boldmath$Λ$CDM Cosmology
We investigate the evolution of cosmic structures within the framework of modified gravity, specifically focusing on theories described by the function $f(R, L_m)$, where $R$ is the Ricci scalar and $L_m$ is the matter Lagrangian. This class of models introduces a non-minimal coupling between geometry and matter, leading to modifications in the dynamics of density perturbations. We derive the linear growth equation and compute the observable growth rate $fσ_8(z)$, which is directly accessible …

Dark energy and QCD instanton vacuum in Friedmann-Lemaitre-Robertson-Walker universe
M. M. Musakhanov
https://arxiv.org/abs/2506.13128 https://

Dark energy and QCD instanton vacuum in Friedmann-Lemaitre-Robertson-Walker universe
The standard model of the universe, lambdaCDM, is based on the Friedmann-Lemaitre-Robertson-Walker metric with flat 3-dim coordinate space and Friedmann equations. The cosmological constant lambda is providing the cancellations of the matter fields contributions in the flat space. The dynamical dark energy is appearing on over of the vacuum energy of matter fields at the flat space. Within the Standard Model the gluon Yang-Mills (YM) fields are playing the special role since specific properties…

The Filament Rift: $\Lambda$CDM's Structural Challenge Against Observation
Saeed Tavasoli, Parsa Ghafour
https://arxiv.org/abs/2508.07480 https://arxiv…

The Filament Rift: $Λ$CDM's Structural Challenge Against Observation
This study presents the first extended comparison of cosmic filaments identified in SDSS DR10 observations ($z < 0.05$) and the IllustrisTNG300-1 $Λ$CDM simulation ($z = 0$), utilizing the novel GrAviPaSt filament-finder method. The analyses are performed on both macro- and micro-filaments, each characterized by their length, thickness, and contrast in mass density. In addition to total sample comparisons, two subcategories of micro-filaments, GG (linking galaxy groups) and CC (linking galaxy …

Homogeneous Linear Calculus of Order 1 and a $\lambda$-Taylor Formula
Ronald Orozco L\'opez
https://arxiv.org/abs/2506.22976 https://

Homogeneous Linear Calculus of Order 1 and a $λ$-Taylor Formula
In this paper, a new calculus on sequences is defined. Also, the $λ$-derivative and the $λ$-integration are investigated. The fundamental theorem of $λ$-calculus is included. A suitable function basis for the $λ$-derivative and the $λ$-integral is provided, and various properties of this basis are given. A $λ$-Taylor formula for functions is given.

Rectangular representations and $\lambda$-independence of algebraic monodromy groups
Chun-Yin Hui, Wonwoong Lee
https://arxiv.org/abs/2506.21941 https://…

Rectangular representations and $λ$-independence of algebraic monodromy groups
Let $\mathfrak g$ be a complex semisimple Lie algebra. We define what it means for a finite dimensional representation of $\mathfrak g$ to be rectangular and completely classify faithful rectangular representations. As an application, we obtain new $λ$-independence results on the algebraic monodromy groups of compatible systems of $λ$-adic Galois representations of number fields.

Running-time Analysis of ($\mu \lambda$) Evolutionary Combinatorial Optimization Based on Multiple-gain Estimation
Min Huang, Pengxiang Chen, Han Huang, Tongli He, Yushan Zhang, Zhifeng Hao
https://arxiv.org/abs/2507.02381

Running-time Analysis of ($μ+λ$) Evolutionary Combinatorial Optimization Based on Multiple-gain Estimation
The running-time analysis of evolutionary combinatorial optimization is a fundamental topic in evolutionary computation. However, theoretical results regarding the $(μ+λ)$ evolutionary algorithm (EA) for combinatorial optimization problems remain relatively scarce compared to those for simple pseudo-Boolean problems. This paper proposes a multiple-gain model to analyze the running time of EAs for combinatorial optimization problems. The proposed model is an improved version of the average gai…

Quantification of The Age Dependence of Mid-Infrared Star Formation Rate Indicators
Daniela Calzetti (Univ. of Massachusetts, MA, USA), Robert C. Kennicutt (Texas A and M, TX, USA, Univ. of Arizona, AZ, USA), Angela Adamo (Univ. of Stockholm, Sweden), Karin Sandstrom (Univ. of California San Diego, CA, USA), Daniel A. Dale (Univ. of Wyoming, WY, USA), Bruce Elmegreen (Katonah, NY, USA), John S. Gallagher (Univ. of Wisconsin-Madison, WI, USA, Macalester Univ., MN, USA), Benjamin Gregg (…

Quantification of The Age Dependence of Mid-Infrared Star Formation Rate Indicators
We combine James Webb Space Telescope images of the nearby galaxy NGC 5194 in the hydrogen recombination line Pa-alpha (lambda=1.8756 micron) from the Cycle 1 program JWST-FEAST with 21 micron dust continuum images from the Cycle 2 Treasury program JWGT to quantify the difference in the calibration of mid-infrared star formation rates (SFR) between HII regions and galaxies. We use the archival HST H-alpha image to correct the Pa-alpha emission for the effects of dust attenuation. Our data confi…

from my link log —
The Epic Verse calculus: a core calculus for functional logic programming.
https://simon.peytonjones.org/verse-calculus/
saved 2025-06-12

Final state interaction in the $\Lambda_b\to D^ D^- \Lambda,~D^0D_s^- p,~D_s^ D_s^-\Lambda$ reactions
Jing Song, Melahat Bayar, Eulogio Oset
https://arxiv.org/abs/2507.01865

Final state interaction in the $Λ_b\to D^+D^- Λ,~D^0D_s^- p,~D_s^+D_s^-Λ$ reactions
We study the three-body decays \(Λ_b \to D^+ D^- Λ,~D^0D_s^- p,~D_s^+D_s^-Λ\), considering both internal and external emission mechanisms that produce various meson-baryon final states. Using a unitarized coupled-channel approach based on the local hidden gauge formalism, we analyze final state interactions in the exotic anticharm systems with strangeness \(S=-1\) and \(S=-2\). Significant threshold enhancements appear in both pseudoscalar and vector meson-baryon channels, indicating strong …

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

Strong normalization through idempotent intersection types: a new syntactical approach
It is well-known that intersection type assignment systems can be used to characterize strong normalization (SN). Typical proofs that typable lambda-terms are SN in these systems rely on semantical techniques. In this work, we study $Λ_\cap^e$, a variant of Coppo and Dezani's (Curry-style) intersection type system, and we propose a syntactical proof of strong normalization for it. We first design $Λ_\cap^i$, a Church-style version, in which terms closely correspond to typing derivations. Then…

Replaced article(s) found for astro-ph.CO. https://arxiv.org/list/astro-ph.CO/new
[1/1]:
- Tension between HST/JWST and $\Lambda$CDM Cosmology, PBH, and Antimatter in the Galaxy
A. D. Dolgov

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

Search for Pcs(4459) and Pcs(4338) in Upsilon(1S,2S) inclusive decays at Belle
Using data samples of 102 million Upsilon(1S) events and 158 million Upsilon(2S) events collected by the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider, we search for [udsccbar] pentaquark states decaying to Jpsi Lambda. Using the first observations of Upsilon(1S, 2S) inclusive decays to Jpsi Lambda, we find evidence of the P_ccbars(4459)0 state with a local significance of 3.3 standard deviations, including statistical and systematic uncertainties. We measure the mass and width…

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
Lloyd Allison
https://arxiv.org/abs/2507.00488 https://

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
Compared to functions in mathematics, functions in programming languages seem to be under classified. Functional programming languages based on the lambda calculus famously treat functions as first-class values. Object-oriented languages have adopted ``lambdas'', notably for call-back routines in event-based programming. Typically a programming language has functions, a function has a type, and some functions act on other functions and/or return functions but there is generally a lack of (i) ``…

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

Resolving the S8 tension with the Lambda Prime ($Λ'$) model
The $S_8$ parameter, which quantifies the amplitude of matter fluctuations on scales of $8h^{-1}$ Mpc, has been a source of tension between weak lensing surveys (e.g. KiDS, DES, HSC) and the Planck Cosmic Microwave Background (CMB) measurements. This discrepancy challenges the standard $Λ$CDM model and has become one of the most significant tensions in modern cosmology. The ${Λ'}$ model offers a potential resolution by introducing modifications to the cosmic growth history through alterations…

GNHeII J1236 6215: A He II $\lambda$1640 emitting and potentially LyC leaking galaxy at $z$ = 2.9803 unveiled through JWST & Keck observations
Chayan Mondal, Kanak Saha, Anshuman Borgohain, Brent M. Smith, Rogier A. Windhorst, Naveen Reddy, Chian-Chou Chen, Keiichi Umetsu, Rolf A. Jansen
https://arxiv.org/abs/2506.06831

GNHeII J1236+6215: A He II $λ$1640 emitting and potentially LyC leaking galaxy at $z$ = 2.9803 unveiled through JWST & Keck observations
He II $λ$1640 emission in galaxies indicates the presence of sources that produce extreme ionizing photons. Here, we report the discovery of a He II $λ$1640 emitting galaxy, GNHeII J1236+6215, at $z=$ 2.9803 in the GOODS-north field. We use photometry in 17 wavebands from near-UV to infrared to characterize the galaxy SED and combine Keck LRIS and JWST NIRSpec spectra to identify 15 emission lines including He II $λ$1640. We infer that the He$^+$ ionization in the galaxy could be driven by s…

SCET sum rules for $\Lambda_b \to \Lambda \ell^ \ell^-$, $\Lambda \gamma$ decays
Long-Shun Lu, Cai-Dian L\"u, Yue-Long Shen, Yan-Bing Wei
https://arxiv.org/abs/2506.21419

SCET sum rules for $Λ_b$ $\rightarrow$ $Λ\ell^+\ell^-$, $Λγ$ decays
We construct light-cone sum rules for various types of effective form factors in the $Λ_b \to Λ\ell^+\ell^-$ and $Λ_b \to Λγ$ decays by analyzing vacuum-to-$Λ_b$ (or $γ^\ast$-to-$Λ_b$) correlation functions with the light $Λ$-baryon interpolating current. These form factors, defined via hadronic matrix elements within soft-collinear effective theory (SCET), enter the next-to-leading-power QCD factorization formulas for large-recoil transitions. Implementing the perturbative matching fr…

Replaced article(s) found for hep-ph. https://arxiv.org/list/hep-ph/new
[2/2]:
- Revisiting the $\Lambda_c^ \to \Lambda \eta \pi^ $ and the roles of intermediate resonances
En Wang, Wen-Tao Lyu, Man-Yu Duan, Chu-Wen Xiao, Dian-Yong Chen, Ju-Jun Xie, Eulogio Oset

$\Lambda_b \to \Lambda^{(\ast)}\nu\bar{\nu}$ decays and the recent Belle-II $B^ \to K^ \nu\bar{\nu}$ data
Diganta Das, Dargi Shameer, Ria Sain
https://arxiv.org/abs/2507.01863

$Λ_b \to Λ^{(\ast)}ν\barν$ decays and the recent Belle-II $B^+\to K^+ν\barν$ data
The Belle-II experiment has recently reported the first measurement of $B^+ \to K^+ ν\barν$ decay which exceeds the Standard Model prediction by approximately 2.7$σ$. The deviation may indicate the presence of new physics beyond the Standard Model in the $b\to sν\barν$ sector. Under this assumption, we study the hadronic $Λ_b \to Λ(\to pπ)ν\barν$ and $Λ_b \to Λ^\ast(\to N\!\bar{K})ν\barν$ decays within both the Standard Model and beyond. We work in a low energy effective field the…

Variable Modified Newtonian Mechanics VII: Supermassive Black Hole at very high redshift
James C. C. Wong
https://arxiv.org/abs/2506.05423 https://

Variable Modified Newtonian Mechanics VII: Supermassive Black Hole at very high redshift
Observations of Supermassive Black Hole (SMBH) at very high redshift hosted by massive galaxy provide a challenge to the SMBH and massive galaxy formation models which are predicated on the Lambda CDM model that predicts a Hubble constant currently in tension with late time observations. In a gravitational system with two asymptotic solutions such as a central mass in an expanding cosmological background or an expanding background with radiation and baryons, we find that a particle's free falli…

New Isobar Models for $K^ \Lambda$ Electroproduction
Jovan Alfian Djaja, Terry Mart
https://arxiv.org/abs/2507.07750 https://arxiv.or…

New Isobar Models for $K^+Λ$ Electroproduction
The electroproduction of kaon on proton has been studied using two covariant isobar models. The models incorporate propagators and vertex factors developed in our previous works. In total, the current study includes 26 nucleon resonances and 20 hyperon resonances, with spins up to 13/2. In the electromagnetic vertices, we consider two alternative electromagnetic form factors alongside the commonly used dipole model. The unknown parameters in the models, such as longitudinal coupling constants a…

The Roman View of Strong Gravitational Lenses
Bryce Wedig, Tansu Daylan, Simon Birrer, Francis-Yan Cyr-Racine, Cora Dvorkin, Douglas P. Finkbeiner, Alan Huang, Xiaosheng Huang, Rahul Karthik, Narayan Khadka, Priyamvada Natarajan, Anna M. Nierenberg, Annika H. G. Peter, Justin D. R. Pierel, Xianzhe TZ Tang, Risa H. Wechsler
https://

The Roman View of Strong Gravitational Lenses
Galaxy-galaxy strong gravitational lenses can constrain dark matter models and the Lambda Cold Dark Matter cosmological paradigm at sub-galactic scales. Currently, there is a dearth of images of these rare systems with high signal-to-noise and angular resolution. The Nancy Grace Roman Space Telescope (hereafter, Roman), scheduled for launch in late 2026, will play a transformative role in strong lensing science with its planned wide-field surveys. With its remarkable 0.281 square degree field o…

Constraining $\Lambda$CDM, $\omega$CDM, and $\omega_0\omega_a$CDM models with DESI DR2 BAO: Redshift-Resolved Diagnostics and the Role of $r_d$
Seokcheon Lee
https://arxiv.org/abs/2507.01380

Constraining $Λ$CDM, $ω$CDM, and $ω_0ω_a$CDM models with DESI DR2 BAO: Redshift-Resolved Diagnostics and the Role of $r_d$
We present a detailed comparison of $Λ$CDM, $ω$CDM, and $ω_0ω_a$CDM cosmologies using the latest redshift-resolved BAO measurements from DESI DR2. By separating $r_d$-dependent and $r_d$-independent observables and applying both fixed and model-derived sound horizon values, we test the consistency of each model across 24 observables spanning redshift 0.2 to 2.3. Our results show that the $ω$CDM model is statistically favored over $Λ$CDM, with lower $χ^2$, AIC, and BIC values and reduced…

$CP$ violation of two-body hadronic $\Lambda_b$ decays in the PQCD approach
Jia-Jie Han, Ji-Xin Yu, Ya Li, Hsiang-nan Li, Jian-Peng Wang, Zhen-Jun Xiao, Fu-Sheng Yu
https://arxiv.org/abs/2506.07197

$CP$ violation of two-body hadronic $Λ_b$ decays in the PQCD approach
We systematically investigate the $CP$-averaged branching ratios and $CP$ violations (CPVs) for the two-body hadronic decays $Λ_b\to ph$, where $h$ runs through the mesons $π^-$, $ρ^-$, $a_1^-(1260)$, $K^-$, $K^{\ast -}$, $K_1^-(1270)$ and $K_1^-(1400)$, in the perturbative QCD approach to order $α_s^2$ in the strong coupling. Various topological amplitudes are obtained by incorporating subleading-twist hadron distribution amplitudes, which exhibit reasonable hierarchical patterns, sizable …

Determination of the sensitivity of $\Lambda$ and $\Lambda^ _c$ electric dipole moments using a full angular analysis
R. T. Ovsiannikov, A. Yu. Korchin, E. Kou
https://arxiv.org/abs/2507.19056

Determination of the sensitivity of $Λ$ and $Λ^+_c$ electric dipole moments using a full angular analysis
A search for a non-zero Electric Dipole Moment (EDM) of particles, which is a clear signal of a violation of CP symmetry, is one of the unique ways to discover physics beyond the Standard Model. In this paper, we discuss a method for determining the EDM of baryons from the full angular distribution of final particles in electron-positron pair annihilation processes. The question of how accurately the state-of-the-art experiments can determine EDM of $Λ$ and $Λ_c^+$ baryons is discussed in det…

An examination of the two-peak hypothesis of $P_{\Psi s}^{\Lambda}(4459)$ using heavy quark symmetries
Duygu Y{\i}ld{\i}r{\i}m
https://arxiv.org/abs/2508.05265 https://

An examination of the two-peak hypothesis of $P_{Ψs}^Λ(4459)$ using heavy quark symmetries
The LHCb Collaboration announcement regarding the observation of the $P_{Ψs}^Λ (4459)$ stated that it might consist of two resonances rather than a single one. Naturally, the structure and composition of $P_{Ψs}^Λ(4459)$ state has prompted significant interest among researchers. Within the framework of generalized flavor-spin symmetry, the $P_{Ψs}^Λ(4459)$ has been correlated with the previously identified as one-peak states $P_c(4450)$, which were later found to be two-peak, $P_{c\bar{c}…

The Intrinsic and Extrinsic Hierarchy Problems
James D. Wells
https://arxiv.org/abs/2506.05472 https://arxiv.org/pdf/2506.05472

The Intrinsic and Extrinsic Hierarchy Problems
The Hierarchy Problem of elementary particle physics can be divided into two separate problems: the Intrinsic and Extrinsic Hierarchy Problems. The Intrinsic Hierarchy Problem (IHP) arises when the Wilsonian renormalization group induces a large Lambda_UV cutoff dependence on a much lighter scalar mass, creating a large finetuning. The Extrinsic Hierarchy Problem (EHP) arises when the IR theory is augmented with generically assumed extra states and interactions in the UV, making the resulting I…

$\lambda$ and $\rho$ Regge trajectories for the pentaquark $P_{cc\bar{c}bb}$ in the diquark-triquark picture
He Song, Xin-Ru Liu, Jia-Qi Xie, Jiao-Kai Chen
https://arxiv.org/abs/2506.01005

$λ$ and $ρ$ Regge trajectories for the pentaquark $P_{cc\bar{c}bb}$ in the diquark-triquark picture
We propose the Regge trajectory relations for the fully heavy pentaquark $P_{cc\bar{c}bb}$ utilizing both diquark and triquark Regge trajectory relations. Using these new relations, we discuss four series of Regge trajectories: the $ρ_1$-, $ρ_2$-, $λ_1$-, and $λ_2$-trajectories. We provide rough estimates for the masses of the $ρ_1$-, $ρ_2$-, $λ_1$-, and $λ_2$-excited states. Except for the $λ_1$-trajectories, the complete forms of the other three series of Regge trajectories for the p…

The electromagnetic form factors of $\Sigma$ and $\Sigma^0 \to \Lambda$ transition in the timelike region
Cheng Chen, Bing Yan, Bing-Wei Long, Ju-Jun Xie
https://arxiv.org/abs/2507.01277

The electromagnetic form factors of $Σ$ and $Σ^0 \to Λ$ transition in the timelike region
We investigate the $e^+e^-\to Σ\barΣ$ and $e^+e^-\to Λ\barΣ^0$ reactions within the extended vector meson dominance model. In addition to the ground state mesons $ρ$ and $ω$, we consider the contributions of the excited states $ρ(3D)$, $ω(3D)$, $ϕ(3D)$, and $ρ(6D)$. It is found that the current experimental data on the $Σ$ electromagnetic form factors in timelike region can be well reproduced. And the $ϕ(3D)$ resonance is essential to the near threshold enhancement of the cross sect…