title: Fuzzy Approach for Audio-Video Emotion Recognition in Computer Games for Children

abstract: Computer games are widespread nowadays and enjoyed by people of all ages. But when it comes to kids, playing these games can be more than just fun, it is a way for them to develop important skills and build emotional intelligence. Facial expressions and sounds that kids produce during gameplay reflect their feelings, thoughts, and moods. In this paper, we propose a novel framework that integrates a fuzzy approach for the recognition of emotions through the analysis of audio and video data. Our focus lies within the specific context of computer games tailored for children, aiming to enhance their overall user experience. We use the FER dataset to detect facial emotions in video frames recorded from the screen during the game. For the audio emotion recognition of sounds a kid produces during the game, we use CREMA-D, TESS, RAVDESS, and Savee datasets. Next, a fuzzy inference system is used for the fusion of results. Besides this, our system can detect emotion stability and emotion diversity during gameplay, which, together with prevailing emotion report, can serve as valuable information for parents worrying about the effect of certain games on their kids. The proposed approach has shown promising results in the preliminary experiments we conducted, involving 3 different video games, namely fighting, racing, and logic games, and providing emotion-tracking results for kids in each game. Our study can contribute to the advancement of child-oriented game development, which is not only engaging but also accounts for children's cognitive and emotional states.


title: On Privacy Preservation of Electric Vehicle Charging Control via State Obfuscation

abstract: The electric vehicle (EV) industry is rapidly evolving owing to advancements in smart grid technologies and charging control strategies. While EVs are promising in decarbonizing the transportation system and providing grid services, their widespread adoption has led to notable and erratic load injections that can disrupt the normal operation of power grid. Additionally, the unprotected collection and utilization of personal information during the EV charging process cause prevalent privacy issues. To address the scalability and data confidentiality in large-scale EV charging control, we propose a novel decentralized privacy-preserving EV charging control algorithm via state obfuscation that 1) is scalable w.r.t. the number of EVs and ensures optimal EV charging solutions; 2) achieves privacy preservation in the presence of honest-but-curious adversaries and eavesdroppers; and 3) is applicable to eliminate privacy concerns for general multi-agent optimization problems in large-scale cyber-physical systems. The EV charging control is structured as a constrained optimization problem with coupled objectives and constraints, then solved in a decentralized fashion. Privacy analyses and simulations demonstrate the efficiency and efficacy of the proposed approach.


title: Improving vision-inspired keyword spotting using dynamic module skipping in streaming conformer encoder

abstract: Using a vision-inspired keyword spotting framework, we propose an architecture with input-dependent dynamic depth capable of processing streaming audio. Specifically, we extend a conformer encoder with trainable binary gates that allow us to dynamically skip network modules according to the input audio. Our approach improves detection and localization accuracy on continuous speech using Librispeech top-1000 most frequent words while maintaining a small memory footprint. The inclusion of gates also reduces the average amount of processing without affecting the overall performance. These benefits are shown to be even more pronounced using the Google speech commands dataset placed over background noise where up to 97% of the processing is skipped on non-speech inputs, therefore making our method particularly interesting for an always-on keyword spotter.


title: Causal Inference under Network Interference Using a Mixture of Randomized Experiments

abstract: In randomized experiments, the classic stable unit treatment value assumption (SUTVA) states that the outcome for one experimental unit does not depend on the treatment assigned to other units. However, the SUTVA assumption is often violated in applications such as online marketplaces and social networks where units interfere with each other. We consider the estimation of the average treatment effect in a network interference model using a mixed randomization design that combines two commonly used experimental methods: Bernoulli randomized design, where treatment is independently assigned for each individual unit, and cluster-based design, where treatment is assigned at an aggregate level. Essentially, a mixed randomization experiment runs these two designs simultaneously, allowing it to better measure the effect of network interference. We propose an unbiased estimator for the average treatment effect under the mixed design and show the variance of the estimator is bounded by $O({d^2}n^{-1}p^{-1})$ where $d$ is the maximum degree of the network, $n$ is the network size, and $p$ is the probability of treatment. We also establish a lower bound of $\Omega(d^{1.5}n^{-1}p^{-1})$ for the variance of any mixed design. For a family of sparse networks characterized by a growth constant $\kappa \leq d$, we improve the upper bound to $O({\kappa^7 d}n^{-1}p^{-1})$. Furthermore, when interference weights on the edges of the network are unknown, we propose a weight-invariant design that achieves a variance bound of $O({d^3}n^{-1}p^{-1})$.


title: Block occurrences in the binary expansion

abstract: The binary sum-of-digits function $\mathsf{s}$ returns the number of ones in the binary expansion of a nonnegative integer. Cusick's Hamming weight conjecture states that, for all integers $t\geq 0$, the set of nonnegative integers $n$ such that $\mathsf{s}(n+t)\geq \mathsf{s}(n)$ has asymptotic density strictly larger than $1/2$. We are concerned with the block-additive function $\mathsf{r}$ returning the number of (overlapping) occurrences of the block $\mathtt{11}$ in the binary expansion of $n$. The main result of this paper is a central limit-type theorem for the difference $\mathsf{r}(n+t)-\mathsf{r}(n)$: the corresponding probability function is uniformly close to a Gaussian, where the uniform error tends to $0$ as the number of blocks of ones in the binary expansion of $t$ tends to $\infty$.


title: Self-supervised Semantic Segmentation: Consistency over Transformation

abstract: Accurate medical image segmentation is of utmost importance for enabling automated clinical decision procedures. However, prevailing supervised deep learning approaches for medical image segmentation encounter significant challenges due to their heavy dependence on extensive labeled training data. To tackle this issue, we propose a novel self-supervised algorithm, \textbf{S$^3$-Net}, which integrates a robust framework based on the proposed Inception Large Kernel Attention (I-LKA) modules. This architectural enhancement makes it possible to comprehensively capture contextual information while preserving local intricacies, thereby enabling precise semantic segmentation. Furthermore, considering that lesions in medical images often exhibit deformations, we leverage deformable convolution as an integral component to effectively capture and delineate lesion deformations for superior object boundary definition. Additionally, our self-supervised strategy emphasizes the acquisition of invariance to affine transformations, which is commonly encountered in medical scenarios. This emphasis on robustness with respect to geometric distortions significantly enhances the model's ability to accurately model and handle such distortions. To enforce spatial consistency and promote the grouping of spatially connected image pixels with similar feature representations, we introduce a spatial consistency loss term. This aids the network in effectively capturing the relationships among neighboring pixels and enhancing the overall segmentation quality. The S$^3$-Net approach iteratively learns pixel-level feature representations for image content clustering in an end-to-end manner. Our experimental results on skin lesion and lung organ segmentation tasks show the superior performance of our method compared to the SOTA approaches. https://github.com/mindflow-institue/SSCT


title: Multi Agent DeepRL based Joint Power and Subchannel Allocation in IAB networks

abstract: Integrated Access and Backhauling (IAB) is a viable approach for meeting the unprecedented need for higher data rates of future generations, acting as a cost-effective alternative to dense fiber-wired links. The design of such networks with constraints usually results in an optimization problem of non-convex and combinatorial nature. Under those situations, it is challenging to obtain an optimal strategy for the joint Subchannel Allocation and Power Allocation (SAPA) problem. In this paper, we develop a multi-agent Deep Reinforcement Learning (DeepRL) based framework for joint optimization of power and subchannel allocation in an IAB network to maximize the downlink data rate. SAPA using DDQN (Double Deep Q-Learning Network) can handle computationally expensive problems with huge action spaces associated with multiple users and nodes. Unlike the conventional methods such as game theory, fractional programming, and convex optimization, which in practice demand more and more accurate network information, the multi-agent DeepRL approach requires less environment network information. Simulation results show the proposed scheme's promising performance when compared with baseline (Deep Q-Learning Network and Random) schemes.


title: Semi-inclusive direct photon+jet and $\pi^{0}$+jet correlations measured in $p+p$ and central Au+Au collisions at $\sqrt{s_\mathrm{NN}} = 200$ GeV

abstract: The STAR experiment at RHIC reports new measurements of jet quenching based on the semi-inclusive distribution of charged-particle jets recoiling from direct photon ($\gamma_{\rm dir}$) and neutral pion ($\pi^{0}$) triggers in $p+p$ and central Au+Au collisions at $\sqrt{s_\mathrm{NN}} = 200$ GeV, for triggers in the range $9< E_{T}^{\rm trig}<20$ GeV. The datasets have integrated luminosities of 3.9 $\rm nb^{-1}$ for Au+Au and 23 $\rm pb^{-1}$ for $p+p$ collisions. Jets are reconstructed using the anti-$k_{\rm T}$ algorithm with resolution parameters $R=0.2$ and 0.5. The large uncorrelated jet background in central Au+Au collisions is corrected using a mixed-event approach, which enables precise charged-particle jet measurements at low transverse momentum $p_{\rm T, jet}^{\rm ch}$ and large $R$. Recoil-jet distributions are reported in the range $p_{\rm T, jet}^{\rm ch}<25$ GeV. Comparison of the distributions measured in $p+p$ and Au+Au collisions reveals strong medium-induced jet yield suppression for $R=0.2$, with markedly less suppression for $R=0.5$. These data provide new insight into the mechanisms underlying jet quenching, and the angular dependence of medium-induced jet-energy transport.


title: Impact of neutron star spin on Poynting-Robertson drag during a Type I X-ray burst

