title: Does Migrate a Monolithic System to Microservices Decrease the Technical Debt?

abstract: Background. The migration from monolithic systems to microservices involves deep refactoring of the systems. Therefore, the migration usually has a big economic impact and companies tend to postpone several activities during this process, mainly to speed-up the migration itself, but also because of the need to release new features. Objective. We monitored the Technical Debt of a small and medium enterprise while migrating a legacy monolithic system to an ecosystem of microservices to analyze changes in the code technical debt before and after the migration to microservices. Method. We conducted a case study analyzing more than four years of the history of a big project (280K Lines of Code) where two teams extracted five business processes from the monolithic system as microservices, by first analyzing the Technical Debt with SonarQube and then performing a qualitative study with the developers to understand the perceived quality of the system and the motivation for eventually postponed activities. Result. The development of microservices helps to reduce the Technical Debt in the long run. Despite an initial spike in the Technical Debt, due to the development of the new microservice, after a relatively short period, the Technical Debt tends to grow slower than in the monolithic system.


title: Focus on Shortcuts to Adiabaticity

abstract: Shortcuts to Adiabaticity (STA) constitute driving schemes that provide an alternative to adiabatic protocols to control and guide the dynamics of classical and quantum systems without the requirement of slow driving. Research on STA advances swiftly with theoretical progress being accompanied by experiments on a wide variety of platforms. We summarize recent developments emphasizing advances reported in this focus issue while providing an outlook with open problems and prospects for future research.


title: A semi-supervised deep residual network for mode detection in Wi-Fi signals

abstract: Due to their ubiquitous and pervasive nature, Wi-Fi networks have the potential to collect large-scale, low-cost, and disaggregate data on multimodal transportation. In this study, we develop a semi-supervised deep residual network (ResNet) framework to utilize Wi-Fi communications obtained from smartphones for the purpose of transportation mode detection. This framework is evaluated on data collected by Wi-Fi sensors located in a congested urban area in downtown Toronto. To tackle the intrinsic difficulties and costs associated with labelled data collection, we utilize ample amount of easily collected low-cost unlabelled data by implementing the semi-supervised part of the framework. By incorporating a ResNet architecture as the core of the framework, we take advantage of the high-level features not considered in the traditional machine learning frameworks. The proposed framework shows a promising performance on the collected data, with a prediction accuracy of 81.8% for walking, 82.5% for biking and 86.0% for the driving mode.


title: Exploiting Unlabeled Data in CNNs by Self-supervised Learning to Rank

abstract: For many applications the collection of labeled data is expensive laborious. Exploitation of unlabeled data during training is thus a long pursued objective of machine learning. Self-supervised learning addresses this by positing an auxiliary task (different, but related to the supervised task) for which data is abundantly available. In this paper, we show how ranking can be used as a proxy task for some regression problems. As another contribution, we propose an efficient backpropagation technique for Siamese networks which prevents the redundant computation introduced by the multi-branch network architecture. We apply our framework to two regression problems: Image Quality Assessment (IQA) and Crowd Counting. For both we show how to automatically generate ranked image sets from unlabeled data. Our results show that networks trained to regress to the ground truth targets for labeled data and to simultaneously learn to rank unlabeled data obtain significantly better, state-of-the-art results for both IQA and crowd counting. In addition, we show that measuring network uncertainty on the self-supervised proxy task is a good measure of informativeness of unlabeled data. This can be used to drive an algorithm for active learning and we show that this reduces labeling effort by up to 50%.


title: Semiparametric correction for endogenous truncation bias with Vox Populi based participation decision

abstract: We synthesize the knowledge present in various scientific disciplines for the development of semiparametric endogenous truncation-proof algorithm, correcting for truncation bias due to endogenous self-selection. This synthesis enriches the algorithm's accuracy, efficiency and applicability. Improving upon the covariate shift assumption, data are intrinsically affected and largely generated by their own behavior (cognition). Refining the concept of Vox Populi (Wisdom of Crowd) allows data points to sort themselves out depending on their estimated latent reference group opinion space. Monte Carlo simulations, based on 2,000,000 different distribution functions, practically generating 100 million realizations, attest to a very high accuracy of our model.


title: Rings with Polynomial Identity and Centrally Essential Rings

abstract: It is proved that for any prime integer $p$ and each field $F$ of characteristic $p$, there exists a centrally essential $F$-algebra which is not a PI-ring and is not algebraic over its center. Victor Markov is supported by the Russian Foundation for Basic Research, project 17-01-00895-A. Askar Tuganbaev is supported by Russian Scientific Foundation, project 16-11-10013.


title: Conclave: secure multi-party computation on big data (extended TR)

abstract: Secure Multi-Party Computation (MPC) allows mutually distrusting parties to run joint computations without revealing private data. Current MPC algorithms scale poorly with data size, which makes MPC on "big data" prohibitively slow and inhibits its practical use. Many relational analytics queries can maintain MPC's end-to-end security guarantee without using cryptographic MPC techniques for all operations. Conclave is a query compiler that accelerates such queries by transforming them into a combination of data-parallel, local cleartext processing and small MPC steps. When parties trust others with specific subsets of the data, Conclave applies new hybrid MPC-cleartext protocols to run additional steps outside of MPC and improve scalability further. Our Conclave prototype generates code for cleartext processing in Python and Spark, and for secure MPC using the Sharemind and Obliv-C frameworks. Conclave scales to data sets between three and six orders of magnitude larger than state-of-the-art MPC frameworks support on their own. Thanks to its hybrid protocols, Conclave also substantially outperforms SMCQL, the most similar existing system.


title: Neural Network-Based Dynamic Threshold Detection for Non-Volatile Memories

abstract: The memory physics induced unknown offset of the channel is a critical and difficult issue to be tackled for many non-volatile memories (NVMs). In this paper, we first propose novel neural network (NN) detectors by using the multilayer perceptron (MLP) network and the recurrent neural network (RNN), which can effectively tackle the unknown offset of the channel. However, compared with the conventional threshold detector, the NN detectors will incur a significant delay of the read latency and more power consumption. Therefore, we further propose a novel dynamic threshold detector (DTD), whose detection threshold can be derived based on the outputs of the proposed NN detectors. In this way, the NN-based detection only needs to be invoked when the error correction code (ECC) decoder fails, or periodically when the system is in the idle state. Thereafter, the threshold detector will still be adopted by using the adjusted detection threshold derived base on the outputs of the NN detector, until a further adjustment of the detection threshold is needed. Simulation results demonstrate that the proposed DTD based on the RNN detection can achieve the error performance of the optimum detector, without the prior knowledge of the channel.


title: Asymptotic and non-asymptotic estimates for multivariate Laplace integrals

abstract: We derive bilateral asymptotic as well as non-asymptotic estimates for the multivariate Laplace integrals. Possible applications: Tauberian theorems for random vectors.


title: Experimental searches for muon decays beyond the Standard Model

abstract: The study of muon properties and decays played a crucial role in the early years of particle physics and contributed over decades to build and consolidate the Standard Model. At present, searches for muon decays beyond the Standard Model are performed by exploiting intense beams of muons, and plans exist to upgrade the present facilities or build new ones, which would open new prospects for the quest of new physics in this sector. In this paper I review the present status of the search for muon decays beyond the Standard Model, with a special attention to the most conventional muon lepton flavor violation experiments, but also considering more exotic scenarios and future outlooks.


title: ProtoAttend: Attention-Based Prototypical Learning

abstract: We propose a novel inherently interpretable machine learning method that bases decisions on few relevant examples that we call prototypes. Our method, ProtoAttend, can be integrated into a wide range of neural network architectures including pre-trained models. It utilizes an attention mechanism that relates the encoded representations to samples in order to determine prototypes. The resulting model outperforms state of the art in three high impact problems without sacrificing accuracy of the original model: (1) it enables high-quality interpretability that outputs samples most relevant to the decision-making (i.e. a sample-based interpretability method); (2) it achieves state of the art confidence estimation by quantifying the mismatch across prototype labels; and (3) it obtains state of the art in distribution mismatch detection. All this can be achieved with minimal additional test time and a practically viable training time computational cost.


title: Equivariant Principal Bundles over the 2-Sphere

abstract: In this paper, we introduce the classification of equivariant principal bundles over the 2-sphere. Isotropy representations provide tools for understanding the classification of equivariant principal bundles. We consider a $\Gamma$-equivariant principal $G$-bundle over $S^2$ with structural group $G$ a compact connected Lie group, and $\Gamma \subset SO(3)$ a finite group acting linearly on $S^2.$ We prove that the equivariant 1-skeleton $X \subset S^2$ over the singular set can be classified by means of representations of their isotropy representations. Then, we show that equivariant principal G-bundles over the $S^2 $ can be classified by a $\Gamma$-fixed set of homotopy classes of maps, and the underlying $G$-bundle $\xi$ over $S^2$ can be determined by first Chern class.


title: Optimal dividends and capital injection under dividend restrictions

abstract: We study a singular stochastic control problem faced by the owner of an insurance company that dynamically pays dividends and raises capital in the presence of the restriction that the surplus process must be above a given dividend payout barrier in order for dividend payments to be allowed. Bankruptcy occurs if the surplus process becomes negative and there are proportional costs for capital injection. We show that one of the following strategies is optimal: (i) Pay dividends and inject capital in order to reflect the surplus process at an upper barrier and at 0, implying bankruptcy never occurs. (ii) Pay dividends in order to reflect the surplus process at an upper barrier and never inject capital --- corresponding to absorption at 0 --- implying bankruptcy occurs the first time the surplus reaches zero. We show that if the costs of capital injection are low, then a sufficiently high dividend payout barrier will change the optimal strategy from type (i) (without bankruptcy) to type (ii) (with bankruptcy). Moreover, if the costs are high, then the optimal strategy is of type (ii) regardless of the dividend payout barrier. The uncontrolled surplus process is a Wiener process with drift.


title: Electrical writing, deleting, reading, and moving of magnetic skyrmioniums in a racetrack device

