title: Decidability for Sturmian words

abstract: We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwal, Schaeffer and Shallit, we prove that the first-order expansions of Presburger arithmetic by a single Sturmian word are uniformly $\omega$-automatic, and then deduce the decidability of the theory of the class of such structures. Using an implementation of this decision algorithm called Pecan, we automatically reprove classical theorems about Sturmian words in seconds, and are able to obtain new results about antisquares and antipalindromes in characteristic Sturmian words.


title: Conditional Distributional Treatment Effect with Kernel Conditional Mean Embeddings and U-Statistic Regression

abstract: We propose to analyse the conditional distributional treatment effect (CoDiTE), which, in contrast to the more common conditional average treatment effect (CATE), is designed to encode a treatment's distributional aspects beyond the mean. We first introduce a formal definition of the CoDiTE associated with a distance function between probability measures. Then we discuss the CoDiTE associated with the maximum mean discrepancy via kernel conditional mean embeddings, which, coupled with a hypothesis test, tells us whether there is any conditional distributional effect of the treatment. Finally, we investigate what kind of conditional distributional effect the treatment has, both in an exploratory manner via the conditional witness function, and in a quantitative manner via U-statistic regression, generalising the CATE to higher-order moments. Experiments on synthetic, semi-synthetic and real datasets demonstrate the merits of our approach.


title: Modeling the Hallucinating Brain: A Generative Adversarial Framework

abstract: This paper looks into the modeling of hallucination in the human's brain. Hallucinations are known to be causally associated with some malfunctions within the interaction of different areas of the brain involved in perception. Focusing on visual hallucination and its underlying causes, we identify an adversarial mechanism between different parts of the brain which are responsible in the process of visual perception. We then show how the characterized adversarial interactions in the brain can be modeled by a generative adversarial network.


title: Reducing numerical work in non-linear parameter identification

abstract: The real-life merit functions have an unimaginable complexity of an M-dimensional topography, where M is the number of the parameters. It is shown that there is an underlying noise-free merit function, called follower merit function which can be constructed from simulated, noise-free data using the solution of a Least Squares minimization. The difference of these is controlled by the norm of the error vector. The local minima arisen from the noise can be skipped during such minimization that apply adjustable, large step sizes, depending on the norm of the error vector. The suggested hierarchical minimisation - based on the implicit function of a projection map - makes the minimisation in two steps. In the first step some parameters are eliminated with conditional minimisation, resulting in a kind of deepest section of the merit function, called clever section with respect to the remainder parameters. Then the clever section is minimized. The method can be used to handle a quasi-degenerate global minimum, in sensitivity analyses, reliability testing.


title: The Yin-Yang dataset

abstract: The Yin-Yang dataset was developed for research on biologically plausible error backpropagation and deep learning in spiking neural networks. It serves as an alternative to classic deep learning datasets, especially in early-stage prototyping scenarios for both network models and hardware platforms, for which it provides several advantages. First, it is smaller and therefore faster to learn, thereby being better suited for small-scale exploratory studies in both software simulations and hardware prototypes. Second, it exhibits a very clear gap between the accuracies achievable using shallow as compared to deep neural networks. Third, it is easily transferable between spatial and temporal input domains, making it interesting for different types of classification scenarios.


title: Examples of distance magic labelings of the $6$-dimensional hypercube

abstract: A distance magic labeling of an $n$-dimensional hypercube is a labeling of its vertices by natural numbers from $\{0, \ldots, 2^n-1\}$, such that for all vertices $v$ the sum of the labels of the neighbors of $v$ is the same. Such a labeling is called neighbor-balanced, if, moreover, for each vertex $v$ and an index $i=0,\ldots,n-1$, exactly half of the neighbors of $v$ have digit $1$ at $i$-th position of the binary representation of their label. We demonstrate examples of non-neighbor-balanced distance magic labelings of $6$-dimensional hypercube obtained by a SAT solver.


title: A Novel Stochastic Epidemic Model with Application to COVID-19

abstract: In this paper we propose a novel SEIR stochastic epidemic model. A distinguishing feature of this new model is that it allows us to consider a set up under general latency and infectious period distributions. To some extent, queuing systems with infinitely many servers and a Markov chain with time-varying transition rate are the very technical underpinning of the paper. Although more general, the Markov chain is as tractable as previous models for exponentially distributed latency and infection periods. It is also significantly simpler and more tractable than semi-Markov models with a similar level of generality. Based on the notion of stochastic stability, we derive a sufficient condition for a shrinking epidemic in terms of the queuing system's occupation rate that drives the dynamics. Relying on this condition, we propose a class of ad-hoc stabilising mitigation strategies that seek to keep a balanced occupation rate after a prescribed mitigation-free period. We validate the approach in the light of recent data on the COVID-19 epidemic and assess the effect of different stabilising strategies. The results suggest that it is possible to curb the epidemic with various occupation rate levels, as long as the mitigation is not excessively procrastinated.


title: Numerical Solver for the out-of-equilibrium time dependent Boltzmann Collision operator: Application to 2D materials

abstract: The Time Dependent Boltzmann equation (TDBE) is a viable option to study strongly out-of-equilibrium thermalization dynamics which are becoming increasingly critical for many novel physical applications like Ultrafast thermalization, Terahertz radiation etc. However its applicability is greatly limited by the impractical scaling of the solution to its scattering integral term. In our previous work\cite{Michael} we had proposed a numerical solver to calculate the scattering integral term in the TDBE and then improved on it\cite{1DPaper} to include second degree momentum discretisation and adaptive time stepping. Our solver requires no close-to-equilibrium assumptions and can work with realistic band structures and scattering amplitudes. Moreover, it is numerically efficient and extremely robust against inherent numerical instabilities. While in our previous work \cite{1DPaper} we showcased the application of our solver to 1D materials, here we showcase its applications to a simple 2D system and analyse thermalisations of the introduced out-of-equilibrium excitations. The excitations added at higher energies were found to thermalise faster than those introduced at relatively lower energies. Also, we conclude that the thermalisation of the out-of-equilibrium population to equilibrium values is not a simple exponential decay but rather a non-trivial function of time. Nonetheless, by fitting a double exponential function to the decay of the out-of-equilibrium population with time we were able to generate quantitative insights into the time scales involved in the thermalisations.


title: Coupled-Channel Enhanced SSFM for Digital Backpropagation in WDM Systems

abstract: A novel technique for digital backpropagation (DBP) in wavelength-division multiplexing systems is introduced and shown, by simulations, to outperform existing DBP techniques for approximately the same complexity.


title: On cycles of length three

abstract: We prove that if $A$ is a string algebra then there are not three irreducible morphisms between indecomposable $A$-modules such that its composition belongs to $\Re^{6} \backslash \Re^{7}$, whenever the compositions of two of them are not in $\Re^{3}$. Moreover, for any positive integer $n \geq 3$, we show that there are $n$ irreducible morphisms such that their composition is in $\Re^{n+4} \backslash \Re^{n+5}$.


title: Coexistence of coarsening and mean field relaxation in the long-range Ising chain

abstract: We study the kinetics after a low temperature quench of the one-dimensional Ising model with long range interactions between spins at distance $r$ decaying as $r^{-\alpha}$. For $\alpha =0$, i.e. mean field, all spins evolve coherently quickly driving the system towards a magnetised state. In the weak long range regime with $\alpha >1$ there is a coarsening behaviour with competing domains of opposite sign without development of magnetisation. For strong long range, i.e. $0<\alpha <1$, we show that the system shows both features, with probability $P_\alpha (N)$ of having the latter one, with the different limiting behaviours $\lim _{N\to \infty}P_\alpha (N)=0$ (at fixed $\alpha<1$) and $\lim _{\alpha \to 1}P_\alpha (N)=1$ (at fixed finite $N$). We discuss how this behaviour is a manifestation of an underlying dynamical scaling symmetry due to the presence of a single characteristic time $\tau _\alpha (N)\sim N^\alpha$.


title: Unifying Lower Bounds on Prediction Dimension of Consistent Convex Surrogates

abstract: Given a prediction task, understanding when one can and cannot design a consistent convex surrogate loss, particularly a low-dimensional one, is an important and active area of machine learning research. The prediction task may be given as a target loss, as in classification and structured prediction, or simply as a (conditional) statistic of the data, as in risk measure estimation. These two scenarios typically involve different techniques for designing and analyzing surrogate losses. We unify these settings using tools from property elicitation, and give a general lower bound on prediction dimension. Our lower bound tightens existing results in the case of discrete predictions, showing that previous calibration-based bounds can largely be recovered via property elicitation. For continuous estimation, our lower bound resolves on open problem on estimating measures of risk and uncertainty.


title: Persistent currents in Bose-Bose mixtures after an interspecies interaction quench

abstract: We study the persistent currents and interspecies entanglement generation in a Bose-Bose mixture formed by two atomic gases (hereafter labelled by the letters A and B) trapped in a one-dimensional ring lattice potential with an artificial gauge field after a sudden quench from zero to strong interactions between the two gases. Assuming that the strength of these interactions is much larger than the single species energies and that the gas A is initially in the Mott-insulator regime, we show that the current of the gas B is reduced with respect to its value prior the interaction quench. Averaging fast oscillations out, the relative decrease of this current is independent of the initial visibility and Peierls phase of the gas B and behaves quadratically with the visibility of the gas A. The second R\'enyi entropy of the reduced state measuring the amount of entanglement between the two gases is found to scale linearly with the number of sites and to be proportional to the relative decrease of the current.


title: Non-Autoregressive Text Generation with Pre-trained Language Models

