title: Theory of Communication Efficient Quantum Secret Sharing

abstract: A $((k,n))$ quantum threshold secret sharing (QTS) scheme is a quantum cryptographic protocol for sharing a quantum secret among $n$ parties such that the secret can be recovered by any $k$ or more parties while $k-1$ or fewer parties have no information about the secret. Despite extensive research on these schemes, there has been very little study on optimizing the quantum communication cost during recovery. Recently, we initiated the study of communication efficient quantum threshold secret sharing (CE-QTS) schemes. These schemes reduce the communication complexity in QTS schemes by accessing $d\geq k$ parties for recovery; here $d$ is fixed ahead of encoding the secret. In contrast to the standard QTS schemes which require $k$ qudits for recovering each qudit in the secret, these schemes have a lower communication cost of $\frac{d}{d-k+1}$ for $d>k$. In this paper, we further develop the theory of communication efficient quantum threshold schemes. Here, we propose universal CE-QTS schemes which reduce the communication cost for all $d\geq k$ simultaneously. We provide a framework based on ramp quantum secret sharing to construct CE-QTS and universal CE-QTS schemes. We give another construction for universal CE-QTS schemes based on Staircase codes. We derived a lower bound on communication complexity and show that our constructions are optimal. Finally, an information theoretic model is developed to analyse CE-QTS schemes and the lower bound on communication complexity is proved again using this model.


title: Structural Interventions in Networks

abstract: Two types of interventions are commonly implemented in networks: characteristic intervention, which influences individuals' intrinsic incentives, and structural intervention, which targets the social links among individuals. In this paper we provide a general framework to evaluate the distinct equilibrium effects of both types of interventions. We identify a hidden equivalence between a structural intervention and an endogenously determined characteristic intervention. Compared with existing approaches in the literature, the perspective from such an equivalence provides several advantages in the analysis of interventions that target network structure. We present a wide range of applications of our theory, including identifying the most wanted criminal(s) in delinquent networks and targeting the key connector for isolated communities.


title: Parameter estimation of a two-component neutron star model with spin wandering

abstract: It is an open challenge to estimate systematically the physical parameters of neutron star interiors from pulsar timing data while separating spin wandering intrinsic to the pulsar (achromatic timing noise) from measurement noise and chromatic timing noise (due to propagation effects). In this paper we formulate the classic two-component, crust-superfluid model of neutron star interiors as a noise-driven, linear dynamical system and use a state-space-based expectation-maximization method to estimate the system parameters using gravitational-wave and electromagnetic timing data. Monte Carlo simulations show that we can accurately estimate all six parameters of the two-component model provided that electromagnetic measurements of the crust angular velocity, and gravitational-wave measurements of the core angular velocity, are both available. When only electromagnetic data are available we can recover the overall relaxation time-scale, the ensemble-averaged spin-down rate, and the strength of the white-noise torque on the crust. However, the estimates of the secular torques on the two components and white noise torque on the superfluid are biased significantly.


title: Noncontact Respiratory Measurement for Multiple People at Arbitrary Locations Using Array Radar and Respiratory-Space Clustering

abstract: We developed a noncontact measurement system for monitoring the respiration of multiple people using millimeter-wave array radar. To separate the radar echoes of multiple people, conventional techniques cluster the radar echoes in the time, frequency, or spatial domain. Focusing on the measurement of the respiratory signals of multiple people, we propose a method called respiratory-space clustering, in which individual differences in the respiratory rate are effectively exploited to accurately resolve the echoes from human bodies. The proposed respiratory-space clustering can separate echoes, even when people are located close to each other. In addition, the proposed method can be applied when the number of targets is unknown and can accurately estimate the number and positions of people. We perform multiple experiments involving five or seven participants to verify the performance of the proposed method, and quantitatively evaluate the estimation accuracy for the number of people and the respiratory intervals. The experimental results show that the average root-mean-square error in estimating the respiratory interval is 196 ms using the proposed method. The use of the proposed method, rather the conventional method, improves the accuracy of the estimation of the number of people by 85.0%, which indicates the effectiveness of the proposed method for the measurement of the respiration of multiple people.


title: Tunable Doping of Rhenium and Vanadium into Transition Metal Dichalcogenides for Two-Dimensional Electronics

abstract: Two-dimensional (2D) transition metal dichalcogenides (TMDCs) with unique electrical properties are fascinating materials used for future electronics. However, the strong Fermi level pinning effect at the interface of TMDCs and metal electrodes always leads to high contact resistance, which seriously hinders their application in 2D electronics. One effective way to overcome this is to use metallic TMDCs or transferred metal electrodes as van der Waals (vdW) contacts. Alternatively, using highly conductive doped TMDCs will have a profound impact on the contact engineering of 2D electronics. Here, a novel chemical vapor deposition using mixed molten salts is established for vapor-liquid-solid growth of high-quality rhenium (Re) and vanadium (V)-doped TMDC monolayers with high controllability and reproducibility. A tunable semiconductor to metal transition is observed in the Re and V-doped TMDCs. Electrical conductivity increases up to a factor of 108 in the degenerate V-doped WS2 and WSe2. Using V-doped WSe2 as vdW contact, the on-state current and on/off ratio of WSe2-based field-effect transistors have been substantially improved (from ~10-8 to 10-5 A; ~104 to 108), compared to metal contacts. Future studies on lateral contacts and interconnects using doped TMDCs will pave the way for 2D integrated circuits and flexible electronics.


title: Development of New Tracking Detector with Fine-grained Nuclear Emulsion for sub-MeV Neutron Measurement

abstract: In this study, we have developed a new sub-MeV neutron detector that has a high position resolution, energy resolution, directional sensitivity, and low background. The detector is based on a super-fine-grained nuclear emulsion, called the Nano Imaging Tracker (NIT), and it is capable of detecting neutron induced proton recoils as tracks through topological analysis with sub-micrometric accuracy. We used a type of NIT with AgBr:I crystals of (98 +- 10) nm size dispersed in the gelatin. First, we calibrated the performance of NIT device for detecting monochromatic neutrons with sub-MeV energy generated by nuclear fusion reactions, and the detection efficiency for recoil proton tracks of more than 2 um range was consistently 100\% (the 1 sigma lower limit was 83%) in accordance with expectations by manual based analysis. In addition, recoil energy and angle distribution obtained good agreement with kinematical expectation. The primary neutron energy was reconstructed by using them, and it was evaluated as 42% with FWHM at 540 keV. Furthermore, we demonstrated newly developed an automatic track recognition system dedicated to the track range of more than a few micrometers. It achieved a recognition efficiency of (74 +- 4)%, and recoil energy and angle distribution obtained good agreement with manual analysis. Finally, it indicated the very high rejection power for gamma-rays.


title: lrsarith: a small fixed/hybrid arithmetic C library

abstract: We describe lrsarith which is a small fixed precision and hybrid arithmetic C library for integers and rationals that we developed for use in the lrslib library for polyhedral computation. Using a generic set of operations, a program can be compiled with either 64-bit or 128-bit (if available) fixed precision, with an extended precision library such as GMP or the built-in MP routines. A simple scheme checks for overflow and either terminates the program or, in hybrid mode, changes to a higher precision arithmetic. Implementing these arithmetics in lrslib resulted in only minimal changes to the original code. We give computational results using lrs and mplrs, vertex/facet enumeration codes in lrslib, using 64 and 128 bit fixed integer arithmetic with and without overflow checking, GMP arithmetic, lrsarith hybrid arithmetic with both GMP and MP, and FLINT hybrid arithmetic. We give a small self-contained example C program using the lrsarith package in both fixed precision and hybrid mode.


title: Zero-Error Communication over Adversarial MACs

abstract: We consider zero-error communication over a two-transmitter deterministic adversarial multiple access channel (MAC) governed by an adversary who has access to the transmissions of both senders (hence called omniscient) and aims to maliciously corrupt the communication. None of the encoders, jammer and decoder is allowed to randomize using private or public randomness. This enforces a combinatorial nature of the problem. Our model covers a large family of channels studied in the literature, including all deterministic discrete memoryless noisy or noiseless MACs. In this work, given an arbitrary two-transmitter deterministic omniscient adversarial MAC, we characterize when the capacity region 1) has nonempty interior (in particular, is two-dimensional); 2) consists of two line segments (in particular, has empty interior); 3) consists of one line segment (in particular, is one-dimensional); 4) or only contains $ (0,0) $ (in particular, is zero-dimensional). This extends a recent result by Wang, Budkuley, Bogdanov and Jaggi (2019) from the point-to-point setting to the multiple access setting. Indeed, our converse arguments build upon their generalized Plotkin bound and involve delicate case analysis. One of the technical challenges is to take care of both "joint confusability" and "marginal confusability". In particular, the treatment of marginal confusability does not follow from the point-to-point results by Wang et al. Our achievability results follow from random coding with expurgation.


title: Evolution of LMXBs under Different Magnetic Braking Prescriptions

abstract: Magnetic braking (MB) likely plays a vital role in the evolution of low-mass X-ray binaries (LMXBs). However, it is still uncertain about the physics of MB, and there are various proposed scenarios for MB in the literature. To examine and discriminate the efficiency of MB, we investigate the LMXB evolution with five proposed MB laws. Combining detailed binary evolution calculation with binary population synthesis, we obtain the expected properties of LMXBs and their descendants binary millisecond pulsars. We then discuss the strength and weakness of each MB law by comparing the calculated results with observations. We conclude that the $\tau$-boosted MB law seems to best match the observational characteristics.


title: FedChain: Secure Proof-of-Stake-based Framework for Federated-blockchain Systems

