Tootfinder

5 #Grafana in #Docker examples to get started with metrics, logs, and traces
https://

PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
Shuning Zhang, Yongjoo Park
https://arxiv.org/abs/2507.05403 https://arxi…

PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
Large language models (LLMs) can generate code from natural language descriptions. Their performance is typically evaluated using programming benchmarks that simulate real-world tasks. These benchmarks provide specifications in the form of docstrings, function signatures, or bug reports. The model then generates a program, which is tested against predefined test cases. In contrast, Programming by Example (PBE) uses input-output examples as the specification. Traditional PBE systems rely on sear…

On Synthesis of Timed Regular Expressions
Ziran Wang, Jie An, Naijun Zhan, Miaomiao Zhang, Zhenya Zhang
https://arxiv.org/abs/2509.06262 https://arxiv.org/…

On Synthesis of Timed Regular Expressions
Timed regular expressions serve as a formalism for specifying real-time behaviors of Cyber-Physical Systems. In this paper, we consider the synthesis of timed regular expressions, focusing on generating a timed regular expression consistent with a given set of system behaviors including positive and negative examples, i.e., accepting all positive examples and rejecting all negative examples. We first prove the decidability of the synthesis problem through an exploration of simple timed regular …

On the Borel complexity of the space of left-orderings of nilpotent groups
Emir Molina Tauc\'an
https://arxiv.org/abs/2507.06953 https://

On the Borel complexity of the space of left-orderings of nilpotent groups
We give the first examples of nonabelian left-orderable groups such that the conjugacy orbit equivalence relation on its space of orders has infinity orbits, yet it is smooth in the Borel sense. The examples are all nilpotent groups and we provide a sufficient condition so that the space of orders of a nilpotent group has a smooth conjugacy orbit relation. We also show with different examples that nilpotence is not a sufficient condition for smoothness.

So the main "arguments" when I say "AI doesn't work" and "it will collapse" are:
1. "You don't know what you're talking about"
2. "It's inevitable and here to stay, might as well go with the program"
3. "But it's almost there! Just last week they released [name of model] that is so close!"
Literally no one ever replies with any concrete examples with how it reliably, ethically and non-wastefully works for them to increase their productivity and improve their and other people's lives in any meaningful way.
It's always ad hominems, hypotheticals or deeply flawed "it sort of works for this".

The familial nature of enrichment over virtual double categories
Soichiro Fujii, Stephen Lack
https://arxiv.org/abs/2507.05529 https://

The familial nature of enrichment over virtual double categories
Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double categories. We show that, as well as allowing more examples, working over virtual double categories also gives better formal properties. We study the 2-functor sending a virtual double category to the 2-category of categories enriched over it. We show that this is a …

Properties and examples of Kobayashi hyperbolic Riemannian manifolds
Herv\'e Gaussier, Alexandre Sukhov
https://arxiv.org/abs/2509.06802 https://arxiv.…

Properties and examples of Kobayashi hyperbolic Riemannian manifolds
We prove an analogue of the Brody lemma in the framework of Riemannian manifolds. We also present new examples of Riemannian manifolds that are hyperbolic in the sense of Kobayashi.

New examples of Fourier multipliers on $H^1\p{\mathbb{D}^2}$ revisited
Maciej Rzeszut
https://arxiv.org/abs/2509.07641 https://arxiv.org/pdf/2509.07641

New examples of Fourier multipliers on $H^1\p{\mathbb{D}^2}$ revisited
We show yet another family of examples of idempotent Fourier multipliers on $H^1\p{\mathbb{D}^2}$. The proof differs from our previous result and gets rid of arithmetical assumptions.

At 79, Dr. Jeffrey Bland hikes mountain ranges, surfs in the ocean, and sailed over 40,000 miles on his boat.
Dr. Jonny Bowden plays tennis two hours a day, hikes five days a week and conquered the Fight for Air Climb.
In this fireside chat, these two respected pioneers share science-backed secrets for living younger, longer.
As thriving examples of what’s possible through smart nutrition, functional medicine, and lifestyle design.
This conversation will explore h…

PanelPicker | SXSW Conference & Festivals
PanelPicker® is the official SXSW user-generated session proposal platform. Enter ideas and vote to help shape Conference programming for SXSW and SXSW EDU.

I've seen many reasonable criticisms of Liquid Glass online, but whenever I show Liquid Glass to someone in person they seem to really enjoy the new design.
I think part of this is that it's hard to show a dynamic design that responds to you in a screenshot or video that isn't actually responding to you.
But another part is that it _does_ require careful design work, and this early in it's easy to find examples where the design (perhaps of the system, perhaps of t…

i often see claims that programming languages are not slow, it’s the implementation that’s slow
but that isn’t true, languages can be and often are designed in a way that makes it hard for programmers to make full use of the machine, and hard for an implementation to run programs written in that language at a decent speed
some sketchy notes with examples here:

The elevator puzzle in Star Wars: Dark Forces is one of the best examples of why retro games are still fun to play.

Shopping for a new cat flap and am sorely tempted by this:
https://www.onlycat.com/examples/
> Contraband Detected!
A machine vision model detects rodents, etc and prevents entry if your beloved tries to return with any extra "guests"

Examples
Examples You won't believe some of the weird and wonderful sights you'll see. Here are just a few highlights from our customers..https://www.onlycat.com/wp-content/uploads/2024/11/OC-8C1F64481046_826-.mp4This rodent fancied his chances against the might of the OnlyCat AI. Try again next time!h

I first read "Mother Earth, Mother Board" by Neal Stephenson around 15 years ago. It included a visit to the Telegraph Museum (now PK Porthcurno Museum of Global Communications) at Porthcurno in Cornwall, and I finally got to go there. One of the things that Stephenson describes is a collection of faulty cables. And its still on display.

Mitigating Shortcut Learning with InterpoLated Learning
Michalis Korakakis, Andreas Vlachos, Adrian Weller
https://arxiv.org/abs/2507.05527 https://…

Mitigating Shortcut Learning with InterpoLated Learning
Empirical risk minimization (ERM) incentivizes models to exploit shortcuts, i.e., spurious correlations between input attributes and labels that are prevalent in the majority of the training data but unrelated to the task at hand. This reliance hinders generalization on minority examples, where such correlations do not hold. Existing shortcut mitigation approaches are model-specific, difficult to tune, computationally expensive, and fail to improve learned representations. To address these issu…

Online Clustering of Seafloor Imagery for Interpretation during Long-Term AUV Operations
Cailei Liang, Adrian Bodenmann, Sam Fenton, Blair Thornton
https://arxiv.org/abs/2509.06678