abstract: Non-autoregressive generation (NAG) has recently attracted great attention due to its fast inference speed. However, the generation quality of existing NAG models still lags behind their autoregressive counterparts. In this work, we show that BERT can be employed as the backbone of a NAG model to greatly improve performance. Additionally, we devise mechanisms to alleviate the two common problems of vanilla NAG models: the inflexibility of prefixed output length and the conditional independence of individual token predictions. Lastly, to further increase the speed advantage of the proposed model, we propose a new decoding strategy, ratio-first, for applications where the output lengths can be approximately estimated beforehand. For a comprehensive evaluation, we test the proposed model on three text generation tasks, including text summarization, sentence compression and machine translation. Experimental results show that our model significantly outperforms existing non-autoregressive baselines and achieves competitive performance with many strong autoregressive models. In addition, we also conduct extensive analysis experiments to reveal the effect of each proposed component.


title: Signal identification with Kalman Filter towards background-free neutrinoless double beta decay searches in gaseous detectors

abstract: Particle tracks and differential energy loss measured in high pressure gaseous detectors can be exploited for event identification in neutrinoless double beta decay~($0\nu \beta \beta$) searches. We develop a new method based on Kalman Filter in a Bayesian formalism (KFB) to reconstruct meandering tracks of MeV-scale electrons. With simulation data, we compare the signal and background discrimination power of the KFB method assuming different detector granularities and energy resolutions. Typical background from $^{232}$Th and $^{238}$U decay chains can be suppressed by another order of magnitude than that in published literatures, approaching the background-free regime. For the proposed PandaX-III experiment, the $0\nu \beta \beta$ search half-life sensitivity at the 90\% confidence level would reach $2.7 \times 10^{26}$~yr with 5-year live time, a factor of 2.7 improvement over the initial design target.


title: A new exact solution of black-strings-like with a dS core

abstract: We provide a new five dimensional black string--like solution by means of the embedding of a four dimensional regular black hole into a compact extra dimension. We enunciate a list of constraints in order to that the five dimensional black string--like solution to be regular, and, following these constraints we construct our solution. Instead of the usual singularity, it is formed a core whose topology corresponds to the product between the de--Sitter core of the four dimensional Hayward solution and $S^1$. The horizon has topology $S^2 \times S^1$. At infinity of the radial coordinate the regular four dimensional geometry is asymptotically flat, {\it i.e}, at this place the topology of the complete solution corresponds to the product between Minkowski and $S^1$. At the induced four dimensional geometry we compute the correct values of temperature and entropy.


title: Magnonic band structure in CoFeB/Ta/NiFe meander-shaped magnetic bilayers

abstract: In this work, we investigate the spin-wave propagation in three-dimensional nanoscale CoFeB/Ta/NiFe meander structures fabricated on a structured SiO2/Si substrate. The magnonic band structure has been experimentally determined by wavevector-resolved Brillouin light scattering (BLS) spectroscopy and a set of stationary modes interposed by two dispersive modes of Bloch type have been identified. The results could be understood by micromagnetic and finite element simulations of the mode distributions in both real space and the frequency domain. The dispersive modes periodically oscillate in frequency over the Brillouin zones and correspond to modes, whose spatial distributions extend over the entire sample and are either localized exclusively in the CoFeB layer or the entire CoFeB/Ta/NiFe magnetic bilayer. Stationary modes are mainly concentrated in the vertical segments of the CoFeB and NiFe layers and show negligible amplitudes in the horizon-tal segments. The findings are compared with those of single-layer CoFeB meander structures with the same geometry parameters, which reveals the influence of the dipolar coupling between the two ferromagnetic layers on the magnonic band structure.


title: Electronic structure and magnetism in UGa2: DFT+DMFT approach

abstract: The debate whether uranium 5f electrons are closer to being localized or itinerant in the ferromagnetic compound UGa2 is not yet fully settled. The experimentally determined magnetic moments are large, approximately 3 Bohr magnetons, suggesting the localized character of the 5f electrons. In the same time, one can identify signs of itinerant as well as localized behavior in various spectroscopic observations. The band theory, employing local exchange-correlation functionals, is biased toward itinerant 5f states and severely underestimates the moments. Using material-specific dynamical mean-field theory (DMFT), we probe how a less approximate description of electron-electron correlations improves the picture. We present two variants of the theory: starting either from spin-restricted (LDA) or spin-polarized (LSDA) band structure. We show that the L(S)DA+DMFT method can accurately describe the magnetic moments in UGa2 as long as the exchange interaction between the uranium 6d and 5f electrons is preserved by a judicious choice of the spin-polarized double-counting correction. We discuss the computed electronic structure in relation to photoemission experiments and show how the correlations reduce the Sommerfeld coefficient of the electronic specific heat by shifting the 5f states slightly away from the Fermi level.


title: Reduction of planar double-box diagram for single-top production via auxiliary mass flow

abstract: The single-top production is an important process at the LHC to test the Standard Model (SM) and search for the new physics beyond the SM. Although the complete next-to-next-to-leading order (NNLO) QCD correction to the single-top production is crucial, this calculation is still challenging at present. In order to efficiently reduce the NNLO single-top amplitude, we improve the auxiliary mass flow (AMF) method by introducing the $\epsilon$ truncation. For demonstration we choose one typical planar double-box diagram for the $tW$ production. It is shown that one coefficient of the form factors on its amplitude can be systematically reduced into the linear combination of 198 scalar integrals.


title: Exploring the impact of mobility restrictions on the COVID-19 spreading through an agent-based approach

abstract: Mobility restriction is considered one of the main policies to contain COVID-10 spreading. However, there are multiple ways to reduce mobility via differentiated restrictions, and it is not easy to predict the actual impact on virus spreading. This is a limitation for policy-makers who need to implement effective and timely measures. Notwithstanding the big role of data analysis to understand this phenomenon, it is also important to have more general models capable of predicting the impact of different scenarios. Besides, they should be able to simulate scenarios in a disaggregated way, so to understand the possible impact of targeted strategies, e.g. on a geographical scale or in relation to other variables associated with the potential risk of infection. This paper presents an agent-based model (ABM) able to dynamically simulate the COVID-19 spreading under different mobility restriction scenarios. The model uses the Italian case study with its 20 administrative regions and considers parameters that can be attributed to the diffusion and lethality of the virus (based on a virus spread risk model) and population mobility patterns. The model is calibrated with real data and reproduces the impact that different mobility restrictions can have on the pandemic diffusion based on a combination of static and dynamic parameters. Results suggest that virus spreading would have been similar if differentiated mobility restriction strategies based on a-priori risk parameters instead of a national lockdown would have been put in place in Italy during the first wave of the pandemic. The proposed model could give useful suggestions for decision-makers to tackle pandemics and virus spreading at a strategic level.


title: Fast associated classical orthogonal polynomial transforms

abstract: We discuss a fast approximate solution to the associated classical -- classical orthogonal polynomial connection problem. We first show that associated classical orthogonal polynomials are solutions to a fourth-order quadratic eigenvalue problem with polynomial coefficients such that the differential operator is degree-preserving. Upon linearization, the discretization of this quadratic eigenvalue problem is block upper-triangular and banded. After a perfect shuffle, we extend a divide-and-conquer approach to the upper-triangular and banded generalized eigenvalue problem to the blocked case, which may be accelerated by one of a few different algorithms. Associated orthogonal polynomials arise from iterated Stieltjes transforms of orthogonal polynomials; hence, fast approximate conversion to classical cases combined with fast discrete sine and cosine transforms provides a modular mechanism for synthesis of singular integral transforms of classical orthogonal polynomial expansions.


title: Data provenance, curation and quality in metrology

abstract: Data metrology -- the assessment of the quality of data -- particularly in scientific and industrial settings, has emerged as an important requirement for the UK National Physical Laboratory (NPL) and other national metrology institutes. Data provenance and data curation are key components for emerging understanding of data metrology. However, to date provenance research has had limited visibility to or uptake in metrology. In this work, we summarize a scoping study carried out with NPL staff and industrial participants to understand their current and future needs for provenance, curation and data quality. We then survey provenance technology and standards that are relevant to metrology. We analyse the gaps between requirements and the current state of the art.


title: Simulation on the Transparency of Electrons and Ion Back Flow for a Time Projection Chamber based on Staggered Multiple THGEMs

abstract: The IBF and the transparent rate of electrons are two essential indicators of TPC, which affect the energy resolution and counting rate respectively. In this paper, we propose several novel strategies of staggered multi-THGEM to suppress IBF, where the geometry of the first layer THGEM will be optimized to increase the electron transparent rate. By Garfield++ simulation, the electron transparency rate can be more than 90% of single THGEM with a optimized large hole. By simulating these configurations of triple and quadruple THGEM structures, we conclude that the IBF can be reduced to 0.2% level in an optimized configuration denoted as "ACBA". This strategy for staggered THGEM could have potential applications in future TPC projects.


title: Spin-glass behavior in Shastry-Sutherland lattice of Tm$_\textbf{2}$Cu$_\textbf{2}$In

abstract: The spin-glass behavior in the ferromagnetic phase of $\mathrm{Tm_2Cu_2In}$ was investigated by dc-, ac-magnetization, and non-equilibrium dynamics characterizations. Arc-melted polycrystalline compound of $\mathrm{Tm_2Cu_2In}$ crystallizes in $\mathrm{Mo_2FeB_2}$-type tetragonal structure (space group $P_4/mbm$). The temperature variation dc-magnetization exhibits a ferromagnetic behavior with Curie temperature $T_C$ = 32.5 K. The zero-field cooled (ZFC) and field cooled (FC) magnetic curves show a thermomagnetic irreversible behavior below $T_C$. The field dependence of irreversible temperature follows Almeida-Thouless line. The frequency and ac-driven field-dependent anomalies in ac-susceptibility results indicate the existence of spin-glass state in $\mathrm{Tm_2Cu_2In}$. The time dependence of magnetization further supports the spin-glass behavior observed in $\mathrm{Tm_2Cu_2In}$. The frequency dependence of the freezing temperature in the real part of ac-susceptibility has been analyzed on the basis power-law divergence and Vogel-Fulcher law. The obtained results revealed that $\mathrm{Tm_2Cu_2In}$ belongs to a ferromagnetic canonical spin-glass class of compounds.


