Tootfinder

A converse to Cartan's Theorem B: The extension property for real analytic and Nash sets
Jos\'e F. Fernando, Riccardo Ghiloni
https://arxiv.org/abs/2506.18347

A converse to Cartan's Theorem B: The extension property for real analytic and Nash sets
In 1957 Cartan proved his celebrated Theorem B and deduced that if $Ω\subset{\mathbb R}^n$ is an open set and $X$ is a coherent real analytic subset of $Ω$, then $X$ has the analytic extension property, that is, each real analytic function on $X$ extends to a real analytic function on $Ω$. The converse implication in its full generality remains unproven. In the literature only special cases of non-coherent real analytic sets $X\subsetΩ$ without the extension property appear, some of them du…

Azure Database for PostgreSQL Blog author and Microsoft employee "JoshMSFT" shares details on Microsoft's new PostgreSQL extension for Visual Studio Code.
Feature set includes:
1. Schema Visualization
2. Database aware GitHub Copilot
3. Database Explorer
4. Query History
5. Query Editing with Context-aware IntelliSense
 
"Announcing a new IDE for PostgreSQL in VS Code from Microsoft"

Three-dimensional equation of state extension of quark matter in Fermi-liquid theory
Zhenyu Zhu, Shuai Zha, Sophia Han
https://arxiv.org/abs/2506.17569 htt…

Three-dimensional equation of state extension of quark matter in Fermi-liquid theory
The cold, dense matter equation of state (EoS) determines crucial global properties of neutron stars (NSs), including the mass, radius and tidal deformability. However, a one-dimensional (1D), cold, and $β$-equilibrated EoS is insufficient to fully describe the interactions or capture the dynamical processes of dense matter as realized in binary neutron star (BNS) mergers or core-collapse supernovae (CCSNe), where thermal and out-of-equilibrium effects play important roles. We develop a method…

Onebrief, which makes military workflow software, raised a $20M Series C extension led by Battery Ventures at a $1.1B valuation, taking the round total to $70M (Chris Metinko/Axios)
https://www.axios.com/pro/enterprise-softw

Exclusive: Defense tech startup Onebrief hits $1.1B valuation
Onebrief's Series C extension was led by Battery Ventures.

Raiders Urged to Make ‘Important’ Contract Decision on Key Starter https://heavy.com/sports/nfl/las-vegas-raiders/kolton-miller-contract-extension-br/?adt_ei=[email]

Boy, those hedge trimmers will cut straight through extension cables, won't they?
😬

Radical property of the traces of the canonical modules of Cohen-Macaulay rings
Mitsuhiro Miyazaki
https://arxiv.org/abs/2506.17987 https://

Radical property of the traces of the canonical modules of Cohen-Macaulay rings
In this paper, we define a new concept of Noetherian commutative rings which stands between Gorenstein and Cohen-Macaulay properties. We show that this new property keep hold under common operations of commutative rings such as localization, polynomial extension and under mild assumptions, flat extension, tensor product, Segre product and so on. We show that for Schubert cycles, the Ehrhart rings of cycle graphs and perfect graphs, this new concept is close to Gorenstein property.

Could Cowboys be delaying contract extension for Micah Parsons for specific reason? https://www.si.com/nfl/cowboys/news/could-cowboys-be-delaying-contract-extension-micah-parsons-specific-reason

Snippets in Visual Studio Code
You can easily define your own snippets without any extension.
https://code.visualstudio.com/docs/editing/userdefinedsnippets#_create-your-own-snippets

Rashod Bateman aims to 'flip that narrative' of Ravens WRs after extension https://www.nfl.com/news/rashod-bateman-aims-to-flip-that-narrative-of-ravens-wrs-after-extension

'I just want finality': GOP greets newest TikTok extension with resignation (Anthony Adragna/Politico)
https://www.politico.com/news/2025/06/20/we-cant-wait-forever-gop-frustrated-but-unwilling-to-act-on-trumps-tiktok-extension-00413897
http://www.memeorandum.com/250620/p118#a250620p118

Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
Noga Alon, Shakhar Smorodinsky
https://arxiv.org/abs/2506.17777 https…

Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
We define and study an extension of the notion of the VC-dimension of a hypergraph and apply it to establish a Tverberg type theorem for unions of convex sets. We also prove a new Radon type theorem for unions of convex sets, vastly improving the estimates in an earlier result of Bárány and Kalai.

State updates and useful qubits in relativistic quantum information
Jos\'e Polo-G\'omez, T. Rick Perche, Eduardo Mart\'in-Mart\'inez
https://arxiv.org/abs/2506.18906

State updates and useful qubits in relativistic quantum information
We address the longstanding challenge of consistently updating quantum states after selective measurements in a relativistic spacetime. Standard updates along the future lightcones preserve causality but break correlations between causally disconnected parties, whereas updates along the past lightcone either imply retrocausality or do not respect the causal propagation of information. We introduce a minimal extension of multipartite states to encode subsystem-specific contextual information. Th…

Projective length, phantom extensions, and the structure of flat modules
Matteo Casarosa, Martino Lupini
https://arxiv.org/abs/2506.17982 https://

Projective length, phantom extensions, and the structure of flat modules
We consider the natural generalization of the notion of the order of a phantom map from the topological setting to triangulated categories. When applied to the derived category of the category of countable flat modules over a countable Dedekind domain, this yields a notion of\emph{\ phantom extension} of order $α<ω_{1}$. We provide a complexity-theoretic characterization of the module $\mathrm{Ph}% ^{α}\mathrm{Ext}\left( C,A\right) $ of phantom extensions of order $α$ with respect to the st…

Effective action of bosonic string theory at order $\alpha'^3$
Mehdi Ameri, Alireza Pahlavan, Mohammad R. Garousi
https://arxiv.org/abs/2506.19471 http…