abstract: External irradiation of a neutron star (NS) accretion disc induces Poynting-Robertson (PR) drag, removing angular momentum and increasing the mass accretion rate. Recent simulations show PR drag significantly enhancing the mass accretion rate during Type I X-ray bursts, which could explain X-ray spectral features such as an increase in the persistent emission and a soft excess. However, prograde spin of the NS is expected to weaken PR drag, challenging its importance during bursts. Here, we study the effect of spin on PR drag during X-ray bursts. We run four simulations, with two assuming a non-spinning NS and two using a spin parameter of $a_*=0.2$, corresponding to a rotation frequency of 500 Hz. For each scenario, we simulate the disc evolution subject to an X-ray burst and compare it to the evolution found with no burst. PR drag drains the inner disc region during a burst, moving the inner disc radius outward by $\approx1.6$ km in the $a_*=0$ and by $\approx2.2$ km in the $a_*=0.2$ simulation. The burst enhances the mass accretion rate across the innermost stable circular orbit $\approx7.9$ times when the NS is not spinning and $\approx11.2$ times when it is spinning. The explanation for this seemingly contradictory result is that the disc is closer to the NS when $a_*=0.2$, and the resulting stronger irradiating flux offsets the weakening effect of spin on the PR drag. Hence, PR drag remains a viable explanation for the increased persistent emission and soft excess observed during X-ray bursts in spinning NS systems.


title: Optimized Deep Feature Selection for Pneumonia Detection: A Novel RegNet and XOR-Based PSO Approach

abstract: Pneumonia remains a significant cause of child mortality, particularly in developing countries where resources and expertise are limited. The automated detection of Pneumonia can greatly assist in addressing this challenge. In this research, an XOR based Particle Swarm Optimization (PSO) is proposed to select deep features from the second last layer of a RegNet model, aiming to improve the accuracy of the CNN model on Pneumonia detection. The proposed XOR PSO algorithm offers simplicity by incorporating just one hyperparameter for initialization, and each iteration requires minimal computation time. Moreover, it achieves a balance between exploration and exploitation, leading to convergence on a suitable solution. By extracting 163 features, an impressive accuracy level of 98% was attained which demonstrates comparable accuracy to previous PSO-based methods. The source code of the proposed method is available in the GitHub repository.


title: The Deligne-Mostow 9-ball, and the monster

abstract: The "monstrous proposal" of the first author is that the quotient of a certain 13-dimensional complex hyperbolic braid group, by the relations that its natural generators have order 2, is the bimonster" (M x M)semidirect Z/2. Here M is the monster simple group. We prove that this quotient is either the bimonster or Z/2. In the process, we give new information about the isomorphism found by Deligne-Mostow, between the moduli space of 12-tuples in CP1 and a quotient of the complex 9-ball. Namely, we identify which loops in the 9-ball quotient correspond to the standard braid generators.


title: TurboGP: A flexible and advanced python based GP library

abstract: We introduce TurboGP, a Genetic Programming (GP) library fully written in Python and specifically designed for machine learning tasks. TurboGP implements modern features not available in other GP implementations, such as island and cellular population schemes, different types of genetic operations (migration, protected crossovers), online learning, among other features. TurboGP's most distinctive characteristic is its native support for different types of GP nodes to allow different abstraction levels, this makes TurboGP particularly useful for processing a wide variety of data sources.


title: Remarks on the smoothness of the $C^{1,\alpha}$ asymptotically self-similar singularity in the 3D Euler and 2D Boussinesq equations

abstract: We show that the constructions of $C^{1,\alpha}$ asymptotically self-similar singularities for the 3D Euler equations by Elgindi, and for the 3D Euler equations with large swirl and 2D Boussinesq equations with boundary by Chen-Hou can be extended to construct singularity with velocity $\mathbf{u} \in C^{1,\alpha}$ that is not smooth at only one point. The proof is based on a carefully designed small initial perturbation to the blowup profile, and a BKM-type continuation criterion for the one-point nonsmoothness. We establish the criterion using weighted H\"older estimates with weights vanishing near the singular point. Our results are inspired by the recent work of Cordoba, Martinez-Zoroa and Zheng that it is possible to construct a $C^{1,\alpha}$ singularity for the 3D axisymmetric Euler equations without swirl and with velocity $\mathbf{u} \in C^{\infty}(\mathbb{R}^3 \backslash \{0\})$.


title: Notes on a non-thermal fluctuation-dissipation relation in quantum Brownian motion

abstract: We review how unitarity and stationarity in the Schwinger-Keldysh formalism naturally lead to a (quantum) generalized fluctuation-dissipation relation (gFDR) that works beyond thermal equilibrium. Non-Gaussian loop corrections are also presented. Additionally, we illustrate the application of this gFDR in various scenarios related to quantum Brownian motion and the generalized Langevin equation.


title: Fant\^omas For QCD: parton distributions in a pion with B\'ezier parametrizations

abstract: We report on a new framework to parametrize parton distribution functions (PDFs) and other hadronic nonperturbative functions using polynomial functions realized by B\'ezier curves. B\'ezier parameterizations produce a stable fit with a low number of free parameters, while competing in performance with neural networks and offering explicit interpretation. We specifically apply this approach to determine PDFs in a pion, essential for understanding of nonperturbative QCD dynamics.


title: Optimal decay rates in Sobolev norms for singular values of integral operators

abstract: The regularity of integration kernels forces decay rates of singular values of associated integral operators. This is well-known for symmetric operators with kernels defined on $(a,b) \times (a,b)$, where $(a,b)$ is an interval. Over time, many authors have studied this case in detail. The case of spheres has also been resolved. A few authors have examined the higher dimensional case or the case of manifolds. Typically, these authors have provided decay estimates of singular values in $l^p$ norms, $p \geq 1$ or in case of faster decay due to regularity, $l^p$ quasi-norms, $0 < p < 1$. With that approach, it is straightforward to show that their estimates are optimal using periodic kernels obtained from Fourier series. Our new approach for deriving decay estimates of these singular values uses Weyl's asymptotic formula for Neumann eigenvalues that we combine to an appropriately defined inverse Laplacian. We obtain decay estimates in the form $n^\alpha$ where for the $n$ -th singular value where $\alpha $ depends on dimension and on the Sobolev regularity of the kernel. Since we are interested in optimal estimates in case of regular kernels, instead of writing an upper bound by a constant times $n^\alpha$, we use the singular values of the kernel obtained by differentiation. While in \cite{birman1977estimates, delgado2021schatten} $l^p$ estimates were proven to be optimal by simply considering periodic Fourier series, these Fourier series do not provide sharp results for our estimates. Instead, series of Neumann eigenfunctions for the Laplacian that are specific to the domain of interest are used to prove that our decay estimates are optimal. Finally, we cover the case of real analytic kernels where we are also able to derive optimal estimates.


title: Learning From Peers: A Survey of Perception and Utilization of Online Peer Support Among Informal Dementia Caregivers

abstract: Informal dementia caregivers are those who care for a person living with dementia (PLWD) without receiving payment (e.g., family members, friends, or other unpaid caregivers). These informal caregivers are subject to substantial mental, physical, and financial burdens. Online communities enable these caregivers to exchange caregiving strategies and communicate experiences with other caregivers whom they generally do not know in real life. Research has demonstrated the benefits of peer support in online communities, but they are limited in focusing merely on caregivers who are already online users. In this paper, we designed and administered a survey to investigate the perception and utilization of online peer support from 140 informal dementia caregivers (with 100 online-community caregivers). Our findings show that the behavior to access any online community is only significantly associated with their belief in the value of online peer support (p = 0.006). Moreover, 33 (83%) of the 40 non-online-community caregivers had a belief score above 24, a score assigned when a neutral option is selected for each belief question. The reasons most articulated for not accessing any online community were no time to do so (14; 10%), and insufficient online information searching skills (9; 6%). Our findings suggest that online peer support is valuable, but practical strategies are needed to assist informal dementia caregivers who have limited time or searching skills.


title: LLM in the Shell: Generative Honeypots

abstract: Honeypots are essential tools in cybersecurity. However, most of them (even the high-interaction ones) lack the required realism to engage and fool human attackers. This limitation makes them easily discernible, hindering their effectiveness. This work introduces a novel method to create dynamic and realistic software honeypots based on Large Language Models. Preliminary results indicate that LLMs can create credible and dynamic honeypots capable of addressing important limitations of previous honeypots, such as deterministic responses, lack of adaptability, etc. We evaluated the realism of each command by conducting an experiment with human attackers who needed to say if the answer from the honeypot was fake or not. Our proposed honeypot, called shelLM, reached an accuracy of 0.92. The source code and prompts necessary for replicating the experiments have been made publicly available.


title: Measurement of in-medium jet modification using direct photon+jet and $\pi^{0}$+jet correlations in $p+p$ and central Au+Au collisions at $\sqrt{s_{\rm NN}} = 200$ GeV

abstract: The STAR Collaboration presents measurements of the semi-inclusive distribution of charged-particle jets recoiling from energetic direct-photon $\gamma_{\rm dir}$ and neutral-pion ($\pi^{0}$) triggers in $p+p$ and central Au+Au collisions at $\sqrt{s_{\rm NN}} = 200$ GeV over a broad kinematic range, for jet resolution parameters $R=0.2$ and 0.5. Medium-induced jet yield suppression is observed to be larger for $R=0.2$ than for 0.5, reflecting the angular range of jet energy redistribution due to quenching. The magnitude of suppression is similar for $\gamma_{\rm dir}$- and $\pi^{0}$-triggered data, which constrains the color-charge and path-length dependence of jet quenching. Theoretical model calculations incorporating jet quenching do not fully describe the measurements.


title: Information Fusion for Assistance Systems in Production Assessment

abstract: We propose a novel methodology to define assistance systems that rely on information fusion to combine different sources of information while providing an assessment. The main contribution of this paper is providing a general framework for the fusion of n number of information sources using the evidence theory. The fusion provides a more robust prediction and an associated uncertainty that can be used to assess the prediction likeliness. Moreover, we provide a methodology for the information fusion of two primary sources: an ensemble classifier based on machine data and an expert-centered model. We demonstrate the information fusion approach using data from an industrial setup, which rounds up the application part of this research. Furthermore, we address the problem of data drift by proposing a methodology to update the data-based models using an evidence theory approach. We validate the approach using the Benchmark Tennessee Eastman while doing an ablation study of the model update parameters.