title: Scheduling with Machine Conflicts

abstract: We study the scheduling problem of makespan minimization while taking machine conflicts into account. Machine conflicts arise in various settings, e.g., shared resources for pre- and post-processing of tasks or spatial restrictions. In this context, each job has a blocking time before and after its processing time, i.e., three parameters. We seek for conflict-free schedules in which the blocking times of no two jobs intersect on conflicting machines. Given a set of jobs, a set of machines, and a graph representing machine conflicts, the problem SchedulingWithMachineConflicts (SMC), asks for a conflict-free schedule of minimum makespan. We show that, unless $\textrm{P}=\textrm{NP}$, SMC on $m$ machines does not allow for a $\mathcal{O}(m^{1-\varepsilon})$-approximation algorithm for any $\varepsilon>0$, even in the case of identical jobs and every choice of fixed positive parameters, including the unit case. Complementary, we provide approximation algorithms when a suitable collection of independent sets is given. Finally, we present polynomial time algorithms to solve the problem for the case of unit jobs on special graph classes. Most prominently, we solve it for bipartite graphs by using structural insights for conflict graphs of star forests.


title: The MELODIC family for simultaneous binary logistic regression in a reduced space

abstract: Logistic regression is a commonly used method for binary classification. Researchers often have more than a single binary response variable and simultaneous analysis is beneficial because it provides insight into the dependencies among response variables as well as between the predictor variables and the responses. Moreover, in such a simultaneous analysis the equations can lend each other strength, which might increase predictive accuracy. In this paper, we propose the MELODIC family for simultaneous binary logistic regression modeling. In this family, the regression models are defined in a Euclidean space of reduced dimension, based on a distance rule. The model may be interpreted in terms of logistic regression coefficients or in terms of a biplot. We discuss a fast iterative majorization (or MM) algorithm for parameter estimation. Two applications are shown in detail: one relating personality characteristics to drug consumption profiles and one relating personality characteristics to depressive and anxiety disorders. We present a thorough comparison of our MELODIC family with alternative approaches for multivariate binary data.


title: Variational theory combining number-projected BCS and coupled-cluster doubles

abstract: The ground state pairing correlations in finite fermionic systems are described with a high degree of accuracy within a variational approach based on a combined coupled-cluster and particle-number-projected BCS ansatz. The flexibility of this symmetry-preserving wavefunction enables a unified picture valid from weak to strong coupling, both in small and large systems. The present variational approach consistently yields an energy upper bound while operating at the same level of precision of the non-variational particle-number projected Bogoliubov-coupled-cluster theory [Phys. Rev. C 99, 044301 (2019)].


title: Usability Aware Secret Protection with Minimum Cost

abstract: In this paper we study a cybersecurity problem of protecting system's secrets with multiple protections and a required security level, while minimizing the associated cost due to implementation/maintenance of these protections as well as the affected system usability. The target system is modeled as a discrete-event system (DES) in which there are a subset of marker states denoting the services/functions provided to regular users, a subset of secret states, and multiple subsets of protectable events with different security levels. We first introduce usability-aware cost levels for the protectable events, and then formulate the security problem as to ensure that every system trajectory that reaches a secret state contains a specified number of protectable events with at least a certain security level, and the highest usability-aware cost level of these events is minimum. We first provide a necessary and sufficient condition under which this security problem is solvable, and when this condition holds we propose an algorithm to solve the problem based on the supervisory control theory of DES. Moreover, we extend the problem to the case of heterogeneous secrets with different levels of importance, and develop an algorithm to solve this extended problem. Finally, we demonstrate the effectiveness of our solutions with a network security example.


title: Significant Otter: Understanding the Role of Biosignals in Communication

abstract: With the growing ubiquity of wearable devices, sensed physiological responses provide new means to connect with others. While recent research demonstrates the expressive potential for biosignals, the value of sharing these personal data remains unclear. To understand their role in communication, we created Significant Otter, an Apple Watch/iPhone app that enables romantic partners to share and respond to each other's biosignals in the form of animated otter avatars. In a one-month study with 20 couples, participants used Significant Otter with biosignals sensing OFF and ON. We found that while sensing OFF enabled couples to keep in touch, sensing ON enabled easier and more authentic communication that fostered social connection. However, the addition of biosignals introduced concerns about autonomy and agency over the messages they sent. We discuss design implications and future directions for communication systems that recommend messages based on biosignals.


title: Cubic and quartic points on modular curves using generalised symmetric Chabauty

abstract: Answering a question of Zureick-Brown, we determine the cubic points on the modular curves $X_0(N)$ for $N \in \{53,57,61,65,67,73\}$ as well as the quartic points on $X_0(65)$. To do so, we develop a "partially relative" symmetric Chabauty method. Our results generalise current symmetric Chabauty theorems, and improve upon them by lowering the involved prime bound. For our curves a number of novelties occur. We prove a "higher order" Chabauty theorem to deal with these cases. Finally, to study the isolated quartic points on $X_0(65)$, we rigorously compute the full rational Mordell--Weil group of its Jacobian.


title: Analytical solution to the radiotherapy fractionation problem including dose bound constraints

abstract: This paper deals with the classic radiotherapy dose fractionation problem for cancer tumors concerning the following goals: a) To maximize the effect of radiation on the tumor, restricting the effect produced to the organs at risk (healing approach). b) To minimize the effect of radiation on the organs at risk, while maintaining enough effect of radiation on the tumor (palliative approach). We will assume the linear-quadratic model to characterize the radiation effect and consider the stationary case (that is, without taking into account the timing of doses and the tumor growth between them). The main novelty with respect to previous works concerns the presence of minimum and maximum dose fractions, to achieve the minimum effect and to avoid undesirable side effects, respectively. We have characterized in which situations is more convenient the hypofractionated protocol (deliver few fractions with high dose per fraction) and in which ones the hyperfractionated regimen (deliver a large number of lower doses of radiation) is the optimal strategy. In all cases, analytical solutions to the problem are obtained in terms of the data. In addition, the calculations to implement these solutions are elementary and can be carried out using a pocket calculator.


title: Non-Local Thermodynamic Equilibrium Radiative Transfer Simulations of Sub-Chandrasekhar-Mass White Dwarf Detonations

abstract: Type Ia supernovae (SNe Ia) span a range of luminosities and timescales, from rapidly evolving subluminous to slowly evolving overluminous subtypes. Previous theoretical work has, for the most part, been unable to match the entire breadth of observed SNe Ia with one progenitor scenario. Here, for the first time, we apply non-local thermodynamic equilibrium radiative transfer calculations to a range of accurate explosion models of sub-Chandrasekhar-mass white dwarf detonations. The resulting photometry and spectra are in excellent agreement with the range of observed non-peculiar SNe Ia through 15 d after the time of B-band maximum, yielding one of the first examples of a quantitative match to the entire Phillips (1993) relation. The intermediate-mass element velocities inferred from theoretical spectra at maximum light for the more massive white dwarf explosions are higher than those of bright observed SNe Ia, but these and other discrepancies likely stem from the one-dimensional nature of our explosion models and will be improved upon by future non-local thermodynamic equilibrium radiation transport calculations of multi-dimensional sub-Chandrasekhar-mass white dwarf detonations.


title: Going Beyond Saliency Maps: Training Deep Models to Interpret Deep Models

abstract: Interpretability is a critical factor in applying complex deep learning models to advance the understanding of brain disorders in neuroimaging studies. To interpret the decision process of a trained classifier, existing techniques typically rely on saliency maps to quantify the voxel-wise or feature-level importance for classification through partial derivatives. Despite providing some level of localization, these maps are not human-understandable from the neuroscience perspective as they do not inform the specific meaning of the alteration linked to the brain disorder. Inspired by the image-to-image translation scheme, we propose to train simulator networks that can warp a given image to inject or remove patterns of the disease. These networks are trained such that the classifier produces consistently increased or decreased prediction logits for the simulated images. Moreover, we propose to couple all the simulators into a unified model based on conditional convolution. We applied our approach to interpreting classifiers trained on a synthetic dataset and two neuroimaging datasets to visualize the effect of the Alzheimer's disease and alcohol use disorder. Compared to the saliency maps generated by baseline approaches, our simulations and visualizations based on the Jacobian determinants of the warping field reveal meaningful and understandable patterns related to the diseases.


title: SDSS-IV MaNGA: Blueberry Candidates Associated with LSB Galaxies $-$ Merger or Tidal Dwarf Systems ?

abstract: We report here our finding of two new blueberry galaxies using optical IFU spectroscopic data from the MaNGA survey. Both the blueberries are found to be compact ($\leq$ $1 - 2$ kpc) starburst systems located at the outskirts of Low Surface Brightness (LSB) galaxies. Our blueberries have the lowest stellar masses $\sim$ 10$^{5}$ M$_{\odot}$ amongst the locally known blueberry galaxies. We find a significantly large mean metallicity difference ($\sim$ 0.5 dex) between the blueberry sources and their associated LSBs. Moreover, the radial metallicity gradients in our blueberries are also different than their respective LSBs - suggesting that these had significantly different metallicity histories. The likelihood of survival of these blueberries as TDGs is analyzed based on their structural and kinematic properties. Our analysis shows that although the two blueberries are stable against internal motions, they would not have survived against the tidal force of the host galaxy. Based on the velocity difference between the host LSBs and the blueberries, it appears that they are compact, starburst systems in their advanced stage of merger with these LSBs situated in a dense environment. Implications of our findings are discussed.


title: Stability of scar states in 2D PXP model against random disorders

