title: Learning Non-Markovian Reward Models in MDPs

abstract: There are situations in which an agent should receive rewards only after having accomplished a series of previous tasks. In other words, the reward that the agent receives is non-Markovian. One natural and quite general way to represent history-dependent rewards is via a Mealy machine; a finite state automaton that produces output sequences (rewards in our case) from input sequences (state/action observations in our case). In our formal setting, we consider a Markov decision process (MDP) that models the dynamic of the environment in which the agent evolves and a Mealy machine synchronised with this MDP to formalise the non-Markovian reward function. While the MDP is known by the agent, the reward function is unknown from the agent and must be learnt. Learning non-Markov reward functions is a challenge. Our approach to overcome this challenging problem is a careful combination of the Angluin's L* active learning algorithm to learn finite automata, testing techniques for establishing conformance of finite model hypothesis and optimisation techniques for computing optimal strategies in Markovian (immediate) reward MDPs. We also show how our framework can be combined with classical heuristics such as Monte Carlo Tree Search. We illustrate our algorithms and a preliminary implementation on two typical examples for AI.


title: $\pi$ phase difference between Hall oscillation and SdH oscillation and non trivial Berry Phase in a topological insulator

abstract: The quantum oscillation is an important probe for the detection of a topological insulator(TI) surface states by means of electrical transport since the Shubnikov-de Haas oscillations allow to extract the Berry Phase which is the key test to detect the topological surface states. Here we have extracted the non trivial Berry Phase of 1$\%$ Sn doped strong TI $Sb_2Te_2Se$. We observed oscillation in Hall resistance as well and showed that this does not arise neither from the dominance of the SdH on Hall data nor this is the precursor of quantum Hall effect, rather this happens due to the pinning of the Fermi Level. Also The Hall oscillation has exactly 180$^\circ$ phase difference from SdH oscillation and this phase shift is independent of the magnetic field strength. It is argued that this unusual phenomenon stems from the predominance of the intra Landau Level scattering over the inter Landau Level scattering and it depends on the strength of the scattering potential. Thus our work paves the way of understanding the physics of scattering via quantum oscillations.


title: Bayesian Panel Quantile Regression for Binary Outcomes with Correlated Random Effects: An Application on Crime Recidivism in Canada

abstract: This article develops a Bayesian approach for estimating panel quantile regression with binary outcomes in the presence of correlated random effects. We construct a working likelihood using an asymmetric Laplace (AL) error distribution and combine it with suitable prior distributions to obtain the complete joint posterior distribution. For posterior inference, we propose two Markov chain Monte Carlo (MCMC) algorithms but prefer the algorithm that exploits the blocking procedure to produce lower autocorrelation in the MCMC draws. We also explain how to use the MCMC draws to calculate the marginal effects, relative risk and odds ratio. The performance of our preferred algorithm is demonstrated in multiple simulation studies and shown to perform extremely well. Furthermore, we implement the proposed framework to study crime recidivism in Quebec, a Canadian Province, using a novel data from the administrative correctional files. Our results suggest that the recently implemented "tough-on-crime" policy of the Canadian government has been largely successful in reducing the probability of repeat offenses in the post-policy period. Besides, our results support existing findings on crime recidivism and offer new insights at various quantiles.


title: Max-Min Fair Wireless-Powered Cell-Free Massive MIMO for Uncorrelated Rician Fading Channels

abstract: This paper considers cell-free massive multiple-input multiple-output systems where the multiple-antenna access points (APs) assist the single-antenna user equipments (UEs) by wireless power transfer. The UEs utilize the energy harvested in the downlink to transmit uplink pilot and information signals to the APs. We consider practical Rician fading with the line-of-sight components of the channels being phase-shifted in each coherence block. The uplink spectral efficiency (SE) is derived for this model and the max-min fairness problem is considered where the optimization variables are the AP and UE power control coefficients together with the large-scale fading decoding vectors. The objective is to maximize the minimum SE of the users under APs' and UEs' transmission power constraints. An alternating optimization algorithm is proposed for the solution of the highly-coupled non-convex problem.


title: Vehicle Scheduling Problem

abstract: We define a new problem called the Vehicle Scheduling Problem (VSP). The goal is to minimize an objective function, such as the number of tardy vehicles over a transportation network subject to maintaining safety distances, meeting hard deadlines, and maintaining speeds on each link between the allowed minimums and maximums. We prove VSP is an NP-hard problem for multiple objective functions that are commonly used in the context of job shop scheduling. With the number of tardy vehicles as the objective function, we formulate VSP in terms of a Mixed Integer Linear Programming (MIP) and design a heuristic algorithm. We analyze the complexity of our algorithm and compare the quality of the solutions to the optimal solution for the MIP formulation in the small cases. Our main motivation for defining VSP is the upcoming integration of Unmanned Aerial Vehicles (UAVs) into the airspace for which this novel scheduling framework is of paramount importance.


title: Quantum Monte Carlo study of superfluid density in quasi-one-dimensional hard-core bosons: Effect of suppression of phase slippage

abstract: We study the superfluid density of hard-core bosons on quasi-one-dimensional lattices using the quantum Monte Carlo method. Because of phase slippage, the superfluid density drops quickly to zero at finite temperatures with increasing the system length $\ell$ and the superfluid transition temperature is zero in one spatial dimension and also in quasi-one dimension in the limit of $\ell\rightarrow\infty$. We calculate the superfluid density of a model where no phase slippage is allowed and show that the superfluid density remains finite at finite temperatures even in the one-dimensional limit. We also discuss how finite superfluid density can be observed in a quasi-one-dimensional system using a torsional oscillator.


title: Bio-mimetic Synaptic Plasticity and Learning in a sub-500mV Cu/SiO$_2$/W Memristor

abstract: The computational efficiency of the human brain is believed to stem from the parallel information processing capability of neurons with integrated storage in synaptic interconnections programmed by local spike triggered learning rules such as spike timing dependent plasticity (STDP). The extremely low operating voltages (approximately $100\,$mV) used to trigger neuronal signaling and synaptic adaptation is believed to be a critical reason for the brain's power efficiency. We demonstrate the feasibility of spike triggered STDP behavior in a two-terminal Cu/SiO$_2$/W memristive device capable of operating below $500\,$mV. We analyze the state-dependent nature of conductance updates in the device to develop a phenomenological model. Using the model, we evaluate the potential of such devices to generate precise spike times under supervised learning conditions and classify handwritten digits from the MNIST dataset in an unsupervised learning setting. The results form a promising step towards creating a low power synaptic device capable of on-chip learning.


title: On subsonic and subsonic-sonic flows with general conservatives force in exterior domains

abstract: In this paper, we study irrotational subsonic and subsonic-sonic flows with general conservative forces in the exterior domains. The conservative forces indicate the new Bernoulli law naturally. For the subsonic case, we introduce a modified cut-off system depending on the conservative forces which needs the varied Bers skill, and construct the solution by the new variational formula. Moreover, comparing with previous results, our result extends the pressure-density relation to the general case. Afterwards we obtain the subsonic-sonic limit solution by taking the extract subsonic solutions as the approximate sequences.


title: Some simple results about the Lambert problem

abstract: We give simple proofs of some simple statements concerning the Lambert problem. We first restate and reprove the known existence and uniqueness results for the Keplerian arc. We also prove in some cases that the elapsed time is a convex function of natural parameters. Our statements and proofs do not distinguish between the three types of Keplerian conic section, elliptic, parabolic and hyperbolic. We also prove non-uniqueness results and non-convexity results. We do not develop any algorithm of resolution, limiting ourselves to such obviously useful a priori questions: How many solutions should we expect? Can we be sure that the Newton method will converge?


title: Parisian & Cumulative Parisian Ruin Probability for Two-Dimensional Brownian Risk Model

abstract: Parisian ruin probability in the classical Brownian risk model, unlike the standard ruin probability can not be explicitly calculated even in one-dimensional setup. Resorting on asymptotic theory, we derive in this contribution an asymptotic approximations of both Parisian and cumulative Parisian ruin probability and simultaneous ruin time for the two-dimensional Brownian risk model when the initial capital increases to infinity.


title: Extension operators and nonlinear structure of Banach spaces

abstract: The problem involving the extension of functions from a certain class and defined on subdomains of the ambient space to the whole space is an old and a well investigated theme in analysis. A related question whether the extensions that result in the process may be chosen in a linear or a continuous manner between appropriate spaces of functions turns out to be highly nontrivial. That this holds for the class of continuous functions defined on metric spaces is the well-known Borsuk-Dugundji theorem which asserts that given a metric space M and a subspace S of M, each continuous function g on S can be extended to a continuous function f on X such that the resulting assignment from C(S) to C(M) is a norm-one continuous linear extension operator. The present paper is devoted to an investigation of this problem in the context of extendability of Lipschitz functions from closed subspaces of a given Banach space to the whole space such that the choice of the extended function gives rise to a bounded linear (extension) operator between appropriate spaces of Lipschitz functions. It is shown that the indicated property holds precisely when the underlying space is isomorphic to a Hilbert space. Among certain useful consequences of this theorem, we provide an isomorphic analogue of a well-known theorem of S. Reich by show ing that closed convex subsets of a Banach space X arise as Lipschitz retracts of X precisely when X is isomorphically a Hilbert space. We shall also discuss the issue of bounded linear extension operators between spaces of Lipschitz functions now defined on arbitrary subsets of Banach spaces and provide a direct proof of the known non-existence of such an extension operator by using methods which are more accessible than those initially employed by the authors.


title: Akashi series and Euler characteristics of signed Selmer groups of elliptic curves with semistable reduction at primes above p

abstract: Let $p$ be an odd prime number, and let $E$ be an elliptic curve defined over a number field $F'$ such that $E$ has semistable reduction at every prime of $F'$ above $p$ and is supersingular at at least one prime above $p$. Under appropriate hypotheses, we compute the Akashi series of the signed Selmer groups of $E$ over a $\mathbb{Z}_p^d$-extension over a finite extension $F$ of $F'$. As a by-product, we also compute the Euler characteristics of these Selmer groups.


title: A Tropical Computation of Refined Toric Invariants

