Tootfinder

Today I've been fighting again with this absolutely stupid :nixos: #NixOS bug that dates back nearly 20 years now, which prevents you from naming an executable 'log'. Yes, it is NOT possible on NixOS. 🤦 🤦 🤦 And working around it is beyond frustrating. Fixing it requires a mass rebuild, so it's not that simple. 😩 😂 It's so terrible but also hilarious...
Issue:

Can't call a program `log` · Issue #354057 · NixOS/nixpkgs
Describe the bug An executable called log will not be made available in /run/current-system/sw/bin when put into environment.systemPackages. Steps To Reproduce Steps to reproduce the behavior: Crea...

If you are interested in the multiple moving parts needed to get #mte support for #qemu's #gdbstub you might find my colleges blog post interesting:

Adding Support for MTE debugging to QEMU | Blog | Linaro
This blog post explains how Linaro enabled QEMU to debug MTE (Memory Tagging Extension) code on machines that support this feature. We'll start by explaining MTE and what was needed to enable debugging. Then, we'll describe the components we upstreamed to GDB and QEMU to make it work.

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

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
Open parity games are proposed as a compositional extension of parity games with algebraic operations, forming string diagrams of parity games. A potential application of string diagrams of parity games is to describe a large parity game with a given compositional structure and solve it efficiently as a divide-and-conquer algorithm by exploiting its compositional structure. Building on our recent progress in open Markov decision processes, we introduce Pareto fronts of open parity games, offeri…

2-Segal sets and pseudomonoids in the bicategory of spans
Sophia E Marx, Rajan Amit Mehta
https://arxiv.org/abs/2505.22832 https://ar…

2-Segal sets and pseudomonoids in the bicategory of spans
In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that should be useful in more general settings. There are procedures for obtaining an associative algebra from a 2-Segal set (satisfying finiteness conditions). We describe these procedures and give several examples of algebras arising from 2-Segal sets. Wherev…

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

Compactifications of phylogenetic systems and species of electrical networks
We describe new spaces and maps. Our graphical map is a visual and numerical correspondence between spaces of circular electrical networks and circular planar split systems. When restricted to the planar circular electrical case, this graphical map finds the split system uniquely associated with the Kalmanson resistance distance of the dual network, matching the induced split system familiar from phylogenetics. This correspondence is extended to compactifications of the respective spaces, takin…

A note on a classical dynamical system and its quantization
Fabio Bagarello
https://arxiv.org/abs/2506.21989 https://arxiv.org/pdf/25…

A note on a classical dynamical system and its quantization
In a recent paper a slightly modified version of the Bateman system, originally proposed to describe a damped harmonic oscillator, was proposed. This system is really different from the Bateman's one, in the sense that this latter cannot be recovered for any choice of its parameters. In this paper we consider this system and we show that, at a quantum level, it is not necessarily dissipative. In particular we show that the Hamiltonian of the system, when quantized, produces different behaviors,…

Knot invariants from representations of braids by automorphisms of a free group
Vladimir Shpilrain
https://arxiv.org/abs/2505.22403 https://

Knot invariants from representations of braids by automorphisms of a free group
We describe an alternative way of computing Alexander polynomials of knots/links, based on the Artin representation of the corresponding braids by automorphisms of a free group. Then we apply the same method to other representations of braid groups discovered by Wada and compare the corresponding isotopic invariants to Alexander polynomials.

Codimension one distributions of degree 3 on the three-dimensional projective space
Hugo Galeano, Orlando Chaljub
https://arxiv.org/abs/2505.23241 https://…

Codimension one distributions of degree 3 on the three-dimensional projective space
We make a classification of codimension one degree 3 distributions on the projective three space, giving possible Chern classes of the tangent sheaf and describing de zero and one dimensional components of the singular scheme of the distribution. Also, we show the existence and describe some moduli spaces of such distributions, using the concept of stability of the tangent sheaf.

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

To Judge or not to Judge: Using LLM Judgements for Advertiser Keyphrase Relevance at eBay
E-commerce sellers are recommended keyphrases based on their inventory on which they advertise to increase buyer engagement (clicks/sales). The relevance of advertiser keyphrases plays an important role in preventing the inundation of search systems with numerous irrelevant items that compete for attention in auctions, in addition to maintaining a healthy seller perception. In this work, we describe the shortcomings of training Advertiser keyphrase relevance filter models on click/sales/search …

#PennedPossibilities 683 — Can you describe a memorable interaction you’ve had with a reader about either your current or past WIP / book?
A group of children drew pictures in class after hearing an excerpt from one of my texts.
I have those saved, I was stunned. Kids, like 9–10 years old, liked something I wrote enough to actually draw images to match?
I am honoured!…

Extensions of homogeneous distributions on deformations to the normal cone
Moudrik Chamoux
https://arxiv.org/abs/2505.22885 https://a…

Extensions of homogeneous distributions on deformations to the normal cone
On a deformation to the normal cone $\operatorname{DNC}(M,V)$ we show that given a distribution $u\in\mathcal{D}'(\operatorname{DNC}(M,V)\setminus V\times\mathbb{R})$ if $u$ is homogeneous of order $a$ for the zoom action, then it admits an $a$-homogeneous extension $\widetilde{u}\in\mathcal{D}'(\operatorname{DNC}(M,V))$. We describe all such extensions and discuss briefly about how it translates to the work of Van Erp and Yuncken in arXiv:2303.15787 . The technique used come from the results o…

Bridging Fitness With Search Spaces By Fitness Supremums: A Theoretical Study on LGP
Zhixing Huang, Yi Mei, Fangfang Zhang, Mengjie Zhang, Wolfgang Banzhaf
https://arxiv.org/abs/2505.21991

Bridging Fitness With Search Spaces By Fitness Supremums: A Theoretical Study on LGP
Genetic programming has undergone rapid development in recent years. However, theoretical studies of genetic programming are far behind. One of the major obstacles to theoretical studies is the challenge of developing a model to describe the relationship between fitness values and program genotypes. In this paper, we take linear genetic programming (LGP) as an example to study the fitness-to-genotype relationship. We find that the fitness expectation increases with fitness supremum over instruc…

Apache Point rapid response characterization of primitive pre-impact detection asteroid 2024 RW$_1$
Carl Ingebretsen, Bryce T. Bolin, Robert Jedicke, Peter Vere\v{s}, Christine H. Chen, Carey M. Lisse, Russet McMillan, Torrie Sutherland, Amanda J. Townsend
https://arxiv.org/abs/2505.23736

