title: Graph Transformers for Large Graphs

abstract: Transformers have recently emerged as powerful neural networks for graph learning, showcasing state-of-the-art performance on several graph property prediction tasks. However, these results have been limited to small-scale graphs, where the computational feasibility of the global attention mechanism is possible. The next goal is to scale up these architectures to handle very large graphs on the scale of millions or even billions of nodes. With large-scale graphs, global attention learning is proven impractical due to its quadratic complexity w.r.t. the number of nodes. On the other hand, neighborhood sampling techniques become essential to manage large graph sizes, yet finding the optimal trade-off between speed and accuracy with sampling techniques remains challenging. This work advances representation learning on single large-scale graphs with a focus on identifying model characteristics and critical design constraints for developing scalable graph transformer (GT) architectures. We argue such GT requires layers that can adeptly learn both local and global graph representations while swiftly sampling the graph topology. As such, a key innovation of this work lies in the creation of a fast neighborhood sampling technique coupled with a local attention mechanism that encompasses a 4-hop reception field, but achieved through just 2-hop operations. This local node embedding is then integrated with a global node embedding, acquired via another self-attention layer with an approximate global codebook, before finally sent through a downstream layer for node predictions. The proposed GT framework, named LargeGT, overcomes previous computational bottlenecks and is validated on three large-scale node classification benchmarks. We report a 3x speedup and 16.8% performance gain on ogbn-products and snap-patents, while we also scale LargeGT on ogbn-papers100M with a 5.9% performance improvement.


title: Scaling Laws of Network Traffic Load: A Theoretical Explanation of Metcalfe's Law

abstract: Metcalfe's Law captures the relationship between a network's value, and its scale, asserting that a network's value is directly proportional to the square of its size. Over the past four decades, various researchers have put forth different derivative scaling laws on this matter. Remarkably, these seemingly conflicting conclusions have all been substantiated by robust data validation, raising the question of which law holds greater representativeness. Therefore, there remains a need for a comprehensive and resilient theoretical model to underpin these patterns. This study aims to bridge this disparity by offering a theoretical interpretation of Metcalfe's Law and its variations. Building upon a certain degree of consensus that, \textit{traffic is value}, we gauge network effects by means of network traffic load. To deduce a general analytical boundary for network traffic load, we strike a balance between practicality and analytical feasibility by establishing a comprehensive network model. Building upon this foundation, we provide potential theoretical interpretations for Metcalfe's Law and its variants, achieving alignment between our theoretical derivations and the previously validated empirical evidence for Metcalfe's Law.


title: The Good, The Bad, and Why: Unveiling Emotions in Generative AI

abstract: Emotion significantly impacts our daily behaviors and interactions. While recent generative AI models, such as large language models, have shown impressive performance in various tasks, it remains unclear whether they truly comprehend emotions. This paper aims to address this gap by incorporating psychological theories to gain a holistic understanding of emotions in generative AI models. Specifically, we propose three approaches: 1) EmotionPrompt to enhance AI model performance, 2) EmotionAttack to impair AI model performance, and 3) EmotionDecode to explain the effects of emotional stimuli, both benign and malignant. Through extensive experiments involving language and multi-modal models on semantic understanding, logical reasoning, and generation tasks, we demonstrate that both textual and visual EmotionPrompt can boost the performance of AI models while EmotionAttack can hinder it. Additionally, EmotionDecode reveals that AI models can comprehend emotional stimuli akin to the mechanism of dopamine in the human brain. Our work heralds a novel avenue for exploring psychology to enhance our understanding of generative AI models.


title: ConDaFormer: Disassembled Transformer with Local Structure Enhancement for 3D Point Cloud Understanding

abstract: Transformers have been recently explored for 3D point cloud understanding with impressive progress achieved. A large number of points, over 0.1 million, make the global self-attention infeasible for point cloud data. Thus, most methods propose to apply the transformer in a local region, e.g., spherical or cubic window. However, it still contains a large number of Query-Key pairs, which requires high computational costs. In addition, previous methods usually learn the query, key, and value using a linear projection without modeling the local 3D geometric structure. In this paper, we attempt to reduce the costs and model the local geometry prior by developing a new transformer block, named ConDaFormer. Technically, ConDaFormer disassembles the cubic window into three orthogonal 2D planes, leading to fewer points when modeling the attention in a similar range. The disassembling operation is beneficial to enlarging the range of attention without increasing the computational complexity, but ignores some contexts. To provide a remedy, we develop a local structure enhancement strategy that introduces a depth-wise convolution before and after the attention. This scheme can also capture the local geometric information. Taking advantage of these designs, ConDaFormer captures both long-range contextual information and local priors. The effectiveness is demonstrated by experimental results on several 3D point cloud understanding benchmarks. Code is available at https://github.com/LHDuan/ConDaFormer .


title: An Interleaving Distance for Ordered Merge Trees

abstract: Merge trees are a common topological descriptor for data with a hierarchical component, such as terrains and scalar fields. The interleaving distance, in turn, is a common distance measure for comparing merge trees. However, the interleaving distance for merge trees is solely based on the hierarchical structure, and disregards any other geometrical or topological properties that might be present in the underlying data. Furthermore, the interleaving distance is NP-hard to compute. In this paper, we introduce a form of ordered merge trees that does capture intrinsic order present in the data. We further define a natural variant of the interleaving distance, the monotone interleaving distance, which is an order preserving distance measure for ordered merge trees. Analogous to the regular interleaving distance for merge trees, we show that the monotone variant has three equivalent definitions in terms of two maps, a single map, or a labelling. The labelling-based definition fairly directly leads to an efficient algorithm for computing the monotone interleaving distance, but unfortunately it computes only an approximation thereof. Instead, we discover a surprising connection between the monotone interleaving distance of ordered merge trees and the Fr\'{e}chet distance of 1D curves. As a result, the monotone interleaving distance between two ordered merge trees of total complexity $n$ can be computed exactly in $\tilde O(n^2)$ time. The connection between the monotone interleaving distance and the Fr\'{e}chet distance establishes a new bridge between the fields of computational topology/topological data analysis, where interleaving distances are studied extensively, and computational geometry, where Fr\'{e}chet distances are studied extensively.


title: 3D surface profilometry using neutral helium atoms

abstract: Three-dimensional mapping of surface structures is important in a wide range of biological, technological, healthcare and research applications, including taxonomy, microfluidics and fabrication. Neutral helium atom beams have been established as a sensitive probe of topography and have already enabled structural information to be obtained from delicate samples, where conventional probes would cause damage. Here, we demonstrate empirical reconstruction of a complete surface profile using measurements from a scanning helium microscope (SHeM), using the heliometric stereo method and a single detector instrument geometry. Results for the surface profile of tetrahedral aluminum potassium sulphate crystals demonstrate the areas of surfaces and facet orientations can be recovered to within 5% of the expected values.


title: Bounds and Constructions of Quantum Locally Recoverable Codes from Quantum CSS Codes

abstract: Classical locally recoverable codes (LRCs) have become indispensable in distributed storage systems. They provide efficient recovery in terms of localized errors. Quantum LRCs have very recently been introduced for their potential application in quantum data storage. In this paper, we use classical LRCs to investigate quantum LRCs. We prove that the parameters of quantum LRCs are bounded by their classical counterparts. We deduce the bounds on the parameters of quantum LRCs from the bounds on the parameters of the classical ones. We establish a characterization of optimal pure quantum LRCs based on classical codes with specific properties. Using well-crafted classical LRCs as ingredients in the construction of quantum CSS codes, we offer the first construction of several families of optimal pure quantum LRCs.


title: Implementation of the IIIF Presentation API 3.0 based on Software Support: Use Case of an Incremental IIIF Deployment within a Citizen Science Project

abstract: As part of the Participatory Knowledge Practices in Analogue and Digital Image Archives (PIA) research project, we have been implementing Linked Open Usable Data (LOUD) standards including the International Image Interoperability Framework (IIIF) specifications to disseminate digital objects, their related metadata and streamline our processes. We have taken an incremental approach to IIIF deployment, first by installing the Simple Image Presentation Interface (SIPI), a IIIF Image API 3.0 server, followed by conceiving a workflow based on cookbook recipes created and vetted by the IIIF community for the generation of resources compatible with the IIIF Presentation API 3.0, one of the key components of our architecture. This workflow resulted in a monitoring exercise of this community-driven effort, principally to align the requirements of PIA and the IIIF Presentation API support of software clients.


title: Does the van der Waals force play a part in evaporation?

abstract: It is argued that the van der Waals force exerted by the liquid and vapor/air on the molecules escaping from one phase into the other strongly affects the characteristics of evaporation. This is shown using two distinct descriptions of the van der Waals force: the Vlasov and diffuse-interface models, each of which is applied to two distinct settings: a liquid evaporating into its vapor and a liquid evaporating into air (in all cases, the vapor-to-liquid density ratio is small). For the former setting, the results are consistent with the Hertz--Knudsen Law (HKL), but the evaporation/condensation probability is very small (in the classical HKL, it is order one). For the latter setting, the dependence of the evaporation rate on the difference between the saturated vapor pressure and its actual value is shown to be nonlinear (whereas the classical HKL predicts a linear dependence). The difference between the two settings indicates that the van der Waals force exerted by the air strongly affects evaporation (contrary to the general assumption that the ambient gas is unimportant). Finally, the diffuse interface model is shown to be inapplicable in a narrow region at the outskirts of the interface -- as a result, it noticeably underestimates the evaporative flux by comparison with the (more accurate) Vlasov model.


title: Explaining Reinforcement Learning Agents Through Counterfactual Action Outcomes