abstract: In arXiv:1505.04338(4), G. Mikhalkin introduced a refined count for the real rational curves in a toric surface which pass through certain conjugation invariant set of points on the toric boundary of the surface. Such a set consists of real points and pairs of complex conjugated points. He then proved that the result of this refined count depends only on the number of pairs of complex conjugated points on each toric divisor. Using the tropical geometry approach and the correspondence theorem, he managed to compute these invariants if all the points of the configuration are real. In this paper we address the case when the configuration contains some pairs of conjugated points, all belonging to the same component of the toric boundary.


title: Radar-assisted Predictive Beamforming for Vehicular Links: Communication Served by Sensing

abstract: In vehicular networks of the future, sensing and communication functionalities will be intertwined. In this paper, we investigate a radar-assisted predictive beamforming design for vehicle-to-infrastructure (V2I) communication by exploiting the dual-functional radar-communication (DFRC) technique. Aiming for realizing joint sensing and communication functionalities at road side units (RSUs), we present a novel extended Kalman filtering (EKF) framework to track and predict kinematic parameters of each vehicle. By exploiting the radar functionality of the RSU we show that the communication beam tracking overheads can be drastically reduced. To improve the sensing accuracy while guaranteeing the downlink communication sum-rate, we further propose a power allocation scheme for multiple vehicles. Numerical results have shown that the proposed DFRC based beam tracking approach significantly outperforms the communication-only feedback based technique in the tracking performance. Furthermore, the designed power allocation method is able to achieve a favorable performance trade-off between sensing and communication.


title: IG-TRACK: IOU Guided Siamese Networks for visual object tracking

abstract: Recently Deep Learning based Siamese Networks with region proposals for visual object tracking becoming more popular. These networks, while testing, perform extra computations on output if trained network, to predict the bounding box. This however hampering the precision of bounding box. In this work, the authors have proposed a network guided by Intersection Over Union(IOU) while training, to predict precise bounding box. This is achieved by adding new loss function in training the network, to maximize IOU of the predicted bounding box with ground truth. While testing on VOT2018, GOT-10k tracking benchmarks,the proposed approach out-performed the base approach by more than 10% in terms of precision.


title: Look Closer to Ground Better: Weakly-Supervised Temporal Grounding of Sentence in Video

abstract: In this paper, we study the problem of weakly-supervised temporal grounding of sentence in video. Specifically, given an untrimmed video and a query sentence, our goal is to localize a temporal segment in the video that semantically corresponds to the query sentence, with no reliance on any temporal annotation during training. We propose a two-stage model to tackle this problem in a coarse-to-fine manner. In the coarse stage, we first generate a set of fixed-length temporal proposals using multi-scale sliding windows, and match their visual features against the sentence features to identify the best-matched proposal as a coarse grounding result. In the fine stage, we perform a fine-grained matching between the visual features of the frames in the best-matched proposal and the sentence features to locate the precise frame boundary of the fine grounding result. Comprehensive experiments on the ActivityNet Captions dataset and the Charades-STA dataset demonstrate that our two-stage model achieves compelling performance.


title: BERT's output layer recognizes all hidden layers? Some Intriguing Phenomena and a simple way to boost BERT

abstract: Although Bidirectional Encoder Representations from Transformers (BERT) have achieved tremendous success in many natural language processing (NLP) tasks, it remains a black box. A variety of previous works have tried to lift the veil of BERT and understand each layer's functionality. In this paper, we found that surprisingly the output layer of BERT can reconstruct the input sentence by directly taking each layer of BERT as input, even though the output layer has never seen the input other than the final hidden layer. This fact remains true across a wide variety of BERT-based models, even when some layers are duplicated. Based on this observation, we propose a quite simple method to boost the performance of BERT. By duplicating some layers in the BERT-based models to make it deeper (no extra training required in this step), they obtain better performance in the downstream tasks after fine-tuning.


title: Distortions to the penetration depth and coherence length of superconductor/normal-metal superlattices

abstract: Superconducting ($S$) thin film superlattices composed of Nb and a normal metal spacer ($N$) have been extensively utilized in Josephson junctions given their favorable surface roughness compared to Nb films of comparable thickness. In this work, we characterize the London penetration depth and Ginzburg-Landau coherence lengths of $S/N$ superlattices using polarized neutron reflectometry and electrical transport. Despite the normal metal spacer layers being only approximately 8% of the total superlattice thickness, we surprisingly find that the introduction of these thin $N$ spacers between $S$ layers leads to a dramatic increase in the measured London penetration depth compared to that of a single Nb film of comparable thickness. Using the measured values for the effective in- and out-of-plane coherence lengths, we quantify the induced anisotropy of the superlattice samples and compare to a single Nb film sample. From these results, we find that that the superlattices behave similarly to layered 2D superconductors.


title: LBECA: A Low Background Electron Counting Apparatus for Sub-GeV Dark Matter Detection

abstract: Two-phase noble liquid detectors, with large target masses and effective background reduction, are currently leading the dark matter direct detection for WIMP masses above a few GeV. Due to their sensitivity to single ionized electron signals, these detectors were shown to also have strong constraints for sub-GeV dark matter via their scattering on electrons. In fact, the most stringent direct detection constraints for sub-GeV dark matter down to as low as ~5 MeV come from noble liquid detectors, namely XENON10, DarkSide-50, XENON100 and XENON1T, although these experiments still suffer from high background at single or a few electron level. LBECA is a planned 100-kg scale liquid xenon detector with significant reduction of the single and a few electron background. The experiment will improve the sensitivity to sub-GeV dark matter by three orders of magnitude compared to the current best constraints.


title: Prediction of perovskite-related structures in ACuO$_{3-x}$ (A $=$ Ca, Sr, Ba, Sc, Y, La) using density functional theory and Bayesian optimization

abstract: Oxygen vacancy ordering in perovskite-type transition-metal oxides plays an important role in the emergence of exotic electronic properties, as typified by superconducting cuprates. In this study, we predict the stability of oxygen-deficient perovskite structures in ACuO$_{3-x}$ (A $=$ Ca, Sr, Ba, Sc, Y, La) by density functional theory calculation. We introduce a combination of the cluster expansion method, Gaussian process, and Bayesian optimization to find stable oxygen-deficient structures among a considerable number of candidates. Our calculations not only reproduce the reported structures but suggest the presence of several unknown oxygen-deficient perovskite structures, some of which are stabilized at high pressures. This work demonstrates the great applicability of the present computational procedure for the elucidation of the structural stability of strongly correlated oxides with a large tolerance to oxygen deficiency.


title: Domain Adaptive Medical Image Segmentation via Adversarial Learning of Disease-Specific Spatial Patterns

abstract: In medical imaging, the heterogeneity of multi-centre data impedes the applicability of deep learning-based methods and results in significant performance degradation when applying models in an unseen data domain, e.g. a new centreor a new scanner. In this paper, we propose an unsupervised domain adaptation framework for boosting image segmentation performance across multiple domains without using any manual annotations from the new target domains, but by re-calibrating the networks on few images from the target domain. To achieve this, we enforce architectures to be adaptive to new data by rejecting improbable segmentation patterns and implicitly learning through semantic and boundary information, thus to capture disease-specific spatial patterns in an adversarial optimization. The adaptation process needs continuous monitoring, however, as we cannot assume the presence of ground-truth masks for the target domain, we propose two new metrics to monitor the adaptation process, and strategies to train the segmentation algorithm in a stable fashion. We build upon well-established 2D and 3D architectures and perform extensive experiments on three cross-centre brain lesion segmentation tasks, involving multicentre public and in-house datasets. We demonstrate that recalibrating the deep networks on a few unlabeled images from the target domain improves the segmentation accuracy significantly.


title: Probing proximity induced superconductivity in InAs nanowire using built-in barriers

abstract: Bound states in superconductor-nanowire hybrid devices play a central role, carrying informationon the ground states properties (Shiba or Andreev states) or on the topological properties of thesystem (Majorana states). The spectroscopy of such bound states relies on the formation of well-defined tunnel barriers, usually defined by gate electrodes, which results in smooth tunnel barriers.Here we used thin InP segments embedded into InAs nanowire during the growth process to forma sharp built-in tunnel barrier. Gate dependence and thermal activation measurements have beenused to confirm the presence and estimate the height of this barrier. By coupling these wires tosuperconducting electrodes we have investigated the gate voltage dependence of the induced gap inthe nanowire segment, which we could understand using a simple model based on Andreev boundstates. Our results show that these built-in barriers are promising as future spectroscopic tools


title: Nonnegative solutions of an indefinite sublinear Robin problem II: local and global exactness results

abstract: We go further in the investigation of the Robin problem $(P_{\alpha})$: $-\Delta u=a(x)u^{q}$ in $\Omega$, $u\geq0$ in $\Omega$, $\partial_{\nu}u=\alpha u$ on $\partial \Omega$; on a bounded domain $\Omega\subset\mathbb{R}^{N}$, with $a$ sign-changing and $0<q<1$. Assuming the existence of a positive solution for $\alpha=0$ (which holds if $q$ is close enough to 1), we sharpen the description of the nontrivial solution set of $(P_{\alpha})$ for $\alpha>0$. Moreover, strengthening the assumptions on $a$ and $q$ we provide a global (i.e. for every $\alpha>0$) exactness result on the number of solutions of $(P_{\alpha})$ . Our approach also applies to the problem $(S_{\alpha})$: $-\Delta u={\alpha}u + a(x)u^{q}$ in $\Omega$, $u\geq0$ in $\Omega$, $\partial_{\nu}u=0$ on $\partial \Omega$.


title: Inequalities For Variation Operator

abstract: Let $f$ be a measurable function defined on $\mathbb{R}$. For each $n\in\mathbb{Z}$ define the operator $A_n$ by $$A_nf(x)=\frac{1}{2^n}\int_x^{x+2^n}f(y)\, dy.$$ Consider the variation operator $$\mathcal{V}f(x)=\left(\sum_{n=-\infty}^\infty|A_nf(x)-A_{n-1}f(x)|^s\right)^{1/s}$$ for $2\leq s<\infty$. It has been proved in \cite{jkw1} that $\mathcal{V}$ is of strong type $(p,p)$ for $1<p<\infty$ and is of weak type $(1,1)$, it maps $L^\infty$ to BMO. We first provide a completely different proofs for these known results and in addition we prove that $\mathcal{V}$ maps $H^1$ to $L^1$. Furthermore, we prove that it satisfies vector-valued weighted strong type and weak type inequalities. As a special case it follows that $\mathcal{V}$ satisfies weighted strong type and weak type inequalities.


