title: Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom

abstract: We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix a minimal session calculus and systematically take into account all known fairness assumptions, thereby identifying precisely three interesting and semantically distinct notions of lock-freedom, all of which having a sound session type system. We then show that, by using a general merge operator in an otherwise standard approach to global session types, we obtain a session type system complete for the strongest amongst those notions of lock-freedom, which assumes only justness of execution paths, a minimal fairness assumption for concurrent systems.


title: Towards a 3D kinetic tomography of Taurus clouds: I -- Linking neutral potassium and dust

abstract: Results. We illustrate our profile-fitting technique and present the K\,{\sc i} velocity structure of the dense ISM along the paths to all targets. As a validation test of the dust map, we show comparisons between distances to several reconstructed clouds with recent distance assignments based on different techniques. Target star extinctions estimated by integration in the 3D map are compared with their K\,{\sc i} 7699 A absorptions and the degree of correlation is found comparable to the one between the same K\,{\sc i} line and the total hydrogen column for stars distributed over the sky that are part of a published high resolution survey. We show images of the updated dust distribution in a series of vertical planes in the Galactic longitude interval 150-182.5 deg and our estimated assignments of radial velocities to the opaque regions. Most clearly defined K\,{\sc i} absorptions may be assigned to a dense dust cloud between the Sun and the target star. It appeared relatively straightforward to find a velocity pattern consistent will all absorptions and ensuring coherence between adjacent lines of sight, at the exception of a few weak lines. We compare our results with recent determinations of velocities of several clouds and find good agreement. These results demonstrate that the extinction-K\,{\sc i} relationship is tight enough to allow linking the radial velocity of the K\,{\sc i} lines to the dust clouds seen in 3D, and that their combination may be a valuable tool in building a 3D kinetic structure of the dense ISM. We discuss limitations and perspectives for this technique.


title: Compact CubeSat Gamma-Ray Detector for GRID Mission

abstract: Gamma-Ray Integrated Detectors (GRID) mission is a student project designed to use multiple gamma-ray detectors carried by nanosatellites (CubeSats), forming a full-time all-sky gamma-ray detection network that monitors the transient gamma-ray sky in the multi-messenger astronomy era. A compact CubeSat gamma-ray detector, including its hardware and firmware, was designed and implemented for the mission. The detector employs four Gd2Al2Ga3O12 : Ce (GAGG:Ce) scintillators coupled with four silicon photomultiplier (SiPM) arrays to achieve a high gamma-ray detection efficiency between 10 keV and 2 MeV with low power and small dimensions. The first detector designed by the undergraduate student team onboard a commercial CubeSat was launched into a Sun-synchronous orbit on October 29, 2018. The detector was in a normal observation state and accumulated data for approximately one month after on-orbit functional and performance tests, which were conducted in 2019.


title: A Study into patient similarity through representation learning from medical records

abstract: Patient similarity assessment, which identifies patients similar to a given patient, can help improve medical care. The assessment can be performed using Electronic Medical Records (EMRs). Patient similarity measurement requires converting heterogeneous EMRs into comparable formats to calculate their distance. While versatile document representation learning methods have been developed in recent years, it is still unclear how complex EMR data should be processed to create the most useful patient representations. This study presents a new data representation method for EMRs that takes the information in clinical narratives into account. To address the limitations of previous approaches in handling complex parts of EMR data, an unsupervised method is proposed for building a patient representation, which integrates unstructured data with structured data extracted from patients' EMRs. In order to model the extracted data, we employed a tree structure that captures the temporal relations of multiple medical events from EMR. We processed clinical notes to extract symptoms, signs, and diseases using different tools such as medspaCy, MetaMap, and scispaCy and mapped entities to the Unified Medical Language System (UMLS). After creating a tree data structure, we utilized two novel relabeling methods for the non-leaf nodes of the tree to capture two temporal aspects of the extracted events. By traversing the tree, we generated a sequence that could create an embedding vector for each patient. The comprehensive evaluation of the proposed method for patient similarity and mortality prediction tasks demonstrated that our proposed model leads to lower mean squared error (MSE), higher precision, and normalized discounted cumulative gain (NDCG) relative to baselines.


title: Single-handedness chiral optical cavities

abstract: Geometrical chirality is a universal property encountered on very different length scales ranging from geometrical shapes of living organisms to protein and DNA molecules. Interaction of chiral matter with chiral light - that is, electromagnetic field possessing a certain handedness - underlies our ability to discriminate enantiomers of chiral molecules. In this context, it is often desired to have an optical cavity that efficiently couples to only a specific (right or left) molecular enantiomer, and does not couple to the opposite one. Here, we demonstrate a single-handedness chiral optical cavity supporting only an eigenmode of a given handedness and lacking modes having the opposite one. Resonant excitation of the cavity with light of appropriate handedness enables formation of a helical standing wave with a uniform chirality density, while the light of opposite handedness does not cause any resonant effects. Furthermore, only chiral emitters of the matching handedness efficiently interact with such a chiral eigenmode, enabling the handedness-selective strength of light-matter coupling. The proposed system expands the set of tools available for investigations of chiral matter and opens the door to studies of chiral electromagnetic vacuum.


title: Interferences in the Stochastic Gravitational Wave Background

abstract: Although the expansion of the Universe explicitly breaks the time-translation symmetry, cosmological predictions for the stochastic gravitational wave background (SGWB) are usually derived under the so-called stationary hypothesis. By dropping this assumption and keeping track of the time dependence of gravitational waves at all length scales, we derive the expected unequal-time (and equal-time) waveform of the SGWB generated by scaling sources, such as cosmic defects. For extinct and smooth enough sources, we show that all observable quantities are uniquely and analytically determined by the holomorphic Fourier transform of the anisotropic stress correlator. Both the strain power spectrum and the energy density parameter are shown to have an oscillatory fine structure, they significantly differ on large scales while running in phase opposition at large wavenumbers $k$. We then discuss scaling sources that are never extinct nor smooth and which generate a singular Fourier transform of the anisotropic stress correlator. For these, we find the appearance of interferences on top of the above-mentioned fine-structure as well as atypical behaviour at small scales. For instance, we expect the rescaled strain power spectrum $k^2 \mathcal{P}_h$ generated by long cosmic strings in the matter era to oscillate around a scale invariant plateau. These singular sources are also shown to produce orders of magnitude difference between the rescaled strain spectra and the energy density parameter suggesting that only the former should be used for making reliable observable predictions. Finally, we discuss how measuring such a fine structure in the SGWB could disambiguate the possible cosmological sources.


title: Reconfigurable Multistate Optical Systems Enabled by VO2 Phase Transitions

abstract: Reconfigurable optical systems are the object of continuing, intensive research activities, as they hold great promise for realizing a new generation of compact, miniaturized, and flexible optical devices. However, current reconfigurable systems often tune only a single state variable triggered by an external stimulus, thus, leaving out many potential applications. Here we demonstrate a reconfigurable multistate optical system enabled by phase transitions in vanadium dioxide (VO2). By controlling the phase-transition characteristics of VO2 with simultaneous stimuli, the responses of the optical system can be reconfigured among multiple states. In particular, we show a quadruple-state dynamic plasmonic display that responds to both temperature tuning and hydrogen-doping. Furthermore, we introduce an electron-doping scheme to locally control the phase-transition behavior of VO2, enabling an optical encryption device encoded by multiple keys. Our work points the way toward advanced multistate reconfigurable optical systems, which substantially outperform current optical devices in both breadth of capabilities and functionalities.


title: Folded transit photometry

abstract: Transit photometry is perhaps the most successful method for detecting exoplanets to date. However, a substantial amount of signal processing is needed since the dip in the signal detected, an indication that there is a planet in transit, is minuscule compared to the overall background signal due mainly to its host star. In this paper, we put forth a doable and straightforward method to enhance the signal and reduce noise. We discuss how to achieve higher planetary signals by subtracting equal halves of the host star - a folded detection. This results in a light curve with a double peak-to-peak signal, 2R_p^2/R_s^2, compared to the usual transit. We derive an expression of the light curve and investigate the effect of two common noises: the white Gaussian background noise and the noise due to the occurrences of sunspots. We show that in both simulation and analytical expression, the folded transit reduces the effective noise by a factor of 1/sqrt(2). This reduction and the doubling of the signal enables (1) less number of transit measurements to get a definitive transiting planet signal and (2) detection of smaller planetary radii with the usual transit with the same number of transit data. Furthermore, we show that in the presence of multiple sunspots, the estimation of planetary parameters is more accurate. While our calculations may be very simple, it covers the basic concept of planetary transits.


title: Serial vs. Parallel Turbo-Autoencoders and Accelerated Training for Learned Channel Codes

abstract: Attracted by its scalability towards practical codeword lengths, we revisit the idea of Turbo-autoencoders for end-to-end learning of PHY-Layer communications. For this, we study the existing concepts of Turbo-autoencoders from the literature and compare the concept with state-of-the-art classical coding schemes. We propose a new component-wise training algorithm based on the idea of Gaussian a priori distributions that reduces the overall training time by almost a magnitude. Further, we propose a new serial architecture inspired by classical serially concatenated Turbo code structures and show that a carefully optimized interface between the two component autoencoders is required. To the best of our knowledge, these serial Turbo autoencoder structures are the best known neural network based learned sequences that can be trained from scratch without any required expert knowledge in the domain of channel codes.


title: Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety

abstract: The use of deep neural networks (DNNs) in safety-critical applications like mobile health and autonomous driving is challenging due to numerous model-inherent shortcomings. These shortcomings are diverse and range from a lack of generalization over insufficient interpretability to problems with malicious inputs. Cyber-physical systems employing DNNs are therefore likely to suffer from safety concerns. In recent years, a zoo of state-of-the-art techniques aiming to address these safety concerns has emerged. This work provides a structured and broad overview of them. We first identify categories of insufficiencies to then describe research activities aiming at their detection, quantification, or mitigation. Our paper addresses both machine learning experts and safety engineers: The former ones might profit from the broad range of machine learning topics covered and discussions on limitations of recent methods. The latter ones might gain insights into the specifics of modern ML methods. We moreover hope that our contribution fuels discussions on desiderata for ML systems and strategies on how to propel existing approaches accordingly.


title: Learning Multi-Attention Context Graph for Group-Based Re-Identification

abstract: Learning to re-identify or retrieve a group of people across non-overlapped camera systems has important applications in video surveillance. However, most existing methods focus on (single) person re-identification (re-id), ignoring the fact that people often walk in groups in real scenarios. In this work, we take a step further and consider employing context information for identifying groups of people, i.e., group re-id. We propose a novel unified framework based on graph neural networks to simultaneously address the group-based re-id tasks, i.e., group re-id and group-aware person re-id. Specifically, we construct a context graph with group members as its nodes to exploit dependencies among different people. A multi-level attention mechanism is developed to formulate both intra-group and inter-group context, with an additional self-attention module for robust graph-level representations by attentively aggregating node-level features. The proposed model can be directly generalized to tackle group-aware person re-id using node-level representations. Meanwhile, to facilitate the deployment of deep learning models on these tasks, we build a new group re-id dataset that contains more than 3.8K images with 1.5K annotated groups, an order of magnitude larger than existing group re-id datasets. Extensive experiments on the novel dataset as well as three existing datasets clearly demonstrate the effectiveness of the proposed framework for both group-based re-id tasks. The code is available at https://github.com/daodaofr/group_reid.


title: TabAug: Data Driven Augmentation for Enhanced Table Structure Recognition

abstract: Table Structure Recognition is an essential part of end-to-end tabular data extraction in document images. The recent success of deep learning model architectures in computer vision remains to be non-reflective in table structure recognition, largely because extensive datasets for this domain are still unavailable while labeling new data is expensive and time-consuming. Traditionally, in computer vision, these challenges are addressed by standard augmentation techniques that are based on image transformations like color jittering and random cropping. As demonstrated by our experiments, these techniques are not effective for the task of table structure recognition. In this paper, we propose TabAug, a re-imagined Data Augmentation technique that produces structural changes in table images through replication and deletion of rows and columns. It also consists of a data-driven probabilistic model that allows control over the augmentation process. To demonstrate the efficacy of our approach, we perform experimentation on ICDAR 2013 dataset where our approach shows consistent improvements in all aspects of the evaluation metrics, with cell-level correct detections improving from 92.16% to 96.11% over the baseline.


title: Absolute Lipschitz extendability and linear projection constants

abstract: We prove that the absolute extendability constant of a finite metric space may be determined by computing relative projection constants of certain Lipschitz-free spaces. As an application, we show that $\mbox{ae}(3)=4/3$ and $\mbox{ae}(4)\geq (5+4\sqrt{2})/7$. Moreover, we discuss how to compute relative projection constants by solving linear programming problems.


title: Generation of quasi-monoenergetic proton beams via quantum radiative compression

abstract: Dense high-energy monoenergetic proton beams are vital for wide applications, thus modern laser-plasma-based ion acceleration methods are aiming to obtain high-energy proton beams with energy spread as low as possible. In this work, we put forward a quantum radiative compression method to post-compress a highly accelerated proton beam and convert it to a dense quasi-monoenergetic one. We find that when the relativistic plasma produced by radiation pressure acceleration collides head-on with an ultraintense laser beam, large-amplitude plasma oscillations are excited due to quantum radiation-reaction and the ponderomotive force, which induce compression of the phase space of protons located in its acceleration phase with negative gradient. Our three-dimensional spin-resolved QED particle-in-cell simulations show that hollow-structure proton beams with a peak energy $\sim$ GeV, relative energy spread of few percents and number $N_p\sim10^{10}$ (or $N_p\sim 10^9$ with a $1\%$ energy spread) can be produced in near future laser facilities, which may fulfill the requirements of important applications, such as, for radiography of ultra-thick dense materials, or as injectors of hadron colliders.


title: Stakeholder dynamics in residential solar energy adoption: findings from focus group discussions in Germany

abstract: Although there is a clear indication that stages of residential decision making are characterized by their own stakeholders, activities, and outcomes, many studies on residential low-carbon technology adoption only implicitly address stage-specific dynamics. This paper explores stakeholder influences on residential photovoltaic adoption from a procedural perspective, so-called stakeholder dynamics. The major objective is the understanding of underlying mechanisms to better exploit the potential for residential photovoltaic uptake. Four focus groups have been conducted in close collaboration with the independent institute for social science research SINUS Markt- und Sozialforschung in East Germany. By applying a qualitative content analysis, major influence dynamics within three decision stages are synthesized with the help of egocentric network maps from the perspective of residential decision-makers. Results indicate that actors closest in terms of emotional and spatial proximity such as members of the social network represent the major influence on residential PV decision-making throughout the stages. Furthermore, decision-makers with a higher level of knowledge are more likely to move on to the subsequent stage. A shift from passive exposure to proactive search takes place through the process, but this shift is less pronounced among risk-averse decision-makers who continuously request proactive influences. The discussions revealed largely unexploited potential regarding the stakeholders local utilities and local governments who are perceived as independent, trustworthy and credible stakeholders. Public stakeholders must fulfill their responsibility in achieving climate goals by advising, assisting, and financing services for low-carbon technology adoption at the local level. Supporting community initiatives through political frameworks appears to be another promising step.


title: Integral Line-of-Sight Path Following Control of Magnetic Helical Microswimmers Subject to Step-Out Frequencies

abstract: This paper investigates the problem of straight-line path following for magnetic helical microswimmers. The control objective is to make the helical microswimmer to converge to a straight line without violating the step-out frequency constraint. The proposed feedback control solution is based on an optimal decision strategy (ODS) that is cast as a trust-region subproblem (TRS), i.e., a quadratic program over a sphere. The ODS-based control strategy minimizes the difference between the microrobot velocity and an integral line-of-sight (ILOS)-based reference vector field while respecting the magnetic saturation constraints and ensuring the absolute continuity of the control input. Due to the embedded integral action in the reference vector field, the microswimmer will follow the desired straight line by compensating for the drift effect of the environmental disturbances as well as the microswimmer weight.


title: Two-dimensional plasmonic polarons in n-doped monolayer MoS2

abstract: We report experimental and theoretical evidence of strong electron-plasmon interaction in n-doped single-layer MoS2. Angle-resolved photoemission spectroscopy (ARPES) measurements reveal the emergence of distinctive signatures of polaronic coupling in the electron spectral function. Calculations based on many-body perturbation theory illustrate that electronic coupling to two-dimensional (2D) carrier plasmons provides an exhaustive explanation of the experimental spectral features and their energies. These results constitute compelling evidence of the formation of plasmon-induced polaronic quasiparticles, suggesting that highly-doped transition-metal dichalcogenides may provide a new platform to explore strong-coupling phenomena between electrons and plasmons in 2D.


title: Bivariate Analysis of Birth Weight and Gestational Age Depending on Environmental Exposures: Bayesian Distributional Regression with Copulas

abstract: In this article, we analyze perinatal data with birth weight (BW) as primarily interesting response variable. Gestational age (GA) is usually an important covariate and included in polynomial form. However, in opposition to this univariate regression, bivariate modeling of BW and GA is recommended to distinguish effects on each, on both, and between them. Rather than a parametric bivariate distribution, we apply conditional copula regression, where marginal distributions of BW and GA (not necessarily of the same form) can be estimated independently, and where the dependence structure is modeled conditional on the covariates separately from these marginals. In the resulting distributional regression models, all parameters of the two marginals and the copula parameter are observation-specific. Besides biometric and obstetric information, data on drinking water contamination and maternal smoking are included as environmental covariates. While the Gaussian distribution is suitable for BW, the skewed GA data are better modeled by the three-parametric Dagum distribution. The Clayton copula performs better than the Gumbel and the symmetric Gaussian copula, indicating lower tail dependence (stronger dependence when both variables are low), although this non-linear dependence between BW and GA is surprisingly weak and only influenced by Cesarean section. A non-linear trend of BW on GA is detected by a classical univariate model that is polynomial with respect to the effect of GA. Linear effects on BW mean are similar in both models, while our distributional copula regression also reveals covariates' effects on all other parameters.


title: Asymmetric accidental composite dark matter

abstract: The goal of this work is to find the simplest UV completion of Accidental Composite Dark Matter Models (ACDM) that can dynamically generate an asymmetry for the DM candidate, the lightest \textit{dark baryon} (DCb), and simultaneously annihilate the symmetric component. In this framework the DCb is a bound state of a confining $\text{SU}(N)_{\text{DC}}$ gauge group, and can interact weakly with the visible sector. The constituents of the DCb can possess non-trivial charges under the Standard Model gauge group. The generation of asymmetry for such candidate is a two-flavor variation of the \emph{out-of-equilibrium} decay of a heavy scalar, with mass $M_\phi\gtrsim 10^{10}$ GeV. Below the scale of the scalars, the models recover accidental stability, or long-livedness, of the DM candidate. The symmetric component is annihilated by residual confined interactions provided that the mass of the DCb $m_{\text{DCb}} \lesssim 75$ TeV. We implement the mechanism of asymmetry generation, or a variation of it, in all the original ACDM models, managing to generate the correct asymmetry for DCb of masses in this range. For some of the models found, the stability of the DM candidate is not spoiled even considering generic GUT completions or asymmetry generation mechanisms in the visible sector.