abstract: In this paper, we propose FedChain, a novel framework for federated-blockchain systems, to enable effective transferring of tokens between different blockchain networks. Particularly, we first introduce a federated-blockchain system together with a cross-chain transfer protocol to facilitate the secure and decentralized transfer of tokens between chains. We then develop a novel PoS-based consensus mechanism for FedChain, which can satisfy strict security requirements, prevent various blockchain-specific attacks, and achieve a more desirable performance compared to those of other existing consensus mechanisms. Moreover, a Stackelberg game model is developed to examine and address the problem of centralization in the FedChain system. Furthermore, the game model can enhance the security and performance of FedChain. By analyzing interactions between the stakeholders and chain operators, we can prove the uniqueness of the Stackelberg equilibrium and find the exact formula for this equilibrium. These results are especially important for the stakeholders to determine their best investment strategies and for the chain operators to design the optimal policy to maximize their benefits and security protection for FedChain. Simulations results then clearly show that the FedChain framework can help stakeholders to maximize their profits and the chain operators to design appropriate parameters to enhance FedChain's security and performance.


title: Optimization of Radar Parameters for Maximum Detection Probability Under Generalized Discrete Clutter Conditions Using Stochastic Geometry

abstract: We propose an analytical framework based on stochastic geometry (SG) formulations to estimate a radar's detection performance under generalized discrete clutter conditions. We model the spatial distribution of discrete clutter scatterers as a homogeneous Poisson point process and the radar cross-section of each extended scatterer as a random variable of the Weibull distribution. Using this framework, we derive a metric called the radar detection coverage probability as a function of radar parameters such as transmitted power, system noise temperature and radar bandwidth; and clutter parameters such as clutter density and mean clutter cross-section. We derive the optimum radar bandwidth for maximizing this metric under noisy and cluttered conditions. We also derive the peak transmitted power beyond which there will be no discernible improvement in radar detection performance due to clutter limited conditions. When both transmitted power and bandwidth are fixed, we show how the detection threshold can be optimized for best performance. We experimentally validate the SG results with a hybrid of Monte Carlo and full wave electromagnetic solver based simulations using finite difference time domain (FDTD) techniques.


title: Subgraph nomination: Query by Example Subgraph Retrieval in Networks

abstract: This paper introduces the subgraph nomination inference task, in which example subgraphs of interest are used to query a network for similarly interesting subgraphs. This type of problem appears time and again in real world problems connected to, for example, user recommendation systems and structural retrieval tasks in social and biological/connectomic networks. We formally define the subgraph nomination framework with an emphasis on the notion of a user-in-the-loop in the subgraph nomination pipeline. In this setting, a user can provide additional post-nomination light supervision that can be incorporated into the retrieval task. After introducing and formalizing the retrieval task, we examine the nuanced effect that user-supervision can have on performance, both analytically and across real and simulated data examples.


title: Learning Twofold Heterogeneous Multi-Task by Sharing Similar Convolution Kernel Pairs

abstract: Heterogeneous multi-task learning (HMTL) is an important topic in multi-task learning (MTL). Most existing HMTL methods usually solve either scenario where all tasks reside in the same input (feature) space yet unnecessarily the consistent output (label) space or scenario where their input (feature) spaces are heterogeneous while the output (label) space is consistent. However, to the best of our knowledge, there is limited study on twofold heterogeneous MTL (THMTL) scenario where the input and the output spaces are both inconsistent or heterogeneous. In order to handle this complicated scenario, in this paper, we design a simple and effective multi-task adaptive learning (MTAL) network to learn multiple tasks in such THMTL setting. Specifically, we explore and utilize the inherent relationship between tasks for knowledge sharing from similar convolution kernels in individual layers of the MTAL network. Then in order to realize the sharing, we weightedly aggregate any pair of convolutional kernels with their similarity greater than some threshold $\rho$, consequently, our model effectively performs cross-task learning while suppresses the intra-redundancy of the entire network. Finally, we conduct end-to-end training. Our experimental results demonstrate the effectiveness of our method in comparison with the state-of-the-art counterparts.


title: Effect of different patient peak arrivals on an Emergency Department via discrete event simulation

abstract: Emergency Departments (EDs) overcrowding is a well recognized worldwide phenomenon. The consequences range from long waiting times for visits and treatment of patients up to life-threatening health conditions. The international community is devoting greater and greater efforts to analyze this phenomenon aiming at reducing waiting times, improving the quality of the service. Within this framework, we propose a Discrete Event Simulation (DES) model to study the patient flows through a medium-size ED located in a region of Central Italy recently hit by a severe earthquake. In particular, our aim is to simulate unusual ED conditions, corresponding to critical events (like a natural disaster) that cause a sudden spike in the number of patient arrivals. The availability of detailed data concerning the ED processes enabled to build an accurate DES model and to perform extensive scenario analyses. The model provides a valid decision support system for the ED managers also in defining specific emergency plans to be activated in case of mass casualty disasters.


title: Asymmetrical mass ejection from proto-white dwarfs and the formation of eccentric millisecond pulsar binaries

abstract: Binary millisecond pulsars (MSPs) are believed to have descended from low-mass X-ray binaries (LMXBs), which have experienced substantial mass transfer and tidal circularization. Therefore, they should have very circular orbits. However, the discovery of several eccentric binary MSPs (with eccentricity $e\sim 0.01-0.1$) challenges this standard picture. Three models have been proposed thus far based on accretion-induced collapse of massive white dwarfs (WDs), neutron star-strange star transition, and formation of circumbinary disks. All of them are subject to various uncertainties, and are not entirely consistent with observations. Here we propose an alternative model taking into account the influence of thermonuclear flashes on proto-WDs. We assume that the flashes lead to asymmetrical mass ejection, which imparts a mild kick on the proto-WDs. By simulating orbital changes of binary MSPs with multiple shell flashes, we show that it is possible to reproduce the observed eccentricities, provided that the kick velocities are around a few kms$^{-1}$.


title: Peeler: Profiling Kernel-Level Events to Detect Ransomware

abstract: Ransomware is a growing threat that typically operates by either encrypting a victim's files or locking a victim's computer until the victim pays a ransom. However, it is still challenging to detect such malware timely with existing traditional malware detection techniques. In this paper, we present a novel ransomware detection system, called "Peeler" (Profiling kErnEl -Level Events to detect Ransomware). Peeler deviates from signatures for individual ransomware samples and relies on common and generic characteristics of ransomware depicted at the kernel-level. Analyzing diverse ransomware families, we observed ransomware's inherent behavioral characteristics such as stealth operations performed before the attack, file I/O request patterns, process spawning, and correlations among kernel-level events. Based on those characteristics, we develop Peeler that continuously monitors a target system's kernel events and detects ransomware attacks on the system. Our experimental results show that Peeler achieves more than 99\% detection rate with 0.58\% false-positive rate against 43 distinct ransomware families, containing samples from both crypto and screen-locker types of ransomware. For crypto ransomware, Peeler detects them promptly after only one file is lost (within 115 milliseconds on average). Peeler utilizes around 4.9\% of CPU time with only 9.8 MB memory under the normal workload condition. Our analysis demonstrates that Peeler can efficiently detect diverse malware families by monitoring their kernel-level events.


title: Decays of Higgs Bosons in the Standard Model and Beyond

abstract: We make an updated review and a systematic and comprehensive analysis of the decays of Higgs bosons in the Standard Model (SM) and its three well-defined prototype extensions such as the complex singlet extension of the SM (cxSM), the four types of two Higgs-doublet models (2HDMs) without tree-level Higgs-mediated flavor-changing neutral current (FCNC) and the minimal supersymmetric extension of the SM (MSSM). We summarize the theoretical predictions for the decay widths of the SM Higgs boson and those of Higgs bosons appearing in its extensions taking account of all possible decay modes. We incorporate them to study and analyze decay patterns of CP-even, CP-odd, and CP-mixed neutral Higgs bosons and charged ones. We put special focus on the properties of a neutral Higgs boson with mass about 125 GeV discovered at the LHC and present constraints obtained from precision analysis of it. This review is intended to be self-contained and consolidated by coherently integrating relevant physics information for studying decays of Higgs bosons in the SM and beyond.


title: Channel Measurement and Ray-Tracing-Statistical Hybrid Modeling for Low-Terahertz Indoor Communications

abstract: TeraHertz (THz) communications are envisioned as a promising technology, owing to its unprecedented multi-GHz bandwidth. One fundamental challenge when moving to new spectrum is to understand the science of radio propagation and develop an accurate channel model. In this paper, a wideband channel measurement campaign between 130 GHz and 143 GHz is investigated in a typical meeting room. Directional antennas are utilized and rotated for resolving the multi-path components (MPCs) in the angular domain. With careful system calibration that eliminates system errors and antenna effects, a realistic power delay profile is developed. Furthermore, a combined MPC clustering and matching procedure with ray-tracing techniques is proposed to investigate the cluster behavior and wave propagation of THz signals. In light of the measurement results, physical parameters and insights in the THz indoor channel are comprehensively analyzed, including the line-of-sight path loss, power distributions, temporal and spatial features, and correlations among THz multi-path characteristics. Finally, a hybrid channel model that combines ray-tracing and statistical methods is developed for THz indoor communications. Numerical results demonstrate that the proposed hybrid channel model shows good agreement with the measurement and outperforms the conventional statistical and geometric-based stochastic channel model in terms of the temporal-spatial characteristics.


title: A feasibility Study of Time of Flight Computed Tomography for Breast Imaging

abstract: Cone beam computed tomography (CBCT) for breast imaging has potential to replace conventional mammograms. However, concerns over dose and image quality prevent CBBCT systems from the clinical trial phase to next stage. The time of flight (TOF) method was recently shown to reduce the x-ray scattering effects by 95% and improve the image CNR by 110% for large volume objects. The advancements in x-ray sources like in compact Free Electron Lasers (FEL) and advancements in detector technology show potential for the TOF method to be feasible in CBCT when imaging large objects. In this study, we investigate the efficacy of this TOF CBCT in improving the breast cancer imaging. The GATE software was used to simulate the cone beam CT imaging of an 8 cm diameter cylindrical water phantom using a modeled 20 keV quasi-energetic FEL source and various detector temporal resolutions ranging from 1 to 1000 ps. An inhomogeneous breast phantom of similar size was also imaged using the same system setup. Results show that a detector temporal resolution of 10 ps improved the image contrast-to-noise ratio (CNR) by 57% and reduced the scatter-to-primary ratio (SPR) by 8.63 for a small cylindrical phantom. For the breast phantom, the image CNR was enhanced by 12% and the SPR was reduced by 1.35 at 5 ps temporal resolution.


