title: Spin current generation in organic antiferromagnets

abstract: Spin current--a flow of electron spins without a charge current--is an ideal information carrier free from Joule heating for electronic devices. The celebrated spin Hall effect, which arises from the relativistic spin-orbit coupling, enables us to generate and detect spin currents in inorganic materials and semiconductors, taking advantage of their constituent heavy atoms. In contrast, organic materials consisting of molecules with light elements have been believed to be unsuited for spin current generation. Here we show that a class of organic antiferromagnets with checker-plate type molecular arrangements can serve as a spin current generator by applying a thermal gradient or an electric field, even with vanishing spin-orbit coupling. Our findings provide another route to create a spin current distinct from the conventional spin Hall effect and open a new field of spintronics based on organic magnets having advantages of small spin scattering and long lifetime.


title: Towards Autoencoding Variational Inference for Aspect-based Opinion Summary

abstract: Aspect-based Opinion Summary (AOS), consisting of aspect discovery and sentiment classification steps, has recently been emerging as one of the most crucial data mining tasks in e-commerce systems. Along this direction, the LDA-based model is considered as a notably suitable approach, since this model offers both topic modeling and sentiment classification. However, unlike traditional topic modeling, in the context of aspect discovery it is often required some initial seed words, whose prior knowledge is not easy to be incorporated into LDA models. Moreover, LDA approaches rely on sampling methods, which need to load the whole corpus into memory, making them hardly scalable. In this research, we study an alternative approach for AOS problem, based on Autoencoding Variational Inference (AVI). Firstly, we introduce the Autoencoding Variational Inference for Aspect Discovery (AVIAD) model, which extends the previous work of Autoencoding Variational Inference for Topic Models (AVITM) to embed prior knowledge of seed words. This work includes enhancement of the previous AVI architecture and also modification of the loss function. Ultimately, we present the Autoencoding Variational Inference for Joint Sentiment/Topic (AVIJST) model. In this model, we substantially extend the AVI model to support the JST model, which performs topic modeling for corresponding sentiment. The experimental results show that our proposed models enjoy higher topic coherent, faster convergence time and better accuracy on sentiment classification, as compared to their LDA-based counterparts.


title: DNS-aided explicitly filtered LES

abstract: The equations for LES are formally derived by low-pass filtering the NS equations with the effect of the small scales on the larger ones captured by a SGS model. However, it is known that the LES equations usually employed in practical applications are inconsistent with the filter operator when no explicit filter is used. Moreover, even for explicitly filtered LES, some inconsistencies remain in the wall-normal direction due to the constraining effect of the wall. A typically undesirable effect stemming from the inconsistency between LES and the filtered NS (fNS) equations is that DNS data can not be used to aid SGS modeling. Using the proposed form of the incompressible fNS equations for flows over flat walls in which the continuity equation, the filter operator, and the boundary condition at the wall are consistently formulated, we compute a set of plane turbulent channel flow explicitly filtered LES at different grid resolutions with the SGS term computed from a parallel DNS computation starting with an equivalent initial condition. The results show that the SGS term computed from DNS provide a truthful SGS model for short times until the numerical errors compound and the two parallel computations diverge. The effective time where the statistics remain similar is longer for lower-order statistics such as mean velocity profile, as expected. This demonstrates that with the consistent fNS equations, the abundant DNS data can be used to inform SGS model development for explicitly filtered LES. Moreover, the diverging of statitics at longer times shows that the SGS contribution is not necessarily homogeous as most SGS models assume, and a more precise correlation between the instantaneous LES velocity field and SGS model is required to capture the dynamics of turbulence.


title: Handling correlated and repeated measurements with the smoothed multivariate square-root Lasso

abstract: Sparsity promoting norms are frequently used in high dimensional regression. A limitation of such Lasso-type estimators is that the optimal regularization parameter depends on the unknown noise level. Estimators such as the concomitant Lasso address this dependence by jointly estimating the noise level and the regression coefficients. Additionally, in many applications, the data is obtained by averaging multiple measurements: this reduces the noise variance, but it dramatically reduces sample sizes and prevents refined noise modeling. In this work, we propose a concomitant estimator that can cope with complex noise structure by using non-averaged measurements. The resulting optimization problem is convex and amenable, thanks to smoothing theory, to state-of-the-art optimization techniques that leverage the sparsity of the solutions. Practical benefits are demonstrated on toy datasets, realistic simulated data and real neuroimaging data.


title: On interface conditions for flows in coupled free-porous media

abstract: Many processes in nature (e.g., physical and biogeochemical processes in hyporheic zones, and arterial mass transport) occur near the interface of free-porous media. A firm understanding of these processes needs an accurate prescription of flow dynamics near the interface which (in turn) hinges on an appropriate description of interface conditions along the interface of free-porous media. Although the conditions for the flow dynamics at the interface of free-porous media have received considerable attention, many of these studies were empirical and lacked a firm theoretical underpinning. In this paper, we derive a complete and self-consistent set of conditions for flow dynamics at the interface of free-porous media. We first propose a principle of virtual power by incorporating the virtual power expended at the interface of free-porous media. Then by appealing to the calculus of variations, we obtain a complete set of interface conditions for flows in coupled free-porous media. A noteworthy feature of our approach is that the derived interface conditions apply to a wide variety of porous media models. We also show that the two most popular interface conditions -- the Beavers-Joseph condition and the Beavers-Joseph-Saffman condition -- are special cases of the approach presented in this paper. The proposed principle of virtual power also provides a minimum power theorem for a class of flows in coupled free-porous media, which has a similar mathematical structure as the ones enjoyed by flows in uncoupled free and porous media.


title: Newton-Okounkov polytopes of flag varieties for classical groups

abstract: For classical groups SL(n), SO(n) and Sp(2n), we define uniformly geometric valuations on the corresponding complete flag varieties. The valuation in every type comes from a natural coordinate system on the open Schubert cell and is combinatorially related to the Gelfand-Zetlin pattern in the same type. In types A and C, we identify the corresponding Newton-Okounkov polytopes with the Feigin-Fourier-Littelmann-Vinberg polytopes. In types B and D, we compute low-dimensional examples and formulate open questions.


title: On the density of sumsets and product sets

abstract: In this paper some links between the density of a set of integers and the density of its sumset, product set and set of subset sums are presented.


title: Advances on CNN-based super-resolution of Sentinel-2 images

abstract: Thanks to their temporal-spatial coverage and free access, Sentinel-2 images are very interesting for the community. However, a relatively coarse spatial resolution, compared to that of state-of-the-art commercial products, motivates the study of super-resolution techniques to mitigate such a limitation. Specifically, thirtheen bands are sensed simultaneously but at different spatial resolutions: 10, 20, and 60 meters depending on the spectral location. Here, building upon our previous convolutional neural network (CNN) based method, we propose an improved CNN solution to super-resolve the 20-m resolution bands benefiting spatial details conveyed by the accompanying 10-m spectral bands.


title: Magnetoelectric Effects in Gyrotropic Superconductors

abstract: The magnetoelectric effect (or Edelstein effect) in noncentrosymmetric superconductors states that a supercurrent can induce spin magnetization. This is an intriguing phenomenon which has potential applications in superconducting spintronic devices. However, the original Edelstein effect only applies to superconductors with polar point group symmetry. In recent years, many new noncentrosymmetric superconductors have been discovered, such as superconductors with chiral lattice symmetry and superconducting transition metal dichalcogenides with various lattice structures. In this Rapid Communication, we provide a general framework to describe the supercurrent-induced magnetization in these recently discovered superconductors with gyrotropic point groups.


title: In situ control of diamagnetism by electric current in Ca$_3$(Ru$_{1-x}$Ti$_x$)$_2$O$_7$

abstract: Non-equilibrium steady state (NESS) conditions induced by DC current can alter the physical properties of strongly correlated electron systems (SCES). In this regard, it was recently shown that DC current can trigger novel electronic states, such as current-induced diamagnetism, which cannot be realized in equilibrium conditions. However, reversible control of diamagnetism has not been achieved yet. Here, we demonstrate reversible in situ control between a Mott insulating state and a diamagnetic semimetal-like state by DC current in the Ti-substituted bilayer ruthenate Ca$_3$(Ru$_{1-x}$Ti$_x$)$_2$O$_7$ ($x=0.5$%). By performing simultaneous magnetic and resistive measurements, we map out the temperature vs current-density phase diagram in the NESS of this material. The present results open up the possibility of creating novel electronic states in a variety of SCES under DC current.


title: ILD MC production for detector optimization

abstract: A large scale Monte Carlo production has been pursued since spring 2018 for the ILD detector optimization studies based on physics benchmark processes. A production system based on ILCDirac has been developed to produce samples in timely manner. The system and its performance are presented.


title: Model Selection for Simulator-based Statistical Models: A Kernel Approach

abstract: We propose a novel approach to model selection for simulator-based statistical models. The proposed approach defines a mixture of candidate models, and then iteratively updates the weight coefficients for those models as well as the parameters in each model simultaneously; this is done by recursively applying Bayes' rule, using the recently proposed kernel recursive ABC algorithm. The practical advantage of the method is that it can be used even when a modeler lacks appropriate prior knowledge about the parameters in each model. We demonstrate the effectiveness of the proposed approach with a number of experiments, including model selection for dynamical systems in ecology and epidemiology.


title: Agent-Based Adaptive Level Generation for Dynamic Difficulty Adjustment in Angry Birds

abstract: This paper presents an adaptive level generation algorithm for the physics-based puzzle game Angry Birds. The proposed algorithm is based on a pre-existing level generator for this game, but where the difficulty of the generated levels can be adjusted based on the player's performance. This allows for the creation of personalised levels tailored specifically to the player's own abilities. The effectiveness of our proposed method is evaluated using several agents with differing strategies and AI techniques. By using these agents as models / representations of real human player's characteristics, we can optimise level properties efficiently over a large number of generations. As a secondary investigation, we also demonstrate that by combining the performance of several agents together it is possible to generate levels that are especially challenging for certain players but not others.