title: The Wasserstein space of stochastic processes

abstract: Wasserstein distance induces a natural Riemannian structure for the probabilities on the Euclidean space. This insight of classical transport theory is fundamental for tremendous applications in various fields of pure and applied mathematics. We believe that an appropriate probabilistic variant, the adapted Wasserstein distance AW, can play a similar role for the class FP of filtered processes, i.e. stochastic processes together with a filtration. In contrast to other topologies for stochastic processes, probabilistic operations such as the Doob-decomposition, optimal stopping and stochastic control are continuous w.r.t. AW. We also show that (FP,AW) is a geodesic space, isometric to a classical Wasserstein space, and that martingales form a closed geodesically convex subspace.


title: Legio: Fault Resiliency for Embarrassingly Parallel MPI Applications

abstract: Due to the increasing size of HPC machines, the fault presence is becoming an eventuality that applications must face. Natively, MPI provides no support for the execution past the detection of a fault, and this is becoming more and more constraining. With the introduction of ULFM (User Level Fault Mitigation library), it has been provided with a possible way to overtake a fault during the application execution at the cost of code modifications. ULFM is intrusive in the application and requires also a deep understanding of its recovery procedures. In this paper we propose Legio, a framework that lowers the complexity of introducing resiliency in an embarrassingly parallel MPI application. By hiding ULFM behind the MPI calls, the library is capable to expose resiliency features to the application in a transparent manner thus removing any integration effort. Upon fault, the failed nodes are discarded and the execution continues only with the non-failed ones. A hierarchical implementation of the solution has been also proposed to reduce the overhead of the repair process when scaling towards a large number of nodes. We evaluated our solutions on the Marconi100 cluster at CINECA, showing that the overhead introduced by the library is negligible and it does not limit the scalability properties of MPI. Moreover, we also integrated the solution in real-world applications to further prove its robustness by injecting faults.


title: Classification of all Galois subcovers of the Skabelund maximal curves

abstract: In 2017 Skabelund constructed two new examples of maximal curves $\tilde{\mathcal{S}}_q$ and $\tilde{\mathcal{R}}_q$ as covers of the Suzuki and Ree curves, respectively. The resulting Skabelund curves are analogous to the Giulietti-Korchm\'aros cover of the Hermitian curve. In this paper a complete characterization of all Galois subcovers of the Skabelund curves $\tilde{\mathcal{S}}_q$ and $\tilde{\mathcal{R}}_q$ is given. Calculating the genera of the corresponding curves, we find new additions to the list of known genera of maximal curves over finite fields.


title: An introduction to multiscale techniques in the theory of Anderson localization. Part I

abstract: These lectures present some basic ideas and techniques in the spectral analysis of lattice Schrodinger operators with disordered potentials. In contrast to the classical Anderson tight binding model, the randomness is also allowed to possess only finitely many degrees of freedom. This refers to dynamically defined potentials, i.e., those given by evaluating a function along an orbit of some ergodic transformation (or of several commuting such transformations on higher-dimensional lattices). Classical localization theorems by Frohlich--Spencer for large disorders are presented, both for random potentials in all dimensions, as well as even quasi-periodic ones on the line. After providing the needed background on subharmonic functions, we then discuss the Bourgain-Goldstein theorem on localization for quasiperiodic Schrodinger cocycles assuming positive Lyapunov exponents.


title: Intrinsic Diophantine Approximation for overlapping iterated function systems

abstract: In this paper we study a family of limsup sets that are defined using iterated function systems. Our main result is an analogue of Khintchine's theorem for these sets. We then apply this result to the topic of intrinsic Diophantine Approximation on self-similar sets. In particular, we define a new height function for an element of $\mathbb{Q}^d$ contained in a self-similar set in terms of its eventually periodic representations. For limsup sets defined with respect to this height function, we obtain a detailed description of their metric properties. The results of this paper hold in arbitrary dimensions and without any separation conditions on the underlying iterated function system.


title: Control Barrier Functions for Cyber-Physical Systems and Applications to NMPC

abstract: Tractable safety-ensuring algorithms for cyber-physical systems are important in critical applications. Approaches based on Control Barrier Functions assume continuous enforcement, which is not possible in an online fashion. This paper presents two tractable algorithms to ensure forward invariance of discrete-time controlled cyber-physical systems. Both approaches are based on Control Barrier Functions to provide strict mathematical safety guarantees. The first algorithm exploits Lipschitz continuity and formulates the safety condition as a robust program which is subsequently relaxed to a set of affine conditions. The second algorithm is inspired by tube-NMPC and uses an affine Control Barrier Function formulation in conjunction with an auxiliary controller to guarantee safety of the system. We combine an approximate NMPC controller with the second algorithm to guarantee strict safety despite approximated constraints and show its effectiveness experimentally on a mini-Segway.


title: Out-of-Band Power Reduction in NC-OFDM with Optimized Cancellation Carriers Selection

abstract: In this letter, we propose a computationally efficient method for joint selection of cancellation carriers (CCs) and calculation of their values minimizing the out-of-band (OOB) power in non-contiguous (NC-) OFDM transmission. The proposed new CCs selection method achieves higher OOB power attenuation than algorithms known from literature as well as noticable reception performance improvement.


title: Motor strategies and adiabatic invariants: The case of rhythmic motion in parabolic flights

abstract: The role of gravity in human motor control is at the same time obvious and difficult to isolate. It can be assessed by performing experiments in variable gravity. We propose that adiabatic invariant theory may be used to reveal nearly-conserved quantities in human voluntary rhythmic motion, an individual being seen as a complex time-dependent dynamical system with bounded motion in phase-space. We study an explicit realization of our proposal: An experiment in which we asked participants to perform $\infty-$ shaped motion of their right arm during a parabolic flight, either at self-selected pace or at a metronome's given pace. Gravity varied between $0$ and $1.8$ $g$ during a parabola. We compute the adiabatic invariants in participant's frontal plane assuming a separable dynamics. It appears that the adiabatic invariant in vertical direction increases linearly with $g$, in agreement with our model. Differences between the free and metronome-driven conditions show that participants' adaptation to variable gravity is maximal without constraint. Furthermore, motion in the participant's transverse plane induces trajectories that may be linked to higher-derivative dynamics. Our results show that adiabatic invariants are relevant quantities to show the changes in motor strategy in time-dependent environments.


title: On the Atkinson formula for the $\zeta$ function

abstract: Thanks to Littlewood (1922) and Ingham (1928), we know the first two terms of the asymptotic formula for the square mean integral value of the Riemann zeta function $\zeta$ on the critical line. Later, Atkinson (1939) presented this formula with an error term of order $O(\sqrt{T}\log^{2}(T))$, which we call the Atkinson formula. Following the latter approach and the work of Titchmarsh (1986), we present an explicit version of the Atkinson formula, improving on a recent bound by Simoni\v{c} (2020). Moreover, we extend the Atkinson formula to the range $\Re(s)\in\left[\frac{1}{4},\frac{3}{4}\right]$, giving an explicit bound for the square mean integral value of $\zeta$ and improving on a bound by Helfgott and the authors (2019). We use mostly classical tools, such as the approximate functional equation and the explicit convexity bounds of the zeta function given by Backlund (1918).


title: On systematic effects in the numerical solutions of the JIMWLK equation

abstract: In the high energy limit of hadron collisions, the evolution of the gluon density in the longitudinal momentum fraction can be deduced from the Balitsky hierarchy of equations or, equivalently, from the nonlinear Jalilian-Marian-Iancu-McLerran-Weigert-Leonidov-Kovner (JIMWLK) equation. The solutions of the latter can be studied numerically by using its reformulation in terms of a Langevin equation. In this paper, we present a comprehensive study of systematic effects associated with the numerical framework, in particular the ones related to the inclusion of the running coupling. We consider three proposed ways in which the running of the coupling constant can be included: "square root" and "noise" prescriptions and the recent proposal by Hatta and Iancu. We implement them both in position and momentum spaces and we investigate and quantify the differences in the resulting evolved gluon distributions. We find that the systematic differences associated with the implementation technicalities can be of a similar magnitude as differences in running coupling prescriptions in some cases, or much smaller in other cases.


title: A block-sparse Tensor Train Format for sample-efficient high-dimensional Polynomial Regression

abstract: Low-rank tensors are an established framework for high-dimensional least-squares problems. We propose to extend this framework by including the concept of block-sparsity. In the context of polynomial regression each sparsity pattern corresponds to some subspace of homogeneous multivariate polynomials. This allows us to adapt the ansatz space to align better with known sample complexity results. The resulting method is tested in numerical experiments and demonstrates improved computational resource utilization and sample efficiency.


title: Design of Robust and Efficient Edge Server Placement and Server Scheduling Policies: Extended Version

abstract: We study how to design edge server placement and server scheduling policies under workload uncertainty for 5G networks. We introduce a new metric called resource pooling factor to handle unexpected workload bursts. Maximizing this metric offers a strong enhancement on top of robust optimization against workload uncertainty. Using both real traces and synthetic traces, we show that the proposed server placement and server scheduling policies not only demonstrate better robustness against workload uncertainty than existing approaches, but also significantly reduce the cost of service providers. Specifically, in order to achieve close-to-zero workload rejection rate, the proposed server placement policy reduces the number of required edge servers by about 25% compared with the state-of-the-art approach; the proposed server scheduling policy reduces the energy consumption of edge servers by about 13% without causing much impact on the service quality.


title: Quantum geometry and flat band Bose-Einstein condensation