abstract: Recently a class of quantum systems exhibiting weak ergodicity breaking has attracted much attention. These systems feature a special band of eigenstates called quantum many-body scar states in the energy spectrum. In this work we study the fate of quantum many-body scar states in a two-dimensional lattice against random disorders. We show that in both the square lattice and the honeycomb lattice the scar states can persist up to a finite disorder strength, before eventually being erased by the disorder. We further study the localization properties of the system in the presence of even stronger disorders and show that whether a full localization transition occurs depends on the type of disorder we introduce. Our study thus reveals the fascinating interplay between disorder and quantum many-body scarring in a two-dimensional system.


title: Positivity-preserving methods for population models

abstract: Many important applications are modelled by differential equations with positive solutions. However, it remains an outstanding open problem to develop numerical methods that are both (i) of a high order of accuracy and (ii) capable of preserving positivity. It is known that the two main families of numerical methods, Runge-Kutta methods and multistep methods, face an order barrier: if they preserve positivity, then they are constrained to low accuracy: they cannot be better than first order. We propose novel methods that overcome this barrier: our methods are of second order, and they are guaranteed to preserve positivity. Our methods apply to a large class of differential equations that have a special graph Laplacian structure, which we elucidate. The equations need be neither linear nor autonomous and the graph Laplacian need not be symmetric. This algebraic structure arises naturally in many important applications where positivity is required. We showcase our new methods on applications where standard high order methods fail to preserve positivity, including infectious diseases, Markov processes, master equations and chemical reactions.


title: Online matching in lossless expanders

abstract: Bauwens and Zimand [BZ 2019] have shown that lossless expanders have an interesting online matching property. The result appears in an implicit form in [BZ 2019]. We present an explicit version of this property which is directly amenable to typical applications, prove it in a self-contained manner that clarifies the role of some parameters, and give two applications. A $(K, \epsilon)$ lossless expander is a bipartite graph such that any subset $S$ of size at most $K$ of nodes on the left side of the bipartition has at least $(1-\epsilon) D |S|$ neighbors, where $D$ is the left degree.The main result is that any such graph, after a slight modification, admits $(1-O(\epsilon)D, 1)$ online matching up to size $K$. This means that for any sequence $S=(x_1, \ldots, x_K)$ of nodes on the left side of the bipartition, one can assign in an online manner to each node $x_i$ in $S$ a set $A_i$ consisting of $(1-O(\epsilon))$ fraction of its neighbors so that the sets $A_1, \ldots, A_K$ are pairwise disjoint. "Online manner" refers to the fact that, for every $i$, the set of nodes assigned to $x_i$ only depends on the nodes assigned to $x_1, \ldots, x_{i-1}$. The first application concerns storage schemes for representing a set $S$, so that a membership query "Is $x \in S$?" can be answered probabilistically by reading a single bit. All the previous one-probe storage schemes were for a static set $S$. We show that a lossless expander can be used to construct a one-probe storage scheme for dynamic sets, i.e., sets in which elements can be inserted and deleted without affecting the representation of other elements. The second application is about non-blocking networks.


title: Differentially Private Quantiles

abstract: Quantiles are often used for summarizing and understanding data. If that data is sensitive, it may be necessary to compute quantiles in a way that is differentially private, providing theoretical guarantees that the result does not reveal private information. However, when multiple quantiles are needed, existing differentially private algorithms fare poorly: they either compute quantiles individually, splitting the privacy budget, or summarize the entire distribution, wasting effort. In either case the result is reduced accuracy. In this work we propose an instance of the exponential mechanism that simultaneously estimates exactly $m$ quantiles from $n$ data points while guaranteeing differential privacy. The utility function is carefully structured to allow for an efficient implementation that returns estimates of all $m$ quantiles in time $O(mn\log(n) + m^2n)$. Experiments show that our method significantly outperforms the current state of the art on both real and synthetic data while remaining efficient enough to be practical.


title: Classification of multivariate weakly-labelled time-series with attention

abstract: This research identifies a gap in weakly-labelled multivariate time-series classification (TSC), where state-of-the-art TSC models do not per-form well. Weakly labelled time-series are time-series containing noise and significant redundancies. In response to this gap, this paper proposes an approach of exploiting context relevance of subsequences from previous subsequences to improve classification accuracy. To achieve this, state-of-the-art Attention algorithms are experimented in combination with the top CNN models for TSC (FCN and ResNet), in an CNN-LSTM architecture. Attention is a popular strategy for context extraction with exceptional performance in modern sequence-to-sequence tasks. This paper shows how attention algorithms can be used for improved weakly labelledTSC by evaluating models on a multivariate EEG time-series dataset obtained using a commercial Emotiv headsets from participants performing various activities while driving. These time-series are segmented into sub-sequences and labelled to allow supervised TSC.


title: Hyperfast Second-Order Local Solvers for Efficient Statistically Preconditioned Distributed Optimization

abstract: Statistical preconditioning enables fast methods for distributed large-scale empirical risk minimization problems. In this approach, multiple worker nodes compute gradients in parallel, which are then used by the central node to update the parameter by solving an auxiliary (preconditioned) smaller-scale optimization problem. The recently proposed Statistically Preconditioned Accelerated Gradient (SPAG) method has complexity bounds superior to other such algorithms but requires an exact solution for computationally intensive auxiliary optimization problems at every iteration. In this paper, we propose an Inexact SPAG (InSPAG) and explicitly characterize the accuracy by which the corresponding auxiliary subproblem needs to be solved to guarantee the same convergence rate as the exact method. We build our results by first developing an inexact adaptive accelerated Bregman proximal gradient method for general optimization problems under relative smoothness and strong convexity assumptions, which may be of independent interest. Moreover, we explore the properties of the auxiliary problem in the InSPAG algorithm assuming Lipschitz third-order derivatives and strong convexity. For such problem class, we develop a linearly convergent Hyperfast second-order method and estimate the total complexity of the InSPAG method with hyperfast auxiliary problem solver. Finally, we illustrate the proposed method's practical efficiency by performing large-scale numerical experiments on logistic regression models. To the best of our knowledge, these are the first empirical results on implementing high-order methods on large-scale problems, we work with data where the dimension is of the order of~$3$ million, and the number of samples is~$700$ million.


title: Probabilistic Localization of Insect-Scale Drones on Floating-Gate Inverter Arrays

abstract: We propose a novel compute-in-memory (CIM)-based ultra-low-power framework for probabilistic localization of insect-scale drones. The conventional probabilistic localization approaches rely on the three-dimensional (3D) Gaussian Mixture Model (GMM)-based representation of a 3D map. A GMM model with hundreds of mixture functions is typically needed to adequately learn and represent the intricacies of the map. Meanwhile, localization using complex GMM map models is computationally intensive. Since insect-scale drones operate under extremely limited area/power budget, continuous localization using GMM models entails much higher operating energy -- thereby, limiting flying duration and/or size of the drone due to a larger battery. Addressing the computational challenges of localization in an insect-scale drone using a CIM approach, we propose a novel framework of 3D map representation using a harmonic mean of "Gaussian-like" mixture (HMGM) model. The likelihood function useful for drone localization can be efficiently implemented by connecting many multi-input inverters in parallel, each programmed with the parameters of the 3D map model represented as HMGM. When the depth measurements are projected to the input of the implementation, the summed current of the inverters emulates the likelihood of the measurement. We have characterized our approach on an RGB-D indoor localization dataset. The average localization error in our approach is $\sim$0.1125 m which is only slightly degraded than software-based evaluation ($\sim$0.08 m). Meanwhile, our localization framework is ultra-low-power, consuming as little as $\sim$17 $\mu$W power while processing a depth frame in 1.33 ms over hundred pose hypotheses in the particle-filtering (PF) algorithm used to localize the drone.


title: Hierarchical VAEs Know What They Don't Know

abstract: Deep generative models have been demonstrated as state-of-the-art density estimators. Yet, recent work has found that they often assign a higher likelihood to data from outside the training distribution. This seemingly paradoxical behavior has caused concerns over the quality of the attained density estimates. In the context of hierarchical variational autoencoders, we provide evidence to explain this behavior by out-of-distribution data having in-distribution low-level features. We argue that this is both expected and desirable behavior. With this insight in hand, we develop a fast, scalable and fully unsupervised likelihood-ratio score for OOD detection that requires data to be in-distribution across all feature-levels. We benchmark the method on a vast set of data and model combinations and achieve state-of-the-art results on out-of-distribution detection.


title: Deciphering Social Opinion Polarization Towards Political Event Based on Content and Structural Analysis

abstract: There are some shreds of evidence that social opinion polarization leads to the breakup of the relationship, some in the scale of small communities, but others can divide large organizations or even a nation. The legacy methodology to answer the root cause of opinion polarization in the society commonly use random sampling or questionnaire-based approach, which considered expensive in term of time and money. On the contrary, the opportunity to employ big data approach using social media data provides a rich source to investigate several questions, such as: how social opinion polarization formed, dynamic social network mechanisms during time-windows observation, identification of dominant actors and communities. The power of the big data approach lies in the number of data analyzed, where the more data involved in the process, the more accurate to describe the population condition. Today, computing power is no longer become an obstacle to process large-scale data, thus the observation of the social opinion polarization process is possible.


title: Polar Codes for Automorphism Ensemble Decoding

abstract: In this paper we deal with polar code automorphisms that are beneficial under low-latency automorphism ensemble (AE) decoding, and we propose polar code designs that have such automorphisms. Successive-cancellation (SC) decoding and thus SC-based AE decoding are invariant with respect to the only known polar code automorphisms, namely those of the lower-triangular affine (LTA) group. To overcome this problem, we provide methods to determine whether a given polar code has non-LTA automorphisms and to identify such automorphisms. Building on this, we design specific polar codes that admit automorphisms in the upper-diagonal linear (UTL) group, and thus render SC-based AE decoding effective. Demonstrated by examples, these new polar codes under AE decoding outperform conventional polar codes under SC list decoding in terms of error rate, while keeping the latency comparable to SC decoding. Moreover, state-of-the-art BP-based permutation decoding for polar codes is beaten by BP-based AE thanks to this design.


