Tootfinder

Homotopy type of complements of fiber-type curves
Jos\'e I. Cogolludo-Agust\'in, Eva Elduque
https://arxiv.org/abs/2507.16374 https://

Homotopy type of complements of fiber-type curves
In this note we study the homotopy type of the complement of a plane projective curve of fiber-type. Roughly speaking, a curve of fiber-type is a finite union of fibers of a pencil. Under some restrictions, a full description of their homotopy type is given. In the context of fiber-type curves, we also partially answer in the positive a question originally posed by Libgober on the homotopy type of complements of plane curves, namely, whether or not the homotopy type of a curve complement is det…

from my link log —
Blazingly fast™ type class resolution with a trie.
https://welltypedwit.ch/posts/classTries.html
saved 2025-05-22

Just updated Tvmarks to have a proper render.yaml file so you can go to render.com and launch a new Tvmarks instance. You really only need to set an admin password!
Currently an instance will cost $7.25 a month on render.com.
https://dashboard.render.com/select-repo?type=bluepr…

RightTyper: Effective and Efficient Type Annotation for Python
Juan Altmayer Pizzorno, Emery D. Berger
https://arxiv.org/abs/2507.16051 https://

RightTyper: Effective and Efficient Type Annotation for Python
Python type annotations bring the benefits of static type checking to the language. However, manually writing annotations can be time-consuming and tedious. The result is that most real-world Python code remains largely untyped. Past approaches to annotating types in Python code fall short in a number of ways. Static approaches struggle with dynamic features and infer overly broad types. AI-based methods are inherently unsound and can miss rare or user-defined types. Dynamic methods can impose …

Some $q$-transformation formulas and Rogers-Ramanujan type identities
Chang Xu, Dunkun Yang
https://arxiv.org/abs/2506.16711 https://…

Some $q$-transformation formulas and Rogers-Ramanujan type identities
In this paper, we explore the role that Liu's transformation formula can play in discovering Rogers-Ramanujan type identities. Specifically, we combine Liu's transformation formula with other $q$-series summations to derive a series of parameterized identities. Thereafter, through careful selection of these parameters, we obtain $75$ Rogers-Ramanujan type identities from Slater's list, and uncover several new Rogers-Ramanujan type identities.

fly_larva: Drosophila larva brain (2023)
A complete synaptic map of the brain connectome of the larva of the fruit fly Drosophila melanogaster. Nodes are neurons, and edges are synaptic connections, traced individually from brain image sections using three-dimensional electron microscopy–based reconstruction. Node metadata include the neuron hempisphere, hemispherical homologue, cell type, annotations, and inferred cluster. Edge metadata include the type of interaction (`'aa'`,…

Exact solutions to complex Type IIB supergravity for complex superalgebra $F(4)$ and its real forms
Eric D'Hoker, Michael Gutperle, Christoph F. Uhlemann
https://arxiv.org/abs/2508.14959

Exact solutions to complex Type IIB supergravity for complex superalgebra $F(4)$ and its real forms
We construct the general local solutions to complexified Type IIB supergravity which are invariant under the complexified Lie superalgebra $F(4)$. The geometry is a product of complexified maximally symmetric spaces $\mathcal M_{6 {\mathbb C}}$ and $\mathcal M_{2 {\mathbb C}}$ warped over a complexified surface $Σ_{\mathbb C}$. We classify the reality conditions that may be imposed consistently to obtain real form solutions within real forms of complex Type IIB supergravity. The latter compris…

A Model of Type Theory in Groupoid Assemblies
Anthony Agwu
https://arxiv.org/abs/2507.16062 https://arxiv.org/pdf/2507.16062

A Model of Type Theory in Groupoid Assemblies
We consider the category $\GrpA{A}$ of groupoids defined internally to the category of assemblies on a partial combinatory algebra $A$. In this thesis we exhibit the structure of a $π$-tribe on $\GrpA{A}$ showing the category to be a model of type theory. We also show that $\GrpA{A}$ has $W$-types with reductions and univalent object classifier for assemblies and modest assemblies, where the latter is an impredicative object classifier. Using the $W$-types with reductions, we show that $\GrpA{…

🇺🇦 Auf radioeins läuft...
Sudan Archives:
🎵 MY TYPE
#NowPlaying #SudanArchives
https://sudanarchives.bandcamp.com/track/my-type
https://open.spotify.com/track/3G16TkmTpBp8FyDkgev4Dc

An unusual type-I X-ray burst from the neutron star X-ray binary IGR J17591-2342: a double-photospheric-radius-expansion burst?
Sudip Bhattacharyya, Akshay Singh, Andrea Sanna
https://arxiv.org/abs/2506.16632

An unusual type-I X-ray burst from the neutron star X-ray binary IGR J17591-2342: a double-photospheric-radius-expansion burst?
Type-I X-ray bursts observed from neutron stars originate from intermittent unstable thermonuclear burning of accreted matter on these stars. Such bursts, particularly those reaching the Eddington luminosity and having a temporary photospheric radius-expansion due to radiation pressure, provide a testbed to study nuclear fusion processes in intense radiation, gravity, and magnetic fields. Here, we investigate time-resolved spectroscopic properties of a type-I burst from the accretion-powered mi…

Numerical semigroup tree: type-representation
Jonathan Chappelon, Jorge L. Ram\'irez Alfons\'in, Dumitru I. Stamate
https://arxiv.org/abs/2507.15006

Numerical semigroup tree: type-representation
In this paper, we introduce a new depicting of the so-called numerical semigroup tree $\mathcal T$. By exploring computationally this improved picture, relying on the type notion of a semigroup, we found that the number of semigroups of genus $g$ and type $t$ is constante when $t$ is close to $g$ while $g$ grows. We also study the unimodularity of various sequences as well as the behavior of the leaves in $\mathcal T$. We put forward several conjectures that are supported by various computation…

Towards the inductive McKay--Navarro Condition for groups of Lie type
Lucas Ruhstorfer, A. A. Schaeffer Fry, Britta Sp\"ath, Jay Taylor
https://arxiv.org/abs/2506.17123

Towards the inductive McKay--Navarro Condition for groups of Lie type
We gather tools for proving the inductive McKay--Navarro (or Galois--McKay) condition for groups of Lie type and odd primes. We use this to establish a bijection in the case of quasisimple groups of Lie type A satisfying the equivariance properties needed for the condition. We also prove the inductive conditions for the subset of unipotent characters.

On the Worst-Case Analysis of Cyclic Block Coordinate Descent type Algorithms
Yassine Kamri, Fran\c{c}ois Glineur, Julien M. Hendrickx, Ion Necoara
https://arxiv.org/abs/2507.16675

On the Worst-Case Analysis of Cyclic Block Coordinate Descent type Algorithms
We study the worst-case behavior of Block Coordinate Descent (BCD) type algorithms for unconstrained minimization of coordinate-wise smooth convex functions. This behavior is indeed not completely understood, and the practical success of these algorithms is not fully explained by current convergence analyses. We extend the recently proposed Performance Estimation Problem (PEP) approach to convex coordinate-wise smooth functions by proposing necessary interpolation conditions. We then exploit th…

Trans-Fe elements from Type Ia Supernovae. I. Heavy element nucleosynthesis during the formation of near-Chandrasekhar white dwarfs
Umberto Battino, James Keegans, Megan Allen, Friedrich R\"opke R\"opke, Falk Herwig, Andreas Best, Raphael Hirschi, Luciano Piersanti, Oscar Straniero, Stuart Sim, Claudia Travaglio, Pavel Denissenkov
https://

Trans-Fe elements from Type Ia Supernovae. I. Heavy element nucleosynthesis during the formation of near-Chandrasekhar white dwarfs
Type Ia supernovae (SNIa) are thermonuclear explosions of white dwarfs in binary systems. They are central to galactic chemical evolution and serve as standardizable candles in cosmology, yet their progenitors remain uncertain. In this work, we present a grid of five models detailing the evolution and nucleosynthesis of slowly merging carbon-oxygen white dwarfs approaching the Chandrasekhar mass. These models test a variety of physics input settings, including accretion rates, nuclear reaction …

Theories of the gravity gauge type in de Sitter space
Julian Lang, Yasha Neiman
https://arxiv.org/abs/2506.16707 https://arxiv.org/pd…

Theories of the gravity+gauge type in de Sitter space
We study theories of the "General Relativity + Yang-Mills" type in 4d spacetime with cosmological constant, focusing on formulations where the basic variables are connections and curvatures (but no metric). We present a new Lagrangian for GR coupled to Yang-Mills, which uses the same kind of variables for both sectors, and has a manifest double-copy structure. This Lagrangian comes in both non-chiral (real) and chiral (complex) versions. The chiral version makes it easy to isolate the self-dual…

Lifespan Pancreas Morphology for Control vs Type 2 Diabetes using AI on Largescale Clinical Imaging
Lucas W. Remedios, Chloe Cho, Trent M. Schwartz, Dingjie Su, Gaurav Rudravaram, Chenyu Gao, Aravind R. Krishnan, Adam M. Saunders, Michael E. Kim, Shunxing Bao, Thomas A. Lasko, Alvin C. Powers, Bennett A. Landman, John Virostko
https://arxi…

Lifespan Pancreas Morphology for Control vs Type 2 Diabetes using AI on Largescale Clinical Imaging
Purpose: Understanding how the pancreas changes is critical for detecting deviations in type 2 diabetes and other pancreatic disease. We measure pancreas size and shape using morphological measurements from ages 0 to 90. Our goals are to 1) identify reliable clinical imaging modalities for AI-based pancreas measurement, 2) establish normative morphological aging trends, and 3) detect potential deviations in type 2 diabetes. Approach: We analyzed a clinically acquired dataset of 2533 patients …

