title: A New Clock Transition with the Highest Sensitivity to $\alpha$ Variation and Simultaneous Magic Trapping Conditions with Other Clock Transitions in Yb

abstract: Optical lattice clocks are the prospective devices that can probe many subtle physics including temporal variation of the fine structure constant ($\alpha_e$). These studies necessitate high-precision measurements of atomic clock frequency ratios to unprecedented accuracy. In contrast to the earlier claimed highest sensitive coefficient ($K$) clock transition to $\alpha_e$ in Yb [Phys. Rev. Lett. $\textbf{120}$, 173001 (2018)], we found the $4f^{14}6s6p\,(^3P_2) - 4f^{13}5d6s^{2}\,(^3P_2^*)$ transition of this atom can serve as the clock transition with the largest $K$ value (about $-$25(2)). Moreover, we demonstrate a scheme to attain simultaneous magic trapping conditions for this clock transition with the other two proposed clock transitions $4f^{14}6s^2\,(^1S_0) - 4f^{14}6s6p\,(^3P_2)$ and $4f^{14}6s^2\,(^1S_0) - 4f^{13}5d6s^{2}\,(^3P_2^*)$; also exhibiting large $K$ values. This magic condition can be realized by subjecting Yb atoms to a bias magnetic field at a particular polarization angle along the quantization axis in an experimental set up. Upon realization, it will serve as the most potential optical lattice clock to probe $\alpha_e$ variation.


title: Improving Post-Processing of Audio Event Detectors Using Reinforcement Learning

abstract: We apply post-processing to the class probability distribution outputs of audio event classification models and employ reinforcement learning to jointly discover the optimal parameters for various stages of a post-processing stack, such as the classification thresholds and the kernel sizes of median filtering algorithms used to smooth out model predictions. To achieve this we define a reinforcement learning environment where: 1) a state is the class probability distribution provided by the model for a given audio sample, 2) an action is the choice of a candidate optimal value for each parameter of the post-processing stack, 3) the reward is based on the classification accuracy metric we aim to optimize, which is the audio event-based macro F1-score in our case. We apply our post-processing to the class probability distribution outputs of two audio event classification models submitted to the DCASE Task4 2020 challenge. We find that by using reinforcement learning to discover the optimal per-class parameters for the post-processing stack that is applied to the outputs of audio event classification models, we can improve the audio event-based macro F1-score (the main metric used in the DCASE challenge to compare audio event classification accuracy) by 4-5% compared to using the same post-processing stack with manually tuned parameters.


title: Impact of the First Months of War on Routing and Latency in Ukraine

abstract: Given the fundamental role of the Internet in our lives, a better understanding of its operational status during war times is crucial. In this paper, we analyze the Ukrainian Internet during the first months of war after the Russian invasion occurred in February 2022. The analysis is carried out from two points of view: routing and latency. In terms of routing, there is a substantial increase in BGP announcements and withdrawals which can be due to both physical unavailability of facilities and cyberattacks. Latency also increased significantly compared to the pre-conflict period, especially when considering paths going from Ukraine to Russia. The increase in latency appears to be due to a partial shift from peering to transit. As far as we know, this is the first quantitative analysis about the Internet of a large country during a major conflict.


title: Towards Efficient Capsule Networks

abstract: From the moment Neural Networks dominated the scene for image processing, the computational complexity needed to solve the targeted tasks skyrocketed: against such an unsustainable trend, many strategies have been developed, ambitiously targeting performance's preservation. Promoting sparse topologies, for example, allows the deployment of deep neural networks models on embedded, resource-constrained devices. Recently, Capsule Networks were introduced to enhance explainability of a model, where each capsule is an explicit representation of an object or its parts. These models show promising results on toy datasets, but their low scalability prevents deployment on more complex tasks. In this work, we explore sparsity besides capsule representations to improve their computational efficiency by reducing the number of capsules. We show how pruning with Capsule Network achieves high generalization with less memory requirements, computational effort, and inference and training time.


title: The SHARDDS survey: limits on planet occurrence rates based on point sources analysis via the Auto-RSM framework

abstract: In the past decade, HCI surveys provided new insights about the frequency and properties of substellar companions at separation larger than 5 au. In this context, our study aims to detect and characterise potential exoplanets and brown dwarfs within debris disks, by considering the SHARDDS survey, which gathers 55 Main Sequence stars with known bright debris disk. We rely on the AutoRSM framework to perform an in-depth analysis of the targets, via the computation of detection maps and contrast curves. A clustering approach is used to divide the set of targets in multiple subsets, in order to reduce the computation time by estimating a single optimal parametrisation for each considered subset. The use of Auto-RSM allows to reach high contrast at short separations, with a median contrast of 10-5 at 300 mas, for a completeness level of 95%. Detection maps generated with different approaches are used along with contrast curves, to identify potential planetary companions. A new planetary characterisation algorithm, based on the RSM framework, is developed and tested successfully, showing a higher astrometric and photometric precision for faint sources compared to standard approaches. Apart from the already known companion of HD206893 and two point-like sources around HD114082 which are most likely background stars, we did not detect any new companion around other stars. A correlation study between achievable contrasts and parameters characterising HCI sequences highlights the importance of the strehl, wind speed and wind driven halo to define the quality of high contrast images. Finally, planet detection and occurrence frequency maps are generated and show, for the SHARDDS survey, a high detection rate between 10 and 100 au for substellar companions with mass >10MJ.


title: Dynamic Nonreciprocity with a Kerr Nonlinear Resonator

abstract: On-chip optical nonreciprocal devices are vital components for integrated photonic systems and scalable quantum information processing. Nonlinear optical isolators and circulators have attracted considerable attention because of their fundamental interest and their important advantages in integrated photonic circuits. However, optical nonreciprocal devices based on Kerr or Kerr-like nonlinearity are subject to dynamical reciprocity when the forward and backward signals coexist simultaneously in a nonlinear system. Here, we theoretically propose a method for realizing on-chip nonlinear isolators and circulators with dynamic nonreciprocity. Dynamic nonreciprocity is achieved via the chiral modulation on the resonance frequency due to coexisting self- and cross-Kerr nonlinearities in an optical ring resonator. This work showing dynamic nonreciprocity with a Kerr nonlinear resonator can be an essential step toward integrated optical isolation.


title: Testing Quantum Programs with Multiple Subroutines

abstract: Errors in quantum programs are challenging to track down due to the uncertainty of quantum programs. Testing is, therefore, an indispensable method for assuring the quality of quantum software. Existing testing methods focus only on testing quantum programs with quantum circuits or single subroutines and, therefore, cannot effectively test quantum programs with multi-subroutines. In this paper, we first discuss several critical issues that must be considered when testing multi-subroutine quantum programs and point out the limitations and problems with existing testing methods. We then present a novel framework for testing multi-subroutine quantum programs that allow for both unit and integration testing. Our framework includes two novel test coverage criteria for the equivalent class partition of quantum variables to guide our testing tasks and techniques to test quantum programs with several common patterns. We also discuss how to generate test cases based on our framework. To evaluate the effectiveness of our testing framework, we implemented a tool called QSharpTester for testing Q\# programs with multiple subroutines. We used it to conduct experiments on hundreds of mutation programs deriving from seven original Q\# programs. The experimental results show that our testing methods can deal with broader types of quantum programs than existing ones and perform well on almost all faulty mutation programs.


title: ZRH22: An improved analysis of the pion-nucleon measurements at low energy

