Tootfinder

Deriving the Cosmological Constant and Nature's Constants from SU(3) Confinement Volume
Malak Ali, Ahmed Farag Ali
https://arxiv.org/abs/2507.22096 https://

Deriving the Cosmological Constant and Nature's Constants from SU(3) Confinement Volume
We explore the interplay between three well-established physical principles: QCD confinement, the Third Law of Thermodynamics, and holography, and examine how their combined implications may shed light on several open problems in fundamental physics. As the Universe cools toward absolute zero, color confinement fragments the vacuum into proton-scale domains. The Third Law, which renders $T = 0$ unattainable and prohibits complete entropy elimination, implies that these domains must persist. Thi…

Signatures of rigidity and second sound in dipolar supersolids
G. A. Bougas, T. Bland, H. R. Sadeghpour, S. I. Mistakidis
https://arxiv.org/abs/2506.22290 …

Signatures of rigidity and second sound in dipolar supersolids
We propose a dynamical protocol to probe the rigidity and phase coherence of dipolar supersolids by merging initially separated fragments in quasi-one-dimensional (1D) double-well potentials. Simulations based on the extended Gross-Pitaevskii equation reveal distinct dynamical signatures across phases. Supersolids exhibit damped crystal oscillations following barrier removal, with the damping rate reflecting superfluid connectivity. A phase-imprinted jump additionally triggers metastable dark s…

SelfRACG: Enabling LLMs to Self-Express and Retrieve for Code Generation
Qian Dong, Jia Chen, Qingyao Ai, Hongning Wang, Haitao Li, Yi Wu, Yao Hu, Yiqun Liu, Shaoping Ma
https://arxiv.org/abs/2507.19033

SelfRACG: Enabling LLMs to Self-Express and Retrieve for Code Generation
Existing retrieval-augmented code generation (RACG) methods typically use an external retrieval module to fetch semantically similar code snippets used for generating subsequent fragments. However, even for consecutive code fragments, the content often diverges due to logical progression, resulting in a content gap. This gap undermines the performance of current RACG methods, as \textit{external} retrieval modules based on content matching fail to infer the specific information need of LLMs to …

Watch these bizarre press conference fragments.
Ursula should have walked out from this ranting idiot who was and is unable to make any sense at all.
Bloody shame that she stayed let alone agreed to this ‘deal’ with a lunatic.
#Trump #EU

Finite Combinatorics and Fragments of Arithmetic
Wei Wang
https://arxiv.org/abs/2506.17943 https://arxiv.org/pdf/2506.17943