Uber plans to launch a pilot ride type to match female riders and drivers in LA, San Francisco, and Detroit over the next few weeks, called "Women Drivers" (Natalie Lung/Bloomberg)
https://www.bloomberg.com/news/articles/20

from my link log —
Row polymorphic programming.
https://www.stranger.systems/posts/by-slug/row-polymorphic-programming.html
saved 2025-07-14

Row Polymorphic Programming
Sometimes, especially when dealing with business logic, we have to deal with data that comes in from the real world, or elsewhere, naturally very messily typed, leading to nasty type signatures and messes of macros or code generation to build data structures from a schema. Row polymorphism can help us by abstracting over the fields contained in a record type in the type signature, letting us define records based on data, concatenate records together, and define functions that are generic across…

1/2 order convergence rate of Euler-type methods for time-changed stochastic differential equations with super-linearly growing drift and diffusion coefficients
Yuanling Niu, Shuai Wang, Ying Zhang
https://arxiv.org/abs/2507.14562

1/2 order convergence rate of Euler-type methods for time-changed stochastic differential equations with super-linearly growing drift and diffusion coefficients
This paper investigates the convergence rates of two Euler-type methods for a class of time-changed stochastic differential equations with super-linearly growing drift and diffusion coefficients. Building upon existing research, we adapt the backward Euler method to time-changed stochastic differential equations where both coefficients exhibit super-linear growth and introduce an explicit counterpart, the projected Euler method. It is shown that both methods achieve the optimal strong convergen…

Composition and Volterra type operators on large Bergman spaces with rapidly decreasing weights
M. Almoka, H. Arroussi, J. Virtanen
https://arxiv.org/abs/2507.16437

Composition and Volterra type operators on large Bergman spaces with rapidly decreasing weights
We characterize boundedness, compactness and Schatten class properties of generalized Volterra-type integral operators acting between large Bergman spaces $A_ω^p$ and $A_ω^q$ for $0

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…

Gradient continuity estimates for elliptic equations of singular $p$-Laplace type with measure data
Longjuan Xu, Yirui Zhao
https://arxiv.org/abs/2507.15029

Gradient continuity estimates for elliptic equations of singular $p$-Laplace type with measure data
In this paper, we are concerned with elliptic equations of $p$-Laplace type with measure data, which is given by $-div\big(a(x)(|\nabla u|^2+s^2)^{\frac{p-2}{2}}\nabla u\big)=μ$ with $p>1$ and $s\geq0$. Under the assumption that the modulus of continuity of the coefficient $a(x)$ in the $L^2$-mean sense satisfies the Dini condition, we prove a new comparison estimate and use it to derive interior and global gradient pointwise estimates by Wolff potential for $p\geq 2$ and Riesz poten…

Double-offset Cassegrain telescopes for the Ultraviolet Type Ia (UVIa) mission concept
Fernando Cruz Aguirre, Keri Hoadley, Curtis McCully, Gillian Kyne, Shouleh Nikzad, John Hennessy, April D. Jewell, Christophe Basset, Daniel Harbeck, Greyson Davis, Leonidas A. Moustakas, D. Andrew Howell, Saurabh W. Jha, David J. Sand, Peter Brown, Ken Shen
https:…

Double-offset Cassegrain telescopes for the Ultraviolet Type Ia (UVIa) mission concept
Our understanding of cosmology is shaped by Type Ia supernovae (SNe Ia), the runaway thermonuclear detonations of white dwarfs via accretion from a companion star. The nature of this companion star is highly debated, with disparate models explaining currently available SNe Ia data. Critical ultraviolet (UV) signatures of SNe Ia progenitors are only observable within the first few days post-detonation. We present the instrument design of UVIa, a proposed SmallSat to make early UV observations of…

A Minkowski-type theorem on distances to cusps: the class number one case
Mathieu Dutour
https://arxiv.org/abs/2507.14617 https://arx…

A Minkowski-type theorem on distances to cusps: the class number one case
In the study of Euclidean lattices, the product of the successive minima is bounded from above and below by explicit quantities. This result is known as Minkowski's second theorem, and can be refined to include Hermite's constant in the upper bound, which measures how short a non-zero vector can be in a given lattice. A version of this result exists in the context of number fields, where lattices are replaced with rigid adelic spaces, and successive minima with the Roy--Thunder minima. In this …