title: Regret of Age-of-Information Bandits

abstract: We consider a system with a single source that measures/tracks a time-varying quantity and periodically attempts to report these measurements to a monitoring station. Each update from the source has to be scheduled on one of K available communication channels. The probability of success of each attempted communication is a function of the channel used. This function is unknown to the scheduler. The metric of interest is the Age-of-Information (AoI), formally defined as the time elapsed since the destination received the recent most update from the source. We model our scheduling problem as a variant of the multi-arm bandit problem with communication channels as arms. We characterize a lower bound on the AoI regret achievable by any policy and characterize the performance of UCB, Thompson Sampling, and their variants. Our analytical results show that UCB and Thompson sampling are order-optimal for AoI bandits. In addition, we propose novel policies which, unlike UCB and Thompson Sampling, use the current AoI to make scheduling decisions. Via simulations, we show the proposed AoI-aware policies outperform existing AoI-agnostic policies.


title: Silly rules improve the capacity of agents to learn stable enforcement and compliance behaviors

abstract: How can societies learn to enforce and comply with social norms? Here we investigate the learning dynamics and emergence of compliance and enforcement of social norms in a foraging game, implemented in a multi-agent reinforcement learning setting. In this spatiotemporally extended game, individuals are incentivized to implement complex berry-foraging policies and punish transgressions against social taboos covering specific berry types. We show that agents benefit when eating poisonous berries is taboo, meaning the behavior is punished by other agents, as this helps overcome a credit-assignment problem in discovering delayed health effects. Critically, however, we also show that introducing an additional taboo, which results in punishment for eating a harmless berry, improves the rate and stability with which agents learn to punish taboo violations and comply with taboos. Counterintuitively, our results show that an arbitrary taboo (a "silly rule") can enhance social learning dynamics and achieve better outcomes in the middle stages of learning. We discuss the results in the context of studying normativity as a group-level emergent phenomenon.


title: Quantum relative entropy shows singlet-triplet coherence is a resource in the radical-pair mechanism of biological magnetic sensing

abstract: Radical-pair reactions pertinent to biological magnetic field sensing are an ideal system for demonstrating the paradigm of quantum biology, the exploration of quantum coherene effects in complex biological systems. We here provide yet another fundamental connection between this biochemical spin system and quantum information science. We introduce and explore a formal measure quantifying singlet-triplet coherence of radical-pairs using the concept of quantum relative entropy. The ability to quantify singlet-triplet coherence opens up a number of possibilities in the study of magnetic sensing with radical-pairs. We first use the explicit quantification of singlet-triplet coherence to affirmatively address the major premise of quantum biology, namely that quantum coherence provides an operational advantage to magnetoreception. Secondly, we use the concept of incoherent operations to show that incoherent manipulations of nuclear spins can have a dire effect on singlet-triplet coherence when the radical-pair exhibits electronic-nuclear entanglement. Finally, we unravel subtle effects related to exchange interactions and their role in promoting quantum coherence.


title: Sampling discretization of integral norms

abstract: The paper is devoted to discretization of integral norms of functions from a given finite dimensional subspace. Even though this problem is extremely important in applications, its systematic study has begun recently. In this paper we obtain a conditional theorem for all integral norms $L_q$, $1\le q<\infty$, which is an extension of known results for $q=1$. To discretize the integral norms successfully, we introduce a new technique, which is a combination of probabilistic technique with results on the entropy numbers in the uniform norm. As an application of the general conditional theorem, we derive a new Marcinkiewicz type discretization for the multivariate trigonometric polynomials with frequencies from the hyperbolic crosses.


title: Inherent structure analysis reveals origin of breakdown of Stokes-Einstein relation in aqueous binary mixtures

abstract: We show by inherent structure (IS) analysis that the sharp composition dependent breakdown of the Stokes-Einstein relation correlates surprisingly well with an equally sharp non-monotonic variation in the average inherent structure (IS) energy of these mixtures. Further IS analysis reveals the existence of a unique ground state, stabilized by the optimum number of H-bonds at this composition. The surprisingly sharp turnaround behaviour observed in the effective hydrodynamic radius can be traced back to the formation of low energy equilibrium structures at specific compositions.


title: Learning Canonical Shape Space for Category-Level 6D Object Pose and Size Estimation

abstract: We present a novel approach to category-level 6D object pose and size estimation. To tackle intra-class shape variations, we learn canonical shape space (CASS), a unified representation for a large variety of instances of a certain object category. In particular, CASS is modeled as the latent space of a deep generative model of canonical 3D shapes with normalized pose. We train a variational auto-encoder (VAE) for generating 3D point clouds in the canonical space from an RGBD image. The VAE is trained in a cross-category fashion, exploiting the publicly available large 3D shape repositories. Since the 3D point cloud is generated in normalized pose (with actual size), the encoder of the VAE learns view-factorized RGBD embedding. It maps an RGBD image in arbitrary view into a pose-independent 3D shape representation. Object pose is then estimated via contrasting it with a pose-dependent feature of the input RGBD extracted with a separate deep neural networks. We integrate the learning of CASS and pose and size estimation into an end-to-end trainable network, achieving the state-of-the-art performance.


title: Identity for generalized Bernoulli polynomials

abstract: In this paper, we establish an identity for Bernoulli's generalized polynomials. We deduce generalizations for many relations involving classical Bernoulli numbers or polynomials. In particular, we generalize a recent Gessel identity.


title: Laplace's formula: an approach by nonstandard analysis

abstract: Using nonstandard analysis (NSA), the proof of the Laplace's formula is given. The usage of NSA reduces the intricacy of taking limit, and the crude line of the proof would be clearly seen, compared to the done with the rigorous classical calculus. We use very elementary tools of NSA.


title: Bayesian optimization for backpropagation in Monte-Carlo tree search

abstract: In large domains, Monte-Carlo tree search (MCTS) is required to estimate the values of the states as efficiently and accurately as possible. However, the standard update rule in backpropagation assumes a stationary distribution for the returns, and particularly in min-max trees, convergence to the true value can be slow because of averaging. We present two methods, Softmax MCTS and Monotone MCTS, which generalize previous attempts to improve upon the backpropagation strategy. We demonstrate that both methods reduce to finding optimal monotone functions, which we do so by performing Bayesian optimization with a Gaussian process (GP) prior. We conduct experiments on computer Go, where the returns are given by a deep value neural network, and show that our proposed framework outperforms previous methods.


title: Gesticulator: A framework for semantically-aware speech-driven gesture generation

abstract: During speech, people spontaneously gesticulate, which plays a key role in conveying information. Similarly, realistic co-speech gestures are crucial to enable natural and smooth interactions with social agents. Current end-to-end co-speech gesture generation systems use a single modality for representing speech: either audio or text. These systems are therefore confined to producing either acoustically-linked beat gestures or semantically-linked gesticulation (e.g., raising a hand when saying "high"): they cannot appropriately learn to generate both gesture types. We present a model designed to produce arbitrary beat and semantic gestures together. Our deep-learning based model takes both acoustic and semantic representations of speech as input, and generates gestures as a sequence of joint angle rotations as output. The resulting gestures can be applied to both virtual agents and humanoid robots. Subjective and objective evaluations confirm the success of our approach. The code and video are available at the project page https://svito-zar.github.io/gesticulator .


title: Tight Regret Bounds for Noisy Optimization of a Brownian Motion

abstract: We consider the problem of Bayesian optimization of a one-dimensional Brownian motion in which the $T$ adaptively chosen observations are corrupted by Gaussian noise. We show that as the smallest possible expected cumulative regret and the smallest possible expected simple regret scale as $\Omega(\sigma\sqrt{T / \log (T)}) \cap \mathcal{O}(\sigma\sqrt{T} \cdot \log T)$ and $\Omega(\sigma / \sqrt{T \log (T)}) \cap \mathcal{O}(\sigma\log T / \sqrt{T})$ respectively, where $\sigma^2$ is the noise variance. Thus, our upper and lower bounds are tight up to a factor of $\mathcal{O}( (\log T)^{1.5} )$. The upper bound uses an algorithm based on confidence bounds and the Markov property of Brownian motion (among other useful properties), and the lower bound is based on a reduction to binary hypothesis testing.


title: On the Fairness of Randomized Trials for Recommendation with Heterogeneous Demographics and Beyond

abstract: Observed events in recommendation are consequence of the decisions made by a policy, thus they are usually selectively labeled, namely the data are Missing Not At Random (MNAR), which often causes large bias to the estimate of true outcomes risk. A general approach to correct MNAR bias is performing small Randomized Controlled Trials (RCTs), where an additional uniform policy is employed to randomly assign items to each user. In this work, we concentrate on the fairness of RCTs under both homogeneous and heterogeneous demographics, especially analyzing the bias for the least favorable group on the latter setting. Considering RCTs' limitations, we propose a novel Counterfactual Robust Risk Minimization (CRRM) framework, which is totally free of expensive RCTs, and derive its theoretical generalization error bound. At last, empirical experiments are performed on synthetic tasks and real-world data sets, substantiating our method's superiority both in fairness and generalization.


title: GeoRocket: A scalable and cloud-based data store for big geospatial files

abstract: We present GeoRocket, a software for the management of very large geospatial datasets in the cloud. GeoRocket employs a novel way to handle arbitrarily large datasets by splitting them into chunks that are processed individually. The software has a modern reactive architecture and makes use of existing services including Elasticsearch and storage back ends such as MongoDB or Amazon S3. GeoRocket is schema-agnostic and supports a wide range of heterogeneous geospatial file formats. It is also format-preserving and does not alter imported data in any way. The main benefits of GeoRocket are its performance, scalability, and usability, which make it suitable for a number of scientific and commercial use cases dealing with very high data volumes, complex datasets, and high velocity (Big Data). GeoRocket also provides many opportunities for further research in the area of geospatial data management.


title: Intent Classification in Question-Answering Using LSTM Architectures