abstract: Carried out in this study is an improved analysis of the measurements of the three pion-nucleon ($\pi N$) reactions, which can be subjected to experimental investigation at low energy (pion laboratory kinetic energy $T \leq 100$ MeV), i.e., of the two elastic-scattering (ES) processes $\pi^\pm p \to \pi^\pm p$ and of the $\pi^- p$ charge-exchange (CX) reaction $\pi^- p \to \pi^0 n$. After the application of the four steps of the first phase of the new analysis procedure, $52$ entries - of the $1150$ degrees of freedom of the new initial database (DB) of this project - were identified as outliers and were removed from the input. In this manner, three `clean' (devoid of outliers) DBs were obtained, which were submitted to further analysis using the ETH model. The phase-shift analysis (PSA) of the ES measurements comprises the results of one hundred joint fits to the data, each fit being carried out at one value (randomly generated, in normal distribution, according to a recent result) of the model parameter $m_\sigma$, which is associated with the effective range of the scalar-isoscalar part of the $\pi N$ interaction. The result of the PSA of the ES data for the (square of the) charged-pion coupling constant $f_c$ is: $f_c^2=0.0764(15)$. An exclusive fit of the ETH model to the low-energy $\pi^- p$ CX DB was also performed, for the first time in the recent years, after suppressing the contributions to the partial-wave amplitudes of the ETH model which originate from the scalar-isoscalar $t$-channel Feynman diagram. The predictions, obtained from these two types of fits (PSA of the ES data and exclusive fit of the ETH model to the $\pi^- p$ CX DB) for the (popular) symmetrised relative difference $R_2$ were compared in the entire low-energy region, separately for the $s$ wave, as well as for the no-spin-flip and spin-flip $p$-wave parts of the $\pi N$ scattering amplitude.


title: Gauge-Invariant Semi-Discrete Wigner Theory

abstract: A gauge-invariant Wigner quantum mechanical theory is obtained by applying the Weyl-Stratonovich transform to the von Neumann equation for the density matrix. The transform reduces to the Weyl transform in the electrostatic limit, when the vector potential and thus the magnetic field are zero. Both cases involve a center-of-mass transform followed by a Fourier integral on the relative coordinate introducing the momentum variable. The latter is continuous if the limits of the integral are infinite or, equivalently, the coherence length is infinite. However, the quantum theory involves Fourier transforms of the electromagnetic field components, which imposes conditions on their behavior at infinity. Conversely, quantum systems are bounded and often very small, as is, for instance, the case in modern nanoelectronics. This implies a finite coherence length, which avoids the need to regularize non-converging Fourier integrals. Accordingly, the momentum space becomes discrete, giving rise to momentum quantization and to a semi-discrete gauge-invariant Wigner equation. To gain insights into the peculiarities of this theory one needs to analyze the equation for specific electromagnetic conditions. We derive the evolution equation for the linear electromagnetic case and show that it significantly simplifies for a limit dictated by the long coherence length behavior, which involves momentum derivatives. In the discrete momentum picture these derivatives are presented by finite difference quantities which, together with further approximations, allow to develop a computationally feasible model that offers physical insights into the involved quantum processes. In particular, a Fredholm integral equation of the second kind is obtained, where the "power" of the kernel components, measuring their rate of modification of the quantum evolution, can be evaluated.


title: Broadband multi-layer anti-reflection coatings with mullite and duroid for half-wave plates and alumina filters for CMB polarimetry

abstract: A broadband two-layer anti-reflection (AR) coating was developed for use on a sapphire half-wave plate (HWP) and an alumina infrared (IR) filter for cosmic microwave background (CMB) polarimetry. Measuring tiny CMB B-mode signals requires maximizing the number of photons reaching the detectors and minimizing spurious polarization due to reflection with an off-axis incident angle. However, a sapphire HWP and an alumina IR filter have high refractive indices of about 3.1, and an AR coating must be applied to them. Thermally sprayed mullite and Duroid 5880LZ were selected in terms of index and coefficient of thermal expansion for use at cryogenic temperatures. With these materials, the reflectivity was reduced to about 2% at 90/150 GHz and <1% at 220/280 GHz. The design, fabrication, and optical performance evaluation of the AR coatings are described. The coatings were used in a current ground-based CMB experiment called the Simons Array. They could also be applied to next-generation CMB experiments, such as the Simons Observatory.


title: Strain-Driven Zero-Field Near-10 nm Skyrmions in Two-Dimensional van der Waals Heterostructures

abstract: Magnetic skyrmions $-$ localized chiral spin structures $-$ show great promise for spintronic applications. The recent discovery of two-dimensional (2D) magnetic materials opened new opportunities for exploring such topological spin structures in atomically thin van der Waals (vdW) materials. Despite recent progress in stabilizing metastable skyrmions in 2D magnets, their diameters are still beyond 100~nm and their lifetime, which is essential for applications, has not been explored yet. Here, using first-principles calculations and atomistic spin simulations, we predict that compressive mechanical strain leads to stabilizing zero-field skyrmions with diameters close to 10 nm in a Fe$_3$GeTe$_2$/germanene vdW heterostructure. The origin of these unique skyrmions is attributed to the high tunability of Dzyaloshinskii-Moriya interaction and magnetocrystalline anisotropy energy by strain, an effect which is shown to be general for Fe$_3$GeTe$_2$ heterostructures with buckled substrates. Based on our first-principles parameters for the magnetic interactions, we calculate the energy barriers protecting skyrmions against annihilation and their lifetimes using transition-state theory. We show that nanoscale skyrmions in strained Fe$_3$GeTe$_2$/germanene can be stable for hours at temperatures up to 20 K.


title: Booster-SHOT: Boosting Stacked Homography Transformations for Multiview Pedestrian Detection with Attention

abstract: Improving multi-view aggregation is integral for multi-view pedestrian detection, which aims to obtain a bird's-eye-view pedestrian occupancy map from images captured through a set of calibrated cameras. Inspired by the success of attention modules for deep neural networks, we first propose a Homography Attention Module (HAM) which is shown to boost the performance of existing end-to-end multiview detection approaches by utilizing a novel channel gate and spatial gate. Additionally, we propose Booster-SHOT, an end-to-end convolutional approach to multiview pedestrian detection incorporating our proposed HAM as well as elements from previous approaches such as view-coherent augmentation or stacked homography transformations. Booster-SHOT achieves 92.9% and 94.2% for MODA on Wildtrack and MultiviewX respectively, outperforming the state-of-the-art by 1.4% on Wildtrack and 0.5% on MultiviewX, achieving state-of-the-art performance overall for standard evaluation metrics used in multi-view pedestrian detection.


title: Deterministic manipulation of multi-state polarization switching in multiferroic thin films

abstract: Deterministically controllable multi-state polarizations in ferroelectric materials are promising for the application of next-generation non-volatile multi-state memory devices. However, the achievement of multi-state polarizations has been inhibited by the challenge of selective control of switching pathways. Here we report an approach to selectively control 71{\deg} ferroelastic and 180{\deg} ferroelectric switching paths by combining the out-of-plane electric field and in-plane trailing field in multiferroic BiFeO3 thin films with periodically ordered 71{\deg} domain wall. Four-state polarization states can be deterministically achieved and reversibly controlled through precisely selecting different switching paths. Our studies reveal the ability to obtain multiple polarization states for the realization of multi-state memories and magnetoelectric coupling based devices.


title: Cross-correlation effects in the solution NMR spectra of near-equivalent spin-1/2 pairs

abstract: The NMR spectra of spin-1/2 pairs contains four peaks, with two inner peaks much stronger than the outer peaks in the near-equivalence regime. We have observed that the strong inner peaks have significantly different linewidths, when measurements were performed on a 13C2-labelled triyne derivative. This linewidth difference may be attributed to strong cross-correlation effects. We develop the theory of cross-correlated relaxation in the case of near-equivalent homonuclear spin-1/2 pairs, in the case of a molecule exhibiting strongly anisotropic rotational diffusion. Good agreement is found with the experimental NMR lineshapes.


title: Crowdsourced Fact-Checking at Twitter: How Does the Crowd Compare With Experts?

abstract: Fact-checking is one of the effective solutions in fighting online misinformation. However, traditional fact-checking is a process requiring scarce expert human resources, and thus does not scale well on social media because of the continuous flow of new content to be checked. Methods based on crowdsourcing have been proposed to tackle this challenge, as they can scale with a smaller cost, but, while they have shown to be feasible, have always been studied in controlled environments. In this work, we study the first large-scale effort of crowdsourced fact-checking deployed in practice, started by Twitter with the Birdwatch program. Our analysis shows that crowdsourcing may be an effective fact-checking strategy in some settings, even comparable to results obtained by human experts, but does not lead to consistent, actionable results in others. We processed 11.9k tweets verified by the Birdwatch program and report empirical evidence of i) differences in how the crowd and experts select content to be fact-checked, ii) how the crowd and the experts retrieve different resources to fact-check, and iii) the edge the crowd shows in fact-checking scalability and efficiency as compared to expert checkers.


title: Almost Cost-Free Communication in Federated Best Arm Identification

abstract: We study the problem of best arm identification in a federated learning multi-armed bandit setup with a central server and multiple clients. Each client is associated with a multi-armed bandit in which each arm yields {\em i.i.d.}\ rewards following a Gaussian distribution with an unknown mean and known variance. The set of arms is assumed to be the same at all the clients. We define two notions of best arm -- local and global. The local best arm at a client is the arm with the largest mean among the arms local to the client, whereas the global best arm is the arm with the largest average mean across all the clients. We assume that each client can only observe the rewards from its local arms and thereby estimate its local best arm. The clients communicate with a central server on uplinks that entail a cost of $C\ge0$ units per usage per uplink. The global best arm is estimated at the server. The goal is to identify the local best arms and the global best arm with minimal total cost, defined as the sum of the total number of arm selections at all the clients and the total communication cost, subject to an upper bound on the error probability. We propose a novel algorithm {\sc FedElim} that is based on successive elimination and communicates only in exponential time steps and obtain a high probability instance-dependent upper bound on its total cost. The key takeaway from our paper is that for any $C\geq 0$ and error probabilities sufficiently small, the total number of arm selections (resp.\ the total cost) under {\sc FedElim} is at most~$2$ (resp.~$3$) times the maximum total number of arm selections under its variant that communicates in every time step. Additionally, we show that the latter is optimal in expectation up to a constant factor, thereby demonstrating that communication is almost cost-free in {\sc FedElim}. We numerically validate the efficacy of {\sc FedElim}.

categories: cs.LG cs.IT math.IT math.ST stat.ML stat.TH


title: Ensemble uncertainty as a criterion for dataset expansion in distinct bone segmentation from upper-body CT images

abstract: Purpose: The localisation and segmentation of individual bones is an important preprocessing step in many planning and navigation applications. It is, however, a time-consuming and repetitive task if done manually. This is true not only for clinical practice but also for the acquisition of training data. We therefore not only present an end-to-end learnt algorithm that is capable of segmenting 125 distinct bones in an upper-body CT, but also provide an ensemble-based uncertainty measure that helps to single out scans to enlarge the training dataset with. Methods We create fully automated end-to-end learnt segmentations using a neural network architecture inspired by the 3D-Unet and fully supervised training. The results are improved using ensembles and inference-time augmentation. We examine the relationship of ensemble-uncertainty to an unlabelled scan's prospective usefulness as part of the training dataset. Results: Our methods are evaluated on an in-house dataset of 16 upper-body CT scans with a resolution of \SI{2}{\milli\meter} per dimension. Taking into account all 125 bones in our label set, our most successful ensemble achieves a median dice score coefficient of 0.83. We find a lack of correlation between a scan's ensemble uncertainty and its prospective influence on the accuracies achieved within an enlarged training set. At the same time, we show that the ensemble uncertainty correlates to the number of voxels that need manual correction after an initial automated segmentation, thus minimising the time required to finalise a new ground truth segmentation. Conclusion: In combination, scans with low ensemble uncertainty need less annotator time while yielding similar future DSC improvements. They are thus ideal candidates to enlarge a training set for upper-body distinct bone segmentation from CT scans. }


title: Update of beam coupling impedance evaluation by the stretched-wire method

abstract: In many cases beam coupling impedances or wake fields are calculated with computer simulator such as CST Studio Suite, GdfidL Electromagnetic Field Simulator and so on. But evaluation with the stretched-wire method is still very useful by its flexibility to the change of the device-under-test configuration, speed to get results and, more than anything, its accessibility on the real devices. One of the drawbacks in the practical procedure, difficulty of Thru-Reflect-Line calibration, is overcome using the calibration method recently introduced in high frequency vector network analyzers, "2-X THRU de-embedding". Here the procedure is explained in detail. The method has been successfully applied to RF cavity and FX kicker measurement in the J-PARC MR.


title: Demystifying Randomly Initialized Networks for Evaluating Generative Models

abstract: Evaluation of generative models is mostly based on the comparison between the estimated distribution and the ground truth distribution in a certain feature space. To embed samples into informative features, previous works often use convolutional neural networks optimized for classification, which is criticized by recent studies. Therefore, various feature spaces have been explored to discover alternatives. Among them, a surprising approach is to use a randomly initialized neural network for feature embedding. However, the fundamental basis to employ the random features has not been sufficiently justified. In this paper, we rigorously investigate the feature space of models with random weights in comparison to that of trained models. Furthermore, we provide an empirical evidence to choose networks for random features to obtain consistent and reliable results. Our results indicate that the features from random networks can evaluate generative models well similarly to those from trained networks, and furthermore, the two types of features can be used together in a complementary way.


title: Constraint-based Task Specification and Trajectory Optimization for Sequential Manipulation

abstract: To economically deploy robotic manipulators the programming and execution of robot motions must be swift. To this end, we propose a novel, constraint-based method to intuitively specify sequential manipulation tasks and to compute time-optimal robot motions for such a task specification. Our approach follows the ideas of constraint-based task specification by aiming for a minimal and object-centric task description that is largely independent of the underlying robot kinematics. We transform this task description into a non-linear optimization problem. By solving this problem we obtain a (locally) time-optimal robot motion, not just for a single motion, but for an entire manipulation sequence. We demonstrate the capabilities of our approach in a series of experiments involving five distinct robot models, including a highly redundant mobile manipulator.


title: Superluminal k-gap solitons in nonlinear photonic time-crystals

abstract: We propose superluminal solitons residing in the momentum gap (k-gap) of nonlinear photonic time-crystals. These gap solitons are structured as plane-waves in space while being periodically self-reconstructing wavepackets in time. The solitons emerge from modes with infinite group velocity causing superluminal evolution, which is opposite to the stationary nature of the analogous Bragg gap soliton residing at the edge of an energy gap (or a spatial gap) with zero group velocity. We explore the faster-than-light pulsed propagation of these k-gap solitons in view of Einstein's causality by introducing a truncated input seed as a precursor of signal velocity forerunner, and find that the superluminal propagation of k-gap solitons does not break causality.


title: Search for hyperon $\Delta S=\Delta Q$ violating decay $\Xi^{0}\to\Sigma^{-}e^{+}\nu_{e}$

abstract: Using a data sample of $(1.0087\pm0.0044)\times10^{10}$ $J/\psi$ decay events collected with the BESIII detector at the center-of-mass energy of $\sqrt{s}=3.097$ GeV, we present a search for the hyperon semileptonic decay $\Xi^{0}\to\Sigma^{-}e^{+}\nu_{e}$ which violates the $\Delta S=\Delta Q$ rule. No significant signal is observed, and the upper limit on the branching fraction $\mathcal{B}(\Xi^{0}\to\Sigma^{-}e^{+}\nu_{e})$ is determined to be $1.6\times10^{-4}$ at the 90% confidence level. This result improves the previous upper limit result by about one order of magnitude.


title: Mechanism Learning for Trading Networks

abstract: We study the problem of designing mechanisms for trading networks that satisfy four desired properties: dominant-strategy incentive compatibility, efficiency, weak budget balance (WBB), and individual rationality (IR). Although there exist mechanisms that simultaneously satisfy these properties ex post for combinatorial auctions, we prove the impossibility that such mechanisms do not exist for a broad class of trading networks. We thus propose approaches for computing and learning the mechanisms that satisfy the four properties, in a Bayesian setting, where WBB and IR, respectively, are relaxed to ex ante and interim. For computational and sample efficiency, we introduce several techniques, including game theoretical analysis to reduce the input feature space. We empirically demonstrate that the proposed approaches successfully find the mechanisms with the four properties for those trading networks where the impossibility holds ex post.


title: Quantifying the homology of periodic cell complexes

abstract: A periodic cell complex, $K$, has a finite representation as the quotient space, $q(K)$, consisting of equivalence classes of cells identified under the translation group acting on $K$. We study how the Betti numbers and cycles of $K$ are related to those of $q(K)$, first for the case that $K$ is a graph, and then higher-dimensional cell complexes. When $K$ is a $d$-periodic graph, it is possible to define $\mathbb{Z}^d$-weights on the edges of the quotient graph and this information permits full recovery of homology generators for $K$. The situation for higher-dimensional cell complexes is more subtle and studied in detail using the Mayer-Vietoris spectral sequence.


title: SoMoFormer: Social-Aware Motion Transformer for Multi-Person Motion Prediction

abstract: Multi-person motion prediction remains a challenging problem, especially in the joint representation learning of individual motion and social interactions. Most prior methods only involve learning local pose dynamics for individual motion (without global body trajectory) and also struggle to capture complex interaction dependencies for social interactions. In this paper, we propose a novel Social-Aware Motion Transformer (SoMoFormer) to effectively model individual motion and social interactions in a joint manner. Specifically, SoMoFormer extracts motion features from sub-sequences in displacement trajectory space to effectively learn both local and global pose dynamics for each individual. In addition, we devise a novel social-aware motion attention mechanism in SoMoFormer to further optimize dynamics representations and capture interaction dependencies simultaneously via motion similarity calculation across time and social dimensions. On both short- and long-term horizons, we empirically evaluate our framework on multi-person motion datasets and demonstrate that our method greatly outperforms state-of-the-art methods of single- and multi-person motion prediction. Code will be made publicly available upon acceptance.


title: FP8 Quantization: The Power of the Exponent

abstract: When quantizing neural networks for efficient inference, low-bit integers are the go-to format for efficiency. However, low-bit floating point numbers have an extra degree of freedom, assigning some bits to work on an exponential scale instead. This paper in-depth investigates this benefit of the floating point format for neural network inference. We detail the choices that can be made for the FP8 format, including the important choice of the number of bits for the mantissa and exponent, and show analytically in which settings these choices give better performance. Then we show how these findings translate to real networks, provide an efficient implementation for FP8 simulation, and a new algorithm that enables the learning of both the scale parameters and the number of exponent bits in the FP8 format. Our chief conclusion is that when doing post-training quantization for a wide range of networks, the FP8 format is better than INT8 in terms of accuracy, and the choice of the number of exponent bits is driven by the severity of outliers in the network. We also conduct experiments with quantization-aware training where the difference in formats disappears as the network is trained to reduce the effect of outliers.


title: The $\theta$-angle and axion physics of two-color QCD at fixed baryon charge. Part I

abstract: We analyze the impact of the $\theta$-angle and axion dynamics for two-color (in fact any $Sp(2N)$) QCD at nonzero baryon charge and as a function of the number of matter fields on the vacuum properties, the pattern of chiral symmetry breaking as well as the spectrum of the theory. We show that the vacuum acquires a rich structure when the underlying $CP$ violating topological operator is added to the theory. We discover novel phases and analyse the order of their transitions characterizing the dynamics of the odd and even number of flavours. We further determine the critical chemical potential as function of the $\theta$ angle separating the normal from the superfluid phase of the theory. Our results will guide numerical simulations and novel tests of the model's dynamics. The results are also expected to better inform phenomenological applications of the model ranging from composite Higgs physics to strongly interacting massive dark matter models featuring number changing interactions. In the companion work \cite{PartII} we repurpose and upgrade the approach to determine the impact of the $\theta$-angle and axion physics on non-perturbative near conformal dynamics related to the fixed baryon charge sector.


title: Charging the conformal window at nonzero $\theta$ angle

abstract: We determine the impact of the $\theta$-angle and axion physics on the near conformal dynamics of the large-charge baryon sector of $SU(2)$ gauge theories with $N_f$ fermions in the fundamental representation. We employ an effective approach featuring Goldstone and dilaton degrees of freedom augmented by the topological terms in the theory. We investigate how different dilaton potentials, including the ones for which a systematic counting scheme can be established, affect the results. Via state-operator correspondence we compute the corrections to the would-be conformal dimensions of the lowest large-charge operators as a function of the $\theta$ term and dilaton potential.


title: Non-Abelian Fusion, Shrinking and Quantum Dimensions of Abelian Gauge Fluxes

abstract: Braiding and fusion rules of topological excitations are indispensable topological invariants in topological quantum computation and topological orders. While excitations in 2D are always particle-like anyons, those in 3D incorporate not only particles but also loops -- spatially nonlocal objects -- making it novel and challenging to study topological invariants in higher dimensions. While 2D fusion rules have been well understood from bulk Chern-Simons field theory and edge conformal field theory, it is yet to be thoroughly explored for 3D fusion rules from higher dimensional bulk topological field theory. Here, we perform a field-theoretical study on (i) how loops that carry Abelian gauge fluxes fuse and (ii) how loops are shrunk into particles in the path integral, which generates fusion rules, loop-shrinking rules, and descendent invariants, e.g., quantum dimensions. We first assign a gauge-invariant Wilson operator to each excitation and determine the number of distinct excitations through equivalence classes of Wilson operators. Then, we adiabatically shift two Wilson operators together to observe how they fuse and are split in the path integral; despite the Abelian nature of the gauge fluxes carried by loops, their fusions may be of non-Abelian nature. Meanwhile, we adiabatically deform world-sheets of unknotted loops into world-lines and examine the shrinking outcomes; we find that the resulting loop-shrinking rules are algebraically consistent to fusion rules. Interestingly, fusing a pair of loop and anti-loop may generate multiple vacua, but fusing a pair of anyon and anti-anyon in 2D has one vacuum only. By establishing a field-theoretical ground for fusion and shrinking in 3D, this work leaves intriguing directions, e.g., symmetry enrichment, quantum gates, and physics of braided monoidal 2-category of 2-group.


title: Gauged Quintessence

abstract: Despite its dominance in the present universe's energy budget, dark energy is the least understood component in the universe. Although there is a popular model for the dynamical dark energy, the quintessence scalar, the investigation is limited because of its highly elusive character. We present a model where the quintessence is gauged by an Abelian gauge symmetry. The quintessence is promoted to be a complex scalar whose real part is the dark energy field while the imaginary part is the longitudinal component of a new gauge boson. It brings interesting characters to dark energy physics. We study the general features of the model, including how the quintessence behavior is affected and how the solicited dark energy properties constrain its gauge interaction. We also note that while the uncoupled quintessence models are suffered greatly from the Hubble tension, it can be alleviated if the quintessence is under the gauge symmetry.


title: Millimeter Gap Contrast as a Probe for Turbulence Level in Protoplanetary Disks

abstract: Turbulent motions are believed to regulate angular momentum transport and influence dust evolution in protoplanetary disks. Measuring the strength of turbulence is challenging through gas line observations because of the requirement for high spatial and spectral resolution data, and an exquisite determination of the temperature. In this work, taking the well-known HD 163296 disk as an example, we investigated the contrast of gaps identified in high angular resolution continuum images as a probe for the level of turbulence. With self-consistent radiative transfer models, we simultaneously analyzed the radial brightness profiles along the disk major and minor axes, and the azimuthal brightness profiles of the B67 and B100 rings. By fitting all the gap contrasts measured from these profiles, we constrained the gas-to-dust scale height ratio $\Lambda$ to be $3.0_{-0.8}^{+0.3}$, $1.2_{-0.1}^{+0.1}$ and ${\ge}\,6.5$ for the D48, B67 and B100 regions, respectively. The varying gas-to-dust scale height ratios indicate that the degree of dust settling changes with radius. The inferred values for $\Lambda$ translate into a turbulence level of $\alpha_{\rm turb}\,{<}\,3\times10^{-3}$ in the D48 and B100 regions, which is consistent with previous upper limits set by gas line observations. However, turbulent motions in the B67 ring are strong with $\alpha_{\rm turb}\,{\sim}1.2\,{\times}\,10^{-2}$. Due to the degeneracy between $\Lambda$ and the depth of dust surface density drops, the turbulence strength in the D86 gap region is not constrained.


title: Shift Variance in Scene Text Detection

abstract: Theory of convolutional neural networks suggests the property of shift equivariance, i.e., that a shifted input causes an equally shifted output. In practice, however, this is not always the case. This poses a great problem for scene text detection for which a consistent spatial response is crucial, irrespective of the position of the text in the scene. Using a simple synthetic experiment, we demonstrate the inherent shift variance of a state-of-the-art fully convolutional text detector. Furthermore, using the same experimental setting, we show how small architectural changes can lead to an improved shift equivariance and less variation of the detector output. We validate the synthetic results using a real-world training schedule on the text detection network. To quantify the amount of shift variability, we propose a metric based on well-established text detection benchmarks. While the proposed architectural changes are not able to fully recover shift equivariance, adding smoothing filters can substantially improve shift consistency on common text datasets. Considering the potentially large impact of small shifts, we propose to extend the commonly used text detection metrics by the metric described in this work, in order to be able to quantify the consistency of text detectors.


title: Doubly-polarized $WZ$ hadronic production at NLO QCD+EW: Calculation method and further results

abstract: The doubly-polarized production of $W^\pm Z$ pairs at the Large Hadron Collider (LHC) is presented at next-to-leading order (NLO) accuracy both for the electroweak (EW) and QCD corrections, including a detailed description of the calculational method using the double-pole approximation. Numerical results at the 13 TeV LHC are presented in particular for the $W^- Z$ case in the $e^-\bar{\nu}_e \mu^+\mu^-$ channel using ATLAS fiducial cuts and for polarized distributions defined in the $WZ$ center-of-mass system. The NLO EW corrections relative to the NLO QCD predictions are found to be smaller than $5\%$ in most kinematic distributions, but can reach the level of $10\%$ in some distributions such as lepton transverse momentum distributions or rapidity separation between the electron and the $Z$ boson. EW corrections are not uniform for different polarizations. A comparison between the new ATLAS measurement of polarization fractions to our theoretical prediction is presented.


title: Local inhomogeneous weighted summary statistics for marked point processes

abstract: We introduce a family of local inhomogeneous mark-weighted summary statistics, of order two and higher, for general marked point processes. Depending on how the involved weight function is specified, these summary statistics capture different kinds of local dependence structures. We first derive some basic properties and show how these new statistical tools can be used to construct most existing summary statistics for (marked) point processes. We then propose a local test of random labelling. This procedure allows us to identify points, and consequently regions, where the random labelling assumption does not hold, e.g.~when the (functional) marks are spatially dependent. Through a simulation study we show that the test is able to detect local deviations from random labelling. We also provide an application to an earthquake point pattern with functional marks given by seismic waveforms.


title: Computing a Feedback Arc Set Using PageRank

abstract: We present a new heuristic algorithm for computing a minimum Feedback Arc Set in directed graphs. The new technique produces solutions that are better than the ones produced by the best previously known heuristics, often reducing the FAS size by more than 50%. It is based on computing the PageRank score of the nodes of the directed line graph of the input directed graph. Although the time required by our heuristic is heavily influenced by the size of the produced line graph, our experimental results show that it runs very fast even for very large graphs used in graph drawing.


title: A Pragmatic Methodology for Blind Hardware Trojan Insertion in Finalized Layouts

abstract: A potential vulnerability for integrated circuits (ICs) is the insertion of hardware trojans (HTs) during manufacturing. Understanding the practicability of such an attack can lead to appropriate measures for mitigating it. In this paper, we demonstrate a pragmatic framework for analyzing HT susceptibility of finalized layouts. Our framework is representative of a fabrication-time attack, where the adversary is assumed to have access only to a layout representation of the circuit. The framework inserts trojans into tapeout-ready layouts utilizing an Engineering Change Order (ECO) flow. The attacked security nodes are blindly searched utilizing reverse-engineering techniques. For our experimental investigation, we utilized three crypto-cores (AES-128, SHA-256, and RSA) and a microcontroller (RISC-V) as targets. We explored 96 combinations of triggers, payloads and targets for our framework. Our findings demonstrate that even in high-density designs, the covert insertion of sophisticated trojans is possible. All this while maintaining the original target logic, with minimal impact on power and performance. Furthermore, from our exploration, we conclude that it is too naive to only utilize placement resources as a metric for HT vulnerability. This work highlights that the HT insertion success is a complex function of the placement, routing resources, the position of the attacked nodes, and further design-specific characteristics. As a result, our framework goes beyond just an attack, we present the most advanced analysis tool to assess the vulnerability of HT insertion into finalized layouts.


title: A hierarchy of semidefinite programs for generalised Einstein-Podolsky-Rosen scenarios

abstract: Correlations in Einstein-Podolsky-Rosen (EPR) scenarios, captured by \textit{assemblages} of unnormalised quantum states, have recently caught the attention of the community, both from a foundational and an information-theoretic perspective. The set of quantum-realisable assemblages, or abbreviated to quantum assemblages, are those that arise from multiple parties performing local measurements on a shared quantum system. In general, deciding whether or not a given assemblage is a quantum assemblage, i.e. membership of the set of quantum assemblages, is a hard problem, and not always solvable. In this paper we introduce a hierarchy of tests where each level either determines non-membership of the set of quantum assemblages or is inconclusive. The higher the level of the hierarchy the better one can determine non-membership, and this hierarchy converges to a particular set of assemblages. Furthermore, this set to which it converges contains the quantum assemblages. Each test in the hierarchy is formulated as a semidefinite program. This hierarchy allows one to upper bound the quantum violation of a steering inequality and the quantum advantage provided by quantum EPR assemblages in a communication or information-processing task.


title: CohortVA: A Visual Analytic System for Interactive Exploration of Cohorts based on Historical Data

abstract: In history research, cohort analysis seeks to identify social structures and figure mobilities by studying the group-based behavior of historical figures. Prior works mainly employ automatic data mining approaches, lacking effective visual explanation. In this paper, we present CohortVA, an interactive visual analytic approach that enables historians to incorporate expertise and insight into the iterative exploration process. The kernel of CohortVA is a novel identification model that generates candidate cohorts and constructs cohort features by means of pre-built knowledge graphs constructed from large-scale history databases. We propose a set of coordinated views to illustrate identified cohorts and features coupled with historical events and figure profiles. Two case studies and interviews with historians demonstrate that CohortVA can greatly enhance the capabilities of cohort identifications, figure authentications, and hypothesis generation.


title: Spin-orbit interactions in noncentrosymmetric plasmonic crystals probed by site-selective cathodoluminescence spectroscopy

abstract: The study of spin-orbit coupling (SOC) of light is crucial to explore the light-matter interactions in sub-wavelength nanostructures with broken symmetries. In noncentrosymmetric photonic crystals, the SOC results in the splitting of the otherwise degenerate energy bands. Herein, we explore the SOC in a noncentrosymmetric plasmonic crystal, both theoretically and experimentally. Cathodoluminescence (CL) spectroscopy combined with the numerically calculated photonic band structure reveals an energy band splitting that is ascribed to the broken symmetries in the noncentrosymmetric plasmonic crystal. By shifting the impact position of the electron beam throughout a unit cell of the plasmonic crystal, we show that the emergence of the energy band splitting strongly depends on the excitation position of the surface plasmon (SP) waves on the crystal. Moreover, we exploit angle-resolved CL and dark-field polarimetry to demonstrate polarization-dependent scattering of SP waves interacting with the plasmonic crystal. The scattering direction of a given polarization is determined by the transverse spin angular momentum inherently carried by the SP wave, which is in turn locked to the direction of SP propagation. Our study gives insight into the design of novel plasmonic devices with polarization-dependent directionality of the Bloch plasmons. We expect spin-orbit plasmonics will find much more scientific interests and potential applications with the continuous development of nanofabrication methodologies and uncovering new aspects of spin-orbit interactions.


title: The Interactions of Social Norms about Climate Change: Science, Institutions and Economics

abstract: We study the evolution of interest about climate change between different actors of the population, and how the interest of those actors affect one another. We first document the evolution individually, and then provide a model of cross influences between them, that we then estimate with a VAR. We find large swings over time of said interest for the general public by creating a Climate Change Index for Europe and the US (CCI) using news media mentions, and little interest among economists (measured by publications in top journals of the discipline). The general interest science journals and policymakers have a more steady interest, although policymakers get interested much later.


title: An Unsupervised Short- and Long-Term Mask Representation for Multivariate Time Series Anomaly Detection

abstract: Anomaly detection of multivariate time series is meaningful for system behavior monitoring. This paper proposes an anomaly detection method based on unsupervised Short- and Long-term Mask Representation learning (SLMR). The main idea is to extract short-term local dependency patterns and long-term global trend patterns of the multivariate time series by using multi-scale residual dilated convolution and Gated Recurrent Unit(GRU) respectively. Furthermore, our approach can comprehend temporal contexts and feature correlations by combining spatial-temporal masked self-supervised representation learning and sequence split. It considers the importance of features is different, and we introduce the attention mechanism to adjust the contribution of each feature. Finally, a forecasting-based model and a reconstruction-based model are integrated to focus on single timestamp prediction and latent representation of time series. Experiments show that the performance of our method outperforms other state-of-the-art models on three real-world datasets. Further analysis shows that our method is good at interpretability.


title: Chirality for simple graphs of size up to 12

abstract: Chirality is one of the important assymmetrical property in wide area of natural science, which has been studied to predict molecular behavior. One of good methods to analyze molecules with complex structures is representing them as graphs embedded in 3-dimensional space. So it is important to study the chirality of spatial graphs to understand structure of chiral molecules. Moreover, Robertson and Seymour's graph minor theorem implies that a set of minor minimal graphs with respect to intrinsic properties is finite. So it is also important to find a complete set of minor minimal graphs for intrinsic properties. In this paper, we classify minor minimal intrinsically chiral graphs among simple graphs of size up to twelve.


title: Synchrotron Polarization of Gamma-Ray Burst Afterglow Shocks with Hydrodynamic-scale Turbulent Magnetic Field

abstract: Afterglows of gamma-ray bursts (GRBs) are emitted from expanding forward shocks, which are expected to have magnetic field much stronger than the interstellar field, although the origin of the field is a long-standing problem. Two field amplification mechanisms, plasma kinetic instabilities and magnetohydrodynamic instabilities, have been discussed so far. The coherence length scales of the fields amplified by these two processes are different by $7-10$ orders of magnitudes, and the polarimetric observations may distinguish them. We construct a semi-analytic model of the forward shock afterglow polarization under the assumption of hydrodynamic-scale turbulent magnetic field. We perform numerical calculations of synchrotron polarization for the isotropic turbulence and the zero viewing angle. We find that the polarization degrees are $ \sim1~\%$ when the field coherence length scale in the fluid comoving frame is of the order of the thickness of the shocked regions. This range of polarization degree is comparable to that of the observed late-phase optical afterglows. Our model also shows that the radio polarization degrees are comparable to the optical ones on average but can be higher than the optical ones at some time intervals. The polarization angles are shown to vary randomly and continuously. These polarimetric properties are clearly different from the case of plasma kinetic instability. Simultaneous polarimetric observations of GRB afterglows at the radio and optical bands have recently started, which will help us constrain the magnetic field amplification mechanism.


title: Pseudo-Labels Are All You Need

abstract: Automatically estimating the complexity of texts for readers has a variety of applications, such as recommending texts with an appropriate complexity level to language learners or supporting the evaluation of text simplification approaches. In this paper, we present our submission to the Text Complexity DE Challenge 2022, a regression task where the goal is to predict the complexity of a German sentence for German learners at level B. Our approach relies on more than 220,000 pseudo-labels created from the German Wikipedia and other corpora to train Transformer-based models, and refrains from any feature engineering or any additional, labeled data. We find that the pseudo-label-based approach gives impressive results yet requires little to no adjustment to the specific task and therefore could be easily adapted to other domains and tasks.


title: Quantum Mechanical Approach to Bifurcation Point Detection in Hamiltonian Dynamical Systems

abstract: Energy level statistics of a bounded quantum system, whose classical dynamical system exhibits bifurcations, is investigated using the two-point correlation function (TPCL), which at the bifurcation points exhibits periodic spike oscillations owing to the accumulation of levels called the shell effect. The spike oscillations of the TPCL is analyzed by the reduced chi-squared value which deduced to exhibit abrupt increases at bifurcation points, thereby yielding a novel detection approach. Using this method, we attempt to numerically detect the bifurcation points of a lemon-shaped billiard.


title: Deep Joint Source-Channel and Encryption Coding: Secure Semantic Communications

abstract: Deep learning driven joint source-channel coding (JSCC) for wireless image or video transmission, also called DeepJSCC, has been a topic of interest recently with very promising results. The idea is to map similar source samples to nearby points in the channel input space such that, despite the noise introduced by the channel, the input can be recovered with minimal distortion. In DeepJSCC, this is achieved by an autoencoder architecture with a non-trainable channel layer between the encoder and decoder. DeepJSCC has many favorable properties, such as better end-to-end distortion performance than its separate source and channel coding counterpart as well as graceful degradation with respect to channel quality. However, due to the inherent correlation between the source sample and channel input, DeepJSCC is vulnerable to eavesdropping attacks. In this paper, we propose the first DeepJSCC scheme for wireless image transmission that is secure against eavesdroppers, called DeepJSCEC. DeepJSCEC not only preserves the favorable properties of DeepJSCC, it also provides security against chosen-plaintext attacks from the eavesdropper, without the need to make assumptions about the eavesdropper's channel condition, or its intended use of the intercepted signal. Numerical results show that DeepJSCEC achieves similar or better image quality than separate source coding using BPG compression, AES encryption, and LDPC codes for channel coding, while preserving the graceful degradation of image quality with respect to channel quality. We also show that the proposed encryption method is problem agnostic, meaning it can be applied to other end-to-end JSCC problems, such as remote classification, without modification. Given the importance of security in modern wireless communication systems, we believe this work brings DeepJSCC schemes much closer to adoption in practice.


title: The $S=1$ dimer system K$_2$Ni(MoO$_4$)$_2$: a candidate for magnon Bose-Einstein condensation

abstract: Dimerized quantum magnets provide a unique possibility to investigate Bose-Einstein condensation of magnetic excitations in crystalline systems at low temperature. Here, we model the low-temperature magnetic properties of the recently synthesized spin $S=1$ dimer system K${}_2$Ni(MoO${}_4$)$_2$ and propose it as a new candidate material for triplon and quintuplon condensation. Based on a first principles analysis of its electronic structure, we derive an effective spin-dimer model that we first solve within a mean-field approximation to refine its parameters in comparison to experiment. Finally, the model is solved by employing a numerically exact quantum Monte Carlo technique which leads to magnetic properties in good agreement with experimental magnetization and thermodynamic results. We discuss the emergent spin model of K${}_2$Ni(MoO${}_4$)$_2$ in view of condensation of magnetic excitations in a broad parameter regime. Finally, we comment on a geometrical peculiarity of the proposed model and discuss how it could host a supersolid phase upon structural distortions.


title: Limits and prospects for long-baseline optical fiber interferometry

abstract: Today's most precise optical instruments -- gravitational-wave interferometers and optical atomic clocks -- rely on long storage times for photons to realize their exquisite sensitivity. Optical fiber technology is the most widely deployed platform for realizing long-distance optical propagation. Yet, their application to precision optical measurements is sparse. We review the state-of-the-art in the noise performance of conventional (solid-core) optical fibers from the perspective of precision optical measurements and quantum technology that rely on precise transfer of information over long distances. In doing so, we highlight the limitations of this platform and point to the opportunities that structured fiber technology offers to overcome some of these limitations.


title: Topological valley crystals in a photonic Su-Schrieffer-Heeger (SSH) variant

abstract: Progress on two-dimensional materials has shown that valleys, as energy extrema in a hexagonal first Brillouin zone, provides a new degree of freedom for information manipulation. Then valley Hall topological insulators supporting such-polarized edge states on boundaries were set up accordingly. In this paper, a two-dimensional valley photonic crystal composed of six tunable dielectric triangular pillars in unit cells is proposed in the photonic sense of a deformed Su-Schrieffer-Heeger (SSH) model. We reveal the vortex nature of valley states and establish the selection rules for valley polarized states. Based on the valley topology, a rhombus-shaped beam splitter waveguide is designed to verify the valley-chirality selection above. Our numerical results entail that this topologically protected edge states still maintain robust transmission at sharp corners, henceforth providing a feasible idea for valley photonic devices in THz regime.


title: Multi-colour optical light curves of the companion star to the millisecond pulsar PSR J2051-0827

abstract: We present simultaneous, multi-colour optical light curves of the companion star to the black-widow pulsar PSR J2051-0827, obtained approximately 10 years apart using ULTRACAM and HiPERCAM, respectively. The ULTRACAM light curves confirm the previously reported asymmetry in which the leading hemisphere of the companion star appears to be brighter than the trailing hemisphere. The HiPERCAM light curves, however, do not show this asymmetry, demonstrating that whatever mechanism is responsible for it varies on timescales of a decade or less. We fit the symmetrical HiPERCAM light curves with a direct-heating model to derive the system parameters, finding an orbital inclination of $55.9^{+4.8}_{-4.1}$ degrees, in good agreement with radio-eclipse constraints. We find that approximately half of the pulsar's spin-down energy is converted to optical luminosity, resulting in temperatures ranging from approximately $5150^{+190}_{-190}$ K on the day side to $2750^{+130}_{-150}$ K on the night side of the companion star. The companion star is close to filling its Roche lobe ($f_{\rm RL} =0.88^{+0.02}_{-0.02}$) and has a mass of $0.039^{+0.010}_{-0.011}$ M$_{\odot}$, giving a mean density of $20.24^{+0.59}_{-0.44}$ g cm$^{-3}$ and an apsidal motion constant in the range $0.0036 < k_2 < 0.0047$. The companion mass and mean density values are consistent with those of brown dwarfs, but the apsidal motion constant implies a significantly more centrally-condensed internal structure than is typical for such objects.


title: Walker-Breaker Games on $G_{n,p}$

abstract: The Maker-Breaker connectivity game and Hamilton cycle game belong to the best studied games in positional games theory, including results on biased games, games on random graphs and fast winning strategies. Recently, the Connector-Breaker game variant, in which Connector has to claim edges such that her graph stays connected throughout the game, as well as the Walker-Breaker game variant, in which Walker has to claim her edges according to a walk, have received growing attention. For instance, London and Pluh\'ar studied the threshold bias for the Connector-Breaker connectivity game on a complete graph $K_n$, and showed that there is a big difference between the cases when Maker's bias equals $1$ or $2$. Moreover, a recent result by the first and third author as well as Kirsch shows that the threshold probability $p$ for the $(2:2)$ Connector-Breaker connectivity game on a random graph $G\sim G_{n,p}$ is of order $n^{-2/3+o(1)}$. We extent this result further to Walker-Breaker games and prove that this probability is also enough for Walker to create a Hamilton cycle.


title: On arrangements of hyperplanes from connected subgraphs

abstract: We investigate arrangements of hyperplanes whose normal vectors are given by connected subgraphs of a fixed graph. These include the resonance arrangement and certain ideal subarrangements of Weyl arrangements. We characterize those which are free, simplicial, factored, or supersolvable. In particular, such an arrangement is free if and only if the graph is a cycle, a path, an almost path, or a path with a triangle attached to it.


title: Rotating rod and ball

abstract: We consider a mechanical system consisting of an infinite rod (a straight line) and a ball (a massless point) on the plane. The rod rotates uniformly around one of its points. The ball is reflected elastically when colliding with the rod and moves freely between consecutive hits. A sliding motion along the rod is also allowed. We prove the existence and uniqueness of the motion with a given position and velocity at a certain time instant. We prove that only 5 kinds of motion are possible: a billiard motion; a sliding motion; a billiard motion followed by sliding; a sliding motion followed by a billiard one; and a constant motion when the ball is at the center of rotation. The asymptotic behaviors of time intervals between consecutive hits and of distances between the points of hits on the rod are determined.


title: A General Purpose Exact Solution Method for Mixed Integer Concave Minimization Problems

abstract: In this article, we discuss an exact algorithm for solving mixed integer concave minimization problems. A piecewise inner-approximation of the concave function is achieved using an auxiliary linear program that leads to a bilevel program, which provides a lower bound to the original problem. The bilevel program is reduced to a single level formulation with the help of Karush-Kuhn-Tucker (KKT) conditions. Incorporating the KKT conditions lead to complementary slackness conditions that are linearized using BigM, for which we identify a tight value for general problems. Multiple bilevel programs, when solved over iterations, guarantee convergence to the exact optimum of the original problem. Though the algorithm is general and can be applied to any optimization problem with concave function(s), in this paper, we solve two common classes of operations and supply chain problems; namely, the concave knapsack problem, and the concave production-transportation problem. The computational experiments indicate that our proposed approach outperforms the customized methods that have been used in the literature to solve the two classes of problems by an order of magnitude in most of the test cases.


title: Mitigating Disparity while Maximizing Reward: Tight Anytime Guarantee for Improving Bandits

abstract: We study the Improving Multi-Armed Bandit (IMAB) problem, where the reward obtained from an arm increases with the number of pulls it receives. This model provides an elegant abstraction for many real-world problems in domains such as education and employment, where decisions about the distribution of opportunities can affect the future capabilities of communities and the disparity between them. A decision-maker in such settings must consider the impact of her decisions on future rewards in addition to the standard objective of maximizing her cumulative reward at any time. In many of these applications, the time horizon is unknown to the decision-maker beforehand, which motivates the study of the IMAB problem in the technically more challenging horizon-unaware setting. We study the tension that arises between two seemingly conflicting objectives in the horizon-unaware setting: a) maximizing the cumulative reward at any time based on current rewards of the arms, and b) ensuring that arms with better long-term rewards get sufficient opportunities even if they initially have low rewards. We show that, surprisingly, the two objectives are aligned with each other in this setting. Our main contribution is an anytime algorithm for the IMAB problem that achieves the best possible cumulative reward while ensuring that the arms reach their true potential given sufficient time. Our algorithm mitigates the initial disparity due to lack of opportunity and continues pulling an arm till it stops improving. We prove the optimality of our algorithm by showing that a) any algorithm for the IMAB problem, no matter how utilitarian, must suffer $\Omega(T)$ policy regret and $\Omega(k)$ competitive ratio with respect to the optimal offline policy, and b) the competitive ratio of our algorithm is $O(k)$.


title: Scaling Blockchains with Error Correction Codes: A Survey on Coded Blockchains

abstract: This paper reviews and highlights how coding schemes have been used to solve various problems in blockchain systems. Specifically, these problems relate to scaling blockchains in terms of their data storage, computation and communication cost, as well as security. To this end, this paper considers the use of coded blocks or shards that allows participants to store only a fraction of the total blockchain, protect against malicious nodes or erasures due to nodes leaving a blockchain system, ensure data availability in order to promote transparency, and scale the security of sharded blockchains. Further, it helps reduce communication cost when disseminating blocks, which is critical to bootstrapping new nodes and helps speed up consensus of blocks. For each category of solutions, we highlight problems and issues that motivated their designs and use of coding. Moreover, we provide a qualitative analysis of their storage, communication and computation cost.


title: Projected changes in synoptic circulations over Europe and their implications for summer precipitation: A CMIP6 perspective

abstract: Projected changes in summer precipitation deficits partly depend on alterations in synoptic circulations. Here, the automated Jenkinson-Collison (JC) classification is used to assess the ability of twenty-one Global Climate Models (GCMs) to capture the frequency of recurring circulation types (CTs) and their implications for European daily precipitation intensities in summer (JJA). The ability of the GCMs to reproduce the observed present-day climate features is first evaluated. Most GCMs capture the observed links between mean directional flow characteristics of the CTs, and the occurrence of dry days and related dry months. The most robust relationships are found for anticyclonic and easterly CTs which are generally associated with higher than average occurrences of dry conditions. Future changes in summer frequencies of the CTs are estimated in the high-emissions SSP5-8.5 scenario for the sake of a high signal-to-noise ratio. Our results reveal consistent changes, mainly in the zonal CTs. A robust decrease in frequency of the westerlies and increase in the frequency of easterly CTs favour more continental, dry and warm air masses over Central Europe. These dynamical changes are shown to enhance the projected summer drying over central and southern Europe.


title: Ultron: An Ultimate Retriever on Corpus with a Model-based Indexer

abstract: Document retrieval has been extensively studied within the index-retrieve framework for decades, which has withstood the test of time. Unfortunately, such a pipelined framework limits the optimization of the final retrieval quality, because indexing and retrieving are separated stages that can not be jointly optimized in an end-to-end manner. In order to unify these two stages, we explore a model-based indexer for document retrieval. Concretely, we propose Ultron, which encodes the knowledge of all documents into the model and aims to directly retrieve relevant documents end-to-end. For the model-based indexer, how to represent docids and how to train the model are two main issues to be explored. Existing solutions suffer from semantically deficient docids and limited supervised data. To tackle these two problems, first, we devise two types of docids that are richer in semantics and easier for model inference. In addition, we propose a three-stage training workflow to capture more knowledge contained in the corpus and associations between queries and docids. Experiments on two public datasets demonstrate the superiority of Ultron over advanced baselines for document retrieval.


title: Tension-controlled switch between collective actuations in active solids

abstract: The recent finding of collective actuation in active solids, namely solids embedded with active units, opens the path towards multifunctional materials with genuine autonomy. In such systems, collective dynamics emerge spontaneously and little is known about the way to control or drive them. Here, we combine the experimental study of centimetric model active solids, the numerical study of an agent based model and theoretical arguments to reveal how mechanical tension can serve as a general mechanism for switching between different collective actuation regimes in active solids. We further show the existence of a hysteresis when varying back and forth mechanical tension, highlighting the non-trivial selectivity of collective actuations.


title: Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens

abstract: Stateless Model Checking (SMC) is a verification technique for concurrent programs that checks for safety violations by exploring all possible thread schedulings. It is highly effective when coupled with Dynamic Partial Order Reduction (DPOR), which introduces an equivalence on schedulings and need explore only one in each equivalence class. Even with DPOR, SMC often spends unnecessary effort in exploring loop iterations that are pure, i.e., have no effect on the program state. We present techniques for making SMC with DPOR more effective on programs with pure loop iterations. The first is a static program analysis to detect loop purity and an associated program transformation, called Partial Loop Purity Elimination, that inserts assume statements to block pure loop iterations. Subsequently, some of these assumes are turned into await statements that completely remove many assume-blocked executions. Finally, we present an extension of the standard DPOR equivalence, obtained by weakening the conflict relation between events. All these techniques are incorporated into a new DPOR algorithm, Optimal-DPOR-Await, which can handle both awaits and the weaker conflict relation, is optimal in the sense that it explores exactly one execution in each equivalence class, and can also diagnose livelocks. Our implementation in Nidhugg shows that these techniques can significantly speed up the analysis of concurrent programs that are currently challenging for SMC tools, both for exploring their complete set of interleavings, but even for detecting concurrency errors in them.


title: Service Robots in a Bakery Shop: A Field Study

abstract: In this paper, we report on a field study in which we employed two service robots in a bakery store as a sales promotion. Previous studies have explored public applications of service robots public such as shopping malls. However, more evidence is needed that service robots can contribute to sales in real stores. Moreover, the behaviors of customers and service robots in the context of sales promotions have not been examined well. Hence, the types of robot behavior that can be considered effective and the customers' responses to these robots remain unclear. To address these issues, we installed two tele-operated service robots in a bakery store for nearly 2 weeks, one at the entrance as a greeter and the other one inside the store to recommend products. The results show a dramatic increase in sales during the days when the robots were applied. Furthermore, we annotated the video recordings of both the robots' and customers' behavior. We found that although the robot placed at the entrance successfully attracted the interest of the passersby, no apparent increase in the number of customers visiting the store was observed. However, we confirmed that the recommendations of the robot operating inside the store did have a positive impact. We discuss our findings in detail and provide both theoretical and practical recommendations for future research and applications.


title: A Two-phase Metamorphic Approach for Testing Industrial Control Systems

abstract: We elaborate on a metamorphic approach for testing industrial control systems. The proposed approach consists of two phases: an exploration phase in which we learn about fault patterns of the system under test and an exploitation phase where the observed fault patterns are used for targeted testing. Our method extracts metamorphic relations and input space of the system from its requirements. The seed input used for testing is extracted from the execution logs of the system and used to generate source tests and follow-up tests automatically. The morphed input is constructed based on the seed input and refined using a set of constraints. The approach is exemplified on a position control system and the results show that it is effective in discovering faults with an increased level of automation.


title: Byzantine Consensus is \Theta(n^2): The Dolev-Reischuk Bound is Tight even in Partial Synchrony! [Extended Version]

abstract: The Dolev-Reischuk bound says that any deterministic Byzantine consensus protocol has (at least) quadratic communication complexity in the worst case. While it has been shown that the bound is tight in synchronous environments, it is still unknown whether a consensus protocol with quadratic communication complexity can be obtained in partial synchrony. Until now, the most efficient known solutions for Byzantine consensus in partially synchronous settings had cubic communication complexity (e.g., HotStuff, binary DBFT). This paper closes the existing gap by introducing SQuad, a partially synchronous Byzantine consensus protocol with quadratic worst-case communication complexity. In addition, SQuad is optimally-resilient and achieves linear worst-case latency complexity. The key technical contribution underlying SQuad lies in the way we solve view synchronization, the problem of bringing all correct processes to the same view with a correct leader for sufficiently long. Concretely, we present RareSync, a view synchronization protocol with quadratic communication complexity and linear latency complexity, which we utilize in order to obtain SQuad.


title: Analysis of High Performing Terahertz Quantum Cascade Lasers

abstract: Detailed simulations for Terahertz quantum cascade lasers based on two-well designs are presented. We reproduce the maximal operation temperatures observed and attribute the degradation with temperature to the occupation of parasitic levels and thermal backfilling. Furthermore, we demonstrate that the current injection can be conveniently studied by using EZ states, which combine energy selectivity and spatial localisation. Improving the injection allows to achieve higher maximal operation temperatures around 265 Kelvin.


title: Quadratic Integral Penalty Methods for Numerical Trajectory Optimization

abstract: This thesis presents new mathematical algorithms for the numerical solution of a mathematical problem class called \emph{dynamic optimization problems}. These are mathematical optimization problems, i.e., problems in which numbers are sought that minimize an expression subject to obeying equality and inequality constraints. Dynamic optimization problems are distinct from non-dynamic problems in that the sought numbers may vary over one independent variable. This independent variable can be thought of as, e.g., time. This thesis presents three methods, with emphasis on algorithms, convergence analysis, and computational demonstrations. The first method is a direct transcription method that is based on an integral quadratic penalty term. The purpose of this method is to avoid numerical artifacts such as ringing or erroneous/spurious solutions that may arise in direct collocation methods. The second method is a modified augmented Lagrangian method that leverages ideas from augmented Lagrangian methods for the solution of optimization problems with large quadratic penalty terms, such as they arise from the prior direct transcription method. Lastly, we present a direct transcription method with integral quadratic penalties and integral logarithmic barriers. All methods are motivated with applications and examples, analyzed with complete proofs for their convergence, and practically verified with numerical experiments.


title: Quancurrent: A Concurrent Quantiles Sketch

abstract: Sketches are a family of streaming algorithms widely used in the world of big data to perform fast, real-time analytics. A popular sketch type is Quantiles, which estimates the data distribution of a large input stream. We present Quancurrent, a highly scalable concurrent Quantiles sketch. Quancurrent's throughput increases linearly with the number of available threads, and with $32$ threads, it reaches an update speedup of $12$x and a query speedup of $30$x over a sequential sketch. Quancurrent allows queries to occur concurrently with updates and achieves an order of magnitude better query freshness than existing scalable solutions.


title: Diverse Video Captioning by Adaptive Spatio-temporal Attention

abstract: To generate proper captions for videos, the inference needs to identify relevant concepts and pay attention to the spatial relationships between them as well as to the temporal development in the clip. Our end-to-end encoder-decoder video captioning framework incorporates two transformer-based architectures, an adapted transformer for a single joint spatio-temporal video analysis as well as a self-attention-based decoder for advanced text generation. Furthermore, we introduce an adaptive frame selection scheme to reduce the number of required incoming frames while maintaining the relevant content when training both transformers. Additionally, we estimate semantic concepts relevant for video captioning by aggregating all ground truth captions of each sample. Our approach achieves state-of-the-art results on the MSVD, as well as on the large-scale MSR-VTT and the VATEX benchmark datasets considering multiple Natural Language Generation (NLG) metrics. Additional evaluations on diversity scores highlight the expressiveness and diversity in the structure of our generated captions.


title: Consistent lattice Boltzmann methods for the volume averaged Navier-Stokes equations

abstract: We derive a novel lattice Boltzmann scheme, which uses a pressure correction forcing term for approximating the volume averaged Navier-Stokes equations (VANSE) in up to three dimensions. With a new definition of the zeroth moment of the Lattice Boltzmann equation, spatially and temporally varying local volume fractions are taken into account. A Chapman-Enskog analysis, respecting the variations in local volume, formally proves the consistency towards the VANSE limit up to higher order terms. The numerical validation of the scheme via steady state and non-stationary examples approves the second order convergence with respect to velocity and pressure. The here proposed lattice Boltzmann method is the first to correctly recover the pressure with second order for space-time varying volume fractions.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Sparse Structure Design for Stochastic Linear Systems via a Linear Matrix Inequality Approach

abstract: In this paper, we propose a sparsity-promoting feedback control design for stochastic linear systems with multiplicative noise. The objective is to identify a sparse control architecture that optimizes the closed-loop performance while stabilizing the system in the mean-square sense. The proposed approach approximates the nonconvex combinatorial optimization problem by minimizing various matrix norms subject to the Linear Matrix Inequality (LMI) stability condition. We present two design problems to reduce the number of actuators via the static state-feedback and a low-dimensional output. A regularized linear quadratic regulator with multiplicative noise (LQRm) optimal control problem and its convex relaxation are presented to demonstrate the tradeoff between the suboptimal closed-loop performance and the sparsity degree of control structure. Case studies on power grids for wide-area frequency control show that the proposed sparsity-promoting control can considerably reduce the number of actuators without significant loss in system performance. The sparse control architecture is robust to substantial system-level disturbances while achieving mean-square stability.


title: Feature Selection Enhancement and Feature Space Visualization for Speech-Based Emotion Recognition

abstract: Robust speech emotion recognition relies on the quality of the speech features. We present speech features enhancement strategy that improves speech emotion recognition. We used the INTERSPEECH 2010 challenge feature-set. We identified subsets from the features set and applied Principle Component Analysis to the subsets. Finally, the features are fused horizontally. The resulting feature set is analyzed using t-distributed neighbour embeddings (t-SNE) before the application of features for emotion recognition. The method is compared with the state-of-the-art methods used in the literature. The empirical evidence is drawn using two well-known datasets: Emotional Speech Dataset (EMO-DB) and Ryerson Audio-Visual Database of Emotional Speech and Song (RAVDESS) for two languages, German and English, respectively. Our method achieved an average recognition gain of 11.5\% for six out of seven emotions for the EMO-DB dataset, and 13.8\% for seven out of eight emotions for the RAVDESS dataset as compared to the baseline study.


title: IoTreeplay: Synchronous Distributed Traffic Replay in IoT Environments

abstract: Use-cases in the Internet of Things (IoT) typically involve a high number of interconnected, heterogeneous devices. Due to the criticality of many IoT scenarios, systems and applications need to be tested thoroughly before rollout. Existing staging environments and testing frameworks are able to emulate network properties but fail to deliver actual network-wide traffic control to test systems application independently. To extend existing frameworks, we present the distributed traffic replaying tool IoTreeplay. The tool embeds TCPLivePlay into an environment that allows the synchronous replaying of network traffic with multiple endpoints and connections. Replaying takes place in a user-defined network or testbed containing IoT use-cases. Network traffic can be captured and compared to the original trace to evaluate accuracy and reliability. The resulting implementation is able to accurately replay connections within a maximum transmission rate but struggles with deviations from regular TCP connections, like packet loss or connection reset. An evaluation has been performed, measuring individual and aggregated delays between packets, based on the recorded timestamps.


title: Minimal action control method in quantum critical models

abstract: We present a general protocol to control closed quantum systems that is based on minimising the adiabatic action. Using tools based on the geometry of quantum evolutions through the quantum adiabatic brachistochrone, we show that high fidelity control of the ground state of critical quantum systems can be achieved and requires only a reasonable approximation for the ground state spectral gap. We demonstrate our results for three widely applicable systems: the Landau-Zener, Ising, and fully connected spin models.


title: $E_{\mathrm{iso}}$-$E_{\mathrm{p}}$ correlation of gamma ray bursts: calibration and cosmological applications

abstract: Gamma-ray bursts (GRBs) are the most explosive phenomena and can be used to study the expansion of Universe. In this paper, we compile a long GRB sample for the $E_{\mathrm{iso}}$-$E_{\mathrm{p}}$ correlation from Swift and Fermi observations. The sample contains 221 long GRBs with redshifts from 0.03 to 8.20. From the analysis of data in different redshift intervals, we find no statistically significant evidence for the redshift evolution of this correlation. Then we calibrate the correlation in six sub-samples and use the calibrated one to constrain cosmological parameters. Employing a piece-wise approach, we study the redshift evolution of dark energy equation of state (EOS), and find that the EOS tends to be oscillating at low redshift, but consistent with $-1$ at high redshift. It hints a dynamical dark energy at $2\sigma$ confidence level at low redshift.


title: Atomistic structure search using local surrogate mode

abstract: We describe a local surrogate model for use in conjunction with global structure search methods. The model follows the Gaussian approximation potential (GAP) formalism and is based on a the smooth overlap of atomic positions descriptor with sparsification in terms of a reduced number of local environments using mini-batch $k$-means. The model is implemented in the Atomistic Global Optimization X framework and used as a partial replacement of the local relaxations in basin hopping structure search. The approach is shown to be robust for a wide range of atomistic system including molecules, nano-particles, surface supported clusters and surface thin films. The benefits in a structure search context of a local surrogate model are demonstrated. This includes the ability to transfer learning from smaller systems as well as the possibility to perform concurrent multi-stoichiometry searches.


title: Edgeworth expansion for Bernoulli weighted mean

abstract: In this work, we derive an Edgeworth expansion for the Bernoulli weighted mean $\hat{\mu} = \frac{\sum_{i=1}^n Y_i T_i}{\sum_{i=1}^n T_i}$ in the case where $Y_1, \dots, Y_n$ are i.i.d. non semi-lattice random variables and $T_1, \dots, T_n$ are Bernoulli distributed random variables with parameter $p$. We also define the notion of a semi-lattice distribution, which gives a more geometrical equivalence to the classical Cram\'er's condition in dimensions bigger than 1. Our result provides a first step into the generalization of classical Edgeworth expansion theorems for random vectors that contain both semi-lattice and non semi-lattice variables, in order to prove consistency of bootstrap methods in more realistic setups, for instance in the use case of online AB testing.


title: A heuristic algorithm for straight-line embedding of a hamiltonian cycle onto a given set of points inside simple polygons

abstract: This paper investigated the problem of embedding a simple Hamiltonian Cycle with n vertices on n points inside a simple polygon. This problem seeks to embed a straight-line cycle (without bends), which does not intersect either itself or the sides of the polygon, i.e., it is planar. This problem is a special case of an open problem to find a simple Hamiltonian (s, X, t)-path (a simple path that starts at s and ends at t, where s, t, and all other vertices within the path are a member of set X) inside a simple polygon, which does not intersect itself or the sides of the polygon. The complexity of the problem in this paper is not verified yet, and it is an open problem. However, similar problems are resolved that are NP-Complete. A heuristic algorithm with time complexity of O(r(n2m + n3)) and space complexity of O(n2 + m) is proposed to solve the problem.


title: Orthogonal and strong frame starters, revisited

abstract: In this paper, I survey frame starters, as well as orthogonal and strong frame starters, in abelian groups. I mainly recall and re-examine existence and nonexistence results, but I will prove some new results as well.


title: Four-loop QCD cusp anomalous dimension at small angle

abstract: We calculate the small angle expansion of the four-loop QCD cusp anomalous dimension. As a byproduct of our calculation, we also obtain the four-loop anomalous dimension of the heavy-quark field in HQET. The validity of the calculational setup is cross-checked by the independent calculation of the four-loop QCD beta-function from heavy-quark-gluon vertex renormalization in HQET. We check the obtained results for the cusp anomalous dimension and heavy-quark field anomalous dimension against available analytical and numerical results. Finally, we find that the maximal transcendentality contribution to the QCD Bremsstrahlung function coincides, up to a factor 3/2, with the Bremsstrahlung function in N = 4 supersymmetric Yang-Mills theory, at least, through 4 loops.


title: Flickering Buoyant Diffusion Flames in Weakly Rotatory Flows

abstract: Flickering buoyant diffusion methane flames in weakly rotatory flows were computationally and theoretically investigated. The prominent computational finding is that the flicker frequency nonlinearly increases with the rotational intensity number R (up to 0.24), which measures the relative importance of the rotational speed compared with the methane jet speed. This finding is consistent with the previous experimental observations that flame flicker is enhanced by rotatory flows within a certain extent. Based on the vortex-dynamical understanding of flickering flames that the flame flicker is caused by the periodic shedding of buoyancy-induced toroidal vortices, we formulated a scaling theory for flickering buoyant diffusion flames in weakly rotatory flows. The theory predicts that, with respect to the flicker frequency f_0 at R=0, the increase of the flicker frequency f at nonzero R obeys the scaling relation f-f_0~R^2, which agrees very well with the present computational results. In physics, the externally rotatory flow enhances the radial pressure gradient around the flame, and the significant baroclinic effect contributes an additional source for the growth of toroidal vortices so that their periodic shedding is faster.


title: Direct and inverse cascades in turbulent Bose-Einstein condensate

abstract: When a Bose-Einstein condensate (BEC) is driven out of equilibrium, density waves interact non-linearly and trigger turbulent cascades. In a turbulent BEC, energy is transferred towards small scales by a direct cascade, whereas the number of particles displays an inverse cascade toward large scales. In this work, we study analytically and numerically the direct and inverse cascades in wave-turbulent BECs. We analytically derive the Kolmogorov-Zakharov spectra, including the log-correction to the direct cascade scaling and the universal pre-factor constants for both cascades. We test and corroborate our predictions using high-resolution numerical simulations of the forced-dissipated Gross-Pitaevskii model in a periodic box and the corresponding wave-kinetic equation. Theoretical predictions and data are in excellent agreement, without adjustable parameters. Moreover, in order to connect with experiments, we test and validate our theoretical predictions using the Gross-Pitaevskii model with a confining cubic trap. Our results explain previous experimental observations and suggest new settings for future studies.


title: Revealing nanoscale disorder in W/CoFeB/MgO ultra-thin films using domain wall motion

abstract: Disorder in ultra-thin magnetic films can significantly hinder domain wall motion. One of the main issues on the path towards efficient domain wall based devices remains the characterization of the pinning landscape at the nanoscale. In this paper, we study domain wall motion in W/CoFeB/MgO thin films with perpendicular magnetic anisotropy crystallized by annealing at 400$^{\circ}$C and a process based on He$^{+}$ irradiation combined with elevated temperatures. Magnetic properties are similar for the whole series of samples, while the magnetic domain wall mobility is critically improved in the irradiated samples. By using an analytical model to extract nanoscale pinning parameters, we reveal important variations in the disorder of the crystallized samples. This work offers a unique opportunity to selectively analyze the effects of disorder on the domain wall dynamics, without the contribution of changes in the magnetic properties. Our results highlight the importance of evaluating the nanoscale pinning parameters of the material when designing devices based on domain wall motion, which in return can be a powerful tool to probe the disorder in ultra-thin magnetic films.


title: Usable Security for an IoT OS: Integrating the Zoo of Embedded Crypto Components Below a Common API

abstract: IoT devices differ widely in crypto-supporting hardware, ranging from no hardware support to powerful accelerators supporting numerous of operations including protected key storage. An operating system should provide uniform access to these heterogeneous hardware features, which is a particular challenge in the resource constrained IoT. Effective security is tied to the usability of cryptographic interfaces. A thoughtful API design is challenging, and it is beneficial to re-use such an interface and to share the knowledge of programming embedded security widely. In this paper, we integrate an emerging cryptographic interface into usable system-level calls for the IoT operating system RIOT, which runs on more than 240 platforms. This interface supports ID-based key handling to access key material in protected storage without exposing it to anyone. Our design foresees hardware acceleration on all available variants; our implementation integrates diverse cryptographic hardware and software backends via the uniform interface. Our performance measurements show that the overhead of the uniform API with integrated key management is negligible compared to the individual crypto operation. Our approach enhances the usability, portability, and flexibility of cryptographic support in the IoT.


title: Diagnose Like a Radiologist: Hybrid Neuro-Probabilistic Reasoning for Attribute-Based Medical Image Diagnosis

abstract: During clinical practice, radiologists often use attributes, e.g. morphological and appearance characteristics of a lesion, to aid disease diagnosis. Effectively modeling attributes as well as all relationships involving attributes could boost the generalization ability and verifiability of medical image diagnosis algorithms. In this paper, we introduce a hybrid neuro-probabilistic reasoning algorithm for verifiable attribute-based medical image diagnosis. There are two parallel branches in our hybrid algorithm, a Bayesian network branch performing probabilistic causal relationship reasoning and a graph convolutional network branch performing more generic relational modeling and reasoning using a feature representation. Tight coupling between these two branches is achieved via a cross-network attention mechanism and the fusion of their classification results. We have successfully applied our hybrid reasoning algorithm to two challenging medical image diagnosis tasks. On the LIDC-IDRI benchmark dataset for benign-malignant classification of pulmonary nodules in CT images, our method achieves a new state-of-the-art accuracy of 95.36\% and an AUC of 96.54\%. Our method also achieves a 3.24\% accuracy improvement on an in-house chest X-ray image dataset for tuberculosis diagnosis. Our ablation study indicates that our hybrid algorithm achieves a much better generalization performance than a pure neural network architecture under very limited training data.