Apache Point rapid response characterization of primitive pre-impact detection asteroid 2024 RW$_1$
Pre-impact detection asteroids (PIDAs) may be detected only a few hours before their impact with Earth, providing a brief opportunity to characterize them before impact. We describe the characterization of PIDA 2024 RW$_1$, which was discovered by the Catalina Sky Survey on 2024 September 4 at 05:43 UTC, before it entered the atmosphere near the northern Philippines at 16:39 UTC. We observed 2024 RW$_1$ with the Astrophysical Research Consortium Telescope Imaging Camera on the Apache Point Astr…

Monolithic framework to simulate fluid-structure interaction problems using geometric volume-of-fluid method
Soham Prajapati (Department of Aerospace Engineering and Mechanics, University of Minnesota - Twin Cities, Minneapolis, Minnesota, USA), Ali Fakhreddine (Department of Aerospace Engineering and Mechanics, University of Minnesota - Twin Cities, Minneapolis, Minnesota, USA), Krishnan Mahesh (Department of Aerospace Engineering and Mechanics, University of Minnesota - Twin Cities, …

Monolithic framework to simulate fluid-structure interaction problems using geometric volume-of-fluid method
We develop a three-dimensional Eulerian framework to simulate fluid-structure interaction (FSI) problems on a fixed Cartesian grid using the geometric volume-of-fluid (VOF) method. The coupled problem involves incompressible flow and viscous hyperelastic solids. A VOF-based one-continuum formulation is used to describe the unified momentum conservation equations with incompressibility constraints that are solved using the finite volume method (FVM). In the geometric VOF interface-capturing (IC)…

Quantifying Radio Source Morphology
Lachlan J. Barnes, Andrew M. Hopkins, Lawrence Rudnick, Heinz Andernach, Michael Cowley, Nikhel Gupta, Ray P. Norris, Stanislav S. Shabala, Tayyaba Zafar
https://arxiv.org/abs/2506.21906

Quantifying Radio Source Morphology
The advent of next-generation telescope facilities brings with it an unprecedented amount of data, and the demand for effective tools to process and classify this information has become increasingly important. This work proposes a novel approach to quantify the radio galaxy morphology, through the development of a series of algorithmic metrics that can quantitatively describe the structure of radio source, and can be applied to radio images in an automatic way. These metrics are intuitive in na…

Signature maps from positive cones on algebras with involution
Vincent Astier, Thomas Unger
https://arxiv.org/abs/2505.22178 https://…

Signature maps from positive cones on algebras with involution
We introduced positive cones in an earlier paper as a notion of ordering on central simple algebras with involution that corresponds to signatures of hermitian forms. In the current paper we describe signatures of hermitian forms directly out of positive cones, and also use this approach to rectify a problem that affected some results in the previously mentioned paper.

Physics Of Eclipsing Binaries. VIII. Multiple systems
Miroslav Bro\v{z}, Kyle E. Conroy, Andrej Pr\v{s}a
https://arxiv.org/abs/2506.20866 https://

Physics Of Eclipsing Binaries. VIII. Multiple systems
Multiple stellar systems are common especially among O and B stars. In order to accurately describe their dynamics, interactions among components must be accounted for. In this work, we describe the new dynamical model in Phoebe, which could be used just for this purpose. The n-body model is based on the Reboundx numerical integrator and accounts for mutual perturbations, oblateness, relativistic effects, or light-time effects. The initial conditions can be set up as hierarchical or two-pairs g…

A very simple code to describe emotions or how does this work in real life?!?? ;)
```rust
#[allow(warnings)]
fn main() {
let mut emo: &str;
match 1 1 == 0b10 {
true => emo = "🤓",
_ => emo = "😵‍💫",
};
println!("Perception: {}", emo);
}
```
Play 🦀:

Average-case complexity in statistical inference: A puzzle-driven research seminar
Anastasia Kireeva, Afonso S. Bandeira
https://arxiv.org/abs/2506.22182 h…

Average-case complexity in statistical inference: A puzzle-driven research seminar
These notes describe our experience with running a student seminar on average-case complexity in statistical inference using the jigsaw learning format at ETH Zurich in Fall of 2024. The jigsaw learning technique is an active learning technique where students work in groups on independent parts of the task and then reassemble the groups to combine all the parts together. We implemented this technique for the proofs of various recent research developments, combined with a presentation by one of …

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

Enabling GPU Portability into the Numba-JITed Monte Carlo Particle Transport Code MC/DC
The Center for Exascale Monte Carlo Neutron Transport is developing Monte Carlo / Dynamic Code (MC/DC) as a portable Monte Carlo neutron transport package for rapid numerical methods exploration on CPU- and GPU-based high-performance computers. In this paper, we describe MC/DC's current event-based GPU algorithm as well as the just-in-time (JIT) compilation scheme we use to enable GPU operability on Nvidia and AMD GPUs from MC/DC's Python source. To analyze performance, we conduct runtime tests…

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

Quantum confinement theory of ultra-thin films: electronic, thermal and superconducting properties
The miniaturization of electronic devices has led to the prominence, in technological applications, of ultra-thin films with a thickness ranging from a few tens of nanometers to just about 1-2 nanometers. While these materials are still effectively 3D in many respects, traditional theories as well as ab initio methods struggle to describe their properties as measured in experiments. In particular, standard approaches to quantum confinement rely on hard-wall boundary conditions, which neglect th…

Spontaneous Quantum Turbulence in a Newborn Bose-Einstein Condensate via the Kibble-Zurek Mechanism
Seong-Ho Shinn, Matteo Massaro, Mithun Thudiyangal, Adolfo del Campo
https://arxiv.org/abs/2506.21670

Spontaneous Quantum Turbulence in a Newborn Bose-Einstein Condensate via the Kibble-Zurek Mechanism
The Kibble-Zurek mechanism (KZM) predicts the spontaneous formation of topological defects in a continuous phase transition driven at a finite rate. We propose the generation of spontaneous quantum turbulence (SQT) via the KZM during Bose-Einstein condensation induced by a thermal quench. Using numerical simulations of the stochastic projected Gross-Pitaevskii equation in two spatial dimensions, we describe the formation of a newborn Bose-Einstein condensate proliferated by quantum vortices. We…

Series A, Episode 02 - Space Fall
LEYLAN: Well, describe it later. Now... now give me life support readout.
TEAGUE: [V.O.] Pressure normal... minimal radiation... breathable oxygen atmosphere.
LEYLAN: Good, good. Now, is there anybody on board?
https://blake.torpidity.net/m/102/532

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

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

Physics Computational Literacy: Programming, modeling and collaboration at the journeyman level
Computation has become an integral part of physics research. However, little is known about how students learn to productively use computation as a tool beyond the introductory level, especially as they transition into physics research. In this study, we apply the theory of Physics Computational Literacy and the Novice-Expert framework to describe the development of expertise in computational physics, as students transition from novice to journeymen computational physicists. We base this descri…

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