Effective action of bosonic string theory at order $α'^3$
In this work, we derive the classical effective action of bosonic string theory at order $α'^{3}$ for the metric, Kalb-Ramond field, and dilaton by imposing a higher-derivative extension of the Buscher rules on the circular reduction of the minimal basis at this order, in the schemes where their corresponding actions at order $α'$ are the Meissner and the Metsaev-Tseytlin schemes. We find that T-duality fixes all coupling constants in terms of the known overall factor at order $α'$ and a sin…

New evidence for R\'emond's generalisation of Lehmer's conjecture
Sara Checcoli, Gabriel Andreas Dill
https://arxiv.org/abs/2506.18776 https://…

New evidence for Rémond's generalisation of Lehmer's conjecture
In this article, we generalise a result of Pottmeyer from the multiplicative group of the algebraic numbers to almost split semiabelian varieties defined over number fields. This concerns a consequence of Rémond's generalisation of Lehmer's conjecture. Namely, for a finite rank subgroup $Γ$ of an almost split semiabelian variety $G$, we consider the group of rational points of $G$ over a finite extension of the field generated by the saturated closure of $Γ$, i.e. the division closure of the…

Existence and Uniqueness of Physically Correct Hydraulic States in Water Distribution Systems -- A theoretical analysis on the solvability of non-linear systems of equations in the context of water distribution systems
Janine Strotherm, Julian Rolfes, Barbara Hammer
https://arxiv.org/abs/2506.17270…

Existence and Uniqueness of Physically Correct Hydraulic States in Water Distribution Systems -- A theoretical analysis on the solvability of non-linear systems of equations in the context of water distribution systems
Planning and extension of water distribution systems (WDSs) plays a key role in the development of smart cities, driven by challenges such as urbanization and climate change. In this context, the correct estimation of physically correct hydraulic states, i.e., pressure heads, water demands and water flows, is of high interest. Hydraulic emulators such as EPANET or more recently, physic-informed surrogate models are used to solve this task. They require a subset of observed states, such as heads…

The Scotogenic Model with Two Inert Doublets: Parameters Space and Electroweak Precision Tests
Abdelrahman AbuSiam (University of Sharjah), Amine Ahriche (University of Sharjah)
https://arxiv.org/abs/2506.18051