abstract: Question-answering (QA) is certainly the best known and probably also one of the most complex problem within Natural Language Processing (NLP) and artificial intelligence (AI). Since the complete solution to the problem of finding a generic answer still seems far away, the wisest thing to do is to break down the problem by solving single simpler parts. Assuming a modular approach to the problem, we confine our research to intent classification for an answer, given a question. Through the use of an LSTM network, we show how this type of classification can be approached effectively and efficiently, and how it can be properly used within a basic prototype responder.


title: Power-law scaling for solid-state dewetting of thin films: an Onsager variational approach

abstract: We examine the kinetics of surface diffusion-controlled, solid-state dewetting by consideration of the retraction of the contact in a semi-infinite solid thin film on a flat rigid substrate. The analysis is performed within the framework of the Onsager variational principle applied to surface diffusion-controlled morphology evolution. Based on this approach, we derive a simple, reduced-order model to quantitatively analyse the power-law scaling of the dewetting process. Using asymptotic analysis and numerical simulations for the reduced-order model, we find that the retraction distance grows as the $2/5$ power of time and the height of the ridge, adjacent to the contact, grows as the $1/5$ power of time for late time. While the asymptotic analysis focuses on late time and a relatively simple geometric model, the Onsager approach is applicable to all times and descriptions of the morphology of arbitrary complexity.


title: An Analysis of Word2Vec for the Italian Language

abstract: Word representation is fundamental in NLP tasks, because it is precisely from the coding of semantic closeness between words that it is possible to think of teaching a machine to understand text. Despite the spread of word embedding concepts, still few are the achievements in linguistic contexts other than English. In this work, analysing the semantic capacity of the Word2Vec algorithm, an embedding for the Italian language is produced. Parameter setting such as the number of epochs, the size of the context window and the number of negatively backpropagated samples is explored.


title: The mixed metric dimension of flower snarks and wheels

abstract: New graph invariant, which is called mixed metric dimension, has been recently introduced. In this paper, exact results of mixed metric dimension on two special classes of graphs are found: flower snarks $J_n$ and wheels $W_n$. It is proved that mixed metric dimension for $J_5$ is equal to 5, while for higher dimensions it is constant and equal to 4. For $W_n$, its mixed metric dimension is not constant, but it is equal to $n$ when $n\geq 4$, while it is equal to 4, for $n=3$.


title: On the Flow Past an Array of Two-Dimensional Street Canyons Between Slender Buildings

abstract: The flow above idealized, two-dimensional series of parallelepipedal buildings is examined with the aim of investigating how the building width to height aspect ratio affects the turbulence in the roughness sublayer and the ventilation of the underlying street canyons. We compare the case of buildings with a squared section with a configuration with slender buildings both in the case of unit canyon width to height aspect ratio and in the case of AR = 2. The former corresponds to skimming flow and the latter to wake-interference regime. Measurements are performed in a water channel, measuring velocity on a vertical mid-plane using a particle image velocimetry technique. The mean flow, its second-order turbulence statistics, the exchange fluxes, and the integral time scales investigated, with results showing that slender buildings enhance turbulence production and yield longer integral time scales in the region just above the building roof. The combined analysis of the turbulence production fields and the snapshots of the flow during sweep and ejection events demonstrate that the shear layer between the canyon and the external flow is significantly more unstable with slender buildings, mainly because the damping effect of the vertical velocity fluctuations from the flat roof of the upwind building is substantially missing. Consequently, a larger (downstream) portion of the interface is prone to the direct interaction of the external flow structures. The higher turbulence intensity promotes the ventilation at the canyon interface. In summary, the present experiments show that the effect of the reduced building aspect ratio is particularly significant when the urban canopy consists of narrow canyons. The result is of interest since narrow street canyons are typically bounded by slender buildings in the urban texture of the old European city centres.


title: Machine Learning-aided Design of Thinned Antenna Arrays for Optimized Network Level Performance

abstract: With the advent of millimeter wave (mmWave) communications, the combination of a detailed 5G network simulator with an accurate antenna radiation model is required to analyze the realistic performance of complex cellular scenarios. However, due to the complexity of both electromagnetic and network models, the design and optimization of antenna arrays is generally infeasible due to the required computational resources and simulation time. In this paper, we propose a Machine Learning framework that enables a simulation-based optimization of the antenna design. We show how learning methods are able to emulate a complex simulator with a modest dataset obtained from it, enabling a global numerical optimization over a vast multi-dimensional parameter space in a reasonable amount of time. Overall, our results show that the proposed methodology can be successfully applied to the optimization of thinned antenna arrays.


title: Learning Constraints from Locally-Optimal Demonstrations under Cost Function Uncertainty

abstract: We present an algorithm for learning parametric constraints from locally-optimal demonstrations, where the cost function being optimized is uncertain to the learner. Our method uses the Karush-Kuhn-Tucker (KKT) optimality conditions of the demonstrations within a mixed integer linear program (MILP) to learn constraints which are consistent with the local optimality of the demonstrations, by either using a known constraint parameterization or by incrementally growing a parameterization that is consistent with the demonstrations. We provide theoretical guarantees on the conservativeness of the recovered safe/unsafe sets and analyze the limits of constraint learnability when using locally-optimal demonstrations. We evaluate our method on high-dimensional constraints and systems by learning constraints for 7-DOF arm and quadrotor examples, show that it outperforms competing constraint-learning approaches, and can be effectively used to plan new constraint-satisfying trajectories in the environment.


title: A general theory of Andr\'e's solution algebras

abstract: We extend Yves Andr\'e's theory of solution algebras in differential Galois theory to a general Tannakian context. As applications, we establish analogues of his correspondence between solution fields and observable subgroups of the Galois group for iterated differential equations in positive characteristic and for difference equations. The use of solution algebras in the difference algebraic context also allows a new approach to recent results of Philippon and Adamczewski--Faverjon in transcendence theory.


title: Left m-invertibility by the adjoint of Drazin inverse and m-selfadjointness of Hilbert space operators

abstract: A Hilbert space operator $A\in\B$ is left $(X,m)$-invertible by $B\in\B$ (resp., $B\in\B$ is an $(X,m)$-adjoint of $A\in\B$) for some operator $X\in\B$ if $\triangle_{B,A}^m(X)=\sum_{j=0}^m(-1)^j\left(\begin{array}{clcr}m\\j\end{array}\right)B^{m-j}XA^{m-j}=0$ (resp., $\delta_{B,A}^m(X)=\sum_{j=0}^m(-1)^j\left(\begin{array}{clcr}m\\j\end{array}\right)B^{(m-j)}XA^j=0$). No Drazin invertible operator $A\in\B$, with Drazin inverse $A_d$, can be left $(I,m)$-invertible (equivalently, $m$-invertible) by its adjoint or its Drazin inverse or the adjoint of its Drazin inverse. For Drazin inverrtible operators $A$, it is seen that the existence of an $X$ acts as a conduit for implications $\triangle_{B,A}(X)=0\Longrightarrow \delta^m_{C,A}(X)=0$, where the pair $(B,C)=$ either $(A,A_d)$ or $(A_d,A)$ or $(A^*,A^*_d)$ or $(A^*_d,A^*)$. Reverse implications fail. Assuming certain commutativity conditions, it is seen that $\triangle_{A^*_d,A}^m(X)=0=\triangle^n_{B^*_d,B}(Y)$ implies $\delta^{m+n-1}_{A^*B^*,AB}(XY)=0=\delta^{m+n-1}_{A^*+B^*,A+B}(XY)$.


title: Two linear regimes in optical conductivity of a Type-I Weyl semimetal: the case of elemental tellurium

abstract: Employing high-pressure infrared spectroscopy we unveil the Weyl semimetal phase of elemental Te and its topological properties. The linear frequency dependence of the optical conductivity provides clear evidence for metallization of trigonal tellurium (Te-I) and the linear band dispersion above 3.0 GPa. This semimetallic Weyl phase can be tuned by increasing pressure further: a kink separates two linear regimes in the optical conductivity (at 3.7 GPa), a signature proposed for Type-II Weyl semimetals with tilted cones; this however reveals a different origin in trigonal tellurium. Our density-functional calculations do not reveal any significant tilting and suggest that Te-I remains in the Type-I Weyl phase, but with two valence bandsin the vicinity of the Fermi level. Their interplay giving rise to the peculiar optical conductivity behavior with more than one linear regime. Pressure above 4.3 GPa stabilizes the more complex Te-II and Te-III polymorphs, which are robust metals.


title: Flatons: flat-top solitons in extended Gardner equations

abstract: In both the Gardner equation and its extensions, the non-convex convection bounds the range of solitons / compactons velocities beyond which they dissolve and kink/anti-kink form. Close to solitons barrier we unfold a narrow strip of velocities where solitons shape undergoes a structural change and rather than grow with velocity, their top flattens and they widen rapidly; $\epsilon ^2 << 1$ change in velocity causes their width to expand ln $(1/ \epsilon)$. To a very good approximation these solitary waves, referred to as flatons, may be viewed as made of a kink and anti-kink placed at an arbitrary distance from each other. Like ordinary solitons, once flatons form they are very robust. A multi-dimensional extension of the Gardner equation reveals that spherical flatons are as prevalent and in many cases every admissible velocity supports an entire sequence of multi-nodal flatons.


title: Efficient Two-Qubit Pulse Sequences Beyond CNOT

abstract: We design efficient controlled-rotation gates with arbitrary angle acting on three-spin encoded qubits for exchange-only quantum computation. Two pulse sequence constructions are given. The first is motivated by an analytic derivation of the efficient Fong-Wandzura sequence for an exact CNOT gate. This derivation, briefly reviewed here, is based on elevating short sequences of SWAP pulses to an entangling two-qubit gate. To go beyond CNOT, we apply a similar elevation to a modified short sequence consisting of SWAPs and one pulse of arbitrary duration. This results in two-qubit sequences that carry out controlled-rotation gates of arbitrary angle. The second construction streamlines a class of arbitrary CPHASE gates established earlier. Both constructions are based on building two-qubit sequences out of subsequences with special properties that render each step of the construction analytically tractable.


title: Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing

abstract: A natural method to evaluate the effectiveness of a testing technique is to measure the defect detection rate when applying the created test cases. Here, real or artificial software defects can be injected into the source code of software. For a more extensive evaluation, the injection of artificial defects is usually needed and can be performed via mutation testing using code mutation operators. However, to simulate complex defects arising from a misunderstanding of design specifications, mutation testing might reach its limit in some cases. In this paper, we present an open-source benchmark testbed application that employs a complement method of artificial defect injection. The application is compiled after artificial defects are injected into its source code from predefined building blocks. The majority of the functions and user interface elements are covered by creating front-end-based automated test cases that can be used in experiments.


title: Augmented Lagrangian method for a TV-based model for demodulating phase discontinuities

abstract: In this work we reformulate the method presented in App. Opt. 53:2297 (2014) as a constrained minimization problem using the augmented Lagrangian method. First we introduce the new method and then describe the numerical solution, which results in a simple algorithm. Numerical experiments with both synthetic and real fringe patterns show the accuracy and simplicity of the resulting algorithm.


title: On the mechanical beta relaxation in glass and its relation to the double-peak phenomenon in impulse excited vibration at high temperatures

abstract: A viscoelastic model is established to reveal the relation between alpha-beta relaxation of glass and the double-peak phenomenon in the experiments of impulse excited vibration. In the modelling, the normal mode analysis (NMA) of potential energy landscape (PEL) picture is employed to describe mechanical alpha and beta relaxations in a glassy material. The model indicates that a small beta relaxation can lead to an apparent double-peak phenomenon resulted from the free vibration of a glass beam when the frequency of beta relaxation peak is close to the natural frequency of specimen. The theoretical prediction is validated by the acoustic spectrum of a fluorosilicate glass beam excited by a mid-span impulse. Furthermore, the experimental results indicate a negative temperature-dependence of the frequency of beta relaxation in the fluorosilicate glass S-FSL5 which can be explained based on the physical picture of fragmented oxide-network patches in liquid-like regions.


title: Polar InGaN/GaN quantum wells: Revisiting the impact of carrier localization on the green gap problem

abstract: We present a detailed theoretical analysis of the electronic and optical properties of c-plane InGaN/GaN quantum well structures with In contents ranging from 5% to 25%. Special attention is paid to the relevance of alloy induced carrier localization effects to the green gap problem. Studying the localization length and electron-hole overlaps at low and elevated temperatures, we find alloy-induced localization effects are crucial for the accurate description of InGaN quantum wells across the range of In content studied. However, our calculations show very little change in the localization effects when moving from the blue to the green spectral regime; i.e. when the internal quantum efficiency and wall plug efficiencies reduce sharply, for instance, the in-plane carrier separation due to alloy induced localization effects change weakly. We conclude that other effects, such as increased defect densities, are more likely to be the main reason for the green gap problem. This conclusion is further supported by our finding that the electron localization length is large, when compared to that of the holes, and changes little in the In composition range of interest for the green gap problem. Thus electrons may become increasingly susceptible to an increased (point) defect density in green emitters and as a consequence the nonradiative recombination rate may increase.


title: CorGAN: Correlation-Capturing Convolutional Generative Adversarial Networks for Generating Synthetic Healthcare Records

abstract: Deep learning models have demonstrated high-quality performance in areas such as image classification and speech processing. However, creating a deep learning model using electronic health record (EHR) data, requires addressing particular privacy challenges that are unique to researchers in this domain. This matter focuses attention on generating realistic synthetic data while ensuring privacy. In this paper, we propose a novel framework called correlation-capturing Generative Adversarial Network (CorGAN), to generate synthetic healthcare records. In CorGAN we utilize Convolutional Neural Networks to capture the correlations between adjacent medical features in the data representation space by combining Convolutional Generative Adversarial Networks and Convolutional Autoencoders. To demonstrate the model fidelity, we show that CorGAN generates synthetic data with performance similar to that of real data in various Machine Learning settings such as classification and prediction. We also give a privacy assessment and report on statistical analysis regarding realistic characteristics of the synthetic data. The software of this work is open-source and is available at: https://github.com/astorfi/cor-gan.


title: A Multi-Valued Logarithm on Time Scales

abstract: A new definition of a multi-valued logarithm on time scales is introduced for delta-differentiable functions that never vanish. This new logarithm arises naturally from the definition of the cylinder transformation that is also at the heart of the definition of exponential functions on time scales. This definition will lead to a logarithm function on arbitrary time scales with familiar and useful properties that previous definitions in the literature lacked.


title: Probabilistic fibre-to-target assignment algorithm for multi-object spectroscopic surveys

abstract: Context. Several new multi-object spectrographs are currently planned or under construction that are capable of observing thousands of Galactic and extragalactic objects simultaneously. Aims. In this paper we present a probabilistic fibre-to-target assignment algorithm that takes spectrograph targeting constraints into account and is capable of dealing with multiple concurrent surveys. We present this algorithm using the 4-metre Multi-Object Spectroscopic Telescope (4MOST) as an example. Methods. The key idea of the proposed algorithm is to assign probabilities to fibre-target pairs. The assignment of probabilities takes the fibre positioner's capabilities and constraints into account. Additionally, these probabilities include requirements from surveys and take the required exposure time, number density variation, and angular clustering of targets across each survey into account. The main advantage of a probabilistic approach is that it allows for accurate and easy computation of the target selection function for the different surveys, which involves determining the probability of observing a target, given an input catalogue. Results. The probabilistic fibre-to-target assignment allows us to achieve maximally uniform completeness within a single field of view. The proposed algorithm maximises the fraction of successfully observed targets whilst minimising the selection bias as a function of exposure time. In the case of several concurrent surveys, the algorithm maximally satisfies the scientific requirements of each survey and no specific survey is penalised or prioritised. Conclusions. The algorithm presented is a proposed solution for the 4MOST project that allows for an unbiased targeting of many simultaneous surveys. With some modifications, the algorithm may also be applied to other multi-object spectroscopic surveys.


title: LHC signals of triplet scalars as dark matter portal: cut-based approach and improvement with gradient boosting and neural networks

abstract: We consider a scenario where an SU(2) triplet scalar acts as the portal for a scalar dark matter particle. We identify regions of the parameter space, where such a triplet coexists with the usual Higgs doublet consistently with all theoretical as well as neutrino, accelerator and dark matter constraints, and the triplet-dominated neutral state has substantial invisible branching fraction. LHC signals are investigated for such regions, in the final state {\em same-sign dilepton + $\ge$ 2 jets + $\not E_T$.} While straightforward detectability at the high-luminosity run is predicted for some benchmark points in a cut-based analysis, there are other benchmarks where one has to resort to gradient boosting/neural network techniques in order to achieve appreciable signal significance.


title: Symmetrization of a family of Cauchy-Like kernels: Global instability

abstract: The fundamental role of the Cauchy transform in harmonic and complex analysis has led to many different proofs of its $L^2$ boundedness. In particular, a famous proof of Melnikov-Verdera [18] relies upon an iconic symmetrization identity of Melnikov [17] linking the universal Cauchy kernel $K_0$ to Menger curvature. Analogous identities hold for the real and the imaginary parts of $K_0$ as well. Such connections have been immensely productive in the study of singular integral operators and in geometric measure theory. \vskip0.1in In this article, given any function $h: \mathbb C \rightarrow \mathbb R$, we consider an inhomogeneous variant $K_h$ of $K_0$ which is inspired by complex function theory. While an operator with integration kernel $K_h$ is easily seen to be $L^2$-bounded for all $h$, the symmetrization identities for each of the real and imaginary parts of $K_h$ show a striking lack of robustness in terms of boundedness and positivity, two properties that were critical in [18] and in subsequent works by many authors. Indeed here we show that for any continuous $h$ on $\mathbb C$, the only member of $\{K_h\}_h$ whose symmetrization has the right properties is $K_0$! This global instability complements our previous investigation [12] of symmetrization identities in the restricted setting of a curve, where a sub-family of $\{K_h\}_h$ displays very different behaviour than its global counterparts considered here. Our methods of proof have some overlap with techniques in recent work of Chousionis-Prat [5] and Chunaev [6].


title: The Asymptotic Distribution of the MLE in High-dimensional Logistic Models: Arbitrary Covariance

abstract: We study the distribution of the maximum likelihood estimate (MLE) in high-dimensional logistic models, extending the recent results from Sur (2019) to the case where the Gaussian covariates may have an arbitrary covariance structure. We prove that in the limit of large problems holding the ratio between the number $p$ of covariates and the sample size $n$ constant, every finite list of MLE coordinates follows a multivariate normal distribution. Concretely, the $j$th coordinate $\hat {\beta}_j$ of the MLE is asymptotically normally distributed with mean $\alpha_\star \beta_j$ and standard deviation $\sigma_\star/\tau_j$; here, $\beta_j$ is the value of the true regression coefficient, and $\tau_j$ the standard deviation of the $j$th predictor conditional on all the others. The numerical parameters $\alpha_\star > 1$ and $\sigma_\star$ only depend upon the problem dimensionality $p/n$ and the overall signal strength, and can be accurately estimated. Our results imply that the MLE's magnitude is biased upwards and that the MLE's standard deviation is greater than that predicted by classical theory. We present a series of experiments on simulated and real data showing excellent agreement with the theory.


title: Interoperable GPU Kernels as Latency Improver for MEC

abstract: Mixed reality (MR) applications are expected to become common when 5G goes mainstream. However, the latency requirements are challenging to meet due to the resources required by video-based remoting of graphics, that is, decoding video codecs. We propose an approach towards tackling this challenge: a client-server implementation for transacting intermediate representation (IR) between a mobile UE and a MEC server instead of video codecs and this way avoiding video decoding. We demonstrate the ability to address latency bottlenecks on edge computing workloads that transact graphics. We select SPIR-V compatible GPU kernels as the intermediate representation. Our approach requires know-how in GPU architecture and GPU domain-specific languages (DSLs), but compared to video-based edge graphics, it decreases UE device delay by sevenfold. Further, we find that due to low cold-start times on both UEs and MEC servers, application migration can happen in milliseconds. We imply that graphics-based location-aware applications, such as MR, can benefit from this kind of approach.


title: Asymptotic modeling of Helmholtz resonators including thermoviscous effects