title: BFT Protocols for Heterogeneous Resource Allocations in Distributed SDN Control Plane

abstract: Distributed Software Defined Networking (SDN) controllers aim to solve the issue of single-point-of-failure and improve the scalability of the control plane. Byzantine and faulty controllers, however, may enforce incorrect configurations and thus endanger the control plane correctness. Multiple Byzantine Fault Tolerance (BFT) approaches relying on Replicated State Machine (RSM) execution have been proposed in the past to cater for this issue. The scalability of such solutions is, however, limited. Additionally, the interplay between progressing the state of the distributed controllers and the consistency of the external reconfigurations of the forwarding devices has not been thoroughly investigated. In this work, we propose an agreement-and-execution group-based approach to increase the overall throughput of a BFT-enabled distributed SDN control plane. We adapt a proven sequencing-based BFT protocol, and introduce two optimized BFT protocols that preserve the uniform agreement, causality and liveness properties. A state-hashing approach which ensures causally ordered switch reconfigurations is proposed, that enables an opportunistic RSM execution without relying on strict sequencing. The proposed designs are implemented and validated for two realistic topologies, a path computation application and a set of KPIs: switch reconfiguration (response) time, signaling overhead, and acceptance rates. We show a clear decrease in the system response time and communication overhead with the proposed models, compared to a state-of-the-art approach.


title: Nonlinear Nanomechanical Mass Spectrometry at the Single-Nanoparticle Level

abstract: Nanoelectromechanical Systems (NEMS) have emerged as a promising technology for performing the mass spectrometry of large biomolecules and nanoparticles. As nanoscale objects land on NEMS sensor one by one, they induce resolvable shifts in the resonance frequency of the sensor proportional to their weight. The operational regime of NEMS sensors is often limited by the onset-of-nonlinearity, beyond which the highly sensitive schemes based on frequency tracking by phase-locked loops cannot be readily used. Here, we develop a measurement architecture to operate at the nonlinear regime and measure frequency shifts induced by analytes in a rapid and sensitive manner. We used this architecture to individually characterize the mass of gold nanoparticles and verified the results by performing independent measurements of the same nanoparticles based on linear mass sensing. Once the feasibility of the technique is established, we have obtained the mass spectrum of a 20 nm gold nanoparticle sample by individually recording about five hundred single particle events using two modes working sequentially in the nonlinear regime. The technique obtained here can be used for thin nanomechanical structures which possess a limited dynamic range.


title: Compact representation of one-particle wavefunctions and scalar fields obtained from electronic-structure calculations

abstract: We present a code-independent compact representation of one-electron wavefunctions and other volumetric data (electron density, electrostatic potential, etc.) produced by electronic-structure calculations. The compactness of the representation insures minimization of digital storage requirements for the computational data, while the code-independence makes the data ready for "big data" analytics. Our approach allows to minimize differences between original and the new representation, and is in principle information-lossless. The procedure for obtaining the wavefunction representation is closely related to construction of natural atomic orbitals, and benefits from the localization of Wannier functions. Thus, our approach fits perfectly any infrastructure providing a code-independent tool set for electronic-structure data analysis.


title: Star Formation Rates for photometric samples of galaxies using machine learning methods

abstract: Star Formation Rates or SFRs are crucial to constrain theories of galaxy formation and evolution. SFRs are usually estimated via spectroscopic observations requiring large amounts of telescope time. We explore an alternative approach based on the photometric estimation of global SFRs for large samples of galaxies, by using methods such as automatic parameter space optimisation, and supervised Machine Learning models. We demonstrate that, with such approach, accurate multi-band photometry allows to estimate reliable SFRs. We also investigate how the use of photometric rather than spectroscopic redshifts, affects the accuracy of derived global SFRs. Finally, we provide a publicly available catalogue of SFRs for more than 27 million galaxies extracted from the Sloan Digital Sky survey Data Release 7. The catalogue is available through the Vizier facility at the following link ftp://cdsarc.u-strasbg.fr/pub/cats/J/MNRAS/486/1377.


title: Distributed Joint Sensor Registration and Multitarget Tracking Via Sensor Network

abstract: This paper addresses distributed registration of a sensor network for multitarget tracking. Each sensor gets measurements of the target position in a local coordinate frame, having no knowledge about the relative positions (referred to as drift parameters) and azimuths (referred to as orientation parameters) of its neighboring nodes. The multitarget set is modeled as an independent and identically distributed (i.i.d.) cluster random finite set (RFS), and a consensus cardinality probability hypothesis density (CPHD) filter is run over the network to recursively compute in each node the posterior RFS density. Then a suitable cost function, xpressing the discrepancy between the local posteriors in terms of averaged Kullback-Leibler divergence, is minimized with respect to the drift and orientation parameters for sensor registration purposes. In this way, a computationally feasible optimization approach for joint sensor registraton and multitarget tracking is devised. Finally, the effectiveness of the proposed approach is demonstrated through simulation experiments on both tree networks and networks with cycles, as well as with both linear and nonlinear sensors.


title: Output feedback based event-triggered sliding mode control for delta operator systems

abstract: In this paper, we present an output feedback based design of event-triggered sliding mode control for delta operator systems. For discrete-time systems, multi-rate output sampling based state estimation technique is very useful if the output information is available. But at high sampling rates, the discrete-time representation of the system using shift operator becomes numerically ill-conditioned and as a result, the observability matrix becomes singular as the sampling period tends to zero. Here, a new formulation of multi-rate state estimation (MRSE) for a small sampling period is presented. We first propose a new observability matrix and then discuss its relationship with the observability matrix defined in the conventional sense. For the delta operator system with matched uncertainty, we have presented the design of MRSE based sliding mode control (SMC). Additionally, to make the control efficient in terms of resource utilization, MRSE based event-triggered SMC is proposed. The absence of Zeno phenomenon is guaranteed as the control input is inherently discrete in nature. Finally, the effectiveness of the proposed method is illustrated through numerical simulations, considering a ball and beam system and a general linear system as a numerical example.


title: First-principles quantum corrections for carrier correlations in double-layer two-dimensional heterostructures

abstract: We present systematic ab initio calculations of the charge carrier correlations between adjacent layers of two-dimensional materials in the presence of both charged impurity and strain disorder potentials using the examples of monolayer and bilayer graphene. For the first time, our analysis yields unambiguous first-principles quantum corrections to the Thomas--Fermi densities for interacting two-dimensional systems described by orbital-free density functional theory. Specifically, using density-potential functional theory, we find that quantum corrections to the quasi-classical Thomas-Fermi approximation have to be taken into account even for heterostructures of mesoscopic size. In order for the disorder-induced puddles of electrons and holes to be anti-correlated at zero average carrier density for both layers, the strength of the strain potential has to exceed that of the impurity potential by at least a factor of ten, with this number increasing for smaller impurity densities. Furthermore, our results show that quantum corrections have a larger impact on puddle correlations than exchange does, and they are necessary for properly predicting the experimentally observed Gaussian energy distribution at charge neutrality.


title: Going Far From Degeneracy