The Scotogenic Model with Two Inert Doublets: Parameters Space and Electroweak Precision Tests
In this work, we study a scotogenic extension of the Standard Model featuring two inert scalar doublets and three singlet Majorana fermions, where neutrino masses are generated radiatively at one loop. The lightest among the Majorana fermions and neutral scalars can serve as dark matter candidates. We explore the parameter space, considering theoretical constraints (perturbativity, unitarity, vacuum stability) and experimental limits (lepton flavor violation, Higgs measurements, electroweak pre…

Investigating QED Effects on the Thin Accretion Disk Properties Around Rotating Euler-Heisenberg Black Holes
Kourosh Nozari, Sara Saghafi, Fatemeh Aliyan
https://arxiv.org/abs/2506.17986

Investigating QED Effects on the Thin Accretion Disk Properties Around Rotating Euler-Heisenberg Black Holes
The Einstein Euler Heisenberg (EEH) black hole model represents an extension of classical black hole solutions in general relativity by incorporating quantum electrodynamic (QED) corrections. These corrections are introduced through the inclusion of the Euler-Heisenberg Lagrangian, which accounts for the nonlinear effects of QED in the presence of strong electromagnetic fields. This study investigates the observational properties of a thin accretion disk surrounding the electrically charged rot…

Cosmic Sign-Reversal: Non-Parametric Reconstruction of Interacting Dark Energy with DESI DR2
Yun-He Li, Xin Zhang
https://arxiv.org/abs/2506.18477 https://…

Cosmic Sign-Reversal: Non-Parametric Reconstruction of Interacting Dark Energy with DESI DR2
A direct interaction between dark energy and dark matter provides a natural and important extension to the standard $Λ$CDM cosmology. We perform a non-parametric reconstruction of the vacuum energy ($w=-1$) interacting with cold dark matter using the cosmological data from DESI DR2, Planck CMB, and three SNIa samples (PP, DESY5, and Union3). By discretizing the coupling function $β(z)$ into 20 redshift bins and assuming a Gaussian smoothness prior, we reconstruct $β(z)$ without assuming any …

@… thanks, however the Raindrop.io extension had some major issues when I last used it.
Cc @… @…

SocioXplorer: An Interactive Tool for Topic and Network Analysis in Social Data
Sandrine Chausson, Youssef Al Hariri, Walid Magdy, Bj\"orn Ross
https://arxiv.org/abs/2506.18845

SocioXplorer: An Interactive Tool for Topic and Network Analysis in Social Data
SocioXplorer is a powerful interactive tool that computational social science researchers can use to understand topics and networks in social data from Twitter (X) and YouTube. It integrates, among other things, artificial intelligence, natural language processing and social network analysis. It can be used with ``live" datasets that receive regular updates. SocioXplorer is an extension of a previous system called TwiXplorer, which was limited to the analysis of archival Twitter (X) data. Socio…

Extension of the CC($P$;$Q$) Formalism to the Electron Attachment and Ionization Potential Equation-of-Motion Coupled-Cluster Frameworks
Karthik Gururangan, Stephen H. Yuwono, A. Eugene DePrince III, Piotr Piecuch
https://arxiv.org/abs/2506.16320

Extension of the CC($P$;$Q$) Formalism to the Electron Attachment and Ionization Potential Equation-of-Motion Coupled-Cluster Frameworks
We combine the electron attachment (EA) and ionization potential (IP) equation-of-motion (EOM) coupled-cluster (CC) approaches with the CC($P$;$Q$) formalism. The resulting methodologies are used to describe the electronic states of several open-shell molecules, with the goal of approximating high-level EA/IP-EOMCC energetics corresponding to a full treatment of 3-particle-2-hole (3$p$-2$h$) and 3-hole-2-particle (3$h$-2$p$) excitations on top of CC with singles and doubles (CCSD). We show that…

The Baum-Connes conjecture for extensions revisited
Jianguo Zhang
https://arxiv.org/abs/2506.18446 https://arxiv.org/pdf/2506.18446…

The Baum-Connes conjecture for extensions revisited
In this paper, we verify that the Baum-Connes conjecture with coefficients is closed under group extensions. More precisely, for an extension $1\rightarrow N \rightarrow Γ\rightarrow Γ/ N \rightarrow 1$ of discrete countable groups, we prove that the Baum-Connes conjecture with coefficients holds for $Γ$ if it holds for $N$ and $Γ/ N$. This result will enlarge the class of groups satisfying the Baum-Connes conjecture with coefficients.

Inferring Exocytosis Profiles from Cell Shapes Using a Dual-Configuration Model of Walled Cell Tip Growth
Kamryn Spinelli, Chaozhen Wei, Luis Vidali, Min Wu
https://arxiv.org/abs/2506.17472

Inferring Exocytosis Profiles from Cell Shapes Using a Dual-Configuration Model of Walled Cell Tip Growth
Tip growth in filamentous cells, such as root hairs, moss protonemata, and fungal hyphae, depends on coordinated cell wall extension driven by turgor pressure, wall mechanics, and exocytosis. We introduce a dual-configuration model that incorporates both turgid and unturgid states to describe cell wall growth as the combined effect of elastic deformation and irreversible extension. This framework infers exocytosis profiles directly from cell morphology and elastic stretches, formulated as an in…

Ricky Pearsall, 49ers motivated by Brock Purdy's new contract entering 2025 season https://www.nfl.com/news/ricky-pearsall-49ers-motivated-by-brock-purdy-s-new-contract-entering-2025-season

Replaced article(s) found for math.CV. https://arxiv.org/list/math.CV/new
[1/1]:
- Ross-Witt Nystr\"om correspondence and Ohsawa-Takegoshi extension
Yan He, Johannes Testorf, Xu Wang

Simultaneous Identification of Coefficients and Source in a Subdiffusion Equation from One Passive Measurement
Maolin Deng, Ali Feizmohammadi, Bangti Jin, Yavar Kian
https://arxiv.org/abs/2506.17648

Simultaneous Identification of Coefficients and Source in a Subdiffusion Equation from One Passive Measurement
This article is devoted to the detection of parameters in anomalous diffusion from a single passive measurement. More precisely, we consider the simultaneous identification of coefficients as well as a time-dependent source term appearing in a time-fractional diffusion equation from a single boundary or internal passive measurement. We obtain several uniqueness results in dimension one as well as a multidimensional extension under some symmetry assumptions. Our analysis relies on spectral repre…

System 0: Transforming Artificial Intelligence into a Cognitive Extension
Massimo Chiriatti, Marianna Bergamaschi Ganapini, Enrico Panai, Brenda K. Wiederhold, Giuseppe Riva
https://arxiv.org/abs/2506.14376

System 0: Transforming Artificial Intelligence into a Cognitive Extension
This paper introduces System 0, a conceptual framework for understanding how artificial intelligence functions as a cognitive extension preceding both intuitive (System 1) and deliberative (System 2) thinking processes. As AI systems increasingly shape the informational substrate upon which human cognition operates, they transform from passive tools into active cognitive partners. Building on the Extended Mind hypothesis and Heersmink's criteria for cognitive extension, we argue that AI systems…

The Bivariate regular variation of randomly weighted sums revisited in the presence of interdependence
Dimitrios G. Konstantinides, Charalampos D. Passalidis
https://arxiv.org/abs/2506.17895

The Bivariate regular variation of randomly weighted sums revisited in the presence of interdependence
We study the closure properties of the class of Bivariate Regular Variation, symbolically BRV , in standard and nonstandard cases, with respect to the randomly weighted sums. However, we take into consideration a weak dependence structure among the random weights and the main random variables, providing more flexibility in applications. In the first main result, under the condition that the main random variables belong to BRV , we provide a dependent bivariate extension of Breiman's theorem, un…

This kind of thing is wonderful, but practically useless for many people who do most of their browsing on their phone.
I abandoned my “forgetfulness” extension because I realised that I’d still be tracked where I click most of my random links.
I wish we had open phones. https://mastodon.social/@nixCr…

Pseudo-chiral phonon splitting from octupolar magnetic order
Ruairidh Sutcliffe, Kathleen Hart, Swati Chaudhary, Arun Paramekanti
https://arxiv.org/abs/2506.18978

Pseudo-chiral phonon splitting from octupolar magnetic order
Motivated by the recent discovery of anomalously large magnetic response of chiral phonons in dipolar magnets, we explore an extension to study Einstein quantum phonon modes coupled to multipolar moments. We consider the case of non-Kramers $Γ_3$ doublets which encapsulate quadrupolar and Ising octupolar degrees of freedom, and which feature a symmetry-allowed linear coupling between local quadrupolar moments and Raman active $E_g$ phonon modes $(d_{x^2-y^2},d_{3z^2-r^2})$. We show that either…

JAX-LaB: A High-Performance, Differentiable, Lattice Boltzmann Library for Modeling Multiphase Fluid Dynamics in Geosciences and Engineering
Piyush Pradhan, Pierre Gentine, Shaina Kelly
https://arxiv.org/abs/2506.17713

JAX-LaB: A High-Performance, Differentiable, Lattice Boltzmann Library for Modeling Multiphase Fluid Dynamics in Geosciences and Engineering
We present JAX-LaB, a differentiable, Python-based Lattice Boltzmann library for simulating multiphase and multiphysics flows in hydrologic, geologic, and engineered porous media. Built as an extension of the XLB library, JAX-LaB utilizes JAX for computations and offers a performant, hardware-agnostic implementation that integrates seamlessly with machine learning workflows and scales efficiently across CPUs, GPUs, and distributed systems. Multiphase interactions are modeled using the Shan-Chen…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation ...
Siyi Xu, Limin Jiang, Yintao Liu, Yihao Shen, Yi Shi, Shan Cao, Zhiyuan Jiang

President Trump plans to sign an executive order this week to grant TikTok a 90-day extension in enforcement of the sale-or-ban law, marking his third extension (CNN)
https://www.cnn.com/2025/06/17/tech/tiktok-trump-ban-delay?Date=202506…

Trump will grant TikTok another 90-day extension in enforcement of sale-or-ban law
TikTok just got another lifeline from the White House, with President Donald Trump set to delay enforcement of the sale-or-ban law by another 90 days.

Extensions of Abelian Schemes and the Additive Group
Gabriel Ribeiro, Zev Rosengarten
https://arxiv.org/abs/2506.17393 https://arxiv.…

Extensions of Abelian Schemes and the Additive Group
We compute extension sheaves of abelian schemes and of the additive group by the multiplicative group in the fppf topology. Our main results include a generalized and streamlined proof of the Barsotti--Weil formula, the vanishing of $\underline{\operatorname{Ext}}^2(A,\mathbb{G}_m)$ for an abelian scheme $A$ over a general base, and a description of $\underline{\operatorname{Ext}}^1(\mathbb{G}_a,\mathbb{G}_m)$ in characteristic zero.

I’m using the “1 Blocker” extension for iPadOS and iOS to block ads / enhance web browsing privacy:
#MediaLit

‎1Blocker - Ad Blocker
‎1Blocker lets you block obtrusive ads, sneaky trackers, and annoying elements on sites. With 1Blocker, you’re safe online and nothing will distract you from enjoying sites. 1Blocker is very easy to use — just flip a couple of switches to start blocking ads and trackers. The app will automatically r…

Open-closed 3d gravity as a random ensemble
Daniel L. Jafferis, Liza Rozenberg, Diandian Wang
https://arxiv.org/abs/2506.19817 https://

Open-closed 3d gravity as a random ensemble
We investigate an ensemble of boundary CFTs within the framework of a tensor model recently constructed to model 3d quantum gravity. The incorporation of CFT borders introduces new elements to the gravity theory. In particular, it leads to an open-closed extension of Virasoro TQFT, which in the classical limit gives rise to 3d gravity with tensionful end-of-the-world branes. It also provides predictions for off-shell manifolds with bordered asymptotic boundaries, such as the annulus wormhole. A…

A general relativistic magnetohydrodynamics extension to mesh-less schemes in the code GIZMO
Giacomo Fedrigo, Alessandro Lupi
https://arxiv.org/abs/2506.15775

A general relativistic magnetohydrodynamics extension to mesh-less schemes in the code GIZMO
The profound comprehension of the evolution and phenomenology of an Active Galactic Nucleus requires an accurate exploration of the dynamics of the magnetized gaseous disk surrounding the massive black hole in the centre. Many numerical simulations have studied this environment using elaborate grid-based codes, but in recent years, new mesh-less schemes have exhibited excellent conservation properties and good accuracy at a more moderate computational cost. Still, none implement general relativ…

Kevin Durant teases Micah Parsons, predicts Cowboys star will join NFC East rival 'two years from now'

https://www.cbssports.com/nfl/news/kevi…

Leveraging Optimal Transport for Distributed Two-Sample Testing: An Integrated Transportation Distance-based Framework
Zhengqi Lin, Yan Chen
https://arxiv.org/abs/2506.16047

Leveraging Optimal Transport for Distributed Two-Sample Testing: An Integrated Transportation Distance-based Framework
This paper introduces a novel framework for distributed two-sample testing using the Integrated Transportation Distance (ITD), an extension of the Optimal Transport distance. The approach addresses the challenges of detecting distributional changes in decentralized learning or federated learning environments, where data privacy and heterogeneity are significant concerns. We provide theoretical foundations for the ITD, including convergence properties and asymptotic behavior. A permutation test …

Modeling and Inferring Metacommunity Dynamics with Maximum Caliber
Zachary Jackson, Mathew A. Leibold, Robert D. Holt, BingKan Xue
https://arxiv.org/abs/2506.17495

Modeling and Inferring Metacommunity Dynamics with Maximum Caliber
A major challenge for community ecology is to use distribution patterns to infer basic parameters of dynamical models without conducting laborious experimental manipulations. We present a novel framework drawn from statistical physics -- Maximum Caliber -- for characterizing the temporal dynamics of complex ecological systems in spatially extended landscapes and inferring parameters from temporal data. As an extension of Maximum Entropy modeling, Maximum Caliber models the probability of possib…

WIMPs Below the Radar: Blind Spots and Benchmarks Beyond the Neutrino Floor
Giorgio Arcadi, Stefano Profumo
https://arxiv.org/abs/2506.19062 https://

WIMPs Below the Radar: Blind Spots and Benchmarks Beyond the Neutrino Floor
We investigate benchmark scenarios for Weakly Interacting Massive Particles (WIMPs) that naturally evade current direct detection constraints by featuring suppressed spin-independent cross-sections. Focusing on three representative models, the Singlet-Doublet fermion model, its extension to a Two-Higgs-Doublet plus pseudoscalar sector (2HDM$+a$), and a dark $SU(3)$ gauge model, we systematically analyze the interplay between thermal freeze-out, direct detection blind spots, and radiative correc…

Trump set to grant another extension to avoid TikTok disruption (NBC News)
https://www.nbcnews.com/news/us-news/trump-extension-tiktok-rcna213625
http://www.memeorandum.com/250617/p171#a250617p171

A third-order finite volume semi-implicit method for the Shallow Water-Exner model
Enrique D. Fernandez-Nieto, Jose Garres-Diaz, Emanuele Macca, Giovanni Russo
https://arxiv.org/abs/2506.16287

A third-order finite volume semi-implicit method for the Shallow Water-Exner model
In this work, third-order semi-implicit schemes on staggered meshes for the shallow water and Saint-Venant-Exner systems are presented. They are based on a third-order extension of the technique introduced in Cassulli \& Cheng [1]. The stability conditions for these schemes depend on the velocity and not on the celerity, allowing us to reduce computational efforts, especially in subcritical flow simulations, which is the regime we are mainly interested in. The main novelty consists in the third…

Unifying renormalized and bare viscosity in two-dimensional molecular dynamics simulations
Kazuma Yokota, Masato Itami, Shin-ichi Sasa
https://arxiv.org/abs/2506.16002

Unifying renormalized and bare viscosity in two-dimensional molecular dynamics simulations
Fluctuating hydrodynamics provides a framework connecting mesoscopic fluctuations with macroscopic transport behavior. To bridge mesoscopic and macroscopic transport from microscopic dynamics, we introduce a wavenumber-dependent viscosity, defined via the equilibrium correlation of time-averaged Fourier components of the fine-grained shear stress field, as a finite-wavevector extension of the Green--Kubo formula. Two-dimensional molecular dynamics simulations reveal its small-wavenumber diverge…

The Atomic Beam Probe Synthetic Diagnostic and its Application in Fusion Plasmas
M\'aty\'as Aradi, D\'aniel I. R\'efy, Shimpei Futatani, Ors Asztalos, Mikl\'os Berta, Pavel H\'a\v{c}ek, Jaroslav Krbec, S\'andor Zoletnik, Gergo I. Pokol
https://arxiv.org/abs/2506.15812

The Atomic Beam Probe Synthetic Diagnostic and its Application in Fusion Plasmas
The Atomic Beam Probe was installed on the COMPASS tokamak in Prague as an extension of the Beam Emission Spectroscopy. The construction and installation of the diagnostic were preceded by conceptional design and measurements with a test detector. This development work was supported by a trajectory solver, written as a sequential code, called ABPIons, whose shortcomings were discovered early on. For further modeling, orders of magnitude larger numerical performance were required. Therefore, the…

Mixed phases in a Fermi--Hubbard model describing altermagnetism
E. Langmann, J. Lenells
https://arxiv.org/abs/2506.16503 https://arx…

Mixed phases in a Fermi--Hubbard model describing altermagnetism
We study an extension of the 2D Fermi--Hubbard model, which was recently introduced in [Das et al., Phys. Rev. Lett. 132, 263402 (2024)] and shown to describe altermagnetism that can be studied in cold atom systems. Using an updated Hartree--Fock method that can detect instabilities towards phase separation, we show that the model is in a mixed phase in large parts of the parameter regime at half-filling. We argue that the occurrence of a mixed phase is an indication of exotic physics which, in…

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
Iman Poernomo
https://arxiv.org/abs/2506.09671 https://arxiv.o…

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
We introduce Dynamic Homotopy Type Theory (DHoTT), a temporal extension of Homotopy Type Theory (HoTT) designed to reason formally about concepts whose meanings evolve continuously or rupture discontinuously over time. While traditional HoTT captures identity and equivalence within a fixed semantic landscape, DHoTT enriches this framework by explicitly indexing types with a temporal parameter, allowing types themselves to deform, rupture, and reassemble as contexts shift. Formally, we show th…

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

OSVAuto: automatic proofs about functional specifications in OS verification
We present OSVAuto for automatic proofs about functional specifications that commonly arise when verifying operating system kernels. The algorithm behind OSVAuto is designed to support natively those data types that commonly occur in OS verification, including sequences, maps, structures and enumerations. Propositions about these data are encoded into a form that is suitable for SMT solving. For quantifier instantiation, we propose an extension of recent work for automatic proofs about sequence…

🇺🇦 #NowPlaying on #BBC6Music's #CraigCharles
Sub Sub:
🎵 Ain't No Love (Ain't No Use) (feat. Melanie Williams)
#SubSub
https://darthedits.bandcamp.com/track/sub-sub-ft-melanie-williams-aint-no-love-aint-no-use-dj-darth-extension

