title: A Ray-tracing and Deep Learning Fusion Super-resolution Modeling Method for Wireless Mobile Channel

abstract: Mobile channel modeling has always been the core part for design, deployment and optimization of communication system, especially in 5G and beyond era. Deterministic channel modeling could precisely achieve mobile channel description, however with defects of equipment and time consuming. In this paper, we proposed a novel super resolution (SR) model for cluster characteristics prediction. The model is based on deep neural networks with residual connection. A series of simulations at 3.5 GHz are conducted by a three-dimensional ray tracing (RT) simulator in diverse scenarios. Cluster characteristics are extracted and corresponding data sets are constructed to train the model. Experiments demonstrate that the proposed SR approach could achieve better power and cluster location prediction performance than traditional interpolation method and the root mean square error (RMSE) drops by 51% and 78% relatively. Channel impulse response (CIR) is reconstructed based on cluster characteristics, which could match well with the multi-path component (MPC). The proposed method can be used to efficiently and accurately generate big data of mobile channel, which significantly reduces the computation time of RT-only.


title: Accelerating Guided Diffusion Sampling with Splitting Numerical Methods

abstract: Guided diffusion is a technique for conditioning the output of a diffusion model at sampling time without retraining the network for each specific task. One drawback of diffusion models, however, is their slow sampling process. Recent techniques can accelerate unguided sampling by applying high-order numerical methods to the sampling process when viewed as differential equations. On the contrary, we discover that the same techniques do not work for guided sampling, and little has been explored about its acceleration. This paper explores the culprit of this problem and provides a solution based on operator splitting methods, motivated by our key finding that classical high-order numerical methods are unsuitable for the conditional function. Our proposed method can re-utilize the high-order methods for guided sampling and can generate images with the same quality as a 250-step DDIM baseline using 32-58% less sampling time on ImageNet256. We also demonstrate usage on a wide variety of conditional generation tasks, such as text-to-image generation, colorization, inpainting, and super-resolution.


title: Enabling Multi-threading in Heterogeneous Quantum-Classical Programming Models

abstract: In this paper, we address some of the key limitations to realizing a generic heterogeneous parallel programming model for quantum-classical heterogeneous platforms. We discuss our experience in enabling user-level multi-threading in QCOR as well as challenges that need to be addressed for programming future quantum-classical systems. Specifically, we discuss our design and implementation of introducing C++-based parallel constructs to enable 1) parallel execution of a quantum kernel with std::thread and 2) asynchronous execution with std::async. To do so, we provide a detailed overview of the current implementation of the QCOR programming model and runtime, and discuss how we add 1) thread-safety to some of its user-facing API routines, and 2) increase parallelism in QCOR by removing data races that inhibit multi-threading so as to better utilize available computing resources. We also present preliminary performance results with the Quantum++ back end on a single-node Ryzen9 3900X machine that has 12 physical cores (24 hardware threads) with 128GB of RAM. The results show that running two Bell kernels with 12 threads per kernel in parallel outperforms running the kernels one after the other each with 24 threads (1.63x improvement). In addition, we observe the same trend when running two Shor's algorthm kernels in parallel (1.22x faster than executing the kernels one after the other). Furthermore, the parallel version is better in terms of strong scalability. We believe that our design, implementation, and results will open up an opportunity not only for 1) enabling quicker prototyping of parallel/asynchrony-aware quantum-classical algorithms on quantum circuit simulators in the short-term, but also for 2) realizing a generic heterogeneous parallel programming model for quantum-classical heterogeneous platforms in the long-term.


title: Voting from Nearest Tasks: Meta-Vote Pruning of Pre-trained Models for Downstream Tasks

abstract: As a few large-scale pre-trained models become the major choices of various applications, new challenges arise for model pruning, e.g., can we avoid pruning the same model from scratch for every downstream task? How to reuse the pruning results of previous tasks to accelerate the pruning for a new task? To address these challenges, we create a small model for a new task from the pruned models of similar tasks. We show that a few fine-tuning steps on this model suffice to produce a promising pruned-model for the new task. We study this ''meta-pruning'' from nearest tasks on two major classes of pre-trained models, convolutional neural network (CNN) and vision transformer (ViT), under a limited budget of pruning iterations. Our study begins by investigating the overlap of pruned models for similar tasks and how the overlap changes over different layers and blocks. Inspired by these discoveries, we develop a simple but effective ''Meta-Vote Pruning (MVP)'' method that significantly reduces the pruning iterations for a new task by initializing a sub-network from the pruned models of its nearest tasks. In experiments, we demonstrate MVP's advantages in accuracy, efficiency, and generalization through extensive empirical studies and comparisons with popular pruning methods over several datasets.


title: Control Scheme for Polarization Circulation Speed Meter Using a Dual-Retardation Waveplate

abstract: In interferometric gravitational wave detectors, quantum radiation pressure noise, which is a back action of the measurement, will limit their sensitivities at low frequencies. Speed meters are one of the solutions to reduce the back action noise and improve the sensitivities, and furthermore, they can surpass the standard quantum limit over a wide range of frequencies. The Polarization Circulation Speed Meter is the latest incarnation of the speed meter concept in the sense that it requires a slight modification in the conventional interferometer designs; however, its control scheme has not been developed. The main difficulty is the length and alignment control of the cavity formed by the polarization circulation mirror and the input test masses, whose round-trip phase shift should be kept to $\pi$. In this article, we propose a new control scheme using a dual-retardation waveplate, called Dual-Retardance Control (DRC). In addition, we compare the shot noise level of the DRC to another simpler scheme by dithering. Finally, we design the experimental setup for the demonstration of the DRC and show the expected results through the transfer function measurement.


title: Arbitrariness and Social Prediction: The Confounding Role of Variance in Fair Classification

abstract: Variance in predictions across different trained models is a significant, under-explored source of error in fair binary classification. In practice, the variance on some data examples is so large that decisions can be effectively arbitrary. To investigate this problem, we take an experimental approach and make four overarching contributions: We: 1) Define a metric called self-consistency, derived from variance, which we use as a proxy for measuring and reducing arbitrariness; 2) Develop an ensembling algorithm that abstains from classification when a prediction would be arbitrary; 3) Conduct the largest to-date empirical study of the role of variance (vis-a-vis self-consistency and arbitrariness) in fair binary classification; and, 4) Release a toolkit that makes the US Home Mortgage Disclosure Act (HMDA) datasets easily usable for future research. Altogether, our experiments reveal shocking insights about the reliability of conclusions on benchmark datasets. Most fair binary classification benchmarks are close-to-fair when taking into account the amount of arbitrariness present in predictions -- before we even try to apply any fairness interventions. This finding calls into question the practical utility of common algorithmic fairness methods, and in turn suggests that we should reconsider how we choose to measure fairness in binary classification.


title: Exponential tail bounds and Large Deviation Principle for Heavy-Tailed U-Statistics

abstract: We study deviation of U-statistics when samples have heavy-tailed distribution so the kernel of the U-statistic does not have bounded exponential moments at any positive point. We obtain an exponential upper bound for the tail of the U-statistics which clearly denotes two regions of tail decay, the first is a Gaussian decay and the second behaves like the tail of the kernel. For several common U-statistics, we also show the upper bound has the right rate of decay as well as sharp constants by obtaining rough logarithmic limits which in turn can be used to develop LDP for U-statistics. In spite of usual LDP results in the literature, processes we consider in this work have LDP speed slower than their sample size $n$.

categories: math.PR math.ST stat.AP stat.ME stat.ML stat.TH


title: Learning 6-DoF Fine-grained Grasp Detection Based on Part Affordance Grounding

abstract: Robotic grasping is a fundamental ability for a robot to interact with the environment. Current methods focus on how to obtain a stable and reliable grasping pose in object level, while little work has been studied on part (shape)-wise grasping which is related to fine-grained grasping and robotic affordance. Parts can be seen as atomic elements to compose an object, which contains rich semantic knowledge and a strong correlation with affordance. However, lacking a large part-wise 3D robotic dataset limits the development of part representation learning and downstream applications. In this paper, we propose a new large Language-guided SHape grAsPing datasEt (named LangSHAPE) to promote 3D part-level affordance and grasping ability learning. From the perspective of robotic cognition, we design a two-stage fine-grained robotic grasping framework (named LangPartGPD), including a novel 3D part language grounding model and a part-aware grasp pose detection model, in which explicit language input from human or large language models (LLMs) could guide a robot to generate part-level 6-DoF grasping pose with textual explanation. Our method combines the advantages of human-robot collaboration and LLMs' planning ability using explicit language as a symbolic intermediate. To evaluate the effectiveness of our proposed method, we perform 3D part grounding and fine-grained grasp detection experiments on both simulation and physical robot settings, following language instructions across different degrees of textual complexity. Results show our method achieves competitive performance in 3D geometry fine-grained grounding, object affordance inference, and 3D part-aware grasping tasks. Our dataset and code are available on our project website https://sites.google.com/view/lang-shape


title: Aligning Three-Decade Surge in Urban Cooling with Global Warming

abstract: Rising demand for space cooling has been placing enormous strain on various technological, environmental, and societal dimensions, resulting in issues related to energy consumption, environmental sustainability, health and well-being, affordability, and equity. Holistic approaches that combine energy efficiency optimization, policy-making, and societal adaptation must be rapidly promoted as viable, timely solutions. We interpret the 30-year upward trend and spikes in urban cooling demand from the perspective of climate change, urbanization, and background climates, focusing on five representative cities: Hong Kong, Sydney, Montreal, Zurich, and London. An unequivocal, worrying upward trend in cooling demand is observed in meteorological data from 1990 to 2021, using cooling degree hours (CDH) as a city-scale metric. The surge in cooling energy demand can be largely attributed to global warming, urban heat islands, and extreme heat events. Further, our quantification of the impact of the base temperature, in relation to the historical CDH, reveals that a 20% energy saving could be achieved instantly within a rather broad range of temperature and humidity by increasing the setpoint temperature by one degree, while characteristic sensational and physiological levels can be maintained at 'acceptable' and 'physiological thermal neutrality' respectively. However, the potential of reducing cooling demand can be nonlinearly and significantly lowered due to the presence of compound high relative humidity and high air temperature. To reduce cooling energy demand rapidly in a warming climate, we highlight the necessity of promoting hard and soft behavioral adaptation along with regulatory intervention for the operation of space cooling systems.


