title: Deep neural network expressivity for optimal stopping problems

abstract: This article studies deep neural network expression rates for optimal stopping problems of discrete-time Markov processes on high-dimensional state spaces. A general framework is established in which the value function and continuation value of an optimal stopping problem can be approximated with error at most $\varepsilon$ by a deep ReLU neural network of size at most $\kappa d^{\mathfrak{q}} \varepsilon^{-\mathfrak{r}}$. The constants $\kappa,\mathfrak{q},\mathfrak{r} \geq 0$ do not depend on the dimension $d$ of the state space or the approximation accuracy $\varepsilon$. This proves that deep neural networks do not suffer from the curse of dimensionality when employed to solve optimal stopping problems. The framework covers, for example, exponential L\'evy models, discrete diffusion processes and their running minima and maxima. These results mathematically justify the use of deep neural networks for numerically solving optimal stopping problems and pricing American options in high dimensions.


title: Frame Rate Up-Conversion Using Key Point Agnostic Frequency-Selective Mesh-to-Grid Resampling

abstract: High frame rates are desired in many fields of application. As in many cases the frame repetition rate of an already captured video has to be increased, frame rate up-conversion (FRUC) is of high interest. We conduct a motion compensated approach. From two neighboring frames, the motion is estimated and the neighboring pixels are shifted along the motion vector into the frame to be reconstructed. For displaying, these irregularly distributed mesh pixels have to be resampled onto regularly spaced grid positions. We use the model-based key point agnostic frequency-selective mesh-to-grid resampling (AFSMR) for this task and show that AFSMR works best for applications that contain irregular meshes with varying densities. AFSMR gains up to 3.2 dB in contrast to the already high performing frequency-selective mesh-to-grid resampling (FSMR). Additionally, AFSMR increases the run time by a factor of 11 relative to FSMR.


title: CR-Lightlike Submanifolds of a Golden Semi-Riemannian Manifold

abstract: In this paper, we define and study CR-lightlike submanifolds of a golden semi-Riemannian manifold. We investigate some properties of geodesic CR-submanifolds of a golden semi-Riemannian manifold. Moreover, we obtain many interesting results for totally geodesic and totally umbilical CR-submanifolds on a golden Riemannian manifold. A non-trivial example of CR-lightlike submanifold of a golden semi-Riemannian manifold is also constructed.


title: EGG-GAE: scalable graph neural networks for tabular data imputation

abstract: Missing data imputation (MDI) is crucial when dealing with tabular datasets across various domains. Autoencoders can be trained to reconstruct missing values, and graph autoencoders (GAE) can additionally consider similar patterns in the dataset when imputing new values for a given instance. However, previously proposed GAEs suffer from scalability issues, requiring the user to define a similarity metric among patterns to build the graph connectivity beforehand. In this paper, we leverage recent progress in latent graph imputation to propose a novel EdGe Generation Graph AutoEncoder (EGG-GAE) for missing data imputation that overcomes these two drawbacks. EGG-GAE works on randomly sampled mini-batches of the input data (hence scaling to larger datasets), and it automatically infers the best connectivity across the mini-batch for each architecture layer. We also experiment with several extensions, including an ensemble strategy for inference and the inclusion of what we call prototype nodes, obtaining significant improvements, both in terms of imputation error and final downstream accuracy, across multiple benchmarks and baselines.


title: A New Communication Protocol with Self Error Correction

abstract: Communication in poor network environment is always a difficult problem, since troubles such as bit errors and packet loss may often occur. It is generally believed that it is impossible to transmit data both accurately and efficiently in this case. However, this paper provides a method to transmit data efficiently on the line where bit error may occur by utilizing Hamming code principle. If the sender adds a small amount of redundant data to the data to be sent, the receiver can self-correct them when an error is detected. This approach takes advantage of the value of packets with errors, which should have been discarded, reduce the number of re-transmissions and improve transmission efficiency. Based on this method, this paper designs a custom protocol which works in the data link layer and network layer. Finally, this paper verifies the protocol through mathematical simulation.


title: The Nova KT Eri Is a Recurrent Nova With a Recurrence Time-Scale of 40-50 Years

abstract: KT Eridani was a very fast nova in 2009 peaking at V=5.42 mag. We marshal large data sets of photometry to finally work out the nature of KT Eri. From the TESS light curve, as confirmed with our radial velocity curve, we find an orbital period of 2.61595 days. With our 272 spectral energy distributions from simultaneous BVRIJHK measures, the companion star has a temperature of 6200$\pm$500 K. Our century-long average in quiescence has V=14.5. With the Gaia distance (5110$^{+920}_{-430}$ parsecs), the absolute magnitude is +0.7$\pm$0.3. We converted this absolute magnitude (corrected to the disc light alone) to accretion rates, with a full integration of the alpha-disc model. This accretion rate is very high at 3.5x10$^{-7}$ solar masses per year. Our search and analysis of archival photographs shows that no eruption occurred from 1928--1954 or after 1969. With our analysis of the optical light curve, the X-ray light curve, and the radial velocity curve, we derive a white dwarf mass of 1.25$\pm$0.03 solar masses. With the high white dwarf mass and very-high accretion rate, KT Eri must require a short time to accumulate the required mass to trigger the next nova event. Our detailed calculations give a recurrence time-scale of 12 years with a total range of 5--50 years. When combined with the archival constraints, we conclude that the recurrence time-scale must be between 40--50 years. So, KT Eri is certainly a recurrent nova, with the prior eruption remaining undiscovered in a solar gap of coverage from 1959 to 1969.


title: GCDT: A Chinese RST Treebank for Multigenre and Multilingual Discourse Parsing

abstract: A lack of large-scale human-annotated data has hampered the hierarchical discourse parsing of Chinese. In this paper, we present GCDT, the largest hierarchical discourse treebank for Mandarin Chinese in the framework of Rhetorical Structure Theory (RST). GCDT covers over 60K tokens across five genres of freely available text, using the same relation inventory as contemporary RST treebanks for English. We also report on this dataset's parsing experiments, including state-of-the-art (SOTA) scores for Chinese RST parsing and RST parsing on the English GUM dataset, using cross-lingual training in Chinese and English with multilingual embeddings.


title: On Formal Series Solutions To 4th-order Quadratic Homogeneous Differential Equations And Their Convergence

abstract: It is known that all $\tau$ functions of the Painlev\'{e} equations satisfy the fourth-order quadratic differential equation. Among them, for the III, V, and VI equations, it is possible to express the formal series solutions explicitly by using combinatorics. In this paper, we show the convergence of the formal series, including the solutions of more general equations. And by the absolute convergence of $\tau $ series, the convergence of the conformal block function ($c=1$) also follows since it is a partial sum of the $\tau $ series. We also characterized the form of a homogeneous quadratic equation with a series solution similar to the tau functions of the Painlev\'{e} equations. The Painlev\'{e} equations are classified into six types, and it is known that they can be obtained by sequentially degenerating from type VI to type I.


title: An Empirical Analysis of SMS Scam Detection Systems

abstract: The short message service (SMS) was introduced a generation ago to the mobile phone users. They make up the world's oldest large-scale network, with billions of users and therefore attracts a lot of fraud. Due to the convergence of mobile network with internet, SMS based scams can potentially compromise the security of internet services as well. In this study, we present a new SMS scam dataset consisting of 153,551 SMSes. This dataset that we will release publicly for research purposes represents the largest publicly-available SMS scam dataset. We evaluate and compare the performance achieved by several established machine learning methods on the new dataset, ranging from shallow machine learning approaches to deep neural networks to syntactic and semantic feature models. We then study the existing models from an adversarial viewpoint by assessing its robustness against different level of adversarial manipulation. This perspective consolidates the current state of the art in SMS Spam filtering, highlights the limitations and the opportunities to improve the existing approaches.


title: Rethinking Sharpness-Aware Minimization as Variational Inference

abstract: Sharpness-aware minimization (SAM) aims to improve the generalisation of gradient-based learning by seeking out flat minima. In this work, we establish connections between SAM and Mean-Field Variational Inference (MFVI) of neural network parameters. We show that both these methods have interpretations as optimizing notions of flatness, and when using the reparametrisation trick, they both boil down to calculating the gradient at a perturbed version of the current mean parameter. This thinking motivates our study of algorithms that combine or interpolate between SAM and MFVI. We evaluate the proposed variational algorithms on several benchmark datasets, and compare their performance to variants of SAM. Taking a broader perspective, our work suggests that SAM-like updates can be used as a drop-in replacement for the reparametrisation trick.


title: Two-layer adaptive signal control framework for large-scale dynamically-congested networks: Combining efficient Max Pressure with Perimeter Control

abstract: Traffic-responsive signal control is a cost-effective and easy-to-implement network management strategy with high potential in improving performance in congested networks with dynamic characteristics. Max Pressure (MP) distributed controller gained significant popularity due to its theoretically proven ability of queue stabilization and throughput maximization under specific assumptions. However, its effectiveness under saturated conditions is questionable, while network-wide application is limited due to high instrumentation cost. Perimeter control (PC) based on the concept of the Macroscopic Fundamental Diagram (MFD) is a state-of-the-art aggregated strategy that regulates exchange flows between regions, in order to maintain maximum regional travel production and prevent over-saturation. Yet, homogeneity assumption is hardly realistic in congested states, thus compromising PC efficiency. In this paper, the effectiveness of network-wide, parallel application of PC and MP embedded in a two-layer control framework is assessed with mesoscopic simulation. Aiming at reducing implementation cost of MP without significant performance loss, we propose a method to identify critical nodes for partial MP deployment. A modified version of Store-and-forward paradigm incorporating finite queue and spill-back consideration is used to test different configurations of the proposed framework, for a real large-scale network, in moderately and highly congested scenarios. Results show that: (i) combined control of MP and PC outperforms separate MP and PC applications in both demand scenarios; (ii) MP control in reduced critical node sets leads to similar or even better performance compared to full-network implementation, thus allowing for significant cost reduction; iii) the proposed control schemes improve system performance even under demand fluctuations of up to 20% of mean.


