title: Population Distribution in the Wake of a Sphere

abstract: The fluid physics of the heat and mass transfer from an object in its wake has much importance for natural phenomena as well as for many engineering applications. Here, we report numerical results on the population density of the spatial distribution of fluid velocity, pressure, scalar concentration and scalar fluxes of a wake flow past a sphere in the steady wake regime (Reynolds number 25 to 285). We find the population density to be well described by a Lorentzian distribution. We observe this apparently universal form both in the symmetric wake regime and in the more complex three dimensional wake structure of the steady oblique regime with Reynolds number larger than 225. The population density distribution identifies the increase in dimensionless kinetic energy and scalar fluxes with the increase in Reynolds number, whereas the dimensionless scalar population density shows negligible variation with the Reynolds number.


title: On Packet Reordering in Time-Sensitive Networks

abstract: Time-sensitive networks (IEEE TSN or IETF DetNet) may tolerate some packet reordering. Re-sequencing buffers are then used to provide in-order delivery, the parameters of which (timeout, buffer size) may affect worst-case delay and delay jitter. There is so far no precise understanding of per-flow reordering metrics nor of the dimensioning of re-sequencing buffers in order to provide worst-case guarantees, as required in such networks. First, we show that a previously proposed per-flow metric, reordering late time offset (RTO), determines the timeout value. If the network is lossless, another previously defined metric, the reordering byte offset (RBO), determines the required buffer. If packet losses cannot be ignored, the required buffer may be larger than RBO, and depends on jitter, an arrival curve of the flow at its source, and the timeout. Then we develop a calculus to compute the RTO for a flow path; the method uses a novel relation with jitter and arrival curve, together with a decomposition of the path into non order-preserving and order-preserving elements. We also analyse the effect of re-sequencing buffers on worst-case delay, jitter and propagation of arrival curves. We show in particular that, in a lossless (but non order-preserving) network, re-sequencing is "for free", namely, it does not increase worst-case delay nor jitter, whereas in a lossy network, re-sequencing increases the worst-case delay and jitter. We apply the analysis to evaluate the performance impact of placing re-sequencing buffers at intermediate points and illustrate the results on two industrial test cases.


title: The stochastic heat equation as the limit of a stirring dynamics perturbed by a voter model

abstract: We prove that in dimension $d\le 3$ a modified density field of a stirring dynamics perturbed by a voter model converges to the stochastic heat equation.


title: Convolutional Ordinal Regression Forest for Image Ordinal Estimation

abstract: Image ordinal estimation is to predict the ordinal label of a given image, which can be categorized as an ordinal regression problem. Recent methods formulate an ordinal regression problem as a series of binary classification problems. Such methods cannot ensure that the global ordinal relationship is preserved since the relationships among different binary classifiers are neglected. We propose a novel ordinal regression approach, termed Convolutional Ordinal Regression Forest or CORF, for image ordinal estimation, which can integrate ordinal regression and differentiable decision trees with a convolutional neural network for obtaining precise and stable global ordinal relationships. The advantages of the proposed CORF are twofold. First, instead of learning a series of binary classifiers \emph{independently}, the proposed method aims at learning an ordinal distribution for ordinal regression by optimizing those binary classifiers \emph{simultaneously}. Second, the differentiable decision trees in the proposed CORF can be trained together with the ordinal distribution in an end-to-end manner. The effectiveness of the proposed CORF is verified on two image ordinal estimation tasks, i.e. facial age estimation and image aesthetic assessment, showing significant improvements and better stability over the state-of-the-art ordinal regression methods.


title: Spin dynamics under the influence of elliptically rotating fields: Extracting the field topology from time-averaged quantities

abstract: We focus on quantum systems that can be effectively described as a localized spin-$s$ particle subject to a static magnetic field coplanar to a coexisting elliptically rotating time-periodic field. Depending on the values taken on by the static and rotating components, the total magnetic field shows two regimes with different topological properties. Along the boundary that separates these two regimes, the total magnetic field vanishes periodically in time and the system dynamics becomes highly nonadiabatic. We derive a relation between two time-averaged quantities of the system which is linked to the topology of the applied magnetic field. Based on this finding, we propose a measurable quantity that has the ability to indicate the topology of the total magnetic field without knowing a priori the value of the static component. We also propose a possible implementation of our approach by a trapped-ion quantum system. The results presented here are independent of the initial state of the system. In particular, when the system is initialized in a Floquet state, we find some interesting properties of the quasienergy spectrum which are linked to the topological change of the total magnetic field. Throughout the paper, the theoretical results are illustrated with numerical simulations for the case of a two-level quantum system.


title: Universality class and exact phase boundary in the superradiant phase transition

abstract: The Dicke model and Rabi model can undergo phase transitions from the normal phase to the superradiant phase at the same boundary, which can be accurately determined using some approximated approaches. The underlying mechanism for this coincidence is still unclear and the universality class of these two models is elusive. Here we prove this phase transition exactly using the path-integral approach based on the faithful Schwinger fermion representation, and give a unified phase boundary condition for these models. We demonstrate that at the phase boundary, the fluctuation of the bosonic field is vanished, thus it can be treated as a classical field, based on which a much simplified method to determine the phase boundary is developed. This explains why the approximated theories by treating the operators as classical variables can yield the exact boundary. We use this method to study several similar spin and boson models, showing its much wider applicability than the previously used approaches. Our results demonstrate that these phase transitions belong to the same universality by the classical Landau theory of phase transitions, which can be confirmed using the platforms in the recent experiments.


title: PDMS microfluidic film for in vitro engineering of mesoscale neuronal networks

abstract: Polydimethylsiloxane (PDMS) microfluidic devices have become a standard tool for engineering cells and multicellular networks in vitro. However, the reservoirs, or through-holes where cells access the devices, are usually fabricated manually using a biopsy punch, making it difficult to create a large-scale array of small (<1 mm) reservoirs. Here, we present a fabrication process for a thin-film microfluidic device, or a microfluidic film ({\mu}FF), containing an array of through-holes. Holes as small as 100 {\mu}m by 100 {\mu}m spanning 10 mm by 10 mm are characterized. The geometry of the through-holes was precisely defined by the photoresist mould. A challenge in using the {\mu}FF for cell culture was air-bubble entrapments in the through-holes, which became more prominent with smaller holes. We show that this issue can be overcome using ethanol-mediated wetting of the PDMS surface, and demonstrate functional recording of cultured neuronal networks grown in {\mu}FFs. This technology opens new application of microfluidic devices to mesoscale systems comprised of several tens to hundreds of cells.


title: Computational study of antiferromagnetic and mixed-valent diamagnetic phase of AgF2: crystal, electronic and phonon structure and p-T phase diagram

abstract: Crystal and electronic structure, lattice dynamics and thermodynamic stability of little known mixed valent diamagnetic AgIAgIIIF4 beta form of AgF2 is thoroughly examined for the first time and compared with well known antiferromagnetic AgIIF2 alpha form within the framework of Density Functional Theory based methods, phonon direct method and quasiharmonic approximation. Computed equations of state, bulk moduli, electronic densities of states, electronic and phonon band structures including analysis of optically active modes and p T phase diagram of the alpha/beta system are presented. This study demonstrates that alpha is thermodynamically preferred over beta at all temperatures and pressures of its existance but simultaneously beta is dynamically stable in much broader pressure range. The beta phase is discussed in broader context of isostructural ternary metal fluorides and isolectronic oxides including NaCuO2, the reference compound for existence of CuIII species in high temperature oxocuprate superconductors.


title: Perception Score, A Learned Metric for Open-ended Text Generation Evaluation

abstract: Automatic evaluation for open-ended natural language generation tasks remains a challenge. Existing metrics such as BLEU show a low correlation with human judgment. We propose a novel and powerful learning-based evaluation metric: Perception Score. The method measures the overall quality of the generation and scores holistically instead of only focusing on one evaluation criteria, such as word overlapping. Moreover, it also shows the amount of uncertainty about its evaluation result. By connecting the uncertainty, Perception Score gives a more accurate evaluation for the generation system. Perception Score provides state-of-the-art results on two conditional generation tasks and two unconditional generation tasks.


title: Equivalence of space and time-bins in DPS-QKD

abstract: Key generation efficiency, and security, in DPS-QKD improve with an increase in the number of path delays or time-bin superpositions. We demonstrate the implementation of super-position states using time-bins, and establish an equivalence with path-based superposition, thus yielding a simpler implementation of higher-order superposition states for differential phase-shift quantum key distribution (DPS-QKD). We set up DPS-QKD, over 105 km of single mode optical fiber, with a quantum bit error rate of less than 15% at a secure key rate of 2 kbps. With temporal guard bands, the QBER reduced to less than 10%, but with a 20% reduction in the key rate.


title: String Theory and non-Riemannian Geometry

abstract: The $\mathbf{O}(D,D)$ covariant generalized metric, postulated as a truly fundamental variable, can describe novel geometries where the notion of Riemannian metric ceases to exist. Here we quantize a closed string upon such backgrounds and identify flat, anomaly-free, non-Riemannian string vacua in the familiar critical dimension, $D{=26}$ (or $D{=10}$). Remarkably, the whole BRST closed string spectrum is restricted to just one level with no tachyon, and matches the linearized equations of motion of Double Field Theory. Taken as an internal space, our non-Riemannian vacua may open up novel avenues alternative to traditional string compactification.


title: SimPatch: A Nearest Neighbor Similarity Match between Image Patches

abstract: Measuring the similarity between patches in images is a fundamental building block in various tasks. Naturally, the patch-size has a major impact on the matching quality, and on the consequent application performance. We try to use large patches instead of relatively small patches so that each patch contains more information. We use different feature extraction mechanisms to extract the features of each individual image patches which forms a feature matrix and find out the nearest neighbor patches in the image. The nearest patches are calculated using two different nearest neighbor algorithms in this paper for a query patch for a given image and the results have been demonstrated in this paper.


title: Label-free Plasmonic Detection of Untethered Nanometer-sized Brownian Particles

