title: New evidences for the fluctuation characteristic of intradecadal periodic signals in length-of-day variation

abstract: The intradecadal fluctuations in the length-of-day variation (dLOD) are considered likely to play an important role in core motions. Two intradecadal oscillations, with 5.9yr and 8.5yr periods (referred to as SYO and EYO, respectively), have been detected in previous studies. However, whether the SYO and the EYO have stable damping trends since 1962 and whether geomagnetic jerks are possible excitation sources for the SYO/EYO are still debated. In this study, based on different methods and dLOD records with different time span, we show robust evidences to prove that the SYO and the EYO have no stable damping trends since 1962, and we find that there is also a possible 7.6yr signal. To prove whether it is a periodic signal, we use the optimal sequence estimation method to stack 35 global geomagnetic records, the results also show an 7.6yr periodic signal which has an Y2,-2 spatial distribution, and it has a high degree of consistent synchronicity with the 7.6yr signal in dLOD. After confirming that the jerks have no special consistency with the peaks/valleys of the EYO/SYO, we confirm that the geomagnetic jerks seem to be related to sudden changes in the SYO/EYO time series and their excitation series; so we finally suggest that jerks are possible excitation sources of the SYO/EYO. Meanwhile, after using a deconvolution method, we estimate that the period P and quality factor Q of the SYO and the EYO are [P=5.85+/-0.06yr, Q larger than 180] and [P=8.455+/-0.17yr, Q larger than 350], respectively.


title: Improved Deterministic Network Decomposition