title: Automated Content Moderation Increases Adherence to Community Guidelines

abstract: Online social media platforms use automated moderation systems to remove or reduce the visibility of rule-breaking content. While previous work has documented the importance of manual content moderation, the effects of automated content moderation remain largely unknown. Here, in a large study of Facebook comments (n=412M), we used a fuzzy regression discontinuity design to measure the impact of automated content moderation on subsequent rule-breaking behavior (number of comments hidden/deleted) and engagement (number of additional comments posted). We found that comment deletion decreased subsequent rule-breaking behavior in shorter threads (20 or fewer comments), even among other participants, suggesting that the intervention prevented conversations from derailing. Further, the effect of deletion on the affected user's subsequent rule-breaking behavior was longer-lived than its effect on reducing commenting in general, suggesting that users were deterred from rule-breaking but not from commenting. In contrast, hiding (rather than deleting) content had small and statistically insignificant effects. Our results suggest that automated content moderation increases adherence to community guidelines.


title: Counting (tropical) curves via scattering.sage

abstract: In this note I will explain how relative/log Gromov-Witten invariants of pairs $(X,D)$ with very ample smooth anticanonical divisor $D$ can be computed using algebro-combinatorial objects called scattering diagrams. The underlying principle behind this computational method is a tropical correspondence theorem for non-toric cases, which I will explain briefly. By computing some examples I will give an introduction to a sage code that I wrote for computing scattering diagrams.


title: Group Fairness in Prediction-Based Decision Making: From Moral Assessment to Implementation

abstract: Ensuring fairness of prediction-based decision making is based on statistical group fairness criteria. Which one of these criteria is the morally most appropriate one depends on the context, and its choice requires an ethical analysis. In this paper, we present a step-by-step procedure integrating three elements: (a) a framework for the moral assessment of what fairness means in a given context, based on the recently proposed general principle of "Fair equality of chances" (FEC) (b) a mapping of the assessment's results to established statistical group fairness criteria, and (c) a method for integrating the thus-defined fairness into optimal decision making. As a second contribution, we show new applications of the FEC principle and show that, with this extension, the FEC framework covers all types of group fairness criteria: independence, separation, and sufficiency. Third, we introduce an extended version of the FEC principle, which additionally allows accounting for morally irrelevant elements of the fairness assessment and links to well-known relaxations of the fairness criteria. This paper presents a framework to develop fair decision systems in a conceptually sound way, combining the moral and the computational elements of fair prediction-based decision-making in an integrated approach. Data and code to reproduce our results are available at https://github.com/joebaumann/fair-prediction-based-decision-making.


title: Charged AdS black hole and the quantum tunneling from black hole to white hole

abstract: In this paper, we show that depending on the sign of the electric charge $Q$, the charged AdS black hole (BH) possesses two alternative facets when the cosmological constant is identified to the thermodynamic pressure $P$. It is discovered that: 1) the equation of state of BH corresponds to $Q>0$ and when $Q$ changes from $Q>0$ to $Q<0$ we obtain the equation of state (EOS) of white hole (WH); 2) Based on the WH equation of state we found the phase transition from small to large WHs which behaves like the liquid $-$ gas phase transition at negative temperature, $T<0$, and, at the same time, its entropy equals with minus sign the entropy of BH. As a consequence, the latent heat $\Delta H_{WH}(T)$ which releases in this process equals with minus sign the latent heat of BH, too; 3) Finally, the probability of the quantum tunneling from the BH to the WH is obtained. We suggest the perspective of application of the results above to the AdS/CFT duality.


title: How to solve the mass-discrepancy problem of SESNe -- I. Testing model approximations

abstract: Here, we present a systematic study of 59 stripped-envelope supernovae (SESNe) (including Type IIb, Ib, Ic, and transitional events) to map a possible reason for the so-called mass-discrepancy problem. In this scenario, we assume the tension between the estimated ejected masses from early- and late-time light curves (LC) is due to approximations generally used in analytical models. First, we examine the assumption that the R-band light curve is indeed a good approximation of the bolometric light curve. Next, we test the generally used assumption that rise-time to maximum brightness is equal to the effective diffusion time-scale that can be used to derive the ejecta mass from the early LC. In addition, we analyze the effect of gamma-ray and positron-leakage, which play an important role in forming the shape of the tails of SESNe, and also can be crucial to gaining the ejecta masses from the late-time LC data. Finally, we consider the effect of the different definitions of velocity that are needed for the ejecta mass calculations.


title: Estimating the coverage in 3d reconstructions of the colon from colonoscopy videos

abstract: Colonoscopy is the most common procedure for early detection and removal of polyps, a critical component of colorectal cancer prevention. Insufficient visual coverage of the colon surface during the procedure often results in missed polyps. To mitigate this issue, reconstructing the 3D surfaces of the colon in order to visualize the missing regions has been proposed. However, robustly estimating the local and global coverage from such a reconstruction has not been thoroughly investigated until now. In this work, we present a new method to estimate the coverage from a reconstructed colon pointcloud. Our method splits a reconstructed colon into segments and estimates the coverage of each segment by estimating the area of the missing surfaces. We achieve a mean absolute coverage error of 3-6\% on colon segments generated from synthetic colonoscopy data and real colonography CT scans. In addition, we show good qualitative results on colon segments reconstructed from real colonoscopy videos.


title: Antifragile Control Systems: The case of an oscillator-based network model of urban road traffic dynamics

abstract: Existing traffic control systems only possess a local perspective over the multiple scales of traffic evolution, namely the intersection level, the corridor level, and the region level respectively. But luckily, despite its complex mechanics, traffic is described by various periodic phenomena. Workday flow distributions in the morning and evening commuting times can be exploited to make traffic adaptive and robust to disruptions. Additionally, controlling traffic is also based on a periodic process, choosing the phase of green time to allocate to opposite directions right of the pass and complementary red time phase for adjacent directions. In our work, we consider a novel system for road traffic control based on a network of interacting oscillators. Such a model has the advantage to capture temporal and spatial interactions of traffic light phasing as well as the network-level evolution of the traffic macroscopic features (i.e. flow, density). In this study, we propose a new realization of the antifragile control framework to control a network of interacting oscillator-based traffic light models to achieve region-level flow optimization. We demonstrate that antifragile control can capture the volatility of the urban road environment and the uncertainty about the distribution of the disruptions that can occur. We complement our control-theoretic design and analysis with experiments on a real-world setup comparatively discussing the benefits of an antifragile design for traffic control.


title: Geostatistics in the presence of multivariate complexities: comparison of multi-Gaussian transforms

abstract: One of the most challenging aspects of multivariate geostatistics is dealing with complex relationships between variables. Geostatistical co-simulation and spatial decorrelation methods, commonly used for modelling multiple variables, are ineffective in the presence of multivariate complexities. On the other hand, multi-Gaussian transforms are designed to deal with complex multivariate relationships, such as non-linearity, heteroscedasticity and geological constraints. These methods transform the variables into independent multi-Gaussian factors that can be individually simulated. This study compares the performance of the following multi-Gaussian transforms: rotation based iterative Gaussianisation, projection pursuit multivariate transform and flow transformation. Case studies with bivariate complexities are used to evaluate and compare the realisations of the transformed values. For this purpose, commonly used geostatistical validation metrics are applied, including multivariate normality tests, reproduction of bivariate relationships, and histogram and variogram validation. Based on most of the metrics, all three methods produced results of similar quality. The most obvious difference is the execution speed for forward and back transformation, for which flow transformation is much slower.


title: Self-supervised Heterogeneous Graph Pre-training Based on Structural Clustering

abstract: Recent self-supervised pre-training methods on Heterogeneous Information Networks (HINs) have shown promising competitiveness over traditional semi-supervised Heterogeneous Graph Neural Networks (HGNNs). Unfortunately, their performance heavily depends on careful customization of various strategies for generating high-quality positive examples and negative examples, which notably limits their flexibility and generalization ability. In this work, we present SHGP, a novel Self-supervised Heterogeneous Graph Pre-training approach, which does not need to generate any positive examples or negative examples. It consists of two modules that share the same attention-aggregation scheme. In each iteration, the Att-LPA module produces pseudo-labels through structural clustering, which serve as the self-supervision signals to guide the Att-HGNN module to learn object embeddings and attention coefficients. The two modules can effectively utilize and enhance each other, promoting the model to learn discriminative embeddings. Extensive experiments on four real-world datasets demonstrate the superior effectiveness of SHGP against state-of-the-art unsupervised baselines and even semi-supervised baselines. We release our source code at: https://github.com/kepsail/SHGP.


title: LavAtmos: An open source chemical equilibrium vaporisation code for lava worlds

abstract: To date, over 500 short-period rocky planets with equilibrium temperatures above 1500 K have been discovered. Such planets are expected to support magma oceans, providing a direct interface between the interior and the atmosphere. This provides a unique opportunity to gain insight into their interior compositions through atmospheric observations. A key process in doing such work is the vapor outgassing from the lava surface. LavAtmos is an open-source code that calculates the equilibrium chemical composition of vapor above a dry melt for a given composition and temperature. Results show that the produced output is in good agreement with the partial pressures obtained from experimental laboratory data as well as with other similar codes from literature. LavAtmos allows for the modeling of vaporization of a wide range of different mantle compositions of hot rocky exoplanets. In combination with atmospheric chemistry codes, this enables the characterization of interior compositions through atmospheric signatures.


title: On the Power of Pre-training for Generalization in RL: Provable Benefits and Hardness

