title: Reduction of Spikes on the Sides of Patterned Thin Films for Magnetic Tunnel Junction Based Molecular Device Fabrication

abstract: Sputter thin film deposition after photolithography often produces unwanted spikes along the side edges. These spikes are a significant issue for the development of magnetic tunnel junction (MTJ)-based memory and molecular spintronics devices, microelectronics, and micro-electro-mechanical systems because they influence the properties of the other films deposited on the top. Our molecular spintronics devices that utilize MTJ as the testbed are almost short-lived and encountered high background current that masked the effect of molecular transport channels placed along the sides of MTJs. Therefore, tapered thin film edges are critically needed in devices. Here, we report a very cost-efficient and fast way of creating an optimum photoresist profile for the production of spike-free patterned films. This approach is based on performing a soaking in the photoresist developer after baking and before the UV exposure. However, the success of this method depends on multiple factors accounted for during photolithography - photoresist thickness (spin speed), baking temperature, soaking time and exposure time. Our recent experiments systematically studied the effect of these factors by following the L9 experimental scheme of the Taguchi Design of the experiment (TDOE). We discovered that baking temperature was the most influential parameter; presoak time and photoresist thickness were two other influential factors; exposure time was the least effective factor. We also found that 4000 rpm, 100 C soft baking, 60 s soaking, and 15 s UV exposure yielded the best results. Finally, the paper also discusses the interdependence of selected factors, and the impact of the individual levels of each factor. This study is expected to benefit MEMS and micro/nanoelectronics device researchers because it attempts at finding a cheaper and faster alternative to creating an optimum photoresist profile.


title: Knowledge-Enriched Visual Storytelling

abstract: Stories are diverse and highly personalized, resulting in a large possible output space for story generation. Existing end-to-end approaches produce monotonous stories because they are limited to the vocabulary and knowledge in a single training dataset. This paper introduces KG-Story, a three-stage framework that allows the story generation model to take advantage of external Knowledge Graphs to produce interesting stories. KG-Story distills a set of representative words from the input prompts, enriches the word set by using external knowledge graphs, and finally generates stories based on the enriched word set. This distill-enrich-generate framework allows the use of external resources not only for the enrichment phase, but also for the distillation and generation phases. In this paper, we show the superiority of KG-Story for visual storytelling, where the input prompt is a sequence of five photos and the output is a short story. Per the human ranking evaluation, stories generated by KG-Story are on average ranked better than that of the state-of-the-art systems. Our code and output stories are available at https://github.com/zychen423/KE-VIST.


title: Robust and Secure Wireless Communications via Intelligent Reflecting Surfaces

abstract: In this paper, intelligent reflecting surfaces (IRSs) are employed to enhance the physical layer security in a challenging radio environment. In particular, a multi-antenna access point (AP) has to serve multiple single-antenna legitimate users, which do not have line-of-sight communication links, in the presence of multiple multi-antenna potential eavesdroppers whose channel state information (CSI) is not perfectly known. Artificial noise (AN) is transmitted from the AP to deliberately impair the eavesdropping channels for security provisioning. We investigate the joint design of the beamformers and AN covariance matrix at the AP and the phase shifters at the IRSs for maximization of the system sum-rate while limiting the maximum information leakage to the potential eavesdroppers. To this end, we formulate a robust nonconvex optimization problem taking into account the impact of the imperfect CSI of the eavesdropping channels. To address the non-convexity of the optimization problem, an efficient algorithm is developed by capitalizing on alternating optimization, a penalty-based approach, successive convex approximation, and semidefinite relaxation. Simulation results show that IRSs can significantly improve the system secrecy performance compared to conventional architectures without IRS. Furthermore, our results unveil that, for physical layer security, uniformly distributing the reflecting elements among multiple IRSs is preferable over deploying them at a single IRS.


title: Neural network interpretation using descrambler groups

abstract: The lack of interpretability and trust is a much-criticised feature of deep neural networks. In fully connected nets, the signalling between inner layers is scrambled because backpropagation training does not require perceptrons to be arranged in any particular order. The result is a black box; this problem is particularly severe in scientific computing and digital signal processing (DSP), where neutral nets perform abstract mathematical transformations that do not reduce to features or concepts. We present here a group-theoretical procedure that attempts to bring inner layer signalling into a human-readable form, the assumption being that this form exists and has identifiable and quantifiable features - for example, smoothness or locality. We applied the proposed method to DEERNet (a DSP network used in electron spin resonance) and managed to descramble it. We found considerable internal sophistication: the network spontaneously invents a bandpass filter, a notch filter, a frequency axis rectifier, frequency division multiplexing, group embedding, spectral filtering regularisation, and a Fourier-like transform that maps harmonic functions into Chebyshev polynomials - in ten minutes of unattended training from a random initial guess.


title: Towards blind user's indoor navigation: a comparative study of beacons and decawave for indoor accurate location

abstract: There are many systems for indoor navigation specially built for visually impaired people but only some has good accuracy for navigation. While there are solutions like global navigation satellite systems for the localization outdoors, problems arise in urban scenarios and indoors due to insufficient or failed signal reception. To build a support system for navigation for visually impaired people, in this paper we present a comparison of indoor localization and navigation system, which performs continuous and real-time processing using commercially available systems (Beacons and Decawave) under the same experimental condition for the performance analysis. Error is calculated and analyzed using Euclidean distance and standard deviation for both the cases. We used Navigine Platform for this navigation system which allows both Tri-lateration as well as Fingerprinting algorithms. For calculating location we have used the concept of Time of Arrival and time of difference of arrivals. Taking into concern about the blind people, location is important as well as accuracy is necessity because small measurement in the walk is important to them. With this concern, in this paper, we are showing the comparative study of beacons and Decawave. The study and the accuracy tests of those systems for the blind people/user's in navigating indoor are presented in this paper.


title: Nonintrusive Load Monitoring for Machines used in Manufacturing

abstract: In order to increase the electric energy efficiency of production machines, it is necessary to determine the energy demand of the constituent electric loads. Therefore, a new measurement system based on nonintrusive load monitoring is proposed in this paper. It only measures the voltage and current of the aggregate load and then uses automatic disaggregation methods to estimate the energy demand of the constituent loads. In two case studies, the energy demand of most loads could be determined with an accuracy of 85~\% or more in this way.


title: Internet of Things in Geospatial Analytics

abstract: Digital Earth was born with the aim of replicating the real world within the digital world. Many efforts have been made to observe and sense the Earth, both from space and by using in situ sensors. Focusing on the latter, advances in Digital Earth have established vital bridges to exploit these sensors and their networks by taking location as a key element. The current era of connectivity envisions that everything is connected to everything. The concept of the Internet of Things emerged as a holistic proposal to enable an ecosystem of varied, heterogeneous networked objects and devices to speak and interact with each other. To make the IoT ecosystem a reality, it is necessary to understand the electronic components, communication protocols, real-time analysis techniques, and the location of the objects and devices. The IoT ecosystem and the Digital Earth jointly form interrelated infrastructures for addressing modern pressing issues and complex challenges. In this chapter, we explore the synergies and frictions in establishing an efficient and permanent collaboration between the two infrastructures, in order to adequately address multidisciplinary and increasingly complex real-world problems. Although there are still some pending issues, the identified synergies generate optimism for a true collaboration between the Internet of Things and the Digital Earth.


title: Mobility and Coverage Evaluation of New Radio PDCCH for Point-to-Multipoint Scenario

abstract: This paper provides the mobility and coverage evaluation of New Radio (NR) Physical Downlink Control Channel (PDCCH) for Point-to-Multipoint (PTM) use cases, e.g., eMBMS (evolved Multimedia Broadcast Multicast Services). The evaluation methodology is based on analyses and link level simulations where the channel model includes AWGN, TDL-A, TDL-C as well as a modified 0dB echo to model different PTM scenarios. The final version of this work aims to provide insightful guidelines on the delay/echo tolerance of the NR PDCCH in terms of mobility and coverage. In this paper, it is observed that under eMBMS scenario, i.e. SFN channel, due to the time domain granularity of pilots distributed inside the PDCCH region, the system can support very high user movement speed/Doppler with an relatively low requirement on the transmit Signal/Carrier-to-Noise Ratio (SNR/CNR). On the other hand however, the system falls short on its coverage due to the low frequency domain granularity of pilots that effects the channel estimation accuracy.


title: Self-Calibration for Massive MIMO with Channel Reciprocity and Channel Estimation Errors

abstract: In time-division-duplexing (TDD) massive multiple-input multiple-output (MIMO) systems, channel reciprocity is exploited to overcome the overwhelming pilot training and the feedback overhead. However, in practical scenarios, the imperfections in channel reciprocity, mainly caused by radio-frequency mismatches among the antennas at the base station side, can significantly degrade the system performance and might become a performance limiting factor. In order to compensate for these imperfections, we present and investigate two new calibration schemes for TDD-based massive multi-user MIMO systems, namely, relative calibration and inverse calibration. In particular, the design of the proposed inverse calibration takes into account a compound effect of channel reciprocity error and channel estimation error. We further derive closed-form expressions for the ergodic sum rate, assuming maximum ratio transmissions with the compound effect of both errors. We demonstrate that the inverse calibration scheme outperforms the traditional relative calibration scheme. The proposed analytical results are also verified by simulated illustrations.


title: Optimal control of an eddy current problem with a dipole source

abstract: This paper is concerned with the analysis of a class of optimal control problems governed by a time-harmonic eddy current system with a dipole source, which is taken as the control variable. A mathematical model is set up for the state equation where the dipole source takes the form of a Dirac mass located in the interior of the conducting domain. A non-standard approach featuring the fundamental solution of a $\operatorname{curl} \operatorname{curl} - \operatorname{Id} $ operator is proposed to address the well-posedness of the state problem, leading to a split structure of the state field as the sum of a singular part and a regular part. The aim of the control is the best approximation of desired electric and magnetic fields via a suitable $L^2$-quadratic tracking cost functional. Here, special attention is devoted to establishing an adjoint calculus which is consistent with the form of the state variable and in this way first order optimality conditions are eventually derived.