title: Reinforced Contact Tracing and Epidemic Intervention

abstract: The recent outbreak of COVID-19 poses a serious threat to people's lives. Epidemic control strategies have also caused damage to the economy by cutting off humans' daily commute. In this paper, we develop an Individual-based Reinforcement Learning Epidemic Control Agent (IDRLECA) to search for smart epidemic control strategies that can simultaneously minimize infections and the cost of mobility intervention. IDRLECA first hires an infection probability model to calculate the current infection probability of each individual. Then, the infection probabilities together with individuals' health status and movement information are fed to a novel GNN to estimate the spread of the virus through human contacts. The estimated risks are used to further support an RL agent to select individual-level epidemic-control actions. The training of IDRLECA is guided by a specially designed reward function considering both the cost of mobility intervention and the effectiveness of epidemic control. Moreover, we design a constraint for control-action selection that eases its difficulty and further improve exploring efficiency. Extensive experimental results demonstrate that IDRLECA can suppress infections at a very low level and retain more than 95% of human mobility.


title: Fanaroff-Riley classification of radio galaxies using group-equivariant convolutional neural networks

abstract: Weight sharing in convolutional neural networks (CNNs) ensures that their feature maps will be translation-equivariant. However, although conventional convolutions are equivariant to translation, they are not equivariant to other isometries of the input image data, such as rotation and reflection. For the classification of astronomical objects such as radio galaxies, which are expected statistically to be globally orientation invariant, this lack of dihedral equivariance means that a conventional CNN must learn explicitly to classify all rotated versions of a particular type of object individually. In this work we present the first application of group-equivariant convolutional neural networks to radio galaxy classification and explore their potential for reducing intra-class variability by preserving equivariance for the Euclidean group E(2), containing translations, rotations and reflections. For the radio galaxy classification problem considered here, we find that classification performance is modestly improved by the use of both cyclic and dihedral models without additional hyper-parameter tuning, and that a D16 equivariant model provides the best test performance. We use the Monte Carlo Dropout method as a Bayesian approximation to recover epistemic uncertainty as a function of image orientation and show that E(2)-equivariant models are able to reduce variations in model confidence as a function of rotation.


title: Mobility-based prediction of SARS-CoV-2 spreading

abstract: The rapid spreading of SARS-CoV-2 and its dramatic consequences, are forcing policymakers to take strict measures in order to keep the population safe. At the same time, societal and economical interactions are to be safeguarded. A wide spectrum of containment measures have been hence devised and implemented, in different countries and at different stages of the pandemic evolution. Mobility towards workplace or retails, public transit usage and permanence in residential areas constitute reliable tools to indirectly photograph the actual grade of the imposed containment protocols. In this paper, taking Italy as an example, we will develop and test a deep learning model which can forecast various spreading scenarios based on different mobility indices, at a regional level. We will show that containment measures contribute to "flatten the curve" and quantify the minimum time frame necessary for the imposed restrictions to result in a perceptible impact, depending on their associated grade.


title: Support $\tau_2$-tilting and 2-torsion pairs

abstract: The theory of $\tau$-tilting was introduced by Adachi--Iyama--Reiten; one of the main results is a bijection between support $\tau$-tilting modules and torsion classes. We are able to generalise this result in the context of the higher Auslander--Reiten theory of Iyama. For a finite-dimensional algebra $A$ with 2-cluster-tilting subcategory $\mathcal{C}\subseteq\mathrm{mod}A$, we are able to find a correspondence between support $\tau_2$-tilting $A$-modules and torsion pairs in $\mathcal{C}$ satisfying an additional functorial finiteness condition.


title: Bayesian Data Synthesis and the Utility-Risk Trade-Off for Mixed Epidemiological Data

abstract: Much of the micro data used for epidemiological studies contain sensitive measurements on real individuals. As a result, such micro data cannot be published out of privacy concerns, rendering any published statistical analyses on them nearly impossible to reproduce. To promote the dissemination of key datasets for analysis without jeopardizing the privacy of individuals, we introduce a cohesive Bayesian framework for the generation of fully synthetic, high dimensional micro datasets of mixed categorical, binary, count, and continuous variables. This process centers around a joint Bayesian model that is simultaneously compatible with all of these data types, enabling the creation of mixed synthetic datasets through posterior predictive sampling. Furthermore, a focal point of epidemiological data analysis is the study of conditional relationships between various exposures and key outcome variables through regression analysis. We design a modified data synthesis strategy to target and preserve these conditional relationships, including both nonlinearities and interactions. The proposed techniques are deployed to create a synthetic version of a confidential dataset containing dozens of health, cognitive, and social measurements on nearly 20,000 North Carolina children.


title: On-Demand Transit User Preference Analysis using Hybrid Choice Models

abstract: In light of the increasing interest to transform the fixed-route public transit (FRT) services into on-demand transit (ODT) services, there exists a strong need for a comprehensive evaluation of the effects of this shift on the users. Such an analysis can help the municipalities and service providers to design and operate more convenient, attractive, and sustainable transit solutions. To understand the user preferences, we developed three hybrid choice models: integrated choice and latent variable (ICLV), latent class (LC), and latent class integrated choice and latent variable (LC-ICLV) models. We used these models to analyze the public transit user's preferences in Belleville, Ontario, Canada. Hybrid choice models were estimated using a rich dataset that combined the actual level of service attributes obtained from Belleville's ODT service and self-reported usage behaviour obtained from a revealed preference survey of the ODT users. The latent class models divided the users into two groups with different travel behaviour and preferences. The results showed that the captive user's preference for ODT service was significantly affected by the number of unassigned trips, in-vehicle time, and main travel mode before the ODT service started. On the other hand, the non-captive user's service preference was significantly affected by the Time Sensitivity and the Online Service Satisfaction latent variables, as well as the performance of the ODT service and trip purpose. This study attaches importance to improving the reliability and performance of the ODT service and outlines directions for reducing operational costs by updating the required fleet size and assigning more vehicles for work-related trips.


title: Dark matter admixed neutron stars

abstract: Neutron stars could contain a mixture of ordinary nuclear matter and dark matter, such that dark matter could influence observable properties of the star, such as its mass and radius. We study these dark matter admixed neutron stars for two choices of dark matter: a free Fermi gas and mirror dark matter. In addition to solving the multi-fluid Tolman-Oppenheimer-Volkoff equations for static solutions and presenting mass-radius diagrams, we focus on two computations that are lacking in the literature. The first is a rigorous determination of stability over the whole of parameter space, which we do using two different methods. The first method is based on harmonic time-dependent perturbations to the static solutions and on solving for the radial oscillation frequency. The second method, which is less well-known, conveniently makes use of unperturbed, static solutions only. The second computation is of the radial oscillation frequency, for fundamental modes, over large swaths of parameter space.


title: Split Casimir operator for simple Lie algebras, solutions of Yang-Baxter equations and Vogel parameters

abstract: We construct characteristic identities for the split (polarized) Casimir operators of the simple Lie algebras in defining (minimal fundamental) and adjoint representations. By means of these characteristic identities, for all simple Lie algebras we derive explicit formulae for invariant projectors onto irreducible subrepresentations in T^{\otimes 2} in two cases, when T is the defining and the adjoint representation. In the case when T is the defining representation, these projectors and the split Casimir operator are used to explicitly write down invariant solutions of the Yang-Baxter equations. In the case when T is the adjoint representation, these projectors and characteristic identities are considered from the viewpoint of the universal description of the simple Lie algebras in terms of the Vogel parameters.


title: Dataset Condensation with Differentiable Siamese Augmentation

abstract: In many machine learning problems, large-scale datasets have become the de-facto standard to train state-of-the-art deep networks at the price of heavy computation load. In this paper, we focus on condensing large training sets into significantly smaller synthetic sets which can be used to train deep neural networks from scratch with minimum drop in performance. Inspired from the recent training set synthesis methods, we propose Differentiable Siamese Augmentation that enables effective use of data augmentation to synthesize more informative synthetic images and thus achieves better performance when training networks with augmentations. Experiments on multiple image classification benchmarks demonstrate that the proposed method obtains substantial gains over the state-of-the-art, 7% improvements on CIFAR10 and CIFAR100 datasets. We show with only less than 1% data that our method achieves 99.6%, 94.9%, 88.5%, 71.5% relative performance on MNIST, FashionMNIST, SVHN, CIFAR10 respectively. We also explore the use of our method in continual learning and neural architecture search, and show promising results.


title: Euler Characteristic Surfaces

abstract: We study the use of the Euler characteristic for multiparameter topological data analysis. Euler characteristic is a classical, well-understood topological invariant that has appeared in numerous applications, including in the context of random fields. The goal of this paper is to present the extension of using the Euler characteristic in higher-dimensional parameter spaces. While topological data analysis of higher-dimensional parameter spaces using stronger invariants such as homology continues to be the subject of intense research, Euler characteristic is more manageable theoretically and computationally, and this analysis can be seen as an important intermediary step in multi-parameter topological data analysis. We show the usefulness of the techniques using artificially generated examples, and a real-world application of detecting diabetic retinopathy in retinal images.


title: Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems

abstract: Planning in hybrid systems with both discrete and continuous control variables is important for dealing with real-world applications such as extra-planetary exploration and multi-vehicle transportation systems. Meanwhile, generating high-quality solutions given certain hybrid planning specifications is crucial to building high-performance hybrid systems. However, since hybrid planning is challenging in general, most methods use greedy search that is guided by various heuristics, which is neither complete nor optimal and often falls into blind search towards an infinite-action plan. In this paper, we present a hybrid automaton planning formalism and propose an optimal approach that encodes this planning problem as a Mixed Integer Linear Program (MILP) by fixing the action number of automaton runs. We also show an extension of our approach for reasoning over temporally concurrent goals. By leveraging an efficient MILP optimizer, our method is able to generate provably optimal solutions for complex mixed discrete-continuous planning problems within a reasonable time. We use several case studies to demonstrate the extraordinary performance of our hybrid planning method and show that it outperforms a state-of-the-art hybrid planner, Scotty, in both efficiency and solution qualities.