abstract: Generalization in Reinforcement Learning (RL) aims to learn an agent during training that generalizes to the target environment. This paper studies RL generalization from a theoretical aspect: how much can we expect pre-training over training environments to be helpful? When the interaction with the target environment is not allowed, we certify that the best we can obtain is a near-optimal policy in an average sense, and we design an algorithm that achieves this goal. Furthermore, when the agent is allowed to interact with the target environment, we give a surprising result showing that asymptotically, the improvement from pre-training is at most a constant factor. On the other hand, in the non-asymptotic regime, we design an efficient algorithm and prove a distribution-based regret bound in the target environment that is independent of the state-action space.


title: Existence and upper semicontinuity of time-dependent attractors for the non-autonomous nonlocal diffusion equations

abstract: In this paper, under some appropriate assumptions, we prove the existence of the minimal time-dependent pullback $\mathcal D_{\sigma}^{\mathcal{H}_{t}}$-attractors ${\mathcal{A}}_{\mathcal D_{\sigma}^{\mathcal{H}_{t}}}$ for the non-autonomous nonlocal diffusion equations in time-dependent space $\mathcal{H}_{t}(\Omega)$. Next, in same phase space, using a priori estimate and energy methods we establish the existence of time-dependent pullback attractors $\left\{A_{\xi}(t)\right\}_{t \in \mathbb R}$ and the upper semicontinuity of $\left\{A_{\xi}(t)\right\}_{t \in \mathbb R}$ and the global attractor $A$ of the equation with $\xi = 0$, that is, $$ \lim_{\xi \rightarrow 0^{+}} \operatorname{dist}_{\mathcal H_{t}}\left(A_{\xi}(t), A \right)=0. $$


title: Thermal Conduction in Clumpy Disks and BLR clouds

abstract: We investigate the dynamics of clumps that coexisted with/in advection-dominated accretion flows by considering thermal conductivity. Thermal conduction can be one of the effective factors in the energy transportation of ADAFs; hence it may indirectly affect the dynamics of clumps by means of a contact force between them and their host medium. We first study the ensemble of clumps by assuming them as collision-less particles and secondly we find the orbital motion of these clouds as individuals. For both parts, clumps are subject to the gravity of the central object and a drag force. The strong coupling between clumps and ADAF leads to equality between the average treatment of the clumps and the dynamics of their background. By employing the collision-less Boltzmann equation we calculate the velocity dispersion of the clumps which turns out approximately one order of magnitude higher than the ADAF. In fact, involving drag force in such a system causes the angular momentum of the clumps can be transported outwards by the ADAF, and hence the clouds eventually will be captured at the tidal radius. The results show that the presence of thermal conduction increases the root of the averaged radial velocity square and this in turn speeds up the process of capturing the clouds through the tidal force. In the end, we focus on a typical individual cloud, the spiral orbits appear thanks to only the toroidal component of friction force. The parametric study again proves that the operation of thermal conduction helps for decreasing the lifetime of clumps.


title: Prehomogeneous vector spaces obtained from triangle arrangements

abstract: In this paper, we construct a new series of prehomogeneous vector spaces from figures made up of triangles, called triangle arrangements. Our main theorem states that, under suitable assumptions, we are able to construct a prehomogeneous vector space obtained from a triangle arrangement by attaching two triangle arrangements corresponding to prehomogeneous vector spaces at a vertex. We also give examples of prehomogeneous vector spaces obtained from triangle arrangements. Many of them seem to be new.


title: Bayesian Emulation for Computer Models with Multiple Partial Discontinuities

abstract: Computer models are widely used across a range of scientific disciplines to describe various complex physical systems, however to perform full uncertainty quantification we often need to employ emulators. An emulator is a fast statistical construct that mimics the slow to evaluate computer model, and greatly aids the vastly more computationally intensive uncertainty quantification calculations that an important scientific analysis often requires. We examine the problem of emulating computer models that possess multiple, partial discontinuities occurring at known non-linear location. We introduce the TENSE framework, based on carefully designed correlation structures that respect the discontinuities while enabling full exploitation of any smoothness/continuity elsewhere. This leads to a single emulator object that can be updated by all runs simultaneously, and also used for efficient design. This approach avoids having to split the input space into multiple subregions. We apply the TENSE framework to the TNO Challenge II, emulating the OLYMPUS reservoir model, which possess multiple such discontinuities.


title: Robust Offline Reinforcement Learning with Gradient Penalty and Constraint Relaxation

abstract: A promising paradigm for offline reinforcement learning (RL) is to constrain the learned policy to stay close to the dataset behaviors, known as policy constraint offline RL. However, existing works heavily rely on the purity of the data, exhibiting performance degradation or even catastrophic failure when learning from contaminated datasets containing impure trajectories of diverse levels. e.g., expert level, medium level, etc., while offline contaminated data logs exist commonly in the real world. To mitigate this, we first introduce gradient penalty over the learned value function to tackle the exploding Q-functions. We then relax the closeness constraints towards non-optimal actions with critic weighted constraint relaxation. Experimental results show that the proposed techniques effectively tame the non-optimal trajectories for policy constraint offline RL methods, evaluated on a set of contaminated D4RL Mujoco and Adroit datasets.


title: Classical Half-Adder using Trapped-ion Quantum Bits: Towards Energy-efficient Computation

abstract: Reversible computation has been proposed as a future paradigm for energy efficient computation, but so far few implementations have been realised in practice. Quantum circuits, running on quantum computers, are one construct known to be reversible. In this work, we provide a proof-of-principle of classical logical gates running on quantum technologies. In particular, we propose, and realise experimentally, Toffoli and Half-Adder circuits suitable for classical computation, using radiofrequency-controlled $^{171}$Yb$^+$ ions in a macroscopic linear Paul-trap as qubits. We analyse the energy required to operate the logic gates, both theoretically and experimentally, with a focus on the control energy. We identify bottlenecks and possible improvements in future platforms for energetically-efficient computation, e.g., trap chips with integrated antennas and cavity QED. Our experimentally verified energetic model also fills a gap in the literature of the energetics of quantum information, and outlines the path for its detailed study, as well as its potential applications to classical computing.


title: On transitive operator algebras in real Banach spaces

abstract: We consider weakly closed transitive algebras of operators containing non-zero compact operators in real Banach spaces (Lomonosov algebras). It is shown that they are naturally divided in three classes: the algebras of real, complex and quaternion classes. The properties and characterizations of algebras in each class as well as some useful examples are presented. It is shown that in separable real Hilbert spaces there is a continuum of pairwise non-similar Lomonosov algebras of complex type and of quaternion type.


title: Investigation of production of neutral Higgs boson and two charged charginos from electron-positron annihilation via different propagators

abstract: In the current work, We investigated the production of neutral Higgs boson and two charged Charginos owing to electron-positron annihilation via different propagators


title: FaceDancer: Pose- and Occlusion-Aware High Fidelity Face Swapping

abstract: In this work, we present a new single-stage method for subject agnostic face swapping and identity transfer, named FaceDancer. We have two major contributions: Adaptive Feature Fusion Attention (AFFA) and Interpreted Feature Similarity Regularization (IFSR). The AFFA module is embedded in the decoder and adaptively learns to fuse attribute features and features conditioned on identity information without requiring any additional facial segmentation process. In IFSR, we leverage the intermediate features in an identity encoder to preserve important attributes such as head pose, facial expression, lighting, and occlusion in the target face, while still transferring the identity of the source face with high fidelity. We conduct extensive quantitative and qualitative experiments on various datasets and show that the proposed FaceDancer outperforms other state-of-the-art networks in terms of identityn transfer, while having significantly better pose preservation than most of the previous methods.


title: Video super-resolution for single-photon LIDAR

abstract: 3D Time-of-Flight (ToF) image sensors are used widely in applications such as self-driving cars, Augmented Reality (AR) and robotics. When implemented with Single-Photon Avalanche Diodes (SPADs), compact, array format sensors can be made that offer accurate depth maps over long distances, without the need for mechanical scanning. However, array sizes tend to be small, leading to low lateral resolution, which combined with low Signal-to-Noise Ratio (SNR) levels under high ambient illumination, may lead to difficulties in scene interpretation. In this paper, we use synthetic depth sequences to train a 3D Convolutional Neural Network (CNN) for denoising and upscaling (x4) depth data. Experimental results, based on synthetic as well as real ToF data, are used to demonstrate the effectiveness of the scheme. With GPU acceleration, frames are processed at >30 frames per second, making the approach suitable for low-latency imaging, as required for obstacle avoidance.


title: Effect of many-body interaction on de Haas-van Alphen oscillations in insulators

abstract: De Haas-van Alphen (dHvA) oscillations are oscillations in the magnetization as a function of the inverse magnetic field. These oscillations are usually considered to be a property of the Fermi surface and, hence, a metallic property. Recently, however, such oscillations have been shown to arise, both experimentally and theoretically, in certain insulators which have a narrow gap and an inverted band structure. In this work, we develop a theory to study the effect of many-body interaction on these unconventional oscillations. We consider weak interaction, focusing on the effect of renormalization of the quasiparticle spectrum on these oscillations. We find that interaction has an unusual effect: unlike in metals, in a certain regime the amplitude of oscillations may be enhanced substantially, both at zero and nonzero temperatures, even when the interaction is perturbatively weak.


title: Modelling of spin decoherence in a Si hole qubit perturbed by a single charge fluctuator