title: An integrated heterogeneous Poisson model for neuron functions in hand movement during reaching and grasp

abstract: To understand potential encoding mechanism of motor cortical neurons for control commands during reach-to-grasp movements, experiments to record neuronal activities from primary motor cortical regions have been conducted in many research laboratories (for example, (7), (17)). The most popular approach in neuroscience community is to fit the Analysis of Variance (ANOVA) model using the firing rates of individual neurons. In addition to consider neural firing counts but also temporal intervals, (5) proposed to apply Analysis of Covariance (ANCOVA) model. Due to the nature of the data, in this paper we propose to apply an integrated method, called heterogeneous Poisson regression model, to categorize different neural activities. Three scenarios are discussed to show that the proposed heterogeneous Poisson regression model can overcome some disadvantages of the traditional Poisson regression model.


title: Study of Distributed Robust Beamforming with Low-Rank and Cross-Correlation Techniques

abstract: In this work, we present a novel robust distributed beamforming (RDB) approach based on low-rank and cross-correlation techniques. The proposed RDB approach mitigates the effects of channel errors in wireless networks equipped with relays based on the exploitation of the cross-correlation between the received data from the relays at the destination and the system output and low-rank techniques. The relay nodes are equipped with an amplify-and-forward (AF) protocol and the channel errors are modeled using an additive matrix perturbation, which results in degradation of the system performance. The proposed method, denoted low-rank and cross-correlation RDB (LRCC-RDB), considers a total relay transmit power constraint in the system and the goal of maximizing the output signal-to-interference-plus-noise ratio (SINR). We carry out a performance analysis of the proposed LRCC-RDB technique along with a computational complexity study. The proposed LRCC-RDB does not require any costly online optimization procedure and simulations show an excellent performance as compared to previously reported algorithms.


title: Entropy, mutual information, and systematic measures of structured spiking neural networks

abstract: The aim of this paper is to investigate various information-theoretic measures, including entropy, mutual information, and some systematic measures that based on mutual information, for a class of structured spiking neuronal network. In order to analyze and compute these information-theoretic measures for large networks, we coarse-grained the data by ignoring the order of spikes that fall into the same small time bin. The resultant coarse-grained entropy mainly capture the information contained in the rhythm produced by a local population of the network. We first proved that these information theoretical measures are well-defined and computable by proving the stochastic stability and the law of large numbers. Then we use three neuronal network examples, from simple to complex, to investigate these information-theoretic measures. Several analytical and computational results about properties of these information-theoretic measures are given.


title: How many quasiplatonic curves?

abstract: We show that the number of isomorphism classes of quasiplatonic Riemann surfaces of genus $\,\le g\,$ has a growth of type $\,g^{\log g}\,$. The number of non--isomorphic regular dessins of genus $\,\le g\,$ has the same growth type.


title: Superconductivity in dilute SrTiO$_3$: a review

abstract: Doped SrTiO$_3$, one of the most dilute bulk systems to display superconductivity, is perhaps the first example of an unconventional superconductor, as it does not fit into the standard BCS paradigm. More than five decades of research has revealed a rich temperature-carrier concentration phase diagram that showcases a superconducting dome, proximity to a putative quantum critical point, Lifshitz transitions, a multi-gap pairing state and unusual normal-state transport properties. Research has also extended beyond bulk SrTiO$_3$, ushering the new field of SrTiO$_3$-based heterostructures. Because many of these themes are also featured in other quantum materials of contemporary interest, recent years have seen renewed interest in SrTiO$_3$. Here, we review the challenges and recent progress in elucidating the superconducting state of this model system. At the same time that its extreme dilution requires to revisit several of the approximations that constitute the successful Migdal-Eliashberg description of electron-phonon superconductivity, including the suppression of the Coulomb repulsion via the Tolmachev-Anderson-Morel mechanism, it opens interesting routes for alternative pairing mechanisms whose applicability remains under debate. For instance, pairing mechanisms involving longitudinal optical phonons have to overcome the hurdles created by the anti-adiabatic nature of the pairing interaction, whereas mechanisms that rely on the soft transverse optical phonons associated with incipient ferroelectricity face challenges related to the nature of the electron-phonon coupling. Proposals in which pairing is mediated by plasmons or promoted locally by defects are also discussed. We finish by surveying the existing evidence for multi-band superconductivity and outlining promising directions that can potentially shed new light on the rich problem of superconductivity in SrTiO$_3$.


title: On the radical of a Hecke-Kiselman algebra

abstract: The Hecke-Kiselman algebra of a finite oriented graph $\Theta$ over a field $K$ is studied. If $\Theta$ is an oriented cycle, it is shown that the algebra is semiprime and its central localization is a finite direct product of matrix algebras over the field of rational functions $K(x)$. More generally, the radical is described in the case of PI-algebras, and it is shown that it comes from an explicitly described congruence on the underlying Hecke-Kiselman monoid. Moreover, the algebra modulo the radical is again a Hecke-Kiselman algebra and it is a finite module over its center.


title: A new method for an improved anti-neutrino energy reconstruction with charged-current interactions in next-generation detectors

abstract: We propose and validate a method of anti-neutrino energy reconstruction for charged-current meson-less interactions on composite fully active targets containing hydrogen (such as hydrocarbon scintillator), which is largely free of the poorly understood nuclear effects that usually distort and bias attempts to measure neutrino energy. The method is based on the precise event-by-event measurement of the outgoing neutron kinetic energy and the subsequent assessment of the momentum imbalance on the plane transverse to the incoming anti-neutrino direction. For an anti-neutrino flux peaked at around 600 MeV measured using a finely grained $2\times2\times2$ m$^3$ 3D scintillator tracker the neutrino energy resolution is expected to be around 7%, compared to the 15% expected using traditional neutrino energy reconstruction techniques. Analogous results can be obtained for other detectors with similar characteristics.


title: Periods and Reciprocity II

abstract: Let $\mathbf{F}$ be a number field and $\mathfrak{q},\mathfrak{l}$ two coprime integral ideals with $\mathfrak{q}$ squarefree and $\pi_1,\pi_2$ two fixed unitary automorphic representations of $\mathrm{PGL}_2(\mathbb{A}_{\mathbf{F}})$ unramified at all finite places. In this paper, we use regularized integrals to obtain a formula that links the first moment of $L(\pi\otimes\pi_1\otimes\pi_2,\tfrac{1}{2})$ twisted by the Hecke eigenvalues $\lambda_\pi (\mathfrak{l})$, where $\pi$ runs through unitary automorphic representations of $\mathrm{PGL}_2(\mathbb{A}_{\mathbf{F}})$ with conductor dividing $\mathfrak{q}$, with some spectral expansion of periods over representations of conductor dividing $\mathfrak{l}$. In the special case where $\pi_1=\pi_2=\sigma$, this formula becomes a reciprocity relation between moments of $L$-functions. As applications, we obtain a subconvex estimate in the level aspect for the central value of the triple product $L(\pi\otimes\pi_1\otimes\pi_2,\tfrac{1}{2})$ and a simultaneous non-vanishing result for $L(\mathrm{Sym}^2(\sigma)\otimes \pi,\tfrac{1}{2})$ and $L(\pi,\tfrac{1}{2})$.


title: BADGER: Learning to (Learn [Learning Algorithms] through Multi-Agent Communication)

abstract: In this work, we propose a novel memory-based multi-agent meta-learning architecture and learning procedure that allows for learning of a shared communication policy that enables the emergence of rapid adaptation to new and unseen environments by learning to learn learning algorithms through communication. Behavior, adaptation and learning to adapt emerges from the interactions of homogeneous experts inside a single agent. The proposed architecture should allow for generalization beyond the level seen in existing methods, in part due to the use of a single policy shared by all experts within the agent as well as the inherent modularity of 'Badger'.


title: Cross-benchmarking for performance evaluation: looking across best practices of different peer groups using DEA

abstract: In benchmarking, organizations look outward to examine others' performance in their industry or sector. Often, they can learn from the best practices of some of them and improve. In order to develop this idea within the framework of Data Envelopment Analysis (DEA), this paper extends the common benchmarking framework proposed in Ruiz and Sirvent (2016) to an approach based on the benchmarking of decision making units (DMUs) against several reference sets. We refer to this approach as cross-benchmarking. First, we design a procedure aimed at making a selection of reference sets (as defined in DEA), which establish the common framework for the benchmarking. Next, benchmarking models are formulated which allow us to set the closest targets relative to the reference sets selected. The availability of a wider spectrum of targets may offer managers the possibility of choosing among alternative ways for improvements, taking into account what can be learned from the best practices of different peer groups. Thus, cross-benchmarking is a flexible tool that can support a process of future planning while considering different managerial implications.


title: Contact resistivity due to oxide layers between two REBCO tapes

abstract: In a no-insulation (NI) REBCO magnet, the turn-to-turn contact resistivity (Rc) determines its quench self-protection capability, charging delay time and the energy loss during field ramps. Therefore it is critically important to be able to control a range of Rc values suitable for various NI magnet coils. We used a commercial oxidizing agent Ebonol C to treat the copper surface of REBCO tapes. The copper oxide layer was characterized by cross-sectional transmission electron microscopy (TEM) and x-ray photoelectron spectroscopy (XPS). The oxide layer formed in Ebonol C at 98 {\deg}C for 1 min is Cu2O of about 0.5 um. The Rc between two oxidized REBCO is in the order of 35 mOhm-cm2 at 4.2 K which decreases slowly with contact pressure cycles. The Rc increases but only slightly at 77 K. We also investigated the effect of oxidation of stainless steel co-wind tape on Rc. The native oxides on 316 stainless steel tape as well as those heated in air at 200 - 600 {\deg}C were examined by TEM and XPS. The native oxides layer is about 3 nm thick. After heating at 300 {\deg}C for 8 min and 600 {\deg}C for 1 min, its thickness increases to about 10 and 30 nm respectively. For the stainless steel tapes with about 10 nm surface oxides, pressure cycling for 30,000 cycles decreases Rc by almost 4 orders of magnitude. Whereas at 77 K, it only changes slightly. For a surface with 30 nm oxide, the Rc decreases moderately with load cycles. The results suggest that for an oxidized stainless steel to achieve stable Rc over large number of load cycles a relatively thick oxide film is needed.


