Tootfinder

I think that events are showing us that we can anticipate that the only way FFOTUS will ever leave the White House is on a gurney. (Or, as his acolytes like to think, he ascends.)
The D-party is doing its best to self-destruct and assure that it does not win seats in the 2026 mid terms. And I seriously doubt that we will have a true election in 2028.

Tensor perturbations in higher derivative gravity theories in $D$ dimensions
Ercan Kilicarslan
https://arxiv.org/abs/2506.10563 https://

Tensor perturbations in higher derivative gravity theories in $D$ dimensions
We study tensor perturbations of the ghost-free generic non-local gravity theory constructed infinite series of higher derivative terms in $D$ dimensions. The infinite series of higher derivative terms are encoded by form factors, the forms of which can be restricted by requiring that the action remains perturbatively free of ghosts and tachyons around maximally symmetric backgrounds for transverse traceless fluctuations. To demonstrate this, we obtain field equations for AdS plane wave metric …

After years of relative calm, a western Ukrainian city comes to terms with being in Russia's crosshairs: https://benborges.xyz/2025/07/10/after-years-of-relative-calm.html

Just read through "Sanctuary" by Paola Mendez & Abby Sher, which was electrifying as I read news about ICE kidnappings in local towns, including one in Waltham today where they left a kid alone on the sidewalk:
#ICE #kidnappings

Formation of stationary interfaces in the fast reaction limit
Yuki Tsukamoto
https://arxiv.org/abs/2506.09716 https://arxiv.org/pdf/2…

Formation of stationary interfaces in the fast reaction limit
We study a two-component reaction-diffusion system in which one of the reaction terms becomes singularly large. Assuming that the initial data are nonnegative and mutually segregated, we prove that the solution converges to that of the heat equation in the nonreactive region, while it remains zero elsewhere. The analysis is based on explicitly constructed barrier functions and a comparison argument adapted to systems with asymmetric reaction terms, which together provide control near the interf…

Characterizations of Faces of Convex Sets in Infinite-dimensional Vector Spaces
Valentin V. Gorokhovik
https://arxiv.org/abs/2506.08742 https://

Characterizations of Faces of Convex Sets in Infinite-dimensional Vector Spaces
In the paper three different characterizations of faces of convex sets, belonging to infinite-dimensional real vector spaces, are presented. The first one is formulated in the terms of generalized semispaces, the second -- in the terms of compatible complete (total) preorders, and the third -- in the terms of step-affine functions. All three characterization are equivalent each other and extend to infinite-dimensional vector spaces the lexicographical characterization of faces established in fi…

Conditions for Large-Sample Majorization of Pairs of Flat States in Terms of $\alpha$-$z$ Relative Entropies
Frits Verhagen, Marco Tomamichel, Erkka Haapasalo
https://arxiv.org/abs/2507.07520

Conditions for Large-Sample Majorization of Pairs of Flat States in Terms of $α$-$z$ Relative Entropies
In this work, we offer the first operational interpretation of the $α$-$z$ relative entropies, which were introduced by Jakšić {\it et al.} \cite{Jaksic2012} and Audenaert and Datta \cite{Audenaert_Datta_2015}, where the $α$ and $z$ parameters are truly independent from each other. Namely, we show that these relative entropies appear in the conditions for large-sample or catalytic relative majorization of pairs of flat states and certain generalizations of them. Additionally, the optimal ra…

Mind the Gap: Revealing Security Barriers through Situational Awareness of Small and Medium Business Key Decision-Makers
Yuanhaur Chang, Oren Heller, Yaniv Shlomo, Iddo Bar-Noy, Ella Bokobza, Michal Grinstein-Weiss, Ning Zhang
https://arxiv.org/abs/2506.10025

Mind the Gap: Revealing Security Barriers through Situational Awareness of Small and Medium Business Key Decision-Makers
Key decision-makers in small and medium businesses (SMBs) often lack the awareness and knowledge to implement cybersecurity measures effectively. To gain a deeper understanding of how SMB executives navigate cybersecurity decision-making, we deployed a mixed-method approach, conducting semi-structured interviews (n=21) and online surveys (n=322) with SMB key decision-makers. Using thematic analysis, we revealed SMB decision-makers' perceived risks in terms of the digital assets they valued, and…

Counting Small Cycle Double Covers
Jorik Jooken, Ben Seamone, Carol T. Zamfirescu
https://arxiv.org/abs/2506.10604 https://arxiv.org/…

Counting Small Cycle Double Covers
A theorem due to Seyffarth states that every planar $4$-connected $n$-vertex graph has a cycle double cover (CDC) containing at most $n-1$ cycles (a "small" CDC). We extend this theorem by proving that, in fact, such a graph must contain linearly many small CDCs (in terms of $n$), and provide stronger results in the case of planar $4$-connected triangulations. We complement this result with constructions of planar $4$-connected graphs which contain at most polynomially many small CDCs. Thereaft…

X changes its developer agreement to prevent third parties from using "the X API or X Content to fine-tune or train a foundation or frontier model" (Ivan Mehta/TechCrunch)
https://techcrunch.com/2025/06/05/x-changes-i…

X changes its terms to bar training of AI models using its content | TechCrunch
Social network X has changed its developer agreement to prevent third parties from using the platform's content to train large language models.

Collective Bargaining in the Information Economy Can Address AI-Driven Power Concentration
Nicholas Vincent, Matthew Prewitt, Hanlin Li
https://arxiv.org/abs/2506.10272

Collective Bargaining in the Information Economy Can Address AI-Driven Power Concentration
This position paper argues that there is an urgent need to restructure markets for the information that goes into AI systems. Specifically, producers of information goods (such as journalists, researchers, and creative professionals) need to be able to collectively bargain with AI product builders in order to receive reasonable terms and a sustainable return on the informational value they contribute. We argue that without increased market coordination or collective bargaining on the side of th…

Vector bundles on bielliptic surfaces: Ulrich bundles and degree of irrationality
Edoardo Mason
https://arxiv.org/abs/2506.10696 https://

Vector bundles on bielliptic surfaces: Ulrich bundles and degree of irrationality
This paper deals with two problems about vector bundles on bielliptic surfaces. The first is to give a classification of Ulrich bundles on such surfaces $S$, which depends on the topological type of $S$. In doing so, we study the weak Brill-Noether property for moduli spaces of sheaves with isotropic Mukai vector. Adapting an idea of Moretti, we also interpret the problem of determining the degree of irrationality of bielliptic surfaces in terms of the existence of certain stable vector bundles…

Competition Complexity in Multi-Item Auctions: Beyond VCG and Regularity
Hedyeh Beyhaghi, Linda Cai, Yiding Feng, Yingkai Li, S. Matthew Weinberg
https://arxiv.org/abs/2506.09291 …

Competition Complexity in Multi-Item Auctions: Beyond VCG and Regularity
We quantify the value of the monopoly's bargaining power in terms of competition complexity--that is, the number of additional bidders the monopoly must attract in simple auctions to match the expected revenue of the optimal mechanisms (c.f., Bulow and Klemperer, 1996, Eden et al., 2017)--within the setting of multi-item auctions. We show that for simple auctions that sell items separately, the competition complexity is $Θ(\frac{n}α)$ in an environment with $n$ original bidders under the slig…