abstract: A magnetic skyrmionium (also called 2$\pi$-skyrmion) can be understood as a skyrmion - a topologically non-trivial magnetic whirl - which is situated in the center of a second skyrmion with reversed magnetization. Here, we propose a new optoelectrical writing and deleting mechanism for skyrmioniums in thin films, as well as a reading mechanism based on the topological Hall voltage. Furthermore, we point out advantages for utilizing skyrmioniums as carriers of information in comparison to skyrmions with respect to the current-driven motion. We simulate all four constituents of an operating skyrmionium-based racetrack storage device: creation, motion, detection and deletion of bits. The existence of a skyrmionium is thereby interpreted as a '1' and its absence as a '0' bit.


title: How nuclear jets form and disintegrate into clusters in heavy-ion collisions

abstract: The most extreme deformations that can be explored in heavy-ion collisions at Fermi-energies are collimated flows of nuclear matter which recall jet dynamics. From microphysics to the cosmological scale, jets are rather common topologies. In nuclear physics, pioneering works focused on the breakup of these structures, resulting into early nuclear-fission models in analogy to the droplet formation in viscous liquids; such view became emblematic to explain surface-energy effects and surface instability by analogy with the Rayleigh instability. Through a dynamical approach based on the Boltzmann-Langevin equation, well adapted to out-of-equilibrium conditions, we explored the possibility that nuclear jets could arise in heavy-ion collisions from different conditions than those leading to fission or neck fragmentation, and that they can breakup from mechanisms that are almost unrelated to cohesive properties.


title: Spatial Channel Covariance Estimation for Hybrid Architectures Based on Tensor Decompositions

abstract: Spatial channel covariance information can replace full instantaneous channel state information for the analog precoder design in hybrid analog/digital architectures. Obtaining spatial channel covariance estimation, however, is challenging in the hybrid structure due to the use of fewer radio frequency (RF) chains than the number of antennas. In this paper, we propose a spatial channel covariance estimation method based on higher-order tensor decomposition for spatially sparse time-varying frequency-selective channels. The proposed method leverages the fact that the channel can be represented as a low-rank higher-order tensor. We also derive the Cram\'er-Rao lower bound on the estimation accuracy of the proposed method. Numerical results and theoretical analysis show that the proposed tensor-based approach achieves higher estimation accuracy in comparison with prior compressive-sensing-based approaches or conventional angle-of-arrival estimation approaches. Simulation results reveal that the proposed approach becomes more beneficial at low signal-to-noise (SNR) region.


title: Many-body cooperative effects in an ensemble of point-like impurity centers near a charged conductive surface

abstract: On the basis of a quantum microscopic approach we study the cooperative effects induced by the dipole-dipole interaction in an ensemble of point-like impurity centers located near a charged perfectly conducting surface. We analyze the simultaneous influence of the modified spatial structure of field modes near the conductive surface and the electric field on the transition spectrum of an excited atom inside an ensemble and on the radiation trapping. We show that the electric field modifies the cooperative Lamb shift, as well as the character of sub- and superradiant decay. We also demonstrate that these modifications differ from those taking place in the case of atomic ensembles in free space, without conducting surface.


title: On the additive period length of the Sprague-Grundy function of certain Nim-like games

abstract: We examine the structure of the additive period of the Sprague-Grundy function of Nim-like games, among them Wythoff's Game, and deduce a bound for the length of the period and preperiod.


title: Millimeter Wave Integrated Access and Backhaul in 5G: Performance Analysis and Design Insights

abstract: With the emergence of integrated access and backhaul (IAB) in the fifth generation (5G) of cellular networks, backhaul is no longer just a passive capacity constraint in cellular network design. In fact, this tight integration of access and backhaul is one of the key ways in which 5G millimeter wave (mm-wave) heterogeneous cellular networks (HetNets) differ from traditional settings where the backhaul network was designed independently from the radio access network (RAN). With the goal of elucidating key design trends for this new paradigm, we develop an analytical framework for a two-tier HetNet with IAB where the macro base stations (MBSs) provide mm-wave backhaul to the small cell base stations (SBSs). For this network, we derive the downlink rate coverage probability for two types of resource allocations at the MBS: 1) integrated resource allocation (IRA): where the total bandwidth (BW) is dynamically split between access and backhaul, and 2) orthogonal resource allocation (ORA): where a static partition is defined for the access and backhaul communications. Our analysis concretely demonstrates that offloading users from the MBSs to SBSs may not provide similar rate improvements in an IAB setting as it would in a HetNet with fiber-backhauled SBS. Our analysis also shows that it is not possible to improve the user rate in an IAB setting by simply densifying the SBSs due to the bottleneck on the rate of wireless backhaul links between MBS and SBS.


title: Redox-controlled epitaxy and magnetism of oxide heterointerfaces: EuO/SrTiO$_3$

abstract: We demonstrate a novel route to prepare thin films of the ferromagnetic insulator Europium monoxide. Key is a redox-controlled interface reaction between metallic Eu and the substrate SrTiO$_3$ as the supplier of oxygen. The process allows tuning the electronic, magnetic and structural properties of the EuO films. Furthermore, we apply this technique to various oxidic substrates and demonstrate the universality and limits of a redox-controlled EuO film synthesis.


title: Blowup for the nonlinear heat equation with small initial data in scale-invariant Besov norms

abstract: We consider the Cauchy problem of the nonlinear heat equation $u_t -\Delta u= u^{b},\ u(0,x)=u_0$, with $b\geq 2$ and $b\in \mathbb{N}$. We prove that initial data $u_0\in \mathcal{S}(\mathbb{R}^{n})$ (the Schwartz class)arbitrarily small in the scale invariant Besov-norm$\dot B^{-2/b}_{n(b-1) b/2,q}(\mathbb{R}^{n})$, can produce solutions that blow up in finite time. The case $b=3$ answers a question raised by Yves Meyer.Our result also proves that the smallness assumption put in an earlier work by C. Miao, B.~Yuan and B. Zhang, for the global-in-time solvability, is essentially optimal.


title: What is an Ordinal Latent Trait Model?

abstract: Although various polytomous item response models are considered to be ordinal models there seems no general definition of an ordinal model available. Alternative concepts of ordinal models are discussed and it is shown that they coincide for classical unidimensional models. For multidimensional models the definition of an ordinal model refers to specific traits in the multidimensional space of traits. The objective is to provide a theoretical framework for ordinal models. Practical considerations concerning the strength of the link between the latent trait and the order of categories are considered briefly.


title: Repartition of the quasi-stationary distribution and first exit point density for a double-well potential

abstract: Let f : R d $\rightarrow$ R be a smooth function and (Xt) t$\ge$0 be the stochastic process solution to the overdamped Langevin dynamics dXt = ----f (Xt)dt + $\sqrt$ h dBt. Let $\Omega$ $\subset$ R d be a smooth bounded domain and assume that f | $\Omega$ is a double-well potential with degenerate barriers. In this work, we study in the small temperature regime, i.e. when h $\rightarrow$ 0 + , the asymptotic repartition of the quasi-stationary distribution of (Xt) t$\ge$0 in $\Omega$ within the two wells of f | $\Omega$. We show that this distribution generically concentrates in precisely one well of f | $\Omega$ when h $\rightarrow$ 0 + but can nevertheless concentrate in both wells when f | $\Omega$ admits sufficient symmetries. This phenomenon corresponds to the so-called tunneling effect in semiclassical analysis. We also investigate in this setting the asymptotic behaviour when h $\rightarrow$ 0 + of the first exit point distribution from $\Omega$ of (Xt) t$\ge$0 when X0 is distributed according to the quasi-stationary distribution. 1 Setting and results 1.1 Quasi-stationary distribution and purpose of this work Let (X t) t$\ge$0 be the stochastic process solution to the overdamped Langevin dynamics in R d : dX t = ----f (X t)dt + $\sqrt$ h dB t , (1) where f : R d $\rightarrow$ R is the potential (chosen C $\infty$ in all this work), h > 0 is the temperature and (B t) t$\ge$0 is a standard d-dimensional Brownian motion. Let $\Omega$ be a C $\infty$ bounded open and connected subset of R d and introduce $\tau$ $\Omega$ = inf{t $\ge$ 0 | X t / $\in$ $\Omega$} the first exit time from $\Omega$. A quasi-stationary distribution for the process (1) on $\Omega$ is a probability measure $\mu$ h on $\Omega$ such that, when X 0 $\sim$ $\mu$ h , it holds for any time t > 0 and any Borel set A $\subset$ $\Omega$, P(X t $\in$ A | t < $\tau$ $\Omega$) = $\mu$ h (A).


title: Metric properties of homogeneous and spatially inhomogeneous F-divergences

abstract: In this paper I investigate the construction and the properties of the so-called marginal perspective cost $H$, a function related to Optimal Entropy-Transport problems obtained by a minimizing procedure, involving a cost function $c$ and an entropy function. In the pure entropic case, which corresponds to the choice $c=0$, the function $H$ naturally produces a symmetric divergence. I consider various examples of entropies and I compute the induced marginal perspective function, which includes some well-known functionals like the Hellinger distance, the Jensen-Shannon divergence and the Kullback-Liebler divergence. I discuss the metric properties of these functions and I highlight the important role of the so-called Matusita divergences. In the entropy-transport case, starting from the power like entropy $F_p(s)=(s^p-p(s-1)-1)/(p(p-1))$ and the cost $c=d^2$ for a given metric $d$, the main result of the paper ensures that for every $p>1$ the induced marginal perspective cost $H_p$ is the square of a metric on the corresponding cone space.


title: On the Complexity of Anonymous Communication Through Public Networks

