Tootfinder

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…

Phase Transitions at Unusual Values of $\theta$
Csaba Cs\'aki, Teruhiko Kawano, Hitoshi Murayama, Ofri Telem
https://arxiv.org/abs/2506.14879 https://

Phase Transitions at Unusual Values of $θ$
We calculate the $θ$ dependence in a cousin of QCD, where the vacuum structure can be analyzed exactly. The theory is $\mathcal{N}=2$ $SU(2)$ gauge theory with $N_F=0,1,2,3$ flavors of fundamentals, explicitly broken to $\mathcal{N}=1$ via an adjoint superpotential, and coupled to anomaly mediated supersymmetry breaking (AMSB). The hierarchy $m_{AMSB}\ll μ_{\mathcal{N}=1}\ll Λ$ ensures the validity of our IR analysis. As expected from ordinary QCD, the vacuum energy is a function of $θ$ whi…

A covariant description of the interactions of axion-like particles and hadrons
Reuven Balkin, Ta'el Coren, Yotam Soreq, Mike Williams
https://arxiv.org/abs/2506.15637

A covariant description of the interactions of axion-like particles and hadrons
We present a covariant framework for analyzing the interactions and decay rates of axion-like particles (ALPs) that couple to both gluons and quarks. We identify combinations of couplings that are invariant under quark-field redefinitions, and use them to obtain physical expressions for the prominent decay rates of such ALPs, which are compared with previous calculations for scenarios where ALPs couple exclusively to quarks or to gluons. Our framework can be used to obtain ALP decay rates for a…

InceptionMamba: Efficient Multi-Stage Feature Enhancement with Selective State Space Model for Microscopic Medical Image Segmentation
Daniya Najiha Abdul Kareem, Abdul Hannan, Mubashir Noman, Jean Lahoud, Mustansar Fiaz, Hisham Cholakkal
https://arxiv.org/abs/2506.12208

InceptionMamba: Efficient Multi-Stage Feature Enhancement with Selective State Space Model for Microscopic Medical Image Segmentation
Accurate microscopic medical image segmentation plays a crucial role in diagnosing various cancerous cells and identifying tumors. Driven by advancements in deep learning, convolutional neural networks (CNNs) and transformer-based models have been extensively studied to enhance receptive fields and improve medical image segmentation task. However, they often struggle to capture complex cellular and tissue structures in challenging scenarios such as background clutter and object overlap. Moreove…

With the first #AAS246 presser "Cosmic Accelerators and Active Black Holes" came the papers https://iopscience.iop.org/article/10.3847/1538-4357/adb7e0 (Discovery of a Pulsar Wind Nebula Candidate Associated with the Galactic PeVatron 1LHAASO J0343 5254u) &
https://iopscience.iop.org/article/10.3847/2515-5172/adccb9 (Swift-XRT Observations and Upper Limits at Five LHAASO Galactic Sources) with the press release https://natsci.msu.edu/news/2025/2025-06-where-did-cosmic-rays-come-from.aspx, https://iopscience.iop.org/article/10.3847/1538-4357/adccc1 (Radial Profiles of Radio Halos in Massive Galaxy Clusters: Diffuse Giants Over 2 Mpc) etc. with the press release https://www.cfa.harvard.edu/news/record-breaking-cosmic-structure-discovered-colossal-galaxy-cluster and https://arxiv.org/abs/2504.09676 (Investigating the Emission Mechanism in the Spatially Resolved Jets of Two z ≈ 3 Radio-loud Quasars) with the press releases https://chandra.si.edu/photo/2025/j1610/ and https://www.nasa.gov/image-article/nasas-chandra-sees-surprisingly-strong-black-hole-jet-at-cosmic-noon/ and the abstract https://ui.adsabs.harvard.edu/abs/2025AAS...24520421S/abstract (NIRCam imaging of NGC 4258).

#CoWoS, or Chip-on-Wafer-on-Substrate,
is one of TSMC’s most advanced ways of packaging chips.
It allows several chips to work closely together as one,
making the whole system faster and more efficient while using less energy.

Why this key chip technology is crucial to the AI race between the US and China
In the largest single foreign investment in US history, Taiwan Semiconductor Manufacturing Company (TSMC), the world’s “most powerful company” according to US President Donald Trump, unveiled a $100 billion investment, drawing global attention and prompting concern in Taiwan.

Vacuum Instability and False Vacuum Decay Induced by Domain Walls in the N2HDM
Mohamed Younes Sassi, Gudrid Moortgat-Pick
https://arxiv.org/abs/2506.14880 …

Vacuum Instability and False Vacuum Decay Induced by Domain Walls in the N2HDM
The Next-to-Two-Higgs-Doublet model (N2HDM) has a rich vacuum structure where multiple electroweak (EW) breaking minima, as well as CP and electric-charge breaking minima, can coexist. These minima can be deeper than the electroweak vacuum $v_{ew} \approx 246\text{ GeV}$ of our universe, making our vacuum metastable. In such a case, one needs to calculate the tunneling rate from the EW vacuum to the deeper minimum. If the lifetime of the EW vacuum is longer than the universe's age, our vacuum i…

Pulsar Sparking: What if mountains on the surface?
Zi-Hao Xu, Wei-Yang Wang, Ren-Xin Xu
https://arxiv.org/abs/2506.12305 https://arxi…

Pulsar Sparking: What if mountains on the surface?
A numerical framework to calculate the height and potential of the vacuum inner gap is proposed here. The results show that small mountains on a pulsar's polar cap tend to significantly influence the properties of the inner vacuum gap, making it easier for sparks to form. In this scenario, the magnetospheric activity observed from the pulsars PSR J0250$+$5854 and PSR J2144$-$3933, which lie below the pulsar death line, would be reproduced, and the irregular discharge behaviour in other polar ca…

Improving Surgical Risk Prediction Through Integrating Automated Body Composition Analysis: a Retrospective Trial on Colectomy Surgery
Hanxue Gu, Yaqian Chen, isoo Lee, Diego Schaps, Regina Woody, Roy Colglazier, Maciej A. Mazurowski, Christopher Mantyh
https://arxiv.org/abs/2506.11996

Improving Surgical Risk Prediction Through Integrating Automated Body Composition Analysis: a Retrospective Trial on Colectomy Surgery
Objective: To evaluate whether preoperative body composition metrics automatically extracted from CT scans can predict postoperative outcomes after colectomy, either alone or combined with clinical variables or existing risk predictors. Main outcomes and measures: The primary outcome was the predictive performance for 1-year all-cause mortality following colectomy. A Cox proportional hazards model with 1-year follow-up was used, and performance was evaluated using the concordance index (C-index…

Effective description of Nelson-Barr models and the theta parameter
Gustavo H. S. Alves, Celso C. Nishi
https://arxiv.org/abs/2506.03257 https://

Effective description of Nelson-Barr models and the theta parameter
Nelson-Barr theories solve the strong CP problem with CP spontaneously broken at Λ_{CP} and transmitted to the CP conserving version of the SM through vector-like quarks (VLQs). For an arbitrary number of CP breaking scalars and VLQs, we perform the full one-loop matching calculations at Λ_{CP} up to dimension five operators and the relevant matching calculations at the VLQ scale relevant to tracking the contributions to the parameter \barθ. In the EFT after the CP breaking scalars have been…