abstract: Optical detection of individual nanometer-sized analytes, virus particles, and protein molecules holds great promise for understanding and control of biological samples and healthcare applications. As fluorescent labels impose restrictions on detection bandwidth and require lengthy and invasive processes, label-free optical techniques are highly desirable. Powerful label-free optical methods have recently emerged, such as interferometric scattering microscopy, plasmonic nanoparticle-based assays and microcavity-based assays. Although highly sensitive, these methods are so far restricted to integration times in excess of microseconds. This often imposes a requirement to impede analyte motion during these periods via specific molecular tethers, unspecific adsorption or confining arrangements. Here we introduce an optical technique capable of transforming gold nanorods commonly used as photostable labels into highly localized high-speed probes. Our method provides a time resolution well below microseconds. This mitigates the requirement for molecular tethers and allows us to detect single untethered nanoparticles in Brownian motion traversing sub atto-liter sensing volumes. Our method opens a novel gateway for the investigation of highly localized and highly dynamic nanoscale systems and constitutes a first step towards the label-free recognition of single untethered proteins.


title: Cascade Graph Neural Networks for RGB-D Salient Object Detection

abstract: In this paper, we study the problem of salient object detection (SOD) for RGB-D images using both color and depth information.A major technical challenge in performing salient object detection fromRGB-D images is how to fully leverage the two complementary data sources. Current works either simply distill prior knowledge from the corresponding depth map for handling the RGB-image or blindly fuse color and geometric information to generate the coarse depth-aware representations, hindering the performance of RGB-D saliency detectors.In this work, we introduceCascade Graph Neural Networks(Cas-Gnn),a unified framework which is capable of comprehensively distilling and reasoning the mutual benefits between these two data sources through a set of cascade graphs, to learn powerful representations for RGB-D salient object detection. Cas-Gnn processes the two data sources individually and employs a novelCascade Graph Reasoning(CGR) module to learn powerful dense feature embeddings, from which the saliency map can be easily inferred. Contrast to the previous approaches, the explicitly modeling and reasoning of high-level relations between complementary data sources allows us to better overcome challenges such as occlusions and ambiguities. Extensive experiments demonstrate that Cas-Gnn achieves significantly better performance than all existing RGB-DSOD approaches on several widely-used benchmarks.


title: Pretraining Techniques for Sequence-to-Sequence Voice Conversion

abstract: Sequence-to-sequence (seq2seq) voice conversion (VC) models are attractive owing to their ability to convert prosody. Nonetheless, without sufficient data, seq2seq VC models can suffer from unstable training and mispronunciation problems in the converted speech, thus far from practical. To tackle these shortcomings, we propose to transfer knowledge from other speech processing tasks where large-scale corpora are easily available, typically text-to-speech (TTS) and automatic speech recognition (ASR). We argue that VC models initialized with such pretrained ASR or TTS model parameters can generate effective hidden representations for high-fidelity, highly intelligible converted speech. We apply such techniques to recurrent neural network (RNN)-based and Transformer based models, and through systematical experiments, we demonstrate the effectiveness of the pretraining scheme and the superiority of Transformer based models over RNN-based models in terms of intelligibility, naturalness, and similarity.


title: Sphere partition function of Calabi-Yau GLSMs

abstract: The sphere partition function of Calabi-Yau gauged linear sigma models (GLSMs) has been shown to compute the exact Kaehler potential of the Kaehler moduli space of a Calabi-Yau. We propose a universal expression for the sphere partition function evaluated in hybrid phases of Calabi-Yau GLSMs that are fibrations of Landau-Ginzburg orbifolds over some base manifold. Special cases include Calabi-Yau complete intersections in toric ambient spaces and Landau-Ginzburg orbifolds. The key ingredients that enter the expression are Givental's I/J-functions, the Gamma class and further data associated to the hybrid model. We test the proposal for one- and two-parameter abelian GLSMs, making connections, where possible, to known results from mirror symmetry and FJRW theory.


title: Multilevel Monte Carlo for quantum mechanics on a lattice

abstract: Monte Carlo simulations of quantum field theories on a lattice become increasingly expensive as the continuum limit is approached since the cost per independent sample grows with a high power of the inverse lattice spacing. Simulations on fine lattices suffer from critical slowdown, the rapid growth of autocorrelations in the Markov chain. This causes a strong increase in the number of lattice configurations that have to be generated to obtain statistically significant results. This paper discusses hierarchical sampling methods to tame the growth in autocorrelations. Combined with multilevel variance reduction, this significantly reduces the computational cost of simulations for given tolerances $\epsilon_{\text{disc}}$ on the discretisation error and $\epsilon_{\text{stat}}$ on the statistical error. For observables with lattice errors of order $\alpha$ and integrated autocorrelation times that grow like $\tau_{\mathrm{int}}\propto a^{-z}$, multilevel Monte Carlo (MLMC) reduces the cost from $\mathcal{O}(\epsilon_{\text{stat}}^{-2}\epsilon_{\text{disc}}^{-(1+z)/\alpha})$ to $\mathcal{O}(\epsilon_{\text{stat}}^{-2}\vert\log \epsilon_{\text{disc}} \vert^2+\epsilon_{\text{disc}}^{-1/\alpha})$ or $\mathcal{O}(\epsilon_{\text{stat}}^{-2}+\epsilon_{\text{disc}}^{-1/\alpha})$. Higher gains are expected for simulations of quantum field theories in $D$ dimensions. The efficiency of the approach is demonstrated on two model systems, including a topological oscillator that is badly affected by critical slowdown from topological charge freezing. On fine lattices, the new methods are orders of magnitude faster than standard Hybrid Monte Carlo sampling. For high resolutions, MLMC can be used to accelerate even the cluster algorithm for the topological oscillator. Performance is further improved through perturbative matching which guarantees efficient coupling of theories on the multilevel hierarchy.


title: Low-Congestion Shortcuts for Graphs Excluding Dense Minors

abstract: We prove that any $n$-node graph $G$ with diameter $D$ admits shortcuts with congestion $O(\delta D \log n)$ and dilation $O(\delta D)$, where $\delta$ is the maximum edge-density of any minor of $G$. Our proof is simple, elementary, and constructive - featuring a $\tilde{\Theta}(\delta D)$-round distributed construction algorithm. Our results are tight up to $\tilde{O}(1)$ factors and generalize, simplify, unify, and strengthen several prior results. For example, for graphs excluding a fixed minor, i.e., graphs with constant $\delta$, only a $\tilde{O}(D^2)$ bound was known based on a very technical proof that relies on the Robertson-Seymour Graph Structure Theorem. A direct consequence of our result is that many graph families, including any minor-excluded ones, have near-optimal $\tilde{\Theta}(D)$-round distributed algorithms for many fundamental communication primitives and optimization problems including minimum spanning tree, minimum cut, and shortest-path approximations.


title: Cosmography approach to dark energy cosmologies: new constrains using the Hubble diagrams of supernovae, quasars and gamma-ray bursts

abstract: In the context of cosmography approach and using the data of Hubble diagram for supernovae, quasars and gamma-ray bursts, we study some DE parametrizations and also the concordance $\Lambda$CDM universe. Using the different combinations of data sample including ({\it i}) supernovae (Pantheon), ({\it ii}) Pantheon + quasars and ({\it iii}) Pantheon + quasars + gamma-ray bursts and applying the minimization of $\chi^2$ function of distance modulus of data samples in the context of Markov Chain Monte Carlo method, we first obtain the constrained values of the cosmographic parameters in model independent cosmography scenario. We then investigate our analysis, for different concordance $\Lambda$CDM cosmology, $w$CDM, CPL and Pade parametrizations. Comparing the numerical values of the cosmographic parameters obtained for DE scenarios with those of the model independent method, we show that the concordance $\Lambda$CDM model has a serious tension when we involve the quasars and gamma-ray bursts data in our analysis. While the high redshift quasars and gamma-ray bursts can falsify the concordance model, our results of cosmography approach indicate that the other DE parametrizations are still consistent with these observations.


title: A Note on Non-tangential Convergence for Schr\"{o}dinger Operators

abstract: The goal of this note is to establish non-tangential convergence results for Schr\"{o}dinger operators along restricted curves. We consider the relationship between the dimension of this kind of approach region and the regularity for the initial data which implies convergence. As a consequence, we obtain a upper bound for $p$ such that the Schr\"{o}dinger maximal function is bounded from $H^{s}(\mathbb{R}^{n})$ to $L^{p}(\mathbb{R}^{n})$ for any $s > \frac{n}{2(n+1)}$.


title: Uncertainty Relations of Variances in View of the Weak Value