abstract: Spin qubits in semiconductor quantum dots are one of the promizing devices to realize a quantum processor. A better knowledge of the noise sources affecting the coherence of such a qubit is therefore of prime importance. In this work, we study the effect of telegraphic noise induced by the fluctuation of a single electric charge. We simulate as realistically as possible a hole spin qubit in a quantum dot defined electrostatically by a set of gates along a silicon nanowire channel. Calculations combining Poisson and time-dependent Schr\"odinger equations allow to simulate the relaxation and the dephasing of the hole spin as a function of time for a classical random telegraph signal. We show that dephasing time $T_2$ is well given by a two-level model in a wide range of frequency. Remarkably, in the most realistic configuration of a low frequency fluctuator, the system has a non-Gaussian behavior in which the phase coherence is lost as soon as the fluctuator has changed state. The Gaussian description becomes valid only beyond a threshold frequency $\omega_{th}$, when the two-level system reacts to the statistical distribution of the fluctuator states. We show that the dephasing time $T_{2}(\omega_{th})$ at this threshold frequency can be considerably increased by playing on the orientation of the magnetic field and the gate potentials, by running the qubit along "sweet" lines. However, $T_{2}(\omega_{th})$ remains bounded due to dephasing induced by the non-diagonal terms of the stochastic perturbation Hamiltonian. Our simulations reveal that the spin relaxation cannot be described cleanly in the two-level model because the coupling to higher energy hole levels impacts very strongly the spin decoherence. This result suggests that multi-level simulations including the coupling to phonons should be necessary to describe the relaxation phenomenon in this type of qubit.


title: RLM-Tracking: Online Multi-Pedestrian Tracking Supported by Relative Location Mapping

abstract: The problem of multi-object tracking is a fundamental computer vision research focus, widely used in public safety, transport, autonomous vehicles, robotics, and other regions involving artificial intelligence. Because of the complexity of natural scenes, object occlusion and semi-occlusion usually occur in fundamental tracking tasks. These can easily lead to ID switching, object loss, detect errors, and misaligned limitation boxes. These conditions have a significant impact on the precision of multi-object tracking. In this paper, we design a new multi-object tracker for the above issues that contains an object \textbf{Relative Location Mapping} (RLM) model and \textbf{Target Region Density} (TRD) model. The new tracker is more sensitive to the differences in position relationships between objects. It can introduce low-score detection frames into different regions in real-time according to the density of object regions in the video. This improves the accuracy of object tracking without consuming extensive arithmetic resources. Our study shows that the proposed model has considerably enhanced the HOTA and DF1 measurements on the MOT17 and MOT20 data sets when applied to the advanced MOT method.


title: Helical microstructures in molluscan biomineralization are a biological example of close packed helices that may form from a colloidal liquid crystal precursor in a twist-bend nematic phase

abstract: We demonstrate that nature has produced a close-packed helical twisted filamentous material in the biomineralization of the mollusc. In liquid crystals, twist-bend nematics have been predicted and observed. We present and analyse evidence that the helical biomineral microstructure of mollusc shells may be formed from such a liquid-crystal precursor.


title: Inferring changes to the global carbon cycle with WOMBAT v2.0, a hierarchical flux-inversion framework

abstract: The natural cycles of the surface-to-atmosphere fluxes of carbon dioxide (CO$_2$) and other important greenhouse gases are changing in response to human influences. These changes need to be quantified to understand climate change and its impacts, but this is difficult to do because natural fluxes occur over large spatial and temporal scales. To infer trends in fluxes and identify phase shifts and amplitude changes in flux seasonal cycles, we construct a flux-inversion system that uses a novel spatially varying time-series decomposition of the fluxes, while also accommodating physical constraints on the fluxes. We incorporate these features into the Wollongong Methodology for Bayesian Assimilation of Trace-gases (WOMBAT, Zammit-Mangion et al., Geosci. Model Dev., 15, 2022), a hierarchical flux-inversion framework that yields posterior distributions for all unknowns in the underlying model. We apply the new method, which we call WOMBAT v2.0, to a mix of satellite observations of CO$_2$ mole fraction from the Orbiting Carbon Observatory-2 (OCO-2) satellite and direct measurements of CO$_2$ mole fraction from a variety of sources. We estimate the changes to CO$_2$ fluxes that occurred from January 2015 to December 2020, and compare our posterior estimates to those from an alternative method based on a bottom-up understanding of the physical processes involved. We find substantial trends in the fluxes, including that tropical ecosystems trended from being a net source to a net sink of CO$_2$ over the study period. We also find that the amplitude of the global seasonal cycle of ecosystem CO$_2$ fluxes increased over the study period by 0.11 PgC/month (an increase of 8%), and that the seasonal cycle of ecosystem CO$_2$ fluxes in the northern temperate and northern boreal regions shifted earlier in the year by 0.4-0.7 and 0.4-0.9 days, respectively (2.5th to 97.5th posterior percentiles).


title: Comparative plausibility in neighbourhood models: axiom systems and sequent calculi

abstract: We introduce a family of comparative plausibility logics over neighbourhood models, generalising Lewis' comparative plausibility operator over sphere models. We provide axiom systems for the logics, and prove their soundness and completeness with respect to the semantics. Then, we introduce two kinds of analytic proof systems for several logics in the family: a multi-premisses sequent calculus in the style of Lellmann and Pattinson, for which we prove cut admissibility, and a hypersequent calculus based on structured calculi for conditional logics by Girlando et al., tailored for countermodel construction over failed proof search. Our results constitute the first steps in the definition of a unified proof theoretical framework for logics equipped with a comparative plausibility operator.


title: Virtual Sensor Middleware: Managing IoT Data for the Fog-Cloud Platform

abstract: This paper introduces the Virtual Sensor Middleware (VSM), which facilitates distributed sensor data processing on multiple fog nodes. VSM uses a Virtual Sensor as the core component of the middleware. The virtual sensor concept is redesigned to support functionality beyond sensor/device virtualization, such as deploying a set of virtual sensors to represent an IoT application and distributed sensor data processing across multiple fog nodes. Furthermore, the virtual sensor deals with the heterogeneous nature of IoT devices and the various communication protocols using different adapters to communicate with the IoT devices and the underlying protocol. VSM uses the publish-subscribe design pattern to allow virtual sensors to receive data from other virtual sensors for seamless sensor data consumption without tight integration among virtual sensors, which reduces application development efforts. Furthermore, VSM enhances the design of virtual sensors with additional components that support sharing of data in dynamic environments where data receivers may change over time, data aggregation is required, and dealing with missing data is essential for the applications.


title: Effective Targeted Attacks for Adversarial Self-Supervised Learning

abstract: Recently, unsupervised adversarial training (AT) has been highlighted as a means of achieving robustness in models without any label information. Previous studies in unsupervised AT have mostly focused on implementing self-supervised learning (SSL) frameworks, which maximize the instance-wise classification loss to generate adversarial examples. However, we observe that simply maximizing the self-supervised training loss with an untargeted adversarial attack often results in generating ineffective adversaries that may not help improve the robustness of the trained model, especially for non-contrastive SSL frameworks without negative examples. To tackle this problem, we propose a novel positive mining for targeted adversarial attack to generate effective adversaries for adversarial SSL frameworks. Specifically, we introduce an algorithm that selects the most confusing yet similar target example for a given instance based on entropy and similarity, and subsequently perturbs the given instance towards the selected target. Our method demonstrates significant enhancements in robustness when applied to non-contrastive SSL frameworks, and less but consistent robustness improvements with contrastive SSL frameworks, on the benchmark datasets.


title: O Problema do Roteamento de Interliga\c{c}\~oes El\'etricas em Circuitos Integrados

abstract: Integrated circuit design automation tools are essential for the feasibility of complex designs with millions of transistors. One of the steps performed within the process is the routing of interconnections between components of a circuit. This problem, which also aims to optimize the utilization of connection resources, has been shown to be NP-Complete and requires heuristic algorithms to look for the best achievable solutions. In this work, we present a definition of this problem in context with a brief review of existing solutions in the literature. Then, we propose a methodology for the development of an original algorithm, which aims to differentiate itself, in certain domains, from the solutions already proposed.


title: Status achieved in an organization -- rank dynamics

abstract: A new model of an evolution of ranks of employees due to staff turnover in an organization is designed. If the rank is determined only by the performance, the rank shift of incumbents due to the turnover is proportional to the initial rank: the status of high staff is reduced only slightly. This effect that has been observed in the literature. However, if the status also depends on some other variable, the positions of high staff may be greatly deteriorated. In that case, the effect depends nonlinearly on the time $\tau$ between subsequent replacements of staff.


title: Learning Transferable Adversarial Robust Representations via Multi-view Consistency

abstract: Despite the success on few-shot learning problems, most meta-learned models only focus on achieving good performance on clean examples and thus easily break down when given adversarially perturbed samples. While some recent works have shown that a combination of adversarial learning and meta-learning could enhance the robustness of a meta-learner against adversarial attacks, they fail to achieve generalizable adversarial robustness to unseen domains and tasks, which is the ultimate goal of meta-learning. To address this challenge, we propose a novel meta-adversarial multi-view representation learning framework with dual encoders. Specifically, we introduce the discrepancy across the two differently augmented samples of the same data instance by first updating the encoder parameters with them and further imposing a novel label-free adversarial attack to maximize their discrepancy. Then, we maximize the consistency across the views to learn transferable robust representations across domains and tasks. Through experimental validation on multiple benchmarks, we demonstrate the effectiveness of our framework on few-shot learning tasks from unseen domains, achieving over 10\% robust accuracy improvements against previous adversarial meta-learning baselines.


title: Cross-Modal Fusion Distillation for Fine-Grained Sketch-Based Image Retrieval

abstract: Representation learning for sketch-based image retrieval has mostly been tackled by learning embeddings that discard modality-specific information. As instances from different modalities can often provide complementary information describing the underlying concept, we propose a cross-attention framework for Vision Transformers (XModalViT) that fuses modality-specific information instead of discarding them. Our framework first maps paired datapoints from the individual photo and sketch modalities to fused representations that unify information from both modalities. We then decouple the input space of the aforementioned modality fusion network into independent encoders of the individual modalities via contrastive and relational cross-modal knowledge distillation. Such encoders can then be applied to downstream tasks like cross-modal retrieval. We demonstrate the expressive capacity of the learned representations by performing a wide range of experiments and achieving state-of-the-art results on three fine-grained sketch-based image retrieval benchmarks: Shoe-V2, Chair-V2 and Sketchy. Implementation is available at https://github.com/abhrac/xmodal-vit.