title: An Effort to Measure Customer Relationship Performance in Indonesia's Fintech Industry

abstract: The availability of social media simplifies the companies-customers relationship. An effort to engage customers in conversation networks using social media is called Social Customer Relationship Management (SCRM). Social Network Analysis helps to understand network characteristics and how active the conversation network on social media. Calculating its network properties is beneficial for measuring customer relationship performance. Financial Technology, a new emerging industry that provides digital-based financial services utilize social media to interact with its customers. Measuring SCRM performance is needed in order to stay competitive among others. Therefore, we aim to explore the SCRM performance of the Indonesia Fintech company. In terms of discovering the market majority thought in conversation networks, we perform sentiment analysis by classifying into positive and negative opinion. As case studies, we investigate Twitter conversations about GoPay, OVO, Dana, and LinkAja during the observation period from 1st October until 1st November 2019. The result of this research is beneficial for business intelligence purposes especially in managing relationships with customers.


title: The substructure of the Perseus star forming region: A survey with Gaia DR2

abstract: We use photometric and kinematic data from Gaia DR2 to explore the structure of the star forming region associated with the molecular cloud of Perseus. Apart from the two well known clusters, IC 348 and NGC 1333, we present five new clustered groups of young stars, which contain between 30 and 300 members, named Autochthe, Alcaeus, Heleus, Electryon and Mestor. We demonstrate these are co-moving groups of young stars, based on how the candidate members are distributed in position, proper motion, parallax and colour-magnitude space. By comparing their colour-magnitude diagrams to isochrones we show that they have ages between 1 and 5 Myr. Using 2MASS and WISE colours we find that the fraction of stars with discs in each group ranges from 10 to 50 percent. The youngest of the new groups is also associated with a reservoir of cold dust, according to the Planck map at 353 GHz. We compare the ages and proper motions of the five new groups to those of IC 348 and NGC 1333. Autochthe is clearly linked with NGC 1333 and may have formed in the same star formation event. The seven groups separate roughly into two sets which share proper motion, parallax and age: Heleus, Electryon, Mestor as the older set, and NGC 1333, Autochthe as the younger set. Alcaeus is kinematically related to the younger set, but at a more advanced age, while the properties of IC 348 overlap with both sets. All older groups in this star forming region are located at higher galactic latitude.


title: Plasmonic Waveguides to Enhance Quantum Electrodynamic Phenomena at the Nanoscale

abstract: The emerging field of plasmonics can lead to enhanced light matter interactions at extremely nanoscale regions. Plasmonic (metallic) devices promise to efficiently control both classical and quantum properties of light. Plasmonic waveguides are usually used to excite confined electromagnetic modes at the nanoscale that can strongly interact with matter. The analysis of these nanowaveguides exhibits similarities with their low frequency microwave counterparts. In this article, we review ways to study plasmonic nanostructures coupled to quantum optical emitters from a classical electromagnetic perspective. These quantum emitters are mainly used to generate single photon quantum light that can be employed as a quantum bit or qubit in the envisioned quantum information technologies. We demonstrate different ways to enhance a diverse range of quantum electrodynamic phenomena based on plasmonic configurations by using the classical dyadic tensor Green function formalism. More specifically, spontaneous emission and superradiance are analyzed by using the Green function based field quantization. The exciting new field of quantum plasmonics will lead to a plethora of novel optical devices for communications and computing applications operating in the quantum realm, such as efficient single-photon sources, quantum sensors, and compact on-chip nanophotonic circuits.


title: Quantitative powder diffraction using a (2+3) surface diffractometer and an area detector

abstract: X-ray diffractometers primarily designed for surface x-ray diffraction are often used to measure the diffraction from powders, textured materials, and fiber-texture samples in so-called $2\theta$ scans. Unlike high-energy powder diffraction only a fraction of the powder rings is typically measured and the data consists of many detector images across the $2\theta$ range. Such diffractometers typically scan in directions not possible on a conventional lab-diffractometer, which gives enhanced control of the scattering vector relative to the sample orientation. There are, however, very few examples where the measured intensity is directly used, such as for profile/Rietveld refinement, as is common with other powder diffraction data. Although the underlying physics is known, converting the data is time-consuming and the appropriate corrections are dispersed across several publications, often not with powder diffraction in mind. In this paper we present the angle calculations and correction factors required to calculate meaningful intensities for $2\theta$ scans with a (2+3)-type diffractometer and an area detector. We also discuss some of the limitations with respect to texture, refraction, and instrumental resolution, and what kind of information one can hope to obtain.


title: Theoretical analysis on the transient ignition of premixed expanding flame in a quiescent mixture

abstract: The present theory considers the transient evolution of the temperature and fuel mass fraction distributions, and it can determine the critical heating power and minimum ignition energy for successful ignition. The flame initiation process subject to central heating can be approximately decomposed into four stages, i.e., the fast establishment of the ignition kernel, the ignition-energy-supported flame kernel propagation, unsteady transition of the flame kernel, and quasi-steady spherical flame propagation. Comparison between present transient theory and previous quasi-steady theory indicates that the unsteady effects directly lead to the appearance of flame kernel establishing stage and considerably affect the subsequent flame kernel development by lowering the flame propagation speed. Time scale analysis is conducted, and it is found that the transient formulation completely degenerates to the quasi-steady theory either in the neighborhood of stationary flame ball or as approaching the planar flame. Previous quasi-steady theory shows that the critical heating power for successful ignition is proportional to the cube of the critical flame radius. However, the critical heating power predicted by the present transient formulation deviates this scaling law, which can be attributed to the unsteady thermal conduction from heating center to the flame front. Furthermore, in the transient formulation the central heating with finite duration is considered and the minimum ignition energy is obtained. For the first time, the memory effect that persistently drives flame propagation subsequent to central heating switching-off is examined. It is found that as the heating power grows, the memory effect becomes increasingly important and it can greatly reduce the minimum ignition energy.


title: B-hadron hadro-production in NNLO QCD: application to LHC $t\bar{t}$ events with leptonic decays

abstract: We calculate, for the first time, the NNLO QCD corrections to identified heavy hadron production at hadron colliders. The calculation is based on a flexible numeric framework which allows the calculation of any distribution of a single identified heavy hadron plus jets and non-QCD particles. As a first application we provide NNLO QCD predictions for several differential distributions of $B$ hadrons in $t\bar t$ events at the LHC. Among others, these predictions are needed for the precise determination of the top quark mass. The extension of our results to other processes, like open or associated $B$ and charm production is straightforward. We also explore the prospects for extracting heavy flavor fragmentation functions from LHC data.


title: A Galoisian proof of Ritt theorem on the differential transcendence of Poincar\'e functions

abstract: Using Galois theory of functional equations, we give a new proof of the main result of the paper "Transcendental transcendency of certain functions of Poincar\'e" by J.F. Ritt, on the differential transcendence of the solutions of the functional equation R(y(t))=y(qt), where R is a rational function with complex coefficients which verifies R(0)=0, R'(0)=q, where q is a complex number with |q|>1. We also give a partial result in the case of an algebraic function R.


title: Materials genes of heterogeneous catalysis from clean experiments and artificial intelligence

abstract: Heterogeneous catalysis is an example of a complex materials function, governed by an intricate interplay of several processes, e.g., the different surface chemical reactions, and the dynamic re-structuring of the catalyst material at reaction conditions. Modelling the full catalytic progression via first-principles statistical mechanics is impractical, if not impossible. Instead, we show here how a tailored artificial-intelligence approach can be applied, even to a small number of materials, to model catalysis and determine the key descriptive parameters ("materials genes") reflecting the processes that trigger, facilitate, or hinder catalyst performance. We start from a consistent experimental set of "clean data", containing nine vanadium-based oxidation catalysts. These materials were synthesized, fully characterized, and tested according to standardized protocols. By applying the symbolic-regression SISSO approach, we identify correlations between the few most relevant materials properties and their reactivity. This approach highlights the underlying physicochemical processes, and accelerates catalyst design.


title: Brauer's Height Zero Conjecture for Principal Blocks

abstract: We prove \emph{the other half} of Brauer's Height Zero Conjecture in the case of principal blocks.


title: User Characteristics of Olympic Gold Medallists on Instagram: A Quantitative Analysis of Rio2016

abstract: The purpose of this study is to examine Olympic champions' characteristics on Instagram to first understand whether differences exist between male and female athletes and then to find possible correlations between these characteristics. We utilized a content analytic method to analyze Olympic gold medalists' photographs on Instagram. By this way we fetched data from Instagram pages of all those Rio2016 Olympic gold medalists who had their account publicly available. The analysis of data revealed the existence of a positive monotonic relationship between the ratio of following/follower and the ratio of engagement to follower for men gold medalists, and a strong negative monotonic relationship between age and ratio of self-presenting post of both men and women gold medalists which even take a linear form for men. These findings aligned with the relative theories and literature may come together to help the athletes to manage and expand their personal brand in social media.


title: Sharp $L^p$ bounds for the helical maximal function

abstract: We establish the $L^p(\mathbb{R}^3)$ boundedness of the helical maximal function for the sharp range $p>3$. Our results improve the previous known bounds for $p>4$. The key ingredient is a new microlocal smoothing estimate for averages along dilates of the helix, which is established via a square function analysis.


title: VIEW: a framework for organization level interactive record linkage to support reproducible data science