Embedding $\mathrm{SL}(2,\mathbb{C})/\mathbb{Z}_2$ in Complex Riemannian Geometry
John. W. Moffat, Ethan. J. Thompson
https://arxiv.org/abs/2506.19158 http…

Embedding $\mathrm{SL}(2,\mathbb{C})/\mathbb{Z}_2$ in Complex Riemannian Geometry
We present a unified framework demonstrating how the spinor complex Lorentz group SL(2,C)/Z\_2 is realized as a canonical subgroup within a four-dimensional complex Riemannian manifold. Building on the complex, holomorphic metric extension and contour-integration regularization of classical singularities, we show that promoting the metric to a complex-valued tensor on a complex 4-fold enlarges the frame bundle to SO(4,C). Its spin double cover factorizes as a product of two independent SL(2,C) …

Central Dogma Cycle and Network: A Model for Cell Memory
Martin R. Schiller
https://arxiv.org/abs/2506.16374 https://arxiv.org/pdf/25…

Central Dogma Cycle and Network: A Model for Cell Memory
This paper proposes an extension of the traditional Central Dogma of molecular biology to a more dynamic model termed the Central Dogma Cycle (CDC) and a broader network called the Central Dogma Cyclic Network (CDCN). While the Central Dogma is necessary for genetic information flow, it is not sufficient to fully explain cellular memory and information management. The CDC incorporates additional well-established steps, including protein folding and protein networking, highlighting the cyclical …