abstract: Onion routing is the most widely used approach to anonymous communication online. The idea is that Alice wraps her message to Bob in layers of encryption to form an "onion," and routes it through a series of intermediaries. Each intermediary's job is to decrypt ("peel") the onion it receives to obtain instructions for where to send it next, and what to send. The intuition is that, by the time it gets to Bob, the onion will have mixed with so many other onions, that its origin will be hard to trace even for an adversary that observes the entire network and controls a fraction of the participants, possibly including Bob. In spite of its widespread use in practice, until now no onion routing protocol was known that simultaneously achieved, in the presence of an active adversary that observes all network traffic and controls a constant fraction of the participants, (a) fault-tolerance, where even if a few of the onions are dropped, the protocol still delivers the rest; (b) reasonable communication and computational complexity as a function of the security parameter and the number of participants; and (c) anonymity. In this paper, we give the first onion routing protocol that meets these goals: our protocol (a) tolerates a polylogarithmic (in the security parameter) number of dropped onions and still delivers the rest; (b) requires a polylogarithmic number of rounds and a polylogarithmic number of onions sent per participant per round; and (c) achieves anonymity. We also show that to achieve anonymity in a fault-tolerant fashion via onion routing, this number of onions and rounds is necessary. Of independent interest, our analysis introduces two new security properties of onion routing -- mixing and equalizing -- and we show that together they imply anonymity.


title: Braces of Perfect Matching Width 2

abstract: Perfect matching width is a treewidth-like parameter designed for graphs with perfect matchings. The concept was originally introduced by Norine for the study of non-bipartite Pfaffian graphs. Additionally, perfect matching width appears to be a useful structural tool for investigating matching minors, a specialised version of minors related to perfect matchings. In this paper we lay the groundwork for understanding the interaction of perfect matching width and matching minors by establishing tight connections between the perfect matching width of any matching covered graph $G$ and the perfect matching width of its bricks and braces (a matching theoretic version of blocks) and proving that perfect matching width is almost monotone under the matching minor relation. As an application, we give several characterisations for braces of perfect matching width two, including one that allows for a polynomial time recognition algorithm.


title: Growth and expansion in algebraic groups over finite fields

abstract: This is a brief introduction to the study of growth in groups of Lie type, with $SL_2(\mathbb{F}_q)$ and some of its subgroups as the key examples. They are an edited version of the notes I distributed at the Arizona Winter School in 2016. Those notes were, in turn, based in part on my survey in Bull. Am. Math. Soc. (2015) and in part on the notes for courses I gave on the subject in Cusco (AGRA) and G\"ottingen.


title: Transport in Hamiltonian systems with slowly changing phase space structure

abstract: Transport in Hamiltonian systems with weak chaotic perturbations has been much studied in the past. In this paper, we introduce a new class of problems: transport in Hamiltonian systems with slowly changing phase space structure that are not order one perturbations of a given Hamiltonian. This class of problems is very important for many applications, for instance in celestial mechanics. As an example, we study a class of one-dimensional Hamiltonians that depend explicitly on time and on stochastic external parameters. The variations of the external parameters are responsible for a distortion of the phase space structures: chaotic, weakly chaotic and regular sets change with time. We show that theoretical predictions of transport rates can be made in the limit where the variations of the stochastic parameters are very slow compared to the Hamiltonian dynamics. Exact asymptotic results can be obtained in the classical case where the Hamiltonian dynamics is integrable for fixed values of the parameters. For the more interesting chaotic Hamiltonian dynamics case, we show that two mechanisms contribute to the transport. For some range of the parameter variations, one mechanism -called transport by migration together with the mixing regions - is dominant. We are then able to model transport in phase space by a Markov model, the local diffusion model, and to give reasonably good transport estimates.


title: Differentially Private Smart Metering: Implementation, Analytics, and Billing

abstract: Smart power grids offer to revolutionize power distribution by sharing granular power usage data, though this same data sharing can reveal a great deal about users, and there are serious privacy concerns for customers. In this paper, we address these concerns using differential privacy. Differential privacy is a statistical notion of privacy that adds carefully-calibrated noise to sensitive data before sharing it, and we apply it to provide strong privacy guarantees to individual customers. Under this implementation, we quantify the impact of privacy upon smart grid analytics, which are of interest to utilities, to quantify the loss in accuracy incurred by privacy. Simultaneously, we quantify the financial impact of privacy through bounding deviations in customers' utility bills. Simulation results are provided using actual power usage data, demonstrating the viability of this approach in practice.


title: Numerical Investigation of Spin Excitations in a Doped Spin Chain

abstract: We study the doping evolution of spin excitations in a 1D Hubbard model and its downfolded spin Hamiltonians, by using exact diagonalization combined with cluster perturbation theory. In all models, we observe hardening (softening) of spin excitations upon electron (hole) doping, which are reminiscent of recent experiments on 2D cuprate materials. We also find that the 3-site and even higher-order terms are crucial for the low-energy effective spin models to reproduce the magnetic spectra of doped Hubbard systems at a quantitative level. To interpret the numerical results, we further employ a strong coupling slave-boson mean-field theory. The mean-field theory provides an intuitive understanding of the overall compact support of dynamic spin structure factors, including the shift of zero-energy modes and change of spin excitation bandwidth with doping. Our results can serve as predictive benchmarks for future inelastic x-ray or neutron scattering experiments on doped 1D antiferromagnetic Mott insulators.


title: Anomalous electronic shot noise in resonant tunneling junctions

abstract: We study the behavior of shot noise in resonant tunneling junctions far from equilibrium. Quantum-coherent elastic charge transport can be characterized by a transmission function, that is the probability for an incoming electron at a given energy to tunnel through a potential barrier. In systems such as quantum point contacts, electronic shot noise is oftentimes calculated based on a constant (energy independent) transmission probability, a good approximation at low temperatures and under a small bias voltage. Here, we generalize these investigations to far from equilibrium settings by evaluating the contributions of electronic resonances to the electronic current noise. Our study extends canonical expressions for the voltage-activated shot noise and the recently discovered delta-T noise to the far from equilibrium regime, when a high bias voltage or a temperature difference is applied. In particular, when the Fermi energy is located on the shoulder of a broad resonance, we arrive at a formula for the shot noise revealing anomalous-nonlinear behavior at high bias voltage.


title: On the universality of the incompressible Euler equation on compact manifolds, II. Non-rigidity of Euler flows

abstract: The incompressible Euler equations on a compact Riemannian manifold $(M,g)$ take the form \begin{align*} \partial_t u + \nabla_u u &= - \mathrm{grad}_g p \\ \mathrm{div}_g u &= 0, \end{align*} where $u: [0,T] \to \Gamma(T M)$ is the velocity field and $p: [0,T] \to C^\infty(M)$ is the pressure field. In this paper we show that if one is permitted to extend the base manifold $M$ by taking an arbitrary warped product with a torus, then the space of solutions to this equation becomes "non-rigid'"in the sense that a non-empty open set of smooth incompressible flows $u: [0,T] \to \Gamma(T M)$ can be approximated in the smooth topology by (the horizontal component of) a solution to these equations. We view this as further evidence towards the "universal" nature of Euler flows.


title: Native point defects from stoichiometry-linked chemical potentials in cubic boron arsenide

abstract: The presence of a point defect typically breaks the stoichiometry in a semiconductor. For example, a vacancy on an A-site in an AB compound makes the crystal B-rich. As the stoichiometry changes, so do the chemical potentials. While the prevalent first-principles methods have provided significant insight into characters of point defects in a transparent manner, the crucial connection between crystal stoichiometry and chemical potentials is usually not made. However, ad hoc choices for chemical potentials can lead to nonphysical negative formation energies in some Fermi level ranges, along with questions about charge balance. Herein, we formulate a canonical framework describing how the chemical potential of each element is directly linked to the composition of the crystal under (off-)stoichiometric conditions instead of the ad hoc assumption that the chemical potential is the elemental limit under a certain growth condition. Consequently, the chemical potential changes with the Fermi level within the band gap, and the formation energies are positive. Using such an approach, we present $ab$ $initio$ results for native point defects in BAs, a semiconductor with ultra-high room temperature thermal conductivity. We find that antisites are the constitutional defects in off-stoichiometric material, while B$_\mathrm{As}$ antisites and B vacancies dominate in the stoichiometric material. We further discuss the thermodynamic equilibrium and charge neutrality point in BAs in light of our stoichiometry-determined chemical potentials. As discussed, our work offers a more applicable and accessible approach to tackle defect formation energies in semiconductors, especially the ones with wide gap where negative formation energies are commonly seen.


title: A Bayesian binary algorithm for RMS-based acoustic signal segmentation

abstract: Changepoint analysis (also known as segmentation analysis) aims at analyzing an ordered, one-dimensional vector, in order to find locations where some characteristic of the data changes. Many models and algorithms have been studied under this theme, including models for changes in mean and / or variance, changes in linear regression parameters, etc. In this work, we are interested in an algorithm for the segmentation of long duration acoustic signals; the segmentation is based on the change of the RMS power of the signal. We investigate a Bayesian model with two possible parameterizations, and propose a binary algorithm in two versions, using non-informative or informative priors. We apply our algorithm to the segmentation of annotated acoustic signals from the Alcatrazes marine preservation park in Brazil.


title: On The Expected Total Curvature of Confined Equilateral Quadrilaterals

abstract: In this paper, we prove that the total expected curvature for random spatial equilateral quadrilaterals with diameter at most $r$ decreases as $r$ increases. To do so, we prove several curvature monotonicity inequalities and stochastic ordering lemmas in terms the of the action-angle coordinates. Using these, we can use Baddeley's extension of Crofton's differential equation to show that the derivative of the expected total curvature is non-positive.


title: Towards Failure Resiliency in 5G: Service Shifting

abstract: Many real-world services can be provided through multiple VNF graphs, corresponding, e.g., to high- and low-quality variants of the service itself. Based on this observation, we extend the concept of service scaling in network orchestration to service shifting, i.e., switching between the VNF graphs implementing the same service. Service shifting can serve multiple goals, from reducing operational costs to reacting to infrastructure problems. Furthermore, it enhances the flexibility of service-level agreements between network operators and third party content providers ("verticals"). In this paper, we introduce and describe the service shifting concept, its benefits, and the associated challenges, with special reference to how service shifting can be integrated within real-world 5G architectures and implementations. We conclude that existing network orchestration frameworks can be easily extended to support service shifting, and its adoption has the potential to make 5G network slices easier for the operators to manage under high-load conditions, while still meeting the verticals' requirements.