title: X-ray fluorescence computed tomography (XFCT) imaging with a superfine pencil beam x-ray source

abstract: X-ray fluorescence computed tomography (XFCT) is a molecular imaging technique of x-ray photons, which can be used to sense different elements or nanoparticle (NP) agents inside deep samples or tissues. XFCT has been an active research topic for many years. However, XFCT has not been a popular molecular imaging tool because it has limited molecular sensitivity and spatial resolution. To further investigate XFCT imaging, we present a benchtop XFCT imaging system, in in which a unique pencil beam x-ray source and a ring of x-ray spectrometers were simulated using GATE (Geant4 Application for Tomographic Emission) software. An accelerated majorization minimization (MM) algorithm with an L1 regularization scheme was used to reconstruct the XRF image of Molybdenum (Mo) NP targets from the numerical measurements of GATE simulations. With a low x-ray source output rate, good target localization was achieved with a DICE coefficient of 83.681%. The reconstructed signal intensity of the targets was found to be relatively proportional to the target concentrations if detector number and placement is optimized. The MM algorithm performance was compared with maximum likelihood expectation maximization (ML-EM) and filtered back projection (FBP) algorithms. In the future, the benchtop XFCT imaging system will be tested experimentally


title: Spatiotemporal Dilated Convolution with Uncertain Matching for Video-based Crowd Estimation

abstract: In this paper, we propose a novel SpatioTemporal convolutional Dense Network (STDNet) to address the video-based crowd counting problem, which contains the decomposition of 3D convolution and the 3D spatiotemporal dilated dense convolution to alleviate the rapid growth of the model size caused by the Conv3D layer. Moreover, since the dilated convolution extracts the multiscale features, we combine the dilated convolution with the channel attention block to enhance the feature representations. Due to the error that occurs from the difficulty of labeling crowds, especially for videos, imprecise or standard-inconsistent labels may lead to poor convergence for the model. To address this issue, we further propose a new patch-wise regression loss (PRL) to improve the original pixel-wise loss. Experimental results on three video-based benchmarks, i.e., the UCSD, Mall and WorldExpo'10 datasets, show that STDNet outperforms both image- and video-based state-of-the-art methods. The source codes are released at \url{https://github.com/STDNet/STDNet}.


title: Projective closures of affine monomial curves

abstract: We study the projective closures of three important families of affine monomial curves in dimension $4$, namely the Backelin curve, the Bresinsky curve and the Arslan curve, in order to explore possible connections between syzygies and the arithmetic Cohen-Macaulay property.


title: $P_{cs}(4459)$ and other possible molecular states from $\Xi_{c}^{(*)}\bar{D}^{(*)}$ and $\Xi'_c\bar{D}^{(*)}$ interactions

abstract: Recently, the LHCb Collaboration reported a new structure $P_{cs}(4459)$ with a mass of 19 MeV below the $\Xi_c \bar{D}^{*} $ threshold. It may be a candidate of molecular state from the $\Xi_c \bar{D}^{*} $ interaction. In the current work, we perform a coupled-channel study of the $\Xi_c^*\bar{D}^*$, $\Xi'_c\bar{D}^*$, $\Xi^*_c\bar{D}$, $\Xi_c\bar{D}^*$, $\Xi'_c\bar{D}$, and $\Xi_c\bar{D}$ interactions in the quasipotential Bethe-Salpeter equation approach. With the help of the heavy quark chiral effective Lagrangian, the potential is constructed by light meson exchanges. Two $\Xi_c \bar{D}^{*} $ molecular states are produced with spin parities $ J^P=1/2^-$ and $3/2^- $. The lower state with $3/2^-$ can be related to the observed $P_{cs}(4450)$ while two-peak structure cannot be excluded. Within the same model, other strange hidden-charm pentaquarks are also predicted. Two states with spin parities $1/2^-$ and $3/2^-$ are predicted near the $\Xi'_c\bar{D}$, $\Xi_c\bar{D}$, and $\Xi_c^*\bar{D}$ thresholds, respectively. As two states near $\Xi_c \bar{D}^{*}$ threshold, two states are produced with $1/2^-$ and $3/2^-$ near the $\Xi'_c\bar{D}^*$ threshold. The couplings of the molecular states to the considered channels are also discussed. The experimental research of those states are helpful to understand the origin and internal structure of the $P_{cs}$ and $P_c$ states.


title: Finding the Sweet Spot for Data Anonymization: A Mechanism Design Perspective

abstract: Data sharing between different organizations is an essential process in today's connected world. However, recently there were many concerns about data sharing as sharing sensitive information can jeopardize users' privacy. To preserve the privacy, organizations use anonymization techniques to conceal users' sensitive data. However, these techniques are vulnerable to de-anonymization attacks which aim to identify individual records within a dataset. In this paper, a two-tier mathematical framework is proposed for analyzing and mitigating the de-anonymization attacks, by studying the interactions between sharing organizations, data collector, and a prospective attacker. In the first level, a game-theoretic model is proposed to enable sharing organizations to optimally select their anonymization levels for k-anonymization under two potential attacks: background-knowledge attack and homogeneity attack. In the second level, a contract-theoretic model is proposed to enable the data collector to optimally reward the organizations for their data. The formulated problems are studied under single-time sharing and repeated sharing scenarios. Different Nash equilibria for the proposed game and the optimal solution of the contract-based problem are analytically derived for both scenarios. Simulation results show that the organizations can optimally select their anonymization levels, while the data collector can benefit from incentivizing the organizations to share their data.


title: Ground state many-body quantum entanglement of frustrated transverse field models on square lattice

abstract: We study the ground state (GS) many-body quantum entanglement of two different transverse field models on a quasi-2D square lattice relevant to a Hydrogen-bonded crystal, i.e, squaric acid. We measure the genuine multipartite qubit-entanglement ($C_{\text{GME}}(\psi)$) of the ground state of very generic models with all the possible cases of exchange couplings considered under defect free and one lattice site defect conditions. Our results show that creation, decay of multipartite entanglement occur for different combinations of coupling strength. When frustration is maximum the system exhibits a peak in concurrence after a gradual increase from disentangled state at zero field followed by an asymptotic decay at large fields. In contrast, for a marginally frustrated (degenerate) case though the concurrence shows a peak, the entanglement is non-zero and large at zero fields. Our results discuss the sensitivity of the qubit-entanglement with underlying GS of varying degree of degeneracy. We conclude that despite of their similarities in ground state properties, yet we see a difference in the degree of entanglement between the two models. We conjecture this result could be due to the difference in the amount of degeneracy and the quantum ground states of both Hamiltonians that could dictate the results even in the thermodynamic limit.


title: Impacts of export restrictions on the global personal protective equipment trade network during COVID-19

abstract: The COVID-19 pandemic has caused a dramatic surge in demand for personal protective equipment (PPE) worldwide. Many countries have imposed export restrictions on PPE to ensure the sufficient domestic supply. The surging demand and export restrictions cause shortage contagions on the global PPE trade network. Here, we develop an integrated network model, which integrates a metapopulation model and a threshold model, to investigate the shortage contagion patterns. The metapopulation model captures disease contagion across countries. The threshold model captures the shortage contagion on the global PPE trade network. Results show that, the shortage contagion patterns are mainly decided by top exporters. Export restrictions exacerbate the shortages of PPE and cause the shortage contagion to transmit even faster than the disease contagion. Besides, export restrictions lead to ineffective and inefficient allocation of PPE around the world, which has no benefits for the world to fight against the pandemic.


title: Sparsity Based Autoencoders for Denoising Cluttered Radar Signatures

abstract: Narrowband and broadband indoor radar images significantly deteriorate in the presence of target dependent and independent static and dynamic clutter arising from walls. A stacked and sparse denoising autoencoder (StackedSDAE) is proposed for mitigating wall clutter in indoor radar images. The algorithm relies on the availability of clean images and corresponding noisy images during training and requires no additional information regarding the wall characteristics. The algorithm is evaluated on simulated Doppler-time spectrograms and high range resolution profiles generated for diverse radar frequencies and wall characteristics in around-the-corner radar (ACR) scenarios. Additional experiments are performed on range-enhanced frontal images generated from measurements gathered from a wideband RF imaging sensor. The results from the experiments show that the StackedSDAE successfully reconstructs images that closely resemble those that would be obtained in free space conditions. Further, the incorporation of sparsity and depth in the hidden layer representations within the autoencoder makes the algorithm more robust to low signal to noise ratio (SNR) and label mismatch between clean and corrupt data during training than the conventional single layer DAE. For example, the denoised ACR signatures show a structural similarity above 0.75 to clean free space images at SNR of -10dB and label mismatch error of 50%.


title: Counterfactual State Explanations for Reinforcement Learning Agents via Generative Deep Learning

abstract: Counterfactual explanations, which deal with "why not?" scenarios, can provide insightful explanations to an AI agent's behavior. In this work, we focus on generating counterfactual explanations for deep reinforcement learning (RL) agents which operate in visual input environments like Atari. We introduce counterfactual state explanations, a novel example-based approach to counterfactual explanations based on generative deep learning. Specifically, a counterfactual state illustrates what minimal change is needed to an Atari game image such that the agent chooses a different action. We also evaluate the effectiveness of counterfactual states on human participants who are not machine learning experts. Our first user study investigates if humans can discern if the counterfactual state explanations are produced by the actual game or produced by a generative deep learning approach. Our second user study investigates if counterfactual state explanations can help non-expert participants identify a flawed agent; we compare against a baseline approach based on a nearest neighbor explanation which uses images from the actual game. Our results indicate that counterfactual state explanations have sufficient fidelity to the actual game images to enable non-experts to more effectively identify a flawed RL agent compared to the nearest neighbor baseline and to having no explanation at all.


