Tootfinder

Pedro Abreu aka #TypeTheoryForall had an epic conversation with me about all things programming languages, out now on the podcast.
https://www.typetheoryforall.com/…

In Search of Homology for Quasigroups of Bol-Moufang Type
Anthony Christiana, Ben Clingenpeel, Huizheng Guo, Jinseok Oh, Jozef H. Przytycki, Anna Zamojska-Dzienio
https://arxiv.org/abs/2508.21268

In Search of Homology for Quasigroups of Bol-Moufang Type
We initiate (co)homology theory for quasigroups of Bol-Moufang type based on analysis of their extensions by affine quasigroups of the same type. We use these extensions to define second and third boundary operations, $\partial_2(x,y)$ and $\partial_3(x,y,z)$, respectively. We use these definitions to compute the second homology groups for several examples from the work of Phillips and Vojtechovsky. We speculate about the relation between these homology groups and those obtained from a small ca…

Stability conditions on Calabi-Yau threefolds via Brill-Noether theory of curves
Soheyla Feyzbakhsh, Naoki Koseki, Zhiyu Liu, Nick Rekuski
https://arxiv.org/abs/2509.24990 https…

Stability conditions on Calabi-Yau threefolds via Brill-Noether theory of curves
Fix a polarised Calabi-Yau threefold $(X,H)$. We reduce a version of the Bayer-Macrì-Toda conjecture for $(X,H)$, which ensures the existence of Bridgeland stability conditions on $X$, to verifying a Brill-Noether-type inequality for curves on $X$. We then prove this inequality for a broad class of Calabi-Yau threefolds, including complete intersection Calabi-Yau threefolds in weighted projective spaces.

One-sided Hom shifts
Marie-Pierre B\'eal, Alexi Block Gorman
https://arxiv.org/abs/2509.24754 https://arxiv.org/pdf/2509.24754

One-sided Hom shifts
We prove that it is decidable whether a one-sided shift of finite type is conjugate to a one-sided Hom-shift, and whether a tree-shift of finite type is conjugate to a Hom tree-shift. The proof uses Williams's theory for one-sided shifts

$\chi$ -extending modular lattices
Jesus Adrian Celis-Gonz\'alez, Hugo Alberto Rinc\'on-Mej\'ia
https://arxiv.org/abs/2509.22903 https://arxiv.…

$χ$ -extending modular lattices
This paper investigates the theory of lattices, focusing on extending lattices relative to abstract classes, modular lattices, and torsion lattices. Definitions of type-1 and type-2 extending lattices are provided, along with their weakly extending counterparts. Modular and upper continuous lattices are analyzed, with lemmas establishing relationships between pseudo-complements, complements, and essential elements. Applications to module theory are highlighted.

Squeezed gravitons from superradiant axion fields around rotating black holes
Pangiotis Dorlis, Nick E. Mavromatos, Sarben Sarkar, Sotirios-Neilos Vlachos
https://arxiv.org/abs/2507.23475

Squeezed gravitons from superradiant axion fields around rotating black holes
We propose, in (3+1)-dimensional spacetimes, a novel astrophysical source of squeezed graviton states, due to superradiant axionic clouds surrounding rotating (Kerr-type) black holes (BH). The microscopic origin of these axions is diverse, ranging from the Kalb-Ramond (model-independent) axions and compactification axions in string theory, to \cm contorted geometries exemplified by a totally antisymmetric component of torsion in Einstein-Cartan theory. The axion fields couple to chiral gauge an…

On the finiteness of logarithmic Hamiltonians for Volterra-type lattices in terms of the spectral measures of Jacobi operators
Andrey Osipov
https://arxiv.org/abs/2509.26250 htt…

On the finiteness of logarithmic Hamiltonians for Volterra-type lattices in terms of the spectral measures of Jacobi operators
We establish a correspondence between the semi-infinite and infinite Volterra lattices having a finite logarithmic Hamiltonian and certain classes of even probability measures. In doing so, we apply the inverse spectral theory of Jacobi operators and the theory of orthogonal polynomials. A similar correspondence is established for semi-infinite modified Volterra lattices.

Flexible fixed-point iteration and its applications for nonsymmetric algebraic Riccati equations
Zhen-Chen Guo, Xin Liang
https://arxiv.org/abs/2509.25942 https://

Flexible fixed-point iteration and its applications for nonsymmetric algebraic Riccati equations
In this paper, we reveal the intrinsic Toeplitz structure in the unique stabilizing solution for nonsymmetric algebraic Riccati equations by employing a shift-involved fixed-point iteration, and propose an RADI-type method for computing this solution for large-scale equations of this type with sparse and low-rank structure by incorporating flexible shifts into the fixed-point iteration. We present a shift-selection strategy, termed Leja shifts, based on rational approximation theory, which is i…

from my link log —
Identity types.
https://bartoszmilewski.com/2025/09/22/identity-types/
saved 2025-09-26 https://dotat.…

Identity Types
Previously: Models of (Dependent) Type Theory. There is a deep connection between mathematics and programming. Computer programs deal with such mathematical objects as numbers, vectors, monoids, fu…

The 2025 OpenAI Preparedness Framework does not guarantee any AI risk mitigation practices: a proof-of-concept for affordance analyses of AI safety policies
Sam Coggins, Alex Saeri, Katherine A. Daniell, Lorenn P. Ruster, Jessie Liu, Jenny L. Davis
https://arxiv.org/abs/2509.24394

The 2025 OpenAI Preparedness Framework does not guarantee any AI risk mitigation practices: a proof-of-concept for affordance analyses of AI safety policies
Prominent AI companies are producing 'safety frameworks' as a type of voluntary self-governance. These statements purport to establish risk thresholds and safety procedures for the development and deployment of highly capable AI. Understanding which AI risks are covered and what actions are allowed, refused, demanded, encouraged, or discouraged by these statements is vital for assessing how these frameworks actually govern AI development and deployment. We draw on affordance theory to analyse t…

General Riemann Integration on Partially Ordered Net Convergence Structures
Alexandre Reggiolli Teixeira
https://arxiv.org/abs/2509.24430 https://arxiv.org…

General Riemann Integration on Partially Ordered Net Convergence Structures
In this article, we propose a general theory of integration of the Riemann type with respect to arbitrary measures and functions, connected by a continuous bilinear product, with values in abstract Riesz spaces endowed with a general convergence given by nets. This covers both the topological and order based convergences in the literature. We then show that this integral satisfies most of the common order based properties of the objects that comprises integration theory. By establishing a gener…

Constraining GREA, an alternative theory accounting for the present cosmic acceleration
R. Calderon, J. Garcia-Bellido, B. Vos-Gines, V. Gonzalez-Perez, A. Shafieloo, J. Aguilar, S. Ahlen, D. Bianchi, D. Brooks, T. Claybaugh, A. de la Macorra, J. E. Forero-Romero, E. Gazta\~naga, S. Gontcho A Gontcho, G. Gutierrez, K. Honscheid, C. Howlett, M. Ishak, R. Joyce, R. Kehoe, T. Kisner, A. Kremin, O. Lahav, A. Lambert, M. Landriau, M. Manera, R. Miquel, F. Prada, I. Perez-Rafols, E. Sanchez,…

Constraining GREA, an alternative theory accounting for the present cosmic acceleration
The origin of the Universe's late-time accelerated expansion remains unknown. The General Relativistic Entropic Acceleration (GREA) theory offers a compelling alternative to $Λ$CDM, attributing cosmic acceleration to entropy growth associated with cosmic and black hole horizons, without invoking a cosmological constant. We test GREA against the latest DESI DR2 Baryon Acoustic Oscillations (BAO), multiple Type Ia supernova compilations (Union3, Pantheon$\texttt{+}$, DES-SN5YR), and cosmic micro…