abstract: An undirected graph G is d-degenerate if every subgraph of G has a vertex of degree at most d. By the classical theorem of Erd\H{o}s and Gallai from 1959, every graph of degeneracy d>1 contains a cycle of length at least d+1. The proof of Erd\H{o}s and Gallai is constructive and can be turned into a polynomial time algorithm constructing a cycle of length at least d+1. But can we decide in polynomial time whether a graph contains a cycle of length at least d+2? An easy reduction from Hamiltonian Cycle provides a negative answer to this question: deciding whether a graph has a cycle of length at least d+2 is NP-complete. Surprisingly, the complexity of the problem changes drastically when the input graph is 2-connected. In this case we prove that deciding whether G contains a cycle of length at least d+k can be done in time 2^{O(k)}|V(G)|^{O(1)}. In other words, deciding whether a 2-connected n-vertex G contains a cycle of length at least d+log n can be done in polynomial time. Similar algorithmic results hold for long paths in graphs. We observe that deciding whether a graph has a path of length at least d+1 is NP-complete. However, we prove that if graph G is connected, then deciding whether G contains a path of length at least d+k can be done in time 2^{O(k)}n^{O(1)}. We complement these results by showing that the choice of degeneracy as the `above guarantee parameterization' is optimal in the following sense: For any \epsilon>0 it is NP-complete to decide whether a connected (2-connected) graph of degeneracy d has a path (cycle) of length at least (1+\epsilon)d.


title: Adaptive Posterior Learning: few-shot learning with a surprise-based memory module

abstract: The ability to generalize quickly from few observations is crucial for intelligent systems. In this paper we introduce APL, an algorithm that approximates probability distributions by remembering the most surprising observations it has encountered. These past observations are recalled from an external memory module and processed by a decoder network that can combine information from different memory slots to generalize beyond direct recall. We show this algorithm can perform as well as state of the art baselines on few-shot classification benchmarks with a smaller memory footprint. In addition, its memory compression allows it to scale to thousands of unknown labels. Finally, we introduce a meta-learning reasoning task which is more challenging than direct classification. In this setting, APL is able to generalize with fewer than one example per class via deductive reasoning.


title: In-Memory and Error-Immune Differential RRAM Implementation of Binarized Deep Neural Networks

abstract: RRAM-based in-Memory Computing is an exciting road for implementing highly energy efficient neural networks. This vision is however challenged by RRAM variability, as the efficient implementation of in-memory computing does not allow error correction. In this work, we fabricated and tested a differential HfO2-based memory structure and its associated sense circuitry, which are ideal for in-memory computing. For the first time, we show that our approach achieves the same reliability benefits as error correction, but without any CMOS overhead. We show, also for the first time, that it can naturally implement Binarized Deep Neural Networks, a very recent development of Artificial Intelligence, with extreme energy efficiency, and that the system is fully satisfactory for image recognition applications. Finally, we evidence how the extra reliability provided by the differential memory allows programming the devices in low voltage conditions, where they feature high endurance of billions of cycles.


title: Rheological investigation of gels formed by competing interactions: A numerical study

abstract: A transition from solid-like to liquid-like behavior occurs when colloidal gels are subjected to a prolonged exposure to a steady shear. This phenomenon, which is characterized by a yielding point, is found to be strongly dependent on the packing fraction. However, it is not yet known how the effective inter-particle potential affects this transition. To this aim, we present a numerical investigation of the rheology of equilibrium gels in which a short-range depletion is complemented by a long-range electrostatic interaction. We observe a single yielding event in the stress-strain curve, occurring at a fixed strain. The stress overshoot is found to follow a power-law dependence on the P\'eclet number, with an exponent larger than that found in depletion gels, suggesting that its value may depend systematically on the underlying colloid-colloid interactions. We also establish a mapping between equilibrium states and steady states under shear, which allows us to identify the structural modifications induced by the presence of the shear. Remarkably, we find that steady states corresponding to the same P\'eclet number, obtained by different combinations of shear rate and solvent viscosity, show identical structural and rheological properties. Our results highlight the importance of understanding the coupling between colloidal interactions, solvent effects, and flow to be able to describe the microscopic organization of colloidal particles under shear.


title: DoPAMINE: Double-sided Masked CNN for Pixel Adaptive Multiplicative Noise Despeckling

abstract: We propose DoPAMINE, a new neural network based multiplicative noise despeckling algorithm. Our algorithm is inspired by Neural AIDE (N-AIDE), which is a recently proposed neural adaptive image denoiser. While the original N-AIDE was designed for the additive noise case, we show that the same framework, i.e., adaptively learning a network for pixel-wise affine denoisers by minimizing an unbiased estimate of MSE, can be applied to the multiplicative noise case as well. Moreover, we derive a double-sided masked CNN architecture which can control the variance of the activation values in each layer and converge fast to high denoising performance during supervised training. In the experimental results, we show our DoPAMINE possesses high adaptivity via fine-tuning the network parameters based on the given noisy image and achieves significantly better despeckling results compared to SAR-DRN, a state-of-the-art CNN-based algorithm.


title: Enhanced Performance for the encrypted Web through TLS Resumption across Hostnames

abstract: TLS can resume previous connections via abbreviated resumption handshakes that significantly decrease the delay and save expensive cryptographic operations. For that, cryptographic TLS state from previous connections is reused. TLS version 1.3 recommends to avoid resumption handshakes, and thus the reuse of cryptographic state, when connecting to a different hostname. In this work, we reassess this recommendation, as we find that sharing cryptographic TLS state across hostnames is a common practice on the web. We propose a TLS extension that allows the server to inform the client about TLS state sharing with other hostnames. This information enables the client to efficiently resume TLS sessions across hostnames. Our evaluation indicates that our TLS extension provides huge performance gains for the web. For example, about 58.7% of the 20.24 full TLS handshakes that are required to retrieve an average website on the web can be converted to resumed connection establishments. This yields to a reduction of 44% of the CPU time consumed for TLS connection establishments. Furthermore, our TLS extension accelerates the connection establishment with an average website by up to 30.6% for TLS 1.3. Thus, our proposal significantly reduces the (energy) costs and the delay overhead in the encrypted web.


title: Topological Transitions in a Model for Proximity Induced Superconductivity

abstract: Using a prototype model for proximity induced superconductivity on a bilayer square lattice, we show that interlayer tunneling can drive change in topology of the Bogoliubov quasiparticle bands. Starting with topologically trivial superconductors, transitions to a non-trivial $p_x + {\rm i} p_y$ state and back to another trivial state are discovered. We characterize these phases in terms of edge-state spectra and Chern indices. We show that these transitions can also be controlled by experimentally viable control parameters, the bandwidth of the metallic layer and the gate potential. Insights from our results on a simple model for proximity induced superconductivity may open up a new route to discover topological superconductors.


title: Ensemble Prediction of Time to Event Outcomes with Competing Risks: A Case Study of Surgical Complications in Crohn's Disease

abstract: We develop a novel algorithm to predict the occurrence of major abdominal surgery within 5 years following Crohn's disease diagnosis using a panel of 29 baseline covariates from the Swedish population registers. We model pseudo-observations based on the Aalen-Johansen estimator of the cause-specific cumulative incidence with an ensemble of modern machine learning approaches. Pseudo-observation pre-processing easily extends all existing or new machine learning procedures to right-censored event history data. We propose pseudo-observation based estimators for the area under the time varying ROC curve, for optimizing the ensemble, and the predictiveness curve, for evaluating and summarizing predictive performance.


title: Crowdsourcing open citations with CROCI -- An analysis of the current status of open citations, and a proposal

abstract: In this paper, we analyse the current availability of open citations data in one particular dataset, namely COCI (the OpenCitations Index of Crossref open DOI-to-DOI citations; http://opencitations.net/index/coci) provided by OpenCitations. The results of these analyses show a persistent gap in the coverage of the currently available open citation data. In order to address this specific issue, we propose a strategy whereby the community (e.g. scholars and publishers) can directly involve themselves in crowdsourcing open citations, by uploading their citation data via the OpenCitations infrastructure into our new index, CROCI, the Crowdsourced Open Citations Index.


title: Magnetic field and ISM in the local Galactic disc

abstract: Correlation analysis is obtained among Faraday rotation measure, HI column density, thermal and synchrotron radio brightness using archival all-sky maps of the Galaxy. A method is presented to calculate the magnetic strength and its line-of-sight (LOS) component, volume gas densities, effective LOS depth, effective scale height of the disk) from these data in a hybrid way. Applying the method to archival data, all-sky maps of the local magnetic field strength and its parallel component are obtained, which reveal details of local field orientation.


title: Exploring the RCrA environment with SPHERE: Discovery of a new stellar companion

abstract: Aims. R Coronae Australis (R CrA) is the brightest star of the Coronet nebula of the Corona Australis (CrA) star forming region. It has very red colors, probably due to dust absorption and it is strongly variable. High contrast instruments allow for an unprecedented direct exploration of the immediate circumstellar environment of this star. Methods. We observed R CrA with the near-IR channels (IFS and IRDIS) of SPHERE at VLT. In this paper, we used four different epochs, three of them from open time observations while one is from the SPHERE guaranteed time. The data were reduced using the DRH pipeline and the SPHERE Data Center. On the reduced data we implemented custom IDL routines with the aim to subtract the speckle halo.We have also obtained pupil-tracking H-band (1.45-1.85 micron) observations with the VLT/SINFONI near-infrared medium-resolution (R~3000) spectrograph. Results. A companion was found at a separation of 0.156" from the star in the first epoch and increasing to 0.18400 in the final one. Furthermore, several extended structures were found around the star, the most noteworthy of which is a very bright jet-like structure North-East from the star. The astrometric measurements of the companion in the four epochs confirm that it is gravitationally bound to the star. The SPHERE photometry and the SINFONI spectrum, once corrected for extinction, point toward an early M spectral type object with a mass between 0.3 and 0.55 M?. The astrometric analyis provides constraints on the orbit paramenters: e~0.4, semi-major axis at 27-28 au, inclination of ~ 70{\deg} and a period larger than 30 years. We were also able to put constraints of few MJup on the mass of possible other companions down to separations of few tens of au.


title: Response Time and Availability Study of RAFT Consensus in Distributed SDN Control Plane

abstract: Software defined networking (SDN) promises unprecedented flexibility and ease of network operations. While flexibility is an important factor when leveraging advantages of a new technology, critical infrastructure networks also have stringent requirements on network robustness and control plane delays. Robustness in the SDN control plane is realized by deploying multiple distributed controllers, formed into clusters for durability and fast-failover purposes. However, the effect of the controller clustering on the total system response time is not well investigated in current literature. Hence, in this work we provide a detailed analytical study of the distributed consensus algorithm RAFT, implemented in OpenDaylight and ONOS SDN controller platforms. In those controllers, RAFT implements the data-store replication, leader election after controller failures and controller state recovery on successful repairs. To evaluate its performance, we introduce a framework for numerical analysis of various SDN cluster organizations w.r.t. their response time and availability metrics. We use Stochastic Activity Networks for modeling the RAFT operations, failure injection and cluster recovery processes, and using real-world experiments, we collect the rate parameters to provide realistic inputs for a representative cluster recovery model. We also show how a fast rejuvenation mechanism for the treatment of failures induced by software errors can minimize the total response time experienced by the controller clients, while guaranteeing a higher system availability in the long-term.


title: Optimizing seed inputs in fuzzing with machine learning

abstract: The success of a fuzzing campaign is heavily depending on the quality of seed inputs used for test generation. It is however challenging to compose a corpus of seed inputs that enable high code and behavior coverage of the target program, especially when the target program requires complex input formats such as PDF files. We present a machine learning based framework to improve the quality of seed inputs for fuzzing programs that take PDF files as input. Given an initial set of seed PDF files, our framework utilizes a set of neural networks to 1) discover the correlation between these PDF files and the execution in the target program, and 2) leverage such correlation to generate new seed files that more likely explore new paths in the target program. Our experiments on a set of widely used PDF viewers demonstrate that the improved seed inputs produced by our framework could significantly increase the code coverage of the target program and the likelihood of detecting program crashes.


title: VirtuWind - An SDN- and NFV-based Architecture for Softwarized Industrial Networks

abstract: VirtuWind proposes the application of Software Defined Networking (SDN) and Network Functions Virtualization (NFV) in critical infrastructure networks. We aim at introducing network programmability, reconfigurability and multi-tenant capability both inside isolated and inter-connected industrial networks. Henceforth, we present the design of the VirtuWind architecture that addresses the requirements of industrial communications: granular Quality of Service (QoS) guarantees, system modularity and secure and isolated per-tenant network access. We present the functional components of our architecture and provide an overview of the appropriate realization mechanisms. Finally, we map two exemplary industrial system use-cases to the designed architecture to showcase its applicability in an exemplary industrial wind park network.


title: Coherence in Modal Logic

abstract: A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform deductive interpolation property for equational consequence in a variety, and a general criterion was given for the failure of coherence (and hence uniform deductive interpolation) in varieties of algebras with a term-definable semilattice reduct. In this paper, a more general criterion is obtained and used to prove the failure of coherence and uniform deductive interpolation for a broad family of modal logics, including K, KT, K4, and S4.


title: Holographic Duality for 3D Spin-3 Gravity Coupled to Scalar Field

abstract: The 3d spin-3 gravity theory is holographically dual to a 2d ${\cal W}_3$-extended CFT. In a large-c limit the symmetry algebra of the CFT reduces to $SU(1,2) \times SU(1,2)$. On the ground of symmetry the dual bulk space-time will be given by an 8d group manifold $SU(1,2)$. Hence we need to introduce five extra coordinates in addition to three ordinary ones. The 3d space-time is a 3d hyper-surface $\Sigma$ embedded at constant values of the extra variables. Operators in the CFT at the boundary of $\Sigma$ are expressed in terms of ${\cal W}$ descendants of the operators at the boundary of $\Sigma_0$, where the extra variables vanish. In this paper it is shown that AdS/CFT correspondence for a scalar field coupled to 3d spin-3 gravity is realized in this auxiliary 8d space. A bulk-to-boundary propagator of a scalar field is found and a generating functional of boundary two-point functions of scalar ${\cal W}$-descendant operators is obtained by using the classical action for the scalar field. Classically, the scalar field must satisfy both Klein-Gordon equation and a third-order differential equation, which are related to the quadratic and cubic Casimir operators of $su(1,2)$. It is found that the coefficient function of the derivatives of the scalar field in the latter equation is the spin-3 gauge field, when restricted to the hypersurface. An action integral in the 8d auxiliary space for the 3d spin-3 gravity coupled to a scalar field is presented. An 8d local frame is introduced and the equations of motion for the 8d connections $A_{\mu}$, $\overline{A}_{\mu}$ are solved. By restricting those solutions onto $\Sigma$, flat connections in 3d $SL(3,\mathbb{R}) \times SL(3,\mathbb{R})$ Chern-Simons theory are obtained and new 3d black hole solutions with and without spin-3 charge are found by this method.


title: Predict Globally, Correct Locally: Parallel-in-Time Optimal Control of Neural Networks

abstract: The links between optimal control of dynamical systems and neural networks have proved beneficial both from a theoretical and from a practical point of view. Several researchers have exploited these links to investigate the stability of different neural network architectures and develop memory efficient training algorithms. We also adopt the dynamical systems view of neural networks, but our aim is different from earlier works. We exploit the links between dynamical systems, optimal control, and neural networks to develop a novel distributed optimization algorithm. The proposed algorithm addresses the most significant obstacle for distributed algorithms for neural network optimization: the network weights cannot be updated until the forward propagation of the data, and backward propagation of the gradients are complete. Using the dynamical systems point of view, we interpret the layers of a (residual) neural network as the discretized dynamics of a dynamical system and exploit the relationship between the co-states (adjoints) of the optimal control problem and backpropagation. We then develop a parallel-in-time method that updates the parameters of the network without waiting for the forward or back propagation algorithms to complete in full. We establish the convergence of the proposed algorithm. Preliminary numerical results suggest that the algorithm is competitive and more efficient than the state-of-the-art.


title: Impact of Adaptive Consistency on Distributed SDN Applications: An Empirical Study

abstract: Scalability of the control plane in a software-defined network (SDN) is enabled by means of decentralization of the decision-making logic, i.e., by replication of controller functions to physically or virtually dislocated controller replicas. Replication of a centralized controller state also enables the protection against controller failures by means of primary and backup replicas responsible for managing the underlying SDN data plane devices. In this paper, we investigate the effect of the deployed consistency model on scalability and correctness metrics of the SDN control plane. In particular, we compare the strong and eventual consistency, and make a case for a novel adaptive consistency approach. The existing controller platforms rely on either strong or eventual consistency mechanisms in their state distribution. We show how an adaptive consistency model offers the scalability benefits in terms of the total request-handling throughput and response time, in contrast to the strong consistency model. We also outline how the adaptive consistency approach can provide for correctness semantics that are unachievable with the eventual consistency paradigm in practice. The adaptability of our approach provides a balanced and tunable tradeoff of scalability and correctness for the SDN application implemented on top of the adaptive framework. To validate our assumptions, we evaluate and compare the different approaches in an emulated testbed with an example of a load balancer controller application. The experimental setup comprises up to five extended OpenDaylight controller instances and two network topologies from the area of service provider and data center networks.


title: Online Clustering by Penalized Weighted GMM

abstract: With the dawn of the Big Data era, data sets are growing rapidly. Data is streaming from everywhere - from cameras, mobile phones, cars, and other electronic devices. Clustering streaming data is a very challenging problem. Unlike the traditional clustering algorithms where the dataset can be stored and scanned multiple times, clustering streaming data has to satisfy constraints such as limit memory size, real-time response, unknown data statistics and an unknown number of clusters. In this paper, we present a novel online clustering algorithm which can be used to cluster streaming data without knowing the number of clusters a priori. Results on both synthetic and real datasets show that the proposed algorithm produces partitions which are close to what you could get if you clustered the whole data at one time.


title: General Mathematical Formulation of Scattering Processes in Atom-Diatomic Collisions in the RmatReact Methodology

abstract: Accurately modelling cold and ultracold reactive collisions occuring over deep potential wells, such as \ce{D+ + H2 -> H+ + HD}, requires the development of new theoretical and computational methodologies. One potentially useful framework is the R-matrix method adopted widely for electron-molecule collisions which has more recently been applied to non-reactive heavy particle collisions such as Ar-Ar. The existing treatment of non-reactive elastic and inelastic scattering needs to be substantially extended to enable modelling of reactive collisions: this is the subject of this paper. Herein, we develop the general mathematical formulation for non-reactive elastic and inelastic scattering, photo-association, photo-dissociation, charge exchange and reactive scattering using the R-matrix method. Of particular note is that the inner region, of central importance to calculable R-matrix methodologies, must be finite in all scattering coordinates rather than a single scattering coordinate as for non-reactive scattering. % The choice of coordinate set and basis function is these cases becomes more complexThis introduces substantial challenges to the basis sets utilised in practical calculations as integrals over finite domains are often much more challenging than over infinite domains for this problem.


title: Target Speaker Extraction for Overlapped Multi-Talker Speaker Verification

abstract: The performance of speaker verification degrades significantly when the test speech is corrupted by interference speakers. Speaker diarization does well to separate speakers if the speakers are temporally overlapped. However, if multi-talkers speak at the same time, we need the technique to separate the speech in the spectral domain. This paper proposes an overlapped multi-talker speaker verification framework by using target speaker extraction methods. Specifically, given the target speaker information, the target speaker's speech is firstly extracted from the overlapped multi-talker speech by a target speaker extraction module. Then, the extracted speech is passed to the speaker verification system. Experimental results show that the proposed approach significantly improves the performance of overlapped multi-talker speaker verification and achieves 65.7% relative EER reduction.


title: Global Hawking Temperature of Schwarzschild-de Sitter Spacetime: a Topological Approach

abstract: We introduce a calculation, based on purely topological reasoning, of the global equilibrium Hawking temperature of the Schwarzschild-de Sitter spacetime, where a Schwarzschild black hole horizon coexists with a de Sitter cosmological horizon. Our method is based on the careful calculation of the Euler characteristic of the total system, showing that this quantity completely determines the thermodynamical features of the system. The method is universal and can be applied to any structure possessing multiple horizons in general relativity.


title: Snare machinery is optimized for ultrafast fusion

abstract: SNARE proteins zipper to form SNAREpins that power vesicle fusion with target membranes in a variety of biological processes. A single SNAREpin takes about 1 second to fuse two bilayers, yet a handful can ensure release of neurotransmitters from synaptic vesicles much faster, in a 10th of a millisecond. We propose that, similar to the case of muscle myosins, the ultrafast fusion results from cooperative action of many SNAREpins. The coupling originates from mechanical interactions induced by confining scaffolds. Each SNAREpin is known to have enough energy to overcome the fusion barrier of 25-35 kB T, however, the fusion barrier only becomes relevant when the SNAREpins are nearly completely zippered and from this state each SNAREpin can deliver only a small fraction of this energy as mechanical work. Therefore they have to act cooperatively and we show that at least 3 of them are needed to ensure fusion in less than a millisecond. However, to reach the pre-fusion state collectively, starting from the experimentally observed half-zippered metastable state, the SNAREpins have to mechanically synchronize which takes exponentially longer time as the number of SNAREpins increases. Incorporating this somewhat counter-intuitive idea in a simple coarse grained model results in the novel prediction that there should be an optimum number of SNAREpins for sub-ms fusion: 3-6 over a wide range of parameters. Interestingly, in situ cryo-electron microscope tomography has very recently shown that exactly six SNAREpins participate in the fusion of each synaptic vesicle. This number is in the range predicted by our theory.


title: Dense Particle Clouds in Laboratory Experiments in Context of Drafting and Streaming Instability

abstract: The streaming instability, as an example of instabilities driven by particle feedback on a gas flow, has been proven to have a major role in controlling the formation of planetesimals. Here, we present experiments to approach this situation in the laboratory for particles in the Knudsen flow regime. In these experiments, we observe a particle cloud trapped for about 30 s in a rotating system under Earth's gravity. For average dust-to-gas ratios up to 0.08, particles behave like individual test particles. Their sedimentation speed is identical to that of a single free-falling particle, even in locally denser regions. However, for higher dust-to-gas ratios, the motion of particles becomes sensitive to clumping. Particles in locally denser regions now sediment faster. Their sedimentation speed then depends linearly on the overall dust-to-gas ratio. This clearly shows a transition from tracerlike behavior to collective behavior. Beyond these findings, these types of experiments can now be used as a gauge to test the particle feedback models in astrophysical hydrocodes which are currently used for numerical simulations of streaming instabilities.


title: Probing quantum gravity at low energies

abstract: Planck stars form when a collapsing shell of matter within a black hole reaches the Planck density, roughly equivalent to the mass being compressed into a volumetric size near that of the proton, and rebounds outwards. These planck stars have been considered as accounting for both fast radio bursts and short gamma ray bursts, whilst offering a comparatively low energy perspective onto quantum gravity. The observation of such an event would require black hole masses much smaller than a solar mass, which could be provided by primordial black hole dark matter models. We discuss the low energy isotropic background emissions produced by decaying primordial black holes at all epochs and derive constraints from the spectrum of the extragalactic background light. We find that, in order to avoid exceeding known extragalactic background light emissions, we must restrict the total energy emitted at low frequencies by a planck star exploding in the present epoch to be less than $10^{13}$ erg or restrict the primordial black hole population far below any existing limits. This casts doubt on whether exploding planck stars could actually account for fast radio bursts, as they are speculated to in the literature.


title: Operads without coalgebras

abstract: We give an example of a non-trivial linear operad that only admits trivial coalgebras and give sufficient conditions ensuring that the cofree coalgebra functor be faithful.


title: On Generalized Fractional Derivatives Involving Generalized k-Mittag Leffler Function

abstract: In this paper, certain generalized fractional derivative formulae are introduced involving the k-Mittag-Leffler function. Then their image formulae (using Beta transform, Laplace transform and Whittaker transform) are also established. The results obtained here are quite general in nature. The special cases of our findings are also discussed.


title: $K^0\Lambda$ Photoproduction with Nucleon Resonances

abstract: We investigate the reaction mechanism of $K^0 \Lambda$ photoproduction off the neutron target, i.e., $\gamma n \to K^0 \Lambda$, in the range of $W\approx 1.6-2.2$ GeV. We employ an effective Lagrangian method at the tree-level Born approximation combining with a Regge approach. As a background, the $K^*$-Reggeon trajectory is taken into account in the $t$ channel and $\Lambda$ and $\Sigma$ hyperons in the $u$-channel Feynman diagram. In addition, the role of various nucleon resonances listed in the Particle Data Group (PDG) is carefully scrutinized in the $s$ channel where the resonance parameters are extracted from the experimental data and constituent quark model. We present our numerical results of the total and differential cross sections and compare them with the recent CLAS data. The effect of the narrow nucleon resonance $N(1685,1/2^+)$ on cross sections is studied in detail and it turns out that its existence is essential in $K^0 \Lambda$ photoproduction to reproduce the CLAS data.


title: Random Matrix Improved Covariance Estimation for a Large Class of Metrics

abstract: Relying on recent advances in statistical estimation of covariance distances based on random matrix theory, this article proposes an improved covariance and precision matrix estimation for a wide family of metrics. The method is shown to largely outperform the sample covariance matrix estimate and to compete with state-of-the-art methods, while at the same time being computationally simpler. Applications to linear and quadratic discriminant analyses also demonstrate significant gains, therefore suggesting practical interest to statistical machine learning.


title: Separation of variables in the semistable range

abstract: In this paper, we give an alternative proof of separation of variables for scalar-valued polynomials $P:(\mathbb R^m)^k\to\mathbb C$ in the semistable range $m\geq 2k-1$ for the symmetry given by the orthogonal group $O(m)$. It turns out that uniqueness of the decomposition of polynomials into spherical harmonics is equivalent to irreducibility of generalized Verma modules for the Howe dual partner $sp(2k)$ generated by spherical harmonics. We believe that this approach might be applied to the case of spinor-valued polynomials and to other settings as well.


title: The Actor-Advisor: Policy Gradient With Off-Policy Advice

abstract: Actor-critic algorithms learn an explicit policy (actor), and an accompanying value function (critic). The actor performs actions in the environment, while the critic evaluates the actor's current policy. However, despite their stability and promising convergence properties, current actor-critic algorithms do not outperform critic-only ones in practice. We believe that the fact that the critic learns Q^pi, instead of the optimal Q-function Q*, prevents state-of-the-art robust and sample-efficient off-policy learning algorithms from being used. In this paper, we propose an elegant solution, the Actor-Advisor architecture, in which a Policy Gradient actor learns from unbiased Monte-Carlo returns, while being shaped (or advised) by the Softmax policy arising from an off-policy critic. The critic can be learned independently from the actor, using any state-of-the-art algorithm. Being advised by a high-quality critic, the actor quickly and robustly learns the task, while its use of the Monte-Carlo return helps overcome any bias the critic may have. In addition to a new Actor-Critic formulation, the Actor-Advisor, a method that allows an external advisory policy to shape a Policy Gradient actor, can be applied to many other domains. By varying the source of advice, we demonstrate the wide applicability of the Actor-Advisor to three other important subfields of RL: safe RL with backup policies, efficient leverage of domain knowledge, and transfer learning in RL. Our experimental results demonstrate the benefits of the Actor-Advisor compared to state-of-the-art actor-critic methods, illustrate its applicability to the three other application scenarios listed above, and show that many important challenges of RL can now be solved using a single elegant solution.


title: The Role of Magnetic Fields in Setting the Star Formation Rate and the Initial Mass Function

abstract: Star-forming gas clouds are strongly magnetized, and their ionization fractions are high enough to place them close to the regime of ideal magnetohydrodyamics on all but the smallest size scales. In this review we discuss the effects of magnetic fields on the star formation rate (SFR) in these clouds, and on the mass spectrum of the fragments that are the outcome of the star formation process, the stellar initial mass function (IMF). Current numerical results suggest that magnetic fields by themselves are minor players in setting either the SFR or the IMF, changing star formation rates and median stellar masses only by factors of $\sim 2-3$ compared to non-magnetized flows. However, the indirect effects of magnetic fields, via their interaction with star formation feedback in the form of jets, photoionization, radiative heating, and supernovae, could have significantly larger effects. We explore evidence for this possibility in current simulations, and suggest avenues for future exploration, both in simulations and observations.


title: Stabilization of fractional-evolution systems

abstract: This paper is devoted to the analysis of the problem of stabilization of fractional (in time) partial differential equations. We consider the following equation $$ \partial^{\alpha,\eta}_{t} u(t)=\mathcal{A}u(t)-\frac{\eta}{\Gamma (1-\alpha)}\int_{0}^{t}(t-s)^{-\alpha} \, e^{-\eta(t-s)}u(s)\, ds,\; t > 0, $$ with the initial data $u(0)=u^{0}$, where $\mathcal{A}$ is a unbounded operator in Hilbert space and $\partial_{t}^{\alpha,\eta}$ stands for the fractional derivative. We provide two main results concerning the behavior of the solutions when $t\longrightarrow+\infty$. We look first to the case $\eta>0$ where we prove that the solution of this problem is exponential stable then we consider the case $\eta=0$ when we prove under some consideration on the resolvent that the energy of the solution goes to $0$ as $t$ goes to the infinity as $1/t^\alpha$.


title: Optimal design strategy for non-Abelian geometric phases using Abelian gauge fields based on quantum metric

abstract: Geometric phases, which are ubiquitous in quantum mechanics, are commonly more than only scalar quantities. Indeed, often they are matrix-valued objects that are connected with non-Abelian geometries. Here we show how generalized, non-Abelian geometric phases can be realized using electromagnetic waves travelling through coupled photonic waveguide structures. The waveguides implement an effective Hamiltonian possessing a degenerate dark subspace, in which an adiabatic evolution can occur. The associated quantum metric induces the notion of a geodesic that defines the optimal adiabatic evolution. We exemplify the non-Abelian evolution of an Abelian gauge field by a Wilson loop.


title: MORPH: An Adaptive Framework for Efficient and Byzantine Fault-Tolerant SDN Control Plane

abstract: Current approaches to tackle the single point of failure in SDN entail a distributed operation of SDN controller instances. Their state synchronization process is reliant on the assumption of a correct decision-making in the controllers. Successful introduction of SDN in the critical infrastructure networks also requires catering to the issue of unavailable, unreliable (e.g. buggy), and malicious controller failures. We propose MORPH, a framework tolerant to unavailability and Byzantine failures, which distinguishes and localizes faulty controller instances and appropriately reconfigures the control plane. Our controller-switch connection assignment leverages the awareness of the source of failure to optimize the number of active controllers and minimize the controller and switch reconfiguration delays. The proposed re-assignment executes dynamically after each successful failure identification. We require 2FM + FA +1 controllers to tolerate FM malicious and FA availability-induced failures. After a successful detection of FM malicious controllers, MORPH reconfigures the control plane to require a single controller message to forward the system state. Moreover, we outline and present a solution to the practical correctness issues related to the statefulness of the distributed SDN controller applications, previously ignored in the literature. We base our performance analysis on a resource-aware routing application, deployed in an emulated testbed comprising up to 16 controllers and up to 34 switches, so to tolerate up to 5 unique Byzantine and additional 5 availability-induced controller failures (a total of 10 unique controller failures). We quantify and highlight the dynamic decrease in the packet and CPU load and the response time after each successful failure detection.


title: Angular and Abundance Distribution of High-energy Gamma Rays and Neutrons Simulated by GEANT4 Code for Solar Flares

abstract: In the solar flare observed on June 3, 2012, high energy gamma-rays and neutrons were observed. The event includes a remarkable feature of a high neutron/gamma-ratio in the secondary particles. We have examined whether this high n/$\gamma$-ratio can be explained by simulation. As a result of simulations using the GEANT4 program, the high n/$\gamma$-ratio may be reproduced for the case that helium and other heavy ions were dominantly accelerated in the flare.


title: Plasmas in Gamma-Ray Bursts: particle acceleration, magnetic fields, radiative Processes and environments

abstract: Being the most extreme explosions in the universe, gamma-ray bursts (GRBs) provide a unique laboratory to study various plasma physics phenomena. The complex lightcurve and broad-band, non-thermal spectra indicate a very complicated system on the one hand, but on the other hand provide a wealth of information to study it. In this chapter I focus on recent progress in some of the key unsolved physical problems. These include: (1) Particle acceleration and magnetic field generation in shock waves; (2) Possible role of strong magnetic fields in accelerating the plasmas, and accelerating particles via magnetic reconnection process; (3) Various radiative processes that shape the observed lightcurve and spectra, both during the prompt and the afterglow phases, and finally (4) GRB environments and their possible observational signature.


title: The variety defined by the matrix of diagonals is $F$-pure

abstract: We prove that the variety defined by the determinant of the matrix of diagonals is $F$-pure for matrices of all sizes and in all positive prime characteristics. Moreover, we find a system of parameters for it.


title: Existence, uniqueness and regularity of the solution of the time-fractional Fokker-Planck equation with general forcing

abstract: A time-fractional Fokker-Planck initial-boundary value problem is considered, with differential operator $u_t-\nabla\cdot(\partial_t^{1-\alpha}\kappa_\alpha\nabla u-\textbf{F}\partial_t^{1-\alpha}u)$, where $0<\alpha <1$. The forcing function $\textbf{F} = \textbf{F}(t,x)$, which is more difficult to analyse than the case $\textbf{F}=\textbf{F}(x)$ investigated previously by other authors. The spatial domain $\Omega \subset\mathbb{R}^d$, where $d\ge 1$, has a smooth boundary. Existence, uniqueness and regularity of a mild solution $u$ is proved under the hypothesis that the initial data $u_0$ lies in $L^2(\Omega)$. For $1/2<\alpha<1$ and $u_0\in H^2(\Omega)\cap H_0^1(\Omega)$, it is shown that $u$ becomes a classical solution of the problem. Estimates of time derivatives of the classical solution are derived---these are known to be needed in numerical analyses of this problem.


title: Support and Approximation Properties of Hermite Splines

abstract: In this paper, we formally investigate two mathematical aspects of Hermite splines which translate to features that are relevant to their practical applications. We first demonstrate that Hermite splines are maximally localized in the sense that their support sizes are minimal among pairs of functions with identical reproduction properties. Then, we precisely quantify the approximation power of Hermite splines for reconstructing functions and their derivatives, and show that they are asymptotically identical to cubic B-splines for these tasks. Hermite splines therefore combine optimal localization and excellent approximation power, while retaining interpolation properties and closed-form expression, in contrast to existing similar approaches. These findings shed a new light on the convenience of Hermite splines for use in computer graphics and geometrical design.


title: Generating strong anti-bunching by interfering with coherent states

abstract: The second order correlation function is traditionally used to characterize the photon statistics and to distinguish between classical and quantum states of light. In this article we study a simple setup offering the possibility to generate strong anti-bunched light. This is achieved by mixing on a beam splitter a coherent state with a state with a non-negative Wigner function, such as squeezed states or weak Schr\"odinger cat states. We elucidate the interference mechanism generating such strong antibunching and relate it to unconventionnal photon blockade. We also detail how this effect can be used to measure weak squeezing.


title: An Immersed Boundary Hierarchical B-spline method for flexoelectricity

abstract: This paper develops a computational framework with unfitted meshes to solve linear piezoelectricity and flexoelectricity electromechanical boundary value problems including strain gradient elasticity at infinitesimal strains. The high-order nature of the coupled PDE system is addressed by a sufficiently smooth hierarchical B-spline approximation on a background Cartesian mesh. The domain of interest is embedded into the background mesh and discretized in an unfitted fashion. The immersed boundary approach allows us to use B-splines on arbitrary domain shapes, regardless of their geometrical complexity, and could be directly extended, for instance, to shape and topology optimization. The domain boundary is represented by NURBS, and exactly integrated by means of the NEFEM mapping. Local adaptivity is achieved by hierarchical refinement of B-spline basis, which are efficiently evaluated and integrated thanks to their piecewise polynomial definition. Nitsche's formulation is derived to weakly enforce essential boundary conditions, accounting also for the non-local conditions on the non-smooth portions of the domain boundary (i.e. edges in 3D or corners in 2D) arising from Mindlin's strain gradient elasticity theory. Boundary conditions modeling sensing electrodes are formulated and enforced following the same approach. Optimal error convergence rates are reported using high-order B-spline approximations. The method is verified against available analytical solutions and well-known benchmarks from the literature.


title: Coupling Staggered-Grid and MPFA Finite Volume Methods for Free Flow/Porous-Medium Flow Problems

abstract: A discretization is proposed for models coupling free flow with anisotropic porous medium flow. Our approach employs a staggered grid finite volume method for the Navier-Stokes equations in the free flow subdomain and a MPFA finite volume method to solve Darcy flow in the porous medium. After appropriate spatial refinement in the free flow domain, the degrees of freedom are conveniently located to allow for a natural coupling of the two discretization schemes. In turn, we automatically obtain a more accurate description of the flow field surrounding the porous medium. Numerical experiments highlight the stability and applicability of the scheme in the presence of anisotropy and show good agreement with existing methods, verifying our approach.


title: A unified factorization theorem for Lipschitz summing operators

abstract: We prove a general factorization theorem for Lipschitz summing operators in the context of metric spaces which recovers several linear and nonlinear factorization theorems that have been proved recently in different environments. New applications are also given.


title: Polarization spin-tensors in two-spinor formalism and Behrends-Fronsdal spin projection operator for $D$-dimensional case

abstract: In the work, the recurrent differential relations that connecting the polarization spin-tensor of the wave function of a free massive particle of an arbitrary spin for $D=4$ and new formula of the $D$-dimensional Behrends-Fronsdal spin projection operator are found.


title: Quantitative analysis of self-organized patterns in ombrotrophic peatlands

abstract: We numerically investigate a diffusion-reaction model of an ombrotrophic peatland implementing a Turing instability relying on nutrient accumulation. We propose a systematic and quantitative sorting of the vegetation patterns, based on the statistical analysis of the numbers and filling factor of clusters of both \textit{Sphagnum} mosses and vascular plants. In particular, we define the transition from \textit{Sphagnum}-percolating to vascular plant-percolating patterns as the nutrient availability is increased. Our pattern sorting allows us to characterize the peatland pattern stability under climate stress, including strong drought.


title: Subfactors and Hecke groups

abstract: We study a relation between the Hecke groups and the index of subfactors in a von Neumann algebra. Such a problem was raised by V. F. R. Jones. We solve the problem using the notion of a cluster C*-algebra.


title: Towards adaptive state consistency in distributed SDN control plane

abstract: State synchronisation in clustered Software Defined Networking controller deployments ensures that all instances of the controller have the same state information in order to provide redundancy. Current implementations of controllers use a strong consistency model, where configuration changes must be synchronised across a number of instances before they are applied on the network infrastructure. For large deployments, this blocking process increases the delay of state synchronisation across cluster members and consequently has a detrimental effect on network operations that require rapid response, such as fast failover and Quality of Service applications. In this paper, we introduce an adaptive consistency model for SDN Controllers that employs concepts of eventual consistency models along with a novel `cost-based' approach where strict synchronisation is employed for critical operations that affect a large portion of the network resources while less critical changes are periodically propagated across cluster nodes. We use simulation to evaluate our model and demonstrate the potential gains in performance.


