title: Online Deterministic Annealing for Classification and Clustering

abstract: Inherent in virtually every iterative machine learning algorithm is the problem of hyper-parameter tuning, which includes three major design parameters: (a) the complexity of the model, e.g., the number of neurons in a neural network, (b) the initial conditions, which heavily affect the behavior of the algorithm, and (c) the dissimilarity measure used to quantify its performance. We introduce an online prototype-based learning algorithm that can be viewed as a progressively growing competitive-learning neural network architecture for classification and clustering. The learning rule of the proposed approach is formulated as an online gradient-free stochastic approximation algorithm that solves a sequence of appropriately defined optimization problems, simulating an annealing process. The annealing nature of the algorithm contributes to avoiding poor local minima, offers robustness with respect to the initial conditions, and provides a means to progressively increase the complexity of the learning model, through an intuitive bifurcation phenomenon. The proposed approach is interpretable, requires minimal hyper-parameter tuning, and allows online control over the performance-complexity trade-off. Finally, we show that Bregman divergences appear naturally as a family of dissimilarity measures that play a central role in both the performance and the computational complexity of the learning algorithm.


title: Large topological Hall effect near room temperature in noncollinear ferromagnet LaMn2Ge2 single crystal

abstract: Non-trivial spin structures in itinerant magnets can give rise to topological Hall effect (THE) due to the interacting local magnetic moments and conductive electrons. While, in series of materials, THE has mostly been observed at low temperatures far below room temperature (RT) limiting its potential applications. Here, we report the anisotropic anomalous Hall effect (AHE) near RT in LaMn2Ge2, a noncollinear ferromagnetic (FM) with Curie temperature TC=325 K. Large topological Hall resistivity of ~1.0 10-6 ohmcm in broad temperature range (190 K <T< 300 K) is realized as field (H) parallel to the ab-plane (H // ab) and current along c axis (I // c), in contrast to the conventional AHE for H // c and I // ab. The emergence of THE is attributed to the spin chirality of noncoplanar spin configurations stabilized by thermal fluctuation during spin flop process. Moreover, the constructed temperature-field (H-T) phase diagrams based on the isothermal topological Hall resistivity reveal a field-induced transition from the noncoplanar spin configuration to polarized ferromagnetic states. Our experimental realization of large THE near RT highlights LaMn2Ge2 as a promising system for functional applications in novel spintronic devices.


title: Common Information Belief based Dynamic Programs for Stochastic Zero-sum Games with Competing Teams

abstract: Decentralized team problems where players have asymmetric information about the state of the underlying stochastic system have been actively studied, but \emph{games} between such teams are less understood. We consider a general model of zero-sum stochastic games between two competing teams. This model subsumes many previously considered team and zero-sum game models. For this general model, we provide bounds on the upper (min-max) and lower (max-min) values of the game. Furthermore, if the upper and lower values of the game are identical (i.e., if the game has a \emph{value}), our bounds coincide with the value of the game. Our bounds are obtained using two dynamic programs based on a sufficient statistic known as the common information belief (CIB). We also identify certain information structures in which only the minimizing team controls the evolution of the CIB. In these cases, we show that one of our CIB based dynamic programs can be used to find the min-max strategy (in addition to the min-max value). We propose an approximate dynamic programming approach for computing the values (and the strategy when applicable) and illustrate our results with the help of an example.


title: Distribution of Eigenvalues of Matrix Ensembles arising from Wigner and Palindromic Toeplitz Blocks

abstract: Random Matrix Theory (RMT) has successfully modeled diverse systems, from energy levels of heavy nuclei to zeros of $L$-functions; this correspondence has allowed RMT to successfully predict many number theoretic behaviors. However there are some operations which to date have no RMT analogue. Our motivation is to find an RMT analogue of Rankin-Selberg convolution, which constructs a new $L$-functions from an input pair. We report one such attempt; while it does not appear to model convolution, it does create new ensembles with properties hybridizing those of its constituents. For definiteness we concentrate on the ensemble of palindromic real symmetric Toeplitz (PST) matrices and the ensemble of real symmetric matrices, whose limiting spectral measures are the Gaussian and semi-circular distributions, respectively; these were chosen as they are the two extreme cases in terms of moment calculations. For a PST matrix $A$ and a real symmetric matrix $B$, we construct an ensemble of random real symmetric block matrices whose first row is $\lbrace A, B \rbrace$ and whose second row is $\lbrace B, A \rbrace$. By Markov's Method of Moments and the use of free probability, we show this ensemble converges weakly and almost surely to a new, universal distribution with a hybrid of Gaussian and semi-circular behaviors. We extend this construction by considering an iterated concatenation of matrices from an arbitrary pair of random real symmetric sub-ensembles with different limiting spectral measures. We prove that finite iterations converge to new, universal distributions with hybrid behavior, and that infinite iterations converge to the limiting spectral measure of the dominant component matrix.


title: Sequential convergence on the space of Borel measures

abstract: We study equivalent descriptions of the vague, weak, setwise and total-variation (TV) convergence of sequences of Borel measures on metrizable and non-metrizable topological spaces in this work. On metrizable spaces, we give some equivalent conditions on the vague convergence of sequences of measures following Kallenberg, and some equivalent conditions on the TV convergence of sequences of measures following Feinberg-Kasyanov-Zgurovsky. There is usually some hierarchy structure on the equivalent descriptions of convergence in different modes, but not always. On non-metrizable spaces, we give examples to show that these conditions are seldom enough to guarantee any convergence of sequences of measures. There are some remarks on the attainability of the TV distance and more modes of sequential convergence at the end of the work.


title: J-Stability in non-archimedean dynamics

abstract: Let $C_v$ be a complete, algebraically closed non-archimedean field, and let $f \in C_v(z)$ be a rational function of degree $d \geq 2$. If $f$ satisfies a bounded contraction condition on its Julia set, we prove that small perturbations of $f$ have dynamics conjugate to those of $f$ on their Julia sets.


title: Exact formulas for partial sums of the M\"obius function expressed by partial sums weighted by the Liouville lambda function

abstract: The Mertens function, $M(x) := \sum_{n \leq x} \mu(n)$, is defined as the summatory function of the classical M\"obius function. The Dirichlet inverse function $g(n) := (\omega+1)^{-1}(n)$ is defined in terms of the shifted strongly additive function $\omega(n)$ that counts the number of distinct prime factors of $n$ without multiplicity. The Dirichlet generating function (DGF) of $g(n)$ is $\zeta(s)^{-1} (1+P(s))^{-1}$ for $\Re(s) > 1$ where $P(s) = \sum_p p^{-s}$ is the prime zeta function. We study the distribution of the unsigned functions $|g(n)|$ with DGF $\zeta(2s)^{-1}(1-P(s))^{-1}$ and $C_{\Omega}(n)$ with DGF $(1-P(s))^{-1}$ for $\Re(s) > 1$. We establish formulas for the average order and variance of $\log C_{\Omega}(n)$ and prove a central limit theorem for the distribution of its values on the integers $n \leq x$ as $x \rightarrow \infty$. Discrete convolutions of the partial sums of $g(n)$ with the prime counting function provide new exact formulas for $M(x)$.


title: Driving Style Representation in Convolutional Recurrent Neural Network Model of Driver Identification

abstract: Identifying driving styles is the task of analyzing the behavior of drivers in order to capture variations that will serve to discriminate different drivers from each other. This task has become a prerequisite for a variety of applications, including usage-based insurance, driver coaching, driver action prediction, and even in designing autonomous vehicles; because driving style encodes essential information needed by these applications. In this paper, we present a deep-neural-network architecture, we term D-CRNN, for building high-fidelity representations for driving style, that combine the power of convolutional neural networks (CNN) and recurrent neural networks (RNN). Using CNN, we capture semantic patterns of driver behavior from trajectories (such as a turn or a braking event). We then find temporal dependencies between these semantic patterns using RNN to encode driving style. We demonstrate the effectiveness of these techniques for driver identification by learning driving style through extensive experiments conducted on several large, real-world datasets, and comparing the results with the state-of-the-art deep-learning and non-deep-learning solutions. These experiments also demonstrate a useful example of bias removal, by presenting how we preprocess the input data by sampling dissimilar trajectories for each driver to prevent spatial memorization. Finally, this paper presents an analysis of the contribution of different attributes for driver identification; we find that engine RPM, Speed, and Acceleration are the best combination of features.


title: Translation Invariant Fr\'echet Distance Queries

abstract: The Fr\'echet distance is a popular similarity measure between curves. For some applications, it is desirable to match the curves under translation before computing the Fr\'echet distance between them. This variant is called the Translation Invariant Fr\'echet distance, and algorithms to compute it are well studied. The query version, finding an optimal placement in the plane for a query segment where the Fr\'echet distance becomes minimized, is much less well understood. We study Translation Invariant Fr\'echet distance queries in a restricted setting of horizontal query segments. More specifically, we preprocess a trajectory in $\mathcal O(n^2 \log^2 n) $ time and $\mathcal O(n^{3/2})$ space, such that for any subtrajectory and any horizontal query segment we can compute their Translation Invariant Fr\'echet distance in $\mathcal O(\text{polylog } n)$ time. We hope this will be a step towards answering Translation Invariant Fr\'echet queries between arbitrary trajectories.


title: Single Molecule Mixture: A Concept in Polymer Science

abstract: In theory, there exist two extreme forms of substances: pure form and single-molecule mixture form. Single-molecule mixture form contains a mixture of molecules that have molecularly different structures. This elusive form has not yet been explored. Herein, we report a study of single molecule mixture state by a combination of model construction and mathematical analysis, and a series of interesting results were obtained. These results provide theoretical evidence that single-molecule mixture state may indeed exist in realistic synthetic or natural polymer system.


title: Rare events and disorder control the brittle yielding of well-annealed amorphous solids

abstract: We use atomistic computer simulations to provide a microscopic description of the brittle failure of amorphous materials, and we assess the role of rare events and quenched disorder. We argue that brittle yielding originates at rare soft regions, similarly to Griffiths effects in disordered systems. We numerically demonstrate how localized plastic events in such soft regions trigger macroscopic failure via the propagation of a shear band. This physical picture, which no longer holds in poorly annealed ductile materials, allows us to discuss the role of finite size effects in brittle yielding and reinforces the similarities between yielding and other disorder-controlled nonequilibrium phase transitions.


title: ZeroScatter: Domain Transfer for Long Distance Imaging and Vision through Scattering Media

abstract: Adverse weather conditions, including snow, rain, and fog, pose a major challenge for both human and computer vision. Handling these environmental conditions is essential for safe decision making, especially in autonomous vehicles, robotics, and drones. Most of today's supervised imaging and vision approaches, however, rely on training data collected in the real world that is biased towards good weather conditions, with dense fog, snow, and heavy rain as outliers in these datasets. Without training data, let alone paired data, existing autonomous vehicles often limit themselves to good conditions and stop when dense fog or snow is detected. In this work, we tackle the lack of supervised training data by combining synthetic and indirect supervision. We present ZeroScatter, a domain transfer method for converting RGB-only captures taken in adverse weather into clear daytime scenes. ZeroScatter exploits model-based, temporal, multi-view, multi-modal, and adversarial cues in a joint fashion, allowing us to train on unpaired, biased data. We assess the proposed method on in-the-wild captures, and the proposed method outperforms existing monocular descattering approaches by 2.8 dB PSNR on controlled fog chamber measurements.


title: Holographic entanglement negativity for a single subsystem in conformal field theories with a conserved charge

abstract: We utilize a holographic construction to compute the entanglement negativity for bipartite mixed state configurations of a single subsystem in $CFT_d$s with a conserved charge dual to bulk $AdS_{d+1}$ geometries. In this context, we obtain the holographic entanglement negativity for single subsystems with long rectangular strip geometries in $CFT_d$s with a conserved charge dual to bulk non extremal and extremal Reissner-Nordstr\"{o}m (RN)-$AdS_{d+1}$ black holes at the leading order in a perturbation theory. We demonstrate that the holographic entanglement negativity computed involves the elimination of thermal contributions at the leading order confirming earlier results in the literature. This also conforms to quantum information theory expectations and constitutes further consistency checks for the holographic construction.


title: Optically synchronized fiber links with spectrally pure integrated lasers

abstract: Precision frequency and phase synchronization between distinct fiber interconnected nodes is critical for a wide range of applications, including atomic timekeeping, quantum networking, database synchronization, ultra-high-capacity coherent optical communications and hyper-scale data centers. Today, many of these applications utilize precision, tabletop laser systems, and would benefit from integration in terms of reduced size, power, cost, and reliability. In this paper we report a record low 3x10^-4 rad^2 residual phase error variance for synchronization based on independent, spectrally pure, ultra-high mutual coherence, photonic integrated lasers. This performance is achieved with stimulated Brillouin scattering lasers that are stabilized to independent microcavity references, realizing sources with 30 Hz integral linewidth and a fractional frequency instability less than or equal to 2x10^-13 at 50 ms. This level of low phase noise and carrier stability enables a new type of optical-frequency-stabilized phase-locked loop (OFS-PLL) that operates with a less than 800 kHz loop bandwidth, eliminating traditional power consuming high bandwidth electronics and digital signal processors used to phase lock optical carriers. Additionally, we measure the residual phase error down to a received carrier power of -34 dBm, removing the need to transmit in-band or out-of-band synchronized carriers. These results highlight the promise for a path to spectrally pure, ultra-stable, integrated lasers for network synchronization, precision time distribution protocols, quantum-clock networks, and multiple-Terabit per second coherent DSP-free fiber-optic interconnects.


title: Comparing spontaneous and pellet-triggered ELMs via non-linear extended MHD simulations

abstract: Injecting frozen deuterium pellets into an ELMy H-mode plasma is a well established scheme for triggering edge localized modes (ELMs) before they naturally occur. Based on an ASDEX Upgrade H-mode plasma, this article presents a comparison of extended MHD simulations of spontaneous type-I ELMs and pellet-triggered ELMs allowing to study their non-linear dynamics in detail. In particular, pellet-triggered ELMs are simulated by injecting deuterium pellets into different time points during the pedestal build-up described in [A. Cathey et al. Nuclear Fusion 60, 124007 (2020)]. Realistic ExB and diamagnetic background plasma flows as well as the time dependent bootstrap current evolution are included during the build-up to capture the balance between stabilising and destabilising terms for the edge instabilities accurately. Dependencies on the pellet size and injection times are studied. The spatio-temporal structures of the modes and the resulting divertor heat fluxes are compared in detail between spontaneous and triggered ELMs. We observe that the premature excitation of ELMs by means of pellet injection is caused by a helical perturbation described by a toroidal mode number of n = 1. In accordance with experimental observations, the pellet-triggered ELMs show reduced thermal energy losses and narrower divertor wetted area with respect to spontaneous ELMs. The peak divertor energy fluency is seen to decrease when ELMs are triggered by pellets injected earlier during the pedestal build-up.


title: An electric vehicle charging station access equilibrium model with M/D/C queueing

abstract: Despite the dependency of electric vehicle (EV) fleets on charging station availability, charging infrastructure remains limited in many cities. Three contributions are made. First, we propose an EV-to-charging station user equilibrium (UE) assignment model with a M/D/C queue approximation as a nondifferentiable nonlinear program. Second, to address the non-differentiability of the queue delay function, we propose an original solution algorithm based on the derivative-free Method of Successive Averages. Computational tests with a toy network show that the model converges to a UE. A working code in Python is provided free on Github with detailed test cases. Third, the model is applied to the large-scale case study of New York City Department of Citywide Administrative Services (NYC DCAS) fleet and EV charging station configuration as of July 8, 2020, which includes unique, real data for 563 Level 2 chargers and 4 Direct Current Fast Chargers (DCFCs) and 1484 EVs distributed over 512 Traffic Analysis Zones. The arrival rates of the assignment model are calibrated in the base scenario to fit an observed average utilization ratio of 7.6% in NYC. The model is then applied to compare charging station investment policies of DCFCs to Level 2 charging stations based on two alternative criteria. Results suggest a policy based on selecting locations with high utilization ratio instead of with high queue delay.


title: Expected number of induced subtrees shared by two independent copies of a random tree

abstract: Consider a rooted tree $T$ with leaf-set $[n]$, and with all non-leaf vertices having out-degree $2$, at least. A rooted tree $\mathcal T$ with leaf-set $S\subset [n]$ is induced by $S$ in $T$ if $\mathcal T$ is the lowest common ancestor subtree for $S$, with all its degree-2 vertices suppressed. A "maximum agreement subtree" (MAST) for a pair of two trees $T'$ and $T"$ is a tree $\mathcal T$ with a largest leaf-set $S\subset [n]$ such that $\mathcal T$ is induced by $S$ both in $T'$ and $T"$. Bryant et al. \cite{BryMcKSte} and Bernstein et al. \cite{Ber} proved, among other results, that for $T'$ and $T"$ being two independent copies of a random binary (uniform or Yule-Harding distributed) tree $T$, the likely magnitude order of $\text{MAST}(T',T")$ is $O(n^{1/2})$. We prove this bound for a wide class of random rooted trees : $T$ is a terminal tree of a branching, Galton--Watson, process with an ordered-offspring distribution of mean $1$, conditioned on "total number of leaves is $n$".


title: Precise and extensive characterization of an optical resonator for cavity-based quantum networks

abstract: Cavity-based quantum node is a competitive platform for distributed quantum networks. Here, we characterize a high-finesse Fabry-Perot optical resonator for coupling single or few atomic quantum registers. Our cavity consists of two mirrors with different reflectivities: One has minimal optical loss, and the other high transmission loss where more than 90% of the intracavity photons would be emitted. Cavity finesse, birefringent effects, and mechanical resonances are measured using the lasers at 780, 782, and 795 nm. In order to obtain cavity geometric parameters, we drive the adjacent longitudinal or transverse modes with two lasers simultaneously, and measure those frequencies using a precision wavelength meter (WLM). A major novelty of this method is that the parameters' uncertainties are solely determined by the resolution of the WLM, eliminating all of the temporal environment fluctuations. Our scheme makes it possible to quantify the atom-cavity coupling constant up to four significant figures, the most precise and accurate estimation so far, which would become a key ingredient for benchmarking a cavity-based quantum node. Furthermore, the distortion of polarized photonic qubits would be minimized owing to the small birefringent splitting, below 4.9% of the cavity linewidth. Our system should operate in the intermediate atom-cavity coupling regime that would allow us to implement various quantum network protocols.


title: Approximation Algorithms for Generalized Multidimensional Knapsack

abstract: We study a generalization of the knapsack problem with geometric and vector constraints. The input is a set of rectangular items, each with an associated profit and $d$ nonnegative weights ($d$-dimensional vector), and a square knapsack. The goal is to find a non-overlapping axis-parallel packing of a subset of items into the given knapsack such that the vector constraints are not violated, i.e., the sum of weights of all the packed items in any of the $d$ dimensions does not exceed one. We consider two variants of the problem: $(i)$ the items are not allowed to be rotated, $(ii)$ items can be rotated by 90 degrees. We give a $(2+\epsilon)$-approximation algorithm for this problem (both versions). In the process, we also study a variant of the maximum generalized assignment problem (Max-GAP), called Vector-Max-GAP, and design a PTAS for it.


title: Differential Privacy Dynamics of Langevin Diffusion and Noisy Gradient Descent

abstract: What is the information leakage of an iterative randomized learning algorithm about its training data, when the internal state of the algorithm is \emph{private}? How much is the contribution of each specific training epoch to the information leakage through the released model? We study this problem for noisy gradient descent algorithms, and model the \emph{dynamics} of R\'enyi differential privacy loss throughout the training process. Our analysis traces a provably \emph{tight} bound on the R\'enyi divergence between the pair of probability distributions over parameters of models trained on neighboring datasets. We prove that the privacy loss converges exponentially fast, for smooth and strongly convex loss functions, which is a significant improvement over composition theorems (which over-estimate the privacy loss by upper-bounding its total value over all intermediate gradient computations). For Lipschitz, smooth, and strongly convex loss functions, we prove optimal utility with a small gradient complexity for noisy gradient descent algorithms.


title: Predicting Clinical Deterioration in Hospitals

abstract: Responding rapidly to a patient who is demonstrating signs of imminent clinical deterioration is a basic tenet of patient care. This gave rise to a patient safety intervention philosophy known as a Rapid Response System (RRS), whereby a patient who meets a pre-determined set of criteria for imminent clinical deterioration is immediately assessed and treated, with the goal of mitigating the deterioration and preventing intensive care unit (ICU) transfer, cardiac arrest, or death. While RRSs have been widely adopted, multiple systematic reviews have failed to find evidence of their effectiveness. Typically, RRS criteria are simple, expert (consensus) defined rules that identify significant physiologic abnormalities or are based on clinical observation. If one can find a pattern in the patient's data earlier than the onset of the physiologic derangement manifest in the current criteria, intervention strategies might be more effective. In this paper, we apply machine learning to electronic medical records (EMR) to infer if patients are at risk for clinical deterioration. Our models are more sensitive and offer greater advance prediction time compared with existing rule-based methods that are currently utilized in hospitals. Our results warrant further testing in the field; if successful, hospitals can integrate our approach into their existing IT systems and use the alerts generated by the model to prevent ICU transfer, cardiac arrest, or death, or to reduce the ICU length of stay.


title: Nearly outer functions as extreme points in punctured Hardy spaces

abstract: The Hardy space $H^1$ consists of the integrable functions $f$ on the unit circle whose Fourier coefficients $\widehat f(k)$ vanish for $k<0$. We are concerned with $H^1$ functions that have some additional (finitely many) holes in the spectrum, so we fix a finite set $\mathcal K$ of positive integers and consider the "punctured" Hardy space $$H^1_{\mathcal K}:=\{f\in H^1:\,\widehat f(k)=0\,\,\,\text{for all }\, k\in\mathcal K\}.$$ We then investigate the geometry of the unit ball in $H^1_{\mathcal K}$. In particular, the extreme points of the ball are identified as those unit-norm functions in $H^1_{\mathcal K}$ which are not too far from being outer (in the appropriate sense). This extends a theorem of de Leeuw and Rudin that deals with the classical $H^1$ and characterizes its extreme points as outer functions. We also discuss exposed points of the unit ball in $H^1_{\mathcal K}$.


title: Achieving Near Instance-Optimality and Minimax-Optimality in Stochastic and Adversarial Linear Bandits Simultaneously

abstract: In this work, we develop linear bandit algorithms that automatically adapt to different environments. By plugging a novel loss estimator into the optimization problem that characterizes the instance-optimal strategy, our first algorithm not only achieves nearly instance-optimal regret in stochastic environments, but also works in corrupted environments with additional regret being the amount of corruption, while the state-of-the-art (Li et al., 2019) achieves neither instance-optimality nor the optimal dependence on the corruption amount. Moreover, by equipping this algorithm with an adversarial component and carefully-designed testings, our second algorithm additionally enjoys minimax-optimal regret in completely adversarial environments, which is the first of this kind to our knowledge. Finally, all our guarantees hold with high probability, while existing instance-optimal guarantees only hold in expectation.


title: Rare Events Detected with a Bulk Acoustic Wave High Frequency Gravitational Wave Antenna

abstract: This work describes the operation of a High Frequency Gravitational Wave detector based on a cryogenic Bulk Acoustic Wave (BAW) cavity and reports observation of rare events during 153 days of operation over two seperate experimental runs (Run 1 and Run 2). In both Run 1 and Run 2 two modes were simultaneously monitored. Across both runs, the 3rd overtone of the fast shear mode (3B) operating at 5.506 MHz was monitored, while in Run 1 the second mode was chosen to be the 5th OT of the slow shear mode (5C) operating at 8.392 MHz. However, in Run 2 the second mode was selected to be closer in frequency to the first mode, and chosen to be the 3rd overtone of the slow shear mode (3C) operating at 4.993 MHz. Two strong events were observed as transients responding to energy deposition within acoustic modes of the cavity. The first event occurred during Run 1 on the 12/05/2019 (UTC), and was observed in the 5.506 MHz mode, while the second mode at 8.392 MHz observed no event. During Run 2, a second event occurred on the 27/11/2019(UTC) and was observed by both modes. Timing of the events were checked against available environmental observations as well as data from other detectors. Various possibilities explaining the origins of the events are discussed.

categories: gr-qc astro-ph.HE hep-ex physics.ins-det


title: Strongly Topological Gyrogroups and Quotient With Respect to L-subgyrogroups

abstract: In this paper, some generalized metric properties in strongly topological gyrogroups are studied.


title: On the strong convergence of a perturbed algorithm to the unique solution of a variational inequality problem

abstract: Let $Q$ be a nonempty closed and convex subset of a real Hilbert space $% \mathcal{H}$. $T:Q\rightarrow Q$ is a nonexpansive mapping which has a least one fixed point. $f:Q\rightarrow \mathcal{H}$ is a Lipschitzian function, and $% F:Q\rightarrow \mathcal{H}$ is a Lipschitzian and strongly monotone mapping. We prove, under appropriate conditions on the functions $f$ and $F$, the control real sequences $\{\alpha _{n}\}$ and $\{\beta _{n}\},$ and the error term $\{e_{n}\},$ that for any starting point $x_{0}$ in $Q,$ the sequence $% \{x_{n}\}$ generated by the perturbed iterative process \[ x_{n+1}=\beta _{n}x_{n}+(1-\beta _{n})P_{Q}\left( \alpha _{n}f(x_{n})+(I-\alpha _{n}F)Tx_{n}+e_{n}\right) \] converges strongly to the unique solution of the variational inequality problem \[ \text{Find }q\in C\text{ such that }\langle F(q)-f(q),x-q\rangle \geq 0\text{ for all }x\in C \] where $C=F_{ix}(T)$ is the set of fixed points of $T.$ Our main result unifies and extends many well-known previous results.


title: Quantitative twisted patterns in positive density subsets

abstract: We make quantitative improvements to recently obtained results on the structure of the image of a large difference set under certain quadratic forms and other homogeneous polynomials. Previous proofs used deep results of Benoist-Quint on random walks in certain subgroups of $\operatorname{SL}_r(\mathbb{Z})$ (the symmetry groups of these quadratic forms) that were not of a quantitative nature. Our new observation relies on noticing that rather than studying random walks, one can obtain more quantitative results by considering polynomial orbits of these group actions that are not contained in cosets of submodules of $\mathbb{Z}^r$ of small index. Our main new technical tool is a uniform Furstenberg-S\'{a}rk\"{o}zy theorem that holds for a large class of polynomials not necessarily vanishing at zero, which may be of independent interest and is derived from a density increment argument and Hua's bound on polynomial exponential sums.


title: On possible ways for future redefinition of the SI time unit

abstract: The current methods for realization of the second with the highest accuracy through the frequency of the hyperfine transition between two levels of the ground state of the cesium 133 atom are considered. It is discussed possible ways for the future redefinition of the SI time unit with the help of optical frequency standards, as well as thorium and super-high frequency standards. Several constants which can be also used for definitions of the time, mass and electric current units are analyzed.


title: Searching for Designs in-between

abstract: The use of evolutionary methods in design and art is increasing in diversity and popularity. Approaches to using these methods for creative production typically focus either on optimisation or exploration. In this paper we introduce an evolutionary system for design that combines these two approaches, enabling users to explore landscapes of design alternatives using design-oriented measures of fitness, along with their own aesthetic preferences. We test our methods using a biologically-inspired generative system capable of producing 3D objects that can be exported directly as 3D printing toolpath instructions. For the search stage of our system we combine the use of the CMA-ES algorithm for optimisation and linear interpolation between generated objects for feature exploration. We investigate the system`s capabilities by evolving highly fit artefacts and then combining them with aesthetically interesting ones.


title: Recent Advances on Pool Boiling Heat Transfer Processes

abstract: Pool boiling is one of the efficient ways to remove heat from high-power electronics, heat exchangers, and nuclear reactors. Nowadays, the pool boiling method is tried to exercise frequently due to its ability to remove high heat flux compared with natural/forced convection, while maintaining at low wall superheat. But this pool boiling heat transfer capacity is also limited by an important parameter, called critical heat flux (CHF). At the point of CHF, the heat transfer coefficient (HTC) drastically decreases due to the change of the heat transfer regime from nucleate boiling to film boiling. This is why, the enhancement of CHF, while maintaining low wall superheat is of great interest to engineers and researchers.


title: AN Alternative Two-Fluid Formulation Of a Partially Ionized Plasma

abstract: In a recent paper (Krishan 2021), a two-fluid description of a partially ionized plasma was presented in which electron fluid and the neutral fluid were combined appropriately into one fluid, christened as ENe fluid, and treat the ions as the second fluid. Some of the electrostatic modes of this two-fluid system were studied. Here, I discuss another possibility in which the ion fluid and the neutral fluid are combined into one fluid, christened as INe fluid, and treat the electrons as the second fluid. There can be a huge variation between the relative masses of the neutrals and the ions. Thus both have to be treated as the inertia carrying species. After establishing the framework for the INe-electron fluids, some of the characteristic wave modes of this novel plasma are investigated.


title: Adversarial Poisoning Attacks and Defense for General Multi-Class Models Based On Synthetic Reduced Nearest Neighbors

abstract: State-of-the-art machine learning models are vulnerable to data poisoning attacks whose purpose is to undermine the integrity of the model. However, the current literature on data poisoning attacks is mainly focused on ad hoc techniques that are only applicable to specific machine learning models. Additionally, the existing data poisoning attacks in the literature are limited to either binary classifiers or to gradient-based algorithms. To address these limitations, this paper first proposes a novel model-free label-flipping attack based on the multi-modality of the data, in which the adversary targets the clusters of classes while constrained by a label-flipping budget. The complexity of our proposed attack algorithm is linear in time over the size of the dataset. Also, the proposed attack can increase the error up to two times for the same attack budget. Second, a novel defense technique based on the Synthetic Reduced Nearest Neighbor (SRNN) model is proposed. The defense technique can detect and exclude flipped samples on the fly during the training procedure. Through extensive experimental analysis, we demonstrate that (i) the proposed attack technique can deteriorate the accuracy of several models drastically, and (ii) under the proposed attack, the proposed defense technique significantly outperforms other conventional machine learning models in recovering the accuracy of the targeted model.


title: Spectrum of the doubly charmed molecular pentaquarks in chiral effective field theory

abstract: We perform a systematic study on the interactions of the $\Sigma_c^{(*)}D^{(*)}$ systems within the framework of chiral effective field theory. We introduce the contact term, one-pion-exchange and two-pion-exchange contributions to describe the short-, long-, and intermediate-range interactions. The low energy constants of the $\Sigma_c^{(*)}D^{(*)}$ systems are estimated from the $N\bar{N}$ scattering data by introducing a quark level Lagrangian. With three solutions of LECs, all the $\Sigma_c^{(*)}D^{(*)}$ systems with isospin $I=1/2$ can form bound states, in which different inputs of LECs may lead to distinguishable mass spectra. In addition, we also investigate the interactions of the charmed-bottom $\Sigma_c^{(*)}\bar{B}^{(*)}$, $\Sigma_b^{(*)}D^{(*)}$, and $\Sigma_b^{(*)}\bar{B}^{(*)}$ systems. Among the obtained bound states, the bindings become deeper when the reduced masses of the corresponding systems are heavier.


title: ABOShips -- An Inshore and Offshore Maritime Vessel Detection Dataset with Precise Annotations

abstract: Availability of domain-specific datasets is an essential problem in object detection. Maritime vessel detection of inshore and offshore datasets is no exception, there is a limited number of studies addressing this need. For that reason, we collected a dataset of images of maritime vessels taking into account different factors: background variation, atmospheric conditions, illumination, visible proportion, occlusion and scale variation. Vessel instances (including 9 types of vessels), seamarks and miscellaneous floaters were precisely annotated: we employed a first round of labelling and subsequently, we used the CSRT [1] tracker to trace inconsistencies and relabel inadequate label instances. Moreover, we evaluated the the out-of-the-box performance of four prevalent object detection algorithms (Faster R-CNN [2], R-FCN [3], SSD [4] and EfficientDet [5]). The algorithms were previously trained on the Microsoft COCO dataset. We compare their accuracy based on feature extractor and object size. Our experiments show that Faster R-CNN with Inception-Resnet v2 outperforms the other algorithms, except in the large object category where EfficientDet surpasses the latter.


title: Talking After Lights Out: An Ad Hoc Network for Electric Grid Recovery

abstract: When the electric grid in a region suffers a major outage, e.g., after a catastrophic cyber attack, a "black start" may be required, where the grid is slowly restarted, carefully and incrementally adding generating capacity and demand. To ensure safe and effective black start, the grid control center has to be able to communicate with field personnel and with supervisory control and data acquisition (SCADA) systems. Voice and text communication are particularly critical. As part of the Defense Advanced Research Projects Agency (DARPA) Rapid Attack Detection, Isolation, and Characterization Systems (RADICS) program, we designed, tested and evaluated a self-configuring mesh network architecture and prototype called the Phoenix Secure Emergency Network (PhoenixSEN). PhoenixSEN is designed as a drop-in replacement for primary communication networks, combines existing and new technologies, can work with a variety of link-layer protocols, emphasizes manageability and auto-configuration, and provides a core set of services and applications for coordination of people and devices including voice, text, and SCADA communication. The PhoenixSEN prototype was evaluated in the field through a series of DARPA-led exercises. The same system is also likely to support coordination of recovery efforts after large-scale natural disasters.


title: Deformations of Q-curvature II

abstract: This is the second article of a sequence of research on deformations of Q-curvature. In the previous one, we studied local stability and rigidity phenomena of Q-curvature. In this article, we mainly investigate the volume comparison with respect to Q-curvature. In particular, we show that volume comparison theorem holds for metrics close to strictly stable positive Einstein metrics. This result shows that Q-curvature can still control the volume of manifolds under certain conditions, which provides a fundamental geometric characterization of Q-curvature. Applying the same technique, we derive the local rigidity of strictly stable Ricci-flat manifolds with respect to Q-curvature, which shows the non-existence of metrics with positive Q-curvature near the reference metric.


title: Onoma-to-wave: Environmental sound synthesis from onomatopoeic words

abstract: In this paper, we propose a framework for environmental sound synthesis from onomatopoeic words. As one way of expressing an environmental sound, we can use an onomatopoeic word, which is a character sequence for phonetically imitating a sound. An onomatopoeic word is effective for describing diverse sound features. Therefore, using onomatopoeic words for environmental sound synthesis will enable us to generate diverse environmental sounds. To generate diverse sounds, we propose a method based on a sequence-to-sequence framework for synthesizing environmental sounds from onomatopoeic words. We also propose a method of environmental sound synthesis using onomatopoeic words and sound event labels. The use of sound event labels in addition to onomatopoeic words enables us to capture each sound event's feature depending on the input sound event label. Our subjective experiments show that our proposed methods achieve higher diversity and naturalness than conventional methods using sound event labels.


title: On weak solutions to a fractional Hardy-H\'enon equation: Part II: Existence

abstract: This paper and [29] treat the existence and nonexistence of stable weak solutions to a fractional Hardy--H\'enon equation $(-\Delta)^s u = |x|^\ell |u|^{p-1} u$ in $\mathbb{R}^N$, where $0 < s < 1$, $\ell > -2s$, $p>1$, $N \geq 1$ and $N > 2s$. In this paper, when $p$ is critical or supercritical in the sense of the Joseph--Lundgren, we prove the existence of a family of positive radial stable solutions, which satisfies the separation property. We also show the multiple existence of the Joseph--Lundgren critical exponent for some $\ell \in (0,\infty)$ and $s \in (0,1)$, and this property does not hold in the case $s=1$.


title: Explainability in CNN Models By Means of Z-Scores

abstract: This paper explores the similarities of output layers in Neural Networks (NNs) with logistic regression to explain importance of inputs by Z-scores. The network analyzed, a network for fusion of Synthetic Aperture Radar (SAR) and Microwave Radiometry (MWR) data, is applied to prediction of arctic sea ice. With the analysis the importance of MWR relative to SAR is found to favor MWR components. Further, as the model represents image features at different scales, the relative importance of these are as well analyzed. The suggested methodology offers a simple and easy framework for analyzing output layer components and can reduce the number of components for further analysis with e.g. common NN visualization methods.


title: Deep Reinforcement Learning for Combinatorial Optimization: Covering Salesman Problems

abstract: This paper introduces a new deep learning approach to approximately solve the Covering Salesman Problem (CSP). In this approach, given the city locations of a CSP as input, a deep neural network model is designed to directly output the solution. It is trained using the deep reinforcement learning without supervision. Specifically, in the model, we apply the Multi-head Attention to capture the structural patterns, and design a dynamic embedding to handle the dynamic patterns of the problem. Once the model is trained, it can generalize to various types of CSP tasks (different sizes and topologies) with no need of re-training. Through controlled experiments, the proposed approach shows desirable time complexity: it runs more than 20 times faster than the traditional heuristic solvers with a tiny gap of optimality. Moreover, it significantly outperforms the current state-of-the-art deep learning approaches for combinatorial optimization in the aspect of both training and inference. In comparison with traditional solvers, this approach is highly desirable for most of the challenging tasks in practice that are usually large-scale and require quick decisions.


title: On the Fragility of Third-party Punishment: The Context Effect of a Dominated Risky Investment Option

abstract: Experimental studies regularly show that third-party punishment (TPP) substantially exists in various settings. This study further investigates the robustness of TPP under an environment where context effects are involved. In our experiment, we offer a third party an additional but unattractive risky investment option. We find that, when the dominated investment option irrelevant to prosocial behavior is available, the demand for punishment decreases, whereas the demand for investment increases. These findings support our hypothesis that the seemingly unrelated and dominated investment option may work as a compromise and suggest the fragility of TPP in this setting.


title: Intrinsic Schreier special objects

abstract: Motivated by the categorical-algebraic analysis of split epimorphisms of monoids, we study the concept of a special object induced by the intrinsic Schreier split epimorphisms in the context of a regular unital category with binary coproducts, comonadic covers and a natural imaginary splitting in the sense of our article [Intrinsic Schreier split extensions, Appl. Categ. Structures 28 (2020), 517--538]. In this context, each object comes naturally equipped with an imaginary magma structure. We analyse the intrinsic Schreier split epimorphisms in this setting, showing that their properties improve when the imaginary magma structures happen to be associative. We compare the intrinsic Schreier special objects with the protomodular objects, and characterise them in terms of the imaginary magma structure. We furthermore relate them to the Engel property in the case of groups and Lie algebras.


title: Vorticity Production at Fluid Interfaces in Two-dimensional Flows

abstract: This work revisits the production of vorticity at an interface separating two immiscible incompressible fluids. A new decomposition of the vorticity flux is proposed in a two-dimensional context which allows to compute explicitly such a quantity in terms of surface tension $\sigma$, viscosity $\mu$ and gravity $g$. This approach is then applied in the context of gravito-capillary waves. It leads to analytical results already known but from a new perspective, provides some quantitative predictions at short time that can be a good test for numerical codes. Finally it is a mean to obtain a qualitative understanding of direct numerical simulation results.


title: Effect of density dependence on coinfection dynamics: part 2

abstract: In this paper we continue the stability analysis of the model for coinfection with density dependent susceptible population introduced in the 1st part of the paper. We look for coexistence equilibrium points, their stability and dependence on the carrying capacity $K$. Two sets of parameter value are determined, each giving rise to different scenarios for the equilibrium branch parametrized by $K$. In both scenarios the branch includes coexistence points implying that both coinfection and single infection of both diseases can exist together in a stable state. There are no simple explicit expression for these equilibrium points and we will require a more delicate analysis of these points with a new bifurcation technique adapted to such epidemic related problems. The first scenario is described by the branch of stable equilibrium points which includes a section of coexistence points starting at a bifurcation equilibrium point with zero second single infections and finishing at another bifurcation point with zero first single infections. In the second scenario the branch also includes a section of coexistence equilibrium points with the same type of starting point but the branch stays inside the positive cone after this. The coexistence equilibrium points are stable at the start of the section. It stays stable as long as the product of $K$ and the rate $\bar \gamma$ of coinfection resulting from two single infections is small but, after this it can reach a Hopf bifurcation and periodic orbits will appear.


title: Quantum Interference and Phase Mixing in Multistream Plasmas

abstract: In this paper the kinetic corrected Schr\"{o}dinger-Poisson model is used to obtain the pseudoforce system in order to study variety of streaming electron beam-plasmon interaction effects. The noninteracting stream model is used to investigate the quantum electron beam interference and electron fluid Aharonov-Bohm effects. The model is further extended to interacting two-stream quantum fluid model in order to investigate the orbital quasiparticle velocity, acceleration and streaming power. It is shown that quantum phase mixing in the two-stream model is due to quasiparticle conduction band overlap caused by the Doppler shift in streaming electron de Broglie wavenumbers, a phenomenon which is also known to be a cause for two-stream plasma instability. However, in this case the phase mixing leads to some novel phenomena like stream merging and backscattering. To show the effectiveness of model, it is used to investigate the electron beam-phonon and electron beam-lattice interactions in different beam, ion and lattice parametric configurations. Current density of beam is studied in spatially stable and damping quasiparticle orbital for different symmetric and asymmetric momentum-density arrangements. These basic models may be helpful in better understanding of quantum phase mixing and scattering at quantum level and can be elaborated to study electromagnetic electron beam-plasmon interactions in complex quantum plasmas.


title: Relating spin-foam to canonical loop quantum gravity by graphical calculus

abstract: The graphical calculus method is generalized to study the relation between covariant and canonical dynamics of loop quantum gravity. On one hand, a graphical derivation of the partition function of the generalized Euclidean Engle-Pereira-Rovelli-Livine (EPRL) spin-foam model is presented. On the other hand, the action of a Euclidean Hamiltonian constraint operator on certain spin network states is calculated by graphical method. It turns out that the EPRL model can provide a rigging map such that the Hamiltonian constraint operator is weakly satisfied on certain physical states for the Immirzi parameter $\beta=1$. In this sense, the quantum dynamics between the covariant and canonical formulations are consistent to each other.


title: Spin and polarization effects on the nonlinear Breit-Wheeler pair production in laser-plasma interaction

abstract: The spin effect of electrons/positrons ($e^-$/$e^+$) and polarization effect of $\gamma$ photons are investigated in the interaction of two counter-propagating linearly polarized 10-PW-class laser pulses with a thin foil target. The processes of nonlinear Compton scattering and nonlinear Breit-Wheeler pair production based on spin- and polarization-resolved probabilities are implemented into the particle-in-cell (PIC) algorithm by Monte Carlo methods. It is found from PIC simulations that the average degree of linear polarization of emitted $\gamma$ photons can exceed $50\%$. This polarization effect leads to reduced positron yield by about $10\%$. At some medium positron energies, the reduction can reach $20\%$. Furthermore, we also observe that the local spin polarization of $e^-$/$e^+$ leads to a slight decrease of the positron yield about $2\%$ and some anomalous phenomena about the positron spectrum and photon polarization at the high-energy range, due to spin-dependent photon emissions. Our results indicate that spin and polarization effects should be considered in calculating the pair production and laser-plasma interaction with the laser power of 10-PW class.


title: Privacy-Preserving Self-Taught Federated Learning for Heterogeneous Data

abstract: Many application scenarios call for training a machine learning model among multiple participants. Federated learning (FL) was proposed to enable joint training of a deep learning model using the local data in each party without revealing the data to others. Among various types of FL methods, vertical FL is a category to handle data sources with the same ID space and different feature spaces. However, existing vertical FL methods suffer from limitations such as restrictive neural network structure, slow training speed, and often lack the ability to take advantage of data with unmatched IDs. In this work, we propose an FL method called self-taught federated learning to address the aforementioned issues, which uses unsupervised feature extraction techniques for distributed supervised deep learning tasks. In this method, only latent variables are transmitted to other parties for model training, while privacy is preserved by storing the data and parameters of activations, weights, and biases locally. Extensive experiments are performed to evaluate and demonstrate the validity and efficiency of the proposed method.


title: OpinionRank: Extracting Ground Truth Labels from Unreliable Expert Opinions with Graph-Based Spectral Ranking

abstract: As larger and more comprehensive datasets become standard in contemporary machine learning, it becomes increasingly more difficult to obtain reliable, trustworthy label information with which to train sophisticated models. To address this problem, crowdsourcing has emerged as a popular, inexpensive, and efficient data mining solution for performing distributed label collection. However, crowdsourced annotations are inherently untrustworthy, as the labels are provided by anonymous volunteers who may have varying, unreliable expertise. Worse yet, some participants on commonly used platforms such as Amazon Mechanical Turk may be adversarial, and provide intentionally incorrect label information without the end user's knowledge. We discuss three conventional models of the label generation process, describing their parameterizations and the model-based approaches used to solve them. We then propose OpinionRank, a model-free, interpretable, graph-based spectral algorithm for integrating crowdsourced annotations into reliable labels for performing supervised or semi-supervised learning. Our experiments show that OpinionRank performs favorably when compared against more highly parameterized algorithms. We also show that OpinionRank is scalable to very large datasets and numbers of label sources, and requires considerably fewer computational resources than previous approaches.


title: Phase transitions in superconductor/ferromagnet bilayer driven by spontaneous supercurrents

abstract: We investigate superconducting phase transition in superconductor(S)/ferromagnet(F) bilayer with Rasba spin-orbit interaction at S/F interface. This spin-orbit coupling produces spontaneous supercurrents flowing inside the atomic-thickness region near the interface, which are compensated by the screening Meissner currents [S. Mironov and A. Buzdin, Phys. Rev. Lett \textbf{118}, 077001 (2017)]. In the case of thin superconducting film the emergence of the spontaneous surface currents causes the increase of the superconducting critical temperature and we calculate the actual value of the critical temperature shift. We also show that in the case of type-I superconducting film this phase transition can be of the first order. In the external magnetic field the critical temperature depends on the relative orientation of the external magnetic field and the exchange field in the ferromagnet. Also we predict the in-plane anisotropy of the critical current which may open an alternative way for the experimental observation of the spontaneous supercurrents generated by the SOC.


title: A Fresh Geometrical Look at the General S-Procedure

abstract: We revisit the S-procedure for general functions with "geometrical glasses". We thus delineate a necessary condition, and almost a sufficient condition, to have the S-procedure valid. Everything is expressed in terms of convexity of augmented sets (convex hulls, conical hulls) of images built from the data functions.


title: Applications of optimal transport methods in the least gradient problem

abstract: We study the consequences of the equivalence between the least gradient problem and a boundary-to-boundary optimal transport problem in two dimensions. We extend the relationship between the two problems to their respective dual problems, as well as prove several regularity and stability results for the least gradient problem using optimal transport techniques.


title: Brain Modelling as a Service: The Virtual Brain on EBRAINS

abstract: The Virtual Brain (TVB) is now available as open-source cloud ecosystem on EBRAINS, a shared digital research platform for brain science. It offers services for constructing, simulating and analysing brain network models (BNMs) including the TVB network simulator; magnetic resonance imaging (MRI) processing pipelines to extract structural and functional connectomes; multiscale co-simulation of spiking and large-scale networks; a domain specific language for automatic high-performance code generation from user-specified models; simulation-ready BNMs of patients and healthy volunteers; Bayesian inference of epilepsy spread; data and code for mouse brain simulation; and extensive educational material. TVB cloud services facilitate reproducible online collaboration and discovery of data assets, models, and software embedded in scalable and secure workflows, a precondition for research on large cohort data sets, better generalizability and clinical translation.


title: ASVspoof 2019: spoofing countermeasures for the detection of synthesized, converted and replayed speech

abstract: The ASVspoof initiative was conceived to spearhead research in anti-spoofing for automatic speaker verification (ASV). This paper describes the third in a series of bi-annual challenges: ASVspoof 2019. With the challenge database and protocols being described elsewhere, the focus of this paper is on results and the top performing single and ensemble system submissions from 62 teams, all of which out-perform the two baseline systems, often by a substantial margin. Deeper analyses shows that performance is dominated by specific conditions involving either specific spoofing attacks or specific acoustic environments. While fusion is shown to be particularly effective for the logical access scenario involving speech synthesis and voice conversion attacks, participants largely struggled to apply fusion successfully for the physical access scenario involving simulated replay attacks. This is likely the result of a lack of system complementarity, while oracle fusion experiments show clear potential to improve performance. Furthermore, while results for simulated data are promising, experiments with real replay data show a substantial gap, most likely due to the presence of additive noise in the latter. This finding, among others, leads to a number of ideas for further research and directions for future editions of the ASVspoof challenge.


title: Near-field Tracking with Large Antenna Arrays: Fundamental Limits and Practical Algorithms

abstract: Applications towards 6G have brought a huge interest towards arrays with a high number of antennas and operating within the millimeter and sub-THz bandwidths for joint communication and localization. With such large arrays, the plane wave approximation is often not accurate because the system may operate in the near-field propagation region (Fresnel region) where the electromagnetic field wavefront is spherical. In this case, the curvature of arrival (CoA) is a measure of the spherical wavefront that can be used to infer the source position using only a single large array. In this paper, we study a near-field tracking problem for inferring the state (i.e., the position and velocity) of a moving source with an ad-hoc observation model that accounts for the phase profile of a large receiving array. For this tracking problem, we derive the posterior Cram\'er-Rao Lower Bound (P-CRLB) and show the effects when the source moves inside and outside the Fresnel region. We provide insights on how the loss of positioning information outside Fresnel comes from an increase of the ranging error rather than from inaccuracies of angular estimation. Then, we investigate the performance of different Bayesian tracking algorithms in the presence of model mismatches and abrupt trajectory changes. Our results demonstrate the feasibility and high accuracy for most of the tracking approaches without the need of wideband signals and of any synchronization scheme. signals and of any synchronization scheme.


title: Contribution of collapsars, supernovae, and neutron star mergers to the evolution of r-process elements in the Galaxy

abstract: We study the evolution of rapid neutron-capture process (r-process) isotopes in the Galaxy. We analyze relative contributions from core collapse supernovae (CCSNe), neutron star mergers (NSMs) and collapsars under a range of astrophysical conditions and nuclear input data. Although the r-process in each of these sites can lead to similar (or differing) isotopic abundances, our simulations reveal that the early contribution of r-process material to the Galaxy was dominated by CCSNe and collapsar r-process nucleosynthesis, while the NSM contribution is unavoidably delayed even under the assumption of the shortest possible minimum merger time.


title: Visualizing hierarchies in scRNA-seq data using a density tree-biased autoencoder

abstract: Motivation: Single cell RNA sequencing (scRNA-seq) data makes studying the development of cells possible at unparalleled resolution. Given that many cellular differentiation processes are hierarchical, their scRNA-seq data is expected to be approximately tree-shaped in gene expression space. Inference and representation of this tree-structure in two dimensions is highly desirable for biological interpretation and exploratory analysis.Results:Our two contributions are an approach for identifying a meaningful tree structure from high-dimensional scRNA-seq data, and a visualization method respecting the tree-structure. We extract the tree structure by means of a density based minimum spanning tree on a vector quantization of the data and show that it captures biological information well. We then introduce DTAE, a tree-biased autoencoder that emphasizes the tree structure of the data in low dimensional space. We compare to other dimension reduction methods and demonstrate the success of our method both qualitatively and quantitatively on real and toy data.Availability: Our implementation relying on PyTorch and Higra is available at https://github.com/hci-unihd/DTAE.


title: Collapse Geometry in Inhomogeneous FRW model

abstract: Collapsing process is studied in special type of inhomogeneous spherically symmetric space-time model (known as IFRW model), having no time-like Killing vector field. The matter field for collapse dynamics is considered to be perfect fluid with anisotropic pressure. The main issue of the present investigation is to examine whether the end state of the collapse to be a naked singularity or a black hole. Finally, null geodesics is studied near the singularity.


title: CASA-Based Speaker Identification Using Cascaded GMM-CNN Classifier in Noisy and Emotional Talking Conditions

abstract: This work aims at intensifying text-independent speaker identification performance in real application situations such as noisy and emotional talking conditions. This is achieved by incorporating two different modules: a Computational Auditory Scene Analysis CASA based pre-processing module for noise reduction and cascaded Gaussian Mixture Model Convolutional Neural Network GMM-CNN classifier for speaker identification followed by emotion recognition. This research proposes and evaluates a novel algorithm to improve the accuracy of speaker identification in emotional and highly-noise susceptible conditions. Experiments demonstrate that the proposed model yields promising results in comparison with other classifiers when Speech Under Simulated and Actual Stress SUSAS database, Emirati Speech Database ESD, the Ryerson Audio-Visual Database of Emotional Speech and Song RAVDESS database and the Fluent Speech Commands database are used in a noisy environment.


title: On quantile oriented sensitivity analysis

abstract: We propose to study quantile oriented sensitivity indices (QOSA indices) and quantile oriented Shapley effects (QOSE). Some theoretical properties of QOSA indices will be given and several calculations of QOSA indices and QOSE will allow to better understand the behaviour and the interest of these indices.


title: Weighted Contourlet Parametric (WCP) Feature Based Breast Tumor Classification from B-Mode Ultrasound Image

abstract: Automated detection of breast tumor in early stages using B-Mode Ultrasound image is crucial for preventing widespread breast cancer specially among women. This paper is primarily focusing on the classification of breast tumors through statistical modelling such as Rician inverse Gaussian (RiIG) pdf of contourlet transformed B-Mode image of breast tumors which is not reported yet in other earlier works. The suitability of RiIG distribution in modeling the contourlet coefficients is illustrated and compared with that of Nakagami distribution. The proposed method consists of pre-processing to remove the speckle noise, segmentation of the lesion region, contourlet transform on the B-Mode Ultrasound image and using the corresponding contourlet sub-band coefficients and the RiIG parameters, production of contourlet parametric (CP) images and weighted contourlet parametric (WCP) images. A number of geometrical, statistical, and texture features are calculated from B-Mode and the contourlet parametric images. In order to classify the features, seven different classifiers are employed. The proposed approach is applied to two different datasets (Mendeley Data and Dataset B) those are available publicly. It is shown that with parametric images, accuracies in the range of 94-97% are achieved for different classifiers. Specifically, with the support vector machine and k-nearest-neighbor classifier, very high accuracies of 97.2% and 97.55% can be obtained for the Mendeley Data and Dataset B,respectively, using the weighted contourlet parametric images.The reported classification performance is also compared with that of other works using the datasets employed in this paper. It is seen that the proposed approach using weighted contourlet parametric images can provide a superior performance.


title: Corner Cases for Visual Perception in Automated Driving: Some Guidance on Detection Approaches

abstract: Automated driving has become a major topic of interest not only in the active research community but also in mainstream media reports. Visual perception of such intelligent vehicles has experienced large progress in the last decade thanks to advances in deep learning techniques but some challenges still remain. One such challenge is the detection of corner cases. They are unexpected and unknown situations that occur while driving. Conventional visual perception methods are often not able to detect them because corner cases have not been witnessed during training. Hence, their detection is highly safety-critical, and detection methods can be applied to vast amounts of collected data to select suitable training data. A reliable detection of corner cases will not only further automate the data selection procedure and increase safety in autonomous driving but can thereby also affect the public acceptance of the new technology in a positive manner. In this work, we continue a previous systematization of corner cases on different levels by an extended set of examples for each level. Moreover, we group detection approaches into different categories and link them with the corner case levels. Hence, we give directions to showcase specific corner cases and basic guidelines on how to technically detect them.


title: Block decomposition of the category of l-modular smooth representations of finite length of GL(m,D)

abstract: Let F be a non-Archimedean locally compact field of residue characteristic p, let G be an inner form of GL(n,F) with n>0, and let l be a prime number different from p. We describe the block decomposition of the category of finite length smooth representations of G with coefficients in an algebraically closed field of characteristic l. Unlike the case of complex representations of an arbitrary p-adic reductive group and that of l-modular representations of GL(n,F), several non-isomorphic supercuspidal supports may correspond to the same block. We describe the (finitely many) supercuspidal supports corresponding to a given block. We also prove that a supercuspidal block is equivalent to the principal (that is, the one which contains the trivial character) block of the multiplicative group of a suitable division algebra, and we determine those irreducible representations having a nontrivial extension with a given supercuspidal representation of G.


title: A complexity of compact 3-manifold via immersed surfaces

abstract: We define an invariant, which we call surface-complexity, of compact 3-manifolds by means of Dehn surfaces. The surface-complexity is a natural number measuring how much the manifold is complicated. We prove that it fulfils interesting properties: it is subadditive under connected sum and finite-to-one on $\mathbb{P}^2$-irreducible and boundary-irreducible manifolds without essential annuli and M\"obius strips. Moreover, for these manifolds, it equals the minimal number of cubes in a cubulation of the manifold, except for the sphere, the ball, the projective space and the lens space $\mathbb{L}_{4,1}$, which have surface-complexity zero. We will also give estimations of the surface-complexity by means of ideal triangulations and Matveev complexity.


title: Vector-Valued Maclaurin Inequalities

abstract: We investigate a Maclaurin inequality for vectors and its connection to an Aleksandrov-type inequality for parallelepipeds.


title: Gehring Link Problem, Focal Radius and Over-torical width

abstract: In this note, we study the Gehring link problem in the round sphere, which motives our study of the width of a band in positively curved manifolds. Using the same idea, we are able to get a sphere theorem for hypersurface in in the round $S^{n}$ in terms of its focal radius as well as the rigidity of Clifford hypersurface in $S^{n}$. The $3$-dimension case of our theorems confirm two conjectures raised by Gromov in [Gro18].


title: Efficient simulation of ultrafast quantum nonlinear optics with matrix product states

abstract: Ultra-short pulses propagating in nonlinear nanophotonic waveguides can simultaneously leverage both temporal and spatial field confinement, promising a route towards single-photon nonlinearities in an all-photonic platform. In this multimode quantum regime, however, faithful numerical simulations of pulse dynamics na\"ively require a representation of the state in an exponentially large Hilbert space. Here, we employ a time-domain, matrix product state (MPS) representation to enable efficient simulations by exploiting the entanglement structure of the system. In order to extract physical insight from these simulations, we develop an algorithm to unravel the MPS quantum state into constituent temporal supermodes, enabling, e.g., access to the phase-space portraits of arbitrary pulse waveforms. As a demonstration, we perform exact numerical simulations of a Kerr soliton in the quantum regime. We observe the development of non-classical Wigner-function negativity in the solitonic mode as well as quantum corrections to the semiclassical dynamics of the pulse. A similar analysis of $\chi^{(2)}$ simultons reveals a unique entanglement structure between the fundamental and second harmonic. Our approach is also readily compatible with quantum trajectory theory, allowing full quantum treatment of propagation loss and decoherence. We expect this work to establish the MPS technique as part of a unified engineering framework for the emerging field of broadband quantum photonics.


title: Limit Theorems for Multi-Group Curie-Weiss Models via the Method of Moments

abstract: We study a multi-group version of the mean-field or Curie-Weiss spin model. For this model, we show how, analogously to the classical (single-group) model, the three temperature regimes are defined. Then we use the method of moments to determine for each regime how the vector of the group magnetisations behaves asymptotically. Some possible applications to social or political sciences are discussed.


title: Absence of mixing for interval translation mappings and some generalizations

abstract: We consider piecewise monotone maps, we show that an ergodic measure for which the map is invertible almost everywhere can not be mixing. It follows that every ergodic measure for an interval translation mapping is not mixing. We also show that double rotations without periodic points have an ergodic but not weakly mixing invariant measure. This article is dedicated to the memory of Anatoly Mikhailovich Stepin.


title: ALMA Observations of the Asymmetric Dust Disk around DM Tau

abstract: We report an analysis of the dust disk around DM~Tau, newly observed with the Atacama Large Millimeter/submillimeter Array (ALMA) at 1.3 mm. The ALMA observations with high sensitivity (8.4~$\mu$Jy/beam) and high angular resolution (35~mas, 5.1~au) detect two asymmetries on the ring at $r\sim$20~au. They could be two vortices in early evolution, the destruction of a large scale vortex, or double continuum emission peaks with different dust sizes. We also found millimeter emissions with $\sim$50~$\mu$Jy (a lower limit dust mass of 0.3~$M_{\rm Moon}$) inside the 3-au ring. To characterize these emissions, we modeled the spectral energy distribution (SED) of DM~Tau using a Monte Carlo radiative transfer code. We found that an additional ring at $r=$ 1~au could explain both the DM~Tau SED and the central point source. The disk midplane temperature at the 1-au ring calculated in our modeling is less than the typical water sublimation temperature of 150~K, prompting the possibility of forming small icy planets there.


title: Low-Latency Digital Downconversion for Control Applications

abstract: The slowly varying complex envelope of sinusoidal signals can be estimated in real-time using digital downconversion. In this paper, we discuss the requirements on digital downconversion for control applications. Two low-latency downconversion filters are compared with respect to performance and implementation aspects.


title: Helium-assisted, solvent-free electro-activation of 3D printed conductive carbon-polylactide electrodes by pulsed laser ablation

abstract: The fused deposition modeling is one of the most rapidly developing 3D printing techniques, with numerous applications, also in the field of applied electrochemistry. Here, utilization of conductive polylactic acid (C-PLA) for 3D printouts is the most promising, due to its biodegradability, commercial availability, and ease of processing. To use C-PLA as an electrode material, an activation process must be performed, removing the polymer matrix and uncovering the electroactive filler. The most popular chemical or electrochemical activation routes are done in solvents. In this manuscript, we present a novel, alternative approach towards C-PLA activation with Nd:YAG (lambda = 1064 nm) laser ablation. We present and discuss the activation efficiency based on various laser source operating conditions, and the gas matrix. The XPS, contact angle, and Raman analyses were performed for evaluation of the surface chemistry and to discuss the mechanism of the activation process. The ablation process carried out in the inert gas matrix (helium) delivers a highly electroactive C-PLA electrode surface, while the resultant charge transfer process is hindered when activated in the air. This is due to thermally induced oxide layers formation. The electroanalytical performance of laser-treated C-PLA in He atmosphere was confirmed through caffeine detection, offering detection limits of 0.49 and 0.40 microM (S/N = 3) based on CV and DPV studies, respectively.


title: Elliptic tori in FPU non-linear chains with a small number of nodes

abstract: We revisit an algorithm constructing elliptic tori, that was originally designed for applications to planetary hamiltonian systems. The scheme is adapted to properly work with models of chains of $N+1$ particles interacting via anharmonic potentials, thus covering also the case of FPU chains. After having preliminarily settled the Hamiltonian in a suitable way, we perform a sequence of canonical transformations removing the undesired perturbative terms by an iterative procedure. This is done by using the Lie series approach, that is explicitly implemented in a programming code with the help of a software package, which is especially designed for computer algebra manipulations. In the cases of FPU chains with $N=4,\, 8$, we successfully apply our new algorithm to the construction of elliptic tori for wide sets of the parameter ruling the size of the perturbation, i.e., the total energy of the system. Moreover, we explore the stability regions surrounding 1D elliptic tori. We compare our semi-analytical results with those provided by numerical explorations of the FPU-model dynamics, where the latter ones are obtained by using techniques based on the so called frequency analysis. We find that our procedure works up to values of the total energy that are of the same order of magnitude with respect to the maximal ones, for which elliptic tori are detected by numerical methods.


title: Membrane emulsification for the production of suspensions of uniform microcapsules with tunable mechanical properties

abstract: A way forward for high throughput fabrication of microcapsules with uniform size and mechanical properties was reported irrespective of the kinetic process of shell assembly. Microcapsules were produced using lab-scale emulsification equipment with a micro-engineered membrane in the size range 10-100 $\mu$m. The shell of the microcapsules was assembled at the water-oil interface by complexation of polyelectrolytes or cross-linking of proteins providing two different kinetic processes. Elasticity of microcapsules was characterized with an automated extensional flow chamber. Process parameters were optimized to obtain suspensions with size variations of 15%. Some strategies were developed to obtain uniform elastic properties according to the kinetics of shell assembly. If kinetics is limited by diffusion, membrane emulsification and shell assembly have to be split into two steps. If kinetics is limited by the quantity of reactants encapsulated in the droplet, variations of elastic properties result only from size variations.


title: Higher-order generalized-$\alpha$ methods for parabolic problems

abstract: We propose a new class of high-order time-marching schemes with dissipation user-control and unconditional stability for parabolic equations. High-order time integrators can deliver the optimal performance of highly-accurate and robust spatial discretizations such as isogeometric analysis. The generalized-$\alpha$ method delivers unconditional stability and second-order accuracy in time and controls the numerical dissipation in the discrete spectrum's high-frequency region. Our goal is to extend the generalized-$alpha$ methodology to obtain a high-order time marching methods with high accuracy and dissipation in the discrete high-frequency range. Furthermore, we maintain the stability region of the original, second-order generalized-$alpha$ method foe the new higher-order methods. That is, we increase the accuracy of the generalized-$\alpha$ method while keeping the unconditional stability and user-control features on the high-frequency numerical dissipation. The methodology solve $k>1, k\in \mathbb{N}$ matrix problems and updates the system unknowns, which correspond to higher-order terms in Taylor expansions to obtain $(3/2k)^{th}$-order method for even $k$ and $(3/2k+1/2)^{th}$-order for odd $k$. A single parameter $\rho^\infty$ controls the dissipation, and the update procedure follows the formulation of the original second-order method. Additionally, we show that our method is A-stable and setting $\rho^\infty=0$ allows us to obtain an L-stable method. Lastly, we extend this strategy to analyze the accuracy order of a generic method.


title: Pairing and the spin susceptibility of the polarized unitary Fermi gas in the normal phase

abstract: We theoretically study the pairing behavior of the unitary Fermi gas in the normal phase. Our analysis is based on the static spin susceptibility, which characterizes the response to an external magnetic field. We obtain this quantity by means of the complex Langevin approach and compare our calculations to available literature data in the spin-balanced case. Furthermore, we present results for polarized systems, where we complement and expand our analysis at high temperature with high-order virial expansion results. The implications of our findings for the phase diagram of the spin-polarized unitary Fermi gas are discussed, in the context of the state of the art.


title: On Transportation of Mini-batches: A Hierarchical Approach

abstract: Mini-batch optimal transport (m-OT) has been successfully used in practical applications that involve probability measures with a very high number of supports. The m-OT solves several smaller optimal transport problems and then returns the average of their costs and transportation plans. Despite its scalability advantage, the m-OT does not consider the relationship between mini-batches which leads to undesirable estimation. Moreover, the m-OT does not approximate a proper metric between probability measures since the identity property is not satisfied. To address these problems, we propose a novel mini-batch scheme for optimal transport, named Batch of Mini-batches Optimal Transport (BoMb-OT), that finds the optimal coupling between mini-batches and it can be seen as an approximation to a well-defined distance on the space of probability measures. Furthermore, we show that the m-OT is a limit of the entropic regularized version of the BoMb-OT when the regularized parameter goes to infinity. Finally, we carry out experiments on various applications including deep generative models, deep domain adaptation, approximate Bayesian computation, color transfer, and gradient flow to show that the BoMb-OT can be widely applied and performs well in various applications.


title: RobOT: Robustness-Oriented Testing for Deep Learning Systems

abstract: Recently, there has been a significant growth of interest in applying software engineering techniques for the quality assurance of deep learning (DL) systems. One popular direction is deep learning testing, where adversarial examples (a.k.a.~bugs) of DL systems are found either by fuzzing or guided search with the help of certain testing metrics. However, recent studies have revealed that the commonly used neuron coverage metrics by existing DL testing approaches are not correlated to model robustness. It is also not an effective measurement on the confidence of the model robustness after testing. In this work, we address this gap by proposing a novel testing framework called Robustness-Oriented Testing (RobOT). A key part of RobOT is a quantitative measurement on 1) the value of each test case in improving model robustness (often via retraining), and 2) the convergence quality of the model robustness improvement. RobOT utilizes the proposed metric to automatically generate test cases valuable for improving model robustness. The proposed metric is also a strong indicator on how well robustness improvement has converged through testing. Experiments on multiple benchmark datasets confirm the effectiveness and efficiency of RobOT in improving DL model robustness, with 67.02% increase on the adversarial robustness that is 50.65% higher than the state-of-the-art work DeepGini.


title: CP Asymmetries and Higher-Order Unitarity Relations

abstract: The main focus of this paper is to introduce a new method to control perturbative calculations of CP asymmetric reaction rates in the Boltzmann equation. CP asymmetries in particle reactions are traditionally calculated in terms of complex couplings, Feynman integrals, and Cutkosky rules. We use an expansion of the $S$-matrix unitarity condition instead, obtaining a general expression for the asymmetries without reference to the imaginary part of the loops. Asymmetry cancelations implied by CPT and unitarity are manifested in a diagrammatic way and easy to track at any order of perturbation theory. We demonstrate the power of this general framework within the right-handed neutrino and top-quark scattering asymmetries in seesaw type-I leptogenesis.


title: Novel multi-step predictor-corrector schemes for backward stochastic differential equations

abstract: Novel multi-step predictor-corrector numerical schemes have been derived for approximating decoupled forward-backward stochastic differential equations (FBSDEs). The stability and high order rate of convergence of the schemes are rigorously proved. We also present a sufficient and necessary condition for the stability of the schemes. Numerical experiments are given to illustrate the stability and convergence rates of the proposed methods.


title: Using Machine Intelligence to Prioritise Code Review Requests

abstract: Modern Code Review (MCR) is the process of reviewing new code changes that need to be merged with an existing codebase. As a developer, one may receive many code review requests every day, i.e., the review requests need to be prioritised. Manually prioritising review requests is a challenging and time-consuming process. To address the above problem, we conducted an industrial case study at Ericsson aiming at developing a tool called Pineapple, which uses a Bayesian Network to prioritise code review requests. To validate our approach/tool, we deployed it in a live software development project at Ericsson, wherein more than 150 developers develop a telecommunication product. We focused on evaluating the predictive performance, feasibility, and usefulness of our approach. The results indicate that Pineapple has competent predictive performance (RMSE = 0.21 and MAE = 0.15). Furthermore, around 82.6% of Pineapple's users believe the tool can support code review request prioritisation by providing reliable results, and around 56.5% of the users believe it helps reducing code review lead time. As future work, we plan to evaluate Pineapple's predictive performance, usefulness, and feasibility through a longitudinal investigation.


title: PatchX: Explaining Deep Models by Intelligible Pattern Patches for Time-series Classification

abstract: The classification of time-series data is pivotal for streaming data and comes with many challenges. Although the amount of publicly available datasets increases rapidly, deep neural models are only exploited in a few areas. Traditional methods are still used very often compared to deep neural models. These methods get preferred in safety-critical, financial, or medical fields because of their interpretable results. However, their performance and scale-ability are limited, and finding suitable explanations for time-series classification tasks is challenging due to the concepts hidden in the numerical time-series data. Visualizing complete time-series results in a cognitive overload concerning our perception and leads to confusion. Therefore, we believe that patch-wise processing of the data results in a more interpretable representation. We propose a novel hybrid approach that utilizes deep neural networks and traditional machine learning algorithms to introduce an interpretable and scale-able time-series classification approach. Our method first performs a fine-grained classification for the patches followed by sample level classification.


title: Scaling Up Visual and Vision-Language Representation Learning With Noisy Text Supervision

abstract: Pre-trained representations are becoming crucial for many NLP and perception tasks. While representation learning in NLP has transitioned to training on raw text without human annotations, visual and vision-language representations still rely heavily on curated training datasets that are expensive or require expert knowledge. For vision applications, representations are mostly learned using datasets with explicit class labels such as ImageNet or OpenImages. For vision-language, popular datasets like Conceptual Captions, MSCOCO, or CLIP all involve a non-trivial data collection (and cleaning) process. This costly curation process limits the size of datasets and hence hinders the scaling of trained models. In this paper, we leverage a noisy dataset of over one billion image alt-text pairs, obtained without expensive filtering or post-processing steps in the Conceptual Captions dataset. A simple dual-encoder architecture learns to align visual and language representations of the image and text pairs using a contrastive loss. We show that the scale of our corpus can make up for its noise and leads to state-of-the-art representations even with such a simple learning scheme. Our visual representation achieves strong performance when transferred to classification tasks such as ImageNet and VTAB. The aligned visual and language representations enables zero-shot image classification and also set new state-of-the-art results on Flickr30K and MSCOCO image-text retrieval benchmarks, even when compared with more sophisticated cross-attention models. The representations also enable cross-modality search with complex text and text + image queries.


title: Focusing on the Hybrid Quantum Computing -- Tabu Search Algorithm: new results on the Asymmetric Salesman Problem

abstract: Quantum Computing is an emerging paradigm which is gathering a lot of popularity in the current scientific and technological community. Widely conceived as the next frontier of computation, Quantum Computing is still at the dawn of its development. Thus, current solving systems suffer from significant limitations in terms of performance and capabilities. Some interesting approaches have been devised by researchers and practitioners in order to overcome these barriers, being quantum-classical hybrid algorithms one of the most often used solving schemes. The main goal of this paper is to extend the results and findings of the recently proposed hybrid Quantum Computing - Tabu Search Algorithm for partitioning problems. To do that, we focus our research on the adaptation of this method to the Asymmetric Traveling Salesman Problem. In overall, we have employed six well-known instances belonging to TSPLIB to assess the performance of Quantum Computing - Tabu Search Algorithm in comparison to QBSolv, a state-of-the-art decomposing solver. Furthermore, as an additional contribution, this work also supposes the first solving of the Asymmetric Traveling Salesman Problem using a Quantum Computing based method. Aiming to boost whole community's research in QC, we have released the project's repository as open source code for further application and improvements.


title: QFL: Data-Driven Feedback Loop to Manage Quality in Agile Development

abstract: Background: Quality requirements (QRs) describe desired system qualities, playing an important role in the success of software projects. In the context of agile software development (ASD), where the main objective is the fast delivery of functionalities, QRs are often ill-defined and not well addressed during the development process. Software analytics tools help to control quality though the measurement of quality-related software aspects to support decision-makers in the process of QR management. Aim: The goal of this research is to explore the benefits of integrating a concrete software analytics tool, Q-Rapids Tool, to assess software quality and support QR management processes. Method: In the context of a technology transfer project, the Softeam company has integrated Q-Rapids Tool in their development process. We conducted a series of workshops involving Softeam members working in the Modelio product development. Results: We present the Quality Feedback Loop (QFL) process to be integrated in software development processes to control the complete QR life-cycle, from elicitation to validation. As a result of the implementation of QFL in Softeam, Modelio's team members highlight the benefits of integrating a data analytics tool with their project planning tool and the fact that project managers can control the whole process making the final decisions. Conclusions: Practitioners can benefit from the integration of software analytics tools as part of their software development toolchain to control software quality. The implementation of QFL promotes quality in the organization and the integration of software analytics and project planning tools also improves the communication between teams.


title: B/Surf: Interactive B\'ezier Splines on Surfaces

abstract: B\'ezier curves provide the basic building blocks of graphic design in 2D. In this paper, we port B\'ezier curves to manifolds. We support the interactive drawing and editing of B\'ezier splines on manifold meshes with millions of triangles, by relying on just repeated manifold averages. We show that direct extensions of the De Casteljau and Bernstein evaluation algorithms to the manifold setting are fragile, and prone to discontinuities when control polygons become large. Conversely, approaches based on subdivision are robust and can be implemented efficiently. We define B\'ezier curves on manifolds, by extending both the recursive De Casteljau bisection and a new open-uniform Lane-Riesenfeld subdivision scheme, which provide curves with different degrees of smoothness. For both schemes, we present algorithms for curve tracing, point evaluation, and point insertion. We test our algorithms for robustness and performance on all watertight, manifold, models from the Thingi10k repository, without any pre-processing and with random control points. For interactive editing, we port all the basic user interface interactions found in 2D tools directly to the mesh. We also support mapping complex SVG drawings to the mesh and their interactive editing.


title: What can we learn about light-meson interactions at electron-positron colliders?

abstract: Precision studies at electron-positron colliders with center-of-mass energies in the charm-tau region and below have strongly contributed to our understanding of light-meson interactions at low energies. We focus on the processes involving two or three light mesons with invariant masses below nucleon-antinucleon threshold. A prominent role is given to the interactions of the nine lightest pseudoscalar mesons (pions, kaons, $\eta$, and $\eta'$) and the two narrow neutral isoscalar vector mesons $\omega$ and $\phi$. Experimental methods used to produce the mesons are reviewed as well as theory tools to extract properties of the meson-meson interactions. Examples of recent results from the DA$\Phi$NE, BEPCII, and VEPP-2000 colliders are presented. In the outlook we briefly discuss prospects for further studies at future super-charm-tau factories.


title: What can be learned from a proto-neutron star's mass and radius?

abstract: We make extensive numerical studies of masses and radii of proto-neutron stars during the first second after their birth in core-collapse supernova events. We use a quasi-static approach for the computation of proto-neutron star structure, built on parameterized entropy and electron fraction profiles, that are then evolved with neutrino cooling processes. We vary the equation of state of nuclear matter, the proto-neutron star mass and the parameters of the initial profiles, to take into account our ignorance of the supernova progenitor properties. We show that if masses and radii of a proto-neutron star can be determined in the first second after the birth, e.g. from gravitational wave emission, no information could be obtained on the corresponding cold neutron star and therefore on the cold nuclear equation of state. Similarly, it seems unlikely that any property of the proto-neutron star equation of state (hot and not beta-equilibrated) could be determined either, mostly due to the lack of information on the entropy, or equivalently temperature, distribution in such objects.


title: Toward Improving Coherence and Diversity of Slogan Generation

abstract: Previous work in slogan generation focused on utilising slogan skeletons mined from existing slogans. While some generated slogans can be catchy, they are often not coherent with the company's focus or style across their marketing communications because the skeletons are mined from other companies' slogans. We propose a sequence-to-sequence (seq2seq) transformer model to generate slogans from a brief company description. A naive seq2seq model fine-tuned for slogan generation is prone to introducing false information. We use company name delexicalisation and entity masking to alleviate this problem and improve the generated slogans' quality and truthfulness. Furthermore, we apply conditional training based on the first words' POS tag to generate syntactically diverse slogans. Our best model achieved a ROUGE-1/-2/-L F1 score of 35.58/18.47/33.32. Besides, automatic and human evaluations indicate that our method generates significantly more factual, diverse and catchy slogans than strong LSTM and transformer seq2seq baselines.


title: Normal and pseudonormal numbers

abstract: After a short review of the historical milestones on normal numbers, we introduce the Borel numbers as the reals admitting a probability function on their different bases representations. In this setting, we provide two probabilistic characterizations of normality based on the stochastic independence of their digits. Finally, we define the pseudonormality condition, which is satisfied by normal numbers and may be evaluated in a finite number of steps.