title: On the Convergence of Quantized Parallel Restarted SGD for Central Server Free Distributed Training

abstract: Communication is a crucial phase in the context of distributed training. Because parameter server (PS) frequently experiences network congestion, recent studies have found that training paradigms without a centralized server outperform the traditional server-based paradigms in terms of communication efficiency. However, with the increasing growth of model sizes, these server-free paradigms are also confronted with substantial communication overhead that seriously deteriorates the performance of distributed training. In this paper, we focus on communication efficiency of two serverless paradigms, i.e., Ring All-Reduce (RAR) and gossip, by proposing the Quantized Parallel Restarted Stochastic Gradient Descent (QPRSGD), an algorithm that allows multiple local SGD updates before a global synchronization, in synergy with the quantization to significantly reduce the communication overhead. We establish the bound of accumulative errors according to the synchronization mode and the network topology, which is essential to ensure the convergence property. Under both aggregation paradigms, the algorithm achieves the linear speedup property with respect to the number of local updates as well as the number of workers. Remarkably, the proposed algorithm achieves a convergence rate $O(1/\sqrt{NK^2M})$ under the gossip paradigm and outperforms all existing compression methods, where $N$ is the times of global synchronizations, and $K$ is the number of local updates, while $M$ is the number of nodes. An empirical study on various machine learning models demonstrates that the communication overhead is reduced by 90\%, and the convergence speed is boosted by up to 18.6 times, in a low bandwidth network, in comparison with Parallel SGD.


title: Experimental digital Gabor hologram rendering by a model-trained convolutional neural network

abstract: Digital hologram rendering can be performed by a convolutional neural network, trained with image pairs calculated by numerical wave propagation from sparse generating images. 512-by-512 pixeldigital Gabor magnitude holograms are successfully estimated from experimental interferograms by a standard UNet trained with 50,000 synthetic image pairs over 70 epochs.


title: Error analysis of proper orthogonal decomposition data assimilation schemes for the Navier-Stokes equations

abstract: The error analysis of a proper orthogonal decomposition (POD) data assimilation (DA) scheme for the Navier-Stokes equations is carried out. A grad-div stabilization term is added to the formulation of the POD method. Error bounds with constants independent on inverse powers of the viscosity parameter are derived for the POD algorithm. No upper bounds in the nudging parameter of the data assimilation method are required. Numerical experiments show that, for large values of the nudging parameter, the proposed method rapidly converges to the real solution, and greatly improves the overall accuracy of standard POD schemes up to low viscosities over predictive time intervals.


title: Projection of the gravitational dynamics on a subspace of probability distributions: curl-free Gaussian ansatz

abstract: We present a new approach to model the gravitational dynamics of large-scale structures. Instead of solving the equations of motion up to a finite perturbative order or building phenomenological models, we follow the evolution of the probability distribution of the displacement and velocity fields within an approximation subspace. Keeping the exact equations of motion with their full nonlinearity, this provides a nonperturbative scheme that goes beyond shell crossing. Focusing on the simplest case of a curl-free Gaussian ansatz for the displacement and velocity fields, we find that truncations of the power spectra on nonlinear scales directly arise from the equations of motion. This leads to a truncated Zeldovich approximation for the density power spectrum, but with a truncation that is not set a priori and with different power spectra for the displacement and velocity fields. The positivity of their auto power spectra also follows from the equations of motion. Although the density power spectrum is only recovered up to a smooth drift on BAO scales, the predicted density correlation function agrees with numerical simulations within $2\%$ from BAO scales down to $7 h^{-1} {\rm Mpc}$ at $z \geq 0.35$, without any free parameter.


title: Distributed Weighted Min-Cut in Nearly-Optimal Time

