title: Exact Spectral-Like Gradient Method for Distributed Optimization

abstract: Since the initial proposal in the late 80s, spectral gradient methods continue to receive significant attention, especially due to their excellent numerical performance on various large scale applications. However, to date, they have not been sufficiently explored in the context of distributed optimization. In this paper, we consider unconstrained distributed optimization problems where $n$ nodes constitute an arbitrary connected network and collaboratively minimize the sum of their local convex cost functions. In this setting, building from existing exact distributed gradient methods, we propose a novel exact distributed gradient method wherein nodes' step-sizes are designed according to the novel rules akin to those in spectral gradient methods. We refer to the proposed method as Distributed Spectral Gradient method (DSG). The method exhibits R-linear convergence under standard assumptions for the nodes' local costs and safeguarding on the algorithm step-sizes. We illustrate the method's performance through simulation examples.


title: Observation of topological magnon insulator states in a superconducting circuit

abstract: Searching topological states in artificial systems has recently become a rapidly growing field of research. Meanwhile, significant experimental progresses on observing topological phenomena have been made in superconducting circuits. However, topological insulator states have not yet been reported in this system. Here, for the first time, we experimentally realize a tunable dimerized spin chain model and observe the topological magnon insulator states in a superconducting qubit chain. Via parametric modulations of the qubit frequencies, we show that the qubit chain can be flexibly tuned into topologically trivial or nontrivial magnon insulator states. Based on monitoring the quantum dynamics of a single-qubit excitation in the chain, we not only measure the topological winding numbers, but also observe the topological magnon edge and defect states. Our experiment exhibits the great potential of tunable superconducting qubit chain as a versatile platform for exploring non-interacting and interacting symmetry-protected topological states.


title: Dynamics of noncollinear antiferromagnetic textures driven by spin current injection

abstract: We present a theoretical formalism to address the dynamics of textured, noncolliear antiferromagnets subject to spin current injection. We derive sine-Gordon type equations of motion for the antiferromagnets, which are applicable to technologically important antiferromagnets such as Mn3Ir and Mn3Sn, and enables an analytical approach to domain wall dynamics in those materials. We obtain the expression for domain wall velocity, which is estimated to reach around 1 km/s in Mn3Ir by exploiting spin Hall effect with electric current density around 10^11A/m^2.


title: Single-shot Non-destructive Detection of Rydberg Atom Ensembles by Transmission Measurement of a Microwave Cavity

abstract: Rydberg atoms are at the core of an increasing number of experiments, which frequently rely on destructive detection methods, such as field ionization. Here, we present an experimental realization of single-shot non-destructive detection of ensembles of helium Rydberg atoms. We use the dispersive frequency shift of a superconducting microwave cavity interacting with the ensemble. By probing the transmission of the cavity and measuring the change in its phase, we determine the number of Rydberg atoms or the populations of Rydberg quantum states when the ensemble is prepared in a superposition. At the optimal probe power, determined by the critical photon number, we reach single-shot detection of the atom number with 13% precision for ensembles of about 500 Rydberg atoms with a measurement backaction characterized by approximately 2%-population transfer.


title: Image Enhancement Network Trained by Using HDR images

abstract: In this paper, a novel image enhancement network is proposed, where HDR images are used for generating training data for our network. Most of conventional image enhancement methods, including Retinex based methods, do not take into account restoring lost pixel values caused by clipping and quantizing. In addition, recently proposed CNN based methods still have a limited scope of application or a limited performance, due to network architectures. In contrast, the proposed method have a higher performance and a simpler network architecture than existing CNN based methods. Moreover, the proposed method enables us to restore lost pixel values. Experimental results show that the proposed method can provides higher-quality images than conventional image enhancement methods including a CNN based method, in terms of TMQI and NIQE.


title: General fractional Sobolev Space with variable exponent and applications to nonlocal problems

abstract: In this paper, we extend the fractional Sobolev spaces with variable exponents $W^{s,p(x,y)}$ to include the general fractional case $W^{K,p(x,y)}$, where $p$ is a variable exponent, $s\in (0,1)$ and $K$ is a suitable kernel. We are concerned with some qualitative properties of the space $W^{K,p(x,y)}$ (completeness, reflexivity, separability, and density). Moreover, we prove a continuous and compact embedding theorem of these spaces into variable exponent Lebesgue spaces. As applications, we discuss the existence of a nontrivial solution for a nonlocal $p(x,.)$-Kirchhoff type problem. Further, we establish the existence and uniqueness of a solution for a variational problem involving the integro-differential operator of elliptic type $\mathcal{L}^{p(x,.)}_K$.


title: Control strategies on mosquitos population for the fight against arboviruses

abstract: In the fight against vector-borne arboviruses, an important strategy of control of epidemic consists in controlling the population of vector, \textit{Aedes} mosquitoes in this case. Among possible actions, two techniques consist in releasing mosquitoes to reduce the size of the population (Sterile Insect Technique) or in replacing the wild population by a population carrying a bacteria, called \textit{Wolbachia}, blocking the transmission of viruses from mosquitoes to human. This paper is concerned with the question of optimizing the release protocol for these two strategies with the aim of getting as close as possible to the objectives. Starting from a mathematical model describing the dynamics of the population, we include the control function and introduce the cost functional for both \textit{population replacement} and \textit{Sterile Insect Technique} problems. Next, we establish some properties of the optimal control and illustrate them with some numerical simulations.


title: The effects of electron correlation and the Breit interaction on one- and two-electron one-photon transitions in double K hole states of He-like ions ($10\!\leq\!Z\!\leq\!47$)

abstract: The x-ray energies and transition rates associated with single and double electron radiative transitions from the double K hole state $2s2p$ to the $1s2s$ and $1s^{2}$ configurations of 11 He-like ions ($10\!\leq\!Z\!\leq\!47$) are evaluated using the fully relativistic multi-configuration Dirac-Fock method. An appropriate electron correlation model is constructed with the aid of the active space method, which allows the electron correlation effects to be studied efficiently. The contributions of electron correlation and the Breit interaction to the transition properties are analyzed in detail. It is found that the two-electron one-photon (TEOP) transition is correlation sensitive. The Breit interaction and electron correlation both contribute significantly to the radiative transition properties of the double K hole state of He-like ions. Good agreement between the present calculation and previous work is achieved. The calculated data will be helpful to future investigations on double K hole decay processes of He-like ions.


title: Lie Triple Derivations of Incidence Algebras

abstract: Let $\mathcal{R}$ be a $2$-torsion free commutative ring with unity, $X$ a locally finite pre-ordered set and $I(X,\mathcal{R})$ the incidence algebra of $X$ over $\mathcal{R}$. If $X$ consists of a finite number of connected components, we prove in this paper that every Lie triple derivation of $I(X,\mathcal{R})$ is proper.


title: Heat kernel on Ricci shrinkers

abstract: In this paper, we systematically study the heat kernel of the Ricci flows induced by Ricci shrinkers. We develop several estimates which are much sharper than their counterparts in general closed Ricci flows. Many classical results, including the optimal Logarithmic Sobolev constant estimate, the Sobolev constant estimate, the no-local-collapsing theorem, the pseudo-locality theorem and the strong maximum principle for curvature tensors, are essentially improved for Ricci flows induced by Ricci shrinkers. Our results provide many necessary tools to analyze short time singularities of the Ricci flows of general dimension.


title: Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic

abstract: This paper presents an approximation approach to verifying counter systems with respect to properties formulated in an expressive counting extension of linear temporal logic. It can express, e.g., that the number of acknowledgements never exceeds the number of requests to a service, by counting specific positions along a run and imposing arithmetic constraints. The addressed problem is undecidable and therefore solved on flat under-approximations of a system. This provides a flexibly adjustable trade-off between exhaustiveness and computational effort, similar to bounded model checking. Recent techniques and results for model-checking frequency properties over flat Kripke structures are lifted and employed to construct a parametrised encoding of the (approximated) problem in quantifier-free Presburger arithmetic. A prototype implementation based on the z3 SMT solver demonstrates the effectiveness of the approach based on problems from the RERS Challange.


title: Emergence of Superconductivity from Fully Incoherent Normal State in an Iron-Based Superconductor (Ba$_{0.6}$K$_{0.4}$)Fe$_2$As$_2$

abstract: In unconventional superconductors, it is generally believed that understanding the physical properties of the normal state is a pre-requisite for understanding the superconductivity mechanism. In conventional superconductors like niobium or lead, the normal state is a Fermi liquid with a well-defined Fermi surface and well-defined quasipartcles along the Fermi surface. Superconductivity is realized in this case by the Fermi surface instability in the superconducting state and the formation and condensation of the electron pairs (Cooper pairing). The high temperature cuprate superconductors, on the other hand, represent another extreme case that superconductivity can be realized in the underdoped region where there is neither well-defined Fermi surface due to the pseudogap formation nor quasiparticles near the antinodal regions in the normal state. Here we report a novel scenario that superconductivity is realized in a system with well-defined Fermi surface but without quasiparticles along the Fermi surface in the normal state. High resolution laser-based angle-resolved photoemission measurements have been performed on an optimally-doped iron-based superconductor (Ba$_{0.6}$K$_{0.4}$)Fe$_2$As$_2$. We find that, while sharp superconducting coherence peaks emerge in the superconducting state on the hole-like Fermi surface sheets, no quasiparticle peak is present in the normal state. Its electronic behaviours deviate strongly from a Fermi liquid system. The superconducting gap of such a system exhibits an unusual temperature dependence that it is nearly a constant in the superconducting state and abruptly closes at T$_c$. These observations have provided a new platform to study unconventional superconductivity in a non-Fermi liquid system.


title: 2D Quantum Turbulence in Polariton Condensates

