title: Wi-Fi Meets ML: A Survey on Improving IEEE 802.11 Performance with Machine Learning

abstract: Wireless local area networks (WLANs) empowered by IEEE 802.11 (Wi-Fi) hold a dominant position in providing Internet access thanks to their freedom of deployment and configuration as well as the existence of affordable and highly interoperable devices. The Wi-Fi community is currently deploying Wi-Fi 6 and developing Wi-Fi 7, which will bring higher data rates, better multi-user and multi-AP support, and, most importantly, improved configuration flexibility. These technical innovations, including the plethora of configuration parameters, are making next-generation WLANs exceedingly complex as the dependencies between parameters and their joint optimization usually have a non-linear impact on network performance. The complexity is further increased in the case of dense deployments and coexistence in shared bands. While classical optimization approaches fail in such conditions, machine learning (ML) is able to handle complexity. Much research has been published on using ML to improve Wi-Fi performance and solutions are slowly being adopted in existing deployments. In this survey, we adopt a structured approach to describe the various Wi-Fi areas where ML is applied. To this end, we analyze over 250 papers in the field, providing readers with an overview of the main trends. Based on this review, we identify specific open challenges and provide general future research directions.


title: Exophoric Pronoun Resolution in Dialogues with Topic Regularization

abstract: Resolving pronouns to their referents has long been studied as a fundamental natural language understanding problem. Previous works on pronoun coreference resolution (PCR) mostly focus on resolving pronouns to mentions in text while ignoring the exophoric scenario. Exophoric pronouns are common in daily communications, where speakers may directly use pronouns to refer to some objects present in the environment without introducing the objects first. Although such objects are not mentioned in the dialogue text, they can often be disambiguated by the general topics of the dialogue. Motivated by this, we propose to jointly leverage the local context and global topics of dialogues to solve the out-of-text PCR problem. Extensive experiments demonstrate the effectiveness of adding topic regularization for resolving exophoric pronouns.


title: Controlling magnetism through Ising superconductivity in magnetic van der Waals heterostructures

abstract: Van der Waals heterostructures have risen as a tunable platform to combine different electronic orders, due to the flexibility in stacking different materials with competing symmetry broken states. Among them, van der Waals ferromagnets such as CrI3 and superconductors as NbSe2 provide a natural platform to engineer novel phenomena at ferromagnet-superconductor interfaces. In particular, NbSe2 is well known for hosting strong spin-orbit coupling effects that influence the properties of the superconducting state. Here we put forward a ferromagnet/NbSe2/ferromagnet heterostructure where the interplay between Ising superconductivity in NbSe2 and magnetism controls the magnetic alignment of the heterostructure. In particular, we show that the interplay between spin-orbit coupling and superconductivity allows controlling magnetic states in van der Waals materials. Our results show how hybrid van der Waals ferromagnet/superconductor heterostructure can be used as a tunable materials platform for superconducting spin-orbitronics.


title: Multistage Utility Preference Robust Optimization

abstract: In this paper, we consider a multistage expected utility maximization problem where the decision maker's utility function at each stage depends on historical data and the information on the true utility function is incomplete. To mitigate adverse impact arising from ambiguity of the true utility, we propose a maximin robust model where the optimal policy is based on the worst-case sequence of utility functions from an ambiguity set constructed with partially available information about the decision maker's preferences. We then show that the multistage maximin problem is time consistent when the utility functions are state-dependent and demonstrate with a counter example that the time consistency may not be retained when the utility functions are state-independent. With the time consistency, we show the maximin problem can be solved by a recursive formula whereby a one-stage maximin problem is solved at each stage beginning from the last stage. Moreover, we propose two approaches to construct the ambiguity set: a pairwise comparison approach and a zeta-ball approach where a ball of utility functions centered at a nominal utility function under zeta-metric is considered. To overcome the difficulty arising from solving the infinite dimensional optimization problem in computation of the worst-case expected utility value, we propose piecewise linear approximation of the utility functions and derive error bound for the approximation under moderate conditions. Finally, we use the SDDP method and the nested Benders' decomposition method to solve the multistage state-dependent preference robust problem and the scenario tree method to solve the state-independent problem, and carry out comparative analysis on the efficiency of the computational schemes as well as out-of-sample performances of the state-dependent and state-independent models.


title: How can astrotourism serve the sustainable development goals? The Namibian example

abstract: Astrotourism brings new opportunities to generate sustainable socio-economic development, preserve cultural heritage, and inspire and educate the citizens of the globe. This form of tourism can involve many different activities, such as visiting observatories or travelling to remote areas to experience an evening under a pristine, dark night sky. Together, our UK-Namibian collaboration is working to develop and showcase astrotourism in Namibia, and to enhance the possibility for astrotourism worldwide.


title: ANTASID: A Novel Temporal Adjustment to Shannon's Index of Difficulty for Quantifying the Perceived Difficulty of Uncontrolled Pointing Tasks

