title: Malware in the SGX supply chain: Be careful when signing enclaves!

abstract: Malware attacks are a significant part of the new software security threats detected each year. Intel Software Guard Extensions (SGX) are a set of hardware instructions introduced by Intel in their recent lines of processors that are intended to provide a secure execution environment for user-developed applications. To our knowledge, there was no serious attempt yet to overcome the SGX protection by exploiting the weaknesses in the software supply chain infrastructure, namely at the level of the development, build or signing servers. While SGX protection does not specifically take into consideration such threats, we show in the current paper that a simple malware attack exploiting a separation between the build and signing processes can have a serious damaging impact, practically nullifying SGX integrity protection measures. We also explore two possible mitigations against the attack, one centralized leveraging SGX itself, and one distributed that relies on a smart contract deployed on a blockchain infrastructure. Our evaluation shows that both methods are feasible in practice and their added costs are acceptable for the offered protection.


title: Partial decay widths of $P_{c}(4312)$ as a $\bar{D}\Sigma_{c}$ molecular state

abstract: In the present work, the partial decay widths of $P_{c}(4312)$ to $\eta_{c} p$ and $J/\psi p$ are investigated with the QCD sum rule method under the assumption that $P_{c}(4312)$ is a $\bar{D}\Sigma_{c}$ molecular state with $J^{P}=\frac{1}{2}^{-}$. In the analysis, the pole residue of $P_{c}(4312)$, one of the input parameters for the calculations of the strong decay constants, is calculated first. With the numerical values of the strong decay constants, the partial decay widths to $\eta_{c} p$ and $J/\psi p$ are estimated to be $\Gamma(P_{c}(4312)\rightarrow \eta_{c} p)=5.54^{+0.75}_{-0.5}\mbox{MeV}$ and $\Gamma(P_{c}(4312)\rightarrow J/\psi p)=1.67^{+0.92}_{-0.56}\mbox{MeV}$, respectively, which are compatible with the measured total width of $P_{c}(4312)$. The results suggest that it is reasonable to assign $P_{c}(4312)$ to be a $\bar{D}\Sigma_{c}$ molecular state with $J^{P}=\frac{1}{2}^{-}$.


title: The HI Bias during the Epoch of Reionization

abstract: The neutral hydrogen (HI) and its 21 cm line are promising probes to the reionization process of the intergalactic medium (IGM). To use this probe effectively, it is imperative to have a good understanding on how the neutral hydrogen traces the underlying matter distribution. Here we study this problem using semi-numerical modeling by combining the HI in the IGM and the HI from halos during the epoch of reionization (EoR), and investigate the evolution and the scale-dependence of the neutral fraction bias as well as the 21 cm line bias. We find that the neutral fraction bias on large scales is negative during reionization, and its absolute value on large scales increases during the early stage of reionization and then decreases during the late stage. During the late stage of reionization, there is a transition scale at which the HI bias transits from negative on large scales to positive on small scales, and this scale increases as the reionization proceeds to the end.


title: Multifaceted Analysis of Fine-Tuning in Deep Model for Visual Recognition

abstract: In recent years, convolutional neural networks (CNNs) have achieved impressive performance for various visual recognition scenarios. CNNs trained on large labeled datasets can not only obtain significant performance on most challenging benchmarks but also provide powerful representations, which can be used to a wide range of other tasks. However, the requirement of massive amounts of data to train deep neural networks is a major drawback of these models, as the data available is usually limited or imbalanced. Fine-tuning (FT) is an effective way to transfer knowledge learned in a source dataset to a target task. In this paper, we introduce and systematically investigate several factors that influence the performance of fine-tuning for visual recognition. These factors include parameters for the retraining procedure (e.g., the initial learning rate of fine-tuning), the distribution of the source and target data (e.g., the number of categories in the source dataset, the distance between the source and target datasets) and so on. We quantitatively and qualitatively analyze these factors, evaluate their influence, and present many empirical observations. The results reveal insights into what fine-tuning changes CNN parameters and provide useful and evidence-backed intuitions about how to implement fine-tuning for computer vision tasks.


title: A prey-predator model with three interacting species

