title: Learning to Cache and Caching to Learn: Regret Analysis of Caching Algorithms

abstract: Crucial performance metrics of a caching algorithm include its ability to quickly and accurately learn a popularity distribution of requests. However, a majority of work on analytical performance analysis focuses on hit probability after an asymptotically large time has elapsed. We consider an online learning viewpoint, and characterize the "regret" in terms of the finite time difference between the hits achieved by a candidate caching algorithm with respect to a genie-aided scheme that places the most popular items in the cache. We first consider the Full Observation regime wherein all requests are seen by the cache. We show that the Least Frequently Used (LFU) algorithm is able to achieve order optimal regret, which is matched by an efficient counting algorithm design that we call LFU-Lite. We then consider the Partial Observation regime wherein only requests for items currently cached are seen by the cache, making it similar to an online learning problem related to the multi-armed bandit problem. We show how approaching this "caching bandit" using traditional approaches yields either high complexity or regret, but a simple algorithm design that exploits the structure of the distribution can ensure order optimal regret. We conclude by illustrating our insights using numerical simulations.


title: Dimensional Pricing Based on Dynamism of Load

abstract: Electricity supply is not simply a matter of quantity, but a time lasting service that matches with a wave-like load curve. It logically deserves a pricing based on the curve per se rather than simply integral of load. This paper introduces to price electricity consumption based on dynamism of load, which is an equivalent characterization of load. Orthonormal basis with definable and distinguishable periodicity that can linearly express load curves constitutes a space to capture the dynamism, where coefficients of the basis quantify the dynamism in multiple dimensions. A price function is proposed to map the coefficients to a numerical charge. A pricing model on the space specialized by the Fourier series is derived for the simplest one-source-one-subscriber system and generalized to a single-bus system with multiple sources and multiple subscribers. Examples will demonstrate the use of the proposed pricing and its effectiveness in reflecting the cost of generation to cope with load dynamism and guaranteeing fairness.


title: A note on Taylor expansion of real function

abstract: Let $f(x)$ be a real function which has $(n+1)$-th derivative on an interval $[a, b]$. For any point $x_0\in (a, b)$ and any integer $0\leq k\leq n$, denote by $S_{k,x_0}(x)$ the $k$-th truncation of the Taylor expansion of $f(x)$ at $x_0$, i.e. $$S_{k,x_0}(x)=\sum_{i=0}^k\frac{f^{(i)}(x_0)}{i!}(x-x_0)^i.$$ In this note, we consider the $L_2$-approximation of $f(x)$ by polynomials of degree $\leq k$, we show that $S_{k,x_0}(x)$ is the limit of the best approximations of $f(x)$ on $[x_0-\varepsilon, x_0+\varepsilon]$ as $\varepsilon\to 0$.


title: Stopping Criteria for, and Strong Convergence of, Stochastic Gradient Descent on Bottou-Curtis-Nocedal Functions

abstract: Stopping criteria for Stochastic Gradient Descent (SGD) methods play important roles from enabling adaptive step size schemes to providing rigor for downstream analyses such as asymptotic inference. Unfortunately, current stopping criteria for SGD methods are often heuristics that rely on asymptotic normality results or convergence to stationary distributions, which may fail to exist for nonconvex functions and, thereby, limit the applicability of such stopping criteria. To address this issue, in this work, we rigorously develop two stopping criteria for SGD that can be applied to a broad class of nonconvex functions, which we term Bottou-Curtis-Nocedal functions. Moreover, as a prerequisite for developing these stopping criteria, we prove that the gradient function evaluated at SGD's iterates converges strongly to zero for Bottou-Curtis-Nocedal functions, which addresses an open question in the SGD literature. As a result of our work, our rigorously developed stopping criteria can be used to develop new adaptive step size schemes or bolster other downstream analyses for nonconvex functions.


title: Particle Swarm Optimization: Stability Analysis using N-Informers under Arbitrary Coefficient Distributions

abstract: This paper derives, under minimal modelling assumptions, a simple to use theorem for obtaining both order-$1$ and order-$2$ stability criteria for a common class of particle swarm optimization (PSO) variants. Specifically, PSO variants that can be rewritten as a finite sum of stochastically weighted difference vectors between a particle's position and swarm informers are covered by the theorem. Additionally, the use of the derived theorem allows a PSO practitioner to obtain stability criteria that contains no artificial restriction on the relationship between control coefficients. Almost all previous PSO stability results have provided stability criteria under the restriction that the social and cognitive control coefficients are equal; such restrictions are not present when using the derived theorem. Using the derived theorem, as demonstration of its ease of use, stability criteria are derived without the imposed restriction on the relation between the control coefficients for three popular PSO variants.


title: Hard X-ray properties of radio-selected blazars

abstract: Hard X-ray properties of beamed AGN have been published in the 105-month Swift/BAT catalog, but there have not been any studies carried out so far on a well-defined, radio-selected sample of low-peaked blazars in the hard X-ray band. Using the statistically complete MOJAVE-1 sample, we aim to determine the hard X-ray properties of radio-selected blazars, including the enigmatic gamma-ray-faint type. Also, we aim to determine the contribution of radio-selected low-peaked blazars to the diffuse CXB. We determined photon indices, fluxes, and luminosities in the range of 20 keV - 100 keV of blazars and other extragalactic jets from the MOJAVE-1 sample, derived from the 105-month Swift/BAT survey. We calculated log N-log S distributions and the luminosity functions. The majority of the MOJAVE-1 blazars are found to be hard X-ray emitters albeit many at low count rates. The log N-log S distribution for the hard X-ray emission of radio-selected blazars is clearly non-Euclidean, in contrast to the radio flux density distribution. Approximately 0.2% of the CXB in the 20 keV - 100 keV band can be resolved into MOJAVE-1 blazars. The peculiar log N-log S distribution disparity might be attributed to different evolutionary paths in the X-ray and radio bands, as tested by luminosity-function modeling. X-ray variability can be ruled out as the dominant contributor. Low-peaked blazars constitute an intrinsically different source population in terms of CXB contribution compared to similar studies of X-ray-selected blazars. The hard X-ray flux and spectral index can serve as a good proxy for the gamma-ray detection probability of individual sources. Future observations combining deep X-ray survey, for example, with eROSITA, and targeted gamma-ray observations with CTA can benefit strongly from the tight connection between these high-energy bands for the different blazar sub-classes.


title: Distance and Equivalence between Finite State Machines and Recurrent Neural Networks: Computational results

abstract: The need of interpreting Deep Learning (DL) models has led, during the past years, to a proliferation of works concerned by this issue. Among strategies which aim at shedding some light on how information is represented internally in DL models, one consists in extracting symbolic rule-based machines from connectionist models that are supposed to approximate well their behaviour. In order to better understand how reasonable these approximation strategies are, we need to know the computational complexity of measuring the quality of approximation. In this article, we will prove some computational results related to the problem of extracting Finite State Machine (FSM) based models from trained RNN Language models. More precisely, we'll show the following: (a) For general weighted RNN-LMs with a single hidden layer and a ReLu activation: - The equivalence problem of a PDFA/PFA/WFA and a weighted first-order RNN-LM is undecidable; - As a corollary, the distance problem between languages generated by PDFA/PFA/WFA and that of a weighted RNN-LM is not recursive; -The intersection between a DFA and the cut language of a weighted RNN-LM is undecidable; - The equivalence of a PDFA/PFA/WFA and weighted RNN-LM in a finite support is EXP-Hard; (b) For consistent weight RNN-LMs with any computable activation function: - The Tcheybechev distance approximation is decidable; - The Tcheybechev distance approximation in a finite support is NP-Hard. Moreover, our reduction technique from 3-SAT makes this latter fact easily generalizable to other RNN architectures (e.g. LSTMs/RNNs), and RNNs with finite precision.


title: Swampland Implications of GW170817-compatible Einstein-Gauss-Bonnet Gravity

abstract: We revisit the Einstein-Gauss-Bonnet theory in view of the GW170817 event, which compels that the gravitational wave speed is equal to $c_T^2=1$ in natural units. We use an alternative approach compared to one previous work of ours, which enables us to express all the slow-roll indices and the observational indices as functions of the scalar field. Using our formalism we investigate if the Swampland criteria are satisfied for the Einstein-Gauss-Bonnet theory and as we demonstrate, the Swampland criteria are satisfied for quite general forms of the potential and the Gauss-Bonnet coupling function $\xi (\phi)$, if the slow-roll conditions are assumed to hold true.


title: Novel Meta-Heuristic Model for Discrimination between Iron Deficiency Anemia and B-Thalassemia with CBC Indices Based on Dynamic Harmony Search

abstract: In recent decades, attention has been directed at anemia classification for various medical purposes, such as thalassemia screening and predicting iron deficiency anemia (IDA). In this study, a new method has been successfully tested for discrimination between IDA and \b{eta}-thalassemia trait (\b{eta}-TT). The method is based on a Dynamic Harmony Search (DHS). Complete blood count (CBC), a fast and inexpensive laboratory test, is used as the input of the system. Other models, such as a genetic programming method called structured representation on genetic algorithm in non-linear function fitting (STROGANOFF), an artificial neural network (ANN), an adaptive neuro-fuzzy inference system (ANFIS), a support vector machine (SVM), k-nearest neighbor (KNN), and certain traditional methods, are compared with the proposed method.


title: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics

abstract: In database-as-a-service platforms, automated verification of query equivalence helps eliminate redundant computation in the form of overlapping sub-queries. Researchers have proposed two pragmatic techniques to tackle this problem. The first approach consists of reducing the queries to algebraic expressions and proving their equivalence using an algebraic theory. The limitations of this technique are threefold. It cannot prove the equivalence of queries with significant differences in the attributes of their relational operators. It does not support certain widely-used SQL features. Its verification procedure is computationally intensive. The second approach transforms this problem to a constraint satisfaction problem and leverages a general-purpose solver to determine query equivalence. This technique consists of deriving the symbolic representation of the queries and proving their equivalence by determining the query containment relationship between the symbolic expressions. While the latter approach addresses all the limitations of the former technique, it only proves the equivalence of queries under set semantics. However, in practice, database applications use bag semantics. In this paper, we introduce a novel symbolic approach for proving query equivalence under bag semantics. We transform the problem of proving query equivalence under bag semantics to that of proving the existence of a bijective, identity map between tuples returned by the queries on all valid inputs. We implement this symbolic approach in SPES and demonstrate that SPES proves the equivalence of a larger set of query pairs (95/232) under bag semantics compared to the state-of-the-art tools based on algebraic (30/232) and symbolic approaches (67/232) under set and bag semantics, respectively. Furthermore, SPES is 3X faster than the symbolic tool that proves equivalence under set semantics.


title: Medical-based Deep Curriculum Learning for Improved Fracture Classification

abstract: Current deep-learning based methods do not easily integrate to clinical protocols, neither take full advantage of medical knowledge. In this work, we propose and compare several strategies relying on curriculum learning, to support the classification of proximal femur fracture from X-ray images, a challenging problem as reflected by existing intra- and inter-expert disagreement. Our strategies are derived from knowledge such as medical decision trees and inconsistencies in the annotations of multiple experts, which allows us to assign a degree of difficulty to each training sample. We demonstrate that if we start learning "easy" examples and move towards "hard", the model can reach a better performance, even with fewer data. The evaluation is performed on the classification of a clinical dataset of about 1000 X-ray images. Our results show that, compared to class-uniform and random strategies, the proposed medical knowledge-based curriculum, performs up to 15% better in terms of accuracy, achieving the performance of experienced trauma surgeons.


title: Regularizing effect of homogeneous evolution equations with perturbation

abstract: Since the pioneering works by Aronson & B\'enilan [C. R. Acad. Sci. Paris S\'er., 1979] and B\'enilan & Crandall [Johns Hopkins Univ. Press, 1981], it is well-known that first-order evolution problems governed by a nonlinear but homogeneous operator admit the smoothing effect that every corresponding mild solution is Lipschitz continuous at every positive time. Moreover, if the underlying Banach space has the Radon-Nikod\'ym property, then these mild solution is a.e. differentiable, and the time-derivative satisfies global and point-wise bounds. In this paper, we show that these results remain true if the homogeneous operator is perturbed by a Lipschitz continuous mapping. More precisely, we establish global $L^1$ Aronson-B\'enilan type estimates and point-wise Aronson-B\'enilan type estimates. We apply our theory to derive global $L^q$-$L^{\infty}$-estimates on the time-derivative of the perturbed diffusion problem governed by the Dirichlet-to-Neumann operator associated with the $p$-Laplace-Beltrami operator and lower-order terms on a compact Riemannian manifold with a Lipschitz boundary.


title: Nonlinear Charge Transport in InGaAs Nanowires at Terahertz Frequencies

abstract: We probe the electron transport properties in the shell of GaAs/In0.2Ga0.8As core/shell nanowires at high electric fields using optical pump / THz probe spectroscopy with broadband THz pulses and peak electric fields up to 0.6 MV/cm. The plasmon resonance of the photoexcited charge carriers exhibits a systematic redshift and a suppression of its spectral weight for THz driving fields exceeding 0.4 MV/cm. This behavior is attributed to the intervalley electron scattering resulting in the increase of the average electron effective mass and the corresponding decrease of the electron mobility by about 2 times at the highest fields. We demonstrate that the increase of the effective mass is non-uniform along the nanowires and takes place mainly in their middle part, leading to a spatially inhomogeneous carrier response. Our results quantify the nonlinear transport regime in GaAs-based nanowires and show their high potential for development of nano-devices operating at THz frequencies.


title: Analysis of Kerr comb generation in silicon microresonators under the influence of two-photon absorption and free-carrier absorption

abstract: Kerr frequency comb generation relies on dedicated waveguide platforms that are optimized towards ultralow loss while offering comparatively limited functionality restricted to passive building blocks. In contrast to that, the silicon-photonic platform offers a highly developed portfolio of high-performance devices, but is deemed to be inherently unsuited for Kerr comb generation at near-infrared (NIR) telecommunication wavelengths due to strong two-photon absorption (TPA) and subsequent free-carrier absorption (FCA). Here we present a theoretical investigation that quantifies the impact of TPA and FCA on Kerr comb formation and that is based on a modified version of the Lugiato-Lefever equation (LLE). We find that silicon microresonators may be used for Kerr comb generation in the NIR, provided that the dwell time of the TPA-generated free-carriers in the waveguide core is reduced by a reverse-biased p-i-njunction and that the pump parameters are chosen appropriately. We validate our analytical predictions with time integrations of the LLE, and we present a specific design of a silicon microresonator that may even support formation of dissipative Kerr soliton combs.


title: Higher rho invariant and delocalized eta invariant at infinity

abstract: In this paper, we introduce several new secondary invariants for Dirac operators on a complete Riemannian manifold with a uniform positive scalar curvature metric outside a compact set and use these secondary invariants to establish a higher index theorem for the Dirac operators. We apply our theory to study the secondary invariants for a manifold with corner with positive scalar curvature metric on each boundary face.


title: An Adaptive Periodic-Disturbance Observer for Periodic-Disturbance Suppression

abstract: Repetitive operations are widely conducted by automatic machines in industry. Periodic disturbances induced by the repetitive operations must be compensated to achieve precise functioning. In this paper, a periodic-disturbance observer (PDOB) based on the disturbance observer (DOB) structure is proposed. The PDOB compensates a periodic disturbance including the fundamental wave and harmonics by using a time delay element. Furthermore, an adaptive PDOB is proposed for the compensation of frequency-varying periodic disturbances. An adaptive notch filter (ANF) is used in the adaptive PDOB to estimate the fundamental frequency of the periodic disturbance. Simulations compare the proposed methods with a repetitive controller (RC) and the DOB. Practical performances are validated in experiments using a multi-axis manipulator. The proposal provides a new framework based on the DOB structure to design controllers using a time delay element.


title: Ferromagnetism of LaCoO$_3$ films

abstract: We study ferromagnetic ordering and microscopic inhomogeneity in tensile strained LaCoO$_3$ using numerical simulations. We argue that both phenomena originate from effective superexchange interactions between atoms in the high-spin (HS) state mediated by the intermediate-spin excitations. We derive a model of the HS excitation as a bare atomic state dressed by electron and electron-hole fluctuations on the neighbor atoms. We construct a series of approximations to account for electron correlation effects responsible for HS fluctuations and magnetic exchange. The obtained amplitudes and directional dependence of magnetic couplings between the "dressed" HS states show a qualitative agreement with experimental observations and provide a new physical picture of LaCoO$_3$ films.


title: Perovskite-type cobalt oxide at the multiferroic Co/Pb Zr$_{0.2}$Ti$_{0.8}$O$_{3}$ interface

abstract: Magnetic Tunnel Junctions whose basic element consists of two ferromagnetic electrodes separated by an insulating non-magnetic barrier have become intensely studied and used in non-volatile spintronic devices. Since ballistic tunnel of spin-polarized electrons sensitively depends on the chemical composition and the atomic geometry of the lead/barrier interfaces their proper design is a key issue for achieving the required functionality of the devices such as e.g. a high tunnel magneto resistance. An important leap in the development of novel spintronic devices is to replace the insulating barrier by a ferroelectric which adds new additional functionality induced by the polarization direction in the barrier giving rise to the tunnel electro resistance (TER). The multiferroic tunnel junction Co/PbZr$_{0.2}$Ti$_{0.8}$O$_{3}$/La$_{2/3}$Sr$_{1/3}$MnO$_3$ (Co/PZT/LSMO) represents an archetype system for which - despite intense studies - no consensus exists for the interface geometry and their effect on transport properties. Here we provide the first analysis of the Co/PZT interface at the atomic scale using complementary techniques, namely x-ray diffraction and extended x-ray absorption fine structure in combination with x-ray magnetic circular dichroism and ab-initio calculations. The Co/PZT interface consists of one perovskite-type cobalt oxide unit cell [CoO$_{2}$/CoO/Ti(Zr)O$_{2}$] on which a locally ordered cobalt film grows. Magnetic moments (m) of cobalt lie in the range between m=2.3 and m=2.7$\mu_{B}$, while for the interfacial titanium atoms they are small (m=+0.005 $\mu_{B}$) and parallel to cobalt which is attributed to the presence of the cobalt-oxide interface layers. These insights into the atomistic relation between interface and magnetic properties is expected to pave the way for future high TER devices.


title: Scheduling for Cellular Federated Edge Learning with Importance and Channel Awareness

abstract: In cellular federated edge learning (FEEL), multiple edge devices holding local data jointly train a neural network by communicating learning updates with an access point without exchanging their data samples. With very limited communication resources, it is beneficial to schedule the most informative local learning updates. In this paper, a novel scheduling policy is proposed to exploit both diversity in multiuser channels and diversity in the "importance" of the edge devices' learning updates. First, a new probabilistic scheduling framework is developed to yield unbiased update aggregation in FEEL. The importance of a local learning update is measured by its gradient divergence. If one edge device is scheduled in each communication round, the scheduling policy is derived in closed form to achieve the optimal trade-off between channel quality and update importance. The probabilistic scheduling framework is then extended to allow scheduling multiple edge devices in each communication round. Numerical results obtained using popular models and learning datasets demonstrate that the proposed scheduling policy can achieve faster model convergence and higher learning accuracy than conventional scheduling policies that only exploit a single type of diversity.


title: Beyond privacy regulations: an ethical approach to data usage in transportation