title: Gas infall and possible circumstellar rotation in R Leo

abstract: We present new interferometer molecular observations of R Leo taken at 1.2 mm with the Atacama Large Millimeter Array with an angular resolution up to ~0.026 arcsec. These observations permit us to resolve the innermost envelope of this star revealing the existence of a complex structure that involves extended continuum emission and molecular emission showing a non-radial gas velocity distribution. This molecular emission displays prominent red-shifted absorptions located right in front to the star typical of material infall and lateral gas motions compatible with the presence of a torus-like structure.


title: Complete multipartite graphs that are determined, up to switching, by their Seidel spectrum

abstract: It is known that complete multipartite graphs are determined by their distance spectrum but not by their adjacency spectrum. The Seidel spectrum of a graph $G$ on more than one vertex does not determine the graph, since any graph obtained from $G$ by Seidel switching has the same Seidel spectrum. We consider $G$ to be determined by its Seidel spectrum, up to switching, if any graph with the same spectrum is switching equivalent to a graph isomorphic to $G$. It is shown that any graph which has the same spectrum as a complete $k$-partite graph is switching equivalent to a complete $k$-partite graph, and if the different partition sets sizes are $p_1,\ldots, p_l$, and there are at least three partition sets of each size $p_i$, $i=1,\ldots, l$, then $G$ is determined, up to switching, by its Seidel spectrum. Sufficient conditions for a complete tripartite graph to be determined by its Seidel spectrum are discussed, and a conjecture is made on complete tripartite graphs on more than 18 vertices.