abstract: We study the properties of a weakly interacting Bose-Einstein condensate (BEC) in a flat band lattice system by using multiband Bogoliubov theory, and discover fundamental connections to the underlying quantum geometry. In a flat band, the speed of sound and the quantum depletion of the condensate are dictated by the quantum geometry, and a finite quantum distance between the condensed and other states guarantees stability of the BEC. Our results reveal that a suitable quantum geometry allows one to reach the strong quantum correlation regime even with weak interactions.


title: Global portraits of nonminimal teleparallel inflation

abstract: We construct the global phase portraits of inflationary dynamics in teleparallel gravity models with a scalar field nonminimally coupled to torsion scalar. The adopted set of variables can clearly distinguish between different asymptotic states as fixed points, including the kinetic and inflationary regimes. The key role in the description of inflation is played by the heteroclinic orbits which run from the asymptotic saddle points to the late time attractor point and are approximated by nonminimal slow roll conditions. To seek the asymptotic fixed points we outline a heuristic method in terms of the "effective potential" and "effective mass", which can be applied for any nonminimally coupled theories. As particular examples we study positive quadratic nonminimal couplings with quadratic and quartic potentials, and note how the portraits differ qualitatively from the known scalar-curvature counterparts. For quadratic models inflation can only occur at small nonminimal coupling to torsion, as for larger coupling the asymptotic de Sitter saddle point disappears from the physical phase space. Teleparallel models with quartic potentials are not viable for inflation at all, since for small nonminimal coupling the asymptotic saddle point exhibits weaker than exponential expansion, and for larger coupling disappears too.


title: Chandrayaan-2 Dual-Frequency SAR (DFSAR): Performance Characterization and Initial Results

abstract: The Dual-Frequency synthetic aperture radar (DFSAR) system manifested on the Chandrayaan-2 spacecraft represents a significant step forward in radar exploration of solid solar system objects. It combines SAR at two wavelengths (L- and S-bands) and multiple resolutions with several polarimetric modes in one lightweight ($\sim$ 20 kg) package. The resulting data from DFSAR support calculation of the 2$\times$2 complex scattering matrix for each resolution cell, which enables lunar near surface characterization in terms of radar polarization properties at different wavelengths and incidence angles. In this paper, we report on the calibration and preliminary performance characterization of DFSAR data based on the analysis of a sample set of crater regions on the Moon. Our calibration analysis provided a means to compare on-orbit performance with pre-launch measurements and the results matched with the pre-launch expected values. Our initial results show that craters in both permanently shadowed regions (PSRs) and non-PSRs that are classified as Circular Polarization Ratio (CPR)-anomalous in previous S-band radar analyses appear anomalous at L-band also. We also observe that material evolution and physical properties at their interior and proximal ejecta are decoupled. For Byrgius C crater region, we compare our analysis of dual-frequency radar data with the predicted behaviours of theoretical scattering models. If crater age estimates are available, comparison of their radar polarization properties at multiple wavelengths similar to that of the three unnamed south polar crater regions shown in this study may provide new insights into how the rockiness of craters evolves with time.


title: A Machine-Assisted Proof of G\"odel's Incompleteness Theorems for the Theory of Hereditarily Finite Sets

abstract: A formalisation of G\"odel's incompleteness theorems using the Isabelle proof assistant is described. This is apparently the first mechanical verification of the second incompleteness theorem. The work closely follows {\'S}wierczkowski (2003), who gave a detailed proof using hereditarily finite set theory. The adoption of this theory is generally beneficial, but it poses certain technical issues that do not arise for Peano arithmetic. The formalisation itself should be useful to logicians, particularly concerning the second incompleteness theorem, where existing proofs are lacking in detail.


title: Quantum Computing Platforms: Assessing the Impact on Quality Attributes and SDLC Activities

abstract: Practical quantum computing is rapidly becoming a reality. To harness quantum computers' real potential in software applications, one needs to have an in-depth understanding of all such characteristics of quantum computing platforms (QCPs), relevant from the Software Engineering (SE) perspective. Restrictions on copying, deletion, the transmission of qubit states, a hard dependency on quantum algorithms are few, out of many, examples of QCP characteristics that have significant implications for building quantum software. Thus, developing quantum software requires a paradigm shift in thinking by software engineers. This paper presents the key findings from the SE perspective, resulting from an in-depth examination of state-of-the-art QCPs available today. The main contributions that we present include i) Proposing a general architecture of the QCPs, ii) Proposing a programming model for developing quantum software, iii) Determining architecturally significant characteristics of QCPs, and \textbf{iv)} Determining the impact of these characteristics on various Quality Attributes (QAs) and Software Development Life Cycle (SDLC) activities. We show that the nature of QCPs makes them useful mainly in specialized application areas such as scientific computing. Except for performance and scalability, most of the other QAs (e.g., maintainability, testability, and reliability) are adversely affected by different characteristics of a QCP.


title: Bulk-Sensitive Spin-Resolved Resonant Electron Energy-Loss Spectroscopy (SR-rEELS): Observation of Element- and Spin-Selective Bulk Plasmons

abstract: We have developed a spin-resolved resonant electron energy-loss spectroscopy (SR-rEELS) in the primary energy of 0.3--1.5 keV, which corresponds to the core excitations of $2p$-$3d$ absorption of transition metals and $3d$-$4f$ absorption of rare-earths, with the energy resolution of about 100~meV using a spin-polarized electron source as a GaAs/GaAsP strained superlattice photocathode. Element- and spin-selective carrier and valence plasmons can be observed using the resonance enhancement of core absorptions and electron spin polarization. Furthermore, bulk-sensitive EELS spectra can be obtained because the primary energy corresponds to the mean free path of 1--10~nm. The methodology is expected to provide us novel information of elementary excitations by resonant inelastic x-ray scattering and resonant photoelectron spectroscopy.


title: Stone space partitions indexed by a poset

abstract: Stone space partitions $\{X_{p}\mid p\in P\}$ satisfying conditions like $\bar{X_{p}}=\bigcup_{q\leqslant p}X_{q}$ for all $p\in P$, where $P$ is a poset or PO system (poset with a distinguished subset), arise naturally in the study both of primitive Boolean algebras and of $\omega$-categorical structures. A key concept for studying such partitions is that of a $p$-trim open set which meets precisely those $X_{q}$ for which $q\geqslant p$; for Stone spaces, this is the topological equivalent of a pseudo-indecomposable set. This paper develops the theory of infinite partitions of Stone spaces indexed by a poset or PO system where the trim sets form a neighbourhood base for the topology. We study the interplay between order properties of the poset/PO system and topological properties of the partition, examine extensions and completions of such partitions, and derive necessary and sufficient conditions on the poset/PO system for the existence of the various types of partition studied. We also identify circumstances in which a second countable Stone space with a trim partition indexed by a given PO system is unique up to homeomorphism, subject to choices on the isolated point structure and boundedness of the partition elements. One corollary of our results is that there is a partition $\{X_{r}\mid r\in[0,1]\}$ of the Cantor set such that $\bar{X_{r}}=\bigcup_{s\leqslant r}X_{s}\text{ for all }r\in[0,1]$.


title: Hardware-Friendly Synaptic Orders and Timescales in Liquid State Machines for Speech Classification

abstract: Liquid State Machines are brain inspired spiking neural networks (SNNs) with random reservoir connectivity and bio-mimetic neuronal and synaptic models. Reservoir computing networks are proposed as an alternative to deep neural networks to solve temporal classification problems. Previous studies suggest 2nd order (double exponential) synaptic waveform to be crucial for achieving high accuracy for TI-46 spoken digits recognition. The proposal of long-time range (ms) bio-mimetic synaptic waveforms is a challenge to compact and power efficient neuromorphic hardware. In this work, we analyze the role of synaptic orders namely: {\delta} (high output for single time step), 0th (rectangular with a finite pulse width), 1st (exponential fall) and 2nd order (exponential rise and fall) and synaptic timescales on the reservoir output response and on the TI-46 spoken digits classification accuracy under a more comprehensive parameter sweep. We find the optimal operating point to be correlated to an optimal range of spiking activity in the reservoir. Further, the proposed 0th order synapses perform at par with the biologically plausible 2nd order synapses. This is substantial relaxation for circuit designers as synapses are the most abundant components in an in-memory implementation for SNNs. The circuit benefits for both analog and mixed-signal realizations of 0th order synapse are highlighted demonstrating 2-3 orders of savings in area and power consumptions by eliminating Op-Amps and Digital to Analog Converter circuits. This has major implications on a complete neural network implementation with focus on peripheral limitations and algorithmic simplifications to overcome them.


title: Using Paragraph Vectors to improve our existing code review assisting tool-CRUSO