title: Estimating the Contamination Factor's Distribution in Unsupervised Anomaly Detection

abstract: Anomaly detection methods identify examples that do not follow the expected behaviour, typically in an unsupervised fashion, by assigning real-valued anomaly scores to the examples based on various heuristics. These scores need to be transformed into actual predictions by thresholding, so that the proportion of examples marked as anomalies equals the expected proportion of anomalies, called contamination factor. Unfortunately, there are no good methods for estimating the contamination factor itself. We address this need from a Bayesian perspective, introducing a method for estimating the posterior distribution of the contamination factor of a given unlabeled dataset. We leverage on outputs of several anomaly detectors as a representation that already captures the basic notion of anomalousness and estimate the contamination using a specific mixture formulation. Empirically on 22 datasets, we show that the estimated distribution is well-calibrated and that setting the threshold using the posterior mean improves the anomaly detectors' performance over several alternative methods. All code is publicly available for full reproducibility.


title: Attribution and Obfuscation of Neural Text Authorship: A Data Mining Perspective

abstract: Two interlocking research questions of growing interest and importance in privacy research are Authorship Attribution (AA) and Authorship Obfuscation (AO). Given an artifact, especially a text t in question, an AA solution aims to accurately attribute t to its true author out of many candidate authors while an AO solution aims to modify t to hide its true authorship. Traditionally, the notion of authorship and its accompanying privacy concern is only toward human authors. However, in recent years, due to the explosive advancements in Neural Text Generation (NTG) techniques in NLP, capable of synthesizing human-quality open-ended texts (so-called "neural texts"), one has to now consider authorships by humans, machines, or their combination. Due to the implications and potential threats of neural texts when used maliciously, it has become critical to understand the limitations of traditional AA/AO solutions and develop novel AA/AO solutions in dealing with neural texts. In this survey, therefore, we make a comprehensive review of recent literature on the attribution and obfuscation of neural text authorship from a Data Mining perspective, and share our view on their limitations and promising research directions.


title: A Robust Pedestrian Detection Approach for Autonomous Vehicles

abstract: Nowadays, utilizing Advanced Driver-Assistance Systems (ADAS) has absorbed a huge interest as a potential solution for reducing road traffic issues. Despite recent technological advances in such systems, there are still many inquiries that need to be overcome. For instance, ADAS requires accurate and real-time detection of pedestrians in various driving scenarios. To solve the mentioned problem, this paper aims to fine-tune the YOLOv5s framework for handling pedestrian detection challenges on the real-world instances of Caltech pedestrian dataset. We also introduce a developed toolbox for preparing training and test data and annotations of Caltech pedestrian dataset into the format recognizable by YOLOv5. Experimental results of utilizing our approach show that the mean Average Precision (mAP) of our fine-tuned model for pedestrian detection task is more than 91 percent when performing at the highest rate of 70 FPS. Moreover, the experiments on the Caltech pedestrian dataset samples have verified that our proposed approach is an effective and accurate method for pedestrian detection and can outperform other existing methodologies.


title: Probing the singularities of the Landau-gauge gluon and ghost propagators with rational approximants

abstract: We employ Pad\'e approximants in the study of the analytic structure of the four-dimensional $SU(2)$ Landau-gauge gluon and ghost propagators in the infrared regime. The approximants, which are model independent, serve as fitting functions for the lattice data. We carefully propagate the uncertainties due to the fitting procedure, taking into account all possible correlations. For the gluon-propagator data, we confirm the presence of a pair of complex poles at $p_{\rm pole}^2 = \left[(-0.37 \,\pm\, 0.05_{\rm stat}\,\pm\, 0.08_{\rm sys}) \pm i\,(0.66\, \pm\, 0.03_{\rm stat}\, \pm\, 0.02_{\rm sys})\right]\, \mathrm{GeV}^2$, where the first error is statistical and the second systematic. The existence of this pair of complex poles, already hinted upon in previous works, is thus put onto a firmer basis, thanks to the model independence and to the careful error propagation of our analysis. For the ghost propagator, the Pad\'es indicate the existence of a single pole at $p^2 = 0$, as expected. In this case, our results also show evidence of a branch cut along the negative real axis of $p^2$. This is corroborated with another type of approximant, the D-Log Pad\'es, which are better suited to studying functions with a branch cut and are applied here for the first time in this context. Due to particular features and limited statistics of the gluon-propagator data, our analysis is inconclusive regarding the presence of a branch cut in the gluon case.


title: Visual SLAM: What are the Current Trends and What to Expect?

abstract: Vision-based sensors have shown significant performance, accuracy, and efficiency gain in Simultaneous Localization and Mapping (SLAM) systems in recent years. In this regard, Visual Simultaneous Localization and Mapping (VSLAM) methods refer to the SLAM approaches that employ cameras for pose estimation and map generation. We can see many research works that demonstrated VSLAMs can outperform traditional methods, which rely only on a particular sensor, such as a Lidar, even with lower costs. VSLAM approaches utilize different camera types (e.g., monocular, stereo, and RGB-D), have been tested on various datasets (e.g., KITTI, TUM RGB-D, and EuRoC) and in dissimilar environments (e.g., indoors and outdoors), and employ multiple algorithms and methodologies to have a better understanding of the environment. The mentioned variations have made this topic popular for researchers and resulted in a wide range of VSLAMs methodologies. In this regard, the primary intent of this survey is to present the recent advances in VSLAM systems, along with discussing the existing challenges and trends. We have given an in-depth literature survey of forty-five impactful papers published in the domain of VSLAMs. We have classified these manuscripts by different characteristics, including the novelty domain, objectives, employed algorithms, and semantic level. We also discuss the current trends and future directions that may help researchers investigate them.


title: Efficient, probabilistic analysis of combinatorial neural codes

abstract: Artificial and biological neural networks (ANNs and BNNs) can encode inputs in the form of combinations of individual neurons' activities. These combinatorial neural codes present a computational challenge for direct and efficient analysis due to their high dimensionality and often large volumes of data. Here we improve the computational complexity -- from factorial to quadratic time -- of direct algebraic methods previously applied to small examples and apply them to large neural codes generated by experiments. These methods provide a novel and efficient way of probing algebraic, geometric, and topological characteristics of combinatorial neural codes and provide insights into how such characteristics are related to learning and experience in neural networks. We introduce a procedure to perform hypothesis testing on the intrinsic features of neural codes using information geometry. We then apply these methods to neural activities from an ANN for image classification and a BNN for 2D navigation to, without observing any inputs or outputs, estimate the structure and dimensionality of the stimulus or task space. Additionally, we demonstrate how an ANN varies its internal representations across network depth and during learning.


title: Spacetime topology from holographic entanglement

abstract: An asymptotically AdS geometry connecting two or more boundaries is given by a entangled state, that can be expanded in the product basis of the Hilbert spaces of each CFT living on the boundaries. We derive a prescription to compute this expansion for states describing spacetimes with general spatial topology in arbitrary dimension. To large N, the expansion coincides with the Schmidt decomposition and the coefficients are given by $n$-point correlation functions on a particular Euclidean geometry. We show that this applies to all spacetime that admits a Hartle-Hawking type of wave functional, which via a standard hypothesis on the spatial topology, can be (one to one) mapped to CFT states defined on the asymptotic boundary. It is also observed that these states are endowed with quantum coherence properties. Applying this as holographic engineering, one can to construct an emergent space geometry with certain predetermined topology by preparing an entangled state of the dual quantum system. As an example, we apply the method to calculate the expansion and characterize a spacetime whose initial spatial topology is a (genus one) handlebody.


title: Spectroscopic data de-noising via training-set-free deep learning method

abstract: De-noising plays a crucial role in the post-processing of spectra. Machine learning-based methods show good performance in extracting intrinsic information from noisy data, but often require a high-quality training set that is typically inaccessible in real experimental measurements. Here, using spectra in angle-resolved photoemission spectroscopy (ARPES) as an example, we develop a de-noising method for extracting intrinsic spectral information without the need for a training set. This is possible as our method leverages the self-correlation information of the spectra themselves. It preserves the intrinsic energy band features and thus facilitates further analysis and processing. Moreover, since our method is not limited by specific properties of the training set compared to previous ones, it may well be extended to other fields and application scenarios where obtaining high-quality multidimensional training data is challenging.


title: ADPS: Asymmetric Distillation Post-Segmentation for Image Anomaly Detection

abstract: Knowledge Distillation-based Anomaly Detection (KDAD) methods rely on the teacher-student paradigm to detect and segment anomalous regions by contrasting the unique features extracted by both networks. However, existing KDAD methods suffer from two main limitations: 1) the student network can effortlessly replicate the teacher network's representations, and 2) the features of the teacher network serve solely as a ``reference standard" and are not fully leveraged. Toward this end, we depart from the established paradigm and instead propose an innovative approach called Asymmetric Distillation Post-Segmentation (ADPS). Our ADPS employs an asymmetric distillation paradigm that takes distinct forms of the same image as the input of the teacher-student networks, driving the student network to learn discriminating representations for anomalous regions. Meanwhile, a customized Weight Mask Block (WMB) is proposed to generate a coarse anomaly localization mask that transfers the distilled knowledge acquired from the asymmetric paradigm to the teacher network. Equipped with WMB, the proposed Post-Segmentation Module (PSM) is able to effectively detect and segment abnormal regions with fine structures and clear boundaries. Experimental results demonstrate that the proposed ADPS outperforms the state-of-the-art methods in detecting and segmenting anomalies. Surprisingly, ADPS significantly improves Average Precision (AP) metric by 9% and 20% on the MVTec AD and KolektorSDD2 datasets, respectively.