abstract: The coexistence of the energy and enstrophy cascades in 2D quantum turbulence is one of the important open questions in the studies of quantum fluids. Here, we show that polariton condensates are particularly suitable for the possible observation of scaling on sufficiently large scales. The shape of raw energy spectra depends on the procedure of condensate excitation (stirring), but the energy spectra of clustered vortices always exhibit the -5/3 power law. In the optimal case, the cascade can be observed over almost 2 decades.


title: Dunkl-Gamma Type Operators including Appell Polynomials

abstract: The aim of the present paper is to introduce Dunkl-Gamma type operators in terms of Appell polynomials and to investigate approximating properties of these operators.


title: Comparison of SNSPDs biased with microwave and direct currents

abstract: This paper presents a detailed investigation of superconducting nanowire single-photon detectors (SNSPDs) biased with microwave and direct currents. We developed a hybrid detector, which allows the operation in the rf and dc operation mode. With this hybrid detector, we are able to compare the count rates of the same nanowire biased with dc and rf currents. Furthermore, we demonstrate the use of the oscillating current in the rf operation mode as a reference signal in a synchronous single-photon detection mode.


title: New models of Jupiter in the context of Juno and Galileo

abstract: Observations of Jupiter's gravity field by Juno have revealed surprisingly small values for the high order gravitational moments, considering the abundances of heavy elements measured by Galileo 20 years ago. The derivation of recent equations of state for hydrogen and helium, much denser in the Mbar region, worsen the conflict between these two observations. In order to circumvent this puzzle, current Jupiter model studies either ignore the constraint from Galileo or invoke an ad hoc modification of the equations of state. In this paper, we derive Jupiter models which satisfy both Juno and Galileo constraints. We confirm that Jupiter's structure must encompass at least four different regions: an outer convective envelope, a region of compositional, thus entropy change, an inner convective envelope and an extended diluted core enriched in heavy elements, and potentially a central compact core. We show that, in order to reproduce Juno and Galileo observations, one needs a significant entropy increase between the outer and inner envelopes and a smaller density than for an isentropic profile, associated with some external differential rotation. The best way to fulfill this latter condition is an inward decreasing abundance of heavy elements in this region. We examine in details the three physical mechanisms able to yield such a change of entropy and composition: a first order molecular-metallic hydrogen transition, immiscibility between hydrogen and helium or a region of layered convection. Given our present knowledge of hydrogen pressure ionization, combination of the two latter mechanisms seems to be the most favoured solution.


title: Asymptotic properties of extremal Markov processes driven by Kendall convolution

abstract: This paper is devoted to the analysis of the finite-dimensional distributions and asymptotic behavior of extremal Markov processes connected to the Kendall convolution. In particular, based on its stochastic representation, we provide general formula for finite dimensional distributions of the random walk driven by the Kendall convolution for a large class of step size distributions. Moreover, we prove limit theorems for random walks and connected continuous time stochastic process.


title: Trace formula for the magnetic Laplacian

abstract: The Guillemin-Uribe trace formula is a semiclassical version of the Selberg trace formula and more general Duistermaat-Guillemin formula for elliptic operators on compact manifolds, which reflects the dynamics of magnetic geodesic flows in terms of eigenvalues of a natural differential operator (the magnetic Laplacian) associated with the magnetic field. In this paper, we give a survey of basic notions and results related with the Guillemin-Uribe trace formula and provide concrete examples of its computation for two-dimensional constant curvature surfaces with constant magnetic fields and for the Katok example.


title: Role of the quasi-particles in an electric circuit with Josephson junctions

abstract: While Josephson junctions can be viewed as highly non-linear impedances for superconducting quantum technologies, they also possess internal dynamics that may strongly affect their behavior. Here, we construct a computational framework that includes a microscopic description of the junction (full fledged treatment of both the superconducting condensate and the quasi-particles) in presence of a surrounding electrical circuit. Our approach generalizes the standard ResistorCapacitor-Josephson model (RCJ) to arbitrary junctions (including e.g. multi-terminal geometries and/or junctions that embed topological or magnetic elements) and arbitrary electric circuits treated at the classical level. By treating the superconducting condensate and quasi-particles on equal footings, we capture non-equilibrium phenomena such as Multiple Andreev Reflection. We show that the interplay between the quasi-particle dynamics and the electrical environment leads to the emergence of new phenomena. In a RC circuit connected to single channel Josephson junction, we find out-of-equilibrium current-phase relations that are strongly distorted with respect to the (almost sinusoidal) equilibrium one, revealing the presence of high harmonic AC Josephson effect. In an RLC circuit connected to a junction, we find that the shape of the resonance is strongly modified by the quasi-particle dynamics: close to resonance, the current can be smaller than without the resonator. Our approach provides a route for the quantitative modeling of superconducting based circuits.


title: Cramer-Lundberg model for some classes of extremal Markov sequences

abstract: The classical Cramer-Lundberg model was the first attempt to describe the financial condition of the insurance company. The incomes were approximated by a steady stream of money, insurance payments were not limited and could take any value from zero to infinity. The society did not invest any part of its money, do not have any employees, shareholders or enterprise maintenance costs. There exists many modifications of the Cramer-Lundberg model which cover at least some of the problems described here, but usually they require insight into the internal financial policy of the insurance company. We propose here another modification based on Markov processes defined by generalized convolutions. Thanks to the generalized convolutions we can approximate stochastically the internal financial policy of the company based on publicly available data. In this paper we focus on computing the ruin probability for an infinite time horizon for the Markov processes Cramer-Lundberg model where the transition probabilities are defined by generalized convolutions, in particular $\alpha$-convolution, maximal convolution and the Kendall convolution.


title: Quadratic Maps in Two Variables on Arbitrary Fields

abstract: Let $\mathbb{F}$ be a field of characteristic different from $2$ and $3$, and let $V$ be a vector space of dimension $2$ over $\mathbb{F}$. The generic classification of homogeneous quadratic maps $f\colon V\to V$ under the action of the linear group of $V$, is given and efficient computational criteria to recognize equivalence are provided.


title: On Imprimitive Representations of Finite Reductive Groups in Non-defining Characteristic

abstract: In this paper, we begin with the classification of Harish-Chandra imprimitive representations in non-defining characteristic. We recall the connection of this problem to certain generalizations of Iwahori-Hecke algebras and show that Harish-Chandra induction is compatible with the Morita equivalence by Bonnaf\'{e} and Rouquier, thus reducing the classification problem to quasi-isolated blocks. Afterwards, we consider imprimitivity of unipotent representations of certain classical groups. In the case of general linear and unitary groups, our reduction methods then lead to results for arbitrary Lusztig series.


title: Evolving embodied intelligence from materials to machines

abstract: Natural lifeforms specialise to their environmental niches across many levels; from low-level features such as DNA and proteins, through to higher-level artefacts including eyes, limbs, and overarching body plans. We propose Multi-Level Evolution (MLE), a bottom-up automatic process that designs robots across multiple levels and niches them to tasks and environmental conditions. MLE concurrently explores constituent molecular and material 'building blocks', as well as their possible assemblies into specialised morphological and sensorimotor configurations. MLE provides a route to fully harness a recent explosion in available candidate materials and ongoing advances in rapid manufacturing processes. We outline a feasible MLE architecture that realises this vision, highlight the main roadblocks and how they may be overcome, and show robotic applications to which MLE is particularly suited. By forming a research agenda to stimulate discussion between researchers in related fields, we hope to inspire the pursuit of multi-level robotic design all the way from material to machine.


title: A Model-Independent Measurement of the Spatial Curvature using Cosmic Chronometers and the HII Hubble Diagram

abstract: We propose a model-independent way to determine the cosmic curvature using the Hubble parameter $H(z)$ measured with cosmic chronometers and the comoving distance $D(z)$ inferred from HII galaxies. We employ Gaussian processes to smooth the measure of distance and match it to $30$ values of $H(z)$. The curvature parameter $\Omega_k$ may be obtained individually for each such pair. The weighted average for the complete sample is $\Omega_k=-0.0013\pm0.0004$, suggesting a bias towards negative values. The accuracy of the curvature measurement improves with increased redshift, however, given possible systematic effects associated with local inhomogeneities. We therefore also analyze a high-redshift ($z>1.5$) sub-sample on its own, which is more likely to reflect the geometry of the Universe on large, smooth scales. We find for this set of data that $\Omega_k=-0.0111\pm0.0416$, consistent with zero to better than $1\sigma$. This result is in agreement with the spatially flat universe inferred from the cosmic microwave background observations. We expect this method to yield even tighter constraints on the curvature parameter with future, more accurate observations of HII galaxies at high $z$.


title: Interference between independent photonic integrated devices for quantum key distribution

abstract: Advances in quantum computing are a rapidly growing threat towards modern cryptography. Quantum key distribution (QKD) provides long-term security without assuming the computational power of an adversary. However, inconsistencies between theory and experiment have raised questions in terms of real-world security, while large and power-hungry commercial systems have slowed wide-scale adoption. Measurement-device-independent QKD (MDI-QKD) provides a method of sharing secret keys that removes all possible detector side-channel attacks which drastically improves security claims. In this letter, we experimentally demonstrate a key step required to perform MDI-QKD with scalable integrated devices. We show Hong-Ou-Mandel interference between weak coherent states carved from two independent indium phosphide transmitters at $431$ MHz with a visibility of $46.5 \pm 0.8\%$. This work demonstrates the feasibility of using integrated devices to lower a major barrier towards adoption of QKD in metropolitan networks.


title: Hong-Ou-Mandel interference between independent III-V on silicon waveguide integrated lasers

abstract: The versatility of silicon photonic integrated circuits has led to a widespread usage of this platform for quantum information based applications, including Quantum Key Distribution (QKD). However, the integration of simple high repetition rate photon sources is yet to be achieved. The use of weak-coherent pulses (WCPs) could represent a viable solution. For example, Measurement Device Independent QKD (MDI-QKD) envisions the use of WCPs to distill a secret key immune to detector side channel attacks at large distances. Thus, the integration of III-V lasers on silicon waveguides is an interesting prospect for quantum photonics. Here, we report the experimental observation of Hong-Ou-Mandel interference with 46\pm 2% visibility between WCPs generated by two independent III-V on silicon waveguide integrated lasers. This quantum interference effect is at the heart of many applications, including MDI-QKD. Our work represents a substantial first step towards an implementation of MDI-QKD fully integrated in silicon, and could be beneficial for other applications such as standard QKD and novel quantum communication protocols.