title: Quadrupolar ordering and exotic magnetocaloric effect in RB4 (R = Dy, Ho)

abstract: The interplay of charge, spin, orbital and lattice degrees of freedom has recently received great interest due to its potential to improve the magnetocaloric effect (MCE) for the purpose of magnetic cooling applications. Here we propose a new mechanism for a giant inverse MCE in rare-earth tetraborides, especially for Ho1-xDyxB4 (x = 0.0, 0.5, and 1.0). For x = 0.0, 0.5, and 1.0, the maximum entropy changes of the giant inverse MCE are found to be 22.7 J/kgK, 19.6 J/kgK, and 19.0 J/kgK with critical fields of 25 kOe, 40 kOe, and 50 kOe, respectively. It is remarkable that such a giant MCE is realized, even when applying a low magnetic field, which enables a field-tuned entropy change and brings about a significant advantage for several applications. For all compounds, we have systematically studied how the entropy changes as a function of the field and temperature and investigated their correlation with consecutive double transitions, i.e., the magnetic dipolar order at T = TN and the quadrupolar order at T = TQ (TQ < TN). We found that the maximum entropy change occurs at T = TQ and the critical field associated with the meta-magnetic transition, which is in good agreement with the experimental data. Thus, we elucidate that this unique behaviour is attributed to the strong coupling between magnetic dipoles and quadrupoles in the presence of strong spin-orbit coupling and geometric frustration. Our work offers new insights into both the academic interest of multipolar degrees of freedom in magnetic materials and the discovery of giant MCE with various applications for magnetic cooling systems.