title: Renovation of Seoul Radio Astronomy Observatory and Its First Millimeter VLBI Observations

abstract: The Seoul Radio Astronomy Observatory (SRAO) operates a 6.1-meter radio telescope on the Gwanak campus of Seoul National University. We present the efforts to reform SRAO to a Very Long Baseline Interferometry (VLBI) station, motivated by recent achievements by millimeter interferometer networks such as Event Horizon Telescope, East Asia VLBI Network, and Korean VLBI Network (KVN). For this goal, we installed a receiver that had been used in the Combined Array for Research in Millimeter-wave Astronomy and a digital backend, including an H-maser clock. The existing hardware and software were also revised, which had been dedicated only to single-dish operations. After several years of preparations and test observations in 1 and 3-millimeter bands, a fringe was successfully detected toward 3C 84 in 86 GHz in June 2022 for a baseline between SRAO and KVN Ulsan station separated by 300 km. Thanks to the dual frequency operation of the receiver, the VLBI observations will soon be extended to the 1 mm band and verify the frequency phase referencing technique between 1 and 3-millimeter bands.


title: Threshold dynamics of a nonlocal dispersal SIS epidemic model with free boundaries

abstract: To study the influence of the moving front of the infected interval and the spatial movement of individuals on the spreading or vanishing of infectious disease, we consider a nonlocal SIS (susceptible-infected-susceptible) reaction-diffusion model with media coverage, hospital bed numbers and free boundaries. The principal eigenvalue of the integral operator is defined, and the impacts of the diffusion rate of infected individuals and interval length on the principal eigenvalue are analyzed. Furthermore, sufficient conditions for spreading and vanishing of the disease are derived.Our results show that large media coverage and hospital bed numbers are beneficial to the prevention and control of disease. The difference between the model with nonlocal diffusion and that with local diffusion is also discussed and nonlocal diffusion leads to more possibilities.


title: Repairing DNN Architecture: Are We There Yet?

abstract: As Deep Neural Networks (DNNs) are rapidly being adopted within large software systems, software developers are increasingly required to design, train, and deploy such models into the systems they develop. Consequently, testing and improving the robustness of these models have received a lot of attention lately. However, relatively little effort has been made to address the difficulties developers experience when designing and training such models: if the evaluation of a model shows poor performance after the initial training, what should the developer change? We survey and evaluate existing state-of-the-art techniques that can be used to repair model performance, using a benchmark of both real-world mistakes developers made while designing DNN models and artificial faulty models generated by mutating the model code. The empirical evaluation shows that random baseline is comparable with or sometimes outperforms existing state-of-the-art techniques. However, for larger and more complicated models, all repair techniques fail to find fixes. Our findings call for further research to develop more sophisticated techniques for Deep Learning repair.


title: Vulnerablity analysis of Azure Blockchain Workbench key management system

abstract: With rise of blockchain popularity, more and more people seek to implement blockchain technology into their projects. Most common way is to take existing blockchain stack, such as Azure Blockchain Workbench or Oracle Blockchain Platform. While the blockchain technology is well-protected by its algorithms it is still vulnerable because its privacy relies on regular cryptography. And mistakes or vulnerabilities in key management protocols can affect even the most secure blockchain projects. This article considers question of vulnerabilities within Azure Blockchain Workbench key management system. We describe potential threats for each stage of key management lifecycle based on public reports and then assess how likely are those threats to realize within Azure Blockchain Workbench environment based on the technical documentation for Azure Blockchain Workbench and Azure Key Vault. Finally, we compile results of our assessment into the key management threat table with three distinct degrees of protection: fully protected, partially protected and not protected.


title: Chirp-based Hierarchical Beam Training for Extremely Large-Scale Massive MIMO

abstract: XL-MIMO promises to provide ultrahigh data rates in Terahertz (THz) spectrum. However, the spherical-wavefront wireless transmission caused by large aperture array presents huge challenges for channel state information (CSI) acquisition. Two independent parameters (physical angles and transmission distance) should be simultaneously considered in XL-MIMO beamforming, which brings severe overhead consumption and beamforming degradation. To address this problem, we exploit the near-field channel characteristic and propose one low-overhead hierarchical beam training scheme for near-field XL-MIMO system. Firstly, we project near-field channel into spatial-angular domain and slope-intercept domain to capture detailed representations. Secondly, a novel spatial-chirp beam-aided codebook and corresponding hierarchical update policy are proposed. Theoretical analyses and numerical simulations are also displayed to verify the superior performances on beamforming and training overhead.


title: AdaBoost is not an Optimal Weak to Strong Learner

abstract: AdaBoost is a classic boosting algorithm for combining multiple inaccurate classifiers produced by a weak learner, to produce a strong learner with arbitrarily high accuracy when given enough training data. Determining the optimal number of samples necessary to obtain a given accuracy of the strong learner, is a basic learning theoretic question. Larsen and Ritzert (NeurIPS'22) recently presented the first provably optimal weak-to-strong learner. However, their algorithm is somewhat complicated and it remains an intriguing question whether the prototypical boosting algorithm AdaBoost also makes optimal use of training samples. In this work, we answer this question in the negative. Concretely, we show that the sample complexity of AdaBoost, and other classic variations thereof, are sub-optimal by at least one logarithmic factor in the desired accuracy of the strong learner.


title: Noncontact Haptic Rendering of Static Contact with Convex Surface Using Circular Movement of Ultrasound Focus on a Finger Pad

abstract: A noncontact tactile stimulus can be presented by focusing airborne ultrasound on the human skin. Focused ultrasound has recently been reported to produce not only vibration but also static pressure sensation on the palm by modulating the sound pressure distribution at a low frequency. This finding expands the potential for tactile rendering in ultrasound haptics as static pressure sensation is perceived with a high spatial resolution. In this study, we verified that focused ultrasound can render a static pressure sensation associated with contact with a small convex surface on a finger pad. This static contact rendering enables noncontact tactile reproduction of a fine uneven surface using ultrasound. In the experiments, four ultrasound foci were simultaneously and circularly rotated on a finger pad at 5 Hz. When the orbit radius was 3 mm, vibration and focal movements were barely perceptible, and the stimulus was perceived as static pressure. Moreover, under the condition, the pressure sensation rendered a contact with a small convex surface with a radius of 2 mm. The perceived intensity of the static contact sensation was equivalent to a physical contact force of 0.24 N on average, which was 12 times the radiation force physically applied to the skin.


title: On the optimality of Kalman Filter for Fault Detection

abstract: Kalman filter is widely used for residual generation in fault detection. It leads to optimality in fault detection using some performance indices and also leads to statistically sound residual evaluation and threshold setting. This paper shows that these nice features do not necessarily imply an optimal fault detection performance. Based on a performance index related to fault detection rate and false alarm rate, several occasions where Kalman filter should not be used are pointed out; further the residual evaluation and threshold setting are discussed, in which it is pointed out that in stochastic setting an optimal statistical test of Kamlan filter is not related to optimality of commonly used detection performance indicators. The theoretical analysis is verified through Monte Carlo simulations and Tennessee Eastman process (TEP) dataset.


title: Damage Preserving Transformation for Materials with Microstructure

abstract: The failure of heterogeneous materials with microstructures is a complex process of damage nucleation, growth and localisation. This process spans multiple length scales and is challenging to simulate numerically due to its high computational cost. One option is to use domain decomposed multi-scale methods with dynamical refinement. If needed, these methods refine coarse regions into a fine-scale representation to explicitly model the damage in the microstructure. However, damage evolution is commonly restricted to fine-scale regions only. Thus, they are unable to capture the full complexity and breath of the degradation process in the material. In this contribution, a generic procedure that allows to account for damage in all representations is proposed. The approach combines a specially designed orthotropic damage law, with a scheme to generate pre-damaged fine-scale microstructures. Results indicate that the damage approximation for the coarse representation works well. Furthermore, the generated fine-scale damage patterns are overall consistent with explicitly simulated damage patterns. Minor discrepancies occur in the generation but subsequently vanish when explicit damage evolution continuous; for instance under increased load. The presented approach provides a methodological basis for adaptive multi-scale simulation schemes with consistent damage evolution.


title: ARiADNE: A Reinforcement learning approach using Attention-based Deep Networks for Exploration

abstract: In autonomous robot exploration tasks, a mobile robot needs to actively explore and map an unknown environment as fast as possible. Since the environment is being revealed during exploration, the robot needs to frequently re-plan its path online, as new information is acquired by onboard sensors and used to update its partial map. While state-of-the-art exploration planners are frontier- and sampling-based, encouraged by the recent development in deep reinforcement learning (DRL), we propose ARiADNE, an attention-based neural approach to obtain real-time, non-myopic path planning for autonomous exploration. ARiADNE is able to learn dependencies at multiple spatial scales between areas of the agent's partial map, and implicitly predict potential gains associated with exploring those areas. This allows the agent to sequence movement actions that balance the natural trade-off between exploitation/refinement of the map in known areas and exploration of new areas. We experimentally demonstrate that our method outperforms both learning and non-learning state-of-the-art baselines in terms of average trajectory length to complete exploration in hundreds of simplified 2D indoor scenarios. We further validate our approach in high-fidelity Robot Operating System (ROS) simulations, where we consider a real sensor model and a realistic low-level motion controller, toward deployment on real robots.


title: Empirical process sampled along a stationary process

abstract: Let $(X_{\underline{\ell}})_{\underline{\ell} \in \mathbb Z^d}$ be a real random field (r.f.) indexed by $\mathbb Z^d$ with common probability distribution function $F$. Let $(z_k)_{k=0}^\infty$ be a sequence in $\mathbb Z^d$. The empirical process obtained by sampling the random field along $(z_k)$ is $\sum_{k=0}^{n-1} [{\bf 1}_{X_{z_k} \leq s}- F(s)]$. We give conditions on $(z_k)$ implying the Glivenko-Cantelli theorem for the empirical process sampled along $(z_k)$ in different cases (independent, associated or weakly correlated random variables). We consider also the functional central limit theorem when the $X_{\underline{\ell}}$'s are i.i.d. These conditions are examined when $(z_k)$ is provided by an auxiliary stationary process in the framework of ``random ergodic theorems''.


title: Defective acyclic colorings of planar graphs

abstract: This paper studies two variants of defective acyclic coloring of planar graphs. For a graph $G$ and a coloring $\varphi$ of $G$, a 2CC transversal is a subset $E'$ of $E(G)$ that intersects every 2-colored cycle. Let $k$ be a positive integer. We denote by $m_k(G)$ the minimum integer $m$ such that $G$ has a proper $k$-coloring which has a 2CC transerval of size $m$, and by $m'_k(G)$ the minimum size of a subset $E'$ of $E(G)$ such that $G-E'$ is acyclic $k$-colorable. We prove that for any $n$-vertex $3$-colorable planar graph $G$, $m_3(G) \le n - 3$ and for any planar graph $G$, $m_4(G) \le n - 5$ provided that $n \ge 5$. We show that these upper bounds are sharp: there are infinitely many planar graphs attaining these upper bounds. Moreover, the minimum 2CC transversal $E'$ can be chosen in such a way that $E'$ induces a forest. We also prove that for any planar graph $G$, $m'_3(G) \le (13n - 42) / 10$ and $m'_4(G) \le (3n - 12) / 5$.


title: Learning to Unlearn: Instance-wise Unlearning for Pre-trained Classifiers

abstract: Since the recent advent of regulations for data protection (e.g., the General Data Protection Regulation), there has been increasing demand in deleting information learned from sensitive data in pre-trained models without retraining from scratch. The inherent vulnerability of neural networks towards adversarial attacks and unfairness also calls for a robust method to remove or correct information in an instance-wise fashion, while retaining the predictive performance across remaining data. To this end, we consider instance-wise unlearning, of which the goal is to delete information on a set of instances from a pre-trained model, by either misclassifying each instance away from its original prediction or relabeling the instance to a different label. We also propose two methods that reduce forgetting on the remaining data: 1) utilizing adversarial examples to overcome forgetting at the representation-level and 2) leveraging weight importance metrics to pinpoint network parameters guilty of propagating unwanted information. Both methods only require the pre-trained model and data instances to forget, allowing painless application to real-life settings where the entire training set is unavailable. Through extensive experimentation on various image classification benchmarks, we show that our approach effectively preserves knowledge of remaining data while unlearning given instances in both single-task and continual unlearning scenarios.