abstract: Explainable reinforcement learning (XRL) methods aim to help elucidate agent policies and decision-making processes. The majority of XRL approaches focus on local explanations, seeking to shed light on the reasons an agent acts the way it does at a specific world state. While such explanations are both useful and necessary, they typically do not portray the outcomes of the agent's selected choice of action. In this work, we propose ``COViz'', a new local explanation method that visually compares the outcome of an agent's chosen action to a counterfactual one. In contrast to most local explanations that provide state-limited observations of the agent's motivation, our method depicts alternative trajectories the agent could have taken from the given state and their outcomes. We evaluated the usefulness of COViz in supporting people's understanding of agents' preferences and compare it with reward decomposition, a local explanation method that describes an agent's expected utility for different actions by decomposing it into meaningful reward types. Furthermore, we examine the complementary benefits of integrating both methods. Our results show that such integration significantly improved participants' performance.


title: Hyperspectral Image Reconstruction via Combinatorial Embedding of Cross-Channel Spatio-Spectral Clues

abstract: Existing learning-based hyperspectral reconstruction methods show limitations in fully exploiting the information among the hyperspectral bands. As such, we propose to investigate the chromatic inter-dependencies in their respective hyperspectral embedding space. These embedded features can be fully exploited by querying the inter-channel correlations in a combinatorial manner, with the unique and complementary information efficiently fused into the final prediction. We found such independent modeling and combinatorial excavation mechanisms are extremely beneficial to uncover marginal spectral features, especially in the long wavelength bands. In addition, we have proposed a spatio-spectral attention block and a spectrum-fusion attention module, which greatly facilitates the excavation and fusion of information at both semantically long-range levels and fine-grained pixel levels across all dimensions. Extensive quantitative and qualitative experiments show that our method (dubbed CESST) achieves SOTA performance. Code for this project is at: https://github.com/AlexYangxx/CESST.


title: Classification of gradient Yamabe soliton hypersurfaces of space forms

abstract: In this paper we investigate gradient Yamabe solitons, either steady or shrinking, that can be isometrically immersed into space forms as hypersurfaces that admit an upper bound on the norm of their second fundamental form. Those solitons satisfying an additional condition, that could be constant mean curvature or the number of critical points of the potential function being at most one, are fully classified. Our argument is based on the weak Omori-Yau principle for the drifted Laplacian on Riemannian manifolds.


title: Multi-scale Reconstruction of Turbulent Rotating Flows with Generative Diffusion Models

abstract: We address the problem of data augmentation in a rotating turbulence set-up, a paradigmatic challenge in geophysical applications. The goal is to reconstruct information in two-dimensional (2D) cuts of the three-dimensional flow fields, imagining to have spatial gaps present within each 2D observed slice. We evaluate the effectiveness of different data-driven tools, based on diffusion models (DMs), a state-of-the-art generative machine learning protocol, and generative adversarial networks (GANs), previously considered as the best-performing method both in terms of point-wise reconstruction and the statistical properties of the inferred velocity fields. We focus on two different DMs recently proposed in the specialized literature: (i) RePaint, based on a heuristic strategy to guide an unconditional DM for flow generation by using partial measurements data and (ii) Palette, a conditional DM trained for the reconstruction task with paired measured and missing data. Systematic comparison shows that (i) DMs outperform the GAN in terms of the mean squared error and/or the statistical accuracy; (ii) Palette DM emerges as the most promising tool in terms of both point-wise and statistical metrics. An important property of DMs is their capacity for probabilistic reconstructions, providing a range of predictions based on the same measurements, enabling for uncertainty quantification and risk assessment.


title: Evaluation of Dataframe Libraries for Data Preparation on a Single Machine

abstract: Data preparation is a trial-and-error process that typically involves countless iterations over the data to define the best pipeline of operators for a given task. With tabular data, practitioners often perform that burdensome activity on local machines by writing ad hoc scripts with libraries based on the Pandas dataframe API and testing them on samples of the entire dataset--the faster the library, the less idle time its users have. In this paper, we evaluate the most popular Python dataframe libraries in general data preparation use cases to assess how they perform on a single machine. To do so, we employ 4 real-world datasets and pipelines with distinct characteristics, covering a variety of scenarios. The insights gained with this experimentation are useful to data scientists who need to choose which of the dataframe libraries best suits their data preparation task at hand. In a nutshell, we found that: for small datasets, Pandas consistently proves to be the best choice with the richest API; when RAM is limited and there is no need to complete compatibility with Pandas API, Polars is the go-to choice thanks to its resource and query optimization; when a GPU is available, CuDF often yields the best performance, while for very large datasets that cannot fit in the GPU memory and RAM, PySpark (thanks to a multi-thread execution and a query optimizer) and Vaex (exploiting a columnar data format) are the best options.


title: Improved Long-Form Speech Recognition by Jointly Modeling the Primary and Non-primary Speakers

abstract: ASR models often suffer from a long-form deletion problem where the model predicts sequential blanks instead of words when transcribing a lengthy audio (in the order of minutes or hours). From the perspective of a user or downstream system consuming the ASR results, this behavior can be perceived as the model "being stuck", and potentially make the product hard to use. One of the culprits for long-form deletion is training-test data mismatch, which can happen even when the model is trained on diverse and large-scale data collected from multiple application domains. In this work, we introduce a novel technique to simultaneously model different groups of speakers in the audio along with the standard transcript tokens. Speakers are grouped as primary and non-primary, which connects the application domains and significantly alleviates the long-form deletion problem. This improved model neither needs any additional training data nor incurs additional training or inference cost.


title: HD 7977 and its possible influence on Solar System bodies

abstract: In the latest Gaia third data release one can find extremely small proper motion components for the star HD 7977. This, together with the radial velocity measurement lead to the conclusion that this star passed very close to the Sun in the recent past. Such a very close approach of a one solar mass star must result in noticeable changes in the motion of all Solar System bodies, especially those on less tight orbits, namely long-period comets (LPCs) and Kuiper belt objects. We estimate and present these effects. Our current knowledge on the stellar surroundings of the Sun found in the latest Gaia catalogues allowed us to perform numerical integrations and prepare a list of potential stellar perturbers of LPCs. We use this list, made available in the StePPeD database. To study the past motion of LPCs under the simultaneous action of the Galactic potential and passing stars, we use precise original cometary orbits taken from the current CODE catalogue. We examine the reliability of the extremely small proper motion of HD 7977 concluding that this star can be an unresolved binary but according to the astrometry covering more than a century, the current Gaia results cannot be ruled out. We present the parameters of a very close passage of this star near the Sun. We also show examples of the strong influence of this passage on the past motion of some LPCs. We also discuss the possible influence of this perturber on other Solar System bodies. It is possible that 2.47 Myr ago the one solar mass star HD 7977 passed as close as one thousand au from the Sun. Such an event constitutes a kind of dynamical horizon for all studies of the past Solar System bodies' dynamics.


title: A Low-Complexity Range Estimation with Adjusted Affine Frequency Division Multiplexing Waveform

abstract: Affine frequency division multiplexing (AFDM) is a recently proposed communication waveform for time-varying channel scenarios. As a chirp-based multicarrier modulation technique it can not only satisfy the needs of multiple scenarios in future mobile communication networks but also achieve good performance in radar sensing by adjusting the built-in parameters, making it a promising air interface waveform in integrated sensing and communication (ISAC) applications. In this paper, we investigate an AFDM-based radar system and analyze the radar ambiguity function of AFDM with different built-in parameters, based on which we find an AFDM waveform with the specific parameter c2 owns the near-optimal time-domain ambiguity function. Then a low-complexity algorithm based on matched filtering for high-resolution target range estimation is proposed for this specific AFDM waveform. Through simulation and analysis, the specific AFDM waveform has near-optimal range estimation performance with the proposed low-complexity algorithm while having the same bit error rate (BER) performance as orthogonal time frequency space (OTFS) using simple linear minimum mean square error (LMMSE) equalizer.


title: Harnessing Inherent Noises for Privacy Preservation in Quantum Machine Learning

abstract: Quantum computing revolutionizes the way of solving complex problems and handling vast datasets, which shows great potential to accelerate the machine learning process. However, data leakage in quantum machine learning (QML) may present privacy risks. Although differential privacy (DP), which protects privacy through the injection of artificial noise, is a well-established approach, its application in the QML domain remains under-explored. In this paper, we propose to harness inherent quantum noises to protect data privacy in QML. Especially, considering the Noisy Intermediate-Scale Quantum (NISQ) devices, we leverage the unavoidable shot noise and incoherent noise in quantum computing to preserve the privacy of QML models for binary classification. We mathematically analyze that the gradient of quantum circuit parameters in QML satisfies a Gaussian distribution, and derive the upper and lower bounds on its variance, which can potentially provide the DP guarantee. Through simulations, we show that a target privacy protection level can be achieved by running the quantum circuit a different number of times.


title: User-centric Flexible Resource Management Framework for LEO Satellites with Fully Regenerative Payload

abstract: The regenerative capabilities of next-generation satellite systems offer a novel approach to design low earth orbit (LEO) satellite communication systems, enabling full flexibility in bandwidth and spot beam management, power control, and onboard data processing. These advancements allow the implementation of intelligent spatial multiplexing techniques, addressing the ever-increasing demand for future broadband data traffic. Existing satellite resource management solutions, however, do not fully exploit these capabilities. To address this issue, a novel framework called flexible resource management algorithm for LEO satellites (FLARE-LEO) is proposed to jointly design bandwidth, power, and spot beam coverage optimized for the geographic distribution of users. It incorporates multi-spot beam multicasting, spatial multiplexing, caching, and handover (HO). In particular, the spot beam coverage is optimized by using the unsupervised K-means algorithm applied to the realistic geographical user demands, followed by a proposed successive convex approximation (SCA)-based iterative algorithm for optimizing the radio resources. Furthermore, we propose two joint transmission architectures during the HO period, which jointly estimate the downlink channel state information (CSI) using deep learning and optimize the transmit power of the LEOs involved in the HO process to improve the overall system throughput. Simulations demonstrate superior performance in terms of delivery time reduction of the proposed algorithm over the existing solutions.


