title: Orchestrating Product Provenance Story: When IOTA ECOSYSTEM Meets The Electronics Supply Chain Space

abstract: "Trustworthy data" is the fuel for ensuring transparent traceability, precise decision-making, and cogent coordination in the supply chain (SC) space. However, the disparate data silos act as a trade barrier in orchestrating the provenance of product story starting from the transformation of raw materials into the circuit board to the assembling of electronic components into end products available on the store shelf for customers. Therefore, to bridge the fragmented siloed information across global supply chain partners, the diffusion of blockchain (BC) as one of the advanced distributed ledger technology (DLT) takeover the on-premise legacy systems. Nevertheless, the challenging constraints of blockchain including scalability, accessing off-line data, fee-less microtransactions and many more lead to the third wave of blockchain called IOTA. In this paper, we propose a framework for supporting provenance in the electronic supply chain (ECS) by using permissioned IOTA ledger. Realizing the crucial requirement of trustworthy data, we use Masked Authenticated Messaging (MAM) channel provided by IOTA that allows the SC players to procure distributed information while keeping confidential trade flows, tamper-proof data, and fine-grained accessibility rights. To identify operational disruption, we devise a transparent product ledger through transaction data and consignment information to keep track of the complete product journey at each intermediary step during SC processes. Furthermore, we evaluate the secure provenance data construction time for varying payload size.


title: Implications of JLA data for $k-$essence model of dark energy with given equation of state