abstract: We systematically employ the method of matched asymptotic expansions to model Helmholtz resonators, with thermoviscous effects incorporated starting from first principles and with the lumped parameters characterizing the neck and cavity geometries precisely defined and provided explicitly for a wide range of geometries. With an eye towards modeling acoustic metasurfaces, we consider resonators embedded in a rigid surface, each resonator consisting of an arbitrarily shaped cavity connected to the external half-space by a small cylindrical neck. The bulk of the analysis is devoted to the problem where a single resonator is subjected to a normally incident plane wave; the model is then extended using "Foldy's method" to the case of multiple resonators subjected to an arbitrary incident field. As an illustration, we derive critical-coupling conditions for optimal and perfect absorption by a single resonator and a model metasurface, respectively.


title: Poor man's scaling: $XYZ$ Coqblin--Schrieffer model revisited

abstract: We derive the third-order poor man's scaling equation for a generic Hamiltonian describing a quantum impurity embedded into an itinerant electron gas. We show that the $XYZ$ Coqblin--Schrieffer model introduced by one of us earlier is algebraically renormalizable in the sense that the form of the Hamiltonian is preserved along the scaling trajectory, write down the scaling equations for the model, and analyze the renormalization group flows in the cases of both constant and pseudogap densities of states.


title: Dissecting the regions around IceCube high-energy neutrinos: growing evidence for the blazar connection

abstract: The association of two IceCube detections, the IceCube-170922A event and a neutrino flare, with the blazar TXS0506+056, has paved the way for the multimessenger quest for cosmic accelerators. IceCube has observed many other neutrinos but their origin remains unknown. To better understand the reason for the apparent lack of neutrino counterparts we have extended the comprehensive dissection of the sky area performed for the IceCube-170922A event to all the 70 public IceCube high-energy neutrinos that are well reconstructed and off the Galactic plane. Using the multi-frequency data available through the Open Universe platform, we have identified numerous candidate counterparts of IceCube events. We report here the classification of all the gamma-ray blazars found and the results of subsequent statistical tests. In addition, we have checked the 4LAC, 3FHL and 3HSP catalogues for potential counterparts. Following the dissection of all areas associated with IceCube neutrinos, we evaluate the data using a likelihood-ratio test and find a 3.23 sigma (post-trial) excess of HBLs and IBLs with a best-fit of 15 +/- 3.6 signal sources. This result, together with previous findings, consistently points to a growing evidence for a connection between IceCube neutrinos and blazars, the most energetic particle accelerators known in the Universe.


title: Properties of $Z_c(3900)$ tetraquark in a cold nuclear matter

abstract: The study of medium effects on properties of particles embedded in nuclear matter is of great importance for understanding the nature and internal quark-gluon organization as well as exact determination of the quantum numbers, especially of the exotic states. In this context, we study the physical properties of one of the famous charmonium-like states, $Z_c(3900)$, in a cold dense matter. We investigate the possible shifts in the mass and current-meson coupling of the $Z_c(3900)$ state due to the dense medium at saturation density, $ \rho^{sat} $, by means of the in-medium sum rules. We also estimate the vector self-energy of this state at saturation nuclear matter density. We discuss the behavior of the spectroscopic parameters of this state with respect to the density up to a high density corresponding to the core of neutron stars, $\rho\approx 5\rho^{sat}$. Both the mass and current-coupling of this state show nonlinear behavior and decrease with respect to the density of the medium: the mass reaches roughly $30\%$ of its vacuum value at $ \rho=5\rho^{sat} $, while the current-coupling approaches zero at $ \rho\approx2.1\rho^{sat} $, when the central values of the auxiliary and other input parameters are used.


title: The Baire Category of Subsequences and Permutations which preserve Limit Points

abstract: Let $\mathcal{I}$ be a meager ideal on $\mathbf{N}$. We show that if $x$ is a sequence with values in a separable metric space then the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-cluster points of $x$ is topologically large if and only if every ordinary limit point of $x$ is also an $\mathcal{I}$-cluster point of $x$. The analogue statement fails for all maximal ideals. This extends the main results in [Topology Appl. \textbf{263} (2019), 221--229]. As an application, if $x$ is a sequence with values in a first countable compact space which is $\mathcal{I}$-convergent to $\ell$, then the set of subsequences [resp. permutations] which are $\mathcal{I}$-convergent to $\ell$ is topologically large if and only if $x$ is convergent to $\ell$ in the ordinary sense. Analogous results hold for $\mathcal{I}$-limit points, provided $\mathcal{I}$ is an analytic P-ideal.


title: Influence of equilibrium and nonequilibrium environments on macroscopic realism through the Leggett-Garg inequalities

abstract: We study the macroscopic realism (macrorealism) through the two- and three-time Leggett-Garg inequalities (LGIs) in a two interacting qubits system. The two qubits are coupled either with two bosonic (thermal or photonic) baths or fermionic (electronic) baths. We study both how the equilibrium and nonequilibrium environments influence the LGIs. One way to characterize the nonequilibrium condition is by the temperature difference (for the bosonic bath) or the chemical potential difference (for the fermionic bath). We also study the heat or particle current and the entropy production rate generated by the nonequilibrium environments. Analytical forms of LGIs and the maximal value of LGIs based on the quantum master equation beyond the secular approximation are derived. The LGI functions and the corresponding maximal value have separated contributions, the part describing the coherent evolution and the part describing the coupling between the system and environments. The environment-coupling part can be from the equilibrium environment or the nonequilibrium environment. The nonequilibrium dynamics is quantified by the Bloch-Redfield equation which is beyond the Lindblad form. We found that the nonequilibriumness quantified by the temperature difference or the chemical potential difference can lead to the LGIs violations or the increase of the maximal value of LGIs, restoring the quantum nature from certain equilibrium cases where LGIs are preserved. The corresponding nonequilibrium thermodynamic cost is quantified by the nonzero entropy production rate. Our finding of the nonequilibrium promoted LGIs violations suggests a new strategy for the design of quantum information processing and quantum computational devices to maintain the quantum nature and quantum correlations for long.


title: Diagnostics and Visualization of Point Process Models for Event Times on a Social Network

abstract: Point process models have been used to analyze interaction event times on a social network, in the hope to provides valuable insights for social science research. However, the diagnostics and visualization of the modeling results from such an analysis have received limited discussion in the literature. In this paper, we develop a systematic set of diagnostic tools and visualizations for point process models fitted to data from a network setting. We analyze the residual process and Pearson residual on the network by inspecting their structure and clustering structure. Equipped with these tools, we can validate whether a model adequately captures the temporal and/or network structures in the observed data. The utility of our approach is demonstrated using simulation studies and point process models applied to a study of animal social interactions.


title: Robust Submodular Minimization with Applications to Cooperative Modeling

abstract: Robust Optimization is becoming increasingly important in machine learning applications. This paper studies the problem of robust submodular minimization subject to combinatorial constraints. Constrained Submodular Minimization arises in several applications such as co-operative cuts in image segmentation, co-operative matchings in image correspondence, etc. Many of these models are defined over clusterings of data points (for example pixels in images), and it is important for these models to be robust to perturbations and uncertainty in the data. While several existing papers have studied robust submodular maximization, ours is the first work to study the minimization version under a broad range of combinatorial constraints including cardinality, knapsack, matroid as well as graph-based constraints such as cuts, paths, matchings, and trees. In each case, we provide scalable approximation algorithms and also study hardness bounds. Finally, we empirically demonstrate the utility of our algorithms on synthetic and real-world datasets.


title: f-Biderivations and Jordan biderivations of unital algebras with idempotents

abstract: The notion of f-derivations was introduced by Beidar and Fong to unify several kinds of linear maps including derivations, Lie derivations and Jordan derivations. In this paper we introduce the notion of f-biderivations as a natural "biderivation" counterpart of the notion of "f-derivations". We first show, under some conditions, that any f-derivation is a Jordan biderivation. Then, we turn to study f-biderivations of a unital algebra with an idempotent. Our second main result shows, under some conditions, that every Jordan biderivation can be written as a sum of a biderivation, an antibiderivation and an extremal biderivation. As a consequence we show that every Jordan biderivation on a triangular algebra is a biderivation.


abstract: For a non-decreasing sequence of positive integers $S = (s_1,s_2,\ldots)$, the {\em $S$-packing chromatic number} $\chi_S(G)$ of $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $X_i$, $i \in [k]$, where vertices in $X_i$ are pairwise at distance greater than $s_i$. In this paper we introduce $S$-packing chromatic vertex-critical graphs, $\chi_{S}$-critical for short, as the graphs in which $\chi_{S}(G-u)<\chi_{S}(G)$ for every $u\in V(G)$. This extends the earlier concept of the packing chromatic vertex-critical graphs. We show that if $G$ is $\chi_{S}$-critical, then the set $\{ \chi_{S}(G)-\chi_{S}(G-u); \, u\in V(G) \}$ can be almost arbitrary. If $G$ is $\chi_{S}$-critical and $\chi_{S}(G)=k$ ($k\in \mathbb{N}$), then $G$ is called $k$-$\chi_{S}$-critical. We characterize $3$-$\chi_{S}$-critical graphs and partially characterize $4$-$\chi_{S}$-critical graphs when $s_1>1$. We also deal with $k$-$\chi_{S}$-criticality of trees and caterpillars.


title: Simulations of Events for the LUX-ZEPLIN (LZ) Dark Matter Experiment

abstract: The LUX-ZEPLIN dark matter search aims to achieve a sensitivity to the WIMP-nucleon spin-independent cross-section down to (1--2)$\times10^{-12}$\,pb at a WIMP mass of 40 GeV/$c^2$. This paper describes the simulations framework that, along with radioactivity measurements, was used to support this projection, and also to provide mock data for validating reconstruction and analysis software. Of particular note are the event generators, which allow us to model the background radiation, and the detector response physics used in the production of raw signals, which can be converted into digitized waveforms similar to data from the operational detector. Inclusion of the detector response allows us to process simulated data using the same analysis routines as developed to process the experimental data.


title: Classifying Regular Polyhedra and Polytopes using Wythoff's Construction