title: Soft robust solutions to possibilistic optimization problems

abstract: This paper discusses a class of uncertain optimization problems, in which unknown parameters are modeled by fuzzy intervals. The membership functions of the fuzzy intervals are interpreted as possibility distributions for the values of the uncertain parameters. It is shown how the known concepts of robustness and light robustness, for the interval uncertainty representation of the parameters, can be generalized to choose solutions under the assumed model of uncertainty in the possibilistic setting. Furthermore, these solutions can be computed efficiently for a wide class of problems, in particular for linear programming problems with fuzzy parameters in constraints and objective function. In this paper a theoretical framework is presented and results of some computational tests are shown.


title: Confounding Adjustment Methods for Multi-level Treatment Comparisons Under Lack of Positivity and Unknown Model Specification

abstract: Imbalances in covariates between treatment groups are frequent in observational studies and can lead to biased comparisons. Various adjustment methods can be employed to correct these biases in the context of multi-level treatments ($>$ 2). However, analytical challenges, such as positivity violations and incorrect model specification, may affect their ability to yield unbiased estimates. Adjustment methods that present the best potential to deal with those challenges were identified: the overlap weights, augmented overlap weights, bias-corrected matching and targeted maximum likelihood. A simple variance estimator for the overlap weight estimators that can naturally be combined with machine learning algorithms is proposed. In a simulation study, we investigated the empirical performance of these methods as well as those of simpler alternatives, standardization, inverse probability weighting and matching. Our proposed variance estimator performed well, even at a sample size of 500. Adjustment methods that included an outcome modeling component performed better than those that only modeled the treatment mechanism. Additionally, a machine learning implementation was observed to efficiently compensate for the unknown model specification for the former methods, but not the latter. Based on these results, the wildfire data were analyzed using the augmented overlap weight estimator. With respect to effectiveness of alternate fire-suppression interventions, the results were counter-intuitive, indeed the opposite of what would be expected on subject-matter grounds. This suggests the presence in the data of unmeasured confounding bias.


title: Effects of the general relativistic spin precessions on the habitability of rogue planets orbiting supermassive black holes

abstract: Recently, the possibility that several starless telluric planets may form around supermassive black holes (SMBHs) and receive an energy input from the hole's accretion disk, which, under certain plausible circumstances, may make them habitable in a terrestrial sense, has gained increasing attention. In particular, an observer on a planet orbiting at distance $r=100$ Schwarzschild radii from a maximally rotating Kerr SMBH with mass $M_\bullet = 1\times 10^8\,M_\odot$ in a plane slightly outside the equator of the latter, would see the gravitationally lensed accretion disk the same size as the Sun as seen from the Earth. Moreover, the accretion rate might be imagined to be set in such a way that the apparent disk's temperature would be identical to that of the solar surface. We demonstrate that the post-Newtonian (pN) de Sitter and Lense--Thirring precessions of the spin axis of such a world would rapidly change, among other things, its tilt, $\varepsilon$, to its orbital plane by tens to hundreds of degrees over a time span of, say, just $\Delta t =400\,\mathrm{yr}$, strongly depending on the obliquity $\eta_\bullet$ of the SMBH's spin to the orbital plane. Thus, such relativistic features would have per se a relevant impact on the long-term habitability of the considered planet. Other scenarios are examined as well.

categories: astro-ph.EP gr-qc physics.pop-ph physics.space-ph


title: Ontologies for the Virtual Materials Marketplace

abstract: The Virtual Materials Marketplace (VIMMP) project, which develops an open platform for providing and accessing services related to materials modelling, is presented with a focus on its ontology development and data technology aspects. Within VIMMP, a system of marketplace-level ontologies is developed to characterize services, models, and interactions between users; the European Materials and Modelling Ontology (EMMO) is employed as a top-level ontology. The ontologies are used to annotate data that are stored in the ZONTAL Space component of VIMMP and to support the ingest and retrieval of data and metadata at the VIMMP marketplace frontend.


title: Elastic fields in superconductors caused by moving vortices

abstract: Strains in superconductors due to moving vortices and vortex lattices are discussed. It is shown that the energy stored in elastic strains increases with vortex velocity. For moving vortex lattices, the elastic energy depends on velocity orientation relative to the lattice having minimum for the velocity directed along one of the unit cell vectors of the moving lattice. It is shown that for supersonic motion, the vortex induced stress field has a shape similar to supersonic shock waves.


title: Multiscale Self Attentive Convolutions for Vision and Language Modeling

abstract: Self attention mechanisms have become a key building block in many state-of-the-art language understanding models. In this paper, we show that the self attention operator can be formulated in terms of 1x1 convolution operations. Following this observation, we propose several novel operators: First, we introduce a 2D version of self attention that is applicable for 2D signals such as images. Second, we present the 1D and 2D Self Attentive Convolutions (SAC) operator that generalizes self attention beyond 1x1 convolutions to 1xm and nxm convolutions, respectively. While 1D and 2D self attention operate on individual words and pixels, SAC operates on m-grams and image patches, respectively. Third, we present a multiscale version of SAC (MSAC) which analyzes the input by employing multiple SAC operators that vary by filter size, in parallel. Finally, we explain how MSAC can be utilized for vision and language modeling, and further harness MSAC to form a cross attentive image similarity machinery.


title: Convolutional STN for Weakly Supervised Object Localization

abstract: Weakly supervised object localization is a challenging task in which the object of interest should be localized while learning its appearance. State-of-the-art methods recycle the architecture of a standard CNN by using the activation maps of the last layer for localizing the object. While this approach is simple and works relatively well, object localization relies on different features than classification, thus, a specialized localization mechanism is required during training to improve performance. In this paper, we propose a convolutional, multi-scale spatial localization network that provides accurate localization for the object of interest. Experimental results on CUB-200-2011 and ImageNet datasets show that our proposed approach provides competitive performance for weakly supervised localization.


title: On sets containing a unit distance in every direction

abstract: We investigate the box dimensions of compact sets in $\mathbb{R}^2$ that contain a unit distance in every direction (such sets may have zero Hausdorff dimension). Among other results, we show that the lower box dimension must be at least $\frac{4}{7}$ and can be as low as $\frac{2}{3}$. This quantifies in a certain sense how far the unit circle is from being a difference set.


title: A new analysis of the MiniBooNE low-energy excess

abstract: We present the results of a new analysis of the data of the MiniBooNE experiment taking into account the additional background of photons from $\Delta^{+/0}$ decay proposed in arXiv:1909.08571 and additional contributions due to coherent photon emission, incoherent production of higher mass resonances, and incoherent non-resonant nucleon production. We show that the new background can explain part of the MiniBooNE low-energy excess and the statistical significance of the MiniBooNE indication in favor of short-baseline neutrino oscillation decreases from $5.1\sigma$ to $3.6\sigma$. We also consider the implications for short-baseline neutrino oscillations in the 3+1 active-sterile neutrino mixing framework. We show that the new analysis of the MiniBooNE data indicates smaller active-sterile neutrino mixing and may lead us towards a solution of the appearance-disappearance tension in the global fit of short-baseline neutrino oscillation data.


title: Self-Learned Formula Synthesis in Set Theory

abstract: A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.


title: Degenerative Adversarial NeuroImage Nets for Brain Scan Simulations: Application in Ageing and Dementia

abstract: Accurate and realistic simulation of high-dimensional medical images has become an important research area relevant to many AI-enabled healthcare applications. However, current state-of-the-art approaches lack the ability to produce satisfactory high-resolution and accurate subject-specific images. In this work, we present a deep learning framework, namely 4D-Degenerative Adversarial NeuroImage Net (4D-DANI-Net), to generate high-resolution, longitudinal MRI scans that mimic subject-specific neurodegeneration in ageing and dementia. 4D-DANI-Net is a modular framework based on adversarial training and a set of novel spatiotemporal, biologically-informed constraints. To ensure efficient training and overcome memory limitations affecting such high-dimensional problems, we rely on three key technological advances: i) a new 3D training consistency mechanism called Profile Weight Functions (PWFs), ii) a 3D super-resolution module and iii) a transfer learning strategy to fine-tune the system for a given individual. To evaluate our approach, we trained the framework on 9852 T1-weighted MRI scans from 876 participants in the Alzheimer's Disease Neuroimaging Initiative dataset and held out a separate test set of 1283 MRI scans from 170 participants for quantitative and qualitative assessment of the personalised time series of synthetic images. We performed three evaluations: i) image quality assessment; ii) quantifying the accuracy of regional brain volumes over and above benchmark models; and iii) quantifying visual perception of the synthetic images by medical experts. Overall, both quantitative and qualitative results show that 4D-DANI-Net produces realistic, low-artefact, personalised time series of synthetic T1 MRI that outperforms benchmark models.


title: The citation disadvantage of clinical research

abstract: Biomedical research encompasses diverse types of activities, from basic science ("bench") to clinical medicine ("bedside") to bench-to-bedside translational research. It, however, remains unclear whether different types of research receive citations at varying rates. Here we aim to answer this question by using a newly proposed paper-level indicator that quantifies the extent to which a paper is basic science or clinical medicine. Applying this measure to 5 million biomedical papers, we find a systematic citation disadvantage of clinical oriented papers; they tend to garner far fewer citations and are less likely to be hit works than papers oriented towards basic science. At the same time, clinical research has a higher variance in its citation. We also find that the citation difference between basic and clinical research decreases, yet still persists, if longer citation-window is used. Given the increasing adoption of short-term, citation-based bibliometric indicators in funding decisions, the under-cited effect of clinical research may provide disincentives for bio-researchers to venture into the translation of basic scientific discoveries into clinical applications, thus providing explanations of reasons behind the existence of the gap between basic and clinical research that is commented as "valley of death" and the commentary of "extinction" risk of translational researchers. Our work may provide insights to policy-makers on how to evaluate different types of biomedical research.