title: BuilDiff: 3D Building Shape Generation using Single-Image Conditional Point Cloud Diffusion Models

abstract: 3D building generation with low data acquisition costs, such as single image-to-3D, becomes increasingly important. However, most of the existing single image-to-3D building creation works are restricted to those images with specific viewing angles, hence they are difficult to scale to general-view images that commonly appear in practical cases. To fill this gap, we propose a novel 3D building shape generation method exploiting point cloud diffusion models with image conditioning schemes, which demonstrates flexibility to the input images. By cooperating two conditional diffusion models and introducing a regularization strategy during denoising process, our method is able to synthesize building roofs while maintaining the overall structures. We validate our framework on two newly built datasets and extensive experiments show that our method outperforms previous works in terms of building generation quality.


title: Betweenness algebras

abstract: We introduce and study a class of betweenness algebras-Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms for betweenness, we chose those that are most common, which makes our work applicable to a wide range of betweenness structures studied in the literature. On the algebraic side, we work with two operators of possibility and of suffciency.


title: A Task-Interdependency Model of Complex Collaboration Towards Human-Centered Crowd Work

abstract: Models of crowdsourcing and human computation often assume that individuals independently carry out small, modular tasks. However, while these models have successfully shown how crowds can accomplish significant objectives, they can inadvertently advance a less than human view of crowd workers and fail to capture the unique human capacity for complex collaborative work. We present a model centered on interdependencies -- a phenomenon well understood to be at the core of collaboration -- that allows one to formally reason about diverse challenges to complex collaboration. Our model represents tasks as an interdependent collection of subtasks, formalized as a task graph. We use it to explain challenges to scaling complex collaborative work, underscore the importance of expert workers, reveal critical factors for learning on the job, and explore the relationship between coordination intensity and occupational wages. Using data from O*NET and the Bureau of Labor Statistics, we introduce an index of occupational coordination intensity to validate our theoretical predictions. We present preliminary evidence that occupations with greater coordination intensity are less exposed to displacement by AI, and discuss opportunities for models that emphasize the collaborative capacities of human workers, bridge models of crowd work and traditional work, and promote AI in roles augmenting human collaboration.


title: The Cone of Mueller Matrices

abstract: In the study of polarized light, there are two basic notions: the Stokes vectors and the matrices which preserve them, called Mueller matrices. The set of Stokes vectors forms a cone: the Future Light Cone. In this work we will see that the Mueller matrices also form a cone in the vector space of real matrices of size 4X4, called the Mueller Cone. We obtain some properties of the Mueller cone, which in turn will be translated into properties of the Stokes vectors. As an application we will give a computational program to calibrate polarimeters by means of the eigenvectors of Mueller matrices (ECM). We include computational programs to 1. Deduce if a matrix is a Mueller matrix, 2. Give an approximation of a matrix by a Mueller matrix, 3. An approximation of a Mueller matrix by Mueller invertibles, 4. An approximation of a Mueller matrix by a Stokes-cone-primitive Mueller matrix, see (4.7) and 5. An Eigenvalue Calibration Method. All these programs and implementations can be found in https://github.com/IvanLopezR22/cone-of-mueller-matrices/tree/master


title: The sum of two cubes problem -- an approach that's classroom friendly

abstract: In this note I give simple proofs of classical results of Euler, Legendre and Sylvester showing that for certain integers M there are no (or only a few) solutions of $x^3 + y^3 = M$, with $x$ and $y$ in $\mathbb{Q}$. The proofs all use a single argument -- infinite 3-descent in the ring $\mathcal{O} = \mathbb{Z}[\omega]$ of Eisenstein integers. (Everything needed about $\mathcal{O}$ is developed from scratch.) The reader only needs the briefest acquaintance with complex numbers, fields and congruence modulo an element of a commutative ring. In particular I never say anything about ideals or elliptic curves (though I do mention cubic reciprocity in passing), and a clever high-school student might well enjoy the note. A few new results with $M$ in $\mathcal{O}$ and $x$ and $y$ in $\mathbb{Q}[\omega]$ are also derived.


title: Inverse designing surface curvatures by deep learning

abstract: Smooth and curved microstructural topologies found in nature - from soap films to trabecular bone - have inspired several mimetic design spaces for architected metamaterials and bio-scaffolds. However, the design approaches so far have been ad hoc, raising the challenge: how to systematically and efficiently inverse design such artificial microstructures with targeted topological features? Here, we explore surface curvature as a design modality and present a deep learning framework to produce topologies with as-desired curvature profiles. The inverse design framework can generalize to diverse topological features such as tubular, membranous, and particulate features. Moreover, we demonstrate successful generalization beyond both the design and data space by inverse designing topologies that mimic the curvature profile of trabecular bone, spinodoid topologies, and periodic nodal surfaces for application in bio-scaffolds and implants. Lastly, we bridge curvature and mechanics by showing how topological curvature can be designed to promote mechanically beneficial stretching-dominated deformation over bending-dominated deformation.


title: Optimal Conditions for Environment-Assisted Quantum Transport on the Fully Connected Network

abstract: We present a theoretical analysis of the efficiency and rate of excitation transport on a network described by a complete graph in which every site is connected to every other. The long-time transport properties are analytically calculated for networks of arbitrary size that are symmetric except for the trapping site, start with a range of initial states, and are subject to dephasing and excitation decay. Conditions for which dephasing increases transport are identified, and optimal conditions are found for various physical parameters. The optimal conditions demonstrate robustness and a convergence of timescales previously observed in the context of light-harvesting complexes.


title: From Flow to Jamming: Lattice Gas Automaton Simulations in Granular Materials

abstract: We introduce the first extension of a Lattice Gas Automaton (LGA) model to accurately replicate observed emergent phenomena in granular materials with a special focus on previously unexplored jamming transitions by incorporating gravitational effects, energy dissipation in particle collisions, and wall friction. We successfully reproduce flow rate evolution, density wave formation, and jamming transition observed in experiments. We also explore the critical density at which jamming becomes probable. This research advances our understanding of granular dynamics and offers insights into the jamming behavior of granular materials.


title: Charliecloud's layer-free, Git-based container build cache

abstract: A popular approach to deploying scientific applications in high performance computing (HPC) is Linux containers, which package an application and all its dependencies as a single unit. This image is built by interpreting instructions in a machine-readable recipe, which is faster with a build cache that stores instruction results for re-use. The standard approach (used e.g. by Docker and Podman) is a many-layered union filesystem, encoding differences between layers as tar archives. Our experiments show this performs similarly to layered caches on both build time and disk usage, with a considerable advantage for many-instruction recipes. Our approach also has structural advantages: better diff format, lower cache overhead, and better file de-duplication. These results show that a Git-based cache for layer-free container implementations is not only possible but may outperform the layered approach on important dimensions.


title: Phonon-Mediated Third-Harmonic Generation in Diamond

abstract: We observe strongly anisotropic third-harmonic generation mediated by resonant sum-frequency driving of Raman phonons with THz light, extending light-induced dual control of structural and optical properties in solids. Either strong enhancement or strong suppression of the third harmonic covering six orders of magnitude can be achieved, a result of interference between purely electronic and phonon-mediated contributions to the polarization field. These findings enrich capabilities for tailoring nonlinear optics via phononics and for the spectroscopy of crystalline structural dynamics.


title: Pose-Graph Attentional Graph Neural Network for Lidar Place Recognition

abstract: This paper proposes a pose-graph attentional graph neural network, called P-GAT, which compares (key)nodes between sequential and non-sequential sub-graphs for place recognition tasks as opposed to a common frame-to-frame retrieval problem formulation currently implemented in SOTA place recognition methods. P-GAT uses the maximum spatial and temporal information between neighbour cloud descriptors -- generated by an existing encoder -- utilising the concept of pose-graph SLAM. Leveraging intra- and inter-attention and graph neural network, P-GAT relates point clouds captured in nearby locations in Euclidean space and their embeddings in feature space. Experimental results on the large-scale publically available datasets demonstrate the effectiveness of our approach in scenes lacking distinct features and when training and testing environments have different distributions (domain adaptation). Further, an exhaustive comparison with the state-of-the-art shows improvements in performance gains. Code is available at https://github.com/csiro-robotics/P-GAT.


title: RepCodec: A Speech Representation Codec for Speech Tokenization

abstract: With recent rapid growth of large language models (LLMs), discrete speech tokenization has played an important role for injecting speech into LLMs. However, this discretization gives rise to a loss of information, consequently impairing overall performance. To improve the performance of these discrete speech tokens, we present RepCodec, a novel speech representation codec for semantic speech tokenization. In contrast to audio codecs which reconstruct the raw audio, RepCodec learns a vector quantization codebook through reconstructing speech representations from speech encoders like HuBERT or data2vec. Together, the speech encoder, the codec encoder and the vector quantization codebook form a pipeline for converting speech waveforms into semantic tokens. The extensive experiments illustrate that RepCodec, by virtue of its enhanced information retention capacity, significantly outperforms the widely used k-means clustering approach in both speech understanding and generation. Furthermore, this superiority extends across various speech encoders and languages, affirming the robustness of RepCodec. We believe our method can facilitate large language modeling research on speech processing.


title: Closed-loop experiments and brain machine interfaces with multiphoton microscopy

abstract: In the field of neuroscience, the importance of constructing closed-loop experimental systems has increased in conjunction with technological advances in measuring and controlling neural activity in live animals. This paper provides an overview of recent technological advances in the field, focusing on closed-loop experimental systems where multiphoton microscopy (the only method capable of recording and controlling targeted population activity of neurons at a single-cell resolution in vivo) works through real-time feedback. Specifically, we present some examples of brain machine interfaces (BMIs) using in vivo two-photon calcium imaging and discuss applications of two-photon optogenetic stimulation and adaptive optics to real-time BMIs. We also consider conditions for realizing future optical BMIs at the synaptic level, and their possible roles in understanding the computational principles of the brain.


