title: Fair and Adventurous Enumeration of Quantifier Instantiations

abstract: SMT solvers generally tackle quantifiers by instantiating their variables with tuples of terms from the ground part of the formula. Recent enumerative approaches for quantifier instantiation consider tuples of terms in some heuristic order. This paper studies different strategies to order such tuples and their impact on performance. We decouple the ordering problem into two parts. First is the order of the sequence of terms to consider for each quantified variable, and second is the order of the instantiation tuples themselves. While the most and least preferred tuples, i.e. those with all variables assigned to the most or least preferred terms, are clear, the combinations in between allow flexibility in an implementation. We look at principled strategies of complete enumeration, where some strategies are more fair, meaning they treat all the variables the same but some strategies may be more adventurous, meaning that they may venture further down the preference list. We further describe new techniques for discarding irrelevant instantiations which are crucial for the performance of these strategies in practice. These strategies are implemented in the SMT solver cvc5, where they contribute to the diversification of the solver's configuration space, as shown by our experimental results.


title: Marginally-Stable Thermal Equilibria of Rayleigh-B\'enard Convection

abstract: Natural convection is ubiquitous throughout the physical sciences and engineering, yet many of its important properties remain elusive. To study convection in a novel context, we derive and solve a quasilinear form of the Rayleigh-B\'enard problem by representing the perturbations in terms of marginally-stable eigenmodes. The amplitude of each eigenmode is determined by requiring that the background state maintains marginal stability. The background temperature profile evolves due to the advective flux of every marginally-stable eigenmode, as well as diffusion. To ensure marginal stability and to obtain the eigenfunctions at every timestep, we perform a one-dimensional eigenvalue solve on each of the allowable wavenumbers. The background temperature field evolves to an equilibrium state, where the advective flux from the marginally-stable eigenmodes and the diffusive flux sum to a constant. These marginally-stable thermal equilibria (MSTE) are exact solutions of the quasilinear equations. The mean temperature profile has thinner boundary layers and larger Nusselt numbers than thermally-equilibrated 2D and 3D simulations of the full nonlinear equations. We find the Nusselt number scales like $\rm{Nu} \sim\rm{Ra}^{1/3}$. When an MSTE is used as initial conditions for a 2D simulation, we find that Nu quickly equilibrates without the burst of turbulence often induced by purely conductive initial conditions, but we also find that the kinetic energy is too large and viscously attenuates on a long viscous time scale. This is due to the thin temperature boundary layers which diffuse heat very effectively, thereby requiring high-velocity advective flows to reach an equilibrium.


title: Novel Generic Models for Differentiating Stem Cells Reveal Oscillatory Mechanisms

abstract: Understanding cell fate selection remains a central challenge in developmental biology. We present a class of simple yet biologically-motivated mathematical models for cell differentiation that generically generate oscillations and hence suggest alternatives to the standard framework based on Waddington's epigenetic landscape. The models allow us to suggest two generic dynamical scenarios that describe the differentiation process. In the first scenario gradual variation of a single control parameter is responsible for both entering and exiting the oscillatory regime. In the second scenario two control parameters vary: one responsible for entering, and the other for exiting the oscillatory regime. We analyse the standard repressilator and four variants of it and show the dynamical behaviours associated with each scenario. We present a thorough analysis of the associated bifurcations and argue that gene regulatory networks with these repressilator-like characteristics are promising candidates to describe cell fate selection through an oscillatory process.


title: SPFA: SFA on Multiple Persistent Faults

abstract: For classical fault analysis, a transient fault is required to be injected during runtime, e.g., only at a specific round. Instead, Persistent Fault Analysis (PFA) introduces a powerful class of fault attacks that allows for a fault to be present throughout the whole execution. One limitation of original PFA as introduced by Zhang et al. at CHES'18 is that the faulty values need to be known to the adversary. While this was addressed at a follow-up work at CHES'20, the solution is only applicable to a single faulty value. Instead, we use the potency of Statistical Fault Analysis (SFA) in the persistent fault setting, presenting Statistical Persistent Fault Analysis (SPFA) as a more general approach of PFA. As a result, any or even a multitude of unknown faults that cause an exploitable bias in the targeted round can be used to recover the cipher's secret key. Indeed, the undesired faults in the other rounds that occur due the persistent nature of the attack converge to a uniform distribution as required by SFA. We verify the effectiveness of our attack against LED and AES.


title: Natural Language Processing 4 All (NLP4All): A New Online Platform for Teaching and Learning NLP Concepts

abstract: Natural Language Processing offers new insights into language data across almost all disciplines and domains, and allows us to corroborate and/or challenge existing knowledge. The primary hurdles to widening participation in and use of these new research tools are, first, a lack of coding skills in students across K-16, and in the population at large, and second, a lack of knowledge of how NLP-methods can be used to answer questions of disciplinary interest outside of linguistics and/or computer science. To broaden participation in NLP and improve NLP-literacy, we introduced a new tool web-based tool called Natural Language Processing 4 All (NLP4All). The intended purpose of NLP4All is to help teachers facilitate learning with and about NLP, by providing easy-to-use interfaces to NLP-methods, data, and analyses, making it possible for non- and novice-programmers to learn NLP concepts interactively.


title: Bias and variance of the Bayesian-mean decoder

abstract: Perception, in theoretical neuroscience, has been modeled as the encoding of external stimuli into internal signals, which are then decoded. The Bayesian mean is an important decoder, as it is optimal for purposes of both estimation and discrimination. We present widely-applicable approximations to the bias and to the variance of the Bayesian mean, obtained under the minimal and biologically-relevant assumption that the encoding results from a series of independent, though not necessarily identically-distributed, signals. Simulations substantiate the accuracy of our approximations in the small-noise regime. The bias of the Bayesian mean comprises two components: one driven by the prior, and one driven by the precision of the encoding. If the encoding is 'efficient', the two components have opposite effects; their relative strengths are determined by the objective that the encoding optimizes. The experimental literature on perception reports both 'Bayesian' biases directed towards prior expectations, and opposite, 'anti-Bayesian' biases. We show that different tasks are indeed predicted to yield such contradictory biases, under a consistently-optimal encoding-decoding model. Moreover, we recover Wei and Stocker's "law of human perception", a relation between the bias of the Bayesian mean and the derivative of its variance, and show how the coefficient of proportionality in this law depends on the task at hand. Our results provide a parsimonious theory of optimal perception under constraints, in which encoding and decoding are adapted both to the prior and to the task faced by the observer.


title: Parisian times for linear diffusions

abstract: We compute the joint distribution of the first times a linear diffusion makes an excursion longer than some given duration above (resp. below) some fixed level. In the literature, such stopping times have been introduced and studied in the framework of \emph{Parisian} barrier options, mainly in the case of Brownian motion with drift. We also exhibit several independence properties, and provide some formulae for the associated ruin probabilities.


title: Nordhaus-Gaddum type inequality for the fractional matching number of a graph

abstract: The fractional matching number of a graph G, is the maximum size of a fractional matching of G. The following sharp lower bounds for a graph G of order n are proved, and all extremal graphs are characterized in this paper. (1)The sum of the fractional matching number of a graph G and the fractional matching number of its complement is not less than n/2 , where n is not less than 2. (2) If G and its complement are non-empty, then the sum of the fractional matching number of a graph G and the fractional matching number of its complement is not less than (n+1)/2, where n is not less than 28. (3) If G and its complement have no isolated vertices, then the sum of the fractional matching number of a graph G and the fractional matching number of its complement is not less than (n+4)/2, where n is not less than 28.


title: Convergence of the Value Function in Optimal Control Problems with Unknown Dynamics

abstract: We deal with the convergence of the value function of an approximate control problem with uncertain dynamics to the value function of a nonlinear optimal control problem. The assumptions on the dynamics and the costs are rather general and we assume to represent uncertainty in the dynamics by a probability distribution. The proposed framework aims to describe and motivate some model-based Reinforcement Learning algorithms where the model is probabilistic. We also show some numerical experiments which confirm the theoretical results.


title: The large inner Micromegas modules for the Atlas Muon Spectrometer Upgrade: construction, quality control and characterization

abstract: The steadily increasing luminosity of the LHC requires an upgrade with high-rate and high-resolution detector technology for the inner end cap of the ATLAS muon spectrometer: the New Small Wheels (NSW). In order to achieve the goal of precision tracking at a hit rate of about 15 kHz/cm$^2$ at the inner radius of the NSW, large area Micromegas quadruplets with 100\,\microns spatial resolution per plane have been produced. % IRFU, from the CEA research center of Saclay, is responsible for the production and validation of LM1 Micromegas modules. The construction, production, qualification and validation of the largest Micromegas detectors ever built are reported here. Performance results under cosmic muon characterisation will also be discussed.


title: OTTers: One-turn Topic Transitions for Open-Domain Dialogue

abstract: Mixed initiative in open-domain dialogue requires a system to pro-actively introduce new topics. The one-turn topic transition task explores how a system connects two topics in a cooperative and coherent manner. The goal of the task is to generate a "bridging" utterance connecting the new topic to the topic of the previous conversation turn. We are especially interested in commonsense explanations of how a new topic relates to what has been mentioned before. We first collect a new dataset of human one-turn topic transitions, which we call OTTers. We then explore different strategies used by humans when asked to complete such a task, and notice that the use of a bridging utterance to connect the two topics is the approach used the most. We finally show how existing state-of-the-art text generation models can be adapted to this task and examine the performance of these baselines on different splits of the OTTers data.


title: Extrinsic localized excitons in patterned 2D semiconductors