abstract: Minimum-weight cut (min-cut) is a basic measure of a network's connectivity strength. While the min-cut can be computed efficiently in the sequential setting [Karger STOC'96], there was no efficient way for a distributed network to compute its own min-cut without limiting the input structure or dropping the output quality: In the standard CONGEST model, existing algorithms with nearly-optimal time (e.g. [Ghaffari, Kuhn, DISC'13; Nanongkai, Su, DISC'14]) can guarantee a solution that is $(1+\epsilon)$-approximation at best while the exact $\tilde O(n^{0.8}D^{0.2} + n^{0.9})$-time algorithm [Ghaffari, Nowicki, Thorup, SODA'20] works only on *simple* networks (no weights and no parallel edges). Here $n$ and $D$ denote the network's number of vertices and hop-diameter, respectively. For the weighted case, the best bound was $\tilde O(n)$ [Daga, Henzinger, Nanongkai, Saranurak, STOC'19]. In this paper, we provide an *exact* $\tilde O(\sqrt n + D)$-time algorithm for computing min-cut on *weighted* networks. Our result improves even the previous algorithm that works only on simple networks. Its time complexity matches the known lower bound up to polylogarithmic factors. At the heart of our algorithm are a clever routing trick and two structural lemmas regarding the structure of a minimum cut of a graph. These two structural lemmas considerably strengthen and generalize the framework of Mukhopadhyay-Nanongkai [STOC'20] and can be of independent interest.


title: Resonant whistler-electron interactions: MMS observations vs. test-particle simulation

abstract: Simultaneous observation of characteristic 3-dimensional (3D) signatures in the electron velocity distribution function (VDF) and intense quasi-monochromatic waves by the Magnetospheric Multiscale (MMS) spacecraft in the terrestrial magnetosheath are investigated. The intense wave packets are characterised and modeled analytically as quasi-parallel circularly-polarized whistler waves and applied to a test-particle simulation in view of gaining insight into the signature of the wave-particle resonances in velocity space. Both the Landau and the cyclotron resonances were evidenced in the test-particle simulations. The location and general shape of the test-particle signatures do account for the observations, but the finer details, such as the symmetry of the observed signatures are not matched, indicating either the limits of the test-particle approach, or a more fundamental physical mechanism not yet grasped. Finally, it is shown that the energisation of the electrons in this precise resonance case cannot be diagnosed using the moments of the distribution function, as done with the classical ${\bf E}.{\bf J}$ "dissipation" estimate.


title: Privacy-preserving Distributed Probabilistic Load Flow

abstract: Probabilistic load flow (PLF) allows to evaluate uncertainties introduced by renewable energy sources on system operation. Ideally, the PLF calculation is implemented for an entire grid requiring all the parameters of the transmission lines and node load/generation to be available. However, in a multi-regional interconnected grid, the independent system operators (ISOs) across regions may not share the parameters of their respective areas with other ISOs. Consequently, the challenge is how to identify the functional relationship between the flows in the regional grid and the uncertain power injections of renewable generation sources across regions without full information about the entire grid. To overcome this challenge, we first propose a privacy-preserving distributed accelerated projection-based consensus algorithm for each ISO to calculate the corresponding coefficient matrix of the desired functional relationship. Then, we leverage a privacy-preserving accelerated average consensus algorithm to allow each ISO to obtain the corresponding constant vector of the same relationship. Using the two algorithms, we finally derive a privacy-preserving distributed PLF method for each ISO to analytically obtain its regional joint PLF in a fully distributed manner without revealing its parameters to other ISOs. The correctness, effectiveness, and efficiency of the proposed method are verified through a case study on the IEEE 118-bus system.


title: The radial Teukolsky equation for Kerr-Newman-de Sitter geometry: Revisited

abstract: We use Heun type solutions given in \cite{Suzuki} for the radial Teukolsky equation, written in the background metric of the Kerr-Newman-de Sitter geometry, to calculate the quasinormal frequencies for polynomial solutions and the reflection coefficient for waves coming from the de Sitter horizon and reflected at the outer horizon of the black hole.


title: OCT4 expression in human embryonic stem cells: spatio-temporal dynamics and fate transitions

abstract: The improved in-vitro regulation of human embryonic stem cell (hESC) pluripotency and differentiation trajectories is required for their promising clinical applications. The temporal and spatial quantification of the molecular interactions controlling pluripotency is also necessary for the development of successful mathematical and computational models. Here we use time-lapse experimental data of OCT4-mCherry fluorescence intensity to quantify the temporal and spatial dynamics of the pluripotency transcription factor OCT4 in a growing hESC colony in the presence and absence of BMP4. We characterise the internal self-regulation of OCT4 using the Hurst exponent and autocorrelation analysis, quantify the intra-cellular fluctuations and consider the diffusive nature of OCT4 evolution for individual cells and pairs of their descendants. We find that OCT4 abundance in the daughter cells fluctuates sub-diffusively, showing anti-persistent self-regulation. We obtain the stationary probability distributions governing hESC transitions amongst the different cell states and establish the times at which pro-fate cells (which later give rise to pluripotent or differentiated cells) cluster in the colony. By quantifying the similarities between the OCT4 expression amongst neighbouring cells, we show that hESCs express similar OCT4 to cells within their local neighbourhood within the first two days of the experiment and before BMP4 treatment. Our framework allows us to quantify the relevant properties of proliferating hESC colonies and the procedure is widely applicable to other transcription factors and cell populations.


title: Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients

abstract: Pain and physical function are both essential indices of recovery in critically ill patients in the Intensive Care Units (ICU). Simultaneous monitoring of pain intensity and patient activity can be important for determining which analgesic interventions can optimize mobility and function, while minimizing opioid harm. Nonetheless, so far, our knowledge of the relation between pain and activity has been limited to manual and sporadic activity assessments. In recent years, wearable devices equipped with 3-axis accelerometers have been used in many domains to provide a continuous and automated measure of mobility and physical activity. In this study, we collected activity intensity data from 57 ICU patients, using the Actigraph GT3X device. We also collected relevant clinical information, including nurse assessments of pain intensity, recorded every 1-4 hours. Our results show the joint distribution and state transition of joint activity and pain states in critically ill patients.


title: Anomalous fractional quantum Hall effect and multi-valued Hamiltonians

abstract: We discuss anomalous fractional quantum Hall effect that exists without external magnetic field. We propose that excitations in such systems may be described effectively by non-interacting particles with the Hamiltonians defined on the Brillouin zone with a branch cut. Hall conductivity of such a system is expressed through the one-particle Green function. We demonstrate that for the Hamiltonians of the proposed type this expression takes fractional values times Klitzing constant. Possible relation of the proposed construction with degeneracy of ground state is discussed as well.


title: Robust and efficient tool path generation for poor-quality triangular mesh surface machining

abstract: This paper presents a new method to generate iso-scallop tool paths for triangular mesh surfaces. With the popularity of 3D scanning techniques, scanning-derived mesh surfaces have seen a significant increase in their application to machining. Quite often, such mesh surfaces exhibit defects such as noises, which differentiate them from the good-quality mesh surfaces previous research work focuses on. To generate tool paths for such poor-quality mesh surfaces, the primary challenge lies in robustness against the defects. In this work, a robust tool path generation method is proposed for poor-quality mesh surfaces. In addition to robustness, the method is quite efficient, providing the benefit of faster iterations and improved integration between scanning and machining. The fundamental principle of the method is to convert the tool path generation problem to the heat diffusion problem that has robust and efficient algorithms available. The effectiveness of the method will be demonstrated by a series of case studies and comparisons.


title: Invariant graphs and spectral type of Schr\"odinger operators

abstract: In this paper we study spectral properties of Schr\"odinger operators with quasi-periodic potentials related to quasi-periodic action minimizing trajectories for analytic twist maps. We prove that the spectrum contains a component of absolutely continuous spectrum provided that the corresponding trajectory of the twist map belongs to an analytic invariant curve.


title: Discovering Business Process Simulation Models in the Presence of Multitasking

abstract: Business process simulation is a versatile technique for analyzing business processes from a quantitative perspective. A well-known limitation of process simulation is that the accuracy of the simulation results is limited by the faithfulness of the process model and simulation parameters given as input to the simulator. To tackle this limitation, several authors have proposed to discover simulation models from process execution logs so that the resulting simulation models more closely match reality. Existing techniques in this field assume that each resource in the process performs one task at a time. In reality, however, resources may engage in multitasking behavior. Traditional simulation approaches do not handle multitasking. Instead, they rely on a resource allocation approach wherein a task instance is only assigned to a resource when the resource is free. This inability to handle multitasking leads to an overestimation of execution times. This paper proposes an approach to discover multitasking in business process execution logs and to generate a simulation model that takes into account the discovered multitasking behavior. The key idea is to adjust the processing times of tasks in such a way that executing the multitasked tasks sequentially with the adjusted times is equivalent to executing them concurrently with the original processing times. The proposed approach is evaluated using a real-life dataset and synthetic datasets with different levels of multitasking. The results show that, in the presence of multitasking, the approach improves the accuracy of simulation models discovered from execution logs.


title: Quantum Space, Quantum Time, and Relativistic Quantum Mechanics

abstract: We treat space and time as bona fide quantum degrees of freedom on an equal footing in Hilbert space. Motivated by considerations in quantum gravity, we focus on a paradigm dealing with linear, first-order Hamiltonian and momentum constraints that lead to emergent features of temporal and spatial translations. Unlike the conventional treatment, we show that Klein-Gordon and Dirac equations in relativistic quantum mechanics can be unified in our paradigm by applying relativistic dispersion relations to eigenvalues rather than treating them as operator-valued equations. With time and space being treated on an equal footing in Hilbert space, we show symmetry transformations to be implemented by unitary basis changes in Hilbert space, giving them a stronger quantum mechanical footing. Global symmetries, such as Lorentz transformations, modify the decomposition of Hilbert space; and local symmetries, such as $U(1)$ gauge symmetry are diagonal in coordinate basis and do not alter the decomposition of Hilbert space. We briefly discuss extensions of this paradigm to quantum field theory and quantum gravity.


title: Recurrent Convolutional Neural Networks help to predict location of Earthquakes

abstract: We examine the applicability of modern neural network architectures to the midterm prediction of earthquakes. Our data-based classification model aims to predict if an earthquake with the magnitude above a threshold takes place at a given area of size $10 \times 10$ kilometers in $10$-$60$ days from a given moment. Our deep neural network model has a recurrent part (LSTM) that accounts for time dependencies between earthquakes and a convolutional part that accounts for spatial dependencies. Obtained results show that neural networks-based models beat baseline feature-based models that also account for spatio-temporal dependencies between different earthquakes. For historical data on Japan earthquakes our model predicts occurrence of an earthquake in $10$ to $60$ days from a given moment with magnitude $M_c > 5$ with quality metrics ROC AUC $0.975$ and PR AUC $0.0890$, making $1.18 \cdot 10^3$ correct predictions, while missing $2.09 \cdot 10^3$ earthquakes and making $192 \cdot 10^3$ false alarms. The baseline approach has similar ROC AUC $0.992$, number of correct predictions $1.19 \cdot 10^3$, and missing $2.07 \cdot 10^3$ earthquakes, but significantly worse PR AUC $0.00911$, and number of false alarms $1004 \cdot 10^3$.


title: Spatial Action Maps for Mobile Manipulation

abstract: Typical end-to-end formulations for learning robotic navigation involve predicting a small set of steering command actions (e.g., step forward, turn left, turn right, etc.) from images of the current state (e.g., a bird's-eye view of a SLAM reconstruction). Instead, we show that it can be advantageous to learn with dense action representations defined in the same domain as the state. In this work, we present "spatial action maps," in which the set of possible actions is represented by a pixel map (aligned with the input image of the current state), where each pixel represents a local navigational endpoint at the corresponding scene location. Using ConvNets to infer spatial action maps from state images, action predictions are thereby spatially anchored on local visual features in the scene, enabling significantly faster learning of complex behaviors for mobile manipulation tasks with reinforcement learning. In our experiments, we task a robot with pushing objects to a goal location, and find that policies learned with spatial action maps achieve much better performance than traditional alternatives.


title: The Lyman Alpha Reference Sample XI: Efficient Turbulence Driven Ly{\alpha} Escape and the Analysis of IR, CO and [C II]158 {\mu}m

abstract: We study the global dust and (molecular) gas content in the Lyman Alpha Reference Sample (LARS), i.e. 14 local star-forming galaxies. We characterize their interstellar medium and relate newly derived properties to quantities relevant for Ly$\alpha$ escape. We observed LARS galaxies with Herschel/PACS, SOFIA/FIFI-LS, the IRAM 30m telescope and APEX, targeting far-infrared (FIR) continuum and emission lines of [C II]158$\mu$m, [O I]63$\mu$m, [O III]88$\mu$m and low-J CO lines. Using Bayesian methods we derive dust model parameters and estimate total gas masses for all LARS galaxies, taking into account a metallicity-dependent gas-to-dust ratio. Star formation rates were estimated from FIR, [C II]158$\mu$m and [O I]63$\mu$m luminosities. LARS covers a wide dynamic range in the derived properties, with FIR-based star formation rates from $\sim$0.5-100 $M_{\odot}\ yr^{-1}$, gas fractions between $\sim$15-80% and gas depletion times ranging from a few hundred Myr up to more than 10 Gyr. The distribution of LARS galaxies in the $\Sigma_{gas}$ vs. $\Sigma_{SFR}$ (Kennicutt-Schmidt plane) is thus quite heterogeneous. However, we find that LARS galaxies with the longest gas depletion times, i.e. relatively high gas surface densities ($\Sigma_{gas}$) and low star formation rate densities ($\Sigma_{SFR}$), have by far the highest Ly$\alpha$ escape fraction. A strong $\sim$linear relation is found between Ly$\alpha$ escape fraction and the total gas (HI+H$_2$) depletion time. We argue that the Ly$\alpha$ escape in those galaxies is driven by turbulence in the star-forming gas that shifts the Ly$\alpha$ photons out of resonance close to the places where they originate. We further report on an extreme [C II]158$\mu$m excess in LARS 5, corresponding to $\sim$14$\pm$3% of the FIR luminosity, i.e. the most extreme [C II]-to-FIR ratio observed in a non-AGN galaxy to date.


title: Variational Inference for Learning Representations of Natural Language Edits

abstract: Document editing has become a pervasive component of the production of information, with version control systems enabling edits to be efficiently stored and applied. In light of this, the task of learning distributed representations of edits has been recently proposed. With this in mind, we propose a novel approach that employs variational inference to learn a continuous latent space of vector representations to capture the underlying semantic information with regard to the document editing process. We achieve this by introducing a latent variable to explicitly model the aforementioned features. This latent variable is then combined with a document representation to guide the generation of an edited version of this document. Additionally, to facilitate standardized automatic evaluation of edit representations, which has heavily relied on direct human input thus far, we also propose a suite of downstream tasks, PEER, specifically designed to measure the quality of edit representations in the context of natural language processing.


title: Transformer Reasoning Network for Image-Text Matching and Retrieval

abstract: Image-text matching is an interesting and fascinating task in modern AI research. Despite the evolution of deep-learning-based image and text processing systems, multi-modal matching remains a challenging problem. In this work, we consider the problem of accurate image-text matching for the task of multi-modal large-scale information retrieval. State-of-the-art results in image-text matching are achieved by inter-playing image and text features from the two different processing pipelines, usually using mutual attention mechanisms. However, this invalidates any chance to extract separate visual and textual features needed for later indexing steps in large-scale retrieval systems. In this regard, we introduce the Transformer Encoder Reasoning Network (TERN), an architecture built upon one of the modern relationship-aware self-attentive architectures, the Transformer Encoder (TE). This architecture is able to separately reason on the two different modalities and to enforce a final common abstract concept space by sharing the weights of the deeper transformer layers. Thanks to this design, the implemented network is able to produce compact and very rich visual and textual features available for the successive indexing step. Experiments are conducted on the MS-COCO dataset, and we evaluate the results using a discounted cumulative gain metric with relevance computed exploiting caption similarities, in order to assess possibly non-exact but relevant search results. We demonstrate that on this metric we are able to achieve state-of-the-art results in the image retrieval task. Our code is freely available at https://github.com/mesnico/TERN.


title: Noncommutative homological mirror symmetry of elliptic curves

abstract: We prove an equivalence of two A-infinity functors, via Orlov's Landau-Ginzburg/Calabi-Yau correspondence. One is the Polishchuk-Zaslow's mirror symmetry functor of elliptic curves, and the other is a localized mirror functor from the Fukaya category of the 2-torus to a category of noncommutative matrix factorizations. As a corollary we prove that the noncommutative mirror functor realizes homological mirror symmetry for any translation parameter $t$.


title: Siting and Sizing of Energy Storage Systems: Towards a Unified Approach for Transmission and Distribution System Operators for Reserve Provision and Grid Support

abstract: This paper presents a method to determine the optimal location, energy capacity, and power rating of distributed battery energy storage systems at multiple voltage levels to accomplish grid control and reserve provision. We model operational scenarios at a one-hour resolution, where deviations of stochastic loads and renewable generation (modeled through scenarios) from a day-ahead unit commitment and violations of grid constraints are compensated by either dispatchable power plants (conventional reserves) or injections from battery energy storage systems. By plugging-in costs of conventional reserves and capital costs of converter power ratings and energy storage capacity, the model is able to derive requirements for storage deployment that achieve the technical-economical optimum of the problem. The method leverages an efficient linearized formulation of the grid constraints of both the HV (High Voltage) and MV (Medium Voltage) grids while still retaining fundamental modeling aspects of the power system (such as transmission losses, effect of reactive power, OLTC at the MV/HV interface, unideal efficiency of battery energy storage systems) and models of conventional generator. A proof-of-concept by simulations is provided with the IEEE 9-bus system coupled with the CIGRE' benchmark system for MV grids, realistic costs of power reserves, active power rating and energy capacity of batteries, and load and renewable generation profile from real measurements.


title: Cosmetic-Aware Makeup Cleanser

abstract: Face verification aims at determining whether a pair of face images belongs to the same identity. Recent studies have revealed the negative impact of facial makeup on the verification performance. With the rapid development of deep generative models, this paper proposes a semanticaware makeup cleanser (SAMC) to remove facial makeup under different poses and expressions and achieve verification via generation. The intuition lies in the fact that makeup is a combined effect of multiple cosmetics and tailored treatments should be imposed on different cosmetic regions. To this end, we present both unsupervised and supervised semantic-aware learning strategies in SAMC. At image level, an unsupervised attention module is jointly learned with the generator to locate cosmetic regions and estimate the degree. At feature level, we resort to the effort of face parsing merely in training phase and design a localized texture loss to serve complements and pursue superior synthetic quality. The experimental results on four makeuprelated datasets verify that SAMC not only produces appealing de-makeup outputs at a resolution of 256*256, but also facilitates makeup-invariant face verification through image generation.


title: Generalization Error Bounds via $m$th Central Moments of the Information Density

abstract: We present a general approach to deriving bounds on the generalization error of randomized learning algorithms. Our approach can be used to obtain bounds on the average generalization error as well as bounds on its tail probabilities, both for the case in which a new hypothesis is randomly generated every time the algorithm is used - as often assumed in the probably approximately correct (PAC)-Bayesian literature - and in the single-draw case, where the hypothesis is extracted only once. For this last scenario, we present a novel bound that is explicit in the central moments of the information density. The bound reveals that the higher the order of the information density moment that can be controlled, the milder the dependence of the generalization bound on the desired confidence level. Furthermore, we use tools from binary hypothesis testing to derive a second bound, which is explicit in the tail of the information density. This bound confirms that a fast decay of the tail of the information density yields a more favorable dependence of the generalization bound on the confidence level.


title: On the distribution of fluxes of gamma-ray blazars: hints for a stochastic process?

abstract: We examine a model for the observed temporal variability of powerful blazars in the $\gamma$-ray band in which the dynamics is described in terms of a stochastic differential equation, including the contribution of a deterministic drift and a stochastic term. The form of the equation is motivated by the current astrophysical framework, accepting that jets are powered through the extraction of the rotational energy of the central supermassive black hole mediated by magnetic fields supported by a so-called \emph{magnetically arrested} accretion disk. We apply the model to the $\gamma$-ray light curves of several bright blazars and we infer the parameters suitable to describe them. In particular, we examine the differential distribution of fluxes ($dN/dF_{\gamma}$) and we show that the predicted probability density function for the assumed stochastic equation naturally reproduces the observed power law shape at large fluxes $dN/dF_{\gamma} \propto F_{\gamma}^{-\alpha}$ with $\alpha>2$.


title: Candidate fossil groups in the CFHTLS: a probabilistic approach

abstract: Fossil groups (FGs) have been discovered twenty-five years ago, and are now defined as galaxy groups with an X-ray luminosity higher than $10^{42}\ h_{50}^{-2}$ erg s$^{-1}$ and a brightest group galaxy brighter than the other group members by at least 2 magnitudes. However, the scenario of their formation remains controversial. We propose here a probabilistic analysis of FGs, extracted from the large catalogue of candidate groups and clusters detected by Sarron et al. (2018) in the CFHTLS survey, based on photometric redshifts, to investigate their position in the cosmic web and probe their environment. Based on spectroscopic and photometric redshifts, we estimate the probability of galaxies to belong to a galaxy structure, and by imposing the condition that the brightest group galaxy is at least brighter than the others by 2 magnitudes, we compute the probability for a given galaxy structure to be a FG. We analyse the mass distribution of these candidate FGs, and estimate their distance to the filaments and nodes of the cosmic web in which they are embedded. We find that the structures with masses lower than $2.4\times 10^{14}$ M$_\odot$ have the highest probabilities of being fossil groups (PFG). Overall, structures with PFG$\geq$50% are located close to the cosmic web filaments (87% are located at less than 1 Mpc from their nearest filament). They are preferentially four times more distant from their nearest node than from their nearest filament. We confirm that FGs have small masses and are rare. They seem to reside closeby cosmic filaments and do not survive in nodes. Being in a poor environment could therefore be the driver of FG formation, the number of nearby galaxies not being sufficient to compensate for the cannibalism of the central group galaxy.


title: Conditional distribution of the sample mean and localization

abstract: We prove a new hypothesis on the conditional distribution of the sample mean of the fluctuations of an i.i.d. random potential in the Anderson model. The paper extends to uniform probability distribution some earlier work with Gaussian distribution and the localization results.


title: New Metrics Between Rational Spectra and their Connection to Optimal Transport

abstract: We propose a series of metrics between pairs of signals, linear systems or rational spectra, based on optimal transport and linear-systems theory. The metrics operate on the locations of the poles of rational functions and admit very efficient computation of distances, barycenters, displacement interpolation and projections. We establish the connection to the Wasserstein distance between rational spectra, and demonstrate the use of the metrics in tasks such as signal classification, clustering, detection and approximation.

categories: stat.ML cs.LG cs.SY eess.SP eess.SY math.DS


title: Measuring and controlling radio-frequency quanta with superconducting circuits

abstract: In this PhD thesis, we will present the theoretical and experimental work that led to the realization of a radio-frequency circuit quantum electrodynamics system (RFcQED). In chapter 2, we provide a detailed derivation of the Hamiltonian of circuit QED formulated in the context of the Rabi model, and extract expressions for the cross-Kerr interaction. The resulting requirements for the coupling rate in RFcQED are discussed, one of them being the need to dramatically increase the coupling rate compared to typical circuit QED device. In chapter 3 we cover two experimental approaches to increasing the coupling in a circuit QED system, one making use of a high impedance resonator, the second utilizing a large coupling capacitor. In chapter 4, we combine these two approaches to implement RFcQED. Through strong dispersive coupling, we could measure individual photons in a megahertz resonator, demonstrate quantum control by cooling the resonator to the ground state or preparing Fock states, and finally observe with nanosecond resolution the re-thermalization of these states. In chapter 5 we present QuCAT or Quantum Circuit Analyzer Tool in Python, a software package that can be used for the design of circuit QED systems such as the one presented in this thesis. In chapter 6 we discuss how certain interplays between general relativity and quantum mechanics cannot be described using our current laws of physics. In particular, we show how radio-frequency mechanical oscillators are perfect candidates to perform experiments in this regime. In chapter 7 we present the prospects for coupling such mechanical oscillator to weakly anharmonic superconducting circuits such as the transmon qubit or RFcQED systems.


title: Self-organized synchronization of phonon lasers

abstract: Self-organized synchronization is a ubiquitous collective phenomenon, in which each unit adjusts their rhythms to achieve synchrony through mutual interactions. The optomechanical systems, due to their inherently engineerable nonlinearities, provide an ideal platform to study self-organized synchronization. Here, we demonstrate the self-organized synchronization of phonon lasers in a two-membrane-in-the-middle optomechanical system. The probe of individual membrane enables to monitor the real-time transient dynamics of synchronization, which reveal that the system enters into the synchronization regime via torus birth bifurcation line. The phase-locking phenomenon and the transition between in-phase and anti-phase regimes are directly observed. Moreover, such a system greatly facilitate the controllable synchronous states, and consequently a phononic memory is realized by tuning the system parameters. This result is an important step towards the future studies of many-body collective behaviors in multiresonator optomechanics with long distances, and might find potential applications in quantum information processing and complex networks.


title: Three pairs of congruences concerning sums of central binomial coefficients

abstract: Recently the first author proved a congruence proposed in 2006 by Adamchuk: $\sum_{k=1}^{\lfloor\frac{2p}{3}\rfloor}\binom{2k}{k}\equiv 0\pmod{p^2}$ for any prime $p=1 \pmod{3}$. In this paper, we provide more examples (with proofs) of congruences of the same kind $$\sum_{k=1}^{\lfloor\frac{ap}{r}\rfloor}\binom{2k}{k}x^k \pmod{p^2}$$ where $p$ is a prime such that $p\equiv 1 \pmod{r}$, $a/r$ is a fraction in $(1/2,1)$ and $x$ is a $p$-adic integer. The key ingredients are the $p$-adic Gamma functions $\Gamma_p$ and a special class of computer-discovered hypergeometric identities.


title: Tunable Optomechanically Induced Sideband Comb

abstract: Cavity optomechanical system can exhibit higher-order sideband comb effect when it is driven by a control field $\omega_{c}$ and a probe field $\omega_{p}$, and works in the non-perturbative regime, as was shown in a previous work [Xiong et al., Opt. Lett. 38, 353 (2013)]. The repetition frequency of such a comb is equal to the mechanical frequency $\omega_{b}$ and is untunable, which limits the precision of the comb. Here we address this problem by driving the system with an additional strong probe field $\omega_{f}$, and the detuning between $\omega_{f}$ and $\omega_{c}$ is equal to $\omega_{b}/n$ (here $n$ is an integer), i.e., this detuning is a fraction of the mechanical frequency. In this case, we obtain some interesting results. We find that not only the integer-order (higher-order) sidebands, but also the fraction-order sidebands, and the sum and difference sidebands between the integer- and fraction-order sidebands, will appear in the output spectrum. The generated nonlinear sidebands constitute an optomechanically induced sideband comb (OMISC). The frequency range and the repetition frequency of the OMISC are proportional to the sideband cutoff-order number and the sideband interval, respectively. We show that we can extend the frequency range of the OMISC by increasing the intensity of the probe field $\omega_{p}$. More importantly, we can decrease the repetition frequency, and consequently, improve the precision of the OMISC by increasing $n$ and the intensity of the probe field $\omega_{f}$.


title: The $1/N$ expansion for stochastic fields in de Sitter spacetime

abstract: We propose a $1/N$ expansion of Starobinsky and Yokoyama's effective stochastic approach for light quantum fields on superhorizon scales in de Sitter spacetime. We explicitly compute the spectrum and the eigenfunctions of the Fokker-Planck operator for a O($N$)-symmetric theory with quartic selfinteraction at leading and next-to-leading orders in this expansion. We obtain simple analytical expressions valid in various nonperturbative regimes in terms of the interaction coupling constant.


title: Hydrodynamic limits of interacting particle systems on crystal lattices in periodic realizations

abstract: We study the hydrodynamic limits of the simple exclusion processes and the zero range processes on crystal lattices. For a periodic realization of crystal lattice, we derive the hydrodynamic limit for the exclusion processes and the zero range processes, which depends on both the structure of crystal lattice and the periodic realization. Even through the crystal lattices have inhomogeneous local structure, for all periodic realizations, we apply the entropy method to derive the hydrodynamic limits. Also, we discuss how the limit equation depends on the choices of the realizations.


title: Interplay effects on blow-up of weakly coupled systems for semilinear wave equations with general nonlinear memory terms

abstract: In this paper, we study weakly coupled systems for semilinear wave equations with distinct nonlinear memory terms in general forms, and the corresponding single semilinear equation with general nonlinear memory terms. Thanks to Banach's fixed point theorem, we prove local (in time) existence of solutions with the $L^1$ assumption on the memory kernels. Then, blow-up results for energy solutions are derived applying iteration methods associated with slicing procedure. We investigate interactions on the blow-up conditions under different decreasing assumptions on the memory term. Particularly, a new threshold for the kernels on interplay effect is found. Additionally, we give some applications of our results on semilinear wave equations and acoustic wave equations.


title: Community detection with node attributes in multilayer networks

abstract: Community detection in networks is commonly performed using information about interactions between nodes. Recent advances have been made to incorporate multiple types of interactions, thus generalizing standard methods to multilayer networks. Often though, one can access additional information regarding individual nodes, attributes or covariates. A relevant question is thus how to properly incorporate this extra information in such frameworks. Here we develop a method that incorporates both the topology of interactions and node attributes to extract communities in multilayer networks. We propose a principled probabilistic method that does not assume any a priori correlation structure between attributes and communities but rather infers this from data. This leads to an efficient algorithmic implementation that exploits the sparsity of the dataset and can be used to perform several inference tasks; we provide an open-source implementation of the code online. We demonstrate our method on both synthetic and real-world data and compare performance with methods that do not use any attribute information. We find that including node information helps in predicting missing links or attributes. It also leads to more interpretable community structures and allows the quantification of the impact of the node attributes given in input.


title: Multi-frequency-band tests for white noise under heteroskedasticity

abstract: This paper proposes a new family of multi-frequency-band (MFB) tests for the white noise hypothesis by using the maximum overlap discrete wavelet packet transform (MODWPT). The MODWPT allows the variance of a process to be decomposed into the variance of its components on different equal-length frequency sub-bands, and the MFB tests then measure the distance between the MODWPT-based variance ratio and its theoretical null value jointly over several frequency sub-bands. The resulting MFB tests have the chi-squared asymptotic null distributions under mild conditions, which allow the data to be heteroskedastic. The MFB tests are shown to have the desirable size and power performance by simulation studies, and their usefulness is further illustrated by two applications.


title: Structural and transport properties of La$_{1-x}$Sr$_x$Co$_{1-y}$Nb$_y$O$_3$ thin films

abstract: We present the structural and transport properties of La$_{1-x}$Sr$_x$Co$_{1-y}$Nb$_y$O$_3$ ($y=$ 0.1 and $x=$ 0; $y=$ 0.15 and $x=$ 0.3) thin films grown on (001) orientated single crystalline ceramic substrates to investigate the effect of lattice induced compressive and tensile strain. The high resolution x-ray diffraction measurements, including $\theta$-2$\theta$ scan, $\Phi$-scan, and reciprocal space mapping, affirm single phase; four-fold symmetry; good quality of deposited thin films. The atomic force micrographs confirm that these films have small root mean square roughness in the range of $\sim$0.5--7~nm. We observed additional Raman active modes in the films owing to the lowered crystal symmetry as compared to the bulk. More interestingly, the temperature dependent dc-resistivity measurements reveal that films become insulating due to induced lattice strain in comparison to bulk, however for the larger compressive strained films conductivity increase significantly owing to the higher degree of $p-d$ hybridization and reduction in bandwidth near the Fermi level.


title: Efficient Route Planning with Temporary Driving Bans, Road Closures, and Rated Parking Areas

abstract: We study the problem of planning routes in road networks when certain streets or areas are closed at certain times. For heavy vehicles, such areas may be very large since many European countries impose temporary driving bans during the night or on weekends. In this setting, feasible routes may require waiting at parking areas, and several feasible routes with different trade-offs between waiting and driving detours around closed areas may exist. We propose a novel model in which driving and waiting are assigned abstract costs, and waiting costs are location-dependent to reflect the different quality of the parking areas. Our goal is to find Pareto-optimal routes with regards to arrival time at the destination and total cost. We investigate the complexity of the model and determine a necessary constraint on the cost parameters such that the problem is solvable in polynomial time. We present a thoroughly engineered implementation and perform experiments on a production-grade real world data set. The experiments show that our implementation can answer realistic queries in around a second or less which makes it feasible for practical application.


title: VOC-ReID: Vehicle Re-identification based on Vehicle-Orientation-Camera

abstract: Vehicle re-identification is a challenging task due to high intra-class variances and small inter-class variances. In this work, we focus on the failure cases caused by similar background and shape. They pose serve bias on similarity, making it easier to neglect fine-grained information. To reduce the bias, we propose an approach named VOC-ReID, taking the triplet vehicle-orientation-camera as a whole and reforming background/shape similarity as camera/orientation re-identification. At first, we train models for vehicle, orientation and camera re-identification respectively. Then we use orientation and camera similarity as penalty to get final similarity. Besides, we propose a high performance baseline boosted by bag of tricks and weakly supervised data augmentation. Our algorithm achieves the second place in vehicle re-identification at the NVIDIA AI City Challenge 2020.


title: Current-induced torque originating from orbital current

abstract: The electrical manipulation of magnetization by current-induced spin torques has given access to realize a plethora of ultralow power and fast spintronic devices such as non-volatile magnetic memories, spin-torque nano-oscillators, and neuromorphic computing devices. Recent advances have led to the notion that relativistic spin-orbit coupling is an efficient source for current-induced torques, opening the field of spin-orbitronics. Despite the significant progress, however, the fundamental mechanism of magnetization manipulation, the requirement of spin currents in generating current-induced torques, has remained unchanged. Here, we demonstrate the generation of current-induced torques without the use of spin currents. By measuring the current-induced torque for naturally-oxidized-Cu/ferromagnetic-metal bilayers, we observed an exceptionally high effective spin Hall conductivity at low temperatures despite the absence of strong spin-orbit coupling. Furthermore, we found that the direction of the torque depends on the choice of the ferromagnetic layer, which counters the conventional understanding of the current-induced torque. These unconventional features are best interpreted in terms of an orbital counterpart of the spin torque, an orbital torque, which arises from the orbital Rashba effect and orbital current. These findings will shed light on the underlying physics of current-induced magnetization manipulation, potentially altering the landscape of spin-orbitronics.


title: Invariant Integration in Deep Convolutional Feature Space

abstract: In this contribution, we show how to incorporate prior knowledge to a deep neural network architecture in a principled manner. We enforce feature space invariances using a novel layer based on invariant integration. This allows us to construct a complete feature space invariant to finite transformation groups. We apply our proposed layer to explicitly insert invariance properties for vision-related classification tasks, demonstrate our approach for the case of rotation invariance and report state-of-the-art performance on the Rotated-MNIST dataset. Our method is especially beneficial when training with limited data.


title: CheXbert: Combining Automatic Labelers and Expert Annotations for Accurate Radiology Report Labeling Using BERT

abstract: The extraction of labels from radiology text reports enables large-scale training of medical imaging models. Existing approaches to report labeling typically rely either on sophisticated feature engineering based on medical domain knowledge or manual annotations by experts. In this work, we introduce a BERT-based approach to medical image report labeling that exploits both the scale of available rule-based systems and the quality of expert annotations. We demonstrate superior performance of a biomedically pretrained BERT model first trained on annotations of a rule-based labeler and then finetuned on a small set of expert annotations augmented with automated backtranslation. We find that our final model, CheXbert, is able to outperform the previous best rules-based labeler with statistical significance, setting a new SOTA for report labeling on one of the largest datasets of chest x-rays.


title: Optimizing Over-the-Air Computation in IRS-Aided C-RAN Systems

abstract: Over-the-air computation (AirComp) is an efficient solution to enable federated learning on wireless channels. AirComp assumes that the wireless channels from different devices can be controlled, e.g., via transmitter-side phase compensation, in order to ensure coherent on-air combining. Intelligent reflecting surfaces (IRSs) can provide an alternative, or additional, means of controlling channel propagation conditions. This work studies the advantages of deploying IRSs for AirComp systems in a large-scale cloud radio access network (C-RAN). In this system, worker devices upload locally updated models to a parameter server (PS) through distributed access points (APs) that communicate with the PS on finite-capacity fronthaul links. The problem of jointly optimizing the IRSs' reflecting phases and a linear detector at the PS is tackled with the goal of minimizing the mean squared error (MSE) of a parameter estimated at the PS. Numerical results validate the advantages of deploying IRSs with optimized phases for AirComp in C-RAN systems.


title: Pose Manipulation with Identity Preservation

abstract: This paper describes a new model which generates images in novel poses e.g. by altering face expression and orientation, from just a few instances of a human subject. Unlike previous approaches which require large datasets of a specific person for training, our approach may start from a scarce set of images, even from a single image. To this end, we introduce Character Adaptive Identity Normalization GAN (CainGAN) which uses spatial characteristic features extracted by an embedder and combined across source images. The identity information is propagated throughout the network by applying conditional normalization. After extensive adversarial training, CainGAN receives figures of faces from a certain individual and produces new ones while preserving the person's identity. Experimental results show that the quality of generated images scales with the size of the input set used during inference. Furthermore, quantitative measurements indicate that CainGAN performs better compared to other methods when training data is limited.


title: Morphology and magneto-transport in exfoliated graphene on ultrathin crystalline \b{eta}-Si3N4(0001)/Si(111)

abstract: We report the first experimental study of graphene transferred on \b{eta}-Si3N4(0001)/Si(111). Our work provides a comprehensive quantitative understanding of the physics of ultrathin Si3N4 as a gate dielectric for graphene-based devices. The Si3N4 film was grown on Si(111) under ultra-high vacuum (UHV) conditions and investigated by scanning tunneling microscopy (STM). Subsequently, a graphene flake was deposited on top of it by a polymer-based transfer technique, and a Hall bar device was fabricated from the graphene flake. STM was employed again to study the graphene flake under UHV conditions after device fabrication and showed that surface quality is preserved. Electrical transport measurements, carried out at low temperature in magnetic field, revealed back gate modulation of carrier type and density in the graphene channel and showed the occurrence of weak localization. Under these experimental conditions, no leakage current between back gate and graphene channel was detected.


title: Reachability and liveness in parametric timed automata

abstract: We study timed systems in which some timing features are unknown parameters. Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interesting problems are undecidable. Notably, the parametric reachability emptiness problem, i.e., the emptiness of the parameter valuations set allowing to reach some given discrete state, is undecidable. Lower-bound/upper-bound parametric timed automata (L/U-PTAs) achieve decidability for reachability properties by enforcing a separation of parameters used as upper bounds in the automaton constraints, and those used as lower bounds. In this paper, we first study reachability. We exhibit a subclass of PTAs (namely integer-points PTAs) with bounded rational-valued parameters for which the parametric reachability emptiness problem is decidable. Using this class, we present further results improving the boundary between decidability and undecidability for PTAs and their subclasses such as L/U-PTAs. We then study liveness. We prove that: (1) deciding the existence of at least one parameter valuation for which there exists an infinite run in an L/U-PTA is PSpace-complete; (2) the existence of a parameter valuation such that the system has a deadlock is however undecidable; (3) the problem of the existence of a valuation for which a run remains in a given set of locations exhibits a very thin border between decidability and undecidability.


title: Exact controllability in minimal time of the Navier-Stokes periodic flow in a 2D-channel

abstract: This work is concerned with the necessary conditions of optimality for a minimal time control problem $(P)$ for the linearized Navier-Stokes periodic flow in a 2D-channel, subject to a boundary input which acts on the transversal component of the velocity. The objective in this problem is the reaching of the laminar regime in a minimum time, as well as its preservation after this time. The determination of the necessary conditions of optimality relies on the analysis of intermediate minimal time control problems $(P_{k})$ for the Fourier modes $"k"$ associated to the Navier-Stokes equations and on the proof of the maximum principle for them. Also it is found that one can construct, on the basis of the optimal controllers of problems $(P_{k}),$ a small time called here \textit{quasi minimal} and a boundary controller which realizes the required objective in $% (P).$


title: Bridging kinetic plasma descriptions and single fluid models

abstract: The purpose of this paper is to bridge kinetic plasma descriptions and low frequency single fluid models. More specifically, the asymptotics leading to Magneto-Hydro-Dynamic (MHD) regimes starting from the Vlasov-Maxwell system are investigated. The analogy with the derivation, from the Vlasov-Poisson system, of a fluid representation for the ions coupled to the Boltzmann relation for electrons is also outlined. The aim is to identify asymptotic parameters explaining the transitions from one microscopic description to a macroscopic low frequency model. These investigations provide ground work for the derivation of multi-scale numerical methods, model coupling or physics based preconditioning.


title: Braided surfaces and their characteristic maps

abstract: We show that branched coverings of surfaces of large enough genus arise as characteristic maps of braided surfaces that is, lift to embeddings in the product of the surface with $\mathbb R^2$. This result is nontrivial already for unramified coverings, in which case the lifting problem is well-known to reduce to the purely algebraic problem of factoring the monodromy map to the symmetric group $S_n$ through the braid group $B_n$. In our approach, this factorization is often achieved as a consequence of a stronger property: a factorization through a free group. In the reverse direction we show that any non-abelian surface group has infinitely many finite simple non-abelian groups quotients with characteristic kernels which do not contain any simple loop and hence the quotient maps do not factor through free groups. By a pullback construction, finite dimensional Hermitian representations of braid groups provide invariants for the braided surfaces. We show that the strong equivalence classes of braided surfaces are separated by such invariants if and only if they are profinitely separated.


title: Tuning the Selective Permeability of Polydisperse Polymer Networks

abstract: We study the permeability and selectivity (`permselectivity') of model membranes made of polydisperse polymer networks for molecular penetrant transport, using coarse-grained, implicit-solvent computer simulations. The permeability $\mathcal P$ is determined on the linear-response level using the solution-diffusion model, $\mathcal P = {\mathcal K}D_\text{in}$, $\textit{i.e.}$, by calculating the equilibrium penetrant partition ratio $\mathcal K$ and penetrant diffusivity $D_\text{in}$ inside the membrane. We vary two key parameters, namely the monomer-monomer interaction, which controls the degree of swelling and collapse of the network, and the monomer-penetrant interaction, which tunes the penetrant uptake and microscopic energy landscape for diffusive transport. The results for the partition ratio $\mathcal K$ cover four orders of magnitude and are non-monotonic versus the parameters, which is well interpreted by a second-order virial expansion of the free energy of transferring one penetrant from bulk into the polymeric medium. We find that the penetrant diffusivity $D_\text{in}$ in the polydisperse networks, in contrast to highly ordered membrane structures, exhibits relatively simple exponential decays and obeys well-known free-volume and Kramers' escape scaling laws. The eventually resulting permeability $\mathcal P$ thus resembles the qualitative functional behavior (including maximization and minimization) of the partitioning. However, partitioning and diffusion are anti-correlated, yielding large quantitative cancellations, controlled and fine-tuned by the network density and interactions as rationalized by our scaling laws. As a consequence, we finally demonstrate that even small changes of penetrant-network interactions, $\textit{e.g.}$, by half a $k_\text{B}T$, modify the permselectivity of the membrane by almost one order of magnitude.


title: The magnetic sensitivity of the resonance and subordinate lines of Mg II in the solar chromosphere

abstract: We carry out a theoretical study of the polarization of the solar Mg II h-k doublet (including its extended wings) and the subordinate UV triplet around 280 nm. These lines are of great diagnostic interest, as they encode information on the physical properties of the solar atmosphere from the upper photosphere to the chromosphere-corona transition region. We base our study on radiative transfer calculations of spectral line polarization in one-dimensional models of quiet and plage regions of the solar atmosphere. Our calculations take into account the combined action of atomic polarization, quantum level interference, frequency redistribution, and magnetic fields of arbitrary strength. In particular, we study the sensitivity of the emergent Stokes profiles to changes in the magnetic field through the Zeeman and Hanle effects. We also study the impact of the chromospheric plasma dynamics on the emergent Stokes profiles, taking into account the angle-dependent frequency redistribution in the h-k resonance transitions. The results presented here are of interest for the interpretation of spectropolarimetric observations in this important region of the solar ultraviolet spectrum.


title: The Laplacian Spectrum of Large Graphs Sampled from Graphons

abstract: This paper studies the Laplacian spectrum and the average effective resistance of (large) graphs that are sampled from graphons. Broadly speaking, our main finding is that the Laplacian eigenvalues of a large dense graph can be effectively approximated by using the degree function of the corresponding graphon. More specifically, we show how to approximate the distribution of the Laplacian eigenvalues and the average effective resistance (Kirchhoff index) of the graph. For all cases, we provide explicit bounds on the approximation errors and derive the asymptotic rates at which the errors go to zero when the number of nodes goes to infinity. Our main results are proved under the conditions that the graphon is piecewise Lipschitz and bounded away from zero.


title: Wood Anomalies and Surface-Wave Excitation with a Time-Grating

abstract: In order to confine waves beyond the diffraction limit, advances in fabrication techniques have enabled subwavelength structuring of matter, achieving near-field control of light and other types of waves. The price is often expensive fabrication needs and the irreversibility of device functionality, as well as the introduction of impurities, a major contributor to losses. In this Letter, we propose temporal inhomogeneities, such as a periodic drive in the electromagnetic properties of a surface which supports guided modes, to circumvent the need for subwavelength fabrication in the coupling of propagating waves to evanescent modes across the light line, achieving the temporal counterpart of the Wood anomaly. We show analytically and numerically how this concept is valid for any material platform and at any frequency, and propose and model a realistic experiment in graphene to couple terahertz radiation to plasmons with unit efficiency, demonstrating that time-modulation of material properties could be a tunable, lower-loss and fast-switchable alternative to the subwavelength structuring of matter for near-field wave control.


title: GraN: An Efficient Gradient-Norm Based Detector for Adversarial and Misclassified Examples

abstract: Deep neural networks (DNNs) are vulnerable to adversarial examples and other data perturbations. Especially in safety critical applications of DNNs, it is therefore crucial to detect misclassified samples. The current state-of-the-art detection methods require either significantly more runtime or more parameters than the original network itself. This paper therefore proposes GraN, a time- and parameter-efficient method that is easily adaptable to any DNN. GraN is based on the layer-wise norm of the DNN's gradient regarding the loss of the current input-output combination, which can be computed via backpropagation. GraN achieves state-of-the-art performance on numerous problem set-ups.


title: How Value-Sensitive Design Can Empower Sustainable Consumption

abstract: In a so-called overpopulated world, sustainable consumption is of existential importance.However, the expanding spectrum of product choices and their production complexity challenge consumers to make informed and value-sensitive decisions. Recent approaches based on (personalized) psychological manipulation are often intransparent, potentially privacy-invasive and inconsistent with (informational) self-determination. In contrast, responsible consumption based on informed choices currently requires reasoning to an extent that tends to overwhelm human cognitive capacity. As a result, a collective shift towards sustainable consumption remains a grand challenge. Here we demonstrate a novel personal shopping assistant implemented as a smart phone app that supports a value-sensitive design and leverages sustainability awareness, using experts' knowledge and "wisdom of the crowd" for transparent product information and explainable product ratings. Real-world field experiments in two supermarkets confirm higher sustainability awareness and a bottom-up behavioral shift towards more sustainable consumption. These results encourage novel business models for retailers and producers, ethically aligned with consumer preferences and with higher sustainability.


title: The Variance of Causal Effect Estimators for Binary V-structures

abstract: Adjusting for covariates is a well established method to estimate the total causal effect of an exposure variable on an outcome of interest. Depending on the causal structure of the mechanism under study there may be different adjustment sets, equally valid from a theoretical perspective, leading to identical causal effects. However, in practice, with finite data, estimators built on different sets may display different precision. To investigate the extent of this variability we consider the simplest non-trivial non-linear model of a v-structure on three nodes for binary data. We explicitly compute and compare the variance of the two possible different causal estimators. Further, by going beyond leading order asymptotics we show that there are parameter regimes where the set with the asymptotically optimal variance does depend on the edge coefficients, a result which is not captured by the recent leading order developments for general causal models. As a practical consequence, the adjustment set selection needs to account for the relative magnitude of the relationships between variables with respect to the sample size, and cannot rely on purely graphical criteria.


title: Niobium Dayem nano-bridge Josephson field-effect transistors

abstract: We report on the first realization of Nb-based \textit{all-metallic} gated Dayem nano-bridge field-effect transistors (Nb-FETs). These Josephson devices operate up to a temperature of $\sim 3$ K, and exhibit full suppression of the supercurrent thanks to the application of a control gate voltage. The dependence of the kinetic inductance and of the transconductance on gate voltage promises a performance already on par with so far realized metallic Josephson transistors, and let to foresee the implementation of a superconducting digital logic based on Nb-FETs. We conclude by showing the practical realization of a scheme implementing an all-metallic gate-tunable \emph{half-wave} rectifier to be used either for superconducting electronics or for photon detection applications.


title: Numerical study of track distortion in the Large Prototype TPC with end-plate based on bulk Micromegas

abstract: The present $\mathrm{R}\&\mathrm{D}$ activities for the International Large Detector Time Projection Chamber (ILD-TPC) concern the adoption of the micro pattern devices for the gaseous amplification stage. Seven Micromegas modules which are commissioned on the end-plate of a Large Prototype TPC (LPTPC) at DESY, were tested with a 5 GeV electron beam, under a 1 T magnetic field. During experiments, reduced signal sensitivity as well as distortion in the reconstructed track was observed at the boundaries of these modules. Electrostatic field inhomogeneity near the module boundaries was considered to be the possible major reason behind these observations. In the present work, this hypothesis has been explored using the Garfield simulation framework. It has been possible to contain the computational complexity of the problem with suitable simplifications. Qualitative and quantitative agreements with experimental results have been achieved. Possibility of mitigating the problems has been proposed using the same simulation framework.


title: New Coupling Conditions for Isentropic Flow on Networks

abstract: We introduce new coupling conditions for isentropic flow on networks based on an artificial density at the junction. The new coupling conditions can be derived from a kinetic model by imposing a condition on energy dissipation. Existence and uniqueness of solutions to the generalized Riemann and Cauchy problem are proven. The result for the generalized Riemann problem is globally in state space. Furthermore, non-increasing energy at the junction and a maximum principle are proven. A numerical example is given in which the new conditions are the only known conditions leading to the physically correct wave types. The approach generalizes to full gas dynamics.


title: A General Stabilization Bound for Influence Propagation in Graphs

abstract: We study the stabilization time of a wide class of processes on graphs, in which each node can only switch its state if it is motivated to do so by at least a $\frac{1+\lambda}{2}$ fraction of its neighbors, for some $0 < \lambda < 1$. Two examples of such processes are well-studied dynamically changing colorings in graphs: in majority processes, nodes switch to the most frequent color in their neighborhood, while in minority processes, nodes switch to the least frequent color in their neighborhood. We describe a non-elementary function $f(\lambda)$, and we show that in the sequential model, the worst-case stabilization time of these processes can completely be characterized by $f(\lambda)$. More precisely, we prove that for any $\epsilon>0$, $O(n^{1+f(\lambda)+\epsilon})$ is an upper bound on the stabilization time of any proportional majority/minority process, and we also show that there are graph constructions where stabilization indeed takes $\Omega(n^{1+f(\lambda)-\epsilon})$ steps.


title: Existence for a free boundary problem describing a propagating disturbance

abstract: We prove the existence of a solution to an 1-D free boundary problem which describes the propagation of disturbances of shock type, modeled by a non standard variational inequality.


title: Thermal Accelerated Aging Methods for Magnet Wire: A Review

abstract: This paper focuses on accelerated aging methods for magnet wire. Reliability of electrical devices such as coils, motors, relays, solenoids and transformers is heavily dependent on the Electrical Insulation System (EIS). Accelerated aging methods are used to rapidly simulate the conditions in real life, which is typically years (20,000 hours) depending on the operating conditions. The purpose of accelerated aging is to bring lifetime of an EIS to hours, days or weeks. Shortening the lifetime of an EIS to such an extent, allows for the study of the insulation materials behavior as well as investigate ways to estimate the remaining useful life (RUL) for the purpose of predictive maintenance. Unexpected failures in operation processes, where redundancy is not present, can lead to high economical losses, machine downtime and often health and safety risks. Conditions, under which thermal aging methods are generally reported in the literature, typically neglect other factors, owing to the sheer complexity and interdependence of the multifaceted aging phenomena. This paper examines some existing thermal aging tests, which are currently used to obtain data for enamel degradation in order to try to better understand of how the thermal stresses degrade the EIS. Separation of these stresses, which the EIS operate under, can yield a better understanding of how each of the Thermal, the Electrical, the Ambient and the Mechanical (TEAM) stresses behave.

categories: eess.SY cond-mat.mtrl-sci cs.SY physics.app-ph


title: Evolving Diverse Sets of Tours for the Travelling Salesperson Problem

abstract: Evolving diverse sets of high quality solutions has gained increasing interest in the evolutionary computation literature in recent years. With this paper, we contribute to this area of research by examining evolutionary diversity optimisation approaches for the classical Traveling Salesperson Problem (TSP). We study the impact of using different diversity measures for a given set of tours and the ability of evolutionary algorithms to obtain a diverse set of high quality solutions when adopting these measures. Our studies show that a large variety of diverse high quality tours can be achieved by using our approaches. Furthermore, we compare our approaches in terms of theoretical properties and the final set of tours obtained by the evolutionary diversity optimisation algorithm.


title: On the Encoder-Decoder Incompatibility in Variational Text Modeling and Beyond

abstract: Variational autoencoders (VAEs) combine latent variables with amortized variational inference, whose optimization usually converges into a trivial local optimum termed posterior collapse, especially in text modeling. By tracking the optimization dynamics, we observe the encoder-decoder incompatibility that leads to poor parameterizations of the data manifold. We argue that the trivial local optimum may be avoided by improving the encoder and decoder parameterizations since the posterior network is part of a transition map between them. To this end, we propose Coupled-VAE, which couples a VAE model with a deterministic autoencoder with the same structure and improves the encoder and decoder parameterizations via encoder weight sharing and decoder signal matching. We apply the proposed Coupled-VAE approach to various VAE models with different regularization, posterior family, decoder structure, and optimization strategy. Experiments on benchmark datasets (i.e., PTB, Yelp, and Yahoo) show consistently improved results in terms of probability estimation and richness of the latent space. We also generalize our method to conditional language modeling and propose Coupled-CVAE, which largely improves the diversity of dialogue generation on the Switchboard dataset.


title: Landmark Detection and 3D Face Reconstruction for Caricature using a Nonlinear Parametric Model

abstract: Caricature is an artistic abstraction of the human face by distorting or exaggerating certain facial features, while still retains a likeness with the given face. Due to the large diversity of geometric and texture variations, automatic landmark detection and 3D face reconstruction for caricature is a challenging problem and has rarely been studied before. In this paper, we propose the first automatic method for this task by a novel 3D approach. To this end, we first build a dataset with various styles of 2D caricatures and their corresponding 3D shapes, and then build a parametric model on vertex based deformation space for 3D caricature face. Based on the constructed dataset and the nonlinear parametric model, we propose a neural network based method to regress the 3D face shape and orientation from the input 2D caricature image. Ablation studies and comparison with state-of-the-art methods demonstrate the effectiveness of our algorithm design. Extensive experimental results demonstrate that our method works well for various caricatures. Our constructed dataset, source code and trained model are available at https://github.com/Juyong/CaricatureFace.


title: Multiple blowing-up solutions to critical elliptic systems in bounded domains

abstract: We construct families of blowing-up solutions to elliptic systems on smooth bounded domains in the Euclidean space, which are variants of the critical Lane-Emden system and analogous to the Brezis-Nirenberg problem. We find a function which governs blowing-up points and rates, observing that it reflects the strong nonlinear characteristic of the system. By using it, we also prove that a single blowing-up solution exists in general domains, and construct examples of contractible domains where multiple blowing-up solutions are allowed to exist. We believe that a variety of new ideas and arguments developed here will help to analyze blowing-up phenomena in related Hamiltonian-type systems.


title: Positive solutions for nonlinear Neumann problems with singular terms and convection

abstract: We consider a nonlinear Neumann problem driven by the $p$-Laplacian. In the reaction term we have the competing effects of a singular and a convection term. Using a topological approach based on the Leray-Schauder alternative principle together with suitable truncation and comparison techniques, we show that the problem has positive smooth solutions.


title: Improving Resources Management in Network Virtualization by Utilizing a Software-Based Network

abstract: Network virtualization is a way to simultaneously run multiple heterogeneous architectures on a shared substrate. The main issue in network virtualization is mapping virtual networks to substrate network. How to manage substrate resources in mapping phase will have an effective role in improving the use of infrastructure resources. Using software-based networks in network virtualization which separates control logic from data as a new technology, has led to efficient resource management in this context. In this article a software-based network approach has been presented to network virtualization and manage infrastructure resources efficiently. It optimizes mapping function by dynamic resource management of infrastructure resource. We have added a module in the controller to manage the resources dynamically. An initial mapping will be done for arriving new requests based on number of successful requests and arriving time slots. They will not be finalized by writing the rules in the switches before arriving n requests. If some remapping during the n time window is needed, remapping can be done by the controller and the final results are sent to the switches to write the flow rules. The simulation has been done using NS2 simulator showed based on different evaluation criteria such as acceptance rate, average link utilization, cost and delay. Keywords: network virtualization, software based network, Virtual network mapping, substrate network, Virtual network.


title: Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory

abstract: A standard approach to quantifying resources is to determine which operations on the resources are freely available, and to deduce the partial order over resources that is induced by the relation of convertibility under the free operations. If the resource of interest is the nonclassicality of the correlations embodied in a quantum state, i.e., entanglement, then the common assumption is that the appropriate choice of free operations is Local Operations and Classical Communication (LOCC). We here advocate for the study of a different choice of free operations, namely, Local Operations and Shared Randomness (LOSR), and demonstrate its utility in understanding the interplay between the entanglement of states and the nonlocality of the correlations in Bell experiments. Specifically, we show that the LOSR paradigm (i) provides a resolution of the anomalies of nonlocality, wherein partially entangled states exhibit more nonlocality than maximally entangled states, (ii) entails new notions of genuine multipartite entanglement and nonlocality that are free of the pathological features of the conventional notions, and (iii) makes possible a resource-theoretic account of the self-testing of entangled states which generalizes and simplifies prior results. Along the way, we derive some fundamental results concerning the necessary and sufficient conditions for convertibility between pure entangled states under LOSR and highlight some of their consequences, such as the impossibility of catalysis for bipartite pure states. The resource-theoretic perspective also clarifies why it is neither surprising nor problematic that there are mixed entangled states which do not violate any Bell inequality. Our results motivate the study of LOSR-entanglement as a new branch of entanglement theory.


title: Multidimensional inverse Cauchy problems for evolution equations

abstract: We discuss inverse problems to finding the time-dependent coefficient for the multidimensional Cauchy problems for both strictly hyperbolic equations and polyharmonic heat equations. We also extend our techniques to the general inverse Cauchy problems for evolution equations.


title: Error estimates for a class of discontinuous Galerkin methods for nonsmooth problems via convex duality relations

abstract: We devise and analyze a class of interior penalty discontinuous Galerkin methods for nonlinear and nonsmooth variational problems. Discrete duality relations are derived that lead to optimal error estimates in the case of total-variation regularized minimization or obstacle problems. The analysis provides explicit estimates that precisely determine the role of stabilization parameters. Numerical experiments suppport the optimality of the estimates.


title: LSM: Learning Subspace Minimization for Low-level Vision

abstract: We study the energy minimization problem in low-level vision tasks from a novel perspective. We replace the heuristic regularization term with a learnable subspace constraint, and preserve the data term to exploit domain knowledge derived from the first principle of a task. This learning subspace minimization (LSM) framework unifies the network structures and the parameters for many low-level vision tasks, which allows us to train a single network for multiple tasks simultaneously with completely shared parameters, and even generalizes the trained network to an unseen task as long as its data term can be formulated. We demonstrate our LSM framework on four low-level tasks including interactive image segmentation, video segmentation, stereo matching, and optical flow, and validate the network on various datasets. The experiments show that the proposed LSM generates state-of-the-art results with smaller model size, faster training convergence, and real-time inference.


title: A combinatorial expansion of vertical-strip LLT polynomials in the basis of elementary symmetric functions

abstract: We give a new characterization of the vertical-strip LLT polynomials $\mathrm{LLT}_P(x;q)$ as the unique family of symmetric functions that satisfy certain combinatorial relations. This characterization is then used to prove an explicit combinatorial expansion of vertical-strip LLT polynomials in terms of elementary symmetric functions. Such formulas were conjectured independently by A. Garsia et al. and the first named author, and are governed by the combinatorics of orientations of unit-interval graphs. The obtained expansion is manifestly positive if $q$ is replaced by $q+1$, thus recovering a recent result of M. D'Adderio. Our results are based on linear relations among LLT polynomials that arise in the work of D'Adderio, and of E. Carlsson and A. Mellit. To some extent these relations are given new bijective proofs using colorings of unit-interval graphs. As a bonus we obtain a new characterization of chromatic quasisymmetric functions of unit-interval graphs.


title: Generative Feature Replay For Class-Incremental Learning

abstract: Humans are capable of learning new tasks without forgetting previous ones, while neural networks fail due to catastrophic forgetting between new and previously-learned tasks. We consider a class-incremental setting which means that the task-ID is unknown at inference time. The imbalance between old and new classes typically results in a bias of the network towards the newest ones. This imbalance problem can either be addressed by storing exemplars from previous tasks, or by using image replay methods. However, the latter can only be applied to toy datasets since image generation for complex datasets is a hard problem. We propose a solution to the imbalance problem based on generative feature replay which does not require any exemplars. To do this, we split the network into two parts: a feature extractor and a classifier. To prevent forgetting, we combine generative feature replay in the classifier with feature distillation in the feature extractor. Through feature generation, our method reduces the complexity of generative replay and prevents the imbalance problem. Our approach is computationally efficient and scalable to large datasets. Experiments confirm that our approach achieves state-of-the-art results on CIFAR-100 and ImageNet, while requiring only a fraction of the storage needed for exemplar-based continual learning. Code available at \url{https://github.com/xialeiliu/GFR-IL}.


title: Numerical simulations of a falling film on the inner surface of a rotating cylinder

abstract: A flow in which a thin film falls due to gravity on the inner surface of a vertical, rotating cylinder is investigated. This is performed using two-dimensional (2D) and three-dimensional (3D) direct numerical simulations, with a volume-of-fluid approach to treat the interface. The problem is parameterised by the Reynolds, Froude, Weber and Ekman numbers. The variation of the Ekman number ($Ek$), defined to be proportional of the rotational speed of the cylinder, has a strong effect on the flow characteristics. Simulations are conducted over a wide range of $Ek$ values ($0 \leq Ek \leq 484$) in order to provide detailed insight into how this parameter influences the flow. Our results indicate that increasing $Ek$, which leads to a rise in the magnitude of centrifugal forces, produces a stabilising effect, suppressing wave formation. Key flow features, such as the transition from a 2D to a more complex 3D wave regime, are influenced significantly by this stabilisation, and are investigated in detail. Furthermore, the imposed rotation results in distinct flow characteristics such as the development of angled waves, which arise due to the combination of gravitationally- and centrifugally-driven motion in the axial and azimuthal directions, respectively. We also use a weighted residuals integral boundary layer method to determine a boundary in the space of Reynolds and Ekman numbers that represents a threshold beyond which waves have recirculation regions.


title: HOD in inner models with Woodin cardinals

abstract: We analyze the hereditarily ordinal definable sets $\operatorname{HOD}$ in $M_n(x)[g]$ for a Turing cone of reals $x$, where $M_n(x)$ is the canonical inner model with $n$ Woodin cardinals build over $x$ and $g$ is generic over $M_n(x)$ for the L\'evy collapse up to its bottom inaccessible cardinal. We prove that assuming $\boldsymbol\Pi^1_{n+2}$-determinacy, for a Turing cone of reals $x$, $\operatorname{HOD}^{M_n(x)[g]} = M_n(\mathcal{M}_{\infty} | \kappa_\infty, \Lambda),$ where $\mathcal{M}_\infty$ is a direct limit of iterates of $M_{n+1}$, $\delta_\infty$ is the least Woodin cardinal in $\mathcal{M}_\infty$, $\kappa_\infty$ is the least inaccessible cardinal in $\mathcal{M}_\infty$ above $\delta_\infty$, and $\Lambda$ is a partial iteration strategy for $\mathcal{M}_{\infty}$. It will also be shown that under the same hypothesis $\operatorname{HOD}^{M_n(x)[g]}$ satisfies $\operatorname{GCH}$.


title: Kalman-Bucy filtering and minimum mean square estimator under uncertainty

abstract: In this paper, we study a generalized Kalman-Bucy filtering problem under uncertainty. The drift uncertainty for both signal process and observation process is considered and the attitude to uncertainty is characterized by a convex operator (convex risk measure). The optimal filter or the minimum mean square estimator (MMSE) is calculated by solving the minimum mean square estimation problem under a convex operator. In the first part of this paper, this estimation problem is studied under g-expectation which is a special convex operator. For this case, we prove that there exists a worst-case prior. Based on this worst-case prior we obtained the Kalman-Bucy filtering equation under g-expectation. In the second part of this paper, we study the minimum mean square estimation problem under general convex operators. The existence and uniqueness results of the MMSE are deduced.


title: Effects of anomalous magnetic moment of quarks on the dilepton production from hot and dense magnetized quark matter using the NJL model

abstract: Dilepton production rate (DPR) from hot and dense quark matter is studied in the presence of an arbitrary external magnetic field using the 2-flavour Nambu--Jona-Lasinio (NJL) model. The anomalous magnetic moment (AMM) of the quarks is taken into consideration while calculating the constituent quark mass as well as the DPR from the thermo-magnetic medium. An infinite number of quark Landau levels is incorporated so that no approximations are made on the strength of the background magnetic field. The analytic structure of the two point vector current correlation function in the complex energy plane reveals that, in addition to the usual Unitary cut, a non-trival Landau cut appears in the physical kinematic domains solely due to the external magnetic field. Moreover, these kinematic domains of the Unitary and Landau cuts are found to be significantly modified due to the AMM of the quarks. With finite AMM of the quarks, for certain values of the external magnetic field, the kinematically forbidden gap between the Unitary and Landau cuts are shown to vanish leading to the generation of a continuous spectrum of dilepton emission over the whole invariant mass region not observed earlier.


title: Supporting Creative Work with Crowd Feedback Systems

abstract: Crowd feedback systems have the potential to support creative workers with feedback from the crowd. In this position paper for the Workshop on Designing Crowd-powered Creativity Support Systems (DC2S2) at CHI '19, we present three creativity support tools in which we explore how creative workers can be assisted with crowdsourced formative and summative feedback. For each of the three crowd feedback systems, we provide one idea for future research.


title: A Study of Cross-Lingual Ability and Language-specific Information in Multilingual BERT

abstract: Recently, multilingual BERT works remarkably well on cross-lingual transfer tasks, superior to static non-contextualized word embeddings. In this work, we provide an in-depth experimental study to supplement the existing literature of cross-lingual ability. We compare the cross-lingual ability of non-contextualized and contextualized representation model with the same data. We found that datasize and context window size are crucial factors to the transferability. We also observe the language-specific information in multilingual BERT. By manipulating the latent representations, we can control the output languages of multilingual BERT, and achieve unsupervised token translation. We further show that based on the observation, there is a computationally cheap but effective approach to improve the cross-lingual ability of multilingual BERT.


title: Predicting 21cm-line map from Lyman $\alpha$ emitter distribution with Generative Adversarial Networks

abstract: The radio observation of 21\,cm-line signal from the Epoch of Reionization (EoR) enables us to explore the evolution of galaxies and intergalactic medium in the early universe. However, the detection and imaging of the 21\,cm-line signal are tough due to the foreground and instrumental systematics. In order to overcome these obstacles, as a new approach, we propose to take a cross correlation between observed 21\,cm-line data and 21\,cm-line images generated from the distribution of the Lyman-$\alpha$ emitters (LAEs) through machine learning. In order to create 21\,cm-line maps from LAE distribution, we apply conditional Generative Adversarial Network (cGAN) trained with the results of our numerical simulations. We find that the 21\,cm-line brightness temperature maps and the neutral fraction maps can be reproduced with correlation function of 0.5 at large scales $k<0.1~{\rm Mpc}^{-1}$. Furthermore, we study the detectability of the the cross correlation assuming the the LAE deep survey of the Subaru Hyper Suprime Cam, the 21\,cm observation of the MWA Phase II and the presence of the foreground residuals. We show that the signal is detectable at $k < 0.1~{\rm Mpc}^{-1}$ with 1000 hours of MWA observation even if the foreground residuals are 5 times larger than the 21\,cm-line power spectrum. Our new approach of cross correlation with image construction using the cGAN can not only boost the detectability of EoR 21\,cm-line signal but also allow us to estimate the 21\,cm-line auto-power spectrum.


title: The Maximum Number of Paths of Length Four in a Planar Graph

abstract: Let $f(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. The order of magnitude of $f(n,P_k)$, where $P_k$ is a path on $k$ vertices, is $n^{{\lfloor{\frac{k-1}{2}}\rfloor}+1}$. In this paper we determine the asymptotic value of $f(n,P_5)$ and give conjectures for longer paths.


title: Hayward Quasilocal Energy of Tori

abstract: This paper is dedicated to the investigation of the positivity of the Hayward quasilocal energy of tori. Marginally trapped tori have nonnegative Hayward energy. We consider a scenario of a spherically symmetric constant density star matched to an exterior Schwarzschild solution. We show that any generic tori within the star, distorted or not, trapped or not, have strictly positive Hayward energy. Surprisingly we find analytic examples of `thin' tori with negative Hayward energy in the outer neighborhood of the Schwarzschild horizon. These tori are swept out by rotating the standard round circles in the static coordinates but they are distorted in the isotropic coordinates. Numerical results also indicate that there exist horizontally dragged tori with strictly negative Hayward energy in the region between the boundary of the star and the Schwarzschild horizon.


title: On preconditioning and solving an extended class of interval parametric linear systems

abstract: We deal with interval parametric systems of linear equations and the goal is to solve such systems, which basically comes down to finding an enclosure for a parametric solution set. Obviously we want this enclosure to be as tight as possible. The review of the available literature shows that in order to make a system more tractable most of the solution methods use left preconditioning of the system by the midpoint inverse. Surprisingly, and in contrast to standard interval linear systems, our investigations have shown that double preconditioning can be more efficient than a single one, both in terms of checking the regularity of the system matrix and enclosing the solution set. Consequently, right (which was hitherto mentioned in the context of checking regularity of interval parametric matrices) and double preconditioning together with the p-solution concept enable us to solve a larger class of interval parametric linear systems than most of existing methods. The applicability of the proposed approach to solving interval parametric linear systems is illustrated by several numerical examples.


title: Software Test Automation Maturity -- A Survey of the State of the Practice

abstract: The software industry has seen an increasing interest in test automation. In this paper, we present a test automation maturity survey serving as a self-assessment for practitioners. Based on responses of 151 practitioners coming from above 101 organizations in 25 countries, we make observations regarding the state of the practice of test automation maturity: a) The level of test automation maturity in different organizations is differentiated by the practices they adopt; b) Practitioner reported the quite diverse situation with respect to different practices, e.g., 85\% practitioners agreed that their test teams have enough test automation expertise and skills, while 47\% of practitioners admitted that there is lack of guidelines on designing and executing automated tests; c) Some practices are strongly correlated and/or closely clustered; d) The percentage of automated test cases and the use of Agile and/or DevOps development models are good indicators for a higher test automation maturity level; (e) The roles of practitioners may affect response variation, e.g., QA engineers give the most optimistic answers, consultants give the most pessimistic answers. Our results give an insight into present test automation processes and practices and indicate chances for further improvement in the present industry.