title: Down the Rabbit Hole: Detecting Online Extremism, Radicalisation, and Politicised Hate Speech

abstract: Social media is a modern person's digital voice to project and engage with new ideas and mobilise communities $\unicode{x2013}$ a power shared with extremists. Given the societal risks of unvetted content-moderating algorithms for Extremism, Radicalisation, and Hate speech (ERH) detection, responsible software engineering must understand the who, what, when, where, and why such models are necessary to protect user safety and free expression. Hence, we propose and examine the unique research field of ERH context mining to unify disjoint studies. Specifically, we evaluate the start-to-finish design process from socio-technical definition-building and dataset collection strategies to technical algorithm design and performance. Our 2015-2021 51-study Systematic Literature Review (SLR) provides the first cross-examination of textual, network, and visual approaches to detecting extremist affiliation, hateful content, and radicalisation towards groups and movements. We identify consensus-driven ERH definitions and propose solutions to existing ideological and geographic biases, particularly due to the lack of research in Oceania/Australasia. Our hybridised investigation on Natural Language Processing, Community Detection, and visual-text models demonstrates the dominating performance of textual transformer-based algorithms. We conclude with vital recommendations for ERH context mining researchers and propose an uptake roadmap with guidelines for researchers, industries, and governments to enable a safer cyberspace.


title: A Characterization of Complexity in Public Goods Games

abstract: We complete the characterization of the computational complexity of equilibrium in public goods games on graphs. In this model, each vertex represents an agent deciding whether to produce a public good, with utility defined by a "best-response pattern" determining the best response to any number of productive neighbors. We prove that the equilibrium problem is NP-complete for every finite non-monotone best-response pattern. This answers the open problem of [Gilboa and Nisan, 2022], and completes the answer to a question raised by [Papadimitriou and Peng, 2021], for all finite best-response patterns.


title: A Green(er) World for A.I

abstract: As research and practice in artificial intelligence (A.I.) grow in leaps and bounds, the resources necessary to sustain and support their operations also grow at an increasing pace. While innovations and applications from A.I. have brought significant advances, from applications to vision and natural language to improvements to fields like medical imaging and materials engineering, their costs should not be neglected. As we embrace a world with ever-increasing amounts of data as well as research and development of A.I. applications, we are sure to face an ever-mounting energy footprint to sustain these computational budgets, data storage needs, and more. But, is this sustainable and, more importantly, what kind of setting is best positioned to nurture such sustainable A.I. in both research and practice? In this paper, we outline our outlook for Green A.I. -- a more sustainable, energy-efficient and energy-aware ecosystem for developing A.I. across the research, computing, and practitioner communities alike -- and the steps required to arrive there. We present a bird's eye view of various areas for potential changes and improvements from the ground floor of AI's operational and hardware optimizations for datacenters/HPCs to the current incentive structures in the world of A.I. research and practice, and more. We hope these points will spur further discussion, and action, on some of these issues and their potential solutions.


title: Adaptive Least-Squares Methods for Convection-Dominated Diffusion-Reaction Problems

abstract: This paper studies adaptive least-squares finite element methods for convection-dominated diffusion-reaction problems. The least-squares methods are based on the first-order system of the primal and dual variables with various ways of imposing outflow boundary conditions. The coercivity of the homogeneous least-squares functionals are established, and the a priori error estimates of the least-squares methods are obtained in a norm that incorporates the streamline derivative. All methods have the same convergence rate provided that meshes in the layer regions are fine enough. To increase computational accuracy and reduce computational cost, adaptive least-squares methods are implemented and numerical results are presented for some test problems.


title: Tunable Strong Magnon-Magnon Coupling in Two-Dimensional Array of Diamond Shaped Ferromagnetic Nanodots

abstract: Hybrid magnonics involving coupling between magnons and different quantum particles have been extensively studied during past few years for varied interests including quantum electrodynamics. In such systems, magnons in magnetic materials with high spin density are utilized where the coupling strength is collectively enhanced by the square root of the number of spins to overcome the weaker coupling between individual spins and the microwave field. However, achievement of strong magnon-magnon coupling in a confined nanomagnets would be essential for on-chip integration of such hybrid systems. Here, through intensive study of interaction between different magnon modes in a Ni80Fe20 (Py) nanodot array, we demonstrate that the intermodal coupling can approach the strong coupling regime with coupling strength up to 0.82 GHz and cooperativity of 2.51. Micromagnetic simulations reveal that the intermodal coupling is mediated by the exchange field inside each nanodot. The coupling strength could be continuously tuned by varying the bias field strength and orientation, opening routes for external control over hybrid magnonic systems. These findings could greatly enrich the rapidly evolving field of quantum magnonics.


title: Robust variance-regularized risk minimization with concomitant scaling

abstract: Under losses which are potentially heavy-tailed, we consider the task of minimizing sums of the loss mean and standard deviation, without trying to accurately estimate the variance. By modifying a technique for variance-free robust mean estimation to fit our problem setting, we derive a simple learning procedure which can be easily combined with standard gradient-based solvers to be used in traditional machine learning workflows. Empirically, we verify that our proposed approach, despite its simplicity, performs as well or better than even the best-performing candidates derived from alternative criteria such as CVaR or DRO risks on a variety of datasets.


title: Solid-state lithium-ion supercapacitor for voltage control of skyrmions

abstract: Ionic control of magnetism gives rise to high magneto-electric coupling efficiencies at low voltages, which is essential for low-power magnetism-based non-conventional computing technologies. However, for on-chip applications, magneto-ionic devices typically suffer from slow kinetics, poor cyclability, impractical liquid architectures or strong ambient effects. As a route to overcoming these problems, we demonstrate an LiPON-based solid-state ionic supercapacitor with a magnetic Pt/Co$_{40}$Fe$_{40}$B$_{20}$/Pt thin-film electrode which enables voltage control of a magnetic skyrmion state. Skyrmion nucleation and annihilation are caused by Li ion accumulation and depletion at the magnetic interface under an applied voltage. The skyrmion density can be controlled through dc applied fields or through voltage pulses. The skyrmions are nucleated by single 60-$\mu$s voltage pulses and devices are cycled 750,000 times without loss of electrical performance. Our results demonstrate a simple and robust approach to ionic control of magnetism in spin-based devices.


title: Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques

abstract: Software obfuscation techniques can prevent binary diffing techniques from locating vulnerable code by obfuscating the third-party code, to achieve the purpose of protecting embedded device software. With the rapid development of binary diffing techniques, they can achieve more and more accurate function matching and identification by extracting the features within the function. This makes existing software obfuscation techniques, which mainly focus on the intra-procedural code obfuscation, no longer effective. In this paper, we propose a new inter-procedural code obfuscation mechanism Khaos, which moves the code across functions to obfuscate the function by using compilation optimizations. Two obfuscation primitives are proposed to separate and aggregate the function, which are called fission and fusion respectively. A prototype of Khaos is implemented based on the LLVM compiler and evaluated on a large number of real-world programs including SPEC CPU 2006 & 2017, CoreUtils, JavaScript engines, etc. Experimental results show that Khaos outperforms existing code obfuscations and can significantly reduce the accuracy rates of five state-of-the-art binary diffing techniques (less than 19%) with lower runtime overhead (less than 7%).