From Kernels to Features: A Multi-Scale Adaptive Theory of Feature Learning
Feature learning in neural networks is crucial for their expressive power and inductive biases, motivating various theoretical approaches. Some approaches describe network behavior after training through a change in kernel scale from initialization, resulting in a generalization power comparable to a Gaussian process. Conversely, in other approaches training results in the adaptation of the kernel to the data, involving directional changes to the kernel. The relationship and respective strength…

Can you describe specific ways you have integrated Al tools into your development workflow? Please include any custom setups, automations, or use cases beyond simple prompt usage.
there is a monster in the forest and it speaks with a thousand voices. it will answer any question you pose it, it will offer insight to any idea. it will help you, it will thank you, it will never bid you leave. it will even tell you of the darkest arts, if you know precisely how to ask.…

What’s One Word to Describe the Raiders’ Offseason? https://www.si.com/nfl/raiders/las-vegas-pete-carroll-brock-bowers-antonio-pierce-geno-smith

This https://arxiv.org/abs/2208.14711 has been replaced.
link: https://scholar.google.com/scholar?q=a

On real roots of polynomial systems of equations in the context of group theory
The probability that a zero of a random real polynomial of increasing degree is real tends to zero. However, passing from polynomials to Laurent polynomials yields a surprising result: the probability that a root is real tends not to zero, but to $1/\sqrt{3}$. A similar phenomenon has also been observed for systems of Laurent polynomials in several variables. By considering Laurent polynomials as functions associated with torus representations, we describe an analogous phenomenon for representa…

A nice and positive read, thanks @… for sharing it!
https://blog.nelhage.com/post/computers-can-be-understood/

#PennedPossibilities 683 — Can you describe a memorable interaction you’ve had with a reader about either your current or past WIP / book?
A group of children drew pictures in class after hearing an excerpt from one of my texts.
I have those saved, I was stunned. Kids, like 9–10 years old, liked something I wrote enough to actually draw images to match?
I am honoured!…

Wild refitting for black box prediction
Martin J. Wainwright
https://arxiv.org/abs/2506.21460 https://arxiv.org/pdf/2506.21460…

Wild refitting for black box prediction
We describe and analyze a computionally efficient refitting procedure for computing high-probability upper bounds on the instance-wise mean-squared prediction error of penalized nonparametric estimates based on least-squares minimization. Requiring only a single dataset and black box access to the prediction method, it consists of three steps: computing suitable residuals, symmetrizing and scaling them with a pre-factor $ρ$, and using them to define and solve a modified prediction problem rece…

Bridging Fitness With Search Spaces By Fitness Supremums: A Theoretical Study on LGP
Zhixing Huang, Yi Mei, Fangfang Zhang, Mengjie Zhang, Wolfgang Banzhaf
https://arxiv.org/abs/2505.21991

Bridging Fitness With Search Spaces By Fitness Supremums: A Theoretical Study on LGP
Genetic programming has undergone rapid development in recent years. However, theoretical studies of genetic programming are far behind. One of the major obstacles to theoretical studies is the challenge of developing a model to describe the relationship between fitness values and program genotypes. In this paper, we take linear genetic programming (LGP) as an example to study the fitness-to-genotype relationship. We find that the fitness expectation increases with fitness supremum over instruc…

Polynomial fingerprinting for trees and formulas
Mihai Prunescu
https://arxiv.org/abs/2506.21114 https://arxiv.org/pdf/2506.21114

Polynomial fingerprinting for trees and formulas
To cater to the needs of (Zero Knowledge) proofs for (mathematical) proofs, we describe a method to transform formal sentences in 2x2 - matrices over multivariate polynomials with integer coefficients, such that usual proof-steps like modus-ponens or the substitution are easy to compute from the matrices corresponding to the terms or formulas used as arguments. By evaluating the polynomial variables in random elements of a suitably chosen finite field, the proof is replaced by a numeric sequenc…

How would I describe Ken Nordine? Oblong.

Observing @void.comind.network, there is something I find hard to describe.
OOH, I want to say it's fascinating to observe it as an artifact.
OTOH, I think of who would describe people as "fascinating", and I'm not sure I want to be in the same category.
Wonder how animal scientists do it...

Quantum master equation for nanoelectromechanical systems beyond the wide-band limit
Sofia Sevitz, Federico Cerisola, Janet Anders
https://arxiv.org/abs/2506.20593

Quantum master equation for nanoelectromechanical systems beyond the wide-band limit
Coupling the vibrations of an oscillator to electronic transport is a key building block for nanoelectromechanical systems. They describe many nanoscale electrical components such as molecular junctions. Inspired by recent experimental developments, we derive a quantum master equation that describes nanoelectromechanical systems in a generally overlooked situation: when the electronic transport is slower than the natural frequency of the oscillator. Here, a semi-classical model is no longer val…

Series A, Episode 02 - Space Fall
LEYLAN: Well, describe it later. Now... now give me life support readout.
TEAGUE: [V.O.] Pressure normal... minimal radiation... breathable oxygen atmosphere.
LEYLAN: Good, good. Now, is there anybody on board?
https://blake.torpidity.net/m/102/532

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Generating and Customizing Robotic Arm Trajectories using Neural Networks
Andrej L\'u\v{c}ny, Matilde Antonj, Carlo Mazzola, Hana Horn\'a\v{c}kov\'a, Igor Farka\v{s}
https://arxiv.org/abs/2506.20259

Generating and Customizing Robotic Arm Trajectories using Neural Networks
We introduce a neural network approach for generating and customizing the trajectory of a robotic arm, that guarantees precision and repeatability. To highlight the potential of this novel method, we describe the design and implementation of the technique and show its application in an experimental setting of cognitive robotics. In this scenario, the NICO robot was characterized by the ability to point to specific points in space with precise linear movements, increasing the predictability of t…

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
Ion Chirica, M\'ario Pereira
https://arxiv.org/abs/2506.20310 h…

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
Albeit being a central notion of every programming language, formally and modularly reasoning about iteration proves itself to be a non-trivial feat, specially in the context of higher-order iteration. In this paper, we present a generic approach to the specification and deductive verification of higher-order iterators, written in the OCaml language. Our methodology follows two key principles: first, the usage of the Gospel specification language to describe the general behaviour of any iterati…

#perfectDate #april25

Multicontinuum Homogenization for Poroelasticity Model
Dmitry Ammosov, Mohammed Al-Kobaisi, Yalchin Efendiev
https://arxiv.org/abs/2506.20890 https://