title: The Mind's Eye: Visualizing Class-Agnostic Features of CNNs

abstract: Visual interpretability of Convolutional Neural Networks (CNNs) has gained significant popularity because of the great challenges that CNN complexity imposes to understanding their inner workings. Although many techniques have been proposed to visualize class features of CNNs, most of them do not provide a correspondence between inputs and the extracted features in specific layers. This prevents the discovery of stimuli that each layer responds better to. We propose an approach to visually interpret CNN features given a set of images by creating corresponding images that depict the most informative features of a specific layer. Exploring features in this class-agnostic manner allows for a greater focus on the feature extractor of CNNs. Our method uses a dual-objective activation maximization and distance minimization loss, without requiring a generator network nor modifications to the original model. This limits the number of FLOPs to that of the original network. We demonstrate the visualization quality on widely-used architectures.


title: The M3 project: 1- A global hyperspectral image-cube of the Martian surface

abstract: This paper is the first paper of a series that will present the derivation of the modal mineralogy of Mars (M3 project) at a global scale from the near-infrared dataset acquired by the imaging spectrometer OMEGA (Observatoire pour la Min\'eralogie, l'Eau, les Glaces et l'Activit\'e) on board ESA/Mars Express. The objective is to create and provide a global 3-D image-cube of Mars at 32px/{\deg} covering most of Mars surface. This product has several advantages. First, it can be used to instantaneously extract atmospheric- and aerosol-corrected near-infrared (NIR) spectra from any location on Mars. Second, several new data maps can be built as discussed here. That includes new global mineral distributions, quantitative mineral abundance distributions and maps of Martian surface chemistry (wt % oxide) detailed in a companion paper (Riu et al., submitted). Here we present the method to derive the global hyperspectral cube from several hundred millions of spectra. Global maps of some mafic minerals are then shown, and compared to previous works.


title: LiteBIRD: JAXA's new strategic L-class mission for all-sky surveys of cosmic microwave background polarization

abstract: LiteBIRD, the Lite (Light) satellite for the study of B-mode polarization and Inflation from cosmic background Radiation Detection, is a space mission for primordial cosmology and fundamental physics. JAXA selected LiteBIRD in May 2019 as a strategic large-class (L-class) mission, with its expected launch in the late 2020s using JAXA's H3 rocket. LiteBIRD plans to map the cosmic microwave background (CMB) polarization over the full sky with unprecedented precision. Its main scientific objective is to carry out a definitive search for the signal from cosmic inflation, either making a discovery or ruling out well-motivated inflationary models. The measurements of LiteBIRD will also provide us with an insight into the quantum nature of gravity and other new physics beyond the standard models of particle physics and cosmology. To this end, LiteBIRD will perform full-sky surveys for three years at the Sun-Earth Lagrangian point L2 for 15 frequency bands between 34 and 448 GHz with three telescopes, to achieve a total sensitivity of 2.16 micro K-arcmin with a typical angular resolution of 0.5 deg. at 100GHz. We provide an overview of the LiteBIRD project, including scientific objectives, mission requirements, top-level system requirements, operation concept, and expected scientific outcomes.

categories: astro-ph.IM astro-ph.CO gr-qc hep-ex hep-ph


title: The M3 project: 2 -- Global distributions of mafic mineral abundances on Mars

abstract: A radiative transfer model was used to reproduce several millions of OMEGA (Observatoire pour la Min\'eralogie, l'Eau, les Glaces et l'Activit\'e) spectra representative of igneous terrains of Mars. This task provided the modal composition and grain sizes at a planetary scale. The lithology can be summarized in five mineral maps at km-scale. We found that the low albedo equatorial regions of the Martian surface (from 60{\deg}S to 30{\deg}N) are globally dominated by plagioclase with average abundance ~50 vol% and pyroxenes with total averaged abundance close to 40 vol%. An evolution of the LCP/(LCP+HCP) ratio is observed with time at the global scale, suggesting an evolution of the degree of partial melting throughout the Martian eras. Olivine and Martian dust are minor components of the modelled terrains. The olivine distribution is quite different from the other minerals because it is found on localized areas with abundance reaching 20 vol%. A statistical approach, to classify the pixels of the abundances maps, using k-means clustering, highlighted seven distinct mineral assemblages on the surface. This classification illustrates that diverse mineralogical units are found in the Noachian and Hesperian terrains, which suggests the presence of various and complex magmatic processes at a global scale during the two oldest eras. The chemical composition was derived from the modal composition maps. The OMEGA-derived chemical composition is quite consistent with several distinctive geochemical characteristics previously considered as fingerprints of the Martian surface. A major discrepancy is in regards to the Fe content that is significantly smaller than soil and rock analyses from GRS and in situ measurements. The discrepancy could be partly explained by the assumptions used for the spectral modelling or could also indicate surface alteration rinds.


title: A Study on the Association between Maternal Childhood Trauma Exposure and Placental-fetal Stress Physiology during Pregnancy

abstract: It has been found that the effect of childhood trauma (CT) exposure may pass on to the next generation. Scientists have hypothesized that the association between CT exposure and placental-fetal stress physiology is the mechanism. A study was conducted to examine the hypothesis. To examine the association between CT exposure and placental corticotrophin-releasing hormone (pCRH), linear mixed effect model and hierarchical Bayesian linear model were constructed. In Bayesian inference, by providing conditionally conjugate priors, Gibbs sampler was used to draw MCMC samples. Piecewise linear mixed effect model was conducted in order to adjust to the dramatic change of pCRH at around week 20 into pregnancy. Pearson residual, QQ, ACF and trace plots were used to justify the model adequacy. Likelihood ratio test and DIC were utilized to model selection. The association between CT exposure and pCRH during pregnancy is obvious. The effect of CT exposure on pCRH varies dramatically over gestational age. Women with one childhood trauma would experience 11.9% higher in pCRH towards the end of pregnancy than those without childhood trauma. The increase rate of pCRH after week 20 is almost four-fold larger than that before week 20. Frequentist and Bayesian inference produce similar results. The findings support the hypothesis that the effect of CT exposure on pCRH over GA exists. The effect changes dramatically at around week 20 into pregnancy.


title: Homogeneous varieties under split solvable algebraic groups

abstract: We present a modern proof of a theorem of Rosenlicht, asserting that every variety as in the title is isomorphic to a product of affine lines and punctured affine lines.


title: A Companion Curve Tracing Method for Rank-deficient Polynomial Systems

abstract: We propose a method for tracing implicit real algebraic curves defined by polynomials with rank-deficient Jacobians. For a given curve $f^{-1}(0)$, it first utilizes a regularization technique to compute at least one witness point per connected component of the curve. We improve this step by establishing a sufficient condition for testing the emptiness of $f^{-1}(0)$. We also analyze the convergence rate and carry out an error analysis for refining the witness points. The witness points are obtained by computing the minimum distance of a random point to a smooth manifold embedding the curve while at the same time penalizing the residual of $f$ at the local minima. To trace the curve starting from these witness points, we prove that if one drags the random point along a trajectory inside a tubular neighborhood of the embedded manifold of the curve, the projection of the trajectory on the manifold is unique and can be computed by numerical continuation. We then show how to choose such a trajectory to approximate the curve by computing eigenvectors of certain matrices. Effectiveness of the method is illustrated by examples.


title: How flux feeding causes eruptions of solar magnetic flux ropes with the hyperbolic flux tube configuration?

abstract: Coronal magnetic flux ropes are generally considered to be the core structure of large-scale solar eruptions. Recent observations found that solar eruptions could be initiated by a sequence of "flux feeding," during which chromospheric fibrils rise upward from below, and merge with a pre-existing prominence. Further theoretical study has confirmed that the flux feeding mechanism is efficient in causing the eruption of flux ropes that are wrapped by bald patch separatrix surfaces. But it is unclear how flux feeding influences coronal flux ropes that are wrapped by hyperbolic flux tubes (HFT), and whether it is able to cause the flux-rope eruption. In this paper, we use a 2.5-dimensional magnetohydrodynamic model to simulate the flux feeding processes in HFT configurations. It is found that flux feeding injects axial magnetic flux into the flux rope, whereas the poloidal flux of the rope is reduced after flux feeding. Flux feeding is able to cause the flux rope to erupt, provided that the injected axial flux is large enough so that the critical axial flux of the rope is reached. Otherwise, the flux rope system evolves to a stable equilibrium state after flux feeding, which might be even farther away from the onset of the eruption, indicating that flux feeding could stabilize the rope system with the HFT configuration in this circumstance.


title: The growth of COVID-19 scientific literature: A forecast analysis of different daily time series in specific settings

abstract: We present a forecasting analysis on the growth of scientific literature related to COVID-19 expected for 2021. Considering the paramount scientific and financial efforts made by the research community to find solutions to end the COVID-19 pandemic, an unprecedented volume of scientific outputs is being produced. This questions the capacity of scientists, politicians and citizens to maintain infrastructure, digest content and take scientifically informed decisions. A crucial aspect is to make predictions to prepare for such a large corpus of scientific literature. Here we base our predictions on the ARIMA model and use two different data sources: the Dimensions and World Health Organization COVID-19 databases. These two sources have the particularity of including in the metadata information the date in which papers were indexed. We present global predictions, plus predictions in three specific settings: type of access (Open Access), NLM source (PubMed and PMC), and domain-specific repository (SSRN and MedRxiv). We conclude by discussing our findings.


title: Newtonalized Orthogonal Matching Pursuit for Linear Frequency Modulated Pulse Frequency Agile Radar

abstract: The linear frequency modulated (LFM) frequency agile radar (FAR) can synthesize a wide signal bandwidth through coherent processing while keeping the bandwidth of each pulse narrow. In this way, high range resolution profiles (HRRP) can be obtained without increasing the hardware system cost. Furthermore, the agility provides improved both robustness to jamming and spectrum efficiency. Motivated by the Newtonalized orthogonal matching pursuit (NOMP) for line spectral estimation problem, the NOMP for the FAR radar termed as NOMP-FAR is designed to process each coarse range bin to extract the HRRP and velocities of multiple targets, including the guide for determining the oversampling factor and the stopping criterion. In addition, it is shown that the target will cause false alarm in the nearby coarse range bins, a postprocessing algorithm is then proposed to suppress the ghost targets. Numerical simulations are conducted to demonstrate the effectiveness of NOMP-FAR.


title: RetaGNN: Relational Temporal Attentive Graph Neural Networks for Holistic Sequential Recommendation

abstract: Sequential recommendation (SR) is to accurately recommend a list of items for a user based on her current accessed ones. While new-coming users continuously arrive in the real world, one crucial task is to have inductive SR that can produce embeddings of users and items without re-training. Given user-item interactions can be extremely sparse, another critical task is to have transferable SR that can transfer the knowledge derived from one domain with rich data to another domain. In this work, we aim to present the holistic SR that simultaneously accommodates conventional, inductive, and transferable settings. We propose a novel deep learning-based model, Relational Temporal Attentive Graph Neural Networks (RetaGNN), for holistic SR. The main idea of RetaGNN is three-fold. First, to have inductive and transferable capabilities, we train a relational attentive GNN on the local subgraph extracted from a user-item pair, in which the learnable weight matrices are on various relations among users, items, and attributes, rather than nodes or edges. Second, long-term and short-term temporal patterns of user preferences are encoded by a proposed sequential self-attention mechanism. Third, a relation-aware regularization term is devised for better training of RetaGNN. Experiments conducted on MovieLens, Instagram, and Book-Crossing datasets exhibit that RetaGNN can outperform state-of-the-art methods under conventional, inductive, and transferable settings. The derived attention weights also bring model explainability.


title: Critique on "Volume penalization for inhomogeneous Neumann boundary conditions modeling scalar flux in complicated geometry"

abstract: In this letter, we provide counter-examples to demonstrate that it is possible to retain second-order accuracy using Sakurai et al.'s method, even when different flux boundary conditions are imposed on multiple interfaces that do not conform to the Cartesian grid. We consider both continuous and discontinuous indicator functions in our test problems. Both indicator functions yield a similar convergence rate for the problems considered here. We also find that the order of accuracy results for some of the cases presented in Sakurai et al. are not reproducible. This is demonstrated by re-considering the same one- and two-dimensional Poisson problems solved in Sakurai et al. in this letter. The results shown in this letter demonstrate that the spatial order of accuracy of the flux-based VP approach of Sakurai et al. is between $\mathcal{O}$(1) and $\mathcal{O}$(2), and it depends on the underlying problem/model. The spatial order of accuracy cannot simply be deduced a priori based on the imposed flux values, shapes, or grid-conformity of the interfaces, as concluded in Sakurai et al. Further analysis is required to understand the spatial convergence rate of the flux-based VP method.


title: On $f$-divergences between Cauchy distributions

abstract: We prove that the $f$-divergences between univariate Cauchy distributions are all symmetric, and can be expressed as strictly increasing scalar functions of the symmetric chi-squared divergence. We report the corresponding scalar functions for the total variation distance, the Kullback-Leibler divergence, the squared Hellinger divergence, and the Jensen-Shannon divergence among others. Next, we give conditions to expand the $f$-divergences as converging infinite series of higher-order power chi divergences, and illustrate the criterion for converging Taylor series expressing the $f$-divergences between Cauchy distributions. We then show that the symmetric property of $f$-divergences holds for multivariate location-scale families with prescribed matrix scales provided that the standard density is even which includes the cases of the multivariate normal and Cauchy families. However, the $f$-divergences between multivariate Cauchy densities with different scale matrices are shown asymmetric. Finally, we present several metrizations of $f$-divergences between univariate Cauchy distributions and further report geometric embedding properties of the Kullback-Leibler divergence.


title: Homomorphisms of algebraic groups: representability and rigidity

abstract: Given two algebraic groups $G$, $H$ over a field $k$, we investigate the representability of the functor of morphisms (of schemes) $\mathbf{Hom}(G,H)$ and the subfunctor of homomorphisms (of algebraic groups) $\mathbf{Hom}_{\rm gp}(G,H)$. We show that $\mathbf{Hom}(G,H)$ is represented by a group scheme, locally of finite type, if the $k$-vector space $\mathcal{O}(G)$ is finite-dimensional; the converse holds if $H$ is not \'etale. When $G$ is linearly reductive and $H$ is smooth, we show that $\mathbf{Hom}_{\rm gp}(G,H)$ is represented by a smooth scheme $M$; moreover, every orbit of $H$ acting by conjugation on $M$ is open.


title: Experimental implementation of precisely tailored light-matter interaction via inverse engineering

abstract: Accurate and efficient quantum control in the presence of constraints and decoherence is a requirement and a challenge in quantum information processing. Shortcuts to adiabaticity, originally proposed to speed up slow adiabatic process, have nowadays become versatile toolboxes for preparing states or controlling the quantum dynamics. Unique shortcut designs are required for each quantum system with intrinsic physical constraints, imperfections, and noises. Here, we implement fast and robust control for the state preparation and state engineering in a rare-earth ions system. Specifically, the interacting pulses are inversely engineered and further optimized with respect to inhomogeneities of the ensemble and the unwanted interaction with other qubits. We demonstrate that our protocols surpass the conventional adiabatic schemes, by reducing the decoherence from the excited state decay and inhomogeneous broadening. The results presented here are applicable to other noisy intermediate scale quantum systems.


title: Synthesizing Monolingual Data for Neural Machine Translation

abstract: In neural machine translation (NMT), monolingual data in the target language are usually exploited through a method so-called "back-translation" to synthesize additional training parallel data. The synthetic data have been shown helpful to train better NMT, especially for low-resource language pairs and domains. Nonetheless, large monolingual data in the target domains or languages are not always available to generate large synthetic parallel data. In this work, we propose a new method to generate large synthetic parallel data leveraging very small monolingual data in a specific domain. We fine-tune a pre-trained GPT-2 model on such small in-domain monolingual data and use the resulting model to generate a large amount of synthetic in-domain monolingual data. Then, we perform back-translation, or forward translation, to generate synthetic in-domain parallel data. Our preliminary experiments on three language pairs and five domains show the effectiveness of our method to generate fully synthetic but useful in-domain parallel data for improving NMT in all configurations. We also show promising results in extreme adaptation for personalized NMT.


title: Robust Representation Learning with Feedback for Single Image Deraining

abstract: A deraining network can be interpreted as a conditional generator that aims at removing rain streaks from image. Most existing image deraining methods ignore model errors caused by uncertainty that reduces embedding quality. Unlike existing image deraining methods that embed low-quality features into the model directly, we replace low-quality features by latent high-quality features. The spirit of closed-loop feedback in the automatic control field is borrowed to obtain latent high-quality features. A new method for error detection and feature compensation is proposed to address model errors. Extensive experiments on benchmark datasets as well as specific real datasets demonstrate that the proposed method outperforms recent state-of-the-art methods. Code is available at: \\ https://github.com/LI-Hao-SJTU/DerainRLNet


title: Eigenvalues of the Laplace operator with potential under the backward Ricci flow on locally homogeneous 3-manifolds

abstract: Let $\lambda(t)$ be the first eigenvalue of $-\Delta+aR\, (a>0)$ under the backward Ricci flow on locally homogeneous 3-manifolds, where $R$ is the scalar curvature. In the Bianchi case, we get the upper and lower bounds of $\lambda(t)$. In particular, we show that when the the backward Ricci flow converges to a sub-Riemannian geometry after a proper re-scaling, $\lambda^{+}(t)$ approaches zero, where $\lambda^{+}(t)=\max\{\lambda(t),0\}$.


title: AGSTN: Learning Attention-adjusted Graph Spatio-Temporal Networks for Short-term Urban Sensor Value Forecasting

abstract: Forecasting spatio-temporal correlated time series of sensor values is crucial in urban applications, such as air pollution alert, biking resource management, and intelligent transportation systems. While recent advances exploit graph neural networks (GNN) to better learn spatial and temporal dependencies between sensors, they cannot model time-evolving spatio-temporal correlation (STC) between sensors, and require pre-defined graphs, which are neither always available nor totally reliable, and target at only a specific type of sensor data at one time. Moreover, since the form of time-series fluctuation is varied across sensors, a model needs to learn fluctuation modulation. To tackle these issues, in this work, we propose a novel GNN-based model, Attention-adjusted Graph Spatio-Temporal Network (AGSTN). In AGSTN, multi-graph convolution with sequential learning is developed to learn time-evolving STC. Fluctuation modulation is realized by a proposed attention adjustment mechanism. Experiments on three sensor data, air quality, bike demand, and traffic flow, exhibit that AGSTN outperforms the state-of-the-art methods.


title: Surfaces of revolution admitting strongly convex slope metrics

abstract: This paper discusses the geometry of a surface endowed with a slope metric. We obtain necessary and sufficient conditions for any surface of revolution to admit a strongly convex slope metric. Such conditions involve certain inequalities for the derivative of the associated function on the Cartesian coordinate and the polar coordinate. In particular, we apply this result to certain well-know surface of revolution.


title: Contact Pose Identification for Peg-in-Hole Assembly under Uncertainties

abstract: Peg-in-hole assembly is a challenging contact-rich manipulation task. There is no general solution to identify the relative position and orientation between the peg and the hole. In this paper, we propose a novel method to classify the contact poses based on a sequence of contact measurements. When the peg contacts the hole with pose uncertainties, a tilt-then-rotate strategy is applied, and the contacts are measured as a group of patterns to encode the contact pose. A convolutional neural network (CNN) is trained to classify the contact poses according to the patterns. In the end, an admittance controller guides the peg towards the error direction and finishes the peg-in-hole assembly. Simulations and experiments are provided to show that the proposed method can be applied to the peg-in-hole assembly of different geometries. We also demonstrate the ability to alleviate the sim-to-real gap.


title: Partial Automorphisms and Injective Partial Endomorphisms of a Finite Undirected Path

abstract: In this paper, we study partial automorphisms and, more generally, injective partial endomorphisms of a finite undirected path from Semigroup Theory perspective. Our main objective is to give formulas for the ranks of the monoids $IEnd(P_n)$ and $PAut(P_n)$ of all injective partial endomorphisms and of all partial automorphisms of the undirected path $P_n$ with $n$ vertices. We also describe Green's relations of $PAut(P_n)$ and $IEnd(P_n)$ and calculate their cardinals.


title: Finslerian indicatrices as algebraic curves and surfaces

abstract: We show how to construct new Finsler metrics, in two and three dimensions, whose indicatrices are pedal curves or pedal surfaces of some other curves or surfaces. These Finsler metrics are generalizations of the famous slope metric, also called Matsumoto metric.


title: Addendum to "Tilings problems on Baumslag-Solitar groups"

abstract: In our article in MCU'2013 we state the the Domino problem is undecidable for all Baumslag-Solitar groups $BS(m,n)$, and claim that the proof is a direct adaptation of the construction of a weakly aperiodic subshift of finite type for $BS(m,n)$ given in the paper. In this addendum, we clarify this point and give a detailed proof of the undecidability result. We assume the reader is already familiar with the article in MCU'2013.


title: Effective metric outside bootstrapped Newtonian sources

abstract: We determine the complete space-time metric from the bootstrapped Newtonian potential generated by a static spherically symmetric source in the surrounding vacuum. This metric contains post-Newtonian parameters which can be further used to constrain the complete underlying dynamical theory. For values of the post-Newtonian parameters within experimental bounds, the reconstructed metric appears very close to the Schwarzschild solution of General Relativity in the whole region outside the event horizon. The latter is however larger in size for the same value of the mass compared to the Schwarzschild case.


title: Battery-constrained Federated Edge Learning in UAV-enabled IoT for B5G/6G Networks

abstract: In this paper, we study how to optimize the federated edge learning (FEEL) in UAV-enabled Internet of things (IoT) for B5G/6G networks, from a deep reinforcement learning (DRL) approach. The federated learning is an effective framework to train a shared model between decentralized edge devices or servers without exchanging raw data, which can help protect data privacy. In UAV-enabled IoT networks, latency and energy consumption are two important metrics limiting the performance of FEEL. Although most of existing works have studied how to reduce the latency and improve the energy efficiency, few works have investigated the impact of limited batteries at the devices on the FEEL. Motivated by this, we study the battery-constrained FEEL, where the UAVs can adjust their operating CPU-frequency to prolong the battery life and avoid withdrawing from federated learning training untimely. We optimize the system by jointly allocating the computational resource and wireless bandwidth in time-varying environments. To solve this optimization problem, we employ a deep deterministic policy gradient (DDPG) based strategy, where a linear combination of latency and energy consumption is used to evaluate the system cost. Simulation results are finally demonstrated to show that the proposed strategy outperforms the conventional ones. In particular, it enables all the devices to complete all rounds of FEEL with limited batteries and meanwhile reduce the system cost effectively.


title: Dual exponential polynomials and a problem of Ozawa

abstract: Complex linear differential equations with entire coefficients are studied in the situation where one of the coefficients is an exponential polynomial and dominates the growth of all the other coefficients. If such an equation has an exponential polynomial solution $f$, then the order of $f$ and of the dominant coefficient are equal, and the two functions possess a certain duality property. The results presented in this paper improve earlier results by some of the present authors, and the paper adjoins with two open problems.


title: Unified First-Principles Study of the Anomalous Hall Effect Based on Exact Muffin-Tin Orbitals

abstract: Based on the exact muffin-tin orbitals (EMTOs), we developed a first-principles method to calculate the current operators and investigated the anomalous Hall effect in bcc Fe as an example, with which we successfully separated the skew scattering contribution from the side jump and intrinsic contributions by fitting the scaling law with the introduction of sparse impurities. By investigating the temperature dependence of the anomalous Hall effect in bulk Fe, we predicted a fluctuated anomalous Hall angle as a function of temperature when considering only phonons, which, in the future, can be measured in experiments by suppressing magnon excitation, e.g., by applying a high external magnetic field.


title: A Comprehensive Survey on 6G Networks:Applications, Core Services, Enabling Technologies, and Future Challenges

abstract: Cellular Internet of Things (IoT) is considered as de facto paradigm to improve the communication and computation systems. Cellular IoT connects massive number of physical and virtual objects to the Internet using cellular networks. The latest generation of cellular networks, e.g. fifth-generation (5G), use evolutionary and revolutionary technologies to notably improve the performance of wireless networks. However, given the envisioned new use-cases, e.g., holographic communication, and the ever-increasing deployment of massive smart-physical end-devices in IoT, the volume of network traffic has considerably raised, and therefore, the current generation of mobile networks cannot wholly meet the ever-increasing demands. Hence, it is envisioned that the next generation, sixth generation (6G) networks, need to play a critical role to alleviate such challenges in IoT by providing new communication services, network capacity, and ultra-low latency communications (uRLLC). In this paper, first, the need for 6G networks is discussed. Then, the potential 6G requirements and trends, as well as the latest research activities related to 6G are introduced e.g., Tactile Internet and Terahertz (THz). Furthermore, the key performance indicators, applications, new services, and the potential key enabling technologies for 6G networks are presented. Finally, several potential unresolved challenges for future 6G networks are presented.


title: Beyond traditional assumptions in fair machine learning

abstract: This thesis scrutinizes common assumptions underlying traditional machine learning approaches to fairness in consequential decision making. After challenging the validity of these assumptions in real-world applications, we propose ways to move forward when they are violated. First, we show that group fairness criteria purely based on statistical properties of observed data are fundamentally limited. Revisiting this limitation from a causal viewpoint we develop a more versatile conceptual framework, causal fairness criteria, and first algorithms to achieve them. We also provide tools to analyze how sensitive a believed-to-be causally fair algorithm is to misspecifications of the causal graph. Second, we overcome the assumption that sensitive data is readily available in practice. To this end we devise protocols based on secure multi-party computation to train, validate, and contest fair decision algorithms without requiring users to disclose their sensitive data or decision makers to disclose their models. Finally, we also accommodate the fact that outcome labels are often only observed when a certain decision has been made. We suggest a paradigm shift away from training predictive models towards directly learning decisions to relax the traditional assumption that labels can always be recorded. The main contribution of this thesis is the development of theoretically substantiated and practically feasible methods to move research on fair machine learning closer to real-world applications.


title: Magnetic higher-order nodal lines

abstract: Nodal lines, as one-dimensional band degeneracies in momentum space, usually feature a linear energy splitting. Here, we propose the concept of magnetic higher-order nodal lines, which are nodal lines with higher-order energy splitting and realized in magnetic systems with broken time reversal symmetry. We provide sufficient symmetry conditions for stabilizing magnetic quadratic and cubic nodal lines, based on which concrete lattice models are constructed to demonstrate their existence. Unlike its counterpart in nonmagnetic systems, the magnetic quadratic nodal line can exist as the only band degeneracy at the Fermi level. We show that these nodal lines can be accompanied by torus surface states, which form a surface band that span over the whole surface Brillouin zone. Under symmetry breaking, these magnetic nodal lines can be transformed into a variety of interesting topological states, such as three-dimensional quantum anomalous Hall insulator, multiple linear nodal lines, and magnetic triple-Weyl semimetal. The three-dimensional quantum anomalous Hall insulator features a Hall conductivity $\sigma_{xy}$ quantized in unit of $e^2/(hd)$ where $d$ is the lattice constant normal to the $x$-$y$ plane. Our work reveals previously unknown topological states, and offers guidance to search for them in realistic material systems.


title: Neural networks for semantic segmentation of historical city maps: Cross-cultural performance and the impact of figurative diversity

abstract: In this work, we present a new semantic segmentation model for historical city maps that surpasses the state of the art in terms of flexibility and performance. Research in automatic map processing is largely focused on homogeneous corpora or even individual maps, leading to inflexible algorithms. Recently, convolutional neural networks have opened new perspectives for the development of more generic tools. Based on two new maps corpora, the first one centered on Paris and the second one gathering cities from all over the world, we propose a method for operationalizing the figuration based on traditional computer vision algorithms that allows large-scale quantitative analysis. In a second step, we propose a semantic segmentation model based on neural networks and implement several improvements. Finally, we analyze the impact of map figuration on segmentation performance and evaluate future ways to improve the representational flexibility of neural networks. To conclude, we show that these networks are able to semantically segment map data of a very large figurative diversity with efficiency.


title: Mawrth Vallis, Mars: a fascinating place for future in situ exploration

abstract: After the successful landing of the Mars Science Laboratory rover, both NASA and ESA initiated a selection process for potential landing sites for the Mars2020 and ExoMars missions, respectively. Two ellipses located in the Mawrth Vallis region were proposed and evaluated during a series of meetings (3 for Mars2020 mission and 5 for ExoMars). We describe here the regional context of the two proposed ellipses as well as the framework of the objectives of these two missions. Key science targets of the ellipses and their astrobiological interests are reported. This work confirms the proposed ellipses contain multiple past Martian wet environments of subaerial, subsurface and/or subaqueous character, in which to probe the past climate of Mars, build a broad picture of possible past habitable environments, evaluate their exobiological potentials and search for biosignatures in well-preserved rocks. A mission scenario covering several key investigations during the nominal mission of each rover is also presented, as well as descriptions of how the site fulfills the science requirements and expectations of in situ martian exploration. These serve as a basis for potential future exploration of the Mawrth Vallis region with new missions and describe opportunities for human exploration of Mars in terms of resources and science discoveries.


title: The Ext-algebra of the Brauer tree algebra associated to a line

abstract: We compute the Ext-algebra of the Brauer tree algebra associated to a line with no exceptional vertex.


title: Pulse processing in TES detectors: comparison of different short filter methods based on optimal filtering. Case study for Athena X-IFU

abstract: In the framework of the ESA Athena mission, the X-ray Integral Field Unit (X-IFU) instrument to be on board the X-ray Athena Observatory is a cryogenic micro-calorimeter array of Transition Edge Sensor (TES) detectors aimed at providing spatially resolved high-resolution spectroscopy. As a part of the on-board Event Processor (EP), the reconstruction software will provide the energy, spatial location and arrival time of the incoming X-ray photons hitting the detector and inducing current pulses on it. Being the standard optimal filtering technique the chosen baseline reconstruction algorithm, different modifications have been analyzed to process pulses shorter than those considered of high resolution (those where the full length is not available due to a close pulse after them) in order to select the best option based on energy resolution and computing performance results. It can be concluded that the best approach to optimize the energy resolution for short filters is the 0-padding filtering technique, benefiting also from a reduction in the computational resources. However, its high sensitivity to offset fluctuations currently prevents its use as the baseline treatment for the X-IFU application for lack of consolidated information on the actual stability it will get in flight.


title: Self-Supervised Pretraining for RGB-D Salient Object Detection

abstract: Existing CNNs-Based RGB-D salient object detection (SOD) networks are all required to be pretrained on the ImageNet to learn the hierarchy features which helps provide a good initialization. However, the collection and annotation of large-scale datasets are time-consuming and expensive. In this paper, we utilize self-supervised representation learning (SSL) to design two pretext tasks: the cross-modal auto-encoder and the depth-contour estimation. Our pretext tasks require only a few and unlabeled RGB-D datasets to perform pretraining, which makes the network capture rich semantic contexts and reduce the gap between two modalities, thereby providing an effective initialization for the downstream task. In addition, for the inherent problem of cross-modal fusion in RGB-D SOD, we propose a consistency-difference aggregation (CDA) module that splits a single feature fusion into multi-path fusion to achieve an adequate perception of consistent and differential information. The CDA module is general and suitable for cross-modal and cross-level feature fusion. Extensive experiments on six benchmark datasets show that our self-supervised pretrained model performs favorably against most state-of-the-art methods pretrained on ImageNet. The source code will be publicly available at \textcolor{red}{\url{https://github.com/Xiaoqi-Zhao-DLUT/SSLSOD}}.


title: Dielectric response of BaTiO3 electronic states under AC fields via microsecond time-resolved X-ray absorption spectroscopy

abstract: For the first time, the dielectric response of a BaTiO3 thin film under an AC electric field is investigated using time-resolved X-ray absorption spectroscopy at the Ti K-edge to clarify correlated contributions of each constituent atom on the electronic states. Intensities of the pre-edge eg peak and shoulder structure just below the main edge increase with an increase in the amplitude of the applied electric field, whereas that of the main peak decreases in an opposite manner. Based on the multiple scattering theory, the increase and decrease of the eg and main peaks are simulated for different Ti off-center displacements. Our results indicate that these spectral features reflect the inter- and intra-atomic hybridization of Ti 3d with O 2p and Ti 4p, respectively. In contrast, the shoulder structure is not affected by changes in the Ti off-center displacement but is susceptible to the effect of the corner site Ba ions. This is the first experimental verification of the dynamic electronic contribution of Ba to polarization reversal.


title: Charge exchange radiation diagnostic with gas jet target for measurement of plasma flow velocity in the linear magnetic trap

abstract: The ambipolar electrostatic potential rising along the magnetic field line from the grounded wall to the centre in the linear gas dynamic trap, rules the available suppression of axial heat and particle losses. In this paper, the visible range optical diagnostic is described using the Doppler shift of plasma emission lines for measurements of this accelerating potential drop. We used the room temperature hydrogen jet puffed directly on the line of sight as the charge exchange target for plasma ions moving in the expanding flux from the mirror towards the wall. Both bulk plasma protons and $He^{2+}$ ions velocity distribution functions can be spectroscopically studied; the latter population is produced via the neutral He tracer puff into the central cell plasma. This way, potential in the centre and in the mirror area can be measured simultaneously along with the ion temperature. A reasonable accuracy of $4\div8\%$ was achieved in observations with the frame rate of $\approx 1~kHz$. Active acquisitions on the gas jet also provide the spatial resolution better than 5~mm in the middle plane radial coordinate because of the strong compression of the object size when projected to the centre along the magnetic flux surface. The charge exchange radiation diagnostic operates with three emission lines: H-$\alpha$ 656.3~nm, He-I 667.8~nm and He-I 587.6~nm. Recorded spectra are shown in the paper and examples for physical dependences are presented. The considered experimental technique can be scaled to the upgraded multi-point diagnostic for the next generation linear traps and other magnetic confinement systems.


title: Derivation of a governing rule in triboelectric charging and series from thermoelectricity

abstract: Friction-driven static electrification is familiar and fundamental in daily life, industry, and technology, but its basics have long been unknown and have continually perplexed scientists from ancient Greece to the modern high-tech era. Despite its simple manifestation, triboelectric charging is believed to be very complex because of the unresolvable interfacial interaction between two rubbing materials. Here, we for the first time reveal a simple physics of triboelectric charging and triboelectric series based on friction-originated thermoelectric charging effects at the interface, characterized by the material density (${\rho}$), specific heat (c), thermal conductivity (k), and Seebeck coefficient (S) of each material. We demonstrate that energy dissipational heat at the interface induces temperature variations in the materials and thus develops electrostatic potentials that will initiate thermoelectric charging across the interface. We find that the trends and quantities of triboelectric charging for various polymers, metals, semiconductors, and even lightning clouds are simply governed by the triboelectric factor ${\xi}=S/\sqrt{{\rho}ck}$. The triboelectric figure-of-merit is expressed with the triboelectric power K=${\xi}\sqrt{t/{\pi}}$, of which the difference can be maximized up to 1.2 V/W cm$^{-2}$ at the friction time t = 1 s. Our findings will bring significant opportunities for microscopic understanding and management of triboelectricity or static electrification.


title: A search for radio pulsars in five nearby supernova remnants

abstract: Most neutron stars are expected to be born in supernovae, but only about half of supernova remnants (SNRs) are associated with a compact object. In many cases, a supernova progenitor may have resulted in a black hole. However, there are several possible reasons why true pulsar-SNR associations may have been missed in previous surveys: The pulsar's radio beam may not be oriented towards us; the pulsar may be too faint to be detectable; or there may be an offset in the pulsar position caused by a kick. Our goal is to find new pulsars in SNRs and explore their possible association with the remnant. The search and selection of the remnants presented in this paper was inspired by the non-detection of any X-ray bright compact objects in these remnants when previously studied. Five SNRs were searched for radio pulsars with the Green Bank Telescope at 820 MHz with multiple pointings to cover the full spatial extent of the remnants. A periodicity search plus an acceleration search up to 500 m/s^2 and a single pulse search were performed for each pointing in order to detect potential isolated binary pulsars and single pulses, respectively. No new pulsars were detected in the survey. However, we were able to re-detect a known pulsar, PSR J2047+5029, near SNR G89.0+4.7. We were unable to detect the radio-quiet gamma-ray pulsar PSR J2021+4026, but we do find a flux density limit of 0.08 mJy. Our flux density limits make our survey two to 16 times more sensitive than previous surveys, while also covering the whole spatial extent of the same remnants. We discuss potential explanations for the non-detection of a pulsar in the studied SNRs and conclude that sensitivity is still the most likely factor responsible for the lack of pulsars in some remnants.


title: Chaos in the Bose-glass phase of a one-dimensional disordered Bose fluid

abstract: We show that the Bose-glass phase of a one-dimensional disordered Bose fluid exhibits a chaotic behavior, i.e., an extreme sensitivity to external parameters. Using bosonization, the replica formalism and the nonperturbative functional renormalization group, we find that the ground state is unstable to any modification of the disorder configuration ("disorder" chaos) or variation of the Luttinger parameter ("quantum" chaos, analog to the "temperature" chaos in classical disordered systems). This result is obtained by considering two copies of the system, with slightly different disorder configurations or Luttinger parameters, and showing that inter-copy statistical correlations are suppressed at length scales larger than an overlap length $\xi_{\mathrm{ov}}\sim |\epsilon|^{-1/\alpha}$ ($|\epsilon|\ll 1$ is a measure of the difference between the disorder distributions or Luttinger parameters of the two copies). The chaos exponent $\alpha$ can be obtained by computing $\xi_{\mathrm{ov}}$ or by studying the instability of the Bose-glass fixed point for the two-copy system when $\epsilon\neq 0$. The renormalized, functional, inter-copy disorder correlator departs from its fixed-point value -- characterized by cuspy singularities -- via a chaos boundary layer, in the same way as it approaches the Bose-glass fixed point when $\epsilon=0$ through a quantum boundary layer. Performing a linear analysis of perturbations about the Bose-glass fixed point, we find $\alpha=1$.


title: Scattering on Quasi-Spherical Black-Holes: Features and Beyond

abstract: Recent developments in the gravitational waves interferometry require more pertinent theoretical models of gravitational waves generation and propagation. Untouched possible mechanisms of spin-2 spacetime perturbations production, we will consider their subsequent scattering on other black holes (BHs). Specifically, we consider a generalization of the Regge-Wheeler-Zerilli equations for the case of distorted BHs (BHs surrounded with matter) in Minkowski and Anti-de Sitter spacetimes, the metric potential of which obeys the Liouville equation. We establish significant differences in scattering characteristics of waves of different spins and angular momenta, including the gravitational waves, caused by losing the spherical symmetry of their propagation background. In particular, we demonstrate the strong impact of the background geometry deformation on the grey-body factors, hence on the absorption cross-sections of scattering waves, and explore the issue of stability of the background geometry upon changing the deformation degree parameters.


title: Iterated Brownian motion ad libitum is not the pseudo-arc

abstract: We show that the construction of a random continuum $\mathcal{C}$ from independent two-sided Brownian motions as considered in arXiv:2004.01367 almost surely yields a non-degenerate indecomposable but not-hereditary indecomposable continuum. In particular $\mathcal{C}$ is (unfortunately) not the pseudo-arc.


title: Moment-Based Exact Uncertainty Propagation Through Nonlinear Stochastic Autonomous Systems

abstract: In this paper, we address the problem of uncertainty propagation through nonlinear stochastic dynamical systems. More precisely, given a discrete-time continuous-state probabilistic nonlinear dynamical system, we aim at finding the sequence of the moments of the probability distributions of the system states up to any desired order over the given planning horizon. Moments of uncertain states can be used in estimation, planning, control, and safety analysis of stochastic dynamical systems. Existing approaches to address moment propagation problems provide approximate descriptions of the moments and are mainly limited to particular set of uncertainties, e.g., Gaussian disturbances. In this paper, to describe the moments of uncertain states, we introduce trigonometric and also mixed-trigonometric-polynomial moments. Such moments allow us to obtain closed deterministic dynamical systems that describe the exact time evolution of the moments of uncertain states of an important class of autonomous and robotic systems including underwater, ground, and aerial vehicles, robotic arms and walking robots. Such obtained deterministic dynamical systems can be used, in a receding horizon fashion, to propagate the uncertainties over the planning horizon in real-time. To illustrate the performance of the proposed method, we benchmark our method against existing approaches including linear, unscented transformation, and sampling based uncertainty propagation methods that are widely used in estimation, prediction, planning, and control problems.


title: Efficient-CapsNet: Capsule Network with Self-Attention Routing

abstract: Deep convolutional neural networks, assisted by architectural design strategies, make extensive use of data augmentation techniques and layers with a high number of feature maps to embed object transformations. That is highly inefficient and for large datasets implies a massive redundancy of features detectors. Even though capsules networks are still in their infancy, they constitute a promising solution to extend current convolutional networks and endow artificial visual perception with a process to encode more efficiently all feature affine transformations. Indeed, a properly working capsule network should theoretically achieve higher results with a considerably lower number of parameters count due to intrinsic capability to generalize to novel viewpoints. Nevertheless, little attention has been given to this relevant aspect. In this paper, we investigate the efficiency of capsule networks and, pushing their capacity to the limits with an extreme architecture with barely 160K parameters, we prove that the proposed architecture is still able to achieve state-of-the-art results on three different datasets with only 2% of the original CapsNet parameters. Moreover, we replace dynamic routing with a novel non-iterative, highly parallelizable routing algorithm that can easily cope with a reduced number of capsules. Extensive experimentation with other capsule implementations has proved the effectiveness of our methodology and the capability of capsule networks to efficiently embed visual representations more prone to generalization.


title: A Practical Two-Sample Test for Weighted Random Graphs

abstract: Network (graph) data analysis is a popular research topic in statistics and machine learning. In application, one is frequently confronted with graph two-sample hypothesis testing where the goal is to test the difference between two graph populations. Several statistical tests have been devised for this purpose in the context of binary graphs. However, many of the practical networks are weighted and existing procedures can't be directly applied to weighted graphs. In this paper, we study the weighted graph two-sample hypothesis testing problem and propose a practical test statistic. We prove that the proposed test statistic converges in distribution to the standard normal distribution under the null hypothesis and analyze its power theoretically. The simulation study shows that the proposed test has satisfactory performance and it substantially outperforms the existing counterpart in the binary graph case. A real data application is provided to illustrate the method.


title: Transmission Power Allocation for Remote Estimation with Multi-packet Reception Capabilities

abstract: In this paper we consider the problem of transmission power allocation for remote estimation of a dynamical system in the case where the estimator is able to simultaneously receive packets from multiple interfering sensors, as it is possible e.g. with the latest wireless technologies such as 5G and WiFi. To this end we introduce a general model where packet arrival probabilities are determined based on the received Signal-to-Interference-and-Noise Ratio and with two different receivers design schemes, one implementing standard multi-packet reception technique and one implementing Successive Interference Cancellation decoding algorithm in addition. Then we cast the power allocation problem as an optimization task where the mean error covariance at the remote estimator is minimized, while penalizing the mean transmission power consumption. For the infinite-horizon problem we show the existence of a stationary optimal policy, while for the finite-horizon case we derive some structural properties under the special scenario where the overall system to be estimated can be seen as a set of independent subsystems. Numerical simulations illustrate the improvement given by the proposed receivers over orthogonal schemes that schedules only one sensor transmission at a time in order to avoid interference.


title: Analog dual to a 2+1-dimensional holographic superconductor

abstract: We study an analog hydrodynamic model that mimics a 3+1 AdS planar BH spacetime dual to a 2+1-dimensional superconductor. We demonstrate that the AdS$_4$ bulk and its holographic dual could be realized in nature in an analog gravity model based on fluid dynamics. In particular we mimic the metric of an $O_2$ holographic superconductor and calculate the entanglement entropy of a conveniently designed subsystem at the boundary of the analog AdS$_4$ bulk.


title: Magnetization Reversal Mechanism in Exchange-Biased Spring-like Thin-Film Composite

abstract: Development of modern spintronic devices requires materials exhibiting specific magnetic effects. In this paper, we investigate a magnetization reversal mechanism in a [Co/Pdx]7/CoO/[Co/Pdy]7 thin-film composite where an antiferromagnet is sandwiched between a hard and a soft ferromagnets with different coercivities. The antiferromagnet/ferromagnet interfaces give rise to the exchange bias effect. The application of soft and hard ferromagnetic films causes exchange-spring-like behavior while the choice of the Co/Pd multilayers provides large out-of-plane magnetic anisotropy. We observed that the magnitude and the sign of the exchange bias anisotropy field are related to the arrangement of the magnetic moments in the antiferromagnetic layer. This ordering is induced by the spin orientation present in neighboring ferromagnetic films which is, in turn, dependent on the orientation and strength of the external magnetic field.


title: Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

abstract: We study a smart grid with wind power and battery storage. Traditionally, day-ahead planning aims to balance demand and wind power, yet actual wind conditions often deviate from forecasts. Short-term flexibility in storage and generation fills potential gaps, planned on a minutes time scale for 30-60 minute horizons. Finding the optimal flexibility deployment requires solving a semi-infinite non-convex stochastic program, which is generally intractable to do exactly. Previous approaches rely on sampling, yet such critical problems call for rigorous approaches with stronger guarantees. Our method employs probabilistic model checking techniques. First, we cast the problem as a continuous-space Markov decision process with discretized control, for which an optimal deployment strategy minimizes the expected grid frequency deviation. To mitigate state space explosion, we exploit specific structural properties of the model to implement an iterative exploration method that reuses pre-computed values as wind data is updated. Our experiments show the method's feasibility and versatility across grid configurations and time scales.


title: One-parameter robust global frequency estimator for slowly varying amplitude and noisy oscillations

abstract: Robust online estimation of oscillation frequency belongs to classical problems of system identification and adaptive control. The given harmonic signal can be noisy and with varying amplitude at the same time, as in the case of damped vibrations. A novel robust frequency-estimation algorithm is proposed here, motivated by the existing globally convergent frequency estimator. The advantage of the proposed estimator is in requiring one design parameter only and being robust against measurement noise and initial conditions. The proven global convergence also allows for slowly varying amplitudes, which is useful for applications with damped oscillations or additionally shaped harmonic signals. The proposed analysis is simple and relies on an averaging theory of the periodic signals. Our results show an exponential convergence rate, which depends, analytically, on the sought frequency, adaptation gain and oscillation amplitude. Numerical and experimental examples demonstrate the robustness and efficiency of the proposed estimator for signals with slowly varying amplitude and noise.


title: Neutrinoless double beta decays tell nature of right-handed neutrinos

abstract: We consider the minimal seesaw model, the Standard Model extended by two right-handed neutrinos, for explaining the neutrino masses and mixing angles measured in oscillation experiments. When one of right-handed neutrinos is lighter than the electroweak scale, it can give a sizable contribution to neutrinoless double beta ($0\nu \beta \beta$) decay. We show that the detection of the $0 \nu \beta \beta$ decay by future experiments gives a significant implication to the search for such light right-handed neutrino.


title: Parsimonious Bayesian Factor Analysis for modelling latent structures in spectroscopy data

abstract: In recent years animal diet has been receiving increased attention, in particular examining the impact of pasture-based feeding strategies on the quality of milk and dairy products, in line with the increased prevalence of grass-fed dairy products appearing on market shelves. To date, there are limited testing methods available for the verification of grass-fed dairy therefore these products are susceptible to food fraud and adulteration. Hence statistical tools studying potential differences among milk samples coming from animals on different feeding systems are required, thus providing increased security around the authenticity of the products. Infrared spectroscopy techniques are widely used to collect data on milk samples and to predict milk related traits. While these data are routinely used to predict the composition of the macro components of milk, each spectrum provides a reservoir of unharnessed information about the sample. The interpretation of these data presents a number of challenges due to their high-dimensionality and the relationships amongst the spectral variables. In this work we propose a modification of the standard factor analysis to induce a parsimonious summary of spectroscopic data. The procedure maps the observations into a low-dimensional latent space while simultaneously clustering observed variables. The method indicates possible redundancies in the data and it helps disentangle the complex relationships among the wavelengths. A flexible Bayesian estimation procedure is proposed for model fitting, providing reasonable values for the number of latent factors and clusters. The method is applied on milk mid-infrared spectroscopy data from dairy cows on different pasture and non-pasture based diets, providing accurate modelling of the data correlation, the clustering of variables and information on differences between milk samples from cows on different diets.