title: Homotopy invariants for $\overline{\mathcal{M}}_{0,n}$ via Koszul duality

abstract: We show that the integral cohomology rings of the moduli spaces of stable rational marked curves are Koszul. This answers an open question of Manin. Using the machinery of Koszul spaces developed by Berglund, we compute the rational homotopy Lie algebras of those spaces, and obtain some estimates for Betti numbers of their free loop spaces in case of torsion coefficients. We also prove and conjecture some generalisations of our main result.


title: Private Inner Product Retrieval for Distributed Machine Learning

abstract: In this paper, we argue that in many basic algorithms for machine learning, including support vector machine (SVM) for classification, principal component analysis (PCA) for dimensionality reduction, and regression for dependency estimation, we need the inner products of the data samples, rather than the data samples themselves. Motivated by the above observation, we introduce the problem of private inner product retrieval for distributed machine learning, where we have a system including a database of some files, duplicated across some non-colluding servers. A user intends to retrieve a subset of specific size of the inner products of the data files with minimum communication load, without revealing any information about the identity of the requested subset. For achievability, we use the algorithms for multi-message private information retrieval. For converse, we establish that as the length of the files becomes large, the set of all inner products converges to independent random variables with uniform distribution, and derive the rate of convergence. To prove that, we construct special dependencies among sequences of the sets of all inner products with different length, which forms a time-homogeneous irreducible Markov chain, without affecting the marginal distribution. We show that this Markov chain has a uniform distribution as its unique stationary distribution, with rate of convergence dominated by the second largest eigenvalue of the transition probability matrix. This allows us to develop a converse, which converges to a tight bound in some cases, as the size of the files becomes large. While this converse is based on the one in multi-message private information retrieval, due to the nature of retrieving inner products instead of data itself some changes are made to reach the desired result.


title: Towards Improved Testing For Deep Learning

abstract: The growing use of deep neural networks in safety-critical applications makes it necessary to carry out adequate testing to detect and correct any incorrect behavior for corner case inputs before they can be actually used. Deep neural networks lack an explicit control-flow structure, making it impossible to apply to them traditional software testing criteria such as code coverage. In this paper, we examine existing testing methods for deep neural networks, the opportunities for improvement and the need for a fast, scalable, generalizable end-to-end testing method. We also propose a coverage criterion for deep neural networks that tries to capture all possible parts of the deep neural network's logic.


title: Experimental realization of a non-magnetic one-way spin switch

abstract: Controlling magnetism through non-magnetic means is highly desirable for future electronic devices, as such means typically have ultra-low power requirements and can provide coherent control. In recent years, great experimental progress has been made in the field of electrical manipulation of magnetism in numerous material systems. These studies generally do not consider the directionality of the applied non-magnetic potentials and/or magnetism switching. Here, we theoretically conceive and experimentally demonstrate a non-magnetic one-way spin switch device using a spin-orbit coupled Bose-Einstein condensate subjected to a moving spin-independent dipole potential. The physical foundation of this unidirectional device is based on the breakdown of Galilean invariance in the presence of spin-orbit coupling. Such a one-way spin switch opens an avenue for designing novel quantum devices with unique functionalities and may facilitate further experimental investigations of other one-way spintronic and atomtronic devices.


title: Homotopic distance between functors

abstract: We introduce a notion of categorical homotopic distance between functors by adapting the notion of homotopic distance in topological spaces, recently defined by the authors to the context of small categories. Moreover, this notion generalizes the work on categorical LS-category of small categories by Tanaka.


title: Automated Detection of Regions of Interest for Brain Perfusion MR Images

abstract: Images with abnormal brain anatomy produce problems for automatic segmentation techniques, and as a result poor ROI detection affects both quantitative measurements and visual assessment of perfusion data. This paper presents a new approach for fully automated and relatively accurate ROI detection from dynamic susceptibility contrast perfusion magnetic resonance and can therefore be applied excellently in the perfusion analysis. In the proposed approach the segmentation output is a binary mask of perfusion ROI that has zero values for air pixels, pixels that represent non-brain tissues, and cerebrospinal fluid pixels. The process of binary mask producing starts with extracting low intensity pixels by thresholding. Optimal low-threshold value is solved by obtaining intensity pixels information from the approximate anatomical brain location. Holes filling algorithm and binary region growing algorithm are used to remove falsely detected regions and produce region of only brain tissues. Further, CSF pixels extraction is provided by thresholding of high intensity pixels from region of only brain tissues. Each time-point image of the perfusion sequence is used for adjustment of CSF pixels location. The segmentation results were compared with the manual segmentation performed by experienced radiologists, considered as the reference standard for evaluation of proposed approach. On average of 120 images the segmentation results have a good agreement with the reference standard. All detected perfusion ROIs were deemed by two experienced radiologists as satisfactory enough for clinical use. The results show that proposed approach is suitable to be used for perfusion ROI detection from DSC head scans. Segmentation tool based on the proposed approach can be implemented as a part of any automatic brain image processing system for clinical use.


title: Isomorphisms between complements of projective plane curves

abstract: In this article, we study isomorphisms between complements of irreducible curves in the projective plane $\mathbb{P}^2$, over an arbitrary algebraically closed field. Of particular interest are rational unicuspidal curves. We prove that if there exists a line that intersects a unicuspidal curve $C \subset \mathbb{P}^2$ only in its singular point, then any other curve whose complement is isomorphic to $\mathbb{P}^2 \setminus C$ must be projectively equivalent to $C$. This generalizes a result of H. Yoshihara who proved this result over the complex numbers. Moreover, we study properties of multiplicity sequences of irreducible curves that imply that any isomorphism between the complements of these curves extends to an automorphism of $\mathbb{P}^2$. Using these results, we show that two irreducible curves of degree $\leq 7$ have isomorphic complements if and only if they are projectively equivalent. Finally, we describe new examples of irreducible projectively non-equivalent curves of degree $8$ that have isomorphic complements.


title: Constant spacing in filament bundles

abstract: Assemblies of filaments appear in a wide range of systems: from biopolymer bundles, columnar liquid crystals, and superconductor vortex arrays; to familiar macroscopic materials, like ropes, cables and textiles. Interactions between the constituent filaments in such systems are most sensitive to the {\it distance of closest approach} between the central curves which approximate their configuration, subjecting these distinct assemblies to common geometric constraints. In this paper, we consider two distinct notions of constant spacing in multi-filament packings in $\mathbb{R}^3$: {\it equidistance}, where the distance of closest approach is constant along the length of filament pairs; and {\it isometry}, where the distances of closest approach between all neighboring filaments are constant and equal. We show that, although any smooth curve in $\mathbb{R}^3$ permits one dimensional families of collinear equidistant curves belonging to a ruled surface, there are only two families of tangent fields with mutually equidistant integral curves in $\mathbb{R}^3$. The relative shapes and configurations of curves in these families are highly constrained: they must be either (isometric) developable domains, which can bend, but not twist; or (non-isometric) constant-pitch helical bundles, which can twist, but not bend. Thus, simultaneously bent and twisted filament textures, such as twisted toroids of condensed DNA plasmids or wire ropes, are doubly frustrated: twist frustrates constant neighbor spacing in the cross-section, while non-equidistance requires longitudinal variations of inter-filament spacing. To illustrate the consequences of the failure of equidistance, we compare spacing in three "almost equidistant" ansatzes for twisted toroidal bundles and use our formulation of equidistance to construct upper bounds on the growth of longitudinal variations of spacing with bundle thickness.


title: PIXOR: Real-time 3D Object Detection from Point Clouds

abstract: We address the problem of real-time 3D object detection from point clouds in the context of autonomous driving. Computation speed is critical as detection is a necessary component for safety. Existing approaches are, however, expensive in computation due to high dimensionality of point clouds. We utilize the 3D data more efficiently by representing the scene from the Bird's Eye View (BEV), and propose PIXOR, a proposal-free, single-stage detector that outputs oriented 3D object estimates decoded from pixel-wise neural network predictions. The input representation, network architecture, and model optimization are especially designed to balance high accuracy and real-time efficiency. We validate PIXOR on two datasets: the KITTI BEV object detection benchmark, and a large-scale 3D vehicle detection benchmark. In both datasets we show that the proposed detector surpasses other state-of-the-art methods notably in terms of Average Precision (AP), while still runs at >28 FPS.


title: Let the Cloud Watch Over Your IoT File Systems

abstract: Smart devices produce security-sensitive data and keep them in on-device storage for persistence. The current storage stack on smart devices, however, offers weak security guarantees: not only because the stack depends on a vulnerable commodity OS, but also because smart device deployment is known weak on security measures. To safeguard such data on smart devices, we present a novel storage stack architecture that i) protects file data in a trusted execution environment (TEE); ii) outsources file system logic and metadata out of TEE; iii) running a metadata-only file system replica in the cloud for continuously verifying the on-device file system behaviors. To realize the architecture, we build Overwatch, aTrustZone-based storage stack. Overwatch addresses unique challenges including discerning metadata at fine grains, hiding network delays, and coping with cloud disconnection. On a suite of three real-world applications, Overwatch shows moderate security overheads.


title: Unsupervised Domain Adaptation using Deep Networks with Cross-Grafted Stacks

abstract: Current deep domain adaptation methods used in computer vision have mainly focused on learning discriminative and domain-invariant features across different domains. In this paper, we present a novel approach that bridges the domain gap by projecting the source and target domains into a common association space through an unsupervised ``cross-grafted representation stacking'' (CGRS) mechanism. Specifically, we construct variational auto-encoders (VAE) for the two domains, and form bidirectional associations by cross-grafting the VAEs' decoder stacks. Furthermore, generative adversarial networks (GAN) are employed for label alignment (LA), mapping the target domain data to the known label space of the source domain. The overall adaptation process hence consists of three phases: feature representation learning by VAEs, association generation, and association label alignment by GANs. Experimental results demonstrate that our CGRS-LA approach outperforms the state-of-the-art on a number of unsupervised domain adaptation benchmarks.