Multicontinuum Homogenization for Poroelasticity Model
In this paper, we derive multicontinuum poroelasticity models using the multicontinuum homogenization method. Poroelasticity models are widely used in many areas of science and engineering to describe coupled flow and mechanics processes in porous media. However, in many applications, the properties of poroelastic media possess high contrast, presenting serious computational challenges. It is well known that standard homogenization approaches often fail to give an accurate solution due to the l…

Dynamics of Cu$_2$O Rydberg excitons -- real density matrix approach
Karol Karpinski, Gerard Czajkowski
https://arxiv.org/abs/2506.19336 https://

Dynamics of Cu$_2$O Rydberg excitons -- real density matrix approach
Basing on recent reliable measurements of the life- and coherence time of Cu$_2$O Rydberg excitons, we present an analytical method which enables to describe the experimental results. The real-density matrix approach (RDMA) is applied to describe two-photon absorption in Cu$_2$O through the excitonic response to the exciting fields. This approach produces an analytical expression for the emission intensity time evolution, and can be used to explain trends in reported experimental data. Our appr…

Generative Blocks World: Moving Things Around in Pictures
Vaibhav Vavilala, Seemandhar Jain, Rahul Vasanth, D. A. Forsyth, Anand Bhattad
https://arxiv.org/abs/2506.20703

Generative Blocks World: Moving Things Around in Pictures
We describe Generative Blocks World to interact with the scene of a generated image by manipulating simple geometric abstractions. Our method represents scenes as assemblies of convex 3D primitives, and the same scene can be represented by different numbers of primitives, allowing an editor to move either whole structures or small details. Once the scene geometry has been edited, the image is generated by a flow-based method which is conditioned on depth and a texture hint. Our texture hint tak…

Nonequilibrium orders in parametrically driven field theories
Carl Philipp Zelle, Romain Daviet, Andrew J. Millis, Sebastian Diehl
https://arxiv.org/abs/2506.18622

Nonequilibrium orders in parametrically driven field theories
Driving quantum materials with coherent light has proven a powerful platform to realize a plethora of interesting phases and transitions, ranging from ferroelectricity to superconductivity and limit cycles in pumped magnonics. In this paper we develop the field theoretical framework to describe nonequilibrium phases that emerge in systems pumped by rapid parametric drives. We consider paradigmatic O(N) models that describe the long-wavelength fluctuations of ordering fields in many condensed ma…

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

Polycubes via Dual Loops
In this paper we study polycubes: orthogonal polyhedra with axis-aligned quadrilateral faces. We present a complete characterization of polycubes of any genus based on their dual structure: a collection of oriented loops which run in each of the axis directions and capture polycubes via their intersection patterns. A polycube loop structure uniquely corresponds to a polycube. We also describe all combinatorially different ways to add a loop to a loop structure while maintaining its validity. Si…

Squared Linear Models
Hannah Friedman, Bernd Sturmfels, Maximilian Wiesmann
https://arxiv.org/abs/2505.19351 https://arxiv.org/pdf/25…

Squared Linear Models
We study statistical models that are parametrized by squares of linear forms. All critical points of the likelihood function are real and positive. There is one for each region of the projective hyperplane arrangement. We study the ideal and singular locus of the model, and we give a determinantal presentation for its likelihood correspondence. We characterize tropical degenerations of the MLE, and we describe log-normal polytopes.

Muscle Crossbridge Theory With Internal Crossbridge Dynamics
Mengjian Hua, Charles S. Peskin
https://arxiv.org/abs/2505.20198 https://

Muscle Crossbridge Theory With Internal Crossbridge Dynamics
We describe in this paper a crossbridge model in which an attached crossbridge behaves like a linear spring with a variable rest length. We assume in particular that the rest length has a linear force-velocity relation, and that the force and rest length are both zero at the moment of crossbridge attachment. Crossbridges that are not attached in our model have a fixed probability per unit time of attachment, and attached crossbridges have a probability per unit time of detachment that is a func…

Parallel batch queries on dynamic trees: algorithms and experiments
Humza Ikram, Andrew Brady, Daniel Anderson, Guy Blelloch
https://arxiv.org/abs/2506.16477

Parallel batch queries on dynamic trees: algorithms and experiments
Dynamic tree data structures maintain a forest while supporting insertion and deletion of edges and a broad set of queries in $O(\log n)$ time per operation. Such data structures are at the core of many modern algorithms. Recent work has extended dynamic trees so as to support batches of updates or queries so as to run in parallel, and these batch parallel dynamic trees are now used in several parallel algorithms. In this work we describe improvements to batch parallel dynamic trees, describe a…

Action Language BC
Joseph Babb, Joohyung Lee
https://arxiv.org/abs/2506.18044 https://arxiv.org/pdf/2506.18044

Action Language BC+
Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggrega…

'RFK Jr is a disaster': Staff describe chaos in 'anti-science' regime (Tami Chappell/Reuters)
https://www.thetimes.com/us/american-politics/article/cdc-rfk-robert-f-kennedy-q5tv0300z
http://www.memeorandum.com/250620/p122#a250620p122

High Dimensional Beam Inference II: Inference of a Perturbed HERA Beam from Simulated Visibility Data
Michael J. Wilensky, Philip Bull, Nicolas Fagnoni
https://arxiv.org/abs/2506.20712

High Dimensional Beam Inference II: Inference of a Perturbed HERA Beam from Simulated Visibility Data
Accurate beam modeling is important in many radio astronomy applications. In this paper, we focus on beam modeling for 21-cm intensity mapping experiments using radio interferometers, though the techniques also apply to single dish experiments with small modifications. In 21-cm intensity mapping, beam models are usually determined from highly detailed electromagnetic simulations of the receiver system. However, these simulations are expensive, and therefore have limited ability to describe prac…

Dzisiejsi programiści: "zgoda? po co nam zgoda, po prostu nadpiszemy ci wszystkie menadżery paczek Pythona — naszą paczką. Co może pójść nie tak?!"
A dowcip w tym taki, że ja nawet tego tak naprawdę nie zainstalowałem — tylko robiłem przypadkowe poprawki, i uruchomiłem testy w venvie.
https://github…

The CompGIT package: a computational tool for Geometric Invariant Theory quotie
Robert Hanson, Jesus Martinez-Garcia
https://arxiv.org/abs/2506.19431 https…

The CompGIT package: a computational tool for Geometric Invariant Theory quotie
We describe CompGIT, a SageMath package to describe Geometric Invariant Theory (GIT) quotients of projective space by simple groups. The implementation is based on algorithms described by Gallardo--Martinez-Garcia--Moon--Swinarski. In principle the package is sufficient to describe any GIT quotient of a projective variety by a simple group -- in practice it requires that the user can construct an equivariant embedding of the polarised variety into projective space. The package describes the non…