Thoughts from the @braiduk.bsky.social event thus far (shaped through my own interests and thinking)
People's desire to shape AI in society was very present (but I missed a sense of grassroots work eg AI4LAM in GLAMs, other equivalents)
Science fiction and other creative expressions can help society think through potential models for AI
AI is an extension, intensification of existing technologies
Clearly tensions, temptations between values and efficiencies, which lin…

Principio de Contrastibilidad, Geometr\'ia y Sistemas de Conocimiento
Carlos Desa
https://arxiv.org/abs/2506.16441 https://arxiv.…

Principio de Contrastibilidad, Geometría y Sistemas de Conocimiento
There is a contemporary trend toward geometrizing all mathematical theories, as proposed by the Langlands program, and, by extension, physical theories as well. Within this paradigm, it becomes possible to represent physical objects as formal geometric entities. This opens the door within the framework of logical empiricism pragmatism and constructive realism to the development of a new philosophical approach grounded in a logical mathematical perspective. The aim is to integrate both the physi…

On the constituents of the mod $p$ cohomology of Shimura curves
Christophe Breuil, Florian Herzig, Yongquan Hu, Stefano Morra, Benjamin Schraen
https://arxiv.org/abs/2506.16293

On the constituents of the mod $p$ cohomology of Shimura curves
Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. When $p$ is large enough with respect to $[K:\mathbb{Q}_p]$ and under mild genericity assumptions, we proved in our previous work that the admissible smooth representations $π$ of $\mathrm{GL}_2(K)$ that occur in Hecke eigenspaces of the mod $p$ cohomology are of finite length. In this paper we obtain various refined results about the structure of subquotients of $π$, such as their Iwahori-socle filtrations…