title: s+if pairing in Ising superconductors

abstract: We show that an in-plane Zeeman field applied to non-centrosymmetric Ising superconductors converts singlet $s$-wave Cooper pairs to equal-spin triplet $if$ pairs, leading to an enhancement of the critical transition line beyond expected from Ising spin-orbit coupling. Singlet to triplet conversion relates to a phase transformation due to spin rotation by the Zeeman field and has a geometric origin. The discussion is especially relevant, but not limited to monolayer transition metal dichalcogenides.


title: Holographic geometry for non-relativistic systems emerging from generalized flow equations

abstract: An intriguing result presented by two of the present authors is that an anti de Sitter space can be derived from a conformal field theory by considering a flow equation. A natural expectation is that given a certain data on the boundary system, the associated geometry would be able to emerge from a flow, even beyond the conformal case. As a step along this line, we examine this scenario for non-relativistic systems with anisotropic scaling symmetries, such as Lifshitz field theories and Schr\"odinger invariant theories. In consequence we obtain a new hybrid geometry of Lifshitz and Schr\"odinger spacetimes as a general holographic geometry in this framework. We confirm that this geometry reduces to each of them by considering special non-relativistic models.


title: Characterization of Sine- Skewed von Mises Distribution

abstract: The von Mises distribution is one of the most important distribution in statistics to deal with circular data. In this paper we will consider some basic properties and characterizations of the sine skewed von Mises distribution.