title: Dispersive estimate for quasi-periodic Schr\"odinger operators on 1-$d$ lattices

abstract: Consider the one-dimensional discrete Schr\"odinger operator $H_{\theta}$: $$(H_{\theta} q)_n=-(q_{n+1}+q_{n-1})+ V(\theta+n\omega) q_n \ , \quad n\in Z \ ,$$ with $\omega\in R^d$ Diophantine, and $V$ a real-analytic function on $ T^d=( R/2\pi Z)^d$. For $V$ sufficiently small, we prove the dispersive estimate: {for every $\phi\in\ell^1( Z)$,} $$ \| e^{-{\rm i}tH_{\theta}}\phi \|_{\ell^\infty} \leq K_0 \frac{ |\ln\varepsilon_0|^{a(\ln\ln(2+\langle t\rangle))^2 d}} {\langle t\rangle^{\frac13}} \|\phi\|_{\ell^1} \ , \quad \langle t \rangle:=\sqrt{1+t^2} \ ,$$ {with $a$ and $K_0$ two absolute constants} and $\varepsilon_0$ an analytic norm of $V$. The estimate holds for every $\theta\in T^d$.


title: The centralizer of a Coxeter element

abstract: We prove that the centralizer of a Coxeter element in an irreducible Coxeter group is the cyclic group generated by that Coxeter element.


title: On the Validity of Bayesian Neural Networks for Uncertainty Estimation

abstract: Deep neural networks (DNN) are versatile parametric models utilised successfully in a diverse number of tasks and domains. However, they have limitations---particularly from their lack of robustness and over-sensitivity to out of distribution samples. Bayesian Neural Networks, due to their formulation under the Bayesian framework, provide a principled approach to building neural networks that address these limitations. This paper describes a study that empirically evaluates and compares Bayesian Neural Networks to their equivalent point estimate Deep Neural Networks to quantify the predictive uncertainty induced by their parameters, as well as their performance in view of this uncertainty. In this study, we evaluated and compared three point estimate deep neural networks against comparable Bayesian neural network alternatives using two well-known benchmark image classification datasets (CIFAR-10 and SVHN).


title: Disentangling Cataclysmic Variables in Gaia's HR-Diagram

abstract: Cataclysmic Variables (CVs) are interacting binaries consisting of at least three components that control their colour and magnitude. Using Gaia we here investigate the influence of the physical properties of these binaries on their position in the Hertzsprung-Russell diagram (HR-diagram). The CVs are on average located between the main sequence and the white dwarf regime, the maximum density being at $G_{BP}-G_{RP} \sim 0.56$ and $G_{abs} \sim 10.15$. We find a trend of the orbital period with colour and absolute brightness: with decreasing period, the CVs become bluer and fainter. We also identify the location of the various CV sub-types in the HR-diagram and discuss the possible location of detached CVs, going through the orbital period gap.


title: Classifying Pattern and Feature Properties to Get a $\Theta(n)$ Checker and Reformulation for Sliding Time-Series Constraints

abstract: Given, a sequence $\mathcal{X}$ of $n$ variables, a time-series constraint ctr using the Sum aggregator, and a sliding time-series constraint enforcing the constraint ctr on each sliding window of $\mathcal{X}$ of $m$ consecutive variables, we describe a $\Theta(n)$ time complexity checker, as well as a $\Theta(n)$ space complexity reformulation for such sliding constraint.


title: Associations between learning assistants, passing introductory physics, and equity: A quantitative critical race theory investigation

abstract: Many STEM degrees require passing an introductory physics course. Physics courses often have high failure rates that may disproportionately harm students who are marginalized by racism, sexism, and classism. We examined the associations between Learning Assistant (LA) supported courses and equity in non-passing grades (i.e., d, drop, fail, or withdrawal; DFW) in introductory physics courses. The data used in the study came from 2312 students in 41 sections of introductory physics courses at a regional Hispanic serving institution. We developed hierarchical generalized linear models of student DFW rates that accounted for gender, race, first-generation status and LA-supported instruction. We used a quantitative critical race theory (QuantCrit) perspective focused on the role of hegemonic power structures in perpetuating inequitable student outcomes. Our QuantCrit perspective informed our research questions, methods, and interpretations of findings. The models associated LAs with overall decreases in DFW rates and larger decreases in DFW rates for students of color than their white peers. While the inequities in DFW rates were lower in LA-supported courses, they were still present.


title: Transient and Steady-State Temperature Rise in Three-Dimensional Anisotropic Layered Structures in Pump-Probe Thermoreflectance Experiments

abstract: Recent developments of the pump-probe thermoreflectance methods (such as the beam-offset and elliptical-beam approaches of the time-domain and frequency-domain thermoreflectance techniques) enabled measurements of the thermal conductivities of in-plane anisotropic materials. Estimating the temperature rise of anisotropic layered structures under surface heating is critically important to make sure that the temperature rise is not too high to alias the signals in these experiments. However, a simple formula to estimate the temperature rise in three-dimensional (3D) anisotropic layered systems heated by a non-circular laser beam is not available yet, which is the main problem we aim to solve in this work. We first re-derived general formalisms of the temperature rise of a multilayered structure based on the previous literature work by solving the 3D anisotropic heat diffusion equation in the frequency domain. These general formalisms normally require laborious numerical evaluation; however, they could be reduced to explicit analytical expressions for the case of semi-infinite solids. We then extend the analytical expressions to multilayered systems, taking into account the effect of the top layers. This work not only enhances our understanding of the physics of temperature rise due to surface laser heating but also enables quick estimation of the peak temperature rise of 3D anisotropic layered systems in pump-probe thermoreflectance experiments and thus greatly benefits the thermoreflectance experiments in choosing the appropriate heating power intensity for the experiments.


title: Stable and Metastable Kinetic Ferromagnetism on a Ring

abstract: Performing an exact diagonalization of the effective spin problem, a ferromagnetic ground state of kinetic origin is shown to emerge in a system of $N$ strongly correlated electrons on a $L$-site ring ($L > N$). This phenomenon is brought about by the quantum necklace statistics originated from the no double occupancy constraint leading to a fractional shifted electron momentum quantization. As a consequence of such special energy level distribution, the kinetic ferromagnetism is stable only for $N=3$. For odd $N>3$ the fully polarized FM state energy is only a local minimum but it is protected by a finite energy barrier that inhibits one spin-flip processes. The metastable ferromagnetic state survives perturbations of small magnitude opening up a possibility of being experimentally observed by an appropriate tuning of the interdot tunneling amplitudes in currently available quantum dot arrays.


title: Global well-posedness for the fifth-order KdV equation in $H^{-1}(\mathbb{R})$

abstract: We prove global well-posedness of the fifth-order Korteweg-de Vries equation on the real line for initial data in $H^{-1}(\mathbb{R})$. By comparison, the optimal regularity for well-posedness on the torus is known to be $L^2(\mathbb{R}/\mathbb{Z})$. In order to prove this result, we develop a strategy for integrating the local smoothing effect into the method of commuting flows introduced previously in the context of KdV. It is this synthesis that allows us to go beyond the known threshold on the torus.


title: A Blow-up Dichotomy for Semilinear Fractional Heat Equations

abstract: We derive a blow-up dichotomy for positive solutions of fractional semilinear heat equations on the whole space. That is, within a certain class of convex source terms, we establish a necessary and sufficient condition on the source for all positive solutions to become unbounded in finite time. Moreover, we show that this condition is equivalent to blow-up of all positive solutions of a closely-related scalar ordinary differential equation.


title: On deformations of toric Fano varieties

abstract: In this note we collect some results on the deformation theory of toric Fano varieties.


title: Nanoscale Nonlinear Spectroscopy with Electron Beams

abstract: We theoretically demonstrate the ability of electron beams to probe the nonlinear photonic response with nanometer spatial resolution, well beyond the capabilities of existing optical techniques. Although the interaction of electron beams with photonic modes is generally weak, the use of optical pumping produces stimulated electron-light interactions that can reach order-unity probabilities in photon-induded near field electron microscopy (PINEM). Here, we demonstrate that PINEM can locally and quantitatively probe the nonlinear optical response. Specifically, we predict a dependence of PINEM electron spectra on the sample nonlinearity that can reveal the second-harmonic (SH) response of optical materials with nanometer resolution, observed through asymmetries between electron energy losses and gains. We illustrate this concept by showing that PINEM spectra are sensitive to the SH near field of centrosymmetric structures and by finding substantial spectral asymmetries in geometries for which the linear interaction is reduced.


title: QUEST: Quantized embedding space for transferring knowledge

abstract: Knowledge distillation refers to the process of training a compact student network to achieve better accuracy by learning from a high capacity teacher network. Most of the existing knowledge distillation methods direct the student to follow the teacher by matching the teacher's output, feature maps or their distribution. In this work, we propose a novel way to achieve this goal: by distilling the knowledge through a quantized space. According to our method, the teacher's feature maps are quantized to represent the main visual concepts encompassed in the feature maps. The student is then asked to predict the quantized representation, which thus forms the task that the student uses to learn from the teacher. Despite its simplicity, we show that our approach is able to yield results that improve the state of the art on knowledge distillation. To that end, we provide an extensive evaluation across several network architectures and most commonly used benchmark datasets.


title: On the Shortest Separating Cycle