Quadratic estimates for the $H^\infty$-functional calculus of bisectorial Clifford operators
Fabrizio Colombo, Francesco Mantovani, Peter Schlosser
https://arxiv.org/abs/2506.16783

Quadratic estimates for the $H^\infty$-functional calculus of bisectorial Clifford operators
The $H^\infty$-functional calculus is a two-step procedure, introduced by A. McIntosh, that allows the definition of functions of sectorial operators in Banach spaces. It plays a crucial role in the spectral theory of differential operators, as well as in their applications to evolution equations and various other fields of science. An extension of the $H^\infty$-functional calculus also exists in the hypercomplex setting, where it is based on the notion of $S$-spectrum. Originally this was don…

@… @… I was always under the impression that there weren’t too many to begin with…
But maybe I’m mistaken, because we never had a need for any extension cards. For the applications that the multi-slot systems were intended, there obvious…

@… @… I was always under the impression that there weren’t too many to begin with…
But maybe I’m mistaken, because we never had a need for any extension cards. For the applications that the multi-slot systems were intended, there obvious…

Bounds for Geometric rank in Terms of Subrank
Qiyuan Chen, Ke Ye
https://arxiv.org/abs/2506.16132 https://arxiv.org/pdf/2506.16132

Bounds for Geometric rank in Terms of Subrank
For tensors of fixed order, we establish three types of upper bounds for the geometric rank in terms of the subrank. Firstly, we prove that, under a mild condition on the characteristic of the base field, the geometric rank of a tensor is bounded by a function in its subrank in some field extension of bounded degree. Secondly, we show that, over any algebraically closed field, the geometric rank of a tensor is bounded by a function in its subrank. Lastly, we prove that, for any order three tens…

Wow, C2PA Content Credentials working in the wild. In Chrome, anyhow. If you install this extension: https://chromewebstore.google.com/detail/c2pa-content-credentials/mjkaocdlpjmphfkjndocehcdhbigaafp and then visit a page on …

C2PA Content Credentials - Chrome Web Store
Verify and display manifests for images, audio and videos embedding C2PA Content Credentials.

Novel browser extension idea: Site bookmarks
Sometimes bookmarks are only useful when you're on a specific website, when visiting a specific page, etc. This extension would let you create a bookmark that would only show up as a suggestion on specific pages
Extra credit: allow users to configure include/exclude rules for showing a bookmark

Trump Planning to Extend TikTok Deadline—Again
https://www.wsj.com/politics/policy/trump-tiktok-ban-extension-f242c36a?st=KTCYtf&reflink=article_copyURL_share

'Forever chemicals' detected in 65% of sampled private wells in Pennsylvania https://phys.org/news/2025-06-chemicals-sampled-private-wells-pennsylvania.html
PFAS Found in 65% of Private Wells Sampled in Pennsylvania

'Forever chemicals' detected in 65% of sampled private wells in Pennsylvania
In Pennsylvania, 3.5 million people are served by private well systems, according to Penn State Extension. To better understand potential contamination of the groundwater feeding these systems, a team of researchers from Penn State conducted a novel three-year citizen science study of per- and poly-fluoroalkyl substances (PFAS)—often referred to as forever chemicals—in 167 private wells across Pennsylvania.

I have published an update to the 'Add Arguments to Google Searches' Firefox extension which permits appending the &udm=14 parameter to the results URL, fully eliminating all AI slop as well as any other hint of machine 'helpfulness' in Google results. The extension will also now install and run on both Firefox and Firefox for Android.