title: Invariant subspace problem in Hilbert space: Correlation with the Kadison-Singer problem and the Borel conjecture

abstract: This paper explores the intriguing connections between the invariant subspace problem, the Kadison-Singer problem, and the Borel conjecture. The Kadison-Singer problem, originally formulated in terms of pure states on C*-algebras, was later reformulated using projections, establishing a link with the invariant subspace problem. The Borel conjecture, a question in descriptive set theory, connects to the invariant subspace problem through Borel equivalence relations. This paper elucidates these connections, underscoring the interplay of unsolved mathematical problems and the collaborative nature of mathematical research.


title: Detecting Evidence of Organization in groups by Trajectories

abstract: Effective detection of organizations is essential for fighting crime and maintaining public safety, especially considering the limited human resources and tools to deal with each group that exhibits co-movement patterns. This paper focuses on solving the Network Structure Inference (NSI) challenge. Thus, we introduce two new approaches to detect network structure inferences based on agent trajectories. The first approach is based on the evaluation of graph entropy, while the second considers the quality of clustering indices. To evaluate the effectiveness of the new approaches, we conducted experiments using four scenario simulations based on the animal kingdom, available on the NetLogo platform: Ants, Wolf Sheep Predation, Flocking, and Ant Adaptation. Furthermore, we compare the results obtained with those of an approach previously proposed in the literature, applying all methods to simulations of the NetLogo platform. The results demonstrate that our new detection approaches can more clearly identify the inferences of organizations or networks in the simulated scenarios.


title: Degradation of Ta$_2$O$_5$ / SiO$_2$ Dielectric Cavity Mirrors in Ultra-High Vacuum

abstract: In order for optical cavities to enable strong light-matter interactions for quantum metrology, networking, and scalability in quantum computing systems, their mirrors must have minimal losses. However, high-finesse dielectric cavity mirrors can degrade in ultra-high vacuum (UHV), increasing the challenges of upgrading to cavity-coupled quantum systems. We observe the optical degradation of high-finesse dielectric optical cavity mirrors after high-temperature UHV bake in the form of a substantial increase in surface roughness. We provide an explanation of the degradation through atomic force microscopy (AFM), X-ray fluorescence (XRF), selective wet etching, and optical measurements. We find the degradation is explained by oxygen reduction in Ta$_2$O$_5$ followed by growth of tantalum sub-oxide defects with height to width aspect ratios near ten. We discuss the dependence of mirror loss on surface roughness and finally give recommendations to avoid degradation to allow for quick adoption of cavity-coupled systems.


title: Typing on Any Surface: A Deep Learning-based Method for Real-Time Keystroke Detection in Augmented Reality

abstract: Frustrating text entry interface has been a major obstacle in participating in social activities in augmented reality (AR). Popular options, such as mid-air keyboard interface, wireless keyboards or voice input, either suffer from poor ergonomic design, limited accuracy, or are simply embarrassing to use in public. This paper proposes and validates a deep-learning based approach, that enables AR applications to accurately predict keystrokes from the user perspective RGB video stream that can be captured by any AR headset. This enables a user to perform typing activities on any flat surface and eliminates the need of a physical or virtual keyboard. A two-stage model, combing an off-the-shelf hand landmark extractor and a novel adaptive Convolutional Recurrent Neural Network (C-RNN), was trained using our newly built dataset. The final model was capable of adaptive processing user-perspective video streams at ~32 FPS. This base model achieved an overall accuracy of $91.05\%$ when typing 40 Words per Minute (wpm), which is how fast an average person types with two hands on a physical keyboard. The Normalised Levenshtein Distance also further confirmed the real-world applicability of that our approach. The promising results highlight the viability of our approach and the potential for our method to be integrated into various applications. We also discussed the limitations and future research required to bring such technique into a production system.


title: Well-posedness and decay structure of a quantum hydrodynamics system with Bohm potential and linear viscosity

abstract: In this paper, a compressible viscous-dispersive Euler system in one space dimension in the context of quantum hydrodynamics is considered. The purpose of this study is twofold. First, it is shown that the system is locally well-posed. For that purpose, the existence of classical solutions which are perturbation of constant states is established. Second, it is proved that in the particular case of subsonic equilibrium states, sufficiently small perturbations decay globally in time. In order to prove this stability property, the linearized system around the subsonic state is examined. Using an appropriately constructed compensating matrix symbol in the Fourier space, it is proved that solutions to the linear system decay globally in time, underlying a dissipative mechanism of regularity gain type. These linear decay estimates, together with the local existence result, imply the global existence and the decay of perturbations to constant subsonic equilibrium states as solutions to the full nonlinear system.


title: Parallel Distributional Prioritized Deep Reinforcement Learning for Unmanned Aerial Vehicles

abstract: This work presents a study on parallel and distributional deep reinforcement learning applied to the mapless navigation of UAVs. For this, we developed an approach based on the Soft Actor-Critic method, producing a distributed and distributional variant named PDSAC, and compared it with a second one based on the traditional SAC algorithm. In addition, we also embodied a prioritized memory system into them. The UAV used in the study is based on the Hydrone vehicle, a hybrid quadrotor operating solely in the air. The inputs for the system are 23 range findings from a Lidar sensor and the distance and angles towards a desired goal, while the outputs consist of the linear, angular, and, altitude velocities. The methods were trained in environments of varying complexity, from obstacle-free environments to environments with multiple obstacles in three dimensions. The results obtained, demonstrate a concise improvement in the navigation capabilities by the proposed approach when compared to the agent based on the SAC for the same amount of training steps. In summary, this work presented a study on deep reinforcement learning applied to mapless navigation of drones in three dimensions, with promising results and potential applications in various contexts related to robotics and autonomous air navigation with distributed and distributional variants.


title: Enhanced quantum sensing with amplification and deamplification

abstract: Quantum sensing is a fundamental building block of modern technology that employs quantum resources and creates new opportunities for precision measurements. However, previous methods usually have a common assumption that detection noise levels should be below the intrinsic sensitivity provided by quantum resources. Here we report the first demonstration of Fano resonance between coupled alkali-metal and noble gases through rapid spin-exchange collisions. The Fano resonance gives rise to two intriguing phenomena: spin amplification and deamplification, which serve as crucial resources for enhanced sensing. Further we develop a novel scheme of quantum sensing enhanced by amplification and deamplification, with relaxed requirements on the detection noise. The coupled systems of alkali-metal and noble gases act as amplifiers or de-amplifiers, enabling to extract small signals above the detection noise before final detection. We demonstrate magnetic-field measurement about 54 decibels below the photon-shot noise, which outperforms the state-of-the-art squeezed-light technology and realizes femtotesla-level sensitivity. Our work opens new avenues to applications in searches for ultralight dark matter with sensitivity well beyond the supernova-observation constraints.


title: Will Sentiment Analysis Need Subculture? A New Data Augmentation Approach

abstract: The renowned proverb that "The pen is mightier than the sword" underscores the formidable influence wielded by text expressions in shaping sentiments. Indeed, well-crafted written can deeply resonate within cultures, conveying profound sentiments. Nowadays, the omnipresence of the Internet has fostered a subculture that congregates around the contemporary milieu. The subculture artfully articulates the intricacies of human feelings by ardently pursuing the allure of novelty, a fact that cannot be disregarded in the sentiment analysis. This paper strives to enrich data through the lens of subculture, to address the insufficient training data faced by sentiment analysis. To this end, a new approach of subculture-based data augmentation (SCDA) is proposed, which engenders six enhanced texts for each training text by leveraging the creation of six diverse subculture expression generators. The extensive experiments attest to the effectiveness and potential of SCDA. The results also shed light on the phenomenon that disparate subculture expressions elicit varying degrees of sentiment stimulation. Moreover, an intriguing conjecture arises, suggesting the linear reversibility of certain subculture expressions. It is our fervent aspiration that this study serves as a catalyst in fostering heightened perceptiveness towards the tapestry of information, sentiment and culture, thereby enriching our collective understanding.


title: Optical LC-like resonances in high-index particles

abstract: Electric LC resonances, occurring in metallic circuits, govern the motion of free electrons or electric signals. In this paper, optical LC-like resonances in high-index particles (HIPs) or dielectric LC resonances have been studied, which involve bounded electrons and optical fields instead. The resonance effect is dominated by optical analogues of inductance and capacitance, which can be determined according to the electromagnetic energy bounded near the particle. The viewpoint of dielectric optical circuit with equivalent parameters facilitates the understanding of dielectric resonance effect. The result also provides a method for studying the optical properties of the HIPs.


title: Exploring the law of text geographic information

abstract: Textual geographic information is indispensable and heavily relied upon in practical applications. The absence of clear distribution poses challenges in effectively harnessing geographic information, thereby driving our quest for exploration. We contend that geographic information is influenced by human behavior, cognition, expression, and thought processes, and given our intuitive understanding of natural systems, we hypothesize its conformity to the Gamma distribution. Through rigorous experiments on a diverse range of 24 datasets encompassing different languages and types, we have substantiated this hypothesis, unearthing the underlying regularities governing the dimensions of quantity, length, and distance in geographic information. Furthermore, theoretical analyses and comparisons with Gaussian distributions and Zipf's law have refuted the contingency of these laws. Significantly, we have estimated the upper bounds of human utilization of geographic information, pointing towards the existence of uncharted territories. Also, we provide guidance in geographic information extraction. Hope we peer its true countenance uncovering the veil of geographic information.


title: Security Verification of Low-Trust Architectures