abstract: According to a result of Arkin~\etal~(2016), given $n$ point pairs in the plane, there exists a simple polygonal cycle that separates the two points in each pair to different sides; moreover, a $O(\sqrt{n})$-factor approximation with respect to the minimum length can be computed in polynomial time. Here the following results are obtained: (I)~We extend the problem to geometric hypergraphs and obtain the following characterization of feasibility. Given a geometric hypergraph on points in the plane with hyperedges of size at least $2$, there exists a simple polygonal cycle that separates each hyperedge if and only if the hypergraph is $2$-colorable. (II)~We extend the $O(\sqrt{n})$-factor approximation in the length measure as follows: Given a geometric graph $G=(V,E)$, a separating cycle (if it exists) can be computed in $O(m+ n\log{n})$ time, where $|V|=n$, $|E|=m$. Moreover, a $O(\sqrt{n})$-approximation of the shortest separating cycle can be found in polynomial time. Given a geometric graph $G=(V,E)$ in $\mathbb{R}^3$, a separating polyhedron (if it exists) can be found in $O(m+ n\log{n})$ time, where $|V|=n$, $|E|=m$. Moreover, a $O(n^{2/3})$-approximation of a separating polyhedron of minimum perimeter can be found in polynomial time. (III)~Given a set of $n$ point pairs in convex position in the plane, we show that a $(1+\varepsilon)$-approximation of a shortest separating cycle can be computed in time $n^{O(\varepsilon^{-1/2})}$. In this regard, we prove a lemma on convex polygon approximation that is of independent interest.


title: Design of an algorithm for acoustic signal detection of moving vehicles

abstract: The precise detection and counting of vehicles is fundamental to know the state of agglomeration of the roads, as well as to anticipate possible actions of regulation of traffic or future changes that it is necessary to carry out in the urban design in the management of the transport. It is in fact part of the programs of many municipalities for statistical purposes, for the planning, design, extension and modeling of structures. The operator L.O.G. (Laplacian of gaussian) is commonly used for the detection of elements in images, by the analysis of its border, and is a widely extended method in image filtering. However, as such is not an extended procedure in the analysis of one-dimensional signals. We developed a procedure inspired by LOG filtering, and performed the analysis of the acoustic signal obtained by a portable recorder located on the side of a single lane road, by evaluating the negative minima of the second discrete derivative of the smoothed acoustic signal, filtering the selection with a threshold, in order to detect and count the passage of vehicles along the road. We obtain a simple procedure, scalable, and adequately validated by the results for that purpose.


title: On the potential of BFAST for monitoring burned areas using multi-temporal Landsat-7 images

abstract: In this paper, we propose a semi-automatic approach to map burned areas and assess burn severity that does not require prior knowledge of the fire date. First, we apply BFAST to NDVI time series and estimate statistically abrupt changes in NDVI trends. These estimated changes are then used as plausible fire dates to calculate dNBR following a typical pre-post fire assessment. In addition to its statistical guarantees, this method depends only on a tuning parameter (the bandwidth of the test statistic for changes). This method was applied to Landsat-7 images taken over La Primavera Flora and Fauna Protection Area, in Jalisco, Mexico, from 2003 to 2016. We evaluated BFAST's ability to estimate vegetation changes based on time series with significant observation gaps. We discussed burn severity maps associated with massive wildfires (2005 and 2012) and another with smaller dimensions (2008) that might have been excluded from official records. We validated our 2012 burned area map against a high resolution burned area map obtained from RapidEye images; in zones with moderate data quality, the overall accuracy of our map is 92%.


title: Synchronization in optically-trapped polariton Stuart-Landau networks

abstract: We demonstrate tunable dissipative interactions between optically trapped exciton-polariton condensates. We apply annular shaped nonresonant optical beams to both generate and confine each condensate to their respective traps, pinning their natural frequencies. Coupling between condensates is realized through the finite escape rate of coherent polaritons from the traps leading to robust phase locking with neighboring condensates. The coupling is controlled by adjusting the polariton propagation distance between neighbors. This permits us to map out regimes of both strong and weak dissipative coupling, with the former characterized by clear in-phase and anti-phase synchronization of the condensates. With robust single-energy occupation governed by dissipative coupling of optically-trapped polariton condensates, we present a system which offers a potential optical platform for the optimization of randomly connected $XY$ Hamiltonians.


title: Spectroscopy of Majorana modes of non-Abelian vortices in Kitaev's chiral spin liquid

abstract: We study the temperature (T) dependence of the dynamical structure factor of the chiral spin liquid phase of Kitaev's honeycomb model. We find, using a recently developed analytical approach, direct signatures of the Majorana modes associated with the non-Abelian Z_2 vortices (visons). In particular, a characteristic multiplet of discrete peaks at low but nonzero-T and its field dependence reflect the existence of thermally activated visons whose varying separation yields different splittings of the Majorana `zero' modes. The resonant processes involved are specific to the Majorana modes, and will persist even in the presence of weak non-integrable interactions.


title: On the deficiency of complete multipartite graphs

abstract: An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is an \emph{interval $t$-coloring} if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an integer interval. It is well-known that there are graphs that do not have interval colorings. The \emph{deficiency} of a graph $G$, denoted by $\mathrm{def}(G)$, is the minimum number of pendant edges whose attachment to $G$ leads to a graph admitting an interval coloring. In this paper we investigate the problem of determining or bounding of the deficiency of complete multipartite graphs. In particular, we obtain a tight upper bound for the deficiency of complete multipartite graphs. We also determine or bound the deficiency for some classes of complete multipartite graphs.


title: Sometimes Reliable Spanners of Almost Linear Size

abstract: Reliable spanners can withstand huge failures, even when a linear number of vertices are deleted from the network. In case of failures, a reliable spanner may have some additional vertices for which the spanner property no longer holds, but this collateral damage is bounded by a fraction of the size of the attack. It is known that $\Omega(n\log n)$ edges are needed to achieve this strong property, where $n$ is the number of vertices in the network, even in one dimension. Constructions of reliable geometric $(1+\varepsilon)$-spanners, for $n$ points in $\Re^d$, are known, where the resulting graph has $O( n \log n \log \log^{6}n )$ edges. Here, we show randomized constructions of smaller size spanners that have the desired reliability property in expectation or with good probability. The new construction is simple, and potentially practical -- replacing a hierarchical usage of expanders (which renders the previous constructions impractical) by a simple skip-list like construction. This results in a $1$-spanner, on the line, that has linear number of edges. Using this, we present a construction of a reliable spanner in $\Re^d$ with $O( n \log \log^{2} n \log \log \log n )$ edges.


title: Experimental Evidence for Asymptotic Non-Optimality of Comb Adversary Strategy

abstract: For the problem of prediction with expert advice in the adversarial setting with finite stopping time, we give strong computer evidence that the comb strategy for $k=5$ experts is not asymptotically optimal, thereby giving strong evidence against a conjecture of Gravin, Peres, and Sivan.


title: On the connection between Deutsch-Jozsa algorithm and bent functions

abstract: It is presently shown that the Deutsch-Jozsa algorithm is connected to the concept of bent function. Particularly, it is noticeable that the quantum circuit used to denote the well known quantum algorithm is by itself the quantum computer which performs the Walsh transform of a Boolean function. Consequently, the output from Deutsch-Jozsa algorithm, when the hidden function is bent, corresponds to a flat spectrum of quantum states.


title: Supernovae Ia in 2019 (review): a rising demand for spherical explosions

abstract: I review new studies of type Ia supernovae (SNe Ia) from 2019, and use these to improve the comparison between the five binary SN Ia scenarios. New low polarisation measurements solidify the claim that most SN Ia explosions are globally spherically symmetric (clumps are possible). Explosions by dynamical processes, like explosions that take place during a merger process of two white dwarfs (WDs) in the double degenerate (DD) scenario, or during an accretion process in the double detonation (DDet) scenario and in the single degenerate (SD) scenario, lead to non-spherical explosions, in contradiction with observations of normal SNe Ia. I argue that these (DD, DDet, SD) scenarios account mainly for peculiar SNe Ia. The explosion of a Chandrasekhar mass (Mch) WD (deflagration to detonation process) has a global spherical structure that is compatible with observations. To reach spherical explosions, SN Ia scenarios should allow for a time delay between the formation of an Mch-WD and its explosion. As such, I split the DD scenario to a channel without merger to explosion delay (MED) time (that forms mainly peculiar SNe Ia), and a channel with a MED, the DD-MED channel (scenario). I speculate that the main contributors to normal SNe Ia are the core degenerate (CD) scenario, the DD-MED scenario, both have Mch spherical explosions, and the DD scenario that has sub-Mch non-spherical explosions.


title: Diffusion and superdiffusion from hydrodynamic projections

abstract: Hydrodynamic projections, the projection onto conserved charges representing ballistic propagation of fluid waves, give exact transport results in many-body systems, such as the exact Drude weights. Focussing one one-dimensional systems, I show that this principle can be extended beyond the Euler scale, in particular to the diffusive and superdiffusive scales. By hydrodynamic reduction, Hilbert spaces of observables are constructed that generalise the standard space of conserved densities and describe the finer scales of hydrodynamics. The Green-Kubo formula for the Onsager matrix has a natural expression within the diffusive space. This space is associated with quadratically extensive charges, and projections onto any such charge give generic lower bounds for diffusion. In particular, bilinear expressions in linearly extensive charges lead to explicit diffusion lower bounds calculable from the thermodynamics, and applicable for instance to generic momentum-conserving one-dimensional systems. Bilinear charges are interpreted as covariant derivatives on the manifold of maximal entropy states, and represent the contribution to diffusion from scattering of ballistic waves. An analysis of fractionally extensive charges, combined with clustering properties from the superdiffusion phenomenology, gives lower bounds for superdiffusion exponents. These bounds reproduce the predictions of nonlinear fluctuating hydrodynamics, including the Kardar-Parisi-Zhang exponent 2/3 for sound-like modes, the Levy-distribution exponent 3/5 for heat-like modes, and the full Fibonacci sequence.


title: Curvature constraints in heterotic Landau-Ginzburg models

abstract: In this paper, we study a class of heterotic Landau-Ginzburg models. We show that the action can be written as a sum of BRST-exact and non-exact terms. The non-exact terms involve the pullback of the complexified Kahler form to the worldsheet and terms arising from the superpotential, which is a Grassmann-odd holomorphic function of the superfields. We then demonstrate that the action is invariant on-shell under supersymmetry transformations up to a total derivative. Finally, we extend the analysis to the case in which the superpotential is not holomorphic. In this case, we find that supersymmetry imposes a constraint which relates the nonholomorphic parameters of the superpotential to the Hermitian curvature. Various special cases of this constraint have previously been used to establish properties of Mathai-Quillen form analogues which arise in the corresponding heterotic Landau-Ginzburg models. There, it was claimed that supersymmetry imposes those constraints. Our goal in this paper is to support that claim. The analysis for the nonholomorphic case also reveals a constraint imposed by supersymmetry that we did not anticipate from studies of Mathai-Quillen form analogues.