title: The few-get-richer: a surprising consequence of popularity-based rankings

abstract: Ranking algorithms play a crucial role in online platforms ranging from search engines to recommender systems. In this paper, we identify a surprising consequence of popularity-based rankings: the fewer the items reporting a given signal, the higher the share of the overall traffic they collectively attract. This few-get-richer effect emerges in settings where there are few distinct classes of items (e.g., left-leaning news sources versus right-leaning news sources), and items are ranked based on their popularity. We demonstrate analytically that the few-get-richer effect emerges when people tend to click on top-ranked items and have heterogeneous preferences for the classes of items. Using simulations, we analyze how the strength of the effect changes with assumptions about the setting and human behavior. We also test our predictions experimentally in an online experiment with human participants. Our findings have important implications to understand the spread of misinformation.


title: Two-Colour Interferometry and Thomson Scattering Measurements of a Plasma Gun

abstract: We present experimental measurements of a pulsed plasma gun, using two-colour imaging laser interferometry and spatially resolved Thomson scattering. Interferometry measurements give an electron density $n_e\approx2.7\times10^{17}$ cm$^{-3}$ at the centre of the plasma plume, at 5 mm from the plasma gun nozzle. The Thomson scattered light is collected from two probing angles allowed us to simultaneously measure the collective and non-collective spectrum of the electron feature from the same spatial locations. The inferred electron densities from the location of the electron plasma waves is in agreement with interferometry. The electron temperatures inferred from the two spectra are not consistent, with $T_e\approx 10$ eV for non-collective scattering and $T_e\approx 30$ eV for collective scattering. We discuss various broadening mechanisms such as finite aperture effects, density gradients within the collective volume and collisional broadening to account for some of this discrepancy. We also note the significant red/blue asymmetry of the electron plasma waves in the collective scattering spectra, which could relate to kinetic effects distorting the distribution function of the electrons.


title: On the Molecular Origin of the Cooperative Coil-to-globule Transition of Poly(N-isopropylacrylamide) in Water

abstract: By means of atomistic molecular dynamics simulations we investigate the behaviour of poly(N-isopropylacrylamide), PNIPAM, in water at temperatures below and above the lower critical solution temperature (LCST), including the undercooled regime. The transition between water soluble and insoluble states at the LCST is described as a cooperative process involving an intramolecular coil-to-globule transition preceding the aggregation of chains and the polymer precipitation. In this work we investigate the molecular origin of such cooperativity and the evolution of the hydration pattern in the undercooled polymer solution. The solution behaviour of an atactic 30-mer at high dilution is studied in the temperature interval from 243 to 323 K with a favourable comparison to available experimental data. In the PNIPAM water soluble states we detect a correlation between polymer segmental dynamics and diffusion motion of bound water, occurring with the same activation energy. Simulation results show that below the coil-to-globule transition temperature PNIPAM is surrounded by a network of hydrogen bonded water molecules and that the cooperativity arises from the structuring of water clusters in proximity to hydrophobic groups. Differently, the perturbation of the hydrogen bond pattern involving water and amide groups occurs above the transition temperature. Altogether these findings reveal that even above the LCST PNIPAM remains largely hydrated and that the coil-to-globule transition is related with a significant rearrangement of the solvent in proximity of the surface of the polymer. The comparison between the hydrogen bonding of water in the surrounding of PNIPAM isopropyl groups and in bulk displays a decreased structuring of solvent at the hydrophobic polymer-water interface across the transition temperature, as expected because of the topological extension along the chain of such interface.


title: The universal Boolean inverse semigroup presented by the abstract Cuntz-Krieger relations

abstract: This paper is a contribution to the theory of what might be termed $0$-dimensional non-commutative spaces. We prove that associated with each inverse semigroup $S$ is a Boolean inverse semigroup presented by the abstract versions of the Cuntz-Krieger relations. We call this Boolean inverse semigroup the Exel completion of $S$ and show that it arises from Exel's tight groupoid under non-commutative Stone duality.


title: On an Elliptic Free Boundary Problem and Subsonic Jet Flows for a Given Surrounding Pressure

abstract: This paper concerns compressible subsonic jet flows for a given surrounding pressure from a two-dimensional finitely long convergent nozzle with straight solid wall, which are governed by a free boundary problem for a quasilinear elliptic equation. For a given surrounding pressure and a given incoming mass flux, we seek a subsonic jet flow with the given incoming mass flux such that the flow velocity at the inlet is along the normal direction, the flow satisfies the slip condition at the wall, and the pressure of the flow at the free boundary coincides with the given surrounding pressure. In general, the free boundary contains two parts: one is the particle path connected with the wall and the other is a level set of the velocity potential. We identify a suitable space of flows in terms of the minimal speed and the maximal velocity potential difference for the well-posedness of the problem. It is shown that there is an optimal interval such that there exists a unique subsonic jet flow in the space iff the length of the nozzle belongs to this interval. Furthermore, the optimal regularity and other properties of the flows are shown.


title: Non-smooth gravity and parity violation

abstract: A conservative extension of general relativity is proposed by alleviating the differentiability of the metric and allowing for non-smooth solutions. We show that these metrics break some symmetries of the Riemann tensor, yielding a new scalar curvature invariant besides the usual Ricci scalar. To first order in the curvature, this adds a new piece of information to the action, containing interesting and unexplored physics. The spectrum of the theory reveals the presence of an additional massless spin-1 field apart from the massless spin-2 graviton. We argue that this new contribution violates P and CP symmetries at leading order in the curvature and we discuss the possibility of observing these effects in existing experiments.


title: Unsupervised Data Uncertainty Learning in Visual Retrieval Systems

abstract: We introduce an unsupervised formulation to estimate heteroscedastic uncertainty in retrieval systems. We propose an extension to triplet loss that models data uncertainty for each input. Besides improving performance, our formulation models local noise in the embedding space. It quantifies input uncertainty and thus enhances interpretability of the system. This helps identify noisy observations in query and search databases. Evaluation on both image and video retrieval applications highlight the utility of our approach. We highlight our efficiency in modeling local noise using two real-world datasets: Clothing1M and Honda Driving datasets. Qualitative results illustrate our ability in identifying confusing scenarios in various domains. Uncertainty learning also enables data cleaning by detecting noisy training labels.


title: Local Rapid Learning for Integer Programs

abstract: Conflict learning algorithms are an important component of modern MIP and CP solvers. But strong conflict information is typically gained by depth-first search. While this is the natural mode for CP solving, it is not for MIP solving. Rapid Learning is a hybrid CP/MIP approach where CP search is applied at the root to learn information to support the remaining MIP solve. This has been demonstrated to be beneficial for binary programs. In this paper, we extend the idea of Rapid Learning to integer programs, where not all variables are restricted to the domain {0,1}, and rather than just running a rapid CP search at the root, we will apply it repeatedly at local search nodes within the MIP search tree. To do so efficiently, we present six heuristic criteria to predict the chance for local \rapidlearning to be successful. Our computational experiments indicate that our extended Rapid Learning algorithm significantly speeds up MIP search and is particularly beneficial on highly dual degenerate problems.


title: Self-Adjusting Mutation Rates with Provably Optimal Success Rules

abstract: The one-fifth success rule is one of the best-known and most widely accepted techniques to control the parameters of evolutionary algorithms. While it is often applied in the literal sense, a common interpretation sees the one-fifth success rule as a family of success-based updated rules that are determined by an update strength $F$ and a success rate. We analyze in this work how the performance of the (1+1) Evolutionary Algorithm on LeadingOnes depends on these two hyper-parameters. Our main result shows that the best performance is obtained for small update strengths $F=1+o(1)$ and success rate $1/e$. We also prove that the running time obtained by this parameter setting is, apart from lower order terms, the same that is achieved with the best fitness-dependent mutation rate. We show similar results for the resampling variant of the (1+1) Evolutionary Algorithm, which enforces to flip at least one bit per iteration.


title: Fundamental insights to topological quantum materials: A real-space view of 13 cases by supersymmetry of valence bonds approach