abstract: Low-trust architectures work on, from the viewpoint of software, always-encrypted data, and significantly reduce the amount of hardware trust to a small software-free enclave component. In this paper, we perform a complete formal verification of a specific low-trust architecture, the Sequestered Encryption (SE) architecture, to show that the design is secure against direct data disclosures and digital side channels for all possible programs. We first define the security requirements of the ISA of SE low-trust architecture. Looking upwards, this ISA serves as an abstraction of the hardware for the software, and is used to show how any program comprising these instructions cannot leak information, including through digital side channels. Looking downwards this ISA is a specification for the hardware, and is used to define the proof obligations for any RTL implementation arising from the ISA-level security requirements. These cover both functional and digital side-channel leakage. Next, we show how these proof obligations can be successfully discharged using commercial formal verification tools. We demonstrate the efficacy of our RTL security verification technique for seven different correct and buggy implementations of the SE architecture.


title: Generalized Ramsey numbers at the linear and quadratic thresholds

abstract: The generalized Ramsey number $f(n, p, q)$ is the smallest number of colors needed to color the edges of the complete graph $K_n$ so that every $p$-clique spans at least $q$ colors. Erd\H{o}s and Gy\'arf\'as showed that $f(n, p, q)$ grows linearly in $n$ when $p$ is fixed and $q=q_{\text{lin}}(p):=\binom p2-p+3$. Similarly they showed that $f(n, p, q)$ is quadratic in $n$ when $p$ is fixed and $q=q_{\text{quad}}(p):=\binom p2-\frac p2+2$. In this note we improve on the known estimates for $f(n, p, q_{\text{lin}})$ and $f(n, p, q_{\text{quad}})$. Our proofs involve establishing a significant strengthening of a previously known connection between $f(n, p, q)$ and another extremal problem first studied by Brown, Erd\H{o}s and S\'os, as well as building on some recent progress on this extremal problem by Delcourt and Postle and by Shangguan. Also, our upper bound on $f(n, p, q_{\text{lin}})$ follows from an application of the recent forbidden submatchings method of Delcourt and Postle.


title: Breakdown of the drift-diffusion model for transverse spin transport in a disordered Pt film

abstract: Spin accumulation and spin current profiles are calculated for a disordered Pt film subjected to an in-plane electric current within the nonequilibrium Green function approach. In the bulklike region of the sample, this approach captures the intrinsic spin Hall effect found in other calculations. Near the surfaces, the results reveal qualitative differences with the results of the widely used spin-diffusion model, even when the boundary conditions are modified to try to account for them. One difference is that the effective spin-diffusion length for transverse spin transport is significantly different from its longitudinal counterpart and is instead similar to the mean-free path. This feature may be generic for spin currents generated via the intrinsic spin-Hall mechanism because of the differences in transport mechanisms compared to longitudinal spin transport. Orbital accumulation in the Pt film is only significant in the immediate vicinity of the surfaces and has a small component penetrating into the bulk only in the presence of spin-orbit coupling, as a secondary effect induced by the spin accumulation.


title: A Survey of Network Requirements for Enabling Effective Cyber Deception

abstract: In the evolving landscape of cybersecurity, the utilization of cyber deception has gained prominence as a proactive defense strategy against sophisticated attacks. This paper presents a comprehensive survey that investigates the crucial network requirements essential for the successful implementation of effective cyber deception techniques. With a focus on diverse network architectures and topologies, we delve into the intricate relationship between network characteristics and the deployment of deception mechanisms. This survey provides an in-depth analysis of prevailing cyber deception frameworks, highlighting their strengths and limitations in meeting the requirements for optimal efficacy. By synthesizing insights from both theoretical and practical perspectives, we contribute to a comprehensive understanding of the network prerequisites crucial for enabling robust and adaptable cyber deception strategies.


title: Almost Fra\"iss\'e Banach spaces

abstract: Continuing with the study of Approximately ultrahomogeneous and Fra\"iss\'e Banach spaces introduced by V. Ferenczi, J. L\'opez-Abad, B. Mbombo and S. Todorcevic, we define formally weaker and in some aspects more natural properties of Banach spaces which we call Almost ultrahomogeneity and the Almost Fra\"iss\'e Property. We obtain relations between these different homogeneity properties of a space $E$ and relate them to certain pseudometrics on the class $\mathrm{Age}(E)$ of finite dimensional subspaces of $E$. We prove that ultrapowers of an almost Fra\"iss\'e Banach space are ultrahomogeneous. We also study two properties called finitely isometrically extensible and almost finitely isometrically extensible, respectively, and prove that approximately ultrahomogeneous Banach spaces are finitely isometrically extensible.


title: Qualitative analysis of nonregular differential-algebraic equations and the dynamics of gas networks

abstract: The conditions for the existence, uniqueness and boundedness of global solutions, as well as ultimate boundedness of solutions, and the conditions for the blow-up of solutions of nonregular semilinear differential-algebraic equations are obtained. An example demonstrating the application of the obtained results is considered. Isothermal models of gas networks are proposed as applications.


title: Vision-aided nonlinear control framework for shake table tests

abstract: The structural response under the earthquake excitations can be simulated by scaled-down model shake table tests or full-scale model shake table tests. In this paper, adaptive control theory is used as a nonlinear shake table control algorithm which considers the inherent nonlinearity of the shake table system and the Control-Structural Interaction (CSI) effect that the linear controller cannot consider, such as the Proportional-Integral-Derivative (PID) controller. The mass of the specimen can be assumed as an unknown variation and the unknown parameter will be replaced by an estimated value in the proposed control framework. The signal generated by the control law of the adaptive control method will be implemented by a loop-shaping controller. To verify the stability and feasibility of the proposed control framework, a simulation of a bare shake table and experiments with a bare shake table with a two-story frame were carried out. This study randomly selects Earthquake recordings from the Pacific Earthquake Engineering Research Center (PEER) database. The simulation and experimental results show that the proposed control framework can be effectively used in shake table control.


title: DARC: Distribution-Aware Re-Coloring Model for Generalizable Nucleus Segmentation