abstract: Shannon's Index of Difficulty ($ID$), reputable for quantifying the perceived difficulty of pointing tasks as a logarithmic relationship between movement-amplitude ($A$) and target-width ($W$), is used for modelling the corresponding observed movement-times ($MT_O$) in such tasks in controlled experimental setup. However, real-life pointing tasks are both spatially and temporally uncontrolled, being influenced by factors such as - human aspects, subjective behavior, the context of interaction, the inherent speed-accuracy trade-off where, emphasizing accuracy compromises speed of interaction and vice versa, and so on. Effective target-width ($W_e$) is considered as spatial adjustment for compensating accuracy. However, no significant adjustment exists in the literature for compensating speed in different contexts of interaction in these tasks. As a result, without any temporal adjustment, the true difficulty of an uncontrolled pointing task may be inaccurately quantified using Shannon's ID. To verify this, we propose the ANTASID (A Novel Temporal Adjustment to Shannon's ID) formulation with detailed performance analysis. We hypothesized a temporal adjustment factor ($t$) as a binary logarithm of $MT_O$, compensating for speed due to contextual differences and minimizing the non-linearity between movement-amplitude and target-width. Considering spatial and/or temporal adjustments to ID, we conducted regression analysis using our own and Benchmark datasets in both controlled and uncontrolled scenarios of pointing tasks with a generic mouse.ANTASID formulation showed significantly superior fitness values and throughput in all the scenarios while reducing the standard error. Furthermore, the quantification of ID with ANTASID varied significantly compared to the classical formulations of Shannon's ID, validating the purpose of this study.


title: Timing constraints imposed by classical digital control systems on photonic implementations of measurement-based quantum computing

abstract: Most of the architectural research on photonic implementations of measurement-based quantum computing (MBQC) has focused on the quantum resources involved in the problem with the implicit assumption that these will provide the main constraints on system scaling. However, the `flying-qubit' architecture of photonic MBQC requires specific timing constraints that need to be met by the classical control system. This classical control includes, for example: the amplification of the signals from single-photon detectors to voltage levels compatible with digital systems; the implementation of a control system which converts measurement outcomes into basis settings for measuring subsequent cluster qubits, in accordance with the quantum algorithm being implemented; and the digital-to-analog converter (DAC) and amplifier systems required to set these measurement bases using a fast phase modulator. In this paper, we analyze the digital system needed to implement arbitrary one-qubit rotations and controlled-NOT (CNOT) gates in discrete-variable photonic MBQC, in the presence of an ideal cluster state generator, with the main aim of understanding the timing constraints imposed by the digital logic on the analog system and quantum hardware. We use static timing analysis of a Xilinx FPGA (7 series) to provide a practical upper bound on the speed at which the adaptive measurement processing can be performed, in turn constraining the photonic clock rate of the system. Our work points to the importance of co-designing the classical control system in tandem with the quantum system in order to meet the challenging specifications of a photonic quantum computer.

categories: quant-ph cs.ET physics.app-ph physics.optics


title: Risk-Adjusted Valuation for Real Option Decisions

abstract: We model investor heterogeneity using different required returns on an investment and evaluate the impact on the valuation of an investment. By assuming no disagreement on the cash flows, we emphasize how risk preferences in particular, but also the costs of capital, influence a subjective evaluation of the decision to invest now or retain the option to invest in future. We propose a risk-adjusted valuation model to facilitate investors' subjective decision making, in response to the market valuation of an investment opportunity. The investor's subjective assessment arises from their perceived misvaluation of the investment by the market, so projected cash flows are discounted using two different rates representing the investor's and the market's view. This liberates our model from perfect or imperfect hedging assumptions and instead, we are able to illustrate the hedging effect on the real option value when perceptions of risk premia diverge. During crises periods, delaying an investment becomes more valuable as the idiosyncratic risk of future cash flows increases, but the decision-maker may rush to invest too quickly when the risk level is exceptionally high. Our model verifies features established by classical real-option valuation models and provides many new insights about the importance of modelling divergences in decision-makers risk premia, especially during crisis periods. It also has many practical advantages because it requires no more parameter inputs than basic discounted cash flow approaches, such as the marketed asset disclaimer method, but the outputs are much richer. They allow for complex interactions between cost and revenue uncertainties as well as an easy exploration of the effects of hedgeable and un-hedgeable risks on the real option value. Furthermore, we provide fully-adjustable Python code in which all parameter values can be chosen by the user.


title: Temperature-Dependent Group Delay of Photonic-Bandgap Hollow-Core Fiber Tuned by Surface-Mode Coupling

abstract: Surface modes (SM) are highly spatially localized modes existing at the core-cladding interface of photonic-bandgap hollow-core fiber (PBG-HCF). When coupling with SM, the air modes (AM) in the core would suffer a higher loss despite being spectrally within the cladding photonic bandgap, and would be highly dispersive around the avoided crossing (anti-crossing) wavelength. In this paper, we numerically demonstrate that such avoided crossings can play an important role in the tuning of the temperature dependence of group delay of AM of PBG-HCF. At higher temperatures, both the thermal-optic effect and thermal expansion contribute to the redshift of avoided crossing wavelength, giving rise to a temperature dependence of the AM dispersion. Numerical simulations show that the redshift of avoided crossing can significantly tune the thermal coefficient of delay (TCD) of PBG-HCF from -400 ps/km/K to 400 ps/km/K, approximately -120 ppm/K to 120 ppm/K. In comparison with the known tuning mechanism by the thermal-induced redshift of photonic bandgap [Fokoua et al., Optica 4, 659, 2017], the tuning of TCD by SM coupling presents a much broader tuning range and higher efficiency. Our finding would provide a new route to design PBG-HCF for propagation time sensitive applications.


title: Islands in Flat-Space Cosmology

abstract: Flat-space cosmologies (FSC) are solutions to three dimensional theories of gravity without cosmological constant that have cosmological horizons. A detector located near the time-like singularity of the spacetime can absorb Hawking modes that are created near the horizon. Continuation of this process will eventually cause the entropy of the radiation to be larger than the entropy of the FSC, which leads to the information paradox. In this paper, we resolve this paradox for the FSC using the island proposal. To do this, we couple an auxiliary flat bath system to this spacetime in timelike singularity so that Hawking modes are allowed to enter the bath and the entropy of radiation can be measured in its asymptotic region where gravity is also weak. We show that adding island regions that receive the partners of Hawking modes cause the entropy of radiation to follow a Page curve which leads to resolving the information paradox. Moreover, we design a quantum teleportation protocol by which one can extract the information residing in islands.


title: Interference Effect of Beam Splitter Current in Iron-Pnictide Superconductors

abstract: We consider a Cooper pair beam splitter for Iron-Pnictide superconductor and calculate the entangled electron-hole current. We investigate the interplay of various physical parameters such as doping at electron and hole pockets as well as non-zero nesting between the electron and hole pocket. We find that in the absence of magnetic order, the current due to hole pocket and electron pocket add up ordinarily. However in the presence of magnetic ordering the two currents take part in characteristic interference effect to modify the resultant current significantly. This interference effect manifests itself in non-monotonous and oscillatory nature of beam splitter current. We investigate in details this non-monotonicity with the chemical potential as well as nesting vectror $|\bf q|$. We also investigate the evolution of density of states with system parameters and correlate it with the beam-splitter current. Further we enumerate the relevant parameter space where the efficiency of such beam splitter set up is enhanced. Our finding can be useful in experimental determination or verification of co-existence phase in Iron-Pnictide superconductors and has potential applications in realizing quantum gates or switches.


title: Mesh convolutional neural networks for wall shear stress estimation in 3D artery models

abstract: Computational fluid dynamics (CFD) is a valuable tool for personalised, non-invasive evaluation of hemodynamics in arteries, but its complexity and time-consuming nature prohibit large-scale use in practice. Recently, the use of deep learning for rapid estimation of CFD parameters like wall shear stress (WSS) on surface meshes has been investigated. However, existing approaches typically depend on a hand-crafted re-parametrisation of the surface mesh to match convolutional neural network architectures. In this work, we propose to instead use mesh convolutional neural networks that directly operate on the same finite-element surface mesh as used in CFD. We train and evaluate our method on two datasets of synthetic coronary artery models with and without bifurcation, using a ground truth obtained from CFD simulation. We show that our flexible deep learning model can accurately predict 3D WSS vectors on this surface mesh. Our method processes new meshes in less than 5 [s], consistently achieves a normalised mean absolute error of $\leq$ 1.6 [%], and peaks at 90.5 [%] median approximation accuracy over the held-out test set, comparing favourably to previously published work. This demonstrates the feasibility of CFD surrogate modelling using mesh convolutional neural networks for hemodynamic parameter estimation in artery models.


title: Reducing bias and alleviating the influence of excess of zeros with multioutcome adaptive LAD-lasso

abstract: Zero-inflated explanatory variables are common in fields such as ecology and finance. In this paper we address the problem of having excess of zero values in some explanatory variables which are subject to multioutcome lasso-regularized variable selection. Briefly, the problem results from the failure of the lasso-type of shrinkage methods to recognize any difference between zero value occurring either in the regression coefficient or in the corresponding value of the explanatory variable. This kind of confounding will obviously increase number of false positives - all non-zero regression coefficients do not necessarily represent real outcome effects. We present here the adaptive LAD-lasso for multiple outcomes which extends the earlier work of multivariate LAD-lasso with adaptive penalization. In addition of well known property of having less biased regression coefficients, we show here how the adaptivity improves also method's ability to recover from influences of excess of zero values measured in continuous covariates.


title: Selectively pulsed spin order transfer increases parahydrogen-induced NMR amplification of insensitive nuclei and makes polarization transfer more robust

abstract: We describe a new method for pulsed spin order transfer (SOT) of parahydrogen induced polarization (PHIP) that enables close to 100 % polarization in incompletely 2H-labeled molecules by exciting only the desired protons in a frequency-selective manner. While a selective pulse (SP) on 1H at the beginning of pulsed SOT had been considered before, using SPs during the SOT suppresses undesired indirect spin-spin interactions. As a result, we achieved a more robust SOT for the SP variants of the phINEPT+ sequence that we refer to as phSPINEPT+. Thereby, for the first time, we report a sequence that is effective for all weakly coupled spin systems. Our simulations show that the method converts close to 100 % of the parahydrogen-derived spin order into 13C hyperpolarization in weakly coupled three-spin systems and partially or fully 2H-labeled molecules if relaxation is neglected. Experimentally we demonstrate high hyperpolarization of 13C with 15.8 % for 1-13C-hydroxyethyl propionate-d3 and 12.6 % for 1-13C-ethyl acetate-d6, which corresponds to ~47 % and ~38 % if the enrichment of parahydrogen had been 100 %. Even in non-2H-labeled molecules, a remarkable 13C polarization is achieved, e.g. up to 20 % were simulated for 100 % pH2, and 1.25 % were obtained experimentally for 1-13C-ethyl pyruvate and 50 % pH2, which can be further improved by faster hydrogenation. As a result, full deuterium labeling may no longer be required e.g., when new PHIP agents are investigated, the synthesis of fully deuterated molecules is too complex, or when a kinetic isotope effect regarding the metabolic conversion rate of an agent is to be avoided. Using SPs during SOT seems very promising and may be extended to other sequences in the context of PHIP and be-yond to make them less prone to experimental imperfections or real molecular environments.


title: Quantifying Effective Noise Sources in Coupled Resonating MEMS sensors

abstract: This paper presents realistic system-level modelling and simulation of effective noise sources in a coupled resonating MEMS sensors. A governing set of differential equations are used to build a numerical model of a mechanical noise source in a coupled-resonator sensor. An effective thermomechanical noise is then quantified through the system-level simulation obtained via Simulink. On a similar note, various noise sources in electronic readout are identified and the contribution of each is quantified to determine an effective noise that stems from the electronic readout. A comparison between an effective mechanical and electronic noise aids in identifying the dominant noise source in a sensor system. A method to optimize the system noise floor for an amplitude-based the readout is presented. The proposed models present a variety of operating conditions, such as finite quality factor, varying coupled electric spring strength, and operation with in-phase and out-of-phase mode. The proposed models aim to determine the impact of fundamental noise processes and thus quantify the ultimate detection limit into a coupled resonating system used for various sensing applications.


title: Generating Gottesman-Kitaev-Preskill qubit using a cross-Kerr interaction between a squeezed light and Fock states in optics

abstract: Gottesman-Kitaev-Preskill (GKP) qubit is a promising ingredient for fault-tolerant quantum computation (FTQC) in optical continuous variables due to its advantage of noise tolerance and scalability. However, one of the main problems in the preparation of the optical GKP qubit is the difficulty in obtaining the nonlinearity. Cross-Kerr interaction is one of the promising candidates for this nonlinearity. There is no existing scheme to use the cross-Kerr interaction to generate the optical GKP qubit for FTQC. In this work, we propose a generation method of the GKP qubit by using a cross-Kerr interaction between a squeezed light and a superposition of Fock states. We numerically show that the GKP qubit with the 10 dB can be generated with a mean fidelities of 99.99 and 99.9% at the success probabilities of 2.7 and 4.8%, respectively. Therefore, our method has potential method to generate the optical GKP qubit with a quality required for FTQC when we obtain the sufficient technologies for the preparation of ancillary Fock states and a cross-Kerr interaction.


title: Secondary control activation analysed and predicted with explainable AI

abstract: The transition to a renewable energy system poses challenges for power grid operation and stability. Secondary control is key in restoring the power system to its reference following a disturbance. Underestimating the necessary control capacity may require emergency measures, such as load shedding. Hence, a solid understanding of the emerging risks and the driving factors of control is needed. In this contribution, we establish an explainable machine learning model for the activation of secondary control power in Germany. Training gradient boosted trees, we obtain an accurate description of control activation. Using SHapely Additive exPlanation (SHAP) values, we investigate the dependency between control activation and external features such as the generation mix, forecasting errors, and electricity market data. Thereby, our analysis reveals drivers that lead to high reserve requirements in the German power system. Our transparent approach, utilizing open data and making machine learning models interpretable, opens new scientific discovery avenues.


title: Combining Event Calculus and Description Logic Reasoning via Logic Programming

abstract: The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the user with an expressive language for modelling and analysing systems that evolve over time. The approach is exemplified with the logic programming language as implemented in the Fusemate system. The paper extends Fusemate's rule language with a weakly DL-safe interface to the description logic $\cal ALCIF$ and adapts the event calculus to this extended language. This way, time-stamped ABoxes can be manipulated as fluents in the event calculus. All that is done in the frame of Fusemate's concept of stratification by time. The paper provides conditions for soundness and completeness where appropriate. Using an elaborated example it demonstrates the interplay of the event calculus, description logic and logic programming rules for computing possible models as plausible explanations of the current state of the modelled system.


title: Two-derivative deferred correction time discretization for the discontinuous Galerkin method

abstract: In this paper, we use an implicit two-derivative deferred correction time discretization approach and combine it with a spatial discretization of the discontinuous Galerkin spectral element method to solve (non-)linear PDEs. The resulting numerical method is high order accurate in space and time. As the novel scheme handles two time derivatives, the spatial operator for both derivatives has to be defined. This results in an extended system matrix of the scheme. We analyze this matrix regarding possible simplifications and an efficient way to solve the arising (non-)linear system of equations. It is shown how a carefully designed preconditioner and a matrix-free approach allow for an efficient implementation and application of the novel scheme. For both, linear advection and the compressible Euler equations, up to eighth order of accuracy in time is shown. Finally, it is illustrated how the method can be used to approximate solutions to the compressible Navier-Stokes equations.


title: Littlestone and VC-dimension of families of zero sets

abstract: We prove that, for any $d$ linearly independent functions from some set into a $d$-dimensional vector space over any field, the family of zero sets of all non-trivial linear combination of these functions has VC-dimension and Littlestone dimension $d-1$. Additionally, we characterize when such families are maximal of VC-dimension $d-1$ and give a sufficient condition for when they are maximal of Littlestone dimension $d-1$.


title: Electrically charged supermassive twin stars

abstract: By assuming that ultra dense hybrid neutron stars are endowed with a distribution of electric charge, we study the corresponding twin star solutions and their properties resulting from a sharp first order transition from confined hadronic to a deconfined quark phase. Two distinct quark matter equations of state with increasing stiffness are considered and the values for the maximum gravitational masses of the hadronic and hybrid twin configurations are obtained for different values of the total electric charge. Interestingly, our calculations indicate that sharp transitions make charged twin hybrid stars more massive than their neutral counterparts, and that the {$\SI{2}{M_{\odot}}$ constraint from PSR J0740+6620} is surpassed for standard values of electric charge and can be considered stable only satisfying $\partial M/\partial \epsilon_0 > 0$. In particular, our charged stellar models reach masses even higher than the unknown compact object measured in the GW190814 event.


title: Unselfish Coded Caching can Yield Unbounded Gains over Symmetrically Selfish Caching

abstract: The original coded caching scenario assumes a content library that is of interest to all receiving users. In a realistic scenario though, the users may have diverging interests which may intersect to various degrees. What happens for example if each file is of potential interest to, say, $40\,\%$ of the users and each user has potential interest in $40\,\%$ of the library? In this work, we investigate the so-called symmetrically selfish coded caching scenario, where each user only makes requests from a subset of the library that defines its own File Demand Set (FDS), each user caches selfishly only contents from its own FDS, and where the different FDSs symmetrically overlap to some extent. In the context of various traditional prefetching scenarios (prior to the emergence of coded caching), selfish approaches were known to be potentially very effective. On the other hand, with the exception of some notable works, little is known about selfish coded caching. We here present a new information-theoretic converse that proves, in a general setting of symmetric FDS structures, that selfish coded caching, despite enjoying a much larger local caching gain and a much smaller set of possible demands, introduces an unbounded load increase compared to the unselfish case. In particular, in the $K$-user broadcast channel where each user stores a fraction $\gamma$ of the library, where each file (class) is of interest to $\alpha$ users, and where any one specific file is of interest to a fraction $\delta$ of users, the optimal coding gain of symmetrically selfish caching is at least $(K - \alpha)\gamma + 1$ times smaller than in the unselfish scenario. This allows us to draw the powerful conclusion that the optimal selfish coding gain is upper bounded by $1/(1 - \delta)$, and thus does not scale with $K$. These derived limits are shown to be exact for different types of demands.


title: $^{145}$Ba and $^{145, 146}$La structure from lifetime measurements

abstract: The occurrence of octupole shapes in even-mass neutron-rich Ba isotopes has been well established. However, the situation with the odd-mass Ba and odd or odd-odd La nuclei around them is far from settled. In order to shed light on these less-studied isotopes, a fast-timing experiment was performed using GRIFFIN at TRIUMF-ISAC. A wealth of excited-state lifetimes in the 100~ps to few ns range have been measured in $^{144, 145, 146}$Ba and $^{145,146}$La populated in the $\beta^-$ and $\beta^--n$ decay of $^{145,146}$Cs. The results do not allow to draw firm conclusions on the possible octupole deformation of these nuclei but suggest different spin and parity assignments than previous works. This work highlights the need for more detailed study of the odd and odd-odd isotopes in this region to properly understand their structure.


title: Efficient Locally Optimal Number Set Partitioning for Scheduling, Allocation and Fair Selection

abstract: We study the optimization version of the set partition problem (where the difference between the partition sums are minimized), which has numerous applications in decision theory literature. While the set partitioning problem is NP-hard and requires exponential complexity to solve (i.e., intractable); we formulate a weaker version of this NP-hard problem, where the goal is to find a locally optimal solution. We show that our proposed algorithms can find a locally optimal solution in near linear time. Our algorithms require neither positive nor integer elements in the input set, hence, they are more widely applicable.


title: Mixture-of-Partitions: Infusing Large Biomedical Knowledge Graphs into BERT

abstract: Infusing factual knowledge into pre-trained models is fundamental for many knowledge-intensive tasks. In this paper, we proposed Mixture-of-Partitions (MoP), an infusion approach that can handle a very large knowledge graph (KG) by partitioning it into smaller sub-graphs and infusing their specific knowledge into various BERT models using lightweight adapters. To leverage the overall factual knowledge for a target task, these sub-graph adapters are further fine-tuned along with the underlying BERT through a mixture layer. We evaluate our MoP with three biomedical BERTs (SciBERT, BioBERT, PubmedBERT) on six downstream tasks (inc. NLI, QA, Classification), and the results show that our MoP consistently enhances the underlying BERTs in task performance, and achieves new SOTA performances on five evaluated datasets.


title: Maximal operators on the infinite-dimensional torus

abstract: We study maximal operators related to bases on the infinite-dimensional torus $\mathbb{T}^\omega$. {For the normalized Haar measure $dx$ on $\mathbb{T}^\omega$ it is known that $M^{\mathcal{R}_0}$, the maximal operator associated with the dyadic basis $\mathcal{R}_0$, is of weak type $(1,1)$, but $M^{\mathcal{R}}$, the operator associated with the natural general basis $\mathcal{R}$, is not. We extend the latter result to all $q \in [1,\infty)$. Then we find a wide class of intermediate bases $\mathcal{R}_0 \subset \mathcal{R}' \subset \mathcal{R}$, for which maximal functions have controlled, but sometimes very peculiar behavior.} Precisely, for given $q_0 \in [1, \infty)$ we construct $\mathcal{R}'$ such that $M^{\mathcal{R}'}$ is of restricted weak type $(q,q)$ if and only if $q$ belongs to a predetermined range of the form $(q_0, \infty]$ or $[q_0, \infty]$. Finally, we study the weighted setting, considering the Muckenhoupt $A_p^\mathcal{R}(\mathbb{T}^\omega)$ and reverse H\"older $\mathrm{RH}_r^\mathcal{R}(\mathbb{T}^\omega)$ classes of weights associated with $\mathcal{R}$. For each $p \in (1, \infty)$ and each $w \in A_p^\mathcal{R}(\mathbb{T}^\omega)$ we obtain that $M^{\mathcal{R}}$ is not bounded on $L^q(w)$ in the whole range $q \in [1,\infty)$. Since we are able to show that \[ \bigcup_{p \in (1, \infty)}A_p^\mathcal{R}(\mathbb{T}^\omega) = \bigcup_{r \in (1, \infty)} \mathrm{RH}_r^\mathcal{R}(\mathbb{T}^\omega), \] the unboundedness result applies also to all reverse H\"older weights.


title: When Two Worlds Collide: Using Particle Physics Tools to Visualize the Limit Order Book

abstract: We introduce a methodology to visualize the limit order book (LOB) using a particle physics lens. Open-source data-analysis tool ROOT, developed by CERN, is used to reconstruct and visualize futures markets. Message-based data is used, rather than snapshots, as it offers numerous visualization advantages. The visualization method can include multiple variables and markets simultaneously and is not necessarily time dependent. Stakeholders can use it to visualize high-velocity data to gain a better understanding of markets or effectively monitor markets. In addition, the method is easily adjustable to user specifications to examine various LOB research topics, thereby complementing existing methods.


title: TACS: Taxonomy Adaptive Cross-Domain Semantic Segmentation

abstract: Traditional domain adaptive semantic segmentation addresses the task of adapting a model to a novel target domain under limited or no additional supervision. While tackling the input domain gap, the standard domain adaptation settings assume no domain change in the output space. In semantic prediction tasks, different datasets are often labeled according to different semantic taxonomies. In many real-world settings, the target domain task requires a different taxonomy than the one imposed by the source domain. We therefore introduce the more general taxonomy adaptive cross-domain semantic segmentation (TACS) problem, allowing for inconsistent taxonomies between the two domains. We further propose an approach that jointly addresses the image-level and label-level domain adaptation. On the label-level, we employ a bilateral mixed sampling strategy to augment the target domain, and a relabelling method to unify and align the label spaces. We address the image-level domain gap by proposing an uncertainty-rectified contrastive learning method, leading to more domain-invariant and class-discriminative features. We extensively evaluate the effectiveness of our framework under different TACS settings: open taxonomy, coarse-to-fine taxonomy, and implicitly-overlapping taxonomy. Our approach outperforms the previous state-of-the-art by a large margin, while being capable of adapting to target taxonomies. Our implementation is publicly available at https://github.com/ETHRuiGong/TADA.


title: Inflation and dark matter after spontaneous Planck scale generation by hidden chiral symmetry breaking

abstract: Dynamical chiral symmetry breaking in a QCD-like hidden sector is used to generate the Planck mass and the electroweak scale including the heavy right-handed neutrino mass. A real scalar field transmits the energy scale of the hidden sector to the visible sectors, playing besides a role of inflaton in the early Universe while realizing a Higgs-inflation-like model. Our dark matter candidates are hidden pions that raise due to dynamical chiral symmetry breaking. They are produced from the decay of inflaton. Unfortunately, it will be impossible to directly detect them, because they are super heavy ($10^{9\,\sim\,12}$ GeV), and moreover the interaction with the visible sector is extremely suppressed.


title: Thermally-induced magnetic order from glassiness in elemental neodymium

abstract: Temperature in thermodynamics is synonymous with disorder, and responsible for ultimately destroying ordered phases. Here, we show an unusual magnetic transition where, with increasing the temperature of elemental neodymium, long-range multi-Q magnetic order emerges from a self-induced spin glass. Using temperature-dependent spin-polarized scanning tunneling microscopy, we characterize the local Q order in the spin-Q glass phase and quantify the emergence of long-range multi-Q order with increasing temperature. We develop two distinct analysis tools, which enable the quantification of the glass transition temperature, based on measured spatially-dependent magnetization. We compare these observations with atomic spin dynamics simulations, which reproduce the qualitative observation of a phase transition from a low-temperature spin glass phase to an intermediate ordered multi-Q phase. These simulations trace the origin of the unexpected high temperature order in weakened frustration driven by temperature-dependent sublattice correlations. These findings constitute an example of order from disorder and provide a rich platform to study magnetization dynamics in a self-induced spin glass.


title: The uGMRT observations of three new GPS pulsars

abstract: We report the detailed spectral measurements over a wide frequency range of three pulsars: J1741-3016, J1757-2223 and J1845-0743, using the Giant Metrewave Radio Telescope, which allowed us to identify them as a new gigahertz-peaked spectra pulsars. Our results indicate that their spectra show turnovers at frequencies of 620 MHz, 640 MHz and 650 MHz, respectively. Our analysis proves that wide-band observations improve the estimation of the spectral nature using a free-free thermal absorption model and thus allow a more accurate approximation of the maximum energy in the spectrum. While there is no evidence as of yet that these objects are associated with a supernova remnant or pulsar wind nebula, they are good targets for looking for interesting environments in the future, more sensitive sky surveys.


title: Does It Capture STEL? A Modular, Similarity-based Linguistic Style Evaluation Framework

abstract: Style is an integral part of natural language. However, evaluation methods for style measures are rare, often task-specific and usually do not control for content. We propose the modular, fine-grained and content-controlled similarity-based STyle EvaLuation framework (STEL) to test the performance of any model that can compare two sentences on style. We illustrate STEL with two general dimensions of style (formal/informal and simple/complex) as well as two specific characteristics of style (contrac'tion and numb3r substitution). We find that BERT-based methods outperform simple versions of commonly used style measures like 3-grams, punctuation frequency and LIWC-based approaches. We invite the addition of further tasks and task instances to STEL and hope to facilitate the improvement of style-sensitive measures.


title: Generalized adaptive partition-based method for two-stage stochastic linear programs : convergence and generalization

abstract: Adaptive Partition-based Methods (APM) are numerical methods to solve two-stage stochastic linear problems (2SLP). The core idea is to iteratively construct an adapted partition of the space of alea in order to aggregate scenarios while conserving the true value of the cost-to-go for the current first-stage control. Relying on the normal fan of the dual admissible set, we extend the classical and generalized APM method by i) extending the method to almost arbitrary 2SLP, ii) giving a necessary and sufficient condition for a partition to be adapted even for non-finite distribution, and iii) proving the convergence of the method. We give some additional insights by linking APM to the L-shaped algorithm.


title: RAPID: Retrofitting IEEE 802.11ay Access Points for Indoor Human Detection and Sensing

abstract: In this work we present RAPID, the first joint communication and radar system based on next-generation IEEE 802.11ay WiFi networks operating in the 60 GHz band. Unlike existing approaches for human sensing at millimeter-wave frequencies, which rely on special-purpose radars, RAPID achieves radar-level sensing accuracy with IEEE 802.11ay access points, thus avoiding the burden of installing ad-hoc sensors. RAPID enables contactless human sensing applications, such as people tracking, Human Activity Recognition (HAR), and person identification without requiring modifications to the standard packet structure. Specifically, we leverage IEEE 802.11ay beam training to accurately localize and track multiple individuals within the same environment. Then, we propose a new way of using beam tracking to extract micro-Doppler signatures from the time-varying Channel Impulse Response (CIR) estimated from reflected packets. Such signatures are fed to a deep learning classifier to perform HAR and person identification. RAPID is implemented on a cutting-edge IEEE 802.11ay-compatible FPGA platform with phased antenna arrays, and evaluated on a large dataset of CIR measurements. It is robust across different environments and subjects, and outperforms state-of-the-art sub-6 GHz WiFi sensing techniques. Using two access points, RAPID reliably tracks multiple subjects, reaching HAR and person identification accuracies of 94% and 90%, respectively.


title: Non-reciprocal magnetoresistance, directional inhomogeneity and mixed symmetry Hall devices

abstract: Phenomenology similar to the nonreciprocal charge transport violating Onsagers reciprocity relations can develop in directionally inhomogeneous conducting films with nonuniform Hall coefficient along the current trajectory. The effect is demonstrated in ferromagnetic CoPd films and analyzed in comparison with the unidirectional magnetoresistance phenomena. We suggest to use an engineered inhomogeneity for spintronics applications and present the concept of mixed symmetry Hall devices in which transverse to current Hall signal is measured in a longitudinal contacts arrangement. Magnetization reversal and memory detection is demonstrated in the three terminal and the partitioned normal metal-ferromagnet (NM - FM) device designs. Multi-bit memory is realized in the partitioned FM-NM-FM structure. The relative amplitude of the antisymmetric signal in the engineered ferromagnetic devices is few percent which is 10 to 1000 times higher than in their unidirectional magnetoresistance analogues.


title: KNODE-MPC: A Knowledge-based Data-driven Predictive Control Framework for Aerial Robots

abstract: In this work, we consider the problem of deriving and incorporating accurate dynamic models for model predictive control (MPC) with an application to quadrotor control. MPC relies on precise dynamic models to achieve the desired closed-loop performance. However, the presence of uncertainties in complex systems and the environments they operate in poses a challenge in obtaining sufficiently accurate representations of the system dynamics. In this work, we make use of a deep learning tool, knowledge-based neural ordinary differential equations (KNODE), to augment a model obtained from first principles. The resulting hybrid model encompasses both a nominal first-principle model and a neural network learnt from simulated or real-world experimental data. Using a quadrotor, we benchmark our hybrid model against a state-of-the-art Gaussian Process (GP) model and show that the hybrid model provides more accurate predictions of the quadrotor dynamics and is able to generalize beyond the training data. To improve closed-loop performance, the hybrid model is integrated into a novel MPC framework, known as KNODE-MPC. Results show that the integrated framework achieves 60.2% improvement in simulations and more than 21% in physical experiments, in terms of trajectory tracking performance.


title: 1st-Order Dynamics on Nonlinear Agents for Resource Allocation over Uniformly-Connected Networks

abstract: A general nonlinear $1$st-order consensus-based solution for distributed constrained convex optimization is proposed with network resource allocation applications. The solution is used to optimize continuously-differentiable strictly convex cost functions over weakly-connected undirected networks, while it is anytime feasible and models various nonlinearities to account for imperfections and constraints on the (physical model of) agents in terms of limited actuation capabilities, e.g., quantization and saturation. Due to such inherent nonlinearities, the existing linear solutions considering ideal agent models may not necessarily converge with guaranteed optimality and anytime feasibility. Some applications also impose specific nonlinearities, e.g., convergence in fixed/finite-time or sign-based robust disturbance-tolerant dynamics. Our proposed distributed protocol generalizes such nonlinear models. Putting convex set analysis together with nonsmooth Lyapunov analysis, we prove convergence, (i) regardless of the particular type of nonlinearity, and (ii) with weak network-connectivity requirements (uniform-connectivity).


title: Large $N$ external-field quantum electrodynamics

abstract: We advocate the study of external-field quantum electrodynamics with $N$ charged particle flavors. Our main focus is on the Heisenberg-Euler effective action for this theory in the large $N$ limit which receives contributions from all loop orders. The contributions beyond one loop stem from one-particle reducible diagrams. We show that specifically in constant electromagnetic fields the latter are generated by the one-loop Heisenberg-Euler effective Lagrangian. Hence, in this case the large $N$ Heisenberg-Euler effective action can be determined explicitly at any desired loop order. We demonstrate that further analytical insights are possible for electric-and magnetic-like field configurations characterized by the vanishing of one of the secular invariants of the electromagnetic field and work out the all-orders strong field limit of the theory.


title: Inverse design of 3d molecular structures with conditional generative neural networks

abstract: The rational design of molecules with desired properties is a long-standing challenge in chemistry. Generative neural networks have emerged as a powerful approach to sample novel molecules from a learned distribution. Here, we propose a conditional generative neural network for 3d molecular structures with specified chemical and structural properties. This approach is agnostic to chemical bonding and enables targeted sampling of novel molecules from conditional distributions, even in domains where reference calculations are sparse. We demonstrate the utility of our method for inverse design by generating molecules with specified motifs or composition, discovering particularly stable molecules, and jointly targeting multiple electronic properties beyond the training regime.

categories: cs.LG physics.chem-ph physics.comp-ph stat.ML


title: Artificial Text Detection via Examining the Topology of Attention Maps

abstract: The impressive capabilities of recent generative models to create texts that are challenging to distinguish from the human-written ones can be misused for generating fake news, product reviews, and even abusive content. Despite the prominent performance of existing methods for artificial text detection, they still lack interpretability and robustness towards unseen models. To this end, we propose three novel types of interpretable topological features for this task based on Topological Data Analysis (TDA) which is currently understudied in the field of NLP. We empirically show that the features derived from the BERT model outperform count- and neural-based baselines up to 10\% on three common datasets, and tend to be the most robust towards unseen GPT-style generation models as opposed to existing methods. The probing analysis of the features reveals their sensitivity to the surface and syntactic properties. The results demonstrate that TDA is a promising line with respect to NLP tasks, specifically the ones that incorporate surface and structural information.


title: An improved lower bound for the Seidel energy of tree graphs

abstract: Let $G$ be a graph with the vertex set $ \lbrace v_1,\ldots,v_n \rbrace$. The Seidel matrix of $G$ is an $n\times n$ matrix whose diagonal entries are zero, $ij$-th entry is $-1$ if $ v_{i} $ and $ v_{j} $ are adjacent and otherwise is $ 1 $. The Seidel energy of $G$, denoted by $ \se{G} $, is defined to be the sum of absolute values of all eigenvalues of the Seidel matrix of $G$. In \cite{aekn}, the authors proved that the Seidel energy of any graph of order $n$ is at least $2n-2$. In this study, we improve the aforementioned lower bound for tree graphs.


title: Analytical techniques for polarimetric imaging of accretion flows in Schwarzschild metric

abstract: Emission from an accretion disc around compact objects, such as neutron stars and black holes, is expected to be significantly polarized. The polarization can be used to put constraints on geometrical and physical parameters of the compact sources -- their radii, masses and spins -- as well as to determine the orbital parameters. The radiation escaping from the innermost parts of the disc is strongly affected by the gravitational field of the compact object and relativistic velocities of the matter. The straightforward calculation of the observed polarization signatures involves computationally expensive ray-tracing technique. At the same time, having fast computational routines for direct data fitting becomes increasingly important in light of the currently observed images of the accretion flow around supermassive black hole in M87 by the Event Horizon Telescope, infrared polarization signatures coming from Sgr A*, as well as for the upcoming X-ray polarization measurements by the Imaging X-ray Polarimetry Explorer and enhanced X-ray Timing and Polarimetry mission. In this work, we obtain an exact analytical expression for the rotation angle of polarization plane in Schwarzschild metric accounting for the effects of light bending and relativistic aberration. We show that the calculation of the observed flux, polarization degree and polarization angle as a function of energy can be performed analytically with high accuracy using approximate light-bending formula, lifting the need for the pre-computed tabular models in fitting routines.


title: Non-thermal emission from young supernova remnants in dense circumstellar environments

abstract: Supernova remnants are known to accelerate cosmic rays (CRs) on account of their non-thermal emission of radio waves, X-rays, and gamma rays. However, the ability to accelerate CRs up to PeV-energies has yet to be demonstrated. The presence of cut-offs in the gamma-ray spectra of several young SNRs led to the idea that PeV energies might only be achieved during the very initial stages of a remnant's evolution. We use the time-dependent acceleration code RATPaC to study the acceleration of cosmic rays in supernovae expanding into dense environments around massive stars, where the plentiful target material might offer a path to the detection of gamma-rays by current and future experiments. We performed spherically symmetric 1-D simulations in which we simultaneously solve the transport equations for cosmic rays, magnetic turbulence, and the hydrodynamical flow of the thermal plasma in the test-particle limit. We investigated typical parameters of the circumstellar medium (CSM) in the freely expanding winds around red supergiant (RSG) and luminous blue variable (LBV) stars. The maximum achievable energy might be limited to sub-PeV energies despite strong magnetic fields close to the progenitor star that enhance turbulence-damping by cascading: we find a maximum CR energy of 100-200 TeV, reached within one month after explosion. The peak luminosity for a LBV progenitor is 1e43 erg/s (1e42 erg/s) at GeV (TeV) energies and, for a RSG progenitor, 1e41 erg/s (1e40 erg/s). All calculated SNe reach their peak gamma-ray luminosity after <~1 month and then fade at a rate ~1/t as long as the SN shock remains in the freely expanding wind of the progenitor. Potentially detectable gamma-ray signals can be expected in the Fermi-LAT waveband weeks to months after an explosion into a freely expanding wind.


title: Five-Dimensional Path Integrals for Six-Dimensional Conformal Field Theories

abstract: In this paper we derive Ward-Takahashi identities from the path integral of supersymmetric five-dimensional field theories with an $SU(1,3)$ spacetime symmetry in the presence of instantons. We explicitly show how $SU(1,3)$ is enhanced to $SU(1,3)\times U(1)$ where the additional $U(1)$ acts non-perturbatively. Solutions to such Ward-Takahashi identities were previously obtained from correlators of six-dimensional Lorentzian conformal field theories but where the instanton number was replaced by the momentum along a null direction. Here we study the reverse procedure whereby we construct correlation functions out of towers of five-dimensional operators which satisfy the Ward-Takahashi identities of a six-dimensional conformal field theory. This paves the way to computing observables in six dimensions using five-dimensional path integral techniques. We also argue that, once the instanton sector is included into the path integral, the coupling of the five-dimensional Lagrangian must be quantised, leaving no free continuous parameters.


title: Solving the Extended Job Shop Scheduling Problem with AGVs -- Classical and Quantum Approaches

abstract: The subject of Job Scheduling Optimisation (JSO) deals with the scheduling of jobs in an organization, so that the single working steps are optimally organized regarding the postulated targets. In this paper a use case is provided which deals with a sub-aspect of JSO, the Job Shop Scheduling Problem (JSSP or JSP). As many optimization problems JSSP is NP-complete, which means the complexity increases with every node in the system exponentially. The goal of the use case is to show how to create an optimized duty rooster for certain workpieces in a flexible organized machinery, combined with an Autonomous Ground Vehicle (AGV), using Constraint Programming (CP) and Quantum Computing (QC) alternatively. The results of a classical solution based on CP and on a Quantum Annealing model are presented and discussed. All presented results have been elaborated in the research project PlanQK.


title: Simulating the Effects of Eco-Friendly Transportation Selections for Air Pollution Reduction

abstract: Reducing air pollution, such as CO2 and PM2.5 emissions, is one of the most important issues for many countries worldwide. Selecting an environmentally friendly transport mode can be an effective approach of individuals to reduce air pollution in daily life. In this study, we propose a method to simulate the effectiveness of an eco-friendly transport mode selection for reducing air pollution by using map search logs. We formulate the transport mode selection as a combinatorial optimization problem with the constraints regarding the total amount of CO2 emissions as an example of air pollution and the average travel time. The optimization results show that the total amount of CO2 emissions can be reduced by 9.23%, whereas the average travel time can in fact be reduced by 9.96%. Our research proposal won first prize in Regular Machine Learning Competition Track Task 2 at KDD Cup 2019.


title: Asking It All: Generating Contextualized Questions for any Semantic Role

abstract: Asking questions about a situation is an inherent step towards understanding it. To this end, we introduce the task of role question generation, which, given a predicate mention and a passage, requires producing a set of questions asking about all possible semantic roles of the predicate. We develop a two-stage model for this task, which first produces a context-independent question prototype for each role and then revises it to be contextually appropriate for the passage. Unlike most existing approaches to question generation, our approach does not require conditioning on existing answers in the text. Instead, we condition on the type of information to inquire about, regardless of whether the answer appears explicitly in the text, could be inferred from it, or should be sought elsewhere. Our evaluation demonstrates that we generate diverse and well-formed questions for a large, broad-coverage ontology of predicates and roles.


title: Multimodal Federated Learning on IoT Data

abstract: Federated learning is proposed as an alternative to centralized machine learning since its client-server structure provides better privacy protection and scalability in real-world applications. In many applications, such as smart homes with Internet-of-Things (IoT) devices, local data on clients are generated from different modalities such as sensory, visual, and audio data. Existing federated learning systems only work on local data from a single modality, which limits the scalability of the systems. In this paper, we propose a multimodal and semi-supervised federated learning framework that trains autoencoders to extract shared or correlated representations from different local data modalities on clients. In addition, we propose a multimodal FedAvg algorithm to aggregate local autoencoders trained on different data modalities. We use the learned global autoencoder for a downstream classification task with the help of auxiliary labelled data on the server. We empirically evaluate our framework on different modalities including sensory data, depth camera videos, and RGB camera videos. Our experimental results demonstrate that introducing data from multiple modalities into federated learning can improve its classification performance. In addition, we can use labelled data from only one modality for supervised learning on the server and apply the learned model to testing data from other modalities to achieve decent F1 scores (e.g., with the best performance being higher than 60%), especially when combining contributions from both unimodal clients and multimodal clients.


title: An Evaluation Dataset and Strategy for Building Robust Multi-turn Response Selection Model

abstract: Multi-turn response selection models have recently shown comparable performance to humans in several benchmark datasets. However, in the real environment, these models often have weaknesses, such as making incorrect predictions based heavily on superficial patterns without a comprehensive understanding of the context. For example, these models often give a high score to the wrong response candidate containing several keywords related to the context but using the inconsistent tense. In this study, we analyze the weaknesses of the open-domain Korean Multi-turn response selection models and publish an adversarial dataset to evaluate these weaknesses. We also suggest a strategy to build a robust model in this adversarial environment.


title: FR-Detect: A Multi-Modal Framework for Early Fake News Detection on Social Media Using Publishers Features

abstract: In recent years, with the expansion of the Internet and attractive social media infrastructures, people prefer to follow the news through these media. Despite the many advantages of these media in the news field, the lack of any control and verification mechanism has led to the spread of fake news, as one of the most important threats to democracy, economy, journalism and freedom of expression. Designing and using automatic methods to detect fake news on social media has become a significant challenge. In this paper, we examine the publishers' role in detecting fake news on social media. We also suggest a high accurate multi-modal framework, namely FR-Detect, using user-related and content-related features with early detection capability. For this purpose, two new user-related features, namely Activity Credibility and Influence, have been introduced for publishers. Furthermore, a sentence-level convolutional neural network is provided to combine these features with latent textual content features properly. Experimental results have shown that the publishers' features can improve the performance of content-based models by up to 13% and 29% in accuracy and F1-score, respectively.


title: Superdensity and super-micro-uniformity in non-integrable flat systems

abstract: We show that on any non-integrable finite polysquare translation surface, superdensity, an optimal form of time-quantitative density, leads to an optimal form of time-quantitative uniformity that we call super-micro-uniformity.


title: Human-Robot Interaction via a Joint-Initiative Supervised Autonomy (JISA) Framework

abstract: In this paper, we propose and validate a Joint-Initiative Supervised Autonomy (JISA) framework for Human-Robot Interaction (HRI), in which a robot maintains a measure of its self-confidence (SC) while performing a task, and only prompts the human supervisor for help when its SC drops. At the same time, during task execution, a human supervisor can intervene in the task being performed, based on his/her Situation Awareness (SA). To evaluate the applicability and utility of JISA, it is implemented on two different HRI tasks: grid-based collaborative simultaneous localization and mapping (SLAM) and automated jigsaw puzzle reconstruction. Augmented Reality (AR) (for SLAM) and two-dimensional graphical user interfaces (GUI) (for puzzle reconstruction) are custom-designed to enhance human SA and allow intuitive interaction between the human and the agent. The superiority of the JISA framework is demonstrated in experiments. In SLAM, the superior maps produced by JISA preclude the need for post processing of any SLAM stock maps; furthermore, JISA reduces the required mapping time by approximately 50 percent versus traditional approaches. In automated puzzle reconstruction, the JISA framework outperforms both fully autonomous solutions, as well as those resulting from on-demand human intervention prompted by the agent.


title: Block Pruning For Faster Transformers

abstract: Pre-training has improved model accuracy for both classification and generation tasks at the cost of introducing much larger and slower models. Pruning methods have proven to be an effective way of reducing model size, whereas distillation methods are proven for speeding up inference. We introduce a block pruning approach targeting both small and fast models. Our approach extends structured methods by considering blocks of any size and integrates this structure into the movement pruning paradigm for fine-tuning. We find that this approach learns to prune out full components of the underlying model, such as attention heads. Experiments consider classification and generation tasks, yielding among other results a pruned model that is a 2.4x faster, 74% smaller BERT on SQuAD v1, with a 1% drop on F1, competitive both with distilled models in speed and pruned models in size.


title: Kahler toric manifolds from dually flat spaces

abstract: We present a correspondence between real analytic K\"{a}hler toric manifolds and dually flat spaces, similar to Delzant correspondence in symplectic geometry. This correspondence gives rise to a lifting procedure: if $f:M\to M'$ is an affine isometric map between dually flat spaces and if $N$ and $N'$ are K\"{a}hler toric manifolds associated to $M$ and $M'$, respectively, then there is an equivariant K\"{a}hler immersion $N\to N'$. For example, we show that the Veronese and Segre embeddings are lifts of inclusion maps between appropriate statistical manifolds. We also discuss applications to Quantum Mechanics.

categories: math.DG cs.IT math-ph math.IT math.MP math.SG


title: Noise-Aware Quantum Amplitude Estimation

abstract: In this paper we derive from simple and reasonable assumptions a Gaussian noise model for quantum amplitude estimation. We provide results from quantum amplitude estimation run on various IBM superconducting quantum computers and Quantinuum's H1 trapped-ion quantum computer to show that the proposed model is a good fit for real-world experimental data. We also show that the proposed Gaussian noise model can be easily composed with other noise models in order to capture effects that are not well described by Gaussian noise. We then give a generalised procedure for how to embed this noise model into any quantum-phase-estimation-free QAE algorithm, such that the amplitude estimation is ``noise aware''.


title: The classical spin triangle as an integrable system

abstract: The classical spin system consisting of three spins with Heisenberg interaction is an example of a completely integrable mechanical system. In this paper we explicitly calculate its time evolution and the corresponding action-angle variables. This calculation is facilitated by splitting the six degrees of freedom into three internal and three external variables, such that the internal variables evolve autonomously. Their oscillations can be explicitly calculated in terms of the Weierstrass elliptic function. We test our results by means of an example and comparison with direct numerical integration. A couple of special cases is analyzed where the general theory does not apply, including the aperiodic limit case for special initial conditions. The extension to systems with a time-depending magnetic field in a constant direction is straightforward.


title: Every Classical Sampling Circuit is a Quantum Sampling Circuit

abstract: This note introduces "Q-marginals", which are quantum states encoding some probability distribution in a manner suitable for use in Quantum Monte Carlo Integration (QMCI), and shows that these can be prepared directly from a classical circuit sampling for the probability distribution of interest. This result is important as the quantum advantage in Monte Carlo integration is in the form of a reduction in the number of uses of a quantum state encoding the probability distribution (in QMCI) relative to the number of samples that would be required in classical MCI -- hence it only translates into a computational advantage if the number of operations required to prepare this quantum state encoding the probability distribution is comparable to the number of operations required to generate a classical sample (as the Q-marginal construction achieves).


title: Temporally Coherent Person Matting Trained on Fake-Motion Dataset

abstract: We propose a novel neural-network-based method to perform matting of videos depicting people that does not require additional user input such as trimaps. Our architecture achieves temporal stability of the resulting alpha mattes by using motion-estimation-based smoothing of image-segmentation algorithm outputs, combined with convolutional-LSTM modules on U-Net skip connections. We also propose a fake-motion algorithm that generates training clips for the video-matting network given photos with ground-truth alpha mattes and background videos. We apply random motion to photos and their mattes to simulate movement one would find in real videos and composite the result with the background clips. It lets us train a deep neural network operating on videos in an absence of a large annotated video dataset and provides ground-truth training-clip foreground optical flow for use in loss functions.


title: Chemical abundances of 1111 FGK stars from the HARPS GTO planet search program IV. Carbon and C/O ratios for Galactic stellar populations and planet hosts

abstract: [ABRIDGED]We study the carbon abundances with a twofold objective. On the one hand, we want to evaluate the behaviour of carbon in the context of Galactic chemical evolution. On the other hand, we focus on the possible dependence of carbon abundances on the presence of planets and on the impact of various factors (such as different oxygen lines) on the determination of C/O elemental ratios. We derived chemical abundances of carbon from two atomic lines for 757 FGK stars in the HARPS-GTO sample. The abundances were derived with the code MOOG using automatically measured EWs and a grid of Kurucz ATLAS9 atmospheres. Oxygen abundances, derived using different lines, were taken from previous papers in this series and updated with the new stellar parameters. We find that thick- and thin-disk stars are chemically disjunct for [C/Fe] across the full metallicity range that they have in common. Moreover, the population of high-$\alpha$ metal-rich stars also presents higher and clearly separated [C/Fe] ratios than thin-disk stars up to [Fe/H]\,$\sim$\,0.2\,dex. The [C/O] ratios present a general flat trend as a function of [O/H] but this trend becomes negative when considering stars of similar metallicity. We find tentative evidence that stars with low-mass planets at lower metallicities have higher [C/Fe] ratios than stars without planets at the same metallicity, in the same way as has previously been found for $\alpha$ elements. Finally, the elemental C/O ratios for the vast majority of our stars are below 0.8 when using the oxygen line at 6158A however, the forbidden oxygen line at 6300A provides systematically higher C/O values. Moreover, by using different atmosphere models the C/O ratios can have a non negligible difference for cool stars. Therefore, C/O ratios should be scaled to a common solar reference in order to correctly evaluate its behaviour.


title: A Stefan-Sussmann theorem for normal distributions on manifolds with boundary

abstract: An analogue of the Stefan-Sussmann Theorem on manifolds with boundary is proven for normal distributions. These distributions contain vectors transverse to the boundary along its entirety. Plain integral manifolds are not enough to "integrate" a normal distribution; the next best "integrals" are so-called neat integral manifolds with boundary. The conditions on the distribution for this integrability is expressed in terms of adapted collars and integrability of a pulled-back distribution on the interior and on the boundary.


title: Model Predictive Control with Infeasible Reference Trajectories

abstract: Model Predictive Control (MPC) formulations are typically built on the requirement that a feasible reference trajectory is available. In practical settings, however, references that are infeasible with respect to the system dynamics are used for convenience. In this paper, we prove under which conditions an MPC formulation is Input-to-State Stable~(ISS) in closed-loop when an infeasible reference is used, and that with proper terminal conditions, asymptotic stability towards an optimal reference may be achieved. We illustrate the theoretical results with a four-dimensional robotic joint example.


title: Active learning for reducing labeling effort in text classification tasks

abstract: Labeling data can be an expensive task as it is usually performed manually by domain experts. This is cumbersome for deep learning, as it is dependent on large labeled datasets. Active learning (AL) is a paradigm that aims to reduce labeling effort by only using the data which the used model deems most informative. Little research has been done on AL in a text classification setting and next to none has involved the more recent, state-of-the-art Natural Language Processing (NLP) models. Here, we present an empirical study that compares different uncertainty-based algorithms with BERT$_{base}$ as the used classifier. We evaluate the algorithms on two NLP classification datasets: Stanford Sentiment Treebank and KvK-Frontpages. Additionally, we explore heuristics that aim to solve presupposed problems of uncertainty-based AL; namely, that it is unscalable and that it is prone to selecting outliers. Furthermore, we explore the influence of the query-pool size on the performance of AL. Whereas it was found that the proposed heuristics for AL did not improve performance of AL; our results show that using uncertainty-based AL with BERT$_{base}$ outperforms random sampling of data. This difference in performance can decrease as the query-pool size gets larger.


title: How Does Blockchain Security Dictate Blockchain Implementation?

abstract: Blockchain protocols come with a variety of security guarantees. For example, BFT-inspired protocols such as Algorand tend to be secure in the partially synchronous setting, while longest chain protocols like Bitcoin will normally require stronger synchronicity to be secure. Another fundamental distinction, directly relevant to scalability solutions such as sharding, is whether or not a single untrusted user is able to point to *certificates*, which provide incontrovertible proof of block confirmation. Algorand produces such certificates, while Bitcoin does not. Are these properties accidental? Or are they inherent consequences of the paradigm of protocol design? Our aim in this paper is to understand what, fundamentally, governs the nature of security for permissionless blockchain protocols. Using the framework developed in (Lewis-Pye and Roughgarden, 2021), we prove general results showing that these questions relate directly to properties of the user selection process, i.e., the method (such as proof-of-work or proof-of-stake) which is used to select users with the task of updating state. Our results suffice to establish, for example, that the production of certificates is impossible for proof-of-work protocols, but is automatic for standard forms of proof-of-stake protocols. As a byproduct of our work, we also define a number of security notions and identify the equivalences and inequivalences among them.


title: The Mirror Clemens-Schmid Sequence

abstract: We introduce a four-term long exact sequence that relates the cohomology of a smooth variety admitting a projective morphism onto a projective base to the cohomology of the open set obtained by removing the preimage of a general linear section. We show that this sequence respects the perverse Leray filtration and induces exact sequences of mixed Hodge structures on its graded pieces. We conjecture that this exact sequence should be thought of as mirror to the Clemens-Schmid sequence, which describes the cohomology of degenerations. We exhibit this mirror relationship explicitly for all Type II and many Type III degenerations of K3 surfaces. In three dimensions, we show that for Tyurin degenerations of Calabi-Yau threefolds our conjecture is a consequence of existing mirror conjectures, and we explicitly verify our conjecture for an example Type III degeneration of the quintic threefold.


title: Correlation measures of binary sequences derived from Euler quotients

abstract: Fermat-Euler quotients arose from the study of the first case of Fermat's Last Theorem, and have numerous applications in number theory. Recently they were studied from the cryptographic aspects by constructing many pseudorandom binary sequences, whose linear complexities and trace representations were calculated. In this work, we further study their correlation measures by using the approach based on Dirichlet characters, Ramanujan sums and Gauss sums. Our results show that the $4$-order correlation measures of these sequences are very large. Therefore they may not be suggested for cryptography.


title: Exploring the halo character and dipole response in the dripline nucleus $^{31}$F

abstract: Lying at the lower edge of the `island of inversion', neutron-rich Fluorine isotopes ($^{29-31}$F) provide a curious case to study the configuration mixing in this part of the nuclear landscape. Recent studies have suggested that a prospective two-neutron halo in the dripline nucleus $^{31}$F could be linked to the occupancy of the $pf$ intruder configurations. Focusing on configuration mixing, matter radii and neutron-neutron ($nn$) correlations in the ground-state of $^{31}$F, we explore various scenarios to analyze its possible halo nature as well as the low-lying electric dipole ($E$1) response within a three-body approach. We use an analytical, transformed harmonic oscillator basis under the aegis of a hyperspherical formalism to construct the ground state three-body wave function of $^{31}$F. The $^{31}$F ground-state configuration mixing and its matter radius are computed for different choices of the $^{30}$F structure coupled to the valence neutron. The admixture of {$p_{3/2}$, $d_{3/2}$, and $f_{7/2}$} components is found to play an important role, favouring the dominance of inverted configurations with dineutron spreads for two-neutron halo formation. The increase in matter radius with respect to the core radius, $\Delta r \geqslant$ 0.30 fm and the dipole distributions along with the integrated $B(E1)$ strengths of $\geqslant$ 2.6 $e^2$fm$^2$ are large enough to be compatible with other two-neutron halo nuclei. Three-body results for $^{31}$F indicate a large spatial extension in its ground state due to the inversion of the energy levels of the normal shell model scheme. The increase is augmented by and is proportional to the extent of the $p_{3/2}$ component in the wave function. Additionally, the enhanced dipole distributions and large $B(E1)$ strengths all point to the two-neutron halo character of $^{31}$F.


title: Dark Photon bounds in the dark EFT

abstract: Dark photons are massive abelian gauge bosons that interact with ordinary photons via a kinetic mixing with the hypercharge field strength tensor. This theory is probed by a variety of different experiments and limits are set on a combination of the dark photon mass and kinetic mixing parameter. These limits can however be strongly modified by the presence of additional heavy degrees of freedom. Using the framework of dark effective field theory, we study how robust are the current experimental bounds when these new states are present. We focus in particular on the possible existence of a dark dipole interaction between the Standard Model leptons and the dark photon. We show that, under certain assumptions, the presence of a dark dipole modifies existing supernov{\ae} bounds for cut-off scales up to $\mathcal{O}(10 - 100~\text{TeV})$. On the other hand, terrestrial experiments, such as LSND and E137, can probe cut-off scales up to $\mathcal{O}(3~\text{TeV})$. For the latter experiment we highlight that the bound may extend down to vanishing kinetic mixing.


title: CoPHE: A Count-Preserving Hierarchical Evaluation Metric in Large-Scale Multi-Label Text Classification

abstract: Large-Scale Multi-Label Text Classification (LMTC) includes tasks with hierarchical label spaces, such as automatic assignment of ICD-9 codes to discharge summaries. Performance of models in prior art is evaluated with standard precision, recall, and F1 measures without regard for the rich hierarchical structure. In this work we argue for hierarchical evaluation of the predictions of neural LMTC models. With the example of the ICD-9 ontology we describe a structural issue in the representation of the structured label space in prior art, and propose an alternative representation based on the depth of the ontology. We propose a set of metrics for hierarchical evaluation using the depth-based representation. We compare the evaluation scores from the proposed metrics with previously used metrics on prior art LMTC models for ICD-9 coding in MIMIC-III. We also propose further avenues of research involving the proposed ontological representation.


title: Modelling of asymmetric nanojets in coronal loops

abstract: Observations of reconnection jets in the solar corona are emerging as a possible diagnostic to study highly elusive coronal heating. Such nanojets can be observed in coronal loops and they have been linked to nanoflares. However, while models successfully describe the bilateral post-reconnection magnetic slingshot effect that leads to the jets, observations reveal that nanojets are unidirectional, or highly asymmetric, with only the jet travelling inward with respect to the coronal loop's curvature being clearly observed. The aim of this work is to address the role of the curvature of the coronal loop in asymmetric reconnection jets. In order to do so, we first use a simplified analytical model where we estimate the post-reconnection tension forces based on the local intersection angle between the pre-reconnection magnetic field lines and on their post-reconnection retracting length towards new equilibria. Second, we use a simplified numerical magnetohydrodynamic (MHD) model to study how two opposite propagating jets evolve in curved magnetic field lines. Our analytical model demonstrates that in the post-reconnection reorganised magnetic field, the inward directed magnetic tension is inherently stronger (up to 3 orders of magnitude) than the outward directed one and that, with a large enough retracting length, a regime exists where the outward directed tension disappears, leading to no outward jet at large, observable scales. Our MHD numerical model provides support for these results proving also that in the following time evolution the inward jets are consistently more energetic. The degree of asymmetry is also found to increase for small-angle reconnection and for more localised reconnection regions. This work shows that the curvature of the coronal loops plays a role in the asymmetry of the reconnection jets and inward directed jets are more likely to occur and more energetic.


title: Embedding dimensions of simplicial complexes on few vertices

abstract: We provide a simple characterization of simplicial complexes on few vertices that embed into the $d$-sphere. Namely, a simplicial complex on $d+3$ vertices embeds into the $d$-sphere if and only if its non-faces do not form an intersecting family. As immediate consequences, we recover the classical van Kampen--Flores theorem and provide a topological extension of the Erd\H os--Ko--Rado theorem. By analogy with F\'ary's theorem for planar graphs, we show in addition that such complexes satisfy the rigidity property that continuous and linear embeddability are equivalent.


title: On the distributed backward reachability problem for large scale systems

abstract: Backward reachability (also termed controllability) has been extensively studied in control theory, and tools for a wide class of systems have been developed. Nevertheless, assessing a backward reachability analysis or synthesis remains challenging as the system dimension grows. In this paper we study the backward reachability problem for large scale networked nonlinear systems with coupled dynamics and subject to states and inputs nonlinear constraints. We propose a theory for completely general nonlinear constrained large scale controllability problems. We demonstrate that it is always possible to recast such problems for the overall large scale system into an equivalent distributed form where, without introducing any conservativeness, each node of the network iteratively solves a local reachability subproblem by exchanging information with the adjacent nodes. Although the proposed algorithm is completely decentralized, the solution of the backward reachability problem for the overall system is equivalently determined by the local ones and satisfies all the given constraints. Not being linked to any specific assumption on the system dynamics nor static constraints, the proposed results hold irrespectively of any possible analytical/numerical solver to be adopted for backward reachability computation.


title: Gravitational microlensing constraints on primordial black holes by Euclid

abstract: Primordial black holes (PBHs) may form in the early stages of the Universe via the collapse of large density perturbations. Depending on the formation mechanism, PBHs may exist and populate today the galactic halos and have masses in a wide range, from about 10^{-14}Msun up to thousands, or more, of solar masses. Gravitational microlensing is the most robust and powerful method to constrain primordial black holes (PBHs), since it does not require that the lensing objects be directly visible. We calculate the optical depth and the rate of microlensing events caused by PBHs eventually distributed in the Milky Way halo, towards some selected directions of observation. Then we discuss the capability of Euclid, a space-based telescope which might perform microlensing observations at the end of its nominal mission, to probe the PBH populations in the Galactic halo.


title: Compositional Cyber-Physical Systems Theory

abstract: This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is composing larger models from smaller ones within each individual formalism of requirements, behaviors, and architectures which can be thought of as horizontal composition -- a problem which is largely solved. The second and main contribution of this theory is vertical composition, meaning relating or otherwise providing verified composition across requirement, behavioral, and architecture models and their associated algebras. In this dissertation, we show that one possible solution to vertical composition is to use tools from category theory. Category theory is a natural candidate for making both horizontal and vertical composition formally explicit because it can relate, compare, and/or unify different algebras.


title: Synchronous games with $*$-isomorphic game algebras

abstract: We establish several strong equivalences of synchronous non-local games, in the sense that the corresponding game algebras are $*$-isomorphic. We first show that the game algebra of any synchronous game on $n$ inputs and $k$ outputs is $*$-isomorphic to the game algebra of an associated bisynchronous game on $nk$ inputs and $nk$ outputs. As a result, we show that there are bisynchronous games with equal question and answer sets, whose optimal strategies only exist in the quantum commuting model, and not in the quantum approximate model. Moreover, we exhibit a bisynchronous game with $20$ questions and $20$ answers that has a non-zero game algebra, but no winning commuting strategy, resolving a problem of V.I. Paulsen and M. Rahaman. We also exhibit a $*$-isomorphism between any synchronous game algebra with $n$ questions and $k>3$ answers and a synchronous game algebra with $n(k-2)$ questions and $3$ answers.


title: Absolute continuity of degenerate elliptic measure

abstract: Let $\Omega \subset \mathbb{R}^{n+1}$ be an open set whose boundary may be composed of pieces of different dimensions. Assume that $\Omega$ satisfies the quantitative openness and connectedness, and there exist doubling measures $m$ on $\Omega$ and $\mu$ on $\partial \Omega$ with appropriate size conditions. Let $Lu=-\mathrm{div}(A\nabla u)$ be a real (not necessarily symmetric) degenerate elliptic operator in $\Omega$. Write $\omega_L$ for the associated degenerate elliptic measure. We establish the equivalence between the following properties: (i) $\omega_L \in A_{\infty}(\mu)$, (ii) $L$ is $L^p(\mu)$-solvable for some $p \in (1, \infty)$, (iii) every bounded null solution of $L$ satisfies a Carleson measure estimate with respect to $\mu$, (iv) the conical square function is controlled by the non-tangential maximal function in $L^q(\mu)$ for some (or for all) $q \in (0, \infty)$ for any null solution of $L$, and (v) $L$ is $\mathrm{BMO}(\mu)$-solvable. On the other hand, we obtain a qualitative analogy of the previous equivalence. Indeed, we characterize the absolute continuity of $\omega_L$ with respect to $\mu$ in terms of local $L^2(\mu)$ estimates of the truncated conical square function for any bounded null solution of $L$. This is also equivalent to the finiteness $\mu$-almost everywhere of the truncated conical square function for any bounded null solution of $L$.


title: GPS-Denied Navigation Using Low-Cost Inertial Sensors and Recurrent Neural Networks

abstract: Autonomous missions of drones require continuous and reliable estimates for the drone's attitude, velocity, and position. Traditionally, these states are estimated by applying Extended Kalman Filter (EKF) to Accelerometer, Gyroscope, Barometer, Magnetometer, and GPS measurements. When the GPS signal is lost, position and velocity estimates deteriorate quickly, especially when using low-cost inertial sensors. This paper proposes an estimation method that uses a Recurrent Neural Network (RNN) to allow reliable estimation of a drone's position and velocity in the absence of GPS signal. The RNN is trained on a public dataset collected using Pixhawk. This low-cost commercial autopilot logs the raw sensor measurements (network inputs) and corresponding EKF estimates (ground truth outputs). The dataset is comprised of 548 different flight logs with flight durations ranging from 4 to 32 minutes. For training, 465 flights are used, totaling 45 hours. The remaining 83 flights totaling 8 hours are held out for validation. Error in a single flight is taken to be the maximum absolute difference in 3D position (MPE) between the RNN predictions (without GPS) and the ground truth (EKF with GPS). On the validation set, the median MPE is 35 meters. MPE values as low as 2.7 meters in a 5-minutes flight could be achieved using the proposed method. The MPE in 90% of the validation flights is bounded below 166 meters. The network was experimentally tested and worked in real-time.


title: Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution

abstract: QBF solvers implementing the QCDCL paradigm are powerful algorithms that successfully tackle many computationally complex applications. However, our theoretical understanding of the strength and limitations of these QCDCL solvers is very limited. In this paper we suggest to formally model QCDCL solvers as proof systems. We define different policies that can be used for decision heuristics and unit propagation and give rise to a number of sound and complete QBF proof systems (and hence new QCDCL algorithms). With respect to the standard policies used in practical QCDCL solving, we show that the corresponding QCDCL proof system is incomparable (via exponential separations) to Q-resolution, the classical QBF resolution system used in the literature. This is in stark contrast to the propositional setting where CDCL and resolution are known to be p-equivalent. This raises the question what formulas are hard for standard QCDCL, since Q-resolution lower bounds do not necessarily apply to QCDCL as we show here. In answer to this question we prove several lower bounds for QCDCL, including exponential lower bounds for a large class of random QBFs. We also introduce a strengthening of the decision heuristic used in classical QCDCL, which does not necessarily decide variables in order of the prefix, but still allows to learn asserting clauses. We show that with this decision policy, QCDCL can be exponentially faster on some formulas. We further exhibit a QCDCL proof system that is p-equivalent to Q-resolution. In comparison to classical QCDCL, this new QCDCL version adapts both decision and unit propagation policies.


title: Proceedings of the 29th International Symposium on Graph Drawing and Network Visualization (GD 2021)

abstract: This is the arXiv index for the electronic proceedings of GD 2021, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture Notes in Computer Science series.


title: A reduced model for plates arising as low energy $\Gamma$-limit in nonlinear magnetoelasticity

abstract: We investigate the problem of dimension reduction for plates in nonlinear magnetoelasticity. The model features a mixed Eulerian-Lagrangian formulation, as magnetizations are defined on the deformed set in the actual space. We consider low-energy configurations by rescaling the elastic energy according to the linearized von K\'{a}rm\'{a}n regime. First, we identify a reduced model by computing the $\Gamma$-limit of the magnetoelastic energy, as the thickness of the plate goes to zero. This extends a previous result obtained by the first author in the incompressible case to the compressible one. Then, we introduce applied loads given by mechanical forces and external magnetic fields and we prove that, under clamped boundary conditions, sequences of almost minimizes of the total energy converge to minimizers of the corresponding energy in the reduced model. Subsequently, we study quasistatic evolutions driven by time-dependent applied loads and a rate-independent dissipation. We prove that solutions to the approximate incremental minimization problem at the bulk converge to energetic solutions to the reduced model. This result provides a further justification of the latter in the spirit of evolutionary $\Gamma$-convergence.


title: Emerging AI Security Threats for Autonomous Cars -- Case Studies

abstract: Artificial Intelligence has made a significant contribution to autonomous vehicles, from object detection to path planning. However, AI models require a large amount of sensitive training data and are usually computationally intensive to build. The commercial value of such models motivates attackers to mount various attacks. Adversaries can launch model extraction attacks for monetization purposes or step-ping-stone towards other attacks like model evasion. In specific cases, it even results in destroying brand reputation, differentiation, and value proposition. In addition, IP laws and AI-related legalities are still evolving and are not uniform across countries. We discuss model extraction attacks in detail with two use-cases and a generic kill-chain that can compromise autonomous cars. It is essential to investigate strategies to manage and mitigate the risk of model theft.


title: Radiation reaction-dominated regime of wakefield acceleration

abstract: We study electron acceleration in a plasma wakefield under the influence of the radiation-reaction force caused by the transverse betatron oscillations of the electron in the wakefield. Both the classical and the strong quantum-electrodynamic (QED) limits of the radiation reaction are considered. For the constant accelerating force, we show that the amplitude of the oscillations of the QED parameter $\chi$ in the radiation-dominated regime reaches the equilibrium value determined only by the magnitude of the accelerating field, while the averaged over betatron oscillations radiation reaction force saturates at the value smaller than the accelerating force and thus is incapable of preventing infinite acceleration. We find the parameters of the electron bunch and the plasma accelerator for which reaching such a regime is possible. We also study effects of the dephasing and the corresponding change of accelerating force over the course of acceleration and conclude that the radiation-dominated regime is realized both in cases of single-stage acceleration with slow dephasing (usually corresponding to bunch-driven plasma accelerators) and multi-stage acceleration with fast dephasing (corresponding to the use of laser-driven accelerators).


title: Studying word order through iterative shuffling

abstract: As neural language models approach human performance on NLP benchmark tasks, their advances are widely seen as evidence of an increasingly complex understanding of syntax. This view rests upon a hypothesis that has not yet been empirically tested: that word order encodes meaning essential to performing these tasks. We refute this hypothesis in many cases: in the GLUE suite and in various genres of English text, the words in a sentence or phrase can rarely be permuted to form a phrase carrying substantially different information. Our surprising result relies on inference by iterative shuffling (IBIS), a novel, efficient procedure that finds the ordering of a bag of words having the highest likelihood under a fixed language model. IBIS can use any black-box model without additional training and is superior to existing word ordering algorithms. Coalescing our findings, we discuss how shuffling inference procedures such as IBIS can benefit language modeling and constrained generation.


title: Heading Estimation Using Ultra-Wideband Received Signal Strength and Gaussian Processes

abstract: It is essential that a robot has the ability to determine its position and orientation to execute tasks autonomously. Heading estimation is especially challenging in indoor environments where magnetic distortions make magnetometer-based heading estimation difficult. Ultra-wideband (UWB) transceivers are common in indoor localization problems. This letter experimentally demonstrates how to use UWB range and received signal strength (RSS) measurements to estimate robot heading. The RSS of a UWB antenna varies with its orientation. As such, a Gaussian process (GP) is used to learn a data-driven relationship from UWB range and RSS inputs to orientation outputs. Combined with a gyroscope in an invariant extended Kalman filter, this realizes a heading estimation method that uses only UWB and gyroscope measurements.