title: Fluorite-related iridate Pr$_3$IrO$_7$: Crystal growth, structure, magnetism, thermodynamic, and optical properties

abstract: Spin-orbit coupling in heavy 5$d$ metal oxides, in particular, iridates have received tremendous interest in recent years due to the realization of exotic electronic and magnetic phases. Here, we report the synthesis, structural, magnetic, thermodynamic, and optical properties of the ternary iridate Pr$_3$IrO$_7$. Single crystals of Pr$_3$IrO$_7$ have been grown by the KF flux method. Structural analysis shows that Pr$_3$IrO$_7$ crystallizes in an orthorhombic phase with $Cmcm$ symmetry. The electron energy loss spectroscopy study indicates that Pr is in a 3+ valence state, which implies a 5+ oxidation state of Ir. Magnetization data measured at high and low magnetic fields do not exhibit any bifurcation between $M_{ZFC}$ and $M_{FC}$, however, a weak hump in $M(T)$ is observed at $T^*$$\sim$10.4~K. The specific heat data reveal two maxima at $\sim$253 K and $\sim$4.8 K. The optical conductivity $\sigma_1(\omega)$ spectrum shows 24 infrared-active phonon modes and reveals an insulating behavior with an optical gap $\Delta_{OP}$ of size $\sim$500~meV. During cooling down, the temperature-dependent reflectivity spectrum reveals eight extra phonon modes below the structural phase transition ($\sim$ 253 K). An anomaly is observed at around $T^*$ in the temperature evolution of infrared-active mode frequencies suggesting the presence of significant spin-phonon coupling in the system.


title: A double coset formula for the genus of a nilpotent group

abstract: We derive double coset formulae for the genus and extended genus of a finitely generated nilpotent group G, using the notions of bounded and bounded above automorphisms of $\prod G_S$, which are defined relative to a fixed fracture square for G.


title: Topology and Embeddedness of Lawson's Bipolar Surfaces in the 5-Sphere

abstract: We give a topological classification of Lawson's bipolar minimal surfaces corresponding to his $\xi$- and $\eta$-family. Therefrom we deduce upper as well as lower bounds on the area of these surfaces, and find that they are not embedded.


title: Extensions of two-field mimetic gravity

abstract: Two-field mimetic gravity was recently realized by looking at the singular limit of the conformal transformation between the auxiliary metric and the physical metric with two scalar fields involved. In this paper, we reanalyze the singular conformal limit and find a more general solution for the conformal factor A, which greatly broadens the form of two-field mimetic constraint and thus extends the two-field mimetic gravity. We find the general setup still mimics the roles of dark matter at the cosmological background level. Moreover, we extend the action by introducing extra possible term for phenomenological interests. Surprisingly, some special cases are found to be equivalent to general relativity, k-essence theory and Galileon theory. Finally, we further extend the theory by allowing the expression of mimetic constraint to be arbitrary without imposed condition, and show that the dark matter-like behavior is unaffected even in this extension.


title: Resolving the Vicinity of Supermassive Black Holes with Gravitational Microlensing

abstract: In the near future, wide field surveys will discover 1000's of new strongly lensed quasars, and these will be monitored with unprecedented cadence by the Legacy Survey of Space and Time (LSST). Many of these will undergo caustic-crossing microlensing events over the 10-year LSST survey, in which a sharp caustic feature from a stellar body in the lensing galaxy crosses the inner accretion disk. Caustic-crossing events offer the unique opportunity to probe the vicinity of the central supermassive black hole for 100s of quasars with multi-platform follow-up triggered by LSST monitoring. To prepare for these observations, we have developed detailed simulations of caustic-crossing light curves. These employ a realistic analytic model of the inner accretion disk that reveals the strong surface brightness asymmetries introduced when fully accounting for both special- and general-relativistic effects. We demonstrate that an inflection in the caustic-crossing light curve due to the innermost stable circular orbit (ISCO) can be detected in reasonable follow-up observations and can be analyzed to constrain ISCO size. We also demonstrate that a convolutional neural network can be trained to predict ISCO size more reliably than traditional approaches and can also recover source orientation with high accuracy.


title: Multiqudit quantum hashing and its implementation based on orbital angular momentum encoding

abstract: A new version of quantum hashing technique is developed wherein a quantum hash is constructed as a sequence of single-photon high-dimensional states (qudits). A proof-of-principle implementation of the high-dimensional quantum hashing protocol using orbital-angular momentum encoding of single photons is implemented. It is shown that the number of qudits decreases with increase of their dimension for an optimal ratio between collision probability and decoding probability of the hash. Thus, increasing dimension of information carriers makes quantum hashing with single photons more efficient.


title: Channel-driven Decentralized Bayesian Federated Learning for Trustworthy Decision Making in D2D Networks

abstract: Bayesian Federated Learning (FL) offers a principled framework to account for the uncertainty caused by limitations in the data available at the nodes implementing collaborative training. In Bayesian FL, nodes exchange information about local posterior distributions over the model parameters space. This paper focuses on Bayesian FL implemented in a device-to-device (D2D) network via Decentralized Stochastic Gradient Langevin Dynamics (DSGLD), a recently introduced gradient-based Markov Chain Monte Carlo (MCMC) method. Based on the observation that DSGLD applies random Gaussian perturbations of model parameters, we propose to leverage channel noise on the D2D links as a mechanism for MCMC sampling. The proposed approach is compared against a conventional implementation of frequentist FL based on compression and digital transmission, highlighting advantages and limitations.


title: Reducing Graph Parameters by Contractions and Deletions

abstract: We consider the following problem: for a given graph $G$ and two integers $k$ and $d$, can we apply a fixed graph operation at most $k$ times in order to reduce a given graph parameter $\pi$ by at least $d$? We show that this problem is NP-hard when the parameter is the independence number and the graph operation is vertex deletion or edge contraction, even for fixed $d=1$ and when restricted to chordal graphs. We give a polynomial time algorithm for bipartite graphs when the operation is edge contraction, the parameter is the independence number and $d$ is fixed. Further, we complete the complexity dichotomy on $H$-free graphs when the parameter is the clique number and the operation is edge contraction by showing that this problem is NP-hard in $(C_3+P_1)$-free graphs even for fixed $d=1$. When the operation is edge deletion and the parameter is the chromatic number, we determine the computational complexity of the associated problem on cographs and complete multipartite graphs. Our results answer several open questions stated in [Diner et al., Theoretical Computer Science, 746, p. 49-72 (2012)].


title: Diophantine approximation with constraints

abstract: Following Schmidt, Thurnheer and Bugeaud-Kristensen, we study how Dirichlet's theorem on linear forms needs to be modified when one requires that the vectors of coefficients of the linear forms make a bounded acute angle with respect to a fixed proper non-zero subspace $V$ of $\mathbb{R}^n$. Assuming that the point of $\mathbb{R}^n$ that we are approximating has linearly independent coordinates over $\mathbb{Q}$, we obtain best possible exponents of approximation which surprisingly depend only on the dimension of $V$. Our estimates are derived by reduction to a result of Thurnheer, while their optimality follows from a new general construction in parametric geometry of numbers involving angular constraints.


title: Three length scales colloidal gels: the clusters of clusters versus the interpenetrating clusters approach