abstract: Nucleus segmentation is usually the first step in pathological image analysis tasks. Generalizable nucleus segmentation refers to the problem of training a segmentation model that is robust to domain gaps between the source and target domains. The domain gaps are usually believed to be caused by the varied image acquisition conditions, e.g., different scanners, tissues, or staining protocols. In this paper, we argue that domain gaps can also be caused by different foreground (nucleus)-background ratios, as this ratio significantly affects feature statistics that are critical to normalization layers. We propose a Distribution-Aware Re-Coloring (DARC) model that handles the above challenges from two perspectives. First, we introduce a re-coloring method that relieves dramatic image color variations between different domains. Second, we propose a new instance normalization method that is robust to the variation in foreground-background ratios. We evaluate the proposed methods on two H$\&$E stained image datasets, named CoNSeP and CPM17, and two IHC stained image datasets, called DeepLIIF and BC-DeepLIIF. Extensive experimental results justify the effectiveness of our proposed DARC model. Codes are available at \url{https://github.com/csccsccsccsc/DARC


title: Data-Driven Safety Filter: An Input-Output Perspective

abstract: Implementation of learning-based control remains challenging due to the absence of safety guarantees. Safe control methods have turned to model-based safety filters to address these challenges, but this is paradoxical when the ultimate goal is a model-free, data-driven control solution. Addressing the core question of "Can we ensure the safety of any learning-based algorithm without explicit prediction models and state estimation?" this paper proposes a Data-Driven Safety Filter (DDSF) grounded in Behavioral System Theory (BST). The proposed method needs only a single system trajectory available in an offline dataset to modify unsafe learning inputs to safe inputs. This contribution addresses safe control in the input-output framework and therefore does not require full state measurements or explicit state estimation. Since no explicit model is required, the proposed safe control solution is not affected by unmodeled dynamics and unstructured uncertainty and can provide a safe solution for systems with unknown time delays. The effectiveness of the proposed DDSF is illustrated in simulation for a high-order six-degree-of-freedom aerial robot and a time-delay adaptive cruise control system.


title: Sprinkling with random regular graphs

abstract: We conjecture that the distribution of the edge-disjoint union of two random regular graphs on the same vertex set is asymptotically equivalent to a random regular graph of the combined degree, provided that the combined degree and the complementary degrees are growing. We verify this conjecture for the cases when the graphs are sufficiently dense or sparse. We also prove an asymptotic formula for the expected number of spanning regular subgraphs in a random regular graph.


title: Periodic solutions for Boussinesq systems in weak-Morrey spaces

abstract: We prove the existence and polynomial stability of periodic mild solutions for Boussinesq systems in critical weak-Morrey spaces for dimension $n\geqslant3$. Those systems are derived via the Boussinesq approximation and describe the movement of an incompressible viscous fluid under natural convection filling the whole space $\mathbb{R}^{n}$. Using certain dispersive and smoothing properties of heat semigroups on Morrey-Lorentz spaces as well as Yamazaki-type estimate on block spaces, we prove the existence of bounded mild solutions for the linear {systems} corresponding to the Boussinesq systems. Then, we establish a Massera-type theorem to obtain the existence and uniqueness of periodic solutions to corresponding linear {systems} on the half line time-axis by using a mean-ergodic method. Next, using fixed point arguments, we can pass from linear {systems} to prove the existence uniqueness and polynomial stability of such solutions for Boussinesq systems. Finally, we apply the results to Navier-Stokes equations.


title: Logical Relations for Session-Typed Concurrency

abstract: Program equivalence is the fulcrum for reasoning about and proving properties of programs. For noninterference, for example, program equivalence up to the secrecy level of an observer is shown. A powerful enabler for such proofs are logical relations. Logical relations only recently were adopted for session types -- but exclusively for terminating languages. This paper scales logical relations to general recursive session types. It develops a logical relation for progress-sensitive noninterference (PSNI) for intuitionistic linear logic session types (ILLST), tackling the challenges non-termination and concurrency pose, and shows that logical equivalence is sound and complete with regard to closure of weak bisimilarity under parallel composition, using a biorthogonality argument. A distinguishing feature of the logical relation is its stratification with an observation index (as opposed to a step or unfolding index), a crucial shift to make the logical relation closed under parallel composition in a concurrent setting. To demonstrate practicality of the logical relation, the paper develops an information flow control (IFC) refinement type system for ILLST, with support of secrecy-polymorphic processes, and shows that well-typed programs are self-related by the logical relation and thus enjoy PSNI. The refinement type system has been implemented in a type checker, featuring local security theories to support secrecy-polymorphic processes.


title: Population-level Balance in Signed Networks

abstract: Statistical network models are useful for understanding the underlying formation mechanism and characteristics of complex networks. However, statistical models for \textit{signed networks} have been largely unexplored. In signed networks, there exist both positive (e.g., like, trust) and negative (e.g., dislike, distrust) edges, which are commonly seen in real-world scenarios. The positive and negative edges in signed networks lead to unique structural patterns, which pose challenges for statistical modeling. In this paper, we introduce a statistically principled latent space approach for modeling signed networks and accommodating the well-known \textit{balance theory}, i.e., ``the enemy of my enemy is my friend'' and ``the friend of my friend is my friend''. The proposed approach treats both edges and their signs as random variables, and characterizes the balance theory with a novel and natural notion of population-level balance. This approach guides us towards building a class of balanced inner-product models, and towards developing scalable algorithms via projected gradient descent to estimate the latent variables. We also establish non-asymptotic error rates for the estimates, which are further verified through simulation studies. In addition, we apply the proposed approach to an international relation network, which provides an informative and interpretable model-based visualization of countries during World War II.


title: Approximate Bayesian computation for Markovian binary trees in phylogenetics

abstract: Phylogenetic trees describe the relationships between species in the evolutionary process, and provide information about the rates of diversification. To understand the mechanisms behind macroevolution, we consider a class of multitype branching processes called Markovian binary trees (MBTs). MBTs allow for trait-based variation in diversification rates, and provide a flexible and realistic probabilistic model for phylogenetic trees. We use an approximate Bayesian computation (ABC) scheme to infer the rates of MBTs by exploiting information in the shapes of phylogenetic trees. We evaluate the accuracy of this inference method using simulation studies, and find that our method is accurate and able to detect variation in the diversification rates. In an application to a real-life phylogeny of squamata, we reinforce conclusions drawn from earlier studies, in particular supporting the existence of ovi-/viviparity transitions in both directions. This demonstrates the potential for more complex models of evolution to be employed in phylogenetic inference.


title: On the Uncertainty Estimates of Equivariant-Neural-Network-Ensembles Interatomic Potentials

abstract: Machine-learning (ML) interatomic potentials (IPs) trained on first-principles datasets are becoming increasingly popular since they promise to treat larger system sizes and longer time scales, compared to the {\em ab initio} techniques producing the training data. Estimating the accuracy of MLIPs and reliably detecting when predictions become inaccurate is key for enabling their unfailing usage. In this paper, we explore this aspect for a specific class of MLIPs, the equivariant-neural-network (ENN) IPs using the ensemble technique for quantifying their prediction uncertainties. We critically examine the robustness of uncertainties when the ENN ensemble IP (ENNE-IP) is applied to the realistic and physically relevant scenario of predicting local-minima structures in the configurational space. The ENNE-IP is trained on data for liquid silicon, created by density-functional theory (DFT) with the generalized gradient approximation (GGA) for the exchange-correlation functional. Then, the ensemble-derived uncertainties are compared with the actual errors (comparing the results of the ENNE-IP with those of the underlying DFT-GGA theory) for various test sets, including liquid silicon at different temperatures and out-of-training-domain data such as solid phases with and without point defects as well as surfaces. Our study reveals that the predicted uncertainties are generally overconfident and hold little quantitative predictive power for the actual errors.


title: A Comparative Study of Reference Reliability in Multiple Language Editions of Wikipedia

abstract: Information presented in Wikipedia articles must be attributable to reliable published sources in the form of references. This study examines over 5 million Wikipedia articles to assess the reliability of references in multiple language editions. We quantify the cross-lingual patterns of the perennial sources list, a collection of reliability labels for web domains identified and collaboratively agreed upon by Wikipedia editors. We discover that some sources (or web domains) deemed untrustworthy in one language (i.e., English) continue to appear in articles in other languages. This trend is especially evident with sources tailored for smaller communities. Furthermore, non-authoritative sources found in the English version of a page tend to persist in other language versions of that page. We finally present a case study on the Chinese, Russian, and Swedish Wikipedias to demonstrate a discrepancy in reference reliability across cultures. Our finding highlights future challenges in coordinating global knowledge on source reliability.


title: Deep-learning-based Early Fixing for Gas-lifted Oil Production Optimization: Supervised and Weakly-supervised Approaches

abstract: Maximizing oil production from gas-lifted oil wells entails solving Mixed-Integer Linear Programs (MILPs). As the parameters of the wells, such as the basic-sediment-to-water ratio and the gas-oil ratio, are updated, the problems must be repeatedly solved. Instead of relying on costly exact methods or the accuracy of general approximate methods, in this paper, we propose a tailor-made heuristic solution based on deep learning models trained to provide values to all integer variables given varying well parameters, early-fixing the integer variables and, thus, reducing the original problem to a linear program (LP). We propose two approaches for developing the learning-based heuristic: a supervised learning approach, which requires the optimal integer values for several instances of the original problem in the training set, and a weakly-supervised learning approach, which requires only solutions for the early-fixed linear problems with random assignments for the integer variables. Our results show a runtime reduction of 71.11% Furthermore, the weakly-supervised learning model provided significant values for early fixing, despite never seeing the optimal values during training.


title: Flux evolution and kinematics of superluminal components in blazar 3C345

abstract: The precessing jet-nozzle scenario previously proposed was applied to model-fit the kinematics of five superluminal components (C19,C20,C21,B5 and B7) of jet-B in blazar 3C345. Based on a specific pattern for the the precessing common trajectory of jet-B, the kinematic properties (including trajectory,coordinates, core separation and apparent velocity) were model-fitted and their flux evolution could be studied. Through model-simulation of their kinematic behavior, the bulk Lorentz factor, viewing angle and Doppler factor were derived as continuous functions of time and the association of their flux evolution with their Doppler-boosting effect was investigated. The 43GHz light-curves of the five superluminal components can be well interpreted in terms of their Doppler effect. The close association of their flux evolution with the Doppler-boosting effect firmly validates our precessing nozzle scenario and supports the traditional point-view that superluminal components are physical entities (traveling shocks or plasmoids) participating relativistic motion toward us at small angles. The model-simulation of kinematic behavior of superluminal components by using our precessing nozzle scenario with specific patterns (helical or ballistic) assumed for the precessing common trajectories yields the model-derived bulk Lorentz factor, apparent velocity, viewing angle and Doppler factor as continuous functions of time, which are most applicable to study the connection of flux evolution with Doppler boosting effect for the superluminal components.


title: Diffusion Model with Clustering-based Conditioning for Food Image Generation

abstract: Image-based dietary assessment serves as an efficient and accurate solution for recording and analyzing nutrition intake using eating occasion images as input. Deep learning-based techniques are commonly used to perform image analysis such as food classification, segmentation, and portion size estimation, which rely on large amounts of food images with annotations for training. However, such data dependency poses significant barriers to real-world applications, because acquiring a substantial, diverse, and balanced set of food images can be challenging. One potential solution is to use synthetic food images for data augmentation. Although existing work has explored the use of generative adversarial networks (GAN) based structures for generation, the quality of synthetic food images still remains subpar. In addition, while diffusion-based generative models have shown promising results for general image generation tasks, the generation of food images can be challenging due to the substantial intra-class variance. In this paper, we investigate the generation of synthetic food images based on the conditional diffusion model and propose an effective clustering-based training framework, named ClusDiff, for generating high-quality and representative food images. The proposed method is evaluated on the Food-101 dataset and shows improved performance when compared with existing image generation works. We also demonstrate that the synthetic food images generated by ClusDiff can help address the severe class imbalance issue in long-tailed food classification using the VFN-LT dataset.


title: Observations of a black hole X-ray binary indicate formation of a magnetically arrested disk

abstract: Accretion of material onto a black hole drags any magnetic fields present inwards, increasing their strength. Theory predicts that sufficiently strong magnetic fields can halt the accretion flow, producing a magnetically arrested disk (MAD). We analyze archival multi-wavelength observations of an outburst from the black hole X-ray binary MAXI J1820+070 in 2018. The radio and optical fluxes are delayed by about 8 and 17 days respectively, compared to the X-ray flux. We interpret this as evidence for the formation of a MAD. In this scenario, the magnetic field is amplified by an expanding corona, forming a MAD around the time of the radio peak. The optical delay is then due to thermal viscous instability in the outer disk.


title: Subjectivity in Unsupervised Machine Learning Model Selection

abstract: Model selection is a necessary step in unsupervised machine learning. Despite numerous criteria and metrics, model selection remains subjective. A high degree of subjectivity may lead to questions about repeatability and reproducibility of various machine learning studies and doubts about the robustness of models deployed in the real world. Yet, the impact of modelers' preferences on model selection outcomes remains largely unexplored. This study uses the Hidden Markov Model as an example to investigate the subjectivity involved in model selection. We asked 33 participants and three Large Language Models (LLMs) to make model selections in three scenarios. Results revealed variability and inconsistencies in both the participants' and the LLMs' choices, especially when different criteria and metrics disagree. Sources of subjectivity include varying opinions on the importance of different criteria and metrics, differing views on how parsimonious a model should be, and how the size of a dataset should influence model selection. The results underscore the importance of developing a more standardized way to document subjective choices made in model selection processes.


title: Empirical Modeling of Variance in Medium Frequency R-Mode Time-of-Arrival Measurements

abstract: The R-Mode system, an advanced terrestrial integrated navigation system, is designed to address the vulnerabilities of global navigation satellite systems (GNSS) and explore the potential of a complementary navigation system. This study aims to enhance the accuracy of performance simulation for the medium frequency (MF) R-Mode system by modeling the variance of time-of-arrival (TOA) measurements based on actual data. Drawing inspiration from the method used to calculate the standard deviation of time-of-reception (TOR) measurements in Loran, we adapted and applied this approach to the MF R-Mode system. Data were collected from transmitters in Palmi and Chungju, South Korea, and the parameters for modeling the variance of TOA were estimated.


title: Generalization Bound and Learning Methods for Data-Driven Projections in Linear Programming

abstract: How to solve high-dimensional linear programs (LPs) efficiently is a fundamental question. Recently, there has been a surge of interest in reducing LP sizes using random projections, which can accelerate solving LPs independently of improving LP solvers. This paper explores a new direction of data-driven projections, which use projection matrices learned from data instead of random projection matrices. Given training data of $n$-dimensional LPs, we learn an $n\times k$ projection matrix with $n > k$. When addressing a future LP instance, we reduce its dimensionality from $n$ to $k$ via the learned projection matrix, solve the resulting LP to obtain a $k$-dimensional solution, and apply the learned matrix to it to recover an $n$-dimensional solution. On the theoretical side, a natural question is: how much data is sufficient to ensure the quality of recovered solutions? We address this question based on the framework of data-driven algorithm design, which connects the amount of data sufficient for establishing generalization bounds to the pseudo-dimension of performance metrics. We obtain an $\tilde{\mathrm{O}}(nk^2)$ upper bound on the pseudo-dimension, where $\tilde{\mathrm{O}}$ compresses logarithmic factors. We also provide an $\Omega(nk)$ lower bound, implying our result is tight up to an $\tilde{\mathrm{O}}(k)$ factor. On the practical side, we explore two simple methods for learning projection matrices: PCA- and gradient-based methods. While the former is relatively efficient, the latter can sometimes achieve better solution quality. Experiments demonstrate that learning projection matrices from data is indeed beneficial: it leads to significantly higher solution quality than the existing random projection while greatly reducing the time for solving LPs.


title: Analytic shock-fronted solutions to a reaction-diffusion equation with negative diffusivity

abstract: Reaction-diffusion equations (RDEs) model the spatiotemporal evolution of a density field $u(\vec{x},t)$ according to diffusion and net local changes. Usually, the diffusivity is positive for all values of $u,$ which causes the density to disperse. However, RDEs with partially negative diffusivity can model aggregation, which is the preferred behaviour in some circumstances. In this paper, we consider a nonlinear RDE with quadratic diffusivity $D(u) = (u - a)(u - b)$ that is negative for $u\in(a,b)$. We use a nonclassical symmetry to construct analytic receding time-dependent, colliding wave, and receding travelling wave solutions. These solutions are multi-valued, and we convert them to single-valued solutions by inserting a shock. We examine properties of these analytic solutions including their Stefan-like boundary condition, and perform a phase plane analysis. We also investigate the spectral stability of the $u = 0$ and $u = 1$ constant solutions, and prove for certain $a$ and $b$ that receding travelling waves are spectrally stable. Additionally, we introduce a new shock condition where the diffusivity and flux are continuous across the shock. For diffusivity symmetric about the midpoint of its zeros, this condition recovers the well-known equal-area rule, but for non-symmetric diffusivity it results in a different shock position.


title: Measuring black hole spin through gravitational lensing of pulsars

abstract: We put forward a new procedure for measuring the spin of a black hole with unprecedented accuracy based on gravitational lensing of millisecond pulsars. The deflection angle of light increases by increasing the rotation parameter. For primary and secondary images the angular positions are larger for rotating black holes by an amount of the order of microarcseconds. Also, the differential time delay for the case of a rotating black hole is larger than that for the non-rotating case and the difference could be as large as a few seconds. We show that this quantity could help us achieve an extremely precise measurement of the black hole spin, much more accurate than the current and near future achievable estimation of black hole spin through other methods.


title: Gap and Overlap Detection in Automated Fiber Placement

abstract: The identification and correction of manufacturing defects, particularly gaps and overlaps, are crucial for ensuring high-quality composite parts produced through Automated Fiber Placement (AFP). These imperfections are the most commonly observed issues that can significantly impact the overall quality of the composite parts. Manual inspection is both time-consuming and labor-intensive, making it an inefficient approach. To overcome this challenge, the implementation of an automated defect detection system serves as the optimal solution. In this paper, we introduce a novel method that uses an Optical Coherence Tomography (OCT) sensor and computer vision techniques to detect and locate gaps and overlaps in composite parts. Our approach involves generating a depth map image of the composite surface that highlights the elevation of composite tapes (or tows) on the surface. By detecting the boundaries of each tow, our algorithm can compare consecutive tows and identify gaps or overlaps that may exist between them. Any gaps or overlaps exceeding a predefined tolerance threshold are considered manufacturing defects. To evaluate the performance of our approach, we compare the detected defects with the ground truth annotated by experts. The results demonstrate a high level of accuracy and efficiency in gap and overlap segmentation.


title: Quantum nonlinear spectroscopy via correlations of weak Faraday-rotation measurements

abstract: The correlations of fluctuations are key to studying fundamental quantum physics and quantum many-body dynamics. They are also useful information for understanding and combating decoherence in quantum technology. Nonlinear spectroscopy and noise spectroscopy are powerful tools to characterize fluctuations, but they can access only very few among the many types of higher-order correlations. A systematic quantum sensing approach, called quantum nonlinear spectroscopy (QNS), is recently proposed for extracting arbitrary types and orders of time-ordered correlations, using sequential weak measurement via a spin quantum sensor. However, the requirement of a central spin as the quantum sensor limits the versatility of the QNS since usually a central spin interacts only with a small number of particles in proximity and the measurement of single spins needs stringent conditions. Here we propose to employ the polarization (a pseudo-spin) of a coherent light beam as a quantum sensor for QNS. After interacting with a target system (such as a transparent magnetic material), the small Faraday rotation of the linearly polarized light can be measured, which constitutes a weak measurement of the magnetization in the target system. The correlated difference photon counts of a certain numbers of measurement shots can be made proportional to a certain type and order of correlations of the magnetic fluctuations in the material. This protocol of QNS is advantageous for studying quantum many-body systems.


title: Large Language Models for Semantic Monitoring of Corporate Disclosures: A Case Study on Korea's Top 50 KOSPI Companies

abstract: In the rapidly advancing domain of artificial intelligence, state-of-the-art language models such as OpenAI's GPT-3.5-turbo and GPT-4 offer unprecedented opportunities for automating complex tasks. This research paper delves into the capabilities of these models for semantically analyzing corporate disclosures in the Korean context, specifically for timely disclosure. The study focuses on the top 50 publicly traded companies listed on the Korean KOSPI, based on market capitalization, and scrutinizes their monthly disclosure summaries over a period of 17 months. Each summary was assigned a sentiment rating on a scale ranging from 1(very negative) to 5(very positive). To gauge the effectiveness of the language models, their sentiment ratings were compared with those generated by human experts. Our findings reveal a notable performance disparity between GPT-3.5-turbo and GPT-4, with the latter demonstrating significant accuracy in human evaluation tests. The Spearman correlation coefficient was registered at 0.61, while the simple concordance rate was recorded at 0.82. This research contributes valuable insights into the evaluative characteristics of GPT models, thereby laying the groundwork for future innovations in the field of automated semantic monitoring.


title: Let's Play Together through Channels: Understanding the Practices and Experience of Danmaku Participation Game Players in China

abstract: Live streaming is becoming increasingly popular in recent years, as most channels prioritize the delivery of engaging content to their viewers. Among various live streaming channels, Danmaku participation game (DPG) has emerged in China as a mixture of live streaming and online gaming, offering an immersive gaming experience to players. Although prior research has explored audience participation games (APGs) in North America and Europe, it primarily focuses on discussing prototypes and lacks observation of players in natural settings. Little is known about how players perceive DPGs and their player experience. To fill the research gap, we observed a series of DPG channels and conducted an interview-based study to gain insights into the practices and experiences of DPG players. Our work reveals that DPGs can effectively synergize live streaming and online games, amplifying both player engagement and a profound sense of accomplishment to players.


title: Damped Euler system with attractive Riesz interaction forces

abstract: We consider the barotropic Euler equations with pairwise attractive Riesz interactions and linear velocity damping in the periodic domain. We establish the global-in-time well-posedness theory for the system near an equilibrium state. We also analyze the large-time behavior of solutions showing the exponential rate of convergence toward the equilibrium state as time goes to infinity.


title: Multiple closed geodesics on Finsler $3$-dimensional sphere

abstract: In 1973, Katok constructed a non-degenerate (also called bumpy) Finsler metric on $S^3$ with exactly four prime closed geodesics. And then Anosov conjectured that four should be the optimal lower bound of the number of prime closed geodesics on every Finsler $S^3$. In this paper, we proved this conjecture for bumpy Finsler $S^{3}$ if the Morse index of any prime closed geodesic is nonzero.


title: Pseudo-magnetic fields in square lattices

abstract: We have investigated the effects of strain on two-dimensional square lattices and examined the methods for inducing pseudo-magnetic fields. In both the columnar and staggered $\pi$-flux square lattices, we have found that strain only modulates Fermi velocities rather than inducing pseudo-magnetic fields. However, spatially non-uniform on-site potentials (anisotropic hoppings) can create pseudo-magnetic fields in columnar (staggered) $\pi$-flux square lattices. On the other hand, we demonstrate that strain does induce pseudo-magnetic fields in staggered zero-flux square lattices. By breaking a quarter of the bonds, we clarify that a staggered zero-flux square lattice is topologically equivalent to a honeycomb lattice and displays pseudo-vector potentials and pseudo-Landau levels at the Dirac points.


title: Bounds on data limits for all-to-all comparison from combinatorial designs

abstract: In situations where every item in a data set must be compared with every other item in the set, it may be desirable to store the data across a number of machines in such a way that any two data items are stored together on at least one machine. One way to evaluate the efficiency of such a distribution is by the largest fraction of the data it requires to be allocated to any one machine. The all-to-all comparison (ATAC) data limit for $m$ machines is a measure of the minimum of this value across all possible such distributions. In this paper we further the study of ATAC data limits. We observe relationships between them and the previously studied combinatorial parameters of fractional matching numbers and covering numbers. We also prove a lower bound on the ATAC data limit that improves on one of Hall, Kelly and Tian, and examine the special cases where equality in this bound is possible. Finally, we investigate the data limits achievable using various classes of combinatorial designs. In particular, we examine the cases of transversal designs and projective Hjelmslev planes.


title: Regret-Minimizing Project Choice

abstract: An agent observes the set of available projects and proposes some, but not necessarily all, of them. A principal chooses one or none from the proposed set. We solve for a mechanism that minimizes the principal's worst-case regret. We compare the single-project environment in which the agent can propose only one project with the multiproject environment in which he can propose many. In both environments, if the agent proposes one project, it is chosen for sure if the principal's payoff is sufficiently high; otherwise, the probability that it is chosen decreases in the agent's payoff. In the multiproject environment, the agent's payoff from proposing multiple projects equals his maximal payoff from proposing each project alone. The multiproject environment outperforms the single-project one by providing better fallback options than rejection and by delivering this payoff to the agent more efficiently.


title: Towards Addressing the Misalignment of Object Proposal Evaluation for Vision-Language Tasks via Semantic Grounding

abstract: Object proposal generation serves as a standard pre-processing step in Vision-Language (VL) tasks (image captioning, visual question answering, etc.). The performance of object proposals generated for VL tasks is currently evaluated across all available annotations, a protocol that we show is misaligned - higher scores do not necessarily correspond to improved performance on downstream VL tasks. Our work serves as a study of this phenomenon and explores the effectiveness of semantic grounding to mitigate its effects. To this end, we propose evaluating object proposals against only a subset of available annotations, selected by thresholding an annotation importance score. Importance of object annotations to VL tasks is quantified by extracting relevant semantic information from text describing the image. We show that our method is consistent and demonstrates greatly improved alignment with annotations selected by image captioning metrics and human annotation when compared against existing techniques. Lastly, we compare current detectors used in the Scene Graph Generation (SGG) benchmark as a use case, which serves as an example of when traditional object proposal evaluation techniques are misaligned.


title: Human-Inspired Facial Sketch Synthesis with Dynamic Adaptation

abstract: Facial sketch synthesis (FSS) aims to generate a vivid sketch portrait from a given facial photo. Existing FSS methods merely rely on 2D representations of facial semantic or appearance. However, professional human artists usually use outlines or shadings to covey 3D geometry. Thus facial 3D geometry (e.g. depth map) is extremely important for FSS. Besides, different artists may use diverse drawing techniques and create multiple styles of sketches; but the style is globally consistent in a sketch. Inspired by such observations, in this paper, we propose a novel Human-Inspired Dynamic Adaptation (HIDA) method. Specially, we propose to dynamically modulate neuron activations based on a joint consideration of both facial 3D geometry and 2D appearance, as well as globally consistent style control. Besides, we use deformable convolutions at coarse-scales to align deep features, for generating abstract and distinct outlines. Experiments show that HIDA can generate high-quality sketches in multiple styles, and significantly outperforms previous methods, over a large range of challenging faces. Besides, HIDA allows precise style control of the synthesized sketch, and generalizes well to natural scenes and other artistic styles. Our code and results have been released online at: https://github.com/AiArt-HDU/HIDA.


title: Topological chiral kagome lattice

abstract: Chirality, a fundamental structural property of crystals, can induce many unique topological quantum phenomena. In kagome lattice, unconventional transports have been reported under tantalizing chiral charge order. Here, we show how by deforming the kagome lattice to obtain a three-dimensional (3D) chiral kagome lattice in which the key band features of the non-chiral 2D kagome lattice - flat energy bands, van Hove singularities (VHSs), and degeneracies - remain robust in both the $k_z$ = 0 and $\pi$ planes in momentum space. Given the handedness of our kagome lattice, degenerate momentum points possess quantized Chern numbers, ushering in the realization of Weyl fermions. Our 3D chiral kagome lattice surprisingly exhibits 1D behavior on its surface, where topological surface Fermi arc states connecting Weyl fermions are dispersive in one momentum direction and flat in the other direction. These 1D Fermi arcs open up unique possibilities for generating unconventional non-local transport phenomena at the interfaces of domains with different handedness, and the associated enhanced conductance as the separation of the leads on the surface is increased. Employing first-principles calculations, we investigate in-depth the electronic and phononic structures of representative materials within the ten space groups that can support topological chiral kagome lattices. Our study opens a new research direction that integrates the advantages of structural chirality with those of a kagome lattice and thus provides a new materials platform for exploring unique aspects of correlated topological physics in chiral lattices.


title: Catastrophic Emission of Charges from Near-Extremal Nariai Black Holes

abstract: Using the in-out formalism and also the monodromy method, we study the emission of charges from near-extremal charged Nariai black holes with the black hole and cosmological horizons close to each other. The emission becomes catastrophic for a charge with energy greater than its chemical potential, whose leading exponential factor increases inversely proportional to the separation of two horizons. This implies that near-extremal Nariai black holes quickly evaporate through the charge emission and end in the de Sitter space, in contrast to near-extremal RN-dS black holes that have the Breitenlohner-Friedman bound below which they become stable against Hawking radiation and Schwinger effect of charge emission. We illuminate the origin of the catastrophic emission in the phase-integral formulation by comparing near-extremal charged Nariai black holes with near-extremal RN-dS black holes.


title: Combating New COVID-19 Variants in Indonesia: Is Accelerating Four-Dose Vaccinations Sufficient?

abstract: As new COVID-19 variants continue to emerge globally, we develop an SISI-type mathematical model to determine whether the transmission risks arising when such a new variant enters Indonesia can be mitigated by solely accelerating the country's ongoing four-dose vaccination programme. We begin by determining the model's basic reproduction number, as well as the model's equilibria and their stability. Subsequently, employing parameter values representing the country's situation as of March 20, 2023, we conduct a numerical sensitivity analysis in two simulated cases corresponding to two different levels of the new variant's transmission. The results show that, a satisfactory mitigation relying solely on vaccinations necessitates a drastic acceleration in the low-transmission case, and proves unachievable in the high-transmission case. Accordingly, we recommend that the acceleration of the ongoing four-dose vaccinations be carried out in conjunction with other intervention measures, such as improvements of the vaccine's efficacy and the disease's recovery rate.


title: Development of wide range photon detection system for muonic X-ray spectroscopy

abstract: We have developed a photon detection system for muonic X-ray spectroscopy. The detector system consists of high-purity germanium detectors with BGO Compton suppressors. The signals from the detectors are readout with a digital acquisition system. The absolute energy accuracy, energy and timing resolutions, photo-peak efficiency, the performance of the Compton suppressor, and high count rate durability are studied with standard $\gamma$-ray sources and in-beam experiment using $^{27}\mathrm{Al}(p, \gamma){}^{28}\mathrm{Si}$ resonance reaction. The detection system was demonstrated at Paul Scherrer Institute. A calibration method for a photon detector at a muon facility using muonic X-rays of $^{197}$Au and $^{209}$Bi is proposed.


title: A multinode quantum network over a metropolitan area

abstract: Towards realizing the future quantum internet, a pivotal milestone entails the transition from two-node proof-of-principle experiments conducted in laboratories to comprehensive, multi-node setups on large scales. Here, we report on the debut implementation of a multi-node entanglement-based quantum network over a metropolitan area. We equipped three quantum nodes with atomic quantum memories and their telecom interfaces, and combined them into a scalable phase-stabilized architecture through a server node. We demonstrated heralded entanglement generation between two quantum nodes situated 12.5 km apart, and the storage of entanglement exceeding the round-trip communication time. We also showed the concurrent entanglement generation on three links. Our work provides a metropolitan-scale testbed for the evaluation and exploration of multi-node quantum network protocols and starts a new stage of quantum internet research.


title: Moyal deformation of the classical arrival time

abstract: The quantum time of arrival (TOA) problem requires statistics of the measured arrival times given only the initial state of a particle. Following the standard framework of quantum theory, the problem translates into finding an appropriate quantum image of the classical arrival time $\mathcal{T}_C(q,p)$, usually in operator form $\hat{\mathrm{T}}$. In this paper, we consider the problem anew within the phase space formulation of quantum mechanics. The resulting quantum image is a real-valued and time-reversal symmetric function $\mathcal{T}_M(q,p)$ in formal series of $\hbar^2$ with the classical arrival time as the leading term. It is obtained directly from the Moyal bracket relation with the system Hamiltonian and is hence interpreted as a Moyal deformation of the classical TOA. We investigate its properties and discuss how it bypasses the known obstructions to quantization by showing the isomorphism between $\mathcal{T}_M(q,p)$ and the rigged Hilbert space TOA operator constructed in [Eur. Phys. J. Plus \textbf{138}, 153 (2023)] which always satisfy the time-energy canonical commutation relation (TECCR) for arbitrary analytic potentials.