Tootfinder

Communication Round and Computation Efficient Exclusive Prefix-Sums Algorithms (for MPI_Exscan)
Jesper Larsson Tr\"aff
https://arxiv.org/abs/2507.04785

Communication Round and Computation Efficient Exclusive Prefix-Sums Algorithms (for MPI_Exscan)
Parallel scan primitives compute element-wise inclusive or exclusive prefix sums of input vectors contributed by $p$ consecutively ranked processors under an associative, binary operator $\oplus$. In message-passing systems with bounded, one-ported communication capabilities, at least $\lceil\log_2 p\rceil$ or $\lceil\log_2 (p-1)\rceil$ communication rounds are required to perform the scans. While there are well-known, simple algorithms for the inclusive scan that solve the problem in $\lceil\l…

Enhancing Data Processing Efficiency in Blockchain Enabled Metaverse over Wireless Communications
Liangxin Qian, Jun Zhao
https://arxiv.org/abs/2507.04657 …

Enhancing Data Processing Efficiency in Blockchain Enabled Metaverse over Wireless Communications
In the rapidly evolving landscape of the Metaverse, enhanced by blockchain technology, the efficient processing of data has emerged as a critical challenge, especially in wireless communication systems. Addressing this challenge, our paper introduces the innovative concept of data processing efficiency (DPE), aiming to maximize processed bits per unit of resource consumption in blockchain-empowered Metaverse environments. To achieve this, we propose the DPE-Aware User Association and Resource A…

RSMA-Enabled Covert Communications Against Multiple Spatially Random Wardens
Xinyue Pei, Jihao Liu, Xuewen Luo, Xingwei Wang, Yingyang Chen, Miaowen Wen, Theodoros A. Tsiftsis
https://arxiv.org/abs/2506.05919

RSMA-Enabled Covert Communications Against Multiple Spatially Random Wardens
This work investigates covert communication in a rate-splitting multiple access (RSMA)-based multi-user multiple-input single-output system, where the random locations of the wardens follow a homogeneous Poisson point process. To demonstrate practical deployment scenarios, imperfect channel state information at the transmitter is considered. Closed-form expressions for the statistics of the received signal-to-interference-plus-noise ratio, along with the analytical formulations for the covertne…

AI-Reporter: A Path to a New Genre of Scientific Communication
Gerd Gra{\ss}hoff
https://arxiv.org/abs/2507.05903 https://arxiv.org/p…

AI-Reporter: A Path to a New Genre of Scientific Communication
The AI-Reporter represents a paradigmatic shift in scientific publication practice. This document demonstrates through a concrete case study how our system transforms academic presentations into publication-ready chapters -- in less than three minutes. Using Arno Simons' lecture on Large Language Models from the ``Large Language Models for the History, Philosophy, and Sociology of Science'' workshop (NEPI) as an example, we show how technological innovation bridges the gap between ephemeral pre…

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
https://arxiv.org/abs/2506.06078

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
Session types are abstractions of communication protocols enabling the static analysis of message-passing processes. Refinement notions for session types are key to support safe forms of process substitution while preserving their compatibility with the rest of the system. Recently, a fair refinement relation for asynchronous session types has been defined allowing the anticipation of message outputs with respect to an unbounded number of message inputs. This refinement is useful to capture com…

Stability analysis of transitional flows based on disturbance magnitude
Ofek Frank-Shapir, Igal Gluzman
https://arxiv.org/abs/2507.05036 https://

Stability analysis of transitional flows based on disturbance magnitude
We utilize input-output analysis and the small gain theorem to derive a disturbance-based criterion for analyzing the stability of flows. A detailed study is conducted on applying this criterion to three canonical flows: Couette, plane Poiseuille, and Blasius flows, considering three input-output approaches: unstructured, structured with non-repeated blocks, and structured with repeated blocks. By covering a wide range of Reynolds numbers for each flow, we reveal a complex interplay between dom…

Error Exponents for Quantum Packing Problems via An Operator Layer Cake Theorem
Hao-Chung Cheng, Po-Chieh Liu
https://arxiv.org/abs/2507.06232 https://

Error Exponents for Quantum Packing Problems via An Operator Layer Cake Theorem
In this work, we prove a one-shot random coding bound for classical-quantum channel coding, a problem conjectured by Burnashev and Holevo in 1998. By choosing the optimal input distribution, we recover the optimal error exponent (i.e., the reliability function) of classical-quantum channels for rates above the critical rate. Our result extends to various quantum packing-type problems, including classical communication over any fully quantum channel with or without entanglement-assistance, const…

PyGemini: Unified Software Development towards Maritime Autonomy Systems
Kjetil Vasstein, Christian Le, Simon Lerv{\aa}g Breivik, Trygve Maukon Myhr, Annette Stahl, Edmund F{\o}rland Brekke
https://arxiv.org/abs/2506.06262

PyGemini: Unified Software Development towards Maritime Autonomy Systems
Ensuring the safety and certifiability of autonomous surface vessels (ASVs) requires robust decision-making systems, supported by extensive simulation, testing, and validation across a broad range of scenarios. However, the current landscape of maritime autonomy development is fragmented -- relying on disparate tools for communication, simulation, monitoring, and system integration -- which hampers interdisciplinary collaboration and inhibits the creation of compelling assurance cases, demanded…

Near-Field Codebook-Based 3D Spherical Channel Estimation for UCA XL-MIMO Systems
Chenliang Yang, Guangchi Zhang, Miao Cui, Qingqing Wu, Yong Zeng
https://arxiv.org/abs/2507.03507

Near-Field Codebook-Based 3D Spherical Channel Estimation for UCA XL-MIMO Systems
Extremely large-scale multiple input multiple output (XL-MIMO), a key technology for 6G communications, faces challenges in near-field channel estimation due to spherical wavefronts and the need for three-dimensional (3D) spatial characterization, particularly with uniform circular arrays (UCAs). This letter proposes a spherical-domain simultaneous orthogonal matching pursuit (S-SOMP) based scheme tailored for near-field 3D channel estimation in UCA-equipped XL-MIMO systems. We establish a spar…

Near-Field ISAC for THz Wireless Systems
Fan Zhang, Tianqi Mao, Mingkun Li, Meng Hua, Jinshu Chen, Christos Masouros, Zhaocheng Wang
https://arxiv.org/abs/2507.04292

Near-Field ISAC for THz Wireless Systems
Sixth-generation (6G) wireless networks are expected not only to provide high-speed connectivity but also to support reliable sensing capabilities, giving rise to the integrated sensing and communication (ISAC) paradigm. To enable higher data rates and more accurate sensing, terahertz (THz) systems empowered by extremely large multiple-input-multiple-output (XL-MIMO) technology are envisioned as key enablers for future ISAC systems. Owing to the substantial increase in both effective array aper…