The rank two Jacobi algebra
Nicolas Crampe, Satoshi Tsujimoto, Luc Vinet, Alexei Zhedanov
https://arxiv.org/abs/2507.07766 https://ar…

The rank two Jacobi algebra
The quadratic rank two Jacobi algebra is identified from the relations obeyed by the bispectral operators of the two variable Jacobi polynomials orthogonal on the triangle. It is seen to admit as subalgebras Racah and Jacobi algebras of rank one. The dual realizations in terms of differential operators in the variable representation and in terms of difference operators in the degree representation are provided. Structure relations for the two variable Jacobi polynomials are obtained as a by pro…

Minimality and computability of languages of G-shifts
Djamel Eddine Amir, Benjamin Hellouin de Menibus
https://arxiv.org/abs/2506.10610 https://

Minimality and computability of languages of G-shifts
Motivated by the notion of strong computable type for sets in computable analysis, we define the notion of strong computable type for $G$-shifts, where $G$ is a finitely generated group with decidable word problem. A $G$-shift has strong computable type if one can compute its language from the complement of its language. We obtain a characterization of $G$-shifts with strong computable type in terms of a notion of minimality with respect to properties with a bounded computational complexity. We…

Don't be Afraid of Cell Complexes! An Introduction from an Applied Perspective
Josef Hoppe, Vincent P. Grande, Michael T. Schaub
https://arxiv.org/abs/2506.09726

Don't be Afraid of Cell Complexes! An Introduction from an Applied Perspective
Cell complexes (CCs) are a higher-order network model deeply rooted in algebraic topology that has gained interest in signal processing and network science recently. However, while the processing of signals supported on CCs can be described in terms of easily-accessible algebraic or combinatorial notions, the commonly presented definition of CCs is grounded in abstract concepts from topology and remains disconnected from the signal processing methods developed for CCs. In this paper, we aim to …

Hard bremsstrahlung for the production of prompt photons
A. A. Kampf (Lomonosov Moscow State University, Moscow, Russia, Dzhelepov Laboratory of Nuclear Problems, Joint Institute for Nuclear Research, Dubna, Russia)
https://arxiv.org/abs/2506.09700

Hard bremsstrahlung for the production of prompt photons
The analytical calculation of helicity amplitudes for hard photon and gluon bremsstrahlung radiation are described using the spinor formalism for processes of the type $\bar{q} q \to g γ$ and $q g \to q γ$. The presented amplitudes are expressed in terms of field strength bivectors, with allowance for the dependence on the helicities and masses of all particles. Numerical calculations have been performed for the quark-antiquark annihilation process $\bar{c}c$ at the center-of-mass energies of…

With the upcoming lounge access changes for guests and authorized users, we might move spend back to the AMEX.
https://www.capitalone.com/credit-cards/disclosures/airport-lounge-terms/

Localizing synergies of hidden factors across complex systems: resting brain networks and HeLa gene expression profile as case studies
Marlis Ontivero-Ortega, Gorana Mijatovic, Luca Faes, Daniele Marinazzo, Sebastiano Stramaglia
https://arxiv.org/abs/2506.09053

Localizing synergies of hidden factors across complex systems: resting brain networks and HeLa gene expression profile as case studies
Factor analysis is a well-known statistical method to describe the variability of observed variables in terms of a smaller number of unobserved latent variables called factors. Even though latent factors are conceptually independent of each other, their influence on the observed variables is often joint and synergistic. We propose to quantify the synergy of the joint influence of factors on the observed variables using the O-information, a recently introduced metrics to assess high order depend…

That's pretty cool, Roku has #f1 channel. This is different than the app:
https://therokuchannel.roku.com/details/d2564cef9feeec6c58a076d6f6a904…

Roku
Roku provides the simplest way to stream entertainment to your TV. On your terms. With thousands of available channels to choose from.

Bridging Continuous-time LQR and Reinforcement Learning via Gradient Flow of the Bellman Error
Armin Gie{\ss}ler, Albertus Johannes Malan, S\"oren Hohmann
https://arxiv.org/abs/2506.09685

Bridging Continuous-time LQR and Reinforcement Learning via Gradient Flow of the Bellman Error
In this paper, we present a novel method for computing the optimal feedback gain of the infinite-horizon Linear Quadratic Regulator (LQR) problem via an ordinary differential equation. We introduce a novel continuous-time Bellman error, derived from the Hamilton-Jacobi-Bellman (HJB) equation, which quantifies the suboptimality of stabilizing policies and is parametrized in terms of the feedback gain. We analyze its properties, including its effective domain, smoothness, coerciveness and show th…

A panoramic view of exponential attractors
Radoslaw Czaja, Stefanie Sonner
https://arxiv.org/abs/2506.10388 https://arxiv.org/pdf/250…

A panoramic view of exponential attractors
We state necessary and sufficient conditions for the existence of $T$-discrete exponential attractors for semigroups in complete metric spaces. These conditions are formulated in terms of a covering condition for iterates of the absorbing set under the time evolution of the semigroup and imply the existence and finite-dimensionality of the global attractor. We then review, generalize and compare existing construction methods for exponential attractors and show that they all imply the covering c…

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

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
We use a two sorted equational theory of algebraic effects to model concurrent shared state with preemptive interleaving, recovering Brookes's seminal 1996 trace-based model precisely. The decomposition allows us to analyse Brookes's model algebraically in terms of separate but interacting components. The multiple sorts partition terms into layers. We use two sorts: a "hold" sort for layers that disallow interleaving of environment memory accesses, analogous to holding a global lock on the memo…

Acyclic complexes and regular rings
Lars Winther Christensen, Sergio Estrada, Peder Thompson
https://arxiv.org/abs/2506.09831 https://

Acyclic complexes and regular rings
A 2009 paper by Iacob and Iyengar characterizes noetherian regular rings in terms of properties of complexes of projective modules, flat modules, and injective modules. We show that the relevant properties of such complexes are equivalent without reference to regularity of the ring and that they characterize coherent regular rings and von Neumann regular rings.

Generic models of licci ideals parametrized by Schur functors
Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman
https://arxiv.org/abs/2506.09598 https://

Generic models of licci ideals parametrized by Schur functors
Let R be a commutative Noetherian ring. Licci ideals are the ideals of R that can be linked in a finite number of steps to a complete intersection. Each licci ideal admits a rigid deformation, and two licci ideals are in the same Herzog class if they have a common deformation. In this work, we show how all the Herzog classes of licci ideals of codimension 3 can be parametrized in terms of pairs of partitions associated to Schur functors. This fact allows to describe in a purely combinatorial wa…

Trump and Republicans in Congress will do their part to damage the American economy, at a moment of fear and instability.
In the broadest terms, their Big Bad Budget bill is an enormous upward transfer of wealth
— perhaps the largest in history
— taking from those with lower incomes and giving to the rich.
And in its details there are dozens if not hundreds of blows to the economy.

The Republican budget is an attack on the American economy
Everywhere you look, it delivers blows to America's economic future.

Overcoming logarithmic singularities in the Cahn-Hilliard equation with Flory-Huggins potential: An unconditionally convergent ADMM approach
Ruo Li, Shengtong Liang, Zhonghua Qiao
https://arxiv.org/abs/2506.09361