abstract: Typically, in quiescent conditions, attractive colloids at low volume fractions form fractal gels structured into two length scales: the colloidal and the fractal cluster scales. However when flow interfere with gelation colloidal fractal gels may display three distinct length scales [Dag\`es, et al., Soft Matter 18, 6645 (2022)]. Following those recent experimental investigations, we derive two models that account for the structure and the rheological properties of such atypical colloidal gels. The gel elasticity is inferred from scaling arguments and the structure is translated into scattering intensities following the global scattering functions approach proposed by Beaucage and typically measured in small angle X-ray scattering (SAXS). In both models, we consider that the colloids condensate into fractal clusters. In the clusters of clusters model, the clusters form superagregates which then build the gel network. In the interpenetrating clusters model, the clusters interpenetrate one-another to form the gel network. Those two models are then utilised to analyse rheo-SAXS experiments carried out on carbon black gels formed through flow cessation. The results of the analysis vouch for the clusters of clusters model with a densification of the structures as the gel characteristic length scales increase.


title: Audio Tampering Detection Based on Shallow and Deep Feature Representation Learning

abstract: Digital audio tampering detection can be used to verify the authenticity of digital audio. However, most current methods use standard electronic network frequency (ENF) databases for visual comparison analysis of ENF continuity of digital audio or perform feature extraction for classification by machine learning methods. ENF databases are usually tricky to obtain, visual methods have weak feature representation, and machine learning methods have more information loss in features, resulting in low detection accuracy. This paper proposes a fusion method of shallow and deep features to fully use ENF information by exploiting the complementary nature of features at different levels to more accurately describe the changes in inconsistency produced by tampering operations to raw digital audio. The method achieves 97.03% accuracy on three classic databases: Carioca 1, Carioca 2, and New Spanish. In addition, we have achieved an accuracy of 88.31% on the newly constructed database GAUDI-DI. Experimental results show that the proposed method is superior to the state-of-the-art method.


title: Predicting Oxide Glass Properties with Low Complexity Neural Network and Physical and Chemical Descriptors

abstract: Due to their disordered structure, glasses present a unique challenge in predicting the composition-property relationships. Recently, several attempts have been made to predict the glass properties using machine learning techniques. However, these techniques have the limitations, namely, (i) predictions are limited to the components that are present in the original dataset, and (ii) predictions towards the extreme values of the properties, important regions for new materials discovery, are not very reliable due to the sparse datapoints in this region. To address these challenges, here we present a low complexity neural network (LCNN) that provides improved performance in predicting the properties of oxide glasses. In addition, we combine the LCNN with physical and chemical descriptors that allow the development of universal models that can provide predictions for components beyond the training set. By training on a large dataset (~50000) of glass components, we show the LCNN outperforms state-of-the-art algorithms such as XGBoost. In addition, we interpret the LCNN models using Shapely additive explanations to gain insights into the role played by the descriptors in governing the property. Finally, we demonstrate the universality of the LCNN models by predicting the properties for glasses with new components that were not present in the original training set. Altogether, the present approach provides a promising direction towards accelerated discovery of novel glass compositions.


title: Cumulative Flow Diagram-Based Fixed-Time Signal Timing Optimization at Isolated Intersections Using Connected Vehicle Trajectory Data

abstract: Time-dependent fixed-time control is a cost-effective control method that is widely employed at signalized intersections in numerous countries. Existing optimization models rely on traditional delay models with specific assumptions regarding vehicle arrivals. Recent advancements in intelligent mobility have led to development of high-resolution trajectory data of connected vehicles (CVs), thereby providing opportunities for improving fixed-time signal control. Taking advantage of CV trajectories, this study proposes a cumulative flow diagram (CFD)-based signal timing optimization method for fixed-time signal control at isolated intersections, which includes a CFD model and a multi-objective optimization model. The CFD model is formulated to profile the time-dependent vehicle arrival and departure processes under varying signal timing plans, where the intersection demand is estimated based on a weighted maximum likelihood estimation method. Then, a CFD-based multi-objective optimization model is proposed for both undersaturated and oversaturated traffic conditions. The primary objective is to minimize the exceeded queue dissipation time, whereas the secondary objective is to minimize the average delay at the intersection. Considering the data-driven property of the CFD model, a bi-level particle swarm optimization-based algorithm is then specially designed to solve the optimal cycle length (and the reference point if it is considered) and green ratios separately. The proposed method is evaluated based on simulation data and compared with Synchro. The results indicate that the proposed method outperforms Synchro under various traffic conditions in terms of average delay and queue since the time-dependent vehicle arrivals during the cycle are considered in a CV trajectory data-driven way.


title: Boundary approximate controllability under positivity constraints of linear systems

abstract: This paper focuses on boundary approximate controllability under positivity constraints of a wide range of infinite-dimensional control systems. We develop frequency domain controllability criteria. Firstly, we derive a controllability result under positivity constraints on the control for such systems. Then, and more importantly, we provide a necessary and sufficient condition for controllability under positivity constraints on the control and the state. The obtained results are applied to the controllability of transportation and heat conduction networks. In particular, provided that the underlying graph is strongly connected, the controllability under positivity constraints on the control/state of transport network systems is fully characterized by a Kalman-type rank condition. For a system of heat equations with Robin boundary conditions on a path-like network, we establish approximate controllability under positivity state-constraint with a single positive input through the starting node. However, we prove the lack of controllability under unilateral control-constraint.


title: Pure spinor formulation of the superstring and its applications

abstract: The pure spinor formalism for the superstring has the advantage over the more conventional Ramond-Neveu-Schwarz formalism of being manifestly spacetime supersymmetric, which simplifies the computation of multiparticle and multiloop amplitudes and allows the description of Ramond-Ramond backgrounds. In addition to the worldsheet variables of the Green-Schwarz-Siegel action, the pure spinor formalism includes bosonic ghost variables which are constrained spacetime spinors and are needed for covariant quantization using a nilpotent BRST operator. In this review, several applications of the formalism are described including the explicit computation in D=10 superspace of the general disk amplitude with an arbitrary number of external massless states, genus one amplitudes with up to seven external states, genus two amplitudes with up to five external states, and the low-energy limit of the genus three amplitude with up to four external states. The pure spinor formalism has also been used to covariantly quantize the superstring in an $AdS_5\times S^5$ background and might be useful for proving the AdS-CFT correspondence in the limit of small AdS radius. This is an overview written for the "Handbook of Quantum Gravity", eds. C. Bambi, L. Modesto and I. Shapiro.


title: Heat current magnification in Classical and Quantum spin networks

abstract: We investigate heat current magnification due to asymmetry in the number of spins in two-branched classical and quantum spin systems. We begin by studying the classical Ising like spin models using Q2R and CCA dynamics and show that just the difference in the number of spins is not enough and some other source of asymmetry is required to observe heat current magnification. Unequal spin--spin interaction strength in the upper and lower branch is employed as a source of this asymmetry and it proves adequate for generating current magnification in both the models. Suitable physical motivation is then provided for current magnification in these systems, along with ways to control and manipulate magnification through various system parameters. We also study a five spin Quantum system with modified Heisenberg XXZ interaction and preserved magnetisation using the Redfield master equation. We show that it is possible to generate current magnification in this model by the asymmetry in the number of spins only. Our results indicate that the onset of current magnification is accompanied by a dip in the total current flowing through the system. On analysis it is revealed that this dip might occur because of the intersection of two non-degenerate energy levels for certain values of the asymmetry parameter in the modified XXZ model. We deduce that the additional degeneracy and the ergodic constraint due to fixed magnetisation in the system are the main reasons for current magnification and other atypical behaviors observed. We then use the concept of `ergotropy' to support these findings. Finally, for both the classical and quantum models, we see that current magnification is only observed when temperature gradient and intra-system interaction strength have similar order of energy.


title: Miners in the Cloud: Measuring and Analyzing Cryptocurrency Mining in Public Clouds

abstract: Cryptocurrencies, arguably the most prominent application of blockchains, have been on the rise with a wide mainstream acceptance. A central concept in cryptocurrencies is "mining pools", groups of cooperating cryptocurrency miners who agree to share block rewards in proportion to their contributed mining power. Despite many promised benefits of cryptocurrencies, they are equally utilized for malicious activities; e.g., ransomware payments, stealthy command, control, etc. Thus, understanding the interplay between cryptocurrencies, particularly the mining pools, and other essential infrastructure for profiling and modeling is important. In this paper, we study the interplay between mining pools and public clouds by analyzing their communication association through passive domain name system (pDNS) traces. We observe that 24 cloud providers have some association with mining pools as observed from the pDNS query traces, where popular public cloud providers, namely Amazon and Google, have almost 48% of such an association. Moreover, we found that the cloud provider presence and cloud provider-to-mining pool association both exhibit a heavy-tailed distribution, emphasizing an intrinsic preferential attachment model with both mining pools and cloud providers. We measure the security risk and exposure of the cloud providers, as that might aid in understanding the intent of the mining: among the top two cloud providers, we found almost 35% and 30% of their associated endpoints are positively detected to be associated with malicious activities, per the virustotal.com scan. Finally, we found that the mining pools presented in our dataset are predominantly used for mining Metaverse currencies, highlighting a shift in cryptocurrency use, and demonstrating the prevalence of mining using public clouds.


title: Sampling via Rejection-Free Partial Neighbor Search

abstract: The Metropolis algorithm involves producing a Markov chain to converge to a specified target density $\pi$. In order to improve its efficiency, we can use the Rejection-Free version of the Metropolis algorithm, which avoids the inefficiency of rejections by evaluating all neighbors. Rejection-Free can be made more efficient through the use of parallelism hardware. However, for some specialized hardware, such as Digital Annealing Unit, the number of units will limit the number of neighbors being considered at each step. Hence, we propose an enhanced version of Rejection-Free known as Partial Neighbor Search, which only considers a portion of the neighbors while using the Rejection-Free technique. This method will be tested on several examples to demonstrate its effectiveness and advantages under different circumstances.


title: The Future of Consumer Edge-AI Computing

abstract: In the last decade, Deep Learning has rapidly infiltrated the consumer end, mainly thanks to hardware acceleration across devices. However, as we look towards the future, it is evident that isolated hardware will be insufficient. Increasingly complex AI tasks demand shared resources, cross-device collaboration, and multiple data types, all without compromising user privacy or quality of experience. To address this, we introduce a novel paradigm centered around EdgeAI-Hub devices, designed to reorganise and optimise compute resources and data access at the consumer edge. To this end, we lay a holistic foundation for the transition from on-device to Edge-AI serving systems in consumer environments, detailing their components, structure, challenges and opportunities.


title: A Segment-Wise Gaussian Process-Based Ground Segmentation With Local Smoothness Estimation

abstract: Both in terrestrial and extraterrestrial environments, the precise and informative model of the ground and the surface ahead is crucial for navigation and obstacle avoidance. The ground surface is not always flat and it may be sloped, bumpy and rough specially in off-road terrestrial scenes. In bumpy and rough scenes the functional relationship of the surface-related features may vary in different areas of the ground, as the structure of the ground surface may vary suddenly and further the measured point cloud of the ground does not bear smoothness. Thus, the ground-related features must be obtained based on local estimates or even point estimates. To tackle this problem, the segment-wise GP-based ground segmentation method with local smoothness estimation is proposed. This method is an extension to our previous method in which a realistic measurement of the length-scale values were provided for the covariance kernel in each line-segment to give precise estimation of the ground for sloped terrains. In this extension, the value of the length-scale is estimated locally for each data point which makes it much more precise for the rough scenes while being not computationally complex and more robust to under-segmentation, sparsity and under-represent-ability. The segment-wise task is performed to estimate a partial continuous model of the ground for each radial range segment. Simulation results show the effectiveness of the proposed method to give a continuous and precise estimation of the ground surface in rough and bumpy scenes while being fast enough for real-world applications.


title: Joint Estimation of Multi-phase Traffic Demands at Signalized Intersections Based on Connected Vehicle Trajectories

abstract: Accurate traffic demand estimation is critical for the dynamic evaluation and optimization of signalized intersections. Existing studies based on connected vehicle (CV) data are designed for a single phase only and have not sufficiently studied the real-time traffic demand estimation for oversaturated traffic conditions. Therefore, this study proposes a cycle-by-cycle multi-phase traffic demand joint estimation method at signalized intersections based on CV data that considers both undersaturated and oversaturated traffic conditions. First, a joint weighted likelihood function of traffic demands for multiple phases is derived given real-time observed CV trajectories, which considers the initial queue and relaxes the first-in-first-out assumption by treating each queued CV as an independent observation. Then, the sample size of the historical CVs is used to derive a joint prior distribution of traffic demands. Ultimately, a joint estimation method based on the maximum a posteriori (i.e., the JO-MAP method) is developed for cycle-based multi-phase traffic demand estimation. The proposed method is evaluated using both simulation and empirical data. Simulation results indicate that the proposed method can produce reliable estimates under different penetration rates, arrival patterns, and traffic demands. The feature of joint estimation makes our method less demanding for the penetration rate of CVs and the consideration of prior distribution can significantly improve the estimation accuracy. Empirical results show that the proposed method achieves accurate cycle-based traffic demand estimation with a MAPE of 12.73%, outperforming the other four methods.


title: Evaluation Metrics for Measuring Bias in Search Engine Results

abstract: Search engines decide what we see for a given search query. Since many people are exposed to information through search engines, it is fair to expect that search engines are neutral. However, search engine results do not necessarily cover all the viewpoints of a search query topic, and they can be biased towards a specific view since search engine results are returned based on relevance, which is calculated using many features and sophisticated algorithms where search neutrality is not necessarily the focal point. Therefore, it is important to evaluate the search engine results with respect to bias. In this work we propose novel web search bias evaluation measures which take into account the rank and relevance. We also propose a framework to evaluate web search bias using the proposed measures and test our framework on two popular search engines based on 57 controversial query topics such as abortion, medical marijuana, and gay marriage. We measure the stance bias (in support or against), as well as the ideological bias (conservative or liberal). We observe that the stance does not necessarily correlate with the ideological leaning, e.g. a positive stance on abortion indicates a liberal leaning but a positive stance on Cuba embargo indicates a conservative leaning. Our experiments show that neither of the search engines suffers from stance bias. However, both search engines suffer from ideological bias, both favouring one ideological leaning to the other, which is more significant from the perspective of polarisation in our society.


title: Canonical forms of 3d cusp-fold singularities and its unfoldings

abstract: In this paper we obtain 32 canonical forms for 3D piecewise smooth vector fields presenting the so called cusp-fold singularity. All these canonical forms are topologically distinct and collect the main topological aspects of the singularities described as kind of the tangencies involved and positions of the sliding, escaping and crossing regions. Also, one-parameter bifurcations of these canonical forms are presented and the topologically equivalent piecewise smooth vector fields are obtained.


title: Stepped-height ridge waveguide MQW polarization mode converter monolithically integrated with sidewall grating DFB laser

abstract: We report the first demonstration of a 1555 nm stepped-height ridge waveguide polarization mode converter monolithically integrated with a side wall grating distributed-feedback (DFB) laser using the identical epitaxial layer scheme. The device shows stable single longitudinal mode (SLM) operation with the output light converted from TE to TM polarization with an efficiency of >94% over a wide range of DFB injection currents (IDFB) from 140 mA to 190 mA. The highest TM mode purity of 98.2% was obtained at IDFB=180 mA. A particular advantage of this device is that only a single step of metalorganic vapor-phase epitaxy and two steps of III-V material dry etching are required for the whole integrated device fabrication, significantly reducing complexity and cost.


title: Graph sampling for node embedding

abstract: Node embedding is a central topic in graph representation learning. Computational efficiency and scalability can be challenging to any method that requires full-graph operations. We propose sampling approaches to node embedding, with or without explicit modelling of the feature vector, which aim to extract useful information from both the eigenvectors related to the graph Laplacien and the given values associated with the graph.


title: Temperature dependence of quasiparticle interference in $d$-wave superconductors

abstract: We investigate the temperature dependence of quasiparticle interference in the high $T_c$-cuprates using an Exact-Diagonalization + Monte-Carlo based scheme to simulate the $d$-wave superconducting order parameter. The quasiparticle interference patterns have features largely resulting from the scattering vectors of the octet model at lower temperature. Our findings suggest that the features of quasiparticle interference in the pseudogap region of the phase diagram are also dominated by the set of scattering vectors belonging to the octet model because of the persisting antinodal gap beyond the superconducting transition $T_c$. However, beyond a temperature when the antinodal gap becomes very small, a set of scattering vectors different from those belonging to the octet model are responsible for the quasiparticle interference patterns. With a rise in temperature, the patterns are increasingly broadened.


title: Potentials of Electric Vehicles for the Provision of Active and Reactive Power Flexibilities as Ancillary Services at Vertical Power System Interconnections

abstract: This paper extends the research regarding the determination of the feasible operation region under the impact of electric vehicles. Thereby, the active and reactive power flexibility potentials of EV for alternating current and direct current bidirectional charging are limited in first instance by regulatory guidelines. In this paper German regulatory guidelines are applied to depicture the current state of the art for EV charging components. Under assumption of bidirectional charging for EV, the corresponding flexibility polygon in the PQ plane is derived. The impact on the FOR is then evaluated within the Cigr\'e European medium voltage benchmark system. In a first step, the flexibility potential of the system is determined for a load case as basis for the comparison with different, realistic penetration levels of EV. DER are considered to depict additional existing power flexibilities. In a second step, the FOR and the corresponding limitations within the system are analyzed. Under variation of the rated line current, the limiting utility constraints are pointed out. The obtained results are the basis for more detailed investigations regarding the potentials of bidirectional charging for an intensified system operators cooperation. The used method presents a promising approach to be used by the lower system operator as tool in the grid planning process to estimate the possible power flexibilities that can be provided to a higher system. Continuing, the potential for ancillary services provided by EV is discussed, resulting in the derivation of future research aspects. Because the accumulation of EV leads to higher grid utilization, which results in quadratically increasing grid losses the closer the grid is operating to the grid constraints, a cost curve for the EVs active power flexibility is introduced, whereas probability zones are indicated.


title: Hope of Delivery: Extracting User Locations From Mobile Instant Messengers

abstract: Mobile instant messengers such as WhatsApp use delivery status notifications in order to inform users if a sent message has successfully reached its destination. This is useful and important information for the sender due to the often asynchronous use of the messenger service. However, as we demonstrate in this paper, this standard feature opens up a timing side channel with unexpected consequences for user location privacy. We investigate this threat conceptually and experimentally for three widely spread instant messengers. We validate that this information leak even exists in privacy-friendly messengers such as Signal and Threema. Our results show that, after a training phase, a messenger user can distinguish different locations of the message receiver. Our analyses involving multiple rounds of measurements and evaluations show that the timing side channel persists independent of distances between receiver locations -- the attack works both for receivers in different countries as well as at small scale in one city. For instance, out of three locations within the same city, the sender can determine the correct one with more than 80% accuracy. Thus, messenger users can secretly spy on each others' whereabouts when sending instant messages. As our countermeasure evaluation shows, messenger providers could effectively disable the timing side channel by randomly delaying delivery confirmations within the range of a few seconds. For users themselves, the threat is harder to prevent since there is no option to turn off delivery confirmations.


title: Over-the-Air Computation for 6G: Foundations, Technologies, and Applications

abstract: The rapid advancement of artificial intelligence technologies has given rise to diversified intelligent services, which place unprecedented demands on massive connectivity and gigantic data aggregation. However, the scarce radio resources and stringent latency requirement make it challenging to meet these demands. To tackle these challenges, over-the-air computation (AirComp) emerges as a potential technology. Specifically, AirComp seamlessly integrates the communication and computation procedures through the superposition property of multiple-access channels, which yields a revolutionary multiple-access paradigm shift from "compute-after-communicate" to "compute-when-communicate". By this means, AirComp enables spectral-efficient and low-latency wireless data aggregation by allowing multiple devices to occupy the same channel for transmission. In this paper, we aim to present the recent advancement of AirComp in terms of foundations, technologies, and applications. The mathematical form and communication design are introduced as the foundations of AirComp, and the critical issues of AirComp over different network architectures are then discussed along with the review of existing literature. The technologies employed for the analysis and optimization on AirComp are reviewed from the information theory and signal processing perspectives. Moreover, we present the existing studies that tackle the practical implementation issues in AirComp systems, and elaborate the applications of AirComp in Internet of Things and edge intelligent networks. Finally, potential research directions are highlighted to motivate the future development of AirComp.


title: Equatorial Waves in Rotating Bubble-Trapped Superfluids

abstract: As the Earth rotates, the Coriolis force causes several oceanic and atmospheric waves to be trapped along the equator, including Kelvin, Yanai, Rossby, and Poincar\'e modes. It has been demonstrated that the mathematical origin of these waves is related to the nontrivial topology of the underlying hydrodynamic equations. Inspired by recent observations of Bose-Einstein condensation (BEC) in bubble-shaped traps in microgravity ultracold quantum gas experiments, we show that equatorial modes are supported by a rapidly rotating condensate in a spherical geometry. Based on a zero-temperature coarse-grained hydrodynamic framework, we reformulate the coupled oscillations of the superfluid and the Abrikosov vortex lattice resulting from rotation by a Schr\"odinger-like eigenvalue problem. The obtained non-Hermitian Hamiltonian is topologically nontrivial. Furthermore, we solve the hydrodynamic equations for a spherical geometry and find that the rotating superfluid hosts Kelvin, Yanai, and Poincar\'e equatorial modes, but not the Rossby mode. Our predictions can be tested with state-of-the-art bubble-shaped trapped BEC experiments.