Finite Combinatorics and Fragments of Arithmetic
In fragments of first order arithmetic, definable maps on finite domains could behave very differently from finite maps. Here combinatorial properties of $Σ_{n+1}$-definable maps on finite domains are compared in the absence of $BΣ_{n+1}$. It is shown that $\mathrm{GPHP}(Σ_{n+1})$ (the $Σ_{n+1}$-instance of Kaye's General Pigeonhole Principle) lies strictly between $\mathrm{CARD}(Σ_{n+1})$ and $\mathrm{WPHP}(Σ_{n+1})$ (Weak Pigeonhole Principle for $Σ_{n+1}$-maps), and also that $\mathrm…

Evaluation of the Moments of Inertia of Forced Split Fragments for Nuclei 232Th(n,f) and 238U(n,f)
D. E. Lyubashevsky, P. V. Kostryukov, J. D. Shcherbina, T. Yu Shashkina, S. V Klyuchnikov
https://arxiv.org/abs/2507.19187

Evaluation of the Moments of Inertia of Forced Split Fragments for Nuclei 232Th(n,f) and 238U(n,f)
This paper discusses modern methods for estimating the moments of inertia of fragments formed during forced fission of the isotopes 232Th(n,f) and 238U(n,f). The study analyzes two fundamental approaches -- statistical and microscopic. Special attention is given to their implementation within both classical and superfluid models, enabling a more detailed description of nuclear dynamics during fission. Various physical factors influencing the calculation of moments of inertia are examined, inclu…

The last paragraph resonates, esp the last line:
"Oddly, that’s something that’s happening now, too.”
https://www.theguardian.com/world/2025/jul/27/spanish-discovery-suggests-r…

The last paragraph resonates, esp the last line:
"Oddly, that’s something that’s happening now, too.”
https://www.theguardian.com/world/2025/jul/27/spanish-discovery-suggests-r…

Need to put your collection in a database and get it online? This fall UMaine's offering Digital Collections and Exhibitions (DIG 540) online with Craig Dietrich.
#Archives

Israeli military used 500lb bomb in strike on Gaza cafe, fragments reveal | Israel-Gaza war | The Guardian https://www.theguardian.com/world/2025/jul/02/israeli-military-bomb-fragments-gaza-al-baqa-cafe

Capping off this week of #fungifriday (get it? capping? mushrooms?) these velvety question marks. I have no idea what they are. They appeared practically overnight in this peculiar pattern. The caps are soft to the touch, despite the pattern.

Lower Bounds against the Ideal Proof System in Finite Fields
Tal Elbaz, Nashlen Govindasamy, Jiaqi Lu, Iddo Tzameret
https://arxiv.org/abs/2506.17210 https…

Lower Bounds against the Ideal Proof System in Finite Fields
Lower bounds against strong algebraic proof systems and specifically fragments of the Ideal Proof System (IPS), have been obtained in an ongoing line of work. All of these bounds, however, are proved only over large (or characteristic $0$) fields, yet finite fields are the more natural setting for propositional proof complexity, especially for progress toward lower bounds for Frege systems such as $AC^0[p]$-Frege. This work establishes lower bounds against fragments of IPS over fixed finite fie…

Israeli military used 500lb bomb in strike on Gaza cafe, fragments reveal (Jason Burke/The Guardian)
https://www.theguardian.com/world/2025/jul/02/israeli-military-bomb-fragments-gaza-al-baqa-cafe
http://www.memeorandum.com/250702/p119#a250702p119

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
Varad Joshi, Anantha Padmanabha
https://arxiv.org/abs/2506.01421 http…

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
The satisfiability problem for First-order Modal Logic (\FOML) is undecidable even for simple fragments like having only unary predicates, two variables etc. Recently a new way to identify decidable fragments of \FOML has been introduced called the "bundled fragments", where the quantifiers and modalities are restricted to appear together. Since there are many ways to bundle the quantifiers together, some of them lead to (un)decidable fragments. In (Liu et.al, 2023) the authors prove a `trichot…

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
Daniele La Prova, Emanuele Gentili, Davide Falessi
https://arxiv.org/abs/2506.14290

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
The primary goal of bug prediction is to optimize testing efforts by focusing on software fragments, i.e., classes, methods, commits (JIT), or lines of code, most likely to be buggy. However, these predicted fragments already contain bugs. Thus, the current bug prediction approaches support fixing rather than prevention. The aim of this paper is to introduce and evaluate Ticket-Level Prediction (TLP), an approach to identify tickets that will introduce bugs once implemented. We analyze TLP at t…

🇺🇦 #NowPlaying on BBCRadio3's #MusicMap
Wolfgang Amadeus Mozart, Chorus Musicus Köln, Das Neue Orchester & Christoph Spering:
🎵 Requiem in D minor, K.626 - Original Fragments: Lacrimosa
#WolfgangAmadeusMozart
https://open.spotify.com/track/23lDDFpPqVktmCcUhc0ytw

Pretty unique, non-clichéd, slow, minimal, dubby, syncopated, accented with vocal/vowel fragments:
Drames Rurals - L'empelt (2021)
https://www.youtube.com/watch?v=T3SSti6bdZM

Molecular Tools for Non-Planar Surface Chemistry
Taleana Huff, Brandon Blue, Terry McCallum, Mathieu Morin, Damian G. Allis, Rafik Addou, Jeremy Barton, Adam Bottomley, Doreen Cheng, Nina M. \'Culum, Michael Drew, Tyler Enright, Alan T. K. Godfrey, Ryan Groome, Aru J. Hill, Alex Inayeh, Matthew R. Kennedy, Robert J. Kirby, Mykhaylo Krykunov, Sam Lilak, Hadiya Ma, Cameron J. Mackie, Oliver MacLean, Jonathan Myall, Ryan Plumadore, Adam Powell, Henry Rodriguez, Luis Sandoval, Marc Sav…

Molecular Tools for Non-Planar Surface Chemistry
Scanning probe microscopy (SPM) investigations of on-surface chemistry on passivated silicon have only shown in-plane chemical reactions, and studies on bare silicon are limited in facilitating additional reactions post-molecular-attachment. Here, we enable subsequent reactions on Si(100) through selectively adsorbing 3D, silicon-specific "molecular tools". Following an activation step, the molecules present an out-of-plane radical that can function both to donate or accept molecular fragments,…

Les dev front m'impressionnent.
Apparemment, il faut faire des Single Page Applications, mais avec des URLs différentes par page (non basées sur les fragments) et utiliser du Server Side Rendering pour le SEO. Mais c'est une SPA, hein 🤣
#frontend

HemePLM-Diffuse: A Scalable Generative Framework for Protein-Ligand Dynamics in Large Biomolecular System
Rakesh Thakur, Riya Gupta
https://arxiv.org/abs/2508.16587 https://

HemePLM-Diffuse: A Scalable Generative Framework for Protein-Ligand Dynamics in Large Biomolecular System
Comprehending the long-timescale dynamics of protein-ligand complexes is very important for drug discovery and structural biology, but it continues to be computationally challenging for large biomolecular systems. We introduce HemePLM-Diffuse, an innovative generative transformer model that is designed for accurate simulation of protein-ligand trajectories, inpaints the missing ligand fragments, and sample transition paths in systems with more than 10,000 atoms. HemePLM-Diffuse has features of …

Uniformization of ladder system colorings and stationary precaliber forcings
Yushiro Aoki
https://arxiv.org/abs/2508.18900 https://arxiv.org/pdf/2508.18900…

Uniformization of ladder system colorings and stationary precaliber forcings
We investigate the relationship between variants of the uniformization property for ladder system colorings and fragments of Martin's Axiom. The well-known forcing properties of having precaliber $\aleph_1$ and being $σ$-centered correspond to uncountable refinement and countable decomposition into centered subsets, respectively, and the associated forcing axioms have been widely studied. In this paper, we focus on a forcing axiom for the property corresponding to stationary refinement, namely…

From Fragments to Facts: A Curriculum-Driven DPO Approach for Generating Hindi News Veracity Explanations
Pulkit Bansal, Raghvendra Kumar, Shakti Singh, Sriparna Saha, Adam Jatowt
https://arxiv.org/abs/2507.05179

From Fragments to Facts: A Curriculum-Driven DPO Approach for Generating Hindi News Veracity Explanations
In an era of rampant misinformation, generating reliable news explanations is vital, especially for under-represented languages like Hindi. Lacking robust automated tools, Hindi faces challenges in scaling misinformation detection. To bridge this gap, we propose a novel framework integrating Direct Preference Optimization (DPO) with curriculum learning to align machine-generated explanations with human reasoning. Fact-checked explanations from credible sources serve as preferred responses, whil…

AuthenTree: A Scalable MPC-Based Distributed Trust Architecture for Chiplet-based Heterogeneous Systems
Ishraq Tashdid, Tasnuva Farheen, Sazadur Rahman
https://arxiv.org/abs/2508.13033

AuthenTree: A Scalable MPC-Based Distributed Trust Architecture for Chiplet-based Heterogeneous Systems
The rapid adoption of chiplet-based heterogeneous integration is reshaping semiconductor design by enabling modular, scalable, and faster time-to-market solutions for AI and high-performance computing. However, multi-vendor assembly in post-fabrication environments fragments the supply chain and exposes SiP systems to serious security threats, including cloning, overproduction, and chiplet substitution. Existing authentication solutions depend on trusted integrators or centralized security anch…

Ultra-depleted mantle source of basalts from the South Pole–Aitken basin: #LunarFarside samples from the SPA basin [...] Either way, originating during the LMO or later melt extraction, the ultra-depleted mantle beneath the SPA basin offers a deep observational window into early lunar crust–mantle differentiation." Three older CE6 papers are also in https://www.nature.com/nature/volumes/643/issues/8071 with the strange cover picture https://bsky.app/profile/andrewjonesspace.bsky.social/post/3ltlh6d4h5c2d which is probably fake: https://bsky.app/profile/stim3on.bsky.social/post/3ltlm6um3a223

The vast majority of the plastic flotsam and jetsam in the North Pacific subtropical gyre (the North Pacific Garbage Patch) consists of discarded fishing gear.
https://www.nature.com/articles/s41598-022-16529-0

Industrialised fishing nations largely contribute to floating plastic pollution in the North Pacific subtropical gyre - Scientific Reports
The subtropical oceanic gyre in the North Pacific Ocean is currently covered with tens of thousands of tonnes of floating plastic debris, dispersed over millions of square kilometres. A large fraction is composed of fishing nets and ropes while the rest is mostly composed of hard plastic objects and fragments, sometimes carrying evidence on their origin. In 2019, an oceanographic mission conducted in the area, retrieved over 6000 hard plastic debris items > 5 cm. The debris was later sorte…

QDockBank: A Dataset for Ligand Docking on Protein Fragments Predicted on Utility-Level Quantum Computers
Yuqi Zhang, Yuxin Yang, Cheng-Chang Lu, Weiwen Jiang, Feixiong Cheng, Bo Fang, Qiang Guan
https://arxiv.org/abs/2508.00837

QDockBank: A Dataset for Ligand Docking on Protein Fragments Predicted on Utility-Level Quantum Computers
Protein structure prediction is a core challenge in computational biology, particularly for fragments within ligand-binding regions, where accurate modeling is still difficult. Quantum computing offers a novel first-principles modeling paradigm, but its application is currently limited by hardware constraints, high computational cost, and the lack of a standardized benchmarking dataset. In this work, we present QDockBank-the first large-scale protein fragment structure dataset generated entirel…

TACS-Graphs: Traversability-Aware Consistent Scene Graphs for Ground Robot Indoor Localization and Mapping
Jeewon Kim, Minho Oh, Hyun Myung
https://arxiv.org/abs/2506.14178

TACS-Graphs: Traversability-Aware Consistent Scene Graphs for Ground Robot Indoor Localization and Mapping
Scene graphs have emerged as a powerful tool for robots, providing a structured representation of spatial and semantic relationships for advanced task planning. Despite their potential, conventional 3D indoor scene graphs face critical limitations, particularly under- and over-segmentation of room layers in structurally complex environments. Under-segmentation misclassifies non-traversable areas as part of a room, often in open spaces, while over-segmentation fragments a single room into overla…

If you take a walk along the coast, near Caleta Camarones in northern Chile, near an old archeological site called Camarones 15, it is hard not to spot evidence of the mummies.
Cloth, rope, hair, tiny fragments of bones, and pieces of wood, an item that is nowhere to be seen growing anywhere nearby, but which the Chinchorro people used to keep their mummies intact like little dolls.
The Chinchorro mummies are considered the oldest mummies in the world.
Thousands of years olde…

The Chinchorro Mummies: Resisting in the Desert
Seven thousand years ago, the Chinchorro people, along the Pacific coast of South America, began to mummify their dead. Their bodies remain hidden in the desert. This is episode 41 of Stories of Resistance.

Diffusive spreading of a polydisperse polymer solution in a channel
Hanyang. Wang, Gary W Slater
https://arxiv.org/abs/2506.08323 https://

Diffusive spreading of a polydisperse polymer solution in a channel
Long DNA molecules can be mapped by cutting them with restriction enzymes inside a narrow channel. Once cut, the individual fragments thus produced move away from each other due to diffusion and entropic effects. We investigate how long it takes for these fragments to travel distances large enough for an experimental device to distinguish them and (possibly) estimate their size. In essence, this is a single-file diffusion process in which molecules of different sizes and hence different diffusi…

Linear Planar 3-SAT and Its Applications in Planning
Victorien Desbois, Ocan Sankur, Fran\c{c}ois Schwarzentruber
https://arxiv.org/abs/2506.14713 https://…

Linear Planar 3-SAT and Its Applications in Planning
Several fragments of the satisfiability problem have been studied in the literature. Among these, Linear 3-SAT is a satisfaction problem in which each clause (viewed as a set of literals) intersects with at most one other clause; moreover, any pair of clauses have at most one literal in common. Planar 3-SAT is a fragment which requires that the so-called variable-clause graph is planar. Both fragments are NP-complete and have applications in encoding NP-hard planning problems. In this paper, we…

VulCoCo: A Simple Yet Effective Method for Detecting Vulnerable Code Clones
Tan Bui, Yan Naing Tun, Thanh Phuc Nguyen, Yindu Su, Ferdian Thung, Yikun Li, Han Wei Ang, Yide Yin, Frank Liauw, Lwin Khin Shar, Eng Lieh Ouh, Ting Zhang, David Lo
https://arxiv.org/abs/2507.16661

VulCoCo: A Simple Yet Effective Method for Detecting Vulnerable Code Clones
Code reuse is common in modern software development, but it can also spread vulnerabilities when developers unknowingly copy risky code. The code fragments that preserve the logic of known vulnerabilities are known as vulnerable code clones (VCCs). Detecting those VCCs is a critical but challenging task. Existing VCC detection tools often rely on syntactic similarity or produce coarse vulnerability predictions without clear explanations, limiting their practical utility. In this paper, we propo…

Separating Maximality Principles
Takehiko Gappo, Andreas Lietz
https://arxiv.org/abs/2508.16506 https://arxiv.org/pdf/2508.16506

Separating Maximality Principles
We investigate fragments of generic absoluteness principles known as Maximality Principles. We determine the consistency strength of $Σ_n$-$\mathsf{MP}(\mathbb R)$ and $Π_n$-$\mathsf{MP}(\mathbb R)$, the boldface Maximality Principle restricted respectively to $Σ_n$- and $Π_n$-formulas. Further, we show that no implication between $Σ_n$-$\mathsf{MP}(\mathbb R)$ and $Π_n$-$\mathsf{MP}(\mathbb R)$ is provable in $\mathsf{ZFC}$. We also establish the consistency, relative to a Woodin cardina…

Arithmetics within the Linear Time Hierarchy
Chris Pollett
https://arxiv.org/abs/2508.13195 https://arxiv.org/pdf/2508.13195…

Arithmetics within the Linear Time Hierarchy
We identify fragments of the arithmetic $S_1$ that enjoy nice closure properties and have exact characterization of their definable multifunctions. To do this, in the language of $S_1$, $L_1$, starting from the formula classes, $Σ^{\mathsf b}_{i}$, which ignore sharply bounded quantifiers when determining quantifier alternations, we define new syntactic classes by counting bounded existential sharply bounded universal quantifiers blocks. Using these, we define arithmetics: $\breve{S}^{i}_{1}$,…

Optimized Circuit Cutting for QAOA Sampling Tasks
Friedrich Wagner, Christian Ufrecht, Martin Braun, Daniel D. Scherer
https://arxiv.org/abs/2507.06649 htt…

Optimized Circuit Cutting for QAOA Sampling Tasks
Circuit cutting was originally designed to retrieve the expectation value of an observable with respect to a large quantum circuit by executing smaller circuit fragments. In this work, however, we demonstrate the application of circuit cutting to a pure sampling task. In particular, we sample solutions to an optimization problem from a trained QAOA circuit. Here, circuit cutting leads to a broadening and shift of the bitstring distribution towards suboptimal values compared to the uncut case. T…

Il y a cette sensation, parfois, face Š certaines photographies. On tombe nez Š nez avec une image, et il se passe quelque chose. Pas besoin qu’elle soit l’œuvre d’un grand photographe, ni de tout savoir ou de connaître l’artiste. Il suffit de la regarder, et aussitôt elle nous plonge dans un souvenir, un vieux rêve ou une sensation intime.
🔗 Lire la suite...

Microscopic theory of angular momentum distributions across the full range of fission fragments
Petar Marevi\'c, Nicolas Schunck, Marc Verriere
https://arxiv.org/abs/2506.10777

Microscopic theory of angular momentum distributions across the full range of fission fragments
Modern nuclear theory provides qualitative insights into the fundamental mechanisms of nuclear fission and is increasingly capable of making reliable quantitative predictions. Most quantities of interest pertain to the primary fission fragments, whose subsequent decay is typically modeled using statistical reaction models. Consequently, a key objective of fission theory is to inform these models by predicting the initial conditions of the primary fragments. In this work, we employ a framework t…

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

Tokenizing Electron Cloud in Protein-Ligand Interaction Learning
The affinity and specificity of protein-molecule binding directly impact functional outcomes, uncovering the mechanisms underlying biological regulation and signal transduction. Most deep-learning-based prediction approaches focus on structures of atoms or fragments. However, quantum chemical properties, such as electronic structures, are the key to unveiling interaction patterns but remain largely underexplored. To bridge this gap, we propose ECBind, a method for tokenizing electron cloud sign…

Code Clone Detection via an AlphaFold-Inspired Framework
Changguo Jia, Yi Zhan, Tianqi Zhao, Hengzhi Ye, Minghui Zhou
https://arxiv.org/abs/2507.15226 http…

Code Clone Detection via an AlphaFold-Inspired Framework
Code clone detection, which aims to identify functionally equivalent code fragments, plays a critical role in software maintenance and vulnerability analysis. Substantial methods have been proposed to detect code clones, but they fall short in capturing code semantics or relying on language-specific analyzers. Inspired by the remarkable success of AlphaFold in predicting three-dimensional protein structures from protein sequences, in this paper, we leverage AlphaFold for code clone detection ba…

Optimization of Fragment State Spaces within the Excitonic Renormalization Framework
Marco Bauer, Patrick Norman, Andreas Dreuw, Anthony D. Dutoi
https://arxiv.org/abs/2507.23484

Optimization of Fragment State Spaces within the Excitonic Renormalization Framework
The recently proposed excitonic renormalization framework presents an alternative ansatz to elec- tronic structure theory of weakly interacting fragments. It makes use of absolutely localized orbitals and correlated states evaluated on isolated fragments, which are then used to recover the interaction in an ab-initio manner based on a biorthogonal framework. The correlated monomer information can be heavily truncated, and the Hamiltonian can be expanded in a rapidly converging series, allow- in…

New Bounds for the Ideal Proof System in Positive Characteristic
Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan
https://arxiv.org/abs/2506.16397

New Bounds for the Ideal Proof System in Positive Characteristic
In this work, we prove upper and lower bounds over fields of positive characteristics for several fragments of the Ideal Proof System (IPS), an algebraic proof system introduced by Grochow and Pitassi (J. ACM 2018). Our results extend the works of Forbes, Shpilka, Tzameret, and Wigderson (Theory of Computing 2021) and also of Govindasamy, Hakoniemi, and Tzameret (FOCS 2022). These works primarily focused on proof systems over fields of characteristic $0$, and we are able to extend these results…

Electron Impact Fragmentation Dynamics of Carbonyl Sulfide: A Combined Experimental and Theoretical Study
Soumya Ghosh, Narayan Kundu, Aryya Ghosh, Dhananjay Nandi
https://arxiv.org/abs/2506.12528

Electron Impact Fragmentation Dynamics of Carbonyl Sulfide: A Combined Experimental and Theoretical Study
In this study, we examine the interactions of low- to intermediate-energy electrons (0$-$45 eV) with carbonyl sulfide (OCS). These collisions lead to the formation of several anionic fragments, including C$^-$, O$^-$, S$^-$, and SO$^-$. When the incident electron energy is below the first ionization potential of the molecule, dissociative electron attachment (DEA) process dominates, primarily yielding O$^-$ and S$^-$ fragments. At higher energies, beyond the ionization potential, ion-pair disso…

MK2 at PBIG Competition: A Prompt Generation Solution
Yuzheng Xu, Tosho Hirasawa, Seiya Kawano, Shota Kato, Tadashi Kozuno
https://arxiv.org/abs/2507.08335

MK2 at PBIG Competition: A Prompt Generation Solution
The Patent-Based Idea Generation task asks systems to turn real patents into product ideas viable within three years. We propose MK2, a prompt-centric pipeline: Gemini 2.5 drafts and iteratively edits a prompt, grafting useful fragments from weaker outputs; GPT-4.1 then uses this prompt to create one idea per patent, and an Elo loop judged by Qwen3-8B selects the best prompt-all without extra training data. Across three domains, two evaluator types, and six criteria, MK2 topped the automatic le…

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
G. Buriola, D. Cantone, G. Cincotti, E. G. Omodeo, G. T. Spart\`a
https://arxiv.org/abs/2507.02742

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
This paper enriches preexisting satisfiability tests for unquantified languages, which in turn augment a fragment of Tarski's elementary algebra with unary real functions possessing a continuous first derivative. Two sorts of individual variables are available, one ranging over real numbers and the other one ranging over the functions of interest. Numerical terms are built from real variables through constructs designating the four basic arithmetic operations and through the function-applicat…

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
M. Rybakov, M. Shcherbakov
https://arxiv.org/abs/2507.12343 …

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
It is known that many modal and superintuitionistic logics are PSPACE-hard in languages with a small number of variables; however, questions about the complexity of similar fragments of many logics obtained by adding various axioms to "standard" ones remain unexplored. We investigate the complexity of fragments of modal logics obtained by adding an axiom requiring the convergence of the accessibility relation in Kripke frames: S4.2, K4.2, Grz.2, and GL.2. The main result is that S4.2 and Grz.2 …

Another war crime: Israeli military used 500lb bomb in strike on Gaza cafe, fragments reveal
https://www.theguardian.com/world/2025/jul/02/israeli-military-bomb-fragments-gaza-al-baqa-cafe?CMP=Share_iOSApp_Other

More #STRATA...
#GenerativeArt #AlgorthmicArt #Barricelli

Asteroids fail to retain cometary impact signatures
Sarah Joiret, Guillaume Avice, Ludovic Ferri\`ere, Zo\"e M. Leinhardt, Simon Lock, Alexandre Mechineau, Sean N. Raymond
https://arxiv.org/abs/2507.00753

Asteroids fail to retain cometary impact signatures
A bombardment of comets is thought to have occurred in the inner solar system as a result of a dynamical instability among the giant planets after gas disk dispersal. Vesta, the second largest asteroid in the main asteroid belt, likely differentiated before gas disk dispersal, implying its crust witnessed the cometary bombardment. The composition of HED meteorites, which represent fragments of Vesta's crust, could therefore have been altered by cometary impacts. Here we combine noble gas mass s…

🇺🇦 #NowPlaying on BBCRadio3's #20thCenturyRadicals
Annea Lockwood & Annea Lockwood:
🎵 Bottle Tree Showered with Fragments from The Glass World
#AnneaLockwood

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
Qipeng Kuang, V\'aclav K\r{u}la, Ond\v{r}ej Ku\v{z}elka, Yuanhong Wang, Yuyi Wang
https://arxiv.org/abs/2508.11515

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
The Weighted First-Order Model Counting Problem (WFOMC) asks to compute the weighted sum of models of a given first-order logic sentence over a given domain. The boundary between fragments for which WFOMC can be computed in polynomial time relative to the domain size lies between the two-variable fragment ($\text{FO}^2$) and the three-variable fragment ($\text{FO}^3$). It is known that WFOMC for \FOthree{} is $\mathsf{\#P_1}$-hard while polynomial-time algorithms exist for computing WFOMC for $…

BiAssemble: Learning Collaborative Affordance for Bimanual Geometric Assembly
Yan Shen, Ruihai Wu, Yubin Ke, Xinyuan Song, Zeyi Li, Xiaoqi Li, Hongwei Fan, Haoran Lu, Hao dong
https://arxiv.org/abs/2506.06221

BiAssemble: Learning Collaborative Affordance for Bimanual Geometric Assembly
Shape assembly, the process of combining parts into a complete whole, is a crucial robotic skill with broad real-world applications. Among various assembly tasks, geometric assembly--where broken parts are reassembled into their original form (e.g., reconstructing a shattered bowl)--is particularly challenging. This requires the robot to recognize geometric cues for grasping, assembly, and subsequent bimanual collaborative manipulation on varied fragments. In this paper, we exploit the geometri…

Dependence of angular momentum of fission fragments on total kinetic energy in spontaneous fission of $^{252}$Cf
A. Rahmatinejad (Joint Institute for Nuclear Research, Russia), T. M. Shneidman (Joint Institute for Nuclear Research, Russia), G. G. Adamian (Joint Institute for Nuclear Research, Russia), N. V. Antonenko (Joint Institute for Nuclear Research, Russia, Tomsk Polytechnic University, Russia)

Dependence of angular momentum of fission fragments on total kinetic energy in spontaneous fission of $^{252}$Cf
A weak dependence of the angular momentum of $^{144}$Ba fragments, produced in the spontaneous fission of $^{252}$Cf, on the total kinetic energy (TKE) was recently observed \cite{Giha2025}. To investigate this phenomenon, we propose a model describing the evolution of the fissioning nucleus toward scission. The model assumes that after tunneling through the fission barrier, the nucleus can be represented by a superposition of dinuclear systems (DNS). We calculate main fission observables, incl…

Replaced article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev

MetaLint: Generalizable Idiomatic Code Quality Analysis through Instruction-Following and Easy-to-Hard Generalization
Atharva Naik, Lawanya Baghel, Dhakshin Govindarajan, Darsh Agrawal, Daniel Fried, Carolyn Rose
https://arxiv.org/abs/2507.11687

MetaLint: Generalizable Idiomatic Code Quality Analysis through Instruction-Following and Easy-to-Hard Generalization
Large Language Models, though successful in code generation, struggle with code quality analysis because they are limited by static training data and can't easily adapt to evolving best practices. We introduce MetaLint, a new instruction-following framework that formulates code quality analysis as the task of detecting and fixing problematic semantic code fragments or code idioms based on high-level specifications. Unlike conventional approaches that train models on static, rule-based data, Met…

Building Open-Retrieval Conversational Question Answering Systems by Generating Synthetic Data and Decontextualizing User Questions
Christos Vlachos, Nikolaos Stylianou, Alexandra Fiotaki, Spiros Methenitis, Elisavet Palogiannidi, Themos Stafylakis, Ion Androutsopoulos
https://arxiv.org/abs/2507.04884

Building Open-Retrieval Conversational Question Answering Systems by Generating Synthetic Data and Decontextualizing User Questions
We consider open-retrieval conversational question answering (OR-CONVQA), an extension of question answering where system responses need to be (i) aware of dialog history and (ii) grounded in documents (or document fragments) retrieved per question. Domain-specific OR-CONVQA training datasets are crucial for real-world applications, but hard to obtain. We propose a pipeline that capitalizes on the abundance of plain text documents in organizations (e.g., product documentation) to automatically …

Berry Phase Effects of Nuclei in Chemical Reaction Dynamics
Xingyu Zhang, Jinke Yu, Qingyong Meng
https://arxiv.org/abs/2507.05672 https://

Berry Phase Effects of Nuclei in Chemical Reaction Dynamics
In calculations on quantum state-resolved dynamics of a chemical reaction, reactants are usually prepared in separated eigenstates of individual fragments, and their direct-product is then evolved in time. In this work, we focus on the essence in separating them and the Berry phase effects of the nuclear wave function. By the present theory, mechanism of inter/intramolecular energy redistribution is also proposed to deeply understand reactive dynamics with multirovibrational states. To demonstr…

Cascade Crack in Chain of Beads
Meysam Bagheri, Thorsten P\"oschel
https://arxiv.org/abs/2508.01288 https://arxiv.org/pdf/2508.01288

Cascade Crack in Chain of Beads
We consider a homogeneous chain of spheres linked by liquid bridges under tension. The rupture of a single liquid bridge leads to a fragmentation cascade driven by the inverse relation between the capillary force and the sphere distances. The initial length of the liquid bridges determines the number and size of the fragments and the velocity of the fragmentation front.

Prediction of Protein Three-dimensional Structures via a Hardware-Executable Quantum Computing Framework
Yuqi Zhang, Yuxin Yang, William Martin, Kingsten Lin, Zixu Wang, Cheng-Chang Lu, Weiwen Jiang, Ruth Nussinov, Joseph Loscalzo, Qiang Guan, Feixiong Cheng
https://arxiv.org/abs/2506.22677

Prediction of Protein Three-dimensional Structures via a Hardware-Executable Quantum Computing Framework
Accurate prediction of protein active site structures remains a central challenge in structural biology, particularly for short and flexible peptide fragments where conventional methods often fail. Here, we present a quantum computing framework specifically developed for utility-level quantum processors to address this problem. Starting from an amino acid sequence, we formulate the structure prediction task as a ground-state energy minimization problem using the Variational Quantum Eigensolver …

Forward and Backward Simulations for Partially Observable Probability
Chris Chen, Annabelle McIver, Carroll Morgan
https://arxiv.org/abs/2506.08437 https:/…

Forward and Backward Simulations for Partially Observable Probability
Data refinement is the standard extension of a refinement relation from programs to datatypes (i.e. a behavioural subtyping relation). Forward/backward simulations provide a tractable method for establishing data refinement, and have been thoroughly studied for nondeterministic programs. However, for standard models of mixed probability and nondeterminism, ordinary assignment statements may not commute with (variable-disjoint) program fragments. This (1) invalidates a key assumption underlying …

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.

StoneDetector: Conventional and versatile code clone detection for Java
Thomas S. Heinze, Andr\'e Sch\"afer, Wolfram Amme
https://arxiv.org/abs/2508.03435 https://

StoneDetector: Conventional and versatile code clone detection for Java
Copy & paste is a widespread practice when developing software and, thus, duplicated and subsequently modified code occurs frequently in software projects. Since such code clones, i.e., identical or similar fragments of code, can bloat software projects and cause issues like bug or vulnerability propagation, their identification is of importance. In this paper, we present the StoneDetector platform and its underlying method for finding code clones in Java source and Bytecode. StoneDetector impl…

Intrinsic spin distributions in multinucleon transfer reactions
Dan Dan Zhang, Dario Vretenar, Tamara Nik\v{s}i\'c, Peng Wei Zhao, Jie Meng
https://arxiv.org/abs/2507.11905

Intrinsic spin distributions in multinucleon transfer reactions
Time-dependent covariant density functional theory (TD-CDFT) combined with angular momentum projection is developed and applied to study multinucleon transfer (MNT) reactions, with a focus on the intrinsic angular momentum distributions of the final fragments. Using the illustrative reaction $^{40}$Ca + $^{208}$Pb across a range of impact parameters, we find that the MNT process generates broad distributions of intrinsic spins. These distributions arise from the conversion of relative orbital a…

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
Camille Bourgaux, Anton Gnatenko, Micha\"el Thomazo
https://arxiv.org/abs/2508.00575 https://

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
We establish a correspondence between (fragments of) $\mathcal{TEL}^\bigcirc$, a temporal extension of the $\mathcal{EL}$ description logic with the LTL operator $\bigcirc^k$, and some specific kinds of formal grammars, in particular, conjunctive grammars (context-free grammars equipped with the operation of intersection). This connection implies that $\mathcal{TEL}^\bigcirc$ does not possess the property of ultimate periodicity of models, and further leads to undecidability of query answering …

Muon-induced fission as a probe of the underlying dynamics in nuclear fission
Christian Ross, A. S. Umar
https://arxiv.org/abs/2507.02191 https://

Muon-induced fission as a probe of the underlying dynamics in nuclear fission
Muon-induced fission could be utilized as a probe to study the underlying dynamics of nuclear fission. The probability of muon attachment to the light asymmetric fission fragment is sensitive to fission dynamics, such as the timescale and friction of the fission event, charge asymmetry, and possibly the shape of the fission fragments. We focus on muonic atoms that are formed with actinide nuclei. A relativistic approach is employed, solving the Dirac equation for the muonic wavefunction in the …