abstract: Objective: To design and evaluate a general framework for interactive record linkage using a convenient algorithm combined with tractable Human Intelligent Tasks (HITs; i.e. micro tasks requiring human judgment) that can support reproducible data science. Materials and Methods: Accurate linkage of real data requires both automatic processing of well-defined tasks and human processing of tasks that require human judgment (i.e., HITs) on messy data. We present a reproducible, interactive, and iterative framework for record linkage called VIEW (Visual Interactive Entity-resolution Workbench). We implemented and evaluated VIEW by integrating two commonly used hospital databases, the American Hospital Association (AHA) Annual Survey of Hospitals and the Medicare Cost Reports for Hospitals from CMS. Results: Using VIEW to iteratively standardize and clean the data, we linked all Texas hospitals common in both databases with 100% precision by confirming 78 approximate linkages using HITs and manually linking 28 hospitals using HITs. Discussion: Similarities in hospital names and addresses and the dynamic nature of hospital attributes over time make it impossible to build a fully automated linkage system for hospitals that can be maintained over time. VIEW is a software that supports a reproducible semi-automated process that can generate and track HITs to be reviewed and linked manually for messy data elements such as hospitals that have been merged. Conclusion: Effective software that can support the interactive and iterative process of record linkage, and well-designed HITs can streamline the linkage processes to support high quality replicable research using messy real data.


title: Sidelobe Modification for Reflector Antennas by Electronically-Reconfigurable Rim Scattering

abstract: Dynamic modification of the pattern of a reflector antenna system traditionally requires an array of feeds. This paper presents an alternative approach in which the scattering from a fraction of the reflector around the rim is passively modified using, for example, an electronically-reconfigurable reflectarray. This facilitates flexible sidelobe modification, including sidelobe canceling, for systems employing a single feed. Applications for such a system include radio astronomy, where deleterious levels of interference from satellites enter through sidelobes. We show that an efficient reconfigurable surface occupying about 11% of the area of an axisymmetric circular paraboloidal reflector antenna fed from the prime focus is sufficient to null interference arriving from any direction outside the main lobe with little change in the main lobe characteristics. We further show that the required surface area is independent of frequency and that the same performance can be obtained using 1-bit phase control of the constituent unit cells for a reconfigurable surface occupying an additional 6% of the reflector surface.


title: Evaluating Node Embeddings of Complex Networks

abstract: Graph embedding is a transformation of nodes of a graph into a set of vectors. A~good embedding should capture the graph topology, node-to-node relationship, and other relevant information about the graph, its subgraphs, and nodes. If these objectives are achieved, an embedding is a meaningful, understandable, compressed representations of a network that can be used for other machine learning tools such as node classification, community detection, or link prediction. The main challenge is that one needs to make sure that embeddings describe the properties of the graphs well. As a result, selecting the best embedding is a challenging task and very often requires domain experts. In this paper, we do a series of extensive experiments with selected graph embedding algorithms, both on real-world networks as well as artificially generated ones. Based on those experiments we formulate two general conclusions. First, if one needs to pick one embedding algorithm before running the experiments, then node2vec is the best choice as it performed best in our tests. Having said that, there is no single winner in all tests and, additionally, most embedding algorithms have hyperparameters that should be tuned and are randomized. Therefore, our main recommendation for practitioners is, if possible, to generate several embeddings for a problem at hand and then use a general framework that provides a tool for an unsupervised graph embedding comparison. This framework (introduced recently in the literature and easily available on GitHub repository) assigns the divergence score to embeddings to help distinguish good ones from bad ones.


title: Designs in finite metric spaces: a probabilistic approach

abstract: A finite metric space is called here distance degree regular if its distance degree sequence is the same for every vertex. A notion of designs in such spaces is introduced that generalizes that of designs in $Q$-polynomial distance-regular graphs. An approximation of their cumulative distribution function, based on the notion of Christoffel function in approximation theory is given. As an application we derive limit laws on the weight distributions of binary orthogonal arrays of strength going to infinity. An analogous result for combinatorial designs of strength going to infinity is given.


title: Drops in the wind: their dispersion and COVID-19 implications

abstract: Most of the works on the dispersion of droplets and their COVID-19 (Coronavirus disease) implications address droplets' dynamics in quiescent environments. As most droplets in a common situation are immersed in external flows (such as ambient flows), we consider the effect of canonical flow profiles namely, shear flow, Poiseuille flow, and unsteady shear flow on the transport of spherical droplets of radius ranging from 5$\mu$m to 100 $\mu $m, which are characteristic lengths in human talking, coughing or sneezing processes. The dynamics we employ satisfies the Maxey-Riley (M-R) equation. An order-of-magnitude estimate allows us to solve the M-R equation to leading order analytically, and to higher order (accounting for the Boussinesq-Basset memory term) numerically. Discarding evaporation, our results to leading order indicate that the maximum travelled distance for small droplets ($5\mu m$ radius) under a shear/Poiseuille external flow with a maximum flow speed of $1m/s$ may easily reach more than 250 meters, since those droplets remain in the air for around 600 seconds. The maximum travelled distance was also calculated to leading and higher orders, and it is observed that there is a small difference between the leading and higher order results, and that it depends on the strength of the flow. For example, this difference for droplets of radius $5\mu m$ in a shear flow, and with a maximum wind speed of $5m/s$, is seen to be around $2m$. In general, higher order terms are observed to slightly enhance droplets' dispersion and their flying time.


title: Realizability and tameness of fusion systems

abstract: A saturated fusion system over a finite $p$-group $S$ is a category whose objects are the subgroups of $S$ and whose morphisms are injective homomorphisms between the subgroups satisfying certain axioms. A fusion system over $S$ is realized by a finite group $G$ if $S$ is a Sylow $p$-subgroup of $G$ and morphisms in the category are those induced by conjugation in $G$. One recurrent question in this subject is to find criteria as to whether a given saturated fusion system is realizable or not. One main result in this paper is that a saturated fusion system is realizable if all of its components (in the sense of Aschbacher) are realizable. Another result is that all realizable fusion systems are tame: a finer condition on realizable fusion systems that involves describing automorphisms of a fusion system in terms of those of some group that realizes it. Stated in this way, these results depend on the classification of finite simple groups, but we also give more precise formulations whose proof is independent of the classification.


title: Analogue cosmological particle creation in an ultracold quantum fluid of light

abstract: In inflationary cosmology, the rapid expansion of the early universe resulted in the spontaneous production of cosmological particles from vacuum fluctuations, observable today in the cosmic microwave background anisotropies. The analogue of cosmological particle creation in a quantum fluid could provide insight, but an observation has not yet been achieved. Here we report the spontaneous creation of analogue cosmological particles in the laboratory, using a quenched 3-dimensional quantum fluid of light. We observe acoustic peaks in the density power spectrum, in close quantitative agreement with the quantum-field theoretical prediction. We find that the long-wavelength particles provide a window to early times, and we apply this principle to the cosmic microwave background. This work introduces a new quantum fluid, as cold as an atomic Bose-Einstein condensate.


title: Large format imaging spectrograph for the Large Submillimeter Telescope (LST)

abstract: We present a conceptual study of a large format imaging spectrograph for the Large Submillimeter Telescope (LST) and the Atacama Large Aperture Submillimeter Telescope (AtLAST). Recent observations of high-redshift galaxies indicate the onset of earliest star formation just a few 100 million years after the Big Bang (i.e., z = 12--15), and LST/AtLAST will provide a unique pathway to uncover spectroscopically-identified first forming galaxies in the pre-reionization era, once it will be equipped with a large format imaging spectrograph. We propose a 3-band (200, 255, and 350 GHz), medium resolution (R = 2,000) imaging spectrograph with 1.5 M detectors in total based on the KATANA concept (Karatsu et al. 2019), which exploits technologies of the integrated superconducting spectrometer (ISS) and a large-format imaging array. A 1-deg2 drilling survey (3,500 hr) will capture a large number of [O III] 88 um (and [C II] 158 um) emitters at z = 8--9, and constrain [O III] luminosity functions at z > 12.


title: On curves in K-theory and TR

abstract: We prove that TR is corepresentable by the reduced topological Hochschild homology of the flat affine line $\mathbf{S}[t]$ as a functor defined on the $\infty$-category of cyclotomic spectra with values in the $\infty$-category of spectra with Frobenius lifts, refining a result of Blumberg-Mandell. We define the notion of an integral topological Cartier module using Barwick's formalism of spectral Mackey functors on orbital $\infty$-categories, extending the work of Antieau-Nikolaus in the $p$-typical setting. As an application, we show that TR evaluated on a connective $\mathbf{E}_1$-ring admits a description in terms of the spectrum of curves on algebraic K-theory generalizing the work of Hesselholt and Betley-Schlichtkrull.


title: Persephone: A Pluto-System Orbiter and Kuiper Belt Explorer

abstract: Persephone is a NASA concept mission study that addresses key questions raised by New Horizons' encounters with Kuiper Belt objects (KBOs), with arguably the most important being "Does Pluto have a subsurface ocean?". More broadly, Persephone would answer four significant science questions: (1) What are the internal structures of Pluto and Charon? (2) How have the surfaces and atmospheres in the Pluto system evolved? (3) How has the KBO population evolved? (4) What are the particles and magnetic field environments of the Kuiper Belt? To answer these questions, Persephone has a comprehensive payload, and would both orbit within the Pluto system and encounter other KBOs. The nominal mission is 30.7 years long, with launch in 2031 on a Space Launch System (SLS) Block 2 rocket with a Centaur kick stage, followed by a 27.6 year cruise powered by existing radioisotope electric propulsion (REP) and a Jupiter gravity assist to reach Pluto in 2058. En route to Pluto, Persephone would have one 50- to 100-km-class KBO encounter before starting a 3.1 Earth-year orbital campaign of the Pluto system. The mission also includes the potential for an 8-year extended mission, which would enable the exploration of another KBO in the 100- to 150-km-size class. The mission payload includes 11 instruments: Panchromatic and Color High-Resolution Imager; Low-Light Camera; Ultra-Violet Spectrometer; Near-Infrared (IR) Spectrometer; Thermal IR Camera; Radio Frequency Spectrometer; Mass Spectrometer; Altimeter; Sounding Radar; Magnetometer; and Plasma Spectrometer. The nominal cost of this mission is $3.0B, making it a large strategic science mission.