Replaced article(s) found for math.RT. https://arxiv.org/list/math.RT/new
[1/1]:
- Cluster expansion formulas and perfect matchings for type B and C
Azzurra Ciliberti

Structural and thermodynamic stability of hexagonal-diamond $\text{Si}_{1 - x - y}\,\text{Ge}_{x}\,\text{B}_{y}$ alloys
Marc T\'unica, Francesca Chiodi, Michele Amato
https://arxiv.org/abs/2507.23741

Structural and thermodynamic stability of hexagonal-diamond $\text{Si}_{1 - x - y}\,\text{Ge}_{x}\,\text{B}_{y}$ alloys
Pushing dopant concentrations beyond the solubility limit in semiconductors -- a process known as hyperdoping -- has been demonstrated as an effective strategy for inducing superconductivity in cubic-diamond Si and SiGe materials. Additionally, previous studies have reported that several polytypes of Si may exhibit a type-I superconducting state under high pressure. In this work, we employ ground-state Density Functional Theory simulations to investigate the effects of both low and high B dopin…

Nonparametric hazard rate estimation with associated kernels and minimax bandwidth choice
Luce Breuil, Sarah Kaaka\"i
https://arxiv.org/abs/2509.24535 https://

Nonparametric hazard rate estimation with associated kernels and minimax bandwidth choice
In this paper, we consider the general theory of nonparametric hazard rate estimation with associated kernels, for which the shape of the kernel depends on the point of estimation. We prove MISE convergence results and a central limit theorem for such estimators. We then prove an oracle type inequality for both a local and global minimax bandwidth choice. The results are then illustrated by showing that they apply to the Gamma and providing numerical simulations and an application to biological…

The Groupoid-syntax of Type Theory is a Set
Thorsten Altenkirch, Ambrus Kaposi, Szumi Xie
https://arxiv.org/abs/2509.14988 https://arxiv.org/pdf/2509.14988…

The Groupoid-syntax of Type Theory is a Set
Categories with families (CwFs) have been used to define the semantics of type theory in type theory. In the setting of Homotopy Type Theory (HoTT), one of the limitations of the traditional notion of CwFs is the requirement to set-truncate types, which excludes models based on univalent categories, such as the standard set model. To address this limitation, we introduce the concept of a Groupoid Category with Families (GCwF). This framework truncates types at the groupoid level and incorporate…

Completions of complexes of differential modules on singular schemes
Bruno Bori\'c, Dalton A R Sakthivadivel
https://arxiv.org/abs/2508.21596 https://a…

Completions of complexes of differential modules on singular schemes
Spencer cohomology is a cohomology theory consisting of a chain complex of modules over the ring of differential operators of a smooth analytic space. In this paper we give a generalisation of Spencer cohomology suitable for singular schemes of finite type over a field. Our motivation was a conjecture of Vinogradov concerning the homological properties of differential operators on singular affine varieties; namely that certain complexes of such operators are acyclic if and only if the variety i…

On Bergman projections and sharp decomposition theorems in tubular and related domains in $C^n$
R. F. Shamoyan
https://arxiv.org/abs/2509.22024 https://arx…

On Bergman projections and sharp decomposition theorems in tubular and related domains in $C^n$
The theory of analytic function spaces in very general tubular domains over symmetric cones is a relatively new interesting research area. Tube domains are very general and very complicated domains. Recently several new results in this research area were provided in papers of B. Sehba and his coauthors concerning Bergman type operators in such type complicated unbounded domains. In this note we expand their results to certain spaces of analytic functions in products of tube domains. We define n…

Majority relations for Condorcet domains of tiling type
Victor Reiner, Bridget Eileen Tenner
https://arxiv.org/abs/2509.19614 https://arxiv.org/pdf/2509.19…

Majority relations for Condorcet domains of tiling type
Condorcet domains are subsets of permutations arising in voting theory: regarding their permutations as preference orders on a list of candidates, one avoids Condorcet's paradox when aggregating the preferences via a simple majority relation. We use poset theory to show that, for the subclass of Condorcet domains of tiling type, the majority rule has stronger properties. We then develop techniques to predict the majority rule explicitly for the uniform vote tally on Condorcet domains of tiling …

Carath\'eodory-type selection and random fixed point theorems for discontinuous correspondences
Anuj Bhowmik, Nicholas C. Yannelis
https://arxiv.org/abs/2508.18997 https://

Carathéodory-type selection and random fixed point theorems for discontinuous correspondences
Research in Economics and Game theory has necessitated results on Carathéodory-type selections. In particular, one has to obtain Carathéodory type-selections from correspondences that need not be continuous (neither lower-semicontinuous nor upper-semicontinuous). We provide new theorems on Carathéodory type-selections that include as corollaries the results in Kim-Prikry-Yannelis \cite{KPY:87}. We also, obtain new random fixed-point theorems, random maximal elements, random (Nash) equilibriu…

Isoenergetic description of induced fission pathways within energy-density functional theory
Alan A. Dzhioev, N. V. Antonenko
https://arxiv.org/abs/2509.22006 https://