abstract: We demonstrate a new localized excitonic state in patterned monolayer 2D semiconductors. This state is not associated with lattice disorder but is extrinsic, i.e. results from external molecules on the material surface. The signature of an exciton associated with that state is observed in the photoluminescence spectrum after electron beam exposure of several 2D semiconductors. The localized state, which is distinguished by non-linear power dependence, survives up to room temperature and is patternable down to 20 nm resolution. We probe the response of the new exciton to the changes of electron energy, nanomechanical cleaning, and encapsulation via multiple microscopic, spectroscopic, and computational techniques. All these approaches suggest that the state does not originate from irradiation-induced structural defects or spatially non-uniform strain, as commonly assumed. Instead, we show that it is extrinsic, likely a charge transfer exciton associated with the organic substance deposited onto the 2D semiconductor. By demonstrating that structural defects are not required for the formation of localized excitons, our work opens new possibilities for further understanding of these states and using them for example in chemical sensing and quantum technologies.


title: A Search for Pulsar Companions Around Low-Mass White Dwarfs

abstract: We report on a search for pulsars at the positions of eight low-mass white dwarfs and one higher-mass white dwarf with the 100-m Effelsberg Radio Telescope. These systems have orbital parameters suggesting that their unseen companions are either massive white dwarfs or neutron stars. Our observations were performed at 1.36 GHz, reaching sensitivities of 0.1-0.2 mJy. We searched our data accounting for the possible acceleration and jerk of the pulsar signals due to orbital motion, but found no significant pulsar signals. Considering our result jointly with 20 non-detections of similar systems with the Greenbank Radio Telescope, we infer $f_{\rm NS}\leq 0.10$, for the fraction of NSs orbiting these white dwarfs. We discuss the sensitivity of this result to the underlying assumptions and conclude with a brief discussion on the prospects of targeted surveys for discovering millisecond pulsars.


title: Environmental impact of terwatt scale Si-photovoltaics

abstract: Solar photovoltaics which converts renewable solar energy into electricity have become prominent as a measure to decarbonize electricity generation. The operational carbon footprint of this technology is significantly lower compared to electricity generation using conventional non-renewable fuels. The operationalization of photovoltaic electricity generation however results in significant emissions which are loaded upfront into the atmosphere. An analysis of the embodied energy in Si solar panels manufacturing and installation, and associated CO2 emissions clearly show their global warming potential. Installation of 10 TWp capacity requires 150 Exa Joules of energy and results in 7 to 13 GTons of emissions depending on the embodied energy mix. Particulate and other gaseous emissions as well as water consumption will be additional. These are significant emissions requiring development of alternate low carbon footprint manufacturing technologies and clearly shows the flip side of recent prediction of Terawatt scale photovoltaics.


title: Pattern Formation and Evidence of Quantum Turbulence in Binary Bose-Einstein Condensates Interacting with a Pair of Laguerre-Gaussian Laser Beams

abstract: We theoretically investigate the out-of-equilibrium dynamics in a binary Bose-Einstein condensate confined within two-dimensional box potentials. One species of the condensate interacts with a pair of oppositely wound, but otherwise identical Laguerre-Gaussian laser pulses, while the other species is influenced only via the interspecies interaction. Starting from the Hamiltonian, we derive the equations of motion that accurately delineate the behavior of the condensates during and after the light-matter interaction. Depending on the number the helical windings (or the magnitude of topological charge), the species directly participating in the interaction with lasers is dynamically segmented into distinct parts which collide together as the pulses gradually diminish. This collision event generates nonlinear structures in the related species, coupled with the complementary structures produced in the other species, due to the interspecies interaction. The long-time dynamics of the optically perturbed species is found to develop the Kolmogorov-Saffman scaling law in the incompressible kinetic energy spectrum, a characteristic feature of the quantum turbulent state. However, the same scaling law is not definitively exhibited in the other species. This study warrants the usage of Laguerre-Gaussian beams for future experiments on quantum turbulence in Bose-Einstein condensates.


title: Boundary differentiability of solutions to elliptic equations in convex domains in the borderline case

abstract: In this work, we consider the following elliptic partial differential equations: \begin{equation*} \left\{ \begin{aligned}{} - b_{ij} \; \frac{\partial^{2} w}{\partial x_{i} \partial x_{j}} &= g \;\;\; \text{in} \;\; \Omega, w &= 0 \;\;\;\text{on} \;\partial \Omega, \end{aligned} \right. \end{equation*} \noindent where the domain $\Omega \subset \mathbb{R}^{n}$ is convex, the matrix $\big(b_{ij}\big)_{n \times n}$ satisfies the uniform ellipticity conditions. For $g$ in the scaling critical Lorentz space $ L(n,\; 1)(\Omega)$, we establish boundary differentiability of solutions to the above problem. We also prove $C^{\mathrm{Log-Lip}}$ regularity estimate at a boundary point in the case when $g \in L^{n}(\Omega)$.


title: A new Bayesian discrepancy measure

abstract: The aim of this article is to make a contribution to the Bayesian procedure of testing precise hypotheses for parametric models. For this purpose, we define the Bayesian Discrepancy Measure that allows one to evaluate the suitability of a given hypothesis with respect to the available information (prior law and data). To summarise this information, the posterior median is employed, allowing a simple assessment of the discrepancy with a fixed hypothesis. The Bayesian Discrepancy Measure assesses the compatibility of a single hypothesis with the observed data, as opposed to the more common comparative approach where a hypothesis is rejected in favour of a competing hypothesis. The proposed measure of evidence has properties of consistency and invariance. After presenting the definition of the measure for a parameter of interest, both in the absence and in the presence of nuisance parameters, we illustrate some examples showing its conceptual and interpretative simplicity. Finally, we compare the BDT with the Full Bayesian Significance Test, a well-known Bayesian testing procedure for sharp hypotheses.


title: Coverage Analysis of Cellular-Connected UAV Communications with 3GPP Antenna and Channel Models

abstract: For reliable and efficient communications of aerial platforms, such as unmanned aerial vehicles (UAVs), the cellular network is envisioned to provide connectivity for the aerial and ground user equipment (GUE) simultaneously, which brings challenges to the existing pattern of the base station (BS) tailored for ground-level services. Thus, we focus on the coverage probability analysis to investigate the coexistence of aerial and terrestrial users, by employing realistic antenna and channel models reported in the 3rd Generation Partnership Project (3GPP). The homogeneous Poisson point process (PPP) is used to describe the BS distribution, and the BS antenna is adjustable in the down-tilted angle and the number of the antenna array. Meantime, omnidirectional antennas are used for cellular users. We first derive the approximation of coverage probability and then conduct numerous simulations to evaluate the impacts of antenna numbers, down-tilted angles, carrier frequencies, and user heights. One of the essential findings indicates that the coverage probabilities of high-altitude users become less sensitive to the down-tilted angle. Moreover, we found that the aerial user equipment (AUE) in a certain range of heights can achieve the same or better coverage probability than that of GUE, which provides an insight into the effective deployment of cellular-connected aerial communications.


title: Voice Activity Detection for Ultrasound-based Silent Speech Interfaces using Convolutional Neural Networks

abstract: Voice Activity Detection (VAD) is not easy task when the input audio signal is noisy, and it is even more complicated when the input is not even an audio recording. This is the case with Silent Speech Interfaces (SSI) where we record the movement of the articulatory organs during speech, and we aim to reconstruct the speech signal from this recording. Our SSI system synthesizes speech from ultrasonic videos of the tongue movement, and the quality of the resulting speech signals are evaluated by metrics such as the mean squared error loss function of the underlying neural network and the Mel-Cepstral Distortion (MCD) of the reconstructed speech compared to the original. Here, we first demonstrate that the amount of silence in the training data can have an influence both on the MCD evaluation metric and on the performance of the neural network model. Then, we train a convolutional neural network classifier to separate silent and speech-containing ultrasound tongue images, using a conventional VAD algorithm to create the training labels from the corresponding speech signal. In the experiments our ultrasound-based speech/silence separator achieved a classification accuracy of about 85\% and an AUC score around 86\%.


title: On the condition number of the shifted real Ginibre ensemble

abstract: We derive an accurate lower tail estimate on the lowest singular value $\sigma_1(X-z)$ of a real Gaussian (Ginibre) random matrix $X$ shifted by a complex parameter $z$. Such shift effectively changes the upper tail behaviour of the condition number $\kappa(X-z)$ from the slower $\mathbf{P}(\kappa(X-z)\ge t)\lesssim 1/t$ decay typical for real Ginibre matrices to the faster $1/t^2$ decay seen for complex Ginibre matrices as long as $z$ is away from the real axis. This sharpens and resolves a recent conjecture in [arXiv:2005.08930] on the regularizing effect of the real Ginibre ensemble with a genuinely complex shift. As a consequence we obtain an improved upper bound on the eigenvalue condition numbers (known also as the eigenvector overlaps) for real Ginibre matrices. The main technical tool is a rigorous supersymmetric analysis from our earlier work [arXiv:1908.01653].


title: Density of small singular values of the shifted real Ginibre ensemble

abstract: We derive a precise asymptotic formula for the density of the small singular values of the real Ginibre matrix ensemble shifted by a complex parameter $z$ as the dimension tends to infinity. For $z$ away from the real axis the formula coincides with that for the complex Ginibre ensemble we derived earlier in [arXiv:1908.01653]. On the level of the one-point function of the low lying singular values we thus confirm the transition from real to complex Ginibre ensembles as the shift parameter $z$ becomes genuinely complex; the analogous phenomenon has been well known for eigenvalues. We use the superbosonization formula [arXiv:0707.2929] in a regime where the main contribution comes from a three dimensional saddle manifold.


title: Chiral superconductivity in UTe2 probed by anisotropic low-energy excitations

abstract: Chiral spin-triplet superconductivity is a topologically nontrivial pairing state with broken time-reversal symmetry, which can host Majorana quasiparticles. The recently discovered heavy-fermion superconductor UTe$_2$ exhibits peculiar properties of spin-triplet pairing, and the possible chiral state has been actively discussed. However, the symmetry and nodal structure of its order parameter in the bulk, which determine the Majorana surface states, remains controversial. Here we focus on the number and positions of superconducting gap nodes in the ground state of UTe$_2$. Our magnetic penetration depth measurements for three field orientations in the Meissner state reveal the power-law temperature dependence with exponents nearly equal to 2 or less than 2, which excludes single-component spin-triplet states. The anisotropy of low-energy quasiparticle excitations indicates multiple point nodes near the $k_y$- and $k_z$-axes, evidencing that the order parameter has multiple components in a chiral complex form. We find that most consistent is a chiral $B_{3u}+iA_u$ non-unitary state, which provides fundamentals of the topological properties in UTe$_2$.


title: Geometry of Gene Regulatory Dynamics

abstract: Embryonic development leads to the reproducible and ordered appearance of complexity from egg to adult. The successive differentiation of different cell types, that elaborates this complexity, result from the activity of gene networks and was likened by Waddington to a flow through a landscape in which valleys represent alternative fates. Geometric methods allow the formal representation of such landscapes and codify the types of behaviors that result from systems of differential equations. Results from Smale and coworkers imply that systems encompassing gene network models can be represented as potential gradients with a Riemann metric, justifying the Waddington metaphor. Here, we extend this representation to include parameter dependence and enumerate all 3-way cellular decisions realisable by tuning at most two parameters, which can be generalized to include spatial coordinates in a tissue. All diagrams of cell states vs model parameters are thereby enumerated. We unify a number of standard models for spatial pattern formation by expressing them in potential form. Turing systems appear non-potential yet in suitable variables the dynamics are low dimensional, potential, and a time independent embedding recovers the biological variables. Lateral inhibition is described by a saddle point with many unstable directions. A model for the patterning of the Drosophila eye appears as relaxation in a bistable potential. Geometric reasoning provides intuitive dynamic models for development that are well adapted to fit time-lapse data.


title: A New Algorithm for the LQR Problem with Partially Unknown Dynamics

abstract: We consider an LQR optimal control problem with partially unknown dynamics. We propose a new model-based online algorithm to obtain an approximation of the dynamics $and$ the control at the same time during a single simulation.


title: Parameter estimation in CKLS model by continuous observations

abstract: We consider a stochastic differential equation of the form $dr_t = (a - b r_t) dt + \sigma r_t^\beta dW_t$, where $a$, $b$ and $\sigma$ are positive constants, $\beta\in(\frac12,1)$. We study the estimation of an unknown drift parameter $(a,b)$ by continuous observations of a sample path $\{r_t, t \in [0,T]\}$. We prove the strong consistency and asymptotic normality of the maximum likelihood estimator. We propose another strongly consistent estimator, which generalizes an estimator proposed in Dehtiar et al. (2021) for $\beta=\frac12$. The identification of the diffusion parameters $\sigma$ and $\beta$ is discussed as well.


title: Promoting the Acquisition of Hardware Reverse Engineering Skills

abstract: This full research paper focuses on skill acquisition in Hardware Reverse Engineering (HRE) - an important field of cyber security. HRE is a prevalent technique routinely employed by security engineers (i) to detect malicious hardware manipulations, (ii) to conduct VLSI failure analysis, (iii) to identify IP infringements, and (iv) to perform competitive analyses. Even though the scientific community and industry have a high demand for HRE experts, there is a lack of educational courses. We developed a university-level HRE course based on general cognitive psychological research on skill acquisition, as research on the acquisition of HRE skills is lacking thus far. To investigate how novices acquire HRE skills in our course, we conducted two studies with students on different levels of prior knowledge. Our results show that cognitive factors (e.g., working memory), and prior experiences (e.g., in symmetric cryptography) influence the acquisition of HRE skills. We conclude by discussing implications for future HRE courses and by outlining ideas for future research that would lead to a more comprehensive understanding of skill acquisition in this important field of cyber security.


title: Target space entanglement in quantum mechanics of fermions and matrices

abstract: We consider entanglement of first-quantized identical particles by adopting an algebraic approach. In particular, we investigate fermions whose wave functions are given by the Slater determinants, as for singlet sectors of one-matrix models. We show that the upper bounds of the general R\'enyi entropies are $N \log 2$ for $N$ particles or an $N\times N$ matrix. We compute the target space entanglement entropy and the mutual information in a free one-matrix model. We confirm the area law: the single-interval entropy for the ground state scales as $\frac{1}{3}\log N$ in the large $N$ model. We obtain an analytical $\mathcal{O}(N^0)$ expression of the mutual information for two intervals in the large $N$ expansion.

categories: hep-th cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Slow Momentum with Fast Reversion: A Trading Strategy Using Deep Learning and Changepoint Detection

abstract: Momentum strategies are an important part of alternative investments and are at the heart of commodity trading advisors (CTAs). These strategies have, however, been found to have difficulties adjusting to rapid changes in market conditions, such as during the 2020 market crash. In particular, immediately after momentum turning points, where a trend reverses from an uptrend (downtrend) to a downtrend (uptrend), time-series momentum (TSMOM) strategies are prone to making bad bets. To improve the response to regime change, we introduce a novel approach, where we insert an online changepoint detection (CPD) module into a Deep Momentum Network (DMN) [1904.04912] pipeline, which uses an LSTM deep-learning architecture to simultaneously learn both trend estimation and position sizing. Furthermore, our model is able to optimise the way in which it balances 1) a slow momentum strategy which exploits persisting trends, but does not overreact to localised price moves, and 2) a fast mean-reversion strategy regime by quickly flipping its position, then swapping it back again to exploit localised price moves. Our CPD module outputs a changepoint location and severity score, allowing our model to learn to respond to varying degrees of disequilibrium, or smaller and more localised changepoints, in a data driven manner. Back-testing our model over the period 1995-2020, the addition of the CPD module leads to an improvement in Sharpe ratio of one-third. The module is especially beneficial in periods of significant nonstationarity, and in particular, over the most recent years tested (2015-2020) the performance boost is approximately two-thirds. This is interesting as traditional momentum strategies have been underperforming in this period.