Overcoming logarithmic singularities in the Cahn-Hilliard equation with Flory-Huggins potential: An unconditionally convergent ADMM approach
The Cahn-Hilliard equation with Flory-Huggins potential serves as a fundamental phase field model for describing phase separation phenomena. Due to the presence of logarithmic singularities at $u=\pm 1$, the solution $u$ is constrained within the interval $(-1,1)$. While convex splitting schemes are commonly employed to preserve this bound and guarantee unconditional unique solvability, their practical implementation requires solving nonlinear systems containing singular logarithmic terms at ea…

High-Precision Acoustic Event Monitoring in Single-Mode Fibers Using Fisher Information
Catarina S. Monteiro, Tiago D. Ferreira, Nuno A. Silva
https://arxiv.org/abs/2506.10561

High-Precision Acoustic Event Monitoring in Single-Mode Fibers Using Fisher Information
Polarization optical fiber sensors are based on modifications of fiber birefringence by an external measurand (e.g. strain, pressure, acoustic waves). Yet, this means that different input states of polarization will result in very distinct behaviors, which may or may not be optimal in terms of sensitivity and signal-to-noise ratio. To tackle this challenge, this manuscript presents an optimization technique for the input polarization state using the Fisher information formalism, which allows fo…

Leaving Twitter didn't hurt NPR at all.
Didn't really hurt me either.
https://niemanreports.org/npr-twitter-musk/

Six Months Ago NPR Left Twitter. The Effects Have Been Negligible - Nieman Reports
The numbers confirm what many of us have long suspected — that Twitter wasn’t worth the effort, at least in terms of traffic

Comment on "Electric conductivity of graphene: Kubo model versus a nonlocal quantum field theory model (arXiv:2403.02279v3)"
M. Bordag, N. Khusnutdinov, G. L. Klimchitskaya, V. M. Mostepanenko
https://arxiv.org/abs/2506.10792

Comment on "Electric conductivity of graphene: Kubo model versus a nonlocal quantum field theory model (arXiv:2403.02279v3)"
Recently, Rodriguez-Lopez, Wang, and Antezza [arXiv:2403.02279v3; Phys. Rev. B v.111, 115428 (2025)] compared the theoretical descriptions of electric conductivity of graphene given by the Kubo model and quantum field theory in terms of the polarizationtensor. According to these authors, in the spatially nonlocal case, the quantum field theoretical description contains ``hard inconsistencies". To bring the predictions of quantum field theory in agreement with those following from the Kubo model…

Exact series expansion for even frequency moments of the dynamic structure factor
Panagiotis Tolias, Jan Vorberger, Tobias Dornheim
https://arxiv.org/abs/2506.10410

Exact series expansion for even frequency moments of the dynamic structure factor
An exact series representation of the even frequency moments of the dynamic structure factor is derived. Truncations are proposed that allow to evaluate the explicitly unknown second, fourth and fifth frequency moments for the finite temperature uniform electron gas. Their applicability range in terms of degeneracy parameter and wavenumber is determined by exploiting the non-interacting limit and by comparing with the quasi-exact results of path integral Monte Carlo simulations.

"Although police officers per capita are above the median among OECD countries, the U.S. is an outlier in having few police per homicide. [This] is explained not by police staffing levels but by high levels of bureaucratic shirking... inefficient allocation, low effort, and the avoidance of bodily harm. We show that U.S. officers are paid significantly more (in relative and absolute terms) while not being at greater risk... than their international counterparts."

Generalized Modulated Symmetries in $\mathbb{Z}_2$ Topological Ordered Phases
Gustavo M. Yoshitome, Heitor Casasola, Rodrigo Corso, Pedro R. S. Gomes
https://arxiv.org/abs/2506.10819

Generalized Modulated Symmetries in $\mathbb{Z}_2$ Topological Ordered Phases
We study $\mathbb{Z}_2$ topological ordered phases in 2+1 dimensions characterized by generalized modulated symmetries. Such phases have explicit realizations in terms of fixed-point Hamiltonians involving commuting projectors with support $h=3,5,7,\ldots$ in the horizontal direction, which dictates the modulation of the generalized symmetries. These symmetries are sensitive to the lattice sizes. For certain sizes, they are spontaneously broken and the ground state is degenerated, while for the…

I nearly gave my credit card to a legit-looking Maine business, until I noticed their “privacy policy” linked to Wikipedia. That’s not laziness but AI-generated HTML vibecoded into place without review. And a lot more can go wrong than a missing legal page.
https://www.

🤩 The latest Safari 26 Beta does not disappoint in terms of #CSS features:
⚓️ Anchor Positioning!
🪄 Scroll-driven animations!
🌯 text-wrap: pretty!
🌈 contrast-color()!
⏲️ progress()!
and more!
And this sentence: “We value the principles of progressive enhancement and separation of concerns.” 😉
Great work, @…

News from WWDC25: WebKit in Safari 26 beta
Welcome to WWDC25!

This is an interesting take on how AI can, in specific cases, when used carefully, be used to level the playing field.
https://tylertringas.com/ai-legal/
I think this is true in many situations, including education. We just have to get past the shortcuts, the blind faith and the hype,…

Workshopping a joke about "Quantum Regulators" doing the absolute minimum.
https://www.gov.uk/government/publications/quantum-regulators-forum-terms-of-reference/quantum-regulators-forum-terms-of-ref…

Quantum Regulators’ Forum: terms of reference

Map Of The Web Site Structure For
Art Of Middle Eastern Dance
http://www.shira.net/sitemap.htm