title: Unleashing the Power of CNN and Transformer for Balanced RGB-Event Video Recognition

abstract: Pattern recognition based on RGB-Event data is a newly arising research topic and previous works usually learn their features using CNN or Transformer. As we know, CNN captures the local features well and the cascaded self-attention mechanisms are good at extracting the long-range global relations. It is intuitive to combine them for high-performance RGB-Event based video recognition, however, existing works fail to achieve a good balance between the accuracy and model parameters, as shown in Fig.~\ref{firstimage}. In this work, we propose a novel RGB-Event based recognition framework termed TSCFormer, which is a relatively lightweight CNN-Transformer model. Specifically, we mainly adopt the CNN as the backbone network to first encode both RGB and Event data. Meanwhile, we initialize global tokens as the input and fuse them with RGB and Event features using the BridgeFormer module. It captures the global long-range relations well between both modalities and maintains the simplicity of the whole model architecture at the same time. The enhanced features will be projected and fused into the RGB and Event CNN blocks, respectively, in an interactive manner using F2E and F2V modules. Similar operations are conducted for other CNN blocks to achieve adaptive fusion and local-global feature enhancement under different resolutions. Finally, we concatenate these three features and feed them into the classification head for pattern recognition. Extensive experiments on two large-scale RGB-Event benchmark datasets (PokerEvent and HARDVS) fully validated the effectiveness of our proposed TSCFormer. The source code and pre-trained models will be released at https://github.com/Event-AHU/TSCFormer.


title: Probing Shocked Ejecta in SN 1987A: A novel diagnostic approach using XRISM-Resolve

abstract: Supernova (SN) 1987A is one of the best candidates to exploit the capabilities of the freshly launched XRISM satellite. This celestial object offers the unique opportunity to study the evolution of a SN into a young supernova remnant. To date, the X-ray emission has been dominated by the shocked circumstellar medium (CSM), with no shocked ejecta firmly detected. However, recent studies provide compelling evidence that in the forthcoming years the X-ray emission from SN 1987A will increasingly stem from the ejecta. Our aim is to assess the proficiency of XRISM-Resolve high resolution spectrometer in pinpointing signatures of the shocked ejecta in SN 1987A. Taking advantage of a self consistent state-of-art magneto-hydrodynamic simulation that describes the evolution from SN 1987A to its remnant, we synthesized the XRISM-Resolve spectrum of SN 1987A, as it would be collected in the allocated observation during the performance verification phase, which is foreseen for 2024. Our predictions clearly show the leading role of shocked ejecta in shaping the profile of the emission lines. The Doppler broadening associated with the bulk motion along the line of sight of the rapidly expanding ejecta is shown to increase the line widths well above the values observed so far. The quantitative comparison between our synthetic spectra and the XRISM spectra will enable us to establish a strong connection between the broadened line emission and the freshly shocked ejecta. This, in turn, will allow us to retrieve the ejecta dynamics and chemical composition from the X-ray emission.


title: Empirical model of SSUSI-derived auroral ionization rates

abstract: We present an empirical model for auroral (90--150 km) electron--ion pair production rates, ionization rates for short, derived from SSUSI (Special Sensor Ultraviolet Spectrographic Imager) electron energy and flux data. Using the Fang et al., 2010 parametrization for mono-energetic electrons, and the NRLMSISE-00 neutral atmosphere model, the calculated ionization rate profiles are binned in 2-h magnetic local time (MLT) and 3.6$^{\circ}$ geomagnetic latitude to yield time series of ionization rates at 5-km altitude steps. We fit each of these time series to the geomagnetic indices Kp, PC, and Ap, the 81-day averaged solar F$_{\text{10.7}}$ radio flux index, and a constant term. The resulting empirical model can easily be incorporated into coupled chemistry--climate models to include particle precipitation effects.


title: Towards classifying the interior dynamics of charged black holes with scalar hair

abstract: The study of the interior of hairy black holes has received significant attention recently. This paper builds upon our recent analytical approach to investigate the internal dynamics of charged black holes with scalar hair in general spacetime dimensions. The geometries of these hairy balck holes end at a spacelike singularity. We investigate the alternation of Kasner epoch at later interior times and obtain the analytic expression for two kinds of transformation, namely Kasner inversion and Kasner transition. Moreover, we classify three different types of Kasner alternations for a large class of Einstein-Maxwell-scalar theory. Our analytical results are corroborated by numerical solutions to the full equations of motion, including a top-down model from supergravity. For general interactions, more complicated behaviors beyond our analytical description are also found and discussed, including the presence of non-Kasner epochs and the random change of the amplitude of the Kasner exponent at late interior times.


title: Asset and Factor Risk Budgeting: A Balanced Approach

abstract: Portfolio optimization methods have evolved significantly since Markowitz introduced the mean-variance framework in 1952. While the theoretical appeal of this approach is undeniable, its practical implementation poses important challenges, primarily revolving around the intricate task of estimating expected returns. As a result, practitioners and scholars have explored alternative methods that prioritize risk management and diversification. One such approach is Risk Budgeting, where portfolio risk is allocated among assets according to predefined risk budgets. The effectiveness of Risk Budgeting in achieving true diversification can, however, be questioned, given that asset returns are often influenced by a small number of risk factors. From this perspective, one question arises: is it possible to allocate risk at the factor level using the Risk Budgeting approach? First, we introduce a comprehensive framework to address this question by introducing risk measures directly associated with risk factor exposures and demonstrating the desirable mathematical properties of these risk measures, making them suitable for optimization. Then, we propose a novel framework to find portfolios that effectively balance the risk contributions from both assets and factors. Leveraging standard stochastic algorithms, our framework enables the use of a wide range of risk measures to construct diversified portfolios.


title: Atmospheres as a Window to Rocky Exoplanet Surfaces

abstract: As the characterization of exoplanet atmospheres proceeds, providing insights into atmospheric chemistry and composition, a key question is how much deeper into the planet we might be able to see from its atmospheric properties alone. For small planets with modest atmospheres and equilibrium temperatures, the first layer below the atmosphere will be their rocky surface. For such warm rocky planets, broadly Venus-like planets, the high temperatures and moderate pressures at the base of their atmospheres may enable thermochemical equilibrium between rock and gas. This links the composition of the surface to that of the observable atmosphere. Using an equilibrium chemistry code, we find a boundary in surface pressure-temperature space which simultaneously separates distinct mineralogical regimes and atmospheric regimes, potentially enabling inference of surface mineralogy from spectroscopic observations of the atmosphere. Weak constraints on the surface pressure and temperature also emerge. This regime boundary corresponds to conditions under which SO2 is oxidized and absorbed by calcium-bearing minerals in the crust, thus the two regimes reflect the sulphidation of the crust. The existence of these atmospheric regimes for Venus-like planets is robust to plausible changes in the elemental composition. Our results pave the way to the prospect of characterizing exoplanetary surfaces as new data for short period rocky planet atmospheres emerge.


title: On the consequences of Raychaudhuri equation in Kantowski-Sachs space-time

abstract: The paper aims to study the geometry and physics of the Raychaudhuri equation (RE) in the background of a homogeneous and anisotropic space-time described by Kantowski-Sachs (KS) metric. Role of anisotropy/shear in the context of convergence and possible avoidance of singularity has been analyzed subject to a physically motivated constraint. Moreover, using a suitable transformation the first order RE has been converted to a second order differential equation analogous to a Harmonic Oscillator and criterion for convergence has been shown to be associated with the time varying frequency of the Oscillator. Finally, the paper points out a geometric and physical notion of anisotropy along with their corresponding behavior towards convergence.


title: Linear Attention via Orthogonal Memory

abstract: Efficient attentions have greatly improved the computational efficiency of Transformers. However, most existing linear attention mechanisms suffer from an \emph{efficiency degradation} problem, leading to inefficiencies in causal language modeling and hindering their application in long-range language models. This problem is more pronounced under language modeling with unbounded contexts. In this paper, we propose \textbf{L}inear \textbf{A}ttention \textbf{V}ia \textbf{O}rthogonal memory~(\shortname) to address these limitations, achieving strong performance while maintaining linear complexity. \shortname employs orthogonal decomposition to compress a context into a fixed-size orthogonal memory while effectively minimizing redundancy within the context. Given that orthogonal memory compresses global information, we further dissect the context to amplify fine-grained local information. Additionally, we embed the relative position encoding into \shortname to improve the extrapolation ability. Experimental results show that \shortname greatly improves the efficiency of the causal language model with the best extrapolation performance and outperforms other efficient baselines. Further, we endeavor to employ \shortname for unbounded language modeling and successfully scale the context length to 128K.


title: Identification of complier and noncomplier average causal effects in the presence of latent missing-at-random (LMAR) outcomes: a unifying view and choices of assumptions

abstract: The study of treatment effects is often complicated by noncompliance and missing data. In the one-sided noncompliance setting where of interest are the complier and noncomplier average causal effects (CACE and NACE), we address outcome missingness of the \textit{latent missing at random} type (LMAR, also known as \textit{latent ignorability}). That is, conditional on covariates and treatment assigned, the missingness may depend on compliance type. Within the instrumental variable (IV) approach to noncompliance, methods have been proposed for handling LMAR outcome that additionally invoke an exclusion restriction type assumption on missingness, but no solution has been proposed for when a non-IV approach is used. This paper focuses on effect identification in the presence of LMAR outcome, with a view to flexibly accommodate different principal identification approaches. We show that under treatment assignment ignorability and LMAR only, effect nonidentifiability boils down to a set of two connected mixture equations involving unidentified stratum-specific response probabilities and outcome means. This clarifies that (except for a special case) effect identification generally requires two additional assumptions: a \textit{specific missingness mechanism} assumption and a \textit{principal identification} assumption. This provides a template for identifying effects based on separate choices of these assumptions. We consider a range of specific missingness assumptions, including those that have appeared in the literature and some new ones. Incidentally, we find an issue in the existing assumptions, and propose a modification of the assumptions to avoid the issue. Results under different assumptions are illustrated using data from the Baltimore Experience Corps Trial.