title: An Explanatory Query-Based Framework for Exploring Academic Expertise

abstract: The success of research institutions heavily relies upon identifying the right researchers "for the job": researchers may need to identify appropriate collaborators, often from across disciplines; students may need to identify suitable supervisors for projects of their interest; administrators may need to match funding opportunities with relevant researchers, and so on. Usually, finding potential collaborators in institutions is a time-consuming manual search task prone to bias. In this paper, we propose a novel query-based framework for searching, scoring, and exploring research expertise automatically, based upon processing abstracts of academic publications. Given user queries in natural language, our framework finds researchers with relevant expertise, making use of domain-specific knowledge bases and word embeddings. It also generates explanations for its recommendations. We evaluate our framework with an institutional repository of papers from a leading university, using, as baselines, artificial neural networks and transformer-based models for a multilabel classification task to identify authors of publication abstracts. We also assess the cross-domain effectiveness of our framework with a (separate) research funding repository for the same institution. We show that our simple method is effective in identifying matches, while satisfying desirable properties and being efficient.


title: Semi-Popular Matchings and Copeland Winners

abstract: Given a graph $G = (V,E)$ where every vertex has a weak ranking over its neighbors, we consider the problem of computing an optimal matching as per agent preferences. Classical notions of optimality such as stability and its relaxation popularity could fail to exist when $G$ is non-bipartite. In light of the non-existence of a popular matching, we consider its relaxations that satisfy universal existence. We find a positive answer in the form of semi-popularity. A matching $M$ is semi-popular if for a majority of the matchings $N$ in $G$, $M$ does not lose a head-to-head election against $N$. We show that a semi-popular matching always exists in any graph $G$ and complement this existence result with a fully polynomial-time randomized approximation scheme (FPRAS). A special subclass of semi-popular matchings is the set of Copeland winners -- the notion of Copeland winner is classical in social choice theory and a Copeland winner always exists in any voting instance. We study the complexity of computing a matching that is a Copeland winner and show there is no polynomial-time algorithm for this problem unless $\mathsf{P} = \mathsf{NP}$.


title: Classifying decomposition and wavelet coorbit spaces using coarse geometry

abstract: This paper is concerned with the study of Besov-type decomposition spaces, which are scales of spaces associated to suitably defined coverings of the euclidean space $\mathbb{R}^d$, or suitable open subsets thereof. A fundamental problem in this domain, that is currently not well understood, is deciding when two different coverings give rise to the same scale of decomposition spaces. In this paper, we establish a coarse geometric approach to this problem, and show how it specializes for the case of wavelet coorbit spaces associated to a particular class of matrix groups $H < GL(\mathbb{R}^d)$ acting via dilations. This class can be understood as a special case of decomposition spaces, and it turns out that the question whether two different dilation groups $H_1,H_2$ have the same coorbit spaces can be decided by investigating whether a suitably defined map $\phi: H_1 \to H_2$ is a quasi-isometry with respect to suitably defined word metrics. We then proceed to apply this criterion to a large class of dilation groups called {\em shearlet dilation groups}, where this quasi-isometry condition can be characterized algebraically. We close with the discussion of selected examples.


title: DeepTag: A General Framework for Fiducial Marker Design and Detection

abstract: A fiducial marker system usually consists of markers, a detection algorithm, and a coding system. The appearance of markers and the detection robustness are generally limited by the existing detection algorithms, which are hand-crafted with traditional low-level image processing techniques. Furthermore, a sophisticatedly designed coding system is required to overcome the shortcomings of both markers and detection algorithms. To improve the flexibility and robustness in various applications, we propose a general deep learning based framework, DeepTag, for fiducial marker design and detection. DeepTag not only supports detection of a wide variety of existing marker families, but also makes it possible to design new marker families with customized local patterns. Moreover, we propose an effective procedure to synthesize training data on the fly without manual annotations. Thus, DeepTag can easily adapt to existing and newly-designed marker families. To validate DeepTag and existing methods, beside existing datasets, we further collect a new large and challenging dataset where markers are placed in different view distances and angles. Experiments show that DeepTag well supports different marker families and greatly outperforms the existing methods in terms of both detection robustness and pose accuracy. Both code and dataset are available at https://herohuyongtao.github.io/research/publications/deep-tag/.