title: Efficient Matrix Profile Computation Using Different Distance Functions

abstract: Matrix profile has been recently proposed as a promising technique to the problem of all-pairs-similarity search on time series. Efficient algorithms have been proposed for computing it, e.g., STAMP, STOMP and SCRIMP++. All these algorithms use the z-normalized Euclidean distance to measure the distance between subsequences. However, as we observed, for some datasets other Euclidean measurements are more useful for knowledge discovery from time series. In this paper, we propose efficient algorithms for computing matrix profile for a general class of Euclidean distances. We first propose a simple but efficient algorithm called AAMP for computing matrix profile with the "pure" (non-normalized) Euclidean distance. Then, we extend our algorithm for the p-norm distance. We also propose an algorithm, called ACAMP, that uses the same principle as AAMP, but for the case of z-normalized Euclidean distance. We implemented our algorithms, and evaluated their performance through experimentation. The experiments show excellent performance results. For example, they show that AAMP is very efficient for computing matrix profile for non-normalized Euclidean distances. The results also show that the ACAMP algorithm is significantly faster than SCRIMP++ (the state of the art matrix profile algorithm) for the case of z-normalized Euclidean distance.


title: Linear response theory for quantum Gaussian processes

abstract: Fluctuation dissipation theorems connect the linear response of a physical system to a perturbation to the steady-state correlation functions. Until now, most of these theorems have been derived for finite-dimensional systems. However, many relevant physical processes are described by systems of infinite dimension in the Gaussian regime. In this work, we find a linear response theory for quantum Gaussian systems subject to time dependent Gaussian channels. In particular, we establish a fluctuation dissipation theorem for the covariance matrix that connects its linear response at any time to the steady state two-time correlations. The theorem covers non-equilibrium scenarios as it does not require the steady state to be at thermal equilibrium. We further show how our results simplify the study of Gaussian systems subject to a time dependent Lindbladian master equation. Finally, we illustrate the usage of our new scheme through some examples. Due to broad generality of the Gaussian formalism, we expect our results to find an application in many physical platforms, such as opto-mechanical systems in the presence of external noise or driven quantum heat devices.


title: Telescopic groups and symmetries of combinatorial maps