Extension Research of Principal Bundle Constraint System Theory on Ricci-flat K\"ahler Manifolds
Dongzhe Zheng
https://arxiv.org/abs/2506.11593 https:…

Extension Research of Principal Bundle Constraint System Theory on Ricci-flat Kähler Manifolds
This paper extends the geometric mechanics theory of constraint systems on principal bundles from the flat connection case to the general situation with non-zero curvature. Based on the theoretical foundation of compatible pairs under strong transversality conditions and principal bundle constraint systems, we systematically study the behavior of compatible pair theory in non-flat geometry within the context of Ricci-flat Kähler manifolds. Through rigorous mathematical analysis, we prove that …

A presentation for the category of $sl(3)$ webs and an extension of the quantum $sl(3)$-invariant to tangles
Nipun Amarasinghe
https://arxiv.org/abs/2506.11301

A presentation for the category of $sl(3)$ webs and an extension of the quantum $sl(3)$-invariant to tangles
We extend the $sl(3)$-polynomial invariant for links to tangles. Motivated by Kuperberg's construction of this invariant via planar trivalent graphs, we first define a category of $sl(3)$ webs and its sister linear category, and describe them via generators and relations. Then we define a functor from the category of oriented tangles to the linear category of $sl(3)$ webs, which yields an invariant for tangles and allows us to recover the $sl(3)$-polynomial invariant for links.

I finally managed to remove shorts from the #RSS feeds of YouTube channels.
The feed mixes shorts and regular video but thankfully #FreshRSS has an extension that can use the YouTube API to get the extra information it needs.
Way more complex than it should be in an ideal world but, hey, at least it works

Useful Firefox extension:
https://addons.mozilla.org/en-GB/android/addon/cookie-remover/
Cookie remover.
Now the Guardian can only be read by accepting biscuits, I do so then click the extension to immediately remove them.

Cookie Remover – Get this Extension for 🦊 Firefox Android (en-GB)
Download Cookie Remover for Firefox. Removes cookies for the current site

I find the @… #firefox #addon very useful: It just takes one click to archive the website you're on. It's also easy to find archived vers…

Irreducible modules over the universal central extension of the planar Galilean conformal algebra
Dongfang Gao
https://arxiv.org/abs/2506.10196 https://

Irreducible modules over the universal central extension of the planar Galilean conformal algebra
In this paper, we study the representation theory of the universal central extension $\mathcal{G}$ of the infinite-dimensional Galilean conformal algebra, introduced by Bagchi-Gopakumar, in $(2+1)$ dimensional space-time, which was named the planar Galilean conformal algebra by Aizawa. More precisely, we construct a family of Whittaker modules $W_{ψ_{m,n}}$ over $\mathcal{G}$ while the necessary and sufficient conditions for these modules to be irreducible are given when $m\in\mathbb{Z}_+, n\i…

“CVE naming and assignment to software packages and versions are the foundation upon which the software vulnerability ecosystem is based. Without it, we can’t track newly discovered vulnerabilities. We can’t score their severity or predict their exploitation. And we certainly wouldn’t be able to make the best decisions regarding patching them.”

CVE program averts swift end after CISA executes 11-month contract extension
After DHS did not renew its funding contract for reasons unspecified, MITRE’s 25-year-old Common Vulnerabilities and Exposures (CVE) program was slated for an abrupt shutdown on April 16, which would have left security flaw tracking in limbo. CISA stepped in to provide a bridge.

Mechanically Interlocked Polymers in Dilute Solution under Shear and Extensional Flows: A Brownian Dynamics Study
Ali Seyedi, Alex Albaugh
https://arxiv.org/abs/2506.13968

Mechanically Interlocked Polymers in Dilute Solution under Shear and Extensional Flows: A Brownian Dynamics Study
Mechanically interlocked polymers (MIPs) are a novel class of polymer structures in which the components are connected by mechanical bonds instead of covalent bonds. We measure the single-molecule rheological properties of polyrotaxanes, daisy chains, and polycatenanes under steady shear and steady uniaxial extension using coarse-grained Brownian dynamics simulations with hydrodynamic interactions. We obtain key rheological features, including tumbling dynamics, molecular extension, stress, and…

#TACO #TACOTRUMP

The Iris File Extension
Ryan Erik Landvater, Michael David Olp, Mustafa Yousif, Ulysses Balis
https://arxiv.org/abs/2506.10009 https://

The Iris File Extension
A modern digital pathology vendor-agnostic binary slide format specifically targeting the unmet need of efficient real-time transfer and display has not yet been established. Growing adoption of digital pathology only intensifies the need for an intermediary digital slide format with an emphasis on performance for use between slide servers and image management software or for inter-institutional transmission of cases. Although the DICOM standard is a well-established format widely used for long…

Large solutions for subordinate spectral Laplacian
Ivan Bio\v{c}i\'c, Vanja Wagner
https://arxiv.org/abs/2506.16780 https://arxiv…

Large solutions for subordinate spectral Laplacian
We find a large solution to a semilinear Dirichlet problem in a bounded $C^{1,1}$ domain for a non-local operator $ϕ(-Δ\vert_{D})$, an extension of the infinitesimal generator of a subordinate killed Brownian motion. The setting covers and extends the case of the spectral fractional Laplacian. The upper bound for the explosion rate of the large solution is obtained, and is given in terms of the renewal function, distance to the boundary, and the Keller-Osserman-type transformation of the semi…

Steelers' DeShon Elliott agrees to two-year, $12.5 million extension, per report

https://www.cbssports.com/nfl/news/steelers-deshon-elliot…

On the Characteristic Polynomial of Linearized Polynomials
Luca Bastioni, Giacomo Micheli, Shujun Zhao
https://arxiv.org/abs/2506.16937 https://