title: SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus

abstract: This paper revisits the ubiquitous problem of achieving state machine replication in blockchains based on repeated consensus, like Tendermint. To achieve state machine replication in blockchains built on top of consensus, one needs to guarantee fairness of user transactions. A huge body of work has been carried out on the relation between state machine replication and consensus in the past years, in a variety of system models and with respect to varied problem specifications. We systematize this work by proposing novel and rigorous abstractions for state machine replication and repeated consensus in a system model that accounts for realistic blockchains in which blocks may contain several transactions issued by one or more users, and where validity and order of transactions within a block is determined by an external application-dependent function that can capture various approaches for order-fairness in the literature. Based on these abstractions, we propose a reduction from state machine replication to repeated consensus, such that user fairness is achieved using the consensus module as a black box. This approach allows to achieve fairness as an add-on on top of preexisting consensus modules in blockchains based on repeated consensus.


title: FAST CAT: Collaborative Data Entry and Curation for Semantic Interoperability in Digital Humanities

abstract: Descriptive and empirical sciences, such as History, are the sciences that collect, observe and describe phenomena in order to explain them and draw interpretative conclusions about influences, driving forces and impacts under given circumstances. Spreadsheet software and relational database management systems are still the dominant tools for quantitative analysis and overall data management in these these sciences, allowing researchers to directly analyse the gathered data and perform scholarly interpretation. However, this current practice has a set of limitations, including the high dependency of the collected data on the initial research hypothesis, usually useless for other research, the lack of representation of the details from which the registered relations are inferred, and the difficulty to revisit the original data sources for verification, corrections or improvements. To cope with these problems, in this paper we present FAST CAT, a collaborative system for assistive data entry and curation in Digital Humanities and similar forms of empirical research. We describe the related challenges, the overall methodology we follow for supporting semantic interoperability, and discuss the use of FAST CAT in the context of a European (ERC) project of Maritime History, called SeaLiT, which examines economic, social and demographic impacts of the introduction of steamboats in the Mediterranean area between the 1850s and the 1920s.


title: Low-complexity acoustic scene classification for multi-device audio: analysis of DCASE 2021 Challenge systems

abstract: This paper presents the details of Task 1A Acoustic Scene Classification in the DCASE 2021 Challenge. The task targeted development of low-complexity solutions with good generalization properties. The provided baseline system is based on a CNN architecture and post-training quantization of parameters. The system is trained using all the available training data, without any specific technique for handling device mismatch, and obtains an overall accuracy of 47.7%, with a log loss of 1.473. The task received 99 submissions from 30 teams, and most of the submitted systems outperformed the baseline. The most used techniques among the submissions were residual networks and weight quantization, with the top systems reaching over 70% accuracy, and log loss under 0.8. The acoustic scene classification task remained a popular task in the challenge, despite the increasing difficulty of the setup.


title: Derived control theorems for reductive groups

abstract: We prove Hida-style control theorems in the derived setting for a large class of reductive groups tailored for applications to Euler systems.


title: Scaling properties of liquid dynamics predicted from a single configuration: Small rigid molecules

abstract: Isomorphs are curves in the thermodynamic phase diagram along which structure and dynamics are invariant to a good approximation. There are two main ways to trace out isomorphs, the configurational-adiabat method and the direct-isomorph-check method. Recently a new method based on the scaling properties of forces was introduced and shown to work very well for atomic systems [T. B. Schroder, Phys. Rev. Lett. 129, 245501 (2022)]. A unique feature of this method is that it only requires a single equilibrium configuration for tracing out an isomorph. We here test generalizations of this method to molecular systems and compare to simulations of three simple molecular models: the asymmetric dumbbell model of two Lennard-Jones spheres, the symmetric inverse-power-law dumbbell model, and the Lewis-Wahnstr\"om o-terphenyl model. We introduce and test two force-based and one torque-based methods, all of which require just a single configuration for tracing out an isomorph. Overall, the method based on requiring invariant center-of-mass reduced forces works best.


title: Poisson catenarity in Poisson nilpotent algebras

abstract: We prove that for the iterated Poisson polynomial rings known as Poisson nilpotent algebras (or Poisson-CGL extensions), the Poisson prime spectrum is catenary, i.e., all saturated chains of inclusions of Poisson prime ideals between any two given Poisson prime ideals have the same length.


title: Fork-join and redundancy systems with heavy-tailed job sizes

abstract: We investigate the tail asymptotics of the response time distribution for the cancel-on-start (c.o.s.) and cancel-on-completion (c.o.c.) variants of redundancy-$d$ scheduling and the fork-join model with heavy-tailed job sizes. We present bounds, which only differ in the pre-factor, for the tail probability of the response time in the case of the first-come first-served (FCFS) discipline. For the c.o.s. variant we restrict ourselves to redundancy-$d$ scheduling, which is a special case of the fork-join model. In particular, for regularly varying job sizes with tail index $-\nu$ the tail index of the response time for the c.o.s. variant of redundancy-$d$ equals $-\min\{d_{\mathrm{cap}}(\nu-1),\nu\}$, where $d_{\mathrm{cap}} = \min\{d,N-k\}$, $N$ is the number of servers and $k$ is the integer part of the load. This result indicates that for $d_{\mathrm{cap}} < \frac{\nu}{\nu-1}$ the waiting time component is dominant, whereas for $d_{\mathrm{cap}} > \frac{\nu}{\nu-1}$ the job size component is dominant. Thus, having $d = \lceil \min\{\frac{\nu}{\nu-1},N-k\} \rceil$ replicas is sufficient to achieve the optimal asymptotic tail behavior of the response time. For the c.o.c. variant of the fork-join($n_{\mathrm{F}},n_{\mathrm{J}}$) model the tail index of the response time, under some assumptions on the load, equals $1-\nu$ and $1-(n_{\mathrm{F}}+1-n_{\mathrm{J}})\nu$, for identical and i.i.d. replicas, respectively; here the waiting time component is always dominant.


title: Roundness Properties of Banach spaces

abstract: The maximal roundness of a metric space is a quantity that arose in the study of embeddings and renormings. In the setting of Banach spaces, it was shown by Enflo that roundness takes on a much simpler form. In this paper we provide simple computations of the roundness of many standard Banach spaces, such as $\ell^{p}$, the Lebesgue-Bochner spaces $\ell^{p}(\ell^{q})$ and the Schatten ideals $S_{p}$. We also introduce a property that is dual to that of roundness, which we call coroundness, and make explicit the relation of these properties to the geometric concepts of smoothness and convexity of Banach spaces. Building off the work of Enflo, we are then able to provide multiple non-trivial equivalent conditions for a Banach space to possess maximal roundness greater than $1$. Using these conditions, we are able to conclude that certain Orlicz spaces possess non-trivial values of roundness and coroundness. Finally, we also use these conditions to provide an explicit example of a $2$-dimensional Banach space whose maximal roundness is not equal to that of its dual.


title: Extension groups of Tautological Bundles on Symmetric Products of Curves

abstract: We provide a spectral sequence computing the extension groups of tautological bundles on symmetric products of curves. One main consequence is that, if $E\neq \mathcal O_X$ is simple, then the natural map $\operatorname*{Ext}^1(E,E)\to \operatorname*{Ext}^1(E^{[n]},E^{[n]})$ is injective for every $n$. Along with previous results, this implies that $E\mapsto E^{[n]}$ defines an embedding of the moduli space of stable bundles of slope $\mu\notin[-1,n-1]$ on the curve $X$ into the moduli space of stable bundles on the symmetric product $X^{(n)}$. The image of this embedding is, in most cases, contained in the singular locus. For line bundles on a non-hyperelliptic curve, the embedding identifies the Brill--Noether loci of $X$ with the loci in the moduli space of stable bundles on $X^{(n)}$ where the dimension of the tangent space jumps. We also prove that $E^{[n]}$ is simple if $E$ is simple.


title: Baryon number in proton-proton and proton-nucleus high energy collisions

abstract: New analyses of baryon spectra in proton-proton and proton-carbon collisions at $\sqrt{s}_\mathrm{_{NN}}=17.3$ GeV, made in the framework of two phenomenological models are presented. The first model in question is the classic Dual Parton Model by Capella and Tran Thanh Van, the second is the Gluon Exchange Model very recently proposed by the authors. For both studies, the usage of modern experimental data from the CERN SPS eliminates several of the most important limitations inherent to earlier studies of this type. In both studies, the standard mechanism of baryon stopping with preservation of the diquark, proposed by Capella and Tran Thanh Van fails to describe the distribution of non-strange baryons in collisions of the projectile proton with {\em more than one} nucleon from the carbon target obtained from experimental data, and the upper limit for the contribution of this mechanism can be established. In both cases, the conclusion is that the projectile diquark must be very often disintegrated. This opens new diagrams not available in proton-proton collisions which lead to the transport of baryon number over long distances in rapidity. The present limitations, and possibility of improvement in both approaches are discussed. The implications of our findings for new measurements are addressed, in particular using antiproton beams.


title: Synthetic dimension band structures on a Si CMOS photonic platform

abstract: Synthetic dimensions, which simulate spatial coordinates using non-spatial degrees of freedom, are drawing interest in topological science and other fields for modelling higher-dimensional phenomena on simple structures. We present the first realization of a synthetic frequency dimension on a silicon ring resonator photonic device fabricated using a CMOS process. We confirm that its coupled modes correspond to a 1D tight-binding model through acquisition of up to 280 GHz bandwidth optical frequency comb-like spectra, and by measuring the first synthetic band structures on an integrated device. Furthermore, we realized two types of gauge potentials along the frequency dimension, and probed their effects through the associated band structures. An electric field analogue was produced via modulation detuning, whereas effective magnetic fields were induced using synchronized nearest- and second-nearest-neighbor coupling. Creation of coupled mode lattices and two effective forces on a monolithic Si CMOS device represents a key step towards wider adoption of topological principles.