title: Learning Spatially Structured Image Transformations Using Planar Neural Networks

abstract: Learning image transformations is essential to the idea of mental simulation as a method of cognitive inference. We take a connectionist modeling approach, using planar neural networks to learn fundamental imagery transformations, like translation, rotation, and scaling, from perceptual experiences in the form of image sequences. We investigate how variations in network topology, training data, and image shape, among other factors, affect the efficiency and effectiveness of learning visual imagery transformations, including effectiveness of transfer to operating on new types of data.


title: An Introduction to Communication Efficient Edge Machine Learning

abstract: In the near future, Internet-of-Things (IoT) is expected to connect billions of devices (e.g., smartphones and sensors), which generate massive real-time data at the network edge. Intelligence can be distilled from the data to support next-generation AI-powered applications, which is called edge machine learning. One challenge faced by edge learning is the communication bottleneck, which is caused by the transmission of high-dimensional data from many edge devices to edge servers for learning. Traditional wireless techniques focusing only on efficient radio access are ineffective in tackling the challenge. Solutions should be based on a new approach that seamlessly integrates communication and computation. This has led to the emergence of a new cross-disciplinary paradigm called communication efficient edge learning. The main theme in the area is to design new communication techniques and protocols for efficient implementation of different distributed learning frameworks (i.e., federated learning) in wireless networks. This article provides an overview of the emerging area by introducing new design principles, discussing promising research opportunities, and providing design examples based on recent work.


title: Evaluating Reliability of SSD-Based I/O Caches in Enterprise Storage Systems

abstract: In this paper, we present a comprehensive analysis investigating the reliability of SSD-based I/O caching architectures used in enterprise storage systems under power failure and high-operating temperature. We explore variety of SSDs from top vendors and investigate the cache reliability in mirrored configuration. To this end, we first develop a physical fault injection and failure detection platform and then investigate the impact of workload dependent parameters on the reliability of I/O cache in the presence of two common failure types in data centers, power outage and high temperature faults. We implement an I/O cache scheme using an open-source I/O cache module in Linux operating system. The experimental results obtained by conducting more than twenty thousand of physical fault injections on the implemented I/O cache with different write policies reveal that the failure rate of the I/O cache is significantly affected by workload dependent parameters. Our results show that unlike workload requests access pattern, the other workload dependent parameters such as request size, Working Set Size (WSS), and sequence of the accesses have considerable impact on the I/O cache failure rate. We observe a significant growth in the failure rate in the workloads by decreasing the size of the requests (by more than 14X). Furthermore, we observe that in addition to writes, the read accesses to the I/O cache are subjected to failure in presence of sudden power outage (the failure mainly occurs during promoting data to the cache). In addition, we observe that I/O cache experiences no data failure upon high temperature faults.


title: A Novel FPGA-Based High Throughput Accelerator For Binary Search Trees

abstract: This paper presents a deeply pipelined and massively parallel Binary Search Tree (BST) accelerator for Field Programmable Gate Arrays (FPGAs). Our design relies on the extremely parallel on-chip memory, or Block RAMs (BRAMs) architecture of FPGAs. To achieve significant throughput for the search operation on BST, we present several novel mechanisms including tree duplication as well as horizontal, duplicated, and hybrid (horizontal-vertical) tree partitioning. Also, we present efficient techniques to decrease the stalling rates that can occur during the parallel tree search. By combining these techniques and implementations on Xilinx Virtex-7 VC709 platform, we achieve up to 8X throughput improvement gain in comparison to the baseline implementation, i.e., a fully-pipelined FPGA-based accelerator.


title: Policy Optimization Reinforcement Learning with Entropy Regularization

abstract: Entropy regularization is an important idea in reinforcement learning, with great success in recent algorithms like Soft Q Network (SQN) and Soft Actor-Critic (SAC1). In this work, we extend this idea into the on-policy realm. We propose the soft policy gradient theorem (SPGT) for on-policy maximum entropy reinforcement learning. With SPGT, a series of new policy optimization algorithms are derived, such as SPG, SA2C, SA3C, SDDPG, STRPO, SPPO, SIMPALA and so on. We find that SDDPG is equivalent to SAC1. For policy gradient, the policy network is often represented as a Gaussian distribution with a global action variance, which damages the representation capacity. We introduce a local action variance for policy network and find it can work collaboratively with the idea of entropy regularization. Our method outperforms prior works on a range of benchmark tasks. Furthermore, our method can be easily extended to large scale experiment with great stability and parallelism.


title: Cycle and bit accurate chaos-based communication system

abstract: Adaptive control is a control method that has an adaptation mechanism that reacts to model uncertainties. The control method is used to realized synchronization of a new chaotic system in a unidirectional master-slave topology. The master chaotic system and the slave system are adopted as transmitter and receiver, respectively for the purpose of secure communications. Both analog and digital designs are realized. The digital system is a cycle and bit accurate design having a system rate of $450MHz$. The design is targeted at an Artix-7 Nexys 4 FPGA. The transmitters are accordingly modulated by analog signals and fixed-point signals of different resolutions, sampling and frequencies. Although the adaptive controller tends to react on introduction of a modulating signal, we show that with a special detection mechanism or filtering including exponential smoothing, the choice of which depends on the nature of the modulating signal, it is possible to recover the modulating signal at the receiver. Moreover, chaos-based spectrum-spectrum communication systems are realized based on adaptive synchronization of the new chaotic system. Furthermore, in order to ascertain the robustness of the adaptive controller, the modulated signal is transmitted via an awgn channel and the probability of error and bit-error-rate (BER) computed by sweeping across sets of SNR and noise power values in a Monte Carlo simulation. It turns out that the probabilities of error or error rates are reasonably low for effective communication through mediums with certain noise conditions. Hence, the adaptive controlled communication system can be robust.


title: Chaos-based spread-spectrum communication system


title: Drndalo: Lightweight Control Flow Obfuscation Through Minimal Processor/Compiler Co-Design

abstract: Binary analysis is traditionally used in the realm of malware detection. However, the same technique may be employed by an attacker to analyze the original binaries in order to reverse engineer them and extract exploitable weaknesses. When a binary is distributed to end users, it becomes a common remotely exploitable attack point. Code obfuscation is used to hinder reverse engineering of executable programs. In this paper, we focus on securing binary distribution, where attackers gain access to binaries distributed to end devices, in order to reverse engineer them and find potential vulnerabilities. Attackers do not however have means to monitor the execution of said devices. In particular, we focus on the control flow obfuscation --- a technique that prevents an attacker from restoring the correct reachability conditions for the basic blocks of a program. By doing so, we thwart attackers in their effort to infer the inputs that cause the program to enter a vulnerable state (e.g., buffer overrun). We propose a compiler extension for obfuscation and a minimal hardware modification for dynamic deobfuscation that takes advantage of a secret key stored in hardware. We evaluate our experiments on the LLVM compiler toolchain and the BRISC-V open source processor. On PARSEC benchmarks, our deobfuscation technique incurs only a 5\% runtime overhead. We evaluate the security of Drndalo by training classifiers on pairs of obfuscated and unobfuscated binaries. Our results shine light on the difficulty of producing obfuscated binaries of arbitrary programs in such a way that they are statistically indistinguishable from plain binaries.


title: RESCUE: Interdependent Challenges of Reliability, Security and Quality in Nanoelectronic Systems

abstract: The recent trends for nanoelectronic computing systems include machine-to-machine communication in the era of Internet-of-Things (IoT) and autonomous systems, complex safety-critical applications, extreme miniaturization of implementation technologies and intensive interaction with the physical world. These set tough requirements on mutually dependent extra-functional design aspects. The H2020 MSCA ITN project RESCUE is focused on key challenges for reliability, security and quality, as well as related electronic design automation tools and methodologies. The objectives include both research advancements and cross-sectoral training of a new generation of interdisciplinary researchers. Notable interdisciplinary collaborative research results for the first half-period include novel approaches for test generation, soft-error and transient faults vulnerability analysis, cross-layer fault-tolerance and error-resilience, functional safety validation, reliability assessment and run-time management, HW security enhancement and initial implementation of these into holistic EDA tools.


title: Value-driven Manufacturing Planning using Cloud-based Evolutionary Optimisation

abstract: This paper considers manufacturing planning and scheduling of manufacturing orders whose value decreases over time. The value decrease is modelled with a so-called value curve. Two genetic-algorithm-based methods for multi-objective optimisation have been proposed, implemented and deployed to a cloud. The first proposed method allocates and schedules manufacturing of all the ordered elements optimising both the makespan and the total value, whereas the second method selects only the profitable orders for manufacturing. The proposed evolutionary optimisation has been performed for a set of real-world-inspired manufacturing orders. Both the methods yield a similar total value, but the latter method leads to a shorter makespan.


title: LEGaTO: Low-Energy, Secure, and Resilient Toolset for Heterogeneous Computing

abstract: The LEGaTO project leverages task-based programming models to provide a software ecosystem for Made in-Europe heterogeneous hardware composed of CPUs, GPUs, FPGAs and dataflow engines. The aim is to attain one order of magnitude energy savings from the edge to the converged cloud/HPC, balanced with the security and resilience challenges. LEGaTO is an ongoing three-year EU H2020 project started in December 2017.


title: Molecular monolayer strong coupling in dielectric soft microcavities

abstract: We report strong coupling of a monolayer of J-aggregated dye molecules to the whispering gallery modes of a dielectric microsphere at room temperature. We systematically studied the evolution of strong coupling as the number of layers of dye molecules was increased, we found the Rabi splitting to rise from 56 meV for a single layer to 94 meV for four layers of dye molecules. We compare our experimental results with 2D numerical simulations and a simple coupled oscillator model, finding good agreement. We anticipate that these results will act as a stepping stone for integrating molecule-cavity strong coupling in a microfluidic environment since microspheres can be easily trapped and manipulated in such an environment, and provide open access cavities.