abstract: Wythoff's construction associates a uniform polytope to a Coxeter diagram whose vertices are decorated with crosses, which indicate the subgroup stabilizing a generic point. Champagne, Kjiri, Patera, and Sharp remarked that by associating more information to a Coxeter diagram, one can furthermore determine the types and number of faces of such a polytope. This article provides a proof of this result, and uses it to provide a classification of the regular polytopes.


title: On Expansion and Contraction of DL-Lite Knowledge Bases

abstract: Knowledge bases (KBs) are not static entities: new information constantly appears and some of the previous knowledge becomes obsolete. In order to reflect this evolution of knowledge, KBs should be expanded with the new knowledge and contracted from the obsolete one. This problem is well-studied for propositional but much less for first-order KBs. In this work we investigate knowledge expansion and contraction for KBs expressed in DL-Lite, a family of description logics (DLs) that underlie the tractable fragment OWL 2 QL of the Web Ontology Language OWL 2. We start with a novel knowledge evolution framework and natural postulates that evolution should respect, and compare our postulates to the well-established AGM postulates. We then review well-known model and formula-based approaches for expansion and contraction for propositional theories and show how they can be adapted to the case of DL-Lite. In particular, we show intrinsic limitations of model-based approaches: besides the fact that some of them do not respect the postulates we have established, they ignore the structural properties of KBs. This leads to undesired properties of evolution results: evolution of DL-Lite KBs cannot be captured in DL-Lite. Moreover, we show that well-known formula-based approaches are also not appropriate for DL-Lite expansion and contraction: they either have a high complexity of computation, or they produce logical theories that cannot be expressed in DL-Lite. Thus, we propose a novel formula-based approach that respects our principles and for which evolution is expressible in DL-Lite. For this approach we also propose polynomial time deterministic algorithms to compute evolution of DL-Lite KBs when evolution affects only factual data.


title: Inverse of generalized Nevanlinna function that is holomorphic at infinity