#otrovert

Generalized Meixner-type free gamma distributions:convolution formulas and potential correspondence
Noriyoshi Sakuma, Yuki Ueda
https://arxiv.org/abs/2508.15585 https://

Generalized Meixner-type free gamma distributions:convolution formulas and potential correspondence
We introduce and study a class of generalized Meixner-type free gamma distributions $μ_{t,θ,λ}$ ($t,θ>0$ and $λ\ge 1$), which includes both the free gamma distributions introduced by Anshelevich and certain scaled free beta prime distributions introduced by Yoshida. We investigate fundamental properties and mixture structures of these distributions. In particular, we consider the Gibbs distribution $\frac{1}{\mathcal{Z}_{t,θ,λ}} \exp\{-V_{t,θ,λ}(x)\}$ associated with a family of potent…

Let's be controversial: In modern #PHP, you should never type-hint an array.
https://peakd.com/php/@crell/php-never-type-hint-on-arrays

Russian attacks kill 2, injure 24 in Ukraine over past day: https://benborges.xyz/2025/08/22/russian-attacks-kill-injure-in.html

AdapTT: Functoriality for Dependent Type Casts
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
https://arxiv.org/abs/2507.13774 http…

AdapTT: Functoriality for Dependent Type Casts
The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradual typing. These casts all exhibit a common structural behavior that boils down to the pervasive functoriality of type formers. We propose and extensively study a type theory, called AdapTT, which makes systematic and precise this idea of functorial type formers, with respect to an abstract notion of adapters relating …