Online Clustering of Seafloor Imagery for Interpretation during Long-Term AUV Operations
As long-endurance and seafloor-resident AUVs become more capable, there is an increasing need for extended, real-time interpretation of seafloor imagery to enable adaptive missions and optimise communication efficiency. Although offline image analysis methods are well established, they rely on access to complete datasets and human-labelled examples to manage the strong influence of environmental and operational conditions on seafloor image appearance-requirements that cannot be met in real-time…

MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
Haoyu Dong, Pengkun Zhang, Mingzhe Lu, Yanzhen Shen, Guolin Ke
https://arxiv.org/abs/2509.06806

MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
Large language models (LLMs) possess broad world knowledge and strong general-purpose reasoning ability, yet they struggle to learn from many in-context examples on standard machine learning (ML) tasks, that is, to leverage many-shot demonstrations purely via in-context learning (ICL) without gradient descent. We introduce MachineLearningLM, a portable continued-pretraining framework that equips a general-purpose LLM with robust in-context ML capability while preserving its general knowledge an…

Asynchronous Event Error-Minimizing Noise for Safeguarding Event Dataset
Ruofei Wang, Peiqi Duan, Boxin Shi, Renjie Wan
https://arxiv.org/abs/2507.05728 ht…

Asynchronous Event Error-Minimizing Noise for Safeguarding Event Dataset
With more event datasets being released online, safeguarding the event dataset against unauthorized usage has become a serious concern for data owners. Unlearnable Examples are proposed to prevent the unauthorized exploitation of image datasets. However, it's unclear how to create unlearnable asynchronous event streams to prevent event misuse. In this work, we propose the first unlearnable event stream generation method to prevent unauthorized training from event datasets. A new form of asynchr…

A Class of Cyclic Quantum Codes
Matthew B. Hastings
https://arxiv.org/abs/2509.06865 https://arxiv.org/pdf/2509.06865…

A Class of Cyclic Quantum Codes
We introduce a class of cyclic quantum codes, basing the construction not on the simplicity of the stabilizers, but rather on the simplicity of preparation of a code state (at least in the absence of noise). We show how certain known codes, such as a certain family of rotated two-dimensional toric codes, fall into this class, and we also give certain other examples at small sizes found by computer search. We finally discuss fault tolerant preparation of these codes.

Here is my latest Human Meme podcast episode!
#language

T2UE: Generating Unlearnable Examples from Text Descriptions
Xingjun Ma, Hanxun Huang, Tianwei Song, Ye Sun, Yifeng Gao, Yu-Gang Jiang
https://arxiv.org/abs/2508.03091 https://

T2UE: Generating Unlearnable Examples from Text Descriptions
Large-scale pre-training frameworks like CLIP have revolutionized multimodal learning, but their reliance on web-scraped datasets, frequently containing private user data, raises serious concerns about misuse. Unlearnable Examples (UEs) have emerged as a promising countermeasure against unauthorized model training, employing carefully crafted unlearnable noise to disrupt the learning of meaningful representations from protected data. Current approaches typically generate UEs by jointly optimizi…

Enjoyed this interview with UX researcher Ben Taels. He talks a lot about what games ux research is as well as what it's not. Some high level goals and some specific examples.
https://aftermath.site/video-games-user-experience-ux-r…

'Dopamine Simply Doesn't Work Like That': An Interview With A User Experience Researcher - Aftermath
Part of the reason I have worked in games UXR and not, say, microwave UX, is that games can be designed to be hard

de Sitter Holography and Carrollian Brane Theories
Andr\'es Argando\~na, Alberto Guijosa, Sergio Pati\~no-L\'opez
https://arxiv.org/abs/2507.06147 …

de Sitter Holography and Carrollian Brane Theories
It was discovered in recent months that the anti-de Sitter (AdS) backgrounds involved in all familiar top-down examples of AdS/CFT duality follow from applying a transverse nonrelativistic brane limit to string/M theory on (asymptotically) flat spacetime. In this note we show that an exactly analogous statement holds for de Sitter (dS) backgrounds relevant to particular instances of dS/CFT duality, which are obtained via a longitudinal Carrollian brane limit. This statement makes direct contact…

Permutation Models Arising From Topological Ideals
Justin Young
https://arxiv.org/abs/2507.05371 https://arxiv.org/pdf/2507.05371

Permutation Models Arising From Topological Ideals
A recent paper by Zapletal arXiv:2404.10612 discusses permutation models of set theory which arise from dynamical ideals and highlights properties of the dynamical ideal which relate to fragments of choice in the permutation model. In this paper, we provide several examples from topology which illustrate using these connections to argue that the corresponding permutation model satisfies either the axiom of countable choice or well-ordered choice.

I’m unfollowing anyone who is gushing about Gen AI and Chat GPT.
I’m seeing real world examples of how this stuff is running the lives of individuals and I’m not here for it.

The Linear System Package of Magma
Carlos Rito
https://arxiv.org/abs/2509.06940 https://arxiv.org/pdf/2509.06940 …

The Linear System Package of Magma
We present a complete reimplementation of the LinearSystem package of Magma, with substantial improvements in design and performance. The resulting efficiency enables computations that were previously out of reach. We briefly describe the design principles, capabilities, and algorithms of the new implementation and illustrate them with examples that showcase its power. Rather than comparing speeds, our goal is to advertise the package by demonstrating what can now be achieved in practice. We al…

Contour Integrations and Parity Results of Cyclotomic Euler $T$-Sums and Multiple $t$-Values
Zhenlu Wang, Ce Xu
https://arxiv.org/abs/2509.06706 https://ar…

Contour Integrations and Parity Results of Cyclotomic Euler $T$-Sums and Multiple $t$-Values
We will employ the method of contour integration to investigate the parity results of non-embedded cyclotomic multiple $t$-values, which we refer to as cyclotomic Euler $T$-sums. We can provide explicit parity formulas for the linear and quadratic cases of cyclotomic Euler $T$-sums, as well as state a parity theorem for the general case. We also present illustrative examples and corollaries. From this, some parity results for classical cyclotomic multiple $t$-values can be derived. Furthermore,…

On Jiang's Bounded Index Property for products of nilmanifolds
Peng Wang, Qiang Zhang
https://arxiv.org/abs/2507.06132 https://ar…

On Jiang's Bounded Index Property for products of nilmanifolds
In 2023, Zhang and Zhao presented the first examples of aspherical manifolds lacking the Bounded Index Property (BIP) for fixed points. This answered a question posed by Jiang in 1998 in the negative. In this paper, we first extend the notion of BIP to that of iterations of selfmaps (BIP$_k$), and then demonstrate BIP$_k$ for certain products $M\times N$ of nilmanifolds. Finally, we give characterizations for the Lefschetz number, the Nielsen number, and the minimal number of fixed points of se…

q-Cosymplectic Geometry, Integrability and Reduction
Melvin Leok, Cristina Sard\'on, Xuefeng Zhao
https://arxiv.org/abs/2509.05998 https://arxiv.org/pd…