abstract: The Schr{\"o}dinger inequality is known to underlie the Kennard-Robertson inequality, which is the standard expression of quantum uncertainty for the product of variances of two observables $A$ and $B$, in the sense that the latter is derived from the former. In this paper we point out that, albeit more subtle, there is yet another inequality which underlies the Schr{\"o}dinger inequality in the same sense. The key component of this observation is the use of the weak-value operator $A_{\rm w}(B)$ introduced in our previous works (named after Aharonov's weak value), which was shown to act as the proxy operator for $A$ when $B$ is measured. The lower bound of our novel inequality supplements that of the Schr{\"o}dinger inequality by a term representing the discord between $A_{\rm w}(B)$ and $A$. In addition, the decomposition of the Schr{\"o}dinger inequality, which was also obtained in our previous works by making use the weak-value operator, is examined more closely to analyze its structure and the minimal uncertainty states. Our results are exemplified with some elementary spin 1 and 3/2 models as well as the familiar case of $A$ and $B$ being the position and momentum of a particle.


title: Boosting Parallel Influence-Maximization Kernels for Undirected Networks with Fusing and Vectorization

abstract: Influence maximization (IM) is the problem of finding a seed vertex set which is expected to incur the maximum influence spread on a graph. It has various applications in practice such as devising an effective and efficient approach to disseminate information, news or ad within a social network. The problem is shown to be NP-hard and approximation algorithms with provable quality guarantees exist in the literature. However, these algorithms are computationally expensive even for medium-scaled graphs. Furthermore, graph algorithms usually suffer from spatial and temporal irregularities during memory accesses, and this adds an extra cost on top of the already expensive IM kernels. In this work, we leverage fused sampling, memoization, and vectorization to restructure, parallelize and boost their performance on undirected networks. The proposed approach employs a pseudo-random function and performs multiple Monte-Carlo simulations in parallel to exploit the SIMD lanes effectively and efficiently. Besides, it significantly reduces the number of edge traversals, hence the amount of data brought from the memory, which is critical for almost all memory-bound graph kernels. We apply the proposed approach to the traditional MixGreedy algorithm and propose Infuser which is more than 3000 times faster than the traditional greedy approaches and can run on large graphs that have been considered as too large in the literature.


title: Incremental Text to Speech for Neural Sequence-to-Sequence Models using Reinforcement Learning

abstract: Modern approaches to text to speech require the entire input character sequence to be processed before any audio is synthesised. This latency limits the suitability of such models for time-sensitive tasks like simultaneous interpretation. Interleaving the action of reading a character with that of synthesising audio reduces this latency. However, the order of this sequence of interleaved actions varies across sentences, which raises the question of how the actions should be chosen. We propose a reinforcement learning based framework to train an agent to make this decision. We compare our performance against that of deterministic, rule-based systems. Our results demonstrate that our agent successfully balances the trade-off between the latency of audio generation and the quality of synthesised audio. More broadly, we show that neural sequence-to-sequence models can be adapted to run in an incremental manner.


title: Electromagnetic field theory for invariant beams using scalar potentials

abstract: We present a description of the electromagnetic field for propagation invariant beams using scalar potentials. Fundamental dynamical quantities are obtained: the energy density, the Poynting vector and the Maxwell stress tensor. As an example, all these quantities are explicitly calculated for the Bessel beams, which are the invariant beams with circular cylindrical symmetry.


title: Parallelizing MCMC Sampling via Space Partitioning

abstract: Efficient sampling of many-dimensional and multimodal density functions is a task of great interest in many research fields. We describe an algorithm that allows parallelizing inherently serial Markov chain Monte Carlo (MCMC) sampling by partitioning the space of the function parameters into multiple subspaces and sampling each of them independently. The samples of the different subspaces are then reweighted by their integral values and stitched back together. This approach allows reducing sampling wall-clock time by parallel operation. It also improves sampling of multimodal target densities and results in less correlated samples. Finally, the approach yields an estimate of the integral of the target density function.


title: Feedback between Sgr A and B : AGN-Starburst Connection in the Galactic Centre

abstract: Propagation of fast-mode magneto-hydrodynamic (MHD) compression waves is traced in the Galactic Centre. MHD waves produced by the active Galactic nucleus (Sgr A) focus on the molecular clouds such as Sgr B in the central molecular zone, which will trigger star formation, or possibly starburst. MHD waves newly excited by the starburst propagate backward, and focus on the nucleus (Sgr A), where implosive waves compress the nuclear gas to promote fueling the nucleus and may trigger nucleus activity. Echoing focusing of MHD waves between Sgr A (active galactic nucleus: AGN) and Sgr B (starburst) trigger each other at high efficiency by minimal energy requirement. It also solves the problem of angular momentum for AGN fueling, as the focusing waves do not require global gas flow.


title: Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

abstract: Generalising and re-using knowledge learned while solving one problem instance has been neglected by state-of-the-art answer set solvers. We suggest a new approach that generalises learned nogoods for re-use to speed-up the solving of future problem instances. Our solution combines well-known ASP solving techniques with deductive logic-based machine learning. Solving performance can be improved by adding learned non-ground constraints to the original program. We demonstrate the effects of our method by means of realistic examples, showing that our approach requires low computational cost to learn constraints that yield significant performance benefits in our test cases. These benefits can be seen with ground-and-solve systems as well as lazy-grounding systems. However, ground-and-solve systems suffer from additional grounding overheads, induced by the additional constraints in some cases. By means of conflict minimization, non-minimal learned constraints can be reduced. This can result in significant reductions of grounding and solving efforts, as our experiments show. (Under consideration for acceptance in TPLP.)


title: Privacy Guarantees for De-identifying Text Transformations

abstract: Machine Learning approaches to Natural Language Processing tasks benefit from a comprehensive collection of real-life user data. At the same time, there is a clear need for protecting the privacy of the users whose data is collected and processed. For text collections, such as, e.g., transcripts of voice interactions or patient records, replacing sensitive parts with benign alternatives can provide de-identification. However, how much privacy is actually guaranteed by such text transformations, and are the resulting texts still useful for machine learning? In this paper, we derive formal privacy guarantees for general text transformation-based de-identification methods on the basis of Differential Privacy. We also measure the effect that different ways of masking private information in dialog transcripts have on a subsequent machine learning task. To this end, we formulate different masking strategies and compare their privacy-utility trade-offs. In particular, we compare a simple redact approach with more sophisticated word-by-word replacement using deep learning models on multiple natural language understanding tasks like named entity recognition, intent detection, and dialog act classification. We find that only word-by-word replacement is robust against performance drops in various tasks.


title: Pricing group membership

abstract: We consider a model where agents differ in their `types' which determines their voluntary contribution towards a public good. We analyze what the equilibrium composition of groups are under centralized and centralized choice. We show that there exists a top-down sorting equilibrium i.e. an equilibrium where there exists a set of prices which leads to groups that can be ordered by level of types, with the first k types in the group with the highest price and so on. This exists both under decentralized and centralized choosing. We also analyze the model with endogenous group size and examine under what conditions is top-down sorting socially efficient. We illustrate when integration (i.e. mixing types so that each group's average type if the same) is socially better than top-down sorting. Finally, we show that top down sorting is efficient even when groups compete among themselves.


title: Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

abstract: A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing (and deciding in the finite case) those sets of resource proof-structures that are part of the Taylor expansion of some MELL proof-structure, through a rewriting system acting both on resource and MELL proof-structures. We also prove semi-decidability of the type inhabitation problem for cut-free MELL proof-structures.


title: Splitting instability of a doubly quantized vortex in superfluid Fermi gases

abstract: The splitting instability of a doubly-quantized vortex in the BEC-BCS crossover of a superfluid Fermi gas is investigated by means of a low-energy effective field theory. Our linear stability analysis and non-equilibrium numerical simulations reveal that the character of the instability drastically changes across the crossover. In the BEC-limit, the splitting of the vortex into two singly-quantized vortices occurs through the emission of phonons, while such an emission is completely absent in the BCS-limit. In the crossover-regime, the instability and phonon emission are enhanced, and the lifetime of a doubly-quantized vortex becomes minimal. The emitted phonon can be observed as a spiraling pattern amplified due to the rotational superradiance, known as a mechanism to carry away energy and angular momentum from a spinning black hole. We also investigate the influence of temperature, population imbalance, and three-dimensional effects.


title: A System for In-Ear Pulse Wave Measurements

abstract: The measurement of the pulse wave has proven to be a vital tool in medical diagnosis. Whereby most pulse wave measurements are carried out at extremities, this work proposes a system for measuring the pulse wave and the Pulse Arrival Time (PAT) in the interior of the ear. The developed measurement device is based on a battery powered microcontroller system. The measurement device can simultaneously acquire a single channel Electrocardiogram (ECG), a dual wavelengths Photoplethysmogram (PPG), the pressure in both ears, the body core temperature, as well the subjects motion. The acquired measurement data can either be saved on a micro SD-card or can be transmitted wireless via Bluetooth or wired via USB to a host PC for further analysis. In Bluetooth communication mode the device can operate battery powered up to 8 hours. In addition to the system description, first measurements carried out with the system will be presented.


title: A formula for the $r$-coloured partition function in terms of the sum of divisors function and its inverse

abstract: Let $p_{-r}(n)$ denote the $r$-coloured partition function, and $\sigma(n)=\sum_{d|n}d$ denote the sum of positive divisors of $n$. The aim of this note is to prove the following $$ p_{-r}(n)=\theta(n)+\,\sum_{k=1}^{n-1}\frac{r^{k+1}}{(k+1)!} \sum_{\alpha_1\,= k}^{n-1} \, \sum_{\alpha_2\,= k-1}^{\alpha_1-1} \cdots \sum_{\alpha_k\, = 1}^{\alpha_{k-1}-1}\theta(n-\alpha_1) \theta(\alpha_1 -\alpha_2) \cdots \theta(\alpha_{k-1}-\alpha_k) \theta(\alpha_k) $$ where $\theta(n)=n^{-1}\, \sigma(n)$, and its inverse $$\sigma(n) = n\,\sum_{r=1}^n \frac{(-1)^{r-1}}{r}\, \binom{n}{r}\, p_{-r}(n). $$


title: Helix: Algorithm/Architecture Co-design for Accelerating Nanopore Genome Base-calling

abstract: Nanopore genome sequencing is the key to enabling personalized medicine, global food security, and virus surveillance. The state-of-the-art base-callers adopt deep neural networks (DNNs) to translate electrical signals generated by nanopore sequencers to digital DNA symbols. A DNN-based base-caller consumes $44.5\%$ of total execution time of a nanopore sequencing pipeline. However, it is difficult to quantize a base-caller and build a power-efficient processing-in-memory (PIM) to run the quantized base-caller. In this paper, we propose a novel algorithm/architecture co-designed PIM, Helix, to power-efficiently and accurately accelerate nanopore base-calling. From algorithm perspective, we present systematic error aware training to minimize the number of systematic errors in a quantized base-caller. From architecture perspective, we propose a low-power SOT-MRAM-based ADC array to process analog-to-digital conversion operations and improve power efficiency of prior DNN PIMs. Moreover, we revised a traditional NVM-based dot-product engine to accelerate CTC decoding operations, and create a SOT-MRAM binary comparator array to process read voting. Compared to state-of-the-art PIMs, Helix improves base-calling throughput by $6\times$, throughput per Watt by $11.9\times$ and per $mm^2$ by $7.5\times$ without degrading base-calling accuracy.


title: On the Distribution of the Sum of M\'{a}laga-$\mathcal{M}$ Random Variables and Applications

abstract: In this paper, a very accurate approximation method for the statistics of the sum of M\'{a}laga-$\mathcal{M}$ random variates with pointing error (MRVs) is proposed. In particular, the probability density function of MRV is approximated by a Fox's $H$-function through the moment-based approach. Then, the respective moment-generating function of the sum of $N$ MRVs is provided, based on which the average symbol error rate is evaluated for an $N $-branch maximal-ratio combining (MRC) receiver. The retrieved results show that the proposed approximate results match accurately with the exact simulated ones. Additionally, the results show that the achievable diversity order increases as a function of the number of MRC diversity branches.


title: Double covers and extensions

abstract: In this paper we consider double covers of the projective space in relation with the problem of extensions of varieties, specifically of extensions of canonical curves to $K3$ surfaces and Fano 3-folds. In particular we consider $K3$ surfaces which are double covers of the plane branched over a general sextic: we prove that the general curve in the linear system pull back of plane curves of degree $k\geq 7$ lies on a unique $K3$ surface. If $k\leq 6$ the general such curve is instead extendable to a higher dimensional variety. In the cases $k=4,5,6$, this gives the existence of singular index $k$ Fano varieties of dimensions 8, 5, 3, and genera 17, 26, 37 respectively. For $k = 6$ we recover the Fano variety $\mathbf{P}(3, 1, 1, 1)$, one of only two Fano threefolds with canonical Gorenstein singularities with the maximal genus 37, found by Prokhorov. We show that the latter variety is no further extendable. For $k=4$ and $5$ these Fano varieties have been identified by Totaro. We also study the extensions of smooth degree 2 sections of $K3$ surfaces of genus 3. In all these cases, we compute the co-rank of the Gauss--Wahl maps of the curves under consideration. Finally we observe that linear systems on double covers of the projective plane provide superabundant logarithmic Severi varieties.


title: A Technique for Determining Relevance Scores of Process Activities using Graph-based Neural Networks

abstract: Process models generated through process mining depict the as-is state of a process. Through annotations with metrics such as the frequency or duration of activities, these models provide generic information to the process analyst. To improve business processes with respect to performance measures, process analysts require further guidance from the process model. In this study, we design Graph Relevance Miner (GRM), a technique based on graph neural networks, to determine the relevance scores for process activities with respect to performance measures. Annotating process models with such relevance scores facilitates a problem-focused analysis of the business process, placing these problems at the centre of the analysis. We quantitatively evaluate the predictive quality of our technique using four datasets from different domains, to demonstrate the faithfulness of the relevance scores. Furthermore, we present the results of a case study, which highlight the utility of the technique for organisations. Our work has important implications both for research and business applications, because process model-based analyses feature shortcomings that need to be urgently addressed to realise successful process mining at an enterprise level.


title: Associative Partial Domain Adaptation

abstract: Partial Adaptation (PDA) addresses a practical scenario in which the target domain contains only a subset of classes in the source domain. While PDA should take into account both class-level and sample-level to mitigate negative transfer, current approaches mostly rely on only one of them. In this paper, we propose a novel approach to fully exploit multi-level associations that can arise in PDA. Our Associative Partial Domain Adaptation (APDA) utilizes intra-domain association to actively select out non-trivial anomaly samples in each source-private class that sample-level weighting cannot handle. Additionally, our method considers inter-domain association to encourage positive transfer by mapping between nearby target samples and source samples with high label-commonness. For this, we exploit feature propagation in a proposed label space consisting of source ground-truth labels and target probabilistic labels. We further propose a geometric guidance loss based on the label commonness of each source class to encourage positive transfer. Our APDA consistently achieves state-of-the-art performance across public datasets.


title: Ramsey interferometry as a witness of acceleration radiation

abstract: We adapt a typical Ramsey interferometer by inserting a linear accelerator capable of accelerating an atom inside a single-mode cavity. We demonstrate that this simple scheme allows us to estimate the effects of acceleration radiation via interferometric visibility. By using a Rydberg-like atom, our results suggest that, for the transition regime of the order of GHz and interaction time of 1 ns, acceleration radiation effects can be observable for accelerations as low as $10^{17}$ m/s$^2$.


title: On the equations of diffracted geodesics

abstract: An explicit form for the geodesic equations that would describe diffracted light rays is obtained and the Levi-Civita connection that enters into it is shown to be a sum of contributions from the metric of the ambient space, the index of refraction of the optical medium, and diffraction effects. The nature of the problem of obtaining explicit forms for the diffraction correction in various problems of interest to optics is discussed briefly.


title: Dressed Dirac Propagator from a Locally Supersymmetric ${\cal N}=1$ Spinning Particle

abstract: We study the Dirac propagator dressed by an arbitrary number $N$ of photons by means of a worldline approach, which makes use of a supersymmetric ${\cal N} = 1$ spinning particle model on the line, coupled to an external Abelian vector field. We obtain a compact off-shell master formula for the tree level scattering amplitudes associated to the dressed Dirac propagator. In particular, unlike in other approaches, we express the particle fermionic degrees of freedom using a coherent state basis, and consider the gauging of the supersymmetry, which ultimately amounts to integrating over a worldline gravitino modulus, other than the usual worldline einbein modulus which corresponds to the Schwinger time integral. The path integral over the gravitino reproduces the numerator of the dressed Dirac propagator.


title: Approximating Constraint Satisfaction Problems Symmetrically

abstract: This thesis investigates the extent to which the optimal value of a constraint satisfaction problem (CSP) can be approximated by some sentence of fixed point logic with counting (FPC). It is known that, assuming $\mathsf{P} \neq \mathsf{NP}$ and the Unique Games Conjecture, the best polynomial time approximation algorithm for any CSP is given by solving and rounding a specific semidefinite programming relaxation. We prove an analogue of this result for algorithms that are definable as FPC-interpretations, which holds without the assumption that $\mathsf{P} \neq \mathsf{NP}$. While we are not able to drop (an FPC-version of) the Unique Games Conjecture as an assumption, we do present some partial results toward proving it. Specifically, we give a novel construction which shows that, for all $\alpha > 0$, there exists a positive integer $q = \text{poly}(\frac{1}{\alpha})$ such that no there is no FPC-interpretation giving an $\alpha$-approximation of Unique Games on a label set of size $q$.


title: Inverse variational problem for nonlinear dynamical systems

abstract: In this paper we have chosen to work with two different approaches to solving the inverse problem of the calculus of variation. The first approach is based on an integral representation of the Lagrangian function that uses the first integral of the equation of motion while the second one relies on a generalization of the well known Noether's theorem and constructs the Lagrangian directly from the equation of motion. As an application of the integral representation of the Lagrangian function we first provide some useful remarks for the Lagrangian of the modified Emden-type equation and then obtain results for Lagrangian functions of (i) cubic-quintic Duffing oscillator, (ii) Li\'{e}nard-type oscillator and (iii) Mathews-Lakshmanan oscillator. As with the modified Emden-type equation these oscillators were found to be characterized by nonstandard Lagrangians except that one could also assign a standard Lagrangian to the Duffing oscillator. We used the second approach to find indirect analytic (Lagrangian) representation for three velocity-dependent equations for (iv) Abraham-Lorentz oscillator, (v) Lorentz oscillator and (vi) Van der Pol oscillator. For each of the dynamical systems from (i)-(vi) we calculated the result for Jacobi integral and thereby provided a method to obtain the Hamiltonian function without taking recourse to the use of the so-called Legendre transformation.


title: Injectors in $\pi$-separable groups

abstract: Let $\pi$ be a set of primes. We show that $\pi$-separable groups have a conjugacy class of $\mathfrak F$-injectors for suitable Fitting classes $\mathfrak F$, which coincide with the usual ones when specializing to soluble groups.


title: Super-relaxation of space-time-quantized ensemble of energy loads to curtail their synchronization after demand response perturbation

abstract: Ensembles of thermostatically controlled loads (TCL) provide a significant demand response reserve for the system operator to balance power grids. However, this also results in the parasitic synchronization of individual devices within the ensemble leading to long post-demand-response oscillations in the integrated energy consumption of the ensemble. The synchronization is eventually destructed by fluctuations, thus leading to the (pre-demand response) steady state; however, this natural desynchronization, or relaxation to a statistically steady state, is too long. A resolution of this problem consists in measuring the ensemble's instantaneous consumption and using it as a feedback to stochastic switching of the ensemble's devices between on- and off- states. A simplified continuous-time model showed that carefully tuned nonlinear feedback results in a fast (super-) relaxation of the ensemble energy consumption. Since both state information and control signals are discrete, the actual TCL devices operation is space-time quantized, and this must be considered for realistic TCL ensemble modelling. Here, assuming that states are characterized by indoor temperature (quantifying comfort) and air conditioner regime (on, off), we construct a discrete model based on the probabilistic description of state transitions. We demonstrate that super-relaxation holds in such a more realistic setting, and that while it is stable against randomness in the stochastic matrix of the quantized model, it remains sensitive to the time discretization scheme. Aiming to achieve a balance between super-relaxation and customer's comfort, we analyze the dependence of super-relaxation on details of the space-time quantization, and provide a simple analytical criterion to avoid undesirable oscillations in consumption.


title: Anisotropic Ultrafast Spin Dynamics in Epitaxial Cobalt

abstract: We investigate the ultrafast spin dynamics in an epitaxial hcp(1100) cobalt thin film. By performing pump-probe magneto-optical measurements with the magnetization along either the easy or hard magnetic axis, we determine the demagnetization and recovery times for the two axes. We observe a 35% slower dynamics along the easy magnetization axis, which we attribute to magneto-crystalline anisotropy of the electron-phonon coupling, supported by our ab initio calculations. This points towards an unambiguous and previously undisclosed role of anisotropic electron-lattice coupling in ultrafast magnetism.


title: On local and global structures of transmission eigenfunctions and beyond

abstract: The (interior) transmission eigenvalue problems are a type of non-elliptic, non-selfadjoint and nonlinear spectral problems that arise in the theory of wave scattering. They connect to the direct and inverse scattering problems in many aspects in a delicate way. The properties of the transmission eigenvalues have been extensively and intensively studied over the years, whereas the intrinsic properties of the transmission eigenfunctions are much less studied. Recently, in a series of papers, several intriguing local and global geometric structures of the transmission eigenfunctions are discovered. Moreover, those longly unveiled geometric properties produce some interesting applications of both theoretical and practical importance to direct and inverse scattering problems. This paper reviews those developments in the literature by summarizing the results obtained so far and discussing the rationales behind them. There are some side results of this paper including the general formulations of several types of transmission eigenvalue problems, some interesting observations on the connection between the transmission eigenvalue problems and several challenging inverse scattering problems, and several conjectures on the spectral properties of transmission eigenvalues and eigenfunctions, with most of them are new to the literature.


title: Teaching with Code: Globular Cluster Distance Lab

abstract: Modern astronomy increasingly depends on computational thinking. Although some astronomy courses for undergraduates use computing, high school astronomy courses often have little computing. Created as a part of a research experience for teachers in astronomy and another in computer science, this project leverages robotic telescope images and astronomical algorithms to determine the distance to a star cluster using variable stellar photometry. Students investigate Python and Jupyter Notebook to analyze astronomical images to calculate the interstellar distance to a star cluster across the Milky Way. Students will learn how to write Python code that runs in a Jupyter Notebook such that the brightness of stars in an astronomical image can be determined. The real astronomical image data will be directly manipulated and analyzed by code the students create. Student project files and teacher solution files are provided. Code is open source, and materials are available for classroom use.


title: Sulla decifratura di Enigma -- Come un reverendo del XVIII secolo contribu\`i alla sconfitta degli U-boot tedeschi durante la Seconda Guerra Mondiale

abstract: This article, written in Italian language, explores the contribution given by Bayes' rule and by subjective probability in the work at Bletchley Park towards cracking Enigma cyphered messages during WWII. -- In questo articolo, scritto in Italiano, esploriamo il contributo dato dal teorema di Bayes e dalle idee della probabilit\`a soggettiva nel lavoro compiuto a Bletchley Park che ha portato a decifrare i messaggi cifrati con macchine Enigma durante la Seconda Guerra Mondiale.


title: Pricing foreseeable and unforeseeable risks in insurance portfolios

abstract: In this manuscript we propose a method for pricing insurance products that cover not only traditional risks, but also unforeseen ones. By considering the Poisson process parameter to be a mixed random variable, we capture the heterogeneity of foreseeable and unforeseeable risks. To illustrate, we estimate the weights for the two risk streams for a real dataset from a Portuguese insurer. To calculate the premium, we set the frequency and severity as distributions that belong to the linear exponential family. Under a Bayesian setup , we show that when working with a finite mixture of conjugate priors, the premium can be estimated by a mixture of posterior means, with updated parameters, depending on claim histories. We emphasise the riskiness of the unforeseeable trend, by choosing heavy-tailed distributions. After estimating distribution parameters involved using the Expectation-Maximization algorithm, we found that Bayesian premiums derived are more reactive to claim trends than traditional ones.


title: Design Space Exploration of Power Delivery For Advanced Packaging Technologies

abstract: In this paper, a design space exploration of power delivery networks is performed for multi-chip 2.5-D and 3-D IC technologies. The focus of the paper is the effective placement of the voltage regulator modules (VRMs) for power supply noise (PSN) suppression. Multiple on-package VRM configurations have been analyzed and compared. Additionally, 3D IC chip-on-VRM and backside-of-the-package VRM configurations are studied. From the PSN perspective, the 3D IC chip-on-VRM case suppresses the PSN the most even with high current density hotspots. The paper also studies the impact of different parameters such as VRM-chip distance on the package, on-chip decoupling capacitor density, etc. on the PSN.


title: QoS-Compliant 3D Deployment Optimization Strategy for UAV Base Stations

abstract: Unmanned aerial vehicle (UAV) is being integrated as an active element in 5G and beyond networks. Because of its flexibility and mobility, UAV base stations (UAV-BSs) can be deployed according to the ground user distributions and their quality of service (QoS) requirement. Although there has been quite some prior research on the UAV deployment, no work has studied this problem in a 3 dimensional (3D) setting and taken into account the UAV-BS capacity limit and the quality of service (QoS) requirements of ground users. Therefore, in this paper, we focus on the problem of deploying UAV-BSs to provide satisfactory wireless communication services, with the aim to maximize the total number of covered user equipment (UE) subject to user data rate requirements and UAV-BSs' capacity limit. First, we model the relationship between the air-to-ground (A2G) path loss (PL) and the location of UAV-BSs in both horizontal and vertical dimensions which has not been considered in previous works. Unlike the conventional UAV deployment problem formulation, the 3D deployment problem is decoupled into a 2D horizontal placement and altitude determination connected by path loss requirement and minimization. Then, we propose a novel genetic algorithm (GA) based 2D placement approach in which UAV-BSs are placed to have maximum coverage of the users with consideration of data rate distribution. Finally, numerical and simulation results show that the proposed approach has enabled a better coverage percentage comparing with other schemes.


title: Observation of anti-parity-time-symmetry, phase transitions and exceptional points in an optical fibre

abstract: The exotic physics emerging in non-Hermitian systems with balanced distributions of gain and loss has drawn a great deal of attention in recent years. These systems exhibit phase transitions and exceptional point singularities in their spectra, at which eigen-values and eigen-modes coalesce and the overall dimensionality is reduced. Among several peculiar phenomena observed at exceptional points, an especially intriguing property, with relevant practical potential, consists in the inherently enhanced sensitivity to small-scale perturbations. So far, however, these principles have been implemented at the expenses of precise fabrication and tuning requirements, involving tailored nano-structured devices with controlled distributions of optical gain and loss. In this work, anti-parity-time symmetric phase transitions and exceptional point singularities are demonstrated in a single strand of standard single-mode telecommunication fibre, using a setup consisting of entirely of off-the-shelf components. Two propagating signals are amplified and coupled through stimulated Brillouin scattering, which makes the process non-Hermitian and enables exquisite control over gain and loss. Singular response to small variations around the exceptional point and topological features arising around this singularity are experimentally demonstrated with large precision, enabling robustly enhanced spectral response to small-scale changes in the Brillouin frequency shift. Our findings open exciting opportunities for the exploration of non-Hermitian phenomena over a table-top setup, with straightforward extensions to higher-order Hamiltonians and applications in quantum optics, nanophotonics and sensing.


title: A Machine of Few Words -- Interactive Speaker Recognition with Reinforcement Learning

abstract: Speaker recognition is a well known and studied task in the speech processing domain. It has many applications, either for security or speaker adaptation of personal devices. In this paper, we present a new paradigm for automatic speaker recognition that we call Interactive Speaker Recognition (ISR). In this paradigm, the recognition system aims to incrementally build a representation of the speakers by requesting personalized utterances to be spoken in contrast to the standard text-dependent or text-independent schemes. To do so, we cast the speaker recognition task into a sequential decision-making problem that we solve with Reinforcement Learning. Using a standard dataset, we show that our method achieves excellent performance while using little speech signal amounts. This method could also be applied as an utterance selection mechanism for building speech synthesis systems.


title: Revisiting Mid-Level Patterns for Cross-Domain Few-Shot Recognition

abstract: Existing few-shot learning (FSL) methods usually assume base classes and novel classes are from the same domain (in-domain setting). However, in practice, it may be infeasible to collect sufficient training samples for some special domains to construct base classes. To solve this problem, cross-domain FSL (CDFSL) is proposed very recently to transfer knowledge from general-domain base classes to special-domain novel classes. Existing CDFSL works mostly focus on transferring between near domains, while rarely consider transferring between distant domains, which is in practical need as any novel classes could appear in real-world applications, and is even more challenging. In this paper, we study a challenging subset of CDFSL where the novel classes are in distant domains from base classes, by revisiting the mid-level features, which are more transferable yet under-explored in main stream FSL work. To boost the discriminability of mid-level features, we propose a residual-prediction task to encourage mid-level features to learn discriminative information of each sample. Notably, such mechanism also benefits the in-domain FSL and CDFSL in near domains. Therefore, we provide two types of features for both cross- and in-domain FSL respectively, under the same training framework. Experiments under both settings on six public datasets, including two challenging medical datasets, validate the our rationale and demonstrate state-of-the-art performance. Code will be released.


title: Brain Drain and Brain Gain in Russia: Analyzing International Migration of Researchers by Discipline using Scopus Bibliometric Data 1996-2020

abstract: We study international mobility in academia, with a focus on the migration of published researchers to and from Russia. Using an exhaustive set of over $2.4$ million Scopus publications, we analyze all researchers who have published with a Russian affiliation address in Scopus-indexed sources in 1996-2020. The migration of researchers is observed through the changes in their affiliation addresses, which altered their mode countries of affiliation across different years. While only $5.2\%$ of these researchers were internationally mobile, they accounted for a substantial proportion of citations. Our estimates of net migration rates indicate that while Russia was a donor country in the late 1990s and early 2000s, it has experienced a relatively balanced circulation of researchers in more recent years. These findings suggest that the current trends in scholarly migration in Russia could be better framed as brain circulation, rather than as brain drain. Overall, researchers emigrating from Russia outnumbered and outperformed researchers immigrating to Russia. Our analysis on the subject categories of publication venues shows that in the past 25 years, Russia has, overall, suffered a net loss in most disciplines, and most notably in the five disciplines of neuroscience, decision sciences, mathematics, biochemistry, and pharmacology. We demonstrate the robustness of our main findings under random exclusion of data and changes in numeric parameters. Our substantive results shed light on new aspects of international mobility in academia, and on the impact of this mobility on a national science system, which have direct implications for policy development. Methodologically, our novel approach to handling big data can be adopted as a framework of analysis for studying scholarly migration in other countries.


title: Convolutional Complex Knowledge Graph Embeddings

abstract: In this paper, we study the problem of learning continuous vector representations of knowledge graphs for predicting missing links. We present a new approach called ConEx, which infers missing links by leveraging the composition of a 2D convolution with a Hermitian inner product of complex-valued embedding vectors. We evaluate ConEx against state-of-the-art approaches on the WN18RR, FB15K-237, KINSHIP and UMLS benchmark datasets. Our experimental results show that ConEx achieves a performance superior to that of state-of-the-art approaches such as RotatE, QuatE and TuckER on the link prediction task on all datasets while requiring at least 8 times fewer parameters. We ensure the reproducibility of our results by providing an open-source implementation which includes the training, evaluation scripts along with pre-trained models at https://github.com/conex-kge/ConEx.


title: A $2^{O(k)}n$ algorithm for $k$-cycle in minor-closed graph families

abstract: Let ${\mathcal C}$ be a proper minor-closed family of graphs. We present a randomized algorithm that given a graph $G \in {\mathcal C}$ with $n$ vertices, finds a simple cycle of size $k$ in $G$ (if exists) in $2^{O(k)}n$ time. The algorithm applies to both directed and undirected graphs. In previous linear time algorithms for this problem, the runtime dependence on $k$ is super-exponential. The algorithm can be derandomized yielding a $2^{O(k)}n\log n$ time algorithm.


title: BAT.jl -- A Julia-based tool for Bayesian inference

abstract: We describe the development of a multi-purpose software for Bayesian statistical inference, BAT.jl, written in the Julia language. The major design considerations and implemented algorithms are summarized here, together with a test suite that ensures the proper functioning of the algorithms. We also give an extended example from the realm of physics that demonstrates the functionalities of BAT.jl.

categories: stat.CO astro-ph.IM cs.LG hep-ex physics.data-an


title: Game-Theoretic Upper Expectations for Discrete-Time Finite-State Uncertain Processes

abstract: Game-theoretic upper expectations are joint (global) probability models that mathematically describe the behaviour of uncertain processes in terms of supermartingales; capital processes corresponding to available betting strategies. Compared to (the more common) measure-theoretic expectation functionals, they are not bounded to restrictive assumptions such as measurability or precision, yet succeed in preserving, or even generalising many of their fundamental properties. We focus on a discrete-time setting where local state spaces are finite and, in this specific context, build on the existing work of Shafer and Vovk; the main developers of the framework of game-theoretic upper expectations. In a first part, we study Shafer and Vovk's characterisation of a local upper expectation and show how it is related to Walley's behavioural notion of coherence. The second part consists in a study of game-theoretic upper expectations on a more global level, where several alternative definitions, as well as a broad range of properties are derived, e.g. the law of iterated upper expectations, compatibility with local models, coherence properties,... Our main contribution, however, concerns the continuity behaviour of these operators. We prove continuity with respect to non-increasing sequences of so-called lower cuts and continuity with respect to non-increasing sequences of finitary functions. We moreover show that the game-theoretic upper expectation is uniquely determined by its values on the domain of bounded below limits of finitary functions, and additionally show that, for any such limit, the limiting sequence can be constructed in such a way that the game-theoretic upper expectation is continuous with respect to this particular sequence.


title: Transistors: A Network Science-Based Historical Perspective

abstract: The development of modern electronics was to a large extent related to the advent and popularization of bipolar junction technology. The present work applies science of science concepts and methodologies in order to develop a relatively systematic, quantitative study of the development of electronics from a bipolar-junction-centered perspective. First, we searched the adopted dataset (Microsoft Academic Graph) for entries related to "bipolar junction transistor". Community detection was then applied in order to derive sub-areas, which were tentatively labeled into 10 overall groups. This modular graph was then studied from several perspectives, including topological measurements and time evolution. A number of interesting results are reported, including a good level of thematic coherence within each identified area, as well as the identification of distinct periods along the time evolution including the onset and coming of age of bipolater junction technology and related areas. A particularly surprising result was the verification of stable interrelationship between the identified areas along time.


title: Visualization and machine learning for forecasting of COVID-19 in Senegal

abstract: In this article, we give visualization and different machine learning technics for two weeks and 40 days ahead forecast based on public data. On July 15, 2020, Senegal reopened its airspace doors, while the number of confirmed cases is still increasing. The population no longer respects hygiene measures, social distancing as at the beginning of the contamination. Negligence or tiredness to always wear the masks? We make forecasting on the inflection point and possible ending time.


title: Global maps of the magnetic field in the solar corona

abstract: Understanding many physical processes in the solar atmosphere requires determination of the magnetic field in each atmospheric layer. However, direct measurements of the magnetic field in the Sun's corona are difficult to obtain. Using observations with the Coronal Multi-channel Polarimeter, we have determined the spatial distribution of the plasma density in the corona, and the phase speed of the prevailing transverse magnetohydrodynamic waves within the plasma. We combine these measurements to map the plane-of-sky component of the global coronal magnetic field. The derived field strengths in the corona from 1.05 to 1.35 solar radii are mostly 1-4 Gauss. These results demonstrate the capability of imaging spectroscopy in coronal magnetic field diagnostics.


title: The Life and Mathematical Legacy of Thomas M. Liggett

abstract: Thomas Milton Liggett was a world renowned UCLA probabilist, famous for his monograph Interacting Particle Systems. He passed away peacefully on May 12, 2020. This is a perspective article in memory of both Tom Liggett the person and Tom Liggett the mathematician.


title: On the Potential of Extending Aircraft Service Time Using a Fatigue Damage Index

abstract: Aircraft structures experience various kinds of loads over their entire lifetime, typically leading to fatigue and ultimately structural failure. In order to avoid structural failure during operation, the maximum number of flight cycles and flight hours is regulated by laws ensuring continued airworthiness. However, since every flight impacts the aircraft differently, not all airframes are equally stressed at the time of decommissioning. This paper proposes a new retirement criterion based on the so-called fatigue damage index (FDI). The criterion takes into account that aircraft are differently operated and thus enables an individual decommissioning of aircraft without compromising its safety. Based on aircraft sample data covering 95% of the Airbus A320 fleet over two years, the enhanced decommissioning criterion is estimated to significantly extend the average aircraft service life. The impact varies within the fleet, depending on the experienced seat load factors, cruise altitudes, and taxi times considered for the individual aircraft during operation. While seat load factors and flight altitudes significantly affect the defined FDI, the influence of taxi times is only minor. Based on the estimated increase in aircraft service life, the paper argues that for service life extensions, the FDI shall be considered as the limit of validity in the regulatory framework governing the decommissioning of aircraft.


title: Investigating the pion source function in heavy-ion collisions with the EPOS model

abstract: By measuring the momentum correlations of pions created in heavy-ion collisions we can gain information about the space-time geometry of the particle emitting source. Recent experimental results from multiple different collaborations demonstrated that to properly describe the shape of the measured correlation functions, one needs to go beyond the Gaussian approximation. Some studies suggest that the Levy distribution could provide a good description of the source. While there are already many experimental results, there is very little input from the phenomenology side in explanation of the observed non-Gaussian source shapes. The EPOS model is a sophisticated hybrid model where the evolution of the newly-created system is governed by Parton-Based Gribov-Regge theory. It has already proved to be successful in describing many different experimental observations for the systems characterized by baryon chemical potential close to zero, but so far the source shape has not been explored in detail. In this paper we discuss studies of the pion emitting source based on the theoretical approach of the EPOS model.


title: Mathematical model of LoRaWAN channel access with capture effect

abstract: LoRaWAN is a promising low power long range wireless communications technology for the Internet of Things. An important feature of LoRaWAN gateways is related to so-called capture effect: under some conditions the gateway may correctly receive a frame even if it overlaps with other ones. In this paper, we develop a pioneering mathematical model of a LoRaWAN network which allows finding network capacity and transmission reliability taking into account the capture effect.


title: A fractional degenerate parabolic-hyperbolic Cauchy problem with noise

abstract: We consider the Cauchy problem for a stochastic scalar parabolic-hyperbolic equation in any space dimension with nonlocal, nonlinear, and possibly degenerate diffusion terms. The equations are nonlocal because they involve fractional diffusion operators. We adapt the notion of stochastic entropy solution and provide a new technical framework to prove the uniqueness. The existence proof relies on the vanishing viscosity method. Moreover, using bounded variation (BV) estimates for vanishing viscosity approximations, we derive an explicit continuous dependence estimate on the nonlinearities and derive error estimate for the stochastic vanishing viscosity method. In addition, we develop uniqueness method "a la Kruzkov" for more general equations where the noise coefficient may depends explicitly on the spatial variable.


title: Generative Adversarial Network-Based Sinogram Super-Resolution for Computed Tomography Imaging

abstract: Compared with the conventional 1*1 acquisition mode of projection in computed tomography (CT) image reconstruction, the 2*2 acquisition mode improves the collection efficiency of the projection and reduces the X-ray exposure time. However, the collected projection based on the 2*2 acquisition mode has low resolution (LR) and the reconstructed image quality is poor, thus limiting the use of this mode in CT imaging systems. In this study, a novel sinogram-super-resolution generative adversarial network (SSR-GAN) model is proposed to obtain high-resolution (HR) sinograms from LR sinograms, thereby improving the reconstruction image quality under the 2*2 acquisition mode. The proposed generator is based on the residual network for LR sinogram feature extraction and super-resolution (SR) sinogram generation. A relativistic discriminator is designed to render the network capable of obtaining more realistic SR sinograms. Moreover, we combine the cycle consistency loss, sinogram domain loss, and reconstruction image domain loss in the total loss function to supervise SR sinogram generation. Then, a trained model can be obtained by inputting the paired LR/HR sinograms into the network. Finally, the classic FBP reconstruction algorithm is used for CT image reconstruction based on the generated SR sinogram. The qualitative and quantitative results of evaluations on digital and real data illustrate that the proposed model not only obtains clean SR sinograms from noisy LR sinograms but also outperforms its counterparts.


title: Image Transformation Network for Privacy-Preserving Deep Neural Networks and Its Security Evaluation

abstract: We propose a transformation network for generating visually-protected images for privacy-preserving DNNs. The proposed transformation network is trained by using a plain image dataset so that plain images are transformed into visually protected ones. Conventional perceptual encryption methods have a weak visual-protection performance and some accuracy degradation in image classification. In contrast, the proposed network enables us not only to strongly protect visual information but also to maintain the image classification accuracy that using plain images achieves. In an image classification experiment, the proposed network is demonstrated to strongly protect visual information on plain images without any performance degradation under the use of CIFAR datasets. In addition, it is shown that the visually protected images are robust against a DNN-based attack, called inverse transformation network attack (ITN-Attack) in an experiment.


title: Quartic Graphs with Minimum Spectral Gap

abstract: Aldous and Fill conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^2}{2\pi^2}$. This conjecture can be rephrased in terms of the spectral gap as follows: the spectral gap (algebraic connectivity) of a connected $k$-regular graph on $n$ vertices is at least $(1+o(1))\frac{2k\pi^2}{3n^2}$, and the bound is attained for at least one value of $k$. We determine the structure of connected quartic graphs on $n$ vertices with minimum spectral gap which enable us to show that the minimum spectral gap of connected quartic graphs on $n$ vertices is $(1+o(1))\frac{4\pi^2}{n^2}$. From this result, the Aldous--Fill conjecture follows for $k=4$.


title: Exclusive vector meson production in electron-ion collisions at the EIC, LHeC and FCC-$eh$

abstract: The exclusive vector meson production in electron-ion collisions for the energies of the future colliders is investigated. We present predictions for the coherent and incoherent $\phi$ and $J/\psi$ production in $eAu$ collisions considering the possible states of nucleon configurations in the nuclear wave function and taking into account of the non-linear corrections to the QCD dynamics. The cross sections and transverse momentum distributions are estimated assuming the energies of the Electron-Ion Collider (EIC), Large Hadron Electron Collider (LHeC) and Future Circular Collider (FCC-$eh$). Our results indicate that a future experimental analysis of these processes can shed light on the modeling of the gluon saturation effects and constrain the description of the QCD dynamics at high energies.


title: Mapping the magnetic field in the solar corona through magnetoseismology

abstract: Magnetoseismology, a technique of magnetic field diagnostics based on observations of magnetohydrodynamic (MHD) waves, has been widely used to estimate the field strengths of oscillating structures in the solar corona. However, previously magnetoseismology was mostly applied to occasionally occurring oscillation events, providing an estimate of only the average field strength or one-dimensional distribution of field strength along an oscillating structure. This restriction could be eliminated if we apply magnetoseismology to the pervasive propagating transverse MHD waves discovered with the Coronal Multi-channel Polarimeter (CoMP). Using several CoMP observations of the Fe xiii 1074.7 nm and 1079.8 nm spectral lines, we obtained maps of the plasma density and wave phase speed in the corona, which allow us to map both the strength and direction of the coronal magnetic field in the plane of sky. We also examined distributions of the electron density and magnetic field strength, and compared their variations with height in the quiet Sun and active regions. Such measurements could provide critical information to advance our understanding of the Sun's magnetism and the magnetic coupling of the whole solar atmosphere.


title: Extracting $\sigma_{\pi N}$ from pionic atoms

abstract: We discuss a recent extraction of the $\pi N$ $\sigma$ term $\sigma_{\pi N}$ from a large-scale fit of pionic-atom strong-interaction data across the periodic table. The value thus derived, $\sigma_{\pi N}^{\rm FG}=57\pm 7$ MeV, is directly connected via the Gell-Mann--Oakes--Renner expression to the medium-renormalized $\pi N$ isovector scattering amplitude near threshold. It compares well with the value derived recently by the Bern-Bonn-J\"{u}lich group, $\sigma_{\pi N}^{\rm RS}=58\pm 5$ MeV, using the Roy-Steiner equations to control the extrapolation of the vanishingly small near threshold $\pi N$ isoscalar scattering amplitude to zero pion mass.


title: A note on the asymptotic stability of the Semi-Discrete method for Stochastic Differential Equations

abstract: We study the asymptotic stability of the semi-discrete (SD) numerical method for the approximation of stochastic differential equations. Recently, we examined the order of $\mathcal L^2$-convergence of the truncated SD method and showed that it can be arbitrarily close to $1/2,$ see \textit{Stamatiou, Halidias (2019), Convergence rates of the Semi-Discrete method for stochastic differential equations, Theory of Stochastic Processes, 24(40)}. We show that the truncated SD method is able to preserve the asymptotic stability of the underlying SDE. Motivated by a numerical example, we also propose a different SD scheme, using the Lamperti transformation to the original SDE, which we call Lamperti semi-discrete (LSD). Numerical simulations support our theoretical findings.


title: Speech Separation Based on Multi-Stage Elaborated Dual-Path Deep BiLSTM with Auxiliary Identity Loss

abstract: Deep neural network with dual-path bi-directional long short-term memory (BiLSTM) block has been proved to be very effective in sequence modeling, especially in speech separation. This work investigates how to extend dual-path BiLSTM to result in a new state-of-the-art approach, called TasTas, for multi-talker monaural speech separation (a.k.a cocktail party problem). TasTas introduces two simple but effective improvements, one is an iterative multi-stage refinement scheme, and the other is to correct the speech with imperfect separation through a loss of speaker identity consistency between the separated speech and original speech, to boost the performance of dual-path BiLSTM based networks. TasTas takes the mixed utterance of two speakers and maps it to two separated utterances, where each utterance contains only one speaker's voice. Our experiments on the notable benchmark WSJ0-2mix data corpus result in 20.55dB SDR improvement, 20.35dB SI-SDR improvement, 3.69 of PESQ, and 94.86\% of ESTOI, which shows that our proposed networks can lead to big performance improvement on the speaker separation task. We have open sourced our re-implementation of the DPRNN-TasNet here (https://github.com/ShiZiqiang/dual-path-RNNs-DPRNNs-based-speech-separation), and our TasTas is realized based on this implementation of DPRNN-TasNet, it is believed that the results in this paper can be reproduced with ease.


title: Interpretation of the XENON1T excess in the model with decaying sterile neutrinos

abstract: The phenomenological model with three active and three sterile neutrinos is used for interpretation of the observed XENON1T excess of electronic recoil events in the 1 -- 7 keV energy region. Assuming two sterile neutrinos with appropriate mass values decay while the third sterile neutrino is stable it is possible to explain the observed energy spectrum of electronic recoil events. Moreover using this approach three peaks in the 1 -- 7 keV energy region are predicted. Dark bosons have to mix to only a small extent with photons which can be emitted in this region. The possible existence of the three light sterile neutrinos may have perceptible influence on some phenomena in neutrino physics, astrophysics and cosmology.


title: Machine learning-based event generator for electron-proton scattering

abstract: We present a new machine learning-based Monte Carlo event generator using generative adversarial networks (GANs) that can be trained with calibrated detector simulations to construct a vertex-level event generator free of theoretical assumptions about femtometer scale physics. Our framework includes a GAN-based detector folding as a fast-surrogate model that mimics detector simulators. The framework is tested and validated on simulated inclusive deep-inelastic scattering data along with existing parametrizations for detector simulation, with uncertainty quantification based on a statistical bootstrapping technique. Our results provide for the first time a realistic proof-of-concept to mitigate theory bias in inferring vertex-level event distributions needed to reconstruct physical observables.


title: Ultrasound-based Articulatory-to-Acoustic Mapping with WaveGlow Speech Synthesis

abstract: For articulatory-to-acoustic mapping using deep neural networks, typically spectral and excitation parameters of vocoders have been used as the training targets. However, vocoding often results in buzzy and muffled final speech quality. Therefore, in this paper on ultrasound-based articulatory-to-acoustic conversion, we use a flow-based neural vocoder (WaveGlow) pre-trained on a large amount of English and Hungarian speech data. The inputs of the convolutional neural network are ultrasound tongue images. The training target is the 80-dimensional mel-spectrogram, which results in a finer detailed spectral representation than the previously used 25-dimensional Mel-Generalized Cepstrum. From the output of the ultrasound-to-mel-spectrogram prediction, WaveGlow inference results in synthesized speech. We compare the proposed WaveGlow-based system with a continuous vocoder which does not use strict voiced/unvoiced decision when predicting F0. The results demonstrate that during the articulatory-to-acoustic mapping experiments, the WaveGlow neural vocoder produces significantly more natural synthesized speech than the baseline system. Besides, the advantage of WaveGlow is that F0 is included in the mel-spectrogram representation, and it is not necessary to predict the excitation separately.


title: Copper electroplating for background suppression in the NEWS-G experiment

abstract: New Experiments with Spheres-Gas (NEWS-G) is a dark matter direct detection experiment that will operate at SNOLAB (Canada). Similar to other rare-event searches, the materials used in the detector construction are subject to stringent radiopurity requirements. The detector features a 140-cm diameter proportional counter comprising two hemispheres made from commercially sourced 99.99% pure copper. Such copper is widely used in rare-event searches because it is readily available, there are no long-lived Cu radioisotopes, and levels of non-Cu radiocontaminants are generally low. However, measurements performed with a dedicated 210Po alpha counting method using an XIA detector confirmed a problematic concentration of 210Pb in bulk of the copper. To shield the proportional counter's active volume, a low-background electroforming method was adapted to the hemispherical shape to grow a 500-$\mu$m thick layer of ultra-radiopure copper to the detector's inner surface. In this paper the process is described, which was prototyped at Pacific Northwest National Laboratory (PNNL), USA, and then conducted at full scale in the Laboratoire Souterrain de Modane in France. The radiopurity of the electroplated copper was assessed through Inductively Coupled Plasma Mass Spectrometry (ICP-MS). Measurements of samples from the first (second) hemisphere give 68% confidence upper limits of <0.58 $\mu$Bq/kg (<0.24 $\mu$Bq/kg) and <0.26 $\mu$Bq/kg (<0.11 $\mu$Bq/kg) on the 232Th and 238U contamination levels, respectively. These results are comparable to previously reported measurements of electroformed copper produced for other rare-event searches, which were also found to have low concentration of 210Pb consistent with the background goals of the NEWS-G experiment.


title: Decomposition of Longitudinal Deformations via Beltrami Descriptors

abstract: We present a mathematical model to decompose a longitudinal deformation into normal and abnormal components. The goal is to detect and extract subtle quivers from periodic motions in a video sequence. It has important applications in medical image analysis. To achieve this goal, we consider a representation of the longitudinal deformation, called the Beltrami descriptor, based on quasiconformal theories. The Beltrami descriptor is a complex-valued matrix. Each longitudinal deformation is associated to a Beltrami descriptor and vice versa. To decompose the longitudinal deformation, we propose to carry out the low rank and sparse decomposition of the Beltrami descriptor. The low rank component corresponds to the periodic motions, whereas the sparse part corresponds to the abnormal motions of a longitudinal deformation. Experiments have been carried out on both synthetic and real video sequences. Results demonstrate the efficacy of our proposed model to decompose a longitudinal deformation into regular and irregular components.


title: A remark on quantum Hochschild homology

abstract: Beliakova-Putyra-Wehrli studied various kinds of traces, in relation to annular Khovanov homology. In particular, to a graded algebra and a graded bimodule over it, they associate a quantum Hochschild homology of the algebra with coefficients in the bimodule, and use this to obtain a deformation of the annular Khovanov homology of a link. A spectral refinement of the resulting invariant was recently given by Akhmechet-Krushkal-Willis. In this short note we observe that quantum Hochschild homology is a composition of two familiar operations, and give a short proof that it gives an invariant of annular links, in some generality. Much of this is implicit in Beliakova-Putyra-Wehrli's work.


title: Better Fine-Tuning by Reducing Representational Collapse

abstract: Although widely adopted, existing approaches for fine-tuning pre-trained language models have been shown to be unstable across hyper-parameter settings, motivating recent work on trust region methods. In this paper, we present a simplified and efficient method rooted in trust region theory that replaces previously used adversarial objectives with parametric noise (sampling from either a normal or uniform distribution), thereby discouraging representation change during fine-tuning when possible without hurting performance. We also introduce a new analysis to motivate the use of trust region methods more generally, by studying representational collapse; the degradation of generalizable representations from pre-trained models as they are fine-tuned for a specific end task. Extensive experiments show that our fine-tuning method matches or exceeds the performance of previous trust region methods on a range of understanding and generation tasks (including DailyMail/CNN, Gigaword, Reddit TIFU, and the GLUE benchmark), while also being much faster. We also show that it is less prone to representation collapse; the pre-trained models maintain more generalizable representations every time they are fine-tuned.


title: A nudged hybrid analysis and modeling approach for realtime wake-vortex transport and decay prediction

abstract: We put forth a long short-term memory (LSTM) nudging framework for the enhancement of reduced order models (ROMs) of fluid flows utilizing noisy measurements for air traffic improvements. Toward emerging applications of digital twins in aviation, the proposed approach allows for constructing a realtime predictive tool for wake-vortex transport and decay systems. We build on the fact that in realistic application, there are uncertainties in initial and boundary conditions, model parameters, as well as measurements. Moreover, conventional nonlinear ROMs based on Galerkin projection (GROMs) suffer from imperfection and solution instabilities, especially for advection-dominated flows with slow decay in the Kolmogorov width. In the presented LSTM nudging (LSTM-N) approach, we fuse forecasts from a combination of imperfect GROM and uncertain state estimates, with sparse Eulerian sensor measurements to provide more reliable predictions in a dynamical data assimilation framework. We illustrate our concept by solving a two-dimensional vorticity transport equation. We investigate the effects of measurements noise and state estimate uncertainty on the performance of the LSTM-N behavior. We also demonstrate that it can sufficiently handle different levels of temporal and spatial measurement sparsity, and offer a huge potential in developing next-generation digital twin technologies.


title: A sequential optimality condition for Mathematical Programs with Cardinality Constraints

abstract: In this paper we propose an Approximate Weak stationarity ($AW$-stationarity) concept designed to deal with {\em Mathematical Programs with Cardinality Constraints} (MPCaC), and we proved that it is a legitimate optimality condition independently of any constraint qualification. Such a sequential optimality condition improves weaker stationarity conditions, presented in a previous work. Many research on sequential optimality conditions has been addressed for nonlinear constrained optimization in the last few years, some works in the context of MPCC and, as far as we know, no sequential optimality condition has been proposed for MPCaC problems. We also establish some relationships between our $AW$-stationarity and other usual sequential optimality conditions, such as AKKT, CAKKT and PAKKT. We point out that, despite the computational appeal of the sequential optimality conditions, in this work we are not concerned with algorithmic consequences. Our aim is purely to discuss theoretical aspects of such conditions for MPCaC problems.


title: On the monoid of cofinite partial isometries of $\mathbb{N}$ with the usual metric

abstract: In the paper we show that the monoid $\mathbf{I}\mathbb{N}_{\infty}$ of all partial cofinite isometries of positive integers does not embed isomorphically into the monoid $\mathbf{ID}_{\infty}$ of all partial cofinite isometries of integers. Moreover, every non-annihilating homomorphism $\mathfrak{h}\colon \mathbf{I}\mathbb{N}_{\infty}\to\mathbf{ID}_{\infty}$ has the following property: the image $(\mathbf{I}\mathbb{N}_{\infty})\mathfrak{h}$ is isomorphic either to the two-element cyclic group $\mathbb{Z}_2$ or to the additive group of integers $\mathbb{Z}(+)$. Also we prove that the monoid $\mathbf{I}\mathbb{N}_{\infty}$ is not finitely generated, and, moreover, monoid $\mathbf{I}\mathbb{N}_{\infty}$ does not contain a minimal generating set.


title: Carbon monoxide formation and cooling in supernovae

abstract: The inclusion of molecular physics is an important piece that tends to be missing from the puzzle when modeling the spectra of supernovae (SNe). Molecules have both a direct impact on the spectra, particularly in the infrared, and an indirect one as a result of their influence on certain physical conditions, such as temperature. In this paper, we aim to investigate molecular formation and non-local thermodynamic equilibrium (NLTE) cooling, with a particular focus on CO, the most commonly detected molecule in supernovae. We also aim to determine the dependency of supernova chemistry on physical parameters and the relative sensitivity to rate uncertainties. We implemented a chemical kinetic description of the destruction and formation of molecules into the SN spectral synthesis code SUMO. In addition, selected molecules were coupled into the full NLTE level population framework and, thus, we incorporated molecular NLTE cooling into the temperature equation. We produced a test model of the CO formation in SN 1987A between 150 and 600 days and investigated the sensitivity of the resulting molecular masses to the input parameters. We find that there is a close inter-dependency between the thermal evolution and the amount of CO formed, mainly through an important temperature-sensitive CO destruction process with O+. After a few hundred days, CO completely dominates the cooling of the oxygen-carbon zone of the supernova which, therefore, contributes little optical emission. The uncertainty of the calculated CO mass scales approximately linearly with the typical uncertainty factor for individual rates. We demonstrate how molecular masses can potentially be used to constrain various physical parameters of the supernova.


title: Squeezing as a resource to counteract phase diffusion in optical phase estimation

abstract: We address a phase estimation scheme using Gaussian states in the presence of non-Gaussian phase noise. At variance with previous analysis, we analyze situations in which the noise occurs before encoding phase information. In particular, we study how squeezing may be profitably used before or after phase diffusion. Our results show that squeezing the probe after the noise greatly enhances the sensitivity of the estimation scheme, as witnessed by the increase of the quantum Fisher information. We then consider a realistic setup where homodyne detection is employed at the measurement stage, and address its optimality as well as its performance in the two different scenarios.


title: Deep Q-Network Based Dynamic Movement Strategy in a UAV-Assisted Network

abstract: Unmanned aerial vehicle (UAV)-assisted communications is a promising solution to improve the performance of future wireless networks, where UAVs are deployed as base stations for enhancing the quality of service (QoS) provided to ground users when traditional terrestrial base stations are unavailable or not sufficient. An effective framework is proposed in this paper to manage the dynamic movement of multiple unmanned aerial vehicles (UAVs) in response to ground user mobility, with the objective to maximize the sum data rate of the ground users. First, we discuss the relationship between the air-to-ground (A2G) path loss (PL) and the location of UAVs. Then a deep Q-network (DQN) based method is proposed to adjust the locations of UAVs to maximize the sum data rate of the user equipment (UE). Finally, simulation results show that the proposed method is capable of adjusting UAV locations in a real-time condition to improve the QoS of the entire network.


title: On the duality of the symmetric strong diameter $2$ property in Lipschitz spaces

abstract: We characterise the weak$^*$ symmetric strong diameter $2$ property in Lipschitz function spaces by a property of its predual, the Lipschitz-free space. We call this new property decomposable octahedrality and study its duality with the symmetric strong diameter $2$ property in general. For a Banach space to be decomposably octahedral it is sufficient that its dual space has the weak$^*$ symmetric strong diameter $2$ property. Whether it is also a necessary condition remains open.


title: IMS at SemEval-2020 Task 1: How low can you go? Dimensionality in Lexical Semantic Change Detection

abstract: We present the results of our system for SemEval-2020 Task 1 that exploits a commonly used lexical semantic change detection model based on Skip-Gram with Negative Sampling. Our system focuses on Vector Initialization (VI) alignment, compares VI to the currently top-ranking models for Subtask 2 and demonstrates that these can be outperformed if we optimize VI dimensionality. We demonstrate that differences in performance can largely be attributed to model-specific sources of noise, and we reveal a strong relationship between dimensionality and frequency-induced noise in VI alignment. Our results suggest that lexical semantic change models integrating vector space alignment should pay more attention to the role of the dimensionality parameter.