A Myhill-Nerode Type Characterization of 2detLIN Languages
Benedek Nagy (Eastern Mediterranean University / Eszterh\'azy K\'aroly Catholic University)
https://arxiv.org/abs/2507.15316

A Myhill-Nerode Type Characterization of 2detLIN Languages
Linear automata are automata with two reading heads starting from the two extremes of the input, are equivalent to 5' -> 3' Watson-Crick (WK) finite automata. The heads read the input in opposite directions and the computation finishes when the heads meet. These automata accept the class LIN of linear languages. The deterministic counterpart of these models, on the one hand, is less expressive, as only a proper subset of LIN, the class 2detLIN is accepted; and on the other hand, they are also e…

Evidence for an Instability-induced Binary Merger in the Double-peaked, Helium-rich Type IIn #Supernova 2023zkd: https://iopscience.iop.org/article/10.3847/1538-4357/adea38/meta -> UC Santa Cruz-based survey uses AI to spot explosive stellar death by black hole: https://news.ucsc.edu/2025/08/black-hole-supernova/ - machine learning enables real-time detection of fleeting anomalies before they fade away.

The fundamental group of the complement of a generic fiber-type curve
Jos\'e I. Cogolludo-Agust\'in, Eva Elduque
https://arxiv.org/abs/2507.15814 h…

The fundamental group of the complement of a generic fiber-type curve
In this paper we describe and characterize the fundamental group of the complement to generic fiber-type curves, i.e. unions of (the closure of) finitely many generic fibers of a component-free pencil $F=[f:g]:\mathbb C\mathbb P^2\dashrightarrow \mathbb C\mathbb P^1$. We also observe that these groups have already appeared in the literature in examples by Eyral and Oka associated with curves of fiber-type. As a byproduct of our techniques we obtain a criterion to address Zariski's Problem on th…

I have this suspicion that I got the DRAM type wrong.
Alrighty, little RK3566, let's start over...

De novo design of alpha-helical peptide amphiphiles repairing fragmented collagen type I via supramolecular co-assembly
Shanshan Su, Jie Yang, Guo Zhang, Zhiquan Yu, Yuxuan Chen, Alexander van Teijlingen, Dawen Yu, Tong Li, Yubin Ke, Hua Yang, Haoran Zhang, Jialong Chen, Jiaming Sun, Yuanhao Wu
https://arxiv.org/abs/2507.14577…

De novo design of alpha-helical peptide amphiphiles repairing fragmented collagen type I via supramolecular co-assembly
The hierarchical triple-helix structure of collagen type I, Col I, is essential for extracellular matrix support and integrity. However, current reconstruction strategies face challenges such as chain mismatch, preventing proper fibril formation. Here, we report a supramolecular co-assembly strategy using a de novo-designed alpha-helical peptide amphiphile (APA) of just seven amino acids. The APA features a hydrophobic palmitic acid tail, which stabilizes the helical structure and promotes co-a…

TIL that you can play the original 1980 Apple II game, "The Prisoner" from Eduware online in emulation for free.
(Type "RUN PR" to begin)
https://archive.org/details/prisoner-the-1980-edu-wareano-boot

The Prisoner (1980) : Edu-Ware Services, Inc : Free Download, Borrow, and Streaming : Internet Archive
Based on a 1967 British science fiction espionage show of a same name, this game forces the player to escape the titular village.

The differences in the Narrow Line Region of nearby QSOs 1 and 2 -- I: higher excitation and contribution of shocks in type 1's
Gabriel R. Hauschild-Roier, Thaisa Storchi-Bergmann, Rog\'erio Riffel, Vincenzo Mainieri
https://arxiv.org/abs/2508.14668

The differences in the Narrow Line Region of nearby QSOs 1 and 2 -- I: higher excitation and contribution of shocks in type 1's
We compare the excitation of the Narrow-Line Region (NLR) of type 1 and type 2 QSOs for redshifts $0.4 \le z \le 0.5$ via the analysis of their emission line properties in Sloan Digital Sky Survey (SDSS) near-UV/optical spectra. We fit the continuum and emission lines, using two kinematic components for \oiii$λ$5007 and \hb\ (narrow and broad) and a single component for the weaker lines. We find two main differences in the NLR excitation of type 1 and 2 QSOs: (i) QSOs 2 have higher \oiii/\hb\ …

Last week I watched a new apprentice take 15 minutes to type a simple email – using the eagle-search system, eyes glued to the keyboard.
Over 12 years of #school education behind them, able to analyze Shakespeare and solve math problems, but typing as if they're seeing a computer for the first time!
HOW is it possible that in 2025 we are still producing graduates who can…

Bluesky blocks access to its service in Mississippi, saying it doesn't have the resources to comply with the state's broad new law requiring age verification (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/08/22/bluesky-blocks-serv…

Bluesky blocks service in Mississippi over age assurance law | TechCrunch
In a blog post published on Friday, the company explains that, as a small team, it doesn't have the resources to make the substantial technical changes this type of law would require, and it raised concerns about the law's broad scope and privacy implications.

Progenitor Insights of Type IIP SN 2018pq: A Comprehensive Photometric and Spectroscopic Study
Monalisa Dubey, Kuntal Misra, Raya Dastidar, G\'eza Cs\"ornyei, Naveen Dukiya, Bhavya Ailawadhi, Iair Arcavi, K. Azalee Bostroem, Daichi Hiramatsu, Griffin Hossienzadeh, D. Andrew Howell, Curtis McCully, Ajay Kumar Singh
https://

Progenitor Insights of Type IIP SN 2018pq: A Comprehensive Photometric and Spectroscopic Study
We present high-cadence photometric and low-resolution (R $\sim$ 400--700) optical spectroscopic observations of Type IIP supernova, SN~2018pq, which exploded on the outskirts of the galaxy IC~3896A. The optically thick phase (``plateau'') lasts approximately 97 d, the plateau duration of normal Type IIP supernovae. SN~2018pq has a {\em V}-band absolute magnitude of $-16.42 \pm 0.01$ mag at 50 d, resembles normal-luminous supernova, and the V-band decline rate of 0.42$\pm$0.06 mag 50 d$^{-1}$ d…

Bayesian Variational Inference for Mixed Data Mixture Models
Junyang Wang, James Bennett, Victor Lhoste, Sarah Filippi
https://arxiv.org/abs/2507.16545 htt…

Bayesian Variational Inference for Mixed Data Mixture Models
Heterogeneous, mixed type datasets including both continuous and categorical variables are ubiquitous, and enriches data analysis by allowing for more complex relationships and interactions to be modelled. Mixture models offer a flexible framework for capturing the underlying heterogeneity and relationships in mixed type datasets. Most current approaches for modelling mixed data either forgo uncertainty quantification and only conduct point estimation, and some use MCMC which incurs a very high…

Bayesian Non-Negative Matrix Factorization with Correlated Mutation Type Probabilities for Mutational Signatures
Iris Lang, Jenna Landy, Giovanni Parmigiani
https://arxiv.org/abs/2506.15855

Bayesian Non-Negative Matrix Factorization with Correlated Mutation Type Probabilities for Mutational Signatures
Somatic mutations, or alterations in DNA of a somatic cell, are key markers of cancer. In recent years, mutational signature analysis has become a prominent field of study within cancer research, commonly with Nonnegative Matrix Factorization (NMF) and Bayesian NMF. However, current methods assume independence across mutation types in the signatures matrix. This paper expands upon current Bayesian NMF methodologies by proposing novel methods that account for the dependencies between the mutatio…

Extending Quasi-alternating Links II
Kirandeep Kaur, Sandeep Sharama
https://arxiv.org/abs/2506.16999 https://arxiv.org/pdf/2506.1699…

Extending Quasi-alternating Links II
Champanerkar and Kofman [1] introduced an innovative method for constructing quasi-alternating links by substituting a quasi-alternating crossing c in a quasi-alternating link with a rational tangle of the same type. This construction was later extended by Chbili and Kaur [2] for any alternating tangle of same type. However, this approach does not generally apply to non-alternating tangles or alternating tangles of opposite types, although there are examples where it holds for alternating tan…

Unification and Texture Universality: The Essence of Hermiticity
Pralay Chakraborty, Subhankar Roy
https://arxiv.org/abs/2506.16951 https://

Unification and Texture Universality: The Essence of Hermiticity
A unified framework sheltering the type-I Dirac seesaw, based on the $Δ(27) \times Z_7 \times Z_{5} \times Z_4 \times Z_3$ symmetry, is proposed, preserving the naturalness of Yukawa couplings. It helps to visualize mass matrices within the lepton and quark sectors in terms of \textit{three universal parameters}: $Σ_1$, $Σ_2$, and $Σ_3$, highlighting that the down-type quark and light neutrino mass matrices exhibit a \textit{Hermitian} texture.

https://censorine.com

Public anouncement - if you eat too many fishermans friend (a type of candy in scandinavia) your belly will emit gas.

Quantum algebra approach to univariate and multivariate rational functions of $q$-Racah type
Wolter Groenevelt, Carel Wagenaar
https://arxiv.org/abs/2507.13483

Quantum algebra approach to univariate and multivariate rational functions of $q$-Racah type
In this paper, we study rational functions of $q$-Racah type and a multivariate extension, using representation theory of $\mathcal U_q(\mathfrak{sl}_2)$. Eigenfunctions of twisted primitive elements in $\mathcal U_q(\mathfrak{su}_2)$ can be expressed in terms of $q^{-1}$-Krawtchouk polynomials. Using this, we show that overlap coefficients of solutions of a generalized eigenvalue problem (GEVP) and an eigenvalue problem (EVP) can be expressed in terms of a rational function of $_4φ_3$-type. W…

Trying to type “pine nuts” on my iPad; got “pube nuts” and “pine butts.” #Autocorrect, don’t ever stop being you.

🥪 Study finds certain fungi boost the micronutrient content of bread wheat
#fungi

Study finds certain fungi boost the micronutrient content of bread wheat
New research in Plants, People, Planet indicates that bread wheat's micronutrient content can be increased by cultivating it with a specific type of fungus.

Asymptotic expansion for groupoids and Roe type algebras
Xulong Lu, Qin Wang, Jiawen Zhang
https://arxiv.org/abs/2506.16772 https://a…

Asymptotic expansion for groupoids and Roe type algebras
In this paper, we introduce a notion of expansion for groupoids, which recovers the classical notion of expander graphs by a family of pair groupoids and expanding actions in measure by transformation groupoids. We also consider an asymptotic version for expansion and establish structural theorems, showing that asymptotic expansion can be approximated by domains of expansions. On the other hand, we introduce dynamical propagation and quasi-locality for operators on groupoids and the associated …

One can only hope that the US stealth bombers of the B-2 type will suffer a similar fate to the Russian long-range bombers. They would have to be destroyed on the ground - completely, all 20 of them - or brought down.

The Labeled Coupon Collector Problem
Andrew Tan, Oriel Limor, Daniella Bar-Lev, Ryan Gabrys, Zohar Yakhini, Paul H. Siegel
https://arxiv.org/abs/2507.15231

The Labeled Coupon Collector Problem
We generalize the well-known Coupon Collector Problem (CCP) in combinatorics. Our problem is to find the minimum and expected number of draws, with replacement, required to recover $n$ distinctly labeled coupons, with each draw consisting of a random subset of $k$ different coupons and a random ordering of their associated labels. We specify two variations of the problem, Type-I in which the set of labels is known at the start, and Type-II in which the set of labels is unknown at the start. We …

Asymptotic consensus with transmission and reaction delay: an overview
Jan Haskovec
https://arxiv.org/abs/2507.16072 https://arxiv.or…

Asymptotic consensus with transmission and reaction delay: an overview
The aim of this paper is to provide a systematic overview of results on asymptotic consensus for the Hegselmann-Krause-type model with delay and discuss the corresponding analytical tools. We explain that two types (sources) of delay - transmission and reaction - are justifiable from the modeling point of view. We consider both classical and normalized communication weights. Studying a toy model with two agents only, we develop an intuitive insight into what type of dynamics we can expect from …

Dehnen-type dark matter wormholes in the $f(\mathcal{R},\mathcal{L}_m,\mathcal{T})$ action
A. Errehymy, O. Donmez, B. Turimov, K. Myrzakulov, N. Alessa, A. -H. Abdel-Aty
https://arxiv.org/abs/2507.16465

Dehnen-type dark matter wormholes in the $f(\mathcal{R},\mathcal{L}_m,\mathcal{T})$ action
We are exploring the possibility of traversable wormholes existing in a more realistic context. Specifically, we are looking at scenarios that don't rely on exotic factors, like having a mass shell at the throat or allowing particles and antiparticles to coexist without annihilation. To do this, we are constructing wormholes with double power-law density distributions, drawing inspiration from the Dehnen-type dark matter halo in the framework of generalized geometry-matter coupling gravity. Our…

A Vitali-type lemma for the boundary
Julian Weigt
https://arxiv.org/abs/2507.15333 https://arxiv.org/pdf/2507.15333

A Vitali-type lemma for the boundary
Take a set of balls in $\mathbb R^d$. We find a subset of pairwise disjoint balls whose combined perimeter controls the perimeter of the union of the original balls. This can be seen as a boundary version of the Vitali covering lemma. We further prove combined volume-perimeter results and counterexamples and apply them to find short proofs of some regularity statements for maximal functions.

What's the impact of an NFL holdout? History shows mixed on-field results https://www.nytimes.com/athletic/6568021/2025/08/22/nfl-holdouts-impact-parsons-hendrickson-mclaurin/

As someone who uses #LLM s a fair bit, this sort of hallucination is good for reminding yourself that it's just bashing words together until it looks sort of like what's in its training data, especially in various RAG-type setups

Fixed point results via a new class of Ad-contractions
Prasun Panthi, Dinesh Panthi
https://arxiv.org/abs/2507.15635 https://arxiv.or…

Fixed point results via a new class of Ad-contractions
In this article, a new class of operators, termed Ad-contractions, is introduced to extend the framework of A-contractions to the setting of dislocated metric spaces. Fixed point results are established for single mappings, sequences of mappings, integral type contractions, and for mappings on a set with two dislocated metrics. The demonstrated theorems generalize foundational results on A-contractions and their integral-type variations to the more challenging setting of dislocated metric space…

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[1/9]:
- On the generalization of Tanimoto-type kernels to real valued functions
Sandor Szedmak, Eric Bach

Pet peeve: `// TODO: Temporary` comments
Betcha it's not
https://github.com/search?q="TODO: Temporary"&type=code

Floquet composite Dirac semimetals
Hong Wu, Jia-Ji Zhu, Jian Li, Xue-Min Yang, Jiang-Shan Chen, Mu Zhou
https://arxiv.org/abs/2507.14618 https://

Floquet composite Dirac semimetals
Dirac semimetals are classified into types I, II, and III based on the topological charge of their Dirac points. If a three-dimensional (3D) system can be sliced into a family of $k_z$-dependent normal and topological insulators, type I Dirac points separate a 2D normal insulator from a 2D first-order topological insulator, while type II (III) Dirac points separate a 2D normal (first-order) insulator from a 2D second-order topological insulator. To investigate the effects arising from the inter…

Eulerian-type polynomials over Stirling permutations
Shi-Mei Ma, Jun-Ying Liu, Jean Yeh, Yeong-Nan Yeh
https://arxiv.org/abs/2506.16438 https://

Eulerian-type polynomials over Stirling permutations
It is well known that ascents, descents and plateaux are equidistributed over the set of classical Stirling permutations. Their common enumerative polynomials are the second-order Eulerian polynomials. In this paper, we first provide a convolution formula for the second-order Eulerian polynomials, which gives a variant of a result of Gessel (arXiv:2005.04133). As an application, a determinantal expression for the second-order Eulerian polynomials is obtained. Secondly, we investigate the convol…

Bluesky blocks access to its service in Mississippi, saying it doesn't have the resources to comply with the state's broad new law requiring age verification (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/08/22/bluesky-blocks-serv…

Bluesky blocks service in Mississippi over age assurance law | TechCrunch
In a blog post published on Friday, the company explains that, as a small team, it doesn't have the resources to make the substantial technical changes this type of law would require, and it raised concerns about the law's broad scope and privacy implications.

Higher dimensional Sacks-Uhlenbeck-type functionals and applications
Gianmichele Di Matteo, Tobias Lamm
https://arxiv.org/abs/2506.17166 https://

Higher dimensional Sacks-Uhlenbeck-type functionals and applications
In this work, we generalize Sacks-Uhlenbeck's existence result for harmonic spheres, constructing for $n \ge 2$, regular, non-trivial, $n$-harmonic $n$-spheres into suitable target manifolds. We obtain an infinite family of new null-homotopic such maps. The proof follows a similar perturbative argument, which in high dimensions leads to a degenerate and double-phase-type Euler-Lagrange system, making the uniform regularity needed to formalize the bubbling harder to achieve. Then, we develop a r…

from my link log —
Damas-Hindley-Milner inference two ways.
https://bernsteinbear.com/blog/type-inference/
saved 2024-10-17 https…

internet_top_pop: Internet topology (PoP level) (1969-2012)
Assorted snapshots of internet graph at the Point of Presence (PoP) level (which lies between the IP and AS levels), collected from around the world and at various times. The earliest snapshots are for ARPANET (1969-1972), with a few more from pre-2000. Most are from 2006 onward. Metadata include link type or speed, longitudes, and latitudes of nodes, URL, and date of record.
This network has 56 nodes and 75 edges.

3 killed, 45 injured in Russian strikes across Ukraine, including child killed in Kramatorsk bomb attack: https://benborges.xyz/2025/07/22/killed-injured-in-russian-strikes.html

On the vanishing order of Jacobi forms at infinity
Jialin Li, Haowu Wang
https://arxiv.org/abs/2506.16083 https://arxiv.org/pdf/2506.…

On the vanishing order of Jacobi forms at infinity
In this paper, we establish two types of upper bounds on the vanishing order of Jacobi forms at infinity. The first type is for classical Jacobi forms, which is optimal in a certain sense. The second type is for Jacobi forms of lattice index. Based on this bound, we obtain a lower bound on the slope of orthogonal modular forms, and we prove that the module of symmetric formal Fourier--Jacobi series on $\mathrm{O}(m,2)$ has finite rank.

Right a few days before I'll be talking about patterns in DRAM init at #GPN23, #Binarly are posting on their type inference tooling:

Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
Learn how Binarly enhances decompiled code by recovering meaningful type info—boosting binary analysis, triage, and reverse engineering accuracy.

Early Emission from Double Detonation Type Ia Supernovae
Anthony L. Piro, Ehud Nakar
https://arxiv.org/abs/2507.14290 https://arxiv.o…

Early Emission from Double Detonation Type Ia Supernovae
A popular model for Type Ia supernovae (SNe Ia) is the detonation of a CO white dwarf (WD) that is triggered by the prior detonation of a thin surface layer of helium, known as a double detonation (DD). We explore the unique early electromagnetic signatures that are expected from collision of the CO detonation with the He detonation. The three features are (1) a shock breakout flash, (2) a stage of planar shock breakout cooling, and finally (3) shock cooling emission from the thermal energy rel…

Observational viability of fractional holographic dark energy in LRS Bianchi type-I cosmological model
Shivangi Rathore, Elangbam Chingkheinganba Meetei, S. Surendra Singh
https://arxiv.org/abs/2506.16004

Observational viability of fractional holographic dark energy in LRS Bianchi type-I cosmological model
We scrutinized the Locally Rotational Symmetry (LRS) Bianchi type-I cosmological model in the presence of fractional holographic dark energy. We calculate the value of the Hubble parameter $H(z)$ using the field equations. After that, we fit the model by employing the MCMC techniques to observational data, which includes Hubble, Hubble+BAO, Hubble+Pantheon+Shoes, and Hubble+BAO+Pantheon+Shoes datasets. With the help of these datasets, we calculate the model parameters, viz. $H_{0}(z), α,$ and …

Modelling gyrosynchrotron emission from coronal energetic electrons in a CME flux rope
Edin Husidic, Nicolas Wijsen, Immanuel Christopher Jebaraj, Angelos Vourlidas, Luis Linan, Rami Vainio, Stefaan Poedts
https://arxiv.org/abs/2507.16449

Modelling gyrosynchrotron emission from coronal energetic electrons in a CME flux rope
Solar flares and coronal mass ejections (CMEs) can accelerate electrons, causing bursts such as type IV emissions in the solar radio continuum. Although radio spectroscopy is a powerful diagnostic tool for the corona, the origin and mechanisms of type IV bursts remain uncertain. In situ measurements can occasionally shed some light on these mechanisms, but they are limited in space and time. Sophisticated numerical modelling offers the best approach to improve our understanding of the physical …

Analysis of fully discrete Crank-Nicolson finite element methods for a stochastic Keller-Segel chemotaxis system with gradient-type multiplicative noise
Liet Vo
https://arxiv.org/abs/2507.15103

Analysis of fully discrete Crank-Nicolson finite element methods for a stochastic Keller-Segel chemotaxis system with gradient-type multiplicative noise
We develop and analyze numerical methods for a stochastic Keller-Segel system perturbed by Stratonovich noise, which models chemotactic behavior under randomly fluctuating environmental conditions. The proposed fully discrete scheme couples a Crank-Nicolson time discretization with a splitting mixed finite element method in space. We rigorously prove the stability of the numerical scheme and establish strong convergence rates of order $O(k^{1/2} + k^{-1/2}h^2)$, where $k$ and $h$ denote the tim…

Sensitivity of Heavy Higgs Boson to the Precision Yukawa Coupling Measurements at Higgs Factories
Kamal Maayergi, Devin G. E. Walker, Michael E. Peskin
https://arxiv.org/abs/2506.16587

Sensitivity of Heavy Higgs Boson to the Precision Yukawa Coupling Measurements at Higgs Factories
We investigate the potential of precision Higgs boson coupling measurements to discover heavy Higgs bosons by performing scans of the parameter space in Two-Higgs-Doublet Models (2HDM). Our study encompasses conventional Type I and Type II models, as well as models in which Higgs couplings differ between the third generation and lighter fermion generations. The scans reveal that precision measurements at the sensitivity levels projected for Higgs factories, such as Linear Collider Facility (LCF…

Sidorenko-Type Inequalities for Even Subdivisions over Finite Abelian Groups
Yuqi Zhao
https://arxiv.org/abs/2507.15723 https://arxiv…

Sidorenko-Type Inequalities for Even Subdivisions over Finite Abelian Groups
Sidorenko's conjecture asserts that every bipartite graph $H$ has the property that, for any host graph $G$, the homomorphism density from $H$ to $G$ is asymptotically at least as large as in a quasirandom graph with the same edge density as $G$. While the conjecture remains still very open, Szegedy showed that it suffices to verify the inequality when the host graph is a Cayley graph over a finite group. In this paper, we prove that Sidorenko's conjecture holds for all even subdivisions of a…

Mixture-of-Expert Variational Autoencoders for Cross-Modality Embedding of Type Ia Supernova Data
Yunyi Shen, Alexander T. Gagliano
https://arxiv.org/abs/2507.16817

Mixture-of-Expert Variational Autoencoders for Cross-Modality Embedding of Type Ia Supernova Data
Time-domain astrophysics relies on heterogeneous and multi-modal data. Specialized models are often constructed to extract information from a single modality, but this approach ignores the wealth of cross-modality information that may be relevant for the tasks to which the model is applied. In this work, we propose a multi-modal, mixture-of-expert variational autoencoder to learn a joint embedding for supernova light curves and spectra. Our method, which is inspired by the Perceiver architectur…

Construction of Young modules and filtration multiplicities for Brauer algebras of type $C$
Sulakhana Chowdhury, Geetha Thangavelu
https://arxiv.org/abs/2507.14078

Construction of Young modules and filtration multiplicities for Brauer algebras of type $C$
In this paper, we construct the permutation modules and Young modules for Brauer algebras of type $C$ by extending the representation theory of the group algebra of hyperoctahedral groups. Additionally, we develop a stratifying system for Brauer algebras of type $C$, thereby extending the work of Hemmer-Nakano in \cite{HN} on Hecke algebras. This framework allows us to determine when the multiplicities of cell modules in any filtration are well-defined. As a result, we prove that if the charact…

The US bombing raid with #StealthBombers of the B-2 type and the GBU-57 bombs were a gift for #NorthKorea 🇰🇵 and #China 🇨🇳 . They have certainly recorded everything, will analyze it and draw their conclusions …

A Common Origin of Normal Type Ia Supernovae Suggested by the Photometric Diversity
Weiyu Wu, Ji-an Jiang, Dezheng Meng, Zelin Xu, Keiichi Maeda, Mamoru Doi, Ken'ichi Nomoto, Naoki Yasuda, Masaomi Tanaka, Toshikazu Shigeyama, Nozomu Tominaga, \v{Z}eljko Ivezi\'c, Peter Yoachim, Saurabh W. Jha, Tinggui Wang, Nao Suzuki, Hisanori Furusawa, Andrew J. Connolly, Satoshi Miyazaki

A Common Origin of Normal Type Ia Supernovae Suggested by the Photometric Diversity
In recent years, with an increasing number of type Ia supernovae (SNe Ia) discovered soon after their explosions, a non-negligible fraction of SNe Ia with early-excess emissions (EExSNe Ia) have been confirmed. In this letter, we present a total of \textbf{67} early-phase normal SNe Ia from published papers and ongoing transient survey projects to systematically investigate their photometric behaviors from very early time. We found that EExSNe Ia in our sample have longer rise and brighter peak…

Gelfand-Phillips-type properties in Banach lattices
Halimeh Ardakani, Vin\'icius C. C. Miranda
https://arxiv.org/abs/2507.16811 https://

Gelfand-Phillips-type properties in Banach lattices
We study $p$-limited and almost $p$-limited sets in Banach lattices and their connections with relatively $p$-compact and relatively compact sets. We investigate the weak and the strong Gelfand-Phillips property of order $p$, as well as the $p$-GP property introduced by Delgado and Piñeiro, providing conditions under which these properties may coincide. Additionally, we prove that a Banach lattice $E$ is a KB-space if and only if every almost $p$-limited set in $E$ is relatively weakly com…

Exploration of Parameters in f(R,T) Gravity and Comparison with Type Ia Supernovae Data
Vincent R. Siggia, Eric D. Carlson, P. Lee Pryor
https://arxiv.org/abs/2508.15014 https:/…

Exploration of Parameters in f(R,T) Gravity and Comparison with Type Ia Supernovae Data
The expansion of the Universe in $f(R,T)$ gravity is studied. We consider functions of the form $f(R,T)=R+λT^ε$ where $ε<1$. We find that for all models with $ε<0$, the Universe transitions to exponential growth at late times, just as it does in the standard cosmological model, which corresponds to $ε=0$. It also fits the type Ia supernova data slightly better than the standard cosmological model, without increasing the number of parameters of the theory. In contrast, the fits for $ε>0$ r…

Higher reflections and entropy of canonical shifts for inclusions of $C^*$-algebras with finite Watatani index
Keshab Chandra Bakshi, Satyajit Guin, Biplab Pal, Sruthymurali
https://arxiv.org/abs/2506.16130

Higher reflections and entropy of canonical shifts for inclusions of $C^*$-algebras with finite Watatani index
Given a unital inclusion of simple $C^*$-algebras equipped with a conditional expectation of index-finite type, we study higher Fourier transforms and rotation operators and introduce the reflection operators on the relative commutants. We prove that the reflections are unital, involutive, $*$-preserving anti-homomorphisms that preserve certain Markov-type traces. As an application, we prove Fourier theoretic inequalities on the higher relative commutants and improve the existing constant in th…

Singularities in the Ekedahl--Oort stratification
Jean-Stefan Koskivirta, Lorenzo La Porta, Stefan Reppen
https://arxiv.org/abs/2506.16086 https://

Singularities in the Ekedahl--Oort stratification
We give conceptual and combinatorial criteria for the normality and Cohen--Macaulayness of unions of Ekedahl--Oort strata in the special fiber of abelian type Shimura varieties. For unions of two strata, one of the two having codimension one in the closure of the other, we determine exactly when their union is smooth. We provide explicit numerical criteria for the smoothness of any one-dimensional EO-stratum closure of Shimura varieties. For groups of type $\mathsf{B}_n$, we describe the smooth…

🇺🇦 Auf radioeins läuft...
Sudan Archives:
🎵 MY TYPE
#NowPlaying #SudanArchives
https://sudanarchives.bandcamp.com/track/my-type
https://open.spotify.com/track/3G16TkmTpBp8FyDkgev4Dc

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…

Sacks-Uhlenbeck type regularity for subcritical generalized $p$-harmonic maps into Homogeneous targets
Gianmichele Di Matteo, Tobias Lamm
https://arxiv.org/abs/2506.17151

Sacks-Uhlenbeck type regularity for subcritical generalized $p$-harmonic maps into Homogeneous targets
Adapting \cite{strz3}, we define generalized $p$-harmonic maps into Riemannian homogeneous targets, a notion of solutions not belonging to the energy space. Restricting our attention to the subcritical range $p$ greater than the domain dimension $n$, we show a uniform $C^{1,α}$-regularity result for a sequence of such maps in the limit $p \searrow n$, assuming a uniform $n$-energy bound on its elements. The method of the proof follows the exact same lines as in \cite{strz3} but we need to chec…

Diversity in Hydrogen-rich Envelope Mass of Type II Supernovae. (III). The mass-loss and evolutionary pathways of the red supergiant progenitors
Qiliang Fang, Takashi J. Moriya, Keiichi Maeda, Andris Dorozsmai, Javier Silva-Farf\'an
https://arxiv.org/abs/2507.14665

Diversity in Hydrogen-rich Envelope Mass of Type II Supernovae. (III). The mass-loss and evolutionary pathways of the red supergiant progenitors
We present a comprehensive analysis of 32 type II supernovae (SNe II) with plateau phase photometry and late phase ($nebular$) spectroscopy available, aiming to bridge the gap between the surface and core of their red supergiant (RSG) progenitors. Using \texttt{MESA}\,+\texttt{STELLA}, we compute an extensive grid of SN II light curve models originating from RSG with effective temperatures $T_{\rm eff}$ around 3650\,K and hydrogen-rich envelopes artificially stripped to varying degrees. These m…

Kaluza-Klein inspired a model of the inflation with the inversed power law potential in Bianchi type-I universe
Jaturaporn Wattanakumpolkij, Patinya Ma-ardlerd, Natthason Autthisin, Pornpatara Chuvala, Nutthaphat Lunrasri, Chakrit Pongkitivanichkul, Daris Samart
https://arxiv.org/abs/2506.16139

Kaluza-Klein inspired a model of the inflation with the inversed power law potential in Bianchi type-I universe
This work considers the dynamics of the gauge vector and inflaton (dilaton) fields inspired by Kaluza-Klein theory in an inflationary universe with Bianchi type-I spacetime. The inverse power-law potential of the inflaton field is used to study dynamical system analysis. As a result, all fixed points in the autonomous system are non-hyperbolic fixed points, and one cannot determine their stability. Therefore, a center manifold theory is required to analyze the stability of the dynamical system …

Dimensions of toggleability spaces
Ben Adenbaum, Spencer Daugherty, Nicholas Mayers
https://arxiv.org/abs/2508.14974 https://arxiv.org/pdf/2508.14974

Dimensions of toggleability spaces
We establish a conjecture of Defant, Hopkins, Poznanović, and Propp concerning the dimensions of toggleability spaces for products of chains, shifted staircases, type-A root posets, and type-B posets. Generalizing this result, we show that for a larger family of posets defined by restricted diagrams, the dimensions of toggleability spaces are equal to the rank of the poset plus one. As part of our approach, we build upon the technique of rook statistics introduced by Chan, Haddadan, Hopkins, a…

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

Explicit formulas of the relation between multiple zeta functions of Arakawa-Kaneko and Euler-Zagier types
Naho Kawasaki
https://arxiv.org/abs/2507.15034 h…

Explicit formulas of the relation between multiple zeta functions of Arakawa-Kaneko and Euler-Zagier types
Multiple zeta functions of Arakawa-Kaneko and Euler-Zagier types are known as generalizations of the Riemann zeta function. In 2018, Kaneko and Tsumura proved that the multiple zeta functions of Arakawa-Kaneko type can be expressed as a ${\mathbb Q}$-linear combination of products of the ones of Euler-Zagier type and multiple zeta values. In this paper, we give explicit formulas to the above mentioned relation. Moreover, as a key of its proof, we also give certain functional equations among mul…

Almost everywhere convergence of Bochner-Riesz means for the Hermite type Laguerre expansions
Longben Wei, Zhiwen Duan
https://arxiv.org/abs/2506.16958 htt…

Almost everywhere convergence of Bochner-Riesz means for the Hermite type Laguerre expansions
Consider the space $\mathbb{R}_+^d=(0,\infty)^d$ equipped with Euclidean distance and the Lebesgue measure. For every $α=(α_1,...,α_d)\in[-1/2,\infty)^d$, we consider the Hermite-Laguerre operator $\mathcal{L}^α=-Δ+\arrowvert x\arrowvert^2+\sum_{i=1}^{d}(α_j^2-\frac{1}{4})\frac{1}{x_i^2}$. In this paper we study almost everywhere convergence of the Bochner-Riesz means associated with $\mathcal{L}^α$ which is defined as $S_R^λ(\mathcal{L}^α)f(x)=\sum_{n=0}^{\infty}(1-\frac{4n+2\arrowver…

A double-degenerate scenario with a merger to explosion delay time to explain type Ia supernova SN 2020aeuh
Noam Soker (Technion, Israel)
https://arxiv.org/abs/2507.16757

A double-degenerate scenario with a merger to explosion delay time to explain type Ia supernova SN 2020aeuh
I suggest the double-degenerate (DD) scenario with a merger-to-explosion delay (MED) time (the DD-MED scenario) of about 1-2 years to explain the rare properties of the recently analyzed type Ia supernova (SN Ia) SN 2020aeuh. The rare properties are the SN Ia ejecta interacting with a carbon-oxygen (CO)-rich circumstellar material (CSM) at approximately 50 days post-explosion. In this DD-MED scenario, two massive CO white dwarfs (WDs), masses of M1=1.1Mo and M2=1, merge to leave a rapidly rotat…

Superlinear fractional $\Phi$-Laplacian type problems via the nonlinear Rayleigh quotient with two parameters
L. R. S. de Assis, M. L. M. Carvalho, Edcarlos D. Silva, A. Salort
https://arxiv.org/abs/2507.15514

Superlinear fractional $Φ$-Laplacian type problems via the nonlinear Rayleigh quotient with two parameters
In this work, we establish the existence and multiplicity of weak solutions for nonlocal elliptic problems driven by the fractional $Φ$-Laplacian operator, in the presence of a sign-indefinite nonlinearity. More specifically, we investigate the following nonlocal elliptic problem: \begin{equation*} \left\{\begin{array}{rcl} (-Δ_Φ)^s u +V(x)u & = & μa(x)|u|^{q-2}u-λ|u|^{p-2}u \mbox{ in }\, \mathbb{R}^N, \\ u\in W^{s,Φ}(\mathbb{R}^N),&& \end{array} \right. \end{equation*…

On Ward Numbers and Increasing Schr\"oder Trees
Elena L. Wang, Guoce Xin
https://arxiv.org/abs/2507.15654 https://arxiv.org/pdf/…

On Ward Numbers and Increasing Schröder Trees
The Ward numbers $W(n,k)$ combinatorially enumerate set partitions with block sizes $\geq 2$ and phylogenetic trees (total partition trees). We prove that $W(n,k)$ also counts \emph{increasing Schröder trees} by verifying they satisfy Ward's recurrence. We construct a direct type-preserving bijection between total partition trees and increasing Schröder trees, complementing known type-preserving bijections to set partitions (including Chen's decomposition for increasing Schröder trees). Weig…

from my link log —
Thoughts on hashing in Rust.
https://purplesyringa.moe/blog/thoughts-on-rust-hashing/
saved 2024-12-13

Thoughts on Rust hashing
In languages like Python, Java, or C++, values are hashed by calling a “hash me” method on them, implemented by the type author. This fixed-hash size is then immediately used by the hash table or what have you. This design suffers from some obvious problems, like: How do you hash an integer? If you use a no-op hasher (booo), DoS attacks on hash tables are inevitable. If you hash it thoroughly, consumers that only cache hashes to optimize equality checks lose out of performance.

Pattern formations of coupled PDEs with transparent boundary conditions in product-type ends and applications
Huaian Diao, Hongyu Liu, Qingle Meng, Li Wang
https://arxiv.org/abs/2507.14779

Pattern formations of coupled PDEs with transparent boundary conditions in product-type ends and applications
This paper studies pattern formations in coupled elliptic PDE systems governed by transparent boundary conditions. Such systems unify diverse areas, including inverse boundary problems (via a single passive/active boundary measurement), spectral geometry of transmission eigenfunctions, and geometric characterization of invisibility phenomena and inverse shape problems in wave scattering. We uncover and rigorously characterize a novel local pattern formation, establishing a sharp quantitative re…

Characterizing infinite torsion subgroups of the circle through arithmetic-type sequences
Ayan Ghosh, Pratulananda Das
https://arxiv.org/abs/2506.15257 htt…

Characterizing infinite torsion subgroups of the circle through arithmetic-type sequences
In a recent work [Das et al., Bull. Sci. Math. 199 (2025), 103580], the structure of characterized subgroups corresponding to arithmetic-type sequences was investigated. Building upon this work, we further show that a characterized subgroup associated with an arithmetic-type sequence is countable if and only if it is torsion. Further we prove that any infinite torsion subgroup of the circle can be characterized by an arithmetic-type sequence with bounded ratio. Moreover, our findings demonstrat…

Self-Similar Solutions to a Nonlinear Forward-Backward Parabolic Equation
Tian Jing
https://arxiv.org/abs/2507.14635 https://arxiv.or…

Self-Similar Solutions to a Nonlinear Forward-Backward Parabolic Equation
In this paper, we study the mixed-type equation u u_x = u_{yy}, which behaves as forward and backward parabolic equations depending on the sign of u. The equation arises from the study of boundary layers with separation. We seek solutions that change their type smoothly to better understand the equation. We simplify the equation into a second-order ODE using similarity variables, and prove an existence result by analyzing it as a first-order nonlinear ODE system. This provides us a self-similar…

from my link log —
Dynamic witnesses for static type errors in OCaml, or, ill-typed programs usually go wrong.
https://arxiv.org/abs/1606.07557
saved 2025-05-31

Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
Static type errors are a common stumbling block for newcomers to typed functional languages. We present a dynamic approach to explaining type errors by generating counterexample witness inputs that illustrate how an ill-typed program goes wrong. First, given an ill-typed function, we symbolically execute the body to synthesize witness values that make the program go wrong. We prove that our procedure synthesizes general witnesses in that if a witness is found, then for all inhabited input types…

Asymptotic behavior at infinity and existence of solutions to the Lagrangian mean curvature flow equation in $\mathbb R^{n 1}_-$
Jiguang Bao, Zixiao Liu
https://arxiv.org/abs/2507.16129

Asymptotic behavior at infinity and existence of solutions to the Lagrangian mean curvature flow equation in $\mathbb R^{n+1}_-$
This paper investigates the asymptotic behavior at infinity of ancient solutions to the Lagrangian mean curvature flow equation. Under conditions that admit Liouville type rigidity theorems, we prove that every classical solution converges exponentially to a quadratic polynomial of form $τt+\frac{1}{2}x'Ax+bx+c$ at infinity, with an explicitly derived convergence rate. Furthermore, we investigate Dirichlet type problems with prescribed asymptotic behavior, featuring two key innovations: applic…