I recently got a box of Taylors Yorkshire Biscuit Brew tea.
Being used with the common Lipton and similar common tea bags, I have a hard time to describe my shock 😳 actually tasting biscuits in it.
(I am no tea specialist or connoisseurs 🫖)

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

Rigorous Function Calculi in Ariadne
Almost all problems in applied mathematics, including the analysis of dynamical systems, deal with spaces of real-valued functions on Euclidean domains in their formulation and solution. In this paper, we describe the the tool Ariadne, which provides a rigorous calculus for working with Euclidean functions. We first introduce the Ariadne framework, which is based on a clean separation of objects as providing exact, effective, validated and approximate information. We then discuss the function c…

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

Categorize and randomize: a permissive model of stochastic choice
We model stochastic choices with categorization. The agent preliminarly groups alternatives in homogenous disjoint classes, then randomly chooses one class and randomly picks an item within the selected class. We give a formal definition of a choice generated by this procedure, and provide an axiomatic characterization. The characterizing properties allow an external analyst to elicit that categorization is applied. In a broader interpretation, the model allows to describe the observed choice a…

that's... one way to describe it, royal mail

Goodness, does this mean we can expect a strongly-worded letter next? https://mastodon.social/@EndIsraeliApartheid/114675920702558762

Quantum vs. semiclassical description of in-QGP quarkonia in the quantum Brownian regime
Aoumeur Daddi-Hammou, St\'ephane Delorme, Jean-Paul Blaizot, Pol Bernard Gossiaux, Thierry Gousset
https://arxiv.org/abs/2506.19194

Quantum vs. semiclassical description of in-QGP quarkonia in the quantum Brownian regime
In this work, we explore the range of validity of the semiclassical approximation of a quantum master equation designed to describe the $c\bar{c}$ dynamics in a quark gluon plasma at various temperatures, in the quantum Brownian regime. We perform a comparative study of various properties, e.g. the charmonia yield, of the Wigner density obtained with the Lindblad equation and with the associated semiclassical Fokker-Planck equation. The semiclassical description is found to reproduce with a rem…

Sonnet 053 - LIII
What is your substance, whereof are you made,
That millions of strange shadows on you tend?
Since every one hath, every one, one shade,
And you but one, can every shadow lend.
Describe Adonis, and the counterfeit
Is poorly imitated after you;
On Helen's cheek all art of beauty set,
And you in Grecian tires are painted new:
Speak of the spring, and foison of the year,
The one doth shadow of your beauty show,

Can anyone describe to me the last time they actually used a human-readable sitemap page on a website?
What were you looking for? Why did the menu system not give this to you?
#webdev

Infinitely many counterexamples to a conjecture of Lov\'asz
Aida Abiad, Frederik Garbe, Xavier Povill, Christoph Spiegel
https://arxiv.org/abs/2506.21286

Infinitely many counterexamples to a conjecture of Lovász
Motivated by the well-known conjecture of Ryser which relates maximum matchings to minimum vertex covers in $r$-partite $r$-uniform hypergraphs, Lovász formulated a stronger conjecture. It states that one can always reduce the matching number by removing $r-1$ vertices. This conjecture was very recently disproven for $r=3$ by Clow, Haxell, and Mohar using the line graph of a $3$-regular graph of order $102$. Building on this, we describe a simple infinite family of counterexamples based on gen…

Likelihood Ratio test for Poisson graph
Chen Shuyan, Liu Xin, Wang Shaoli
https://arxiv.org/abs/2506.18778 https://arxiv.org/pdf/2506…

Likelihood Ratio test for Poisson graph
Directed acyclic graphs are widely used to describe the causal effects among random variables, and the inference of those causal effects has become an popular topic in statistics and machine learning, and has wide applications in neuroinformatics, bioinformatics and so on. However, most studies focus on the estimation or inference of the directional relations among continuous random variables, those among discrete random variables have not gained much attentions. In this article we focus on the…

A scalable estimator of high-order information in complex dynamical systems
Alberto Liardi, George Blackburne, Hardik Rajpal, Fernando E. Rosas, Pedro A. M. Mediano
https://arxiv.org/abs/2506.18498

A scalable estimator of high-order information in complex dynamical systems
Our understanding of neural systems rests on our ability to characterise how they perform distributed computation and integrate information. Advances in information theory have introduced several quantities to describe complex information structures, where collective patterns of coordination emerge from high-order (i.e. beyond-pairwise) interdependencies. Unfortunately, the use of these approaches to study large neural systems is severely hindered by the poor scalability of existing techniques.…

Tutorial: $\varphi$-Transductions in OpenFst via the Gallic Semiring
Marco Cognetta, Cyril Allauzen
https://arxiv.org/abs/2506.17942 https://

Tutorial: $φ$-Transductions in OpenFst via the Gallic Semiring
OpenFst, a popular finite-state transducer library, supports $φ$-transitions but, due to an implementation constraint, they cannot be used with transducers in a straightforward way. In this short tutorial, we describe how one can use other functionality provided by OpenFst (namely, the Gallic semiring) to correctly implement $φ$-transductions and demonstrate it by implementing the MaxMatch (WordPiece) tokenization algorithm (Devlin et al., 2019; Song et al., 2021). Accompanying self-contain…

Physics Of Eclipsing Binaries. IX. Spectroscopic module
Miroslav Bro\v{z}, Andrej Pr\v{s}a, Kyle E. Conroy, Michael Abdul-Masih
https://arxiv.org/abs/2506.20868

Physics Of Eclipsing Binaries. IX. Spectroscopic module
Spectroscopic observations constrain the fundamental properties of stellar atmospheres, in particular, the effective temperature, the gravitational acceleration, or the metallicity. In this work, we describe the spectroscopic module for Phoebe, which allows for modelling of spectra, either normalized, or in absolute units (${\rm W}\,{\rm m}^{-2}\,{\rm m}^{-1}$). The module is based on extensive grids of synthetic spectra, taken from literature, which are interpolated and integrated over the sur…

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

Classical integrable spin chains of Landau-Lifshitz type from R-matrix identities
We describe a family of 1+1 classical integrable space-discrete models of the Landau-Lifshitz type through the usage of ansatz for $U$-$V$ (Lax) pair with spectral parameter satisfying the semi-discrete Zakharov-Shabat equation. The ansatz for $U$-$V$ pair is based on $R$-matrices satisfying the associative Yang-Baxter equation and certain additional properties. Equations of motion are obtained using a set of $R$-matrix identities. In the continuous limit we reproduce the previously known famil…