title: Generalized Chern numbers based on open system Green's functions

abstract: We present an alternative approach to studying topology in open quantum systems, relying directly on Green's functions and avoiding the need to construct an effective non-Hermitian Hamiltonian. We define an energy-dependent Chern number based on the eigenstates of the inverse Green's function matrix of the system which contains, within the self-energy, all the information about the influence of the environment, interactions, gain or losses. We explicitly calculate this topological invariant for a system consisting of a single 2D Dirac cone and find that it is half-integer quantized when certain assumptions over the damping are made. Away from these conditions, which cannot or are not usually considered within the formalism of non-Hermitian Hamiltonians, we find that such a quantization is usually lost and the Chern number vanishes, and that in special cases, it can change to integer quantization.


title: Controlling infectious diseases: the decisive phase effect on a seasonal vaccination strategy

abstract: The study of epidemiological systems has generated deep interest in exploring the dynamical complexity of common infectious diseases driven by seasonally varying contact rates. Mathematical modeling and field observations have shown that, under seasonal variation, the incidence rates of some endemic infectious diseases fluctuate dramatically and the dynamics is often characterized by chaotic oscillations in the absence of specific vaccination programs. In fact, the existence of chaotic behavior has been precisely stated in the literature as a noticeable feature in the dynamics of the classical Susceptible-Infected-Recovered (SIR) seasonally forced epidemic model. However, in the context of epidemiology, chaos is often regarded as an undesirable phenomenon associated with the unpredictability of infectious diseases. As a consequence, the problem of converting chaotic motions into regular motions becomes particularly relevant. In this article, we consider the phase control technique applied to the seasonally forced SIR epidemic model to suppress chaos. Interestingly, this method of controlling chaos takes on a clear meaning as a weak perturbation on a seasonal vaccination strategy. Numerical simulations show that the phase difference between the two periodic forces - contact rate and vaccination - plays a very important role in controlling chaos.


title: A lower bound for $\chi (\mathcal O_S)$

abstract: Let $(S,\mathcal L)$ be a smooth, irreducible, projective, complex surface, polarized by a very ample line bundle $\mathcal L$ of degree $d > 25$. In this paper we prove that $\chi (\mathcal O_S)\geq -\frac{1}{8}d(d-6)$. The bound is sharp, and $\chi (\mathcal O_S)=-\frac{1}{8}d(d-6)$ if and only if $d$ is even, the linear system $|H^0(S,\mathcal L)|$ embeds $S$ in a smooth rational normal scroll $T\subset \mathbb P^5$ of dimension $3$, and here, as a divisor, $S$ is linearly equivalent to $\frac{d}{2}Q$, where $Q$ is a quadric on $T$. Moreover, this is equivalent to the fact that the general hyperplane section $H\in |H^0(S,\mathcal L)|$ of $S$ is the projection of a curve $C$ contained in the Veronese surface $V\subseteq \mathbb P^5$, from a point $x\in V\backslash C$.


title: Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness

abstract: Guarded Kleene Algebra with Tests (GKAT) is an efficient fragment of KAT, as it allows for almost linear decidability of equivalence. In this paper, we study the (co)algebraic properties of GKAT. Our initial focus is on the fragment that can distinguish between unsuccessful programs performing different actions, by omitting the so-called early termination axiom. We develop an operational (coalgebraic) and denotational (algebraic) semantics and show that they coincide. We then characterize the behaviors of GKAT expressions in this semantics, leading to a coequation that captures the covariety of automata corresponding to behaviors of GKAT expressions. Finally, we prove that the axioms of the reduced fragment are sound and complete w.r.t. the semantics, and then build on this result to recover a semantics that is sound and complete w.r.t. the full set of axioms.


title: A large family of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$ and their associated MRD codes

abstract: The concept of linear set in projective spaces over finite fields was introduced by Lunardon in 1999 and it plays central roles in the study of blocking sets, semifields, rank-distance codes and etc. A linear set with the largest possible cardinality and rank is called maximum scattered. Despite two decades of study, there are only a limited number of maximum scattered linear sets of a line $\mathrm{PG}(1,q^n)$. In this paper, we provide a large family of new maximum scattered linear sets over $\mathrm{PG}(1,q^n)$ for any even $n\geq 6$ and odd $q$. In particular, the relevant family contains at least \[ \begin{cases} \left\lfloor\frac{q^t+1}{8rt}\right\rfloor,& \text{ if }t\not\equiv 2\pmod{4};\\[8pt] \left\lfloor\frac{q^t+1}{4rt(q^2+1)}\right\rfloor,& \text{ if }t\equiv 2\pmod{4}, \end{cases} \] inequivalent members for given $q=p^r$ and $n=2t>8$, where $p=\mathrm{char}(\mathbb{F}_q)$. This is a great improvement of previous results: for given $q$ and $n>8$, the number of inequivalent maximum scattered linear sets of $\mathrm{PG}(1,q^n)$ in all classes known so far, is smaller than $q^2$. Moreover, we show that there are a large number of new maximum rank-distance codes arising from the constructed linear sets.


title: A Federated Data-Driven Evolutionary Algorithm

abstract: Data-driven evolutionary optimization has witnessed great success in solving complex real-world optimization problems. However, existing data-driven optimization algorithms require that all data are centrally stored, which is not always practical and may be vulnerable to privacy leakage and security threats if the data must be collected from different devices. To address the above issue, this paper proposes a federated data-driven evolutionary optimization framework that is able to perform data driven optimization when the data is distributed on multiple devices. On the basis of federated learning, a sorted model aggregation method is developed for aggregating local surrogates based on radial-basis-function networks. In addition, a federated surrogate management strategy is suggested by designing an acquisition function that takes into account the information of both the global and local surrogate models. Empirical studies on a set of widely used benchmark functions in the presence of various data distributions demonstrate the effectiveness of the proposed framework.


title: Strong field gravitational lensing by hairy Kerr black holes

abstract: Recent times witnessed a surge of interest in strong gravitational lensing by black holes due to the Event Horizon Telescope (EHT) results, which suggest comparing the black hole lensing in general relativity and modified gravity theories. This may help us to assess the phenomenological differences between these models. A Kerr black hole is also a solution to some alternative theories of gravity, while recently obtained modified Kerr black holes (hairy Kerr black holes), which evade the no-hair theorem, are due to additional sources from surrounding fluid, like dark matter, having conserved energy momentum tensor (EMT). These hairy Kerr black holes may also be solutions to an alternative theory of gravity. We generalize previous work on gravitational lensing by a Kerr black hole in the strong deflection limits to the hairy Kerr black holes, with a deviation parameter $\alpha$ and a primary hair $\ell_0$. Interestingly, the deflection coefficient $\bar{a}$ increases and decreases with increasing $\ell_0$ and $\alpha$ respectively. $\bar{b}$ shows opposite behaviour with $\ell_0$ and $\alpha$. We also find that the deflection angle $\alpha_D$, angular position $\theta_{\infty}$ and $u_{m}$ decrease, but angular separation $s$ increases with $\alpha$. We compare our results with those for Kerr black holes, and also apply the formalism to discuss the astrophysical consequences in the context of the supermassive black holes Sgr A* and M87*. We observe that the deviations of the angular positions from that of the Kerr black hole are not more than $2.6~\mu$as for Sgr A* and $1.96~\mu$as for M87*, which are unlikely to be resolved by the current EHT observations.


title: Isbell conjugacy and the reflexive completion

abstract: The reflexive completion of a category consists of the Set-valued functors on it that are canonically isomorphic to their double conjugate. After reviewing both this construction and Isbell conjugacy itself, we give new examples and revisit Isbell's main results from 1960 in a modern categorical context. We establish the sense in which reflexive completion is functorial, and find conditions under which two categories have equivalent reflexive completions. We describe the relationship between the reflexive and Cauchy completions, determine exactly which limits and colimits exist in an arbitrary reflexive completion, and make precise the sense in which the reflexive completion of a category is the intersection of the categories of covariant and contravariant functors on it.


title: Model-based Meta Reinforcement Learning using Graph Structured Surrogate Models

abstract: Reinforcement learning is a promising paradigm for solving sequential decision-making problems, but low data efficiency and weak generalization across tasks are bottlenecks in real-world applications. Model-based meta reinforcement learning addresses these issues by learning dynamics and leveraging knowledge from prior experience. In this paper, we take a closer look at this framework, and propose a new Thompson-sampling based approach that consists of a new model to identify task dynamics together with an amortized policy optimization step. We show that our model, called a graph structured surrogate model (GSSM), outperforms state-of-the-art methods in predicting environment dynamics. Additionally, our approach is able to obtain high returns, while allowing fast execution during deployment by avoiding test time policy gradient optimization.


title: Multiple-camera defocus imaging of ultracold atomic gases

abstract: In cold atom experiments, each image of light refracted and absorbed by an atomic ensemble carries a remarkable amount of information. Numerous imaging techniques including absorption, fluorescence, and phase-contrast are commonly used. Other techniques such as off-resonance defocused imaging (ORDI), where an in-focus image is deconvolved from a defocused image, have been demonstrated but find only niche applications. The ORDI inversion process introduces systematic artifacts because it relies on regularization to account for missing information at some spatial frequencies. In the present work, we extend ORDI to use multiple cameras simultaneously at degrees of defocus, eliminating the need for regularization and its attendant artifacts. We demonstrate this technique by imaging Bose-Einstein condensates, and show that the statistical uncertainties in the measured column density using the multiple-camera off-resonance defocused (MORD) imaging method are competitive with absorption imaging near resonance and phase contrast imaging far from resonance. Experimentally, the MORD method may be incorporated into existing set-ups with minimal additional equipment.