title: Matching of Everyday Power Supply and Demand with Dynamic Pricing: Problem Formalisation and Conceptual Analysis

abstract: The energy transition is expected to significantly increase the share of renewable energy sources whose production is intermittent in the electricity mix. Apart from key benefits, this development has the major drawback of generating a mismatch between power supply and demand. The innovative dynamic pricing approach may significantly contribute to mitigating that critical problem by taking advantage of the flexibility offered by the demand side. At its core, this idea consists in providing the consumer with a price signal which is evolving over time, in order to influence its consumption. This novel approach involves a challenging decision-making problem that can be summarised as follows: how to determine a price signal maximising the synchronisation between power supply and demand under the constraints of maintaining the producer/retailer's profitability and benefiting the final consumer at the same time? As a contribution, this research work presents a detailed formalisation of this particular decision-making problem. Moreover, the paper discusses the diverse algorithmic components required to efficiently design a dynamic pricing policy: different forecasting models together with an accurate statistical modelling of the demand response to dynamic prices.


title: Bounding Box-based Multi-objective Bayesian Optimization of Risk Measures under Input Uncertainty

abstract: In this study, we propose a novel multi-objective Bayesian optimization (MOBO) method to efficiently identify the Pareto front (PF) defined by risk measures for black-box functions under the presence of input uncertainty (IU). Existing BO methods for Pareto optimization in the presence of IU are risk-specific or without theoretical guarantees, whereas our proposed method addresses general risk measures and has theoretical guarantees. The basic idea of the proposed method is to assume a Gaussian process (GP) model for the black-box function and to construct high-probability bounding boxes for the risk measures using the GP model. Furthermore, in order to reduce the uncertainty of non-dominated bounding boxes, we propose a method of selecting the next evaluation point using a maximin distance defined by the maximum value of a quasi distance based on bounding boxes. As theoretical analysis, we prove that the algorithm can return an arbitrary-accurate solution in a finite number of iterations with high probability, for various risk measures such as Bayes risk, worst-case risk, and value-at-risk. We also give a theoretical analysis that takes into account approximation errors because there exist non-negligible approximation errors (e.g., finite approximation of PFs and sampling-based approximation of bounding boxes) in practice. We confirm that the proposed method outperforms compared with existing methods not only in the setting with IU but also in the setting of ordinary MOBO through numerical experiments.


title: Adversarial Learning for Implicit Semantic-Aware Communications

abstract: Semantic communication is a novel communication paradigm that focuses on recognizing and delivering the desired meaning of messages to the destination users. Most existing works in this area focus on delivering explicit semantics, labels or signal features that can be directly identified from the source signals. In this paper, we consider the implicit semantic communication problem in which hidden relations and closely related semantic terms that cannot be recognized from the source signals need to also be delivered to the destination user. We develop a novel adversarial learning-based implicit semantic-aware communication (iSAC) architecture in which the source user, instead of maximizing the total amount of information transmitted to the channel, aims to help the recipient learn an inference rule that can automatically generate implicit semantics based on limited clue information. We prove that by applying iSAC, the destination user can always learn an inference rule that matches the true inference rule of the source messages. Experimental results show that the proposed iSAC can offer up to a 19.69 dB improvement over existing non-inferential communication solutions, in terms of symbol error rate at the destination user.


title: Buckling-induced transmission switching in phononic waveguides in the presence of disorder

abstract: On-chip phononic circuits tailor the transmission of elastic waves, which can couple to electronic and photonic systems, enabling new signal manipulation capabilities. Phononic circuits rely on waveguides that transmit elastic waves within desired frequency passbands, typically designed based on the Bloch modes of the waveguide constitutive cell, assuming linearity and periodicity. MEMS waveguides composed of coupled drumhead (membrane) resonators offer tunable MHz operation frequencies for applications in nonlinear optomechanics, topological insulators, phononic cavities, and acoustic switching. Here, we construct a reduced-order model (ROM) to demonstrate the switching of signal transmission in drumhead-resonator waveguides due to thermoelastic buckling. The ROM shows that buckling amplifies existing structural disorders, breaking the periodicity required for waveguide transmission through the first passband. This periodicity breaking manifests in the localization of the first-passband modes, like classical Anderson localization caused by disorders. The proposed ROM is essential to study the investigated phenomena since Bloch mode analysis fails for weakly-disordered (< 5%) finite waveguides due to the disorder amplification caused by the thermoelastic buckling. The illustrated transmission control should be useful for logical acoustic operations, like switching, and can be extended to 2D circuits in the future.


title: Information Entropy-based Camera Path Estimation for In-Situ Visualization

abstract: In-situ processing has widely been recognized as an effective approach for the visualization and analysis of large-scale simulation outputs from modern HPC systems. One of the most common approaches for batch-based in-situ visualization is the image- or video-based approach. In this kind of approach, a large number of rendered images are generated from different viewpoints at each time step and has proven useful for detailed analysis of the main simulation results. However, during test runs and model calibration runs before the main simulation run, a quick overview might be sufficient and useful. In this work, we focused on selecting the viewpoints which provide as much information as possible by using information entropy to maximize the subsequent visual analysis task. However, by simply following the selected viewpoints at each of the visualization time steps will probably lead to a rapidly changing video, which can impact the understanding. Therefore, we have also worked on an efficient camera path estimation approach for connecting selected viewpoints, at regular intervals, to generate a smooth video. This resulting video is expected to assist in rapid understanding of the underlying simulation phenomena and can be helpful to narrow down the temporal region of interest to minimize the turnaround time during detailed visual exploration via image- or video-based visual analysis of the main simulation run. We implemented and evaluated the proposed approach using the OpenFOAM CFD application, on an x86-based Server and an ARM A64FX-based supercomputer (Fugaku), and we obtained positive evaluations from domain scientists.


title: Solving Richly Constrained Reinforcement Learning through State Augmentation and Reward Penalties

abstract: Constrained Reinforcement Learning has been employed to enforce safety constraints on policy through the use of expected cost constraints. The key challenge is in handling expected cost accumulated using the policy and not just in a single step. Existing methods have developed innovative ways of converting this cost constraint over entire policy to constraints over local decisions (at each time step). While such approaches have provided good solutions with regards to objective, they can either be overly aggressive or conservative with respect to costs. This is owing to use of estimates for "future" or "backward" costs in local cost constraints. To that end, we provide an equivalent unconstrained formulation to constrained RL that has an augmented state space and reward penalties. This intuitive formulation is general and has interesting theoretical properties. More importantly, this provides a new paradigm for solving constrained RL problems effectively. As we show in our experimental results, we are able to outperform leading approaches on multiple benchmark problems from literature.


title: The Donovan--Wemyss Conjecture via the Derived Auslander--Iyama Correspondence

abstract: We provide an outline of the proof of the Donovan--Wemyss Conjecture in the context of the Homological Minimal Model Program for threefolds. The proof relies on results of August, of Hua and the second-named author, Wemyss, and on the Derived Auslander--Iyama Correspondence -- a recent result by the first- and third-named authors.


title: On Orlicz classes defined in terms of associated weight functions

abstract: N-functions and their growth and regularity properties are crucial in order to introduce and study Orlicz classes and Orlicz spaces. We consider N-functions which are given in terms of so-called associated weight functions. These functions are frequently appearing in the theory of ultradifferentiable function classes and in this setting additional information is available since associated weight functions are defined in terms of a given weight sequence. We express and characterize several known properties for N-functions purely in terms of weight sequences which allows to construct (counter)-examples. Moreover, we study how for abstractly given N-functions this framework becomes meaningful and finally we establish a connection between the complementary N-function and the recently introduced notion of the so-called dual sequence.


title: Exact solutions of Maxwell equations in homogeneous spaces with group of motions $G_3(IX)$

abstract: The classification of exact solutions of Maxwell vacuum equations for the case when the electromagnetic fields and metrics of homogeneous spaces are invariant with respect to the motion group $G_3(IX)$ is done. All appropriate non-equivalent exact solutions of Maxwell vacuum equations are found.


title: ThoughtSource: A central hub for large language model reasoning data

abstract: Large language models (LLMs) such as GPT-4 have recently demonstrated impressive results across a wide range of tasks. LLMs are still limited, however, in that they frequently fail at complex reasoning, their reasoning processes are opaque, they are prone to 'hallucinate' facts, and there are concerns about their underlying biases. Letting models verbalize reasoning steps as natural language, a technique known as chain-of-thought prompting, has recently been proposed as a way to address some of these issues. Here we present ThoughtSource, a meta-dataset and software library for chain-of-thought (CoT) reasoning. The goal of ThoughtSource is to improve future artificial intelligence systems by facilitating qualitative understanding of CoTs, enabling empirical evaluations, and providing training data. This first release of ThoughtSource integrates seven scientific/medical, three general-domain and five math word question answering datasets.


title: MissBeamNet: Learning Missing Doppler Velocity Log Beam Measurements

abstract: One of the primary means of sea exploration is autonomous underwater vehicles (AUVs). To perform these tasks, AUVs must navigate the rough challenging sea environment. AUVs usually employ an inertial navigation system (INS), aided by a Doppler velocity log (DVL), to provide the required navigation accuracy. The DVL transmits four acoustic beams to the seafloor, and by measuring changes in the frequency of the returning beams, the DVL can estimate the AUV velocity vector. However, in practical scenarios, not all the beams are successfully reflected. When only three beams are available, the accuracy of the velocity vector is degraded. When fewer than three beams are reflected, the DVL cannot estimate the AUV velocity vector. This paper presents a data-driven approach, MissBeamNet, to regress the missing beams in partial DVL beam measurement cases. To that end, a deep neural network (DNN) model is designed to process the available beams along with past DVL measurements to regress the missing beams. The AUV velocity vector is estimated using the available measured and regressed beams. To validate the proposed approach, sea experiments were made with the "Snapir" AUV, resulting in an 11 hours dataset of DVL measurements. Our results show that the proposed system can accurately estimate velocity vectors in situations of missing beam measurements. Our dataset and codebase implementing the described framework is available at our GitHub repository https://github.com/ansfl/MissBeamNet .