abstract: We investigated implications of recently released `Joint Light-curve Analysis' (JLA) supernova Ia (SNe Ia) data for dark energy models with time varying equation of state of dark energy, usually expressed as $w(z)$ in terms of variation with corresponding redshift $z$. From a comprehensive analysis of the JLA data, we obtain the observational constraints on the different functional forms of $w(z)$, corresponding to different varying dark energy models often considered in literature, \textit{viz.} CPL, JBP, BA and Logarithmic models. The constraints are expressed in terms of parameters ($w_a, w_b$) appearing in the chosen functional form for $w(z)$, corresponding to each of the above mentioned models. Realising dark energy with varying equation of state in terms of a homogeneous scalar field $\phi$, with its dynamics driven by a $k-$essence Lagrangian $L=VF(X)$ with a constant potential $V$ and a dynamical term $F(X)$ with $X=(1/2)\nabla^\mu\phi\nabla_\mu\phi$ we reconstructed form of the function $F(X)$. This reconstruction has been performed for different varying dark energy models at best-fit values of parameters ($w_a, w_b$) obtained from analysis of JLA data. In the context of $k-$essence model, we also investigate the variation of adiabatic sound speed squared, $c_s^2(z)$, and obtained the domains in ($w_a, w_b$) parameter space corresponding to the physical bound $ c_s^2>0$ implying stability of density perturbations.


title: Novel mechanisms to enhance the capacitance beyond the classical limits in capacitors with free-electron-like electrodes

abstract: The so-called negative electron compressibility refers to the lowering of the chemical potential of a metallic system when the carrier density increases. This effect has often been invoked in the past to explain the enhancement of the capacitance beyond the classical limits in capacitors with two-dimensional electron gases as electrodes. Based on experiments on strongly confined semiconductor quantum wells (QWs), it has been traditionally ascribed to the electron exchange energy as the main driving force. Recent research, however, has revealed that analogous effects can occur in other classes of materials systems, such as polar oxide interfaces, whose characteristics drastically depart from those of the previously considered cases. To rationalize these new results, it is necessary to revisit the established theory of confined electron gases, and test whether its conclusions are valid beyond the specifics of semiconductor-based QWs. Here we find, based on first-principles calculations of jellium slabs, that one must indeed be very careful when extrapolating existing results to other realistic physical systems. In particular, we identify a number of additional, previously overlooked mechanisms (e.g., related to the displacement of the electronic cloud and to the multiband structure of the delocalized gas), that enter into play and become new sources of negative capacitance in the weak-confinement regime. Our detailed analysis of these emerging contributions, supported by analytic models and multiple test cases, will provide a useful guidance in the ongoing quest for nanometric capacitors with enhanced performance.


title: Measuring Heat Flux Beyond Fourier's law

abstract: We use nonequilibrium molecular dynamics (NEMD) to explore the effect of shear flow on heat flux. By simulating a simple fluid in a channel bounded by tethered atoms, the heat flux is computed for two systems: a temperature driven one with no flow and a wall driven, Couette flow system. The results for the temperature driven system give the Fourier's law thermal conductivity, which is shown to agree well with experiments. Through comparison of the two systems, we quantify the additional components of the heat flux parallel and normal to the walls due to shear flow. To compute the heat flux in the flow direction, the Irving-Kirkwood equations are integrated over a volume, giving the so-called volume average form, and they are also manipulated to get expressions for the surface averaged and method of planes forms. The method of planes and volume average forms are shown to give equivalent results for the heat flux when using small volumes. The heat flux in the flow direction is obtained consistently over a range of simulations, and it is shown to vary linearly with strain rate, as predicted by theory. The additional strain rate dependent component of the heat flux normal to the wall is obtained by fitting the strain rate dependence of the heat flux to the expected form. As a result, the additional terms in the thermal conductivity tensor quantified in this work should be experimentally testable.


title: Elasto-capillary adhesion: The effect of deformability on adhesion strength and detachment

abstract: We study the interaction between capillary forces and deformation in the context of a deformable capillary adhesive: a clamped, tense membrane is adhered to a rigid substrate by the surface tension of a liquid droplet. We find that the equilibrium adhesive force for this elastocapillary adhesive is significantly enhanced in comparison to the capillary adhesion between rigid plates. In particular, the equilibrium adhesion force is orders of magnitude greater when the membrane is sufficiently deformed to contact the substrate. From a dynamic perspective, however, the formation of a fluid-filled dimple slows this approach to contact and means that stable attachment is only achieved if adhesion is maintained for a minimum time. The inclusion of a variable membrane tension (as a means of modifying the deformability) gives additional control over the system, allowing new detachment strategies to be explored.


title: Envy-freeness up to any item with high Nash welfare: The virtue of donating items

abstract: Several fairness concepts have been proposed recently in attempts to approximate envy-freeness in settings with indivisible goods. Among them, the concept of envy-freeness up to any item (EFX) is arguably the closest to envy-freeness. Unfortunately, EFX allocations are not known to exist except in a few special cases. We make significant progress in this direction. We show that for every instance with additive valuations, there is an EFX allocation of a subset of items with a Nash welfare that is at least half of the maximum possible Nash welfare for the original set of items. That is, after donating some items to a charity, one can distribute the remaining items in a fair way with high efficiency. This bound is proved to be best possible. Our proof is constructive and highlights the importance of maximum Nash welfare allocation. Starting with such an allocation, our algorithm decides which items to donate and redistributes the initial bundles to the agents, eventually obtaining an allocation with the claimed efficiency guarantee. The application of our algorithm to large markets, where the valuations of an agent for every item is relatively small, yields EFX with almost optimal Nash welfare. To the best of our knowledge, this is the first use of large market assumptions in the fair division literature. We also show that our algorithm can be modified to compute, in polynomial-time, EFX allocations that approximate optimal Nash welfare within a factor of at most $2\rho$, using a $\rho$-approximate allocation on input instead of the maximum Nash welfare one.


title: IEEE 802.11be Extremely High Throughput: The Next Generation of Wi-Fi Technology Beyond 802.11ax

abstract: Wi-Fi technology is continuously innovating to cater to the growing customer demands, driven by the digitalisation of everything, both in the home as well as the enterprise and hotspot spaces. In this article, we introduce to the wireless community the next generation Wi-Fi$-$based on IEEE 802.11be Extremely High Throughput (EHT)$-$, present the main objectives and timelines of this new 802.11be amendment, thoroughly describe its main candidate features and enhancements, and cover the important issue of coexistence with other wireless technologies. We also provide simulation results to assess the potential throughput gains brought by 802.11be with respect to 802.11ax.


title: The Phi measure of integrated information is not well-defined for general physical systems

abstract: According to the Integrated Information Theory of Consciousness, consciousness is a fundamental observer-independent property of physical systems, and the measure Phi of integrated information is identical to the quantity or level of consciousness. For this to be plausible, there should be no alternative formulae for Phi consistent with the axioms of IIT, and there should not be cases of Phi being ill-defined. This article presents three ways in which Phi, in its current formulation, fails to meet these standards, and discusses how this problem might be addressed.


title: An analysis of (the lack of) slip transfer between near-cube oriented grains in pure Al

abstract: Slip transfer across grain boundaries was studied in annealed polycrystalline Al foils deformed in uniaxial tension by means of the analysis of the slip traces on the specimen surface. Grain orientations and selected grain boundary misorientations were measured on both surfaces of the sample using electron back-scattered diffraction mapping. It was found that most of the grains were within 15{\deg} of a cube orientation and approximately half of the grains percolated through the specimen thickness. The Luster-Morris m' parameter (that can be computed from the surface grain orientation) was used to assess the likelihood of slip transfer across boundaries. It was found that transfer across grain boundaries was rare in near-cube oriented grains, and convincing evidence was only found when m' > 0.97, which corresponds to low-angle boundaries with <15{\deg} misorientation. This behavior was explained by the presence of many active slip slips in near-cube oriented grains that favor self-accommodation of the grain shape to the evolving boundary conditions imposed by neighboring grains instead of promoting slip transfer across the boundary. These results indicate that the alignment between slip planes and slip directions across the boundary is not the only important metric to determine the threshold for slip transfer, as the particular details of deformation in each grain (such as the number of available slip systems) also must be considered.


title: Understanding and constraining the PDF uncertainties in a W boson mass measurement with forward muons at the LHC

abstract: Precision electroweak tests are a powerful probe of physics beyond the Standard Model, but the sensitivity is limited by the precision with which the $W$ boson mass ($M_W$) has been measured. The Parton Distribution Function (PDF) uncertainties are a potential limitation for measurements of $M_W$ with LHC data. It has recently been pointed out that, thanks to LHCb's unique forward rapidity acceptance, a new measurement of $M_W$ by LHCb can improve this situation. Here we report on a detailed study on the mechanism driving the PDF uncertainty in the LHCb measurement of $M_W$, and propose an approach which should reduce this uncertainty by roughly a factor of two using LHCb Run 2 data.


title: Time adaptive Zassenhaus splittings for the Schr\"odinger equation in the semiclassical regime

abstract: Time dependent Schr\"odinger equations with conservative force field U commonly constitute a major challenge in the numerical approximation, especially when they are analysed in the semiclassical regime. Extremely high oscillations originate from the semiclassical parameter, and call for appropriate methods. We propose to employ a combination of asymptotic Zassenhaus splitting with time adaptivity. While the former turns the disadvantage of the semiclassical parameter into an advantage, leading to highly efficient methods with low error constants, the latter enables to choose an optimal time step and to speed up the calculations when the oscillations subside. We support the results with numerical examples.


title: The emission of energetic electrons from the complex streamer corona adjacent to leader stepping

abstract: We here propose a model to capture the complexity of the streamer corona adjacent to leader stepping and relate it to the production of energetic electrons serving as a source of X-rays and $\gamma$-rays, manifesting in terrestrial gamma-ray flashes (TGFs). During its stepping, the leader tip is accompanied by a corona consisting of multitudinous streamers perturbing the air in its vicinity and leaving residual charge behind. We explore the relative importance of air perturbations and preionization on the production of energetic run-away electrons by 2.5D cylindrical Monte Carlo particle simulations of streamers in ambient fields of 16 kV cm$^{-1}$ and 50 kV cm$^{-1}$ at ground pressure. We explore preionization levels between $10^{10}$ m$^{-3}$ and $10^{13}$ m$^{-3}$, channel widths between 0.5 and 1.5 times the original streamer widths and air perturbation levels between 0\% and 50\% of ambient air. We observe that streamers in preionized and perturbed air accelerate more efficiently than in non-ionized and uniform air with air perturbation dominating the streamer acceleration. We find that in unperturbed air preionization levels of $10^{11}$ m$^{-3}$ are sufficient to explain run-away electron rates measured in conjunction with terrestrial gamma-ray flashes. In perturbed air, the production rate of runaway electrons varies from $10^{10}$ s$^{-1}$ to $10^{17}$ s$^{-1}$ with maximum electron energies from some hundreds of eV up to some hundreds of keV in fields above and below the breakdown strength. In the presented simulations the number of runaway electrons matches with the number of energetic electrons measured in alignment with the observations of terrestrial gamma-ray flashes. Conclusively, the complexity of the streamer zone ahead of leader tips allows explaining the emission of energetic electrons and photons from streamer discharges.


title: An In-Vehicle KWS System with Multi-Source Fusion for Vehicle Applications

abstract: In order to maximize detection precision rate as well as the recall rate, this paper proposes an in-vehicle multi-source fusion scheme in Keyword Spotting (KWS) System for vehicle applications. Vehicle information, as a new source for the original system, is collected by an in-vehicle data acquisition platform while the user is driving. A Deep Neural Network (DNN) is trained to extract acoustic features and make a speech classification. Based on the posterior probabilities obtained from DNN, the vehicle information including the speed and direction of vehicle is applied to choose the suitable parameter from a pair of sensitivity values for the KWS system. The experimental results show that the KWS system with the proposed multi-source fusion scheme can achieve better performances in term of precision rate, recall rate, and mean square error compared to the system without it.


title: About one method for constructing Hermite trigonometric polynomials

abstract: The method of constructing Hermite trigonometric polynomials, which interpolate the values of a certain periodic function and its derivatives up to (including ) the -th ( ) order in nodes of a uniform grid, is considered. The proposed method is based on the properties of the periodicity of trigonometric functions and is reduced to the solving of only two systems of the linear algebraic equations of the --th order; solutions to these systems may be obtained in advance. When implementing this method, it is necessary to calculate the coefficients of interpolation trigonometric polynomials that interpolate the values of the function itself and the values of its derivatives in the nodes of a uniform grid; well-known algorithms of fast Fourier transform can be applied for this purpose. The examples of construction of Hermite trigonometric polynomials for .. are given. The proposed method may be recommended for wide practical application.


title: Electro-Oxidation of p-Silicon in Fluoride-Containing Electrolyte: A Physical Model for the Regime of Negative Differential Resistance

abstract: When Si is anodically oxidized in a fluoride containing electrolyte, an oxide layer is grown. Simultaneously, the layer is etched by the fluoride containing electrolyte. The resulting stationary state exhibits a negative slope of the current-voltage characteristics in a certain range of applied voltage. We propose a physical model that reproduces this negative slope. In particular, our model assumes that the oxide layer consists of both partially and fully oxidized Si and that the etch rate depends on the effective degree of oxidation. Finally, we show that our simulations are in good agreement with measurements of the current-voltage characteristics, the oxide layer thickness, the dissolution valence, and the impedance spectra of the electrochemical system.


title: Constraining Jupiter's internal flows using Juno magnetic and gravity measurements

abstract: Deciphering the flow below the cloud-level of Jupiter remains a critical milestone in understanding Jupiter's internal structure and dynamics. The expected high-precision Juno measurements of both the gravity field and the magnetic field might help to reach this goal. Here we propose a method that combines both fields to constrain the depth dependent flow field inside Jupiter. This method is based on a mean-field electrodynamic balance that relates the flow field to the anomalous magnetic field, and geostrophic balance that relates the flow field to the anomalous gravity field. We find that the flow field has two distinct regions of influence - an upper region in which the flow affects mostly the gravity field, and a lower region in which the flow affects mostly the magnetic field. An optimization procedure allows to reach a unified flow structure that is consistent with both the gravity and the magnetic fields.


title: Identifying logarithmic tracts

abstract: We show that a direct tract bounded by a simple curve is a logarithmic tract and further give sufficient conditions for a direct tract to contain logarithmic tracts. As an application of these results, an example of a function with infinitely many direct singularities, but no logarithmic singularity over any finite value, is shown to be in the Eremenko-Lyubich class.


title: Two dimensional vortex structures with multi scale interactions in thin film superconductors

abstract: Interaction of particles of many systems can be effectively approximated by multiscale interaction potentials. Such potentials are widely used for investigation of colloidal systems and colloid-polymer mixtures, complex liquids (for instance, water) and other system. Also, it is of particular interest that effective interaction of vortices in a thin superconducting film can be approximated by a multiscale potential. The subject matter of the present paper is a system like this. Based on a multiscale potential we have shown that this system demonstrated a large number of different phases. It is particularly important that we analyze the influence of a long-range interaction of the system properties and show that properly taking into account long-range forces results in a dramatic change in the system phase diagram.


title: Lyapunov Criterion for Stochastic Systems and Its Applications in Distributed Computation

abstract: This paper presents new sufficient conditions for convergence and asymptotic or exponential stability of a stochastic discrete-time system, under which the constructed Lyapunov function always decreases in expectation along the system's solutions after a finite number of steps, but without necessarily strict decrease at every step, in contrast to the classical stochastic Lyapunov theory. As the first application of this new Lyapunov criterion, we look at the product of any random sequence of stochastic matrices, including those with zero diagonal entries, and obtain sufficient conditions to ensure the product almost surely converges to a matrix with identical rows; we also show that the rate of convergence can be exponential under additional conditions. As the second application, we study a distributed network algorithm for solving linear algebraic equations. We relax existing conditions on the network structures, while still guaranteeing the equations are solved asymptotically.


title: Hadron tomography in meson-pair production and gravitational form factors

abstract: Generalized parton distributions (GPDs) are 3-dimensional (3D) structure functions for hadrons, and they are important for solving the proton spin puzzle including partonic orbital-angular-momentum contributions. The $s$-$t$ crossed quantities of the GPDs are generalized distribution amplitudes (GDAs). Here, $s$ and $t$ are Mandelstam variables. The GDAs can be studied in two-photon processes ($\gamma^* \gamma\to h \bar h$) at KEKB. A GDA describes the amplitude from quark and antiquark to the hadron pair $h \bar h$. In 2016, the Belle collaboration reported measurements for pion-pair production in electron-positron collision, and the pion GDAs were determined in this work by analyzing the Belle data. In our analysis, the pion GDAs are expressed by a few parameters, which are determined by analyzing the Belle data. From the obtained GDAs, form factors of energy-momentum tenor, so called gravitational form factors, are calculated for pion in the timelike region. The spacelike gravitational form factors are calculated from the timelike ones by using the dispersion relation. Then, the mass radius is calculated as 0.32-0.39 fm and the mechanical radius, defined by the slope of the form factor $\Theta_1$, is calculated as 0.82-0.88 fm for the pion by using the spacelike form factors. This is the first study on gravitational form factors and radii of hadrons from actual experimental measurements. In 2019, the Belle II collaboration will start collecting data by the higher luminosity Super KEKB, so that the GDAs of other hadrons should also be investigated in the near future. Our studies are valuable in understanding 3D structure and gravitational properties of hadrons.


title: Low state transitions in the nova-like cataclysmic variable HS 0506+7725

abstract: The twelve-year light curve of the nova-like cataclysmic variable HS 0506+7725 between 2006 April and 2018 November is presented. This shows that the star spends most of the time in a normal state at magnitude ~14.7, but multiple excursions to a fainter state at magnitude 16.0 to 17.0 were apparent. These normal state/low state transitions of up to 2.3 magnitudes are typical of the VY Scl subclass of CVs. The second of these fading episodes was the best characterised as its return to normal brightness was also observed. The complete transition lasted about 43 days. Further monitoring of this system by amateur astronomers is encouraged to identify and characterise future low states.


title: Hyperbolic Disk Embeddings for Directed Acyclic Graphs

abstract: Obtaining continuous representations of structural data such as directed acyclic graphs (DAGs) has gained attention in machine learning and artificial intelligence. However, embedding complex DAGs in which both ancestors and descendants of nodes are exponentially increasing is difficult. Tackling in this problem, we develop Disk Embeddings, which is a framework for embedding DAGs into quasi-metric spaces. Existing state-of-the-art methods, Order Embeddings and Hyperbolic Entailment Cones, are instances of Disk Embedding in Euclidean space and spheres respectively. Furthermore, we propose a novel method Hyperbolic Disk Embeddings to handle exponential growth of relations. The results of our experiments show that our Disk Embedding models outperform existing methods especially in complex DAGs other than trees.


title: Parametric analyses of attack-fault trees

abstract: Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failures) and security (i.e. no disruptions due to attackers) are conditions that must be guaranteed. One of the traditional tools used to help considering these problems is attack trees, a tree-based formalism inspired by fault trees, a well-known formalism used in safety engineering. In this paper we define and implement the translation of attack-fault trees (AFTs) to a new extension of timed automata, called parametric weighted timed automata. This allows us to parametrize constants such as time and discrete costs in an AFT and then, using the model-checker IMITATOR, to compute the set of parameter values such that a successful attack is possible. Using the different sets of parameter values computed, different attack and fault scenarios can be deduced depending on the budget, time or computation power of the attacker, providing helpful data to select the most efficient counter-measure.


title: Winning the Big Data Technologies Horizon Prize: Fast and reliable forecasting of electricity grid traffic by identification of recurrent fluctuations

abstract: This paper provides a description of the approach and methodology I used in winning the European Union Big Data Technologies Horizon Prize on data-driven prediction of electricity grid traffic. The methodology relies on identifying typical short-term recurrent fluctuations, which is subsequently refined through a regression-of-fluctuations approach. The key points and strategic considerations that led to selecting or discarding different methodological aspects are also discussed. The criteria include adaptability to changing conditions, reliability with outliers and missing data, robustness to noise, and efficiency in implementation.


title: Lie-type Derivations of Finitary Incidence Algebras

abstract: Let $P$ be an arbitrary partially ordered set, $R$ a commutative ring with identity and $FI(P,R)$ the finitary incidence algebra of $P$ over $R$. Under some natural assumption on $R$, we prove that each Lie-type derivation of $FI(P,R)$ is proper.


title: Characteristic cycles and Gevrey series solutions of $A$-hypergeometric systems

abstract: We compute the $L$-characteristic cycle of an $A$-hypergeometric system and higher Euler-Koszul homology modules of the toric ring. We also prove upper semicontinuity results about the multiplicities in these cycles and apply our results to analyze the behavior of Gevrey solution spaces of the system.


title: Gaussian Mean Field Regularizes by Limiting Learned Information

abstract: Variational inference with a factorized Gaussian posterior estimate is a widely used approach for learning parameters and hidden variables. Empirically, a regularizing effect can be observed that is poorly understood. In this work, we show how mean field inference improves generalization by limiting mutual information between learned parameters and the data through noise. We quantify a maximum capacity when the posterior variance is either fixed or learned and connect it to generalization error, even when the KL-divergence in the objective is rescaled. Our experiments demonstrate that bounding information between parameters and data effectively regularizes neural networks on both supervised and unsupervised tasks.


title: Apollo: A Sequencing-Technology-Independent, Scalable, and Accurate Assembly Polishing Algorithm

abstract: Long reads produced by third-generation sequencing technologies are used to construct an assembly (i.e., the subject's genome), which is further used in downstream genome analysis. Unfortunately, long reads have high sequencing error rates and a large proportion of bps in these long reads are incorrectly identified. These errors propagate to the assembly and affect the accuracy of genome analysis. Assembly polishing algorithms minimize such error propagation by polishing or fixing errors in the assembly by using information from alignments between reads and the assembly (i.e., read-to-assembly alignment information). However, assembly polishing algorithms can only polish an assembly using reads either from a certain sequencing technology or from a small assembly. Such technology-dependency and assembly-size dependency require researchers to 1) run multiple polishing algorithms and 2) use small chunks of a large genome to use all available read sets and polish large genomes. We introduce Apollo, a universal assembly polishing algorithm that scales well to polish an assembly of any size (i.e., both large and small genomes) using reads from all sequencing technologies (i.e., second- and third-generation). Our goal is to provide a single algorithm that uses read sets from all available sequencing technologies to improve the accuracy of assembly polishing and that can polish large genomes. Apollo 1) models an assembly as a profile hidden Markov model (pHMM), 2) uses read-to-assembly alignment to train the pHMM with the Forward-Backward algorithm, and 3) decodes the trained model with the Viterbi algorithm to produce a polished assembly. Our experiments with real read sets demonstrate that Apollo is the only algorithm that 1) uses reads from any sequencing technology within a single run and 2) scales well to polish large assemblies without splitting the assembly into multiple parts.


title: The double point formula with isolated singularities and canonical embeddings

abstract: Motivated by the embedding problem of canonical models in small codimension, we extend Severi's double point formula to the case of surfaces with rational double points, and we give more general double point formulae for varieties with isolated singularities. A concrete application is for surfaces with geometric genus $p_g=5$: the canonical model is embedded in $\mathbb{P}^4$ if and only if we have a complete intersection of type $(2,4)$ or $(3,3)$.


title: VIZARD: Reliable Visual Localization for Autonomous Vehicles in Urban Outdoor Environments

abstract: Changes in appearance is one of the main sources of failure in visual localization systems in outdoor environments. To address this challenge, we present VIZARD, a visual localization system for urban outdoor environments. By combining a local localization algorithm with the use of multi-session maps, a high localization recall can be achieved across vastly different appearance conditions. The fusion of the visual localization constraints with wheel-odometry in a state estimation framework further guarantees smooth and accurate pose estimates. In an extensive experimental evaluation on several hundreds of driving kilometers in challenging urban outdoor environments, we analyze the recall and accuracy of our localization system, investigate its key parameters and boundary conditions, and compare different types of feature descriptors. Our results show that VIZARD is able to achieve nearly 100% recall with a localization accuracy below 0.5m under varying outdoor appearance conditions, including at night-time.


title: Are we ready to transfer optical light to gamma-rays?

abstract: Scattering relativistic electrons with optical lasers can result in a significant frequency upshift for the photons, potentially producing $\gamma$-rays. This is what linear Compton scattering taught us. Ultra-intense lasers offer nowadays a new paradigm where multi-photon absorption effects come into play. These effects can result in higher harmonics, higher yields and also electron-positron pairs. This article intends to discriminate the different laser scenarios that have been proposed over the past years as well as to give scaling laws for future experiments. The energy conversion from laser or particles to high-frequency photons is addressed for both the well-known counter propagating electron beam-laser interaction and for Quantum-electrodynamics cascades triggered by various lasers. Constructing bright and energetic gamma-ray sources in controlled conditions is within an ace of seeing the light of day.


title: Achieving Trust-Based and Privacy-Preserving Customer Selection in Ubiquitous Computing

abstract: The recent proliferation of smart devices has given rise to ubiquitous computing, an emerging computing paradigm which allows anytime & anywhere computing possible. In such a ubiquitous computing environment, customers release different computing or sensing tasks, and people, also known as data processors, participate in these tasks and get paid for providing their idle computing and communication resources. Thus, how to select an appropriate and reliable customer while not disclosing processors' privacy has become an interesting problem. In this article, we present a trust-based and privacy-preserving customer selection scheme in ubiquitous computing, called TPCS, to enable potential processors select the customers with good reputation. The basic concept of TPCS is that each data processor holds a trust value, and the reputation score of the customer is calculated based on processors' trust values and feedbacks via a truth discovery process. To preserve processors' privacy, pseudonyms and Paillier cryptosystem are applied to conceal each processor's real identity. In addition, three authentication protocols are designed to ensure that only the valid data processors (i.e., the processors registering in the system, holding the truthful trust values, and joining the computing tasks) can pass the authentication. A comprehensive security analysis is conducted to prove that our proposed TPCS scheme is secure and can defend against several sophisticated attacks. Moreover, extensive simulations are conducted to demonstrate the correctness and effectiveness of the proposed scheme.


title: Guiding Neuroevolution with Structural Objectives

abstract: The structure and performance of neural networks are intimately connected, and by use of evolutionary algorithms, neural network structures optimally adapted to a given task can be explored. Guiding such neuroevolution with additional objectives related to network structure has been shown to improve performance in some cases, especially when modular neural networks are beneficial. However, apart from objectives aiming to make networks more modular, such structural objectives have not been widely explored. We propose two new structural objectives and test their ability to guide evolving neural networks on two problems which can benefit from decomposition into subtasks. The first structural objective guides evolution to align neural networks with a user-recommended decomposition pattern. Intuitively, this should be a powerful guiding target for problems where human users can easily identify a structure. The second structural objective guides evolution towards a population with a high diversity in decomposition patterns. This results in exploration of many different ways to decompose a problem, allowing evolution to find good decompositions faster. Tests on our target problems reveal that both methods perform well on a problem with a very clear and decomposable structure. However, on a problem where the optimal decomposition is less obvious, the structural diversity objective is found to outcompete other structural objectives -- and this technique can even increase performance on problems without any decomposable structure at all.


title: A Multilevel Monte Carlo Asymptotic-Preserving Particle Method for Kinetic Equations in the Diffusion Limit

abstract: We propose a multilevel Monte Carlo method for a particle-based asymptotic-preserving scheme for kinetic equations. Kinetic equations model transport and collision of particles in a position-velocity phase-space. With a diffusive scaling, the kinetic equation converges to an advection-diffusion equation in the limit of zero mean free path. Classical particle-based techniques suffer from a strict time-step restriction to maintain stability in this limit. Asymptotic-preserving schemes provide a solution to this time step restriction, but introduce a first-order error in the time step size. We demonstrate how the multilevel Monte Carlo method can be used as a bias reduction technique to perform accurate simulations in the diffusive regime, while leveraging the reduced simulation cost given by the asymptotic-preserving scheme. We describe how to achieve the necessary correlation between simulation paths at different levels and demonstrate the potential of the approach via numerical experiments.


title: Domain-wall motion induced by spin transfer torque delivered by helicity-dependent femtosecond laser

abstract: In magnetic wires with perpendicular anisotropy, moving domain with only current or only circularly polarized light requires a high power. Here, we propose to reduce it by using both short current pulses and femtosecond laser pulses simultaneously. The wires were made out of perpendicularly magnetized film of Pt/Co/Ni/Co/Pt. The displacement of the domain wall is found to be dependent on the laser helicity. Based on a quantitative analysis of the current-induced domain wall motion, the spin orbit torque contribution can be neglected when compared to the spin transfer torque contribution. The effective field of the spin transfer torque is extracted from the pulsed field domain wall measurements. Finally, our result can be described using the Fatuzzo-Labrune model and considering the effective field due to the polarized laser beam, the effective field due to spin transfer torque, and the Gaussian temperature distribution of the laser spot.


title: Bayesian cumulative shrinkage for infinite factorizations

abstract: There is a wide variety of models in which the dimension of the parameter space is unknown. For example, in factor analysis the number of latent factors is typically not known and has to be inferred from the observed data. Although classical shrinkage priors are useful in these contexts, increasing shrinkage priors can provide a more effective option, which progressively penalizes expansions with growing complexity. In this article we propose a novel increasing shrinkage prior, named the cumulative shrinkage process, for the parameters controlling the dimension in over-complete formulations. Our construction has broad applicability, simple interpretation, and is based on a sequence of spike and slab distributions which assign increasing mass to the spike as model complexity grows. Using factor analysis as an illustrative example, we show that this formulation has theoretical and practical advantages over current competitors, including an improved ability to recover the model dimension. An adaptive Markov chain Monte Carlo algorithm is proposed, and the methods are evaluated in simulation studies and applied to personality traits data.


title: Inter-Node Distance Estimation from Multipath Delay Differences of Channels to Observer Nodes

abstract: We study the estimation of distance d between two wireless nodes by means of their wideband channels to a third node, called observer. The motivating principle is that the channel impulse responses are similar for small d and drift apart when d increases. Following this idea we propose specific distance estimators based on the differences of path delays of the extractable multipath components. In particular, we derive such estimators for rich multipath environments and various important cases: with and without clock synchronization as well as errors on the extracted path delays (e.g. due to limited bandwidth). The estimators readily support (and benefit from) the presence of multiple observers. We present an error analysis and, using ray tracing in an exemplary indoor environment, show that the estimators perform well in realistic conditions. We describe possible localization applications of the proposed scheme and highlight its major advantages: it requires neither precise synchronization nor line-of-sight connection. This could make wireless user tracking feasible in dynamic indoor settings.


title: On Helmholtz equations and counterexamples to Strichartz estimates in hyperbolic space

abstract: In this paper, we study nonlinear Helmholtz equations (NLH) $-\Delta_{\mathbb{H}^N} u - \frac{(N-1)^2}{4} u -\lambda^2 u = \Gamma|u|^{p-2}u$ in $\mathbb{H}^N$, $N\geq 2$ where $\Delta_{\mathbb{H}^N}$ denotes the Laplace-Beltrami operator in the hyperbolic space $\mathbb{H}^N$ and $\Gamma\in L^\infty(\mathbb{H}^N)$ is chosen suitably. Using fixed point and variational techniques, we find nontrivial solutions to (NLH) for all $\lambda>0$ and $p>2$. The oscillatory behaviour and decay rates of radial solutions is analyzed, with possible extensions to Cartan-Hadamard manifolds and Damek-Ricci spaces. Our results rely on a new Limiting Absorption Principle for the Helmholtz operator in $\mathbb{H}^N$. As a byproduct, we obtain simple counterexamples to certain Strichartz estimates.


title: Four-wave mixing and enhanced analogue Hawking effect in a nonlinear optical waveguide

abstract: We study in detail the scattering of light on a soliton propagating in a waveguide which has been proposed as an experimental system in which one could observe the analogue Hawking effect. When not applying the rotating wave approximation, we show that the linearized wave equation governing perturbations has the same structure as that governing phonon propagation in an atomic Bose condensate. By taking into account the full dispersion relation, we then show that the scattering coefficients encoding the production of photon pairs are amplified by a resonance effect related to the modulation instability occurring in the presence of a continuous wave. When using a realistic example of a silicon nitride waveguide on a silica substrate, we find that a soliton of duration 10 fs would spontaneously emit about one photon pair for every cm it travels, which makes the effect readily observable. This result is confirmed by numerically solving the equation encoding the Kerr nonlinearity and governing the evolution of the full field (soliton plus perturbations). We discuss the link with previous works devoted to the analogue Hawking effect where the pair creation rates were about six orders of magnitude smaller.


title: Torus quotient of Richardson varieties in Orthogonal and Symplectic Grassmannians

abstract: For any simple, simply connected algebraic group $G$ of type $B,C$ and $D$ and for any maximal parabolic subgroup $P$ of $G$, we provide a criterion for a Richardson variety in $G/P$ to admit semistable points for the action of a maximal torus $T$ with respect to an ample line bundle on $G/P$.


title: Heavy particles in a persistent random flow with traps

abstract: We study a one-dimensional model for heavy particles in a compressible fluid. The fluid-velocity field is modelled by a persistent Gaussian random function, and the particles are assumed to be weakly inertial. Since one-dimensional fluid-velocity fields are always compressible, the model exhibits spatial trapping regions where particles tend to accumulate. We determine the statistics of fluid-velocity gradients in the vicinity of these traps and show how this allows to determine the spatial Lyapunov exponent and the rate of caustic formation. We compare our analytical results with numerical simulations of the model and explore the limits of validity of the theory. Finally, we discuss implications for higher-dimensional systems.


title: Entanglement entropy for the valence bond solid phases of two-dimensional dimerized Heisenberg antiferromagnets

abstract: We calculate the bipartite von Neumann and second R\'enyi entanglement entropies of the ground states of spin-1/2 dimerized Heisenberg antiferromagnets on a square lattice. Two distinct dimerization patterns are considered: columnar and staggered. In both cases, we concentrate on the valence bond solid (VBS) phase and describe such a phase with the bond-operator representation. Within this formalism, the original spin Hamiltonian is mapped into an effective interacting boson model for the triplet excitations. We study the effective Hamiltonian at the harmonic approximation and determine the spectrum of the elementary triplet excitations. We then follow an analytical procedure, which is based on a modified spin-wave theory for finite systems and was originally employed to calculate the entanglement entropies of magnetic ordered phases, and calculate the entanglement entropies of the VBS ground states. In particular, we consider one-dimensional (line) subsystems within the square lattice, a choice that allows us to consider line subsystems with sizes up to $L' = 1000$. We combine such a procedure with the results of the bond-operator formalism at the harmonic level and show that, for both dimerized Heisenberg models, the entanglement entropies of the corresponding VBS ground states obey an area law as expected for gapped phases. For both columnar-dimer and staggered-dimer models, we also show that the entanglement entropies increase but do not diverge as the dimerization decreases and the system approaches the N\'eel--VBS quantum phase transition. Finally, the entanglement spectra associated with the VBS ground states are presented.


title: The effect of scene context on weakly supervised semantic segmentation

abstract: Image semantic segmentation is parsing image into several partitions in such a way that each region of which involves a semantic concept. In a weakly supervised manner, since only image-level labels are available, discriminating objects from the background is challenging, and in some cases, much more difficult. More specifically, some objects which are commonly seen in one specific scene (e.g. 'train' typically is seen on 'railroad track') are much more likely to be confused. In this paper, we propose a method to add the target-specific scenes in order to overcome the aforementioned problem. Actually, we propose a scene recommender which suggests to add some specific scene contexts to the target dataset in order to train the model more accurately. It is notable that this idea could be a complementary part of the baselines of many other methods. The experiments validate the effectiveness of the proposed method for the objects for which the scene context is added.


title: The anomalous Hall effect in non-collinear antiferromagnetic Mn$_{3}$NiN thin films

abstract: We have studied the anomalous Hall effect (AHE) in strained thin films of the frustrated antiferromagnet Mn$_{3}$NiN. The AHE does not follow the conventional relationships with magnetization or longitudinal conductivity and is enhanced relative to that expected from the magnetization in the antiferromagnetic state below $T_{\mathrm{N}} = 260$\,K. This enhancement is consistent with origins from the non-collinear antiferromagnetic structure, as the latter is closely related to that found in Mn$_{3}$Ir and Mn$_{3}$Pt where a large AHE is induced by the Berry curvature. As the Berry phase induced AHE should scale with spin-orbit coupling, yet larger AHE may be found in other members of the chemically flexible Mn$_{3}A$N structure.


title: Determination of polariton condensates' critical temperature

abstract: We investigate the thermal robustness of traveling polariton condensates. We create remote condensates that have never been in contact, and study their interference in momentum space, when they travel with the same velocity, by means of time-resolved photoluminescence. We determine the condensed to thermal, uncondensed polariton fraction, which shows a gradual decay with increasing temperature, and obtain the critical temperature for the Bose-Einstein-like condensate (BEC) phase transition. We tentatively compare our experimental findings with theoretical models, developed for atomic condensates, to describe the condensates' coherence fading with temperature.


title: List edge coloring of outer-1-planar graphs

abstract: A graph is outer-1-planar if it can be drawn in the plane so that all vertices are on the outer face and each edge is crossed at most once. It is known that the list edge chromatic number $\chi'_l(G)$ of any outer-1-planar graph $G$ with maximum degree $\Delta(G)\geq 5$ is exactly its maximum degree. In this paper, we prove $\chi'_l(G)=\Delta(G)$ for outer-1-planar graphs $G$ with $\Delta(G)=4$ and with the crossing distance being at least 3.


title: Degenerate central factorial numbers of the second kind

abstract: In this paper, we introduce the degenerate central factorial polynomials and numbers of the second kind which are degenerate versions of the central factorial polynomials and numbers of the second kind. We derive some properties and identities for those polynomials and numbers. We obtain, among other things, recursive formulas for the degenerate central factorial polynomials and numbers of the second kind.


title: Shear jamming and fragility in dense suspensions

abstract: The phenomenon of shear-induced jamming is a factor in the complex rheological behavior of dense suspensions. Such shear-jammed states are fragile, i.e., they are not stable against applied stresses that are incompatible with the stress imposed to create them. This peculiar flow-history dependence of the stress response is due to flow-induced microstructures. To examine jammed states realized under constant shear stress, we perform dynamic simulations of non-Brownian particles with frictional contact forces and hydrodynamic lubrication forces. We find clear signatures that distinguish these fragile states from the more conventional isotropic jammed states.


title: Distributed and Application-aware Task Scheduling in Edge-clouds

abstract: Edge computing is an emerging technology which places computing at the edge of the network to provide an ultra-low latency. Computation offloading, a paradigm that migrates computing from mobile devices to remote servers, can now use the power of edge computing by offloading computation to cloudlets in edge-clouds. However, the task scheduling of computation offloading in edge-clouds faces a two-fold challenge. First, as cloudlets are geographically distributed, it is difficult for each cloudlet to perform load balancing without centralized control. Second, as tasks of computation offloading have a wide variety of types, to guarantee the user quality of experience (QoE) in terms of task types is challenging. In this paper, we present Petrel, a distributed and application-aware task scheduling framework for edge-clouds. Petrel implements a sample-based load balancing technology and further adopts adaptive scheduling policies according to task types. This application-aware scheduling not only provides QoE guarantee but also improves the overall scheduling performance. Trace-driven simulations show that Petrel achieves a significant improvement over existing scheduling strategies.


title: Asymptotic Performance Analysis of Blockchain Protocols

abstract: In the light of the recent fame of Blockchain technologies, numerous proposals and projects aiming at better practical viability have emerged. However, formally assessing their particularities and benefits has proven to be a difficult task. The aim of this work is to compare the fundamental differences of such protocols to understand how they lead to different practical performances. To reach this goal, we undertake a complexity analysis of a wide range of prominent distributed algorithms proposed for blockchain systems, under the lens of Total Order Broadcast protocols. We sampled protocols designed for very different settings and that use a broad range of techniques, thus giving a good overview of the achievements of state-of-the-art techniques. By analyzing latency and network usage, we are able to discuss each protocol's characteristics and properties in a consistent manner. One corollary result to our work is a more robust criteria to classify protocols as permissioned or permissionless.


title: Water vapour pressure as determining control parameter to fabricate high efficiency perovskite solar cells at ambient conditions

abstract: Although perovskite solar cells have demonstrated impressive efficiencies in research labs (above 23%), there is a need of experimental procedures that allow their fabrication at ambient conditions, which would decrease substantially manufacturing costs. However, under ambient conditions, a delicate control of the moisture level in the atmosphere has to be enforced to achieve efficient and highly stable devices. In this work, we show that it is the absolute content of water measured in the form of partial water vapour pressure (WVP) the only determining control parameter that needs to be considered during preparation. Following this perspective, MAPbI3 perovskite films were deposited under different WVP by changing the relative humidity (RH) and the lab temperature. We found that efficient and reproducible devices can be obtained at given values of WVP. Furthermore, it is demonstrated that small temperature changes, at the same value of the RH, result in huge changes in performance, due to the non-linear dependence of the WVP on temperature. We have extended the procedure to accomplish high-efficient FA0.83MA0.17PbI3 devices at ambient conditions by adjusting DMSO proportion in precursor solution as a function of WVP only. As an example of the relevance of this paramater, a WVP value of around of 1.6 kPa appears to be an upper limit for safe fabrication of high efficiency devices at ambient conditions, regardless the RH and lab temperature.


title: Coverage fluctuations in theater models

abstract: We introduce the theater model, which is the simplest variant of directed random sequential adsorption in one dimension with point source and steric interactions. Particles enter sequentially an initially empty row of $L$ sites and adsorb irreversibly at randomly chosen places. If two particles occupy adjacent sites, they prevent further particles from passing them. A jammed configuration without available empty sites is eventually reached. More generally, we investigate the class of models parametrized by $b$, the number of consecutive particles needed to form a blockage. We show analytically that the occupations of different sites in jammed configurations exhibit long-range correlations obeying scaling laws, for all integers $b\ge2$, so that the total number of particles grows as a subextensive power of $L$, with exponent $(b-1)/b$, and keeps fluctuating even for very large systems. The exactly known relative number variance measuring this lack of self-averaging is maximal for the theater model {\it stricto sensu} ($b=2$). In the special case where $b=1$, so that each adsorbed particle is a blockage, the model can be mapped onto the statistics of records in sequences of random variables and of cycles in random permutations. A two-sided variant of the model is also considered. In both situations the number of particles grows only logarithmically with $L$, and it is self-averaging.


title: Wellposedness and convergence of solutions to a class of forced non-diffusive equations with applications

abstract: This paper considers a family of non-diffusive active scalar equations where a viscosity type parameter enters the equations via the constitutive law that relates the drift velocity with the scalar field. The resulting operator is smooth when the viscosity is present but singular when the viscosity is zero. We obtain Gevrey-class local well-posedness results and convergence of solutions as the viscosity vanishes. We apply our results to two examples that are derived from physical systems: firstly a model for magnetostrophic turbulence in the Earth's fluid core and secondly flow in a porous media with an "effective viscosity".


title: Low-rank tensor approximation for Chebyshev interpolation in parametric option pricing

abstract: Treating high dimensionality is one of the main challenges in the development of computational methods for solving problems arising in finance, where tasks such as pricing, calibration, and risk assessment need to be performed accurately and in real-time. Among the growing literature addressing this problem, Gass et al. [14] propose a complexity reduction technique for parametric option pricing based on Chebyshev interpolation. As the number of parameters increases, however, this method is affected by the curse of dimensionality. In this article, we extend this approach to treat high-dimensional problems: Additionally exploiting low-rank structures allows us to consider parameter spaces of high dimensions. The core of our method is to express the tensorized interpolation in tensor train (TT) format and to develop an efficient way, based on tensor completion, to approximate the interpolation coefficients. We apply the new method to two model problems: American option pricing in the Heston model and European basket option pricing in the multi-dimensional Black-Scholes model. In these examples we treat parameter spaces of dimensions up to 25. The numerical results confirm the low-rank structure of these problems and the effectiveness of our method compared to advanced techniques.


title: Effective dynamics of a conditioned generalized linear Glauber model

abstract: In order to study the stochastic Markov processes conditioned on a specific value of a time-integrated observable, the concept of ensembles of trajectories has been recently used extensively. In this paper, we consider a generic reaction-diffusion process consisting of classical particles with nearest-neighbor interactions on a one-dimensional lattice with periodic boundary conditions. By introducing a time-integrated current as a physical observable, we have found certain constraints on the microscopic transition rates of the process under which the effective process contains local interactions; however, with rescaled transition rates comparing to the original process. A generalization of the linear Glauber model is then introduced and studied in detail as an example. Associated effective dynamics of this model is investigated and constants of motion are obtained.

categories: cond-mat.stat-mech math-ph math.MP physics.comp-ph


title: The jet of S5 0716+71 at $\mu$as scales with RadioAstron

abstract: Ground-space interferometer RadioAstron provides unique opportunity to probe detail structure of the distant active galactic nuclei at $\mu$as scales. Here we report on RadioAstron observations of the BL Lac object S5 0716$+$71, performed in a framework of the AGN Polarization and Survey Key Science Programs at 22 GHz during 2012-2018. We obtained the highest angular resolution image of the source to date, at $57\times24 \mu$as. It reveals complex structure of the blazar jet in the inner 100 $\mu$as, with emission regions that can be responsible for the blazar variability at timescales of a few days to week. Linear polarization is detected in the core and jet areas at the projected baselines up to about $5.6$ Earth diameters. The observed core brightness temperature in the source frame of $\geq2.2\times10^{13}$ K is in excess of theoretical limits, suggesting the physical conditions are far from the equipartition between relativistic particles and magnetic field.


title: On property (T) for automorphism groups of graph products

abstract: We show that the automorphism group of a graph product of finite groups $Aut(G_\Gamma)$ has Kazhdan's property (T) if and only if $\Gamma$ is a complete graph.


title: Are many-body localized systems stable in the presence of a small bath?

abstract: When pushed out of equilibrium, generic interacting quantum systems equilibrate locally and are expected to evolve towards a locally thermal description despite their unitary time evolution. Systems in which disorder competes with interactions and transport can violate this expectation by exhibiting many-body localization. The strength of the disorder with respect to the other two parameters drives a transition from a thermalizing system towards a non-thermalizing one. The existence of this transition is well established both in experimental and numerical studies for finite systems. However, the stability of many-body localization in the thermodynamic limit is largely unclear. With increasing system size, a generic disordered system will contain with high probability areas of low disorder variation. If large and frequent enough, those areas constitute ergodic grains which can hybridize and thus compete with localization. While the details of this process are not yet settled, it is conceivable that if such regions appear sufficiently often, they might be powerful enough to restore thermalization. We set out to shed light on this problem by constructing potential landscapes with low disorder regions and numerically investigating their localization behavior in the Heisenberg model. Our findings suggest that many-body localization may be much more stable than anticipated in other recent theoretical works.


title: A Class of Narrow-Sense BCH Codes

abstract: BCH codes are an important class of cyclic codes which have applications in satellite communications, DVDs, disk drives, and two-dimensional bar codes. Although BCH codes have been widely studied, their parameters are known for only a few special classes. Recently, Ding et al. made some new progress in BCH codes. However, we still have very limited knowledge on the dimension of BCH codes, not to mention the weight distribution of BCH codes. In this paper, we generalize the results on BCH codes from several previous papers. The dimension of narrow-sense BCH codes of length $\frac{q^m-1}{\lambda}$ with designed distance $2\leq \delta \leq \frac{q^{\lceil(m+1)/2 \rceil}-1}\lambda+1$ is settled, where $\lambda$ is any factor of $q-1$. The weight distributions of two classes of narrow-sense BCH codes of length $\frac{q^m-1}2$ with designed distance $\delta=\frac{(q-1)q^{m-1}-q^{\lfloor(m-1)/2\rfloor}-1}2$ and $\delta=\frac{(q-1)q^{m-1}-q^{\lfloor(m+1)/2\rfloor}-1}2$ are determined. The weight distribution of a class of BCH codes of length $\frac{q^m-1}{q-1}$ is determined. In particular, a subclass of this class of BCH codes is optimal with respect to the Griesmer bound. Some optimal linear codes obtained from this class of BCH codes are characterized.


title: Polynomial Invariant Generation for Non-deterministic Recursive Programs

abstract: We consider the classical problem of invariant generation for programs with polynomial assignments and focus on synthesizing invariants that are a conjunction of strict polynomial inequalities. We present a sound and semi-complete method based on positivstellensaetze, i.e. theorems in semi-algebraic geometry that characterize positive polynomials over a semi-algebraic set. To the best of our knowledge, this is the first invariant generation method to provide completeness guarantees for invariants consisting of polynomial inequalities. Moreover, on the theoretical side, the worst-case complexity of our approach is subexponential, whereas the worst-case complexity of the previously-known complete method (Colon et al, CAV 2003), which could only handle linear invariants, is exponential. On the practical side, we reduce the invariant generation problem to quadratic programming (QCLP), which is a classical optimization problem with many industrial solvers. Finally, we demonstrate the applicability of our approach by providing experimental results on several academic benchmarks.


title: Azimuthal separation in nearly back-to-back jet topologies in inclusive 2- and 3-jet events in pp collisions at $\sqrt{s} =$ 13 TeV

abstract: A measurement for inclusive 2- and 3-jet events of the azimuthal correlation between the two jets with the largest transverse momenta, $\Delta\phi_{12}$ , is presented. The measurement considers events where the two leading jets are nearly collinear ("back-to-back") in the transverse plane and is performed for several ranges of the leading jet transverse momentum. Proton-proton collision data collected with the CMS experiment at a center-of-mass energy of 13 TeV and corresponding to an integrated luminosity of 35.9 fb$^{-1}$ are used. Predictions based on calculations using matrix elements at leading-order and next-to-leading-order accuracy in perturbative quantum chromodynamics supplemented with leading-log parton showers and hadronization are generally in agreement with the measurements. Discrepancies between the measurement and theoretical predictions are as large as 15%, mainly in the region 177$^\circ$ $<$ $\Delta\phi_{12}$ $<$ 180$^\circ$. The 2- and 3-jet measurements are not simultaneously described by any of models.


title: Benders Subproblem Decomposition for Bilevel Problems with Convex Follower

abstract: Bilevel optimization formulates hierarchical decision-making processes that arise in many real-world applications such as in pricing, network design, and infrastructure defense planning. In this paper, we consider a class of bilevel optimization problems where the upper-level problem features some integer variables while the lower-level problem enjoys strong duality. We propose a dedicated Benders decomposition method for solving this class of bilevel problems, which decomposes the Benders subproblem into two more tractable, sequentially solvable problems that can be interpreted as the upper and the lower-level problems. We show that the Benders subproblem decomposition carries over to an interesting extension of bilevel problems, which connects the upper-level solution with the lower level dual solution, and discuss some special cases of bilevel problems that allow sequence-independent subproblem decomposition. Several novel schemes for generating numerically stable cuts, finding a good incumbent solution, and accelerating the search tree are discussed. A computational study demonstrates the computational benefits of the proposed method over a state-of-the-art bilevel-tailored branch-and-cut method, a commercial solver, and the standard Benders method on standard test cases and the motivating applications in sequential energy markets.


title: An adaptive stochastic optimization algorithm for resource allocation

abstract: We consider the classical problem of sequential resource allocation where a decision maker must repeatedly divide a budget between several resources, each with diminishing returns. This can be recast as a specific stochastic optimization problem where the objective is to maximize the cumulative reward, or equivalently to minimize the regret. We construct an algorithm that is {\em adaptive} to the complexity of the problem, expressed in term of the regularity of the returns of the resources, measured by the exponent in the {\L}ojasiewicz inequality (or by their universal concavity parameter). Our parameter-independent algorithm recovers the optimal rates for strongly-concave functions and the classical fast rates of multi-armed bandit (for linear reward functions). Moreover, the algorithm improves existing results on stochastic optimization in this regret minimization setting for intermediate cases.


title: Designing multi-level resistance states for multi-bit storage using half doped manganites

abstract: Designing nonvolatile multi-level resistive devices is the necessity of time to go beyond traditional one-bit storage systems, thus enhancing the storage density. Here, we explore the electronic phase competition scenario to design multi-level resistance states using a half doped CE-type charge ordered insulating bulk manganite, $Sm_{0.5}Ca_{0.25}Sr_{0.25}MnO_3$ (SCSMO). By introducing electronic phase coexistence in a controllable manner in SCSMO, we show that the system can be stabilized into several metastable states, against thermal cycling, up to 62 K. As a result the magnetization (and the resistivity) remains unaltered during the thermal cycling. Monte Carlo calculations using two-band double exchange model, including super-exchange, electron-phonon coupling, and quenched disorder, show that the system freezes into a phase coexistence metastable state during the thermal cycling due to the chemical disorder in SCSMO. Using the obtained insights we outline a pathway by utilizing four reversible metastable resistance states to design a prototype multi-bit memory device.


title: Manifestation of Image Contrast in Deep Networks

abstract: Contrast is subject to dramatic changes across the visual field, depending on the source of light and scene configurations. Hence, the human visual system has evolved to be more sensitive to contrast than absolute luminance. This feature is equally desired for machine vision: the ability to recognise patterns even when aspects of them are transformed due to variation in local and global contrast. In this work, we thoroughly investigate the impact of image contrast on prominent deep convolutional networks, both during the training and testing phase. The results of conducted experiments testify to an evident deterioration in the accuracy of all state-of-the-art networks at low-contrast images. We demonstrate that "contrast-augmentation" is a sufficient condition to endow a network with invariance to contrast. This practice shows no negative side effects, quite the contrary, it might allow a model to refrain from other illuminance related over-fittings. This ability can also be achieved by a short fine-tuning procedure, which opens new lines of investigation on mechanisms involved in two networks whose weights are over 99.9% correlated, yet astonishingly produce utterly different outcomes. Our further analysis suggests that the optimisation algorithm is an influential factor, however with a significantly lower effect; and while the choice of an architecture manifests a negligible impact on this phenomenon, the first layers appear to be more critical.


title: Generalized Lineage-Aware Temporal Windows: Supporting Outer and Anti Joins in Temporal-Probabilistic Databases

abstract: The result of a temporal-probabilistic (TP) join with negation includes, at each time point, the probability with which a tuple of a positive relation ${\bf p}$ matches none of the tuples in a negative relation ${\bf n}$, for a given join condition $\theta$. TP outer and anti joins thus resemble the characteristics of relational outer and anti joins also in the case when there exist time points at which input tuples from ${\bf p}$ have non-zero probabilities to be $true$ and input tuples from ${\bf n}$ have non-zero probabilities to be $false$, respectively. For the computation of TP joins with negation, we introduce generalized lineage-aware temporal windows, a mechanism that binds an output interval to the lineages of all the matching valid tuples of each input relation. We group the windows of two TP relations into three disjoint sets based on the way attributes, lineage expressions and intervals are produced. We compute all windows in an incremental manner, and we show that pipelined computations allow for the direct integration of our approach into PostgreSQL. We thereby alleviate the prevalent redundancies in the interval computations of existing approaches, which is proven by an extensive experimental evaluation with real-world datasets.


title: Exterior powers of the adjoint representation and the Weyl ring of $E_8$

abstract: I derive explicitly all polynomial relations in the character ring of $E_8$ of the form $\chi_{\wedge^k \mathfrak{e}_8} - \mathfrak{p}_{k} (\chi_{1}, \dots, \chi_{8})=0$, where $\wedge^k \mathfrak{e}_8$ is an arbitrary exterior power of the adjoint representation and $\chi_{i}$ is the $i^{\rm th}$ fundamental character. This has simultaneous implications for the theory of relativistic integrable systems, Seiberg-Witten theory, quantum topology, orbifold Gromov-Witten theory, and the arithmetic of elliptic curves. The solution is obtained by reducing the problem to a (large, but finite) dimensional linear problem, which is amenable to an efficient solution via distributed computation.

categories: math.RT hep-th math-ph math.AG math.GR math.MP


title: Local model of Hilbert-Siegel moduli schemes in $\Gamma_1(p)$-level

abstract: We construct a local model for Hilbert-Siegel moduli schemes with $\Gamma_1(p)$-level bad reduction over $\text{Spec }\mathbb{Z}_{q}$, where $p$ is a prime unramified in the totally real field and $q$ is the residue cardinality over $p$. Our main tool is a variant over the small Zariski site of the ring-equivariant Lie complex $_A\underline{\ell}_G^{\vee}$ defined by Illusie in his thesis, where $A$ is a commutative ring and $G$ is a scheme of $A$-modules. We use it to calculate the $\mathbb{F}_{q}$-equivariant Lie complex of a Raynaud group scheme, then relate the integral model and the local model.


title: The blocks of the periplectic Brauer algebra in positive characteristic

abstract: We determine the blocks of the periplectic Brauer algebra over any field of odd characteristic.


title: A Novel Rate and Channel Control Scheme Based on Data Extraction Rate for LoRa Networks

abstract: Long Range (LoRa) has become one of the most popular Low Power Wide Area (LPWA) technologies, which provides a desirable trade-off among communication range, battery life, and deployment cost. In LoRa networks, several transmission parameters can be allocated to ensure efficient and reliable communication. For example, the configuration of the spreading factor allows tuning the data rate and the transmission distance. However, how to dynamically adjust the setting that minimizes the collision probability while meeting the required communication performance is an open challenge. This paper proposes a novel Data Rate and Channel Control (DRCC) scheme for LoRa networks so as to improve wireless resource utilization and support a massive number of LoRa nodes. The scheme estimates channel conditions based on the short-term Data Extraction Rate (DER), and opportunistically adjusts the spreading factor to adapt the variation of channel conditions. Furthermore, the channel control is carried out to balance the link load of all available channels with the global information of the channel usage, which is able to lower the access collisions under dense deployments. Our experiments demonstrate that the proposed DRCC performs well on improving the reliability and capacity compared with other spreading factor allocation schemes in dense deployment scenarios.


title: Multi-Component Dark Matter in a Non-Abelian Dark Sector

abstract: In this paper, we explore a dark sector scenario with a gauged $SU(2)_R$ and a global $U(1)_X \times \mathbb{Z}_2$, where the continuous symmetries are spontaneously broken to a global $U(1)_D$. We show that in various regions of the parameter space we can have two, or three dark matter candidates, where these dark matter particles are either a Dirac fermion, a dark gauge boson, or a complex scalar. The phenomenological implications of this scenario are vast and interesting. We identify the parameter space that is still viable after taking into account the constraints from various experiments. We, also, discuss how this scenario can explain the recent observation by DAMPE in the electron-positron spectrum. Furthermore, we comment on the neutrino mass generation through non-renormalizable interactions between the standard model and the dark sector.


title: An Analysis of United States Online Political Advertising Transparency

abstract: During the summer of 2018, Facebook, Google, and Twitter created policies and implemented transparent archives that include U.S. political advertisements which ran on their platforms. Through our analysis of over 1.3 million ads with political content, we show how different types of political advertisers are disseminating U.S. political messages using Facebook, Google, and Twitter's advertising platforms. We find that in total, ads with political content included in these archives have generated between 8.67 billion - 33.8 billion impressions and that sponsors have spent over $300 million USD on advertising with U.S. political content. We are able to improve our understanding of political advertisers on these platforms. We have also discovered a significant amount of advertising by quasi for-profit media companies that appeared to exist for the sole purpose of creating deceptive online communities focused on spreading political messaging and not for directly generating profits. Advertising by such groups is a relatively recent phenomenon, and appears to be thriving on online platforms due to the lower regulatory requirements compared to traditional advertising platforms. We have found through our attempts to collect and analyze this data that there are many limitations and weaknesses that enable intentional or accidental deception and bypassing of the current implementations of these transparency archives. We provide several suggestions for how these archives could be made more robust and useful. Overall, these efforts by Facebook, Google, and Twitter have improved political advertising transparency of honest and, in some cases, possibly dishonest advertisers on their platforms. We thank the people at these companies who have built these archives and continue to improve them.


title: Shadowing and structural stability in linear dynamical systems

abstract: A well-known result in the area of dynamical systems asserts that any invertible hyperbolic operator on any Banach space is structurally stable. This result was originally obtained by P. Hartman in 1960 for operators on finite-dimensional spaces. The general case was independently obtained by J. Palis and C. Pugh around 1968. We will exhibit examples of structurally stable operators that are not hyperbolic, thereby showing that the converse of the above-mentioned result is false in general. We will also prove that an invertible operator on a Banach space is hyperbolic if and only if it is expansive and has the shadowing property. Moreover, we will show that if a structurally stable operator is expansive, then it must be uniformly expansive. Finally, we will characterize the weighted shifts on the spaces $c_0(\mathbb{Z})$ and $\ell_p(\mathbb{Z})$ ($1 \leq p < \infty$) that satisfy the shadowing property.


title: Real Time Lateral Movement Detection based on Evidence Reasoning Network for Edge Computing Environment

abstract: Edge computing is providing higher class intelligent service and computing capabilities at the edge of the network. The aim is to ease the backhaul impacts and offer an improved user experience, however, the edge artificial intelligence exacerbates the security of the cloud computing environment due to the dissociation of data, access control and service stages. In order to prevent users from using the edge-cloud computing environment to carry out lateral movement attacks, we proposed a method named CloudSEC meaning real time lateral movement detection based on evidence reasoning network for the edge-cloud environment. The concept of vulnerability correlation is introduced. Based on the vulnerability knowledge and environmental information of the network system, the evidence reasoning network is constructed, and the lateral movement reasoning ability provided by the evidence reasoning network is used. CloudSEC realizes the reconfiguration of the efficient real-time attack process. The experiment shows that the results are complete and credible.


title: Towards Schwinger production of magnetic monopoles in heavy-ion collisions

abstract: Magnetic monopoles may be produced by the Schwinger effect in the strong magnetic fields of peripheral heavy-ion collisions. We review the form of the electromagnetic fields in such collisions and calculate from first principles the cross section for monopole pair production. Using the worldline instanton method, we work to all orders in the magnetic charge, and hence are not hampered by the breakdown of perturbation theory. Our result depends on the spacetime inhomogeneity through a single dimensionless parameter, the Keldysh parameter, which is independent of collision energy for a given monopole mass. For realistic heavy-ion collisions, the computational cost of the calculation becomes prohibitive and the finite size of the monopoles needs to be taken into account, and therefore our current results are not applicable to them. Nonetheless, our results show that the spacetime dependence enhances the production cross section and would therefore lead to stronger monopole mass bounds than in the constant-field case.


title: Multiple Stieltjes constants and Laurent type expansion of the multiple zeta functions at integer points

abstract: In this article, we study the local behaviour of the multiple zeta functions at integer points and write down a Laurent type expansion of the multiple zeta functions around these points. Such an expansion involves a convergent power series whose coefficients are obtained by a regularisation process, similar to the one used in defining the classical Stieltjes constants for the Riemann zeta function. We therefore call these coefficients {\it multiple Stieltjes constants}. The remaining part of the above mentioned Laurent type expansion is then expressed in terms of the multiple Stieltjes constants arising in smaller depths.


title: Multitask Learning for Polyphonic Piano Transcription, a Case Study

abstract: Viewing polyphonic piano transcription as a multitask learning problem, where we need to simultaneously predict onsets, intermediate frames and offsets of notes, we investigate the performance impact of additional prediction targets, using a variety of suitable convolutional neural network architectures. We quantify performance differences of additional objectives on the large MAESTRO dataset.


title: Determination of quantum defect for the Rydberg P series of Ca II

abstract: We present an experimental investigation of the Rydberg 23 P$_{1/2}$ state of laser-cooled $^{40}$Ca$^+$ ions in a radiofrequency ion trap. Using micromotion sideband spectroscopy on a narrow quadrupole transition, the oscillating electric field at the ion position was precisely characterised, and the modulation of the Rydberg transition due to this field was minimised. From a correlated fit to this P line and previously measured P and F level energies of Ca II, we have determined the ionization energy of 95 751.916(32) $\rm {cm}^{-1}$, in agreement with the accepted value, and the quantum defect for the $n$ P$_{1/2}$ states.


title: Complete resource pooling of a load balancing policy for a network of battery swapping stations

abstract: To reduce carbon emission in the transportation sector, there is currently a steady move taking place to an electrified transportation system. This brings about various issues for which a promising solution involves the construction and operation of a battery swapping infrastructure rather than in-vehicle charging of batteries. In this paper, we study a closed Markovian queueing network that allows for spare batteries under a dynamic arrival policy. We propose a provisioning rule for the capacity levels and show that these lead to near-optimal resource utilization, while guaranteeing good quality-of-service levels for Electric Vehicle (EV) users. Key in the derivations is to prove a state-space collapse result, which in turn implies that performance levels are as good as if there would have been a single station with an aggregated number of resources, thus achieving complete resource pooling.


title: Evaluating Older Users' Experiences with Commercial Dialogue Systems: Implications for Future Design and Development

abstract: Understanding the needs of a variety of distinct user groups is vital in designing effective, desirable dialogue systems that will be adopted by the largest possible segment of the population. Despite the increasing popularity of dialogue systems in both mobile and home formats, user studies remain relatively infrequent and often sample a segment of the user population that is not representative of the needs of the potential user population as a whole. This is especially the case for users who may be more reluctant adopters, such as older adults. In this paper we discuss the results of a recent user study performed over a large population of age 50 and over adults in the Midwestern United States that have experience using a variety of commercial dialogue systems. We show the common preferences, use cases, and feature gaps identified by older adult users in interacting with these systems. Based on these results, we propose a new, robust user modeling framework that addresses common issues facing older adult users, which can then be generalized to the wider user population.


title: Net2Vis -- A Visual Grammar for Automatically Generating Publication-Tailored CNN Architecture Visualizations

abstract: To convey neural network architectures in publications, appropriate visualizations are of great importance. While most current deep learning papers contain such visualizations, these are usually handcrafted just before publication, which results in a lack of a common visual grammar, significant time investment, errors, and ambiguities. Current automatic network visualization tools focus on debugging the network itself and are not ideal for generating publication visualizations. Therefore, we present an approach to automate this process by translating network architectures specified in Keras into visualizations that can directly be embedded into any publication. To do so, we propose a visual grammar for convolutional neural networks (CNNs), which has been derived from an analysis of such figures extracted from all ICCV and CVPR papers published between 2013 and 2019. The proposed grammar incorporates visual encoding, network layout, layer aggregation, and legend generation. We have further realized our approach in an online system available to the community, which we have evaluated through expert feedback, and a quantitative study. It not only reduces the time needed to generate network visualizations for publications, but also enables a unified and unambiguous visualization design.


title: Lifting Spacetime's Poincar\'e Symmetries

abstract: In the following work, we pedagogically develop 5-vector theory, an evolution of scalar field theory that provides a stepping stone toward a Poincar\'e-invariant lattice gauge theory. Defining a continuous flat background via the four-dimensional Cartesian coordinates $\{x^a\}$, we `lift' the generators of the Poincar\'e group so that they transform only the fields existing upon $\{x^a\}$, and do not transform the background $\{x^a\}$ itself. To facilitate this effort, we develop a non-unitary particle representation of the Poincar\'e group, replacing the classical scalar field with a 5-vector matter field. We further augment the vierbein into a new $5\times5$ f\"unfbein, which `solders' the 5-vector field to $\{x^a\}$. In so doing, we form a new intuition for the Poincar\'e symmetries of scalar field theory. This effort recasts `spacetime data', stored in the derivatives of the scalar field, as `matter field data', stored in the 5-vector field itself. We discuss the physical implications of this `Poincar\'e lift', including the readmittance of an absolute reference frame into relativistic field theory. In a companion paper, we demonstrate that this theoretical development, here construed in a continuous universe, enables the description of a discrete universe that preserves the 10 infinitesimal Poincar\'e symmetries and their conservation laws.