title: Robust 3D reconstruction of dynamic scenes from single-photon lidar using Beta-divergences

abstract: In this paper, we present a new algorithm for fast, online 3D reconstruction of dynamic scenes using times of arrival of photons recorded by single-photon detector arrays. One of the main challenges in 3D imaging using single-photon lidar in practical applications is the presence of strong ambient illumination which corrupts the data and can jeopardize the detection of peaks/surface in the signals. This background noise not only complicates the observation model classically used for 3D reconstruction but also the estimation procedure which requires iterative methods. In this work, we consider a new similarity measure for robust depth estimation, which allows us to use a simple observation model and a non-iterative estimation procedure while being robust to mis-specification of the background illumination model. This choice leads to a computationally attractive depth estimation procedure without significant degradation of the reconstruction performance. This new depth estimation procedure is coupled with a spatio-temporal model to capture the natural correlation between neighboring pixels and successive frames for dynamic scene analysis. The resulting online inference process is scalable and well suited for parallel implementation. The benefits of the proposed method are demonstrated through a series of experiments conducted with simulated and real single-photon lidar videos, allowing the analysis of dynamic scenes at 325 m observed under extreme ambient illumination conditions.


title: A System Dynamics Model of Bitcoin: Mining as an Efficient Market and the Possibility of "Peak Hash"

abstract: The mining of bitcoin is modeled using system dynamics, showing that the past evolution of the network hash rate can be explained to a large extent by an efficient market hypothesis applied to the mining of blocks. The possibility of a decrease in the network hash rate from the next halving event (May 2020) is exposed, implying that the network may be close to 'peak hash', if the price of bitcoin and the revenues from transaction fees will remain at approximately the present level.