title: Practical Sketching Algorithms for Low-Rank Tucker Approximation of Large Tensors

abstract: Low-rank approximation of tensors has been widely used in high-dimensional data analysis. It usually involves singular value decomposition (SVD) of large-scale matrices with high computational complexity. Sketching is an effective data compression and dimensionality reduction technique applied to the low-rank approximation of large matrices. This paper presents two practical randomized algorithms for low-rank Tucker approximation of large tensors based on sketching and power scheme, with a rigorous error-bound analysis. Numerical experiments on synthetic and real-world tensor data demonstrate the competitive performance of the proposed algorithms.


title: Unpolarized transverse-momentum dependent distribution functions of a quark in a pion with Minkowskian dynamics

abstract: The unpolarized twist-2 (leading) and twist-3 (subleading), T-even, transverse-momentum dependent quark distributions in the pion are evaluated for the first time by using the actual solution of a dynamical equation in Minkowski space. The adopted theoretical framework is based on the homogeneous Bethe-Salpeter integral equation with an interaction kernel given by a one-gluon exchange, featuring an extended quark-gluon vertex. The masses of quark and gluon as well as the interaction-vertex scale have been chosen in a range suggested by lattice-QCD calculations, and calibrated to reproduce both pion mass and decay constant. The sum rules to be fulfilled by the transverse-momentum dependent distributions are carefully investigated, particularly the leading-twist one, that has to match the collinear parton distribution function, and hence can be scrutinized in terms of existing data as well as theoretical predictions. Noteworthy, the joint use of the Fock expansion of the pion state facilitates a more in-depth analysis of the content of the pion Bethe-Salpeter amplitude, allowing for the first time to determine the gluon contribution to the quark average longitudinal fraction, that results to be $\sim 6\%$. The current analysis highlights the role of the gluon exchanges through quantitative analysis of collinear and transverse-momentum distributions, showing, e.g. for both leading and subleading-twists, an early departure from the widely adopted exponential fall-off, for $|k_\perp|^2 > m^2$, with the quark mass $\sim \Lambda_{QCD}$.


title: Creative beyond TikToks: Investigating Adolescents' Social Privacy Management on TikTok

abstract: TikTok has been criticized for its low privacy standards, but little is known about how its adolescent users protect their privacy. Based on interviews with 54 adolescents in Switzerland, this study provides a comprehensive understanding of young TikTok users' privacy management practices related to the creation of videos. The data were explored using the COM-B model, an established behavioral analysis framework adapted for sociotechnical privacy research. Our overall findings are in line with previous research on other social networks: adolescents are aware of privacy related to their online social connections (social privacy) and perform conscious privacy management. However, we also identified new patterns related to the central role of algorithmic recommendations potentially relevant for other social networks. Adolescents are aware that TikTok's special algorithm, combined with the app's high prevalence among their peers, could easily put them in the spotlight. Some adolescents also reduce TikTok, which was originally conceived as a social network, to its extensive audio-visual capabilities and share TikToks via more private channels (e.g., Snapchat) to manage audiences and avoid identification by peers. Young users also find other creative ways to protect their privacy such as identifying stalkers or maintaining multiple user accounts with different privacy settings to establish granular audience management. Based on our findings, we propose various concrete measures to develop interventions that protect the privacy of adolescents on TikTok.


title: Improved Differential-neural Cryptanalysis for Round-reduced Simeck32/64

abstract: In CRYPTO 2019, Gohr presented differential-neural cryptanalysis by building the differential distinguisher with a neural network, achieving practical 11-, and 12-round key recovery attack for Speck32/64. Inspired by this framework, we develop the Inception neural network that is compatible with the round function of Simeck to improve the accuracy of the neural distinguishers, thus improving the accuracy of (9-12)-round neural distinguishers for Simeck32/64. To provide solid baselines for neural distinguishers, we compute the full distribution of differences induced by one specific input difference up to 13-round Simeck32/64. Moreover, the performance of the DDT-based distinguishers in multiple ciphertext pairs is evaluated. Compared with the DDT-based distinguishers, the 9-, and 10-round neural distinguishers achieve better accuracy. Also, an in-depth analysis of the wrong key response profile revealed that the 12-th and 13-th bits of the subkey have little effect on the score of the neural distinguisher, thereby accelerating key recovery attacks. Finally, an enhanced 15-round and the first practical 16-, and 17-round attacks are implemented for Simeck32/64, and the success rate of both the 15-, and 16-round attacks is almost 100%.


title: Laplacian polytopes of simplicial complexes

abstract: Given a (finite) simplicial complex, we define its $i$-th Laplacian polytope as the convex hull of the columns of its $i$-th Laplacian matrix. This extends Laplacian simplices of finite simple graphs, as introduced by Braun and Meyer. After studying basic properties of these polytopes, we focus on the $d$-th Laplacian polytope of the boundary of a $(d+1)$-simplex $\partial(\sigma_{d+1})$. If $d$ is odd, then as for graphs, the $d$-th Laplacian polytope turns out to be a $(d+1)$-simplex in this case. If $d$ is even, we show that the $d$-th Laplacian polytope of $\partial(\sigma_{d+1})$ is combinatorially equivalent to a $d$-dimensional cyclic polytope on $d+2$ vertices. Moreover, we provide an explicit regular unimodular triangulation for the $d$-th Laplacian polytope of $\partial(\sigma_{d+1})$. This enables us to to compute the normalized volume and to show that the $h^\ast$-polynomial is real-rooted and unimodal, if $d$ is odd and even, respectively.


title: Asymmetrical plasmon distribution in hybrid AuAg hollow/solid coded nanotubes

abstract: Morphological control at the nanoscale paves the way to fabricate nanostructures with desired plasmonic properties. We report the nanoengineering of plasmon resonances in 1D hollow nanostructures of two different AuAg nanotubes; completely hollow nanotubes and hybrid nanotubes comprising solid Ag and hollow AuAg segments. Spatially resolved plasmon mapping by electron energy loss spectroscopy (EELS) revealed the presence of high order resonator-like modes and localized surface plasmon resonance (LSPR) modes in both nanotubes. Experimental findings are accurately correlated with boundary element method (BEM) simulations, where both experiments and simulations revealed that the plasmon resonances are intensely present inside the nanotubes due to plasmon hybridization. Based on the experimental and simulated results reported, we show that the novel hybrid AuAg nanotubes possess two significant coexisting features: (i) LSPRs have been generated distinctively from the hollow and solid parts of the hybrid AuAg nanotube, which opens the way to control a broad range of plasmon resonances with one single nanostructure and (ii) the periodicity of the high-order modes are disrupted due to the plasmon hybridization by the interaction of solid and hollow parts, resulting in an asymmetrical plasmon distribution in 1D nanostructures. The asymmetry could be modulated/engineered leading to control coded plasmonic nanotubes.


title: A critical look at deep neural network for dynamic system modeling

abstract: Neural network models become increasingly popular as dynamic modeling tools in the control community. They have many appealing features including nonlinear structures, being able to approximate any functions. While most researchers hold optimistic attitudes towards such models, this paper questions the capability of (deep) neural networks for the modeling of dynamic systems using input-output data. For the identification of linear time-invariant (LTI) dynamic systems, two representative neural network models, Long Short-Term Memory (LSTM) and Cascade Foward Neural Network (CFNN) are compared to the standard Prediction Error Method (PEM) of system identification. In the comparison, four essential aspects of system identification are considered, then several possible defects and neglected issues of neural network based modeling are pointed out. Detailed simulation studies are performed to verify these defects: for the LTI system, both LSTM and CFNN fail to deliver consistent models even in noise-free cases; and they give worse results than PEM in noisy cases.


title: Search for flavor-changing neutral-current couplings between the top quark and the $Z$ boson with proton-proton collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search for flavor-changing neutral-current couplings between a top quark, an up or charm quark and a $Z$ boson is presented, using proton-proton collision data at $\sqrt{s} = 13$ TeV collected by the ATLAS detector at the Large Hadron Collider. The analyzed dataset corresponds to an integrated luminosity of 139 fb$^{-1}$. The search targets both single-top-quark events produced as $gq\rightarrow tZ$ (with $q = u, c$) and top-quark-pair events, with one top quark decaying through the $t \rightarrow Zq$ channel. The analysis considers events with three leptons (electrons or muons), a $b$-tagged jet, possible additional jets, and missing transverse momentum. The data are found to be consistent with the background-only hypothesis and 95% confidence-level limits on the $t \rightarrow Zq$ branching ratios are set, assuming only tensor operators of the Standard Model effective field theory framework contribute to the $tZq$ vertices. These are $6.2 \times 10^{-5}$ ($13\times 10^{-5}$) for $t\rightarrow Zu$ ($t\rightarrow Zc$) for a left-handed $tZq$ coupling, and $6.6 \times 10^{-5}$ ($12\times 10^{-5}$) in the case of a right-handed coupling. These results are interpreted as 95% CL upper limits on the strength of corresponding couplings, yielding limits for $|C_{uW}^{(13)*}|$ and $|C_{uB}^{(13)*}|$ ($|C_{uW}^{(31)}|$ and $|C_{uB}^{(31)}|$) of 0.15 (0.16), and limits for $|C_{uW}^{(23)*}|$ and $|C_{uB}^{(23)*}|$ ($|C_{uW}^{(32)}|$ and $|C_{uB}^{(32)}|$) of 0.22 (0.21), assuming a new-physics energy scale $\Lambda_\text{NP}$ of 1 TeV.


title: Reciprocity laws for $(\varphi_L,\Gamma_L)$-modules over Lubin-Tate extensions

abstract: In the Lubin-Tate setting we study pairings for analytic $(\varphi_L,\Gamma_L)$-modules and prove an abstract reciprocity law which then implies a relation between the analogue of Perrin-Riou's Big Exponential map as developed by Berger and Fourquaux and a $p$-adic regulator map whose construction relies on the theory of Kisin-Ren modules generalising the concept of Wach modules to the Lubin-Tate situation.