title: Random multiplication versus random sum: auto-regressive-like models with integer-valued random inputs

abstract: A common approach to analyze count time series is to fit models based on random sum operators. As an alternative, this paper introduces time series models based on a random multiplication operator, which is simply the multiplication of a variable operand by an integer-valued random coefficient, whose mean is the constant operand. Such operation is endowed into auto-regressive-like models with integer-valued random inputs, addressed as RMINAR. Two special variants are studied, namely the N0-valued random coefficient auto-regressive model and the N0-valued random coefficient multiplicative error model. Furthermore, Z-valued extensions are considered. The dynamic structure of the proposed models is studied in detail. In particular, their corresponding solutions are everywhere strictly stationary and ergodic, a fact that is not common neither in the literature on integer-valued time series models nor real-valued random coefficient auto-regressive models. Therefore, the parameters of the RMINAR model are estimated using a four-stage weighted least squares estimator, with consistency and asymptotic normality established everywhere in the parameter space. Finally, the new RMINAR models are illustrated with some simulated and empirical examples.


title: Rapid Open-World Adaptation by Adaptation Principles Learning

abstract: Novelty adaptation is the ability of an intelligent agent to adjust its behavior in response to changes in its environment. This is an important characteristic of intelligent agents, as it allows them to continue to function effectively in novel or unexpected situations, but still stands as a critical challenge for deep reinforcement learning (DRL). To tackle this challenge, we propose a simple yet effective novel method, NAPPING (Novelty Adaptation Principles Learning), that allows trained DRL agents to respond to different classes of novelties in open worlds rapidly. With NAPPING, DRL agents can learn to adjust the trained policy only when necessary. They can quickly generalize to similar novel situations without affecting the part of the trained policy that still works. To demonstrate the efficiency and efficacy of NAPPING, we evaluate our method on four action domains that are different in reward structures and the type of task. The domains are CartPole and MountainCar (classic control), CrossRoad (path-finding), and AngryBirds (physical reasoning). We compare NAPPING with standard online and fine-tuning DRL methods in CartPole, MountainCar and CrossRoad, and state-of-the-art methods in the more complicated AngryBirds domain. Our evaluation results demonstrate that with our proposed method, DRL agents can rapidly and effectively adjust to a wide range of novel situations across all tested domains.


title: A hierarchy of Plateau problems and the approximation of Plateau's laws via the Allen--Cahn equation

abstract: We introduce a diffused interface formulation of the Plateau problem, where the Allen--Cahn energy $\mathcal{AC}_\varepsilon$ is minimized under a volume constraint $v$ and a spanning condition on the level sets of the densities. We discuss two singular limits of these Allen--Cahn Plateau problems: when $\varepsilon\to 0^+$, we prove convergence to the Gauss' capillarity formulation of the Plateau problem with positive volume $v$; and when $\varepsilon\to 0^+$, $v\to 0^+$ and $\varepsilon/v\to 0^+$, we prove convergence to the classical Plateau problem (in the homotopic spanning formulation of Harrison and Pugh). As a corollary of our analysis we resolve the incompatibility between Plateau's laws and the Allen--Cahn equation implied by a regularity theorem of Tonegawa and Wickramasekera. In particular, we show that Plateau-type singularities can be approximated by energy minimizing solutions of the Allen--Cahn equation with a volume Lagrange multiplier and a transmission condition on a spanning free boundary.


title: Multi-parton interactions in pp collisions using charged-particle flattenicity with ALICE

abstract: Event classifiers based either on the charged-particle multiplicity or on event topologies, such as spherocity and underlying event, became very useful tools to study collective-like behaviors in small collision systems. However, multiplicity-based event classifiers were shown to bias the data sample in a way that can obscure the effects of multi-parton interactions, and, this way, make it difficult to pin down the origins of small-system collectivity. In this proceedings, the measurement of the transverse momentum ($p_{\mathrm{T}}$) spectra of primary charged pions, kaons, (anti)protons and unidentified hadrons in inelastic pp collisions at $\sqrt{s}=13~\mathrm{TeV}$ are reported. Events are classified using a novel event shape observable, flattenicity, that was proposed to select minijet-enhanced pp collisions. Particle production is studied as a function of flattenicity and double-differentially as a function of flattenicity and charged-particle multiplicity. The results are compared with theoretical predictions from the PYTHIA 8 and EPOS LHC Monte Carlo models.


title: Echeloned Spaces

abstract: We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly continuous or have a uniformly discrete image. In particular, every automorphism of a metrizable echeloned space is uniformly continuous, and for every metric space with midpoints the automorphisms of the induced echeloned space are precisely the dilations. Next we focus on finite echeloned spaces. They form a Fraisse class and we describe its Fraisse-limit both as the echeloned space induced by a certain homogeneous metric space and as the result of a random construction. Building on this we show that the class of finite ordered echeloned spaces is Ramsey. The proof of this result combines a combinatorial argument by Nesetril and Hubicka with a topological-dynamical point of view due to Kechris, Pestov, and Todorcevic. Finally, using the method of Katetov functors due to Kubis and Masulovic, we prove that the full symmetric group on a countable set topologically embeds into the automorphism group of the countable universal homogeneous echeloned space.


title: Efficiency-oriented approaches for self-supervised speech representation learning

abstract: Self-supervised learning enables the training of large neural models without the need for large, labeled datasets. It has been generating breakthroughs in several fields, including computer vision, natural language processing, biology, and speech. In particular, the state-of-the-art in several speech processing applications, such as automatic speech recognition or speaker identification, are models where the latent representation is learned using self-supervised approaches. Several configurations exist in self-supervised learning for speech, including contrastive, predictive, and multilingual approaches. There is, however, a crucial limitation in most existing approaches: their high computational costs. These costs limit the deployment of models, the size of the training dataset, and the number of research groups that can afford research with large self-supervised models. Likewise, we should consider the environmental costs that high energy consumption implies. Efforts in this direction comprise optimization of existing models, neural architecture efficiency, improvements in finetuning for speech processing tasks, and data efficiency. But despite current efforts, more work could be done to address high computational costs in self-supervised representation learning.


title: Learning Domain-Independent Heuristics for Grounded and Lifted Planning

abstract: We present three novel graph representations of planning tasks suitable for learning domain-independent heuristics using Graph Neural Networks (GNNs) to guide search. In particular, to mitigate the issues caused by large grounded GNNs we present the first method for learning domain-independent heuristics with only the lifted representation of a planning task. We also provide a theoretical analysis of the expressiveness of our models, showing that some are more powerful than STRIPS-HGN, the only other existing model for learning domain-independent heuristics. Our experiments show that our heuristics generalise to much larger problems than those in the training set, vastly surpassing STRIPS-HGN heuristics.


title: LSDvis: Hallucinatory Data Visualisations in Real World Environments

abstract: We propose the concept of "LSDvis": the (highly exaggerated) visual blending of situated visualisations and the real-world environment to produce data representations that resemble hallucinations. Such hallucinatory visualisations incorporate elements of the physical environment, twisting and morphing their appearance such that they become part of the visualisation itself. We demonstrate LSDvis in a ``proof of proof of concept'', where we use Stable Diffusion to modify images of real environments with abstract data visualisations as input. We conclude by discussing considerations of LSDvis. We hope that our work promotes visualisation designs which deprioritise saliency in favour of quirkiness and ambience.


title: SDEs with supercritical distributional drifts

abstract: Let $d\geq 2$. In this paper, we investigate the following stochastic differential equation (SDE) in ${\mathbb R}^d$ driven by Brownian motion $$ {\rm d} X_t=b(t,X_t){\rm d} t+\sqrt{2}{\rm d} W_t, $$ where $b$ belongs to the space ${\mathbb L}_T^q \mathbf{H}_p^\alpha$ with $\alpha \in [-1, 0]$ and $p,q\in[2, \infty]$, which is a distribution-valued and divergence-free vector field. In the subcritical case $\frac dp+\frac 2q<1+\alpha$, we establish the existence and uniqueness of a weak solution to the integral equation: $$ X_t=X_0+\lim_{n\to\infty}\int^t_0b_n(s,X_s){\rm d} s+\sqrt{2} W_t. $$ Here, $b_n:=b*\phi_n$ represents the mollifying approximation, and the limit is taken in the $L^2$-sense. In the critical and supercritical case $1+\alpha\leq\frac dp+\frac 2q<2+\alpha$, assuming the initial distribution has an $L^2$-density, we show the existence of weak solutions and associated almost sure Markov processes. Moreover, under the additional assumption that $b=b_1+b_2+{\rm div} a$, where $b_1\in {\mathbb L}^\infty_T{\mathbf B}^{-1}_{\infty,2}$, $b_2\in {\mathbb L}^2_TL^2$, and $a$ is a bounded antisymmetric matrix-valued function, we establish the convergence of mollifying approximation solutions without the need to subtract a subsequence. To illustrate our results, we provide examples of Gaussian random fields and singular interacting particle systems, including the two-dimensional vortex models.


title: OsmLocator: locating overlapping scatter marks with a non-training generative perspective