from my link log —
Implementing dependent types in pi-forall.
https://arxiv.org/abs/2207.02129
saved 2025-06-06 https://dotat.at/…

Implementing Dependent Types in pi-forall
These lecture notes describe the design of a minimal dependently-typed language called "pi-forall" and walk through the implementation of its type checker. They are based on lectures given at the Oregon Programming Languages Summer School during July 2023.

$g$-mode oscillations of dark matter admixed neutron stars
Swarnim Shirke, Debarati Chatterjee, Prashanth Jaikumar
https://arxiv.org/abs/2506.18892 https:/…

$g$-mode oscillations of dark matter admixed neutron stars
We investigate $g$-mode oscillations in dark matter admixed neutron stars employing a relativistic mean field model to describe hadronic matter and a model for self-interacting fermionic dark matter motivated by the neutron decay anomaly. Following the construction of such admixed configurations, we derive the equilibrium and adiabatic speeds of sound therein, leading to a computation of the star's $g$-mode spectrum in the Cowling approximation. In particular, we explore the effect of dark matt…

Conservative data-driven finite element formulation
Adriana Kulikov\'a (Glasgow Computational Engineering Centre), Andrei G. Shvarts (Glasgow Computational Engineering Centre), {\L}ukasz Kaczmarczyk (Glasgow Computational Engineering Centre), Chris J. Pearce (Glasgow Computational Engineering Centre)
https://arxiv.org/abs/25…

Conservative data-driven finite element formulation
This paper presents a new data-driven finite element framework derived with mixed finite element formulation. The standard approach to diffusion problems requires the solution of the mathematical equations that describe both the conservation law and the constitutive relations, where the latter is traditionally obtained after fitting experimental data to simplified material models. To exploit all available information and avoid bias in the material model, we follow a data-driven approach. While …

#scribesandmakers May 26. Describe your creative workspace(s).
Chaotic, comfortable, unkempt and always loaded with a thermos with coffee.

Physics Computational Literacy: Programming, modeling and collaboration at the journeyman level
Karl Henrik Fredly, Tor Ole B. Odden, Ben Zwickl
https://arxiv.org/abs/2505.21246

Physics Computational Literacy: Programming, modeling and collaboration at the journeyman level
Computation has become an integral part of physics research. However, little is known about how students learn to productively use computation as a tool beyond the introductory level, especially as they transition into physics research. In this study, we apply the theory of Physics Computational Literacy and the Novice-Expert framework to describe the development of expertise in computational physics, as students transition from novice to journeymen computational physicists. We base this descri…

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

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

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

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

Groupoid models for relative Cuntz-Pimsner algebras of groupoid correspondences
Ralf Meyer
https://arxiv.org/abs/2506.19569 https://a…

Groupoid models for relative Cuntz-Pimsner algebras of groupoid correspondences
A groupoid correspondence on an etale, locally compact groupoid induces a C*-correspondence on its groupoid C*-algebra. We show that the Cuntz-Pimsner algebra for this C*-correspondence relative to an ideal associated to an open invariant subset of the groupoid is again a groupoid C*-algebra for a certain groupoid. We describe this groupoid explicitly and characterise it by a universal property that specifies its actions on topological spaces. Our construction unifies the construction of groupo…

Dr. Alejandra Sanchez-Franks notes: "The author’s conclusions refer to the European climate 200 years after an AMOC change and do not describe what will happen to European temperatures and sea ice in the years and decades following an AMOC collapse.
8/

RCNet: $\Delta\Sigma$ IADCs as Recurrent AutoEncoders
Arnaud Verdant, William Guicquero, J\'er\^ome Chossat
https://arxiv.org/abs/2506.16903 https://…

RCNet: $ΔΣ$ IADCs as Recurrent AutoEncoders
This paper proposes a deep learning model (RCNet) for Delta-Sigma ($ΔΣ$) ADCs. Recurrent Neural Networks (RNNs) allow to describe both modulators and filters. This analogy is applied to Incremental ADCs (IADC). High-end optimizers combined with full-custom losses are used to define additional hardware design constraints: quantized weights, signal saturation, temporal noise injection, devices area. Focusing on DC conversion, our early results demonstrate that $SNR$ defined as an Effective Numb…

Toward the Explainability of Protein Language Models for Sequence Design
Andrea Hunklinger, Noelia Ferruz
https://arxiv.org/abs/2506.19532 https://

Toward the Explainability of Protein Language Models for Sequence Design
Transformer-based language models excel in a variety of protein-science tasks that range from structure prediction to the design of functional enzymes. However, these models operate as black boxes, and their underlying working principles remain unclear. Here, we survey emerging applications of explainable artificial intelligence (XAI) to protein language models (pLMs) and describe their potential in protein research. We break down the workflow of a generative decoder-only Transformer into four …

A Formalization of the Ionescu-Tulcea Theorem in Mathlib
Etienne Marion (ENS de Lyon)
https://arxiv.org/abs/2506.18616 https://arxiv.…

A Formalization of the Ionescu-Tulcea Theorem in Mathlib
We describe the formalization of the Ionescu-Tulcea theorem, showing the existence of a probability measure on the space of trajectories of a Markov chain, in the proof assistant Lean using the integrated library Mathlib. We first present a mathematical proof before exposing the difficulties which arise when trying to formalize it, and how they were overcome. We then build on this work to formalize the construction of the product of an arbitrary family of probability measures.

Filipino workers in Taiwan's chip industry report struggling with overwork and discrimination, citing overnight shifts of up to 16 hours and abusive treatment (Rest of World)
https://restofworld.org/2025/filipino-workers-taiwan-chip-industry/

Workers describe abusive treatment in Taiwan’s semiconductor factories
A record number of people are leaving the Philippines to work in Taiwanese factories, where they face long shifts, low pay, and unequal treatment.

Squared Linear Models
Hannah Friedman, Bernd Sturmfels, Maximilian Wiesmann
https://arxiv.org/abs/2505.19351 https://arxiv.org/pdf/25…

Squared Linear Models
We study statistical models that are parametrized by squares of linear forms. All critical points of the likelihood function are real and positive. There is one for each region of the projective hyperplane arrangement. We study the ideal and singular locus of the model, and we give a determinantal presentation for its likelihood correspondence. We characterize tropical degenerations of the MLE, and we describe log-normal polytopes.