On the Characteristic Polynomial of Linearized Polynomials
Let $k$ be a finite field, and $L$ be a $q$-linearized polynomial defined over $k$ of $q$-degree $r$ ($L=\sum^r_{i=0}a_iZ^{q^i}$, with $a_i\in k$). This paper provides an algorithm to compute a characteristic polynomial of $L$ over a large extension field $\mathbb F_{q^n}\supseteq k$. Our algorithm has computational complexity of $O(n(\log(n))^4)$ in terms of $\mathbb F_q$ operations with the implied constant depending only on $k$ and $r$. Up to logarithmic factors, and for linear maps represen…

🇺🇦 #NowPlaying on #BBC6Music's #CraigCharles
Sub Sub:
🎵 Ain't No Love (Ain't No Use) (feat. Melanie Williams)
#SubSub
https://darthedits.bandcamp.com/track/sub-sub-ft-melanie-williams-aint-no-love-aint-no-use-dj-darth-extension

$40M defender supports Micah Parsons' contract bid: 'He should get every penny he's owed' https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/06/16/cowboys-micah-parsons-m…

An extension of the SM with vector-like quarks and hypothetical heavy bosons: model independent parametrisation at NLO order
Chahra Rekaik, Mohamed Sadek Zidi
https://arxiv.org/abs/2506.14663

An extension of the SM with vector-like quarks and hypothetical heavy bosons: model independent parametrisation at NLO order
A model independent parameterization of an extension of the Standard Model including vector-like quarks, new heavy gauge bosons and an extra scalar, involving a minimal number of free parameters, is introduced. Theoretical constraints on the model couplings and hypothetical particle masses are established by making use of perturbative unitarity. The production of heavy charged and neutral gauge bosons which subsequently decay to vector-like quarks at the LHC are investigated at both leading-ord…

Trey Hendrickson, Bengals resume talks on longterm contract extension, per report

https://www.cbssports.com/nfl/news/trey-hendrickson-benga…

Raiders LT Kolton Miller back in action at minicamp, but still without contract extension https://www.nytimes.com/athletic/6417220/2025/06/10/raiders-minicamp-kolton-miller-contract-jakorian-bennett/

Parsons at Cowboys minicamp, extension in limbo https://www.espn.com/nfl/story/_/id/45487664/cowboys-micah-parsons-minicamp-extension-limbo

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

Stability in Reaction Network Models via an Extension of the Next Generation Matrix Method
In this essay, we investigate some relations between Chemical Reaction Networks (CRN) and Mathematical Epidemiology (ME) and report on several pleasant surprises which we had simply by putting these two topics together. Firstly, we propose a definition of ME models as a subset of CRN models. Secondly, we review a fundamental stability result for boundary points, known in ME as the NGM method since it replaces the investigation of the Jacobian by that of a matrix whose origins lie in probabi…

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
Bugra Kilictas, Faruk Alpay
https://arxiv.org/abs/2506.06870 h…

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
ISO 639:2023 unifies the ISO language-code family and introduces contextual metadata, but it lacks a machine-native mechanism for handling dialectal drift and creole mixtures. We propose a formalisation of recursive semantic anchoring, attaching to every language entity $χ$ a family of fixed-point operators $ϕ_{n,m}$ that model bounded semantic drift via the relation $ϕ_{n,m}(χ) = χ\oplus Δ(χ)$, where $Δ(χ)$ is a drift vector in a latent semantic manifold. The base anchor $ϕ_{0,0}$ re…

Simetrik, which uses AI to automate account reconciliation, raised a $30M Series B extension led by a Goldman Sachs Alternatives unit, taking the round to $85M (Bloomberg)
https://www.bloomberg.com/news/articles/20

Vikings ink TE Oliver to 3-yr., $23.25M extension https://www.espn.com/nfl/story/_/id/45485798/vikings-sign-te-josh-oliver-3-year-2325-contract-extension

Cowboy Roundup: Pressure on for Micah Parsons extension, WR roster bubble https://www.si.com/nfl/cowboys/news/pressure-on-micah-parsons-extension-dallas-cowboys-wr-roster-bubble

Mack says $18M Chargers extension made sense https://www.espn.com/nfl/story/_/id/45495317/khalil-mack-los-angeles-chargers-extension

Raiders' Kolton Miller Contract Update https://www.si.com/nfl/raiders/pete-carroll-kolton-miller-las-vegas-john-spytek-tom-brady

Terry McLaurin not expected to report to Commanders minicamp while seeking extension https://www.nfl.com/news/terry-mclaurin-not-expected-to-report-to-commanders-minicamp-while-seeking-extension

Jets' CB Sauce Gardner addresses potential extension while attending minicamp: 'I want to win'

https://www.cbssports.com/nfl/news/jets-cb

Ravens sign WR Rashod Bateman to three-year, $36.75 million extension through 2029 season https://www.nfl.com/news/rashod-bateman-ravens-sign-wr-three-year-36-million-extension-2029

Michael Dickson agrees to Seahawks extension, resumes title as NFL's highest-paid punter

https://www.cbssports.com/nfl/news/michael

NFL news roundup: Steelers, S DeShon Elliott agree to 2-yr, $12.5 million extension https://www.nfl.com/news/nfl-news-roundup-latest-league-updates-from-monday-june-16

Source: Ravens give WR Bateman $36.75M deal https://www.espn.com/nfl/story/_/id/45456848/source-ravens-give-wr-rashod-bateman-3-year-3675m-extension

Predicting next NFL wide receivers to get paid: Terry McLaurin, Drake London likely candidates for extension

https://www.cbssports.com/nfl/news…

Ravens extend WR Rashod Bateman, continue to prioritize their own players https://www.nytimes.com/athletic/6405647/2025/06/05/rashod-bateman-ravens-contract-extension/