abstract: In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This enhances the already known results by Frucht, Cori -- Mach\`i, \v{S}ir\'{a}\v{n} -- \v{S}koviera, and other authors. We also provide a more universal technique for showing that ``any finite automorphism group is possible'', that is applicable to wider classes or, in contrast, to more particular sub-classes of said combinatorial and geometric objects. Finally, we show that any given finite automorphism group can be realised by sufficiently many non-isomorphic such entities (super-exponentially many with respect to a certain combinatorial complexity measure).


title: Compositional analysis of laser produced plasma plume in front and back ablation geometries

abstract: Composition analysis of LiF-C thin film for neutral and ionic contributions in Front Ablation (FA) and Back Ablation (BA) geometries in vacuum and 2\times10-1 mbar argon has been done. Temporal evolution of ionic to neutral ratio and neutral abundance for both the geometries has been estimated. For neutral abundance, two approaches viz Atomic Data and Analysis Structure (ADAS) analysis as well as integrated intensity ratio of Li I 670.1 nm and Li I 610.3 nm lines assuming LTE conditions are explored. The present attempt will be interesting from the view point of understanding the evolution of plasma composition in various geometries/configurations of laser ablation which has important implications in various applications e.g. pulsed laser deposition and laser cleaning.


title: CBA: Contextual Quality Adaptation for Adaptive Bitrate Video Streaming (Extended Version)

abstract: Recent advances in quality adaptation algorithms leave adaptive bitrate (ABR) streaming architectures at a crossroads: When determining the sustainable video quality one may either rely on the information gathered at the client vantage point or on server and network assistance. The fundamental problem here is to determine how valuable either information is for the adaptation decision. This problem becomes particularly hard in future Internet settings such as Named Data Networking (NDN) where the notion of a network connection does not exist. In this paper, we provide a fresh view on ABR quality adaptation for QoE maximization, which we formalize as a decision problem under uncertainty, and for which we contribute a sparse Bayesian contextual bandit algorithm denoted CBA. This allows taking high-dimensional streaming context information, including client-measured variables and network assistance, to find online the most valuable information for the quality adaptation. Since sparse Bayesian estimation is computationally expensive, we develop a fast new inference scheme to support online video adaptation. We perform an extensive evaluation of our adaptation algorithm in the particularly challenging setting of NDN, where we use an emulation testbed to demonstrate the efficacy of CBA compared to state-of-the-art algorithms.


title: $\mathbb{E}_\infty$ automorphisms of motivic Morava $E$-theories

abstract: We apply Goerss--Hopkins obstruction theory for motivic spectra to study the motivic Morava $E$-theories. We find that they always admit $\mathbb{E}_\infty$ structures, but that these may admit "exotic" $\mathbb{E}_\infty$ automorphisms not coming from the usual Morava stabilizer group.


title: Non-Equilibrium Uptake Kinetics of Molecular Cargo into Hollow Hydrogels Tuned by Electrosteric Interactions

abstract: In this work, we use a combination of a phenomenological effective cosolute-hydrogel interaction potential and Dynamic Density Functional Theory to investigate the full non-equilibrium encapsulation kinetics of charged and dipolar cosolutes by an isolated charged hollow hydrogel immersed in a 1:1 electrolyte aqueous solution. Our analysis covers a broad spectrum of cosolute valences z_c and electric dipole moments mu_c, as well as hydrogel swelling states and hydrogel charge densities. Our calculations show that, close to the collapsed state, the polar cosolutes are predominantly precluded and the encapsulation process is strongly hindered by the excluded-volume interaction exerted by the polymer network. Different equilibrium and kinetic sorption regimes (interface versus interior) are found depending on the value and sign of z_c and the value of mu_c. For cosolutes of the same sign of charge as the gel, the superposition of steric and electrostatic repulsion leads to an "interaction-controlled" encapsulation process, in which the characteristic time to fill the empty core of the hydrogel grows exponentially with z_c. On the other hand, for cosolutes oppositely charged to the gel, we find a "diffusion-controlled" kinetic regime, where cosolutes tend to rapidly absorb into the hydrogel membrane and the encapsulation rate only depends on the cosolute diffusion time across the membrane. Finally, we find that increasing mu_c promotes the appearance of metastable and stable surface adsorption states. For large enough mu_c, the kinetics enters a "adsorption-hindered diffusion", where the enhanced surface adsorption imposes a barrier and slows down the uptake.


title: Uncertainty relations for underdamped Langevin dynamics

abstract: A trade-off between the precision of an arbitrary current and the dissipation, known as the thermodynamic uncertainty relation, has been investigated for various Markovian systems. Here, we study the thermodynamic uncertainty relation for underdamped Langevin dynamics. By employing information inequalities, we prove that, for such systems, the relative fluctuation of a current at a steady state is constrained by both the entropy production and the average dynamical activity. We find that, unlike what is the case for overdamped dynamics, the dynamical activity plays an important role in the bound. We illustrate our results with two systems, a single-well potential system and a periodically driven Brownian particle model, and numerically verify the inequalities.


title: Competing Universalities in Kardar-Parisi-Zhang (KPZ) Growth Models

abstract: We report on the universality of height fluctuations at the crossing point of two interacting (1+1)-dimensional Kardar-Parisi-Zhang (KPZ) interfaces with curved and flat initial conditions. We introduce a control parameter p as the probability for the initially flat geometry to be chosen and compute the phase diagram as a function of p. We find that the distribution of the fluctuations converges to the Gaussian orthogonal ensemble Tracy-Widom (TW) distribution for p<0.5, and to the Gaussian unitary ensemble TW distribution for p>0.5. For p=0.5 where the two geometries are equally weighted, the behavior is governed by an emergent Gaussian statistics in the universality class of Brownian motion. We propose a phenomenological theory to explain our findings and discuss possible applications in nonequilibrium transport and traffic flow.


title: How to Place Your Apps in the Fog -- State of the Art and Open Challenges

abstract: Fog computing aims at extending the Cloud towards the IoT so to achieve improved QoS and to empower latency-sensitive and bandwidth-hungry applications. The Fog calls for novel models and algorithms to distribute multi-service applications in such a way that data processing occurs wherever it is best-placed, based on both functional and non-functional requirements. This survey reviews the existing methodologies to solve the application placement problem in the Fog, while pursuing three main objectives. First, it offers a comprehensive overview on the currently employed algorithms, on the availability of open-source prototypes, and on the size of test use cases. Second, it classifies the literature based on the application and Fog infrastructure characteristics that are captured by available models, with a focus on the considered constraints and the optimised metrics. Finally, it identifies some open challenges in application placement in the Fog.


title: Computation of products of phase space factors and nuclear matrix elements for the Double Beta Decay

abstract: The nuclear matrix elements (NME) and phase space factors (PSF) entering the half-life formulas of the double-beta decay (DBD) process are two key quantities whose accurate computation still represents a challenge. In this paper we propose a new approach of calculating them, namely to compute directly their product as an unique formula. This procedure allows a more coherent treatment of the nuclear approximations and input parameters appearing in both quantities and avoids possible confusion in interpreting the DBD data due to different individual expressions adopted for PSF and NME (and consequently their reporting in different units) by different authors. Our calculations are performed for both two neutrino ($2\nu\beta\beta$) and neutrinoless ($0\nu\beta\beta$) decay modes, and for five nuclei of most experimental interest. Further, using the most recent experimental limits for $0\nu\beta\beta$ decay half-lives, we provide new constraints on the light mass neutrino parameter. Finally, by separating in the half-lives formulas the factor representing the axial-vector constant to the forth, we advance suggestions on how to reduce the errors introduced in calculation by the uncertain value of this constant by exploiting the DBD data from different isotopes and/or decay modes.


title: AI Coding: Learning to Construct Error Correction Codes

abstract: In this paper, we investigate an artificial-intelligence (AI) driven approach to design error correction codes (ECC). Classic error correction code was designed upon coding theory that typically defines code properties (e.g., hamming distance, subchannel reliability, etc.) to reflect code performance. Its code design is to optimize code properties. However, an AI-driven approach doesn't necessarily rely on coding theory any longer. Specifically, we propose a constructor-evaluator framework, in which the code constructor is realized by AI algorithms and the code evaluator provides code performance metric measurements. The code constructor keeps improving the code construction to maximize code performance that is evaluated by the code evaluator. As examples, we construct linear block codes and polar codes with reinforcement learning (RL) and evolutionary algorithms. The results show that comparable code performance can be achieved with respect to the existing codes. It is noteworthy that our method can provide superior performances where existing classic constructions fail to achieve optimum for a specific decoder (e.g., list decoding for polar codes).


title: Electromagnetic surface waves guided by the planar interface of isotropic chiral materials

abstract: The propagation of electromagnetic surface waves guided by the planar interface of two isotropic chiral materials, namely materials $\calA$ and $\calB$, was investigated by numerically solving the associated canonical boundary-value problem. Isotropic chiral material $\calB$ was modeled as a homogenized composite material, arising from the homogenization of an isotropic chiral component material and an isotropic achiral, nonmagnetic, component material characterized by the relative permittivity $\eps_a^\calB$. Changes in the nature of the surface waves were explored as the volume fraction $f_a^\calB$ of the achiral component material varied. Surface waves are supported only for certain ranges of $f_a^\calB$; within these ranges only one surface wave, characterized by its relative wavenumber $q$, is supported at each value of $f_a^\calB$. For $\mbox{Re} \lec \eps_a^\calB \ric > 0 $, as $\left| \mbox{Im} \lec \eps_a^\calB \ric \right|$ increases surface waves are supported for larger ranges of $f_a^\calB$ and $\left| \mbox{Im} \lec q \ric \right|$ for these surface waves increases. For $\mbox{Re} \lec \eps_a^\calB \ric < 0 $, as $ \mbox{Im} \lec \eps_a^\calB \ric $ increases the ranges of $f_a^\calB$ that support surface-wave propagation are almost unchanged but $ \mbox{Im} \lec q \ric $ for these surface waves decreases. The surface waves supported when $\mbox{Re} \lec \eps_a^\calB \ric < 0 $ may be regarded as akin to surface-plasmon-polariton waves, but those supported for when $\mbox{Re} \lec \eps_a^\calB \ric > 0 $ may not.


title: A Relation Between Weight Enumerating Function and Number of Full Rank Sub-matrices

abstract: In most of the network coding problems with $k$ messages, the existence of binary network coding solution over $\mathbb{F}_2$ depends on the existence of adequate sets of $k$-dimensional binary vectors such that each set comprises of linearly independent vectors. In a given $k \times n$ ($n \geq k$) binary matrix, there exist ${n}\choose{k}$ binary sub-matrices of size $k \times k$. Every possible $k \times k$ sub-matrix may be of full rank or singular depending on the columns present in the matrix. In this work, for full rank binary matrix $\mathbf{G}$ of size $k \times n$ satisfying certain condition on minimum Hamming weight, we establish a relation between the number of full rank sub-matrices of size $k \times k$ and the weight enumerating function of the error correcting code with $\mathbf{G}$ as the generator matrix. We give an algorithm to compute the number of full rank $k \times k$ submatrices.


title: Prediction of the 2019 IHF World Men's Handball Championship - An underdispersed sparse count data regression model

abstract: In this work, we compare several different modeling approaches for count data applied to the scores of handball matches with regard to their predictive performances based on all matches from the four previous IHF World Men's Handball Championships 2011 - 2017: (underdispersed) Poisson regression models, Gaussian response models and negative binomial models. All models are based on the teams' covariate information. Within this comparison, the Gaussian response model turns out to be the best-performing prediction method on the training data and is, therefore, chosen as the final model. Based on its estimates, the IHF World Men's Handball Championship 2019 is simulated repeatedly and winning probabilities are obtained for all teams. The model clearly favors Denmark before France. Additionally, we provide survival probabilities for all teams and at all tournament stages as well as probabilities for all teams to qualify for the main round.


title: Ergodicity and type of nonsingular Bernoulli actions

abstract: We determine the Krieger type of nonsingular Bernoulli actions $G \curvearrowright \prod_{g \in G} (\{0,1\},\mu_g)$. When $G$ is abelian, we do this for arbitrary marginal measures $\mu_g$. We prove in particular that the action is never of type II$_\infty$ if $G$ is abelian and not locally finite, answering Krengel's question for $G = \mathbb{Z}$. When $G$ is locally finite, we prove that type II$_\infty$ does arise. For arbitrary countable groups, we assume that the marginal measures stay away from $0$ and $1$. When $G$ has only one end, we prove that the Krieger type is always I, II$_1$ or III$_1$. When $G$ has more than one end, we show that other types always arise. Finally, we solve the conjecture of [VW17] by proving that a group $G$ admits a Bernoulli action of type III$_1$ if and only if $G$ has nontrivial first $L^2$-cohomology.


title: Direct Assembly of Magnetic Janus Particles at a Droplet Interface

abstract: Self-assembly of nanoparticles at fluid-fluid interfaces is a promising route to fabricate functional materials from the bottom-up. However, directing and controlling particles into highly tunable and predictable structures -- while essential -- is a challenge. We present a liquid interface assisted approach to fabricate nanoparticle structures with tunable properties. To demonstrate its feasibility, we study magnetic Janus particles adsorbed at the interface of a spherical droplet placed on a substrate. With an external magnetic field turned on, a single particle moves to the location where its position vector relative to the droplet centre is parallel to the direction of the applied field. Multiple magnetic Janus particles arrange into reconfigurable hexagonal lattice structures and can be directed to assemble at desirable locations on the droplet interface by simply varying the magnetic field direction. We develop an interface energy model to explain our observations, finding excellent agreement. Finally, we demonstrate that the external magnetic field allows \revisedtext{one} to tune the particle deposition pattern obtained when the droplet evaporates. Our results have implications for the fabrication of varied nanostructures on substrates for use in nanodevices, organic electronics, or advanced display, printing and coating applications.


title: Theoretical and numerical studies for energy estimates of the shallow water equations with a transmission boundary condition

abstract: Energy estimates of the shallow water equations (SWEs) with a transmission boundary condition are studied theoretically and numerically. In the theoretical part, using a suitable energy, we begin with deriving an equality which implies an energy estimate of the SWEs with the Dirichlet and the slip boundary conditions. For the SWEs with a transmission boundary condition, an inequality for the energy estimate is proved under some assumptions to be satisfied in practical computation. Hence, it is recognized that the transmission boundary condition is reasonable in the sense that the inequality holds true. In the numerical part, based on the theoretical results, the energy estimate of the SWEs with a transmission boundary condition is confirmed numerically by a finite difference method (FDM). The choice of a positive constant c0 used in the transmission boundary condition is investigated additionally. Furthermore, we present numerical results by a Lagrange-Galerkin scheme, which are similar to those by the FDM. From the numerical results, it is found that the transmission boundary condition works well numerically.


title: Complementarity-Preserving Fracture Morphology for Archaeological Fragments

abstract: We propose to employ scale spaces of mathematical morphology to hierarchically simplify fracture surfaces of complementarity fitting archaeological fragments. This representation preserves complementarity and is insensitive to different kinds of abrasion affecting the exact fitting of the original fragments. We present a pipeline for morphologically simplifying fracture surfaces, based on their Lipschitz nature; its core is a new embedding of fracture surfaces to simultaneously compute both closing and opening morphological operations, using distance transforms.


title: Sparse Non-Negative Recovery from Biased Subgaussian Measurements using NNLS

abstract: We investigate non-negative least squares (NNLS) for the recovery of sparse non-negative vectors from noisy linear and biased measurements. We build upon recent results from [1] showing that for matrices whose row-span intersects the positive orthant, the nullspace property (NSP) implies compressed sensing recovery guarantees for NNLS. Such results are as good as for $\ell_1$-regularized estimators but do not require tuning parameters that depend on the noise level. A bias in the sensing matrix improves this auto-regularization feature of NNLS and the NSP then determines the sparse recovery performance only. We show that NSP holds with high probability for biased subgaussian matrices and its quality is independent of the bias.


title: Surface coating with oxide layers to enhance the spin properties of shallow NV centers in diamond

abstract: We present an enhancement of spin properties of the shallow (<5nm) NV centers by using ALD to deposit titanium oxide layer on the diamond surface. With the oxide layer of an appropriate thickness, increases about 2 up to 3.5 times of both relaxation time and evolution time were achieved and the shallow NV center charge states stabilized as well. Moreover, the coherence time kept almost unchanged. This surface coating technique could produce a protective coating layer of controllable thickness without any damages to the solid quantum system surface, making it possible to prolong T1 time and T2* time, which would be a possible approach to the further packaging technique for the applicating solid quantum devices.


title: Precipitation during high temperature aging of Al-Cu alloys: a multiscale analysis based on first principles calculations

abstract: Precipitation during high temperature aging of Al-Cu alloys is analyzed by means of the integration of classical nucleation theory and phase-field simulations into a multiscale modelling approach based on well-established thermodynamics principles. In particular, thermal stability of ${\theta}''$, ${\theta}'$ and ${\theta}$ precipitates was assessed from first principles calculations of the Helmholtz free energy while homogeneous and heterogeneous nucleation of ${\theta}''$ and ${\theta}'$ was analysed using classical nucleation theory. Precipitate growth was finally computed by means of mesoscopic phase-field model. The model parameters that determine quantitatively the driving forces for each transformation were obtained by means of first principles calculations and computational thermodynamics. The predictions of the models were in good agreement with experimental results and provided a comprehensive understanding of the precipitation pathway in Al-Cu alloys. It is envisaged that the strategy presented in this investigation can be used in the future to design optimum microstructures based on the information of the different energy contributions obtained from first principles calculations.


title: Restrictions on endomorphism rings of jacobians and their minimal fields of definition

abstract: Zarhin has extensively studied restrictions placed on the endomorphism algebras of Jacobians $J$ for which the Galois group associated to their 2-torsion is insoluble and 'large' (relative to the dimension of $J$). In this paper we examine what happens when this Galois group merely contains an element of 'large' prime order. In doing so we obtain a partial converse to a result by Guralnick and Kedlaya on the endomorphism field.


title: A Tale of Two Categories: Inductive groupoids and Cross-connections

abstract: A groupoid is a small category in which all morphisms are isomorphisms. An inductive groupoid is a specialised groupoid whose object set is a regular biordered set and the morphisms admit a partial order. A normal category is a specialised small category whose object set is a strict preorder and the morphisms admit a factorisation property. A pair of `related' normal categories constitutes a cross-connection. Both inductive groupoids and cross-connections were identified by Nambooripad \cite{mem,cross} as categorical models of regular semigroups. We explore the inter-relationship between these seemingly different categorical structures and prove a direct category equivalence between the category of inductive groupoids and the category of cross-connections.