title: Control Architecture of the Double-Cross-Correlation Processor for Sampling-Rate-Offset Estimation in Acoustic Sensor Networks

abstract: Distributed hardware of acoustic sensor networks bears inconsistency of local sampling frequencies, which is detrimental to signal processing. Fundamentally, sampling rate offset (SRO) nonlinearly relates the discrete-time signals acquired by different sensor nodes. As such, retrieval of SRO from the available signals requires nonlinear estimation, like double-cross-correlation processing (DXCP), and frequently results in biased estimation. SRO compensation by asynchronous sampling rate conversion (ASRC) on the signals then leaves an unacceptable residual. As a remedy to this problem, multi-stage procedures have been devised to diminish the SRO residual with multiple iterations of SRO estimation and ASRC over the entire signal. This paper converts the mechanism of offline multi-stage processing into a continuous feedback-control loop comprising a controlled ASRC unit followed by an online implementation of DXCP-based SRO estimation. To support the design of an optimum internal model control unit for this closed-loop system, the paper deploys an analytical dynamical model of the proposed online DXCP. The resulting control architecture then merely applies a single treatment of each signal frame, while efficiently diminishing SRO bias with time. Evaluations with both speech and Gaussian input demonstrate that the high accuracy of multi-stage processing is maintained at the low complexity of single-stage (open-loop) processing.


title: Grammar Index By Induced Suffix Sorting