title: Work flux and efficiency at maximum power of a triply squeezed engine

abstract: We explore the effects of quantum mechanical squeezing on the nonequilibrium thermodynamics of a coherent heat engine with squeezed reservoirs coupled to a squeezed cavity. We observe that the standard known phenomenon of flux-optimization beyond the classical limit with respect to quantum coherence is destroyed in presence of squeezing. Under extreme nonequilibrium conditions, the flux is rendered independent of squeezing. The efficiency at maximum power (EMP) obtained by optimizing the cavity's squeezing parameter is greater than what was predicted by Curzon and Ahlborn even in the absence of reservoir squeezing. The EMP with respect to the either of reservoirs' squeezing parameters is surprisingly equal and linear in $\eta_C$ with a slope unequal to the universally accepted slope, 1/2. The slope is found to be proportional to the dissipation into the cavity mode and an intercept equal to a specific numerical value of the engine's efficiency.


title: A Multi-View Joint Learning Framework for Embedding Clinical Codes and Text Using Graph Neural Networks

abstract: Learning to represent free text is a core task in many clinical machine learning (ML) applications, as clinical text contains observations and plans not otherwise available for inference. State-of-the-art methods use large language models developed with immense computational resources and training data; however, applying these models is challenging because of the highly varying syntax and vocabulary in clinical free text. Structured information such as International Classification of Disease (ICD) codes often succinctly abstracts the most important facts of a clinical encounter and yields good performance, but is often not as available as clinical text in real-world scenarios. We propose a \textbf{multi-view learning framework} that jointly learns from codes and text to combine the availability and forward-looking nature of text and better performance of ICD codes. The learned text embeddings can be used as inputs to predictive algorithms independent of the ICD codes during inference. Our approach uses a Graph Neural Network (GNN) to process ICD codes, and Bi-LSTM to process text. We apply Deep Canonical Correlation Analysis (DCCA) to enforce the two views to learn a similar representation of each patient. In experiments using planned surgical procedure text, our model outperforms BERT models fine-tuned to clinical data, and in experiments using diverse text in MIMIC-III, our model is competitive to a fine-tuned BERT at a tiny fraction of its computational effort.


title: Electrostatic Repulsion of Dust from Planetary Surfaces

abstract: Surfaces of planetary bodies can have strong electric fields, subjecting conductive grains to repulsive electrostatic forces. This has been proposed as mechanism to eject grains from the ground. To quantify this process, we study mm-sized basalt aggregates consisting of micrometer constituents exposed to an electric field in drop tower experiments. The dust aggregates acquire high charges on sub-second timescales while sticking to the electrodes according to the field polarity. Charging at the electrodes results in a repulsive (lifting) force and continues until repulsion overcomes adhesion and particles are lifted, moving towards the opposite electrode. Some aggregates remain attached, which is consistent with a maximum charge limit being reached, providing an electrostatic force too small to counteract adhesion. All observations are in agreement with a model of moderately conductive grains with a small but varying number of adhesive contacts to the electrodes. This supports the idea that on planetary surfaces with atmospheres, electrostatic repulsion can significantly contribute to airborne dust and sand, i.e. decrease the threshold wind speed that is required for saltation and increase the particle flux as suggested before.


title: Eigenvalues of the QCD Dirac matrix with improved staggered quarks in the continuum limit

abstract: We calculate the eigenmodes of the Highly Improved Staggered Quark (HISQ) matrix near the chiral crossover transition in QCD with $2+1$ flavors with the aim to gain more insights into its temperature dependence. On performing the continuum extrapolation, we do not observe any gap opening up in the infrared part of the eigenvalue density of the QCD Dirac operator; instead we observe a peak. The existence of the peak and oscillations of the infrared eigenmodes can be understood in terms of an interacting ensemble of instantons. From the properties of the continuum extrapolated eigenspectrum we further show that the anomalous $U_A(1)$ part of the chiral symmetry is not effectively restored simultaneously along with its non-singlet counterpart. We provide an explanation for this observation, further showing interesting connections between the anomalous $U_A(1)$ restoration and the change in the infrared part of the eigenvalue distribution.


title: Influence of Information Blocking on the Spread of Virus in Multilayer Networks

abstract: In this paper, we present the model of the interaction between the spread of disease and the spread of information about the disease in multilayer networks. Next, based on the characteristics of the SARS-COV-2 virus pandemic, we evaluated the influence of information blocking on the virus spread. Our results show that blocking the spread of information affects the speed at which the epidemic peak appears in our society and the number of infected individuals.


title: A neural network potential with self-trained atomic fingerprints: a test with the mW water potential

abstract: We present a neural network (NN) potential based on a new set of atomic fingerprints built upon two- and three-body contributions that probe distances and local orientational order respectively. Compared to existing NN potentials, the atomic fingerprints depend on a small set of tuneable parameters which are trained together with the neural network weights. To tackle the simultaneous training of the atomic fingerprint parameters and neural network weights we adopt an annealing protocol that progressively cycles the learning rate, significantly improving the accuracy of the NN potential. We test the performance of the network potential against the mW model of water, which is a classical three-body potential that well captures the anomalies of the liquid phase. Trained on just three state points, the NN potential is able to reproduce the mW model in a very wide range of densities and temperatures, from negative pressures to several GPa, capturing the transition from an open random tetrahedral network to a dense interpenetrated network. The NN potential also reproduces very well properties for which it was not explicitly trained, such as dynamical properties and the structure of the stable crystalline phases of mW.


title: Broadband three-mode converter and multiplexer based on cascaded symmetric Y-junctions and subwavelength engineered MMI and phase shifters

abstract: Mode-division multiplexing has emerged as a promising route for increasing transmission capacity while maintaining the same level of on-chip integration. Despite the large number of on-chip mode converters and multiplexers reported for the silicon-on-insulator platform, scaling the number of multiplexed modes is still a critical challenge. In this paper, we present a novel three-mode architecture based on multimode interference couplers, passive phase shifters and cascaded symmetric Y-junctions. This architecture can readily operate up to the third-order mode by including a single switchable phase shifter. Moreover, we exploit subwavelength grating metamaterials to overcome bandwidth limitations of multimode interference couplers and phase shifters, resulting in a simulated bandwidth of 161 nm with insertion loss and crosstalk below 1.18 dB and -20 dB, respectively.


title: Non-Abelian Anyons and Non-Abelian Vortices in Topological Superconductors

abstract: Anyons are particles obeying statistics of neither bosons nor fermions. Non-Abelian anyons, whose exchanges are described by a non-Abelian group acting on a set of wave functions, are attracting a great attention because of possible applications to topological quantum computations. Braiding of non-Abelian anyons corresponds to quantum computations. The simplest non-Abelian anyons are Ising anyons which can be realized by Majorana fermions hosted by vortices or edges of topological superconductors, $\nu =5/2$ quantum Hall states, spin liquids, and dense quark matter. While Ising anyons are insufficient for universal quantum computations, Fibonacci anyons present in $\nu =12/5$ quantum Hall states can be used for universal quantum computations. Yang-Lee anyons are non-unitary counterparts of Fibonacci anyons. Another possibility of non-Abelian anyons (of bosonic origin) is given by vortex anyons, which are constructed from non-Abelian vortices supported by a non-Abelian first homotopy group, relevant for certain nematic liquid crystals, superfluid $^3$He, spinor Bose-Einstein condensates, and high density quark matter. Finally, there is a unique system admitting two types of non-Abelian anyons, Majorana fermions (Ising anyons) and non-Abelian vortex anyons. That is $^3P_2$ superfluids (spin-triplet, $p$-wave paring of neutrons), expected to exist in neutron star interiors as the largest topological quantum matter in our universe.

categories: cond-mat.supr-con cond-mat.mes-hall hep-ph hep-th nucl-th


title: Decompositions into two linear forests of bounded lengths

abstract: For some $k \in \mathbb{Z}_{\geq 0}\cup \infty$, we call a linear forest $k$-bounded if each of its components has at most $k$ edges. We will say a $(k,\ell)$-bounded linear forest decomposition of a graph $G$ is a partition of $E(G)$ into the edge sets of two linear forests $F_k,F_\ell$ where $F_k$ is $k$-bounded and $F_\ell$ is $\ell$-bounded. We show that the problem of deciding whether a given graph has such a decomposition is NP-complete if both $k$ and $\ell$ are at least $2$, NP-complete if $k\geq 9$ and $\ell =1$, and is in P for $(k,\ell)=(2,1)$. Before this, the only known NP-complete cases were the $(2,2)$ and $(3,3)$ cases. Our hardness result answers a question of Bermond et al. from 1984. We also show that planar graphs of girth at least nine decompose into a linear forest and a matching, which in particular is stronger than $3$-edge-colouring such graphs.


title: Towards Concrete and Connected AI Risk Assessment (C$^2$AIRA): A Systematic Mapping Study

abstract: The rapid development of artificial intelligence (AI) has led to increasing concerns about the capability of AI systems to make decisions and behave responsibly. Responsible AI (RAI) refers to the development and use of AI systems that benefit humans, society, and the environment while minimising the risk of negative consequences. To ensure responsible AI, the risks associated with AI systems' development and use must be identified, assessed and mitigated. Various AI risk assessment frameworks have been released recently by governments, organisations, and companies. However, it can be challenging for AI stakeholders to have a clear picture of the available frameworks and determine the most suitable ones for a specific context. Additionally, there is a need to identify areas that require further research or development of new frameworks, as well as updating and maintaining existing ones. To fill the gap, we present a mapping study of 16 existing AI risk assessment frameworks from the industry, governments, and non-government organizations (NGOs). We identify key characteristics of each framework and analyse them in terms of RAI principles, stakeholders, system lifecycle stages, geographical locations, targeted domains, and assessment methods. Our study provides a comprehensive analysis of the current state of the frameworks and highlights areas of convergence and divergence among them. We also identify the deficiencies in existing frameworks and outlines the essential characteristics of a concrete and connected framework AI risk assessment (C$^2$AIRA) framework. Our findings and insights can help relevant stakeholders choose suitable AI risk assessment frameworks and guide the design of future frameworks towards concreteness and connectedness.