title: Direct limits of regular Lie groups

abstract: Let G be a regular Lie group which is a directed union of regular Lie groups G_i (all modelled on possibly infinite-dimensional, locally convex spaces). We show that G is the direct limit of the G_i as a regular Lie group whenever G admits a so-called direct limit chart. Notably, this allows the regular Lie group Diff_c(M) of compactly supported smooth diffeomorphisms to be interpreted as a direct limit of the regular Lie groups Diff_K(M) of smooth diffeomorphisms supported in compact subsets K of M, even if the finite-dimensional smooth manifold M is merely paracompact (but not necessarily sigma-compact), which was not known before. Similar results are obtained for the test function groups C^k_c(M,F) with values in a Lie group F.


title: Orthogonal polynomial expansions for the Riemann xi function

abstract: We study infinite series expansions for the Riemann xi function $\Xi(t)$ in three specific families of orthogonal polynomials: (1) the Hermite polynomials; (2) the symmetric Meixner-Pollaczek polynomials $P_n^{(3/4)}(x;\pi/2)$; and (3) the continuous Hahn polynomials $p_n\left(x; \frac34,\frac34,\frac34,\frac34\right)$. The first expansion was discussed in earlier work by Tur\'an, and the other two expansions are new. For each of the three expansions, we derive formulas for the coefficients, show that they appear with alternating signs, derive formulas for their asymptotic behavior, and derive additional interesting properties and relationships. We also apply some of the same techniques to prove a new asymptotic formula for the Taylor coefficients of the Riemann xi function. Our results continue and expand the program of research initiated in the 1950s by Tur\'an, who proposed using the Hermite expansion of the Riemann xi function as a tool to gain insight into the location of the Riemann zeta zeros. We also uncover a connection between Tur\'an's ideas and the separate program of research involving the so-called De Bruijn-Newman constant. Most significantly, the phenomena associated with the new expansions in the Meixner-Pollaczek and continuous Hahn polynomial families suggest that those expansions may be even more natural tools than the Hermite expansion for approaching the Riemann hypothesis and related questions.


title: A synthetic gauge field for two-dimensional time-multiplexed quantum random walks

abstract: Temporal multiplexing provides an efficient and scalable approach to realize a quantum random walk with photons that can exhibit topological properties. But two dimensional time-multiplexed topological quantum walks studied so far have relied on generalizations of the Su-Shreiffer-Heeger (SSH) model with no synthetic gauge field. In this work, we demonstrate a 2D topological quantum random walk where the non-trivial topology is due to the presence of a synthetic gauge field. We show that the synthetic gauge field leads to the appearance of multiple bandgaps and consequently, a spatial confinement of the random walk distribution. Moreover, we demonstrate topological edge states at an interface between domains with opposite synthetic fields. Our results expand the range of Hamiltonians that can be simulated using photonic random walks.


title: Quantized Frank-Wolfe: Faster Optimization, Lower Communication, and Projection Free

abstract: How can we efficiently mitigate the overhead of gradient communications in distributed optimization? This problem is at the heart of training scalable machine learning models and has been mainly studied in the unconstrained setting. In this paper, we propose Quantized-Frank-Wolfe (QFW), the first projection-free and communication-efficient algorithm for solving constrained optimization problems at scale. We consider both convex and non-convex objective functions, expressed as a finite-sum or more generally a stochastic optimization problem, and provide strong theoretical guarantees on the convergence rate of QFW. This is accomplished by proposing novel quantization schemes that efficiently compress gradients while controlling the noise variance introduced during this process. Finally, we empirically validate the efficiency of QFW in terms of communication and the quality of returned solution against natural baselines.


title: Forming native shortcut networks to simulate protein folding

abstract: Native shortcut networks (SCN0) are sub-graphs of native protein residue networks (PRN0). In this paper, we propose the Network Dynamics (ND) model, which reconstructs a PRN0 by adding back its edges according to some recipe, while its nodes are fixed at native (PDB) locations. A PRN0 reconstruction will eventually reconstruct its SCN0, but only after exploring several non-native shortcut network (SCN) configurations. It is these other SCN configurations that are of interest to us, as they produce the statistics to evaluate the different recipes. The recipes vary from each other slightly to investigate the effect of different edge orderings on protein folding. An edge ordering is deemed more successful if it produces a stronger correlation with experimental folding rates. Over proteins of different chain fold types, this basic requirement is best satisfied when a recipe favours earlier restoration of edges with smaller sequence separation, and earlier restoration of edges incident on nodes with larger remaining degree within the 1-hop neighborhood of a previously selected node. Further, this recipe generated more route-like trajectories over SCN space and a wider range of simulated folding rates, both of which signal cooperative two-state folding behavior. It also produced better correspondence between ND calculated phi-values and experimental phi-values obtained from a set of ten transition state ensembles (TSE). Also introduced is the local centrality measure which uses centrality of initial fold substructures to yield calculated phi-values from PRN0s with even better overall correspondence than ND calculated phi-values. Preliminary investigation with mixed ND recipes by chain fold type suggests that concocting further context-sensitive recipes by chain fold type and combining them could improve ND. This search task may be better undertaken by machine learning.


title: Semantically Interpretable and Controllable Filter Sets

abstract: In this paper, we generate and control semantically interpretable filters that are directly learned from natural images in an unsupervised fashion. Each semantic filter learns a visually interpretable local structure in conjunction with other filters. The significance of learning these interpretable filter sets is demonstrated on two contrasting applications. The first application is image recognition under progressive decolorization, in which recognition algorithms should be color-insensitive to achieve a robust performance. The second application is image quality assessment where objective methods should be sensitive to color degradations. In the proposed work, the sensitivity and lack thereof are controlled by weighing the semantic filters based on the local structures they represent. To validate the proposed approach, we utilize the CURE-TSR dataset for image recognition and the TID 2013 dataset for image quality assessment. We show that the proposed semantic filter set achieves state-of-the-art performances in both datasets while maintaining its robustness across progressive distortions.


title: Limited Lookahead in Imperfect-Information Games

abstract: Limited lookahead has been studied for decades in perfect-information games. We initiate a new direction via two simultaneous deviation points: generalization to imperfect-information games and a game-theoretic approach. We study how one should act when facing an opponent whose lookahead is limited. We study this for opponents that differ based on their lookahead depth, based on whether they, too, have imperfect information, and based on how they break ties. We characterize the hardness of finding a Nash equilibrium or an optimal commitment strategy for either player, showing that in some of these variations the problem can be solved in polynomial time while in others it is PPAD-hard, NP-hard, or inapproximable. We proceed to design algorithms for computing optimal commitment strategies---for when the opponent breaks ties favorably, according to a fixed rule, or adversarially. We then experimentally investigate the impact of limited lookahead. The limited-lookahead player often obtains the value of the game if she knows the expected values of nodes in the game tree for some equilibrium---but we prove this is not sufficient in general. Finally, we study the impact of noise in those estimates and different lookahead depths.


title: Extended lifespan of the fractional BBM equation