title: Restoring Poincar\'e Symmetry to the Lattice

abstract: The following work demonstrates the viability of Poincar\'e symmetry in a discrete universe. We develop the technology of the discrete principal Poincar\'e bundle to describe the pairing of (1) a hypercubic lattice `base manifold' labeled by integer vertices-denoted $\{\mathbf{n}\}=\{(n_t,n_x,n_y,n_z)\}$-with (2) a Poincar\'e structure group. We develop lattice 5-vector theory, which describes a non-unitary representation of the Poincar\'e group whose dynamics and gauge transformations on the lattice closely resemble those of a scalar field in spacetime. We demonstrate that such a theory generates discrete dynamics with the complete infinitesimal symmetry-and associated invariants-of the Poincar\'e group. Following our companion paper, we `lift' the Poincar\'e gauge symmetries to act only on vertical matter and solder fields, and recast `spacetime data'--stored in the $\partial_\mu\phi(x)$ kinetic terms of a free scalar field theory--as `matter field data'-stored in the $\phi^\mu[\mathbf{n}]$ components of the 5-vector field itself. We gauge 5-vector theory to describe a lattice gauge theory of gravity, and discuss the physical implications of a discrete, Poincar\'e-invariant theory.


title: Cross-Modal Music Retrieval and Applications: An Overview of Key Methodologies

abstract: There has been a rapid growth of digitally available music data, including audio recordings, digitized images of sheet music, album covers and liner notes, and video clips. This huge amount of data calls for retrieval strategies that allow users to explore large music collections in a convenient way. More precisely, there is a need for cross-modal retrieval algorithms that, given a query in one modality (e.g., a short audio excerpt), find corresponding information and entities in other modalities (e.g., the name of the piece and the sheet music). This goes beyond exact audio identification and subsequent retrieval of metainformation as performed by commercial applications like Shazam [1].


title: Forbidden Nuclear Reactions

abstract: Exothermal nuclear reactions which become forbidden due to Coulomb repulsion in the\ $\varepsilon \rightarrow 0$ limit ($\lim_{\varepsilon \rightarrow 0}\sigma \left( \varepsilon \right) =0$) are investigated. ($\sigma \left( \varepsilon \right) $ is the cross section and $\varepsilon $ is the center of mass energy.) It is found that any perturbation may mix states with small but finite amplitude to the initial state resulting finite cross section (and rate) of the originally forbidden nuclear reaction in the $% \varepsilon \rightarrow 0$ limit. The statement is illustrated by modification of nuclear reactions due to impurities in a gas mix of atomic state. The change of the wavefunction of reacting particles in nuclear range due to their Coulomb interaction with impurity is determined using standard time independent perturbation calculation of quantum mechanics. As an example, cross section, rate and power densities of impurity assisted nuclear $pd$ reaction are numerically calculated. With the aid of astrophysical factors cross section and power densities of the impurity assisted $d(d,n)_{2}^{3}He$, $d(d,p)t$, $d(t,n)_{2}^{4}He$, $% _{2}^{3}He(d,p)_{2}^{4}He$, $_{3}^{6}Li(p,\alpha )_{2}^{3}He$, $% _{3}^{6}Li(d,\alpha )_{2}^{4}He$, $_{3}^{7}Li(p,\alpha )_{2}^{4}He$, $% _{4}^{9}Be(p,\alpha )_{3}^{6}Li$, $_{4}^{9}Be(p,d)_{4}^{8}Be$, $% _{4}^{9}Be(\alpha ,n)_{6}^{12}C$, $_{5}^{10}B(p,\alpha )_{4}^{7}Be$ and $% _{5}^{11}B(p,\alpha )_{4}^{8}Be$ reactions are also given. The affect of gas mix-wall interaction on the process is considered too.


title: Inequalities that sharpen the triangle inequality for sums of $N$ functions in $L^p$

abstract: We study $L^p$ inequalities that sharpen the triangle inequality for sums of $N$ functions in $L^p$.


title: Towards Rechargeable Zinc-Air Batteries with Aqueous Chloride Electrolytes

abstract: This paper presents a combined theoretical and experimental investigation of aqueous near-neutral electrolytes based on chloride salts for rechargeable zinc-air batteries (ZABs). The resilience of near-neutral chloride electrolytes in air could extend ZAB lifetime, but theory-based simulations predict that such electrolytes are vulnerable to other challenges including pH instability and the unwanted precipitation of mixed zinc hydroxide chloride products. In this work, we combine theory-based simulations with experimental methods such as full cell cycling, operando pH measurements, ex-situ XRD, SEM, and EDS characterization to investigate the performance of ZABs with aqueous chloride electrolytes. The experimental characterization of near-neutral ZAB cells observes the predicted pH instability and confirms the composition of the final discharge products. Steps to promote greater pH stability and control the precipitation of discharge products are proposed.


title: Verification Code Recognition Based on Active and Deep Learning

abstract: A verification code is an automated test method used to distinguish between humans and computers. Humans can easily identify verification codes, whereas machines cannot. With the development of convolutional neural networks, automatically recognizing a verification code is now possible for machines. However, the advantages of convolutional neural networks depend on the data used by the training classifier, particularly the size of the training set. Therefore, identifying a verification code using a convolutional neural network is difficult when training data are insufficient. This study proposes an active and deep learning strategy to obtain new training data on a special verification code set without manual intervention. A feature learning model for a scene with less training data is presented in this work, and the verification code is identified by the designed convolutional neural network. Experiments show that the method can considerably improve the recognition accuracy of a neural network when the amount of initial training data is small.


title: Periodic Traveling-wave solutions for regularized dispersive equations: Sufficient conditions for orbital stability with applications

abstract: In this paper, we establish a new criterion for the orbital stability of periodic waves related to a general class of regularized dispersive equations. More specifically, we present sufficient conditions for the stability without knowing the positiveness of the associated hessian matrix. As application of our method, we show the orbital stability for the fifth-order model. The orbital stability of periodic waves resulting from a minimization of a convenient functional is also proved.


title: Evolving Robots on Easy Mode: Towards a Variable Complexity Controller for Quadrupeds

abstract: The complexity of a legged robot's environment or task can inform how specialised its gait must be to ensure success. Evolving specialised robotic gaits demands many evaluations - acceptable for computer simulations, but not for physical robots. For some tasks, a more general gait, with lower optimization costs, could be satisfactory. In this paper, we introduce a new type of gait controller where complexity can be set by a single parameter, using a dynamic genotype-phenotype mapping. Low controller complexity leads to conservative gaits, while higher complexity allows more sophistication and high performance for demanding tasks, at the cost of optimization effort. We investigate the new controller on a virtual robot in simulations and do preliminary testing on a real-world robot. We show that having variable complexity allows us to adapt to different optimization budgets. With a high evaluation budget in simulation, a complex controller performs best. Moreover, real-world evolution with a limited evaluation budget indicates that a lower gait complexity is preferable for a relatively simple environment.


title: F-GAMMA: Multi-frequency radio monitoring of Fermi blazars. The 2.64 to 43 GHz Effelsberg light curves from 2007-2015

abstract: The advent of the Fermi-GST with its unprecedented capability to monitor the entire 4 pi sky within less than 2-3 hours, introduced new standard in time domain gamma-ray astronomy. To explore this new avenue of extragalactic physics the F-GAMMA programme undertook the task of conducting nearly monthly, broadband radio monitoring of selected blazars from January 2007 to January 2015. In this work we release all the light curves at 2.64, 4.85, 8.35, 10.45, 14.6, 23.05, 32, and 43 GHz and present first order derivative data products after all necessary post-measurement corrections and quality checks; that is flux density moments and spectral indices. The release includes 155 sources. The effective cadence after the quality flagging is around one radio SED every 1.3 months. The coherence of each radio SED is around 40 minutes. The released dataset includes more than $4\times10^4$ measurements. The median fractional error at the lowest frequencies (2.64-10.45 GHz) is below 2%. At the highest frequencies (14.6-43 GHz) with limiting factor of the atmospheric conditions, the errors range from 3% to 9%, respectively.


title: Implementation of GENFIT2 as an experiment independent track-fitting framework

abstract: The GENFIT toolkit, initially developed at the Technische Universitaet Muenchen, has been extended and modified to be more general and user-friendly. The new GENFIT, called GENFIT2, provides track representation, track-fitting algorithms and graphic visualization of tracks and detectors, and it can be used for any experiment that determines parameters of charged particle trajectories from spacial coordinate measurements. Based on general Kalman filter routines, it can perform extrapolations of track parameters and covariance matrices. It also provides interfaces to Millepede II for alignment purposes, and RAVE for the vertex finder. Results of an implementation of GENFIT2 in basf2 and PandaRoot software frameworks are presented here.