title: Compairing categories of Lubin-Tate $(\varphi_L,\Gamma_L)$-modules

abstract: In the Lubin-Tate setting we compare different categories of $(\varphi_L,\Gamma_L)$-modules over various perfect or imperfect coefficient rings. Moreover, we study their associated Herr-complexes. Finally, we show that a Lubin Tate extension gives rise to a weakly decompleting, but not decompleting tower in the sense of Kedlaya and Liu.


title: Five ways to recover the symbol of a non-binary localization operator

abstract: Five constructive methods for recovering the symbol of a time-frequency localization operator with non-binary symbol are presented, two based on earlier work and three novel methods. For the two derivative methods which have previously been applied to binary symbols, we propose a changed symbol estimator and provide additional estimates that show how we can recover non-binary symbols. The three novel methods each have their own advantages and are all applicable to non-binary symbols. Two of them rely on prescribing the input of the localization operator and examining the output, allowing for targeting of the part of the symbol one wishes to recover while the last one relies on spectral information about the operator. All five methods are also implemented numerically and evaluated with the code available.


title: Analysis of a subsolar-mass compact binary candidate from the second observing run of Advanced LIGO

abstract: We perform an exhaustive follow-up analysis of a subsolar-mass (SSM) gravitational wave (GW) candidate reported by Phukon et al. from the second observing run of Advanced LIGO. This candidate has a reported signal-to-noise ratio (SNR) of $8.6$ and false alarm rate of $0.41$ yr which are too low to claim a clear gravitational-wave origin. When improving on the search by using more accurate waveforms, extending the frequency range from 45 Hz down to 20 Hz, and removing a prominent blip glitch, we find that the posterior distribution of the network SNR lies mostly below the search value, with the $90\%$ confidence interval being $7.94^{+0.70}_{-1.05}$. Assuming that the origin of the signal is a compact binary coalescence (CBC), the secondary component is $m_2 = \text{$0.76^{+0.50}_{-0.14}$} M_\odot$, with $m_2 < 1 M_\odot$ at $84\%$ confidence level, suggesting an unexpectedly light neutron star or a black hole of primordial or exotic origin. The primary mass would be $m_1 = \text{$4.71^{+1.57}_{-2.18}$} M_\odot$, likely in the hypothesized lower mass gap and the luminosity distance is measured to be $D_{\rm L}=124^{+82}_{-48}$Mpc. We then probe the CBC origin hypothesis by performing the signal coherence tests, obtaining a log Bayes factor of $4.96 \pm 0.13$ for the coherent vs. incoherent hypothesis. We demonstrate the capability of performing a parameter estimation follow-up on real data for an SSM candidate with moderate SNR. The improved sensitivity of O4 and subsequent LIGO-Virgo-KAGRA observing runs could make it possible to observe similar signals, if present, with a higher SNR and a more precise measurement of the parameters of the binary.


title: Optimization of a Commercial Injection-Moulded component by Using DOE and Simulation

abstract: Injection moulding is an important industry, providing a significant percentage of the demand for plastic products throughout the world. The process consists of many variables which directly or indirectly influence the part quality and cycle time. The first step in optimizing the process parameters is identifying the most significant variables affecting the desired output. For this purpose, various Design of Experiments methods (DOE) have been developed to investigate the effect of the experimental variables on the output and predict the required settings to achieve the optimal value of the output. In this study we investigate the application of DOE for a commercial injection moulded component which suffers from a long cycle time and high shrinkage. The Taguchi method has been used to analyze the effect of four input variables on the two output variables: cycle time and shrinkage. The component has been simulated in the Moldflow software to validate the predicted output and optimized settings of the variables from the DOE. A comparison of the simulation result and the predicted value from the DOE illustrated good accordance. The calculated optimal setting with the Taguchi method reduced the cycle time from the 40s to about 23s and met the shrinkage criteria for this commercial part.


title: Event Causality Extraction with Event Argument Correlations

abstract: Event Causality Identification (ECI), which aims to detect whether a causality relation exists between two given textual events, is an important task for event causality understanding. However, the ECI task ignores crucial event structure and cause-effect causality component information, making it struggle for downstream applications. In this paper, we explore a novel task, namely Event Causality Extraction (ECE), aiming to extract the cause-effect event causality pairs with their structured event information from plain texts. The ECE task is more challenging since each event can contain multiple event arguments, posing fine-grained correlations between events to decide the causeeffect event pair. Hence, we propose a method with a dual grid tagging scheme to capture the intra- and inter-event argument correlations for ECE. Further, we devise a event type-enhanced model architecture to realize the dual grid tagging scheme. Experiments demonstrate the effectiveness of our method, and extensive analyses point out several future directions for ECE.


title: Darboux transformations for Dunkl-Schroedinger equations with energy dependent potential and position dependent mass

abstract: We construct arbitrary-order Darboux transformations for Schroedinger equations with energy-dependent potential and position-dependent mass within the Dunkl formalism. Our construction is based on a point transformation that interrelates our equations with the standard Schroedinger case. We apply our method to generate several solvable Dunkl-Schroedinger equations.


title: Higher-Order Patterns Reveal Causal Timescales of Complex Systems

abstract: The analysis of temporal networks heavily depends on the analysis of time-respecting paths. However, before being able to model and analyze the time-respecting paths, we have to infer the timescales at which the temporal edges influence each other. In this work we introduce temporal path entropy, an information theoretic measure of temporal networks, with the aim to detect the timescales at which the causal influences occur in temporal networks. The measure can be used on temporal networks as a whole, or separately for each node. We find that the temporal path entropy has a non-trivial dependency on the causal timescales of synthetic and empirical temporal networks. Furthermore, we notice in both synthetic and empirical data that the temporal path entropy tends to decrease at timescales that correspond to the causal interactions. Our results imply that timescales relevant for the dynamics of complex systems can be detected in the temporal networks themselves, by measuring temporal path entropy. This is crucial for the analysis of temporal networks where inherent timescales are unavailable and hard to measure.


title: Neural Wasserstein Gradient Flows for Maximum Mean Discrepancies with Riesz Kernels

abstract: Wasserstein gradient flows of maximum mean discrepancy (MMD) functionals with non-smooth Riesz kernels show a rich structure as singular measures can become absolutely continuous ones and conversely. In this paper we contribute to the understanding of such flows. We propose to approximate the backward scheme of Jordan, Kinderlehrer and Otto for computing such Wasserstein gradient flows as well as a forward scheme for so-called Wasserstein steepest descent flows by neural networks (NNs). Since we cannot restrict ourselves to absolutely continuous measures, we have to deal with transport plans and velocity plans instead of usual transport maps and velocity fields. Indeed, we approximate the disintegration of both plans by generative NNs which are learned with respect to appropriate loss functions. In order to evaluate the quality of both neural schemes, we benchmark them on the interaction energy. Here we provide analytic formulas for Wasserstein schemes starting at a Dirac measure and show their convergence as the time step size tends to zero. Finally, we illustrate our neural MMD flows by numerical examples.


title: Some definite integrals arising from selfdecomposable characteristic functions

abstract: In the probability theory \emph{selfdecomposable, or class $L_0$ distributions} play an important role as they are limiting distributions of normalized partial sums of sequences of independent, not necessarily identically distributed, random variables. The class $L_0$ is quite large and includes many known classical distributions and statistics. For this note the most important feature of the selfdecomposable variables are their random integral representation with respect to L\'evy process. From those random integral representation we get equality of logarithms of some characteristic functions. These allows us to get formulas for some definite integrals, some of them probably were unknown before.


title: Electric field control of RKKY coupling through solid-state ionics

abstract: Placing a suitable spacer layer between two magnetic layers can lead to an interaction between the magnetic layers known as Ruderman-Kittel-Kasuya-Yosida (RKKY) coupling. Controlling RKKY coupling, particularly the ability to switch between ferromagnetic and antiferromagnetic coupling, would enable novel magnetic data storage devices. By combining solid-state Li ion battery technology with an out-of-plane magnetized Co/Pt-based stack coupled through a Ru interlayer we investigate the effects of the insertion of Li ions on the magnetic properties of the stack. The RKKY coupling and its voltage dependence is measured as a function of the Ru interlayer thickness, along with the effects of repeated voltage cycling. The Li ions both change the amplitude of the RKKY coupling and its phase, leading to the ability to switch the RKKY coupling between ferromagnetic and antiferromagnetic with applied voltages.


title: Quantum information entropy of heavy mesons in the presence of a point-like defect

abstract: Using Schr\"{o}dinger's formalism, we investigate the quantum eigenstates of the heavy mesons trapped by a point-like defect and by Cornell's potential. One implements this defect to the model considering a spherical metric profile coupled to it. Furthermore, the Nikiforov-Uvarov method is applied to theory to study the quantum eigenstates of the heavy mesons. To calculate the quantum information entropy (QIE), one considers the wave functions that describe the charmonium and bottomonium states. To explore the QIE, we use the well-known Shannon's entropy formulated at the position and reciprocal space. The analysis of the QIE gives us relevant information about how the quantum information change with the variation of the point-like defect. Consequently, considering the Bialynicki-Birula and Mycielski (BBM) relation, we show how this defect influences the quarkonium position and momentum uncertainty measures.


title: Spectroscopic and interferometric signatures of magnetospheric accretion in young stars

abstract: Methods. We use the code MCFOST to solve the non-LTE problem of line formation in non-axisymmetric accreting magnetospheres. We compute the Br{\gamma} line profile originating from accretion columns for models with different magnetic obliquities. We also derive monochromatic synthetic images of the Br{\gamma} line emitting region across the line profile. This spectral line is a prime diagnostics of magnetospheric accretion in young stars and is accessible with the long baseline near-infrared interferometer GRAVITY installed at the ESO Very Large Telescope Interferometer. Results. We derive Br{\gamma} line profiles as a function of rotational phase and compute interferometric observables, visibilities and phases, from synthetic images. The line profile shape is modulated along the rotational cycle, exhibiting inverse P Cygni profiles at the time the accretion shock faces the observer. The size of the line's emission region decreases as the magnetic obliquity increases, which is reflected in a lower line flux. We apply interferometric models to the synthetic visibilities in order to derive the size of the line-emitting region. We find the derived interferometric size to be more compact than the actual size of the magnetosphere, ranging from 50 to 90\% of the truncation radius. Additionally, we show that the rotation of the non-axisymmetric magnetosphere is recovered from the rotational modulation of the Br{\gamma}-to-continuum photo-centre shifts, as measured by the differential phase of interferometric visibilities.