abstract: Automated mark localization in scatter images, greatly helpful for discovering knowledge and understanding enormous document images and reasoning in visual question answering AI systems, is a highly challenging problem because of the ubiquity of overlapping marks. Locating overlapping marks faces many difficulties such as no texture, less contextual information, hallow shape and tiny size. Here, we formulate it as a combinatorial optimization problem on clustering-based re-visualization from a non-training generative perspective, to locate scatter marks by finding the status of multi-variables when an objective function reaches a minimum. The objective function is constructed on difference between binarized scatter images and corresponding generated re-visualization based on their clustering. Fundamentally, re-visualization tries to generate a new scatter graph only taking a rasterized scatter image as an input, and clustering is employed to provide the information for such re-visualization. This method could stably locate severely-overlapping, variable-size and variable-shape marks in scatter images without dependence of any training dataset or reference. Meanwhile, we propose an adaptive variant of simulated annealing which can works on various connected regions. In addition, we especially built a dataset named SML2023 containing hundreds of scatter images with different markers and various levels of overlapping severity, and tested the proposed method and compared it to existing methods. The results show that it can accurately locate most marks in scatter images with different overlapping severity and marker types, with about 0.3 absolute increase on an assignment-cost-based metric in comparison with state-of-the-art methods. This work is of value to data mining on massive web pages and literatures, and shedding new light on image measurement such as bubble counting.


title: On the contraction properties of a pseudo-Hilbert projective metric

abstract: In this note, we define a bounded variant on the Hilbert projective metric on an infinite dimensional space $E$ and study the contraction properties of the projective maps associated with positive linear operators on $E$. More precisely, we prove that any positive linear operator acts projectively as a $1$-Lipschitz map relatively to this distance. We also show that for a positive linear operator, strict projective contraction is equivalent to a property called uniform positivity.


title: FMCW Radar Height Estimation of Moving Vehicles by Analyzing Multipath Reflections

abstract: Target classification is an important task of automotive radar systems. In this work, a concept for estimating the height of vehicles to allow for a differentiation between passenger cars, trucks, and others, is presented and discussed. Fixed installed radar sensors for traffic monitoring in the 77 GHz band are used to track and analyze radar echoes from individual vehicles as they move relative to the radar. Considering multipath propagation, which includes the ground reflection, the height of individual radar targets is estimated by analyzing the periodicity of the resulting amplitude modulation (AM) of the echo signal as a function of the horizontal distance from the radar. Two approaches have been realized to integrate the concept into an automotive FMCW signal processing scheme. Measurements in a test field using a trihedral corner reflector as an idealized target in heights from 0 to 2.5 m suggest, that the concept is suitable for height estimation in an automotive context.


title: The Spectral Boundary of Block Structured Random Matrices

abstract: Economic and ecological models can be extremely complex, with a large number of agents/species each featuring multiple interacting dynamical quantities. In an attempt to understand the generic stability properties of such systems, we define and study an interesting new matrix ensemble with extensive correlations, generalising the elliptic ensemble. We determine analytically the boundary of its eigenvalue spectrum in the complex plane, as a function of the correlations determined by the model at hand. We solve numerically our equations in several cases of interest, and show that the resulting spectra can take a surprisingly wide variety of shapes.


title: The Gell-Mann feature map of qutrits and its applications in classification tasks

abstract: Recent advancements in quantum hardware have enabled the realization of high-dimensional quantum states. This work investigates the potential of qutrits in quantum machine learning, leveraging their larger state space for enhanced supervised learning tasks. To that end, the Gell-Mann feature map is introduced which encodes information within an $8$-dimensional Hilbert space. The study focuses on classification problems, comparing Gell-Mann feature map with maps generated by established qubit and classical models. We test different circuit architectures and explore possibilities in optimization techniques. By shedding light on the capabilities and limitations of qutrit-based systems, this research aims to advance applications of low-depth quantum circuits.


title: Core consistency diagnosis for Block Term Decomposition in rank $(L_r, L_r, 1)$

abstract: Determining the underlying number of components $R$ in tensor decompositions is challenging. Diverse techniques exist for various decompositions, notably the core consistency diagnostic (CORCONDIA) for Canonical Polyadic Decomposition (CPD). Here, we propose a model that intuitively adapts CORCONDIA for rank estimation in Block Term Decomposition (BTD) of rank $(L_r, L_r, 1)$: BTDCORCONDIA. Our metric was tested on simulated and real-world tensor data, including assessments of its sensitivity to noise and the indeterminacy of BTD $(L_r, L_r, 1)$. We found that selecting appropriate $R$ and $L_r$ led to core consistency reaching or close to 100%, and BTDCORCONDIA is efficient when the tensor has significantly more elements than the core. Our results confirm that CORCONDIA can be extended to BTD $(L_r, L_r, 1)$, and the resulting metric can assist in the process of determining the number of components in this tensor factorisation.


title: Prompt Based Tri-Channel Graph Convolution Neural Network for Aspect Sentiment Triplet Extraction

abstract: Aspect Sentiment Triplet Extraction (ASTE) is an emerging task to extract a given sentence's triplets, which consist of aspects, opinions, and sentiments. Recent studies tend to address this task with a table-filling paradigm, wherein word relations are encoded in a two-dimensional table, and the process involves clarifying all the individual cells to extract triples. However, these studies ignore the deep interaction between neighbor cells, which we find quite helpful for accurate extraction. To this end, we propose a novel model for the ASTE task, called Prompt-based Tri-Channel Graph Convolution Neural Network (PT-GCN), which converts the relation table into a graph to explore more comprehensive relational information. Specifically, we treat the original table cells as nodes and utilize a prompt attention score computation module to determine the edges' weights. This enables us to construct a target-aware grid-like graph to enhance the overall extraction process. After that, a triple-channel convolution module is conducted to extract precise sentiment knowledge. Extensive experiments on the benchmark datasets show that our model achieves state-of-the-art performance. The code is available at https://github.com/KunPunCN/PT-GCN.


title: Research on Multilingual Natural Scene Text Detection Algorithm

abstract: Natural scene text detection is a significant challenge in computer vision, with tremendous potential applications in multilingual, diverse, and complex text scenarios. We propose a multilingual text detection model to address the issues of low accuracy and high difficulty in detecting multilingual text in natural scenes. In response to the challenges posed by multilingual text images with multiple character sets and various font styles, we introduce the SFM Swin Transformer feature extraction network to enhance the model's robustness in detecting characters and fonts across different languages. Dealing with the considerable variation in text scales and complex arrangements in natural scene text images, we present the AS-HRFPN feature fusion network by incorporating an Adaptive Spatial Feature Fusion module and a Spatial Pyramid Pooling module. The feature fusion network improvements enhance the model's ability to detect text sizes and orientations. Addressing diverse backgrounds and font variations in multilingual scene text images is a challenge for existing methods. Limited local receptive fields hinder detection performance. To overcome this, we propose a Global Semantic Segmentation Branch, extracting and preserving global features for more effective text detection, aligning with the need for comprehensive information. In this study, we collected and built a real-world multilingual natural scene text image dataset and conducted comprehensive experiments and analyses. The experimental results demonstrate that the proposed algorithm achieves an F-measure of 85.02\%, which is 4.71\% higher than the baseline model. We also conducted extensive cross-dataset validation on MSRA-TD500, ICDAR2017MLT, and ICDAR2015 datasets to verify the generality of our approach. The code and dataset can be found at https://github.com/wangmelon/CEMLT.


title: Normality of Schubert varieties in affine Grassmannians

abstract: We classify all normal Schubert varieties in the affine Grassmannian of a semisimple group over an arbitrary field with special attention to small positive characteristic. The proof is elementary and relies on tangent space calculations for quasi-minuscule Schubert varieties, a refined Levi lemma in positive characteristic and the classification of minimal degenerations


title: Possible manifestation of topological superconductivity and Majorana bound states in the microwave response of thin FeSe1-xTex film

abstract: The paper analyzes the characteristics of the microwave (MW) response of FeSe1-xTex films based on the results of measuring the impedance properties of the films in the X-band for two orientations of the film in the MW magnetic field, perpendicular and parallel. The analysis of the temperature dependence of the microwave response of a film with a perpendicular orientation (in which the peculiarity of the response is manifested) was carried out by means of physical considerations, taking into account also the results of the research of this superconductor by other authors using the ARPES technique and tunneling spectroscopy. It was concluded that with perpendicular orientation, two competing mechanisms of MW energy dissipation in the film can occur, one of which leads to the increase in energy dissipation caused by magnetic vortices with an MW field, and the other to its decrease due to the emergence of Majorana bound states with zero energy


title: Dilute gel networks vs. clumpy gels in colloid-polymer mixtures

abstract: Using Brownian dynamics simulations we study gel-forming colloid-polymer mixtures. The focus of this article lies on the differences of dense and dilute gel networks in terms of structure formation both on a local and a global level. We apply reduction algorithms and observe that dilute networks and dense gels differ in the way structural properties like the thickness of strands emerge. We also analyze the percolation behavior and find that two different regimes of percolation exist which might be responsible for structural differences. In dilute networks we confirm that solidity is mainly a consequence of pentagonal bipyramids forming in the network. In dense gels also tetrahedral structures influence solidity.


title: A low-rank non-convex norm method for multiview graph clustering

abstract: This study introduces a novel technique for multi-view clustering known as the "Consensus Graph-Based Multi-View Clustering Method Using Low-Rank Non-Convex Norm" (CGMVC-NC). Multi-view clustering is a challenging task in machine learning as it requires the integration of information from multiple data sources or views to cluster data points accurately. The suggested approach makes use of the structural characteristics of multi-view data tensors, introducing a non-convex tensor norm to identify correlations between these views. In contrast to conventional methods, this approach demonstrates superior clustering accuracy across several benchmark datasets. Despite the non-convex nature of the tensor norm used, the proposed method remains amenable to efficient optimization using existing algorithms. The approach provides a valuable tool for multi-view data analysis and has the potential to enhance our understanding of complex systems in various fields. Further research can explore the application of this method to other types of data and extend it to other machine-learning tasks.


