Tootfinder

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

Extensional and Non-extensional Functions as Processes
Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $λ$-calculus, the process representations yield (at best) non-extensional $λ$-theories (i.e., $β$ rule holds, whereas $η$ does not). In the paper, we study how to obtain extensional representations, and how to move between extensional and non-extensional representations. Using Internal $π$, $\mathrm{I}π$ (a subset of the $π$-calculus in which all outputs are boun…

Normalized solutions for the nonlinear Schr\"{o}dinger equation with potentials
Matteo Rizzi, Xueqin Peng
https://arxiv.org/abs/2507.20961 https://arx…

Normalized solutions for the nonlinear Schrödinger equation with potentials
In this paper, we find normalized solutions to the following Schrödinger equation \begin{equation}\notag \begin{aligned} &-Δu-\fracμ{|x|^2}h(x)u+λu =f(u)\quad\text{in}\quad\mathbb{R}^{N},\\ & u>0,\quad \int_{\mathbb{R}^{N}}u^2dx=a^2, \end{aligned} \end{equation} where $N\geq3$, $a>0$ is fixed, $f$ satisfies mass-subcritical growth conditions and $h$ is a given bounded function with $||h||_\infty\le 1$. The $L^2(\mathbb{R}^N)$-norm of $u$ is fixed and $λ$ appea…

The Fordham University
Tri-State Tick Risk Index for the week of June 27, is at the highest it can be:
a 10 out of 10.
What’s listed next to that score is the following:
"If you’re thinking of taking a hike, consider going to a movie instead."
h…

Fordham Tri-State Tick Risk
The Fordham Tick Index is an estimate of the risk of being bitten by a nymphal or adult deer tick.

Monkeys falling from trees and baking barnacles: how heat is driving animals to extinction https://www.theguardian.com/environment/2025/aug/20/monkeys-falling-trees-baking-barnacles-heat-driving-animals-extinction-c…

Falling stars: a fall-decorated rational shuffle theorem
Alessandro Iraci, Roberto Pagaria, Giovanni Paolini
https://arxiv.org/abs/2508.20935 https://arxiv…

Falling stars: a fall-decorated rational shuffle theorem
In this paper, we formulate a rational analog of the fall Delta theorem and the Delta square conjecture. We find a new dinv statistic on fall-decorated paths on a $(m+k) \times (n+k)$ rectangle that simultaneously extends the previously known dinv statistics on decorated square objects and non-decorated rectangular objects. We prove a symmetric function formula for the $q,t$-generating function of fall-decorated rectangular Dyck paths as a skewing operator applied to $e_{m,n+km}$ and, condi…

Probing the extent of WASP-52 b's atmosphere. High-resolution observations and 3D modeling insights
F. Nail, A. Oklop\v{c}i\'c, M. MacLeod, K. Baka, S. Czesla, E. Nagel, D. Linssen, J. Matthijsse
https://arxiv.org/abs/2508.20572

Probing the extent of WASP-52 b's atmosphere. High-resolution observations and 3D modeling insights
WASP-52 b is an inflated hot Jupiter with a large Roche lobe filling fraction, positioned in the hot Neptune desert. Previous in-transit observations of the helium triplet at 10833 A have reported a range of excess absorption values (1.5%-5.5%) and a lack of net blueshift relative to the planet's rest frame, distinguishing it from other escaping atmospheres. This study investigates the extent and morphology of material escaping from WASP-52 b, assessing whether its outflow resembles a stream-li…

A Practical Approach to Power Saving in Hearables Using Sub-Nyquist Sampling with Bandwidth Extension
Tarikul Islam Tamiti, Anomadarshi Barua
https://arxiv.org/abs/2506.22321

A Practical Approach to Power Saving in Hearables Using Sub-Nyquist Sampling with Bandwidth Extension
Hearables are wearable computers that are worn on the ear. Bone conduction microphones (BCMs) are used with air conduction microphones (ACMs) in hearables as a supporting modality for multimodal speech enhancement (SE) in noisy conditions. However, existing works don't consider the following practical aspects for low-power implementations on hearables: (i) They do not explore how lowering the sampling frequencies and bit resolutions in analog-to-digital converters (ADCs) of hearables jointly im…

Linear perturbations of Kerr black hole in quadratic gravity
Simon Knoska, David Kofron, Robert Svarc
https://arxiv.org/abs/2507.21923 https://arxiv.org/pd…

Linear perturbations of Kerr black hole in quadratic gravity
Employing the Newman-Penrose formalism and following the classic Teukolsky-like approach, we linearise the field equations of quadratic gravity on the Kerr background and combine them with the linearised Ricci and Bianch identities. This leads to constraints on linear perturbations of the Kerr spacetime in quadratic gravity. The resulting differential equations are decoupled in such a way that only the Ricci tensor perturbations need to be found on the Kerr background in order to fully determin…

Non-autonomous problem for a $2m$-th order semilinear nonlocal parabolic equation
Flank D. M. Bezerra, Silvia Sastre-G\'omez
https://arxiv.org/abs/2507.20257 https://…

Non-autonomous problem for a $2m$-th order semilinear nonlocal parabolic equation
In this paper we consider a $2m$-th order non autonomous quasilinear parabolic equation. Under suitable conditions of growth and regularity for the nonlinear functions present in the model, we prove a result of existence and characterization of pullback attractors. Moreover, we consider an autonomous version from the $2m$-th order non autonomous quasilinear parabolic equation in question.

Comparison principle for Singular Fractional $ g- $Laplacian Problems
Abdelhamid Gouasmia, Kaushik Bal
https://arxiv.org/abs/2507.21185 https://arxiv.org/p…

Comparison principle for Singular Fractional $ g- $Laplacian Problems
In this paper, we establish a novel comparison principle of independent interest and prove the uniqueness of weak solutions within the local Orlicz--Sobolev space framework, for the following class of fractional elliptic problems: \begin{equation*} (-Δ)^{s}_{g} u = f(x) u^{-α} + k(x) u^β, \quad u > 0 \quad \text{in } Ω; \quad u = 0 \quad \text{in } \mathbb{R}^{N} \setminus Ω, \end{equation*} where \( Ω\subset \mathbb{R}^{N} \) is a smooth bounded domain, \( α> 0 \), and \( β> 0 …