title: A Donaldson-Thomas crepant resolution conjecture on Calabi-Yau 4-folds

abstract: Let $G$ be a finite subgroup of $\mathrm{SU}(4)$ whose elements have age not larger than one. In the first part of this paper, we define $K$-theoretic stable pair invariants on the crepant resolution of the affine quotient $\mathbb{C}^4/G$, and conjecture closed formulae for their generating series, expressed in terms of the root system of $G$. In the second part, we define degree zero Donaldson-Thomas invariants of Calabi-Yau 4-orbifolds, develop a vertex formalism that computes the invariants in the toric case and conjecture closed formulae for the quotient stacks $[\mathbb{C}^4/\mathbb{Z}_r]$, $[\mathbb{C}^4/\mathbb{Z}_2\times \mathbb{Z}_2]$. Combining these two parts, we formulate a crepant resolution correspondence which relates the above two theories.


title: Joint Geometry and Attribute Upsampling of Point Clouds Using Frequency-Selective Models with Overlapped Support

abstract: With the increasing demand of capturing our environment in three-dimensions for AR/ VR applications and autonomous driving among others, the importance of high-resolution point clouds rises. As the capturing process is a complex task, point cloud upsampling is often desired. We propose Frequency-Selective Upsampling (FSU), an upsampling scheme that upsamples geometry and attribute information of point clouds jointly in a sequential manner with overlapped support areas. The point cloud is partitioned into blocks with overlapping support area first. Then, a continuous frequency model is generated that estimates the point cloud's surface locally. The model is sampled at new positions for upsampling. In a subsequent step, another frequency model is created that models the attribute signal. Here, knowledge from the geometry upsampling is exploited for a simplified projection of the points in two dimensions. The attribute model is evaluated for the upsampled geometry positions. In our extensive evaluation, we evaluate geometry and attribute upsampling independently and show joint results. The geometry results show best performances for our proposed FSU in terms of point-to-plane error and plane-to-plane angular similarity. Moreover, FSU outperforms other color upsampling schemes by 1.9 dB in terms of color PSNR. In addition, the visual appearance of the point clouds clearly increases with FSU.


title: HyperNeRFGAN: Hypernetwork approach to 3D NeRF GAN

abstract: Recently, generative models for 3D objects are gaining much popularity in VR and augmented reality applications. Training such models using standard 3D representations, like voxels or point clouds, is challenging and requires complex tools for proper color rendering. In order to overcome this limitation, Neural Radiance Fields (NeRFs) offer a state-of-the-art quality in synthesizing novel views of complex 3D scenes from a small subset of 2D images. In the paper, we propose a generative model called HyperNeRFGAN, which uses hypernetworks paradigm to produce 3D objects represented by NeRF. Our GAN architecture leverages a hypernetwork paradigm to transfer gaussian noise into weights of NeRF model. The model is further used to render 2D novel views, and a classical 2D discriminator is utilized for training the entire GAN-based structure. Our architecture produces 2D images, but we use 3D-aware NeRF representation, which forces the model to produce correct 3D objects. The advantage of the model over existing approaches is that it produces a dedicated NeRF representation for the object without sharing some global parameters of the rendering component. We show the superiority of our approach compared to reference baselines on three challenging datasets from various domains.


title: Turing Machines Equipped with CTC in Physical Universes

abstract: We study the paradoxical aspects of closed time-like curves and their impact on the theory of computation. After introducing the $\text{TM}_\text{CTC}$, a classical Turing machine benefiting CTCs for backward time travel, Aaronson et al. proved that $\text{P} = \text{PSPACE}$ and the $\Delta_2$ sets, such as the halting problem, are computable within this computational model. Our critical view is the physical consistency of this model, which leads to proposing the strong axiom, explaining that every particle rounding on a CTC will be destroyed before returning to its starting time, and the weak axiom, describing the same notion, particularly for Turing machines. We claim that in a universe containing CTCs, the two axioms must be true; otherwise, there will be an infinite number of any particle rounding on a CTC in the universe. An immediate result of the weak axiom is the incapability of Turing machines to convey information for a full round on a CTC, leading to the proposed $\text{TM}_\text{CTC}$ programs for the aforementioned corollaries failing to function. We suggest our solution for this problem as the data transferring hypothesis, which applies another $\text{TM}_\text{CTC}$ as a means for storing data. A prerequisite for it is the existence of the concept of Turing machines throughout time, which makes it appear infeasible in our universe. Then, we discuss possible physical conditions that can be held for a universe containing CTCs and conclude that if returning to an approximately equivalent universe by a CTC was conceivable, the above corollaries would be valid.


title: A quantum interferometer for quartets in superconducting three-terminal Josephson junctions

abstract: An interferometric device is proposed in order to analyze the quartet mode in biased three-terminal Josephson junctions (TTJs), and to provide experimental evidence for emergence of a single stationary phase, the so-called quartet phase. In such a quartet-Superconducting Quantum Interference Device (quartet-SQUID), the flux sensitivity exhibits period ${hc}/{4e}$, which is the fingerprint of a transient intermediate state involving two entangled Cooper pairs. The quartet-SQUID provides two informations: an amplitude that measures a total ``quartet critical current'', and a phase lapse coming from the superposition of the following two current components: the quartet supercurrent that is odd in the quartet phase, and the phase-sensitive multiple Andreev reflection (phase-MAR) quasiparticle current, that is even in the quartet phase. This makes a TTJ a generically "$\theta$-junction". Evidence for phase-MARs plays against conservative scenarii involving synchronization of AC Josephson currents, based on ``adiabatic'' phase dynamics and RSJ-like models.


title: On Bisimilarity for Quasi-discrete Closure Spaces

abstract: Closure spaces, a generalisation of topological spaces, have shown to be a convenient theoretical framework for spatial model checking. The closure operator of closure spaces and quasi-discrete closure spaces induces a notion of neighborhood akin to that of topological spaces that build on open sets. For closure models and quasi-discrete closure models, in this paper we present three notions of bisimilarity that are logically characterised by corresponding modal logics with spatial modalities: (i) CM-bisimilarity for closure models (CMs) is shown to generalise Topo-bisimilarity for topological models. CM-bisimilarity corresponds to equivalence with respect to the infinitary modal logic IML that includes the modality ${\cal N}$ for ``being near''. (ii) CMC-bisimilarity, with `CMC' standing for CM-bisimilarity with converse, refines CM-bisimilarity for quasi-discrete closure spaces, carriers of quasi-discrete closure models. Quasi-discrete closure models come equipped with two closure operators, Direct ${\cal C}$ and Converse ${\cal C}$, stemming from the binary relation underlying closure and its converse. CMC-bisimilarity, is captured by the infinitary modal logic IMLC including two modalities, Direct ${\cal N}$ and Converse ${\cal N}$, corresponding to the two closure operators. (iii) CoPa-bisimilarity on quasi-discrete closure models, which is weaker than CMC-bisimilarity, is based on the notion of compatible paths. The logical counterpart of CoPa-bisimilarity is the infinitary modal logic ICRL with modalities Direct $\zeta$ and Converse $\zeta$, whose semantics relies on forward and backward paths, respectively. It is shown that CoPa-bisimilarity for quasi-discrete closure models relates to divergence-blind stuttering equivalence for Kripke structures.


title: A tape-peeling model for spatiotemporal pattern formation by deformed adhesives

abstract: We propose a new model for pattern formation in peeling of an adhesive tape based on the equation of motion for the displacement of deformed adhesives in the peel front. The spatiotemporal patterns obtained from the model are consistent with those from previous models and experiments. Moreover, dynamical and statistical properties of the patterns are investigated.


title: Chern-Ricci flat balanced metrics on small resolutions of Calabi-Yau threefolds

abstract: Given a (smoothable) projective nodal K\"ahler Calabi-Yau threefold, we show, via a gluing construction, that all its - possibly non-K\"ahler - small resolutions admit Chern-Ricci flat balanced metrics, which among other things solve the dilatino equation appearing in the Hull-Strominger system.


title: Quantum Fluctuation of the Quantum Geometric Tensor and its Manifestation as Intrinsic Hall Signatures in Time-Reversal Invariant Systems

abstract: In time-reversal invariant systems, all charge Hall effects predicted so far are extrinsic effects due to the dependence on the relaxation time. We explore intrinsic Hall signatures by studying quantum noise spectrum of the Hall current in time-reversal invariant systems, and discover intrinsic thermal Hall noises in both linear and nonlinear regimes. As the band geometric characteristics, quantum geometric tensor and Berry curvature play critical roles in various Hall effects, so are their quantum fluctuations. It is found that the thermal Hall noise in linear order of the electric field is purely intrinsic, and the second-order thermal Hall noise has both intrinsic and extrinsic contributions. In particular, the intrinsic part of the second-order thermal Hall noise is a manifestation of the quantum fluctuation of quantum geometric tensor, which widely exists as long as Berry curvature is nonzero. These intrinsic thermal Hall noises provide direct measurable means to band geometric information, including Berry curvature related quantities and quantum fluctuation of quantum geometric tensor.


title: One-dimensional integral Rellich type inequalities

abstract: The motive of this note is twofold. Inspired by the recent development of a new kind of Hardy inequality, here we discuss the corresponding Hardy-Rellich and Rellich inequality versions in the integral form. The obtained sharp Hardy-Rellich type inequality improves the previously known result. Meanwhile, the established sharp Rellich type integral inequality seems new.