title: Acoustic scattering by two fluid confocal prolate spheroids

abstract: The exact spheroidal-function series solution for the time-harmonic acoustic scattering of a plane wave by two fluid confocal prolate spheroids is developed and a numerical implementation is formulated and validated by independent methods. The two spheroids define three regions in which the acoustic fields are expanded in terms of spheroidal wave functions multiplied by unknown coefficients. These expansions are forced to satisfy the boundary conditions and by using the orthogonality properties of the involved functions an infinite matricial system for the coefficients is obtained. The resulting system is then solved through a truncation procedure. The implementation has no limitations regarding the sound speed and density of the three media involved or in the incidence frequency.


title: On the central levels problem

abstract: The central levels problem asserts that the subgraph of the $(2m+1)$-dimensional hypercube induced by all bitstrings with at least $m+1-\ell$ many 1s and at most $m+\ell$ many 1s, i.e., the vertices in the middle $2\ell$ levels, has a Hamilton cycle for any $m\geq 1$ and $1\le \ell\le m+1$. This problem was raised independently by Buck and Wiedemann, Savage, by Gregor and \v{S}krekovski, and by Shen and Williams, and it is a common generalization of the well-known middle levels problem, namely the case $\ell=1$, and classical binary Gray codes, namely the case $\ell=m+1$. In this paper we present a general constructive solution of the central levels problem. Our results also imply the existence of optimal cycles through any sequence of $\ell$ consecutive levels in the $n$-dimensional hypercube for any $n\ge 1$ and $1\le \ell \le n+1$. Moreover, extending an earlier construction by Streib and Trotter, we construct a Hamilton cycle through the $n$-dimensional hypercube, $n\geq 2$, that contains the symmetric chain decomposition constructed by Greene and Kleitman in the 1970s, and we provide a loopless algorithm for computing the corresponding Gray code.


title: Families of commuting automorphisms, and a characterization of the affine space

abstract: In this paper we show that an affine space is determined by the abstract group structure of its group of regular automorphisms in the category of connected affine varieties. To prove this we study commutative subgroups of the group of automorphisms of affine varieties.


title: $C_6$ coefficients for interacting Rydberg atoms and alkali-metal dimers

abstract: We study the van der Waals interaction between Rydberg alkali-metal atoms with fine structure ($n^2L_j$; $L\leq 2$) and heteronuclear alkali-metal dimers in the ground rovibrational state ($X^1\Sigma^+$; $v=0$, $J=0$). We compute the associated $C_6$ dispersion coefficients of atom-molecule pairs involving $^{133}$Cs and $^{85}$Rb atoms interacting with KRb, LiCs, LiRb, and RbCs molecules. The obtained dispersion coefficients can be accurately fitted to a state-dependent polynomial $O(n^7)$ over the range of principal quantum numbers $40\leq n\leq 150$. For all atom-molecule pairs considered, Rydberg states $n^2S_j$ and $n^2P_j$ result in attractive $1/R^6$ potentials. In contrast, $n^2D_j$ states can give rise to repulsive potentials for specific atom-molecule pairs. The interaction energy at the LeRoy distance approximately scales as $n^{-5}$ for $n>40$. For intermediate values of $n\lesssim40$, both repulsive and attractive interaction energies in the order of $ 10-100 \,\mu$K can be achieved with specific atomic and molecular species. The accuracy of the reported $C_6$ coefficients is limited by the quality of the atomic quantum defects, with relative errors $\Delta C_6/C_6$ estimated to be no greater than 1\% on average.


title: Habitability on local, Galactic and cosmological scales

abstract: The aim of this paper is to underline conditions necessary for the emergence and development of life. They are placed at local planetary scale, at Galactic scale and within the cosmological evolution, as pointed out by the Anthropic Cosmological Principle. We will consider the circumstellar habitable zone (CHZ) for planetary systems and a Galactic Habitable Zone (GHZ) including also a set of strong cosmological constraints to allow life (cosmological habitability (COSH)). Some requirements are specific of a single scale and its related physical phenomena, while others are due to the conspired effects occurring at more than one scale. The scenario emerging from this analysis is that all the habitability conditions here detailed must at least be met. Then life asks something which may appear as "a monstrous sequence of accidents" as Hoyle (1959) thought, or as providential collaborations leading to realize how finely tuned is the architecture within which Life, as precious stone, is embedded.


title: Jones' Conjecture in subcubic graphs

abstract: We confirm Jones' Conjecture for subcubic graphs. Namely, if a subcubic planar graph does not contain $k+1$ vertex-disjoint cycles, then it suffices to delete $2k$ vertices to obtain a forest.


title: Zeta functions of Z_p-towers of curves

abstract: In these notes, we explore possible stable properties for the zeta function of a geometric Zp-tower of curves over a finite field of characteristic p, in the spirit of Iwasawa theory. A number of fundamental questions and conjectures are proposed for those Zp towers coming from algebraic geometry.


title: MAXI/SSC All-sky maps from 0.7 keV to 4 keV

abstract: By accumulating data from the Solid-state Slit Camera (SSC) on board the MAXI mission for 2 years from 2009 to 2011, diffuse X-ray background maps were obtained in energies of 0.7--1.0, 1.0--2.0, and 2.0--4.0 keV. They are the first ones that were derived with a solid-state instrument, and to be compared with the previous ROSAT all sky survey result. While the SSC map in the highest energy band is dominated by point sources and the Galactic Diffuse X-ray emission, that in 0.7--1.0 keV reveals an extended X-ray structure, of which the brightness distribution is very similar to that observed with ROSAT about 20 years before. Like in the ROSAT result, the emission is dominated by a bright arc-like structure, which appears to be a part of a circle of $\sim 50^\circ$ radius centered at about $(l, b) \sim (340^\circ, 15^\circ)$. In addition, the SSC map suggests a fainter and larger ellipse, which is elongated in the north-south direction and roughly centered at the Galactic center. The spectrum of these structures is explained as thin thermal emission from a plasma, with a temperature of $\sim 0.31$ keV and an abundance of $\sim0.3$ Solar. Based on SSC observation conditions including the low Solar activity, the Solar Wind Charge Exchange signals are estimated to be negligible in the present SSC maps, as well as in the $>0.56$ keV ROSAT map. A brief discussion is given to the obtained results.


title: Zeckendorf representations and mixing properties of sequences

abstract: We use generalised Zeckendorf representations of natural numbers to investigate mixing properties of symbolic dynamical systems. The systems we consider consist of bi-infinite sequences associated with so-called random substitutions. We focus on random substitutions associated with the Fibonacci, tribonacci and metallic mean numbers and take advantage of their respective numeration schemes.


title: Improving upon NBA point-differential rankings

abstract: For some time, point-differential has been thought to be a better predictor for future NBA success than pure win-loss record. Most ranking and team performance predictions rely largely on point-differential, often with some normalizations built-in. In this work, various capping and weighting functions are proposed to further improve indicator performance. A gradient descent algorithm is also employed to discover the optimized weighting/capping function applied to individual game scores throughout the season.


title: Instabilities for analytic quasi-periodic invariant tori

abstract: We prove the existence of real analytic Hamiltonians with topologically unstable quasi-periodic invariant tori. Using various versions of our examples, we solve the following problems in the stability theory of analytic quasi-periodic motion: $\quad i)$ Show the existence of topologically unstable tori of arbitrary frequency. Moreover, the Birkhoff Normal Form at the invariant torus can be chosen to be convergent, equal to a planar or non-planar polynomial. $\quad ii)$ Show the optimality of the exponential stability for Diophantine tori. ' $\quad iii)$ Show the existence of real analytic Hamiltonians that are integrable on half of the phase space, and such that all orbits on the other half accumulate at infinity. $\quad iv)$ For sufficiently Liouville vectors, obtain invariant tori that are not accumulated by a positive measure set of quasi-periodic invariant tori.


title: Magnetic field induced bound states in spin-$\frac{1}{2}$ ladders

abstract: Motivated by the intriguing mode splittings in a magnetic field recently observed with inelastic neutron scattering in the spin ladder compound (C$_5$H$_{12}$N)$_2$CuBr$_4$ (BPCB), we investigate the nature of the spin ladder excitations using DMRG and analytical arguments. Starting from the fully frustrated ladder, for which we derive the low-energy spectrum, we show that bound states are generically present close to $k=0$ in the dynamical structure factor of spin ladders above $H_{c 1}$, and that they are characterized by a field-independent binding energy and an intensity that grows with $H-H_{c 1}$. These predictions are shown to explain quantitatively the split modes observed in BPCB.


title: Multi-stress tensors and next-to-leading singularities in the Regge limit

abstract: The stress tensor sector of a heavy-heavy-light-light scalar correlator in CFTs with a large central charge and a large gap is defined by the exchange of multi-stress tensor operators. The Regge limit of this correlator is determined by the phase shift of a highly energetic particle propagating in a dual black hole background. Assuming Einstein gravity in the bulk, the phase shift is known perturbatively to all orders in the ratio of the heavy scaling dimension over the central charge. In the CFT, the order counts the number of stress tensors in the multi-stress tensor operator. By Fourier transforming the correlator to position space, the multi-stress tensor contributions to the leading and next-to-leading singularities in the Regge limit are found to all orders in four dimensions. The leading singularity at each order agrees with known results obtained by considering a particle in a dual shockwave background. Moreover, the leading and next-to-leading singularities due to double- and triple-stress tensors with minimal twist are known from lightcone bootstrap and agree with the results derived from the phase shift.


title: Optimal designs for third-order interactions in paired comparison experiments

abstract: It is shown how by not losing information on higher order interactions, optimal paired comparison designs involving alternatives of either full or partial profiles to reduce information overload as frequently encountered in applications can be constructed which enable identification of main effects up to third-order interactions when all attributes have general common number of levels.


title: On one-dimensionality of metric measure spaces