abstract: Pattern matching is the most central task for text indices. Most recent indices leverage compression techniques to make pattern matching feasible for massive but highly-compressible datasets. Within this kind of indices, we propose a new compressed text index built upon a grammar compression based on induced suffix sorting [Nunes et al., DCC'18]. We show that this grammar exhibits a locality sensitive parsing property, which allows us to specify, given a pattern $P$, certain substrings of $P$, called cores, that are similarly parsed in the text grammar whenever these occurrences are extensible to occurrences of $P$. Supported by the cores, given a pattern of length $m$, we can locate all its $occ$ occurrences in a text $T$ of length $n$ within $O(m \lg |\mathcal{S}| + occ_C \lg|\mathcal{S}| \lg n + occ)$ time, where $\mathcal{S}$ is the set of all characters and non-terminals, $occ$ is the number of occurrences, and $occ_C$ is the number of occurrences of a chosen core $C$ of $P$ in the right hand side of all production rules of the grammar of $T$. Our grammar index requires $O(g)$ words of space and can be built in $O(n)$ time using $O(g)$ working space, where $g$ is the sum of the right hand sides of all production rules. We underline the strength of our grammar index with an exhaustive practical evaluation that gives evidence that our proposed solution excels at locating long patterns in highly-repetitive texts.


title: Robust Regularization with Adversarial Labelling of Perturbed Samples

abstract: Recent researches have suggested that the predictive accuracy of neural network may contend with its adversarial robustness. This presents challenges in designing effective regularization schemes that also provide strong adversarial robustness. Revisiting Vicinal Risk Minimization (VRM) as a unifying regularization principle, we propose Adversarial Labelling of Perturbed Samples (ALPS) as a regularization scheme that aims at improving the generalization ability and adversarial robustness of the trained model. ALPS trains neural networks with synthetic samples formed by perturbing each authentic input sample towards another one along with an adversarially assigned label. The ALPS regularization objective is formulated as a min-max problem, in which the outer problem is minimizing an upper-bound of the VRM loss, and the inner problem is L$_1$-ball constrained adversarial labelling on perturbed sample. The analytic solution to the induced inner maximization problem is elegantly derived, which enables computational efficiency. Experiments on the SVHN, CIFAR-10, CIFAR-100 and Tiny-ImageNet datasets show that the ALPS has a state-of-the-art regularization performance while also serving as an effective adversarial training scheme.


title: SafeAMC: Adversarial training for robust modulation recognition models

abstract: In communication systems, there are many tasks, like modulation recognition, which rely on Deep Neural Networks (DNNs) models. However, these models have been shown to be susceptible to adversarial perturbations, namely imperceptible additive noise crafted to induce misclassification. This raises questions about the security but also the general trust in model predictions. We propose to use adversarial training, which consists of fine-tuning the model with adversarial perturbations, to increase the robustness of automatic modulation recognition (AMC) models. We show that current state-of-the-art models benefit from adversarial training, which mitigates the robustness issues for some families of modulations. We use adversarial perturbations to visualize the features learned, and we found that in robust models the signal symbols are shifted towards the nearest classes in constellation space, like maximum likelihood methods. This confirms that robust models not only are more secure, but also more interpretable, building their decisions on signal statistics that are relevant to modulation recognition.


title: Scalable logistic regression with crossed random effects

abstract: The cost of both generalized least squares (GLS) and Gibbs sampling in a crossed random effects model can easily grow faster than $N^{3/2}$ for $N$ observations. Ghosh et al. (2020) develop a backfitting algorithm that reduces the cost to $O(N)$. Here we extend that method to a generalized linear mixed model for logistic regression. We use backfitting within an iteratively reweighted penalized least square algorithm. The specific approach is a version of penalized quasi-likelihood due to Schall (1991). A straightforward version of Schall's algorithm would also cost more than $N^{3/2}$ because it requires the trace of the inverse of a large matrix. We approximate that quantity at cost $O(N)$ and prove that this substitution makes an asymptotically negligible difference. Our backfitting algorithm also collapses the fixed effect with one random effect at a time in a way that is analogous to the collapsed Gibbs sampler of Papaspiliopoulos et al. (2020). We use a symmetric operator that facilitates efficient covariance computation. We illustrate our method on a real dataset from Stitch Fix. By properly accounting for crossed random effects we show that a naive logistic regression could underestimate sampling variances by several hundred fold.


title: Application of a Generalized Secant Method to Nonlinear Equations with Complex Roots

abstract: The secant method is a very effective numerical procedure used for solving nonlinear equations of the form $f(x)=0$. In a recent work [A. Sidi, Generalization of the secant method for nonlinear equations. {\em Appl. Math. E-Notes}, 8:115--123, 2008] we presented a generalization of the secant method that uses only one evaluation of $f(x)$ per iteration, and we provided a local convergence theory for it that concerns real roots. For each integer $k$, this method generates a sequence $\{x_n\}$ of approximations to a real root of $f(x)$, where, for $n\geq k$, $x_{n+1}=x_n-f(x_n)/p'_{n,k}(x_n)$, $p_{n,k}(x)$ being the polynomial of degree $k$ that interpolates $f(x)$ at $x_n,x_{n-1},\ldots,x_{n-k}$, the order $s_k$ of this method satisfying $1<s_k<2$. Clearly, when $k=1$, this method reduces to the secant method with $s_1=(1+\sqrt{5})/2$. In addition, $s_1<s_2<s_3<\cdots,$ such that and $\lim_{k\to\infty}s_k=2$. In this note, we study the application of this method to simple complex roots of a real or complex function $f(z)$. We show that the local convergence theory developed for real roots can be extended almost as is to complex roots, provided suitable assumptions and justifications are made. We illustrate the theory with two numerical examples.


title: Standard Model QCD with jets and photons at CMS and ATLAS

abstract: Recent measurements performed by the ATLAS and CMS collaborations on the Run 2 dataset are testing QCD with unprecedented precision. The wealth of data, an ever-improving experimental understanding of jets and photons, and novel measurements of jet substructure enable an improved understanding.


title: A Refinement of the Murnaghan-Nakayama Rule by Descents for Border Strip Tableaux

abstract: Lusztig's fake degree is the generating polynomial for the major index of standard Young tableaux of a given shape. Results of Springer and James & Kerber imply that, mysteriously, its evaluation at a $k$-th primitive root of unity yields the number of border strip tableaux with all strips of size $k$, up to sign. This is essentially the special case of the Murnaghan-Nakayama rule for evaluating an irreducible character of the symmetric group at a rectangular partition. We refine this result to standard Young tableaux and border strip tableaux with a given number of descents. To do so, we introduce a new statistic for border strip tableaux, extending the classical definition of descents in standard Young tableaux. Curiously, it turns out that our new statistic is very closely related to a descent set for tuples of standard Young tableaux appearing in the quasisymmetric expansion of LLT polynomials given by Haglund, Haiman and Loehr.


title: Distributing entangled state using quantum repeater protocol: Trapped atomic ions in optomechanical cavities

abstract: Distribution of the entangled state of trapped atomic ions to long distance using quantum repeater protocol is considered. Indeed, the long distance is divided into short parts, and then using entanglement generation and entanglement swapping techniques in optomechanical cavities, the entanglement is distributed. To do the task, we perform interaction between trapped atomic ions in optomechanical cavities, operate proper measurements on trapped ions and also make Bell state measurement as a well-known way to swap the entanglement. Accordingly, the entanglement is distributed between target ions with satisfactory values of success probability and entanglement degree. The effects of detuning and amplitude of pump laser on the entanglement and success probability are evaluated. The uctuations of entanglement and success probability are decreased by increasing of detuning. Via increasing the amplitude of pump laser, the maxima of entanglement are repeated more times and success probability undergoes the collapse-revival phenomenon.


title: Constructing all Genus 2 Curves with Supersingular Jacobian

abstract: L. Moret-Bailly constructed families $\mathfrak{C}\rightarrow \mathbb{P}^1$ of genus 2 curves with supersingular jacobian. In this paper we first classify the reducible fibers of a Moret-Bailly family using linear algebra over a quaternion algebra. The main result is an algorithm that exploits properties of two reducible fibers to compute a hyperelliptic model for any irreducible fiber of a Moret-Bailly family.


title: New Encoder Learning for Captioning Heavy Rain Images via Semantic Visual Feature Matching

abstract: Image captioning generates text that describes scenes from input images. It has been developed for high quality images taken in clear weather. However, in bad weather conditions, such as heavy rain, snow, and dense fog, the poor visibility owing to rain streaks, rain accumulation, and snowflakes causes a serious degradation of image quality. This hinders the extraction of useful visual features and results in deteriorated image captioning performance. To address practical issues, this study introduces a new encoder for captioning heavy rain images. The central idea is to transform output features extracted from heavy rain input images into semantic visual features associated with words and sentence context. To achieve this, a target encoder is initially trained in an encoder-decoder framework to associate visual features with semantic words. Subsequently, the objects in a heavy rain image are rendered visible by using an initial reconstruction subnetwork (IRS) based on a heavy rain model. The IRS is then combined with another semantic visual feature matching subnetwork (SVFMS) to match the output features of the IRS with the semantic visual features of the pretrained target encoder. The proposed encoder is based on the joint learning of the IRS and SVFMS. It is is trained in an end-to-end manner, and then connected to the pretrained decoder for image captioning. It is experimentally demonstrated that the proposed encoder can generate semantic visual features associated with words even from heavy rain images, thereby increasing the accuracy of the generated captions.


title: Embedded Vision for Self-Driving on Forest Roads

abstract: Forest roads in Romania are unique natural wildlife sites used for recreation by countless tourists. In order to protect and maintain these roads, we propose RovisLab AMTU (Autonomous Mobile Test Unit), which is a robotic system designed to autonomously navigate off-road terrain and inspect if any deforestation or damage occurred along tracked route. AMTU's core component is its embedded vision module, optimized for real-time environment perception. For achieving a high computation speed, we use a learning system to train a multi-task Deep Neural Network (DNN) for scene and instance segmentation of objects, while the keypoints required for simultaneous localization and mapping are calculated using a handcrafted FAST feature detector and the Lucas-Kanade tracking algorithm. Both the DNN and the handcrafted backbone are run in parallel on the GPU of an NVIDIA AGX Xavier board. We show experimental results on the test track of our research facility.


title: The Generation of Security Scoring Systems Leveraging Human Expert Opinion

abstract: While the existence of many security elements can be measured (e.g., vulnerabilities, security controls, or privacy controls), it is challenging to measure their relative security impact. In the physical world we can often measure the impact of individual elements to a system. However, in cyber security we often lack ground truth (i.e., the ability to directly measure significance). In this work we propose to solve this by leveraging human expert opinion to provide ground truth. Experts are iteratively asked to compare pairs of security elements to determine their relative significance. On the back end our knowledge encoding tool performs a form of binary insertion sort on a set of security elements using each expert as an oracle for the element comparisons. The tool not only sorts the elements (note that equality may be permitted), but it also records the strength or degree of each relationship. The output is a directed acyclic 'constraint' graph that provides a total ordering among the sets of equivalent elements. Multiple constraint graphs are then unified together to form a single graph that is used to generate a scoring or prioritization system. For our empirical study, we apply this domain-agnostic measurement approach to generate scoring/prioritization systems in the areas of vulnerability scoring, privacy control prioritization, and cyber security control evaluation.


title: The Unpatchable Silicon: A Full Break of the Bitstream Encryption of Xilinx 7-Series FPGAs

abstract: The security of FPGAs is a crucial topic, as any vulnerability within the hardware can have severe consequences, if they are used in a secure design. Since FPGA designs are encoded in a bitstream, securing the bitstream is of the utmost importance. Adversaries have many motivations to recover and manipulate the bitstream, including design cloning, IP theft, manipulation of the design, or design subversions e.g., through hardware Trojans. Given that FPGAs are often part of cyber-physical systems e.g., in aviation, medical, or industrial devices, this can even lead to physical harm. Consequently, vendors have introduced bitstream encryption, offering authenticity and confidentiality. Even though attacks against bitstream encryption have been proposed in the past, e.g., side-channel analysis and probing, these attacks require sophisticated equipment and considerable technical expertise. In this paper, we introduce novel low-cost attacks against the Xilinx 7-Series (and Virtex-6) bitstream encryption, resulting in the total loss of authenticity and confidentiality. We exploit a design flaw which piecewise leaks the decrypted bitstream. In the attack, the FPGA is used as a decryption oracle, while only access to a configuration interface is needed. The attack does not require any sophisticated tools and, depending on the target system, can potentially be launched remotely. In addition to the attacks, we discuss several countermeasures.


title: Teleportation of squeezed states in the absence and presence of dissipation

abstract: In this paper at first we successfully teleport the unknown quantum state which is a superposition of squeezed vacuum state and squeezed one-photon state using the beam splitter in the absence of dissipation. In the continuation, we try to implement the same teleportation protocol, however, in the presence of dissipation effects. To do this task, we use proper entangled channel to reach to perfect teleportation under the in uence of decoherence. Finally, we consider another superposition of two squeezed vacuum states with separation in phase and teleport it with a different appropriate entangled channel. In fact, we will observe that, one can successfully teleport the considered superposition of squeezed states by choosing proper entangled channels in the presence and absence of dissipation in appropriate chosen conditions.


title: Sobolev Extension on $L^p$-Quasidisks

abstract: In this paper, we study the Sobolev extension property of Lp-quasidisks which are the generalizations of the classical quasidisks. After that, we also find some applications of their Sobolev extension property.


title: Residual gauge-invariance in a massive Lorentz-violating extension of QED

abstract: We reassess an alternative CPT-odd electrodynamics obtained from a Palatini-like procedure. Starting from a more general situation, we analyze the physical consistency of the model for different values of the parameter introduced in the mass tensor. We show that there is a residual gauge-invariance in the model if the local transformation is taken to vary only in the direction of the Lorentz-breaking vector. This residual gauge-invariance can be extended to all models whose only source of gauge symmetry breaking is such a mass term.


title: Quantum repeater protocol using an arrangement of QED-optomechanical hybrid systems

abstract: In this paper we consider the quantum repeater protocol for distributing the entanglement to two distant three-level atoms. In this protocol, we insert six atoms between two target atoms such that the eight considered atoms are labeled by 1; 2;... 8, while only each two adjacent atoms (i; i + 1) with i = 1; 3; 5; 7 are entangled. Initially, the separable atomic pair states (1,4) and (5,8) become entangled by performing interaction between atoms (2,3) and (6,7) in two optomechanical cavities, respectively. Then, via performing appropriate interaction between atoms (4,5) in an optical cavity quantum electrodynamics (QED) approach, the target atoms (1,8) are finally become entangled. Throughout this investigation, the effects of mechanical frequency and optomechanical coupling strength to the field modes on the produced entanglement and the related success probability are evaluated. It is shown that, the time period of produced entanglement can be developed by increasing the mechanical frequency. Also, maximum of success probability of atoms (1,8) is increased by decreasing the optomechanical coupling strength to the field modes in most cases.


title: Detecting Chiral Magnetic Effect via Deep Learning

abstract: The search of chiral magnetic effect (CME) in heavy-ion collisions has attracted long-term attentions. Multiple observables have been proposed but all suffer from obstacles due to large background contaminations. In this Letter, we construct an observable-independent CME-meter based on a deep convolutional neural network. After trained over data set generated by a multiphase transport model, the CME-meter shows high accuracy in recognizing the CME-featured charge separation from the final-state pion spectra. It also exhibits remarkable robustness to diverse conditions including different collision energies, centralities, and elliptic flow backgrounds. In a transfer learning manner, the CME-meter is validated in isobaric collision systems, showing good transferability among different colliding systems. Based on variational approaches, we utilize the DeepDream method to derive the most responsive CME-spectra that demonstrates the physical contents the machine learns.


title: The Feature-First Block Model

abstract: Labelled networks are an important class of data, naturally appearing in numerous applications in science and engineering. A typical inference goal is to determine how the vertex labels (or features) affect the network's structure. In this work, we introduce a new generative model, the feature-first block model (FFBM), that facilitates the use of rich queries on labelled networks. We develop a Bayesian framework and devise a two-level Markov chain Monte Carlo approach to efficiently sample from the relevant posterior distribution of the FFBM parameters. This allows us to infer if and how the observed vertex-features affect macro-structure. We apply the proposed methods to a variety of network data to extract the most important features along which the vertices are partitioned. The main advantages of the proposed approach are that the whole feature-space is used automatically and that features can be rank-ordered implicitly according to impact.


title: Inverse mean value property of solutions to the modified Helmholtz equation

abstract: A theorem characterizing analytically balls in the Euclidean space $\RR^m$ is proved. For this purpose positive solutions of the modified Helmholtz equation are used instead of harmonic functions applied in previous results. The obtained Kuran type theorem is based on the volume mean value property of solutions to this equation.


title: Parametric dependence of bound states in the continuum in periodic structures: vectorial cases

abstract: A periodic structure sandwiched between two homogeneous media can support bound states in the continuum (BICs) that are valuable for many applications. It is known that generic BICs in periodic structures with an up-down mirror symmetry and an in-plane inversion symmetry are robust with respect to structural perturbations that preserve these two symmetries. For two-dimensional (2D) structures with one periodic direction and the up-down mirror symmetry (without the in-plane inversion symmetry), it was recently established that some scalar BICs can be found by tuning a single structural parameter. In this paper, we analyze vectorial BICs in such 2D structures, and show that a typical vectorial BIC with nonzero wavenumbers in both the invariant and the periodic directions can only be found by tuning two structural parameters. Using an all-order perturbation method, we prove that such a vectorial BIC exists as a curve in the 3D space of three generic parameters. Our theory is validated by numerical examples involving periodic arrays of dielectric cylinders. The numerical results also illustrate the conservation of topological charge when structural parameters are varied, if both BICs and circularly polarized states (CPSs) are included. Our study reveals a fundamental property of BICs in periodic structure and provides a systematically approach for finding BICs in structures with less symmetry.


title: Exploiting Transductive Property of Graph Convolutional Neural Networks with Less Labeling Effort

abstract: Recently, machine learning approaches on Graph data have become very popular. It was observed that significant results were obtained by including implicit or explicit logical connections between data samples that make up the data to the model. In this context, the developing GCN model has made significant experimental contributions with Convolution filters applied to graph data. This model follows Transductive and Semi-Supervised Learning approach. Due to its transductive property, all of the data samples, which is partially labeled, are given as input to the model. Labeling, which is a cost, is very important. Within the scope of this study, the following research question is tried to be answered: If at least how many samples are labeled, the optimum model success is achieved? In addition, some experimental contributions have been made on the accuracy of the model, whichever sampling approach is used with fixed labeling effort. According to the experiments, the success of the model can be increased by using the local centrality metric.


title: Long-lived period-doubled edge modes of interacting and disorder-free Floquet spin chains

abstract: Floquet spin chains have been a venue for understanding topological states of matter that are qualitatively different from their static counterparts by, for example, hosting $\pi$ edge modes that show stable period-doubled dynamics. However the stability of these edge modes to interactions has traditionally required the system to be many-body localized in order to suppress heating. In contrast, here we show that even in the absence of disorder, and in the presence of bulk heating, $\pi$ edge modes are long lived. Their lifetime is extracted from exact diagonalization and is found to be non-perturbative in the interaction strength. A tunneling estimate for the lifetime is obtained by mapping the stroboscopic time-evolution to dynamics of a single particle in Krylov subspace. In this subspace, the $\pi$ edge mode manifests as the quasi-stable edge mode of an inhomogeneous Su-Schrieffer-Heeger model whose dimerization vanishes in the bulk of the Krylov chain.


title: A kinetic model of continuous radiation damage to populations of cells: Comparison to the LQ model and application to molecular radiotherapy

abstract: The linear-quadratic (LQ) model to describe the survival of irradiated cells may be the most frequently used biomathematical model in radiotherapy. There has been an intense debate on the mechanistic origin of the LQ model. An interesting approach is that of obtaining LQ-like behavior from kinetic models, systems of differential equations that model the induction and repair of damage. Development of such kinetic models is particularly interesting for application to continuous dose rate therapies, such as molecular radiotherapy or brachytherapy. In this work, we present a simple kinetic model that describes the kinetics of populations of tumor cells, rather than lethal/sub-lethal lesions, which may be especially useful for application to continuous dose rate therapies, as in molecular radiotherapy. The multi-compartment model consists of a set of three differential equations. The model incorporates in an easy way different cross-interacting compartments of cells forming a tumor, and may be of especial interest for studying dynamics of treated tumors. In the fast dose delivery limit, the model can be analytically solved, obtaining a simple closed-form expression. Fitting of several surviving curves with both this solution and the LQ model shows that they produce similar fits, despite being functionally different. We have also investigated the operation of the model in the continuous dose rate scenario, firstly by fitting pre-clinical data of tumor response to 131I-CLR1404 therapy, and secondly by showing how damage repair and proliferation rates can cause a treatment to achieve control or not. Kinetic models like the one presented in this work may be of special interest when modeling response to molecular radiotherapy.


title: New physics searches at the ILC positron and electron beam dumps

abstract: We study capability of the ILC beam dump experiment to search for new physics, comparing the performance of the electron and positron beam dumps. The dark photon, axion-like particles, and light scalar bosons are considered as new physics scenarios, where all the important production mechanisms are included: electron-positron pair-annihilation, Primakoff process, and bremsstrahlung productions. We find that the ILC beam dump experiment has higher sensitivity than past beam dump experiments, with the positron beam dump having slightly better performance for new physics particles which are produced by the electron-positron pair-annihilation.


title: ARMORY: Fully Automated and Exhaustive Fault Simulation on ARM-M Binaries

abstract: Embedded systems are ubiquitous. However, physical access of users and likewise attackers makes them often threatened by fault attacks: a single fault during the computation of a cryptographic primitive can lead to a total loss of system security. This can have serious consequences, e.g., in safetycritical systems, including bodily harm and catastrophic technical failures. However, countermeasures often focus on isolated fault models and high layers of abstraction. This leads to a dangerous sense of security, because exploitable faults that are only visible at machine code level might not be covered by countermeasures. In this work we present ARMORY, a fully automated open source framework for exhaustive fault simulation on binaries of the ubiquitous ARM-M class. It allows engineers and analysts to efficiently scan a binary for potential weaknesses against arbitrary combinations of multi-variate fault injections under a large variety of fault models. Using ARMORY, we demonstrate the power of fully automated fault analysis and the dangerous implications of applying countermeasures without knowledge of physical addresses and offsets. We exemplarily analyze two case studies, which are highly relevant for practice: a DFA on AES (cryptographic) and a secure bootloader (non-cryptographic). Our results show that indeed numerous exploitable faults found by ARMORY which occur in the actual implementations are easily missed in manual inspection. Crucially, most faults are only visible when taking machine code information, i.e., addresses and offsets, into account. Surprisingly, we show that a countermeasure that protects against one type of fault can actually largely increase the vulnerability to other fault models. Our work demonstrates the need for countermeasures that, at least in their evaluation, are not restricted to isolated fault models and consider low-level information [...].


title: Existence and upper semicontinuity of random pullback attractors for 2D and 3D non-autonomous stochastic convective Brinkman-Forchheimer equations on whole domain

abstract: In this work, we analyze the long time behavior of 2D as well as 3D convective Brinkman-Forchheimer (CBF) equations and its stochastic counter part with non-autonomous deterministic forcing term in $\mathbb{R}^d$ $ (d=2, 3)$: $$\frac{\partial\boldsymbol{u}}{\partial t}-\mu \Delta\boldsymbol{u}+(\boldsymbol{u}\cdot\nabla)\boldsymbol{u}+\alpha\boldsymbol{u}+\beta|\boldsymbol{u}|^{r-1}\boldsymbol{u}+\nabla p=\boldsymbol{f},\quad \nabla\cdot\boldsymbol{u}=0,$$ where $r\geq1$. We prove the existence of a unique global pullback attractor for non-autonomous CBF equations, for $d=2$ with $r\geq1$, $d=3$ with $r>3$ and $d=r=3$ with $2\beta\mu\geq1$. For the same cases, we show the existence of a unique random pullback attractor for non-autonomous stochastic CBF equations with multiplicative white noise. Finally, we establish the upper semicontinuity of the random pullback attractor, that is, the random pullback attractor converges towards the global pullback attractor when the noise intensity approaches to zero. Since we do not have compact Sobolev embeddings on unbounded domains, the pullback asymptotic compactness of the solution is proved by the method of energy equations given by Ball. For the case of Navier-Stokes equations defined on $\mathbb{R}^d$, such results are not available and the presence of Darcy term $\alpha\boldsymbol{u}$ helps us to establish the above mentioned results for CBF equations.


title: Chromatic and spatial analysis of one-pixel attacks against an image classifier

abstract: One-pixel attack is a curious way of deceiving neural network classifier by changing only one pixel in the input image. The full potential and boundaries of this attack method are not yet fully understood. In this research, the successful and unsuccessful attacks are studied in more detail to illustrate the working mechanisms of a one-pixel attack created using differential evolution. The data comes from our earlier studies where we applied the attack against medical imaging. We used a real breast cancer tissue dataset and a real classifier as the attack target. This research presents ways to analyze chromatic and spatial distributions of one-pixel attacks. In addition, we present one-pixel attack confidence maps to illustrate the behavior of the target classifier. We show that the more effective attacks change the color of the pixel more, and that the successful attacks are situated at the center of the images. This kind of analysis is not only useful for understanding the behavior of the attack but also the qualities of the classifying neural network.


title: Higher-Energy Standard Model from the Gauge Group Contraction

abstract: The evolution of properties and interactions of elementary particles is described, beginning with the Planck scale of $10^{19}$ GeV. The description is based on the hypothesis that high-temperature (high-energy) limit of the Standard Model is generated by the gauge group contraction. In the infinite-temperature limit, properties of particles fundamentally change: all particles lose their masses, only massless neutral $Z$ bosons and $u$ quarks together with neutrinos and photons survive. Weak interactions become long-range ones and are generated by neutral currents. Quarks have only one color degree of freedom.


title: Note About Null Dimensional Reduction of M5-Brane

abstract: In this short note we study null dimensional reduction of M5-brane covariant action. We analyse longitudinal dimensional reduction that leads to non-relativistic D4-brane and transverse reduction that leads to NS5-brane in non-relativistic string theory.


title: Mapping urban socioeconomic inequalities in developing countries through Facebook advertising data

abstract: Ending poverty in all its forms everywhere is the number one Sustainable Development Goal of the UN 2030 Agenda. To monitor the progress towards such an ambitious target, reliable, up-to-date and fine-grained measurements of socioeconomic indicators are necessary. When it comes to socioeconomic development, novel digital traces can provide a complementary data source to overcome the limits of traditional data collection methods, which are often not regularly updated and lack adequate spatial resolution. In this study, we collect publicly available and anonymous advertising audience estimates from Facebook to predict socioeconomic conditions of urban residents, at a fine spatial granularity, in four large urban areas: Atlanta (USA), Bogot\'a (Colombia), Santiago (Chile), and Casablanca (Morocco). We find that behavioral attributes inferred from the Facebook marketing platform can accurately map the socioeconomic status of residential areas within cities, and that predictive performance is comparable in both high and low-resource settings. We also show that training a model on attributes of adult Facebook users, aged more than 25, leads to a more accurate mapping of socioeconomic conditions in all cities. Our work provides additional evidence of the value of social advertising media data to measure human development.


title: Incremental Learning of Probabilistic Movement Primitives (ProMPs) for Human-Robot Cooperation

abstract: For a successful deployment of physical Human-Robot Cooperation (pHRC), humans need to be able to teach robots new motor skills quickly. Probabilistic movement primitives (ProMPs) are a promising method to encode a robot's motor skills learned from human demonstrations in pHRC settings. However, most algorithms to learn ProMPs from human demonstrations operate in batch mode, which is not ideal in pHRC. In this paper we propose a new learning algorithm to learn ProMPs incrementally in pHRC settings. Our algorithm incorporates new demonstrations sequentially as they arrive, allowing humans to observe the robot's learning progress and incrementally shape the robot's motor skill. A built in forgetting factor allows for corrective demonstrations resulting from the human's learning curve or changes in task constraints. We compare the performance of our algorithm to existing batch ProMP algorithms on reference data generated from a pick-and-place task at our lab. Furthermore, we show in a proof of concept study on a Franka Emika Panda how the forgetting factor allows us to adopt changes in the task. The incremental learning algorithm presented in this paper has the potential to lead to a more intuitive learning progress and to establish a successful cooperation between human and robot faster than training in batch mode.


title: Results of STEREO and PROSPECT, and status of sterile neutrino searches

abstract: Reactor neutrinos have been an intense field of investigation for the last decade. Two anomalies are discussed in this document. First, a status of the sterile neutrino searches by STEREO, PROSPECT and DANSS is presented. The best-fit parameters of active-to-sterile oscillations from the Reactor Antineutrino Anomaly are strongly rejected by these experiments. Second, the analyses of the shape anomaly ("5 MeV bump") by STEREO and PROSPECT, both using a virtually pure-$^{235}$U neutrino flux, are detailed. Results show a significant excess of events at 5-6 MeV and indicate that the bump observed at commercial reactors is not specific to a particular isotope but rather shared among U and Pu.


title: Linear Complexity of Binary Interleaved Sequences of Period 4n

abstract: Binary periodic sequences with good autocorrelation property have many applications in many aspects of communication. In past decades many series of such binary sequences have been constructed. In the application of cryptography, such binary sequences are required to have larger linear complexity. Tang and Ding \cite{X. Tang} presented a method to construct a series of binary sequences with period 4$n$ having optimal autocorrelation. Such sequences are interleaved by two arbitrary binary sequences with period $n\equiv 3\pmod 4$ and ideal autocorrelation. In this paper we present a general formula on the linear complexity of such interleaved sequences. Particularly, we show that the linear complexity of such sequences with period 4$n$ is not bigger than $2n+2$. Interleaving by several types of known binary sequences with ideal autocorrelation ($m$-sequences, Legendre, twin-prime and Hall's sequences), we present many series of such sequences having the maximum value $2n+2$ of linear complexity which gives an answer of a problem raised by N. Li and X. Tang \cite{N. Li}. Finally, in the conclusion section we show that it can be seen easily that the 2-adic complexity of all such interleaved sequences reaches the maximum value $\log_{2}(2^{4n}-1)$.


title: "Why Would I Trust Your Numbers?" On the Explainability of Expected Values in Soccer

abstract: In recent years, many different approaches have been proposed to quantify the performances of soccer players. Since player performances are challenging to quantify directly due to the low-scoring nature of soccer, most approaches estimate the expected impact of the players' on-the-ball actions on the scoreline. While effective, these approaches are yet to be widely embraced by soccer practitioners. The soccer analytics community has primarily focused on improving the accuracy of the models, while the explainability of the produced metrics is often much more important to practitioners. To help bridge the gap between scientists and practitioners, we introduce an explainable Generalized Additive Model that estimates the expected value for shots. Unlike existing models, our model leverages features corresponding to widespread soccer concepts. To this end, we represent the locations of shots by fuzzily assigning the shots to designated zones on the pitch that practitioners are familiar with. Our experimental evaluation shows that our model is as accurate as existing models, while being easier to explain to soccer practitioners.


title: Quantum repeater protocol in mixed single- and two-mode Tavis-Cummings models

abstract: In this paper we study the production of entanglement between two atoms which are far from each other. We consider a system including eight two-level atoms (1; 2;... ; 8) such that any atom with its adjacent atom is in atomic Bell state, so that we have four separate pairs of maximally entangled states (i; i + 1) where i = 1; 3; 5; 7. Our purpose is to produce entanglement between the atomic pair (1, 8), while these two distant atoms have no interaction. By performing the interaction between adjacent nonentangled atomic pairs (2, 3) as well as (6, 7), each pair with a two-mode quantized field, the entanglement is produced between atoms (1, 4) and (5, 8), respectively. Finally, by applying an appropriate Bell state measurement (BSM) on atoms (4, 5) or performing an interaction between them with a single-mode field (quantum electrodynamic: QED method), the qubit pair (1; 8) becomes entangled and so the quantum repeater is successfully achieved. This swapped entanglement is then quantified via concurrence measure and the effects of coupling coeficients and detuning on the concurrence and success probability are numerically investigated. The maxima of concurrence and success probability and the corresponding time periods have been decreased by increasing the detuning in asymmetric condition in BSM method. Also, the effects of detuning, initial interaction time and coupling coeficient on the produced entanglement by QED method are considered. Increasing (decreasing) of the detuning (interaction time) has destructive effect on the swapped entanglement in asymmetric condition.


title: Asymptotic stability for the Dirac--Klein-Gordon system in two space dimensions

abstract: We study the Dirac--Klein-Gordon system in $1+2$ spacetime dimensions. We show global existence of the solutions, as well as sharp time decay and linear scattering. One key advance is that we provide the first asymptotic stability result for the Dirac--Klein-Gordon system in $1+2$ spacetime dimensions in the case of a massive Klein-Gordon field and a massless Dirac field. The nonlinearities are below-critical in two spatial dimensions, and so our method requires the identification of special structures within the system and novel weighted energy estimates. Another key advance, is that our proof allows us to weaken certain conditions on the nonlinear structures that have been assumed in the literature.


title: Type and Conductor of Simplicial Affine Semigroups

abstract: We provide a generalization of pseudo-Frobenius numbers of numerical semigroups to the context of the simplicial affine semigroups. In this way, we characterize the Cohen-Macaulay type of the simplicial affine semigroup ring $\mathbb{K}[S]$. We define the type of $S$, $\operatorname{type}$, in terms of some Ap\'ery sets of $S$ and show that it coincides with the Cohen-Macaulay type of the semigroup ring, when $\mathbb{K}[S]$ is Cohen-Macaulay. If $\mathbb{K}[S]$ is a $d$-dimensional Cohen-Macaulay ring of embedding dimension at most $d+2$, then $\operatorname{type}\leq 2$. Otherwise, $\operatorname{type}$ might be arbitrary large and it has no upper bound in terms of the embedding dimension. Finally, we present a generating set for the conductor of $S$ as an ideal of its normalization.


title: How to Split: the Effect of Word Segmentation on Gender Bias in Speech Translation

abstract: Having recognized gender bias as a major issue affecting current translation technologies, researchers have primarily attempted to mitigate it by working on the data front. However, whether algorithmic aspects concur to exacerbate unwanted outputs remains so far under-investigated. In this work, we bring the analysis on gender bias in automatic translation onto a seemingly neutral yet critical component: word segmentation. Can segmenting methods influence the ability to translate gender? Do certain segmentation approaches penalize the representation of feminine linguistic markings? We address these questions by comparing 5 existing segmentation strategies on the target side of speech translation systems. Our results on two language pairs (English-Italian/French) show that state-of-the-art sub-word splitting (BPE) comes at the cost of higher gender bias. In light of this finding, we propose a combined approach that preserves BPE overall translation quality, while leveraging the higher ability of character-based segmentation to properly translate gender.


title: Quantile Encoder: Tackling High Cardinality Categorical Features in Regression Problems

abstract: Regression problems have been widely studied in machinelearning literature resulting in a plethora of regression models and performance measures. However, there are few techniques specially dedicated to solve the problem of how to incorporate categorical features to regression problems. Usually, categorical feature encoders are general enough to cover both classification and regression problems. This lack of specificity results in underperforming regression models. In this paper,we provide an in-depth analysis of how to tackle high cardinality categor-ical features with the quantile. Our proposal outperforms state-of-the-encoders, including the traditional statistical mean target encoder, when considering the Mean Absolute Error, especially in the presence of long-tailed or skewed distributions. Besides, to deal with possible overfitting when there are categories with small support, our encoder benefits from additive smoothing. Finally, we describe how to expand the encoded values by creating a set of features with different quantiles. This expanded encoder provides a more informative output about the categorical feature in question, further boosting the performance of the regression model.


title: Distributed entangled state production by using quantum repeater protocol

abstract: We consider entangled state production utilizing a full optomechanical arrangement, based on which we create entanglement between two far three-level V-type atoms using a quantum repeater protocol. At first, we consider eight identical atoms (1; 2;...; 8), while adjacent pairs (i; i + 1) with i = 1; 3; 5; 7 have been prepared in entangled states and the atoms 1, 8 are the two target atoms. The three-level atoms (1,2,3,4) and (5,6,7,8) distinctly become entangled with the system including optical and mechanical modes by performing the interaction in optomechanical cavities between atoms (2,3) and (6,7), respectively. Then, by operating appropriate measurements, instead of Bell state measurement which is a hard task in practical works, the entangled states of atoms (1,4) and (5,8) are achieved. Next, via interacting atoms (4,5) of the pairs (1,4) and (5,8) and operating proper measurement, the entangled state of target atoms (1,8) is obtained. In the continuation, entropy and success probability of the produced entangled state are then evaluated. It is observed that the time period of entropy is increased by increasing the mechanical frequency and by decreasing optomechanical coupling strength to the field modes. Also, in most cases, the maximum of success probability is increased by decreasing G and via decreasing.