q-Cosymplectic Geometry, Integrability and Reduction
In the present paper, we define the concept of a \( q \)-cosymplectic manifold, on which we study the Hamiltonian, gradient, local gradient, and \( q \)-evolution vector fields. Several Liouville--Arnold-type theorems and a \( q \)-cosymplectic Marsden--Weinstein reduction theorem are established. We also provide physical examples illustrating the application of the structure to multitime dynamics (Fast-slow dynamical system). To make our work more self-contained, we include detailed proofs for…

On astheno-K\"ahler manifolds
Punam Gupta, Nidhi Yadav
https://arxiv.org/abs/2506.06369 https://arxiv.org/pdf/2506.06369

On astheno-Kähler manifolds
This survey explores a range of classical findings and recent developments related to our understanding of astheno-Kähler manifolds. Furthermore, we provide various examples of astheno-Kähler manifolds and analyze the challenges associated with their existence.

Measuring the initial mass of 44Ti in SN 1987A through the 44Sc emission line
Roberta Giuffrida, Marco Miceli, Emanuele Greco, Salvatore Orlando, Masaomi Ono, Vincenzo Sapienza, Fabrizio Bocchino, Oleh Petruk, Barbara Olmi, Shigehiro Nagataki
https://arxiv.org/abs/2507.06832

Measuring the initial mass of 44Ti in SN 1987A through the 44Sc emission line
Context. Deriving the mass and large-scale asymmetries of radioactive isotopes offers valuable insights into the complex phases of a supernova explosion. Important examples are $^{56}$Ni, with its decay products $^{56}$Co and $^{56}$Fe, and $^{44}$Ti, which are studied through their X-rays emission lines and provide a powerful diagnostic tool to probe the explosive nucleosynthesis processes in the inner layers of the exploding star. Aims. In this framework, SN 1987A provides a privileged labora…

Data-Balanced Curriculum Learning for Audio Question Answering
Gijs Wijngaard, Elia Formisano, Michele Esposito, Michel Dumontier
https://arxiv.org/abs/2507.06815

Data-Balanced Curriculum Learning for Audio Question Answering
Audio question answering (AQA) requires models to understand acoustic content and perform complex reasoning. Current models struggle with dataset imbalances and unstable training dynamics. This work combines curriculum learning with statistical data balancing to address these challenges. The method labels question difficulty using language models, then trains progressively from easy to hard examples. Statistical filtering removes overrepresented audio categories, and guided decoding constrains …

Conjugacies of geodesic flows in affine cylinders and tori
Xavier Buff (IMT), Guillaume Tahar (BIMSA)
https://arxiv.org/abs/2509.06391 https://arxiv.org/pd…

Conjugacies of geodesic flows in affine cylinders and tori
Affine cylinders (genus zero surfaces with two singularities) and affine tori (genus one surfaces without singularities) are among the simplest examples of surfaces endowed with a complex affine structure. Their geodesic flows are particularly tractable. In this article, we provide explicit necessary and sufficient conditions under which the geodesic flows on such surfaces are conjugate, in the topological and in the holomorphic category.

Homogenisation of a Passive Scalar Transported by Locally Supported White Noise
Federico Butori, Avi Mayorcas, Silvia Morlacchi
https://arxiv.org/abs/2509.06878 https://

Homogenisation of a Passive Scalar Transported by Locally Supported White Noise
Stochastic perturbations of transport type are a common and widely accepted way of representing turbulent effects in fluid dynamics models. In many known examples, it even leads to improved solution theory, a phenomenon known as \emph{regularization by noise}. A common thread in the recent literature on the topic is the so-called \emph{Itô-Stratonovich diffusion limit}. By selecting Stratonovich transport noise with carefully arranged vector fields, one can show that the solution of certain SP…

There’s more examples but it seems that AI research attracts people with a bias towards a reactionary worldview.

$\delta$-rings, perfectoid towers, and lim Cohen-Macaulay sequences
Shinnosuke Ishiro, Kazuma Shimomoto
https://arxiv.org/abs/2509.06527 https://arxiv.org/…

$δ$-rings, perfectoid towers, and lim Cohen-Macaulay sequences
The aim of this article is to study basic structures and interrelations of $δ$-rings, perfectoid towers, and lim Cohen-Macaulay sequences over Noetherian rings in positive or mixed characteristic. Then we discuss some methods for constructing perfectoid towers, dealing with $p$-torsion free and $p$-torsion cases, respectively. Some interesting examples arise as quotients by monomial or binomial ideals or determinantal rings. We also explain a geometric method with a view toward constructing ri…

Structuring Polarization States of Light in Space and Time
Danilo Gomes Pires, Jiaren Tan, Hooman Barati Sedeh, Natalia M. Litchinitser
https://arxiv.org/abs/2509.05848 https://…

Structuring Polarization States of Light in Space and Time
The spatiotemporal sculpturing of light beams with arbitrary phase and polarization topologies has garnered significant attention in recent years due to its potential to advance optical technologies and reveal novel physical phenomena. Examples of spatiotemporal beams include space-time wave packets, flying donuts, tilted pulse fronts, X-waves, Airy pulses, and spatiotemporal optical vortices. Here, we introduce and demonstrate a new class of spatiotemporal polarization states of light. We prop…

Immersive Visualization of Flat Surfaces Using Ray Marching
Fabian Lander, Diaaeldin Taha
https://arxiv.org/abs/2506.07558 https://ar…

Immersive Visualization of Flat Surfaces Using Ray Marching
We present an effective method for visualizing flat surfaces using ray marching. Our approach provides an intuitive way to explore translation surfaces, mirror rooms, unfolded polyhedra, and translation prisms while maintaining computational efficiency. We demonstrate the utility of the method through various examples and provide implementation insights for programmers. Finally, we discuss the use of our visualizations in outreach. We make our simulations and code available online.

Analytic Uniqueness of Ball Volume Interpolation: Categorical Invariance and Universal Characterization
Andreu Ballus Santacana
https://arxiv.org/abs/2506.06885

Analytic Uniqueness of Ball Volume Interpolation: Categorical Invariance and Universal Characterization
We show that the classical volume formula for the unit $x$-ball, \[ V_x = \frac{π^{x/2}}{Γ(x/2+1)}, \] can be characterized as the \emph{unique} analytic continuation of Haar measure normalization and unit ball volumes for $\mathrm{O}(n)$, under principles of categorical invariance and normalization at integer dimensions. We generalize this result to the unitary and symplectic cases, formalize invariance using categorical language, and construct explicit categorical examples with functorial d…

On transitive and homogeneous binary $G$-spaces
Pavel S. Gevorgyan, Quitzeh Morales Melendez
https://arxiv.org/abs/2509.05847 https://arxiv.org/pdf/2509.05…