title: Interventionally Consistent Surrogates for Agent-based Simulators

abstract: Agent-based simulators provide granular representations of complex intelligent systems by directly modelling the interactions of the system's constituent agents. Their high-fidelity nature enables hyper-local policy evaluation and testing of what-if scenarios, but is associated with large computational costs that inhibits their widespread use. Surrogate models can address these computational limitations, but they must behave consistently with the agent-based model under policy interventions of interest. In this paper, we capitalise on recent developments on causal abstractions to develop a framework for learning interventionally consistent surrogate models for agent-based simulators. Our proposed approach facilitates rapid experimentation with policy interventions in complex systems, while inducing surrogates to behave consistently with high probability with respect to the agent-based simulator across interventions of interest. We demonstrate with empirical studies that observationally trained surrogates can misjudge the effect of interventions and misguide policymakers towards suboptimal policies, while surrogates trained for interventional consistency with our proposed method closely mimic the behaviour of an agent-based model under interventions of interest.


title: Roles of non-local electron-phonon coupling on the electrical conductivity and Seebeck coefficient: a TD-DMRG study

abstract: Organic molecular materials are potential high-performance thermoelectric materials. Theoretical understanding of thermoelectric conversion in organic materials is essential for rational molecular design for efficient energy conversion materials. In organic materials, non-local electron-phonon coupling plays a vital role in charge transport and leads to complex transport mechanisms, including hopping, phonon-assist current, band, and transient localization. In this work, based on time-dependent density matrix renormalization group (TD-DMRG) method, we look at the role of non-local electron-phonon coupling on the thermoelectric conversion in organic systems described by Holstein-Peierls model. We calculate the current-current correlation and the heat current-current correlation functions. We find that (i) non-local electron-phonon coupling has very weak influence on Seebeck coefficient because of the cancellation between heat current-current correlation function and the current-current correlation function, but it has strong influence on conductivity through dynamic disorders; (ii) doping concentration has a strong influence on both conductivity and Seebeck coefficient significantly, and the optimal doping ratio to reach the highest power factor is 3%-10% fillings.


title: Passive Sensing and Localization in an Aircraft Cabin Using a Wireless Communication Network

abstract: Advances in wireless localization techniques aiming to exploit context-dependent data has been leading to a growing interest in services able of localizing or tracking targets inside buildings with high accuracy and precision. Hence, the demand for indoor localization services has become a key prerequisite in some markets, such as in the aviation sector. In this context, we propose a system to passively localize and track passenger movements inside the cabin of an aircraft in a privacy preserving way using existing communication networks such as Wi-Fi or 5G. The estimated passenger positions can be used for various automation tasks such as measurement of passenger behavior during boarding. The paper describes a novel wireless localization system, based on Artificial Neural Networks, which passively senses the location of passengers. The position estimation is based on the observation of wireless communication signals that are already present in the environment. In this context, "passive" means that no additional devices are needed for the passengers. Experimental results show that the proposed system is able to achieve an average accuracy of 12 cm in a challenging environment like an aircraft cabin. This accuracy seems sufficient to control passenger separation.


title: Comparative simulations of Kelvin-Helmholtz induced magnetic reconnection at the Earth's magnetospheric flanks

abstract: This study presents three-dimensional (3D) resistive Hall-magnetohydrodynamic simulations of the Kelvin-Helmholtz instability (KHI) dynamics at Earth's magnetospheric flanks during northward interplanetary magnetic field periods. By comparing two simulations with and without initial magnetic shear, we analyze the impact of distinct magnetic field orientations on plasma dynamics and magnetic reconnection events taking into account 3D mechanisms, such as KHI high latitude stabilization. The identical nature of the simulations, except for the presence/absence of an initial magnetic shear, enables, for the first time, a complete and coherent comparative analysis of the latitudinal distribution of KH vortices, current sheets, reconnection events, and the evolution of the mixing layer. In one configuration, a uniform magnetic field leads to double mid-latitude reconnection (MLR), while in the other, magnetic shear induces both type I vortex-induced reconnection (VIR) and MLR. Notably, the type I VIR observed in this second scenario results from the combined action of line advection and vortex-induced current sheet pinching (the classic mechanism driving two-dimensional type I VIR). Of particular importance is our quantification of newly closed field lines that experienced double reconnection, ultimately becoming embedded in solar wind plasma at low latitudes while remaining connected to magnetospheric plasma at high latitudes. The varying abundance of such lines in the two simulations holds implications for plasma transport at the magnetopause.


title: Unconventional superconductivity in the Kondo-lattice system CeCu$_2$Si$_2$ -- a personal perspective

abstract: In the first part of this article, I briefly review early research activities concerning strongly correlated electron systems, beginning with the discovery of superconductivity and the first observation of a resistance minimum in nominally pure Cu-metal, which was explained many years later by Kondo. I will also address the antagonistic behavior of conventional (BCS) superconductivity and magnetism. The main focus of this paper is on the discovery of non-BCS-type superconductivity in the Kondo-lattice system CeCu$_2$Si$_2$, a prototypical heavy-fermion metal. Here, the superconducting state is created by a periodic lattice of 100% of magnetic Ce^3+ ions. Meanwhile, more than fifty lanthanide-, actinide-, and transition-metal-based intermetallic compounds are known to belong to the class of heavy-fermion superconductors. Finally, I will give my personal view of the current knowledge of this kind of unconventional superconductivity.


title: Energy-Aware Hierarchical Control of Joint Velocities

abstract: Nowadays, robots are applied in dynamic environments. For a robust operation, the motion planning module must consider other tasks besides reaching a specified pose: (self) collision avoidance, joint limit avoidance, keeping an advantageous configuration, etc. Each task demands different joint control commands, which may counteract each other. We present a hierarchical control that, depending on the robot and environment state, determines online a suitable priority among those tasks. Thereby, the control command of a lower-prioritized task never hinders the control command of a higher-prioritized task. We ensure smooth control signals also during priority rearrangement. Our hierarchical control computes reference joint velocities. However, the underlying concepts of hierarchical control differ when using joint accelerations or joint torques as control signals instead. So, as a further contribution, we provide a comprehensive discussion on how joint velocity control, joint acceleration control, and joint torque control differ in hierarchical task control. We validate our formulation in an experiment on hardware.


title: Tracing Position in the Regime of the Restricted Three-Body Problem to a Halo Orbit

abstract: Driven by the desire to find positions that satisfy keepout constraints for a space-based telescope mission, this work develops a process for tracing a point in space in the regime of the restricted three-body problem to a halo orbit, characterized by its out-of-plane amplitude, and its position on that halo orbit, denoted by the halo orbit time. This process utilizes third-order solutions from the Lindstedt-Poincare method, which have been partially inverted to expect a point in space as an input. Three different methodologies that use these partially inverted expressions are presented. Results are produced for 1,000 randomly selected points using all three methods and are compared to truth. Ultimately, the method that employed two distinct accuracy metrics yielded the most accurate results for the dataset.


title: Testing Leptogenesis and Seesaw using Long-lived Particle Searches in the $B-L$ Model

abstract: We discuss the potential of using long-lived particle (LLP) searches for right-handed neutrinos (RHNs) to test resonant leptogenesis and the seesaw mechanism. This is challenging if only RHNs are added to the Standard Model (SM), as naturally the active-sterile mixing strength are small, for 100 GeV $\lesssim M_N \lesssim 400$ GeV. Instead, we consider the $B-L$ gauge model, where a $Z^\prime$ gauge boson couples to fermions including the RHNs. During leptogenesis, this gauge coupling introduces scattering processes that washout the $B-L$ asymmetry. At colliders, it can lead to abundant production of RHNs which can probe the seesaw using LLP searches. We discuss the results for three benchmark scenarios, and find that LLP searches at the FCC-hh can test leptogenesis and seesaw mechanism at the same time, and probe the active-sterile mixings $|V_{\ell N}|^2$ at or below the seesaw floor.


title: Volume-Preserving Transformers for Learning Time Series Data with Structure

abstract: Two of the many trends in neural network research of the past few years have been (i) the learning of dynamical systems, especially with recurrent neural networks such as long short-term memory networks (LSTMs) and (ii) the introduction of transformer neural networks for natural language processing (NLP) tasks. Both of these trends have created enormous amounts of traction, particularly the second one: transformer networks now dominate the field of NLP. Even though some work has been performed on the intersection of these two trends, those efforts was largely limited to using the vanilla transformer directly without adjusting its architecture for the setting of a physical system. In this work we use a transformer-inspired neural network to learn a dynamical system and furthermore (for the first time) imbue it with structure-preserving properties to improve long-term stability. This is shown to be of great advantage when applying the neural network to real world applications.


title: Ionized X-ray winds in the radio galaxy Mrk 6

abstract: Active galactic nucleus (AGN) outflows including jets and ionized winds have been key phenomena such as jet collimation and AGN feedback to the host galaxy in astrophysics. Radio galaxies, a type of AGN with misaligned jets, have provided valuable insights into the properties and relationships of these outflows. However, several aspects regarding AGN outflows remain unclarified, such as the relationship between jets and ultrafast outflows (UFOs) and the differences between the properties of radio-loud AGN disk winds and radio-quiet AGN ionized winds. To clarify these aspects, radio galaxies containing UFOs and warm absorbers (WAs) must be studied. Currently, both UFOs and WAs have been reported in only two radio galaxies, 3C 390.3 and 4C $+$74.26. To enhance our understanding of the connection between the jets and ionized winds, we conducted a study on Mrk 6, a potential candidate for the third case of a radio galaxy displaying these characteristics. Using X-ray spectra obtained from {\it XMM-Newton}, we performed photoionization modeling using the SPEX code. The best-fit model analysis results revealed the presence of a UFO component with a relatively low ionization parameter (Fe {\sc xix}/{\sc xviii} lines blueshifted by $-34700^{+400}_{-200}~{\rm km~s^{-1}}$) and a WA component with an outflow velocity of $-7600 \pm 200~{\rm km~s }^{-1}$. To further confirm the nature of the UFO and WA in Mrk 6, we simulated the X-ray imagining and spectroscopy mission spectra.