abstract: With the exponential advancement of business technology in recent years, data-driven decision making has become the core of most industries. With the rise of new privacy regulations such as the General Data Protection Regulation in the European Union and the California Consumer Privacy Act in the United States, companies dealing with personal data had to conform to these changes and adapt their processes accordingly. This obviously included the transportation industry with their use of location data. At the other side of the spectrum, users still expect a form of personalization, without having to compromise on their privacy. For this reason, companies across the industries started applying privacy-enhancing or preserving technologies at scale in their products as a competitive advantage. In this paper, we describe how Federated Machine Learning can be applied to the transportation sector. We present use-cases for which Federated Learning is beneficial in transportation and the new product lifecycle that is required for using such a technology. We see Federated Learning as a method that enables us to process privacy-sensitive data, while respecting customer's privacy and one that guides us beyond privacy-regulations and into the world of ethical data-usage.


title: Implementable Hybrid Entanglement Witness

abstract: Hybrid encoding of quantum information is a promising approach towards the realisation of optical quantum protocols. It combines advantages of continuous variables encoding, such as high efficiencies, with those of discrete variables, such as high fidelities. In particular, entangled hybrid states were shown to be a valuable ressource for quantum information protocols. In this work, we present a hybrid entanglement witness that can be implemented on currently available experiments and is robust to noise currently observed in quantum optical set-ups. The proposed witness is based on measurements of genuinely hybrid observables. The noise model we consider is general. It is formally characterised with Kraus operators since the considered hybrid system can be expressed in a finite dimension basis. A practical advantage of the witness is that it can be tested by measuring just a few experimentally available observables.


title: Containment efficiency and control strategies for the Corona pandemic costs

abstract: The rapid spread of the Coronavirus (COVID-19) confronts policy makers with the problem of measuring the effectiveness of containment strategies, balancing public health considerations with the economic costs of social distancing measures. We introduce a modified epidemic model that we name the controlled-SIR model, in which the disease reproduction rate evolves dynamically in response to political and societal reactions. An analytic solution is presented. The model reproduces official COVID-19 cases counts of a large number of regions and countries that surpassed the first peak of the outbreak. A single unbiased feedback parameter is extracted from field data and used to formulate an index that measures the efficiency of containment strategies (the CEI index). CEI values for a range of countries are given. For two variants of the controlled-SIR model, detailed estimates of the total medical and socio-economic costs are evaluated over the entire course of the epidemic. Costs comprise medical care cost, the economic cost of social distancing, as well as the economic value of lives saved. Under plausible parameters, strict measures fare better than a hands-off policy. Strategies based on current case numbers lead to substantially higher total costs than strategies based on the overall history of the epidemic.

categories: physics.soc-ph econ.GN q-bio.PE q-fin.EC


title: Physical properties and thermal stability of Fe5GeTe2 single crystals

abstract: The magnetic and transport properties of Fe-deficient Fe5GeTe2 single crystals (Fe5-xGeTe2 with x~0.3) were studied and the impact of thermal processing was explored. Quenching crystals from the growth temperature has been previously shown to produce a metastable state that undergoes a strongly hysteretic first-order transition upon cooling below ~100K. The first-order transition impacts the magnetic properties, yielding an enhancement in the Curie temperature T_C from 270 to 310K. In the present work, T_HT ~550K has been identified as the temperature above which metastable crystals are obtained via quenching. Diffraction experiments reveal a structural change at this temperature, and significant stacking disorder occurs when samples are slowly cooled through this temperature range. The transport properties are demonstrated to be similar regardless of the crystal's thermal history. The scattering of charge carriers appears to be dominated by moments fluctuating on the Fe(1) sublattice, which remain dynamic down to 100-120K. Maxima in the magnetoresistance and anomalous Hall resistance are observed near 120K. The Hall and Seebeck coefficients are also impacted by magnetic ordering on the Fe(1) sublattice. The data suggest that both electrons and holes contribute to conduction above 120K, but that electrons dominate at lower temperature when all of the Fe sublattices are magnetically ordered. This study demonstrates a strong coupling of the magnetism and transport properties in Fe5-xGeTe2 and complements the previous results that demonstrated strong magnetoelastic coupling as the Fe(1) moments order. The published version of this manuscript is DOI:10.1103/PhysRevMaterials.3.104401 (2019)


title: Similarity solutions and conservation laws for the Beam Equations: a complete study

abstract: We study the similarity solutions and we determine the conservation laws of the various forms of beam equation, such as, Euler-Bernoulli, Rayleigh and Timoshenko-Prescott. The travelling-wave reduction leads to solvable fourth-order odes for all the forms. In addition, the reduction based on the scaling symmetry for the Euler-Bernoulli form leads to certain odes for which there exists zero symmetries. Therefore, we conduct the singularity analysis to ascertain the integrability. We study two reduced odes of order second and third. The reduced second-order ode is a perturbed form of Painlev\'e-Ince equation, which is integrable and the third-order ode falls into the category of equations studied by Chazy, Bureau and Cosgrove. Moreover, we derived the symmetries and its corresponding reductions and conservation laws for the forced form of the above mentioned beam forms. The Lie Algebra is mentioned explicitly for all the cases.


title: Quality of Service Aware Traffic Management for Aircraft Communications

abstract: In-flight Internet connectivity is a necessity for aircraft passengers as well as aircraft systems. It is challenging to satisfy required quality of service (QoS) levels for flows within aircraft due to the large number of users and the highly varying air to ground (A2G) link capacities composed of satellite and direct air to ground communication (DA2GC). To represent service quality variations, we propose models for the generated traffic flows from aircraft and variations in A2G links. We present three different forwarding schemes based on priority, delay requirements and history of the dropped flows metrics. Forwarding schemes schedule the flows in real time by choosing either satellite or direct air to ground link depending on the delay and capacity requirements of flows to maximize the number of accepted flows with required QoS guarantees in terms of dropped packets and delay. Also, the effect of local caching is studied to fully satisfy the QoS requirement of flows in simulated flights. We implement the forwarding procedures and caching in ns-3 and test their performance in a current connectivity scenario of 100 Mbps capacity for both the satellite spot and ground base station in a one-hour flight. Our study shows that although the forwarding procedure based on a combination of priority and delay requirement has relatively better performance than the other schemes, which are based on priority only and weighted average of all metrics, in dropped packet percentage and delay, the current connectivity setup is not able to satisfy all QoS requirements. Furthermore, at least 0.9 cache hit rate is required to satisfy all flows for at least 50% of simulated flights.


title: Multigap diffraction cross sections. Problems in eikonal methods for the pomeron unitarization

abstract: Large rapidity gap diffraction processes are considered in multi-channel eikonal models. It is shown that shadow corrections to over-fast rising contribution of the input supercritical pomeron (with $\alpha(0)>1$), originating from the pomeron rescatterings or, equivalently, accounting survival probability factor, do not solve the Finkelstein-Kajantie problem. Therefore, in our opinion, another methods of unitarization of supercritical pomeron should be developed.


title: Soft-wired long-term memory in a natural recurrent neuronal network

abstract: Neuronal networks provide living organisms with the ability to process information. They are also characterized by abundant recurrent connections, which give rise to strong feedback that dictates their dynamics and endows them with fading (short-term) memory. The role of recurrence in long-term memory, on the other hand, is still unclear. Here we use the neuronal network of the roundworm C. elegans to show that recurrent architectures in living organisms can exhibit long-term memory without relying on specific hard-wired modules. A genetic algorithm reveals that the experimentally observed dynamics of the worm's neuronal network exhibits maximal complexity (as measured by permutation entropy). In that complex regime, the response of the system to repeated presentations of a time-varying stimulus reveals a consistent behavior that can be interpreted as soft-wired long-term memory.

categories: q-bio.NC cond-mat.dis-nn nlin.CD physics.bio-ph


title: Unique Chinese Linguistic Phenomena

abstract: Linguistics holds unique characteristics of generality, stability, and nationality, which will affect the formulation of extraction strategies and should be incorporated into the relation extraction. Chinese open relation extraction is not well-established, because of the complexity of Chinese linguistics makes it harder to operate, and the methods for English are not compatible with that for Chinese. The diversities between Chinese and English linguistics are mainly reflected in morphology and syntax.


title: Exploration in Action Space

abstract: Parameter space exploration methods with black-box optimization have recently been shown to outperform state-of-the-art approaches in continuous control reinforcement learning domains. In this paper, we examine reasons why these methods work better and the situations in which they are worse than traditional action space exploration methods. Through a simple theoretical analysis, we show that when the parametric complexity required to solve the reinforcement learning problem is greater than the product of action space dimensionality and horizon length, exploration in action space is preferred. This is also shown empirically by comparing simple exploration methods on several toy problems.


title: Current state of nonlinear-type time-frequency analysis and applications to high-frequency biomedical signals

abstract: Motivated by analyzing complicated time series, nonlinear-type time-frequency analysis became an active research topic in the past decades. Those developed tools have been applied to various problems. In this article, we review those developed tools and summarize their applications to high-frequency biomedical signals.


title: Deep Learning Approach for Intelligent Named Entity Recognition of Cyber Security

abstract: In recent years, the amount of Cyber Security data generated in the form of unstructured texts, for example, social media resources, blogs, articles, and so on has exceptionally increased. Named Entity Recognition (NER) is an initial step towards converting this unstructured data into structured data which can be used by a lot of applications. The existing methods on NER for Cyber Security data are based on rules and linguistic characteristics. A Deep Learning (DL) based approach embedded with Conditional Random Fields (CRFs) is proposed in this paper. Several DL architectures are evaluated to find the most optimal architecture. The combination of Bidirectional Gated Recurrent Unit (Bi-GRU), Convolutional Neural Network (CNN), and CRF performed better compared to various other DL frameworks on a publicly available benchmark dataset. This may be due to the reason that the bidirectional structures preserve the features related to the future and previous words in a sequence.


title: Deep Learning Approach for Enhanced Cyber Threat Indicators in Twitter Stream