abstract: For $0<\alpha<1$ and with initial data $\vert\vert u_0\vert\vert_{H^{N+\frac{\alpha}{2}}}=\varepsilon$, sufficently small, we show that the existence time for solutions of the fractional BBM equation $\partial_tu+\partial_xu+u\partial_xu+\vert\mathrm{D}\vert^\alpha\partial_tu=0$, can be extended beyond the hyperbolic existence time $\frac{1}{\varepsilon}$, to $\frac{1}{\varepsilon^2}$. For the proof we use a modified energy, based on a normal form transformation as in [Hunter, Ifrim, Tataru, Wong, 2015]. In addition we employ ideas and techniques from [Ehrnstr\"om, Wang, 2018], in which the authors obtain an enhanced existence time for the fractional KdV equation.


title: Computational search for Dirac and Weyl nodes in $f$-electon antiperovskites

abstract: We present the result of an \textit{ab initio} search for new Dirac materials among inverse perovskites. Our investigation is focused on the less studied class of lanthanide antiperovskites containing heavy $f$-electron elements in the cation position. Some of the studied compounds have not yet been synthesized experimentally. Our computational approach is based on density functional theory calculations which account for spin-orbit interaction and strong correlations of the $f$-electron atoms. We find several promising candidates among lanthanide antiperovskites which host bulk Dirac states close to the Fermi level. Specifically, our calculations reveal massive three-dimensional Dirac states in materials of the class A$_3$BO, where A=Sm, Eu, Gd, Yb and B=Sn, Pb. In materials with finite magnetic moment, such as Eu$_3$BO (B=Sn, Pb), the degeneracy of the Dirac nodes is lifted, leading to appearance of Weyl nodes.


title: Mean field and two-body nuclear effects in inclusive electron scattering on argon, carbon and titanium: the superscaling approach

abstract: We compare the predictions of the SuSAv2 model including two-particle two-hole meson-exchange currents with the recent JLab data for inclusive electron scattering on three different targets (C, Ar and Ti). The agreement is very good over the full energy spectrum, with some discrepancy seen only in the deep inelastic region. The 2p2h response, peaked in the dip region between the quasielastic and $\Delta$-resonance peak, is essential to reproduce the data. We also analyze the $k_F$ (Fermi momentum) dependence of the data in terms of scaling of second kind, showing that the 2p2h response scales very differently from the quasielastic one, in full accord with what is predicted by the model. The results represent a valuable test of the applicability of the model to neutrino scattering processes on different nuclei.


title: Smooth Linearization of Nonautonomous Differential Equations with a Nonuniform Dichotomy

abstract: In this paper we give a smooth linearization theorem for nonautonomous differential equations with a nonuniform strong exponential dichotomy. In terms of discretized evolution operator with hyperbolic fixed point 0, we formulate its spectrum and then give a spectral bound condition for the linearization of such equations to be simultaneously differentiable at 0 and H\"older continuous near 0. Restricted in the autonomous case, our result is the first one that gives a rigorous proof for simultaneously differentiable and H\"older linearization of hyperbolic systems without any non-resonant conditions.


title: The congruence biframe as a quasi-uniform bicompletion

abstract: K\"unzi and Ferrario have shown that a $T_0$ space is sober if and only if it is bicomplete in the well-monotone quasi-uniformity. We prove a pointfree version of this result: a strictly zero-dimensional biframe is a congruence biframe if and only if it is bicomplete in the same quasi-uniformity. As a corollary we obtain a new proof of a result of Plewe that a congruence frame is ultraparacompact. The main result makes use of a new construction of the bicompletion of a quasi-uniform biframe as a quotient of the Samuel compactification.


title: Delay-induced homoclinic bifurcations in modified gradient bistable systems and their relevance to optimisation

abstract: Nonlinear dynamical systems with time delay are abundant in applications, but are notoriously difficult to analyse and predict because delay-induced effects strongly depend on the form of the nonlinearities involved, and on the exact way the delay enters the system. We consider a special class of nonlinear systems with delay obtained by taking a gradient dynamical system with a two-well "potential" function and replacing the argument of the right-hand side function with its delayed version. This choice of the system is motivated by the relative ease of its graphical interpretation, and by its relevance to a recent approach to use delay in finding the global minimum of a multi-well function. Here, the simplest type of such systems is explored, for which we hypothesise and verify the possibility to qualitatively predict the delay-induced effects, such as a chain of homoclinic bifurcations one by one eliminating local attractors and enabling the phase trajectory to spontaneously visit vicinities of all local minima. The key phenomenon here is delay-induced reorganisation of manifolds, which cease to serve as barriers between the local minima after homoclinic bifurcations. Despite the general scenario being quite universal in two-well potentials, the homoclinic bifurcation comes in various versions depending on the fine features of the potential. Our results are a pre-requisite for understanding general highly nonlinear multistable systems with delay. They also reveal the mechanisms behind the possible role of delay in optimisation.


title: Phase Transitions in Nematics: Textures with Tactoids and Disclinations

abstract: We demonstrate that a first order isotropic-to-nematic phase transition in liquid crystals can be succesfully modeled within the generalized Landau-de Gennes theory by selecting an appropriate combination of elastic constants. The numerical simulations of the model established in this paper qualitatively reproduce the experimentally observed configurations that include interfaces and topological defects in the nematic phase.


title: FETCH: A deep-learning based classifier for fast transient classification

abstract: With the upcoming commensal surveys for Fast Radio Bursts (FRBs), and their high candidate rate, usage of machine learning algorithms for candidate classification is a necessity. Such algorithms will also play a pivotal role in sending real-time triggers for prompt follow-ups with other instruments. In this paper, we have used the technique of Transfer Learning to train the state-of-the-art deep neural networks for classification of FRB and Radio Frequency Interference (RFI) candidates. These are convolutional neural networks which work on radio frequency-time and dispersion measure-time images as the inputs. We trained these networks using simulated FRBs and real RFI candidates from telescopes at the Green Bank Observatory. We present 11 deep learning models, each with an accuracy and recall above 99.5% on our test dataset comprising of real RFI and pulsar candidates. As we demonstrate, these algorithms are telescope and frequency agnostic and are able to detect all FRBs with signal-to-noise ratios above 10 in ASKAP and Parkes data. We also provide an open-source python package FETCH (Fast Extragalactic Transient Candidate Hunter) for classification of candidates, using our models. Using FETCH, these models can be deployed along with any commensal search pipeline for real-time candidate classification.


title: Resolving Phonon Fock States in a Multimode Cavity with a Double-Slit Qubit

abstract: We resolve phonon number states in the spectrum of a superconducting qubit coupled to a multimode acoustic cavity. Crucial to this resolution is the sharp frequency dependence in the qubit-phonon interaction engineered by coupling the qubit to surface acoustic waves in two locations separated by $\sim40$ acoustic wavelengths. In analogy to double-slit diffraction, the resulting self-interference generates high-contrast frequency structure in the qubit-phonon interaction. We observe this frequency structure both in the coupling rate to multiple cavity modes and in the qubit spontaneous emission rate into unconfined modes. We use this sharp frequency structure to resolve single phonons by tuning the qubit to a frequency of destructive interference where all acoustic interactions are dispersive. By exciting several detuned yet strongly-coupled phononic modes and measuring the resulting qubit spectrum, we observe that, for two modes, the device enters the strong dispersive regime where single phonons are spectrally resolved.


title: Incompressible analytical models for spinning-down pulsars

abstract: We study a class of Newtonian models for the deformations of non-magnetized neutron stars during their spin-down. The models have all an analytical solution, and thus allow to understand easily the dependence of the strain on the star's main physical quantities, such as radius, mass and crust thickness. In the first ``historical'' model the star is assumed to be comprised of a fluid core and an elastic crust with the same density. We compare the response of stars with different masses and equations of state to a decreasing centrifugal force, finding smaller deformations for heavier stars: the strain angle is peaked at the equator and turns out to be a decreasing function of the mass.We introduce a second, more refined, model in which the core and the crust have different densities and the gravitational potential of the deformed body is self-consistently accounted for. Also in this case the strain angle is a decreasing function of the stellar mass, but its maximum value is at the poles and is always larger than the corresponding one in the one-density model by a factor of two. Finally, within the present analytic approach, it is possible to estimate easily the impact of the Cowling approximation: neglecting the perturbations of the gravitational potential, the strain angle is 40\% of the one obtained with the complete model.


title: Functions of noncommuting operators under perturbation of class $\boldsymbol{S}_p$

abstract: In this article we prove that for $p>2$, there exist pairs of self-adjoint operators $(A_1,B_1)$ and $(A_2,B_2)$ and a function $f$ on the real line in the homogeneous Besov class $B_{\infty,1}^1({\Bbb R}^2)$ such that the differences $A_2-A_1$ and $B_2-B_1$ belong to the Schatten--von Neumann class $\boldsymbol{S}_p$ but $f(A_2,B_2)-f(A_1,B_1)\not\in\boldsymbol{S}_p$. A similar result holds for functions of contractions. We also obtain an analog of this result in the case of triples of self-adjoint operators for any $p\ge1$


title: Accurate Segmentation of Dermoscopic Images based on Local Binary Pattern Clustering

abstract: Segmentation is a key stage in dermoscopic image processing, where the accuracy of the border line that defines skin lesions is of utmost importance for subsequent algorithms (e.g., classification) and computer-aided early diagnosis of serious medical conditions. This paper proposes a novel segmentation method based on Local Binary Patterns (LBP), where LBP and K-Means clustering are combined to achieve a detailed delineation in dermoscopic images. In comparison with usual dermatologist-like segmentation (i.e., the available ground-truth), the proposed method is capable of finding more realistic borders of skin lesions, i.e., with much more detail. The results also exhibit reduced variability amongst different performance measures and they are consistent across different images. The proposed method can be applied for cell-based like segmentation adapted to the lesion border growing specificities. Hence, the method is suitable to follow the growth dynamics associated with the lesion border geometry in skin melanocytic images.


title: Laser slicing: a thin film lift-off method for GaN-on-GaN technology

abstract: A femtosecond laser focused inside bulk GaN was used to slice a thin GaN film with an epitaxial device structure from a bulk GaN substrate. The demonstrated laser slicing lift-off process did not require any special release layers in the epitaxial structure. GaN film with a thickness of 5 $\mu$m and an InGaN LED epitaxial device structure was lifted off a GaN substrate and transferred onto a copper substrate. The electroluminescence of the LED chip after the laser slicing lift-off was demonstrated.


title: Learning to Infer Program Sketches

abstract: Our goal is to build systems which write code automatically from the kinds of specifications humans can most easily provide, such as examples and natural language instruction. The key idea of this work is that a flexible combination of pattern recognition and explicit reasoning can be used to solve these complex programming problems. We propose a method for dynamically integrating these types of information. Our novel intermediate representation and training algorithm allow a program synthesis system to learn, without direct supervision, when to rely on pattern recognition and when to perform symbolic search. Our model matches the memorization and generalization performance of neural synthesis and symbolic search, respectively, and achieves state-of-the-art performance on a dataset of simple English description-to-code programming problems.


title: Modeling and Analysis of Data Harvesting Architecture based on Unmanned Aerial Vehicles

abstract: This paper explores an emerging wireless Internet-of-things (IoT) architecture based on unmanned aerial vehicles (UAVs). We consider a network where a fleet of UAVs at a fixed altitude flies on planned trajectories and IoT devices on the ground are scheduled to transmit their data to the UAVs when the latter are nearby. In such a system, the UAVs' motion triggers the uplink transmissions of the IoT devices. As a result, network performance is determined by the geometric and dynamic characteristics of the system. We propose a joint stationary model for UAVs and IoT devices and then evaluate the interference, the coverage probability, and the data rate of the typical UAV. To assess the harvesting capability of the proposed architecture, we derive a formula for the amount of data uploaded from each IoT device to a UAV. We also establish a linear relationship between the UAV coverage and the harvesting capability of the network, which provides insights into the design of the proposed harvesting scheme. In addition, we use our analytical results to numerically show that there exists a trade-off between the uploaded data and the size of the IoT scheduling window. Specifically, for a given UAV and IoT geometry, there exists an optimal scheduling window that maximizes the harvesting capability of the proposed network.


title: A feature-based framework for detecting technical outliers in water-quality data from in situ sensors

abstract: Outliers due to technical errors in water-quality data from in situ sensors can reduce data quality and have a direct impact on inference drawn from subsequent data analysis. However, outlier detection through manual monitoring is unfeasible given the volume and velocity of data the sensors produce. Here, we proposed an automated framework that provides early detection of outliers in water-quality data from in situ sensors caused by technical issues.The framework was used first to identify the data features that differentiate outlying instances from typical behaviours. Then statistical transformations were applied to make the outlying instances stand out in transformed data space. Unsupervised outlier scoring techniques were then applied to the transformed data space and an approach based on extreme value theory was used to calculate a threshold for each potential outlier. Using two data sets obtained from in situ sensors in rivers flowing into the Great Barrier Reef lagoon, Australia, we showed that the proposed framework successfully identified outliers involving abrupt changes in turbidity, conductivity and river level, including sudden spikes, sudden isolated drops and level shifts, while maintaining very low false detection rates. We implemented this framework in the open source R package oddwater.


title: Metabolic basis of brain-like electrical signalling in bacterial communities

abstract: Information processing in the mammalian brain relies on a careful regulation of the membrane potential dynamics of its constituent neurons, which propagates across the neuronal tissue via electrical signalling. We recently reported the existence of electrical signalling in a much simpler organism, the bacterium Bacillus subtilis. In dense bacterial communities known as biofilms, nutrient-deprived B. subtilis cells in the interior of the colony use electrical communication to transmit stress signals to the periphery, which interfere with the growth of peripheral cells and reduce nutrient consumption, thereby relieving stress from the interior. Here we explicitly address the interplay between metabolism and electrophysiology in bacterial biofilms, by introducing a spatially-extended mathematical model that combines the metabolic and electrical components of the phenomenon in a discretised reaction-diffusion scheme. The model is experimentally validated by environmental and genetic perturbations, and confirms that metabolic stress is transmitted through the bacterial population via a potassium wave. Interestingly, this behaviour is reminiscent of cortical spreading depression in the brain, characterised by a wave of electrical activity mediated by potassium diffusion that has been linked to various neurological disorders, calling for future studies on the evolutionary link between the two phenomena.


title: Distributed Learning for Channel Allocation Over a Shared Spectrum

abstract: Channel allocation is the task of assigning channels to users such that some objective (e.g., sum-rate) is maximized. In centralized networks such as cellular networks, this task is carried by the base station which gathers the channel state information (CSI) from the users and computes the optimal solution. In distributed networks such as ad-hoc and device-to-device (D2D) networks, no base station exists and conveying global CSI between users is costly or simply impractical. When the CSI is time varying and unknown to the users, the users face the challenge of both learning the channel statistics online and converge to a good channel allocation. This introduces a multi-armed bandit (MAB) scenario with multiple decision makers. If two users or more choose the same channel, a collision occurs and they all receive zero reward. We propose a distributed channel allocation algorithm that each user runs and converges to the optimal allocation while achieving an order optimal regret of O\left(\log T\right). The algorithm is based on a carrier sensing multiple access (CSMA) implementation of the distributed auction algorithm. It does not require any exchange of information between users. Users need only to observe a single channel at a time and sense if there is a transmission on that channel, without decoding the transmissions or identifying the transmitting users. We demonstrate the performance of our algorithm using simulated LTE and 5G channels.


title: A Generalization of the "Raboter" Operation

abstract: We generalize an operation described by Sloane on the binary representation of an integer to other bases, thus finding several new sequences.


title: Inverse coefficient problems for a transport equation by local Carleman estimate

abstract: We consider the transport equation $\ppp_tu(x,t) + (H(x)\cdot \nabla u(x,t)) + p(x)u(x,t) = 0$ in $\OOO \times (0,T)$ where $\OOO \subset \R^n$ is a bounded domain, and discuss two inverse problems which consist of determining a vector-valued function $H(x)$ or a real-valued function $p(x)$ by initial values and data on a subboundary of $\OOO$. Our results are conditional stability of H\"older type in a subdomain $D$ provided that the outward normal component of $H(x)$ is positive on $\ppp D \cap \ppp\OOO$. The proofs are based on a Carleman estimate where the weight function depends on $H$.


title: Quasi-isotropic cycles and non-singular bounces in a Mixmaster cosmology

abstract: A Bianchi IX Mixmaster spacetime is the most general spatially homogeneous solution of Einstein's equations and it can represent the space-averaged Universe. We introduce two novel mechanisms resulting in a Mixmaster Universe with non-singular bounces which are quasi-isotropic. A fluid with a non-linear equation of state allows non-singular bounces. Using negative anisotropic stresses successfully isotropises this Universe and mitigates the well known Mixmaster chaotic behaviour. Thus the Universe can be an eternal Mixmaster, going through an infinite series of different cycles separated by bounces, with a sizable fraction of cycles isotropic enough to be well approximated by a standard Friedmann-Lema\^itre-Robertson-Walker model from the radiation era onward.


title: Search for variable stars in the northern sky:Analysis of photometric time series for 3598 stars

abstract: As extensive ground-based observations and characterisation of different variable stars are of the utmost importance in preparing optimal input catalogues for space missions, our aim was to search for new variable stars in selected fields of the northern sky. We obtained 24470 CCD images and analysed photometric time series of stars using the DAOPHOT based package Muniwin as the first step, and the Period04 package was used to further analyse the suspected new variable stars. The light curves and other observational results are presented for 3598 stars online. We found 81 new variable stars, among them is an eclipsing binary with a variable component and possibly eccentric orbits TYC4038-693-1 which we also observed spectroscopically, four {\delta} Scuti candidates, six other variable stars with periods falling into the interval of 35 minutes to 20 days. Furthermore, we identified 70 slowly varying stars with so far undefined periodicity. Additional photometric and spectral observations were carried out for TYC 2764-1997-1, and its previous candidacy for eclipsing binaries was approved.


title: Comparing proton momentum distributions in $A=2$ and 3 nuclei via $^2$H $^3$H and $^3$He $(e, e'p)$ measurements

abstract: We report the first measurement of the $(e,e'p)$ reaction cross-section ratios for Helium-3 ($^3$He), Tritium ($^3$H), and Deuterium ($d$). The measurement covered a missing momentum range of $40 \le p_{miss} \le 550$ MeV$/c$, at large momentum transfer ($\langle Q^2 \rangle \approx 1.9$ (GeV$/c$)$^2$) and $x_B>1$, which minimized contributions from non quasi-elastic (QE) reaction mechanisms. The data is compared with plane-wave impulse approximation (PWIA) calculations using realistic spectral functions and momentum distributions. The measured and PWIA-calculated cross-section ratios for $^3$He$/d$ and $^3$H$/d$ extend to just above the typical nucleon Fermi-momentum ($k_F \approx 250$ MeV$/c$) and differ from each other by $\sim 20\%$, while for $^3$He/$^3$H they agree within the measurement accuracy of about 3\%. At momenta above $k_F$, the measured $^3$He/$^3$H ratios differ from the calculation by $20\% - 50\%$. Final state interaction (FSI) calculations using the generalized Eikonal Approximation indicate that FSI should change the $^3$He/$^3$H cross-section ratio for this measurement by less than 5\%. If these calculations are correct, then the differences at large missing momenta between the $^3$He/$^3$H experimental and calculated ratios could be due to the underlying $NN$ interaction, and thus could provide new constraints on the previously loosely-constrained short-distance parts of the $NN$ interaction.


title: Scalable and Privacy-preserving Design of On/Off-chain Smart Contracts

abstract: The rise of smart contract systems such as Ethereum has resulted in a proliferation of blockchain-based decentralized applications including applications that store and manage a wide range of data. Current smart contracts are designed to be executed solely by miners and are revealed entirely on-chain, resulting in reduced scalability and privacy. In this paper, we discuss that scalability and privacy of smart contracts can be enhanced by splitting a given contract into an off-chain contract and an on-chain contract. Specifically, functions of the contract that involve high-cost computation or sensitive information can be split and included as the off-chain contract, that is signed and executed by only the interested participants. The proposed approach allows the participants to reach unanimous agreement off-chain when all of them are honest, allowing computing resources of miners to be saved and content of the off-chain contract to be hidden from the public. In case of a dispute caused by any dishonest participants, a signed copy of the off-chain contract can be revealed so that a verified instance can be created to make miners enforce the true execution result. Thus, honest participants have the ability to redress and penalize any fraudulent or dishonest behavior, which incentivizes all participants to honestly follow the agreed off-chain contract. We discuss techniques for splitting a contract into a pair of on/off-chain contracts and propose a mechanism to address the challenges of handling dishonest participants in the system. Our implementation and evaluation of the proposed approach using an example smart contract demonstrate the effectiveness of the proposed approach in Ethereum.


title: On the cohomology ring of symplectic fillings

abstract: We consider symplectic cohomology twisted by sphere bundles, which can be viewed as an analogue of local systems. Using the associated Gysin exact sequence, we prove the uniqueness of part of the ring structure on cohomology of fillings for those asymptotically dynamically convex manifolds with vanishing property considered in [30,31]. In particular, for simply connected $4n+1$ dimensional flexible fillable contact $Y$, we show that real cohomology $H^*(W)$ is unique as a ring for any Liouville filling $W$ of $Y$ as long as $c_1(W)=0$. Uniqueness of real homotopy type of Liouville fillings is also obtained for a class of flexibly fillable contact manifolds.


title: A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection

abstract: It is important to identify the change point of a system's health status, which usually signifies an incipient fault under development. The One-Class Support Vector Machine (OC-SVM) is a popular machine learning model for anomaly detection and hence could be used for identifying change points; however, it is sometimes difficult to obtain a good OC-SVM model that can be used on sensor measurement time series to identify the change points in system health status. In this paper, we propose a novel approach for calibrating OC-SVM models. The approach uses a heuristic search method to find a good set of input data and hyperparameters that yield a well-performing model. Our results on the C-MAPSS dataset demonstrate that OC-SVM can also achieve satisfactory accuracy in detecting change point in time series with fewer training data, compared to state-of-the-art deep learning approaches. In our case study, the OC-SVM calibrated by the proposed model is shown to be useful especially in scenarios with limited amount of training data.


title: Automatic Segmentation of Pulmonary Lobes Using a Progressive Dense V-Network

abstract: Reliable and automatic segmentation of lung lobes is important for diagnosis, assessment, and quantification of pulmonary diseases. The existing techniques are prohibitively slow, undesirably rely on prior (airway/vessel) segmentation, and/or require user interactions for optimal results. This work presents a reliable, fast, and fully automated lung lobe segmentation based on a progressive dense V-network (PDV-Net). The proposed method can segment lung lobes in one forward pass of the network, with an average runtime of 2 seconds using 1 Nvidia Titan XP GPU, eliminating the need for any prior atlases, lung segmentation or any subsequent user intervention. We evaluated our model using 84 chest CT scans from the LIDC and 154 pathological cases from the LTRC datasets. Our model achieved a Dice score of $0.939 \pm 0.02$ for the LIDC test set and $0.950 \pm 0.01$ for the LTRC test set, significantly outperforming a 2D U-net model and a 3D dense V-net. We further evaluated our model against 55 cases from the LOLA11 challenge, obtaining an average Dice score of 0.935---a performance level competitive to the best performing team with an average score of 0.938. Our extensive robustness analyses also demonstrate that our model can reliably segment both healthy and pathological lung lobes in CT scans from different vendors, and that our model is robust against configurations of CT scan reconstruction.


title: Nuclear jets in heavy-ion collisions recall a stream of sand

abstract: Head-on collisions between nuclei of different size at Fermi energies may give rise to extremely deformed dynamical regimes and patterns. Those latter, may suddenly turn into a stream of nuclear clusters, resembling collimated jets. Because the underlying instabilities are inadequately described by usual modelling approaches based on equilibrium approximations, this mechanism resulted rather unnoticed, even though it should be frequently registered in experiments. We employ the Boltzmann-Langevin equation to specifically address out-of-equilibrium conditions and handle dynamical fluctuations. An interesting interplay between surface and volume instabilities is discussed for the first time. Stable and rather regular patterns of streaming clusters arise from these conditions. Counterintuitively, we find that these clustered structures are not triggered by cohesive forces and they recall the granular flow of a stream of dry sand.


title: Micromotion-Enhanced Fast Entangling Gates For Trapped Ion Quantum Computing

abstract: RF-induced micromotion in trapped ion systems is typically minimised or circumvented to avoid off-resonant couplings for adiabatic processes such as multi-ion gate operations. Non-adiabatic entangling gates (so-called `fast gates') do not require resolution of specific motional sidebands, and are therefore not limited to timescales longer than the trapping period. We find that fast gates designed for micromotion-free environments have significantly reduced fidelity in the presence of micromotion. We show that when fast gates are designed to account for the RF-induced micromotion, they can, in fact, out-perform fast gates in the absence of micromotion. The state-dependent force due to the laser induces energy shifts that are amplified by the state-independent forces producing the micromotion. This enhancement is present for all trapping parameters and is robust to realistic sources of experimental error. This result paves the way for fast two-qubit entangling gates on scalable 2D architectures, where micromotion is necessarily present on at least one inter-ion axis.


title: Conservation laws and line soliton solutions of a family of modified KP equations

abstract: A family of modified Kadomtsev-Petviashvili equations (mKP) in 2+1 dimensions is studied. This family includes the integrable mKP equation when the coefficients of the nonlinear terms and the transverse dispersion term satisfy an algebraic condition. The explicit line soliton solution and all conservation laws of low order are derived for all equations in the family and compared to their counterparts in the integrable case.


title: Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks

abstract: Early detection of incipient faults is of vital importance to reducing maintenance costs, saving energy, and enhancing occupant comfort in buildings. Popular supervised learning models such as deep neural networks are considered promising due to their ability to directly learn from labeled fault data; however, it is known that the performance of supervised learning approaches highly relies on the availability and quality of labeled training data. In Fault Detection and Diagnosis (FDD) applications, the lack of labeled incipient fault data has posed a major challenge to applying these supervised learning techniques to commercial buildings. To overcome this challenge, this paper proposes using Monte Carlo dropout (MC-dropout) to enhance the supervised learning pipeline, so that the resulting neural network is able to detect and diagnose unseen incipient fault examples. We also examine the proposed MC-dropout method on the RP-1043 dataset to demonstrate its effectiveness in indicating the most likely incipient fault types.


title: Evidence for gradual evolution of low-energy fluctuations underlying the first-order structural and valence order in YbPd

abstract: The valence orders at $T_a=125$ K and $T_b=105$ K in the cubic compound YbPd have been investigated by $^{105}$Pd-nuclear magnetic resonance (NMR) measurements. Significant decrease in the density of states at the Fermi energy below $T_a$ is evident from the measurement of nuclear spin lattice relaxation rate $1/T_1$, suggesting that the instabilities of Fermi surface are associated with the transitions. Moreover we observed the unusual evolution of low-energy fluctuations toward the valence transition at $T_a$ behind its drastic first-order nature. The structural transition accompanying the valence order may occur as a result of cooperative effect of Fermi surface and valence instabilities.


title: The mass-metallicity relation of local active galaxies

abstract: We systematically measure the gas-phase metallicities and the mass-metallicity relation of a large sample of local active galaxies for the first time. Observed emission-line fluxes from the Sloan Digital Sky Survey (SDSS) are compared to a four-dimensional grid of photoionization models using the Bayesian parameter estimation code NebulaBayes. For the first time we take into account arbitrary mixing between HII region and narrow-line region (NLR) emission, and the models are also varied with metallicity, ionization parameter in the NLR, and the gas pressure. The active galactic nucleus (AGN) oxygen abundance is found to increase by $\Delta {\rm O/H} \sim 0.1$ dex as a function of host galaxy stellar mass over the range $10.1 < \log M_* / M_\odot < 11.3$. We also measure the metallicity and ionization parameter of 231000 star-forming galaxies for comparison with the sample of 7670 Seyfert 2 galaxies. A systematic offset in oxygen abundance of 0.09 dex is observed between the mass-metallicity relations of the star-forming and active galaxies. We investigate potential causes of the offset, including sample selection and the treatment in the models of diffuse ionized gas, pressure, and ionization parameter. We cannot identify the major cause(s), but suspect contributions due to deficiencies in modeling the ionizing spectra and the treatment of dust physics. Optical diagnostic diagrams are presented with the star-forming and Seyfert data colored by the inferred oxygen abundance, ionization parameter and gas pressure, clearly illustrating the trends in these quantities.


title: On the iterated Hamiltonian Floer homology

abstract: The focus of the paper is the behavior under iterations of the filtered and local Floer homology of a Hamiltonian on a symplectically aspherical manifold. The Floer homology of an iterated Hamiltonian comes with a natural cyclic group action. In the filtered case, we show that the supertrace of a generator of this action is equal to the Euler characteristic of the homology of the un-iterated Hamiltonian. For the local homology the supertrace is the Lefschetz index of the fixed point. We also prove an analog of the classical Smith inequality for the iterated local homology and the equivariant versions of these results.


title: Evolutionary Multitasking for Semantic Web Service Composition

abstract: Web services are basic functions of a software system to support the concept of service-oriented architecture. They are often composed together to provide added values, known as web service composition. Researchers often employ Evolutionary Computation techniques to efficiently construct composite services with near-optimized functional quality (i.e., Quality of Semantic Matchmaking) or non-functional quality (i.e., Quality of Service) or both due to the complexity of this problem. With a significant increase in service composition requests, many composition requests have similar input and output requirements but may vary due to different preferences from different user segments. This problem is often treated as a multi-objective service composition so as to cope with different preferences from different user segments simultaneously. Without taking a multi-objective approach that gives rise to a solution selection challenge, we perceive multiple similar service composition requests as jointly forming an evolutionary multi-tasking problem in this work. We propose an effective permutation-based evolutionary multi-tasking approach that can simultaneously generate a set of solutions, with one for each service request. We also introduce a neighborhood structure over multiple tasks to allow newly evolved solutions to be evaluated on related tasks. Our proposed method can perform better at the cost of only a fraction of time, compared to one state-of-art single-tasking EC-based method. We also found that the use of the proper neighborhood structure can enhance the effectiveness of our approach.


title: Achieving Throughput via Fine-Grained Path Planning in Small World DTNs

abstract: We explore the benefits of using fine-grained statistics in small world DTNs to achieve high throughput without the aid of external infrastructure. We first design an empirical node-pair inter-contacts model that predicts meetings within a time frame of suitable length, typically of the order of days, with a probability above some threshold, and can be readily computed with low overhead. This temporal knowledge enables effective time-dependent path planning that can be respond to even per-packet deadline variabilities. We describe one such routing framework, REAPER (for Reliable, Efficient and Predictive Routing), that is fully distributed and self-stabilizing. Its key objective is to provide probabilistic bounds on path length (cost) and delay in a temporally fine-grained way, while exploiting the small world structure to entail only polylogarithmic storage and control overhead. A simulation-based evaluation confirms that REAPER achieves high throughput and energy efficiency across the spectrum of ultra-light to heavy network traffic, and substantially outperforms state-of-the-art single copy protocols as well as sociability-based protocols that rely on essentially coarse-grained metrics.


title: Isogenous components of Jacobian surfaces

abstract: Let $\mathcal X$ be a genus 2 curve defined over a field $K$, $\mbox{char} K = p \geq 0$, and $\mbox{Jac} (\mathcal X, \iota)$ its Jacobian, where $\iota$ is the principal polarization of $\mbox{Jac} (\mathcal X)$ attached to $\mathcal X$. Assume that $\mbox{Jac} (\mathcal X)$ is $(n, n)$- geometrically reducible with $E_1$ and $E_2$ its elliptic components. We prove that there are only finitely many curves $\mathcal X$ (up to isomorphism) defined over $K$ such that $E_1$ and $E_2$ are $N$-isogenous for $n=2$ and $N=2,3, 5, 7$ with $\mbox{Aut} (\mbox{Jac} \mathcal X )\cong V_4$ or $n = 2$, $N = 3,5, 7$ with $\mbox{Aut} (\mbox{Jac} \mathcal X ) \cong D_4$. The same holds if $n=3$ and $N=5$. Furthermore, we determine the Kummer and the Shioda-Inose surfaces for the above $\mbox{Jac} \mathcal X$ and show how such results in positive characteristic $p>2$ suggest nice applications in cryptography.