abstract: In this paper, we prove that a metric measure space which has at least one open set isometric to an interval, and for which the (possibly non-unique) optimal transport map exists from any absolutely continuous measure to an arbitrary measure, is a one-dimensional manifold (possibly with boundary). As an immediate corollary we obtain that if a metric measure space is a very strict $CD(K,N)$ -space or an essentially non-branching $MCP(K,N)$-space with some open set isometric to an interval, then it is a one-dimensional manifold. We also obtain the same conclusion for a metric measure space which has a point in which the Gromov-Hausdorff tangent is unique and isometric to the real line, and for which the optimal transport maps not only exist but are unique. Again, we obtain an analogous corollary in the setting of essentially non-branching $MCP(K,N)$-spaces.


title: A Comparative Study of Pretrained Language Models on Thai Social Text Categorization

abstract: The ever-growing volume of data of user-generated content on social media provides a nearly unlimited corpus of unlabeled data even in languages where resources are scarce. In this paper, we demonstrate that state-of-the-art results on two Thai social text categorization tasks can be realized by pretraining a language model on a large noisy Thai social media corpus of over 1.26 billion tokens and later fine-tuned on the downstream classification tasks. Due to the linguistically noisy and domain-specific nature of the content, our unique data preprocessing steps designed for Thai social media were utilized to ease the training comprehension of the model. We compared four modern language models: ULMFiT, ELMo with biLSTM, OpenAI GPT, and BERT. We systematically compared the models across different dimensions including speed of pretraining and fine-tuning, perplexity, downstream classification benchmarks, and performance in limited pretraining data.


title: A localized spacetime Penrose inequality and horizon detection with quasi-local mass

abstract: For an admissible class of smooth compact initial data sets with boundary, we prove a comparison theorem between the Wang/Liu-Yau quasi-local mass of the boundary and the Hawking mass of strictly minimizing hulls in the Jang graphs of the domain. Using this, we prove a quasi-local Penrose inequality that involves these quasi-local masses of the boundary and the area of an outermost marginally outer trapped surface (MOTS) in the domain or the area of minimizing minimal surface within the Jang graphs. Moreover, we obtain sufficient conditions for the (non)existence of a MOTS within a domain, in the spirit of the folklore hoop conjecture.


title: Conservation Voltage Reduction by Coordinating Legacy Devices, Smart Inverters and Battery

abstract: Due to market, there is flexibility in the price for power purchase by the utility. At the maximum loading condition the cost of power is high, hence conservation voltage reduction (CVR) is a useful technique in reducing power demand of the distribution system. Further, by installing battery energy storage system (BESS) in the distribution system, power can be stored in the BESS when the price is low and can be utilize to supply the demand when the price is high. In this paper, power conserving and cost saving problems are investigated. As we consider loads in distribution system as voltage dependent loads, the CVR objective is obtained by optimizing the nodal voltages of a feeder towards the lower limit of the ANSI value using legacy devices and smart inverter. In order to solve introduced problems, a MPC-based algorithm is proposed for optimal usage of future information prediction such as load energy consumption profile, PVs generation profiles and TOU electricity tariffs. Moreover, effect of depreciation cost of the BESS is in cost saving is investigated. The proposed method is validated using IEEE-123 node system. It is demonstrated form the results that the proposed method is able to reduce the power consumption and cost of purchased power from substation.


title: Anosov diffeomorphisms on Thurston geometric 4-manifolds

abstract: A long-standing conjecture asserts that any Anosov diffeomorphism of a closed manifold is finitely covered by a diffeomorphism which is topologically conjugate to a hyperbolic automorphism of a nilpotent manifold. In this paper, we show that any closed 4-manifold that carries a Thurston geometry and is not finitely covered by a product of two aspherical surfaces does not support (transitive) Anosov diffeomorphisms.


title: EventGAN: Leveraging Large Scale Image Datasets for Event Cameras

abstract: Event cameras provide a number of benefits over traditional cameras, such as the ability to track incredibly fast motions, high dynamic range, and low power consumption. However, their application into computer vision problems, many of which are primarily dominated by deep learning solutions, has been limited by the lack of labeled training data for events. In this work, we propose a method which leverages the existing labeled data for images by simulating events from a pair of temporal image frames, using a convolutional neural network. We train this network on pairs of images and events, using an adversarial discriminator loss and a pair of cycle consistency losses. The cycle consistency losses utilize a pair of pre-trained self-supervised networks which perform optical flow estimation and image reconstruction from events, and constrain our network to generate events which result in accurate outputs from both of these networks. Trained fully end to end, our network learns a generative model for events from images without the need for accurate modeling of the motion in the scene, exhibited by modeling based methods, while also implicitly modeling event noise. Using this simulator, we train a pair of downstream networks on object detection and 2D human pose estimation from events, using simulated data from large scale image datasets, and demonstrate the networks' abilities to generalize to datasets with real events.


title: Threshold factorization of the Drell-Yan process at next-to-leading power

abstract: We present a factorization theorem valid near the kinematic threshold $z=Q^2/\hat{s}\to 1$ of the partonic Drell-Yan process $q\bar q\to\gamma^*+X$ for general subleading powers in the $(1-z)$ expansion. We then consider the specific case of next-to-leading power. We discuss the emergence of collinear functions, which are a key ingredient to factorization starting at next-to-leading power. We calculate the relevant collinear functions at $\mathcal{O}(\alpha_s)$ by employing an operator matching equation and we compare our results to the expansion-by-regions computation up to the next-to-next-to-leading order, finding agreement. Factorization holds only before the dimensional regulator is removed, due to a divergent convolution when the collinear and soft functions are first expanded around $d=4$ before the convolution is performed. This demonstrates an issue for threshold resummation beyond the leading-logarithmic accuracy at next-to-leading power.


title: Reading the Manual: Event Extraction as Definition Comprehension

abstract: We ask whether text understanding has progressed to where we may extract event information through incremental refinement of bleached statements derived from annotation manuals. Such a capability would allow for the trivial construction and extension of an extraction framework by intended end-users through declarations such as, "Some person was born in some location at some time." We introduce an example of a model that employs such statements, with experiments illustrating we can extract events under closed ontologies and generalize to unseen event types simply by reading new definitions.


title: Higher-order total variation approaches and generalisations

abstract: Over the last decades, the total variation (TV) evolved to one of the most broadly-used regularisation functionals for inverse problems, in particular for imaging applications. When first introduced as a regulariser, higher-order generalisations of TV were soon proposed and studied with increasing interest, which led to a variety of different approaches being available today. We review several of these approaches, discussing aspects ranging from functional-analytic foundations to regularisation theory for linear inverse problems in Banach space, and provide a unified framework concerning well-posedness and convergence for vanishing noise level for respective Tikhonov regularisation. This includes general higher orders of TV, additive and infimal-convolution multi-order total variation, total generalised variation (TGV), and beyond. Further, numerical optimisation algorithms are developed and discussed that are suitable for solving the Tikhonov minimisation problem for all presented models. Focus is laid in particular on covering the whole pipeline starting at the discretisation of the problem and ending at concrete, implementable iterative procedures. A major part of this review is finally concerned with presenting examples and applications where higher-order TV approaches turned out to be beneficial. These applications range from classical inverse problems in imaging such as denoising, deconvolution, compressed sensing, optical-flow estimation and decompression, to image reconstruction in medical imaging and beyond, including magnetic resonance imaging (MRI), computed tomography (CT), magnetic-resonance positron emission tomography (MR-PET), and electron tomography.


title: Leveraging Procedural Generation to Benchmark Reinforcement Learning

abstract: We introduce Procgen Benchmark, a suite of 16 procedurally generated game-like environments designed to benchmark both sample efficiency and generalization in reinforcement learning. We believe that the community will benefit from increased access to high quality training environments, and we provide detailed experimental protocols for using this benchmark. We empirically demonstrate that diverse environment distributions are essential to adequately train and evaluate RL agents, thereby motivating the extensive use of procedural content generation. We then use this benchmark to investigate the effects of scaling model size, finding that larger models significantly improve both sample efficiency and generalization.


title: CheasePy

abstract: CheasePy is code written in Python to run the CHEASE (Cubic Hermite Element Axisymmetric Static Equilibrium) code, which solves the Grad-Shafranov equation for toroidal MHD equilibria using pressure and current profiles and fixed plasma boundaries that is defined by a set of experimental data points (R,Z). The CheasePy code allows an iterative running of the CHEASE code either to check the preservation of MHD equilibria or converging to an experimentally defined total toroidal plasma current by modifying any input quantity.


title: Inferring HIV incidence trends and transmission dynamics with a spatio-temporal HIV epidemic model

abstract: Reliable estimation of spatio-temporal trends in population-level HIV incidence is becoming an increasingly critical component of HIV prevention policy-making. However, direct measurement is nearly impossible. Current, widely used models infer incidence from survey and surveillance seroprevalence data, but they require unrealistic assumptions about spatial independence across spatial units. In this study, we present an epidemic model of HIV that explicitly simulates the spatial dynamics of HIV over many small, interacting areal units. By integrating all available population-level data, we are able to infer not only spatio-temporally varying incidence, but also ART initiation rates and patient counts. Our study illustrates the feasibility of applying compartmental models to larger inferential problems than those to which they are typically applied, as well as the value of data fusion approaches to infectious disease modeling.


title: Band hybridisation at the semimetal-semiconductor transition of Ta$_2$NiSe$_5$ enabled by mirror-symmetry breaking

abstract: We present a combined study from angle-resolved photoemission and density-functional theory calculations of the temperature-dependent electronic structure in the excitonic insulator candidate Ta$_2$NiSe$_5$. Our experimental measurements unambiguously establish the normal state as a semimetal with a significant band overlap of $>$100~meV. Our temperature-dependent measurements indicate how these low-energy states hybridise when cooling through the well-known 327~K phase transition in this system. From our calculations and polarisation-dependent photoemission measurements, we demonstrate the importance of a loss of mirror symmetry in enabling the band hybridisation, driven by a shear-like structural distortion which reduces the crystal symmetry from orthorhombic to monoclinic. Our results thus point to the key role of the lattice distortion in enabling the phase transition of Ta$_2$NiSe$_5$.