On transitive and homogeneous binary $G$-spaces
In this paper, the notions of transitivity and homogeneity in binary $G$-spaces are studied. These notions coincide for distributive binary $G$-spaces. For compact $G$, it is shown that distributive transitive binary $G$-spaces are coset spaces with a suitably defined binary $G$-action. Homogeneous binary $G$-spaces are topologically homogeneous and are separated into distinct stabilization types. Examples of each type are constructed.

Semigroups, groups, and algebras of dynamical origin
Volodymyr Nekrashevych
https://arxiv.org/abs/2509.05524 https://arxiv.org/pdf/2509.05524

Semigroups, groups, and algebras of dynamical origin
The paper is an overview of recent results on algebraic structures (semigroups, groupoids, algebras, inverse semigroups, and groups) associated with objects with a rich set of partial symmetries. We discuss etale groupoids and inverse semigroups, Steinberg algebras, C*-algebras, topological full groups etc.. In particular, we describe in detail the main definitions and constructions related to contracting self-similar inverse semigroups. They are illustrated by several examples, including the s…

Optimal structure learning and conditional independence testing
Ming Gao, Yuhao Wang, Bryon Aragam
https://arxiv.org/abs/2507.05689 https://

Optimal structure learning and conditional independence testing
We establish a fundamental connection between optimal structure learning and optimal conditional independence testing by showing that the minimax optimal rate for structure learning problems is determined by the minimax rate for conditional independence testing in these problems. This is accomplished by establishing a general reduction between these two problems in the case of poly-forests, and demonstrated by deriving optimal rates for several examples, including Bernoulli, Gaussian and nonpar…

Skew monoidal structures on actegories
Pavla Proch\'azkov\'a
https://arxiv.org/abs/2506.06847 https://arxiv.org/pdf/2506.0684…

Skew monoidal structures on actegories
We present a construction of skew monoidal structures from strong actions. We prove that the existence of a certain adjoint allows one to equip the actegory with a skew monoidal structure and that this adjunction becomes monoidal. This construction provides a unifying framework for the description of several examples of skew monoidal categories. We also demonstrate how braidings on the original monoidal category of a given action induce braidings on the resulting skew monoidal structure on the …

@… Yeah! They were once one of the best examples of a practical implementation for `prefers-reduced-motion` (they added UI to start animated images paused, in issue comments).
They might still do that well, but I sure don’t *trust* that they’ll do something like that as well, anymore.

Giants' Evan Neal 'grateful' for switch to guard; examples show redemption is possible for similar draft busts

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

It is perhaps not obvious that the way we talk about intelligence tends to employ circular reasoning. Here’s a sketch.
The trouble is that that the word “intelligence” is defined •ostensively•, i.e. by examples instead of by criteria — but we talk about intelligence as if it is some real unified •thing• that underlies all those examples. That leads to circular reasoning like this:
Q: What is intelligence?
A: It is the characteristics exhibited by intelligent beings, such as [examples of intelligence go here].
Q: And what are intelligent beings?
A: Beings which exhibit intelligence.
Q: And what is intelligence?
…[stack overflow]…

GP and LLMs for Program Synthesis: No Clear Winners
Jose Guadalupe Hernandez, Anil Kumar Saini, Gabriel Ketron, Jason H. Moore
https://arxiv.org/abs/2508.03966 https://

GP and LLMs for Program Synthesis: No Clear Winners
Genetic programming (GP) and large language models (LLMs) differ in how program specifications are provided: GP uses input-output examples, and LLMs use text descriptions. In this work, we compared the ability of PushGP and GPT-4o to synthesize computer programs for tasks from the PSB2 benchmark suite. We used three prompt variants with GPT-4o: input-output examples (data-only), textual description of the task (text-only), and a combination of both textual descriptions and input-output examples…

Sequentially Auditing Differential Privacy
Tom\'as Gonz\'alez, Mateo Dulce-Rubio, Aaditya Ramdas, M\'onica Ribero
https://arxiv.org/abs/2509.07055 https://

Sequentially Auditing Differential Privacy
We propose a practical sequential test for auditing differential privacy guarantees of black-box mechanisms. The test processes streams of mechanisms' outputs providing anytime-valid inference while controlling Type I error, overcoming the fixed sample size limitation of previous batch auditing methods. Experiments show this test detects violations with sample sizes that are orders of magnitude smaller than existing methods, reducing this number from 50K to a few hundred examples, across divers…

With a little experience, it's easy to identify website search queries that don't work. In this session, @… used live examples from several high-profile websites to demonstrate how to effectively break search. He explained what is meant by 'broken' search, the different types of failure and what these problems reveal about the underlying search…

Human-AI Schema Discovery and Application for Creative Problem Solving
Sitong Wang
https://arxiv.org/abs/2508.05045 https://arxiv.org/pdf/2508.05045…

Human-AI Schema Discovery and Application for Creative Problem Solving
Humans often rely on underlying structural patterns-schemas-to create, whether by writing stories, designing software, or composing music. Schemas help organize ideas and guide exploration, but they are often difficult to discover and apply, especially in complex or unfamiliar domains. My Ph.D. research develops a framework for human-AI schema discovery and application to support creative problem solving. I design systems that support users in sensemaking over examples to abstract schemas, and …

SymTFT actions, Condensable algebras and Categorical anomaly resolutions
Daniel Robbins, Subham Roy
https://arxiv.org/abs/2509.05408 https://arxiv.org/pdf/…

SymTFT actions, Condensable algebras and Categorical anomaly resolutions
We investigate symmetry topological field theories (SymTFTs) of non-abelian and non-invertible symmetries and the different Lagrangian algebras associated with a given Drinfeld center. For several examples we analyze the condensable algebras of the Drinfeld center to identify the intrinsically gapless symmetry protected topological (igSPT) phases. In previous work, the relation between igSPT phases and resolving anomalies by embedding an anomalous symmetry inside a larger fusion category was de…

Numbers with three close factorizations and central lattice points on hyperbolas
Tsz Ho Chan
https://arxiv.org/abs/2507.07094 https://

Numbers with three close factorizations and central lattice points on hyperbolas
In this paper, we continue the study of three close factorizations of an integer and correct a mistake of a previous result. This turns out to be related to lattice points close to the center point $(\sqrt{N}, \sqrt{N})$ of the hyperbola $x y = N$. We establish optimal lower bounds for $L^1$-distance between these lattice points and the center. We also give some good examples based on polynomials and Pell equations more systematically.

The Chow Ring of the 2-Sylow Subgroup of $\mathrm{GL}(4,2)$
Alexander Ziegler
https://arxiv.org/abs/2506.06512 https://arxiv.org/pdf/…