Majorana Signatures in the Tripartite Uncertainty Relations with Quantum Memory
D. Maroulakos (Doctoral School at the University of Rzeszow), C. Jasiukiewicz (Department of Physics and Medical Engineering Rzeszow University of Technology), A. Wal (Institute of Physics Faculty of Exact and Technical Sciences University of Rzeszow), A. Sinner (Institute of Physics University of Opole), I. Weymann (Institute of Spintronics and Quantum Information Faculty of Physics and Astronomy A. Mickie…

Majorana Signatures in the Tripartite Uncertainty Relations with Quantum Memory
Quantumness imposes a fundamental limit on measurement accuracy. The paradigmatic cases are Heisenberg's uncertainty relation in the original formulation, Robertson's formulation, and improved uncertainty relations. However, the more universal measures are given in terms of quantum entropies. Uncertainties of measurements done on one quantum system correlated with another quantum system constitute a more intriguing question. Quantum correlations can influence the lower bound of uncertainties, a…

Classifying Emergence in Robot Swarms: An Observer-Dependent Approach
Ricardo Vega, Cameron Nowzari
https://arxiv.org/abs/2507.07315 https://

Classifying Emergence in Robot Swarms: An Observer-Dependent Approach
Emergence and swarms are widely discussed topics, yet no consensus exists on their formal definitions. This lack of agreement makes it difficult not only for new researchers to grasp these concepts, but also for experts who may use the same terms to mean different things. Many attempts have been made to objectively define 'swarm' or 'emergence,' with recent work highlighting the role of the external observer. Still, several researchers argue that once an observer's vantage point (e.g., scope, r…

https://techcrunch.com/2025/06/17/mastodon-updates-its-terms-to-prohibit-ai-model-training/
Mastodon updates its terms to prohibit AI model training

Mastodon updates its terms to prohibit AI model training | TechCrunch
Days after Elon Musk-owned X updated its terms to explicitly prohibit AI model training, decentralized social network Mastodon updated its own rules to bar any kind of model training, as well.

Ranking offseason traded players in terms of situation: Can George Pickens succeed with Cowboys?

https://www.cbssports.com/nfl/news/ranking

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
Kanta Takahata, Jonas Sch\"opf, Naoki Nishida, Takahito Aoto
https://arxiv.org/abs/2505.21986

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
Logically constrained term rewriting is a rewriting framework that supports built-in data structures such as integers and bit vectors. Recently, constrained terms play a key role in various analyses and applications of logically constrained term rewriting. A fundamental question on constrained terms arising there is how to characterize equivalence between them. However, in the current literature only limited progress has been made on this. In this paper, we provide several sound and complete so…

Evaluating the Performance and Efficiency of Sentence-BERT for Code Comment Classification
Fabian C. Pe\~na, Steffen Herbold
https://arxiv.org/abs/2506.08581

Evaluating the Performance and Efficiency of Sentence-BERT for Code Comment Classification
This work evaluates Sentence-BERT for a multi-label code comment classification task seeking to maximize the classification performance while controlling efficiency constraints during inference. Using a dataset of 13,216 labeled comment sentences, Sentence-BERT models are fine-tuned and combined with different classification heads to recognize comment types. While larger models outperform smaller ones in terms of F1, the latter offer outstanding efficiency, both in runtime and GFLOPS. As result…

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

Dynamic scaling theory for a field quench near the Kasteleyn transition in spin ice
We present a dynamic scaling theory to describe relaxation dynamics following a magnetic-field quench near an unconventional phase transition in the magnetic material spin ice. Starting from a microscopic model, we derive an effective description for the critical dynamics in terms of the seeding and growth of string excitations, and use this to find scaling forms in terms of time, reduced temperature and monopole fugacity. We confirm the predictions of scaling theory using Monte Carlo simulatio…

One loop corrections to the thermodynamics of near-extremal Kerr-(A)dS black holes from Heun equation
Paolo Arnaudo, Giulio Bonelli, Alessandro Tanzini
https://arxiv.org/abs/2506.08959

One loop corrections to the thermodynamics of near-extremal Kerr-(A)dS black holes from Heun equation
We compute one-loop corrections to the euclidean gravitational path integral of near-extremal (anti-)de Sitter-Kerr black hole in terms of the connection coefficients of the Heun equation describing the black hole linear perturbations in the Teukolsky formalism. We show that different near-extremal limits lead to distinct physical properties of the gravitational configuration, as they get described by distinct limiting differential equations. As a result, the light modes emerging in the limit d…

I love how smart these AI technologies are. They understand that "bigger" for cities can be ambiguous, refer to either the population or the area. It's also great that it's showing the sources in the upper corner, and displaying the basic facts.
Small minus on consistency and correctness, but other than that, really a great answer.
#google

A 2-categorical approach to the semantics of dependent type theory with computation axioms
Matteo Spadetto
https://arxiv.org/abs/2507.07208 https://…

A 2-categorical approach to the semantics of dependent type theory with computation axioms
Axiomatic type theory is a dependent type theory without computation rules. The term equality judgements that usually characterise these rules are replaced by computation axioms, i.e., additional term judgements that are typed by identity types. This paper is devoted to providing an effective description of its semantics, from a higher categorical perspective: given the challenge of encoding intensional type formers into 1-dimensional categorical terms and properties, a challenge that persists …

Congruence conditions for the mod $\lambda$ values of the Fourier coefficients of classical eigenforms
Michael A. Daas
https://arxiv.org/abs/2506.08865 htt…

Congruence conditions for the mod $λ$ values of the Fourier coefficients of classical eigenforms
We classify all instances of the condition $a_{p}(f) \equiv x \bmod λ$ being related to a congruence on the prime $p$, where $a_{p}(f)$ denotes the $p$th Fourier coefficient of a classical normalised cuspidal eigenform $f$ and $λ$ is a prime in the number field generated by the Fourier coefficients of $f$. This classification is done in terms of the (projective) image of the mod $λ$ Galois representation associated with $f$ and extends work by Swinnerton-Dyer. We highlight that for $x = 0$, …

Analysing semantic data storage in Distributed Ledger Technologies for Data Spaces
Juan Cano-Benito, Andrea Cimmino, Sven Hertling, Heiko Paulheim, Ra\'ul Garc\'ia-Castro
https://arxiv.org/abs/2507.07116

Analysing semantic data storage in Distributed Ledger Technologies for Data Spaces
Data spaces are emerging as decentralised infrastructures that enable sovereign, secure, and trustworthy data exchange among multiple participants. To achieve semantic interoperability within these environments, the use of semantic web technologies and knowledge graphs has been proposed. Although distributed ledger technologies (DLT) fit as the underlying infrastructure for data spaces, there remains a significant gap in terms of the efficient storage of semantic data on these platforms. This p…

Mastodon updates its terms to prohibit AI model training starting July 1, and enforces a new age limit of 16 for users globally (Ivan Mehta/TechCrunch)
https://techcrunch.com/2025/06/17/mastodon-updates-its-terms-to-prohibit-ai-model-tra…

Mastodon updates its terms to prohibit AI model training | TechCrunch
Days after Elon Musk-owned X updated its terms to explicitly prohibit AI model training, decentralized social network Mastodon updated its own rules to bar any kind of model training, as well.

Robust output stability and input-to-output stability based on output dissipation
Antoine Chaillet (IUF, L2S), Iasson Karafyllis (NTUA), Yuan Wang
https://arxiv.org/abs/2506.10479

Robust output stability and input-to-output stability based on output dissipation
LaSalle techniques to ensure the convergence of a given output usually fail at guaranteeing uniform convergence time, which induces robustness issues. Recent works have provided extra conditions under which a Lyapunov function that dissipates in terms of only the output guarantees this uniformity. In this paper, we extend these results to systems with inputs in order to establish either robust stability or input-to-output stability. In addition, we show that a recent relaxation of Barb__lat's l…

Interpolations for a quantum Parisi formula in transverse field mean-field spin glass models
C. Itoi, K. Fujiwara, Y. Sakamoto
https://arxiv.org/abs/2506.09419

Interpolations for a quantum Parisi formula in transverse field mean-field spin glass models
A quantum Parisi formula for the transverse field Sherrington-Kirkpatrick (SK) model is proven with an elementary mathematical method. First, a self-overlap corrected quantum model of the transverse field SK model is represented in terms of the Hamiltonian with annealed random interactions. The interpolation given by Guerra and Toninelli is extended to the self-overlap corrected quantum model. It is proven that the infinite-volume limit of the free energy density exists in the operator formalis…

@… Honestly? I find OnlyOffice much prettier lol
I've tried LO a few of times over the years, but it just doesn't look quite right on Windows.
I keep both sets of apps on my PC anyway, since my MS Office subscription ended a year after I finished school, and I want the most coverage in terms of feature parity.
Besides aesthetics, I also like how…

Viele Menschen verstehen #Warnungen wie „#Hitzeindex“ oder „#Hitzewarnung“ falsch. Das zeigt eine US-Studie.
Fast die Hälfte hält den Hitzeindex für die reine

Bridging the Gap between National Weather Service Heat Terminology and Public Understanding
Abstract Clearly communicating heat warning information to the public is an important way to reduce heat mortality and morbidity. However, heat communication interventions from the National Weather Service commonly include technical and scientific terms, otherwise known as jargon. These terms, such as heat advisory or heat index, may not be understood by the public. Given the importance of message understanding in protective action decision-making, the purpose of this study is to assess how the…

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

The structure of étale Boolean right restriction monoids
In this paper, we describe étale Boolean right restriction monoids in terms of Boolean inverse monoids.

Short Simple Orthogonal Geodesic Chords on a 2-Disk with Convex Boundary
Isabel Beach
https://arxiv.org/abs/2507.07797 https://arxiv.…

Short Simple Orthogonal Geodesic Chords on a 2-Disk with Convex Boundary
We prove the existence of at least two distinct short, simple orthogonal geodesic chords on a Riemannian 2-disk $M$ with convex boundary. The lengths of these curves are bounded in terms of the length of $\partial M$, the diameter of $M$, and the area of $M$. We also prove the existence of a short, simple geodesic chord on any Riemannian 2-disk.

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

ViVo: A Dataset for Volumetric VideoReconstruction and Compression
As research on neural volumetric video reconstruction and compression flourishes, there is a need for diverse and realistic datasets, which can be used to develop and validate reconstruction and compression models. However, existing volumetric video datasets lack diverse content in terms of both semantic and low-level features that are commonly present in real-world production pipelines. In this context, we propose a new dataset, ViVo, for VolumetrIc VideO reconstruction and compression. The da…

Non-holomorphic Contributions in GMSB with Adjoint Messengers
Busra Nis, Cem Salih Un
https://arxiv.org/abs/2507.07970 https://arxiv.…

Non-holomorphic Contributions in GMSB with Adjoint Messengers
We consider models of gauge mediated supersymmetry breaking, in which the breaking is transmitted to the visible sector by the messenger fields from the adjoint representation of MSSM's gauge group. We include the non-holomorphic terms induced by the supersymmetry breaking and involve them in the renormalization group evolution. The main impact from the non-holomorphic terms arises in the right-handed stau mass, which requires large hypercharge interactions with the messengers to accommodate no…

"Here is the thing: the video describes, at an excruciatingly slow pace (at least by the standards of our generation’s TikTok-formatted brains), with the terms and phraseology of 1968, and during no less than one and a half hours, the very computer you are using to read this article. Yes, the one on your lap or on your desk."
https://

Doug Engelbart
As in any human group, there are certain pilgrimages, certain rites of passage that all software developers apparently must go through. They are various and equally anecdotical: to compile and boot their own Linux kernel; to read "The Art of Computer Programming" in its entirety (and then send their CV to Bill Gates); to give a presentation in a conference; and finally, to sit through the whole duration of "The Mother of All Demos", the recording of the unavoidable presentation made by Douglas …

Analytical solutions of CPT-odd Maxwell equations in Schwarzschild spacetime
Hao Wang, Zhi Xiao, Bing Sun
https://arxiv.org/abs/2506.10409 https://

Analytical solutions of CPT-odd Maxwell equations in Schwarzschild spacetime
In this work, we present the CPT-violating (CPTV) Maxwell equations in curved spacetime using the Newman-Penrose (NP) formalism. We obtain a semi-analytical solution to the Maxwell equations in Schwarzschild spacetime under the assumption that the CPT-odd $\left(k_{AF}\right)^μ$ term exhibits spherical symmetry in the Schwarzschild background. Retaining only terms up to linear order in the $\left(k_{AF}\right)^μ$ coefficient, we obtain perturbative solutions by treating the solutions of the L…

foldoc: FOLDOC entries (2002)
A network of hyperlinks among entries in the Free On-line Dictionary of Computing (FOLDOC, www.foldoc.org), an online dictionary of acronyms and technical terms for computers. An edge points from i to j if the term j is referred to in the entry for term i. Edge weight denotes number of uses of the same term.
This network has 13356 nodes and 120238 edges.
Tags: Informational, Web graph, Weighted

MHD Rankine-Hugoniot jump conditions for shock waves in van der Waals gases
Raj Kumar Anand
https://arxiv.org/abs/2507.07564 https://…

MHD Rankine-Hugoniot jump conditions for shock waves in van der Waals gases
In this article, we have presented non-relativistic boundary conditions across a magnetohydrodynamic (MHD) shock front propagating in van der Waals gases. The expression for the strength of the non-relativistic MHD shock wave has been obtained, and the Rankine-Hugoniot (R-H) shock jump relations, or boundary conditions, for the pressure, the density, and the particle velocity across an MHD shock front have been derived in terms of a shock compression ratio. The simplified forms of shock jump re…

Generalised Orbifolds and G-equivariantisation
Sebastian Heinrich, Julia Plavnik, Ingo Runkel, Abigail Watkins
https://arxiv.org/abs/2506.08154 https://

Generalised Orbifolds and G-equivariantisation
In a construction motivated by topological field theory, a so-called orbifold datum $\mathbb{A}$ in a ribbon category $C$ allows one to define a new ribbon category $C_{\mathbb{A}}$. If $C$ is the neutral component of a $G$-crossed ribbon category $B$, and $\mathbb{A}$ is an orbifold datum in $C$ defined in terms of $B$, one finds that $C_{\mathbb{A}}$ is equivalent to the equivariantisation $B^G$ of $B$ as a ribbon category. We give a constructive proof of this equivalence.

Comparing probability distributions: application to quantum states of light
Soumyabrata Paul, V. Balakrishnan, S. Ramanan, S. Lakshmibala
https://arxiv.org/abs/2506.10760

Comparing probability distributions: application to quantum states of light
Probability distributions play a central role in quantum mechanics, and even more so in quantum optics with its rich diversity of theoretically conceivable and experimentally accessible quantum states of light. Quantifiers that compare two different states or density matrices in terms of `distances' between the respective probability distributions include the Kullback-Leibler divergence $D_{\rm KL}$, the Bhattacharyya distance $D_{\rm B}$, and the $p$-Wasserstein distance $W_{p}$. We present a …

"Meat giant profits from carbon market without halting deforestation"
#Deforestation #Environment

Meat giant profits from carbon market without halting deforestation
Since the first scientific critiques of fossil fuels, oil companies have gone from being the “wealth of nations” to “destroyers of the planet.” In financial market terms, they have become environmental liabilities. It cannot be said, however, that they have also become economic liabilities. The global carbon credit market is heating up — quite like […]

Hybrid Classical-Quantum Sampling for Lattice Scalar Field Theory
Hee-Cheol Kim, Jangho Kim
https://arxiv.org/abs/2506.09514 https://…

Hybrid Classical-Quantum Sampling for Lattice Scalar Field Theory
We investigate lattice scalar field theory in two-dimensional Euclidean space via a quantum annealer. To accommodate the quartic interaction terms, we introduce three schemes for rewriting them as quadratic polynomials through the use of auxiliary qubits. These methods are applied on D-Wave quantum annealer, and their effectiveness is assessed by examining the annealer-generated distributions. Using these distributions, we perform Monte Carlo sampling via the Metropolis-Hastings algorithm and c…

The gargantuan budget bill Republicans passed through Congress will do its part to damage the American economy, at a moment of fear and instability.
In the broadest terms, the bill is an enormous upward transfer of wealth — perhaps the largest in history — taking from those with lower incomes and giving to the rich. And in its details there are dozens

The Republican budget is an attack on the American economy
Everywhere you look, it delivers blows to America's economic future.

"There's one way to end this war. You say to Vladimir Putin:
If you don't stop this war, and we agree to the ceasefire terms I dictate, we are bringing Ukraine into NATO within 30 days. Which part of that sentence don't you understand? Do you want to mess with me? Test me.
That's how you end this war."
https://

The twisted constant in Calabi-Yau type equation
Genglong Lin
https://arxiv.org/abs/2506.09639 https://arxiv.org/pdf/2506.09639

The twisted constant in Calabi-Yau type equation
In this paper we establish a necessary and sufficient condition for solving a general class of fully nonlinear elliptic equations on compact almost Hermitian manifolds, extending a recent work of Guo-Song. As applications, we determine the twisted constants in Calabi-Yau type equations, including the classical one, Hessian type one and form type one with gradient terms introduced by Popovici and Tosatti-Weinkove. In particular, it addresses a question raised in a work of Chu-Tosatti-Weinkove \c…

Mastodon updates its terms to prohibit AI model training starting July 1, and enforces a new age limit of 16 for users globally (Ivan Mehta/TechCrunch)
https://techcrunch.com/2025/06/17/mastodon-updates-its-terms-to-prohibit-ai-model-tra…

Mastodon updates its terms to prohibit AI model training | TechCrunch
Days after Elon Musk-owned X updated its terms to explicitly prohibit AI model training, decentralized social network Mastodon updated its own rules to bar any kind of model training, as well.

Accidental coincidences in camera-based high-dimensional entanglement certification
Rapha\"el Guitter (Institut des NanoSciences de Paris), Baptiste Courme (Institut des NanoSciences de Paris, Laboratoire Kastler Brossel), Chlo\'e Verni\`ere (Institut des NanoSciences de Paris), Peter Svihra (Faculty of Nuclear Sciences and Physical Engineering Czech Technical University), Andrei Nomerotski (Faculty of Nuclear Sciences and Physical Engineering Czech Technical University), Hugo…

Accidental coincidences in camera-based high-dimensional entanglement certification
High-dimensional entangled states, such as spatially-entangled photon pairs produced by Spontaneous Parametric Down-Conversion (SPDC), are a key resource for quantum technologies. In recent years, camera-based coincidence counting approaches have considerably improved the ability to characterize them in terms of speed and dimensionality. However, these methods have limitations, including in most of them the necessity to subtract accidental coincidences. Here, we study the role of these accident…

Phishing Detection in the Gen-AI Era: Quantized LLMs vs Classical Models
Jikesh Thapa, Gurrehmat Chahal, Serban Voinea Gabreanu, Yazan Otoum
https://arxiv.org/abs/2507.07406

Phishing Detection in the Gen-AI Era: Quantized LLMs vs Classical Models
Phishing attacks are becoming increasingly sophisticated, underscoring the need for detection systems that strike a balance between high accuracy and computational efficiency. This paper presents a comparative evaluation of traditional Machine Learning (ML), Deep Learning (DL), and quantized small-parameter Large Language Models (LLMs) for phishing detection. Through experiments on a curated dataset, we show that while LLMs currently underperform compared to ML and DL methods in terms of raw ac…

Orbits of smooth rational curves on Enriques surfaces
Simon Brandhorst, V\'ictor Gonz\'alez-Alonso
https://arxiv.org/abs/2507.07516 https://…

Orbits of smooth rational curves on Enriques surfaces
We give a closed formula for the number of orbits of smooth rational curves under the automorphism group of an Enriques surface in terms of its Nikulin root invariant and its Vinberg group.

Factorizations in Hecke algebras I: long cycle factorizations and Jucys-Murphy elements
Jose Bastidas, Sarah Brauner, Mathieu Guay-Paquet, Alejandro H. Morales, GaYee Park, Franco Saliola
https://arxiv.org/abs/2506.08883

Factorizations in Hecke algebras I: long cycle factorizations and Jucys-Murphy elements
Given a permutation, there is a well-developed literature studying the number of ways one can factor it into a product of other permutations subject to certain conditions. We initiate the analogous theory for the type A Iwahori-Hecke algebra by generalizing the notion of factorization in terms of the Jucys-Murphy elements. Some of the oldest and most foundational factorization results for the symmetric groups pertain to the long cycle. Our main results give q-deformations of these long cycle fa…

Type IIB at eight derivatives: Five-Point Axio-Dilaton Couplings
James Liu, Ruben Minasian, Raffaele Savelli, Andreas Schachner
https://arxiv.org/abs/2507.07934

Type IIB at eight derivatives: Five-Point Axio-Dilaton Couplings
We study the Type IIB eight-derivative effective Lagrangian beyond the quartic level, focusing on interactions involving gravitons and axio-dilatons. We show how to translate five-point scattering amplitudes into genuine five-point contact terms and extract all perturbative contributions to the effective action. Our result is consistent with T-duality predictions at tree level in the NSNS sector. We find that couplings with an even/odd number of scalars are neutral/charged under $\mathrm{SL}(2,…

“Siloviki” is perhaps the most borrowed word in Russian studies
— probably because it explains so much about Putin’s Russia.
Its members are the police, the border control, the army, the security services, the spies.
For their service to the regime, they are rewarded with early pensions,
plenty of cash and almost total immunity from investigation for corruption or brutality.
In truth, the American security state, with its qualified immunity, surveillance appar…

Opinion | Here’s What’s Happening in America, in Six (Mostly) Russian Terms
To help Americans name their new reality, we wrote a phrase book of authoritarianism.

Non-Abelian dynamics on a cube: improving quantum compilation through qudit-based simulations
Jacky Jiang, Natalie Klco, Olivia Di Matteo
https://arxiv.org/abs/2506.10945

Non-Abelian dynamics on a cube: improving quantum compilation through qudit-based simulations
Recent developments in mapping lattice gauge theories relevant to the Standard Model onto digital quantum computers identify scalable paths with well-defined quantum compilation challenges toward the continuum. As an entry point to these challenges, we address the simulation of SU(2) lattice gauge theory. Using qudit registers to encode the digitized gauge field, we provide quantum resource estimates, in terms of elementary qudit gates, for arbitrarily high local gauge field truncations. We the…

Scattering theory on Riemann surfaces II: The scattering matrix and generalized period mappings
Eric Schippers, Wolfgang Staubach
https://arxiv.org/abs/2506.08166

Scattering theory on Riemann surfaces II: The scattering matrix and generalized period mappings
We construct a scattering theory for harmonic one-forms on Riemann surfaces, obtained from boundary value problems involving systems of curves and the jump problem. We obtain an explicit expression for the scattering matrix in terms of integral operators which we call Schiffer operators, and show that the matrix is unitary. We also obtain a general association of positive polarizing Lagrangian spaces to bordered Riemann surfaces, which unifies the classical polarizations for compact surfaces of…

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

On the Instability of Nesterov's ODE under Non-Conservative Vector Fields
We study the instability properties of Nesterov's ODE in non-conservative settings, where the driving term is not necessarily the gradient of a potential function. While convergence properties under Nesterov's ODE are well-characterized for optimization settings with gradient-based driving terms, we show that the presence of arbitrarily small non-conservative terms can lead to instability, a phenomenon previously observed empirically via numerical studies in optimization and game-theoretic prob…

Ammonia, Methane, Hydrogen and Methanol Produced in Remote Renewable Energy Hubs: a Comparative Quantitative Analysis
Antoine Larbanois, Victor Dachet, Antoine Dubois, Rapha\"el Fonteneau, Damien Ernst
https://arxiv.org/abs/2507.07681

Ammonia, Methane, Hydrogen and Methanol Produced in Remote Renewable Energy Hubs: a Comparative Quantitative Analysis
Remote renewable energy hubs (RREHs) for synthetic fuel production are engineering systems harvesting renewable energy where it is particularly abundant. They produce transportable synthetic fuels for export to distant load centers. This article aims to evaluate the production costs of different energy carriers, and includes a discussion on advantages and disadvantages in terms of technical performance. To do so, we extend the study of Berger et al., (2021) which focuses on methane (CH4) as ene…

Analysis: Mail Online is among major news brands most-impacted by Google's AI Overviews, with 68.8% of the top 100 keyword searches resulting in no site visits (Charlotte Tobitt/Press Gazette)
https://press…

How Google AI Overviews is fuelling zero-click searches for top publishers
New Similarweb data shows likes of Mail Online and People see high proportion of AI Overviews for their key search terms.

Base-extension Semantics for Intuitionistic Modal Logics
Yll Buzoku, David. J. Pym
https://arxiv.org/abs/2507.06834 https://arxiv.org…

Base-extension Semantics for Intuitionistic Modal Logics
The proof theory and semantics of intuitionistic modal logics have been studied by Simpson in terms of Prawitz-style labelled natural deduction systems and Kripke models. An alternative to model-theoretic semantics is provided by proof-theoretic semantics, which is a logical realization of inferentialism, in which the meaning of constructs is understood through their use. The key idea in proof-theoretic semantics is that of a base of atomic rules, all of which refer only to propositional atoms …

Nonlinear projection for ballistic correlation functions: a formula in terms of minimal connected covers
Benjamin Doyon
https://arxiv.org/abs/2506.05266 ht…

Nonlinear projection for ballistic correlation functions: a formula in terms of minimal connected covers
In many-body systems, the dynamics is governed, at large scales of space and time, by the hydrodynamic principle of projection onto the conserved densities admitted by the model. This is formalised as local relaxation of fluctuations in the ballistic macroscopic fluctuation theory, a nonlinear Boltzmann-Gibbs principle. We use it to derive a projection formula, expressing n-point connected correlation functions (cumulants) of generic observables at different space-time points, in terms of those…

Quench dynamics of negativity Hamiltonians
Riccardo Travaglino, Colin Rylands, Pasquale Calabrese
https://arxiv.org/abs/2506.09561 https://

Quench dynamics of negativity Hamiltonians
In this paper, we investigate the quench dynamics of the negativity and fermionic negativity Hamiltonians in free fermionic systems. We do this by generalizing a recently developed quasiparticle picture for the entanglement Hamiltonians to tripartite geometries. We obtain analytic expressions for these quantities which are then extensively checked against previous results and numerics. In particular, we find that the standard negativity Hamiltonian contains both non-local hopping terms and four…

Flagged LLT polynomials, nonsymmetric plethysm, and nonsymmetric Macdonald polynomials
Jonah Blasiak, Mark Haiman, Jennifer Morse, Anna Pun, George H. Seelinger
https://arxiv.org/abs/2506.09015

Flagged LLT polynomials, nonsymmetric plethysm, and nonsymmetric Macdonald polynomials
The plethystic transformation $f[X] \mapsto f[X/(1-t)]$ and LLT polynomials are central to the theory of symmetric Macdonald polynomials. In this work, we introduce and study nonsymmetric flagged LLT polynomials. We show that these admit both an algebraic and a combinatorial description, that they Weyl symmetrize to the usual symmetric LLT polynomials, and we conjecture that they expand positively in terms of Demazure atoms. Additionally, we construct a nonsymmetric plethysm operator $Π_{t,x}$…

The Kirkwood closure point process: A solution of the Kirkwood-Salsburg equations for negative activities
Fabio Frommer
https://arxiv.org/abs/2506.08242 ht…

The Kirkwood closure point process: A solution of the Kirkwood-Salsburg equations for negative activities
The Kirkwood superposition is a well-known tool in statistical physics to approximate the $n$-point correlation functions for $n\geq 3$ in terms of the density $ρ$ and the radial distribution function $g$ of the underlying system. However, it is unclear whether these approximations are themselves the correlation functions of some point process. If they are, this process is called the Kirkwood closure process. For the case that $g$ is the negative exponential of some nonnegative and regular pai…

Polarized Deep Inelastic Scattering as $x \to 1$ using Soft Collinear Effective Theory
Jaipratap Singh Grewal, Aneesh V. Manohar, Jyotirmoy Roy
https://arxiv.org/abs/2507.07175

Polarized Deep Inelastic Scattering as $x \to 1$ using Soft Collinear Effective Theory
We use Soft Collinear Effective Theory (SCET) to factorize the polarized Deep Inelastic Scattering (DIS) structure functions $g_1(x)$ and $g_2(x)$, and to sum Sudakov double logarithms of $1-x$. The analysis is done both in terms of lightcone parton distributions and their moments. Computing $g_2$ requires subleading SCET operators which contain gluons. We calculate the one-loop matching coefficients from QCD onto these subleading SCET operators, and the one-loop matching from SCET onto the par…

Decay of small energy solutions in the ABCD Boussinesq model under the influence of an uneven bottom
Christopher Maul\'en, Claudio Mu\~noz, Felipe Poblete
https://arxiv.org/abs/2507.06487 https://arxiv.org/pdf/2507.06487 https://arxiv.org/html/2507.06487
arXiv:2507.06487v1 Announce Type: new
Abstract: The Boussinesq $abcd$ system is a 4-parameter set of equations posed in $\mathbb{R}_t\times\mathbb{R}_x$, originally derived by Bona, Chen and Saut as first order 2-wave approximations of the incompressible and irrotational, two dimensional water wave equations in the shallow water wave regime, in the spirit of the original Boussinesq derivation. Among many particular regimes, depending each of them in terms of the value of the parameters $(a,b,c,d)$ present in the equations, the generic regime is characterized by the setting $b,d>0$ and $a,c<0$. If additionally $b=d$, the $abcd$ system is hamiltonian. Previously, sharp local in space $H^1\times H^1$ decay properties were proved in the case of a large class of $abcd$ model under the small data assumption. In this paper, we generalize [C. Kwak, et. al., The scattering problem for Hamiltonian ABCD Boussinesq systems in the energy space. J. Math. Pures Appl. (9) 127 (2019), 121--159] by considering the small data $abcd$ decay problem in the physically relevant variable bottom regime described by M. Chen. The nontrivial bathymetry is represented by a smooth space-time dependent function $h=h(t,x)$, which obeys integrability in time and smallness in space. We prove first the existence of small global solutions in $H^1\times H^1$. Then, for a sharp set of dispersive $abcd$ systems (characterized only in terms of parameters $a, b$ and $c$), all $H^1\times H^1$ small solutions must decay to zero in proper subset of the light cone $|x|\leq |t|$.
toXiv_bot_toot

Implications of Rastall Theory on Stellar Solutions admitting Vanishing Complexity: A New Perspective
Tayyab Naseer
https://arxiv.org/abs/2507.07425 https:…

Implications of Rastall Theory on Stellar Solutions admitting Vanishing Complexity: A New Perspective
In this paper, the notion of complexity factor and its implication is extended to the framework of non-conserved Rastall theory of gravity. First of all, the field equations governing a static spherical geometry associated with the anisotropic fluid are formulated. The mass function corresponding to the considered geometry is defined in terms of both matter and geometric quantities. The orthogonal decomposition of the Riemann tensor is then performed through which a family of scalar quantities,…

In iOS 26 beta 3, Apple dials back the degree of translucency in many UI elements, following user complaints about Liquid Glass (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/07/07/ios-26-beta-3-dials-back-liquid-glass/

iOS 26 beta 3 dials back Liquid Glass | TechCrunch
The early version in the first developer beta of iOS 26 and the accompanying updates for Apple's other devices still left room for improvement in terms of usability, accessibility, and legibility.

Mastodon updates its terms to prohibit AI model training
https://techcrunch.com/2025/06/17/mastodon-updates-its-terms-to-prohibit-ai-model-training/

Mastodon updates its terms to prohibit AI model training | TechCrunch
Days after Elon Musk-owned X updated its terms to explicitly prohibit AI model training, decentralized social network Mastodon updated its own rules to bar any kind of model training, as well.

Ambiguities in the generation of CFJ-terms in a 5-dimensional extension of QED in one loop
H. G. Fargnoli, J. C. C. Felipe, G. Gazzola
https://arxiv.org/abs/2506.20961

Ambiguities in the generation of CFJ-terms in a 5-dimensional extension of QED in one loop
In this paper, we investigate a Lorentz symmetry breaking extension of Quantum Electrodynamics (QED), incorporating 5-dimensional CPT-odd terms at the one-loop level. Employing an independent regularization method, we systematically separate the divergences into regularization-independent contributions and regularization-dependent (surface terms). We demonstrate that these surface terms, potentially contributing to the radiative generation of Carroll-Field-Jackiw (CFJ) terms, remain undetermine…

Secrecy Energy Efficiency Maximization in RIS-Aided Networks: Active or Nearly-Passive RIS?
Robert Kuku Fotock, Agbotiname Lucky Imoize, Alessio Zappone, Marco Di Renzo, Roberto Garello
https://arxiv.org/abs/2507.07241

Secrecy Energy Efficiency Maximization in RIS-Aided Networks: Active or Nearly-Passive RIS?
This work addresses the problem of secrecy energy efficiency (SEE) maximization in RIS-aided wireless networks. The use of active and nearly-passive RISs are compared and their trade-off in terms of SEE is analyzed. Considering both perfect and statistical channel state information, two SEE maximization algorithms are developed to optimize the transmit powers of the mobile users, the RIS reflection coefficients, and the base station receive filters. Numerical results quantify the trade-off betw…

Improved bounds on the $H$-rank of a mixed graph in terms of the matching number and fractional matching number
Qi Wu, Yong Lu
https://arxiv.org/abs/2507.04728

Improved bounds on the $H$-rank of a mixed graph in terms of the matching number and fractional matching number
A mixed graph $\widetilde{G}$ is obtained by orienting some edges of a graph $G$, where $G$ is the underlying graph of $\widetilde{G}$. Let $r(\widetilde{G})$ be the $H$-rank of $\widetilde{G}$. Denote by $r(G)$, $κ(G)$, $m(G)$ and $m^{\ast}(G)$ the rank, the number of even cycles, the matching number and the fractional matching number of $G$, respectively. Zhou et al. [Discrete Appl. Math. 313 (2022)] proved that $2m(G)-2κ(G)\leq r(G)\leq 2m(G)+ρ(G)$, where $ρ(G)$ is the largest number of …

Robin problem with measure data and singular nonlinearities on the boundary
Andrzej Rozkosz
https://arxiv.org/abs/2507.07821 https://…

Robin problem with measure data and singular nonlinearities on the boundary
We consider the Robin problem for a uniformly elliptic divergence operator with measure data on the right-hand side of the equation and an absorption term on the boundary involving blowing up terms. We prove the existence of a positive renormalized solution and provide it stochastic representation, which can be viwed as a generalized nonlinear Feynman-Kac formula. From this representation we derive some additional regularity results for the solution and some uniqueness results.

A Sagnac-based arbitrary time-bin state encoder for quantum communication applications
Kannan Vijayadharan, Mat\'ias Rub\'en Bola\~nos, Marco Avesani, Giuseppe Vallone, Paolo Villoresi, Costantino Agnesi
https://arxiv.org/abs/2506.08971

A Sagnac-based arbitrary time-bin state encoder for quantum communication applications
Time-bin encoding of quantum information is highly advantageous for long-distance quantum communication protocols over optical fibres due to its inherent robustness in the channel and the possibility of generating high-dimensional quantum states. The most common implementation of time-bin quantum states using unbalanced interferometers presents challenges in terms of stability and flexibility of operation. In particular, a limited number of states can be generated without modifying the optical …

Certification of High-Dimensional Entanglement Within the Resource Theory of Buscemi Nonlocality
Xian Shi
https://arxiv.org/abs/2506.07195 https://

Certification of High-Dimensional Entanglement Within the Resource Theory of Buscemi Nonlocality
The study on the certification of high degree entanglement, which is quantified in terms of Schmidt number, attracts much attention recently. Drawing inspiration from the work [PRX QUANTUM 2, 020301 (2021)], we first introduce resource theories of distributed measurements and teleportation instruments generated by a bipartite mixed state. Next we quantitatively characterized the relations among the convex resource theories of distributed measurements, teleportation instruments, and bipartite mi…

Solving boundary time crystals via the superspin method
Dominik Nemeth, Alessandro Principi, Ahsan Nazir
https://arxiv.org/abs/2507.06998 https://

Solving boundary time crystals via the superspin method
Boundary time crystals have been extensively studied through numerical and mean-field methods. However, a comprehensive analytical approach in terms of the Liouvillian eigenvalues, without semiclassical approximations, has yet to be developed. In this work, we analyse the Liouvillian spectrum of dissipative spin models, within a perturbative framework in the weak-dissipation limit. Introducing the superspin method, we compute the eigenvalues to first order in perturbation theory, providing a di…

Quantum transduction via generalized continuous-variable teleportation
Quntao Zhuang
https://arxiv.org/abs/2506.06899 https://arxiv.o…

Quantum transduction via generalized continuous-variable teleportation
Quantum transduction converts quantum states between different frequencies. Similarly, quantum teleportation transfers quantum states between different systems. While often appreciated for quantum communication between distant locations, teleportation can also operate between different frequencies. In terms of bosonic modes, quantum teleportation relies on two-mode squeezing -- squeezed on the balanced Einstein-Podolsky-Rosen (EPR) quadratures -- for entanglement and a balanced beamsplitter plu…