abstract: We present a real-space view of one-dimensional (1D) to three-dimensional (3D) topological materials with 13 representative samples selected from each class, including 1D trans-polyacetylene, two-dimensional (2D) graphene, and 3D topological insulators, Dirac semimetals, Weyl semimetals, and nodal-line semimetals. This review is not intended to present a complete up-to-date list of publications on topological materials, nor to provide a progress report on the theoretical concepts and experimental advances, but rather to focus on an analysis based on the valence-bond model to help the readers gain a more balanced view of the real-space bonding electron characteristics at the molecular level versus the reciprocal-space band picture of topological materials. Starting from a brief review of low-dimensional magnetism with `toy models' for a 1D Heisenberg antiferromagnetic (HAF) chain, 1D trans-polyacetylene and 2D graphene are found to have similar conjugated (\pi)-bond systems, and the Dirac cone is correlated to their unconventional 1D and 2D conduction mechanisms. Strain-driven and symmetry-protected topological insulators are introduced from the perspective of material preparation and valence-electron sharing in the valence-bond model analysis. The valence-bond models for the newly developed Dirac semimetals, Weyl semimetals, and nodal line semimetals are examined with more emphasis on the bond length and electron sharing, which is found consistent with the band picture.


title: Reduced Symmetric 2D Photonic Crystal Cavity with Wavelength Tunability

abstract: In this paper, we propose a microcavity supported by a designed photonic crystal structure (PhC) that supplies both tunability of cavity modes and quality factor of cavity. Low symmetric defect region provides a trigger effect for the frequency shifting by means of rotational manipulation of small symmetry elements. Deviation of effective filling ratio as a result of rotational modification within the defect region results in the emanation of cavity modes at different frequencies. Here, we numerically demonstrate the frequency shifting for each obtained mode with respect to defect region architecture. In addition to wavelength tunability, quality factor, mode volume, and Purcell factors are analyzed for the slightly modified structures. Also, electric field distributions of each mode that emerge at distinct frequencies have been also studied at adjusted frequency modes which are observed for all rotational modification scenarios as $\theta_{rot} =[0^\circ,15^\circ,30^\circ, 40^\circ] $. After the investigations in 2D of silicon material ($\epsilon_r=12$), 3D simulations are performed and the collected data is used for the stacking approximation of 3D structures to get the 2D, thus the cross-checking of the quality factor that acquired from the 2D simulation can be executed by comparison with 3D. Limited 3D results are projected to approximate 2D ones step by step and get an exponential trend which reaches in the limit to the $10^8$ value for Q-factor. Besides, 2D and 3D simulations of alumina ($\epsilon_r=9.61$) in terms of mode analysis and quality factor have been repeated considering the microwave experiments. Therefore, experimental analysis is compared with the numerical results and good agreement between the two is found.


title: A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming

abstract: Mixed integer nonlinear programs (MINLPs) are arguably among the hardest optimization problems, with a wide range of applications. MINLP solvers that are based on linear relaxations and spatial branching work similar as mixed integer programming (MIP) solvers in the sense that they are based on a branch-and-cut algorithm, enhanced by various heuristics, domain propagation, and presolving techniques. However, the analysis of infeasible subproblems, which is an important component of most major MIP solvers, has been hardly studied in the context of MINLPs. There are two main approaches for infeasibility analysis in MIP solvers: conflict graph analysis, which originates from artificial intelligence and constraint programming, and dual ray analysis. The main contribution of this short paper is twofold. Firstly, we present the first computational study regarding the impact of dual ray analysis on convex and nonconvex MINLPs. In that context, we introduce a modified generation of infeasibility proofs that incorporates linearization cuts that are only locally valid. Secondly, we describe an extension of conflict analysis that works directly with the nonlinear relaxation of convex MINLPs instead of considering a linear relaxation. This is work-in-progress, and this short paper is meant to present first theoretical considerations without a computational study for that part.


title: Generalized Dehn twists on surfaces and homology cylinders

abstract: Let $\Sigma$ be a compact oriented surface. The Dehn twist along every simple closed curve $\gamma \subset \Sigma$ induces an automorphism of the fundamental group $\pi$ of $\Sigma$. There are two possible ways to generalize such automorphisms if the curve $\gamma$ is allowed to have self-intersections. One way is to consider the `generalized Dehn twist' along $\gamma$: an automorphism of the Malcev completion of $\pi$ whose definition involves intersection operations and only depends on the homotopy class $[\gamma]\in \pi$ of $\gamma$. Another way is to choose in the usual cylinder $U:=\Sigma \times [-1,+1]$ a knot $L$ projecting onto $\gamma$, to perform a surgery along $L$ so as to get a homology cylinder $U_L$, and let $U_L$ act on every nilpotent quotient $\pi/\Gamma_{j} \pi$ of $\pi$ (where $\Gamma_j\pi$ denotes the subgroup of $\pi$ generated by commutators of length $j$). In this paper, assuming that $[\gamma]$ is in $\Gamma_k \pi$ for some $k\geq 2$, we prove that (whatever the choice of $L$ is) the automorphism of $\pi/\Gamma_{2k+1} \pi$ induced by $U_L$ agrees with the generalized Dehn twist along $\gamma$ and we explicitly compute this automorphism in terms of $[\gamma]$ modulo ${\Gamma_{k+2}}\pi$. As applications, we obtain new formulas for certain evaluations of the Johnson homomorphisms showing, in particular, how to realize any element of their targets by some explicit homology cylinders and/or generalized Dehn twists.


title: Beholder-GAN: Generation and Beautification of Facial Images with Conditioning on Their Beauty Level

abstract: Beauty is in the eye of the beholder. This maxim, emphasizing the subjectivity of the perception of beauty, has enjoyed a wide consensus since ancient times. In the digitalera, data-driven methods have been shown to be able to predict human-assigned beauty scores for facial images. In this work, we augment this ability and train a generative model that generates faces conditioned on a requested beauty score. In addition, we show how this trained generator can be used to beautify an input face image. By doing so, we achieve an unsupervised beautification model, in the sense that it relies on no ground truth target images.


title: Nonequilibrium dynamics of noninteracting fermions in a trap

abstract: We consider the real time dynamics of $N$ noninteracting fermions in $d=1$. They evolve in a trapping potential $V(x)$, starting from the equilibrium state in a potential $V_0(x)$. We study the time evolution of the Wigner function $W(x,p,t)$ in the phase space $(x,p)$, and the associated kernel which encodes all correlation functions. At $t=0$ the Wigner function for large $N$ is uniform in phase space inside the Fermi volume, and vanishes at the Fermi surf over a scale $e_N$ being described by a universal scaling function related to the Airy function. We obtain exact solutions for the Wigner function, the density, and the correlations in the case of harmonic and inverse square potentials, for several $V_0(x)$. In the large $N$ limit, near the edges where the density vanishes, we obtain limiting kernels (of the Airy or Bessel types) that retain the form found in equilibrium, up to a time dependent rescaling. For non-harmonic traps the evolution of the Fermi volume is more complex. Nevertheless we show that, for intermediate times, the Fermi surf is still described by the same equilibrium scaling function, with a non-trivial time and space dependent width which we compute analytically. We discuss the multi-time correlations and obtain their explicit scaling forms valid near the edge for the harmonic oscillator. Finally, we address the large time limit where relaxation to the Generalized Gibbs Ensemble (GGE) was found to occur in the "classical" regime $\hbar \sim 1/N$. Using the diagonal ensemble we compute the Wigner function in the quantum case (large $N$, fixed $\hbar$) and show that it agrees with the GGE. We also obtain the higher order (non-local) correlations in the diagonal ensemble.


title: A Manually-Curated Dataset of Fixes to Vulnerabilities of Open-Source Software

abstract: Advancing our understanding of software vulnerabilities, automating their identification, the analysis of their impact, and ultimately their mitigation is necessary to enable the development of software that is more secure. While operating a vulnerability assessment tool that we developed and that is currently used by hundreds of development units at SAP, we manually collected and curated a dataset of vulnerabilities of open-source software and the commits fixing them. The data was obtained both from the National Vulnerability Database (NVD) and from project-specific Web resources that we monitor on a continuous basis. From that data, we extracted a dataset that maps 624 publicly disclosed vulnerabilities affecting 205 distinct open-source Java projects, used in SAP products or internal tools, onto the 1282 commits that fix them. Out of 624 vulnerabilities, 29 do not have a CVE identifier at all and 46, which do have a CVE identifier assigned by a numbering authority, are not available in the NVD yet. The dataset is released under an open-source license, together with supporting scripts that allow researchers to automatically retrieve the actual content of the commits from the corresponding repositories and to augment the attributes available for each instance. Also, these scripts allow to complement the dataset with additional instances that are not security fixes (which is useful, for example, in machine learning applications). Our dataset has been successfully used to train classifiers that could automatically identify security-relevant commits in code repositories. The release of this dataset and the supporting code as open-source will allow future research to be based on data of industrial relevance; also, it represents a concrete step towards making the maintenance of this dataset a shared effort involving open-source communities, academia, and the industry.


title: Strong frequency dependence of transport in the driven Fano-Anderson model

abstract: We study a periodically driven central site coupled to a disordered environment. In comparison to the static model, transport features are either enhanced or reduced, depending on the frequency of the drive. We demonstrate this by analyzing the statistics of quasienergies and the logarithmic entanglement growth between bipartitions, which show similar features: For frequencies larger than disorder strength, localization is enhanced due to a reduced effective coupling to the central site. Remarkably, localization can even be increased up to almost perfect freezing at particular frequencies, at which the central site decouples due to the emergence of `dark Floquet states'. This high-frequency domain of our model is bounded by a critical frequency $\omega_c$, where transport increases abruptly. We demonstrate that $\omega_c$ is determined by one-photon resonances, which connect states across the mobility edge. This sensitive frequency dependence allows us to fine tune transport properties of the driven central site model, by unprecented precision.