The Chow Ring of the 2-Sylow Subgroup of $\mathrm{GL}(4,2)$
This paper provides a computation of the mod 2 Chow ring of the motivic étale classifying space of the finite group $\mathrm{Syl}_2(\mathrm{GL}(4,2))$. It outlines a general computation strategy, adapted from work by Burt Totaro, that has been largely automated by the author. This strategy can be used to compute more examples of Chow rings of motivic étale classifying spaces quickly.

Kalman Filter Aided Federated Koopman Learning
Yutao Chen, Wei Chen
https://arxiv.org/abs/2507.04808 https://arxiv.org/pdf/2507.04808…

Kalman Filter Aided Federated Koopman Learning
Real-time control and estimation are pivotal for applications such as industrial automation and future healthcare. The realization of this vision relies heavily on efficient interactions with nonlinear systems. Therefore, Koopman learning, which leverages the power of deep learning to linearize nonlinear systems, has been one of the most successful examples of mitigating the complexity inherent in nonlinearity. However, the existing literature assumes access to accurate system states and abunda…

Rookie Gem Names Former Raiders Receivers as Examples He Follows https://www.si.com/nfl/raiders/las-vegas-davante-adams-cooper-kupp-los-angeles-rams-konata-mumpfield

Markov Perfect Equilibria in Discrete Finite-Player and Mean-Field Games
Felix H\"ofer, H. Mete Soner, Atilla Y{\i}lmaz
https://arxiv.org/abs/2507.04540

Markov Perfect Equilibria in Discrete Finite-Player and Mean-Field Games
We study dynamic finite-player and mean-field stochastic games within the framework of Markov perfect equilibria (MPE). Our focus is on discrete time and space structures without monotonicity. Unlike their continuous-time analogues, discrete-time finite-player games generally do not admit unique MPE. However, we show that uniqueness is remarkably recovered when the time steps are sufficiently small, and we provide examples demonstrating the necessity of this assumption. This result, established…

Node-neighbor subnetworks and Hk-core decomposition
Dinghua Shi, Yang Zhao, Guanrong Chen
https://arxiv.org/abs/2507.04948 https://ar…

Node-neighbor subnetworks and Hk-core decomposition
The network homology Hk-core decomposition proposed in this article is similar to the k-core decomposition based on node degrees of the network. The C. elegans neural network and the cat cortical network are used as examples to reveal the symmetry of the deep structures of such networks. First, based on the concept of neighborhood in mathematics, some new concepts are introduced, including such as node-neighbor subnetwork and Betti numbers of the neighbor subnetwork, among others. Then, the Bet…

Differential Geometry on Pointwise Affine Spaces
Dan Jonsson
https://arxiv.org/abs/2509.06748 https://arxiv.org/pdf/2509.06748

Differential Geometry on Pointwise Affine Spaces
We introduce an alternative formalization of curved spaces in which the concept of a pointwise affine space, as defined here, replaces that of a manifold. New or modified definitions of familiar notions from differential geometry such as connections, torsion, Riemann curvature, vector fields and differentiation of vector fields are presented, and examples of applications of the resulting framework are given. In general, the notions and results considered receive simpler and more transparent for…

One of the rare examples where #Microsoft actually created a software itself (instead of buying some 3rd party tool embracing it) was published as open source (MIT license): https://github.com/microsoft/BASIC-M65

VP wants examples of how we are "5x-ing our capacity" with AI, in a remarkable display of top-down wishful thinking
even supposing this were possible
any projects that are currently 5x beyond our capacity are _not being done_

The tensor triangular geometry of fully faithful functors
Beren Sanders
https://arxiv.org/abs/2508.02105 https://arxiv.org/pdf/2508.02105

The tensor triangular geometry of fully faithful functors
We prove that the map on Balmer spectra induced by a fully faithful geometric functor is a quotient map whose fibers are connected. This is an analogue of the Zariski Connectedness Theorem in algebraic geometry and it can be applied to a plethora of examples in equivariant and motivic mathematics. We isolate a significant source of examples by introducing the "concentration" of a tt-category at a well-behaved chosen set of compact generators. Various categories of cellular objects arise in this…