abstract: In this paper we consider a class of discrete time prey-predator models with three interacting species defined on the two-dimensional simplex. For some choices of parameters of the operator describing the evolution of the relative frequencies, we show that the ergodic hypothesis does not hold. Moreover, we prove that any order Ces\`aro mean of the trajectories diverges. For another class of parameters, we show that all orbits starting from the interior of the simplex converge to the unique fixed point of the operator while for the remaining choices of parameters all orbits converge to one of the vertices of the simplex. Contrary to many authors we study discrete time models but we include a speed function $f$ in the dynamics which allows us to approximate the continuous-time case arbitrarily well when $f$ is small.


title: One-way quantum repeater based on near-deterministic photon-emitter interfaces

abstract: We propose a novel one-way quantum repeater architecture based on photonic tree-cluster states. Encoding a qubit in a photonic tree-cluster protects the information from transmission loss and enables long-range quantum communication through a chain of repeater stations. As opposed to conventional approaches that are limited by the two-way communication time, the overall transmission rate of the current quantum repeater protocol is determined by the local processing time enabling very high communication rates. We further show that such a repeater can be constructed with as little as two stationary qubits and one quantum emitter per repeater station, which significantly increases the experimental feasibility. We discuss potential implementations with diamond defect centers and semiconductor quantum dots efficiently coupled to photonic nanostructures and outline how such systems may be integrated into repeater stations.


title: Block Prefix Mechanism for Flow Mobility in PMIPv6 Based Networks

abstract: The next generation Internet is deemed to be heterogeneous in nature and mobile devices connected to the Internet are expected to be equipped with different wireless network interfaces. As seamless mobility is important in such networks, handover between different network types, called vertical handover, is an important issue in such networks. While proposing standards like Mobile IPv6 (MIPv6) and Proxy Mobile IPv6 (PMIPv6) for mobility management protocols, one important challenge being addressed by IETF work groups and the research community is flow mobility in multi-homed heterogeneous wireless networks. In this paper we propose and analyze a block prefix mechanism for flow mobility in PMIPv6 and conducted extensive analytical and simulation studies to compare the proposed mechanism with existing prefix based mechanisms for flow mobility in PMIPv6 reported in terms of important performance metrics such as handover latency, average hop delay, packet density, signaling cost and packet loss. Both analytical and simulation results demonstrate that the proposed mechanism outperforms the existing flow mobility management procedures using either shared or unique prefixes.


title: Machine Learning Kernel Method from a Quantum Generative Model

abstract: Recently the use of Noisy Intermediate Scale Quantum (NISQ) devices for machine learning tasks has been proposed. The propositions often perform poorly due to various restrictions. However, the quantum devices should perform well in sampling tasks. Thus, we recall theory of sampling-based approach to machine learning and propose a quantum sampling based classifier. Namely, we use randomized feature map approach. We propose a method of quantum sampling based on random quantum circuits with parametrized rotations distribution. We obtain simple to use method with intuitive hyper-parameters that performs at least equally well as top out-of-the-box classical methods. In short we obtain a competitive quantum classifier with crucial component being quantum sampling -- a promising task for quantum supremacy.


title: Artin glueings of frames as semidirect products

abstract: Artin glueings provide a way to reconstruct a frame from a closed sublocale and its open complement. We show that Artin glueings can be described as the weakly Schreier split extensions in the category of frames with finite-meet preserving maps. These extensions correspond to meet-semilattice homomorphisms between frames, yielding an extension bifunctor. Finally, we discuss Baer sums, the induced order structure on extensions and the failure of the split short five lemma.


title: On the mean value of the functions related to the divisor function on the ring of polynomials over a finite field

abstract: Let $ \mathbb{F}_q[T]$\, be the ring of polynomials over a finite field $ \mathbb{F}_q $. Let $ g: \mathbb{F}_q[T] \rightarrow \mathbb{R} $ be a multiplicative function such that for any irreducible polynomial $ P $ over $ \mathbb{F}_q $ and any $ k \ge 1 $, the equality $ d_k = g (P ^ k) $ holds for some arbitrary sequence of reals $\{d_k\}_{k=1}^{\infty}$. In this paper, we get an explicit formula for the sum $$ T (N) = \sum\limits_{\substack{\deg F=N F \text{ is monic}}}{g (F)}, $$ and also derive different asymptotics when this sum in cases of $ q \to \infty; \ q \to \infty, \ N \to \infty; \ q ^ N \to \infty $.


title: Spatiotemporal Local Propagation

abstract: This paper proposes an in-depth re-thinking of neural computation that parallels apparently unrelated laws of physics, that are formulated in the variational framework of the least action principle. The theory holds for neural networks that are also based on any digraph, and the resulting computational scheme exhibits the intriguing property of being truly biologically plausible. The scheme, which is referred to as SpatioTemporal Local Propagation (STLP), is local in both space and time. Space locality comes from the expression of the network connections by an appropriate Lagrangian term, so as the corresponding computational scheme does not need the backpropagation (BP) of the error, while temporal locality is the outcome of the variational formulation of the problem. Overall, in addition to conquering the often invoked biological plausibility missed by BP, the locality in both space and time that arises from the proposed theory can neither be exhibited by Backpropagation Through Time (BPTT) nor by Real-Time Recurrent Learning (RTRL).


title: Percolation description of charge transport in amorphous oxide semiconductors

abstract: The charge transport mechanism in amorphous oxide semiconductors (AOS) is a matter of controversial debates. Most theoretical studies so far neglected the percolation nature of the phenomenon. In this article, a recipe for theoretical description of charge transport in AOSs is formulated using the percolation arguments. Comparison with the previous theoretical studies shows a superiority of the percolation approach. The results of the percolation theory are compared to experimental data obtained in various InGaZnO materials revealing parameters of the disorder potential in such AOS.


title: Estimating the division rate from indirect measurements of single cells

abstract: Is it possible to estimate the dependence of a growing and dividing population on a given trait in the case where this trait is not directly accessible by experimental measurements, but making use of measurements of another variable? This article adresses this general question for a very recent and popular model describing bacterial growth, the so-called incremental or adder model. In this model, the division rate depends on the increment of size between birth and division, whereas the most accessible trait is the size itself. We prove that estimating the division 10 rate from size measurements is possible, we state a reconstruction formula in a deterministic and then in a statistical setting, and solve numerically the problem on simulated and experimental data. Though this represents a severely ill-posed inverse problem, our numerical results prove to be satisfactory.


title: The $^6$Li/$^7$Li isotopic ratio in the metal-poor binary CS22876--032

abstract: We present high-resolution and high-quality UVES spectroscopic data of the metal-poor double-lined spectroscopic binary CS 22876--032 ([Fe/H] $\sim -3.7$ dex), with the goal to derive the $^6$Li/$^7$Li isotopic ratio by analysing the \ion{Li}{i} $\lambda$~670.8~nm doublet. We coadd all 28 useful spectra normalised and corrected for radial velocity to the rest frame of the primary star. We fit the Li profile with a grid of the 3D-NLTE synthetic spectra, to take into account the line profile asymmetries induced by stellar convection, and perform Monte Carlo simulations to evaluate the uncertainty of the fit of the Li line profile. We check that the veiling factor does not affect the derived isotopic ratio, $^6$Li/$^7$Li, and only modifies the Li abundance, A(Li), by about 0.15~dex. The best fit of the Li profile of the primary star provides A(Li)~$ = 2.17 \pm 0.01$~dex and $^6$Li/$^7$Li~$=8^{+2}_{-5}$\% at 68\% confidence level. In addition, we improve the Li abundance of the secondary star at A(Li)~$= 1.55 \pm 0.04$~dex, which is about 0.6~dex lower than that of the primary star. The analysis of the Li profile of the primary star is consistent with no detection of $^6$Li and provides an upper-limit to the isotopic ratio of $^6$Li/$^7$Li~$< 10$\% at this very low metallicity, about 0.5~dex lower in metallicity than previous attempts for detection of $^6$Li in extremely metal poor stars. These results do not solve or worsen the cosmological $^7$Li problem, nor support the need for non standard $^6$Li production in the early Universe.


title: Imaging pinning and expulsion of individual superconducting vortices in amorphous MoSi thin films

abstract: We use a scanning nanometer-scale superconducting quantum interference device (SQUID) to image individual vortices in amorphous superconducting MoSi thin films. Spatially resolved measurements of the magnetic field generated by both vortices and Meissner screening satisfy the Pearl model for vortices in thin films and yield values for the Pearl length and bulk penetration depth at 4.2 K. Flux pinning is observed and quantified through measurements of vortex motion driven by both applied currents and thermal activation. The effects of pinning are also observed in metastable vortex configurations, which form as the applied magnetic field is reduced and magnetic flux is expelled from the film. Understanding and controlling vortex dynamics in amorphous thin films is crucial for optimizing devices such as superconducting nanowire single photon detectors (SNSPDs), the most efficient of which are made from MoSi, WSi, and MoGe.


title: Tridiagonality, supersymmetry and non self-adjoint Hamiltonians

abstract: In this paper we consider some aspects of tridiagonal, non self-adjoint, Hamiltonians and of their supersymmetric counterparts. In particular, the problem of factorization is discussed, and it is shown how the analysis of the eigenstates of these Hamiltonians produce interesting recursion formulas giving rise to biorthogonal families of vectors. Some examples are proposed, and a connection with bi-squeezed states is analyzed.


title: Image-Based Size Analysis of Agglomerated and Partially Sintered Particles via Convolutional Neural Networks

abstract: There is a high demand for fully automated methods for the analysis of primary particle size distributions of agglomerated, sintered or occluded primary particles, due to their impact on material properties. Therefore, a novel, deep learning-based, method for the detection of such primary particles was proposed and tested, which renders a manual tuning of analysis parameters unnecessary. As a specialty, the training of the utilized convolutional neural networks was carried out using only synthetic images, thereby avoiding the laborious task of manual annotation and increasing the ground truth quality. Nevertheless, the proposed method performs excellent on real world samples of sintered silica nanoparticles with various sintering degrees and varying image conditions. In a direct comparison, the proposed method clearly outperforms two state-of-the-art methods for automated image-based particle size analysis (Hough transformation and the ImageJ ParticleSizer plug-in), thereby attaining human-like performance.


title: Percolation description of charge transport in the random barrier model applied to amorphous oxide semiconductors

abstract: Charge transport in amorphous oxide semiconductors is often described as the band transport affected by disorder in the form of random potential barriers (RB). Theoretical studies in the framework of this approach neglected so far the percolation nature of the phenomenon. In this article, a recipe for theoretical description of charge transport in the RB model is formulated using percolation arguments. Comparison with the results published so far evidences the superiority of the percolation approach.


title: Reductions of triangulated categories and simple-minded collections

abstract: Silting and Calabi-Yau reductions are important process in representation theory to construct new triangulated categories from given one, which are similar to Verdier quotient. In this paper, first we introduce a new reduction process of triangulated category, which is analogous to the silting (Calabi-Yau) reduction. For a triangulated category $\cal T$ with a pre-simple-minded collection (=pre-SMC) $\cal R$, we construct a new triangulated category $\cal U$ such that the SMCs in $\cal U$ bijectively correspond to those in $\cal T$ containing $\cal R$. Secondly, we give an analogue of Buchweitz's theorem for the singularity category $\cal T_{\rm sg}$ of a SMC quadruple $(\cal T,\cal T^{\rm p},\mathbb S, \cal S)$: the category $\cal T_{\rm sg}$ can be realized as the stable category of an extriangulated subcategory $\cal F$ of $\cal T$. Finally, we show the SMS (simple-minded system) reduction due to Coelho Sim\~oes and Pauksztello is the shadow of our SMC reduction. This is parallel to the result that Calabi-Yau reduction is the shadow of silting reduction due to Iyama and Yang.


title: A novel approach to quantify the structural distortions of U/Th snub-disphenoids and their role in zircon to reidite type phase transitions of uranothorite

abstract: Our density functional study reveals a peculiar relation between the normalized Th content i.e. Th/(U+Th) and the hydrostatic pressure enforcing zircon to reidite type transition in uranothorite solid solution. We found that the transition pressure exhibits a minimum when Th/(U+Th) = 0.50 i.e. when the unit cell contains equal amount of U and Th. Any change in normalized Th content, as we move towards the U and Th end-members of the series, shows a significant jump in zircon-reidite transition pressure. In order to explain this behavior, we proposed a novel method of quantifying the distortions of U/Th-coordination polyhedra which manifest themselves as a triangular dodecahedron or snub-disphenoid. We have theoretically defined two parameters: one related to the two geometrically different U/Th-O bond lengths, having a fixed ratio between them for regular triangular dodecahedra irrespective of the volume and the other with three kinds of O-U-O and O-Th-O bond angles with multiplicities of 2, 4 and 12, respectively. The bond angle distortion for both U and Th-polyhedra were found to show a maximum in zircon phase and a minimum in reidite phase corresponding to Th/(U+Th) = 0.5. Since, the difference in angular distortion is minimum in case of Th/(U+Th) = 0.5, a lesser hydrostatic pressure is capable of triggering the transition, compared to the other members of this series. The bond length distortion is also characterized by a maximum in the reidite phase at the equal concentration of U and Th. Our finding is also complemented by the minimum compressibility observed in the zircon phase when the atomic percentage of U and Th are equal.


title: Further remarks on rigidity of H\'{e}non maps

abstract: For a H\'{e}non map $H$ in $\mathbb{C}^2$, we characterize the polynomial automorphisms of $\mathbb{C}^2$ which keep any fixed level set of the Green function of $H$ completely invariant. The interior of any non-zero sublevel set of the Green function of a H\'{e}non map turns out to be a Short $\mathbb{C}^2$ and as a consequence of our characterization, it follows that there exists no polynomial automorphism apart from possibly the affine automorphisms which acts as an automorphism on any of these Short $\mathbb{C}^2$'s. Further, we prove that if any two level sets of the Green functions of a pair of H\'{e}non maps coincide, then they almost commute.


title: REACT: REActive resilience for critical infrastructures using graph-Coloring Techniques

abstract: Nowadays society is more and more dependent on critical infrastructures. Critical network infrastructures (CNI) are communication networks whose disruption can create a severe impact. In this paper we propose REACT, a distributed framework for reactive network resilience, which allows networks to reconfigure themselves in the event of a security incidents so that the risk of further damage is mitigated. Our framework takes advantage of a risk model based on multilayer networks, as well as a graph-coloring problem conversion, to identify new, more resilient configurations for networks in the event of an attack. We propose two different solution approaches, and evaluate them from two different perspectives, with a number of centralized optimization techniques. Experiments show that our approaches outperform the reference approaches in terms of risk mitigation and performance.


title: R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments

abstract: The R programming language combines a number of features considered hard to analyze and implement efficiently: dynamic typing, reflection, lazy evaluation, vectorized primitive types, first-class closures, and extensive use of native code. Additionally, variable scopes are reified at runtime as first-class environments. The combination of these features renders most static program analysis techniques impractical, and thus, compiler optimizations based on them ineffective. We present our work on PIR, an intermediate representation with explicit support for first-class environments and effectful lazy evaluation. We describe two dataflow analyses on PIR: the first enables reasoning about variables and their environments, and the second infers where arguments are evaluated. Leveraging their results, we show how to elide environment creation and inline functions.


title: Topological Electronic Structure and Its Temperature Evolution in Antiferromagnetic Topological Insulator MnBi2Te4

abstract: Topological quantum materials coupled with magnetism can provide a platform for realizing rich exotic physical phenomena, including quantum anomalous Hall effect, axion electrodynamics and Majorana fermions. However, these unusual effects typically require extreme experimental conditions such as ultralow temperature or sophisticate material growth and fabrication. Recently, new intrinsic magnetic topological insulators were proposed in MnBi2Te4-family compounds - on which rich topological effects could be realized under much relaxed experimental conditions. However, despite the exciting progresses, the detailed electronic structures observed in this family of compounds remain controversial up to date. Here, combining the use of synchrotron and laser light sources, we carried out comprehensive and high resolution angle-resolved photoemission spectroscopy studies on MnBi2Te4, and clearly identified its topological electronic structures including the characteristic gapless topological surface states. In addition, the temperature evolution of the energy bands clearly reveals their interplay with the magnetic phase transition by showing interesting differences for the bulk and surface states, respectively. The identification of the detailed electronic structures of MnBi2Te4 will not only help understand its exotic properties, but also pave the way for the design and realization of novel phenomena and applications.


title: ATLAS $b$-jet identification performance and efficiency measurement with $t\bar{t}$ events in $pp$ collisions at $\sqrt{s}=13$ TeV

abstract: The algorithms used by the ATLAS Collaboration during Run 2 of the Large Hadron Collider to identify jets containing $b$-hadrons are presented. The performance of the algorithms is evaluated in the simulation and the efficiency with which these algorithms identify jets containing $b$-hadrons is measured in collision data. The measurement uses a likelihood-based method in a sample of highly enriched in $t\bar{t}$ events. The topology of the $t \to W b$ decays is exploited to simultaneously measure both the jet flavour composition of the sample and the efficiency in a transverse momentum range from 20 GeV to 600 GeV. The efficiency measurement is subsequently compared with that predicted by the simulation. The data used in this measurement, corresponding to a total integrated luminosity of 80.5 fb$^{-1}$, were collected in proton-proton collisions during the years 2015 to 2017 at a centre-of-mass energy $\sqrt{s}=$ 13 TeV. By simultaneously extracting both the efficiency and jet flavour composition, this measurement significantly improves the precision compared to previous results, with uncertainties ranging from 1% to 8% depending on the jet transverse momentum.


title: Approximate Model Counting, Sparse XOR Constraints and Minimum Distance

abstract: The problem of counting the number of models of a given Boolean formula has numerous applications, including computing the leakage of deterministic programs in Quantitative Information Flow. Model counting is a hard, #P-complete problem. For this reason, many approximate counters have been developed in the last decade, offering formal guarantees of confidence and accuracy. A popular approach is based on the idea of using random XOR constraints to, roughly, successively halving the solution set until no model is left: this is checked by invocations to a SAT solver. The effectiveness of this procedure hinges on the ability of the SAT solver to deal with XOR constraints, which in turn crucially depends on the length of such constraints. We study to what extent one can employ sparse, hence short, constraints, keeping guarantees of correctness. We show that the resulting bounds are closely related to the geometry of the set of models, in particular to the minimum Hamming distance between models. We evaluate our theoretical results on a few concrete formulae. Based on our findings, we finally discuss possible directions for improvements of the current state of the art in approximate model counting.


title: Polyphonic Sound Event and Sound Activity Detection: A Multi-task approach

abstract: Polyphonic Sound Event Detection (SED) in real-world recordings is a challenging task because of the dynamic polyphony level, intensity, and duration of sound events. Current polyphonic SED systems fail to model the temporal structure of sound events explicitly and instead attempt to look at which sound events are present at each audio frame. Consequently, the event-wise detection performance is much lower than the segment-wise detection performance. In this work, we propose a joint model approach to improve the temporal localization of sound events using a multi-task learning setup. The first task predicts which sound events are present at each time frame; we call this branch 'Sound Event Detection (SED) model', while the second task predicts if a sound event is present or not at each frame; we call this branch 'Sound Activity Detection (SAD) model'. We verify the proposed joint model by comparing it with a separate implementation of both tasks aggregated together from individual task predictions. Our experiments on the URBAN-SED dataset show that the proposed joint model can alleviate False Positive (FP) and False Negative (FN) errors and improve both the segment-wise and the event-wise metrics.


title: Reversible Data Hiding in Encrypted Images using Local Difference of Neighboring Pixels

abstract: This paper presents a reversible data hiding in encrypted image (RDHEI), which divides image into non-overlapping blocks. In each block, central pixel of the block is considered as leader pixel and others as follower ones. The prediction errors between the intensity of follower pixels and leader ones are calculated and analyzed to determine a feature for block embedding capacity. This feature indicates the amount of data that can be embedded in a block. Using this pre-process for whole blocks, we vacate rooms before the encryption of the original image to achieve high embedding capacity. Also, using the features of all blocks, embedded data is extracted and the original image is perfectly reconstructed at the decoding phase. In effect, comparing to existent RDHEI algorithms, embedding capacity is significantly increased in the proposed algorithm. Experimental results confirm that the proposed algorithm outperforms state of the art ones.


title: Highly parallel algorithm for the Ising ground state searching problem

abstract: Finding an energy minimum in the Ising model is an exemplar objective, associated with many combinatorial optimization problems, that is computationally hard in general, but occurs in all areas of modern science. There are several numerical methods, providing solution for the medium size Ising spin systems. However, they are either computationally slow and badly parallelized, or do not give sufficiently good results for the large systems. In this paper, we present a highly parallel algorithm, called Mean-field Annealing from a Random State (MARS), incorporating the best features of the classical simulated annealing (SA) and Mean-Field Annealing (MFA) methods. The algorithm is based on the mean-field descent from a randomly selected configuration and temperature. Since a single run requires little computational effort, the effectiveness can be achieved by massive parallelisation. MARS shows excellent performance both on the large Ising spin systems and on the set of exemplary maximum cut benchmark instances in terms of both solution quality and computational time.


title: Divisorial motivic zeta functions for marked stable curves

abstract: We define a divisorial motivic zeta function for stable curves with marked points which agrees with Kapranov's motivic zeta function when the curve is smooth and unmarked. We show that this zeta function is rational, and give a formula in terms of the dual graph of the curve.


title: Approximate Message Passing for Indoor THz Channel Estimation

abstract: Compressed sensing (CS) deals with the problem of reconstructing a sparse vector from an under-determined set of observations. Approximate message passing (AMP) is a technique used in CS based on iterative thresholding and inspired by belief propagation in graphical models. Due to the high transmission rate and a high molecular absorption, spreading loss and reflection loss, the discrete-time channel impulse response (CIR) of a typical indoor THz channel is very long and exhibits an approximately sparse characteristic. In this paper, we develop AMP based channel estimation algorithms for indoor THz communications. The performance of these algorithms is compared to the state of the art. We apply AMP with soft- and hard-thresholding. Unlike the common applications in which AMP with hard-thresholding diverges, the properties of the THz channel favor this approach. It is shown that THz channel estimation via hard-thresholding AMP outperforms all previously proposed methods and approaches the oracle based performance closely.


title: Kernel Trajectory Maps for Multi-Modal Probabilistic Motion Prediction

abstract: Understanding the dynamics of an environment, such as the movement of humans and vehicles, is crucial for agents to achieve long-term autonomy in urban environments. This requires the development of methods to capture the multi-modal and probabilistic nature of motion patterns. We present Kernel Trajectory Maps (KTM) to capture the trajectories of movement in an environment. KTMs leverage the expressiveness of kernels from non-parametric modelling by projecting input trajectories onto a set of representative trajectories, to condition on a sequence of observed waypoint coordinates, and predict a multi-modal distribution over possible future trajectories. The output is a mixture of continuous stochastic processes, where each realisation is a continuous functional trajectory, which can be queried at arbitrarily fine time steps.


title: Time-aware uniformization of winning strategies

abstract: Two-player win/lose games of infinite duration are involved in several disciplines including computer science and logic. If such a game has deterministic winning strategies, one may ask how simple such strategies can get. The answer may help with actual implementation, or to win despite imperfect information, or to conceal sensitive information especially if the game is repeated. Given a concurrent two-player win/lose game of infinite duration, this article considers equivalence relations over histories of played actions. A classical restriction used here is that equivalent histories have equal length, hence \emph{time awareness}. A sufficient condition is given such that if a player has winning strategies, she has one that prescribes the same action at equivalent histories, hence \emph{uniformization}. The proof is fairly constructive and preserves finiteness of strategy memory, and counterexamples show relative tightness of the result. Several corollaries follow for games with states and colors.


title: Sorting Methods and Adaptive Thresholding for Histogram Based Reversible Data Hiding

abstract: This paper presents a histogram based reversible data hiding (RDH) scheme, which divides image pixels into different cell frequency bands to sort them for data embedding. Data hiding is more efficient in lower cell frequency bands because it provides more accurate prediction. Using pixel existence probability in some pixels of ultra-low cell frequency band, another sorting is performed. Employing these two novel sorting methods in combination with the hiding intensity analysis that determines optimum prediction error, we improve the quality of the marked image especially for low embedding capacities. In effect, comparing to existent RDH algorithms, the hiding capacity is increased for a specific level of the distortion for the marked image. Experimental results confirm that the proposed algorithm outperforms state of the art ones.


title: Nonrigidity effects -- a missing puzzle piece in the description of low-energy anisotropic molecular collisions

abstract: Cold collisions serve as a very sensitive probe of the interaction potential. In the recent study of Klein et al. (Nature Phys. 13, 35-38 (2017)) the one-parameter scaling of the interaction potential was necessary to obtain agreement between theoretical and observed patterns of the orbiting resonances for excited metastable helium atoms colliding with hydrogen molecules. Here we show that the effect of nonrigidity of the H$_2$ molecule on the resonant structure, absent in the previous study, is critical to predict correct positions of the resonances in that case. We have complemented the theoretical description of the interaction potential and revised reaction rate coefficients by proper inclusion of the flexibility of the molecule. The calculated reaction rate coefficients are in remarkable agreement with the experimental data without empirical adjustment of the interaction potential. We have shown that even state-of-the-art calculations of the interaction energy cannot ensure agreement with the experiment if such an important physical effect as flexibility of the interacting molecule is neglected. Our findings about the significance of the nonrigidity effects can be especially crucial in cold chemistry, where the quantum nature of molecules is pronounced.


title: PreCall: A Visual Interface for Threshold Optimization in ML Model Selection

abstract: Machine learning systems are ubiquitous in various kinds of digital applications and have a huge impact on our everyday life. But a lack of explainability and interpretability of such systems hinders meaningful participation by people, especially by those without a technical background. Interactive visual interfaces (e.g., providing means for manipulating parameters in the user interface) can help tackle this challenge. In this paper we present PreCall, an interactive visual interface for ORES, a machine learning-based web service for Wikimedia projects such as Wikipedia. While ORES can be used for a number of settings, it can be challenging to translate requirements from the application domain into formal parameter sets needed to configure the ORES models. Assisting Wikipedia editors in finding damaging edits, for example, can be realized at various stages of automatization, which might impact the precision of the applied model. Our prototype PreCall attempts to close this translation gap by interactively visualizing the relationship between major model metrics (recall, precision, false positive rate) and a parameter (the threshold between valuable and damaging edits). Furthermore, PreCall visualizes the probable results for the current model configuration to improve the human's understanding of the relationship between metrics and outcome when using ORES. We describe PreCall's components and present a use case that highlights the benefits of our approach. Finally, we pose further research questions we would like to discuss during the workshop.


title: Improved PDE Models for Image Restoration through Backpropagation

abstract: In this paper we focus on learning optimized partial differential equation (PDE) models for image filtering. In this approach, the grey-scaled images are represented by a vector field of two real-valued functions and the image restoration problem is modelled by an evolutionary process such that the restored image at any time satisfies an initial-boundary-value problem of cross-diffusion with reaction type. The coupled evolution of the two components of the image is determined by a nondiagonal matrix that depends on those components. A critical question when designing a good-performing filter lies in the selection of the optimal coefficients and influence functions which define the cross-diffusion matrix. We propose the use of deep learning techniques in order to optimize the parameters of the model. In particular, we use a back propagation technique in order to minimize a cost function related to the quality of the denoising processe, while we ensure stability during the learning procedure. Consequently, we obtain improved image restoration models with solid mathematical foundations. The learning framework and resulting models are presented along with related numerical results and image comparisons.


title: QED theory of elastic electron scattering on hydrogen-like ions involving formation and decay of autoionizing states

abstract: We develop {\it ab initio} relativistic QED theory for elastic electron scattering on hydrogen-like highly charged ions for impact energies where, in addition to direct (Coulomb) scattering, the process can also proceed via formation and consequent Auger decay of autoionizing states of the corresponding helium-like ions. Even so the primary goal of the theory is to treat electron scattering on highly charged ions, a comparison with experiment shows that it can also be applied for relatively light ions covering thus a very broad range of the scattering systems. Using the theory we performed calculations for elastic electron scattering on B$^{4+}$, Ca$^{19+}$, Fe$^{25+}$, Kr$^{35+}$, and Xe$^{53+}$. The theory was also generalized for collisions of hydrogen-like highly charged ions with atoms considering the latter as a source of (quasi-) free electrons.


title: Conformally related Douglas metrics are Randers

abstract: We show that two-dimensional conformally related Douglas metrics are Randers


title: Towards a Better Understanding of Randomized Greedy Matching

abstract: There has been a long history for studying randomized greedy matching algorithms since the work by Dyer and Frieze~(RSA 1991). We follow this trend and consider the problem formulated in the oblivious setting, in which the algorithm makes (random) decisions that are essentially oblivious to the input graph. We revisit the \textsf{Modified Randomized Greedy (MRG)} algorithm by Aronson et al.~(RSA 1995) that is proved to be $(0.5+\epsilon)$-approximate. In particular, we study a weaker version of the algorithm named \textsf{Random Decision Order (RDO)} that in each step, randomly picks an unmatched vertex and matches it to an arbitrary neighbor if exists. We prove the \textsf{RDO} algorithm is $0.639$-approximate and $0.531$-approximate for bipartite graphs and general graphs respectively. As a corollary, we substantially improve the approximation ratio of \textsf{MRG}. Furthermore, we generalize the \textsf{RDO} algorithm to the edge-weighted case and prove that it achieves a $0.501$ approximation ratio. This result solves the open question by Chan et al.~(SICOMP 2018) about the existence of an algorithm that beats greedy in this setting. As a corollary, it also solves the open questions by Gamlath et al.~(SODA 2019) in the stochastic setting.


title: Interior decay of solutions to elliptic equations with respect to frequencies at the boundary

abstract: We prove decay estimates in the interior for solutions to elliptic equations in divergence form with Lipschitz continuous coefficients. The estimates explicitly depend on the distance from the boundary and on suitable notions of frequency of the Dirichlet boundary datum. We show that, as the frequency at the boundary grows, the square of a suitable norm of the solution in a compact subset of the domain decays in an inversely proportional manner with respect to the corresponding frequency. Under Lipschitz regularity assumptions, these estimates are essentially optimal and they have important consequences for the choice of optimal measurements for corresponding inverse boundary value problem.


title: Isomorphisms for spaces of predictable processes and an extension of the It\^{o} integral

abstract: Our goal of this note is to give an easy proof that spaces of predictable processes with values in a Banach space are isomorphic to spaces of progressive resp. adapted, measurable processes. This provides a straightforward extension of the It\^{o} integral in infinite dimensions. We also outline an application to stochastic partial differential equations.


title: Distribution of outbreak sizes for SIR disease in finite populations

abstract: We consider the spread of a Susceptible-Infected-Recovered (SIR) disease through finite populations and derive an expression for the final size distribution. Our derivation allows arbitrary distributions of the number of transmissions caused by an infected individual. We show how this calculation can be used to infer parameters of the infectious disease through observations in multiple small populations. The inference suffers from some identifiability difficulties, and it requires many observations to distinguish between parameter combinations that correspond to the same reproductive number.

categories: q-bio.PE math.CO physics.soc-ph q-bio.QM


title: Error Exponents for Asynchronous Multiple Access Channels. Controlled Asynchronism may Outperform Synchronism

abstract: Exponential error bounds achievable by universal coding and decoding are derived for frame-asynchronous discrete memoryless %asynchronous multiple access channels with two senders, via the method of subtypes, a refinement of the method of types. Maximum empirical multi-information decoding is employed. A key tool is an improved packing lemma, that overcomes the technical difficulty caused by codeword repetitions, via an induction based new argument. The asymptotic form of the bounds admits numerical evaluation. This demostrates that error exponents achievable by synchronous transmission (if possible) can be superseeded via controlled asynchronism, i.e. a deliberate shift of the codewords.


title: Magnetization-density distribution in the metallic ferromagnet SrRuO3 determined by polarized neutron diffraction

abstract: The magnetization-density distribution in the metallic ferromagnet SrRuO$_3$ was studied by means of polarized neutron diffraction. The analyzes by multipole refinements and by the maximum entropy method consistently reveal a strong polarization of all oxygen sites carrying 30\% of the total magnetization. The spin-density distribution on the Ru site exhibits a nearly cubic shape in agreement with an almost equal occupation of $t_{2g}$ orbitals and $pd$ hybridization. The experimental analysis is well reproduced by density functional calculations. There is no qualitative change in the magnetization distribution between 2 and 200 K.


title: Tempered stable distributions and processes

abstract: We investigate the class of tempered stable distributions and their associated processes. Our analysis of tempered stable distributions includes limit distributions, parameter estimation and the study of their densities. Regarding tempered stable processes, we deal with density transformations and compute their $p$-variation indices. Exponential stock models driven by tempered stable processes are discussed as well.


title: Exponential stock models driven by tempered stable processes

abstract: We investigate exponential stock models driven by tempered stable processes, which constitute a rich family of purely discontinuous L\'{e}vy processes. With a view of option pricing, we provide a systematic analysis of the existence of equivalent martingale measures, under which the model remains analytically tractable. This includes the existence of Esscher martingale measures and martingale measures having minimal distance to the physical probability measure. Moreover, we provide pricing formulae for European call options and perform a case study.


title: Deep Active Learning for Axon-Myelin Segmentation on Histology Data

abstract: Semantic segmentation is a crucial task in biomedical image processing, which recent breakthroughs in deep learning have allowed to improve. However, deep learning methods in general are not yet widely used in practice since they require large amount of data for training complex models. This is particularly challenging for biomedical images, because data and ground truths are a scarce resource. Annotation efforts for biomedical images come with a real cost, since experts have to manually label images at pixel-level on samples usually containing many instances of the target anatomy (e.g. in histology samples: neurons, astrocytes, mitochondria, etc.). In this paper we provide a framework for Deep Active Learning applied to a real-world scenario. Our framework relies on the U-Net architecture and overall uncertainty measure to suggest which sample to annotate. It takes advantage of the uncertainty measure obtained by taking Monte Carlo samples while using Dropout regularization scheme. Experiments were done on spinal cord and brain microscopic histology samples to perform a myelin segmentation task. Two realistic small datasets of 14 and 24 images were used, from different acquisition settings (Serial Block-Face Electron Microscopy and Transmitting Electron Microscopy) and showed that our method reached a maximum Dice value after adding 3 uncertainty-selected samples to the initial training set, versus 15 randomly-selected samples, thereby significantly reducing the annotation effort. We focused on a plausible scenario and showed evidence that this straightforward implementation achieves a high segmentation performance with very few labelled samples. We believe our framework may benefit any biomedical researcher willing to obtain fast and accurate image segmentation on their own dataset. The code is freely available at https://github.com/neuropoly/deep-active-learning.


title: Anderson t-modules with thin t-adic Galois representations

abstract: Pink has given a qualitative answer to the Mumford-Tate conjecture for Drinfeld modules in the 90s. He showed that the image of the v-adic Galois representation is v-adically open in the motivic Galois group for any prime v. In contrast to this result, we provide a family of uniformizable Anderson t-modules for which the Galois representations of their t-adic Tate-modules are "far from" having t-adically open image in their motivic Galois groups. Nevertheless, the image is still Zariski-dense in the motivic Galois group which is in accordance to the Mumford-Tate conjecture. For the proof, we explicitly determine the motivic Galois group as well as the Galois representation for these t-modules.


title: Investigations of the heterometallic Ludwigite Ni${_2}$AlBO${_5}$

abstract: We present magnetic, thermodynamic, dielectric and structural investigations on the aluminoborate Ni${_2}$AlBO${_5}$, belonging to the ludwigite family. Room temperature structural refinement suggests that the system crystallizes in the orthorhombic $Pbam$ symmetry, in similarity with most members of this material class. Magnetic and thermodynamic measurements shows that the system undergoes a phase transition to an antiferromagnetic state at 38K, signatures of which are also seen in the lattice parameters and the dielectric constant. Short range magnetic correlations appear to persist to much higher temperatures - a regime in which the ac susceptibility exhibits a power law temperature dependence, in agreement with that expected for random exchange Heisenberg antiferromagnetic spin chains.


title: Forecasting remaining useful life: Interpretable deep learning approach via variational Bayesian inferences

abstract: Predicting the remaining useful life of machinery, infrastructure, or other equipment can facilitate preemptive maintenance decisions, whereby a failure is prevented through timely repair or replacement. This allows for a better decision support by considering the anticipated time-to-failure and thus promises to reduce costs. Here a common baseline may be derived by fitting a probability density function to past lifetimes and then utilizing the (conditional) expected remaining useful life as a prognostic. This approach finds widespread use in practice because of its high explanatory power. A more accurate alternative is promised by machine learning, where forecasts incorporate deterioration processes and environmental variables through sensor data. However, machine learning largely functions as a black-box method and its forecasts thus forfeit most of the desired interpretability. As our primary contribution, we propose a structured-effect neural network for predicting the remaining useful life which combines the favorable properties of both approaches: its key innovation is that it offers both a high accountability and the flexibility of deep learning. The parameters are estimated via variational Bayesian inferences. The different approaches are compared based on the actual time-to-failure for aircraft engines. This demonstrates the performance and superior interpretability of our method, while we finally discuss implications for decision support.


title: Weizmann Lectures on the Numerical Conformal Bootstrap

abstract: These lectures were given at the Weizmann Institute in the spring of 2019. They are intended to familiarize students with the nuts and bolts of the numerical bootstrap as efficiently as possible. After a brief review of the basics of conformal field theory in $d>2$ spacetime dimensions, we discuss how to compute conformal blocks, formulate the crossing equations as a semi-definite programming problem, solve this problem using SDPB on a personal computer, and interpret the results. We include worked examples for all steps, including bounds for 3d CFTs with $\mathbb{Z}_2$ or $O(N)$ global symmetries. Each lecture includes a problem set, which culminate in a precise computation of the 3d Ising model critical exponents using the mixed correlator $\mathbb{Z}_2$ bootstrap. A Mathematica file is included that transforms crossing equations into the proper input form for SDPB.


title: Quantum signature of a squeezed mechanical oscillator

abstract: Some predictions of quantum mechanics are in contrast with the macroscopic realm of everyday experience, in particular those originated by the Heisenberg uncertainty principle, encoded in the non-commutativity of some measurable operators. Nonetheless, in the last decade opto-mechanical experiments have actualized macroscopic mechanical oscillators exhibiting such non-classical properties. A key indicator is the asymmetry in the strength of the motional sidebands generated in an electromagnetic field that measures interferometrically the oscillator position. This asymmetry is a footprint of the quantum motion of the oscillator, being originated by the non-commutativity between its ladder operators. A further step on the path highlighting the quantum physics of macroscopic systems is the realization of strongly non-classical states and the consequent observation of a distinct quantum behavior. Here we extend indeed the analysis to a squeezed state of a macroscopic mechanical oscillator embedded in an optical cavity, produced by parametric effect originated by a suitable combination of optical fields. The motional sidebands assume a peculiar shape, related to the modified system dynamics, with asymmetric features revealing and quantifying the quantum component of the squeezed oscillator motion.


title: Stability of periodic waves for the fractional KdV and NLS equations

abstract: We consider the focusing fractional periodic Korteweg-deVries (fKdV) and fractional periodic nonlinear Schr\"odinger equations (fNLS) equations, with $L^2$ sub-critical dispersion. In particular, this covers the case of the periodic KdV and Benjamin-Ono models. We construct two parameter family of bell-shaped traveling waves for KdV (standing waves for NLS), which are constrained minimizers of the Hamiltonian. We show in particular that for each $\lambda>0$, there is a traveling wave solution to fKdV and fNLS $\varphi: \|\varphi\|_{L^2[-T,T]}^2=\lambda$, which is non-degenerate and spectrally stable, as well as orbitally stable. This is done completely rigorously, without any {\it a priori} assumptions on the smoothness of the waves or the Lagrange multipliers.


title: Structural and magnetic properties of co-sputtered Fe0.8C0.2 thin films

abstract: We studied the structural and magnetic properties of \FeC~thin films deposited by co-sputtering of Fe and C targets in a direct current magnetron sputtering (dcMS) process at a substrate temperature (\Ts) of 300, 523 and 773\,K. The structure and morphology was measured using x-ray diffraction (XRD), x-ray absorption near edge spectroscopy (XANES) at Fe $L$ and C $K$-edges and atomic/magnetic force microscopy (AFM, MFM), respectively. An ultrathin (3\,nm) $^{57}$\FeC~layer, placed between relatively thick \FeC~layers was used to estimate Fe self-diffusion taking place during growth at different \Ts~using depth profiling measurements. Such $^{57}$\FeC~layer was also used for $^{57}$Fe conversion electron M\"{o}ssbauer spectroscopy (CEMS) and nuclear resonance scattering (NRS) measurements, yielding the magnetic structure of this ultrathin layer. We found from XRD measurements that the structure formed at low \Ts~(300\,K) is analogous to Fe-based amorphous alloy and at high \Ts~(773\,K), pre-dominantly a \tifc~phase has been formed. Interestingly, at an intermediate \Ts~(523\,K), a clear presence of \tefc~(along with \tifc~and Fe) can be seen from the NRS spectra. The microstructure obtained from AFM images was found to be in agreement with XRD results. MFM images also agrees well with NRS results as the presence of multi-magnetic components can be clearly seen in the sample grown at \Ts~= 523\,K. The information about the hybridization between Fe and C, obtained from Fe $L$ and C $K$-edges XANES also supports the results obtained from other measurements. In essence, from this work, experimental realization of \tefc~has been demonstrated. It can be anticipated that by further fine-tuning the deposition conditions, even single phase \tefc~phase can be realized which hitherto remains an experimental challenge.


title: Forecasts of redshift drift constraints on cosmological parameters

abstract: Cosmological observations usually map our present-day past light cone. However, it is also possible to compare different past light cones. This is the concept behind the redshift drift, a model-independent probe of fundamental cosmology. In simple physical terms, this effectively allows us to watch the Universe expand in real time. While current facilities only allow sensitivities several orders of magnitude worse than the expected signal, it should be possible to detect it with forthcoming ones. Here we discuss the potential impact of measurements by three such facilities: the Extremely Large Telescope (the subject of most existing redshift drift forecasts), but also the Square Kilometre Array and intensity mapping experiments. For each of these we assume the measurement sensitivities estimated respectively in Liske {\it et al.} (2008), Klockner {\it et al.} (2015) and Yu {\it et al.} (2014). We focus on the role of these measurements in constraining dark energy scenarios, highlighting the fact that although on their own they yield comparatively weak constraints, they do probe regions of parameter space that are typically different from those probed by other experiments, as well as being redshift-dependent. Specifically, we quantify how combinations of several redshift drift measurements at different redshifts, or combinations of redshift drift measurements with those from other canonical cosmological probes, can constrain some representative dark energy models. Our conclusion is that a model-independent mapping of the expansion of the universe from redshift $z=0$ to $z=4$---a challenging but feasible goal for the next generation of astrophysical facilities---can have a significant impact on fundamental cosmology.


title: Spin-orbit coupling in elemental two-dimensional materials

abstract: The fundamental spin-orbit coupling and spin mixing in graphene and rippled honeycomb lattice materials silicene, germanene, stanene, blue phosphorene, arsenene, antimonene, and bismuthene is investigated from first principles. The intrinsic spin-orbit coupling in graphene is revisited using multi-band $k\cdot p$ theory, showing the presence of non-zero spin mixing in graphene despite the mirror symmetry. However, the spin mixing itself does not lead to the the Elliott-Yafet spin relaxation mechanism, unless the mirror symmetry is broken by external factors. For other aforementioned elemental materials we present the spin-orbit splittings at relevant symmetry points, as well as the spin admixture $b^2$ as a function of energy close to the band extrema or Fermi levels. We find that spin-orbit coupling scales as the square of the atomic number Z, as expected for valence electrons in atoms. For isolated bands, it is found that $b^2\sim Z^4$. The spin-mixing parameter also exhibits giant anisotropy which, to a large extent, can be controlled by tuning the Fermi level. Our results for $b^2$ can be directly transferred to spin relaxation time due to the Elliott-Yafet mechanism, and therefore provide an estimate of the upper limit for spin lifetimes in materials with space inversion center.


title: On Ramsey properties, function spaces, and topological games

abstract: An open question of Gruenhage asks if all strategically selectively separable spaces are Markov selectively separable, a game-theoretic statement known to hold for countable spaces. As a corollary of a result by Berner and Juh$\acute{a}$sz, we note that the strong version of this statement, where the second player is restricted to selecting single points in the rather than finite subsets, holds for all $T_3$ spaces without isolated points. Continuing this investigation, we also consider games related to selective sequential separability, and demonstrate results analogous to those for selective separability. In particular, strong selective sequential separability in the presence of the Ramsey property may be reduced to a weaker condition on a countable sequentially dense subset. Additionally, $\gamma$- and $\omega$- covering properties on $X$ are shown to be equivalent to corresponding sequential properties on $C_p(X)$. A strengthening of the Ramsey property is also introduced, which is still equivalent to $\alpha_2$ and $\alpha_4$ in the context of $C_p(X)$.


title: Exciton Relaxation in Carbon Nanotubes via Electronic-to-Vibrational Energy Transfer

abstract: Covalent functionalization of semiconducting single-wall carbon nanotubes (CNT) introduces new photoluminescent emitting states. Theses states are spatially localized at around functionalization sites and strongly red-shifted relative to the emission commonly observed from the nanotube band-edge exciton state. A particularly important feature of these localized exciton states is that, because the exciton is no longer free to diffusively sample photoluminescent quenching sites along the CNT length, its lifetime is significantly extended. We have recently demonstrated that an important relaxation channel of such localized excitons is the electronic-to-vibrational energy transfer (EVET). This process is analogous to the F\"orster resonance energy transfer (FRET) except the final state of this process is not electronically, but vibrationally excited molecules of the surrounding medium (e.g., solvent). In this work we develop the general theory of EVET, and apply it to the specific case of EVET-mediated relaxation of defect-localized excitons in covalently functionalized CNT. The resulting EVET relaxation times are in good agreement with experimental data.


title: A survey on the classical theory for Kolmogorov equation

abstract: We present a survey on the regularity theory for classic solutions to subelliptic degenerate Kolmogorov equations. In the last part of this note we present a detailed proof of a Harnack inequality and a strong maximum principle.


title: Amplifying R\'enyi Differential Privacy via Shuffling

abstract: Differential privacy is a useful tool to build machine learning models which do not release too much information about the training data. We study the R\'enyi differential privacy of stochastic gradient descent when each training example is sampled without replacement (also known as cyclic SGD). Cyclic SGD is typically faster than traditional SGD and is the algorithm of choice in large-scale implementations. We recover privacy guarantees for cyclic SGD which are competitive with those known for sampling with replacement. Our proof techniques make no assumptions on the model or on the data and are hence widely applicable.


title: Stochastic mortality models: An infinite dimensional approach

abstract: Demographic projections of future mortality rates involve a high level of uncertainty and require stochastic mortality models. The current paper investigates forward mortality models driven by a (possibly infinite dimensional) Wiener process and a compensated Poisson random measure. A major innovation of the paper is the introduction of a family of processes called forward mortality improvements which provide a flexible tool for a simple construction of stochastic forward mortality models. In practice, the notion of mortality improvements are a convenient device for the quantification of changes in mortality rates over time that enables, for example, the detection of cohort effects. We show that the forward mortality rates satisfy Heath-Jarrow-Morton-type consistency conditions which translate to the forward mortality improvements. While the consistency conditions of the forward mortality rates are analogous to the classical conditions in the context of bond markets, the conditions of the forward mortality improvements possess a different structure: forward mortality models include a cohort parameter besides the time horizon; these two dimensions are coupled in the dynamics of consistent models of forwards mortality improvements. In order to obtain a unified framework, we transform the systems of It\^o-processes which describe the forward mortality rates and improvements: in contrast to term-structure models, the corresponding stochastic partial differential equations (SPDEs) describe the random dynamics of two-dimensional surfaces rather than curves.


title: Flavour anomalies and (fundamental) partial compositeness

abstract: Several measurements of B-meson decay observables show deviations from Standard Model (SM) predictions, some of them hinting at violation of lepton flavour universality (LFU). I discusses how the anomalies in rare B decays can be explained by partial compositeness. Partial compositeness is a key ingredient of models with a composite Higgs boson and generically leads to violation of LFU. After presenting a simple model with partial compositeness that is able to explain the anomalies in rare B decays, the flavour phenomenology of a minimal UV completion of a composite Higgs model with partial compositeness is discussed: the minimal fundamental partial compositeness (MFPC) model. A virtue of the MFPC model is its capability of serving both as a solution to the naturalness problem of the SM and as an explanation of the flavour anomalies in rare B-meson decays. In view of recent new measurements, the results on which this proceedings contribution is based are updated.


title: Fairness without Regret

abstract: A popular approach of achieving fairness in optimization problems is by constraining the solution space to "fair" solutions, which unfortunately typically reduces solution quality. In practice, the ultimate goal is often an aggregate of sub-goals without a unique or best way of combining them or which is otherwise only partially known. I turn this problem into a feature and suggest to use a parametrized objective and vary the parameters within reasonable ranges to get a "set" of optimal solutions, which can then be optimized using secondary criteria such as fairness without compromising the primary objective, i.e. without regret (societal cost).


title: Hole compensation effect in III-Mn-V dilute ferromagnetic semiconductors

abstract: A systematic study of hole compensation effect on magnetic properties, which is controlled by defect compensation through ion irradiation, in (Ga,Mn)As, (In,Mn)As and (Ga,Mn)P is presented in this work. In all materials, both Curie temperature and magnetization decrease upon increasing the hole compensation, confirming the description of hole mediated ferromagnetism according to the p-d Zener model. The material dependence of Curie temperature and magnetization versus hole compensation reveals that the manipulation of magnetic properties in III-Mn-V dilute ferromagnetic semiconductors by ion irradiation is strongly influenced by the energy level location of the produced defect relative to the band edges in semiconductors.


title: Joint Radio Resource Allocation and 3D Beam-forming in MISO-NOMA-based Network with Profit Maximization for Mobile Virtual Network Operators

abstract: Massive connections and high data rate services are key players in 5G ecosystem and beyond. To satisfy the requirements of these types of services, non orthogonal multiple Access (NOMA) and 3-dimensional beam-forming (3DBF) can be exploited. In this paper, we devise a novel joint radio resource allocation and 3D multiple input single output (MISO) BF algorithm in NOMA-based heterogeneous networks (HetNets) at which our main aim is to maximize the profit of mobile virtual network operators (MVNOs). To this end, we consider multiple infrastructure providers (InPs) and MVNOs serving multiple users. Each InP has multiple access points as base stations (BSs) with specified spectrum and multi-beam antenna array in each transmitter that share its spectrum with users by employing NOMA. To realize this, we formulate a novel optimization problem at which the main aim is to maximize the revenue of MVNOs, subject to resource limitations and quality of service (QoS) constraints. Since our proposed optimization problem is non-convex, NP-hard and mathematically intractable, we transform it into a convex one by introducing a new optimization variable and converting the variables with adopting successive convex approximation. More importantly, the proposed solution is assessed and compared with the alternative search method and the optimal solution that is obtained with adopting the exhaustive search method. In addition, the proposed algorithm is studied from the computational complexity, convergence, and performance perspective. Our simulation results demonstrate that NOMA-3DBF has better performance and increases system throughput and revenue of MVNOs compared to orthogonal multiple access with 2DBF by approximately 64%. Especially, by exploiting 3DBF the revenue of MVNOs is improved by nearly 27% in contrast to 2DBF in a high order of antennas.


title: Estimating Traffic Disruption Patterns with Volunteered Geographic Information

abstract: Accurate understanding and forecasting of traffic is a key contemporary problem for policymakers. Road networks are increasingly congested, yet traffic data is often expensive to obtain, making informed policy-making harder. This paper explores the extent to which traffic disruption can be estimated from static features from the volunteered geographic information site OpenStreetMap (OSM). We use OSM features as predictors for linear regressions of counts of traffic disruptions and traffic volume at 6,500 points in the road network within 112 regions of Oxfordshire, UK. We show that more than half the variation in traffic volume and disruptions can be explained with static features alone, and use cross-validation and recursive feature elimination to evaluate the predictive power and importance of different land use categories. Finally, we show that using OSM's granular point of interest data allows for better predictions than the aggregate categories typically used in studies of transportation and land use.


title: On simple analytic models of microlensing amplification statistics

abstract: Gravitational microlensing is a key probe of the nature of dark matter and its distribution on the smallest scales. For many practical purposes, confronting theory to observation requires to model the probability that a light source is highly amplified by many-lens systems. This article reviews four simple analytic models of the amplification probability distribution, based on different approximations: (i) the strongest-lens model; (ii) the multiplicative model, where the total amplification is assumed to be the product of all the lenses' individual amplifications; (iii) a hybrid version of the previous two; and (iv) an empirical fitting function. In particular, a new derivation of the multiplicative amplification distribution is proposed, thereby correcting errors in the literature. Finally, the accuracy of these models is tested against ray-shooting simulations. They all produce excellent results as long as lenses are light and rare (low optical depth); however, for larger optical depths, none of them succeeds in capturing the relevant features of the amplification distribution. This conclusion emphasizes the crucial role of lens-lens coupling at large optical depths.


title: Disease classification of macular Optical Coherence Tomography scans using deep learning software: validation on independent, multi-centre data

abstract: Purpose: To evaluate Pegasus-OCT, a clinical decision support software for the identification of features of retinal disease from macula OCT scans, across heterogenous populations involving varying patient demographics, device manufacturers, acquisition sites and operators. Methods: 5,588 normal and anomalous macular OCT volumes (162,721 B-scans), acquired at independent centres in five countries, were processed using the software. Results were evaluated against ground truth provided by the dataset owners. Results: Pegasus-OCT performed with AUROCs of at least 98% for all datasets in the detection of general macular anomalies. For scans of sufficient quality, the AUROCs for general AMD and DME detection were found to be at least 99% and 98%, respectively. Conclusions: The ability of a clinical decision support system to cater for different populations is key to its adoption. Pegasus-OCT was shown to be able to detect AMD, DME and general anomalies in OCT volumes acquired across multiple independent sites with high performance. Its use thus offers substantial promise, with the potential to alleviate the burden of growing demand in eye care services caused by retinal disease.


title: Relationship between subjecting the qubit to dynamical decoupling and to a sequence of projective measurements

abstract: We consider a qubit coupled to another system (its environment), and discuss the relationship between the effects of subjecting the qubit to either a dynamical decoupling sequence of unitary operations, or a sequence of projective measurements. We give a formal statement concerning equivalence of a sequence of coherent operations on a qubit, precisely operations from a minimal set $\left\{\mathbf{I}_Q,\hat{\sigma}_x\right\}$, and a sequence of projective measurements of $\hat{\sigma}_x$ observable. Using it we show that when the qubit is subjected to $n$ such successive projective measurements at certain times, the expectation value of the {\it last} measurement can be expressed as a linear combination of expectation values of $\hat{\sigma}_x$ observed after subjecting the qubit to dynamical decoupling sequences of $\pi$ pulses, with $k\leq n$ of them applied at subsets of these times. Performing a sequence of measurements on the qubit gives then access to the same properties of the environment and qubit-environment coupling that are affecting the coherence observed in a dynamical decoupling experiment. Analysing the latter has been widely used to characterize the environmental dynamics (perform so-called noise spectroscopy), so our result shows how the results obtained with dynamical decoupling based protocols are related to those that can be obtained just by performing multiple measurements on the qubit. We also discuss in more detail the application of the general result to the case of the qubit undergoing pure dephasing, and outline possible extensions to higher-dimensional (a qudit or multiple qubits) systems.


title: Type IIn Supernova Light Curves Powered by Forward and Reverse Shocks

abstract: We present a bolometric light curve model of Type IIn supernovae powered by supernova ejecta colliding with a circumstellar medium. We estimate the conversion efficiency of the ejecta's kinetic energy to radiation at the reverse and forward shocks and find that a large density contrast makes a difference in the efficiency. The emission from the reverse shock can maintain high efficiency for a long time, and becomes important at the late phase of the light curve. We first construct a semi-analytical model that is applicable to the late phase of the light curve when the diffusion time of photons in the shocked region becomes negligible. We further develop radiation transfer simulations that incorporate these physical processes into the light curve. The numerical calculations predict light curves at early phases, which are testable by present and future short-cadence surveys. We compare our model with the bolometric light curve constructed from observations for a type IIn supernova 2005ip. Due to the reduced efficiency at the forward shock, we find from our model that the mass-loss rate of the progenitor star was $\approx 1\times 10^{-2}\ {\rm M_\odot \ yr^{-1}}$ for a wind velocity of $100\ {\rm km \ s^{-1}}$, an order of magnitude higher compared to previous work that used simple assumptions of the efficiency. This highlights the importance of taking these two components into account when extracting the physical parameters from observations.


title: Invariants of formal pseudodifferential operator algebras and algebraic modular forms

abstract: We study from an algebraic point of view the question of extending an action of a group \(\Gamma\) on a commutative domain \(R\) to a formal pseudodifferential operator ring \(B=R(\!(x\,;\,d)\!)\) with coefficients in \(R\), as well as to some canonical quadratic extension \(C=R(\!(x^{1/2}\,;\,\frac 12 d)\!)_2\) of \(B\). We give a necessary and sufficient condition of compatibility between the action and the derivation $d$ of $R$ for such an extension to exist, and we determine all possible extensions of the action to \(B\) and \(C\). We describe under suitable assumptions the invariant subalgebras \(B^\Gamma\) and \(C^\Gamma\) as Laurent series rings with coefficients in \(R^\Gamma\). The main results of this general study are applied in a numbertheoretical context to the case where \(\Gamma\) is a subgroup of \({\rm SL}(2,\C)\) acting by homographies on an algebra \(R\) of functions in one complex variable. Denoting by \(M_j\) the vector space of algebraic modular forms in $R$ of weight \(j\) (even or odd), we build for any nonnegative integer \(k\) a linear isomorphism between the subspace \(C_k^\Gamma\) of invariant operators of order \(\geq k\) in \(C^\Gamma\) and the product space \(\mathcal{M}_k=\prod_{j\geq k}M_j\), which can be identified with a space of algebraic Jacobi forms of weight \(k\). It results in particular a structure of noncommutative algebra on \(\mathcal M_0\) and an algebra isomorphism \(\Psi:\mathcal M_0\to C_0^\Gamma\), whose restriction to the particular case of even weights was previously known in the litterature. We study properties of this correspondence combining arithmetical arguments and the use of the algebraic results of the first part of the article.


title: Graph product structure for non-minor-closed classes

abstract: Dujmovi\'c et al. [\emph{J.~ACM}~'20] recently proved that every planar graph is isomorphic to a subgraph of the strong product of a bounded treewidth graph and a path. Analogous results were obtained for graphs of bounded Euler genus or apex-minor-free graphs. These tools have been used to solve longstanding problems on queue layouts, non-repetitive colouring, $p$-centered colouring, and adjacency labelling. This paper proves analogous product structure theorems for various non-minor-closed classes. One noteable example is $k$-planar graphs (those with a drawing in the plane in which each edge is involved in at most $k$ crossings). We prove that every $k$-planar graph is isomorphic to a subgraph of the strong product of a graph of treewidth $O(k^5)$ and a path. This is the first result of this type for a non-minor-closed class of graphs. It implies, amongst other results, that $k$-planar graphs have non-repetitive chromatic number upper-bounded by a function of $k$. All these results generalise for drawings of graphs on arbitrary surfaces. In fact, we work in a more general setting based on so-called shortcut systems, which are of independent interest. This leads to analogous results for certain types of map graphs, string graphs, graph powers, and nearest neighbour graphs.


title: Photoinduced interfacial chiral modes in threefold topological semimetal

abstract: We investigate the chiral electronic modes at the interface between two regions of a threefold topological semimetal, which is illuminated by left and right handed elliptically polarized waves. The radiation effects on the band structure of semimetal is analyzed by using Floquet theory. Two distinct solutions of the interface modes are found with the chirality depending on the phase of the irradiation. We also consider the anomalous Hall response which is attributed to the transition between dispersionless flat band and conic bands.


title: Laser-Induced Spatially-Selective Tailoring of High-Index Dielectric Metasurfaces

abstract: Optically resonant high-index dielectric metasurfaces featuring Mie-type electric and magnetic resonances are usually fabricated by means of planar technologies, which limit the degrees of freedom in tunability and scalability of the fabricated systems. Therefore, we propose a complimentary post-processing technique based on ultrashort ($\leq$ 10 ps) laser pulses. The process involves thermal effects: crystallization and reshaping, while the heat is localized by a high-precision positioning of the focused laser beam. Moreover, for the first time, the resonant behavior of dielectric metasurface elements is exploited to engineer a specific absorption profile, which leads to a spatially-selective heating and a customized modification. Such technique has a potential to reduce the complexity in the fabrication of non-uniform metasurface-based optical elements. Two distinct cases, a spatial pixelation of a large-scale metasurface and a height modification of metasurface elements, are explicitly demonstrated.


title: Privileged Features Distillation at Taobao Recommendations

abstract: Features play an important role in the prediction tasks of e-commerce recommendations. To guarantee the consistency of off-line training and on-line serving, we usually utilize the same features that are both available. However, the consistency in turn neglects some discriminative features. For example, when estimating the conversion rate (CVR), i.e., the probability that a user would purchase the item if she clicked it, features like dwell time on the item detailed page are informative. However, CVR prediction should be conducted for on-line ranking before the click happens. Thus we cannot get such post-event features during serving. We define the features that are discriminative but only available during training as the privileged features. Inspired by the distillation techniques which bridge the gap between training and inference, in this work, we propose privileged features distillation (PFD). We train two models, i.e., a student model that is the same as the original one and a teacher model that additionally utilizes the privileged features. Knowledge distilled from the more accurate teacher is transferred to the student to improve its accuracy. During serving, only the student part is extracted and it relies on no privileged features. We conduct experiments on two fundamental prediction tasks at Taobao recommendations, i.e., click-through rate (CTR) at coarse-grained ranking and CVR at fine-grained ranking. By distilling the interacted features that are prohibited during serving for CTR and the post-event features for CVR, we achieve significant improvements over their strong baselines. During the on-line A/B tests, the click metric is improved by +5.0% in the CTR task. And the conversion metric is improved by +2.3% in the CVR task. Besides, by addressing several issues of training PFD, we obtain comparable training speed as the baselines without any distillation.


title: Deriving Dagger Compactness

abstract: Dagger compact structure is a common assumption in the study of physical process theories, but lacks a clear interpretation. Here we derive dagger compactness from more operational axioms on a category. We first characterise the structure in terms of a simple mapping of states to effects which we call a 'state dagger', before deriving this in any category with 'completely mixed' states and a form of purification, as in quantum theory.


title: On L-embeddings and double covers of tori over local fields

abstract: To a torus T over a local field F and a subset of its character module subject to certain properties, we associate a canonical double cover of the topological group T(F). We further associate an L-group to this double cover and establish a natural bijection between L-parameters valued in this L-group and genuine characters of the double cover. When T is a maximal torus of a connected reductive group G, we show that there is a canonical L-embedding from the L-group of the double cover of T to the L-group of G. This leads to a canonical factorization of Langlands parameters. We associate to a genuine character of the double cover subject to certain conditions a Harish-Chandra character formula and use it to give a conjectural characterization of the supercuspidal local Langlands correspondence for G, subject to a certain condition on p. This generalizes previous work of Adams and Vogan F=R, and reinterprets computations of Langlands and Shelstad.


title: Timescale of twin-peak quasi-periodic oscillations and mass of accreting neutron stars

abstract: Einstein's general relativity predicts that orbital motion of accreted gas approaching a neutron star (NS) in a NS low-mass X-ray binary (LMXB) system occurs on a time scale proportional to the NS mass. Radiation of the gas accounts for most of the observed LMXBs variability. In more than a dozen of sources twin-peak quasi-periodic oscillations (QPOs) have been observed. Inspired by the expected proportionality between periods of orbital motion and NS mass we present a straightforward comparison among these sources. We investigate relations between QPO periods and their ratios and identify characteristic time scales of QPOs associated to individual sources. These timescales are likely determined by the relative mass of each NS. We show that the characteristic time scale of the millisecond pulsar XTE J1807.4-294 is longer than for most other NS LMXBs. Consequently, models of QPOs that consider geodesic orbital frequencies imply that the X-ray pulsars' mass has to be about 50 % higher than the average mass of other sources. Consideration of other X-ray pulsars indicates that the exceptionality of XTE J1807.4-294 cannot be related to NS magnetic field in any simple manner. We suggest that QPOs observed in this source can help to discriminate between the proposed versions of the NS equation of state.


title: Anomalous anisotropic behaviour of spin-triplet proximity effect in Au/SrRuO$_3$/Sr$_2$RuO$_4$ junctions

abstract: Spin-polarized supercurrents can be generated with magnetic inhomogeneity at a ferromagnet/spin-singlet-superconductor interface. In such systems, complex magnetic inhomogeneity makes it difficult to functionalise the spin-polarized supercurrents. However, spin-polarized supercurrents in ferromagnet/spin-triplet-superconductor junctions can be controlled by angle between magnetization and spin of Copper pairs ($d$-vector), that can effectively be utilized in developing of a field of research known as superconducting spintronics. Recently, we found induction of spin-triplet correlation into a ferromagnet SrRuO$_3$ epitaxially deposited on a spin-triplet superconductor Sr$_2$RuO$_4$, without any electronic spin-flip scattering. Here, we present systematic magnetic field dependence of the proximity effect in Au/SrRuO$_3$/ Sr$_2$RuO$_4$ junctions. It is found that induced triplet correlations exhibit strong anisotropic field response. Such behaviour attributes to the rotation of the $d$-vector of Sr$_2$RuO$_4$. This anisotropic behaviour is in contrast with the vortex dynamic. Our results will stimulate study of interaction between ferromagnetism and unconventional superconductivity.


title: Measurement of flow harmonics correlations with mean transverse momentum in lead-lead and proton-lead collisions at $\sqrt{s_{NN}}=5.02$ TeV with the ATLAS detector

abstract: To assess the properties of the quark-gluon plasma formed in heavy-ion collisions, the ATLAS experiment at the LHC measures a correlation between the mean transverse momentum and the magnitudes of the flow harmonics. The analysis uses data samples of lead-lead and proton-lead collisions obtained at the centre-of-mass energy per nucleon pair of 5.02 TeV, corresponding to total integrated luminosities of $22 ~\mu b^{-1}$ and $28~nb^{-1}$, respectively. The measurement is performed using a modified Pearson correlation coefficient with the charged-particle tracks on an event-by-event basis. The modified Pearson correlation coefficients for the $2^{nd}$-, 3$^{rd}$-, and 4$^{th}$-order harmonics are measured as a function of event centrality quantified as the number of charged particles or the number of nucleons participating in the collision. The measurements are performed for several intervals of the charged-particle transverse momentum. The correlation coefficients for all studied harmonics exhibit a strong centrality evolution in the lead-lead collisions, which only weakly depends on the charged-particle momentum range. In the proton-lead collisions, the modified Pearson correlation coefficient measured for the second harmonics shows only weak centrality dependence. The data is qualitatively described by the predictions based on the hydrodynamical model.


title: Spectrum of the fully-heavy tetraquark state $QQ\bar Q' \bar Q'$

abstract: In this work, we systematically calculate the mass spectra of the $S$-wave fully heavy tetraquark states $bb\bar b\bar b$, $cc\bar c\bar c$, and $bb\bar c\bar c$ in two nonrelativistic quark models. A tetraquark state may be an admixture of a $6_c-\bar 6_c$ state and a $\bar 3_c-3_c$ one, where $6_c-\bar 6_c$($\bar 3_c-3_c$) denotes the color configuration with a $6_c$ ($\bar 3_c$) diquark and a $\bar 6_c$ ($3_c$) antidiquark. For the tetraquark states $bb\bar b\bar b$ and $cc\bar c\bar c$ with $J^{PC}={0^{++}}$, the $6_c-\bar 6_c$ state is lower than the $\bar 3_c-3_c$ one in both the two quark models, while the order of the $bb\bar c\bar c$ states depend on models. The $6_c-\bar 6_c$ and $\bar 3_c-3_c$ mixing effects are induced by the hyperfine interactions between the diquark and antidiquark, while the contributions from the one-gluon-exchange (OGE) Coulomb or the linear confinement potentials vanish for the $QQ\bar Q'\bar Q'$ system. With the couple-channel effects, we obtain the similar mass spectra. The numerical results show that the ground $QQ\bar Q'\bar Q'$ ($Q=b,c$ and $Q'=b,c$) tetraquark states are located above the corresponding scattering states, which indicates that there may not exist a bound state in the scheme of the two quark models.


title: Combining Social Force Model with Model Predictive Control for Vehicle's Longitudinal Speed Regulation in Pedestrian-Dense Scenarios

abstract: In pedestrian-dense traffic scenarios, an autonomous vehicle may have to safely drive through a crowd of pedestrians while the vehicle tries to keep the desired speed as much as possible. This requires a model that can predict the motion of crowd pedestrians and a method for the vehicle to predictively adjust its speed. In this study, the model-based predictive control (MPC) was combined with a social-force based vehicle-crowd interaction (VCI) model to regulate the longitudinal speed of the autonomous vehicle. The predictive feature of the VCI model can be precisely utilized by the MPC. A criterion for simultaneously guaranteeing pedestrian safety and keeping the desired speed was designed, and consequently, the MPC was formulated as a standard quadratic programming (QP) problem, which can be easily solved by standard QP toolbox. The proposed approach was compared with the traditional proportional-integral-derivative (PID) control approach for regulating longitudinal speed. Scenarios of different pedestrian density were evaluated in simulation. The results demonstrated the merits of the proposed method to address this type of problem. It also shows the potential of extending the method to address more complex vehicle-pedestrian interaction situations.


title: Stretching potential engineering

abstract: As the possibility to decouple temporal and spatial variations of the electromagnetic field, leading to a wavelength stretching, has been recognized to be of paramount importance for practical applications, we generalize the idea of stretchability from the framework of electromagnetic waves to massive particles. A necessary and sufficient condition which allows one to identify energetically stable configuration of a 1D quantum particle characterized by arbitrary large spatial regions where the associated wave-function exhibit a flat, non-zero profile is presented, together with examples on well-known and widely used potential profiles and an application to 2D models.


title: Rank-one sheaves and stable pairs on surfaces

abstract: We study rank-one sheaves and stable pairs on a smooth projective complex surface. We obtain an embedding of the moduli space of limit stable pairs into a smooth space. The embedding induces a perfect obstruction theory, which, over a surface with irregularity 0, agrees with the usual deformation-obstruction theory. The perfect obstruction theory defines a virtual fundamental class on the moduli space. Using the embedding, we show that the virtual class equals the Euler class of a vector bundle on the smooth ambient space. As an application, we show that on $\mathbb{P}^2$, the expected count of the finite Quot scheme in arXiv:1610.04185 is its actual length. We also obtain a universality result for tautological integrals on the moduli space of stable pairs.


title: Learning Truthful, Efficient, and Welfare Maximizing Auction Rules

abstract: From social networks to supply chains, more and more aspects of how humans, firms and organizations interact is mediated by artificial learning agents. As the influence of machine learning systems grows, it is paramount that we study how to imbue our modern institutions with our own values and principles. Here we consider the problem of allocating goods to buyers who have preferences over them in settings where the seller's aim is not to maximize their monetary gains, but rather to advance some notion of social welfare (e.g. the government trying to award construction licenses for hospitals or schools). This problem has a long history in economics, and solutions take the form of auction rules. Researchers have proposed reliable auction rules that work in extremely general settings, and in the presence of information asymmetry and strategic buyers. However, these protocols require significant payments from participants resulting in low aggregate welfare. Here we address this shortcoming by casting auction rule design as a statistical learning problem, and trade generality for participant welfare effectively and automatically with a novel deep learning network architecture and auction representation. Our analysis shows that our auction rules outperform state-of-the art approaches in terms of participants welfare, applicability, robustness.


title: Information-Centric Grant-Free Access for IoT Fog Networks: Edge vs Cloud Detection and Learning

abstract: A multi-cell Fog-Radio Access Network (F-RAN) architecture is considered in which Internet of Things (IoT) devices periodically make noisy observations of a Quantity of Interest (QoI) and transmit using grant-free access in the uplink. The devices in each cell are connected to an Edge Node (EN), which may also have a finite-capacity fronthaul link to a central processor. In contrast to conventional information-agnostic protocols, the devices transmit using a Type-Based Multiple Access (TBMA) protocol that is tailored to enable the estimate of the field of correlated QoIs in each cell based on the measurements received from IoT devices. In this paper, this form of information-centric radio access is studied for the first time in a multi-cell F-RAN model with edge or cloud detection. Edge and cloud detection are designed and compared for a multi-cell system. Optimal model-based detectors are introduced and the resulting asymptotic behavior of the probability of error at cloud and edge is derived. Then, for the scenario in which a statistical model is not available, data-driven edge and cloud detectors are discussed and evaluated in numerical results.


title: BUST Search for Muon Neutrinos from the Gravitational Wave Event GW170817

abstract: Using data of the Baksan Underground Scintillation Telescope (BUST) we have made a search for muon neutrinos and antineutrinos with energies above 1 GeV coinciding with the gravitational wave event GW170817 that was recorded on August 17, 2017 by the Advanced LIGO and Advanced Virgo observatories. This is a first detection of the new type of events occurring as a result of a merger of two neutron stars in a binary system. A short gamma-ray burst GRB170817A accompanying this event is an evidence of particle acceleration in the source whose precise position was determined by detection of the subsequent optical signal. No neutrino signals were found with the BUST in the interval $\pm 500$ s around the moment of the gravitational wave event GW170817, as well as during the next 14 days. The upper limits on integral fluxes of muon neutrino and antineutrino from the source are derived.