abstract: Network decomposition is a central tool in distributed graph algorithms. We present two improvements on the state of the art for network decomposition, which thus lead to improvements in the (deterministic and randomized) complexity of several well-studied graph problems. - We provide a deterministic distributed network decomposition algorithm with $O(\log^5 n)$ round complexity, using $O(\log n)$-bit messages. This improves on the $O(\log^7 n)$-round algorithm of Rozho\v{n} and Ghaffari [STOC'20], which used large messages, and their $O(\log^8 n)$-round algorithm with $O(\log n)$-bit messages. This directly leads to similar improvements for a wide range of deterministic and randomized distributed algorithms, whose solution relies on network decomposition, including the general distributed derandomization of Ghaffari, Kuhn, and Harris [FOCS'18]. - One drawback of the algorithm of Rozho\v{n} and Ghaffari, in the $\mathsf{CONGEST}$ model, was its dependence on the length of the identifiers. Because of this, for instance, the algorithm could not be used in the shattering framework in the $\mathsf{CONGEST}$ model. Thus, the state of the art randomized complexity of several problems in this model remained with an additive $2^{O(\sqrt{\log\log n})}$ term, which was a clear leftover of the older network decomposition complexity [Panconesi and Srinivasan STOC'92]. We present a modified version that remedies this, constructing a decomposition whose quality does not depend on the identifiers, and thus improves the randomized round complexity for various problems.


title: An Investigation of Containment Measures Against the COVID-19 Pandemic in Mainland China

abstract: As the recent COVID-19 outbreak rapidly expands all over the world, various containment measures have been carried out to fight against the COVID-19 pandemic. In Mainland China, the containment measures consist of three types, i.e., Wuhan travel ban, intra-city quarantine and isolation, and inter-city travel restriction. In order to carry out the measures, local economy and information acquisition play an important role. In this paper, we investigate the correlation of local economy and the information acquisition on the execution of containment measures to fight against the COVID-19 pandemic in Mainland China. First, we use a parsimonious model, i.e., SIR-X model, to estimate the parameters, which represent the execution of intra-city quarantine and isolation in major cities of Mainland China. In order to understand the execution of intra-city quarantine and isolation, we analyze the correlation between the representative parameters including local economy, mobility, and information acquisition. To this end, we collect the data of Gross Domestic Product (GDP), the inflows from Wuhan and outflows, and the COVID-19 related search frequency from a widely-used Web mapping service, i.e., Baidu Maps, and Web search engine, i.e., Baidu Search Engine, in Mainland China. Based on the analysis, we confirm the strong correlation between the local economy and the execution of information acquisition in major cities of Mainland China. We further evidence that, although the cities with high GDP per capita attracts bigger inflows from Wuhan, people are more likely to conduct the quarantine measure and to reduce going out to other cities. Finally, the correlation analysis using search data shows that well-informed individuals are likely to carry out containment measures.


title: MaxSAT Evaluation 2020 -- Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees

abstract: This paper presents a MaxSAT benchmark focused on the identification of Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We address the MPMCS problem by transforming the input fault tree into a weighted logical formula that is then used to build and solve a Weighted Partial MaxSAT problem. The benchmark includes 80 cases with fault trees of different size and composition as well as the optimal cost and solution for each case.


title: AxioNyx: Simulating Mixed Fuzzy and Cold Dark Matter

abstract: The distinctive effects of fuzzy dark matter are most visible at non-linear galactic scales. We present the first simulations of mixed fuzzy and cold dark matter, obtained with an extended version of the Nyx code. Fuzzy (or ultralight, or axion-like) dark matter dynamics are governed by the comoving Schr\"odinger-Poisson equation. This is evolved with a pseudospectral algorithm on the root grid, and with finite differencing at up to six levels of adaptive refinement. Cold dark matter is evolved with the existing N-body implementation in Nyx. We present the first investigations of spherical collapse in mixed dark matter models, focusing on radial density profiles, velocity spectra and soliton formation in collapsed halos. We find that the effective granule masses decrease in proportion to the fraction of fuzzy dark matter which quadratically suppresses soliton growth, and that a central soliton only forms if the fuzzy dark matter fraction is greater than 10\%. The Nyx framework supports baryonic physics and key astrophysical processes such as star formation. Consequently, AxioNyx will enable increasingly realistic studies of fuzzy dark matter astrophysics.


title: Bending modes metrology in the 14-15 $\mu$m region

abstract: Frequency combs have triggered an impressive evolution of optical metrology across diverse regions of the electromagnetic spectrum, from the ultraviolet to the terahertz frequencies. An unexplored territory, however, remains in the region of vibrational bending modes, mostly due to the lack of single-mode lasers in the long-wavelength (LW) part of the mid-infrared (MIR) spectrum. We fill this gap through a purely MIR-based nonlinear laser source with tunability from 12.1 to 14.8 $\mu$m, optical power up to 110 $\mu$W, MHz-level linewidth and comb calibration. This enables the first example of bending modes metrology in this region, with the assessment of several CO$_2$-based frequency benchmarks with uncertainties down to 30 kHz, and the accurate study of the $\nu_{11}$ band of benzene, which is a significant testbed for the resolution of the spectrometer. These achievements pave the way for LW-MIR metrology, rotationally-resolved studies and astronomic observations of large molecules, such as aromatic hydrocarbons.


title: Production of Light Nuclei in Heavy Ion Collisions via Hagedorn Resonances

abstract: The physical processes behind the production of light nuclei in heavy ion collisions are unclear. The nice theoretical description of experimental yields by thermal models conflicts with the very small binding energies of the observed states, being fragile in such a hot and dense environment. Other available ideas are delayed production via coalescence, or a cooling of the system after the chemical freeze-out according a Saha equation, or a `quench' instead of a thermal freeze-out. A recently derived prescription of an (interacting) Hagedorn gas is applied to consolidate the above pictures. The tabulation of decay rates of Hagedorn states into light nuclei allows to calculate yields usually unaccessable due to very poor Monte Carlo statistics. Decay yields of stable hadrons and light nuclei are calculated. While the scale-free decays of Hagedorn states alone are not compatible with the experimental data, a thermalized hadron and Hagedorn state gas is able to describe the experimental data. Applying a cooling of the system according a Saha-equation with conservation of nucleons and anti-nucleons in number leads to (nearly) temperature independent yields, thus a production of the light nuclei at temperatures much lower than the chemical freeze-out temperature is possible.


title: Transferable Calibration with Lower Bias and Variance in Domain Adaptation

abstract: Domain Adaptation (DA) enables transferring a learning machine from a labeled source domain to an unlabeled target one. While remarkable advances have been made, most of the existing DA methods focus on improving the target accuracy at inference. How to estimate the predictive uncertainty of DA models is vital for decision-making in safety-critical scenarios but remains the boundary to explore. In this paper, we delve into the open problem of Calibration in DA, which is extremely challenging due to the coexistence of domain shift and the lack of target labels. We first reveal the dilemma that DA models learn higher accuracy at the expense of well-calibrated probabilities. Driven by this finding, we propose Transferable Calibration (TransCal) to achieve more accurate calibration with lower bias and variance in a unified hyperparameter-free optimization framework. As a general post-hoc calibration method, TransCal can be easily applied to recalibrate existing DA methods. Its efficacy has been justified both theoretically and empirically.


title: Weighing Counts: Sequential Crowd Counting by Reinforcement Learning

abstract: We formulate counting as a sequential decision problem and present a novel crowd counting model solvable by deep reinforcement learning. In contrast to existing counting models that directly output count values, we divide one-step estimation into a sequence of much easier and more tractable sub-decision problems. Such sequential decision nature corresponds exactly to a physical process in reality scale weighing. Inspired by scale weighing, we propose a novel 'counting scale' termed LibraNet where the count value is analogized by weight. By virtually placing a crowd image on one side of a scale, LibraNet (agent) sequentially learns to place appropriate weights on the other side to match the crowd count. At each step, LibraNet chooses one weight (action) from the weight box (the pre-defined action pool) according to the current crowd image features and weights placed on the scale pan (state). LibraNet is required to learn to balance the scale according to the feedback of the needle (Q values). We show that LibraNet exactly implements scale weighing by visualizing the decision process how LibraNet chooses actions. Extensive experiments demonstrate the effectiveness of our design choices and report state-of-the-art results on a few crowd counting benchmarks. We also demonstrate good cross-dataset generalization of LibraNet. Code and models are made available at: https://git.io/libranet


title: Time dependence of advection-diffusion coupling for nanoparticle ensembles

abstract: Advection-diffusion coupling can enhance particle and solute dispersion by orders of magnitude as compared to pure diffusion, with a steady state being reached for confined flow regions such as a nanopore or blood vessel. Here, by using evanescent wave microscopy, we measure for the first time the full dynamics of Taylor dispersion, highlighting the crucial role of the initial concentration profile. We make time-dependent, nanometrically-resolved particle dispersion measurements varying nanoparticle size, velocity gradient, and viscosity in sub-micrometric near-surface flows. Such resolution permits a measure of the full dynamical approach and crossover into the steady state, revealing a family of master curves. Remarkably, our results show that the dynamics depend sensitively on the initial spatial distribution of the nanoparticles. These observations are in quantitative agreement with existing analytical models and numerical simulations performed herein. We anticipate that our study will be a first step toward observing and modelling more complex situations at the nanoscale, such as target finding and chemical reactions in nanoconfined flows, dynamical adsorption and capture problems, as well as nanoscale drug delivery systems.


title: Emergent Correlations in Gene Expression Dynamics as Footprints of Resource Competition

abstract: Genetic circuits need a cellular environment to operate in, which naturally couples the circuit function with the overall functionality of gene regulatory network. To execute their functions all gene circuits draw resources in the form of RNA polymerases, ribosomes, and tRNAs. Recent experiments pointed out that the role of resource competition on synthetic circuit outputs could be immense. However, the effect of complexity of the circuit architecture on resource sharing dynamics is yet unexplored. In this paper, we employ mathematical modelling and in-silico experiments to identify the sources of resource trade-off and to quantify its impact on the function of a genetic circuit, keeping our focus on regulation of immediate downstream proteins. We take the example of the fluorescent reporters, which are often used as protein read-outs. We show that estimating gene expression dynamics from readings of downstream protein data might be unreliable when the resource is limited and ribosome affinities are asymmetric. We focus on the impact of mRNA copy number and RBS strength on the nonlinear isocline that emerges with two regimes, prominently separated by a tipping point, and study how correlation and competition dominate each other depending on various circuit parameters. Focusing further on genetic toggle circuit, we have identified major effects of resource competition in this model motif, and quantified the observations. The observations are testable in wet-lab experiments, as all the parameters chosen are experimentally relevant.


title: Nash Social Welfare in Selfish and Online Load Balancing

abstract: In load balancing problems there is a set of clients, each wishing to select a resource from a set of permissible ones, in order to execute a certain task. Each resource has a latency function, which depends on its workload, and a client's cost is the completion time of her chosen resource. Two fundamental variants of load balancing problems are {\em selfish load balancing} (aka. {\em load balancing games}), where clients are non-cooperative selfish players aimed at minimizing their own cost solely, and {\em online load balancing}, where clients appear online and have to be irrevocably assigned to a resource without any knowledge about future requests. We revisit both selfish and online load balancing under the objective of minimizing the {\em Nash Social Welfare}, i.e., the geometric mean of the clients' costs. To the best of our knowledge, despite being a celebrated welfare estimator in many social contexts, the Nash Social Welfare has not been considered so far as a benchmarking quality measure in load balancing problems. We provide tight bounds on the price of anarchy of pure Nash equilibria and on the competitive ratio of the greedy algorithm under very general latency functions, including polynomial ones. For this particular class, we also prove that the greedy strategy is optimal as it matches the performance of any possible online algorithm.


title: Algebra structure of multiple zeta values in positive characteristic

abstract: This paper is a culmination of [CM20] on the study of multiple zeta values (MZV's) over function fields in positive characteristic. For any finite place $v$ of the rational function field $k$ over a finite field, we prove that the $v$-adic MZV's satisfy the same $\bar{k}$-algebraic relations that their corresponding $\infty$-adic MZV's satisfy. Equivalently, we show that the $v$-adic MZV's form an algebra with multiplication law given by the $q$-shuffle product which comes from the $\infty$-adic MZV's, and there is a well-defined $\bar{k}$-algebra homomorphism from the $\infty$-adic MZV's to the $v$-adic MZV's.


title: Mining for Process Improvements: Analyzing Software Repositories in Agile Retrospectives

abstract: Software Repositories contain knowledge on how software engineering teams work, communicate, and collaborate. It can be used to develop a data-informed view of a team's development process, which in turn can be employed for process improvement initiatives. In modern, Agile development methods, process improvement takes place in Retrospective meetings, in which the last development iteration is discussed. However, previously proposed activities that take place in these meetings often do not rely on project data, instead depending solely on the perceptions of team members. We propose new Retrospective activities, based on mining the software repositories of individual teams, to complement existing approaches with more objective, data-informed process views.


title: The role of lengthscale in the creep of Sn-3Ag-0.5Cu solder microstructures

abstract: Creep of directionally solidified Sn-3Ag-0.5Cu wt.% (SAC305) samples with near-<110> orientation along the loading direction and different microstructural lengthscale is investigated under constant load tensile testing and at a range of temperatures. The creep performance improves by refining the microstructure, i.e. the decrease in secondary dendrite arm spacing ({\lambda}2), eutectic intermetallic spacing ({\lambda}e) and intermetallic compound (IMC) size, indicating as a longer creep lifetime, lower creep strain rate, change in activation energy (Q) and increase in ductility and homogeneity in macro- and micro-structural deformation of the samples. The dominating creep mechanism is obstacle-controlled dislocation creep at room temperature and transits to lattice-associated vacancy diffusion creep at elevated temperature (T/T_M > 0.7 to 0.75). The deformation mechanisms are investigated using electron backscatter diffraction (EBSD) and strain heterogeneity is identified between b/-Sn in dendrites and b/-Sn in eutectic regions containing Ag3Sn and Cu6Sn5 particles. The size of the recrystallised grains is modulated by the dendritic and eutectic spacings, however, the recrystalised grains in the eutectic regions for coarse-scaled samples (largest {\lambda}2 and {\lambda}e) is only localised next to IMCs without growth in size.


title: Neural MOS Prediction for Synthesized Speech Using Multi-Task Learning With Spoofing Detection and Spoofing Type Classification

abstract: Several studies have proposed deep-learning-based models to predict the mean opinion score (MOS) of synthesized speech, showing the possibility of replacing human raters. However, inter- and intra-rater variability in MOSs makes it hard to ensure the high performance of the models. In this paper, we propose a multi-task learning (MTL) method to improve the performance of a MOS prediction model using the following two auxiliary tasks: spoofing detection (SD) and spoofing type classification (STC). Besides, we use the focal loss to maximize the synergy between SD and STC for MOS prediction. Experiments using the MOS evaluation results of the Voice Conversion Challenge 2018 show that proposed MTL with two auxiliary tasks improves MOS prediction. Our proposed model achieves up to 11.6% relative improvement in performance over the baseline model.


title: 33% Giant Anomalous Hall Current Driven by both Intrinsic and Extrinsic Contributions in Magnetic Weyl Semimetal Co3Sn2S2

abstract: Anomalous Hall effect (AHE) can be induced by intrinsic mechanism due to the band Berry phase and extrinsic one arising from the impurity scattering. The recently discovered magnetic Weyl semimetal Co3Sn2S2 exhibits a large intrinsic anomalous Hall conductivity (AHC) and a giant anomalous Hall angle (AHA). The predicted energy dependence of the AHC in this material exhibits a plateau at 1000 {\Omega}-1 cm-1 and an energy width of 100 meV just below EF, thereby implying that the large intrinsic AHC will not significantly change against small-scale energy disturbances such as slight p-doping. Here, we successfully trigger the extrinsic contribution from alien-atom scattering in addition to the intrinsic one of the pristine material by introducing a small amount of Fe dopant to substitute Co in Co3Sn2S2. Our experimental results show that the AHC and AHA can be prominently enhanced up to 1850 {\Omega}-1 cm-1 and 33%, respectively, owing to the synergistic contributions from the intrinsic and extrinsic mechanisms as distinguished by the TYJ model. In particular, the tuned AHA holds a record value in low fields among known magnetic materials. This study opens up a pathway to engineer giant AHE in magnetic Weyl semimetals, thereby potentially advancing the topological spintronics/Weyltronics.


title: Anomalous Features in Internal Cylinder Flow Instabilities subject to Uncertain Rotational Effects

abstract: We study the flow dynamics inside a high-speed rotating cylinder after introducing strong symmetry-breaking disturbance factors at cylinder wall motion. We propose and formulate a mathematically robust stochastic model for the rotational motion of cylinder wall alongside the stochastic representation of incompressible Navier-Stokes equations. We employ a comprehensive stochastic computational fluid dynamics framework combining spectral/$hp$ element method and probabilistic collocation method to obtain high-fidelity realizations of our mathematical model in order to quantify the propagation of parametric uncertainty for dynamics-representative quantities of interests. We observe that the modeled symmetry-breaking disturbances cause a flow instability arising from the wall. Utilizing global sensitivity analysis approaches, we identify the dominant source of uncertainty in our proposed model. We next perform a qualitative and quantitative statistical analysis on the fluctuating fields characterizing the fingerprints and measures of intense and rapidly evolving non-Gaussian behavior through space and time. We claim that such non-Gaussian statistics essentially emerge and evolve due to an intensified presence of coherent vortical motions initially triggered by the flow instability due to symmetry-breaking rotation of the cylinder. We show that this mechanism causes memory effects in the flow dynamics in a way that noticeable anomaly in the time-scaling of enstrophy record is observed in the long run apart from the onset of instability. Our findings suggest an effective strategy to exploit controlled flow instabilities in order to enhance the turbulent mixing in engineering applications.


title: Kernelized Memory Network for Video Object Segmentation

abstract: Semi-supervised video object segmentation (VOS) is a task that involves predicting a target object in a video when the ground truth segmentation mask of the target object is given in the first frame. Recently, space-time memory networks (STM) have received significant attention as a promising solution for semi-supervised VOS. However, an important point is overlooked when applying STM to VOS. The solution (STM) is non-local, but the problem (VOS) is predominantly local. To solve the mismatch between STM and VOS, we propose a kernelized memory network (KMN). Before being trained on real videos, our KMN is pre-trained on static images, as in previous works. Unlike in previous works, we use the Hide-and-Seek strategy in pre-training to obtain the best possible results in handling occlusions and segment boundary extraction. The proposed KMN surpasses the state-of-the-art on standard benchmarks by a significant margin (+5% on DAVIS 2017 test-dev set). In addition, the runtime of KMN is 0.12 seconds per frame on the DAVIS 2016 validation set, and the KMN rarely requires extra computation, when compared with STM.


title: Ornstein-Uhlenbeck processes of bounded variation

abstract: Ornstein-Uhlenbeck process of bounded variation is introduced as a solution of an analogue of the Langevin equation with an integrated telegraph process replacing a Brownian motion. There is an interval $I$ such that the process starting from the internal point of $I$ always remains within $I$. Starting outside, this process a. s. reaches this interval in a finite time. The distribution of the time for which the process falls into this interval is obtained explicitly. The certain formulae for the mean and the variance of this process are obtained on the basis of the joint distribution of the telegraph process and its integrated copy. Under Kac's rescaling, the limit process is identified as the classical Ornstein-Uhlenbeck process.


title: Orthogonal polynomial duality of boundary driven particle systems and non-equilibrium correlations

abstract: We consider symmetric partial exclusion and inclusion processes in a general graph in contact with reservoirs, where we allow both for edge disorder and well-chosen site disorder. We extend the classical dualities to this context and then we derive new orthogonal polynomial dualities. From the classical dualities, we derive the uniqueness of the non-equilibrium steady state and obtain correlation inequalities. Starting from the orthogonal polynomial dualities, we show universal properties of n-point correlation functions in the non-equilibrium steady state for systems with at most two different reservoir parameters, such as a chain with reservoirs at left and right ends.


title: Deep Learning Backdoors

abstract: Intuitively, a backdoor attack against Deep Neural Networks (DNNs) is to inject hidden malicious behaviors into DNNs such that the backdoor model behaves legitimately for benign inputs, yet invokes a predefined malicious behavior when its input contains a malicious trigger. The trigger can take a plethora of forms, including a special object present in the image (e.g., a yellow pad), a shape filled with custom textures (e.g., logos with particular colors) or even image-wide stylizations with special filters (e.g., images altered by Nashville or Gotham filters). These filters can be applied to the original image by replacing or perturbing a set of image pixels.


title: Asymptotic Enumeration and Limit Laws for Multisets: the Subexponential Case

abstract: For a given combinatorial class $\mathcal{C}$ we study the class $\mathcal{G} = \mathrm{MSET}(\mathcal{C})$ satisfying the multiset construction, that is, any object in $\mathcal{G}$ is uniquely determined by a set of $\mathcal{C}$-objects paired with their multiplicities. For example, $\mathrm{MSET}(\mathbb{N})$ is (isomorphic to) the class of number partitions of positive integers, a prominent and well-studied case. The multiset construction appears naturally in the study of unlabelled objects, for example graphs or various structures related to number partitions. Our main result establishes the asymptotic size of the set $\mathcal{G}_{n,N}$ that contains all multisets in $\mathcal{G}$ having size $n$ and being comprised of $N$ objects from $\mathcal{C}$, as $n$ \emph{and} $N$ tend to infinity and when the counting sequence of $\mathcal{C}$ is governed by subexponential growth; this is a particularly important setting in combinatorial applications. Moreover, we study the component distribution of random objects from $\mathcal{G}_{n,N}$ and we discover a phenomenon that we baptise \emph{extreme condensation}: taking away the largest component as well as all the components of the smallest possible size, we are left with an object which converges in distribution as $n,N\to\infty$. The distribution of the limiting object is also retrieved. Moreover and rather surprisingly, in stark contrast to analogous results for labelled objects, the results here hold uniformly in $N$.


title: eSampling: Energy Harvesting ADCs

abstract: Analog-to-digital converters (ADCs) allow physical signals to be processed using digital hardware. The power consumed in conversion grows with the sampling rate and quantization resolution, imposing a major challenge in power-limited systems. A common ADC architecture is based on sample-and-hold (S/H) circuits, where the analog signal is being tracked only for a fraction of the sampling period. In this paper, we propose the concept of eSampling ADCs, which harvest energy from the analog signal during the time periods where the signal is not being tracked. This harvested energy can be used to supplement the ADC itself, paving the way to the possibility of zero-power consumption and power-saving ADCs. We analyze the tradeoff between the ability to recover the sampled signal and the energy harvested, and provide guidelines for setting the sampling rate in the light of accuracy and energy constraints. Our analysis indicates that eSampling ADCs operating with up to 12 bits per sample can acquire bandlimited analog signals such that they can be perfectly recovered without requiring power from the external source. Furthermore, our theoretical results reveal that eSampling ADCs can in fact save power by harvesting more energy than they consume. To verify the feasibility of eSampling ADCs, we present a circuit-level design using standard complementary metal oxide semiconductor (CMOS) 65 nm technology. An eSampling 8-bit ADC which samples at 40 MHZ is designed on a Cadence Virtuoso platform. Our experimental study involving Nyquist rate sampling of bandlimited signals demonstrates that such ADCs are indeed capable of harvesting more energy than that spent during analog-to-digital conversion, without affecting the accuracy.


title: Spontaneous generation of vortices by a nonuniform Zeeman field in a two-dimensional Rashba coupled superconductor

abstract: The interplay of the electron exchange interaction and spin-orbit coupling results in spontaneous supercurrents near magnetic insulator islands, which are placed on the top of a two-dimensional (2D) superconductor, and whose magnetization is parallel to 2D electron gas. It is shown that in contrast to the well studied situation, where such an effect involves only topologically trivial spatial variations of the superconducting order parameter, one should take into account supercurrent vortices. The latter are spontaneously generated around the island's boundary of an arbitrary shape and result in screening of the Zeeman field. This problem has been considered for electrons subject to a strong Rashba spin-orbit coupling, including Dirac systems as well. In the latter case vortices can carry Majorana zero modes.


title: The Univariate Marginal Distribution Algorithm Copes Well With Deception and Epistasis

abstract: In their recent work, Lehre and Nguyen (FOGA 2019) show that the univariate marginal distribution algorithm (UMDA) needs time exponential in the parent populations size to optimize the DeceptiveLeadingBlocks (DLB) problem. They conclude from this result that univariate EDAs have difficulties with deception and epistasis. In this work, we show that this negative finding is caused by an unfortunate choice of the parameters of the UMDA. When the population sizes are chosen large enough to prevent genetic drift, then the UMDA optimizes the DLB problem with high probability with at most $\lambda(\frac{n}{2} + 2 e \ln n)$ fitness evaluations. Since an offspring population size $\lambda$ of order $n \log n$ can prevent genetic drift, the UMDA can solve the DLB problem with $O(n^2 \log n)$ fitness evaluations. In contrast, for classic evolutionary algorithms no better run time guarantee than $O(n^3)$ is known (which we prove to be tight for the ${(1+1)}$ EA), so our result rather suggests that the UMDA can cope well with deception and epistatis. From a broader perspective, our result shows that the UMDA can cope better with local optima than evolutionary algorithms; such a result was previously known only for the compact genetic algorithm. Together with the lower bound of Lehre and Nguyen, our result for the first time rigorously proves that running EDAs in the regime with genetic drift can lead to drastic performance losses.


title: Revised $f_{\rm NL}$ parameter in Curvaton Scenario

abstract: We revise the Non-Gaussianity of canonical curvaton scenario with a generalized $\delta N$ formalism, in which it could handle the generic potentials. In various curvaton models, the energy density is dominant in different period including the secondary inflation of curvaton, matter domination and radiation domination. Our method could unify to deal with these periods since the non-linearity parameter $f_{\rm NL}$ associated with Non-Gaussianity is a function of equation of state $w$. We firstly investigate the most simple curvaton scenario, namely the chaotic curvaton with quadratic potential. Our study shows that most parameter space satisfies with observational constraints. And our formula will nicely recover the well-known value of $f_{\rm NL}$ in the absence of non-linear evolution. From the micro origin of curvaton, we also investigate the Pseudo-Nambu-Goldstone curvaton. Our result clearly indicates that the second short inflationary process for Pseudo-Nambu-Goldstone curvaton is ruled out in light of observations. Finally, our method sheds a new way for investigating the Non-Gaussianity of curvaton mechanism, espeically for exploring the Non-Gaussianity in MSSM curvaton model.


title: Split metacyclic actions on surfaces

abstract: Let $\mathrm{Mod}(S_g)$ be the mapping class group of the closed orientable surface $S_g$ of genus $g\geq 2$. In this paper, we derive necessary and sufficient conditions under which two torsion elements in $\mathrm{Mod}(S_g)$ will have conjugates that generate a finite split non-abelian metacyclic subgroup of $\mathrm{Mod}(S_g)$. As applications of the main result, we give a complete characterization of the finite dihedral and the generalized quaternionic subgroups of $\mathrm{Mod}(S_g)$ up to a certain equivalence that we will call weak conjugacy. Furthermore, we show that any finite-order mapping class whose corresponding orbifold is a sphere, has a conjugate that lifts under certain finite-sheeted regular cyclic covers of $S_g$. Moreover, for $g \geq 5$, we show the existence of an infinite dihedral subgroup of $\mathrm{Mod}(S_g)$ that is generated by an involution and a root of a bounding pair map of degree $3$. Finally, we provide a complete classification of the weak conjugacy classes of the non-abelian finite split metacyclic subgroups of $\mathrm{Mod}(S_3)$ and $\mathrm{Mod}(S_5)$. We also describe nontrivial geometric realizations of some of these actions.


title: Exponential periods and o-minimality

abstract: Let $\alpha \in \mathbb{C}$ be an exponential period. We show that the real and imaginary part of $\alpha$ are up to signs volumes of sets definable in the o-minimal structure generated by $\mathbb{Q}$, the real exponential function and ${\sin}|_{[0,1]}$. This is a weaker analogue of the precise characterisation of ordinary periods as numbers whose real and imaginary part are up to signs volumes of $\mathbb{Q}$-semi-algebraic sets. Furthermore, we define a notion of naive exponential periods and compare it to the existing notions using cohomological methods. This points to a relation between the theory of periods and o-minimal structures.


title: Inversion formula for the hypergeometric Fourier transform associated with a root system of type $BC$

abstract: We give the inversion formula and the Plancherel formula for the hypergeometric Fourier transform associated with a root system of type $BC$, when the multiplicity parameters are not necessarily nonnegative.


title: Dominant Role of Two-Photon Vertex in Nonlinear Response of Dirac Materials

abstract: Using a conserving Baym-Kadanoff approach, we present a fully compelling theory of nonlinear dc response of a Dirac system to electric fields in the presence of disorder scattering. We show that the nonlinear terms are strikingly ruled by the appearance of a dominant two-photon vertex which is absent at the bare level and finite even in the weak-coupling limit. Such two-photon vertex self-generation highlights the crucial role of the frequency and field dependence of the scattering rates in the nonlinear regime. Our study reveals a novel many-body mechanism in the nonlinear response of Dirac materials whose effects are predicted to be observable.


title: Relative Feature Importance

abstract: Interpretable Machine Learning (IML) methods are used to gain insight into the relevance of a feature of interest for the performance of a model. Commonly used IML methods differ in whether they consider features of interest in isolation, e.g., Permutation Feature Importance (PFI), or in relation to all remaining feature variables, e.g., Conditional Feature Importance (CFI). As such, the perturbation mechanisms inherent to PFI and CFI represent extreme reference points. We introduce Relative Feature Importance (RFI), a generalization of PFI and CFI that allows for a more nuanced feature importance computation beyond the PFI versus CFI dichotomy. With RFI, the importance of a feature relative to any other subset of features can be assessed, including variables that were not available at training time. We derive general interpretation rules for RFI based on a detailed theoretical analysis of the implications of relative feature relevance, and demonstrate the method's usefulness on simulated examples.


title: Area- Efficient VLSI Implementation of Serial-In Parallel-Out Multiplier Using Polynomial Representation in Finite Field GF(2m)

abstract: Finite field multiplier is mainly used in error-correcting codes and signal processing. Finite field multiplier is regarded as the bottleneck arithmetic unit for such applications and it is the most complicated operation over finite field GF(2m) which requires a huge amount of logic resources. In this paper, a new modified serial-in parallel-out multiplication algorithm with interleaved modular reduction is suggested. The proposed method offers efficient area architecture as compared to proposed algorithms in the literature. The reduced finite field multiplier complexity is achieved by means of utilizing logic NAND gate in a particular architecture. The efficiency of the proposed architecture is evaluated based on criteria such as time (latency, critical path) and space (gate-latch number) complexity. A detailed comparative analysis indicates that, the proposed finite field multiplier based on logic NAND gate outperforms previously known results


title: Quantum algorithms for graph problems with cut queries

abstract: Let $G$ be an $n$-vertex graph with $m$ edges. When asked a subset $S$ of vertices, a cut query on $G$ returns the number of edges of $G$ that have exactly one endpoint in $S$. We show that there is a bounded-error quantum algorithm that determines all connected components of $G$ after making $O(\log(n)^6)$ many cut queries. In contrast, it follows from results in communication complexity that any randomized algorithm even just to decide whether the graph is connected or not must make at least $\Omega(n/\log(n))$ many cut queries. We further show that with $O(\log(n)^8)$ many cut queries a quantum algorithm can with high probability output a spanning forest for $G$. En route to proving these results, we design quantum algorithms for learning a graph using cut queries. We show that a quantum algorithm can learn a graph with maximum degree $d$ after $O(d \log(n)^2)$ many cut queries, and can learn a general graph with $O(\sqrt{m} \log(n)^{3/2})$ many cut queries. These two upper bounds are tight up to the poly-logarithmic factors, and compare to $\Omega(dn)$ and $\Omega(m/\log(n))$ lower bounds on the number of cut queries needed by a randomized algorithm for the same problems, respectively. The key ingredients in our results are the Bernstein-Vazirani algorithm, approximate counting with "OR queries", and learning sparse vectors from inner products as in compressed sensing.


title: Optimal Calder\'on Spaces for generalized Bessel potentials

abstract: In the paper we investigate the properties of spaces with generalized smoothness, such as Calder\'on spaces that include the classical Nikolskii-Besov spaces and many of their generalizations, and describe differential properties of generalized Bessel potentials that include classical Bessel potentials and Sobolev spaces. Kernels of potentials may have non-power singularity at the origin. With the help of order-sharp estimates for moduli of continuity of potentials, we establish the criteria of embeddings of potentials into Calder\'on spaces, and describe the optimal spaces for such embeddings.


title: Extinct radio pulsars as a source of subrelativistic positrons

abstract: Extinct radio pulsars, in which stationary, self-sustaining generation of a relativistic electron-positron plasma becomes impossible when rotation brakes down, can be sources of a subrelativistic flux of positrons and electrons. We assume that the observed excess of positrons in the bulge and the disc of the Galaxy is associated with these old neutron stars. The production of pairs in their magnetospheres occurs due to one-photon absorption of gamma quanta of the Galactic and extragalactic backgrounds. The cascade process of plasma production leads to the flux of positrons escaping from the open magnetosphere $\simeq 3 \times 10^{34} \text{ s}^{-1}$. The total flux of positrons from all old Galactic neutron stars with rotational periods $1.5 < P < 35$ s is $\simeq 3 \times 10^{43} \text{ s}^{-1}$. The energy of positrons is less than $\simeq 10$ MeV. The estimated characteristics satisfy the requirements for the positron source responsible for the 511-keV Galactic annihilation line.

categories: astro-ph.HE astro-ph.GA astro-ph.SR physics.space-ph


title: Abelian subgroups of two-dimensional Artin groups

abstract: We classify abelian subgroups of two-dimensional Artin groups.


title: Multiphoton pulses interacting with multiple emitters in a one-dimensional waveguide

abstract: We derive a generalized master equation for multiphoton pulses interacting with multiple emitters in a waveguide-quantum electrodynamics system where the emitter frequency can be modulated and the effects of non-guided modes can also be considered. Based on this theory, we can calculate the real-time dynamics of an array of interacting emitters driven by an incident photon pulse which can be vacuum, a coherent state, a Fock state or their superpositions. Moreover, we also derive generalized input-output relations to calculate the reflectivity and transmissivity of this system. We can also calculate the output photon pulse shapes. Our theory can find important applications in the study of waveguide-based quantum systems.


title: Exponential periods and o-minimality II

abstract: This paper is a sequel to "Exponential periods and o-minimality I" that the authors wrote together with Philipp Habegger. We complete the comparison between different definitions of exponential periods, and show that they all lead to the same notion. In the first paper, we show that naive exponential periods are absolutely convergent exponential periods. We also show that naive exponential periods are up to signs volumes of definable sets in the o-minimal structure generated by $\mathbb{Q}$, the real exponential function and ${\sin}|_{[0,1]}$. In this paper, we compare these definitions with cohomological exponential periods and periods of exponential Nori motives. In particular, naive exponential periods are the same as periods of exponential Nori motives, which justifies that the definition of naive exponential periods singles out the correct set of complex numbers to be called exponential periods.


title: Effect of the Weakened Heliosphere in Solar Cycle 24 on the Properties of Coronal Mass Ejections

abstract: Solar cycle (SC) 24 has come to an end by the end of 2019, providing information on two full cycles to understand the manifestations of SC 24, the smallest cycle in the Space Age that has resulted in a weak heliospheric state indicated by the reduced pressure. The backreaction of the heliospheric state is to make the coronal mass ejections (CMEs) appear physically bigger than in SC 23, but their magnetic content has been diluted resulting in a lower geoeffectiveness. The heliospheric magnetic field is also lower in SC 24, leading to the dearth of high-energy solar energetic particle (SEP) events. These space weather events closely follow fast and wide (FW) CMEs. All but FW CMEs are higher in number in SC 24. The CME rate vs. sunspot number (SSN) correlation is high in both cycles but the rate increases faster in SC 24. We revisit the study of limb CMEs (those with source regions within 30 degrees from the limb) previously studied over partial cycles. We find that limb CMEs are slower in SC 24 as in the general population but wider. Limb halo CMEs follow the same trend of slower SC-24 CMEs. However, the SC-24 CMEs become halos at a shorter distance from the Sun. Thus, slower CMEs becoming halos sooner is a clear indication of the backreaction of the weaker heliospheric state on CMEs. We can further pin down the heliospheric state as the reason for the altered CME properties because the associated flares have similar distributions in the two cycles, unaffected by the heliospheric state.


title: Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction

abstract: Database Management Systems (DBMS) are used ubiquitously. To efficiently access data, they apply sophisticated optimizations. Incorrect optimizations can result in logic bugs, which cause a query to compute an incorrect result set. We propose Non-Optimizing Reference Engine Construction (NoREC), a fully-automatic approach to detect optimization bugs in DBMS. Conceptually, this approach aims to evaluate a query by an optimizing and a non-optimizing version of a DBMS, to then detect differences in their returned result set, which would indicate a bug in the DBMS. Obtaining a non-optimizing version of a DBMS is challenging, because DBMS typically provide limited control over optimizations. Our core insight is that a given, potentially randomly-generated optimized query can be rewritten to one that the DBMS cannot optimize. Evaluating this unoptimized query effectively corresponds to a non-optimizing reference engine executing the original query. We evaluated NoREC in an extensive testing campaign on four widely-used DBMS, namely PostgreSQL, MariaDB, SQLite, and CockroachDB. We found 159 previously unknown bugs in the latest versions of these systems, 141 of which have been fixed by the developers. Of these, 51 were optimization bugs, while the remaining were error and crash bugs. Our results suggest that NoREC is effective, general and requires little implementation effort, which makes the technique widely applicable in practice.


title: Polymer Dynamics via Cliques: New Conditions for Approximations

abstract: Abstract polymer models are systems of weighted objects, called polymers, equipped with an incompatibility relation. An important quantity associated with such models is the partition function, which is the weighted sum over all sets of compatible polymers. Various approximation problems reduce to approximating the partition function of a polymer model. Central to the existence of such approximation algorithms are weight conditions of the respective polymer model. Such conditions are derived either via complex analysis or via probabilistic arguments. We follow the latter path and establish a new condition---the clique dynamics condition---, which is less restrictive than the ones in the literature. We introduce a new Markov chain where the clique dynamics condition implies rapid mixing by utilizing cliques of incompatible polymers that naturally arise from the translation of algorithmic problems into polymer models. This leads to improved parameter ranges for several approximation algorithms, such as a factor of at least $2^{1/\alpha}$ for the hard-core model on bipartite $\alpha$-expanders.


title: Self-supervised Auxiliary Learning with Meta-paths for Heterogeneous Graphs

abstract: Graph neural networks have shown superior performance in a wide range of applications providing a powerful representation of graph-structured data. Recent works show that the representation can be further improved by auxiliary tasks. However, the auxiliary tasks for heterogeneous graphs, which contain rich semantic information with various types of nodes and edges, have less explored in the literature. In this paper, to learn graph neural networks on heterogeneous graphs we propose a novel self-supervised auxiliary learning method using meta-paths, which are composite relations of multiple edge types. Our proposed method is learning to learn a primary task by predicting meta-paths as auxiliary tasks. This can be viewed as a type of meta-learning. The proposed method can identify an effective combination of auxiliary tasks and automatically balance them to improve the primary task. Our methods can be applied to any graph neural networks in a plug-in manner without manual labeling or additional data. The experiments demonstrate that the proposed method consistently improves the performance of link prediction and node classification on heterogeneous graphs.


title: On The Degenerate Poly-Frobenius-Genocchi Polynomials Of Complex Variables

abstract: The main aim of this paper is to define and investigate a new class of the degenerate poly-Frobenius-Genocchi polynomials with the help of the polyexponential functions. In this paper, we define the degenerate poly-Frobenius-Genocchi polynomials of complex variables arising from the modified polyexponential functions. We derive explicit expressions for these polynomials and numbers. Also, we obtain implicit relations involving these polynomials and some other special numbers and polynomials.


title: Deep ahead-of-threat virtual patching

abstract: Many applications have security vulnerabilities that can be exploited. It is practically impossible to find all of them due to the NP-complete nature of the testing problem. Security solutions provide defenses against these attacks through continuous application testing, fast-patching of vulnerabilities, automatic deployment of patches, and virtual patching detection techniques deployed in network and endpoint security tools. These techniques are limited by the need to find vulnerabilities before the black-hats. We propose an innovative technique to virtually patch vulnerabilities before they are found. We leverage testing techniques for supervised-learning data generation, and show how artificial intelligence techniques can use this data to create predictive deep neural-network models that read an application's input and predict in real time whether it is a potential malicious input. We set up an ahead-of-threat experiment in which we generated data on old versions of an application, and then evaluated the predictive model accuracy on vulnerabilities found years later. Our experiments show ahead-of-threat detection on LibXML2 and LibTIFF vulnerabilities with 91.3% and 93.7% accuracy, respectively. We expect to continue work on this field of research and provide ahead-of-threat virtual patching for more libraries. Success in this research can change the current state of endless racing after application vulnerabilities and put the defenders one step ahead of the attackers


title: An ergodic averaging method to differentiate covariant Lyapunov vectors

abstract: Covariant Lyapunov vectors or CLVs span the expanding and contracting directions of perturbations along trajectories in a chaotic dynamical system. Due to efficient algorithms to compute them that only utilize trajectory information, they have been widely applied across scientific disciplines, principally for sensitivity analysis and predictions under uncertainty. In this paper, we develop a numerical method to compute the directional derivatives of CLVs along their own directions. Similar to the computation of CLVs, the present method for their derivatives is iterative and analogously uses the second-order derivative of the chaotic map along trajectories, in addition to the Jacobian. We validate the new method on a super-contracting Smale-Williams Solenoid attractor. We also demonstrate the algorithm on several other examples including smoothly perturbed Arnold Cat maps, and the Lorenz attractor, obtaining visualizations of the curvature of each attractor. Furthermore, we reveal a fundamental connection of the CLV self-derivatives with a statistical linear response formula.


title: Dynamic Transmission Conditions for Linear Hyperbolic Systems on Networks

abstract: We study evolution equations on networks that can be modeled by means of hyperbolic systems. We extend our previous findings in \cite{KraMugNic20} by discussing well-posedness under rather general transmission conditions that might be either of stationary or dynamic type - or a combination of both. Our results rely upon semigroup theory and elementary linear algebra. We also discuss qualitative properties of solutions.


title: Loss-tolerant quantum key distribution with a twist

abstract: The security of measurement device-independent quantum key distribution (MDI QKD) relies on a thorough characterization of one's optical source output, especially any noise in the state preparation process. Here, we provide an extension of the loss-tolerant protocol [Phys. Rev. A 90, 052314 (2014)], a leading proof technique for analyzing the security of QKD, to MDI QKD protocols that employ mixed signal states. We first reframe the core of the proof technique, noting its generalization to treat $d$-dimensional signal encodings. Concentrating on the qubit signal state case, we find that the mixed states can be interpreted as providing Alice and Bob with a virtual shield system they can employ to reduce Eve's knowledge of the secret key. We then introduce a simple semidefinite programming method for optimizing the virtual operations they can perform on the shield system to yield a higher key rate, along with an example calculation of fundamentally achievable key rates in the case of random polarization modulation error.


title: Revisiting Helicity Parton Distributions at a Future Electron-Ion Collider

abstract: We studied the impact of future Electron Ion Collider inclusive and semi-inclusive polarized deep inelastic scattering data will have on the determination of the helicity parton distributions. Supplementing the Monte Carlo sampling variant of the DSSV14 analysis with pseudo-data on polarized inclusive and semi-inclusive electron-proton deep inelastic scattering with updated uncertainty estimates and for two different center-of-mass-system energies, $\sqrt{s}=44.7$ GeV and $\sqrt{s}=141.4$ GeV respectively, and on inclusive electron-helium collisions at $\sqrt{s}=115.2$ GeV, we find a remarkable improvement in the determination of the helicity distributions, specially at low parton momentum fraction $x$. While inclusive electron-proton data at the lowest energy configuration constrain significantly the gluon polarization down to $x \sim 10^{-4}$, the higher energy configuration strengthens the constraint and extends it one decade further. On the other hand, semi-inclusive data achieves the hitherto elusive flavor separation for sea quarks that can not be obtained from any other inclusive electromagnetic measurement. Collisions with helium complement inclusive proton measurements, pushing the constraints on the combined quark plus anti-quark $u, d$ and $s$ polarizations to an unprecedented level.


title: Robust adaptive steganography based on dither modulation and modification with re-compression

abstract: Traditional adaptive steganography is a technique used for covert communication with high security, but it is invalid in the case of stego images are sent to legal receivers over networks which is lossy, such as JPEG compression of channels. To deal with such problem, robust adaptive steganography is proposed to enable the receiver to extract secret messages from the damaged stego images. Previous works utilize reverse engineering and compression-resistant domain constructing to implement robust adaptive steganography. In this paper, we adopt modification with re-compression scheme to improve the robustness of stego sequences in stego images. To balance security and robustness, we move the embedding domain to the low frequency region of DCT (Discrete Cosine Transform) coefficients to improve the security of robust adaptive steganography. In addition, we add additional check codes to further reduce the average extraction error rate based on the framework of E-DMAS (Enhancing Dither Modulation based robust Adaptive Steganography). Compared with GMAS (Generalized dither Modulation based robust Adaptive Steganography) and E-DMAS, experiment results show that our scheme can achieve strong robustness and improve the security of robust adaptive steganography greatly when the channel quality factor is known.


title: Scheduling of Real-Time Tasks with Multiple Critical Sections in Multiprocessor Systems

abstract: The performance of multiprocessor synchronization and locking protocols is a key factor to utilize the computation power of multiprocessor systems under real-time constraints. While multiple protocols have been developed in the past decades, their performance highly depends on the task partition and prioritization. The recently proposed Dependency Graph Approach showed its advantages and attracted a lot of interest. It is, however, restricted to task sets where each task has at most one critical section. In this paper, we remove this restriction and demonstrate how to utilize algorithms for the classical job shop scheduling problem to construct a dependency graph for tasks with multiple critical sections. To show the applicability, we discuss the implementation in Litmus^{RT} and report the overheads. Moreover, we provide extensive numerical evaluations under different configurations, which in many situations show significant improvement compared to the state-of-the-art.


title: Wendy, the Good Little Fairness Widget

abstract: The advent of decentralized trading markets introduces a number of new challenges for consensus protocols. In addition to the `usual' attacks -- a subset of the validators trying to prevent disagreement -- there is now the possibility of financial fraud, which can abuse properties not normally considered critical in consensus protocols. We investigate the issues of attackers manipulating or exploiting the order in which transactions are scheduled in the blockchain. More concretely, we look into relative order fairness, i.e., ways we can assure that the relative order of transactions is fair. We show that one of the more intuitive definitions of fairness is impossible to achieve. We then present Wendy, a group of low overhead protocols that can implement different concepts of fairness. Wendy acts as an additional widget for an existing blockchain, and is largely agnostic to the underlying blockchain and its security assumptions. Furthermore, it is possible to apply a the protocol only for a subset of the transactions, and thus run several independent fair markets on the same chain.


title: Dual Graph Embedding for Object-Tag LinkPrediction on the Knowledge Graph

abstract: Knowledge graphs (KGs) composed of users, objects, and tags are widely used in web applications ranging from E-commerce, social media sites to news portals. This paper concentrates on an attractive application which aims to predict the object-tag links in the KG for better tag recommendation and object explanation. When predicting the object-tag links, both the first-order and high-order proximities between entities in the KG propagate essential similarity information for better prediction. Most existing methods focus on preserving the first-order proximity between entities in the KG. However, they cannot capture the high-order proximities in an explicit way, and the adopted margin-based criterion cannot measure the first-order proximity on the global structure accurately. In this paper, we propose a novel approach named Dual Graph Embedding (DGE) that models both the first-order and high-order proximities in the KG via an auto-encoding architecture to facilitate better object-tag relation inference. Here the dual graphs contain an object graph and a tag graph that explicitly depict the high-order object-object and tag-tag proximities in the KG. The dual graph encoder in DGE then encodes these high-order proximities in the dual graphs into entity embeddings. The decoder formulates a skip-gram objective that maximizes the first-order proximity between observed object-tag pairs over the global proximity structure. With the supervision of the decoder, the embeddings derived by the encoder will be refined to capture both the first-order and high-order proximities in the KG for better link prediction. Extensive experiments on three real-world datasets demonstrate that DGE outperforms the state-of-the-art methods.


title: Air Quality Control through Bike Sharing Fleets

abstract: Air quality and the presence of tiny particular matter are crucial factors in human health, especially when considering urban scenarios. In this context, smart mobility coupled with low-cost sensors can create a distributed and sustainable platform for social sensing able to provide pervasive data to citizens and public administrations. Sustainable and eco-aware decisions can then be supported by empirical evidence, resulting in an improved life and city administration. In this paper, we present ArduECO, a simple Arduino-based wireless device able of collecting air quality data. Without loss of generality, we have designed our device as a box that can be installed on a bike; in this way, beyond private bikes, municipalities could exploit their bike sharing fleets as pervasive sensing systems.


title: A Framework for Threats Analysis Using Software-Defined Networking

abstract: The ability to analyze network threats is very important in security research. Traditional approaches, involving sandboxing technology are limited to simulating a single host, missing local network attacks. This issue is addressed by designing a threat analysis framework that uses software-defined networking for simulating arbitrary networks. The presented system offers flexibility, allowing a security researcher to define a virtual network that is able to capture malicious actions and to be restored to the initial state afterwards. Both the framework design and common usage scenarios are described. By providing this framework, we aim to ease the analysis effort in combating cyberthreats.


title: A Type Theory for Strictly Unital $\infty$-Categories

abstract: We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend the theory with a non-trivial definitional equality. This forces some operations to coincide strictly in any model, yielding the strict unit behaviour. We make a detailed investigation of the meta-theoretic properties of this theory. We give a reduction relation that generates definitional equality, and prove that it is confluent and terminating, thus yielding the first decision procedure for equality in a strictly-unital setting. Moreover, we show that our definitional equality relation identifies all terms in a disc context, providing a point comparison with a previously proposed definition of strictly unital $\infty$-category. We also prove a conservativity result, showing that every operation of the strictly unital theory indeed arises from a valid operation in the fully weak theory. From this, we infer that strict unitality is a property of an $\infty$-category rather than additional structure.


title: Collaborative Adversarial Learning for RelationalLearning on Multiple Bipartite Graphs

abstract: Relational learning aims to make relation inference by exploiting the correlations among different types of entities. Exploring relational learning on multiple bipartite graphs has been receiving attention because of its popular applications such as recommendations. How to make efficient relation inference with few observed links is the main problem on multiple bipartite graphs. Most existing approaches attempt to solve the sparsity problem via learning shared representations to integrate knowledge from multi-source data for shared entities. However, they merely model the correlations from one aspect (e.g. distribution, representation), and cannot impose sufficient constraints on different relations of the shared entities. One effective way of modeling the multi-domain data is to learn the joint distribution of the shared entities across domains.In this paper, we propose Collaborative Adversarial Learning (CAL) that explicitly models the joint distribution of the shared entities across multiple bipartite graphs. The objective of CAL is formulated from a variational lower bound that maximizes the joint log-likelihoods of the observations. In particular, CAL consists of distribution-level and feature-level alignments for knowledge from multiple bipartite graphs. The two-level alignment acts as two different constraints on different relations of the shared entities and facilitates better knowledge transfer for relational learning on multiple bipartite graphs. Extensive experiments on two real-world datasets have shown that the proposed model outperforms the existing methods.


title: RIS-Assisted MISO Communication: Optimal Beamformers and Performance Analysis

abstract: We study a multiple-input single-output (MISO) communication system assisted by a reconfigurable intelligent surface (RIS). A base station (BS) having multiple antennas is assumed to be communicating to a single-antenna user equipment (UE), with the help of a RIS. We assume that the system operates in an environment with line-of-sight (LoS) between the BS and RIS, whereas the RIS-UE link experiences Rayleigh fading. We present a closed form expression for the optimal active and passive beamforming vectors at the BS and RIS respectively. Then, by characterizing the statistical properties of the received SNR at the UE, we apply them to derive analytical approximations for different system performance measures, including the outage probability, average achievable rate and average symbol error probability (SEP). Our results, in general, demonstrate that the gain due to RIS can be substantial, and can be significantly greater than the gains reaped by using multiple BS antennas.


title: Experimental quantification of the entanglement of noisy twin beams

abstract: Gradual loss of the entanglement of a twin beam containing around 25 photon pairs with the increasing external noise is experimentally investigated. The entanglement is quantified by the non-classicality depths and the non-classicality counting parameters related to several non-classicality criteria. The reduction of intensity moments of the analyzed multi-mode twin beams to single-mode ones allows to determine the negativity as another quantifier of the entanglement. Both the raw photocount histograms and the reconstructed photon-number distributions are analyzed in parallel.


title: A Genetic Algorithm for Obtaining Memory Constrained Near-Perfect Hashing

abstract: The problem of fast items retrieval from a fixed collection is often encountered in most computer science areas, from operating system components to databases and user interfaces. We present an approach based on hash tables that focuses on both minimizing the number of comparisons performed during the search and minimizing the total collection size. The standard open-addressing double-hashing approach is improved with a non-linear transformation that can be parametrized in order to ensure a uniform distribution of the data in the hash table. The optimal parameter is determined using a genetic algorithm. The paper results show that near-perfect hashing is faster than binary search, yet uses less memory than perfect hashing, being a good choice for memory-constrained applications where search time is also critical.


title: ENZ materials and Anisotropy: Enhancing Nonlinear Optical Interactions at the Nanoscale in Metal/Conducting-Oxide Multilayer Stacks

abstract: Epsilon-near-zero materials are exceptional candidates for studying electrodynamics and nonlinear optical processes at the nanoscale. We demonstrate that by alternating a metal and a highly doped conducting-oxide, the epsilon-near-zero regime may be accessed resulting in an anisotropic, composite nanostructure that significantly enhances nonlinear interactions. Using two independent and different computation techniques we show that the structure can enhance the local field intensity by nearly two orders of magnitudes, in large part due to the onset of the effective anisotropy. The investigation of the multilayer nanostructure using a microscopic, hydrodynamic approach also sheds light on the roles of two competing contributions that are for the most part overlooked, but that can significantly modify linear and nonlinear responses of the structure: nonlocal effects, which blueshift the resulting resonance, and the hot electron nonlinearity, which redshifts the plasma frequency as the effective mass of free electrons increases as a function of incident power density. Finally, we show that, even in absence of second order bulk nonlinearity, second order nonlinear processes are also significantly enhanced by the layered structure.


title: The heavy-elements heritage of the falling sky

abstract: Recent dynamical analysis based on Gaia data have revealed major accretion events in Milky Way's history. Nevertheless, our understanding of the primordial Galaxy is hindered because the bona fide identification of the most metal-poor and correspondently oldest accreted stars remains challenging. Contrary to alpha-elements, neutron-capture elements present unexplained large abundance spreads for low metallicity stars, that could result from a mixture of formation sites. We have analysed the abundances of yttrium, europium, magnesium and iron in Milky Way satellite galaxies, field halo stars and globular clusters. The chemical information has been complemented with orbital parameters based on Gaia data. In particular, the orbit's average inclination has been considered. The [Y/Eu] abundance behaviour with respect to the [Mg/Fe] turnovers for satellite galaxies of different masses reveals that higher luminosity systems, for which the [Mg/Fe] abundance declines at higher metallicities, present enhanced [Y/Eu] abundances, particularly in the [Fe/H] regime between -2.25 and -1.25 dex. In addition, the analysis has uncovered a chemo-dynamical correlation for both globular clusters and field stars of the Galactic halo, accounting for about half of the [Y/Eu] abundance spread. [Y/Eu] under-abundances typical of protracted chemical evolutions, are preferentially observed in polar-like orbits, pointing to a possible anisotropy in the accretion processes. Our results strongly suggest that the observed [Y/Eu] abundance spread in the Milky Way halo could result from a mixture of systems with different masses. They also highlight that both nature and nurture are relevant to the Milky Way formation, since its primordial epochs, opening new pathways for chemical diagnostics of our Galaxy building up.


title: Fragmentation of molecules by virtual photons from remote neighbors

abstract: It is shown that a molecule can dissociate by the energy transferred from a remote neighbor. This neighbor can be an excited neutral or ionic atom or molecule. If it is an atom, the transferred energy is, of course, electronic and in the case of molecules it can also be vibrational. Explicit examples are given which demonstrate that the transfer can be highly efficient at distances where there is no bonding between the transmitter and the dissociating molecule.


title: Pion-kaon femtoscopy and the lifetime of the hadronic phase in Pb$-$Pb collisions at $\sqrt{s_{\rm{NN}}}$ = 2.76 TeV

abstract: In this paper, the first femtoscopic analysis of pion-kaon correlations at the LHC is reported. The analysis was performed on the Pb-Pb collision data at $\sqrt{s_{\rm{NN}}}$ = 2.76 TeV recorded with the ALICE detector. The non-identical particle correlations probe the spatio-temporal separation between sources of different particle species as well as the average source size of the emitting system. The sizes of the pion and kaon sources increase with centrality, and pions are emitted closer to the centre of the system and/or later than kaons. This is naturally expected in a system with strong radial flow and is qualitatively reproduced by hydrodynamic models. ALICE data on pion-kaon emission asymmetry are consistent with (3+1)-dimensional viscous hydrodynamics coupled to a statistical hadronization model, resonance propagation, and decay code THERMINATOR 2 calculation, with an additional time delay between 1 and 2 fm$/c$ for kaons. The delay can be interpreted as evidence for a significant hadronic rescattering phase in heavy-ion collisions at the LHC.


title: Stability results of a singular local interaction elastic/viscoelastic coupled wave equations with time delay

abstract: The purpose of this paper is to investigate the stabilization of a one-dimensional coupled wave equations with non smooth localized viscoelastic damping of Kelvin-Voigt type and localized time delay. Using a general criteria of Arendt-Batty, we show the strong stability of our system in the absence of the compactness of the resolvent. Finally, using frequency domain approach combining with a multiplier method, we prove a polynomial energy decay rate of order 1/t.


title: Palindromic length sequence of the ruler sequence and of the period-doubling sequence

abstract: In this article, we study the palindromic length sequences of the ruler sequence and of the period-doubling sequence. We give a precise formula of the palindromic length sequence of the first one and find a lower bound of the limit superior of the palindromic length sequence of the last one.


title: Closed Non-atomic Resource Allocation Games

abstract: How is efficiency affected when demand excesses over supply are signalled through waiting in queues? We consider a class of congestion games with a nonatomic set of players of a constant mass, based on a formulation of generic linear programs as sequential resource allocation games. Players continuously select activities such that they maximize linear objectives interpreted as time-average of activity rewards, while active resource constraints cause queueing. In turn, the resulting waiting delays enter in the optimization problem of each player. The existence of Wardrop-type equilibria and their properties are investivated by means of a potential function related to proportional fairness. The inefficiency of the equilibria relative to optimal resource allocation is characterized through the price of anarchy which is 2 if all players are of the same type ($\infty$ if not).


title: Less is More: A privacy-respecting Android malware classifier using Federated Learning

abstract: In this paper we present LiM ("Less is More"), a malware classification framework that leverages Federated Learning to detect and classify malicious apps in a privacy-respecting manner. Information about newly installed apps is kept locally on users' devices, so that the provider cannot infer which apps were installed by users. At the same time, input from all users is taken into account in the federated learning process and they all benefit from better classification performance. A key challenge of this setting is that users do not have access to the ground truth (i.e. they cannot correctly identify whether an app is malicious). To tackle this, LiM uses a safe semi-supervised ensemble that maximizes classification accuracy with respect to a baseline classifier trained by the service provider (i.e. the cloud). We implement LiM and show that the cloud server has F1 score of 95%, while clients have perfect recall with only 1 false positive in >100 apps, using a dataset of 25K clean apps and 25K malicious apps, 200 users and 50 rounds of federation. Furthermore, we conduct a security analysis and demonstrate that LiM is robust against both poisoning attacks by adversaries who control half of the clients, and inference attacks performed by an honest-but-curious cloud server. Further experiments with MaMaDroid's dataset confirm resistance against poisoning attacks and a performance improvement due to the federation.


title: Development of highly sensitive nanoscale transition edge sensors for gigahertz astronomy and dark matter search

abstract: Terahertz and sub-terahertz band detection has a key role both in fundamental interactions physics and technological applications, such as medical imaging, industrial quality control and homeland security. In particular, transition edge sensors (TESs) and kinetic inductance detectors (KIDs) are the most employed bolometers and calorimeters in the THz and sub-THz band for astrophysics and astroparticles research. Here, we present the electronic, thermal and spectral characterization of an aluminum/copper bilayer sensing structure that, thanks to its thermal properties and a simple miniaturized design, could be considered a perfect candidate to realize an extremely sensitive class of nanoscale TES (nano-TES) for the giga-therahertz band. Indeed, thanks to the reduced dimensionality of the active region and the efficient Andreev mirror (AM) heat confinement, our devices are predicted to reach state-of-the-art TES performance. In particular, as a bolometer the nano-TES is expected to have a noise equivalent power (NEP) of $5\times10^{-20}$ W/$\sqrt{\mathrm{Hz}}$ and a relaxation time of $\sim 10$ ns for the sub-THz band, typical of cosmic microwave background studies. When operated as single-photon sensor, the devices are expected to show a remarkable frequency resolution of 100 GHz, pointing towards the necessary energy sensitivity requested in laboratory axion search experiments. Finally, different multiplexing schemes are proposed and sized for imaging applications.


title: On a phase--field model of damage for hybrid laminates with cohesive interface

abstract: In this paper we investigate a rate--independent model for hybrid laminates described by a damage phase--field approach on two layers coupled with a cohesive law governing the behaviour of their interface in a one-dimensional setup. For the analysis we adopt the notion of energetic evolution, based on global minimisation of the involved energy. Due to the presence of the cohesive zone, as already emerged in literature, compactness issues lead to the introduction of a fictitious variable replacing the physical one which represents the maximal opening of the interface displacement discontinuity reached during the evolution. A new strategy which allows to recover the equivalence between the fictitious and the real variable under general loading--unloading regimes is illustrated. The argument is based on temporal regularity of energetic evolutions. This regularity is achieved by means of a careful balance between the convexity of the elastic energy of the layers and the natural concavity of the cohesive energy of the interface.


title: Understanding Implicit Regularization in Over-Parameterized Single Index Model

abstract: In this paper, we leverage over-parameterization to design regularization-free algorithms for the high-dimensional single index model and provide theoretical guarantees for the induced implicit regularization phenomenon. Specifically, we study both vector and matrix single index models where the link function is nonlinear and unknown, the signal parameter is either a sparse vector or a low-rank symmetric matrix, and the response variable can be heavy-tailed. To gain a better understanding of the role played by implicit regularization without excess technicality, we assume that the distribution of the covariates is known a priori. For both the vector and matrix settings, we construct an over-parameterized least-squares loss function by employing the score function transform and a robust truncation step designed specifically for heavy-tailed data. We propose to estimate the true parameter by applying regularization-free gradient descent to the loss function. When the initialization is close to the origin and the stepsize is sufficiently small, we prove that the obtained solution achieves minimax optimal statistical rates of convergence in both the vector and matrix cases. In addition, our experimental results support our theoretical findings and also demonstrate that our methods empirically outperform classical methods with explicit regularization in terms of both $\ell_2$-statistical rate and variable selection consistency.


title: Sauter-Schwinger effect in a Bardeen-Cooper-Schrieffer superconductor

abstract: From the sixties a deep and surprising connection has followed the development of superconductivity and quantum field theory. The Anderson-Higgs mechanism and the similarities between the Dirac and Bogoliubov-de Gennes equations are the most intriguing examples. In this last analogy, the massive Dirac particle is identified with a quasiparticle excitation and the fermion mass energy with the superconducting gap energy. Here we follow further this parallelism and show that it predicts an outstanding phenomenon: the superconducting Schwinger effect (SSE). As in the quantum electrodynamics Schwinger effect, where an electron-positron couple is created from the vacuum by an intense electric field, we show that an electrostatic field can generate two coherent excitations from the superconducting ground-state condensate. Differently from the dissipative thermal excitation, these form a new macroscopically coherent and dissipationless state. We discuss how the superconducting state is weakened by the creation of this kind of excitations. In addition to shed a different light and suggest a method for the experimental verification of the Schwinger effect, our results pave the way to the understanding and exploitation of the interaction between superconductors and electric fields.


title: The mod $k$ chromatic index of graphs is $O(k)$

abstract: Let $\chi'_k(G)$ denote the minimum number of colors needed to color the edges of a graph $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1 \pmod k$. Scott [{\em Discrete Math. 175}, 1-3 (1997), 289--291] proved that $\chi'_k(G)\leq5k^2\log k$, and thus settled a question of Pyber [{\em Sets, graphs and numbers} (1992), pp. 583--610], who had asked whether $\chi_k'(G)$ can be bounded solely as a function of $k$. We prove that $\chi'_k(G)=O(k)$, answering affirmatively a question of Scott.


title: Possibilities of direct production of superheavy nuclei with Z=112--118 in different evaporation channels

abstract: The production cross sections of heaviest isotopes of superheavy nuclei with charge numbers 112--118 are predicted in the $xn$--, $pxn$--, and $\alpha xn$--evaporation channels of the $^{48}$Ca-induced complete fusion reactions for future experiments. The estimates of synthesis capabilities are based on a uniform and consistent set of input nuclear data. Nuclear masses, deformations, shell corrections, fission barriers, and decay energies are calculated within the macroscopic-microscopic approach for even-even, odd-Z, and odd-N nuclei. For odd systems, the blocking procedure is used. To find, the ground states via minimization and saddle points using Immersion Water flow technique, multidimensional deformation spaces, containing non-axially are used. As shown, current calculations based on a new set of mass and barriers, agree very well with experimentally known cross-sections, especially in the $3n$--evaporation channel. The dependencies of these predictions on the mass/fission barriers tables and fusion models are discussed. A way is shown to produce directly unknown superheavy isotopes in the $1n$-- or $2n$--evaporation channels. The synthesis of new superheavy isotopes unattainable in reactions with emission of neutrons is proposed in the promising channels with emission of protons ($\sigma_{pxn} \simeq 10-200$ fb) and alphas ($\sigma_{\alpha xn} \simeq 5-500$ fb).


title: Numerical approximation of port-Hamiltonian systems for hyperbolic or parabolic PDEs with boundary control

abstract: We consider the design of structure-preserving discretization methods for the solution of systems of boundary controlled Partial Differential Equations (PDEs) thanks to the port-Hamiltonian formalism. We first provide a novel general structure of infinite-dimensional port-Hamiltonian systems (pHs) for which the Partitioned Finite Element Method (PFEM) straightforwardly applies. The proposed strategy is applied to abstract multidimensional linear hyperbolic and parabolic systems of PDEs. Then we show that instructional model problems based on the wave equation, Mindlin equation and heat equation fit within this unified framework. Secondly we introduce the ongoing project SCRIMP (Simulation and ContRol of Interactions in Multi-Physics) developed for the numerical simulation of infinite-dimensional pHs. SCRIMP notably relies on the FEniCS open-source computing platform for the finite element spatial discretization. Finally, we illustrate how to solve the considered model problems within this framework by carefully explaining the methodology. As additional support, companion interactive Jupyter notebooks are available.


title: A non-algorithmic approach to "programming" quantum computers via machine learning

abstract: Major obstacles remain to the implementation of macroscopic quantum computing: hardware problems of noise, decoherence, and scaling; software problems of error correction; and, most important, algorithm construction. Finding truly quantum algorithms is quite difficult, and many of these genuine quantum algorithms, like Shor's prime factoring or phase estimation, require extremely long circuit depth for any practical application, which necessitates error correction. In contrast, we show that machine learning can be used as a systematic method to construct algorithms, that is, to non-algorithmically "program" quantum computers. Quantum machine learning enables us to perform computations without breaking down an algorithm into its gate "building blocks", eliminating that difficult step and potentially increasing efficiency by simplifying and reducing unnecessary complexity. In addition, our non-algorithmic machine learning approach is robust to both noise and to decoherence, which is ideal for running on inherently noisy NISQ devices which are limited in the number of qubits available for error correction. We demonstrate this using a fundamentally non-classical calculation: experimentally estimating the entanglement of an unknown quantum state. Results from this have been successfully ported to the IBM hardware and trained using a hybrid reinforcement learning method.


title: Correlation of structure and stellar properties of galaxies in Stripe 82

abstract: Establishing a correlation (or lack thereof) between the bimodal colour distribution of galaxies and their structural parameters is crucial to understand the origin of bimodality. To achieve that, we have performed 2D mass-based structural decomposition (bulge+disc) of all disc galaxies (total$=$1263) in the Herschel imaging area of the Stripe 82 region using $K_s$ band images from the VICS82 survey. The scaling relations thus derived are found to reflect the internal kinematics and are employed in combination to select an indubitable set of classical and pseudo bulge hosting disc galaxies. The rest of the galaxies ($<20\%$) are marked as discs with "ambiguous" bulges. Pseudo and classical bulge disc galaxies exhibit clear bimodality in terms of all stellar parameters ($M_*$, sSFR, $r-K_s$). All pseudo bulge disc galaxies are blue and star-forming and all classical bulge disc galaxies are red and quiescent with less than $5\%$ digressions. Ambiguous bulge disc galaxies are intermittent to pseudo and classical bulge disc galaxies in the distribution of all structural and stellar parameters. $\Delta$$\langle\mu_{eb}\rangle$ - based on the placement of bulges on the Kormendy relation - is found to be the most efficient single structural indicator of both bulge type and stellar activity. The placement of ambiguous bulge disc galaxies on scaling relations and fundamental plane, in addition to their peculiar stellar properties suggest that they are dominantly a part of the green valley.


title: Cauchy theory for the water waves system in an analytic framework

abstract: In this paper we consider the Cauchy problem for gravity water waves, in a domain with a flat bottom and in arbitrary space dimension. We prove that if the data are of size $\varepsilon$ in a space of analytic functions which have a holomorphic extension in a strip of size $\sigma$, then the solution exists up to a time of size $C/\varepsilon$ in a space of analytic functions having at time $t$ a holomorphic extension in a strip of size $\sigma - C'\varepsilon t$.


title: PINNeik: Eikonal solution using physics-informed neural networks

abstract: The eikonal equation is utilized across a wide spectrum of science and engineering disciplines. In seismology, it regulates seismic wave traveltimes needed for applications like source localization, imaging, and inversion. Several numerical algorithms have been developed over the years to solve the eikonal equation. However, these methods require considerable modifications to incorporate additional physics, such as anisotropy, and may even breakdown for certain complex forms of the eikonal equation, requiring approximation methods. Moreover, they suffer from computational bottleneck when repeated computations are needed for perturbations in the velocity model and/or the source location, particularly in large 3D models. Here, we propose an algorithm to solve the eikonal equation based on the emerging paradigm of physics-informed neural networks (PINNs). By minimizing a loss function formed by imposing the eikonal equation, we train a neural network to output traveltimes that are consistent with the underlying partial differential equation. We observe sufficiently high traveltime accuracy for most applications of interest. We also demonstrate how the proposed algorithm harnesses machine learning techniques like transfer learning and surrogate modeling to speed up traveltime computations for updated velocity models and source locations. Furthermore, we use a locally adaptive activation function and adaptive weighting of the terms in the loss function to improve convergence rate and solution accuracy. We also show the flexibility of the method in incorporating medium anisotropy and free-surface topography compared to conventional methods that require significant algorithmic modifications. These properties of the proposed PINN eikonal solver are highly desirable in obtaining a flexible and efficient forward modeling engine for seismological applications.


title: Challenges and Prospects of Negawatt Trading in Light of Recent Technological Developments

abstract: With the advancement of the smart grid, the current energy system is moving towards a future where people can buy what they need, sell when they have excess, and can trade the right of buying to other prosumers. While the first two schemes already exist in the market, selling the right of buying, also known as negawatt trading, is something that is yet to be implemented. Here, we review the challenges and prospects of negawatt trading in light of recent technological advancements. Through reviewing a number of emerging technologies, we show that the necessary methodologies that are needed to establish negawatt trading as a feasible energy management scheme in the smart grid are already available. Grid interactive buildings and distributed ledger technologies for instance can ensure active participation and fair pricing. However, some additional challenges need to address for fully functional negawatt trading mechanisms in today's energy market.


title: Rolling backwards can move you forward: on embedding problems in sparse expanders

abstract: We develop a general embedding method based on the Friedman-Pippenger tree embedding technique (1987) and its algorithmic version, essentially due to Aggarwal et al. (1996), enhanced with a roll-back idea allowing to sequentially retrace previously performed embedding steps. We use this method to obtain the following results. -We show that the size-Ramsey number of logarithmically long subdivisions of bounded degree graphs is linear in their number of vertices, settling a conjecture of Pak (2002). -We give a deterministic, polynomial time online algorithm for finding vertex-disjoint paths of prescribed length between given pairs of vertices in an expander graph. Our result answers a question of Alon and Capalbo (2007). -We show that relatively weak bounds on the spectral ratio of $d$-regular graphs force the existence of a topological minor of $K_t$ where $t=(1-o(1))d$. We also exhibit a construction which shows that the theoretical maximum $t=d+1$ cannot be attained even if $\lambda=O(\sqrt{d})$. This answers a question of Fountoulakis, K\"uhn and Osthus (2009).


title: Spatial regularity of the young stellar population in the ring of NGC 6217

abstract: The relative contribution of various physical processes to the spatial and temporal distribution of molecular clouds and star-forming regions in the disks of galaxies has not been fully studied. The spatial regularity in the distribution of the young stellar population in spiral and ring structures is a good test to study this contribution. We investigate photometric properties of the ring and spiral arms in the barred spiral galaxy NGC 6217 based on analysis of GALEX ultraviolet, optical UBVRI and Halpha surface photometry data. The ring in the galaxy is located near the corotation area. A spatial regularity in the distribution of the young stellar population along the galaxy ring was found. The characteristic scale of spacing is about 700 pc. At the same time, we did not find a similar regularity in the distribution of the young stellar population along the spiral arms of NGC 6217. The spatial regularity in concentration of young stellar groupings along spiral arms is a quite rare phenomenon, and it has never been found before in galactic rings.


title: Field of a moving locked charge in classical electrodynamics

abstract: The paradox of a field of a moving locked charge (confined in a closed space) is considered and solved with the use of the integral Maxwell equations. While known formulas obtained for instantaneous fields of charges moving along straight and curved lines are fully correct, measurable quantities are average electric and magnetic fields of locked charges. It is shown that the average electric field of locked charges does not depend on their motion. The average electric field of protons moving in nuclei coincides with that of protons being at rest and having the same spatial distribution of the charge density. The electric field of a twisted electron is equivalent to the field of a centroid with immobile charges which spatial distribution is defined by the wave function of the twisted electron.


title: Steady state running rate sets the speed and accuracy of accumulation of swimming bacterial populations

abstract: We study the chemotaxis of a population of genetically identical swimming bacteria undergoing run and tumble dynamics driven by stochastic switching between clockwise and counterclockwise rotation of the flagellar rotary system. Understanding chemotaxis quantitatively requires that one links the switching rate of the rotary system in a gradient of chemoattractant/repellant to experimental measures of the efficiency of a population of bacteria in moving up/down the gradient. Here we achieve this by using a probabilistic model and show that the response of a population to the gradient is complex. We find the changes to a phenotype (the steady state switching rate in the absence of gradients) affects the average speed of the response as well as the width of the distribution and both must be taken into account to optimise the overall response of the population in complex environments. This is due to the behaviour of individuals in the 'tails' of the distribution. Hence we show that for chemotaxis, the behaviour of atypical individuals can have a significant impact on the fitness of a population.


title: Event Enhanced High-Quality Image Recovery

abstract: With extremely high temporal resolution, event cameras have a large potential for robotics and computer vision. However, their asynchronous imaging mechanism often aggravates the measurement sensitivity to noises and brings a physical burden to increase the image spatial resolution. To recover high-quality intensity images, one should address both denoising and super-resolution problems for event cameras. Since events depict brightness changes, with the enhanced degeneration model by the events, the clear and sharp high-resolution latent images can be recovered from the noisy, blurry and low-resolution intensity observations. Exploiting the framework of sparse learning, the events and the low-resolution intensity observations can be jointly considered. Based on this, we propose an explainable network, an event-enhanced sparse learning network (eSL-Net), to recover the high-quality images from event cameras. After training with a synthetic dataset, the proposed eSL-Net can largely improve the performance of the state-of-the-art by 7-12 dB. Furthermore, without additional training process, the proposed eSL-Net can be easily extended to generate continuous frames with frame-rate as high as the events.