abstract: In recent days, the amount of Cyber Security text data shared via social media resources mainly Twitter has increased. An accurate analysis of this data can help to develop cyber threat situational awareness framework for a cyber threat. This work proposes a deep learning based approach for tweet data analysis. To convert the tweets into numerical representations, various text representations are employed. These features are feed into deep learning architecture for optimal feature extraction as well as classification. Various hyperparameter tuning approaches are used for identifying optimal text representation method as well as optimal network parameters and network structures for deep learning models. For comparative analysis, the classical text representation method with classical machine learning algorithm is employed. From the detailed analysis of experiments, we found that the deep learning architecture with advanced text representation methods performed better than the classical text representation and classical machine learning algorithms. The primary reason for this is that the advanced text representation methods have the capability to learn sequential properties which exist among the textual data and deep learning architectures learns the optimal features along with decreasing the feature size.


title: The fourth moment of Dirichlet L-functions along the critical line

abstract: For a positive integer $q\not\equiv 2 \pmod 4$, this work considers the fourth moment of Dirichlet $L$-functions averaged over both $t\in [0,T]$ and primitive characters to modulus $q$. An asymptotic formula with a power saving from both $q$-aspect and $t$-aspect in the error term is obtained.


title: Optimised Convolutional Neural Networks for Heart Rate Estimation and Human Activity Recognition in Wrist Worn Sensing Applications

abstract: Wrist-worn smart devices are providing increased insights into human health, behaviour and performance through sophisticated analytics. However, battery life, device cost and sensor performance in the face of movement-related artefact present challenges which must be further addressed to see effective applications and wider adoption through commoditisation of the technology. We address these challenges by demonstrating, through using a simple optical measurement, photoplethysmography (PPG) used conventionally for heart rate detection in wrist-worn sensors, that we can provide improved heart rate and human activity recognition (HAR) simultaneously at low sample rates, without an inertial measurement unit. This simplifies hardware design and reduces costs and power budgets. We apply two deep learning pipelines, one for human activity recognition and one for heart rate estimation. HAR is achieved through the application of a visual classification approach, capable of robust performance at low sample rates. Here, transfer learning is leveraged to retrain a convolutional neural network (CNN) to distinguish characteristics of the PPG during different human activities. For heart rate estimation we use a CNN adopted for regression which maps noisy optical signals to heart rate estimates. In both cases, comparisons are made with leading conventional approaches. Our results demonstrate a low sampling frequency can achieve good performance without significant degradation of accuracy. 5 Hz and 10 Hz were shown to have 80.2% and 83.0% classification accuracy for HAR respectively. These same sampling frequencies also yielded a robust heart rate estimation which was comparative with that achieved at the more energy-intensive rate of 256 Hz.


title: Dynamic Virtual Resource Allocation for 5G and Beyond Network Slicing

abstract: The fifth generation and beyond wireless communication will support vastly heterogeneous services and use demands such as massive connection, low latency and high transmission rate. Network slicing has been envisaged as an efficient technology to meet these diverse demands. In this paper, we propose a dynamic virtual resources allocation scheme based on the radio access network (RAN) slicing for uplink communications to ensure the quality-of-service (QoS). To maximum the weighted-sum transmission rate performance under delay constraint, formulate a joint optimization problem of subchannel allocation and power control as an infinite-horizon average-reward constrained Markov decision process (CMDP) problem. Based on the equivalent Bellman equation, the optimal control policy is first derived by the value iteration algorithm. However, the optimal policy suffers from the widely known curse-of-dimensionality problem. To address this problem, the linear value function approximation (approximate dynamic programming) is adopted. Then, the subchannel allocation Q-factor is decomposed into the per-slice Q-factor. Furthermore, the Q-factor and Lagrangian multipliers are updated by the use of an online stochastic learning algorithm. Finally, simulation results reveal that the proposed algorithm can meet the delay requirements and improve the user transmission rate compared with baseline schemes.


title: Deep Learning for Radio Resource Allocation with Diverse Quality-of-Service Requirements in 5G

abstract: To accommodate diverse Quality-of-Service (QoS) requirements in the 5th generation cellular networks, base stations need real-time optimization of radio resources in time-varying network conditions. This brings high computing overheads and long processing delays. In this work, we develop a deep learning framework to approximate the optimal resource allocation policy that minimizes the total power consumption of a base station by optimizing bandwidth and transmit power allocation. We find that a fully-connected neural network (NN) cannot fully guarantee the QoS requirements due to the approximation errors and quantization errors of the numbers of subcarriers. To tackle this problem, we propose a cascaded structure of NNs, where the first NN approximates the optimal bandwidth allocation, and the second NN outputs the transmit power required to satisfy the QoS requirement with given bandwidth allocation. Considering that the distribution of wireless channels and the types of services in the wireless networks are non-stationary, we apply deep transfer learning to update NNs in non-stationary wireless networks. Simulation results validate that the cascaded NNs outperform the fully connected NN in terms of QoS guarantee. In addition, deep transfer learning can reduce the number of training samples required to train the NNs remarkably.


title: A Hybrid Residual Dilated LSTM end Exponential Smoothing Model for Mid-Term Electric Load Forecasting

abstract: This work presents a hybrid and hierarchical deep learning model for mid-term load forecasting. The model combines exponential smoothing (ETS), advanced Long Short-Term Memory (LSTM) and ensembling. ETS extracts dynamically the main components of each individual time series and enables the model to learn their representation. Multi-layer LSTM is equipped with dilated recurrent skip connections and a spatial shortcut path from lower layers to allow the model to better capture long-term seasonal relationships and ensure more efficient training. A common learning procedure for LSTM and ETS, with a penalized pinball loss, leads to simultaneous optimization of data representation and forecasting performance. In addition, ensembling at three levels ensures a powerful regularization. A simulation study performed on the monthly electricity demand time series for 35 European countries confirmed the high performance of the proposed model and its competitiveness with classical models such as ARIMA and ETS as well as state-of-the-art models based on machine learning.


title: On the privacy of a code-based single-server computational PIR scheme

abstract: We show that the single-server computational PIR protocol proposed by Holzbaur, Hollanti and Wachter-Zeh in 2020 is not private, in the sense that the server can recover in polynomial time the index of the desired file with very high probability. The attack relies on the following observation. Removing rows of the query matrix corresponding to the desired file yields a large decrease of the dimension over $\mathbb{F}_q$ of the vector space spanned by the rows of this punctured matrix. Such a dimension loss only shows up with negligible probability when rows unrelated to the requested file are deleted.


title: Divisible design digraphs and association schemes

abstract: Divisible design digraphs are constructed from skew balanced generalized weighing matrices and generalized Hadamard matrices. Commutative and non-commutative association schemes are shown to be attached to the constructed divisible design digraphs.


title: Flickering of the jet-ejecting symbiotic star MWC 560

abstract: We analyse optical photometric data of short term variability (flickering) of the accreting white dwarf in the jet-ejecting symbiotic star MWC560. The observations are obtained in 17 nights during the period November 2011 - October 2019. The colour-magnitude diagram shows that the hot component of the system becomes redder as it gets brighter. For the flickering source we find that it has colour 0.14 < B-V < 0.40, temperature in the range 6300 < T_fl < 11000 K, and radius 1.2 < R_fl < 18 Rsun. We find a strong correlation (correlation coefficient 0.76, significance < 0.001) between B band magnitude and the average radius of the flickering source - as the brightness of the system increases the size of the flickering source also increases. The estimated temperature is similar to that of the bright spot of cataclysmic variables. In 2019 the flickering is missing, and the B-V colour of the hot component becomes bluer.


title: Realization of vortex pair and its application in optical tweezers

abstract: As one fundamental property of light, the orbital angular momentum (OAM) of photon has elicited widespread interest. Here, we theoretically demonstrate that the OAM conversion of light without spin state can occur in homogeneous and isotropic medium when a line-variant locally linearly polarized (LVLLP) beam is strongly focused by a high numerical aperture (NA) objective lens. The high-NA objective lens here acts as a modulator that enables the spin-to-orbital OAM conversion of the two components of left and right circular vibrations of the input SDLLP beam spatially separated. Hence, partial conversion from linear state to conjugate OAM states takes place, resulting in helical phases with opposite directions for the longitudinal component of the two foci. Furthermore, such customized light field can be used to identify and separate chiral objects in optical tweezers.


title: Quasinormal modes of the Dirac field in the novel 4D Einstein-Gauss-Bonnet gravity

abstract: While quasinormal modes of bosonic fields for the non-trivial $4$-dimensional Einstein-Gauss-Bonnet theory of gravity suggested in [D.~Glavan and C.~Lin, Phys.\ Rev.\ Lett.\ {\bf 124}, 081301 (2020)] have been recently studied, there is no such study for fermionic fields. Here we calculate quasinormal modes of the Dirac field for spherically symmetric asymptotically flat black hole in this novel $4D$ Einstein-Gauss-Bonnet theory. The values of the quasinormal frequencies, calculated by the 6th order WKB method with Pad\'{e} approximants and the time-domain integration, show that the real part of the quasinormal modes is considerably increased, while the damping rate is usually decreasing when the coupling constant is growing.


title: Archiving and referencing source code with Software Heritage

abstract: Software, and software source code in particular, is widely used in modern research. It must be properly archived, referenced, described and cited in order to build a stable and long lasting corpus of scientic knowledge. In this article we show how the Software Heritage universal source code archive provides a means to fully address the first two concerns, by archiving seamlessly all publicly available software source code, and by providing intrinsic persistent identifiers that allow to reference it at various granularities in a way that is at the same time convenient and effective. We call upon the research community to adopt widely this approach.


title: Regularity results for nonlocal evolution Venttsel' problems

abstract: We consider parabolic nonlocal Venttsel' problems in polygonal and piecewise smooth two-dimensional domains and study existence, uniqueness and regularity in (anisotropic) weighted Sobolev spaces of the solution.


title: The core growth of strongly synchronizing transducers