title: On Solution Uniqueness and Robust Recovery for Sparse Regularization with a Gauge: from Dual Point of View

abstract: In this paper, we focus on the exploration of solution uniqueness, sharpness, and robust recovery in sparse regularization with a gauge $J$. Based on the criteria for the uniqueness of Lagrange multipliers in the dual problem, we give a characterization of the unique solution via the so-called radial cone. We establish characterizations of the isolated calmness (i.e., uniqueness of solutions combined with the calmness properties) of two types of the solution mappings and prove that they are equivalent under the assumption of metric subregularity of the subdifferentials for regularizers. Furthermore, we present sufficient and necessary conditions for a sharp solution, and show that these conditions guarantee robust recovery with a linear rate and imply local upper Lipschitzian properties of the solution mapping. Some applications of the polyhedral regularizer case such as sparse analysis regularization, weighted sorted $\ell_1$-norm sparse regularization, and non-polyhedral regularizer cases such as nuclear norm optimization, conic gauge optimization, and semidefinite conic gauge optimization are given.


title: Distributed Collapsed Gibbs Sampler for Dirichlet Process Mixture Models in Federated Learning

abstract: Dirichlet Process Mixture Models (DPMMs) are widely used to address clustering problems. Their main advantage lies in their ability to automatically estimate the number of clusters during the inference process through the Bayesian non-parametric framework. However, the inference becomes considerably slow as the dataset size increases. This paper proposes a new distributed Markov Chain Monte Carlo (MCMC) inference method for DPMMs (DisCGS) using sufficient statistics. Our approach uses the collapsed Gibbs sampler and is specifically designed to work on distributed data across independent and heterogeneous machines, which habilitates its use in horizontal federated learning. Our method achieves highly promising results and notable scalability. For instance, with a dataset of 100K data points, the centralized algorithm requires approximately 12 hours to complete 100 iterations while our approach achieves the same number of iterations in just 3 minutes, reducing the execution time by a factor of 200 without compromising clustering performance. The code source is publicly available at https://github.com/redakhoufache/DisCGS.


title: Extracting topological orders of generalized Pauli stabilizer codes in two dimensions

abstract: In this paper, we introduce an algorithm for extracting topological data from translation invariant generalized Pauli stabilizer codes in two-dimensional systems, focusing on the analysis of anyon excitations and string operators. The algorithm applies to $\mathbb{Z}_d$ qudits, including instances where $d$ is a nonprime number. This capability allows the identification of topological orders that may differ from $\mathbb{Z}_d$ toric codes, thereby extending the scope beyond the established theorem that Pauli stabilizer codes of $\mathbb{Z}_p$ qudits (with $p$ being a prime) are equivalent to finite copies of $\mathbb{Z}_p$ toric codes and trivial stabilizers. The algorithm is designed to determine all anyons and their string operators, enabling the computation of their fusion rules, topological spins, and braiding statistics. The method converts the identification of topological orders into computational tasks, including Gaussian elimination, the Hermite normal form, and the Smith normal form of truncated Laurent polynomials. Furthermore, the algorithm provides a systematic approach for studying quantum error-correcting codes. We apply it to various codes, such as self-dual CSS quantum codes modified from the color code and non-CSS quantum codes that contain the double semion topological order or the six-semion topological order.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: UniDCP: Unifying Multiple Medical Vision-language Tasks via Dynamic Cross-modal Learnable Prompts

abstract: Medical vision-language pre-training (Med-VLP) models have recently accelerated the fast-growing medical diagnostics application. However, most Med-VLP models learn task-specific representations independently from scratch, thereby leading to great inflexibility when they work across multiple fine-tuning tasks. In this work, we propose UniDCP, a Unified medical vision-language model with Dynamic Cross-modal learnable Prompts, which can be plastically applied to multiple medical vision-language tasks. Specifically, we explicitly construct a unified framework to harmonize diverse inputs from multiple pretraining tasks by leveraging cross-modal prompts for unification, which accordingly can accommodate heterogeneous medical fine-tuning tasks. Furthermore, we conceive a dynamic cross-modal prompt optimizing strategy that optimizes the prompts within the shareable space for implicitly processing the shareable clinic knowledge. UniDCP is the first Med-VLP model capable of performing all 8 medical uni-modal and cross-modal tasks over 14 corresponding datasets, consistently yielding superior results over diverse state-of-the-art methods.


title: First variation of functional Wulff shapes

abstract: We introduce functional Wulff shapes based on the classical construction for compact convex sets. With this new tool, we establish a functional version of Aleksandrov's variational lemma in the family of convex functions with compact domain. The resulting formula is then applied to evaluate the first variation of a class of functionals on convex functions. In particular, we extend a recent result by Huang, Liu, Xi, and Zhao.


title: Capillary adhesion of stick insects

abstract: Scientific progress within the last few decades has revealed the functional morphology of an insect's sticky footpads -- a soft, sponge-like pad that secretes a thin liquid film. However, the physico-chemical mechanisms underlying their adhesion remain elusive. Here, we explore these underlying mechanisms by simultaneously measuring adhesive force and contact geometry of the adhesive footpads of live, tethered Indian stick insects, \textit{Carausius morosus}, spanning more than two orders of magnitude in body mass. We find that the adhesive force we measure is similar to previous measurements that use a centrifuge. Our measurements afford use the opportunity to directly probe the adhesive stress \textit{in vivo}, and use existing theory on capillary adhesion to predict the surface tension of the secreted liquid and compare it to previous assumptions. From our predictions, we find that the surface tension required to generate the adhesive stresses we observed ranges between 0.68 mN/m and 12 mN/m. The low surface tension of the liquid would enhance the wetting of the stick insect's footpads and promote their ability to conform to various substrates. Our insights may inform the biomimetic design of capillary-based, reversible adhesives and motivate future studies on the capillary properties of the secreted liquid.


title: Mixed-Spin-P fields for GIT quotients

abstract: The theory of Mixed-Spin-P (MSP) fields was introduced by Chang-Li-Li-Liu for the quintic threefold, aiming at studying its higher-genus Gromov-Witten invariants. Chang-Guo-Li has successfully applied it to prove conjectures on the higher-genus Gromov-Witten invariants, including the BCOV Feynman rule and Yamaguchi-Yau's polynomiality conjecture. This paper generalizes the MSP fields construction to more general GIT quotients, including global complete intersection Calabi-Yau manifolds in toric varieties. This hopefully provides a geometric platform to effectively compute higher-genus Gromov-Witten invariants for complete intersections in toric varieties. The key to our paper is a stability condition which guarantees the separatedness and properness of the cosection degeneracy locus in the moduli. It also gives a mathematical definitions for more general Landau-Ginzburg theories.


title: Radar Classification of Vehicles Using a Ground-Reflection Model

abstract: Classification of road users is important for traffic monitoring. The usability of a height estimate based on the two-ray ground-reflection model as a feature for the classification of vehicles is analyzed in this paper. The four-ray ground-reflection model for fast chirp ramp sequence waveforms of FMCW radars is derived and simplified to the well-known two-ray ground-reflection model. A spectrum from which the height of a target can be derived is obtained using the Lomb-Scargle periodogram. Measurements with two vehicle classes illustrate the approach and show that the model could be used as a feature to distinguish vehicles based on their height.


title: Harnessing the Power of Neural Operators with Automatically Encoded Conservation Laws

abstract: Neural operators (NOs) have emerged as effective tools for modeling complex physical systems in scientific machine learning. In NOs, a central characteristic is to learn the governing physical laws directly from data. In contrast to other machine learning applications, partial knowledge is often known a priori about the physical system at hand whereby quantities such as mass, energy and momentum are exactly conserved. Currently, NOs have to learn these conservation laws from data and can only approximately satisfy them due to finite training data and random noise. In this work, we introduce conservation law-encoded neural operators (clawNOs), a suite of NOs that endow inference with automatic satisfaction of such conservation laws. ClawNOs are built with a divergence-free prediction of the solution field, with which the continuity equation is automatically guaranteed. As a consequence, clawNOs are compliant with the most fundamental and ubiquitous conservation laws essential for correct physical consistency. As demonstrations, we consider a wide variety of scientific applications ranging from constitutive modeling of material deformation, incompressible fluid dynamics, to atmospheric simulation. ClawNOs significantly outperform the state-of-the-art NOs in learning efficacy, especially in small-data regimes.


title: Modified Neumann-Neumann methods for semi- and quasilinear elliptic equations

abstract: The Neumann--Neumann method is a commonly employed domain decomposition method for linear elliptic equations. However, the method exhibits slow convergence when applied to semilinear equations and does not seem to converge at all for certain quasilinear equations. We therefore propose two modified Neumann--Neumann methods that have better convergence properties and require less computations. We provide numerical results that show the advantages of these methods when applied to both semilinear and quasilinear equations. We also prove linear convergence with mesh-independent error reduction under certain assumptions on the equation. The analysis is carried out on general Lipschitz domains and relies on the theory of nonlinear Steklov--Poincar\'e operators.


title: Deinterleaving RADAR emitters with optimal transport distances