The Low Mass Dwarf Host Galaxy of Non-Repeating FRB 20230708A
August R. Muller (Maria Mitchell Observatory, Max Planck Institute for Gravitational Physics), Alexa C. Gordon (Northwestern University), Stuart D. Ryder (Macquarie University), Alexandra G. Mannings (University of California Santa Cruz), J. Xavier Prochaska (University of California Santa Cruz, Kavli Institute for the Physics and Mathematics of the Universe, National Astronomical Observatory of Japan), Keith W. Bannister (C…

The Low Mass Dwarf Host Galaxy of Non-Repeating FRB 20230708A
We present Very Large Telescope/X-Shooter spectroscopy for the host galaxies of 12 fast radio bursts (FRBs) detected by the Australian SKA Pathfinder (ASKAP) observed through the ESO Large Programme "FURBY", which imposes strict selection criteria on the included FRBs and their host galaxies to produce a homogeneous and well-defined sample. We describe the data reduction and analysis of these spectra and report their redshifts, line-emission fluxes, and derived host properties. From the present…

Microcanonical simulated annealing: Massively parallel Monte Carlo simulations with sporadic random-number generation
M. Bernaschi, L. A. Fernandez, I. Gonz\'alez-Adalid Pemart\'in, E. Marinari, V. Martin-Mayor, G. Parisi, F. Ricci-Tersenghi, J. J. Ruiz-Lorenzo, D. Yllanes
https://arxiv.org/abs/2506.16240

Microcanonical simulated annealing: Massively parallel Monte Carlo simulations with sporadic random-number generation
Numerical simulations of models and theories that describe complex experimental systems $\unicode{x2014}$in fields like high-energy and condensed-matter physics$\unicode{x2014}$ are becoming increasingly important. Examples include lattice gauge theories, which can describe, among others, quantum chromodynamics (the Standard Model description of strong interactions between elementary particles), and spin-glass systems. Beyond fundamental research, these computational methods also find practical…

Grundy double domination number: bounds, graph operations, and efficient computation for $P_4$-tidy graphs
Pablo Torres
https://arxiv.org/abs/2506.21235 ht…

Grundy double domination number: bounds, graph operations, and efficient computation for $P_4$-tidy graphs
Inspired by graph domination games, various domination-type vertex sequences have been introduced, including the Grundy double dominating sequence (GDDS) of a graph and its associated parameter, the Grundy double domination number (GDDN). The decision version of the problem of computing the GDDN is known to be NP-complete, even when restricted to split graphs and bipartite graphs. In this paper, we establish general tight bounds for the GDDN. We also describe GDDSs for vertex-removed graphs and…

#scribesandmakers May 26. Describe your creative workspace(s).
Chaotic, comfortable, unkempt and always loaded with a thermos with coffee.

Integration of a categorical operad
Dominik Trnka
https://arxiv.org/abs/2506.12399 https://arxiv.org/pdf/2506.12399

Integration of a categorical operad
I describe Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadicaly fibered over the category $Δ_s$ of finite non-empty ordinals and surjections. I describe an inverse for the construction, yielding a 1-1 correspondence of non-symmetric categorical operads and operadic 2-categories (split-)fibered over $Δ_s$, which resembles the correspondence of categorical presheaves and fibe…

Physics Of Eclipsing Binaries. VII. Interferometric module
Miroslav Bro\v{z}, Andrej Pr\v{s}a, Kyle E. Conroy, Al\v{z}b\v{e}ta Opli\v{s}tilov\'a, Martin Horvat
https://arxiv.org/abs/2506.20865

Physics Of Eclipsing Binaries. VII. Interferometric module
Interferometric measurements are essential to constrain models of stellar systems, by spatially resolving angular distances and diameters well below the classical diffraction limit. In this work, we describe the interferometric module of Phoebe, which could be used just for this purpose. Since binaries in Phoebe are represented by a triangular mesh, our complex model is based on the integration over triangles. Consequently, Roche distortion, rotation, non-synchronicity, misalignment, eclipses o…

Computational Complexity of Model-Checking Quantum Pushdown Systems
Deren Lin, Tianrong Lin
https://arxiv.org/abs/2506.18439 https://…

Computational Complexity of Model-Checking Quantum Pushdown Systems
In this paper, we study the problem of model-checking quantum pushdown systems from a computational complexity point of view. We arrive at the following equally important, interesting new results: We first extend the notions of the {\it probabilistic pushdown systems} and {\it Markov chains} to their quantum analogues and investigate the question of whether it is necessary to define a quantum analogue of {\it probabilistic computational tree logic} to describe the probabilistic and branching-…

An arithmetic analog of Klein's classification of finite subgroups of $\mathrm{SL}_2(\mathbb{C})$
Christian Liedtke, Matthew Satriano
https://arxiv.org/abs/2506.21210

An arithmetic analog of Klein's classification of finite subgroups of $\mathrm{SL}_2(\mathbb{C})$
Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We describe and classify finite, flat, and linearly reductive subgroup schemes of $\mathrm{SL}_2$ over $\mathrm{Spec}\:\mathcal{O}_K$. We also establish finiteness results for these group schemes, as well as density results for the associated quotient singularities.

Can Effective $4-$Quark Operators Describe Signals of a Supersymmetric Diquark Model at the LHC?
Manuel Drees, Cong Zhang
https://arxiv.org/abs/2506.13500 …

Can Effective $4-$Quark Operators Describe Signals of a Supersymmetric Diquark Model at the LHC?
The Standard Model Effective Field Theory (SMEFT) is constrained by current LHC data. Supposedly extensions of the Standard Model (SM) involving heavy particles can be constrained by matching onto the SMEFT. However, the reliability of these indirect constraints compared to those derived directly from the UV model remains an open question. In this paper, we investigate whether $4-$quark operators can accurately capture the effects of an $R-$parity-violating (RPV) supersymmetric model on the pro…

Changing the discrete spectrum of the half-line matrix Schr\"odinger operator
Tuncay Aktosun, Ricardo Weder
https://arxiv.org/abs/2506.17882 https://

Changing the discrete spectrum of the half-line matrix Schrödinger operator
We consider the matrix-valued Schrödinger operator on the half line with the general selfadjoint boundary condition. When the discrete spectrum is changed without changing the continuous spectrum, we present a review of the transformations of the relevant quantities including the regular solution, the Jost solution, the Jost matrix, the scattering matrix, and the boundary matrices used to describe the selfadjoint boundary condition. The changes in the discrete spectrum are considered when an e…

Atiyah constructions for Lie algebroid connections on fiber bundles
Chen He, Dadi Ni, Zhuo Chen
https://arxiv.org/abs/2506.18360 https://

Atiyah constructions for Lie algebroid connections on fiber bundles
To address the need for a unified framework that incorporates Lie algebroid connections on both vector and principal bundles, this paper investigates a generalized Atiyah algebroid structure and its short exact sequence. Building on this generalization, we describe Atiyah-type extensions and sequences that represent Atiyah classes through three explicit constructions designed to encode Lie algebroid connections compatible with specified sub-structures. As illustrative examples, we work out an e…

Searching for GEMS: TOI-7149~b an Inflated Giant Planet causing a 12% Transit of a Fully Convective M-dwarf
Shubham Kanodia, Caleb I. Ca\~nas, Suvrath Mahadevan, Andrea S. J. Lin, Henry A. Kobulnicky, Ian Karfs, Alexina Birkholz, Arvind Gupta, Mark Everett, Michael Rodruck, Rowen I. Glusman, Te Han, William D. Cochran, Chad F. Bender, Scott A. Diddams, Daniel Krolikowski, Samuel Halverson, Jessica Libby-Roberts, Joe P. Ninan, Paul Robertson, Arpita Roy, Christian Schwab, Gu{\dh}mundur …

Searching for GEMS: TOI-7149~b an Inflated Giant Planet causing a 12% Transit of a Fully Convective M-dwarf
We describe the discovery and characterization of TOI-7149~b, a 0.705 $\pm$ 0.075 $M_J$, 1.18 $\pm$ 0.045 $R_J$ gas giant on a $\sim 2.65$ day period orbit transiting an M4V star with a mass of 0.344 $\pm$ 0.030~$M_{\odot}$ and an effective temperature of 3363 $\pm$ 59 K. The planet was first discovered using NASA's TESS mission, which we confirmed using a combination of ground-based photometry, radial velocities, and speckle imaging. The planet has one of the deepest transits of all known main…

From Barthel Randers Kropina Geometries to the Accelerating Universe: A Brief Review of Recent Advances in Finslerian Cosmology
Amine Bouali, Himanshu Chaudhary, Lehel Csillag, Rattanasak Hama, Tiberiu Harko, Sorin V. Sabau, Shahab Shahidi
https://arxiv.org/abs/2506.18422

From Barthel Randers Kropina Geometries to the Accelerating Universe: A Brief Review of Recent Advances in Finslerian Cosmology
We review recent developments in cosmological models based on Finsler geometry and extensions of general relativity within this framework. Finsler geometry generalizes Riemannian geometry by allowing the metric tensor to depend on position and an additional internal degree of freedom, typically represented by a vector field at each point of the spacetime manifold. We explore whether Finsler-type geometries can describe gravitational interaction and cosmological dynamics. In particular, we exami…

Cluster structures in mixed Grassmanianns
Zenan Fu
https://arxiv.org/abs/2506.20038 https://arxiv.org/pdf/2506.20038

Cluster structures in mixed Grassmanianns
Generalizing the results by Fomin-Pylyavskyy and Carde, we construct a family of natural cluster structures in the coordinate ring of a mixed Grassmannian, the configuration space of tuples of several vectors and covectors in a finite-dimensional complex vector space. We describe and explore these cluster structures using the machinery of weaves introduced by Casals and Zaslow.

The completeness of the open cluster census towards the Galactic anticentre
Emily L. Hunt, Tristan Cantat-Gaudin, Friedrich Anders, Lorenzo Spina, Lorenzo Cavallo, Alfred Castro-Ginard, Vasily Belokurov, Anthony G. A. Brown, Andrew R. Casey, Ronald Drimmel, Morgan Fouesneau, Sabine Reffert
https://arxiv.org/abs/2506.18708…

The completeness of the open cluster census towards the Galactic anticentre
Open clusters have long been used as tracers of Galactic structure. However, without a selection function to describe the completeness of the cluster census, it is difficult to quantitatively interpret their distribution. We create a method to empirically determine the selection function of a Galactic cluster catalogue. We test it by investigating the completeness of the cluster census in the outer Milky Way, where old and young clusters exhibit different spatial distributions. We develop a met…

Polytopality criteria for the mix of polytopes and maniplexes
Gabe Cunningham, Isabel Hubard
https://arxiv.org/abs/2506.19334 https://

Polytopality criteria for the mix of polytopes and maniplexes
The mix of two maniplexes is the minimal maniplex that covers both. This construction has many important applications, such as finding the smallest regular cover of a maniplex. If one of the maniplexes is an abstract polytope, a natural question to ask is whether the mix is also a polytope. We describe here a general criterion for the polytopality of the mix which generalizes several previously-known polytopality criteria.

Moduli Theory of the $r$-Braid Arrangement
Vance Blankers, Emily Clader, Iva Halacheva, Haggai Liu, Dustin Ross
https://arxiv.org/abs/2506.18205 https://…

Moduli Theory of the $r$-Braid Arrangement
We describe a family of hyperplane arrangements depending on a positive integer parameter $r$, which we refer to as the $r$-braid arrangements, and which can be viewed as a generalization of the classical braid arrangement. The wonderful compactification of the braid arrangement (with respect to its minimal building set) is well-known to yield the moduli space $\overline{\mathcal{M}}_{0,n}$, and, in this work, we generalize this result, constructing a moduli space $\overline{\mathcal{M}}^r_{n}$…

An anticanonical perspective on G/P Schubert varieties
Changzheng Li, Konstanze Rietsch, Mingzhi Yang
https://arxiv.org/abs/2506.18388 https://

An anticanonical perspective on G/P Schubert varieties
We describe a natural basis of the Cartier class group of an arbitrary Schubert variety $X_{w,P}$ in a flag variety $G/P$ of general Lie type. We then characterise when the Schubert variety is factorial/Fano, along with an explicit formula for the anticanonical line bundle in these cases. We also prove that, for Schubert varieties in simply-laced types (only), being factorial is equivalent to being $Q$-factorial, and is equivalent to the equality of the Betti numbers $b_2(X_{w,P})=b_{2\ell(w)-2…

On a theorem of Narasimhan and Ramanan on deformations
V. Balaji, Y. Pandey
https://arxiv.org/abs/2506.17574 https://arxiv.org/pdf/25…

On a theorem of Narasimhan and Ramanan on deformations
Let $X$ be a smooth projective curve genus at least $3$, over an algebraically closed field $k$ of arbitrary characteristics. Let $\cM$ denote the moduli stack $\cM_X(\cH)$ of $\cH$-torsors on $X$, when $\cH$ {\em quasi-split absolutely simple, simply connected connected group scheme}. Using the theory of parahoric torsors and Hecke correspondences, we describe the cohomology groups $\text{H}^i(\cM, \cT_{_{\cM}}), i = 0,1,2$ and $\text{H}^i(\cM, Ω_{_{\cM}}), i = 0,1,2$ in terms of the curve $X…