abstract: We introduce the notion of `core growth rate' for strongly synchronizing transducers. We explore some elementary properties of the core growth rate and give examples of transducers with exponential core growth rate. We conjecture that all strongly synchronizing transducers which generate an automaton group of infinite order have exponential core growth rate. There is a connection to the group of automorphisms of the one-sided shift. More specifically, the results of this article are related to the question of whether or not there can exist infinite order automorphisms of the one-sided shift with infinitely many roots.


title: Tracing Contacts to Control the COVID-19 Pandemic

abstract: The control of the COVID-19 pandemic requires a considerable reduction of contacts mostly achieved by imposing movement control up to the level of enforced quarantine. This has lead to a collapse of substantial parts of the economy. Carriers of the disease are infectious roughly 3 days after exposure to the virus. First symptoms occur later or not at all. As a consequence tracing the contacts of people identified as carriers is essential for controlling the pandemic. This tracing must work everywhere, in particular indoors, where people are closest to each other. Furthermore, it should respect people's privacy. The present paper presents a method to enable a thorough traceability with very little risk on privacy. In our opinion, the latter capabilities are necessary to control the pandemic during a future relaunch of our economy.


title: Scheduling Parallel-Task Jobs Subject to Packing and Placement Constraints

abstract: Motivated by modern parallel computing applications, we consider the problem of scheduling parallel-task jobs with heterogeneous resource requirements in a cluster of machines. Each job consists of a set of tasks that can be processed in parallel, however, the job is considered completed only when all its tasks finish their processing, which we refer to as "synchronization" constraint. Further, assignment of tasks to machines is subject to "placement" constraints, i.e., each task can be processed only on a subset of machines, and processing times can also be machine dependent. Once a task is scheduled on a machine, it requires a certain amount of resource from that machine for the duration of its processing. A machine can process ("pack") multiple tasks at the same time, however the cumulative resource requirement of the tasks should not exceed the machine's capacity. Our objective is to minimize the weighted average of the jobs' completion times. The problem, subject to synchronization, packing and placement constraints, is NP-hard, and prior theoretical results only concern much simpler models. For the case that migration of tasks among the placement-feasible machines is allowed, we propose a preemptive algorithm with an approximation ratio of $(6+\epsilon)$. In the special case that only one machine can process each task, we design an algorithm with improved approximation ratio of $4$. Finally, in the case that migrations (and preemptions) are not allowed, we design an algorithm with an approximation ratio of $24$. Our algorithms use a combination of linear program relaxation and greedy packing techniques. We present extensive simulation results, using a real traffic trace, that demonstrate that our algorithms yield significant gains over the prior approaches.


title: Chemical equilibrium in AGB atmospheres: Successes, failures, and prospects for small molecules, clusters, and condensates

abstract: Chemical equilibrium has proven extremely useful to predict the chemical composition of AGB atmospheres. Here we use a recently developed code and an updated thermochemical database, including gaseous and condensed species involving 34 elements, to compute the chemical equilibrium composition of AGB atmospheres of M-, S-, and C-type stars. We include for the first time TixCy clusters, with x = 1-4 and y = 1-4, and selected larger clusters ranging up to Ti13C22, for which thermochemical data is obtained from quantum chemical calculations. We find that in general chemical equilibrium reproduces well the observed abundances of parent molecules in circumstellar envelopes of AGB stars. There are however severe discrepancies, of various orders of magnitude, for some parent molecules: HCN, CS, NH3, and SO2 in M-type stars, H2O and NH3 in S-type stars, and the hydrides H2O, NH3, SiH4, and PH3 in C-type stars. Several molecules not yet observed in AGB atmospheres, like SiC5, SiNH, SiCl, PS, HBO, and the metal-containing molecules MgS, CaS, CaOH, CaCl, CaF, ScO, ZrO, VO, FeS, CoH, and NiS, are good candidates for detection with observatories like ALMA. The first condensates predicted are carbon, TiC, and SiC in C-rich atmospheres and Al2O3 in O-rich outflows. The most probable gas-phase precursors of dust are acetylene, atomic carbon, and/or C3 for carbon dust, SiC2 and Si2C for SiC dust, and atomic Al and AlOH, AlO, and Al2O for Al2O3 dust. In the case of TiC dust, atomic Ti is probably the main supplier of titanium. However, chemical equilibrium predicts that clusters like Ti8C12 and Ti13C22 become the major reservoirs of titanium at the expense of atomic Ti in the region where condensation of TiC is expected to occur, suggesting that the assembly of large TixCy clusters could be related to the formation of the first condensation nuclei of TiC.


title: Evolution and Transformation of Scientific Knowledge over the Sphaera Corpus: A Network Study

abstract: We investigated the evolution and transformation of scientific knowledge in the early modern period, analyzing more than 350 different editions of textbooks used for teaching astronomy in European universities from the late fifteenth century to mid-seventeenth century. These historical sources constitute the Sphaera Corpus. By examining different semantic relations among individual parts of each edition on record, we built a multiplex network consisting of six layers, as well as the aggregated network built from the superposition of all the layers. The network analysis reveals the emergence of five different communities. The contribution of each layer in shaping the communities and the properties of each community are studied. The most influential books in the corpus are found by calculating the average age of all the out-going and in-coming links for each book. A small group of editions is identified as a transmitter of knowledge as they bridge past knowledge to the future through a long temporal interval. Our analysis, moreover, identifies the most disruptive books. These books introduce new knowledge that is then adopted by almost all the books published afterwards until the end of the whole period of study. The historical research on the content of the identified books, as an empirical test, finally corroborates the results of all our analyses.


title: Stability and feasibility of neural network-based controllers via output range analysis

abstract: Neural networks can be used as approximations of several complex control schemes such as model predictive control. We show in this paper which properties deep neural networks with rectifier linear units as activation functions need to satisfy to guarantee constraint satisfaction and asymptotic stability of the closed-loop system. To do so, we introduce a parametric description of the neural network controller and use a mixed-integer linear programming formulation to perform output range analysis of neural networks. We also propose a novel method to modify a neural network controller such that it performs optimally in the LQR sense in a region surrounding the equilibrium. The proposed method enables the analysis and design of neural network controllers with formal safety guarantees as we illustrate with simulation results.


title: The local fundamental group of a Kawamata log terminal singularity is finite

abstract: We prove a conjecture of Koll\'ar stating that the local fundamental group of a klt singularity $x$ is finite. In fact, we prove a stronger statement, namely that the fundamental group of the smooth locus of a neighbourhood of $x$ is finite. We call this the regional fundamental group. As the proof goes via a local-to-global induction, we simultaneously confirm finiteness of the orbifold fundamental group of the smooth locus of a weakly Fano pair.


title: Tropical Lagrangian multi-sections and smoothing of locally free sheaves over degenerate Calabi-Yau surfaces

abstract: We introduce the notion of tropical Lagrangian multi-sections over a $2$-dimensional integral affine manifold $B$ with singularities, and use them to study the reconstruction problem for higher rank locally free sheaves over Calabi-Yau surfaces. To certain tropical Lagrangian multi-sections $\mathbb{L}$ over $B$, which are explicitly constructed by prescribing local models around the ramification points, we construct locally free sheaves $\mathcal{E}_0(\mathbb{L},{\bf{k}}_s)$ over the singular projective scheme $X_0(B,\mathscr{P},s)$ associated to $B$ equipped with a polyhedral decomposition $\mathscr{P}$ and a gluing data $s$. We then find combinatorial conditions on such an $\mathbb{L}$ under which the sheaf $\mathcal{E}_0(\mathbb{L},{\bf{k}}_s)$ is simple. This produces explicit examples of smoothable pairs $(X_0(B,\mathscr{P},s),\mathcal{E}_0(\mathbb{L},{\bf{k}}_s))$ in dimension 2.


title: Recursive fragmentation of a polarized quark

abstract: The thesis is devoted to the study of the fragmentation process of polarized quarks, and in particular of the Collins effect used for the extraction of the quark transversity distribution. The aim is to include the spin degree of freedom in the hadronization part of Monte Carlo event generators by using the string+${}^3P_0$ model. The model is reviewed here and the relevant functions have been written in a form suitable for a Monte Carlo implementation. Two main variants of the model for pseudoscalar meson production are formulated and both of them have been implemented in stand alone Monte Carlo programs. After tuning one single parameter, the simulation results are compared with the measured Collins and dihadron transverse spin asymmetries showing a satisfactory qualitative agreement. Given this encouraging outcome, one of them has been interfaced with the hadronization part of the PYTHIA event generator. The quark transversity distribution has been implemented in the generator allowing to simulate for the first time the polarized SIDIS process. The comparison of the simulated transverse spin asymmetries with the experimental data is found to be very promising. As final development, vector meson production and decays have been included in a consistent way with the rules of quantum mechanics. The effect of vector meson production on transverse spin asymmetries has been studied in detail with a stand alone Monte Carlo program showing that the new model is a promising and powerful model for the description of the polarized quark fragmentation process.


title: Online distributed algorithms for seeking generalized Nash equilibria in dynamic environments

abstract: In this paper, we study the distributed generalized Nash equilibrium seeking problem of non-cooperative games in dynamic environments. Each player in the game aims to minimize its own time-varying cost function subject to a local action set. The action sets of all players are coupled through a shared convex inequality constraint. Each player can only have access to its own cost function, its own set constraint and a local block of the inequality constraint, and can only communicate with its neighbours via a connected graph. Moreover, players do not have prior knowledge of their future cost functions. To address this problem, an online distributed algorithm is proposed based on consensus algorithms and a primal-dual strategy. Performance of the algorithm is measured by using dynamic regrets. Under mild assumptions on graphs and cost functions, we prove that if the deviation of variational generalized Nash equilibrium sequence increases within a certain rate, then the regrets, as well as the violation of inequality constraint, grow sublinearly. A simulation is presented to demonstrate the effectiveness of our theoretical results.


title: Improved RawNet with Feature Map Scaling for Text-independent Speaker Verification using Raw Waveforms

abstract: Recent advances in deep learning have facilitated the design of speaker verification systems that directly input raw waveforms. For example, RawNet extracts speaker embeddings from raw waveforms, which simplifies the process pipeline and demonstrates competitive performance. In this study, we improve RawNet by scaling feature maps using various methods. The proposed mechanism utilizes a scale vector that adopts a sigmoid non-linear function. It refers to a vector with dimensionality equal to the number of filters in a given feature map. Using a scale vector, we propose to scale the feature map multiplicatively, additively, or both. In addition, we investigate replacing the first convolution layer with the sinc-convolution layer of SincNet. Experiments performed on the VoxCeleb1 evaluation dataset demonstrate the effectiveness of the proposed methods, and the best performing system reduces the equal error rate by half compared to the original RawNet. Expanded evaluation results obtained using the VoxCeleb1-E and VoxCeleb-H protocols marginally outperform existing state-of-the-art systems.


title: Globally intensity-reweighted estimators for $K$- and pair correlation functions

abstract: We introduce new estimators of the inhomogeneous $K$-function and the pair correlation function of a spatial point process as well as the cross $K$-function and the cross pair correlation function of a bivariate spatial point process under the assumption of second-order intensity-reweighted stationarity. These estimators rely on a 'global' normalization factor which depends on an aggregation of the intensity function, whilst the existing estimators depend 'locally' on the intensity function at the individual observed points. The advantages of our new global estimators over the existing local estimators are demonstrated by theoretical considerations and a simulation study.


title: On nonlinearity in hydrodynamic response to the initial geometry in relativistic heavy-ion collisions

abstract: In the context of event-by-event hydrodynamic description, we analyze the implications of two models characterized by distinct initial conditions. The initial energy density of the first model adopts a Gaussian-type distribution, while those of the second one are features by high energy peripheral tubes. We calibrate the initial conditions of both models so that their initial probability distribution of eccentricity are mostly identical. Subsequently, the resultant scaled probability distributions of collective flow and the correlations between flow harmonic and eccentricity coefficients are investigated. Besides, the calculations are carried out for particle correlations regarding the symmetric cumulant, mixed harmonics, and nonlinear response coefficients. Although the resultant two-particle correlations possess similar shapes, numerical calculations indicate a subtle difference between the two models. To be specific, the difference resides in more detailed observables such as the probability distributions of elliptic flow as well as Pearson correlation coefficient regarding higher-order harmonics. We discuss several essential aspects concerning the linearity and nonlinearity between initial eccentricities and final state anisotropies. Further implications are addressed.


title: Existence theory and qualitative analysis for a fully cross-diffusive predator-prey system

abstract: This manuscript considers a Neumann initial-boundary value problem for the predator-prey system $$ \left\{ \begin{array}{l} u_t = D_1 u_{xx} - \chi_1 (uv_x)_x + u(\lambda_1-u+a_1 v), \\[1mm] v_t = D_2 v_{xx} + \chi_2 (vu_x)_x + v(\lambda_2-v-a_2 u), \end{array} \right. \qquad \qquad (\star) $$ in an open bounded interval $\Omega$ as the spatial domain, where for $i\in\{1,2\}$ the parameters $D_i, a_i, \lambda_i$ and $\chi_i$ are positive. Due to the simultaneous appearance of two mutually interacting taxis-type cross-diffusive mechanisms, one of which even being attractive, it seems unclear how far a solution theory can be built upon classical results on parabolic evolution problems. In order to nevertheless create an analytical setup capable of providing global existence results as well as detailed information on qualitative behavior, this work pursues a strategy via parabolic regularization, in the course of which ($\star$) is approximated by means of certain fourth-order problems involving degenerate diffusion operators of thin film type. During the design thereof, a major challenge is related to the ambition to retain consistency with some fundamental entropy-like structures formally associated with ($\star$); in particular, this will motivate the construction of an approximation scheme including two free parameters which will finally be fixed in different ways, depending on the size of $\lambda_2$ relative to $a_2 \lambda_1$.


title: Learning Sparse Rewarded Tasks from Sub-Optimal Demonstrations

abstract: Model-free deep reinforcement learning (RL) has demonstrated its superiority on many complex sequential decision-making problems. However, heavy dependence on dense rewards and high sample-complexity impedes the wide adoption of these methods in real-world scenarios. On the other hand, imitation learning (IL) learns effectively in sparse-rewarded tasks by leveraging the existing expert demonstrations. In practice, collecting a sufficient amount of expert demonstrations can be prohibitively expensive, and the quality of demonstrations typically limits the performance of the learning policy. In this work, we propose Self-Adaptive Imitation Learning (SAIL) that can achieve (near) optimal performance given only a limited number of sub-optimal demonstrations for highly challenging sparse reward tasks. SAIL bridges the advantages of IL and RL to reduce the sample complexity substantially, by effectively exploiting sup-optimal demonstrations and efficiently exploring the environment to surpass the demonstrated performance. Extensive empirical results show that not only does SAIL significantly improve the sample-efficiency but also leads to much better final performance across different continuous control tasks, comparing to the state-of-the-art.


title: Identifying the $\Xi_c^0$ baryons observed by LHCb as $P$-wave $\Xi_c^\prime$ baryons

abstract: We systematically study mass spectra and decay properties of $P$-wave $\Xi_c^\prime$ baryons of the $SU(3)$ flavor $\mathbf{6}_F$, using the methods of QCD sum rules and light-cone sum rules within the framework of heavy quark effective theory. Our results suggest that the three excited $\Xi_c^0$ baryons recently observed by LHCb can be well explained as $P$-wave $\Xi_c^\prime$ baryons: the $\Xi_c(2923)^0$ and $\Xi_c(2939)^0$ are partner states of $J^P = 1/2^-$ and $3/2^-$ respectively, both of which contain one $\lambda$-mode orbital excitation; the $\Xi_c(2965)^0$ has $J^P = 3/2^-$, and also contains one $\lambda$-mode orbital excitation. We propose to search for another $P$-wave $\Xi_c^\prime$ state of $J^P = 5/2^-$ in the $\Lambda_c K/\Xi_c \pi$ mass spectral in future experiments. Its mass is about $56^{+30}_{-35}$ MeV larger than the $\Xi_c(2965)^0$, and its width is about $18.1^{+19.7}_{-~8.3}$ MeV.


title: Deformation theory of deformed Hermitian Yang-Mills connections and deformed Donaldson-Thomas connections

abstract: A deformed Donaldson-Thomas (dDT) connection is a Hermitian connection of a Hermitian line bundle over a $G_2$-manifold $X$ satisfying a certain nonlinear PDE. This is considered to be the mirror of a (co)associative cycle in the context of mirror symmetry. The dDT connection is an analogue of a deformed Hermitian Yang-Mills (dHYM) connection which is extensively studied recently. In this paper, we study the moduli spaces of dDT and dHYM connections. In the former half, we prove that the deformation of dDT connections is controlled by a subcomplex of the canonical complex, an elliptic complex defined by Reyes Carri\'on, by introducing a new coclosed $G_2$-structure. If the deformation is unobstructed, we also show that the connected component is a $b^{1}$-dimensional torus, where $b^{1}$ is the first Betti number of $X$. A canonical orientation on the moduli space is also given. We also prove that the obstruction of the deformation vanishes if we perturb the $G_2$-structure generically under some mild assumptions. In the latter half, we prove that the moduli space of dHYM connections, if it is nonempty, is a $b^{1}$-dimensional torus, especially, it is connected and orientable. We also prove the existence of a family of moduli spaces along a deformation of underlying structures if some necessary conditions are satisfied.


title: Subgraphs of large connectivity and chromatic number

abstract: Resolving a problem raised by Norin, we show that for each $k \in \mathbb{N}$, there exists an $f(k) \le 7k$ such that every graph $G$ with chromatic number at least $f(k)+1$ contains a subgraph $H$ with both connectivity and chromatic number at least $k$. This result is best-possible up to multiplicative constants, and sharpens earlier results of Alon-Kleitman-Thomassen-Saks-Seymour from 1987 showing that $f(k) = O(k^3)$, and of Chudnovsky-Penev-Scott-Trotignon from 2013 showing that $f(k) = O(k^2)$. Our methods are robust enough to handle list colouring as well: we also show that for each $k \in \mathbb{N}$, there exists an $f_\ell(k) \le 4k$ such that every graph $G$ with list chromatic number at least $f_\ell(k)+1$ contains a subgraph $H$ with both connectivity and list chromatic number at least $k$. This result is again best-possible up to multiplicative constants; here, unlike with $f(\cdot)$, even the existence of $f_\ell(\cdot)$ appears to have been previously unknown.


title: The HEV Ventilator Proposal

abstract: We propose the design of a ventilator which can be easily manufactured and integrated into the hospital environment to support COVID-19 patients. The unit is designed to support standard ventilator modes of operation, most importantly PRVC (Pressure Regulated Volume Control) and SIMV-PC (Synchronised Intermittent Mandatory Ventilation) modes. The unit is not yet an approved medical device and is in the concept and prototyping stage. It is presented here to invite fast feedback for development and deployment in the face of the COVID-19 pandemic.


title: A classification of the dynamics of three-dimensional stochastic ecological systems

abstract: The classification of the long-term behavior of dynamical systems is a fundamental problem in mathematics. For both deterministic and stochastic dynamics specific classes of models verify Palis' conjecture: the long-term behavior is determined by a finite number of stationary distributions. In this paper we consider the classification problem for stochastic models of interacting species. For a large class of three-species, stochastic differential equation models, we prove a variant of Palis' conjecture: the long-term statistical behavior is determined by a finite number of stationary distributions and, generically, three general types of behavior are possible: 1) convergence to a unique stationary distribution that supports all species, 2) convergence to one of a finite number of stationary distributions supporting two or fewer species, 3) convergence to convex combinations of single species, stationary distributions due to a rock-paper-scissors type of dynamic. Moreover, we prove that the classification reduces to computing Lyapunov exponents (external Lyapunov exponents) that correspond to the average per-capita growth rate of species when rare. Our results stand in contrast to the deterministic setting where the classification is incomplete even for three-dimensional, competitive Lotka--Volterra systems. For these SDE models, our results also provide a rigorous foundation for ecology's modern coexistence theory (MCT) which assumes the external Lyapunov exponents determine long-term ecological outcomes.


title: An atomic force microscope integrated with a helium ion microscope for correlative nanocharacterization

abstract: In this work, we report the integration of an atomic force microscope (AFM) into a helium ion microscope (HIM). The HIM is a powerful instrument, capable of sub-nanometer resolution imaging and machining of nanoscale structures, while the AFM is a well-established versatile tool for multiparametric nanoscale characterization. Combining the two techniques opens the way for unprecedented, in situ, correlative analysis at the nanoscale. Nanomachining and analysis can be performed without contamination of the sample and environmental changes between processing steps. The practicality of the resulting tool lies in the complementarity of the two techniques. The AFM offers not only true 3D topography maps, something the HIM can only provide in an indirect way but also allows for nanomechanical property mapping, as well as for electrical and magnetic characterization of the sample after focused ion beam materials modification with the HIM. The experimental setup is described and evaluated through a series of correlative experiments, demonstrating the feasibility of the integration.


title: From scenario-based seismic hazard to scenario-based landslide hazard: fast-forwarding to the future via statistical simulations

abstract: Ground motion scenarios exists for most of the seismically active areas around the globe. They essentially correspond to shaking level maps at given earthquake return times which are used as reference for the likely areas under threat from future ground displacements. Being landslides in seismically actively regions closely controlled by the ground motion, one would expect that landslide susceptibility maps should change as the ground motion patterns change in space and time. However, so far, statistically-based landslide susceptibility assessments have primarily been used as time-invariant.In other words, the vast majority of the statistical models does not include the temporal effect of the main trigger in future landslide scenarios. In this work, we present an approach aimed at filling this gap, bridging current practices in the seismological community to those in the geomorphological and statistical ones. More specifically, we select an earthquake-induced landslide inventory corresponding to the 1994 Northridge earthquake and build a Bayesian Generalized Additive Model of the binomial family, featuring common morphometric and thematic covariates as well as the Peak Ground Acceleration generated by the Northridge earthquake. Once each model component has been estimated, we have run 1000 simulations for each of the 217 possible ground motion scenarios for the study area. From each batch of 1000 simulations, we have estimated the mean and 95\% Credible Interval to represent the mean susceptibility pattern under a specific earthquake scenario, together with its uncertainty level. Because each earthquake scenario has a specific return time, our simulations allow to incorporate the temporal dimension into any susceptibility model, therefore driving the results toward the definition of landslide hazard.


title: Throughput and Delay Optimality of Power-of-d Choices in Inhomogeneous Load Balancing Systems

abstract: It is well-known that the power-of-d choices routing algorithm maximizes throughput and is heavy-traffic optimal in load balancing systems with homogeneous servers. However, if the servers are heterogeneous, throughput optimality does not hold in general. We find necessary and sufficient conditions for throughput optimality of power-of-d choices when the servers are heterogeneous, and we prove that almost the same conditions are sufficient to show heavy-traffic optimality. Additionally, we generalize the sufficient condition for throughput optimality to a larger class of routing policies.


title: From scenario-based seismic hazard to scenario-based landslide hazard: rewinding to the past via statistical simulations

abstract: The vast majority of landslide susceptibility studies assumes the slope instability process to be time-invariant under the definition that "the past and present are keys to the future". This assumption may generally be valid. However, the trigger, be it a rainfall or an earthquake event, clearly varies over time. And yet, the temporal component of the trigger is rarely included in landslide susceptibility studies and only confined to hazard assessment. In this work, we investigate a population of landslides triggered in response to the 2017 Jiuzhaigou earthquake ($M_w = 6.5$) including the associated ground motion in the analyses, these being carried out at the Slope Unit (SU) level. We do this by implementing a Bayesian version of a Generalized Additive Model and assuming that the slope instability across the SUs in the study area behaves according to a Bernoulli probability distribution. This procedure would generally produce a susceptibility map reflecting the spatial pattern of the specific trigger and therefore of limited use for land use planning. However, we implement this first analytical step to reliably estimate the ground motion effect, and its distribution, on unstable SUs. We then assume the effect of the ground motion to be time-invariant, enabling statistical simulations for any ground motion scenario that occurred in the area from 1933 to 2017. As a result, we obtain the full spectrum of potential susceptibility patterns over the last century and compress this information into a susceptibility model/map representative of all the possible ground motion patterns since 1933. This backward statistical simulations can also be further exploited in the opposite direction where, by accounting for scenario-based ground motion, one can also use it in a forward direction to estimate future unstable slopes.


title: Generation of Paths in a Maze using a Deep Network without Learning

abstract: Trajectory- or path-planning is a fundamental issue in a wide variety of applications. Here we show that it is possible to solve path planning for multiple start- and end-points highly efficiently with a network that consists only of max pooling layers, for which no network training is needed. Different from competing approaches, very large mazes containing more than half a billion nodes with dense obstacle configuration and several thousand path end-points can this way be solved in very short time on parallel hardware.


title: Enhanced noise resilience of the surface-GKP code via designed bias

abstract: We study the code obtained by concatenating the standard single-mode Gottesman-Kitaev-Preskill (GKP) code with the surface code. We show that the noise tolerance of this surface-GKP code with respect to (Gaussian) displacement errors improves when a single-mode squeezing unitary is applied to each mode assuming that the identification of quadratures with logical Pauli operators is suitably modified. We observe noise-tolerance thresholds of up to $\sigma\approx 0.58$ shift-error standard deviation when the surface code is decoded without using GKP syndrome information. In contrast, prior results by Fukui et al. and Vuillot et al. report a threshold between $\sigma\approx 0.54$ and $\sigma\approx 0.55$ for the standard (toric-, respectively) surface-GKP code. The modified surface-GKP code effectively renders the mode-level physical noise asymmetric, biasing the logical-level noise on the GKP-qubits. The code can thus benefit from the resilience of the surface code against biased noise. We use the approximate maximum likelihood decoding algorithm of Bravyi et al. to obtain our threshold estimates. Throughout, we consider an idealized scenario where measurements are noiseless and GKP states are ideal. Our work demonstrates that Gaussian encodings of individual modes can enhance concatenated codes.


title: Future Video Synthesis with Object Motion Prediction

abstract: We present an approach to predict future video frames given a sequence of continuous video frames in the past. Instead of synthesizing images directly, our approach is designed to understand the complex scene dynamics by decoupling the background scene and moving objects. The appearance of the scene components in the future is predicted by non-rigid deformation of the background and affine transformation of moving objects. The anticipated appearances are combined to create a reasonable video in the future. With this procedure, our method exhibits much less tearing or distortion artifact compared to other approaches. Experimental results on the Cityscapes and KITTI datasets show that our model outperforms the state-of-the-art in terms of visual quality and accuracy.


title: Physically Realizable Adversarial Examples for LiDAR Object Detection

abstract: Modern autonomous driving systems rely heavily on deep learning models to process point cloud sensory data; meanwhile, deep models have been shown to be susceptible to adversarial attacks with visually imperceptible perturbations. Despite the fact that this poses a security concern for the self-driving industry, there has been very little exploration in terms of 3D perception, as most adversarial attacks have only been applied to 2D flat images. In this paper, we address this issue and present a method to generate universal 3D adversarial objects to fool LiDAR detectors. In particular, we demonstrate that placing an adversarial object on the rooftop of any target vehicle to hide the vehicle entirely from LiDAR detectors with a success rate of 80%. We report attack results on a suite of detectors using various input representation of point clouds. We also conduct a pilot study on adversarial defense using data augmentation. This is one step closer towards safer self-driving under unseen conditions from limited training data.


title: An Ostrogradsky Instability Analysis of Non-minimally Coupled Weyl Connection Gravity Theories

abstract: We study the Hamiltonian formalism of the non-minimally coupled Weyl connection gravity (NMCWCG) in order to check whether Ostrogradsky instabilities are present. The Hamiltonian of the NMCWCG theories is obtained by foliating space-time into a real line (representing time) and \mbox{3-dimensional} space-like hypersurfaces, and by considering the spatial metric and the extrinsic curvature of the hypersurfaces as the canonical coordinates of the theory. Given the fact that the theory we study contains an additional dynamical vector field compared to the usual NMC models, which do not have Ostrogradsky instabilities, we are able to construct an effective theory without these instabilities, by constraining this Weyl field.


title: Design principles for biochemical oscillations with limited energy resources

abstract: As biochemical systems may frequently suffer from limited energy resources so that internal molecular fluctuation has to be utilized to induce random rhythm, it is still a great theoretical challenge to understand the elementary principles for biochemical systems with limited energy resources to maintain phase accuracy and phase sensitivity. Here, we address the issue by deriving the energy accuracy and the sensitivity-accuracy trade-off relations for a general biochemical model, analytically and numerically. We find that, biochemical systems consume much lower energy cost by noise-induced oscillations to keep almost equal efficiency to maintain precise processes than that by normal oscillations, elucidating clearly the survival mechanism when energy resources are limited. Moreover, an optimal system size is predicted where both the highest sensitivity and accuracy can be reached at the same time, providing a new strategy for the design of biological networks with limited energy sources.


title: A parallel-in-time approach for accelerating direct-adjoint studies

abstract: Parallel-in-time methods are developed to accelerate the direct-adjoint looping procedure. Particularly, we utilize the Paraexp algorithm, previously developed to integrate equations forward in time, to accelerate the direct-adjoint looping that arises from gradient-based optimization. We consider both linear and non-linear governing equations and exploit the linear, time-varying nature of the adjoint equations. Gains in efficiency are seen across all cases, showing that a Paraexp based parallel-in-time approach is feasible for the acceleration of direct-adjoint studies. This signifies a possible approach to further increase the run-time performance for optimization studies that either cannot be parallelized in space or are at their limit of efficiency gains for a parallel-in-space approach.


title: A polynomial time algorithm to compute the connected tree-width of a series-parallel graph

abstract: It is well known that the treewidth of a graph $G$ corresponds to the node search number where a team of cops is pursuing a robber that is lazy, visible and has the ability to move at infinite speed via unguarded path. In recent papers, connected node search strategies have been considered. A search stratregy is connected if at each step the set of vertices that is or has been occupied by the team of cops, induced a connected subgraph of $G$. It has been shown that the connected search number of a graph $G$ can be expressed as the connected treewidth, denoted $\mathbf{ctw}(G),$ that is defined as the minimum width of a rooted tree-decomposition $({{\cal X},T,r})$ such that the union of the bags corresponding to the nodes of a path of $T$ containing the root $r$ is connected. Clearly we have that $\mathbf{tw}(G)\leqslant \mathbf{ctw}(G)$. It is paper, we initiate the algorithmic study of connected treewidth. We design a $O(n^2\cdot\log n)$-time dynamic programming algorithm to compute the connected treewidth of a biconnected series-parallel graphs. At the price of an extra $n$ factor in the running time, our algorithm genralizes to graphs of treewidth at most $2$.


title: A space-time certified reduced basis method for quasilinear parabolic partial differential equations

abstract: In this paper, we propose a certified reduced basis (RB) method for quasilinear parabolic problems. The method is based on a space-time variational formulation. We provide a residual-based a-posteriori error bound on a space-time level and the corresponding efficiently computable estimator for the certification of the method. We use the Empirical Interpolation method (EIM) to guarantee the efficient offline-online computational procedure. The error of the EIM method is then rigorously incorporated into the certification procedure. The Petrov-Galerkin finite element discretization allows to benefit from the Crank-Nicolson interpretation of the discrete problem and to use a POD-Greedy approach to construct the reduced-basis spaces of small dimensions. It computes the reduced basis solution in a time-marching framework while the RB approximation error in a space-time norm is controlled by the estimator. Therefore the proposed method incorporates a POD-Greedy approximation into a space-time certification.


title: Inverse problems for fractional semilinear elliptic equations

abstract: This paper is concerned with the forward and inverse problems for the fractional semilinear elliptic equation $(-\Delta)^s u +a(x,u)=0$ for $0<s<1$. For the forward problem, we proved the problem is well-posed and has a unique solution for small exterior data. The inverse problems we consider here consists of two cases. First we demonstrate that an unknown coefficient $a(x,u)$ can be uniquely determined from the knowledge of exterior measurements, known as the Dirichlet-to-Neumann map. Second, despite the presence of an unknown obstacle in the media, we show that the obstacle and the coefficient can be recovered concurrently from these measurements. Finally, we investigate that these two fractional inverse problems can also be solved by using a single measurement, and all results hold for any dimension $n\geq 1$.


title: Time-varying volatility in Bitcoin market and information flow at minute-level frequency

abstract: In this paper, we analyze the time-series of minute price returns on the Bitcoin market through the statistical models of generalized autoregressive conditional heteroskedasticity (GARCH) family. Several mathematical models have been proposed in finance, to model the dynamics of price returns, each of them introducing a different perspective on the problem, but none without shortcomings. We combine an approach that uses historical values of returns and their volatilities - GARCH family of models, with a so-called "Mixture of Distribution Hypothesis", which states that the dynamics of price returns are governed by the information flow about the market. Using time-series of Bitcoin-related tweets and volume of transactions as external information, we test for improvement in volatility prediction of several GARCH model variants on a minute level Bitcoin price time series. Statistical tests show that the simplest GARCH(1,1) reacts the best to the addition of external signal to model volatility process on out-of-sample data.


title: Spectral invariants for finite dimensional Lie algebras

abstract: For a Lie algebra ${\mathcal L}$ with basis $\{x_1,x_2,\cdots,x_n\}$, its associated characteristic polynomial $Q_{{\mathcal L}}(z)$ is the determinant of the linear pencil $z_0I+z_1\text{ad} x_1+\cdots +z_n\text{ad} x_n.$ This paper shows that $Q_{\mathcal L}$ is invariant under the automorphism group $\text{Aut}({\mathcal L}).$ The zero variety and factorization of $Q_{\mathcal L}$ reflect the structure of ${\mathcal L}$. In the case ${\mathcal L}$ is solvable $Q_{\mathcal L}$ is known to be a product of linear factors. This fact gives rise to the definition of spectral matrix and the Poincar\'{e} polynomial for solvable Lie algebras. Application is given to $1$-dimensional extensions of nilpotent Lie algebras.


title: Development of swarm behavior in artificial learning agents that adapt to different foraging environments

abstract: Collective behavior, and swarm formation in particular, has been studied from several perspectives within a large variety of fields, ranging from biology to physics. In this work, we apply Projective Simulation to model each individual as an artificial learning agent that interacts with its neighbors and surroundings in order to make decisions and learn from them. Within a reinforcement learning framework, we discuss one-dimensional learning scenarios where agents need to get to food resources to be rewarded. We observe how different types of collective motion emerge depending on the distance the agents need to travel to reach the resources. For instance, strongly aligned swarms emerge when the food source is placed far away from the region where agents are situated initially. In addition, we study the properties of the individual trajectories that occur within the different types of emergent collective dynamics. Agents trained to find distant resources exhibit individual trajectories with L\'evy-like characteristics as a consequence of the collective motion, whereas agents trained to reach nearby resources present Brownian-like trajectories.


title: Coronavirus Covid-19 spreading in Italy: optimizing an epidemiological model with dynamic social distancing through Differential Evolution

abstract: The aim of this paper consists in the application of a recent epidemiological model, namely SEIR with Social Distancing (SEIR--SD), extended here through the definition of a social distancing function varying over time, to assess the situation related to the spreading of the coronavirus Covid--19 in Italy and in two of its most important regions, i.e., Lombardy and Campania. To profitably use this model, the most suitable values of its parameters must be found. The estimation of the SEIR--SD model parameters takes place here through the use of Differential Evolution, a heuristic optimization technique. In this way, we are able to evaluate for each of the three above-mentioned scenarios the daily number of infectious cases from today until the end of virus spreading, the day(s) in which this number will be at its highest peak, and the day in which the infected cases will become very close to zero.


title: Feature-Driven Super-Resolution for Object Detection

abstract: Although some convolutional neural networks (CNNs) based super-resolution (SR) algorithms yield good visual performances on single images recently. Most of them focus on perfect perceptual quality but ignore specific needs of subsequent detection task. This paper proposes a simple but powerful feature-driven super-resolution (FDSR) to improve the detection performance of low-resolution (LR) images. First, the proposed method uses feature-domain prior which extracts from an existing detector backbone to guide the HR image reconstruction. Then, with the aligned features, FDSR update SR parameters for better detection performance. Comparing with some state-of-the-art SR algorithms with 4$\times$ scale factor, FDSR outperforms the detection performance mAP on MS COCO validation, VOC2007 databases with good generalization to other detection networks.


title: Arithmetic level raising on triple product of Shimura curves and Gross-Schoen Diagonal cycles I: Ramified case

abstract: In this article we study the Gross-Schoen diagonal cycle on a triple product of Shimura curves at a place of bad reduction. We relate the image of the diagonal cycle under the Abel-Jacobi map to certain period integral that governs the central critical value of the Garrett-Rankin type triple product $L$-function via level raising congruences. As an application we prove certain rank $0$ case of the Bloch-Kato conjecture for the symmetric cube motive of a weight $2$ modular form.


title: Sampling based approximation of linear functionals in Reproducing Kernel Hilbert Spaces

abstract: In this paper we analyze a greedy procedure to approximate a linear functional defined in a Reproducing Kernel Hilbert Space by nodal values. This procedure computes a quadrature rule which can be applied to general functionals, including integration functionals. For a large class of functionals, we prove convergence results for the approximation by means of uniform and greedy points which generalize in various ways several known results. A perturbation analysis of the weights and node computation is also discussed. Beyond the theoretical investigations, we demonstrate numerically that our algorithm is effective in treating various integration densities, and that it is even very competitive when compared to existing methods for Uncertainty Quantification.


title: Statistical Queries and Statistical Algorithms: Foundations and Applications

abstract: We give a survey of the foundations of statistical queries and their many applications to other areas. We introduce the model, give the main definitions, and we explore the fundamental theory statistical queries and how how it connects to various notions of learnability. We also give a detailed summary of some of the applications of statistical queries to other areas, including to optimization, to evolvability, and to differential privacy.


title: Multi-label learning for dynamic model type recommendation

abstract: Dynamic selection techniques aim at selecting the local experts around each test sample in particular for performing its classification. While generating the classifier on a local scope may make it easier for singling out the locally competent ones, as in the online local pool (OLP) technique, using the same base-classifier model in uneven distributions may restrict the local level of competence, since each region may have a data distribution that favors one model over the others. Thus, we propose in this work a problem-independent dynamic base-classifier model recommendation for the OLP technique, which uses information regarding the behavior of a portfolio of models over the samples of different problems to recommend one (or several) of them on a per-instance manner. Our proposed framework builds a multi-label meta-classifier responsible for recommending a set of relevant model types based on the local data complexity of the region surrounding each test sample. The OLP technique then produces a local pool with the model that yields the highest probability score of the meta-classifier. Experimental results show that different data distributions favored different model types on a local scope. Moreover, based on the performance of an ideal model type selector, it was observed that there is a clear advantage in choosing a relevant model type for each test instance. Overall, the proposed model type recommender system yielded a statistically similar performance to the original OLP with fixed base-classifier model. Given the novelty of the approach and the gap in performance between the proposed framework and the ideal selector, we regard this as a promising research direction. Code available at github.com/marianaasouza/dynamic-model-recommender.