abstract: Detection and identification of emitters provide vital information for defensive strategies in electronic intelligence. Based on a received signal containing pulses from an unknown number of emitters, this paper introduces an unsupervised methodology for deinterleaving RADAR signals based on a combination of clustering algorithms and optimal transport distances. The first step involves separating the pulses with a clustering algorithm under the constraint that the pulses of two different emitters cannot belong to the same cluster. Then, as the emitters exhibit complex behavior and can be represented by several clusters, we propose a hierarchical clustering algorithm based on an optimal transport distance to merge these clusters. A variant is also developed, capable of handling more complex signals. Finally, the proposed methodology is evaluated on simulated data provided through a realistic simulator. Results show that the proposed methods are capable of deinterleaving complex RADAR signals.


title: Data-based Model Identification of the Hypothalamus-Pituitary-Thyroid Complex

abstract: The thyroid gland, in conjunction with the pituitary and the hypothalamus, forms a regulated system due to their mutual influence through released hormones. The equilibrium point of this system, commonly referred to as the "set point", is individually determined. This means that determining the correct amount of medication to be administered to patients with hypothyroidism requires several treatment appointments creating an extended treatment process. Because the dynamics of the system have not yet been fully explored, mathematical models are needed to simulate the mutual influence of the respective hormones as well as their course over time. These models enable a deeper understanding of the functionality in the context of data measurements. Therefore, two existing time-dependent mathematical models are used and further analyzed to replicate this overall influence of disparate systems. Both are based on a system of two differential equations modelling the interacting hormones. The parameters of the two models are identified according to different calibration approaches by means of patient data collected in a retrospective study in collaboration with the Medical University of Vienna. The hormonal course in the time domain as well as equilibrium curves including the set-point are then simulated and analyzed with respect to the normalized mean squared error. These calibrated systems allow a more profound insight into the functionality of the formed complex.


title: Massive SLE$_4$, massive CLE$_4$ and the massive planar GFF

abstract: We construct a coupling between a massive GFF and a random curve in which the curve can be interpreted as the level line of the field and has the law of massive SLE$_4$. This coupling is obtained by reweighting the law of the standard coupling GFF-SLE$_4$ and our result can be seen as a conditional version of the path-integral formulation of the massive GFF. We then show that by reweighting the law of the coupling GFF-CLE$_4$ in a similar way, one obtains a coupling between a massive GFF and a random countable collection of simple loops, that we call massive CLE$_4$. Using this coupling, we relate massive CLE$_4$ to the massive Brownian loop soup with intensity $1/2$, thus proving a conjecture of Camia. As the law of the massive GFF, the laws of massive SLE$_4$ and massive CLE$_4$ are conformally covariant.


title: Anomalous relaxation and hyperuniform fluctuations in center-of-mass conserving systems with broken time-reversal symmetry

abstract: We study a paradigmatic model of absorbing-phase transition - the Oslo model - on a one-dimensional ring of $L$ sites with a fixed global density $\bar{\rho}$; notably, microscopic dynamics conserve both mass and \textit{center of mass (CoM), but lacks time-reversal symmetry}. Despite having highly constrained dynamics due to CoM conservation, the system exhibits diffusive relaxation away from criticality and superdiffusive relaxation near criticality. Furthermore, the CoM conservation severely restricts particle movement, rendering the mobility to vanish exactly. Indeed the temporal growth of current fluctuation is qualitatively different from that observed in diffusive systems with a single conservation law. Away from criticality, steady-state fluctuation $\langle \mathcal{Q}_i^2(T,\Delta) \rangle$ of current $\mathcal{Q}_i$ across $i$th bond up to time $T$ \textit{saturates} as $\langle \mathcal{Q}_i^2 \rangle \simeq \Sigma_Q^2(\Delta) - {\rm const.} T^{-1/2}$; near criticality, it grows subdiffusively as $\langle \mathcal{Q}_i^2 \rangle \sim T^\alpha$, with $0 < \alpha < 1/2$, and eventually \textit{saturates} to $\Sigma_Q^2(\Delta)$. The asymptotic current fluctuation $\Sigma_Q^2(\Delta)$ is a \textit{nonmonotonic} function of $\Delta$: It diverges as $\Sigma_Q^2(\Delta) \sim \Delta^2$ for $\Delta \gg \rho_c$ and $\Sigma_Q^2(\Delta) \sim \Delta^{-\delta}$, with $\delta > 0$, for $\Delta \to 0^+$. By using a mass-conservation principle, we exactly determine the exponents $\delta = 2(1-1/\nu_\perp)/\nu_\perp$ and $\alpha = \delta/z \nu_\perp$ via the correlation-length and dynamic exponents, $\nu_\perp$ and $z$, respectively. Finally, we show that, in the steady state, the self-diffusion coefficient $\mathcal{D}_s(\bar{\rho})$ of tagged particles is connected to activity by $\mathcal{D}_s(\bar{\rho}) = a(\bar{\rho}) / \bar{\rho}$.


title: Anisotropic refinable functions and the tile B-splines

abstract: The regularity of refinable functions has been analysed in an extensive literature and is well-understood in two cases: 1) univariate 2) multivariate with an isotropic dilation matrix. The general (non-isotropic) case offered a great resistance. It was done only recently by developing the matrix method. In this paper we make the next step and extend the Littlewood-Paley type method, which is very efficient in the aforementioned special cases, to general equations with arbitrary dilation matrices. This gives formulas for the higher order regularity in $W_2^k(\mathbb{R}^n)$ by means of the Perron eigenvalue of a finite-dimensional linear operator on a special cone. Applying those results to recently introduced tile B-splines, we prove that they can have a higher smoothness than the classical ones of the same order. Moreover, the two-digit tile B-splines have the minimal support of the mask among all refinable functions of the same order of approximation. This proves, in particular, the lowest algorithmic complexity of the corresponding subdivision schemes. Examples and numerical results are provided.


title: Local limits of descent-biased permutations and trees

abstract: We study two related probabilistic models of permutations and trees biased by their number of descents. Here, a descent in a permutation $\sigma$ is a pair of consecutive elements $\sigma(i), \sigma(i+1)$ such that $\sigma(i) > \sigma(i+1)$. Likewise, a descent in a rooted tree with labelled vertices is a pair of a parent vertex and a child such that the label of the parent is greater than the label of the child. For some nonnegative real number $q$, we consider the probability measures on permutations and on rooted labelled trees of a given size where each permutation or tree is chosen with a probability proportional to $q^{\text{number of descents}}$. In particular, we determine the asymptotic distribution of the first elements of permutations under this model. Different phases can be observed based on how $q$ depends on the number of elements $n$ in our permutations. The results on permutations then allow us to characterize the local limit of descent-biased rooted labelled trees.


title: View Transition based Dual Camera Image Fusion

abstract: The dual camera system of wide-angle ($\bf{W}$) and telephoto ($\bf{T}$) cameras has been widely adopted by popular phones. In the overlap region, fusing the $\bf{W}$ and $\bf{T}$ images can generate a higher quality image. Related works perform pixel-level motion alignment or high-dimensional feature alignment of the $\bf{T}$ image to the view of the $\bf{W}$ image and then perform image/feature fusion, but the enhancement in occlusion area is ill-posed and can hardly utilize data from $\bf{T}$ images. Our insight is to minimize the occlusion area and thus maximize the use of pixels from $\bf{T}$ images. Instead of insisting on placing the output in the $\bf{W}$ view, we propose a view transition method to transform both $\bf{W}$ and $\bf{T}$ images into a mixed view and then blend them into the output. The transformation ratio is kept small and not apparent to users, and the center area of the output, which has accumulated a sufficient amount of transformation, can directly use the contents from the T view to minimize occlusions. Experimental results show that, in comparison with the SOTA methods, occlusion area is largely reduced by our method and thus more pixels of the $\bf{T}$ image can be used for improving the quality of the output image.


title: A Classification of Fourier Summation Formulas and Crystalline Measures

abstract: We completely classify Fourier summation formulas, and in particular, all crystalline measures with quadratic decay. Our classification employs techniques from almost periodic functions, Hermite-Biehler functions, de Branges spaces and Poisson representation. We show how our classification generalizes recent results of Kurasov & Sarnak and Olevskii & Ulanovskii. As an application, we give a new classification result for nonnegative measures with uniformly discrete support that are bounded away from zero on their support. In the Appendix we attempt to give a systematic account of the several types of Fourier summation formulas, including a new construction using eta-products, generalizing an old example of Guinand.


title: An epistemic logic for modeling decisions in the context of incomplete knowledge

abstract: Substantial efforts have been made in developing various Decision Modeling formalisms, both from industry and academia. A challenging problem is that of expressing decision knowledge in the context of incomplete knowledge. In such contexts, decisions depend on what is known or not known. We argue that none of the existing formalisms for modeling decisions are capable of correctly capturing the epistemic nature of such decisions, inevitably causing issues in situations of uncertainty. This paper presents a new language for modeling decisions with incomplete knowledge. It combines three principles: stratification, autoepistemic logic, and definitions. A knowledge base in this language is a hierarchy of epistemic theories, where each component theory may epistemically reason on the knowledge in lower theories, and decisions are made using definitions with epistemic conditions.


title: Distributed Asynchronous Service Provisioning in the Edge-Cloud Multi-tier Network

abstract: In an edge-cloud multi-tier network, datacenters provide services to mobile users, with each service having specific latency constraints and computational requirements. Deploying such a variety of services while matching their requirements with the available computing resources is challenging. In addition, time-critical services may have to be migrated as the users move, to keep fulfilling their latency constraints. Unlike previous work relying on an orchestrator with an always-updated global view of the available resources and the users' locations, this work envisions a distributed solution to the above problems. In particular, we propose a distributed asynchronous framework for service deployment in the edge-cloud that increases the system resilience by avoiding a single point of failure, as in the case of a central orchestrator. Our solution ensures cost-efficient feasible placement of services, while using negligible bandwidth. Our results, obtained through trace-driven, large-scale simulations, show that the proposed solution provides performance very close to those obtained by state-of-the-art centralized solutions, and at the cost of a small communication overhead.