abstract: Let $\left(\mathcal{H},\left(.,.\right)\right)$ be a Hilbert space and let $\mathcal{L}\left(\mathcal{H}\right)$ be the linear space of bounded operators in $\mathcal{H}$. In this paper, we deal with $\mathcal{L}(\mathcal{H})$-valued function $Q$ that belongs to the generalized Nevanlinna class $\mathcal{N}_{\kappa} (\mathcal{H})$, where $\kappa$ is a non-negative integer. It is the class of functions meromorphic on $C \backslash R$, such that $Q(z)^{*}=Q(\bar{z})$ and the kernel $\mathcal{N}_{Q}\left( z,w \right):=\frac{Q\left( z \right)-{Q\left( w \right)}^{\ast }}{z-\bar{w}}$ has $\kappa$ negative squares. A focus is on the functions $Q \in \mathcal{N}_{\kappa} (\mathcal{H})$ which are holomorphic at $ \infty$. A new operator representation of the inverse function $\hat{Q}\left( z \right):=-{Q\left( z \right)}^{-1}$ is obtained under the condition that the derivative at infinity $Q^{'}\left( \infty\right):=\lim\limits_{z\to \infty}{zQ(z)}$ is boundedly invertible operator. It turns out that $\hat{Q}$ is the sum $\hat{Q}=\hat{Q}_{1}+\hat{Q}_{2},\, \, \hat{Q}_{i}\in \mathcal{N}_{\kappa_{i}}\left( \mathcal{H} \right)$ that satisfies $\kappa_{1}+\kappa_{2}=\kappa $. That decomposition enables us to study properties of both functions, $Q$ and $\hat{Q}$, by studying the simple components $\hat{Q}_{1}$ and $\hat{Q}_{2}$.


title: Particle-Gibbs Sampling For Bayesian Feature Allocation Models

abstract: Bayesian feature allocation models are a popular tool for modelling data with a combinatorial latent structure. Exact inference in these models is generally intractable and so practitioners typically apply Markov Chain Monte Carlo (MCMC) methods for posterior inference. The most widely used MCMC strategies rely on an element wise Gibbs update of the feature allocation matrix. These element wise updates can be inefficient as features are typically strongly correlated. To overcome this problem we have developed a Gibbs sampler that can update an entire row of the feature allocation matrix in a single move. However, this sampler is impractical for models with a large number of features as the computational complexity scales exponentially in the number of features. We develop a Particle Gibbs sampler that targets the same distribution as the row wise Gibbs updates, but has computational complexity that only grows linearly in the number of features. We compare the performance of our proposed methods to the standard Gibbs sampler using synthetic data from a range of feature allocation models. Our results suggest that row wise updates using the PG methodology can significantly improve the performance of samplers for feature allocation models.


title: Extrapolation on Hardy spaces and applications

abstract: In this survey article some classical results concerning real interpolation between Hardy spaces are briefly presented and then it is explained how those results can be used to establish Yano-type extrapolation theorems for Hardy spaces. Some new extensions and variants of certain classical endpoint theorems in harmonic analysis are obtained as applications of the extrapolation results presented here.


title: On the number of alternating paths in random graphs

abstract: In the noisy channel model from coding theory, we wish to detect errors introduced during transmission by optimizing various parameters of the code. Bennett, Dudek, and LaForge framed a variation of this problem in the language of alternating paths in edge-colored complete bipartite graphs in 2016. Here, we extend this problem to the random graph $\mathbb{G}(n,p)$. We seek the alternating connectivity, $\kappa_{r,\ell}(G)$, which is the maximum $t$ such that there is an $r$-edge-coloring of $G$ such that any pair of vertices is connected by $t$ internally disjoint and alternating (i.e. no consecutive edges of the same color) paths of length $\ell$. We have three main results about how this parameter behaves in $\mathbb{G}(n,p)$ that basically cover all ranges of $p$: one for paths of length two, one for the dense case, and one for the sparse case. For paths of length two, we found that $\kappa_{r,\ell}(G)$ is essentially the codegree of a pair of vertices. For the dense case when $p$ is constant, we were able to achieve the natural upper bounds of minimum degree (minus some intersection) or the total number of disjoint paths between a pair of vertices. For the sparse case, we were able to find colorings that achieved the natural obstructions of minimum degree or (in a slightly less precise result) the total number of paths of a certain length in a graph. We broke up this sparse case into ranges of $p$ corresponding to when $\mathbb{G}(n,p)$ has diameter $k$ or $k+1$. We close with some remarks about a similar parameter and a generalization to pseudorandom graphs.


title: Robust Gaussian Joint Source-Channel Coding with a Staircase Distortion-Noise Profile

abstract: Minimum energy required to achieve a distortion-noise profile, i.e., a function indicating the maximum allowed distortion value for each channel noise level. In this paper, the minimum energy required to achieve a distortion noise profile is studied for Gaussian sources which are transmitted robustly over Gaussian channels. We provide upper bound for the minimum energy behavior of the staircase profile using our proposed coding scheme. Conversely, utilizing a family of lower bounds originally derived for broadcast channels with power constraints, the minimum required energy is lower bounded for staircase profile.


title: Learning Preference-Based Similarities from Face Images using Siamese Multi-Task CNNs

abstract: Online dating has become a common occurrence over the last few decades. A key challenge for online dating platforms is to determine suitable matches for their users. A lot of dating services rely on self-reported user traits and preferences for matching. At the same time, some services largely rely on user images and thus initial visual preference. Especially for the latter approach, previous research has attempted to capture users' visual preferences for automatic match recommendation. These approaches are mostly based on the assumption that physical attraction is the key factor for relationship formation and personal preferences, interests, and attitude are largely neglected. Deep learning approaches have shown that a variety of properties can be predicted from human faces to some degree, including age, health and even personality traits. Therefore, we investigate the feasibility of bridging image-based matching and matching with personal interests, preferences, and attitude. We approach the problem in a supervised manner by predicting similarity scores between two users based on images of their faces only. The ground-truth for the similarity matching scores is determined by a test that aims to capture users' preferences, interests, and attitude that are relevant for forming romantic relationships. The images are processed by a Siamese Multi-Task deep learning architecture. We find a statistically significant correlation between predicted and target similarity scores. Thus, our results indicate that learning similarities in terms of interests, preferences, and attitude from face images appears to be feasible to some degree.


title: A note on the diamond operator

abstract: We show that if $1 \leq_W F$ and $F \star F \leq_W F$, then $F^\diamond \leq_W F$, where $\star$ and $\diamond$ are the following operations in the Weihrauch lattice: $\star$ is the compositional product, which allows the use of two principles in sequence, while the diamond operator $\diamond$ allows an arbitrary but finite number of uses of the given principle in sequence. This answers a question of Pauly.


title: Following Instructions by Imagining and Reaching Visual Goals

abstract: While traditional methods for instruction-following typically assume prior linguistic and perceptual knowledge, many recent works in reinforcement learning (RL) have proposed learning policies end-to-end, typically by training neural networks to map joint representations of observations and instructions directly to actions. In this work, we present a novel framework for learning to perform temporally extended tasks using spatial reasoning in the RL framework, by sequentially imagining visual goals and choosing appropriate actions to fulfill imagined goals. Our framework operates on raw pixel images, assumes no prior linguistic or perceptual knowledge, and learns via intrinsic motivation and a single extrinsic reward signal measuring task completion. We validate our method in two environments with a robot arm in a simulated interactive 3D environment. Our method outperforms two flat architectures with raw-pixel and ground-truth states, and a hierarchical architecture with ground-truth states on object arrangement tasks.


title: Shocklets in the Comet Halley Plasma

abstract: Dust acoustic (DA) waves evolving into shocklets are investigated in the Comet Halley plasma system relaxing to Maxwellian, Kappa and Cairns distributions. Here dynamics of dust is described by the fully nonlinear continuity and momentum equations. A set of two characteristic wave nonlinear equations is obtained and numerically solved to examine the DA solitary pulse which develops into oscillatory shocklets with the course of time such as at time {\tau}=0, symmetric solitary pulses are formed, which develop into oscillatory shocklets. It has been observed that variation in superthermality strongly affects the profiles of nonlinear DA structures in terms of negative potential, dust velocity and density.


title: Symmetrization of a Cauchy-like kernel on curves

abstract: Given a curve $\Gamma\subset \mathbb C$ with specified regularity, we investigate boundedness and positivity for a certain three-point symmetrization of a Cauchy-like kernel $K_{\Gamma}$ whose definition is dictated by the geometry and complex function theory of the domains bounded by $\Gamma$. Our results show that $\mathtt S[\text{Re} K_{\Gamma}]$ and $\mathtt S[\text{Im} K_{\Gamma}]$ (namely, the symmetrizations of the real and imaginary parts of $K_{\Gamma}$) behave very differently from their counterparts for the Cauchy kernel previously studied in the literature. For instance, the quantities $\mathtt S[\text{Re} K_{\Gamma}](\mathbf z)$ and $\mathtt S[\text{Im} K_{\Gamma}](\mathbf z)$ can behave like $\frac32c^2(\mathbf z)$ and $-\frac12c^2(\mathbf z)$, where $\mathbf z$ is any three-tuple of points in $\Gamma$ and $c(\mathbf z)$ is the Menger curvature of $\mathbf z$. For the original Cauchy kernel, an iconic result of M. Melnikov gives that the symmetrized forms of the real and imaginary parts are each equal to $\frac12c^2(\mathbf z)$ for all three-tuples in $\mathbb C$.


title: Effects of Observational Data Shortage on Accuracy of Global Solar Activity Forecast

abstract: Building a reliable forecast of solar activity is a long-standing problem that requires to accurately describe past and current global dynamics. However, synoptic observations of magnetic fields and subsurface flows became available relatively recently. In this paper, we present an investigation of effects of short observational data series on accuracy of solar cycle prediction. This analysis is performed using the annual sunspot number time-series applied to the Parker-Kleeorin-Ruzmaikin dynamo model and employing the Ensemble Kalman Filter (EnKF) data assimilation method. The testing of the cycle prediction accuracy is performed for the last six cycles (from Solar Cycle 19 to 24) by sequentially shortening the observational data series that are used for prediction of a target cycle, and evaluating the prediction accuracy according to specified criteria. According to the analysis, reliable activity predictions can be made using relatively short time-series of the sunspot number. It demonstrated that even two cycles of available observations allow us to obtain reasonable forecasts.


title: Constrained Upper Confidence Reinforcement Learning

abstract: Constrained Markov Decision Processes are a class of stochastic decision problems in which the decision maker must select a policy that satisfies auxiliary cost constraints. This paper extends upper confidence reinforcement learning for settings in which the reward function and the constraints, described by cost functions, are unknown a priori but the transition kernel is known. Such a setting is well-motivated by a number of applications including exploration of unknown, potentially unsafe, environments. We present an algorithm C-UCRL and show that it achieves sub-linear regret ($ O(T^{\frac{3}{4}}\sqrt{\log(T/\delta)})$) with respect to the reward while satisfying the constraints even while learning with probability $1-\delta$. Illustrative examples are provided.


title: Karmarkar scalar condition

abstract: In this work we present the Karmarkar condition in terms of the structure scalars obtained from the orthogonal decomposition of the Riemann tensor. This the new expression becomes an algebraic relation among the physical variables, and not a differential equation between the metric coefficients. By using the Karmarkar scalar condition we implement a method to obtain all possible embedding class I static spherical solutions, provided the energy density profile is given. We also analyse the dynamic adiabatic case and show the incompatibility of the Kamarkar condition with several commonly assumed simplifications to the study of gravitational collapse. Finally, we consider the dissipative dynamic Karmarkar collapse and find a new solution family.


title: Sandpile modelling of dual location fuelling in fusion plasmas

abstract: We modify the Chapman sandpile model (Chapman \textit{et al} \textit{Physical Review Letters} 86, 2814 (2001)) to form comparisons with pellet pacing, which is used to reduce or eliminate ELMs in a fusion plasma. We employ a variation of that model in which a pedestal with feedback is introduced (Bowie and Hole \textit{Phys. Plasmas} 25, 012511 (2018)), which we further modify to provide for dual fuelling - sand is added both at the centre of the sandpile, and near the edge. We observe that when the additional sand is added at the top of the pedestal, MLEs are largely suppressed. While this suppression comes at a cost by way of reduction in total energy confinement, that reduction is lower than the reduction in MLE size. The trade-off between MLE suppression and reduction in energy confinement depends not only on the amount of extra sand, but also on its precise location relative to the top of the pedestal. We suggest that the approach of constant dual fuelling may be equally applicable to plasmas, and may suggest a strategy for ELM suppression in fusion plasmas. We observe that when the proposed amount of extra sand is added in 'pellets', using frequencies and amounts based on those proposed for ELM suppression for ITER, MLEs are similarly suppressed, although MLEs are not significantly suppressed when the pellet rate does not substantially exceed the MLE frequency. This suggests that pellet injection at the top of the pedestal at small pellet size and high frequency may represent a reasonable physical proxy for our proposed scheme. However, our results suggest that it is not the synchronisation of pellets to ELM frequencies which is the key factor for ELM suppression in this regime, but rather the introduction of additional fuelling at the top of the pedestal.


title: Asymptotic Plateau Problem for Two Contours

abstract: For two disjoint rectifiable star-shaped Jordan curves (including round circles) in the asymptotic boundary of hyperbolic 3-space, if the distance (see Definition 1.8) between these two Jordan curves are bounded from above by some constant, then there exists an annulus-type area minimizing (or equivalently least area) minimal surface asymptotic to these two Jordan curves. The main results of this paper are Theorem 1.7 and Theorem 1.11.


title: Neutron Induced Fission Fragment Angular Distributions, Anisotropy, and Linear Momentum Transfer Measured with the NIFFTE Fission Time Projection Chamber

abstract: The Neutron Induced Fission Fragment Tracking Experiment (NIFFTE) collaboration has performed measurements with a fission time projection chamber (fissionTPC) to study the fission process by reconstructing full three-dimensional tracks of fission fragments and other ionizing radiation. The amount of linear momentum imparted to the fissioning nucleus by the incident neutron can be inferred by measuring the opening angle between the fission fragments. Using this measured linear momentum, fission fragment angular distributions can be converted to the center-of-mass frame for anisotropy measurements. Angular anisotropy is an important experimental observable for understanding the quantum mechanical state of the fissioning nucleus and vital to determining detection efficiency for cross section measurements. Neutron linear momentum transfer to fissioning $^{235}$U, $^{238}$U, and $^{239}$Pu and fission fragment angular anisotropy of $^{235}$U and $^{238}$U as a function of neutron energies in the range 130 keV--250 MeV are presented.


title: GraphAF: a Flow-based Autoregressive Model for Molecular Graph Generation

abstract: Molecular graph generation is a fundamental problem for drug discovery and has been attracting growing attention. The problem is challenging since it requires not only generating chemically valid molecular structures but also optimizing their chemical properties in the meantime. Inspired by the recent progress in deep generative models, in this paper we propose a flow-based autoregressive model for graph generation called GraphAF. GraphAF combines the advantages of both autoregressive and flow-based approaches and enjoys: (1) high model flexibility for data density estimation; (2) efficient parallel computation for training; (3) an iterative sampling process, which allows leveraging chemical domain knowledge for valency checking. Experimental results show that GraphAF is able to generate 68% chemically valid molecules even without chemical knowledge rules and 100% valid molecules with chemical rules. The training process of GraphAF is two times faster than the existing state-of-the-art approach GCPN. After fine-tuning the model for goal-directed property optimization with reinforcement learning, GraphAF achieves state-of-the-art performance on both chemical property optimization and constrained property optimization.


title: Orientable Hamiltonian Embeddings of the Hypercube Graph

abstract: A Hamiltonian embedding is an embedding of a graph $G$ such that the boundary of each face is a Hamiltonian cycle of $G$. It is shown that the hypercube graph $Q_n$ admits such an embedding on an orientable surface when $n$ is a power of 2. Basic necessary conditions on Hamiltonian embeddings for $Q_n$ and conjectures are made about other values of $n$.


title: Boosted and Differentially Private Ensembles of Decision Trees

abstract: Boosted ensemble of decision tree (DT) classifiers are extremely popular in international competitions, yet to our knowledge nothing is formally known on how to make them \textit{also} differential private (DP), up to the point that random forests currently reign supreme in the DP stage. Our paper starts with the proof that the privacy vs boosting picture for DT involves a notable and general technical tradeoff: the sensitivity tends to increase with the boosting rate of the loss, for any proper loss. DT induction algorithms being fundamentally iterative, our finding implies non-trivial choices to select or tune the loss to balance noise against utility to split nodes. To address this, we craft a new parametererized proper loss, called the M$\alpha$-loss, which, as we show, allows to finely tune the tradeoff in the complete spectrum of sensitivity vs boosting guarantees. We then introduce \textit{objective calibration} as a method to adaptively tune the tradeoff during DT induction to limit the privacy budget spent while formally being able to keep boosting-compliant convergence on limited-depth nodes with high probability. Extensive experiments on 19 UCI domains reveal that objective calibration is highly competitive, even in the DP-free setting. Our approach tends to very significantly beat random forests, in particular on high DP regimes ($\varepsilon \leq 0.1$) and even with boosted ensembles containing ten times less trees, which could be crucial to keep a key feature of DT models under differential privacy: interpretability.


title: Gravitational slingshots around black holes in a binary

abstract: The speed gain of a test mass from taking a gravitational slingshot around a celestial object (scattering centre) increases with the latter's speed and compactness (stronger deflection of the mass' trajectory becomes possible without it hitting the surface of the object). The black holes (BHs) in a tight binary (consisting of two black holes; we are not considering X-ray binaries), themselves moving at relativistic speeds, represent optimal scattering centres. Therefore, a sub-population of accreting matter particles, swept up into chaotic orbits around a BH binary, might repeatedly take slingshots and become accelerated to ultra-relativistic speeds (as seen by observers on Earth), ultimately escaping from the binary, as well as the fate of being devoured by a BH. The escaped particles can plausibly be observed on Earth as ultra-high-energy cosmic rays (UHECRs). Investigating such a possibility would require general relativistic slingshot formulae due to the high speeds involved and the close encounters with BHs. We derive them in this paper, and show that the percentage gain per slingshot in a particle's Lorentz factor remains undiminished even as the particle energizes up, thus demonstrating that the slingshot mechanism can in principal accelerate particles to extreme energies.