Exploring Exponential Runge-Kutta Methods: A Survey
Alessia and\`o, Nicol\`o Cangiotti, Mattia Sensi
https://arxiv.org/abs/2507.04024 https://

Exploring Exponential Runge-Kutta Methods: A Survey
In this survey, we provide an in-depth investigation of exponential Runge-Kutta methods for the numerical integration of initial-value problems. These methods offer a valuable synthesis between classical Runge-Kutta methods, introduced more than a century ago, and exponential integrators, which date back to the 1960s. This manuscript presents both a historical analysis of the development of these methods up to the present day and several examples aimed at making the topic accessible to a broad …

Weak solutions of port-Hamiltonian systems
Timo Reis
https://arxiv.org/abs/2509.05521 https://arxiv.org/pdf/2509.05521

Weak solutions of port-Hamiltonian systems
We consider port-Hamiltonian systems from a geometric perspective, where the quantities involved such as state, flows, and efforts evolve in (possibly infinite-dimensional) Banach spaces. The main contribution of this article is the introduction of a weak solution concept. In this framework we show that the derivative of the state naturally lives in a space that, for ordinary evolution equations, plays the role of an extrapolation space. Through examples, we demonstrate that this approach is co…

The Taylor Measure and its Applications
Athanasios Micheas
https://arxiv.org/abs/2508.04760 https://arxiv.org/pdf/2508.04760…

The Taylor Measure and its Applications
We propose and study a novel collection of signed measures, which will be apply called Taylor measures. Stochastic versions of the new measures are also defined and studied. We illustrate, through examples, how the deterministic and stochastic versions of the proposed Taylor measures emerge as a unifying framework that includes many concepts from mathematics and probability theory as special cases.

Using Large Language Models to Study Mathematical Practice
William D'Alessandro
https://arxiv.org/abs/2507.02873 https://arxiv.org/pdf/2507.02873

Using Large Language Models to Study Mathematical Practice
The philosophy of mathematical practice (PMP) looks to evidence from working mathematics to help settle philosophical questions. One prominent program under the PMP banner is the study of explanation in mathematics, which aims to understand what sorts of proofs mathematicians consider explanatory and what role the pursuit of explanation plays in mathematical practice. In an effort to address worries about cherry-picked examples and file-drawer problems in PMP, a handful of authors have recently…

On the rigidity of k-step nilpotent graph Lie algebras
Josefina Barrionuevo, Paulo Tirao
https://arxiv.org/abs/2507.04063 https://arx…

On the rigidity of k-step nilpotent graph Lie algebras
We thoroughly explore the class of k-step nilpotent Lie algebras associated with a simple graph looking for k-step nilpotent Lie algebras which are rigid in the variety of at most k-step nilpotent Lie algebras. We find out that, besides the complete graph, the only examples arise for k=2 and graphs of at most 4 vertices. A key tool to prove non-k-rigidity in this context, is a general construction of non-trivial deformations for naturally graded nilpotent Lie algebras.

Equivalent circuit modelling as a design tool for particle accelerator RF components
Dieter Pelz, Mark Boland
https://arxiv.org/abs/2507.06420 https://

Equivalent circuit modelling as a design tool for particle accelerator RF components
This paper presents a comprehensive approach to generating and utilizing accurate equivalent circuits for structures commonly found in the particle accelerator domain. After a discussion of equivalent circuits in general, a systematic process for determining the appropriate circuit topology is outlined, and a method for finding circuit element values is introduced. The proposed methodology is demonstrated in detail, supported by four illustrative examples. Equivalent circuit element values are …

On amenability constants of Fourier algebras: new bounds and new examples
Yemon Choi, Mahya Ghandehari
https://arxiv.org/abs/2507.05243 https://

On amenability constants of Fourier algebras: new bounds and new examples
Let $G$ be a locally compact group. If $G$ is finite then the amenability constant of its Fourier algebra, denoted by ${\rm AM}({\rm A}(G))$, admits an explicit formula [Johnson, JLMS 1994]; if $G$ is infinite then no such formula for ${\rm AM}({\rm A}(G))$ is known, although lower and upper bounds were established by Runde [PAMS 2006]. Using non-abelian Fourier analysis, we obtain a sharper upper bound for ${\rm AM}({\rm A}(G))$ when $G$ is discrete. Combining this with previous work of the fi…

Towards Personalized Explanations for Health Simulations: A Mixed-Methods Framework for Stakeholder-Centric Summarization
Philippe J. Giabbanelli, Ameeta Agrawal
https://arxiv.org/abs/2509.04646

Towards Personalized Explanations for Health Simulations: A Mixed-Methods Framework for Stakeholder-Centric Summarization
Modeling & Simulation (M&S) approaches such as agent-based models hold significant potential to support decision-making activities in health, with recent examples including the adoption of vaccines, and a vast literature on healthy eating behaviors and physical activity behaviors. These models are potentially usable by different stakeholder groups, as they support policy-makers to estimate the consequences of potential interventions and they can guide individuals in making healthy choices in co…

On mixed 't Hooft anomalies of emergent symmetries
Wei Gu, Du Pei, Xingyang Yu
https://arxiv.org/abs/2506.06432 https://arxiv.org…

On mixed 't Hooft anomalies of emergent symmetries
In this paper, we investigate the dynamical constraints imposed on the UV theory when it develops an emergent symmetry in the infrared with mixed 't Hooft anomalies. We demonstrate that, under certain conditions, the UV theory must contain non-genuine operators. Our primary examples illustrating this phenomenon are 2D gauged linear sigma models and 3D Chern-Simons-matter theories. Through this analysis, we establish connections between different classes of topological quantum field theories and…

Singular varieties and infinitesimal non-commutative Witt vectors
Ph\`ung H\^o Hai, Jo\~ao Pedro dos Santos, {\DJ}\`ao V\u{a}n Thinh
https://arxiv.org/abs/2507.06768

Singular varieties and infinitesimal non-commutative Witt vectors
Given a projective variety $X$ over an algebraically closed field $k$, M. V. Nori introduced in 1976 a group scheme $π(X)$ which accounts for principal bundles $P\to X$ with finite structure, obtaining in this way an amplification the etale fundamental group. One drawback of this theory is that it is quite difficult to arrive at an explicit description of $π(X)$, whenever it does not vanish altogether. To wit, there are no known non-trivial examples in the literature where $π(X)$ is local, o…

Decoupling geographical constraints from human mobility
https://www.nature.com/articles/s41562-025-02282-7
Finally out, very cool work, congrats to the authors @…

I'm not an anti-intellectualist, but I do believe people can overcomplicate things. I had a debate once with someone who argued “well, aren't we all migrants? All of humanity emerged from the African continent, so...” and I mean, sure, that's true, but now you're just playing with definitions of words rather than accepting the agreed upon definition in order to engage with this debate.
While people like Jordan Peterson are prominent examples of pseudo-intellectuals, who…

When a big Swiss company "restructures" itself and decides to reduce staff numbers, it's _always_ by closing locations and branches in the French- and Italian-speaking parts of the country first. Only then are impacted locations on the German-speaking side.
Always. Examples from history abound.
What kills me is how little people on the German-speaking side are aware about this fact, and how much resentment these practices have built against them in the past 35 years…

Well, my first conclusion after, well, about two weeks of using Linux Mint: mixed.
If you've been using Fedora Linux for years, it's a noticeable step backwards. What runs smoothly under Fedora, where devices are recognized without any problems, requires a little extra help with Mint - and often more time...
Examples: I have a Brother DCP3515 multifunction laser printer. Under Fedora, it is recognized immediately via WLAN and if you want to print something, it can be done…

Crowdsourced collection of examples of hidden e-waste in various products...
https://mastodon.green/@gerrymcgovern/114864772832309511

If the goal truly is to
“make America healthy,”
why are HHS life-saving programs for babies and young children being eliminated?
Here are just two examples,
of small and inexpensive live-saving programs being cut or gutted.
⭐️At a time when sudden unexpected infant deaths are on the rise,
the National Institutes of Health (NIH) has quietly pulled funding for the "Safe to Sleep" campaign,
a program that cut deaths from Sudden Infant Death S…

A GPU-Accelerated Three-Dimensional Crack Element Method for Transient Dynamic Fracture Simulation
Yuxi Xie, C. T. Wu, Wei Hu, Lu Xu, Tinh Q. Bui, Shaofan Li
https://arxiv.org/abs/2508.04076

A GPU-Accelerated Three-Dimensional Crack Element Method for Transient Dynamic Fracture Simulation
This work presents a novel three-dimensional Crack Element Method (CEM) designed to model transient dynamic crack propagation in quasi-brittle materials efficiently. CEM introduces an advanced element-splitting algorithm that enables element-wise crack growth, including crack branching. Based on the evolving topology of split elements, an original formulation for computing the fracture energy release rate in three dimensions is derived. A series of benchmark examples is conducted to demonstrate…

Non-residually finite $\tilde{C}_2$-lattices
Thomas Titz Mite, Stefan Witzel
https://arxiv.org/abs/2509.05054 https://arxiv.org/pdf/2509.05054

Non-residually finite $\tilde{C}_2$-lattices
We provide the first examples of lattices on irreducible buildings that are not residually finite. Assuming that the normal subgroup property holds for them (which is expected) five of the lattices are simple.

Hodge Duals in Spherical Compactifications
Arash Azizi
https://arxiv.org/abs/2507.06324 https://arxiv.org/pdf/2507.06324

Hodge Duals in Spherical Compactifications
We present a general formalism for computing the Hodge dual of differential forms in arbitrary dimensions subject to a spherical constraint. This problem arises naturally in Kaluza-Klein compactifications, where sphere reductions demand careful treatment of differential forms constrained to lie on embedded submanifolds. We derive an explicit expression for the Hodge dual of a $p$-form in the presence of such constraints and validate our general ansatz through illustrative examples in three dime…

A Novel Active Learning Approach to Label One Million Unknown Malware Variants
Ahmed Bensaoud, Jugal Kalita
https://arxiv.org/abs/2507.02959 https://

A Novel Active Learning Approach to Label One Million Unknown Malware Variants
Active learning for classification seeks to reduce the cost of labeling samples by finding unlabeled examples about which the current model is least certain and sending them to an annotator/expert to label. Bayesian theory can provide a probabilistic view of deep neural network models by asserting a prior distribution over model parameters and estimating the uncertainties by posterior distribution over these parameters. This paper proposes two novel active learning approaches to label one milli…

Transition from Continuous to Jumping Solutions in 2D Quasi-static Elastic Contact Problems with Coulomb Friction: the Mathematics Underlying the Onset of Brake Squeal
Patrick Ballard, Flaviana Iurlano
https://arxiv.org/abs/2508.04863

Transition from Continuous to Jumping Solutions in 2D Quasi-static Elastic Contact Problems with Coulomb Friction: the Mathematics Underlying the Onset of Brake Squeal
We formulate the quasi-static elastic contact problem with Coulomb friction in a very general setting, with possible jumps in time for both the load and the solution. Exploiting ideas originating in our recent paper [4], we exhibit an optimal condition on the magnitude of the friction coefficient under which we prove the existence of an absolutely continuous solution for arbitrary absolutely continuous loads in the case of the most general 2D problem. We provide examples showing that, when the …

On Fixed Point Theorems in Bipolar Metric Spaces Involving Polynomial-Type Contractions
Gopinath Janardhanan, Gunaseelan Mani, Nancy Delaila John Kennedy, Ya\'e Ulrich Gaba
https://arxiv.org/abs/2508.05566

On Fixed Point Theorems in Bipolar Metric Spaces Involving Polynomial-Type Contractions
In this paper, we investigate the existence and uniqueness of fixed points for self-mappings defined on bipolar metric spaces using a new class of contractive conditions, namely polynomial-type contractions. Our main results establish sufficient conditions under which a mapping on a complete bipolar metric space admits a UFP. Several illustrative examples are provided to demonstrate the applicability of our theorems, and we further show how our results generalize and improve upon existing fixed…

Quadratic Chabauty Experiments on Genus 2 Bielliptic Modular Curves in the LMFDB
Kate Finnerty
https://arxiv.org/abs/2507.03784 https://

Quadratic Chabauty Experiments on Genus 2 Bielliptic Modular Curves in the LMFDB
We present results of quadratic Chabauty experiments on genus 2 bielliptic modular curves of Jacobian rank 2 that have recently been added to the LMFDB. We apply quadratic Chabauty methods over both the rationals and quadratic imaginary fields. In a number of cases, the experiments yielded algebraic irrational points among the set of mock rational points. We highlight specific notable examples, including the non-split Cartan modular curve $X^+_{ns}(15)$. Lastly, we offer a conjecture relating t…

Joyce structures from quadratic differentials on the sphere
Timothy Moy
https://arxiv.org/abs/2509.05275 https://arxiv.org/pdf/2509.05275

Joyce structures from quadratic differentials on the sphere
Motivated by known examples of Joyce structures on spaces of meromorphic quadratic differentials, we consider the isomonodromic deformations of particular second-order linear ODEs with rational potential. We show the infinitesimal isomonodromic deformations are the kernel of a closed $2$-form arising from the intersection pairing of an algebraic curve defined by the potential. This observation enables us to construct Joyce structures on a class of moduli spaces of meromorphic quadratic differen…

On torus equivariant $S^4$-bundles over $S^4$ and Petrie-type questions for GKM manifolds
Oliver Goertsches, Panagiotis Konstantis, Leopold Zoller
https://arxiv.org/abs/2509.03100

On torus equivariant $S^4$-bundles over $S^4$ and Petrie-type questions for GKM manifolds
We classify $T^2$-GKM fibrations in which both fiber and base are the GKM graph of $S^4$, with standard weights in the base. For each case in which the total space is orientable, we construct, by explicit clutching, a realization as a $T^2$-equivariant linear $S^4$-bundle over $S^4$. We determine which of the total spaces of these examples are non-equivariantly homotopy equivalent, homeomorphic or diffeomorphic, thereby finding many examples of a) pairs of homotopy equivalent, non-homeomorphic …

How to Retrieve Examples in In-context Learning to Improve Conversational Emotion Recognition using Large Language Models?
Mengqi Wang, Tiantian Feng, Shrikanth Narayanan
https://arxiv.org/abs/2506.20199

How to Retrieve Examples in In-context Learning to Improve Conversational Emotion Recognition using Large Language Models?
Large language models (LLMs) have enabled a wide variety of real-world applications in various domains. However, creating a high-performing application with high accuracy remains challenging, particularly for subjective tasks like emotion recognition. Inspired by the SLT 2024 GenSER Challenge, this study investigates approaches to improving conversational emotion recognition (CER) by LLMs. Specifically, we explore how to retrieve high-quality examples in in-context learning (ICL) to enhance CER…

Characterization of Linear Measurements in Cavity Optomechanics: Examples and Applications
F. Bemani, O. \v{C}ernot\'ik, R. Filip
https://arxiv.org/abs/2508.21419 https://…

Characterization of Linear Measurements in Cavity Optomechanics: Examples and Applications
Detailed understanding of physical measurements is essential for devising efficient metrological strategies and measurement-feedback schemes, as well as finding fundamental limitations on measurement sensitivity. In the quantum regime, measurements modify the state of the system of interest through measurement backaction as a direct consequence of the Heisenberg principle. In cavity optomechanics and electromechanics, a plethora of strategies exist for measuring the mechanical motion using elec…

Generic infinite generation, fixed-point-poor representations and compact-element abundance in disconnected Lie groups
Alexandru Chirvasitu
https://arxiv.org/abs/2507.04065

Generic infinite generation, fixed-point-poor representations and compact-element abundance in disconnected Lie groups
The semidirect product $\mathbb{G}=\mathbb{L}\rtimes \mathbb{K}$ attached to a compact-group action on a connected, simply-connected solvable Lie group has a dense set of compact elements precisely when the $s\in \mathbb{K}$ operating on $\mathbb{L}$ fixed-point-freely constitute a dense set. This (along with a number of alternative equivalent characterizations) extends the Wu's analogous result for connected Lie $\mathbb{K}$, and also provides ample supplies of examples of almost-connected Lie…

On flexibility of affine factorial varieties
Ivan Arzhantsev, Kirill Shakhmatov
https://arxiv.org/abs/2508.04831 https://arxiv.org/pdf/2508.04831

On flexibility of affine factorial varieties
We give a criterion of factoriality of a suspension. This allows to construct many examples of flexible affine factorial varieties. In particular, we find a homogeneous affine factorial 3-fold that is not a homogeneous space of an algebraic group.

Rational maps with constant Thurston pullback mapping
Guizhen Cui, Yiran Wang
https://arxiv.org/abs/2507.04215 https://arxiv.org/pdf/…

Rational maps with constant Thurston pullback mapping
In this paper, we study CTP maps, that is, marked rational maps with constant Thurston pullback mapping. We prove that all the regular or mixing CTP polynomials satisfy McMullen's condition. Additionally, we construct a new class of examples of CTP maps.

From Text to Trajectories: GPT-2 as an ODE Solver via In-Context
Ziyang Ma, Baojian Zhou, Deqing Yang, Yanghua Xiao
https://arxiv.org/abs/2508.03031 https://

From Text to Trajectories: GPT-2 as an ODE Solver via In-Context
In-Context Learning (ICL) has emerged as a new paradigm in large language models (LLMs), enabling them to perform novel tasks by conditioning on a few examples embedded in the prompt. Yet, the highly nonlinear behavior of ICL for NLP tasks remains poorly understood. To shed light on its underlying mechanisms, this paper investigates whether LLMs can solve ordinary differential equations (ODEs) under the ICL setting. We formulate standard ODE problems and their solutions as sequential prompts an…

When can minimal hypersurfaces be connected by mean curvature flow?
Jingwen Chen, Pedro Gaspar
https://arxiv.org/abs/2507.03837 https://

When can minimal hypersurfaces be connected by mean curvature flow?
From the perspective of Morse theory, it is natural to investigate gradient flow trajectories between critical points. In this short note, we explore the minimal hypersurface analogue of this phenomenon and present examples that suggest additional topological and variational obstructions to the existence of connecting mean curvature flows.

Harmonic analysis and automatic continuity in the context of generalized differential subalgebras
Felipe I. Flores
https://arxiv.org/abs/2508.05569 https://

Harmonic analysis and automatic continuity in the context of generalized differential subalgebras
For appropriate parameters $k,p,q$, we introduce and systematically study the class of $(k,p,q)$-differential subalgebras. This is a vast class of Banach $^*$-algebras defined by their relation with their $C^*$-envelopes. Some examples are given by normable two-sided $^*$-ideals, domains of closed $^*$-derivations, full Hilbert algebras, and some weighted convolution algebras of various kinds. We prove that this class of algebras possesses various interesting properties, such as closedness unde…

Flat connections at infinity on knot surgery manifolds
Aditya Dwivedi, Archana Maji, Dmitry Noshchenko, Ramadevi Pichai
https://arxiv.org/abs/2509.05270 https://

Flat connections at infinity on knot surgery manifolds
$\rm SL(2,\mathbb{C})$ Chern-Simons theory on a closed 3-manifold is one of the most interesting, yet tractable examples of a QFT. On one hand, its non-perturbative structure is not yet fully understood; on the other, the mathematical structure turns out to be very rich. In this work we explore the new phenomenon of flat connections at infinity on various knot surgery manifolds. Such flat connections can be understood as asymptotic ends in the non-compact moduli space of flat $\rm SL(2,\mathbb{…

Simple totally disconnected locally compact groups separated by finiteness properties
Laura Bonn, Sebastian Giersbach
https://arxiv.org/abs/2509.05101 https://

Simple totally disconnected locally compact groups separated by finiteness properties
We construct a sequence of simple non-discrete totally disconnected locally compact (tdlc) groups separated by finiteness properties; that is, for every positive integer $n$ there exists a simple non-discrete tdlc group that is of type $F_{n-1}$ but not of type $FP_n$. This generalizes a result of Skipper--Witzel--Zaremsky for discrete groups. Furthermore, we construct a simple non-discrete tdlc group that is of type $FP_2$ but not compactly presented. Our examples arise as Smith groups $\mathc…

CardiffNLP at CLEARS-2025: Prompting Large Language Models for Plain Language and Easy-to-Read Text Rewriting
Mutaz Ayesh, Nicol\'as Guti\'errez-Rol\'on, Fernando Alva-Manchego
https://arxiv.org/abs/2508.03240

CardiffNLP at CLEARS-2025: Prompting Large Language Models for Plain Language and Easy-to-Read Text Rewriting
This paper details the CardiffNLP team's contribution to the CLEARS shared task on Spanish text adaptation, hosted by IberLEF 2025. The shared task contained two subtasks and the team submitted to both. Our team took an LLM-prompting approach with different prompt variations. While we initially experimented with LLaMA-3.2, we adopted Gemma-3 for our final submission, and landed third place in Subtask 1 and second place in Subtask 2. We detail our numerous prompt variations, examples, and experi…

Bounding the number of limit cycles in piecewise linear differential systems: methodology and worked examples
Victoriano Carmona, Fernando Fern\'andez-S\'anchez, Douglas D. Novaes
https://arxiv.org/abs/2508.02321

Bounding the number of limit cycles in piecewise linear differential systems: methodology and worked examples
In 2012, Huan and Yang introduced the first piecewise linear differential system with two zones separated by a straight line having at least three limit cycles, serving as a counterexample to the Han-Zhang conjecture that said that such systems have no more than two limit cycles. Over the past decade, extensive research has been conducted to explore periodic solutions in piecewise linear differential systems. However, the question of whether the Huan-Yang example indeed has exactly three limit …

NCCR: to Evaluate the Robustness of Neural Networks and Adversarial Examples
Pu Shi
https://arxiv.org/abs/2507.21483 https://arxiv.org/pdf/2507.21483

NCCR: to Evaluate the Robustness of Neural Networks and Adversarial Examples
Neural networks have received a lot of attention recently, and related security issues have come with it. Many studies have shown that neural networks are vulnerable to adversarial examples that have been artificially perturbed with modification, which is too small to be distinguishable by human perception. Different attacks and defenses have been proposed to solve these problems, but there is little research on evaluating the robustness of neural networks and their inputs. In this work, we pro…

Almost local integrable models from supersymmetry algebras
Somnath Maity, Pramod Padmanabhan, Jarmo Hietarinta, Vladimir Korepin
https://arxiv.org/abs/2508.04315 https://…

Almost local integrable models from supersymmetry algebras
Supersymmetry algebras can be used to obtain algebraic expressions for constant Yang-Baxter solutions, also known as braid group generators. This was done for non-invertible braid operators in \cite{maity2025non}. In this work we extend this construction for the invertible ones. The resulting expressions are then shown to obey relations analogous to those satisfied by quotients of braid groups. Examples of the latter include the Iwahori-Hecke algebra and the Birman-Murakami-Wenzl (BMW) algebra.…