abstract: Code reviews are one of the effective methods to estimate defectiveness in source code. However, the existing methods are dependent on experts or inefficient. In this paper, we improve the performance (in terms of speed and memory usage) of our existing code review assisting tool--CRUSO. The central idea of the approach is to estimate the defectiveness for an input source code by using the defectiveness score of similar code fragments present in various StackOverflow (SO) posts. The significant contributions of our paper are i) SOpostsDB: a dataset containing the PVA vectors and the SO posts information, ii) CRUSO-P: a code review assisting system based on PVA models trained on \emph{SOpostsDB}. For a given input source code, CRUSO-P labels it as {Likely to be defective, Unlikely to be defective, Unpredictable}. To develop CRUSO-P, we processed >3 million SO posts and 188200+ GitHub source files. CRUSO-P is designed to work with source code written in the popular programming languages {C, C#, Java, JavaScript, and Python}. CRUSO-P outperforms CRUSO with an improvement of 97.82% in response time and a storage reduction of 99.15%. CRUSO-P achieves the highest mean accuracy score of 99.6% when tested with the C programming language, thus achieving an improvement of 5.6% over the existing method.


title: Axiomatizations and Computability of Weighted Monadic Second-Order Logic

abstract: Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its semantics is parameterized with respect to a semiring on which the values that weighted formulas output are evaluated. Gastin and Monmege (2018) gave abstract semantics for a version of weighted monadic second-order logic to give a more general and modular proof of the equivalence of the logic with weighted automata. We focus on the abstract semantics of the logic and we give a complete axiomatization both for the full logic and for a fragment without general sum, thus giving a more fine-grained understanding of the logic. We discuss how common decision problems for logical languages can be adapted to the weighted setting, and show that many of these are decidable, though they inherit bad complexity from the underlying first- and second-order logics. However, we show that a weighted adaptation of satisfiability is undecidable for the logic when one uses the abstract interpretation.


title: Source Seeking Control of Unicycle Robots with 3D-printed Flexible Piezoresistive Sensors

abstract: We present the design and experimental validation of source seeking control algorithms for a unicycle mobile robot that is equipped with novel 3D-printed flexible graphene-based piezoresistive airflow sensors. Based solely on a local gradient measurement from the airflow sensors, we propose and analyze a projected gradient ascent algorithm to solve the source seeking problem. In the case of partial sensor failure, we propose a combination of Extremum-Seeking Control with our projected gradient ascent algorithm. For both control laws, we prove the asymptotic convergence of the robot to the source. Numerical simulations were performed to validate the algorithms and experimental validations are presented to demonstrate the efficacy of the proposed methods.


title: A Graph-based Similarity Function for CBDT: Acquiring and Using New Information

abstract: One of the consequences of persistent technological change is that it force individuals to make decisions under extreme uncertainty. This means that traditional decision-making frameworks cannot be applied. To address this issue we introduce a variant of Case-Based Decision Theory, in which the solution to a problem obtains in terms of the distance to previous problems. We formalize this by defining a space based on an orthogonal basis of features of problems. We show how this framework evolves upon the acquisition of new information, namely features or values of them arising in new problems. We discuss how this can be useful to evaluate decisions based on not yet existing data.


title: Magnetic order and 5d1 multipoles in a rhenate double perovskite Ba2MgReO6

abstract: Structural and magnetic transitions in a double perovskite hosting 5d1 Re ions are discussed on the basis of recently published high-resolution x-ray diffraction patterns [D. Hirai, et al., Phys. Rev. Res. 2, 022063(R) (2020)]. A reported structural transition below room temperature, from cubic to tetragonal symmetry, appears not to be driven by T2g-type quadrupoles, as suggested. A magnetic motif at lower temperature is shown to be composed of two order parameters, associated with propagation vectors k = (0, 0, 1) and k = (0, 0, 0). Findings from our studies, for structural and magnetic properties of Ba2MgReO6, surface in predicted amplitudes for x-ray diffraction at rhenium L2 and L3 absorption edges, and magnetic neutron Bragg diffraction. Specifically, entanglement of anapole and spatial degrees of freedom creates a quadrupole in the neutron scattering amplitude. It would be excluded in an unexpected scenario whereby the rhenium atomic state is a manifold. Also, a chiral signature visible in resonant x-ray diffraction will be one consequence of predicted electronic quadrupole and magnetic dipole orders. A model Re wave function consistent with all current knowledge is a guide to electronic and magnetic multipoles engaged in x-ray and neutron diffraction investigations.


title: Resource Allocation and Service Provisioning in Multi-Agent Cloud Robotics: A Comprehensive Survey

abstract: Robotic applications nowadays are widely adopted to enhance operational automation and performance of real-world Cyber-Physical Systems (CPSs) including Industry 4.0, agriculture, healthcare, and disaster management. These applications are composed of latency-sensitive, data-heavy, and compute-intensive tasks. The robots, however, are constrained in the computational power and storage capacity. The concept of multi-agent cloud robotics enables robot-to-robot cooperation and creates a complementary environment for the robots in executing large-scale applications with the capability to utilize the edge and cloud resources. However, in such a collaborative environment, the optimal resource allocation for robotic tasks is challenging to achieve. Heterogeneous energy consumption rates and application of execution costs associated with the robots and computing instances make it even more complex. In addition, the data transmission delay between local robots, edge nodes, and cloud data centres adversely affects the real-time interactions and impedes service performance guarantee. Taking all these issues into account, this paper comprehensively surveys the state-of-the-art on resource allocation and service provisioning in multi-agent cloud robotics. The paper presents the application domains of multi-agent cloud robotics through explicit comparison with the contemporary computing paradigms and identifies the specific research challenges. A complete taxonomy on resource allocation is presented for the first time, together with the discussion of resource pooling, computation offloading, and task scheduling for efficient service provisioning. Furthermore, we highlight the research gaps from the learned lessons, and present future directions deemed beneficial to further advance this emerging field.


title: Initial- and final-state temperatures of emission source from differential cross-section in squared momentum transfer in high energy collisions

abstract: The differential cross-section in squared momentum transfer of $\rho$, $\rho^0$, $\omega$, $\phi$, $f_{0}(980)$, $f_{1}(1285)$, $f_{0}(1370)$, $f_{1}(1420)$, $f_{0}(1500)$, and $J/\psi$ produced in high energy virtual photon-proton ($\gamma$$^{*} p$), photon-proton ($\gamma p$), and proton-proton ($pp$) collisions measured by the H1, ZEUS, and WA102 Collaborations are analyzed by the Monte Carlo calculations. In the calculations, the Erlang distribution, Tsallis distribution, and Hagedorn function are separately used to describe the transverse momentum spectra of the emitted particles. Our results show that the initial- and final-state temperatures increase from lower squared photon virtuality to higher one, and decrease with increasing of center-of-mass energy.


title: Current Status and Performance Analysis of Table Recognition in Document Images with Deep Neural Networks

abstract: The first phase of table recognition is to detect the tabular area in a document. Subsequently, the tabular structures are recognized in the second phase in order to extract information from the respective cells. Table detection and structural recognition are pivotal problems in the domain of table understanding. However, table analysis is a perplexing task due to the colossal amount of diversity and asymmetry in tables. Therefore, it is an active area of research in document image analysis. Recent advances in the computing capabilities of graphical processing units have enabled deep neural networks to outperform traditional state-of-the-art machine learning methods. Table understanding has substantially benefited from the recent breakthroughs in deep neural networks. However, there has not been a consolidated description of the deep learning methods for table detection and table structure recognition. This review paper provides a thorough analysis of the modern methodologies that utilize deep neural networks. This work provided a thorough understanding of the current state-of-the-art and related challenges of table understanding in document images. Furthermore, the leading datasets and their intricacies have been elaborated along with the quantitative results. Moreover, a brief overview is given regarding the promising directions that can serve as a guide to further improve table analysis in document images.


title: A Rigid Registration Method in TEVAR

abstract: Since the mapping relationship between definitized intra-interventional X-ray and undefined pre-interventional Computed Tomography(CT) is uncertain, auxiliary positioning devices or body markers, such as medical implants, are commonly used to determine this relationship. However, such approaches can not be widely used in clinical due to the complex realities. To determine the mapping relationship, and achieve a initializtion post estimation of human body without auxiliary equipment or markers, proposed method applies image segmentation and deep feature matching to directly match the X-ray and CT images. As a result, the well-trained network can directly predict the spatial correspondence between arbitrary X-ray and CT. The experimental results show that when combining our approach with the conventional approach, the achieved accuracy and speed can meet the basic clinical intervention needs, and it provides a new direction for intra-interventional registration.


title: Striping of orbital-order with charge-disorder in optimally doped manganites

abstract: The phase diagrams of LaMnO$_3$ perovskites have been intensely studied due to the colossal magnetoresistance (CMR) exhibited by compositions around the $\frac{3}{8}^{th}$ doping level. However, phase segregation between ferromagnetic (FM) metallic and antiferromagnetic (AFM) insulating states, which itself is believed to be responsible for the colossal change in resistance under applied magnetic field, has prevented an atomistic-level understanding of the orbital ordered (OO) state at this doping level. Here, through the detailed crystallographic analysis of the phase diagram of a prototype system (AMn$_3^{A'}$Mn$_4^B$O$_{12}$), we show that the superposition of two distinct lattice modes gives rise to a striping of OO Jahn-Teller active Mn$^{3+}$ and charge disordered (CD) Mn$^{3.5+}$ layers in a 1:3 ratio. This superposition only gives a cancellation of the Jahn-Teller-like displacements at the critical doping level. This striping of CD Mn$^{3.5+}$ with Mn$^{3+}$ provides a natural mechanism though which long range OO can melt, giving way to a conducting state.


title: Generating Instances with Performance Differences for More Than Just Two Algorithms

abstract: In recent years, Evolutionary Algorithms (EAs) have frequently been adopted to evolve instances for optimization problems that pose difficulties for one algorithm while being rather easy for a competitor and vice versa. Typically, this is achieved by either minimizing or maximizing the performance difference or ratio which serves as the fitness function. Repeating this process is useful to gain insights into strengths/weaknesses of certain algorithms or to build a set of instances with strong performance differences as a foundation for automatic per-instance algorithm selection or configuration. We contribute to this branch of research by proposing fitness-functions to evolve instances that show large performance differences for more than just two algorithms simultaneously. As a proof-of-principle, we evolve instances of the multi-component Traveling Thief Problem~(TTP) for three incomplete TTP-solvers. Our results point out that our strategies are promising, but unsurprisingly their success strongly relies on the algorithms' performance complementarity.


title: Weak species in rock-paper-scissors models

abstract: In this letter, we investigate the population dynamics in a May-Leonard formulation of the rock-paper-scissors game in which one or two species, which we shall refer to as "weak", have a reduced predation or reproduction probability. We show that in a nonspatial model the stationary solution where all three species coexist is always unstable, while in a spatial stochastic model coexistence is possible for a wide parameter space. We find, that a reduced predation probability results in a significantly higher abundance of "weak" species, in models with either one or two "weak" species, as long as the simulation lattices are sufficiently large for coexistence to prevail. On the other hand, we show that a reduced reproduction probability has a smaller impact on the abundance of "weak" species, generally leading to a slight decrease of its population size -- the increase of the population size of one of the "weak" species being more than compensated by the reduction of the other, in the two species case. We further show that the species abundances in models where both predation and reproduction probabilities are simultaneously reduced may be accurately estimated from the results obtained considering only a reduction of either the predation or the reproduction probability.


title: To code, or not to code, at the racetrack: Kelly betting and single-letter codes

abstract: For a gambler with side information, Kelly betting gives the optimal log growth rate of the gambler's fortune, which is closely related to the mutual information between the correct winner and the noisy side information. We show conditions under which optimal Kelly betting can be implemented using single-letter codes. We show that single-letter coding is optimal for a wide variety of systems; for example, all systems with diagonal reward matrices admit optimal single-letter codes. We also show that important classes of systems do not admit optimal single-letter codes for Kelly betting, such as when the side information is passed through a Z channel. Our results are important to situations where the computational complexity of the gambler is constrained, and may lead to new insights into the fitness value of information for biological systems.


title: ReLearn: A Robust Machine Learning Framework in Presence of Missing Data for Multimodal Stress Detection from Physiological Signals

abstract: Continuous and multimodal stress detection has been performed recently through wearable devices and machine learning algorithms. However, a well-known and important challenge of working on physiological signals recorded by conventional monitoring devices is missing data due to sensors insufficient contact and interference by other equipment. This challenge becomes more problematic when the user/patient is mentally or physically active or stressed because of more frequent conscious or subconscious movements. In this paper, we propose ReLearn, a robust machine learning framework for stress detection from biomarkers extracted from multimodal physiological signals. ReLearn effectively copes with missing data and outliers both at training and inference phases. ReLearn, composed of machine learning models for feature selection, outlier detection, data imputation, and classification, allows us to classify all samples, including those with missing values at inference. In particular, according to our experiments and stress database, while by discarding all missing data, as a simplistic yet common approach, no prediction can be made for 34% of the data at inference, our approach can achieve accurate predictions, as high as 78%, for missing samples. Also, our experiments show that the proposed framework obtains a cross-validation accuracy of 86.8% even if more than 50% of samples within the features are missing.


title: How (Non-)Optimal is the Lexicon?

abstract: The mapping of lexical meanings to wordforms is a major feature of natural languages. While usage pressures might assign short words to frequent meanings (Zipf's law of abbreviation), the need for a productive and open-ended vocabulary, local constraints on sequences of symbols, and various other factors all shape the lexicons of the world's languages. Despite their importance in shaping lexical structure, the relative contributions of these factors have not been fully quantified. Taking a coding-theoretic view of the lexicon and making use of a novel generative statistical model, we define upper bounds for the compressibility of the lexicon under various constraints. Examining corpora from 7 typologically diverse languages, we use those upper bounds to quantify the lexicon's optimality and to explore the relative costs of major constraints on natural codes. We find that (compositional) morphology and graphotactics can sufficiently account for most of the complexity of natural codes -- as measured by code length.


title: Relevance Detection in Cataract Surgery Videos by Spatio-Temporal Action Localization

abstract: In cataract surgery, the operation is performed with the help of a microscope. Since the microscope enables watching real-time surgery by up to two people only, a major part of surgical training is conducted using the recorded videos. To optimize the training procedure with the video content, the surgeons require an automatic relevance detection approach. In addition to relevance-based retrieval, these results can be further used for skill assessment and irregularity detection in cataract surgery videos. In this paper, a three-module framework is proposed to detect and classify the relevant phase segments in cataract videos. Taking advantage of an idle frame recognition network, the video is divided into idle and action segments. To boost the performance in relevance detection, the cornea where the relevant surgical actions are conducted is detected in all frames using Mask R-CNN. The spatiotemporally localized segments containing higher-resolution information about the pupil texture and actions, and complementary temporal information from the same phase are fed into the relevance detection module. This module consists of four parallel recurrent CNNs being responsible to detect four relevant phases that have been defined with medical experts. The results will then be integrated to classify the action phases as irrelevant or one of four relevant phases. Experimental results reveal that the proposed approach outperforms static CNNs and different configurations of feature-based and end-to-end recurrent networks.


title: Leveraging Online Shopping Behaviors as a Proxy for Personal Lifestyle Choices: New Insights into Chronic Disease Prevention Literacy

abstract: Objective: Ubiquitous internet access is reshaping the way we live, but it is accompanied by unprecedented challenges in preventing chronic diseases that are usually planted by long exposure to unhealthy lifestyles. This paper proposes leveraging online shopping behaviors as a proxy for personal lifestyle choices to improve chronic disease prevention literacy, targeted for times when e-commerce user experience has been assimilated into most people's everyday lives. Methods: Longitudinal query logs and purchase records from 15 million online shoppers were accessed, constructing a broad spectrum of lifestyle features covering various product categories and buyer personas. Using the lifestyle-related information preceding online shoppers' first purchases of specific prescription drugs, we could determine associations between their past lifestyle choices and whether they suffered from a particular chronic disease. Results: Novel lifestyle risk factors were discovered in two exemplars--depression and type 2 diabetes, most of which showed reasonable consistency with existing healthcare knowledge. Further, such empirical findings could be adopted to locate online shoppers at higher risk of these chronic diseases with decent accuracy [i.e., (area under the receiver operating characteristic curve) AUC=0.68 for depression and AUC=0.70 for type 2 diabetes], closely matching the performance of screening surveys benchmarked against medical diagnosis. Conclusions: Mining online shopping behaviors can point medical experts to a series of lifestyle issues associated with chronic diseases that are less explored to date. Hopefully, unobtrusive chronic disease surveillance via e-commerce sites can grant consenting individuals a privilege to be connected more readily with the medical profession and sophistication.


title: VIRDOCD: a VIRtual DOCtor to Predict Dengue Fatality

abstract: Clinicians make routine diagnosis by scrutinizing patients' medical signs and symptoms, a skill popularly referred to as "Clinical Eye". This skill evolves through trial-and-error and improves with time. The success of the therapeutic regime relies largely on the accuracy of interpretation of such sign-symptoms, analyzing which a clinician assesses the severity of the illness. The present study is an attempt to propose a complementary medical front by mathematically modeling the "Clinical Eye" of a VIRtual DOCtor, using Statistical and Machine Intelligence tools (SMI), to analyze Dengue epidemic infected patients (100 case studies with 11 weighted sign-symptoms). The SMI in VIRDOCD reads medical data and translates these into a vector comprising Multiple Linear Regression (MLR) coefficients to predict infection severity grades of dengue patients that clone the clinician's experience-based assessment. Risk managed through ANOVA, the dengue severity grade prediction accuracy from VIRDOCD is found higher (ca 75%) than conventional clinical practice (ca 71.4%, mean accuracy profile assessed by a team of 10 senior consultants). Free of human errors and capable of deciphering even minute differences from almost identical symptoms (to the Clinical Eye), VIRDOCD is uniquely individualized in its decision-making ability. The algorithm has been validated against Random Forest classification (RF, ca 63%), another regression-based classifier similar to MLR that can be trained through supervised learning. We find that MLR-based VIRDOCD is superior to RF in predicting the grade of Dengue morbidity. VIRDOCD can be further extended to analyze other epidemic infections, such as COVID-19.


title: Uncertainty Principles in Risk-Aware Statistical Estimation

abstract: We present a new uncertainty principle for risk-aware statistical estimation, effectively quantifying the inherent trade-off between mean squared error ($\mse$) and risk, the latter measured by the associated average predictive squared error variance ($\sev$), for every admissible estimator of choice. Our uncertainty principle has a familiar form and resembles fundamental and classical results arising in several other areas, such as the Heisenberg principle in statistical and quantum mechanics, and the Gabor limit (time-scale trade-offs) in harmonic analysis. In particular, we prove that, provided a joint generative model of states and observables, the product between $\mse$ and $\sev$ is bounded from below by a computable model-dependent constant, which is explicitly related to the Pareto frontier of a recently studied $\sev$-constrained minimum $\mse$ (MMSE) estimation problem. Further, we show that the aforementioned constant is inherently connected to an intuitive new and rigorously topologically grounded statistical measure of distribution skewness in multiple dimensions, consistent with Pearson's moment coefficient of skewness for variables on the line. Our results are also illustrated via numerical simulations.


title: On the two-loop divergences in 6D, ${\cal N}=(1,1)$ SYM theory

abstract: We continue studying $6D, {\cal N}=(1,1)$ supersymmetric Yang-Mills (SYM) theory in the ${\cal N}=(1,0)$ harmonic superspace formulation. Using the superfield background field method we explore the two-loop divergencies of the effective action in the gauge multiplet sector. It is explicitly demonstrated that among four two-loop background-field dependent supergraphs contributing to the effective action, only one diverges off shell. It is also shown that the divergences are proportional to the superfield classical equations of motion and hence vanish on shell. Besides, we have analyzed a possible structure of the two-loop divergences on general gauge and hypermultiplet background.


title: Hybrid tracker based optimal path tracking system for complex road environments for autonomous driving

abstract: Path tracking system plays a key technology in autonomous driving. The system should be driven accurately along the lane and be careful not to cause any inconvenience to passengers. To address such tasks, this paper proposes hybrid tracker based optimal path tracking system. By applying a deep learning based lane detection algorithm and a designated fast lane fitting algorithm, this paper developed a lane processing algorithm that shows a match rate with actual lanes with minimal computational cost. In addition, three modified path tracking algorithms were designed using the GPS based path or the vision based path. In the driving system, a match rate for the correct ideal path does not necessarily represent driving stability. This paper proposes hybrid tracker based optimal path tracking system by applying the concept of an observer that selects the optimal tracker appropriately in complex road environments. The driving stability has been studied in complex road environments such as straight road with multiple 3-way junctions, roundabouts, intersections, and tunnels. Consequently, the proposed system experimentally showed the high performance with consistent driving comfort by maintaining the vehicle within the lanes accurately even in the presence of high complexity of road conditions. Code will be available in https://github.com/DGIST-ARTIV.


title: Prediction of Food Production Using Machine Learning Algorithms of Multilayer Perceptron and ANFIS

abstract: Advancing models for accurate estimation of food production is essential for policymaking and managing national plans of action for food security. This research proposes two machine learning models for the prediction of food production. The adaptive network-based fuzzy inference system (ANFIS) and multilayer perceptron (MLP) methods are used to advance the prediction models. In the present study, two variables of livestock production and agricultural production were considered as the source of food production. Three variables were used to evaluate livestock production, namely livestock yield, live animals, and animal slaughtered, and two variables were used to assess agricultural production, namely agricultural production yields and losses. Iran was selected as the case study of the current study. Therefore, time-series data related to livestock and agricultural productions in Iran from 1961 to 2017 have been collected from the FAOSTAT database. First, 70% of this data was used to train ANFIS and MLP, and the remaining 30% of the data was used to test the models. The results disclosed that the ANFIS model with Generalized bell-shaped (Gbell) built-in membership functions has the lowest error level in predicting food production. The findings of this study provide a suitable tool for policymakers who can use this model and predict the future of food production to provide a proper plan for the future of food security and food supply for the next generations.


title: Electric cars, assessment of green nature vis a vis conventional fuel driven cars

abstract: A comprehensive analysis of energy requirements and emissions associated with electric vehicles, ranging from mining and making the rare-earth magnets required in electric motor to assembling the Li-ion battery, including charging and regular running of the electric vehicles has been performed. A simple, analytical procedure is used to determine the embodied energy and emissions. The objective is to assess the potential of electric cars to reduce green house gases emission to limit global warming to < 1.5 degrees C by the Year 2050 as per IPCC recommendations and also to compare them with conventional fuel driven cars. The combined embodied energy for Nd- and Dy-metals production which are required in electric motors and battery assembly for 150 million cars, projected to be on the road in the year 2050 is ~ 1500 TWh and the CO2 emissions is found to be > 600 MT. The emissions includes carbon intensity of electrical energy required to run these electric vehicles. The projected emissions due to fossil fuels, gasoline production as well as burning it in combustion engines however is only 412 MT, far less than that due to electric vehicles. The main contributor to emissions from electric vehicles is the battery assembling process which releases ~ 379 MT of CO2-e gases. The emissions from both electric vehicles as well as combustion engine vehicles scale linearly with the number of vehicles, indicating that a breakeven is not possible with the currently available manufacturing technologies. These results clearly show that significant technological developments have to take place in electric vehicles so that they become environmentally better placed compared to combustion engine based cars.


title: Giant Nonlinear Hall Effect in Twisted Bilayer WTe2

abstract: In a system with inversion symmetry broken, a second-order nonlinear Hall effect can survive even in the presence of time-reversal symmetry. In this work, we show that a giant nonlinear Hall effect can exist in twisted bilayer WTe2 system. The Berry curvature dipole of twisted bilayer WTe2 ({\theta} = 29.4{\deg}) can reach up to ~1400 {\AA}, which is much larger than that in previously reported nonlinear Hall systems. In twisted bilayer WTe2 system, there exists abundant band anticrossings and band inversions around the Fermi level, which brings a complicated distribution of Berry curvature, and leading to the nonlinear Hall signals exhibit dramatically oscillating behavior in this system. Its large amplitude and high tunability indicate that the twisted bilayer WTe2 can be an excellent platform for studying the nonlinear Hall effect.


title: Multi-class Text Classification using BERT-based Active Learning

abstract: Text Classification finds interesting applications in the pickup and delivery services industry where customers require one or more items to be picked up from a location and delivered to a certain destination. Classifying these customer transactions into multiple categories helps understand the market needs for different customer segments. Each transaction is accompanied by a text description provided by the customer to describe the products being picked up and delivered which can be used to classify the transaction. BERT-based models have proven to perform well in Natural Language Understanding. However, the product descriptions provided by the customers tend to be short, incoherent and code-mixed (Hindi-English) text which demands fine-tuning of such models with manually labelled data to achieve high accuracy. Collecting this labelled data can prove to be expensive. In this paper, we explore Active Learning strategies to label transaction descriptions cost effectively while using BERT to train a transaction classification model. On TREC-6, AG's News Corpus and an internal dataset, we benchmark the performance of BERT across different Active Learning strategies in Multi-Class Text Classification.


title: Meta-learning using privileged information for dynamics

abstract: Neural ODE Processes approach the problem of meta-learning for dynamics using a latent variable model, which permits a flexible aggregation of contextual information. This flexibility is inherited from the Neural Process framework and allows the model to aggregate sets of context observations of arbitrary size into a fixed-length representation. In the physical sciences, we often have access to structured knowledge in addition to raw observations of a system, such as the value of a conserved quantity or a description of an understood component. Taking advantage of the aggregation flexibility, we extend the Neural ODE Process model to use additional information within the Learning Using Privileged Information setting, and we validate our extension with experiments showing improved accuracy and calibration on simulated dynamics tasks.


title: Optimizing Rescoring Rules with Interpretable Representations of Long-Term Information

abstract: Analyzing temporal data (e.g., wearable device data) requires a decision about how to combine information from the recent and distant past. In the context of classifying sleep status from actigraphy, Webster's rescoring rules offer one popular solution based on the long-term patterns in the output of a moving-window model. Unfortunately, the question of how to optimize rescoring rules for any given setting has remained unsolved. To address this problem and expand the possible use cases of rescoring rules, we propose rephrasing these rules in terms of epoch-specific features. Our features take two general forms: (1) the time lag between now and the most recent [or closest upcoming] bout of time spent in a given state, and (2) the length of the most recent [or closest upcoming] bout of time spent in a given state. Given any initial moving window model, these features can be defined recursively, allowing for straightforward optimization of rescoring rules. Joint optimization of the moving window model and the subsequent rescoring rules can also be implemented using gradient-based optimization software, such as Tensorflow. Beyond binary classification problems (e.g., sleep-wake), the same approach can be applied to summarize long-term patterns for multi-state classification problems (e.g., sitting, walking, or stair climbing). We find that optimized rescoring rules improve the performance of sleep-wake classifiers, achieving accuracy comparable to that of certain neural network architectures.


title: Nucleophilic substitution vs elimination reaction of bisulfide ions with substituted methanes: exploration of chiral selectivity by stereodirectional first-principles dynamics and transition state theory

abstract: Control of molecular orientation is emerging as crucial for the characterization of the stereodynamics of kinetics processes beyond structural stereochemistry. The special role played in chiral discrimination phenomena has been particularly emphasized by the authors after their extensive probes of experimental control of molecular alignment and orientation. In this work, the role of the orientation has been demonstrated for the first time in first-principles molecular dynamics simulations: stationary points characterized on potential energy surfaces have been calculated for the study of chemical reactions occurring between the bisulfide anion HS- and oriented prototypical chiral molecules CHFXY (where X = CH3 or CN and Y = Cl or I). The important reaction channels are those corresponding to bimolecular nucleophilic substitution (SN2) and to bimolecular elimination (E2): their relative role has been assessed and alternative pathways due to the mirror forms of the oriented chiral molecule are revealed by the different reactivity of the two enantiomers of CHFCNI in SN2 reaction.


title: Prompt Acceleration of a Short-Lifetime Low-Energy Muon Beam

abstract: An energetic muon beam is an attractive key to unlock new physics beyond the Standard Model: the lepton flavor violation or the anomalous magnetic moment, and also is a competitive candidate for the expected neutrino factory. Lots of the muon scientific applications are limited by low flux cosmic-ray muons, low energy muon sources or extremely expensive muon accelerators. An prompt acceleration of the low-energy muon beam is found in the beam-driven plasma wakefield up to $\mathrm{TV/m}$. The muon beam is accelerated from $275\mathrm{MeV}$ to more than $10\mathrm{GeV}$ within $22.5\mathrm{ps}$. Choosing the injection time of the muon beam in a proper range, the longitudinal spatial distribution and the energy distribution of the accelerated muon beam are compressed. The efficiency of the energy transfer from the driven electron beam to the muon beam can reach $20\%$. The prompt acceleration scheme is a promising avenue to bring the expected neutrino factory and the muon collider into reality and to catch new physics beyond the Standard Model.


title: Emerging Properties in Self-Supervised Vision Transformers

abstract: In this paper, we question if self-supervised learning provides new properties to Vision Transformer (ViT) that stand out compared to convolutional networks (convnets). Beyond the fact that adapting self-supervised methods to this architecture works particularly well, we make the following observations: first, self-supervised ViT features contain explicit information about the semantic segmentation of an image, which does not emerge as clearly with supervised ViTs, nor with convnets. Second, these features are also excellent k-NN classifiers, reaching 78.3% top-1 on ImageNet with a small ViT. Our study also underlines the importance of momentum encoder, multi-crop training, and the use of small patches with ViTs. We implement our findings into a simple self-supervised method, called DINO, which we interpret as a form of self-distillation with no labels. We show the synergy between DINO and ViTs by achieving 80.1% top-1 on ImageNet in linear evaluation with ViT-Base.


title: Moment functions and exponential monomials on commutative hypergroups

abstract: The purpose of this paper is to prove that if on a commutative hypergroup an exponential monomial has the property that the linear subspace of all sine functions in its variety is one dimensional, then this exponential monomial is a linear combination of generalized moment functions.


title: Storytelling in human--centric software engineering research

abstract: BACKGROUND: Software engineering is a human activity. People naturally make sense of their activities and experience through storytelling. But storytelling does not appear to have been properly studied by software engineering research. AIM: We explore the question: what contribution can storytelling make to human--centric software engineering research? METHOD: We define concepts, identify types of story and their purposes, outcomes and effects, briefly review prior literature, identify several contributions and propose next steps. RESULTS: Storytelling can, amongst other contributions, contribute to data collection, data analyses, ways of knowing, research outputs, interventions in practice, and advocacy, and can integrate with evidence and arguments. Like all methods, storytelling brings risks. These risks can be managed. CONCLUSION: Storytelling provides a potential counter--balance to abstraction, and an approach to retain and honour human meaning in software engineering.


title: End-to-End Speech Recognition from Federated Acoustic Models

abstract: Training Automatic Speech Recognition (ASR) models under federated learning (FL) settings has attracted a lot of attention recently. However, the FL scenarios often presented in the literature are artificial and fail to capture the complexity of real FL systems. In this paper, we construct a challenging and realistic ASR federated experimental setup consisting of clients with heterogeneous data distributions using the French and Italian sets of the CommonVoice dataset, a large heterogeneous dataset containing thousands of different speakers, acoustic environments and noises. We present the first empirical study on attention-based sequence-to-sequence End-to-End (E2E) ASR model with three aggregation weighting strategies -- standard FedAvg, loss-based aggregation and a novel word error rate (WER)-based aggregation, compared in two realistic FL scenarios: cross-silo with 10 clients and cross-device with 2K and 4K clients. Our analysis on E2E ASR from heterogeneous and realistic federated acoustic models provides the foundations for future research and development of realistic FL-based ASR applications.


title: The Development of a Wax Layer on the Interior Wall of a Circular Pipe Transporting Heated Oil -- The Effects of Temperature Dependent Wax Conductivity

abstract: In this paper we develop and significantly extend the thermal phase change model, introduced in [12], describing the process of paraffinic wax layer formation on the interior wall of a circular pipe transporting heated oil, when subject to external cooling. In particular we allow for the natural dependence of the solidifying paraffinic wax conductivity on local temperature. We are able to develop a complete theory, and provide efficient numerical computations, for this extended model. Comparison with recent experimental observations is made, and this, together with recent reviews of the physical mechanisms associated with wax layer formation, provide significant support for the thermal model considered here.


title: Quadrilaterals on the square screen of their diagonals: Regge symmetries of quantum-mechanical spin-networks and Grashof classical mechanisms of four-bar linkages

abstract: The four-bar linkage is a basic arrangement of mechanical engineering and represents the simplest movable system formed by a closed sequence of bar-shaped bodies. Although the mechanism can have in general a spatial arrangement, we focus here on the prototypical planar case, starting however from a spatial viewpoint. The classification of the mechanism relies on the angular range spanned by the rotational motion of the bars allowed by the ratios among their lengths and is established by conditions for the existence of either one or more bars allowed to move as cranks, namely to be permitted to rotate the full 360 degrees range (Grashof cases), or as rockers with limited angular ranges (non-Grashof cases). In this paper, we provide a view on the connections between the "classic" four-bar problem and the theory of 6j symbols of quantum mechanical angular momentum theory, occurring in a variety of contexts in pure and applied quantum mechanics. The general case and a series of symmetric configurations are illustrated, by representing the range of existence of the related quadrilaterals on a square "screen" (namely as a function of their diagonals) and by discussing their behavior according both to the Grashof conditions and to the Regge symmetries, concertedly considering the classification of the two mechanisms and that of the corresponding objects of the quantum mechanical theory of angular momentum. An interesting topological difference is demonstrated between mechanisms belonging to the two Regge symmetric configurations: the movements in the Grashof cases span chirality preserving configurations with a 2 pi-cycle of a rotating bar, while by contrast the non-Grashof cases span both enantiomeric configurations with a 4 pi-cycle.


title: Capability Iteration Network for Robot Path Planning

abstract: Path planning is an important topic in robotics. Recently, value iteration based deep learning models have achieved good performance such as Value Iteration Network(VIN). However, previous methods suffer from slow convergence and low accuracy on large maps, hence restricted in path planning for agents with complex kinematics such as legged robots. Therefore, we propose a new value iteration based path planning method called Capability Iteration Network(CIN). CIN utilizes sparse reward maps and encodes the capability of the agent with state-action transition probability, rather than a convolution kernel in previous models. Furthermore, two training methods including end-to-end training and training capability module alone are proposed, both of which speed up convergence greatly. Several path planning experiments in various scenarios, including on 2D, 3D grid world and real robots with different map sizes are conducted. The results demonstrate that CIN has higher accuracy, faster convergence, and lower sensitivity to random seed compared to previous VI-based models, hence more applicable for real robot path planning.


title: The Effect of Marketing Investment on Firm Value and Systematic Risk

abstract: Analyzing the financial benefit of marketing is still a critical topic for both practitioners and researchers. Companies consider marketing costs as a type of investment and expect this investment to be returned to the company in the form of profit. On the other hand, companies adopt different innovative strategies to increase their value. Therefore, this study aims to test the impact of marketing investment on firm value and systematic risk. To do so, data related to four Arabic emerging markets during the period 2010-2019 are considered, and firm share price and beta share are considered to measure firm value and systematic risk, respectively. Since a firm's ownership concentration is a determinant factor in firm value and systematic risk, this variable is considered a moderated variable in the relationship between marketing investment and firm value and systematic risk. The findings of the study, using panel data regression, indicate that increasing investment in marketing has a positive effect on the firm value valuation model. It is also found that the ownership concentration variable has a reinforcing role in the relationship between marketing investment and firm value. It is also disclosed that it moderates the systematic risk aligned with the monitoring impact of controlling shareholders. This study provides a logical combination of governance-marketing dimensions to interpret performance indicators in the capital market.


title: Silicon-nitride nanosensors toward room temperature quantum optomechanics

abstract: Observation of quantum phenomena in cryogenic, optically cooled mechanical resonators has been recently achieved by a few experiments based on cavity optomechanics. A well-established experimental platform is based on a thin film stoichiometric ($ Si_3 N_4 $) nanomembrane embedded in a Fabry-Perot cavity, where the coupling with the light field is provided by the radiation pressure of the light impinging on the membrane surface. Two crucial parameters have to be optimized to ensure that these systems work at the quantum level: the cooperativity $ C$ describing the optomechanical coupling and the product $ Q \times \nu$ (quality factor - resonance frequency) related to the decoherence rate. A significant increase of the latter can be obtained with high aspect-ratio membrane resonators where uniform stress dilutes the mechanical dissipation. Furthermore, ultra-high $Q \times \nu$ can be reached by drastically reducing the edge dissipation via clamp-tapering and/or by soft-clamping, virtually a clamp-free resonator configuration. In this work, we investigate, theoretically and experimentally, the edge loss mechanisms comparing two state-of-the-art resonators built by standard micro/nanofabrication techniques. The corresponding results would provide meaningful guidelines for designing new ultra-coherent resonating devices.


title: Kinetic simulation of electron cyclotron resonance assisted gas breakdown in split-biased waveguides for ITER collective Thomson scattering diagnostic

abstract: For the measurement of the dynamics of fusion-born alpha particles $E_\alpha \leq 3.5$ MeV in ITER using collective Thomson scattering (CTS), safe transmission of a gyrotron beam at mm-wavelength (1 MW, 60 GHz) passing the electron cyclotron resonance (ECR) in the in-vessel tokamak `port plug' vacuum is a prerequisite. Depending on neutral gas pressure and composition, ECR-assisted gas breakdown may occur at the location of the resonance, which must be mitigated for diagnostic performance and safety reasons. The concept of a split electrically biased waveguide (SBWG) has been previously demonstrated in [C.P. Moeller, U.S. Patent 4,687,616 (1987)]. The waveguide is longitudinally split and a kV bias voltage applied between the two halves. Electrons are rapidly removed from the central region of high radio frequency electric field strength, mitigating breakdown. As a full scale experimental investigation of gas and electromagnetic field conditions inside the ITER equatorial port plugs is currently unattainable, a corresponding Monte Carlo simulation study is presented. Validity of the Monte Carlo electron model is demonstrated with a prediction of ECR breakdown and the mitigation pressure limits for the above quoted reference case with $^1$H$_2$ (and pollutant high $Z$ elements). For the proposed ITER CTS design with a 88.9 mm inner diameter SBWG, ECR breakdown is predicted to occur down to a pure $^1$H$_2$ pressure of 0.3 Pa, while mitigation is shown to be effective at least up to 10 Pa using a bias voltage of 1 kV. The analysis is complemented by results for relevant electric/magnetic field arrangements and limitations of the SBWG mitigation concept are addressed.


title: PAM-6 Coded Modulation for IM/DD Channels with a Peak-Power Constraint

abstract: Coded modulation with probabilistic amplitude shaping (PAS) is considered for intensity modulation/direct detection channels with a transmitter peak-power constraint. PAS is used to map bits to a uniform PAM-6 distribution and outperforms PAM-8 for rates up to around 2.3 bits per channel use. PAM-6 with PAS also outperforms a cross-shaped QAM-32 constellation by up to 1 dB and 0.65 dB after bit-metric soft- and hard decoding, respectively. An alternative PAM-6 scheme based on a framed cross-shaped QAM-32 constellation is proposed that shows similar gains.