title: On Coded Caching with Correlated Files

abstract: This paper studies the fundamental limits of the shared-link coded caching problem with correlated files, where a server with a library of $N$ files communicates with $K$ users who can locally cache $M$ files. Given an integer $r \in [N]$, correlation is modeled as follows: each r-subset of files contains a unique common block. The tradeoff between the cache size and the average transmitted load is considered. First, a converse bound under the constraint of uncoded cache placement (i.e., each user directly stores a subset of the library bits) is derived. Then, a caching scheme for the case where every user demands a distinct file (possible for $N \geq K$) is shown to be optimal under the constraint of uncoded cache placement. This caching scheme is further proved to be decodable and optimal under the constraint of uncoded cache placement when (i) $KrM \leq 2N$ or $KrM \geq (K - 1)N $or $r \in \{1,2,N- 1,N\}$ for every demand type (i.e., when the demanded file are not necessarily distinct), and (ii) when the number of distinct demanded files is no larger than four. Finally, a two-phase delivery scheme based on interference alignment is shown to be optimal to within a factor of 2 under the constraint of uncoded cache placement for every possible demands. As a by-product, the proposed interference alignment scheme is shown to reduce the (worst-case or average) load of state-of-the-art schemes for the coded caching problem where the users can request multiple files.


title: Multiple Sclerosis Lesion Synthesis in MRI using an encoder-decoder U-NET

abstract: In this paper, we propose generating synthetic multiple sclerosis (MS) lesions on MRI images with the final aim to improve the performance of supervised machine learning algorithms, therefore avoiding the problem of the lack of available ground truth. We propose a two-input two-output fully convolutional neural network model for MS lesion synthesis in MRI images. The lesion information is encoded as discrete binary intensity level masks passed to the model and stacked with the input images. The model is trained end-to-end without the need for manually annotating the lesions in the training set. We then perform the generation of synthetic lesions on healthy images via registration of patient images, which are subsequently used for data augmentation to increase the performance for supervised MS lesion detection algorithms. Our pipeline is evaluated on MS patient data from an in-house clinical dataset and the public ISBI2015 challenge dataset. The evaluation is based on measuring the similarities between the real and the synthetic images as well as in terms of lesion detection performance by segmenting both the original and synthetic images individually using a state-of-the-art segmentation framework. We also demonstrate the usage of synthetic MS lesions generated on healthy images as data augmentation. We analyze a scenario of limited training data (one-image training) to demonstrate the effect of the data augmentation on both datasets. Our results significantly show the effectiveness of the usage of synthetic MS lesion images. For the ISBI2015 challenge, our one-image model trained using only a single image plus the synthetic data augmentation strategy showed a performance similar to that of other CNN methods that were fully trained using the entire training set, yielding a comparable human expert rater performance


title: Decoupling of Two Closely Located Dipoles by a Single Passive Scatterer for Ultra-High Field MRI

abstract: We report decoupling of two closely located resonant dipole antennas dedicated for ultra-high field magnetic resonance imaging (MRI). We show that a scatterer slightly raised over the plane of antennas grants a sufficient decoupling even for antennas separated by very small gap (below 1/30 of the wavelength). We compare the operation of two decoupling scatterers. One of them is a shortcut resonant dipole and another is a split-loop resonator (SLR). Previously, we have shown that the SLR offers a wider operational band than the dipole and the same level of decoupling. However, it was so for an array in free space. The presence of the body phantom drastically changes the decoupling conditions. Moreover, the requirement to minimize the parasitic scattering from the decoupling element into the body makes the decoupling dipole much more advantageous compared to the SLR.


title: Effective metric in fluid-gravity duality through parallel transport: a proposal

abstract: The incompressible Navier-Stokes (NS) equation is known to govern the hydrodynamic limit of essentially any fluid and its rich non-linear structure has critical implications in both mathematics and physics. The employability of the methods of Riemannian geometry to the study of hydrodynamical flows has been previously explored from a purely mathematical perspective. In this work, we propose a bulk metric in $(p+2)$-dimensions with the construction being such that the induced metric is flat on a timelike $r = r_c$ (constant) slice. We then show that the equations of {\it parallel transport} for an appropriately defined bulk velocity vector field along its own direction on this manifold when projected onto the flat timelike hypersurface requires the satisfaction of the incompressible NS equation in $(p+1)$-dimensions. Additionally, the incompressibility condition of the fluid arises from a vanishing expansion parameter $\theta$, which is known to govern the convergence (or divergence) of a congruence of arbitrary timelike curves on a given manifold. In this approach Einstein's equations do not play any role and this can be regarded as an {\it off-shell} description of fluid-gravity correspondence. We argue that {\it our metric effectively encapsulates the information of forcing terms in the governing equations as if a free fluid is parallel transported on this curved background}. We finally discuss the implications of this interesting observation and its potentiality in helping us to understand hydrodynamical flows in a probable new setting.

categories: hep-th gr-qc math-ph math.MP physics.flu-dyn


title: The Light-Trap: A novel concept for a large SiPM-based pixel for Very High Energy gamma-ray astronomy and beyond

abstract: Among the main disadvantages of using silicon photomultipliers (SiPMs) in large experiments are their limited physical area (increasing the cost and the complexity of the readout of a camera) and their sensitivity to unwanted wavelengths. This explains why photomultiplier tubes (PMTs) are still selected for the largest cameras of present and future Very High Energy (VHE) gamma-ray telescopes. These telescopes require photosensors that are sensitive to the fast and dim optical/near-UV Cherenkov radiation emitted due to the interaction of gamma rays with the atmosphere. Here we introduce a low-cost pixel consisting of a SiPM attached to a PMMA disk doped with a wavelength-shifting material, which collects light over a much larger area than standard SiPMs, increases sensitivity to near-UV light and improves background rejection. We also show the measurements performed in the laboratory with a proof-of-concept \textit{Light-Trap} pixel that is equipped with a 3$\times$3~mm$^2$ SiPM collecting light only in the 300-400~nm band, covering an area $\sim$20 times larger than that of the same SiPM itself. We also present results from simulations performed with Geant4 to evaluate its performance. In addition to VHE astronomy, this pixel could have other applications in fields where detection area and cost are critical.


title: Genetic Algorithms and the Traveling Salesman Problem a historical Review

abstract: In this paper a highly abstracted view on the historical development of Genetic Algorithms for the Traveling Salesman Problem is given. In a meta-data analysis three phases in the development can be distinguished. First exponential growth in interest till 1996 can be observed, growth stays linear till 2011 and after that publications deteriorate. These three phases are examined and the major milestones are presented. Lastly an outlook to future work in this field is infered.


title: On the Finite Element Implementation of Functionally Graded Materials

abstract: We investigate the numerical implementation of functionally graded properties in the context of the finite element method. The macroscopic variation of elastic properties inherent to functionally graded materials (FGMs) is introduced at the element level by means of the two most commonly used schemes: (i) nodal based gradation, often via an auxiliary (non-physical) temperature-dependence, and (ii) Gauss integration point based gradation. These formulations are extensively compared by solving a number of paradigmatic boundary value problems for which analytical solutions can be obtained. The nature of the notable differences revealed by the results is investigated in detail. We provide a user subroutine for the finite element package ABAQUS to overcome the limitations of the most popular approach for implementing FGMs in commercial software. The use of reliable, element-based formulations to define the material property variation could be key in fracture assessment of FGMs and other non-homogeneous materials.


title: $K$-sample omnibus non-proportional hazards tests based on right-censored data