Isoenergetic description of induced fission pathways within energy-density functional theory
A thermodynamically consistent description of induced fission pathways in the superheavy nucleus $^{296}$Lv is presented within the framework of nuclear energy-density functional theory. Using self-consistent finite-temperature Hartree-Fock-Bogoliubov calculations with the Skyrme-type energy-density functional SkM$^*$, we derive and compare effective potentials corresponding to different thermodynamic processes -- isothermal ($T=\text{const}$), isentropic ($S=\text{const}$), and isoenergetic ($…

Doubly regular black holes
Arthur G. Suvorov, Pedro Bargue\~no
https://arxiv.org/abs/2507.23250 https://arxiv.org/pdf/2507.23250

Doubly regular black holes
In addition to curvature singularities, electrovacuum black holes in general relativity exhibit thermodynamic singularities. These so-called Davies' points occur at non-extremal values of charge and spin where the heat capacity diverges and may indicate a type of theoretical incompleteness. The thermodynamic regularity of several families of static, asymptotically-flat spacetimes with bounded curvature invariants is examined using a theory-agnostic framework, showing that while they may be regu…

Kolmogorov-type non-thermal fixed points and beyond of far-from-equilibrium dilute system: ultra-cold Fermi gas
Chun-Wei Su
https://arxiv.org/abs/2508.18821 https://

Kolmogorov-type non-thermal fixed points and beyond of far-from-equilibrium dilute system: ultra-cold Fermi gas
The far-from-equilibrium dynamics driven by the scattering from next-to-leading-order (NLO) corrections in the quantum field theory has stationary solutions for the particle distribution characterized as the Kolmogorov-type non-thermal fixed points. The dynamics of the spatially homogeneous, isotropic dilute ultra-cold Fermi gas is investigated, and its kinetic equation confirms the Kolmogorov-type non-thermal fixed points in the perturbation theory by the quasi-particle assumption, in contrast…

An approximate zero-one law via the Dialectica interpretation
Thomas Powell, Alex Wan
https://arxiv.org/abs/2508.20849 https://arxiv.org/pdf/2508.20849

An approximate zero-one law via the Dialectica interpretation
Zero-one laws state that probabilistic events of a certain type must occur with probability either $0$ or $1$, and nothing in between. We formulate a syntactic zero-one law, which enjoys good logical properties while being broadly applicable in probability theory. Then, inspired by Gödel's Dialectica interpretation, we finitise it: The result is an approximate zero-one law which states that events with a particular finite structure occur with probability close to $0$ or $1$ up to an arbitrary …

On Dedekind Skew Braces
A. Caranti, I. Del Corso, M. Di Matteo, M. Ferrara, M. Trombetti
https://arxiv.org/abs/2507.23550 https://arxiv.org/pdf/2507.23550

On Dedekind Skew Braces
Skew braces play a central role in the theory of set-theoretic non-degenerate solutions of the Yang--Baxter equation, since their algebraic properties significantly affect the behaviour of the corresponding solutions (see for example [Ballester-Bolinches et al., Adv. Math. 455 (2024), 109880]). Recently, the study of nilpotency-like conditions for the solutions of the Yang--Baxter equation has drawn attention to skew braces of abelian type in which every substructure is an ideal (so-called, Ded…

Non-Standard Models of Homotopy Type Theory
Nima Rasekh
https://arxiv.org/abs/2508.07736 https://arxiv.org/pdf/2508.07736

Non-Standard Models of Homotopy Type Theory
Homotopy type theory is a modern foundation for mathematics that introduces the univalence axiom and is particularly suitable for the study of homotopical mathematics and its formalization via proof assistants. In order to better comprehend the mathematical implications of homotopy type theory, a variety of models have been constructed and studied. Here a model is understood as a model category with suitable properties implementing the various type theoretical constructors and axioms. A first e…

Dimensional reduction of the M-theory Chern-Simons term at order $\ell_p^6$
Mohammad R. Garousi
https://arxiv.org/abs/2509.13726 https://arxiv.org/pdf/2509…

Dimensional reduction of the M-theory Chern-Simons term at order $\ell_p^6$
The dimensional reduction of M-theory couplings at order $\ell_p^6$ is known to produce one-loop $α'^3$ corrections in type IIA string theory. In this paper, we perform the Kaluza-Klein reduction of the M-theory Chern-Simons coupling $t_8ε_{11} A R^4$ at this order. By meticulously accounting for non-gauge-invariant total derivative terms, we derive the complete set of corresponding one-loop, gauge-invariant couplings in the type IIA effective action. Our results not only reproduce the standa…

Fascinating talk on
Type Theory in Type Theory using a Strictified Syntax
Presented by Ambrus Kaposi, joint work with Loïc Pujet.
#icfpsplash25

from my link log —
Type theory and functional programming. (1999)
https://www.cs.cornell.edu/courses/cs6110/2015sp/textbook/Simon Thompson textbook.pdf
saved 2025-08-14

Navigating the Python Type Jungle
Andrei Nacu (Faculty of Computer Science, Alexandru Ioan Cuza University, Ia\c{s}i), Dorel Lucanu (Faculty of Computer Science, Alexandru Ioan Cuza University, Ia\c{s}i)
https://arxiv.org/abs/2509.13022

Navigating the Python Type Jungle
Python's typing system has evolved pragmatically into a powerful but theoretically fragmented system, with scattered specifications. This paper proposes a formalization to address this fragmentation. The central contribution is a formal foundation that uses concepts from type theory to demonstrate that Python's type system can be elegantly described. This work aims to serve as a crucial first step toward the future development of type inference tools.

Turing instability and 2-D pattern formation in reaction-diffusion systems derived from kinetic theory
Stefano Boccelli, Giorgio Martal\`o, Romina Travaglini
https://arxiv.org/abs/2509.20268

Turing instability and 2-D pattern formation in reaction-diffusion systems derived from kinetic theory
We investigate Turing instability and pattern formation in two-dimensional domains for two reaction-diffusion models, obtained as diffusive limits of kinetic equations for mixtures of monatomic and polyatomic gases. The first model is of Brusselator type, which, compared with the classical formulation, presents an additional parameter whose role in stability and pattern formation is discussed. In the second framework, the system exhibits standard nonlinear diffusion terms typical of predator-pr…

Genus-Type-Theory
John Basias
https://arxiv.org/abs/2509.09548 https://arxiv.org/pdf/2509.09548

Genus-Type-Theory
We introduce the existence of a Genus-Type Theory that generalizes classical genus theory by linking fractional ideals of number fields to structures built from their Galois groups and associated Diophantine equations, as formally stated in Theorem 30 and Remark 7.

Type Theory with Single Substitutions
Ambrus Kaposi (E\"otv\"os Lor\'and University), Szumi Xie (E\"otv\"os Lor\'and University)
https://arxiv.org/abs/2510.12303

Type Theory with Single Substitutions
Type theory can be described as a generalised algebraic theory. This automatically gives a notion of model and the existence of the syntax as the initial model, which is a quotient inductive-inductive type. Algebraic definitions of type theory include Ehrhard's definition of model, categories with families (CwFs), contextual categories, Awodey's natural models, C-systems, B-systems. With the exception of B-systems, these notions are based on a parallel substitution calculus where substitutions …

Neural network approximation of Euclidean path integrals and its application for the $\phi^4$ theory in 1 1 dimensions
Gabor Balassa
https://arxiv.org/abs/2509.18785 https://

Beyond Demographics: Enhancing Cultural Value Survey Simulation with Multi-Stage Personality-Driven Cognitive Reasoning
Haijiang Liu, Qiyuan Li, Chao Gao, Yong Cao, Xiangyu Xu, Xun Wu, Daniel Hershcovich, Jinguang Gu
https://arxiv.org/abs/2508.17855

Beyond Demographics: Enhancing Cultural Value Survey Simulation with Multi-Stage Personality-Driven Cognitive Reasoning
Introducing MARK, the Multi-stAge Reasoning frameworK for cultural value survey response simulation, designed to enhance the accuracy, steerability, and interpretability of large language models in this task. The system is inspired by the type dynamics theory in the MBTI psychological framework for personality research. It effectively predicts and utilizes human demographic information for simulation: life-situational stress analysis, group-level personality prediction, and self-weighted cognit…

Complexity of Activity Patterns in a Bio-Inspired Hopfield-Type Network in Different Topologies
Marco Cafiso, Paolo Paradisi
https://arxiv.org/abs/2509.18758 https://

Metric completions of triangulated categories from hereditary rings
Cyril Matou\v{s}ek
https://arxiv.org/abs/2508.20283 https://arxiv.org/pdf/2508.20283

Metric completions of triangulated categories from hereditary rings
The focus of this article is on metric completions of triangulated categories arising in the representation theory of hereditary finite dimensional algebras and commutative rings. We explicitly describe all completions of bounded derived categories with respect to additive good metrics for two classes of rings - hereditary commutative noetherian rings and hereditary algebras of tame representation type over an algebraically closed field. To that end, we develop and study the lattice theory of m…

Replaced article(s) found for math.GR. https://arxiv.org/list/math.GR/new
[1/1]:
- A Hurewicz-type Theorem for the Dynamic Asymptotic Dimension with Applications to Coarse Geometry...
Samantha Pilgrim

A D/H Ratio Consistent with Earth's Water in Halley-type Comet 12P from ALMA HDO Mapping: #comet, 12P/Pons-Brooks, matches Earth’s oceans, strengthening the theory that comets helped make our planet habitable.

Pure Data Spaces
Saul Youssef
https://arxiv.org/abs/2508.14271 https://arxiv.org/pdf/2508.14271

Pure Data Spaces
In a previous work, "pure data" is proposed as an axiomatic foundation for mathematics and computing, based on "finite sequence" as the foundational concept rather than based on logic or type. Within this framework, objects with mathematical meaning are "data" and collections of mathematical objects must then be associative data, called a "space." A space is then the basic collection in this framework analogous to sets in Set Theory or objects in Category Theory. A theory of spaces is developed…

A new type of multi-branch periodic orbits in dyonic black holes
Chao-Hui Wang, Yu-Peng Zhang, Tao Zhu, Shao-Wen Wei
https://arxiv.org/abs/2508.20558 https://

A new type of multi-branch periodic orbits in dyonic black holes
In this work, we investigate bound periodic orbits of timelike particles in the spacetime of dyonic black holes arising from quasi-topological electromagnetic theory. By varying the coupling parameter $α_1$, the corresponding black hole solutions exhibit diverse horizon structures, including naked singularities and black holes with one to four horizons. We find that for sufficiently small $α_1$, the metric function $f(r)$ becomes non-monotonic outside the event horizon in spacetimes with one …

Confined few-particle systems beyond mean-field theory adopting Gaussian-type orbitals and Morse interparticle interaction
Matee ur Rehman, Paul Winter, Fabio Revuelta, Alejandro Saenz
https://arxiv.org/abs/2509.10347

Confined few-particle systems beyond mean-field theory adopting Gaussian-type orbitals and Morse interparticle interaction
Recent advancements in optical tweezers enable the trapping of arbitrary numbers of neutral atoms and molecules, even arrays of tweezers with variable geometry can be realized. These fascinating breakthroughs require novel full-dimensional beyond mean-field treatments for systems with more than two confined particles spread over traps that are arranged arbitrarily in space. In this work, the suitability of a quantum-chemistry inspired approach adopting Cartesian Gaussians as basis functions is …

Topos Theory for Generative AI and LLMs
Sridhar Mahadevan
https://arxiv.org/abs/2508.08293 https://arxiv.org/pdf/2508.08293

Topos Theory for Generative AI and LLMs
We propose the design of novel categorical generative AI architectures (GAIAs) using topos theory, a type of category that is ``set-like": a topos has all (co)limits, is Cartesian closed, and has a subobject classifier. Previous theoretical results on the Transformer model have shown that it is a universal sequence-to-sequence function approximator, and dense in the space of all continuous functions with compact support on the Euclidean space of embeddings of tokens. Building on this theoretica…

On the Landis Conjecture for Positive Quasi-linear Operators on Graphs
Ujjal Das, Matthias Keller, Yehuda Pinchover
https://arxiv.org/abs/2509.20559 https://

On the Landis Conjecture for Positive Quasi-linear Operators on Graphs
We prove a Landis type unique continuation result for positive quasi-linear operators on graphs. Specifically, we give decay criteria that ensures when a harmonic function for a positive quasilinear Schrödinger operator with potential less than 1 is trivially zero. The assumption of positivity of the operator allows the application of criticality theory such as the Liouville comparison theorem. Furthermore, our results fundamentally build on the so called simplified energy. As an application w…

The orbital-driven topological phase transition and planar Hall responses in ternary tellurides Weyl semi-metals
Banasree Sadhukhan, Tanay Nag
https://arxiv.org/abs/2509.19818 h…

The orbital-driven topological phase transition and planar Hall responses in ternary tellurides Weyl semi-metals
Here we study electronic properties of the ternary tellurides TaXTe$_4$ (X=Rh, Ir) using density functional theory and investigate chiral anomaly mediated planar Hall response from ab initio calculations. We show that TaRhTe$_4$ is a hybrid Weyl semimetal (WSM), hosting Weyl points (WPs) of both type-I, type-II, while TaIrTe$_4$ is a type-II WSM as it hosts only type-II WPs with spin-orbit couplings (SOC). All WPs lie in the $k_z=0$ plane, and remain well-separated in both momentum and energy l…

Research on Conversational Recommender System Considering Consumer Types
Yaying Luo, Hui Fang, Zhu Sun
https://arxiv.org/abs/2508.13209 https://arxiv.org/p…

Research on Conversational Recommender System Considering Consumer Types
Conversational Recommender Systems (CRS) provide personalized services through multi-turn interactions, yet most existing methods overlook users' heterogeneous decision-making styles and knowledge levels, which constrains both accuracy and efficiency. To address this gap, we propose CT-CRS (Consumer Type-Enhanced Conversational Recommender System), a framework that integrates consumer type modeling into dialogue recommendation. Based on consumer type theory, we define four user categories--depe…

Crosslisted article(s) found for math.KT. https://arxiv.org/list/math.KT/new
[1/1]:
- On the representation type of a finite tensor category
Petter Andreas Bergh, Karin Erdmann, Julia Yael Plavnik, Sarah Witherspoon

Equivariant representation theory for proper actions on discrete spaces
Lukas Rollier
https://arxiv.org/abs/2508.14991 https://arxiv.org/pdf/2508.14991

Equivariant representation theory for proper actions on discrete spaces
Starting from any proper action of any locally compact quantum group on any discrete quantum space, we show that its equivariant representation theory yields a concrete unitary 2-category of finite type Hilbert bimodules over the discrete quantum space, from which the quantum group and its action may be completely reconstructed as in a previous article by the author. In particular, this shows that any locally compact quantum group acting properly on a discrete quantum space must be an algebraic…

Explosions of pulsating red supergiants: a natural pathway for the diversity of Type II-P/L supernovae
V. A. Bronner, E. Laplace, F. R. N. Schneider, Ph. Podsiadlowski
https://arxiv.org/abs/2508.11077 …

Explosions of pulsating red supergiants: a natural pathway for the diversity of Type II-P/L supernovae
Red supergiants (RSGs), which are progenitors of hydrogen-rich Type II supernovae (SNe), have been known to pulsate from both observations and theory. The pulsations can be present at core collapse and affect the resulting SN. However, SN light curve models of such RSGs commonly use hydrostatic progenitor models and ignore pulsations. Here, we model the final stages of a 15 solar-mass RSG and self-consistently follow the hydrodynamical evolution. We find the growth of large amplitude radial pul…

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
Nima Rasekh
https://arxiv.org/abs/2508.07737 https://arxiv.org/pdf/25…

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
$\infty$-category theory was originally developed in the context of classical homotopy theory using standard set theoretical assumptions, but has since been extended to a variety of mathematical foundations. One such successful effort, primarily due to Martini and Wolf, introduced a theory of $\infty$-categories internal to the foundation of an arbitrary Grothendieck $\infty$-topos, meaning they used categorical foundations. Another approach, due to Riehl and Shulman, developed a theory of $\in…

Ghost-free, gauge invariant SVT generalizations of Horndeski theory
S. Mironov, A. Shtennikova, M. Valencia-Villegas
https://arxiv.org/abs/2509.16850 https://

Ghost-free, gauge invariant SVT generalizations of Horndeski theory
We present a new type of Scalar-Vector-Tensor (SVT) theories with higher derivatives of all the fields in the action, but with second order equations of motion. The higher derivative vector field is invariant under a U(1) gauge transformation and the Scalar-Tensor sector corresponds to Horndeski theory. We also present a subclass of these SVT theories with 8 free functions of $π$ and $X$ where the speed of the tensor and vector modes is exactly the same. In particular, the Horndeski functions …

Preformed Cooper Pairing and the Uncondensed Normal-State Component in Phase-Fluctuating Cuprate Superconductivity
F. Yang, Y. Shi, L. Q. Chen
https://arxiv.org/abs/2509.21133 h…

Preformed Cooper Pairing and the Uncondensed Normal-State Component in Phase-Fluctuating Cuprate Superconductivity
We develop a self-consistent microscopic framework beyond mean-field theory for superconductivity in cuprates. It couples fermionic quasiparticles with collective phase dynamics to treat the superconducting gap and superfluid stiffness. The phase sector explicitly incorporates both smooth bosonic Nambu-Goldstone phase fluctuations, renormalized by long-range Coulomb interactions, and topological Berezinskii-Kosterlitz-Thouless-type vortex-antivortex fluctuations. The required input is the corre…

Good article. New physics experiments concerning "cosmic entropy", dark matter, and information theory will be coming up. (Is gravity an emergent phenomenon?)
https://www.newscientist.com/article/2488701-is-gravity-a-new-…

Is gravity a new type of force that arises from cosmic entropy?
Decades ago, a renegade physicist suggested that gravity isn't so much a force as just a byproduct of the universe's tendency to get more disordered. Now this idea might finally be testable

Gaussian-Based Periodic Grand Canonical Density Functional Theory with Implicit Solvation for Computational Electrochemistry
Anton Z. Ni, Adam Rettig, Joonho Lee
https://arxiv.org/abs/2508.15705

Gaussian-Based Periodic Grand Canonical Density Functional Theory with Implicit Solvation for Computational Electrochemistry
We present a numerical method for grand canonical density functional theory (DFT) tailored to solid-state systems, employing Gaussian-type orbitals as the primary basis. Our approach directly minimizes the grand canonical free energy using the density matrix as the sole variational parameter, while self-consistently updating the electron number between self-consistent field iterations. To enable realistic electrochemical modeling, we integrate this approach with implicit solvation models. Our s…

Some capacitary strong type inequalities and related function spaces
Keng Hao Ooi, Nguyen Cong Phuc
https://arxiv.org/abs/2510.08982 https://arxiv.org/pdf/…

Some capacitary strong type inequalities and related function spaces
We verify a conjecture of D. R. Adams on a capacitary strong type inequality that generalizes the classical capacitary strong type inequality of V. G. Maz'ya. As a result, we characterize related function spaces as Köthe duals to a class of Sobolev multiplier type spaces. Moreover, using tools from nonlinear potential theory, weighted norm inequalities, and Banach function space theory, we show that these spaces are also isomorphic to more concrete spaces that are easy to use and fit in well w…

After a few intense weeks — first at #icfpsplash25 in Singapore, then four days of interviewing candidates for tenure-track positions as part of the faculty appointment committee (Lärarförslagsnämnd) at the University of Gothenburg — I’m now in Budapest for (mostly) vacation.
Tomorrow (2025-10-27) I’ll give a talk at the local Type Theory Seminar (invited by Ambrus Kaposi). Looking f…

Finite-blocklength Fluid Antenna Systems
Zhentian Zhang, Kai-Kit Wong, David Morales-Jimenez, Hao Jiang, Hao Xu, Christos Masouros, Zaichen Zhang, Chan-Byoung Chae
https://arxiv.org/abs/2509.15643

Finite-blocklength Fluid Antenna Systems
This work introduces and investigates finite blocklength fluid antenna systems (FBL-FASs). To meet the stringent key performance indicators (KPIs) of 6G and beyond networks, including ultra-massive machine-type communications (mMTC), ultra-reliable low-latency communications (URLLC), and enhanced mobile broadband (eMBB), it is necessary to evaluate the performance of FAS under limited channel uses across time, frequency, and other domains. By exploiting random matrix theory and extreme value th…

Mechanizing Synthetic Tait Computability in Istari
Runming Li, Yue Yao, Robert Harper
https://arxiv.org/abs/2509.11418 https://arxiv.org/pdf/2509.11418

Mechanizing Synthetic Tait Computability in Istari
Categorical gluing is a powerful technique for proving meta-theorems of type theories such as canonicity and normalization. Synthetic Tait Computability (STC) provides an abstract treatment of the complex gluing models by internalizing the gluing category into a modal dependent type theory with a phase distinction. This work presents a mechanization of STC in the Istari proof assistant. Istari is a Martin-Löf-style extensional type theory with equality reflection. Equality reflection eliminate…

Best Proximity Points for Geraghty-Type Non-Self Mappings with a Registration-Inspired Alignment Model
Fatemeh Fogh, Sara Behnamian
https://arxiv.org/abs/2510.02406 https://

Best Proximity Points for Geraghty-Type Non-Self Mappings with a Registration-Inspired Alignment Model
We study Geraghty-type non-self mappings within the framework of best proximity point theory. By introducing auxiliary functions with subsequential convergence, we establish general conditions ensuring the existence and uniqueness of best proximity points. Our results extend and unify earlier work on proximal and Kannan-type contractions under a Geraghty setting, and we provide counterexamples showing that the auxiliary assumptions are essential. To demonstrate applicability, we construct a reg…

Approximation by multivariate neural network operators in mixed norm space: theory and application
Priyanka Majethiya, Shivam Bajpeyi
https://arxiv.org/abs/2509.18740 https://…

From finding a spanning subgraph $H$ to an $H$-factor
Allan Lo
https://arxiv.org/abs/2509.18832 https://arxiv.org/pdf/2509.18832

Radially weighted Backus- and Childress-type bounds for spherical dynamos
Ralf Kaiser, Andreas Tilgner
https://arxiv.org/abs/2510.05884 https://arxiv.org/p…

Radially weighted Backus- and Childress-type bounds for spherical dynamos
In MHD dynamo theory well-known necessary criteria for dynamo action are formulated in terms of lower bounds either on the maximum modulus of the velocity field (Childress-type) or the maximum strain of the velocity field (Backus-type). We generalize these criteria for spherical dynamos by introducing a radially varying weight $f(r)$. The corresponding {\em l}ower {\em b}ound Reynolds numbers $R_{lb}^C [f]$ (based on velocity) and $R_{lb}^B [f]$ (based on strain) are determined for two types of…

A Graded Modal Type Theory for Pulse Schedules
Robin Adams
https://arxiv.org/abs/2510.03130 https://arxiv.org/pdf/2510.03130…

A Graded Modal Type Theory for Pulse Schedules
We propose a language for representing the pulse schedules that a superconducting quantum computer accepts as input. The language is a graded modal type theory named PSTT (Pulse Schedule Type Theory). Graded modals type theories are type systems where each variable is annotated with a parameter or grade. These can be used to represent, for example, resource usage, where the grade denotes how many times a given resource may be used; or privacy levels, whether a resource is private or public. In …

Replaced article(s) found for cs.GT. https://arxiv.org/list/cs.GT/new
[1/1]:
- Optimal Type-Dependent Liquid Welfare Guarantees for Autobidding Agents with Budgets
Colini-Baldeschi, Klumper, Kroll, Leonardi, Sch\"afer, Tsikiridis

One-loop Renormalization of the Type-I Seesaw Model in the On-shell Scheme
Jihong Huang, Shun Zhou
https://arxiv.org/abs/2509.12844 https://arxiv.org/pdf/2…

One-loop Renormalization of the Type-I Seesaw Model in the On-shell Scheme
In a previous paper arxiv:2507.21691, we have carried out one-loop renormalization of the type-I seesaw model in the modified minimal-subtraction ($\overline{\rm MS}$) scheme. In the present one, we continue to renormalize the type-I seesaw model in the on-shell scheme. Such an investigation is mainly motivated by the fact that the on-shell scheme has been widely adopted in the renormalization of the standard electroweak theory and implemented for its precision tests. We first specify the physi…

Study on the certain type of nonlinear algebraic partial differential equation in $\mathbb{C}^m$
Sujoy Majumder, Debabrata Pramanik, Nabadwip Sarkar
https://arxiv.org/abs/2508.15857

Study on the certain type of nonlinear algebraic partial differential equation in $\mathbb{C}^m$
In the paper, using Nevanlinna's value distribution theory of meromorphic functions in $\mathbb{C}^m$, we study for the existence of entire solutions $f$ in $\mathbb{C}^m$ of the following algebraic partial differential equation \[f^n(z)+P_d(f(z))=p(z)e^{\langle α,\ol z\rangle},\] where $P_d(f)$ is an algebraic differential polynomial in $f$ of degree $d \leq n-2$, $n \geq 3$ is an integer, $p$ is a non-zero polynomial, $α=(α_{1},\ldots,α_{m})\neq (0,\ldots,0)$ and $\langle α,\ol z\rangle=…

An emergent higher-form symmetry from type IIB superstring theory
Naoto Kan, Masashi Kawahira, Hiroki Wada
https://arxiv.org/abs/2509.10365 https://arxiv.o…

An emergent higher-form symmetry from type IIB superstring theory
We investigate a higher-form symmetry in type IIB superstring theory, which possesses an ${\rm SL}(2,\mathbb{Z})$ symmetry. From the point of view of the low-energy effective field theory, the ${\rm SL}(2,\mathbb{Z})$ symmetry is treated as a gauge symmetry. Hence, an $8$-form global symmetry $\mathbb{Z}_{12}^{[8]}$ emerges as a quantum symmetry. In this paper, we present an explicit construction of the topological operator associated with the $\mathbb{Z}_{12}^{[8]}$ symmetry. In this construct…

Steady states of FitzHugh-Nagumo-type systems with sign-changing coefficients
Jo\~ao Marcos do \'O, Evelina Shamarova, Victor V. Silva
https://arxiv.org/abs/2508.14854 https…

Steady states of FitzHugh-Nagumo-type systems with sign-changing coefficients
We establish existence and multiplicity results for steady-state solutions of spatially heterogeneous FitzHugh-Nagumo-type systems, extending the existing theory from constant to variable coefficients that may change sign. Specifically, we study the system Specifically, we study the system $-Δu + a(x)v = f(x,u)$ in $\mathbb{R}^N$, $-Δv + b(x)v = c(x)u$ in $\mathbb{R}^N$, where $N \geqslant 3$, the coefficients $a,b,c : \mathbb{R}^N \to \mathbb{R}$ are $L^\infty_{\mathrm{loc}}$-functions…

Theory of tunnel magnetoresistance in magnetic tunnel junctions with hexagonal boron nitride barriers: mechanism and application to ferromagnetic alloy electrodes
Ivan Kurniawan, Keisuke Masuda, Yoshio Miura
https://arxiv.org/abs/2508.17818

Theory of tunnel magnetoresistance in magnetic tunnel junctions with hexagonal boron nitride barriers: mechanism and application to ferromagnetic alloy electrodes
Hexagonal boron nitride ($h$-BN), with its strong in-plane bonding and good lattice match to hcp and fcc metals, offers a promising alternative barrier material for magnetic tunnel junctions (MTJs). Here, we investigate spin-dependent transport in hcp-Co$_{1-x}$Ni$_{x}$$/$$h$-BN$/$hcp-Co$_{1-x}$Ni$_{x}$(0001) MTJs with physisorption-type interfaces using first-principles calculations. We find that a high TMR ratio arises from the resonant tunneling of the down-spin surface states of the hcp-Co$…

Plancherel-P\'{o}lya's Type of Instability in Vibration System with Multiple Frozen Arguments
Lung-Hui Chen, Chung-Tsun Shieh
https://arxiv.org/abs/2508.11101 https://…

Plancherel-Pólya's Type of Instability in Vibration System with Multiple Frozen Arguments
We discuss the problem of the inverse spectral problem of Sturm-Liouville operator with multiple frozen arguments at $\{a_{1}, a_{2},\ldots,a_{N}\}$ in $(0,π)$. One may consider the characteristic functions as perturbation of sine or of cosine functions depending on the boundary problem prescribed. However, such perturbation is represented in the form of Fourier transform of certain function which may or may not bring in Riesz basis theory and classical perturbation theory in functional analys…

The Weyl bound for triple product L-functions in the cubic level
Xinchen Miao, Huimin Zhang
https://arxiv.org/abs/2508.13746 https://arxiv.org/pdf/2508.137…

The Weyl bound for triple product L-functions in the cubic level
In this paper, we focus on the strong subconvexity bounds for triple product L-functions in the cubic level aspect. Our proof on the Weyl-type bound synthesizes techniques from classical analytic number theory with methods in automorphic forms and representation theory. The methods include the refined Petersson trace formula for the newforms of cubic level, classical Voronoi summation formula, Jutila's circle method, Kuznetsov trace formula and the spectral large sieve inequality.

Nonperturbative quantum field theory for pseudo-Goldstone modes, slow-Goldstone modes, and their quantum chaos
Fadi Sun, Jinwu Ye
https://arxiv.org/abs/2508.14491 https://

Nonperturbative quantum field theory for pseudo-Goldstone modes, slow-Goldstone modes, and their quantum chaos
In this work, we develop a novel form of non-perturbative theory to identify a light pseudo-Goldstone mode with a small mass, as well as a new type of Goldstone mode with a tiny slope (termed the slow-Goldstone mode), which may not be obtained via traditional perturbative methods. We demonstrate our formalism in the context of superfluids formed by Rashba spin-orbit coupled spinor bosons in a square lattice weakly interacting with a spin-anisotropic interaction. The experimental detections of t…

Cohen-Macaulay Type via Lattice Homology and the Motivic Poincar\'e Series
Alex Hof, Andr\'as N\'emethi
https://arxiv.org/abs/2509.11858 https://

Cohen-Macaulay Type via Lattice Homology and the Motivic Poincaré Series
We give results on reduced complex-analytic curve germs which relate their indecomposable maximal Cohen-Macaulay (MCM) modules to their lattice homology groups and related invariants, thereby providing a connection between the algebraic theory of MCM modules and techniques arising from low-dimensional topology. In particular, we characterize the germs $(C, o)$ of finite Cohen-Macaulay type in terms of the lattice homology $\mathbb{H}_*(C, o)$, and those of tame type in terms of the lattice homo…

Type IIA supergravity at one loop: $\alpha'^3$ terms in the metric-dilaton-RR one-form sector
Mohammad R. Garousi
https://arxiv.org/abs/2508.10529 https://

Type IIA supergravity at one loop: $α'^3$ terms in the metric-dilaton-RR one-form sector
The circle compactification of M-theory is dual to type IIA string theory, requiring that the dimensional reduction of the M-theory couplings \((t_8 t_8 - \frac{1}{4} ε_8 ε_8) R^4\) must reproduce the type IIA one-loop effective action at order \(α'^3\), including contributions from the metric, dilaton, and RR one-form. Through compactification, we obtain 1,276 couplings involving Riemann, Ricci, and Ricci scalar tensors, along with first and second derivatives of the dilaton and RR one-form…

Humanoid Artificial Consciousness Designed with Large Language Model Based on Psychoanalysis and Personality Theory
Sang Hun Kim, Jongmin Lee, Dongkyu Park, So Young Lee, Yosep Chong
https://arxiv.org/abs/2510.09043

Humanoid Artificial Consciousness Designed with Large Language Model Based on Psychoanalysis and Personality Theory
Human consciousness is still a concept hard to define with current scientific understanding. Although Large Language Models (LLMs) have recently demonstrated significant advancements across various domains including translation and summarization, human consciousness is not something to imitate with current upfront technology owing to so-called hallucination. This study, therefore, proposes a novel approach to address these challenges by integrating psychoanalysis and the Myers-Briggs Type Indic…

Type-II Band Alignment in the ${\beta}$-Ga$_2$O$_3$/Rutile GeO$_2$ Heterojunction toward Solar-Blind Photodetection: A first-principles study
D. Q. Fang
https://arxiv.org/abs/2509.19948

Type-II Band Alignment in the $β$-Ga$_2$O$_3$/Rutile GeO$_2$ Heterojunction toward Solar-Blind Photodetection: A first-principles study
Semiconductor heterostructures capable of separating photogenerated electrons and holes have a wide range of optoelectronic applications, including photodetectors, solar cells, and photocatalysts. $β$-Ga$_2$O$_3$ and rutile GeO$_2$ are both ultrawide-bandgap semiconductors, with bandgaps of 4.85 eV and 4.68 eV, respectively. In this work, we employ first-principles calculations based on density functional theory to investigate the band alignment of the $β$-Ga$_2$O$_3$/rutile GeO$_2$ heterojun…

Frieze patterns in representation theory
Eleonore Faber
https://arxiv.org/abs/2509.16764 https://arxiv.org/pdf/2509.16764

Frieze patterns in representation theory
Friezes are infinite arrays of numbers, in which every four neighbouring vertices arranged in a diamond satisfy the same arithmetic rule. Introduced in the late 1960s by Coxeter, and further studied by Conway and Coxeter in their remarkable papers from 1973, this topic has been nearly forgotten for over thirty years. But since the discovery of connections to cluster algebras and categories of type $A$, interest in friezes has exploded, several generalizations have been studied, and links to geo…

More on Nosal's spectral theorem: Books and $4$-cycles
Yongtao Li, Hong Liu, Shengtong Zhang
https://arxiv.org/abs/2508.14366 https://arxiv.org/pdf/250…

More on Nosal's spectral theorem: Books and $4$-cycles
Spectral graph theory studies how the eigenvalues of a graph relate to the structural properties of a graph. In this paper, we solve three open problems in spectral extremal graph theory which generalize the classical Turán-type supersaturation results. (a) We prove that every $m$-edge graph $G$ with the spectral radius $λ(G) > \sqrt{m}$ contains at least $\frac{1}{144} \sqrt{m}$ triangles sharing a common edge. This result confirms a conjecture of Nikiforov, and Li and Peng. Moreover, the …

A Continuum Beck-type Theorem for Hyperplanes
Paige Bright, Alexander Ortiz, Dmitrii Zakharov
https://arxiv.org/abs/2510.10907 https://arxiv.org/pdf/2510.1…

A Continuum Beck-type Theorem for Hyperplanes
We prove a sharp continuum Beck-type theorem for hyperplanes. Our work is inspired by foundational work of Beck on the discrete problem, as well as refinements due to Do and Lund. The inductive proof uses recent breakthrough results in projection theory by Orponen--Shmerkin--Wang and Ren, who proved continuum Beck-type theorems for lines in $\mathbb{R}^2$ and $\mathbb{R}^n$.

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…

from my link log —
The seven virtues of simple type theory / higher-order logic.
https://imps.mcmaster.ca/doc/seven-virtues.pdf
saved 2025-08-08

Supergroup Invariants and the Brane/Negative Brane Expansion
Kasia Budzik
https://arxiv.org/abs/2509.20451 https://arxiv.org/pdf/2509.20451

Supergroup Invariants and the Brane/Negative Brane Expansion
We propose a Molien--Weyl-type formula computing generating functions of invariants of supergroups $U(N|M)$, i.e. polynomials in supertraces, which arise as gauge groups of brane/negative brane systems in string theory. We either prove or numerically verify the formula in various examples. The formula further leads to a new expansion relating finite-$N$ and infinite-$N$ indices of $U(N)$ gauge theories. We comment on its relation to Murthy's Giant Graviton expansion, for which we suggest a…

On the growth of Tate-Shafarevich groups of $p$-supersingular abelian varieties of ${\rm GL}_2$-type over $\mathbb{Z}_p$-extensions of number fields
Erman Isik, Antonio Lei
https://arxiv.org/abs/2510.11511

On the growth of Tate-Shafarevich groups of $p$-supersingular abelian varieties of ${\rm GL}_2$-type over $\mathbb{Z}_p$-extensions of number fields
We study the boundedness of the Mordell-Weil rank and the growth of the $v$-primary part of the Tate-Shafarevich group of $p$-supersingular abelian varieties of ${\rm GL}_2$-type with real multiplication over $\mathbb{Z}_p$-extensions of number fields, where $v$ is a prime lying above $p$. Building on the work of Iovita-Pollack in the case of elliptic curves, under precise ramification and splitting conditions on $p$, we construct explicit systems of local points using the theory of Lubin-Tate …

Random data Cauchy theory for fully nonlocal telegraph equations
Xi Huang, Li Peng, Juan Carlos Pozo, Yong Zhou
https://arxiv.org/abs/2509.11564 https://ar…

Random data Cauchy theory for fully nonlocal telegraph equations
We consider the random Cauchy problem for the fully nonlocal telegraph equation of power type with the general $(\mathcal{PC}^{\ast})$ type kernel $(a,b)$. This equation can effectively characterize high-frequency signal transmission in small-scale systems. We establish a new completely positive kernel induced by $b$ (see Appendix \refeq{app b}) and derive two novel solution operators by using the relaxation functions associated with the new kernel,which are closely related to the operators $\c…

Dynamical Triangulations for 2D Pure Gravity and Topological Recursion
Hiroyuki Fuji, Masahide Manabe, Yoshiyuki Watabiki
https://arxiv.org/abs/2509.18916 https://

Dynamical Triangulations for 2D Pure Gravity and Topological Recursion
We show that, in two-dimensional Euclidean quantum gravity without matter fields, the Schwinger-Dyson equations derived within the Hamiltonian framework of non-critical string field theory can be reformulated in terms of the Chekhov-Eynard-Orantin topological recursion, and we explicitly compute the associated low-order amplitudes. In particular, we establish this reformulation for two discrete models -- the basic type and the strip type -- as well as for the continuum limit of dynamical triang…

Hurwitz--Lerch Type Families of Poly-Bernoulli and Poly-Cauchy Numbers and Polynomials with Parameters $(\alpha,a)$
Noel B. Lacpao, Roberto B. Corcino
https://arxiv.org/abs/2508.06766

Hurwitz--Lerch Type Families of Poly-Bernoulli and Poly-Cauchy Numbers and Polynomials with Parameters $(α,a)$
This study introduces $(α,a)$-parameterized Hurwitz-Lerch type poly-Bernoulli and poly-Cauchy numbers and polynomials, extending classical sequences through the Hurwitz-Lerch zeta function. We derive generating functions, recurrences, and explicit formulas, revealing deeper structures and connections with zeta functions and polylogarithms. The results enrich existing theory and open new directions in analytic number theory and combinatorics.

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Homotopy type theory as a language for diagrams of $\infty$-logoses
Taichi Uemura

Replaced article(s) found for math.RT. https://arxiv.org/list/math.RT/new
[1/1]:
- Exceptional sequences of type $B_n/C_n$ and those in the abelian tube
Kiyoshi Igusa, Emre Sen

Decision Procedure for A Theory of String Sequences
Denghang Hu, Taolue Chen, Philipp R\"ummer, Fu Song, Zhilin Wu
https://arxiv.org/abs/2509.00948 https://

Decision Procedure for A Theory of String Sequences
The theory of sequences, supported by many SMT solvers, can model program data types including bounded arrays and lists. Sequences are parameterized by the element data type and provide operations such as accessing elements, concatenation, forming sub-sequences and updating elements. Strings and sequences are intimately related; many operations, e.g., matching a string according to a regular expression, splitting strings, or joining strings in a sequence, are frequently used in string-manipulat…

Cu2XSiS4 (X = Ge, Sn, and Pb) materials for solar-cell applications: A DFT SCAPS-1D simulation
H. Laltlanmawii, L. Celestine, R. Zosiamliana, B. Chettri, S. Bhattarai, K. C. Bhamu, D. P. Rai
https://arxiv.org/abs/2509.20845

Cu2XSiS4 (X = Ge, Sn, and Pb) materials for solar-cell applications: A DFT+SCAPS-1D simulation
By means of the first-principles density functional theory (DFT), I2-II-IV-VI4 type Cu-based quaternary chalcogenides Cu 2 XSiS 4 (X = Ge, Sn, and Pb) have been thoroughly investigated. We report the study of Ge and Sn substitution in the divalent cation site for their potential applications in photovoltaics for the first time. The structural, electronic, optical, and mechanical properties have been calculated. The structural and thermal stability is verified by calculating the elastic constant…

Fixed Point Theory For Singh-Chatterjea Type Contractive Mappings
Zouaoui Bekri, Nicola Fabiano
https://arxiv.org/abs/2510.11975 https://arxiv.org/pdf/2510…

Fixed Point Theory For Singh-Chatterjea Type Contractive Mappings
In this paper, we introduce a new contraction condition that combines the framework of Singh's extension with the classical Chatterjea contraction. This generalized form, called the Singh-Chatterjea contraction, is defined on the p-th iterate of a mapping. We establish fixed point theorems for such mappings in complete metric spaces and show that our results extend and unify both Singh's and Chatterjea's classical fixed point theorems. Illustrative examples and a simple numerical implementation…

The Double Copy of Maximal Supersymmetry in $D=10$
Roberto Bonezzi, Giuseppe Casale, Olaf Hohm
https://arxiv.org/abs/2508.11753 https://arxiv.org/pdf/2508.…

The Double Copy of Maximal Supersymmetry in $D=10$
We continue the program of using homotopy algebras to obtain off-shell, local and gauge redundant derivations of the double copy relations between gauge theory and gravity. We apply it to $N=1$ super-Yang-Mills theory in $D=10$ in order to obtain type IIA or type IIB supergravity, at least to cubic order in fields. Furthermore, we show how the super-Lie algebra of global supersymmetries, acting on the homotopy algebra of $N=1$ super-Yang-Mills theory, double copies to the maximal supersymmetry …

from my link log —
The type theory fire triangle: how to mix substitution, dependent elimination, and effects.
https://dl.acm.org/doi/10.1145/3371126
saved 2025-09-05

On Korovkin-type theorems including exponential test functions on infinite intervals through power series convergence
Dilek S\"oylemez, Mehmet \"Unver
https://arxiv.org/abs/2510.12568

On Korovkin-type theorems including exponential test functions on infinite intervals through power series convergence
Approximation theory has long been concerned with the development of positive linear operators that effectively approximate classes of functions. Among the most well-known results in this area are Korovkin-type approximation theorems, which provide simple and elegant criteria for convergence by testing only on a small set of functions. Motivated by these classical results and their extensions, we focus on versions that preserve exponential functions and incorporate modern summability techniques…

Five-loop Anomalous Dimensions of Cubic Scalar Theory from Operator Product Expansion
Rijun Huang, Qingjun Jin, Yi Li
https://arxiv.org/abs/2508.13620 https://

Five-loop Anomalous Dimensions of Cubic Scalar Theory from Operator Product Expansion
Recently, an Operator Product Expansion method has been proposed for renormalization in quantum field theories. This method extracts UV divergences from two-point propagator-type integrals, and it is believed to be applicable to generic QFTs. In the present work, we apply the OPE method to the renormalization of scalar theory with cubic interactions in six-dimensions. We have successfully computed the 5-loop corrections to the anomalous dimensions of the $ϕ^Q$ operator, as well as the large $N…

On g-Extra Connectivity of Corona-Type Graph Products
Arati Sharma, Satyam Guragain, Ravi Srivastava
https://arxiv.org/abs/2508.08853 https://arxiv.org/pdf…

On g-Extra Connectivity of Corona-Type Graph Products
Connectivity is one of the central ideas in graph theory, especially when it comes to building fault-tolerant networks. A cutset $S$ of $G$ is defined to be the set of vertices in $G$ whose removal disconnects the graph. An $R_g$ cutset of $G$ is a cutset whose removal disconnects the graph in such a way that each connected component has at least $g+1$ vertices. If $G$ has at least one $R_g$ cutset then the $g-$extra vertex connectivity (or the $g-$extra edge connectivity), denoted as $κ_g(G)$…

K-Points and Type IIB/Heterotic Duality with NS5-Branes
Jeroen Monnee, Timo Weigand, Max Wiesner
https://arxiv.org/abs/2510.02435 https://arxiv.org/pdf/251…

K-Points and Type IIB/Heterotic Duality with NS5-Branes
We revisit type II$_0$ limits in the vector multiplet moduli space of compactifications of Type IIB string theory on Calabi-Yau threefolds. These limits are special because they cannot be described using mirror symmetry. While we showed in previous work that the gravitational duality frame emerging in such limits corresponds to a weakly coupled heterotic string compactified on K3 times a string-sized torus, our focus here is on the additional field theory sectors that decouple from gravity in t…

Modular theory and symmetry resolution in hyperfinite von Neumann algebras
Giuseppe Di Giulio, Moritz Dorband, Johanna Erdmenger, Henri Scheppach
https://arxiv.org/abs/2510.02441

Modular theory and symmetry resolution in hyperfinite von Neumann algebras
We study modular theory in hyperfinite von Neumann algebras, i.e. in those of type II or type III, from the viewpoint of a subregion charge sector decomposition. We address this symmetry resolution by considering infinite tensor products of finite-dimensional algebras with fixed subregion charge values. An important ingredient is the combination of these algebras using direct integrals. This allows us to obtain the symmetry-resolved modular operator, modular flow, and modular correlation functi…

One-loop determinants in AdS$_3$ supergravity with extended supersymmetry
Ilija Rakic, Lorenzo Toni
https://arxiv.org/abs/2508.15701 https://arxiv.org/pdf/…

One-loop determinants in AdS$_3$ supergravity with extended supersymmetry
We re-examine the computation of the one-loop partition function of Type II supergravity theory compactified on $AdS_3 \times \mathbf{S}^3 \times X$, where $X$ can be $K_3$, $T^4$ and $\mathbf{S}^3 \times \mathbf{S}^1$. These backgrounds preserve eight supercharges (four left and four right moving) and are known to be holographically dual to either small or large $N=(4,4)$ superconformal field theories. By extending well-established heat kernel techniques, we evaluate the one-loop determinants …

Electric flux tube solutions in SU(3) gauge theory
Jude Pereira, Tanmay Vachaspati
https://arxiv.org/abs/2509.03814 https://arxiv.org/pdf/2509.03814…

Electric flux tube solutions in SU(3) gauge theory
We consider electric flux tube solutions in SU(3) gauge theory with scalar fields in the fundamental representation. Such solutions can possibly be constructed in two classes, corresponding to the two maximally commuting generators $λ_3$ and $λ_8$ of SU(3). We successfully construct the 3-type solution with two scalar fields and show that it is immune to decay through Schwinger pair production of gauge bosons but we have not been able to construct an 8-type solution.