abstract: This work presents novel and powerful tests for comparing non-proportional hazard functions, based on sample-space partitions. Right censoring introduces two major difficulties which make the existing sample-space partition tests for uncensored data non-applicable: (i) the actual event times of censored observations are unknown; and (ii) the standard permutation procedure is invalid in case the censoring distributions of the groups are unequal. We overcome these two obstacles, introduce invariant tests, and prove their consistency. Extensive simulations reveal that under non-proportional alternatives, the proposed tests are often of higher power compared with existing popular tests for non-proportional hazards. Efficient implementation of our tests is available in the R package KONPsurv, which can be freely downloaded from {https://github.com/matan-schles/KONPsurv


title: Large Q factor with very small Whispering Gallery Modes resonators

abstract: Efficient micro-resonators simultaneously require a large quality factor $Q$ and a small volume $V$. However, the former is ultimately limited by bending losses, the unavoidable radiation of energy of a wave upon changing direction of propagation. Such bending losses increase exponentially as $V$ decreases and eventually result in a drop of $Q$. Therefore, circular cavities are generally designed with radii that are much larger than the optical wavelength. The same leakage of energy by radiation limits the sharpness of bends in photonic integrated circuits. In this article, we present a way to reduce bending losses in circular micro-resonators. The proposed scheme consists of one or more external dielectric rings that are concentric with the cavity. These rings alter the field outside the cavity where radial oscillations set in, and thus control the far field radiation. As a result, the $Q$ factor can be increased by several orders of magnitude while keeping a small cavity volume.


title: RepChain: A Reputation-based Secure, Fast and High Incentive Blockchain System via Sharding

abstract: In today's blockchain system, designing a secure and high throughput blockchain on par with a centralized payment system is a difficult task. Sharding is one of the most worthwhile emerging technologies for improving the system throughput while maintain high security level. However, previous sharding related designs have two main limitations: Firstly, the throughput of their random-based sharding system is not high enough as they did not leverage the heterogeneity among validators. Secondly, to design an incentive mechanism to promote cooperation could incur a huge overhead on their system. In this paper, we propose RepChain, a reputation-based secure and fast blockchain system via sharding, which also provides high incentive to stimulate node cooperation. RepChain utilizes reputation to explicitly characterize the heterogeneity among the validators and lay the foundation for the incentive mechanism. We propose a new double-chain architecture which includes transaction chain and reputation chain. For transaction chain, a Raft-based synchronous consensus that can achieve high throughput has been presented. For reputation chain, the synchronous Byzantine fault tolerance that combines collective signing has been utilized to achieve a consensus on both reputation score and the related transaction blocks. It supports a high throughput transaction chain with moderate generation speed. Moreover, we propose a reputation-based sharding and leader selection scheme. To analyze the security of RepChain, we propose a recursive formula to calculate the epoch security within only O(km^2) time. Furthermore, we implement and evaluate RepChain on the Amazon Web Service platform. The results show our solution can enhance both throughout and security level of the existing sharding-based blockchain system.


title: A Temporal Attentive Approach for Video-Based Pedestrian Attribute Recognition

abstract: In this paper, we first tackle the problem of pedestrian attribute recognition by video-based approach. The challenge mainly lies in spatial and temporal modeling and how to integrating them for effective and dynamic pedestrian representation. To solve this problem, a novel multi-task model based on the conventional neural network and temporal attention strategy is proposed. Since publicly available dataset is rare, two new large-scale video datasets with expanded attribute definition are presented, on which the effectiveness of both video-based pedestrian attribute recognition methods and the proposed new network architecture is well demonstrated. The two datasets are published on http://irip.buaa.edu.cn/mars_duke_attributes/index.html.


title: Unsupervised Graph-based Rank Aggregation for Improved Retrieval

abstract: This paper presents a robust and comprehensive graph-based rank aggregation approach, used to combine results of isolated ranker models in retrieval tasks. The method follows an unsupervised scheme, which is independent of how the isolated ranks are formulated. Our approach is able to combine arbitrary models, defined in terms of different ranking criteria, such as those based on textual, image or hybrid content representations. We reformulate the ad-hoc retrieval problem as a document retrieval based on fusion graphs, which we propose as a new unified representation model capable of merging multiple ranks and expressing inter-relationships of retrieval results automatically. By doing so, we claim that the retrieval system can benefit from learning the manifold structure of datasets, thus leading to more effective results. Another contribution is that our graph-based aggregation formulation, unlike existing approaches, allows for encapsulating contextual information encoded from multiple ranks, which can be directly used for ranking, without further computations and post-processing steps over the graphs. Based on the graphs, a novel similarity retrieval score is formulated using an efficient computation of minimum common subgraphs. Finally, another benefit over existing approaches is the absence of hyperparameters. A comprehensive experimental evaluation was conducted considering diverse well-known public datasets, composed of textual, image, and multimodal documents. Performed experiments demonstrate that our method reaches top performance, yielding better effectiveness scores than state-of-the-art baseline methods and promoting large gains over the rankers being fused, thus demonstrating the successful capability of the proposal in representing queries based on a unified graph-based model of rank fusions.


title: The Oracle of DLphi

abstract: We present a novel technique based on deep learning and set theory which yields exceptional classification and prediction results. Having access to a sufficiently large amount of labelled training data, our methodology is capable of predicting the labels of the test data almost always even if the training data is entirely unrelated to the test data. In other words, we prove in a specific setting that as long as one has access to enough data points, the quality of the data is irrelevant.


title: Model-independent observation of exotic contributions to $B^0\to J/\psi K^+\pi^-$ decays

abstract: An angular analysis of $B^0\to J/\psi K^+\pi^-$ decays is performed, using proton-proton collision data corresponding to an integrated luminosity of 3~${\rm fb}^{-1}$ collected with the LHCb detector. The $m(K^+\pi^-)$ spectrum is divided into fine bins. In each $m(K^+\pi^-)$ bin, the hypothesis that the three-dimensional angular distribution can be described by structures induced only by $K^\ast$ resonances is examined, making minimal assumptions about the $K^+\pi^-$ system. The data reject the $K^\ast$-only hypothesis with a large significance, implying the observation of exotic contributions in a model-independent fashion. Inspection of the $m(J/\psi\pi^-)$ versus $m(K^+\pi^-)$ plane suggests structures near $m(J/\psi\pi^-)=4200$~MeV and 4600~MeV.


title: On Howland time-independent formulation of CP-divisible quantum evolutions

abstract: We extend Howland time-independent formalism to the case of completely positive and trace preserving dynamics of finite dimensional open quantum systems governed by periodic, time dependent Lindbladian in Weak Coupling Limit, expanding our result from previous papers. We propose the Bochner space of periodic, square integrable matrix valued functions, as well as its tensor product representation, as the generalized space of states within the time-independent formalism. We examine some densely defined operators on this space, together with their Fourier-like expansions and address some problems related to their convergence by employing general results on Banach-space valued Fourier series, such as the generalized Carleson-Hunt theorem. We formulate Markovian dynamics in the generalized space of states by constructing appropriate time-independent Lindbladian in standard (Lindblad-Gorini-Kossakowski-Sudarshan) form, as well as one-parameter semigroup of bounded evolution maps. We show their similarity with Markovian generators and dynamical maps defined on matrix space, i.e. the generator still possesses a standard form (extended by closed perturbation) and the resulting semigroup is also completely positive, trace preserving and a contraction.


title: On Multi-Cell Uplink-Downlink Duality with Treating Inter-Cell Interference as Noise

abstract: We consider the information-theoretic optimality of treating inter-cell interference as noise in downlink cellular networks modeled as Gaussian interfering broadcast channels. Establishing a new uplink-downlink duality, we cast the problem in Gaussian interfering broadcast channels to that in Gaussian interfering multiple access channels, and characterize an achievable GDoF region under power control and treating inter-cell interference as (Gaussian) noise. We then identify conditions under which this achievable GDoF region is optimal.


title: Message-Passing Neural Networks Learn Little's Law

abstract: The paper presents a solution to the problem of universal representation of graphs exemplifying communication network topologies with the help of neural networks. The proposed approach is based on message-passing neural networks (MPNN). The approach enables us to represent topologies and operational aspects of networks. The usefulness of the solution is illustrated with a case study of delay prediction in queuing networks. This shows that performance evaluation can be provided without having to apply complex modeling. In consequence, the proposed solution makes it possible to effectively apply methods elaborated in the field of machine learning in communications.


title: Hawking radiation for scalar fields by Einstein-Gauss-Bonnet-de Sitter black holes

abstract: We study the greybody factor and power spectra of Hawking radiation for the minimally or nonminimally coupled scalar field with exact numerical method in spherically symmetric Einstein-Gauss-Bonnet-de Sitter black hole spacetime. The effects of scalar coupling constant, angular momentum number of scalar, spacetime dimension, cosmological constant and Gauss-Bonnet coupling constant on the Hawking radiation are studied in detail. Specifically, the Gauss-Bonnet coupling constant always increases the greybody factor in the entire energy regime. Different from the case of Schwarzschild-de Sitter black hole, the effects of the scalar coupling constant on the greybody factor are not monotonic but relevant to the values of Gauss-Bonnet coupling constant. Moreover, both these two coupling constants always suppress the power spectra of Hawking radiation in the whole energy regime.


title: TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs

abstract: We present TaDA Live, a concurrent separation logic for reasoning compositionally about the termination of blocking fine-grained concurrent programs. The crucial challenge is how to deal with abstract atomic blocking: that is, abstract atomic operations that have blocking behaviour arising from busy-waiting patterns as found in, for example, fine-grained spin locks. Our fundamental innovation is with the design of abstract specifications that capture this blocking behaviour as liveness assumptions on the environment. We design a logic that can reason about the termination of clients which use such operations without breaking their abstraction boundaries, and the correctness of the implementations of the operations with respect to their abstract specifications. We introduce a novel semantic model using layered subjective obligations to express liveness invariants, and a proof system that is sound with respect to the model. The subtlety of our specifications and reasoning is illustrated using several case studies.


title: The Massless Nelson Hamiltonian and its Domain

abstract: In the theory of point interactions, one is given a formal expression for a quantum mechanical Hamiltonian. The interaction terms of the Hamiltonian are singular: they can not be rigorously defined as a perturbation (in the operator or form sense) of an unperturbed free operator. A similar situation occurs in Quantum Field Theory, where it is known as the ultraviolet problem. Recently, it was shown that some of the tools used in the context of point interactions can be adapted to solve the problem of directly defining a Hamiltonian for the Nelson model. This model provides a well studied example of a bosonic quantum field that is linearly coupled to nonrelativistic particles. The novel method employs so called abstract interior-boundary conditions to explicitly characterise the action and the domain of the Hamiltonian without the need for a renormalisation procedure. Here, for the first time, the method of interior-boundary conditions is applied to the massless Nelson model. Neither ultraviolet nor infrared cutoffs are needed.


title: Tractability of non-homogeneous tensor product problems in the worst case setting

abstract: We study multivariate linear tensor product problems with some special properties in the worst case setting. We consider algorithms that use finitely many continuous linear functionals. We use a unified method to investigate tractability of the above multivariate problems, and obtain necessary and sufficient conditions for strong polynomial tractability, polynomial tractability, quasi-polynomial tractability, uniformly weak tractability, $(s,t)$-weak tractability, and weak tractability. Our results can apply to multivariate approximation problems with kernels corresponding to Euler kernels, Wiener kernels, Korobov kernels, Gaussian kernels, and analytic Korobov kernels.


title: Spin transport parameters of NbN thin films characterised by spin pumping experiments

abstract: We present measurements of ferromagnetic-resonance - driven spin pumping and inverse spin-Hall effect in NbN/Y3Fe5O12 (YIG) bilayers. A clear enhancement of the (effective) Gilbert damping constant of the thin-film YIG was observed due to the presence of the NbN spin sink. By varying the NbN thickness and employing spin-diffusion theory, we have estimated the room temperature values of the spin diffusion length and the spin Hall angle in NbN to be 14 nm and -1.1 10-2, respectively. Furthermore, we have determined the spin-mixing conductance of the NbN/YIG interface to be 10 nm-2. The experimental quantification of these spin transport parameters is an important step towards the development of superconducting spintronic devices involving NbN thin films.


title: Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour

abstract: The use of Domain-Specific Languages (DSLs) is a promising field for the development of tools tailored to specific problem spaces, effectively diminishing the complexity of hand-made software. With the goal of making models as precise, simple and reusable as possible, we augment DSLs with concepts from multilevel modelling, where the number of abstraction levels are not limited. This is particularly useful for DSL definitions with behaviour, whose concepts inherently belong to different levels of abstraction. Here, models can represent the state of the modelled system and evolve using model transformations. These transformations can benefit from a multilevel setting, becoming a precise and reusable definition of the semantics for behavioural modelling languages. We present in this paper the concept of Multilevel Coupled Model Transformations, together with examples, formal definitions and tools to assess their conceptual soundness and practical value.


title: Voronoi-based Efficient Surrogate-assisted Evolutionary Algorithm for Very Expensive Problems

abstract: Very expensive problems are very common in practical system that one fitness evaluation costs several hours or even days. Surrogate assisted evolutionary algorithms (SAEAs) have been widely used to solve this crucial problem in the past decades. However, most studied SAEAs focus on solving problems with a budget of at least ten times of the dimension of problems which is unacceptable in many very expensive real-world problems. In this paper, we employ Voronoi diagram to boost the performance of SAEAs and propose a novel framework named Voronoi-based efficient surrogate assisted evolutionary algorithm (VESAEA) for very expensive problems, in which the optimization budget, in terms of fitness evaluations, is only 5 times of the problem's dimension. In the proposed framework, the Voronoi diagram divides the whole search space into several subspace and then the local search is operated in some potentially better subspace. Additionally, in order to trade off the exploration and exploitation, the framework involves a global search stage developed by combining leave-one-out cross-validation and radial basis function surrogate model. A performance selector is designed to switch the search dynamically and automatically between the global and local search stages. The empirical results on a variety of benchmark problems demonstrate that the proposed framework significantly outperforms several state-of-art algorithms with extremely limited fitness evaluations. Besides, the efficacy of Voronoi-diagram is furtherly analyzed, and the results show its potential to optimize very expensive problems.


title: Time-optimal purification of a qubit in contact with a structured environment

abstract: We investigate the time-optimal control of the purification of a qubit interacting with a structured environment, consisting of a strongly coupled two-level defect in interaction with a thermal bath. On the basis of a geometric analysis, we show for weak and strong interaction strengths that the optimal control strategy corresponds to a qubit in resonance with the reservoir mode. We investigate when qubit coherence and correlation between the qubit and the environment speed-up the control process.


title: On node controllability and observability in complex dynamical networks

abstract: We analyze in detail the subtle yet critical differences between the structural controllability and observability of the triplet $(A,B,C)$ in the two cases that this is viewed as a linear dynamical network of interconnected nodes or as a a single complex system. Investigating the controllability and observability properties of each single node when the network is not completely controllable and/or observable, we show that the first point of view requires the development of novel tools leading, ultimately, to a state space decomposition that is different from the one proposed in 1963 by R.E. Kalman for linear systems.


title: Analysis of Large-Scale Multi-Tenant GPU Clusters for DNN Training Workloads

abstract: With widespread advances in machine learning, a number of large enterprises are beginning to incorporate machine learning models across a number of products. These models are typically trained on shared, multi-tenant GPU clusters. Similar to existing cluster computing workloads, scheduling frameworks aim to provide features like high efficiency, resource isolation, fair sharing across users, etc. However Deep Neural Network (DNN) based workloads, predominantly trained on GPUs, differ in two significant ways from traditional big data analytics workloads. First, from a cluster utilization perspective, GPUs represent a monolithic resource that cannot be shared at a fine granularity across users. Second, from a workload perspective, deep learning frameworks require gang scheduling reducing the flexibility of scheduling and making the jobs themselves inelastic to failures at runtime. In this paper we present a detailed workload characterization of a two-month long trace from a multi-tenant GPU cluster in a large enterprise. By correlating scheduler logs with logs from individual jobs, we study three distinct issues that affect cluster utilization for DNN training workloads on multi-tenant clusters: (1) the effect of gang scheduling and locality constraints on queuing, (2) the effect of locality on GPU utilization, and (3) failures during training. Based on our experience running a large-scale operation, we provide design guidelines pertaining to next-generation cluster schedulers for DNN training workloads.


title: Non-trivial intersecting families for finite affine spaces

abstract: Guo and Xu determined the maximum size of intersecting families over finite affine spaces and showed that any family reaches maximum size must be trivial. In this paper, we characterize non-trivial intersecting family with maximum size.


title: Robust Improper Signaling for Two-user SISO Interference Channels

abstract: It has been shown that improper Gaussian signaling (IGS) can improve the performance of wireless interference-limited systems when perfect channel state information (CSI) is available. In this paper, we investigate the robustness of IGS against imperfect CSI on the transmitter side in a two-user single-input single-output (SISO) interference channel (IC) as well as in a SISO Z-IC, when interference is treated as noise. We assume that the true channel coefficients belong to a known region around the channel estimates, which we call the uncertainty region. Following a worst-case robustness approach, we study the rate-region boundary of the IC for the worst channel in the uncertainty region. For the two-user IC, we derive a robust design in closed-form, which is independent of the phase of the channels by allowing only one of the users to transmit IGS. For the Z-IC, we provide a closed-form design for the transmission parameters by considering an enlarged uncertainty region and allowing both users to employ IGS. In both cases, the IGS-based designs are ensured to perform no worse than proper Gaussian signaling. Furthermore, we show, through numerical examples, that the proposed robust designs significantly outperform non-robust solutions.


title: Attentive Neural Processes

abstract: Neural Processes (NPs) (Garnelo et al 2018a;b) approach regression by learning to map a context set of observed input-output pairs to a distribution over regression functions. Each function models the distribution of the output given an input, conditioned on the context. NPs have the benefit of fitting observed data efficiently with linear complexity in the number of context input-output pairs, and can learn a wide family of conditional distributions; they learn predictive distributions conditioned on context sets of arbitrary size. Nonetheless, we show that NPs suffer a fundamental drawback of underfitting, giving inaccurate predictions at the inputs of the observed data they condition on. We address this issue by incorporating attention into NPs, allowing each input location to attend to the relevant context points for the prediction. We show that this greatly improves the accuracy of predictions, results in noticeably faster training, and expands the range of functions that can be modelled.


title: Accretion disk around the rotating Damour-Solodukhin wormhole

abstract: A new rotating generalization of the Damour-Solodukhin wormhole (RDSWH), called Kerr-like wormhole, has recently been proposed and investigated by Bueno \textit{et al} for echoes in the gravitational wave signal. We show a novel feature of the RDSWH, viz., that the kinematic properties such as the ISCO\ or marginally stable radius $r_{\text{ms}}$, efficiency $\epsilon$ and the disk potential $V_{\text{eff}}$ are \textit{independent} of $\lambda$ (which means they are identical to their KBH counterparts for any given spin). Differences however appear in the emissivity properties for higher values $0.1<\lambda\leq 1$ (say) and for the extreme spin $a_{\star}=0.998$. The kinematic and emissivity are generic properties as variations of the wormhole mass and the rate of accretion within the model preserve these properties. Specifically, the behavior of the luminosity peak is quite opposite to each other for the two objects, which could be useful from the viewpoint of observations. Apart from this, an estimate of the difference $\Delta_{\lambda}$ in the maxima of flux of radiation $F(r)$ shows non-zero values but is too tiny to be observable at present for $\lambda < 10^{-3}$ permitted by the strong lensing bound. The broad conclusion is that RDSWH\ are experimentally indistinguishable from KBH by accretion characteristics.


title: The solar chromosphere at millimetre and ultraviolet wavelengths. I. Radiation temperatures and a detailed comparison

abstract: Solar observations with the Atacama Large Millimeter/submillimeter Array (ALMA) provide us with direct measurements of the brightness temperature in the solar chromosphere. We study the temperature distributions obtained with ALMA Band 6 (in four sub-bands at 1.21, 1.22, 1.29, and 1.3 mm) for various areas at, and in the vicinity of, a sunspot, comprising quasi-quiet and active regions with different amounts of underlying magnetic fields. We compare these temperatures with those obtained at near- and far-ultraviolet (UV) wavelengths (and with the line-core intensities of the optically-thin far-UV spectra), co-observed with the Interface Region Imaging Spectrograph (IRIS) explorer. These include the emission peaks and cores of the Mg II k 279.6 nm and Mg II h 280.4 nm lines as well as the line cores of C II 133.4 nm, O I 135.6 nm, and Si IV 139.4 nm, sampling the mid-to-high chromosphere and the low transition region. Splitting the ALMA sub-bands resulted in an slight increase of spatial resolution in individual temperature maps, thus, resolving smaller-scale structures compared to those produced with the standard averaging routines. We find that the radiation temperatures have different, though somewhat overlapping, distributions in different wavelengths and in the various magnetic regions. Comparison of the ALMA temperatures with those of the UV diagnostics should, however, be interpreted with great caution, the former is formed under the local thermodynamic equilibrium (LTE) conditions, the latter under non-LTE. The mean radiation temperature of the ALMA Band 6 is similar to that extracted from the IRIS C II line in all areas with exception of the sunspot and pores where the C II poses higher radiation temperatures. In all magnetic regions, the Mg II lines associate with the lowest mean radiation temperatures in our sample. These will provide constraints for future numerical models.


title: Strong Asymptotic Properties of Kernel Smoothing Estimation for NA Random Variables with Right Censoring

abstract: Most studies for negatively associated (NA) random variables consider the complete-data situation, which is actually a relatively ideal condition in practice. The paper relaxes this condition to the incomplete-data setting and considers kernel smoothing density and hazard function estimation in the presence of right censoring based on the Kaplan-Meier estimator. We establish the strong asymptotic properties for these two estimators to assess their asymptotic behavior and justify their practical use.


title: Analysis of counterfactuality of counterfactual communication protocols

abstract: Counterfactual communication, i.e., communication without particle travelling in the transmission channel, is a bizarre quantum effect. Starting from interaction-free measurements many protocols achieving various tasks from counterfactual cryptogrphy to counterfactual transfer of quantum states were proposed and implemented in experiments. However, the meaning of conterfactuality in various protocols remained a controversial topic. A simple error-free counterfactual protocol is proposed. This protocol and its modification are used as a test bed for analysis of meaning of counterfactuality to clarify the counterfactuality status of various counterfactual proposals.


title: Interacting Dark Side of Universe Through Generalized Uncertainty Principle

abstract: We investigate the impact of the generalized uncertainty principle proposed by some approaches to quantum gravity such as string theory and doubly special relativity on the cosmology. Using generalized Poisson brackets, we obtain the modified Friedmann and Raychaudhuri equations and suggest a dynamical dark energy to explain the late time acceleration of the Universe. After considering the interaction between dark matter and dark energy, originated from the minimal length, we obtain the effective cosmological parameters and equation of state parameter for dark matter and dark energy. Finally, we show that the resulting model is equivalent to the Phantom and Tachyon fields.


title: High velocity string of knots in the outburst of the Planetary Nebula Hb4

abstract: The bipolar collimated outflows of the Hb4 Planetary Nebula (PN) exhibit an evident decrease in their expansion velocity with respect to the distance from the central star. So far, similar velocity law has also been found in Herbig-Haro objects. The interpretation of this peculiar velocity law and the classification of the outflows is the main focal point of this paper. High dispersion long-slit echelle spectra along with high resolution images from Hubble Space Telescope (HST) are applied in the astronomical code SHAPE in order to reproduce a three-dimensional morpho-kinematical model for the core and the bipolar outflows. Its central part shows a number of low-ionization filamentary structures (knots and jets) indicative of common-envelope PNe evolution and it is reconstructed assuming a toroidal structure. The high-resolution HST [N II] image of Hb4 unveils the fragmented structure of outflows. The northern and southern outflows are composed by four and three knots, respectively, and each knot moves outwards with its own expansion velocity. They are reconstructed as string of knots rather than jets.This string of knots is formed by ejection events repeated every 200- 250 years. Hb4 displays several indirect evidence for a binary central system with a [WR] companion evolved through the common envelopes channel.The observed deceleration of the knots is likely associated with shock collisions between the knots and the interstellar medium or nebular material.


title: A Multi-Level Simulation Optimization Approach for Quantile Functions

abstract: Quantile is a popular performance measure for a stochastic system to evaluate its variability and risk. To reduce the risk, selecting the actions that minimize the tail quantiles of some loss distributions is typically of interest for decision makers. When the loss distribution is observed via simulations, evaluating and optimizing its quantile functions can be challenging, especially when the simulations are expensive, as it may cost a large number of simulation runs to obtain accurate quantile estimators. In this work, we propose a multi-level metamodel (co-kriging) based algorithm to optimize quantile functions more efficiently. Utilizing non-decreasing properties of quantile functions, we first search on cheaper and informative lower quantiles which are more accurate and easier to optimize. The quantile level iteratively increases to the objective level while the search has a focus on the possible promising regions identified by the previous levels. This enables us to leverage the accurate information from the lower quantiles to find the optimums faster and improve algorithm efficiency.


title: Integrated impedance bridge for absolute capacitance measurements at cryogenic temperatures and finite magnetic fields

abstract: We developed an impedance bridge that operates at cryogenic temperatures (down to 60 mK) and in perpendicular magnetic fields up to at least 12 T. This is achieved by mounting a GaAs HEMT amplifier perpendicular to a printed circuit board containing the device under test and thereby parallel to the magnetic field. The measured amplitude and phase of the output signal allows for the separation of the total impedance into an absolute capacitance and a resistance. Through a detailed noise characterization, we find that the best resolution is obtained when operating the HEMT amplifier at the highest gain. We obtained a resolution in the absolute capacitance of 6.4~aF$/\sqrt{\textrm{Hz}}$ at 77 K on a comb-drive actuator, while maintaining a small excitation amplitude of 15~$k_\text{B} T/e$. We show the magnetic field functionality of our impedance bridge by measuring the quantum Hall plateaus of a top-gated hBN/graphene/hBN heterostructure at 60~mK with a probe signal of 12.8~$k_\text{B} T/e$.


title: SAFE: Scale Aware Feature Encoder for Scene Text Recognition

abstract: In this paper, we address the problem of having characters with different scales in scene text recognition. We propose a novel scale aware feature encoder (SAFE) that is designed specifically for encoding characters with different scales. SAFE is composed of a multi-scale convolutional encoder and a scale attention network. The multi-scale convolutional encoder targets at extracting character features under multiple scales, and the scale attention network is responsible for selecting features from the most relevant scale(s). SAFE has two main advantages over the traditional single-CNN encoder used in current state-of-the-art text recognizers. First, it explicitly tackles the scale problem by extracting scale-invariant features from the characters. This allows the recognizer to put more effort in handling other challenges in scene text recognition, like those caused by view distortion and poor image quality. Second, it can transfer the learning of feature encoding across different character scales. This is particularly important when the training set has a very unbalanced distribution of character scales, as training with such a dataset will make the encoder biased towards extracting features from the predominant scale. To evaluate the effectiveness of SAFE, we design a simple text recognizer named scale-spatial attention network (S-SAN) that employs SAFE as its feature encoder, and carry out experiments on six public benchmarks. Experimental results demonstrate that S-SAN can achieve state-of-the-art (or, in some cases, extremely competitive) performance without any post-processing.


title: Time Pressure in Software Engineering: A Systematic Review

abstract: Large project overruns and overtime work have been reported in the software industry, resulting in additional expense for companies and personal issues for developers. The present work aims to provide an overview of studies related to time pressure in software engineering; specifically, existing definitions, possible causes, and metrics relevant to time pressure were collected, and a mapping of the studies to software processes and approaches was performed. Moreover, we synthesize results of existing quantitative studies on the effects of time pressure on software development, and offer practical takeaways for practitioners and researchers, based on empirical evidence. Our search strategy examined 5,414 sources, found through repository searches and snowballing. Applying inclusion and exclusion criteria resulted in the selection of 102 papers, which made relevant contributions related to time pressure in software engineering. The majority of high quality studies report increased productivity and decreased quality under time pressure. Frequent categories of studies focus on quality assurance, cost estimation, and process simulation. It appears that time pressure is usually caused by errors in cost estimation. The effect of time pressure is most often identified during software quality assurance. The majority of empirical studies report increased productivity under time pressure, while the most cost estimation and process simulation models assume that compressing the schedule increases the total needed hours. We also find evidence of the mediating effect of knowledge on the effects of time pressure, and that tight deadlines impact tasks with an algorithmic nature more severely. Future research should better contextualize quantitative studies to account for the existing conflicting results and to provide an understanding of situations when time pressure is either beneficial or harmful.


title: A Capacity-Achieving $T$-PIR Scheme Based On MDS Array Codes

abstract: Suppose a database containing $M$ records is replicated in each of $N$ servers, and a user wants to privately retrieve one record by accessing the servers such that identity of the retrieved record is secret against any up to $T$ servers. A scheme designed for this purpose is called a $T$-private information retrieval ($T$-PIR) scheme. In this paper we focus on the field size of $T$-PIR schemes. We design a generalcapacity-achieving $T$-PIR scheme whose queries are generated by using some {\rm MDS } array codes. It only requires field size $q\geq\sqrt[\ell]{N}$, where $\ell=\min\{t^{M-2},(n-t)^{M-2}\}$, $~t=T/{\rm gcd}(N,T)$,$~n=N/{\rm gcd}(N,T)$ and has the optimal sub-packetization $Nn^{M-2}$. Comparing with existing capacity-achieving $T$-PIR schemes, our scheme has the following advantage, that is, its field size monotonically decreases as the number of records $M$ grows. In particular, the binary field is sufficient for building a capacity-achieving T-PIR scheme as long as $M\geq 2+\lceil\log_\mu\log_2N\rceil$, where $\mu=\min\{t,n-t\}>1$.