title: The Alexander polynomial as a universal invariant

abstract: Let $\mathsf{B}_1$ be the polynomial ring $\mathbb{C}[a^{\pm1},b]$ with the structure of a complex Hopf algebra induced from its interpretation as the algebra of regular functions on the affine linear algebraic group of complex invertible upper triangular 2-by-2 matrices of the form $\left( \begin{smallmatrix} a&b\\0&1 \end{smallmatrix}\right)$. We prove that the universal invariant of a long knot $K$ associated to $\mathsf{B}_1$ is the reciprocal of the canonically normalised Alexander polynomial $\Delta_K(a)$. Given the fact that $\mathsf{B}_1$ admits a $q$-deformation $\mathsf{B}_q$ which underlies the (coloured) Jones polynomials, our result provides another conceptual interpretation for the Melvin--Morton--Rozansky conjecture proven by Bar-Nathan and Garoufalidis, and Garoufalidis and L\^e.


title: Perspectives on Constrained Forecasting

abstract: This expository paper discusses Bayesian decision analysis perspectives on problems of constrained forecasting. Foundational and pedagogic discussion contrasts decision analytic approaches with the traditional, but typically inappropriate, inferential approach. Illustrative examples include development of novel constrained point forecasting and entropic tilting methodology to explore consistency of a predictive distribution with an imposed or hypothesized constraint. Linear, aggregate constraints define illuminating examples that relate to broadly important problems involving aggregate and hierarchical constraints in commercial and economic forecasting. Discussion explores the impact of different loss functions, questions of how constrained forecasting is impacted by dependencies among outcomes being predicted, and promotes the broader use of decision analysis including routine evaluation of predictive distributions of loss under chosen forecasts/decisions. Extensions to more general constrained forecasting problems, connections with broader interests in forecast reconciliation and other considerations are noted.


title: Sistema experto para el diagn\'ostico de enfermedades y plagas en los cultivos del arroz, tabaco, tomate, pimiento, ma\'iz, pepino y frijol

abstract: Agricultural production has become a complex business that requires the accumulation and integration of knowledge, in addition to information from many different sources. To remain competitive, the modern farmer often relies on agricultural specialists and advisors who provide them with information for decision making in their crops. But unfortunately, the help of the agricultural specialist is not always available when the farmer needs it. To alleviate this problem, expert systems have become a powerful instrument that has great potential within agriculture. This paper presents an Expert System for the diagnosis of diseases and pests in rice, tobacco, tomato, pepper, corn, cucumber and bean crops. For the development of this Expert System, SWI-Prolog was used to create the knowledge base, so it works with predicates and allows the system to be based on production rules. This system allows a fast and reliable diagnosis of pests and diseases that affect these crops.


title: A note on changemaker lattices and Alexander polynomials of lens space knots

abstract: We give an alternative proof of a recent theorem of Tange using the technology of changemaker lattices. Specifically, for $K\subset S^3$ a non-trivial knot with a lens space surgery, we give constraints on the Alexander polynomial of $K$ and the lens space surgery when the coefficient of $T^{g(K)-2}$ in $\Delta_K(T)$ is non-zero.


title: Directional Temporal Modeling for Action Recognition

abstract: Many current activity recognition models use 3D convolutional neural networks (e.g. I3D, I3D-NL) to generate local spatial-temporal features. However, such features do not encode clip-level ordered temporal information. In this paper, we introduce a channel independent directional convolution (CIDC) operation, which learns to model the temporal evolution among local features. By applying multiple CIDC units we construct a light-weight network that models the clip-level temporal evolution across multiple spatial scales. Our CIDC network can be attached to any activity recognition backbone network. We evaluate our method on four popular activity recognition datasets and consistently improve upon state-of-the-art techniques. We further visualize the activation map of our CIDC network and show that it is able to focus on more meaningful, action related parts of the frame.


title: Non-asymptotic moment bounds for random variables rounded to non-uniformly spaced sets

abstract: We study the effects of rounding on the moments of random variables. Specifically, given a random variable $X$ and its rounded counterpart $\operatorname{rd}(X)$, we study $|\mathbb{E}[X^k] - \mathbb{E}[\operatorname{rd}(X)^{k}]|$ for non-negative integer $k$. We consider the case that the rounding function $\operatorname{rd} : \mathbb{R}\to\mathbb{F}$ corresponds either to (i) rounding to the nearest point in some discrete set $\mathbb{F}$ or (ii) rounding randomly to either the nearest larger or smaller point in this same set with probabilities proportional to the distances to these points. In both cases, we show, under reasonable assumptions on the density function of $X$, how to compute a constant $C$ such that $|\mathbb{E}[X^k] - \mathbb{E}[\operatorname{rd}(X)^{k}]| < C\epsilon^2$, provided $|\operatorname{rd}(x) - x| \leq \epsilon \: E(x)$, where $E : \mathbb{R} \to \mathbb{R}_{\geq 0}$ is some fixed positive piecewise linear function. Refined bounds for the absolute moments $\mathbb{E}[ |X^k-\operatorname{rd}(X)^{k}|]$ are also given.


title: A Vertex-Weighted Tutte Symmetric Function, and Constructing Graphs with Equal Chromatic Symmetric Function

abstract: This paper has two main parts. First, we consider the Tutte symmetric function $XB$, a generalization of the chromatic symmetric function. We introduce a vertex-weighted version of $XB$ and show that this function admits a deletion-contraction relation. We also demonstrate that the vertex-weighted $XB$ admits spanning-tree and spanning-forest expansions generalizing those of the Tutte polynomial by connecting $XB$ to other graph functions. Second, we give several methods for constructing nonisomorphic graphs with equal chromatic and Tutte symmetric functions, and use them to provide specific examples.


title: Embedding and extension results in Fractional Musielak-Sobolev spaces

abstract: In this paper, we are concerned with some qualitative properties of the new fractional Musielak-Sobolev spaces $W^sL_{\varPhi_{x,y}}$ such that the generalized Poincar\'e type inequality and some continuous and compact embedding theorems of these spaces. Moreover, we prove that any function in $W^sL_{\varPhi_{x,y}}(\Omega)$ may be extended to a function in $W^sL_{\varPhi_{x,y}}(\R^N)$, with $\Omega \subset \R^N$ is a bounded domain of class $C^{0,1}$. In addition, we establish a result relates to the complemented subspace in $W^s{L_{\varPhi_{x,y}}}\left( \R^N\right)$. As an application, using the mountain pass theorem and some variational methods, we investigate the existence of a nontrivial weak solution for a class of nonlocal fractional type problems with Dirichlet boundary data.


title: Dark energy explained by a bias in the measurements

abstract: Typical cosmological models are based on the postulate that space is homogeneous. Space however contains overdense regions in which matter is concentrating, leaving underdense regions of almost void. The evolution of the scale factor of the universe has been established from measurements on SNIa. Since such events occur in regions were matter is present, we may expect that most of the SNIa are located in overdense regions. This means that the evolution of the scale factor has been established in a biased manner, by considering only information coming from overdense regions, excluding the one from the underdense regions. We develop a simple model to analyze the effect of this bias, and show that it leads to the appearance of a new tensor in the Einstein equation of general relativity, which can account for the apparent acceleration of the expansion of the universe. We further show that this tensor tends to be proportional to the FLRW metric tensor, and that the constant of proportionality quantitatively corresponds to the measured cosmological constant with a remarkable accuracy. We finally explain why these properties remain valid for other techniques used in determining the dynamics of the universe, such as the baryon acoustic oscillations.


title: On the Rademacher Complexity of Linear Hypothesis Sets

abstract: Linear predictors form a rich class of hypotheses used in a variety of learning algorithms. We present a tight analysis of the empirical Rademacher complexity of the family of linear hypothesis classes with weight vectors bounded in $\ell_p$-norm for any $p \geq 1$. This provides a tight analysis of generalization using these hypothesis sets and helps derive sharp data-dependent learning guarantees. We give both upper and lower bounds on the Rademacher complexity of these families and show that our bounds improve upon or match existing bounds, which are known only for $1 \leq p \leq 2$.


title: NanoSQUIDs from YBa$_2$Cu$_3$O$_7$/SrTiO$_3$ superlattices with bicrystal grain boundary Josephson junctions

abstract: We report on the fabrication and characterization of nanopatterned dc SQUIDs with grain boundary Josephson junctions based on heteroepitaxially grown YBa$_2$Cu$_3$O$_7$ (YBCO)/ SiTrO$_3$ (STO) superlattices on STO bicrystal substrates. Nanopatterning is performed by Ga focused-ion-beam milling. The electric transport properties and thermal white flux noise of superlattice nanoSQUIDs are comparable to single layer YBCO devices on STO bicrystals. However, we find that the superlattice nanoSQUIDs have more than an order of magnitude smaller low-frequency excess flux noise, with root-mean-square spectral density $S_\Phi^{1/2}\sim 5-6\,\mu\Phi_0/\sqrt{\rm Hz}$ at 1 Hz ($\Phi_0$ is the magnetic flux quantum). We attribute this improvement to an improved microstructure at the grain boundaries forming the Josephson junctions in our YBCO nanoSQUDs.


title: An Image Analogies Approach for Multi-Scale Contour Detection

abstract: In this paper we deal with contour detection based on the recent image analogy principle which has been successfully used for super-resolution, texture and curves synthesis and interactive editing. Hand-drawn outlines are initially as benchmarks. Given such a reference image, we present a new method based on this expertise to locate contours of a query image in the same way that it is done for the reference (i.e by analogy). Applying a image analogies for contour detection using hand drawn images as leaning images cannot gives good result for any query image. The contour detection may be improved if we increase the number of learning images such that there will be exist similarity between query image and some reference images. In addition of the hardness of contours drawing task, this will increase considerably the time computation. We investigated in this work, how can we avoid this constraint in order to guaranty that all contour pixels will be located for any query image. Fourteen derived stereo patches, derived from a mathematical study, are the knowledge used in order to locate contours at different scales independently of the light conditions. Comprehensive experiments are conducted on different data sets (BSD 500, Horses of Weizmann). The obtained results show superior performance via precision and recall vs. hand-drawn contours at multiple resolutions to the reported state of the art.


title: Maximum likelihood estimation of potential energy in interacting particle systems from single-trajectory data

abstract: This paper concerns the parameter estimation problem for the quadratic potential energy in interacting particle systems from continuous-time and single-trajectory data. Even though such dynamical systems are high-dimensional, we show that the vanilla maximum likelihood estimator (without regularization) is able to estimate the interaction potential parameter with optimal rate of convergence simultaneously in mean-field limit and in long-time dynamics. This to some extend avoids the curse-of-dimensionality for estimating large dynamical systems under symmetry of the particle interaction.


title: A Generalized Hosmer-Lemeshow Goodness-of-Fit Test for a Family of Generalized Linear Models

abstract: Generalized linear models (GLMs) are used within a vast number of application domains. However, formal goodness of fit (GOF) tests for the overall fit of the model$-$so-called "global" tests$-$seem to be in wide use only for certain classes of GLMs. In this paper we develop and apply a new global goodness-of-fit test, similar to the well-known and commonly used Hosmer-Lemeshow (HL) test, that can be used with a wide variety of GLMs. The test statistic is a variant of the HL test statistic, but we rigorously derive an asymptotically correct sampling distribution of the test statistic using methods of Stute and Zhu (2002). Our new test is relatively straightforward to implement and interpret. We demonstrate the test on a real data set, and compare the performance of our new test with other global GOF tests for GLMs, finding that our test provides competitive or comparable power in various simulation settings. Our test also avoids the use of kernel-based estimators, used in various GOF tests for regression, thereby avoiding the issues of bandwidth selection and the curse of dimensionality. Since the asymptotic sampling distribution is known, a bootstrap procedure for the calculation of a p-value is also not necessary, and we therefore find that performing our test is computationally efficient.


title: Internal-Illumination Photoacoustic Tomography Enhanced by a Graded-scattering Fiber Diffuser

abstract: The penetration depth of photoacoustic imaging in biological tissues has been fundamentally limited by the strong optical attenuation when light is delivered externally through the tissue surface. To address this issue, we previously reported internal-illumination photoacoustic imaging using a customized radial-emission optical fiber diffuser, which, however, has complex fabrication, high cost, and non-uniform light emission. To overcome these shortcomings, we have developed a new type of low-cost fiber diffusers based on a graded-scattering method in which the optical scattering of the fiber diffuser is gradually increased as the light travels. The graded scattering can compensate for the optical attenuation and provide relatively uniform light emission along the diffuser. We performed Monte Carlo numerical simulations to optimize several key design parameters, including the number of scattering segments, scattering anisotropy factor, divergence angle of the optical fiber, and reflective index of the surrounding medium. These optimized parameters collectively result in uniform light emission along the fiber diffuser and can be flexibly adjusted to accommodate different applications. We fabricated and characterized the prototype fiber diffuser made of agarose gel and intralipid. Equipped with the new fiber diffuser, we performed thorough proof-of-concept studies on ex vivo tissue phantoms and an in vivo swine model to demonstrate the deep-imaging capability (~10 cm achieved ex vivo) of photoacoustic tomography. We believe that the internal light delivery via the optimized fiber diffuser is an effective strategy to image deep targets (e.g., kidney) in large animals or humans.


title: Computing Volumes of Adjacency Polytopes via Draconian Sequences

abstract: Adjacency polytopes appear naturally in the study of nonlinear emergent phenomena in complex networks. The "PQ-type" adjacency polytope, denoted $\nabla^{\mathrm{PQ}}_G$ and which is the focus of this work, encodes rich combinatorial information about power-flow solutions in sparse power networks that are studied in electric engineering. Of particular importance is the normalized volume of such an adjacency polytope, which provides an upper bound on the number of distinct power-flow solutions. In this article we show that the problem of computing normalized volumes for $\nabla^{\mathrm{PQ}}_G$ can be rephrased as counting $D(G)$-draconian sequences where $D(G)$ is a certain bipartite graph associated to the network. We prove recurrences for all networks with connectivity at most $1$ and, for $2$-connected graphs under certain restrictions, we give recurrences for subdividing an edge and taking the join of an edge with a new vertex. Together, these recurrences imply a simple, non-recursive formula for the normalized volume of $\nabla^{\mathrm{PQ}}_G$ when $G$ is part of a large class of outerplanar graphs; we conjecture that the formula holds for all outerplanar graphs. Explicit formulas for several other (non-outerplanar) classes are given. Further, we identify several important classes of graphs $G$ which are planar but not outerplanar that are worth additional study.


title: A Framework based on Deep Neural Networks to Extract Anatomy of Mosquitoes from Images

abstract: We design a framework based on Mask Region-based Convolutional Neural Network (Mask R-CNN) to automatically detect and separately extract anatomical components of mosquitoes - thorax, wings, abdomen and legs from images. Our training dataset consisted of 1500 smartphone images of nine mosquito species trapped in Florida. In the proposed technique, the first step is to detect anatomical components within a mosquito image. Then, we localize and classify the extracted anatomical components, while simultaneously adding a branch in the neural network architecture to segment pixels containing only the anatomical components. Evaluation results are favorable. To evaluate generality, we test our architecture trained only with mosquito images on bumblebee images. We again reveal favorable results, particularly in extracting wings. Our techniques in this paper have practical applications in public health, taxonomy and citizen-science efforts.


title: Curriculum Vitae Recommendation Based on Text Mining

abstract: During the last years, the development in diverse areas related to computer science and internet, allowed to generate new alternatives for decision making in the selection of personnel for state and private companies. In order to optimize this selection process, the recommendation systems are the most suitable for working with explicit information related to the likes and dislikes of employers or end users, since this information allows to generate lists of recommendations based on collaboration or similarity of content. Therefore, this research takes as a basis these characteristics contained in the database of curricula and job offers, which correspond to the Peruvian ambit, which highlights the experience, knowledge and skills of each candidate, which are described in textual terms or words. This research focuses on the problem: how we can take advantage from the growth of unstructured information about job offers and curriculum vitae on different websites for CV recommendation. So, we use the techniques from Text Mining and Natural Language Processing. Then, as a relevant technique for the present study, we emphasize the technique frequency of the Term - Inverse Frequency of the documents (TF-IDF), which allows identifying the most relevant CVs in relation to a job offer of website through the average values (TF-IDF). So, the weighted value can be used as a qualification value of the relevant curriculum vitae for the recommendation.


title: Homogeneous Bases for Demazure Modules

abstract: We study the PBW filtration on the Demazure modules $V_{r_{\gamma}}(\lambda)$ associated to reflections $r_{\gamma}$ at positive roots in type $A_n$, long roots in type $C_n$, short roots in type $B_n$ and positive roots not involving the simple root $\alpha_{n-1}$ in type $D_n$. In each type, we construct a normal polytope labelling a basis for the associated graded space $\operatorname{gr} V_{r_{\gamma}}(\lambda)$ and prove that the annihilating ideal of $\operatorname{gr} V_{r_{\gamma}}(\lambda)$ is a monomial ideal.


title: A note on hypergraphs without non-trivial intersecting subgraphs

abstract: A hypergraph $\mathcal{F}$ is non-trivial intersecting if every two edges in it have a nonempty intersection but no vertex is contained in all edges of $\mathcal{F}$. Mubayi and Verstra\"{e}te showed that for every $k \ge d+1 \ge 3$ and $n \ge (d+1)n/d$ every $k$-graph $\mathcal{H}$ on $n$ vertices without a non-trivial intersecting subgraph of size $d+1$ contains at most $\binom{n-1}{k-1}$ edges. They conjectured that the same conclusion holds for all $d \ge k \ge 4$ and sufficiently large $n$. We confirm their conjecture by proving a stronger statement. They also conjectured that for $m \ge 4$ and sufficiently large $n$ the maximum size of a $3$-graph on $n$ vertices without a non-trivial intersecting subgraph of size $3m+1$ is achieved by certain Steiner systems. We give a construction with more edges showing that their conjecture is not true in general.


title: BorderDet: Border Feature for Dense Object Detection

abstract: Dense object detectors rely on the sliding-window paradigm that predicts the object over a regular grid of image. Meanwhile, the feature maps on the point of the grid are adopted to generate the bounding box predictions. The point feature is convenient to use but may lack the explicit border information for accurate localization. In this paper, We propose a simple and efficient operator called Border-Align to extract "border features" from the extreme point of the border to enhance the point feature. Based on the BorderAlign, we design a novel detection architecture called BorderDet, which explicitly exploits the border information for stronger classification and more accurate localization. With ResNet-50 backbone, our method improves single-stage detector FCOS by 2.8 AP gains (38.6 v.s. 41.4). With the ResNeXt-101-DCN backbone, our BorderDet obtains 50.3 AP, outperforming the existing state-of-the-art approaches. The code is available at (https://github.com/Megvii-BaseDetection/BorderDet).


title: Explainable Rumor Detection using Inter and Intra-feature Attention Networks

abstract: With social media becoming ubiquitous, information consumption from this media has also increased. However, one of the serious problems that have emerged with this increase, is the propagation of rumors. Therefore, rumor identification is a very critical task with significant implications to economy, democracy as well as public health and safety. We tackle the problem of automated detection of rumors in social media in this paper by designing a modular explainable architecture that uses both latent and handcrafted features and can be expanded to as many new classes of features as desired. This approach will allow the end user to not only determine whether the piece of information on the social media is real of a rumor, but also give explanations on why the algorithm arrived at its conclusion. Using attention mechanisms, we are able to interpret the relative importance of each of these features as well as the relative importance of the feature classes themselves. The advantage of this approach is that the architecture is expandable to more handcrafted features as they become available and also to conduct extensive testing to determine the relative influences of these features in the final decision. Extensive experimentation on popular datasets and benchmarking against eleven contemporary algorithms, show that our approach performs significantly better in terms of F-score and accuracy while also being interpretable.


title: Rigidity of Homogeneous Gradient Soliton Metrics and Related Equations

abstract: We prove structure results for homogeneous spaces that support a non-constant solution to two general classes of equations involving the Hessian of a function and an invariant 2-tensor. We also consider trace-free versions of these systems. Our results generalize earlier rigidity results for gradient Ricci solitons and warped product Einstein metrics. In particular, our results apply to homogeneous gradient solitons of any invariant curvature flow and give a new structure result for homogeneous conformally Einstein metrics.


title: CS-Rickart and dual CS-Rickart objects in abelian categories

abstract: We introduce (dual) relative CS-Rickart objects in abelian categories, as common generalizations of (dual) relative Rickart objects and extending (lifting) objects. We study direct summands and (co)products of (dual) relative CS-Rickart objects as well as classes all of whose objects are (dual) self-CS-Rickart. Applications are given to Grothendieck categories and, in particular, to module and comodule categories.


title: On Log-Algebraic Identities for Anderson t-modules and Characteristic p Multiple Zeta Values

abstract: Based on the notion of Stark units we present a new approach that obtains refinements of log-algebraic identities for Anderson t-modules. As a consequence, we establish a generalization of Chang's theorem on logarithmic interpretations for special characteristic p multiple zeta values (MZV's) and recover many earlier results in this direction. Further, we devise a direct and conceptual way to get logarithmic interpretations for both MZV's and v-adic MZV's. This generalizes completely the work of Anderson and Thakur for Carlitz zeta values.


title: Boson Slave Solver (BoSS) v1.1

abstract: Accurate and computationally efficient modeling of systems of interacting electrons is an outstanding problem in theoretical and computational materials science. For materials where strong electronic interactions are primarily of a localized character and act within a subspace of localized quantum states on separate atomic sites (e.g., in transition metal and rare-earth compounds), their electronic behaviors are typically described by the Hubbard model and its extensions. In this work, we describe BoSS (Boson Slave Solver), a software implementation of the slave-boson method appropriate for describing a variety of extended Hubbard models, namely $p-d$ models that include both the interacting atomic sites ("$d$" states) and non-interacting or ligand sites ("$p$" states). We provide a theoretical background, a description of the equations solved by BoSS, an overview of the algorithms used, the key input/output and control variables of the software program, and tutorial examples of its use featuring band renormalization in SrVO$_3$, Ni $3d$ multiplet structure in LaNiO$_3$, and the relation between the formation of magnetic moments and insulating behavior in SmNiO$_3$. BoSS interfaces directly with popular electronic structure codes: it can read the output of the Wannier90 software package which postprocesses results from workhorse electronic structure software such as Quantum Espresso or VASP.


title: On primes and practical numbers

abstract: A number $n$ is practical if every integer in $[1,n]$ can be expressed as a subset sum of the positive divisors of $n$. We consider the distribution of practical numbers that are also shifted primes, improving a theorem of Guo and Weingartner. In addition, essentially proving a conjecture of Margenstern, we show that all large odd numbers are the sum of a prime and a practical number. We also consider an analogue of the prime $k$-tuples conjecture for practical numbers, proving the "correct" upper bound, and for pairs, improving on a lower bound of Melfi.


title: Exploration of the Ice Giant Systems: A White Paper for NASA's Planetary Science and Astrobiology Decadal Survey 2023-2032

abstract: Ice giants are the only unexplored class of planet in our Solar System. Much that we currently know about these systems challenges our understanding of how planets, rings, satellites, and magnetospheres form and evolve. We assert that an ice giant Flagship mission with an atmospheric probe should be a priority for the decade 2023-2032.


title: Exploiting Temporal Coherence for Self-Supervised One-shot Video Re-identification

abstract: While supervised techniques in re-identification are extremely effective, the need for large amounts of annotations makes them impractical for large camera networks. One-shot re-identification, which uses a singular labeled tracklet for each identity along with a pool of unlabeled tracklets, is a potential candidate towards reducing this labeling effort. Current one-shot re-identification methods function by modeling the inter-relationships amongst the labeled and the unlabeled data, but fail to fully exploit such relationships that exist within the pool of unlabeled data itself. In this paper, we propose a new framework named Temporal Consistency Progressive Learning, which uses temporal coherence as a novel self-supervised auxiliary task in the one-shot learning paradigm to capture such relationships amongst the unlabeled tracklets. Optimizing two new losses, which enforce consistency on a local and global scale, our framework can learn learn richer and more discriminative representations. Extensive experiments on two challenging video re-identification datasets - MARS and DukeMTMC-VideoReID - demonstrate that our proposed method is able to estimate the true labels of the unlabeled data more accurately by up to $8\%$, and obtain significantly better re-identification performance compared to the existing state-of-the-art techniques.


title: Vortex rings drive entrainment and cooling in flow induced by a spark discharge

abstract: Spark plasma discharges induce vortex rings and a hot gas kernel. We develop a model to describe the late stage of the spark induced flow and the role of the vortex rings in the entrainment of cold ambient gas and the cooling of the hot gas kernel. The model is tested in a plasma-induced flow, using density and velocity measurements obtained from simultaneous stereoscopic particle image velocimetry (S-PIV) and background oriented schlieren (BOS). We show that the spatial distribution of the hot kernel follows the motion of the vortex rings, whose radial expansion increases with the electrical energy deposited during the spark discharge. The vortex ring cooling model establishes that entrainment in the convective cooling regime is induced by the vortex rings and governs the cooling of the hot gas kernel, and the rate of cooling increases with the electrical energy deposited during the spark discharge.


title: Revisiting Magnetogenesis during Inflation

abstract: We revisit the mechanism of primordial magnetogenesis during inflation by taking into account the dynamics of the stochastic noises of the electromagnetic perturbations. We obtain the associated Langevin and Fokker-Planck equations for the electromagnetic fields and solve them analytically. It is shown that while the backreactions of the electric field energy density may spoil inflation too early, but there are regions of parameter space where the usual decaying behavior of the magnetic fields are replaced by a mean-reverting process of stochastic dynamics. As a result, the magnetic fields settle down into an equilibrium state with the amplitude significantly larger than what is obtained in the absence of the stochastic noises. We show that magnetic fields with present time amplitude $\sim 10^{-13}$ Gauss and coherent length ${\rm Mpc}$ can be generated while the backreactions of the electric field perturbations are under control.


title: Self-supervised Feature Learning via Exploiting Multi-modal Data for Retinal Disease Diagnosis

abstract: The automatic diagnosis of various retinal diseases from fundus images is important to support clinical decision-making. However, developing such automatic solutions is challenging due to the requirement of a large amount of human-annotated data. Recently, unsupervised/self-supervised feature learning techniques receive a lot of attention, as they do not need massive annotations. Most of the current self-supervised methods are analyzed with single imaging modality and there is no method currently utilize multi-modal images for better results. Considering that the diagnostics of various vitreoretinal diseases can greatly benefit from another imaging modality, e.g., FFA, this paper presents a novel self-supervised feature learning method by effectively exploiting multi-modal data for retinal disease diagnosis. To achieve this, we first synthesize the corresponding FFA modality and then formulate a patient feature-based softmax embedding objective. Our objective learns both modality-invariant features and patient-similarity features. Through this mechanism, the neural network captures the semantically shared information across different modalities and the apparent visual similarity between patients. We evaluate our method on two public benchmark datasets for retinal disease diagnosis. The experimental results demonstrate that our method clearly outperforms other self-supervised feature learning methods and is comparable to the supervised baseline.


title: The engulfing property for sections of convex functions in the Heisenberg group and the associated quasi--metric

abstract: In this paper we investigate the property of engulfing for $H$-convex functions defined on the Heisenberg group ${\mathbb{H}}^n$. Starting from the horizontal sections introduced by Capogna and Maldonado, we consider a new notion of section, called ${\mathbb{H}}^n$-section, as well as a new condition of engulfing associated to the ${\mathbb{H}}^n$-sections, for an $H$-convex function defined in ${\mathbb{H}}^n.$ These sections, that arise as suitable unions of horizontal sections, are dimensionally larger; as a matter of fact, the ${\mathbb{H}}^n$-sections, with their engulfing property, will lead to the definition of a pseudo-metric in ${\mathbb{H}}^n$ in a way similar to Aimar, Forzani and Toledano in the Euclidean case. A key role is played by the property of round $H$-sections for an $H$-convex function, and by its connection with the engulfing properties.


title: Towards Quantum Belief Propagation for LDPC Decoding in Wireless Networks

abstract: We present Quantum Belief Propagation (QBP), a Quantum Annealing (QA) based decoder design for Low Density Parity Check (LDPC) error control codes, which have found many useful applications in Wi-Fi, satellite communications, mobile cellular systems, and data storage systems. QBP reduces the LDPC decoding to a discrete optimization problem, then embeds that reduced design onto quantum annealing hardware. QBP's embedding design can support LDPC codes of block length up to 420 bits on real state-of-the-art QA hardware with 2,048 qubits. We evaluate performance on real quantum annealer hardware, performing sensitivity analyses on a variety of parameter settings. Our design achieves a bit error rate of $10^{-8}$ in 20 $\mu$s and a 1,500 byte frame error rate of $10^{-6}$ in 50 $\mu$s at SNR 9 dB over a Gaussian noise wireless channel. Further experiments measure performance over real-world wireless channels, requiring 30 $\mu$s to achieve a 1,500 byte 99.99$\%$ frame delivery rate at SNR 15-20 dB. QBP achieves a performance improvement over an FPGA based soft belief propagation LDPC decoder, by reaching a bit error rate of $10^{-8}$ and a frame error rate of $10^{-6}$ at an SNR 2.5--3.5 dB lower. In terms of limitations, QBP currently cannot realize practical protocol-sized ($\textit{e.g.,}$ Wi-Fi, WiMax) LDPC codes on current QA processors. Our further studies in this work present future cost, throughput, and QA hardware trend considerations.


title: How to Increase Interest in Studying Functional Programming via Interdisciplinary Application

abstract: Functional programming represents a modern tool for applying and implementing software. The state of the art in functional programming reports an increasing number of methodologies in this paradigm. However, extensive interdisciplinary applications are missing. Our goal is to increase student interest in pursuing further studies in functional programming with the use of an application: the ray tracer. We conducted a teaching experience, with positive results and student feedback, described here in this paper.


title: Banach-Stone-like results for combinatorial Banach spaces

abstract: We show that under a certain topological assumption on two compact hereditary families $\F$ and $\G$ on some infinite cardinal $\kappa$, the corresponding combinatorial spaces $X_\F$ and $X_\G$ are isometric if and only if there is a permutation of $\kappa$ inducing a homeomorphism between $\F$ and $\G$. We also prove that two different regular families $\F$ and $\G$ on $\omega$ cannot be permuted one to the other. Both these results strengthen the main result of \cite{BrechFerencziTcaciuc}.


title: Torques felt by solid accreting planets

abstract: The solid material of protoplanetary discs forms an asymmetric pattern around a low-mass planet (M_p<=10M_Earth) due to the combined effect of dust-gas interaction and the gravitational attraction of the planet. Recently, it has been shown that although the total solid mass is negligible compared to that of gas in protoplanetary discs, a positive torque can be emerged by a certain size solid species. The torque magnitude can overcome that of gas which may result in outward planetary migration. In this study, we show that the accretion of solid species by the planet strengthens the magnitude of solid torque being either positive or negative. We run two-dimensional, high-resolution (1.5Kx3K) global hydrodynamic simulations of an embedded low-mass planet in a protoplanetary disc. The solid material is handled as a pressureless fluid. Strong accretion of well-coupled solid species by a M_p<0.3M_Earth protoplanet results in the formation of such a strongly asymmetric solid pattern close to the planet that the positive solid torque can overcome that of gas by two times. However, the accretion of solids in the pebble regime results in increased magnitude negative torque felt by protoplanets and strengthened positive torque for Earth-mass planets. For M_p>=3M_Earth planets the magnitude of the solid torque is positive, however, independent of the accretion strength investigated. We conclude that the migration of solid accreting planets can be substantially departed from the canonical type-I prediction.


title: Book Success Prediction with Pretrained Sentence Embeddings and Readability Scores

abstract: Predicting the potential success of a book in advance is vital in many applications. This could help both publishers and readers in their decision-making process whether or not a book is worth publishing and reading, respectively. In this paper, we propose a model that leverages pretrained sentence embeddings along with various readability scores for book success prediction. Unlike previous methods, the proposed method requires no count-based, lexical, or syntactic features. Instead, we use a convolutional neural network over pretrained sentence embeddings and leverage different readability scores through a simple concatenation operation. Our proposed model outperforms strong baselines for this task by as large as 6.4\% F1-score points. Moreover, our experiments show that according to our model, only the first 1K sentences are good enough to predict the potential success of books.


title: Massive Stars in Molecular Clouds Rich in High-energy Sources: The Bridge of G332.809-0.132 and CS 78 in NGC 6334

abstract: Detections of massive stars in the direction of the H II region CS 78 in NGC 6334 and of G332.809-0.132 are here presented. The region covered by the G332.809-0.132 complex coincides with the RCW 103 stellar association. In its core (40' in radius), approximately 110 OB candidate stars (Ks < 10 mag and 0.4 < AKs < 1.6 mag) were identified using 2MASS, DENIS, and GLIMPSE data. This number of OB stars accounts for more than 50% of the observed number of Lyman continuum photons from this region. Medium-resolution K-band spectra were obtained for seven early types, including one WN 8 star and one Ofpe/WN 9 star; the latter is located near the RCW 103 remnant and its luminosity is consistent with a distance of about 3 kpc. The area analyzed encloses 9 of the 34 OB stars previously known in RCW 103, as well as IRAS 16115-5044, which we reclassify as a candidate luminous blue variable. The line of sight is particularly interesting, crossing three spiral arms; a molecular cloud at -50 (with RCW 103 in the Scutum-Crux arm) and another at -90 km s-1 (in the Norma arm) are detected, both rich in massive stars and supernova remnants. We also report the detection of a B supergiant as the main ionizing source of CS 78, 2MASS J17213513-3532415. Medium-resolution H and K band spectra display H I and He I lines, as well as Fe II lines. By assuming a distance of 1.35 kpc, we estimate a bolometric magnitude of -6.16, which is typical of supergiants.


title: Cascading Failures in Complex Networks

abstract: Cascading failure is a potentially devastating process that spreads on real-world complex networks and can impact the integrity of wide-ranging infrastructures, natural systems, and societal cohesiveness. One of the essential features that create complex network vulnerability to failure propagation is the dependency among their components, exposing entire systems to significant risks from destabilizing hazards such as human attacks, natural disasters or internal breakdowns. Developing realistic models for cascading failures as well as strategies to halt and mitigate the failure propagation can point to new approaches to restoring and strengthening real-world networks. In this review, we summarize recent progress on models developed based on physics and complex network science to understand the mechanisms, dynamics and overall impact of cascading failures. We present models for cascading failures in single networks and interdependent networks and explain how different dynamic propagation mechanisms can lead to an abrupt collapse and a rich dynamic behavior. Finally, we close the review with novel emerging strategies for containing cascades of failures and discuss open questions that remain to be addressed.


title: Uniqueness and Stability of Equilibrium States for Random Non-uniformly Expanding Maps

abstract: We consider a robust class of random non-uniformly expanding local homeomorphisms and H\"older continuous potentials with small variation. For each element of this class we develop the Thermodynamical Formalism and prove the existence and uniqueness of equilibrium states among non-uniformly expanding measures. Moreover, we show that these equilibrium states and the random topological pressure vary continuously in this setting.


title: Dynamic foot morphology explained through 4D scanning and shape modeling

abstract: A detailed understanding of foot morphology can enable the design of more comfortable and better fitting footwear. However, foot morphology varies widely within the population, and changes dynamically during the loading of stance phase. This study presents a parametric statistical shape model from 4D foot scans to capture both the inter- and intra-individual variability in foot morphology. Thirty subjects walked on a treadmill while 4D scans of their right foot were taken at 90 frames-per-second during stance phase. Each subject's height, weight, foot length, foot width, arch length, and sex were also recorded. The 4D scans were all registered to a common high-quality foot scan, and a principal component analysis was done on all processed 4D scans. Elastic-net linear regression models were built to predict the principal component scores, which were then inverse transformed into 4D scans. The best performing model was selected with leave-one-out cross-validation. The chosen model was predicts foot morphology across stance phase with a root-mean squared error of 5.2 +/- 2.0 mm. This study shows that statistical shape modeling can be used to predict dynamic changes in foot morphology across the population. The model can be used to investigate and improve foot-footwear interaction, allowing for better fitting and more comfortable footwear.


title: The Complete Lasso Tradeoff Diagram

abstract: A fundamental problem in the high-dimensional regression is to understand the tradeoff between type I and type II errors or, equivalently, false discovery rate (FDR) and power in variable selection. To address this important problem, we offer the first complete tradeoff diagram that distinguishes all pairs of FDR and power that can be asymptotically realized by the Lasso with some choice of its penalty parameter from the remaining pairs, in a regime of linear sparsity under random designs. The tradeoff between the FDR and power characterized by our diagram holds no matter how strong the signals are. In particular, our results improve on the earlier Lasso tradeoff diagram of arXiv:1511.01957 by recognizing two simple but fundamental constraints on the pairs of FDR and power. The improvement is more substantial when the regression problem is above the Donoho--Tanner phase transition. Finally, we present extensive simulation studies to confirm the sharpness of the complete Lasso tradeoff diagram.


title: 3D Localization of a Sound Source Using Mobile Microphone Arrays Referenced by SLAM

abstract: A microphone array can provide a mobile robot with the capability of localizing, tracking and separating distant sound sources in 2D, i.e., estimating their relative elevation and azimuth. To combine acoustic data with visual information in real world settings, spatial correlation must be established. The approach explored in this paper consists of having two robots, each equipped with a microphone array, localizing themselves in a shared reference map using SLAM. Based on their locations, data from the microphone arrays are used to triangulate in 3D the location of a sound source in relation to the same map. This strategy results in a novel cooperative sound mapping approach using mobile microphone arrays. Trials are conducted using two mobile robots localizing a static or a moving sound source to examine in which conditions this is possible. Results suggest that errors under 0.3 m are observed when the relative angle between the two robots are above 30 degrees for a static sound source, while errors under 0.3 m for angles between 40 degrees and 140 degrees are observed with a moving sound source.


title: $k$-cut model for the Brownian Continuum Random Tree

abstract: To model the destruction of a resilient network, Cai, Holmgren, Devroye and Skerman introduced the $k$-cut model on a random tree, as an extension to the classic problem of cutting down random trees. Berzunza, Cai and Holmgren later proved that the total number of cuts in the $k$-cut model to isolate the root of a Galton--Watson tree with a finite-variance offspring law and conditioned to have $n$ nodes, when divided by $n^{1-1/2k}$, converges in distribution to some random variable defined on the Brownian CRT. We provide here a direct construction of the limit random variable, relying upon the Aldous-Pitman fragmentation process and a deterministic time change.


title: Generalized and graded geometry for mechanics: a comprehensive introduction

abstract: In this paper we make an overview of results relating the recent "discoveries" in differential geometry, such as higher structures and differential graded manifolds with some natural problems coming from mechanics. We explain that a lot of classical differential geometric constructions in the context can be conveniently described using the language of Q-structures, and thus Q-structure preserving integrators are potentially of great use in mechanics. We give some hints how the latter can be constructed, and formulate some open problems. Since the text is intended both to mathematics and mechanics communities, we tried to make it accessible to non-geometers as well.


title: A Hybrid (Al)GaAs-LiNbO$_3$ Surface Acoustic Wave Resonator for Cavity Quantum Dot Optomechanics

abstract: A hybrid device comprising a (Al)GaAs quantum dot heterostructure and a LiNbO$_3$ surface acoustic wave resonator is fabricated by heterointegration. High acoustic quality factors $Q>4000$ are demonstrated for an operation frequency $f\approx 300$ MHz. The measured large quality factor-frequency products $Q\times f>10^{12}$ ensures the suppression of decoherence due to thermal noise for temperatures exceeding $T>50\,\mathrm{K}$. Frequency and position dependent optomechanical coupling of single quantum dots and the resonator modes is observed.


title: Sufficient Conditions and Constraints for Reversing General Quantum Errors

abstract: Reversing the effects of a quantum evolution, for example as is done in error correction, is an important task for controlling quantum systems in order to produce reliable quantum devices. When the evolution is governed by a completely positive map, there exist reversibility conditions, known as the quantum error correcting code conditions, which are necessary and sufficient conditions for the reversibility of a quantum operation on a subspace, the code space. However, if we suppose that the evolution is not described by a completely positive map, necessary and sufficient conditions are not known. Here we consider evolutions that do not necessarily correspond to a completely positive map. We prove that the completely positive map error correcting code conditions can lead to a code space that is not in the domain of the map, meaning that the output of the map is not positive. A corollary to our theorem provides a class of relevant examples. Finally, we provide a set of sufficient conditions that will enable the use of quantum error correcting code conditions while ensuring positivity.


title: Synthetic observations of spiral arm tracers of a simulated Milky Way analog

abstract: Context: The Faraday rotation measure (RM) is often used to study the magnetic field strength and orientation within the ionized medium of the Milky Way. Observations indicate a RM in the spiral arms that exceeds the commonly assumed range. This raises the question of under what conditions spiral arms create such strong RM. Aims: We investigate the effect of spiral arms on Galactic RMs through shock compression of the interstellar medium (ISM). It has recently been suggested that the Sagittarius spiral arm creates a strong peak in RM where the line of sight (LOS) is tangent to the arm, and that enhanced RM follows along an intersecting LOS. We seek to understand the physical conditions that give rise to this effect and the role of viewing geometry. Methods: We apply a MHD simulation of the multi-phase ISM in a Milky Way type spiral galaxy disk in combination with radiative transfer to evaluate different tracers of spiral arm structures. For observers embedded in the disk, dust intensity, synchrotron emission and the kinematics of molecular gas observations are derived to identify spiral arm tangents. RMs are calculated through the disk and evaluated for different observer positions. The observer's perspective is related to the parameters of the local bubble surrounding the observer. Results: We reproduce a scattering of tangent points for different tracers of about $6^\circ$ per spiral arm similar to the Milky Way. As for the RM, the model shows that compression of the ISM and associated amplification of the magnetic field in spiral arms enhances RM by a few hundred rad $m^{-2}$ on top of the mean contribution of the disk. The arm-inter-arm contrast in RM along the LOS is approximately 10 in the inner Galaxy, fading to ~2 in the outer Galaxy. We identify a shark-fin like pattern in the RM Milky Way observations as well as the synthetic data that is characteristic for spiral arms.


title: Jet-ISM Interactions near the Microquasars GRS 1758-258 and 1E 1740.7-2942

abstract: We present Atacama Large Millimeter/Sub-millimeter Array observations of the candidate jet-ISM interaction zones near the black hole X-ray binaries GRS 1758$-$258 and 1E 1740.7$-$2942. Using these data, we map the molecular line emission in the regions, detecting emission from the HCN [$J=1-0$], HCO$^+$ [$J=1-0$], SiO [$J=2-1$], CS [$J=2-1$], $^{13}$CO [$J=1-0$], C$^{18}$O [$J=1-0$], HNCO [$J=4_{0,4}-3_{0,3}$], HNCO [$J=5_{0,5}-4_{0,4}$], and CH$_3$OH [$J=2_{1,1}-1_{1,0}$] molecular transitions. Through examining the morphological, spectral, and kinematic properties of this emission, we identify molecular structures that may trace jet-driven cavities in the gas surrounding these systems. Our results from the GRS 1758$-$258 region in particular, are consistent with recent work, which postulated the presence of a jet-blown cocoon structure in deep radio continuum maps of the region. Using these newly discovered molecular structures as calorimeters, we estimate the time averaged jet power from these systems, finding $(1.1-5.7)\times10^{36}{\rm erg\,s}^{-1}$ over $0.12-0.31$ Myr for GRS 1758$-$258 and $(0.7-3.5)\times10^{37}{\rm erg\,s}^{-1}$ over $0.10-0.26$ Myr for 1E 1740.7$-$2942. Additionally, the spectral line characteristics of the detected emission place these molecular structures in the central molecular zone of our Galaxy, thereby constraining the distances to the black hole X-ray binaries to be $8.0\pm1.0$ kpc. Overall, our analysis solidifies the diagnostic capacity of molecular lines, and highlights how astro-chemistry can both identify jet-ISM interaction zones and probe jet feedback from Galactic X-ray binaries.


title: Converse Barrier Functions via Lyapunov Functions

abstract: We prove a robust converse barrier function theorem via the converse Lyapunov theory. While the use of a Lyapunov function as a barrier function is straightforward, the existence of a converse Lyapunov function as a barrier function for a given safety set is not. We establish this link by a robustness argument. We show that the closure of the forward reachable set of a robustly safe set must be robustly asymptotically stable under mild technical assumptions. As a result, all robustly safe dynamical systems must admit a robust barrier function in the form of a Lyapunov function for set stability. We present the results in both continuous-time and discrete-time settings and remark on connections with various barrier function conditions.


title: One Click Lesion RECIST Measurement and Segmentation on CT Scans

abstract: In clinical trials, one of the radiologists' routine work is to measure tumor sizes on medical images using the RECIST criteria (Response Evaluation Criteria In Solid Tumors). However, manual measurement is tedious and subject to inter-observer variability. We propose a unified framework named SEENet for semi-automatic lesion \textit{SE}gmentation and RECIST \textit{E}stimation on a variety of lesions over the entire human body. The user is only required to provide simple guidance by clicking once near the lesion. SEENet consists of two main parts. The first one extracts the lesion of interest with the one-click guidance, roughly segments the lesion, and estimates its RECIST measurement. Based on the results of the first network, the second one refines the lesion segmentation and RECIST estimation. SEENet achieves state-of-the-art performance in lesion segmentation and RECIST estimation on the large-scale public DeepLesion dataset. It offers a practical tool for radiologists to generate reliable lesion measurements (i.e. segmentation mask and RECIST) with minimal human effort and greatly reduced time.


title: Understanding BERT Rankers Under Distillation

abstract: Deep language models such as BERT pre-trained on large corpus have given a huge performance boost to the state-of-the-art information retrieval ranking systems. Knowledge embedded in such models allows them to pick up complex matching signals between passages and queries. However, the high computation cost during inference limits their deployment in real-world search scenarios. In this paper, we study if and how the knowledge for search within BERT can be transferred to a smaller ranker through distillation. Our experiments demonstrate that it is crucial to use a proper distillation procedure, which produces up to nine times speedup while preserving the state-of-the-art performance.


title: Accelerating Deep Learning Applications in Space

abstract: Computing at the edge offers intriguing possibilities for the development of autonomy and artificial intelligence. The advancements in autonomous technologies and the resurgence of computer vision have led to a rise in demand for fast and reliable deep learning applications. In recent years, the industry has introduced devices with impressive processing power to perform various object detection tasks. However, with real-time detection, devices are constrained in memory, computational capacity, and power, which may compromise the overall performance. This could be solved either by optimizing the object detector or modifying the images. In this paper, we investigate the performance of CNN-based object detectors on constrained devices when applying different image compression techniques. We examine the capabilities of a NVIDIA Jetson Nano; a low-power, high-performance computer, with an integrated GPU, small enough to fit on-board a CubeSat. We take a closer look at the Single Shot MultiBox Detector (SSD) and Region-based Fully Convolutional Network (R-FCN) that are pre-trained on DOTA - a Large Scale Dataset for Object Detection in Aerial Images. The performance is measured in terms of inference time, memory consumption, and accuracy. By applying image compression techniques, we are able to optimize performance. The two techniques applied, lossless compression and image scaling, improves speed and memory consumption with no or little change in accuracy. The image scaling technique achieves a 100% runnable dataset and we suggest combining both techniques in order to optimize the speed/memory/accuracy trade-off.


title: Probing local nonlinear viscoelastic properties in soft materials

abstract: Minimally invasive experimental methods that can measure local rate dependent mechanical properties are essential in understanding the behaviour of soft and biological materials in a wide range of applications. Needle based measurement techniques such as Cavitation Rheology and Volume Controlled Cavity Expansion (VCCE), allow for minimally invasive local mechanical testing, but have been limited to measuring the elastic material properties. Here, we propose several enhancements to the VCCE technique to adapt it for characterization of viscoelastic response at low to medium stretch rates ($10^{-2}$ - $1$ s${}^{-1}$). The proposed technique performs several cycles of expansion-relaxation at controlled stretch rates in a cavity expansion setting and then employs a large deformation viscoelastic model to capture the measured material response. Application of the technique to soft PDMS rubber reveals significant rate dependent material response with high precision and repeatability, while isolating equilibrated states that are used to directly infer the quasistatic elastic modulus. The technique is further established by demonstrating its ability to capture changes in the rate dependent material response of a tuneable PDMS system. The measured viscoelastic properties are used to explain earlier reports of rate insensitive material response by needle based methods: it is demonstrated that the conventional use of constant volumetric rate cavity expansion can induce high stretch rates that lead to viscoelastic stiffening and an illusion of rate insensitive material response. We thus conclude with a cautionary note on possible overestimation of the quasistatic elastic modulus in previous studies and suggest that the stretch rate controlled expansion protocol, proposed in this work, is essential for accurate estimation of both quasistatic and dynamic material parameters.


title: EMaQ: Expected-Max Q-Learning Operator for Simple Yet Effective Offline and Online RL

abstract: Off-policy reinforcement learning holds the promise of sample-efficient learning of decision-making policies by leveraging past experience. However, in the offline RL setting -- where a fixed collection of interactions are provided and no further interactions are allowed -- it has been shown that standard off-policy RL methods can significantly underperform. Recently proposed methods often aim to address this shortcoming by constraining learned policies to remain close to the given dataset of interactions. In this work, we closely investigate an important simplification of BCQ -- a prior approach for offline RL -- which removes a heuristic design choice and naturally restricts extracted policies to remain exactly within the support of a given behavior policy. Importantly, in contrast to their original theoretical considerations, we derive this simplified algorithm through the introduction of a novel backup operator, Expected-Max Q-Learning (EMaQ), which is more closely related to the resulting practical algorithm. Specifically, in addition to the distribution support, EMaQ explicitly considers the number of samples and the proposal distribution, allowing us to derive new sub-optimality bounds which can serve as a novel measure of complexity for offline RL problems. In the offline RL setting -- the main focus of this work -- EMaQ matches and outperforms prior state-of-the-art in the D4RL benchmarks. In the online RL setting, we demonstrate that EMaQ is competitive with Soft Actor Critic. The key contributions of our empirical findings are demonstrating the importance of careful generative model design for estimating behavior policies, and an intuitive notion of complexity for offline RL problems. With its simple interpretation and fewer moving parts, such as no explicit function approximator representing the policy, EMaQ serves as a strong yet easy to implement baseline for future work.


title: Fractional Edge Reconstruction in Integer Quantum Hall Phases

abstract: Protected edge modes are the cornerstone of topological states of matter. The simplest example is provided by the integer quantum Hall state at Landau level filling unity, which should feature a single chiral mode carrying electronic excitations. In the presence of a smooth confining potential it was hitherto believed that this picture may only be partially modified by the appearance of additional counterpropagating integer-charge modes. Here, we demonstrate the breakdown of this paradigm: The system favors the formation of edge modes supporting fractional excitations. This accounts for previous observations, and leads to additional predictions amenable to experimental tests.


title: Improved lower and upper bounds on the tile complexity of uniquely self-assembling a thin rectangle non-cooperatively in 3D

abstract: We investigate a fundamental question regarding a benchmark class of shapes in one of the simplest, yet most widely utilized abstract models of algorithmic tile self-assembly. Specifically, we study the directed tile complexity of a $k \times N$ thin rectangle in Winfree's abstract Tile Assembly Model, assuming that cooperative binding cannot be enforced (temperature-1 self-assembly) and that tiles are allowed to be placed at most one step into the third dimension (just-barely 3D). While the directed tile complexities of a square and a scaled-up version of any algorithmically specified shape at temperature 1 in just-barely 3D are both asymptotically the same as they are (respectively) at temperature 2 in 2D, the bounds on the directed tile complexity of a thin rectangle at temperature 2 in 2D are not known to hold at temperature 1 in just-barely 3D. Motivated by this discrepancy, we establish new lower and upper bounds on the directed tile complexity of a thin rectangle at temperature 1 in just-barely 3D. We develop a new, more powerful type of Window Movie Lemma that lets us upper bound the number of "sufficiently similar" ways to assign glues to a set of fixed locations. Consequently, our lower bound, $\Omega\left(N^{\frac{1}{k}}\right)$, is an asymptotic improvement over the previous best lower bound and is more aesthetically pleasing since it eliminates the $k$ that used to divide $N^{\frac{1}{k}}$. The proof of our upper bound is based on a just-barely 3D, temperature-1 counter, organized according to "digit regions", which affords it roughly fifty percent more digits for the same target rectangle compared to the previous best counter. This increase in digit density results in an upper bound of $O\left(N^{\frac{1}{\left\lfloor\frac{k}{2}\right\rfloor}}+\log N\right)$, that is an asymptotic improvement over the previous best upper bound and roughly the square of our lower bound.


title: New Data Structures for Orthogonal Range Reporting and Range Minima Queries

abstract: In this paper we present new data structures for two extensively studied variants of the orthogonal range searching problem. First, we describe a data structure that supports two-dimensional orthogonal range minima queries in $O(n)$ space and $O(\log^{\varepsilon} n)$ time, where $n$ is the number of points in the data structure and $\varepsilon$ is an arbitrarily small positive constant. Previously known linear-space solutions for this problem require $O(\log^{1+\varepsilon} n)$ (Chazelle, 1988) or $O(\log n\log \log n)$ time (Farzan et al., 2012). A modification of our data structure uses space $O(n\log \log n)$ and supports range minima queries in time $O(\log \log n)$. Both results can be extended to support three-dimensional five-sided reporting queries. Next, we turn to the four-dimensional orthogonal range reporting problem and present a data structure that answers queries in optimal $O(\log n/\log \log n + k)$ time, where $k$ is the number of points in the answer. This is the first data structure that achieves the optimal query time for this problem. Our results are obtained by exploiting the properties of three-dimensional shallow cuttings.


title: A Lite Distributed Semantic Communication System for Internet of Things

abstract: The rapid development of deep learning (DL) and widespread applications of Internet-of-Things (IoT) have made the devices smarter than before, and enabled them to perform more intelligent tasks. However, it is challenging for any IoT device to train and run DL models independently due to its limited computing capability. In this paper, we consider an IoT network where the cloud/edge platform performs the DL based semantic communication (DeepSC) model training and updating while IoT devices perform data collection and transmission based on the trained model. To make it affordable for IoT devices, we propose a lite distributed semantic communication system based on DL, named L-DeepSC, for text transmission with low complexity, where the data transmission from the IoT devices to the cloud/edge works at the semantic level to improve transmission efficiency. Particularly, by pruning the model redundancy and lowering the weight resolution, the L-DeepSC becomes affordable for IoT devices and the bandwidth required for model weight transmission between IoT devices and the cloud/edge is reduced significantly. Through analyzing the effects of fading channels in forward-propagation and back-propagation during the training of L-DeepSC, we develop a channel state information (CSI) aided training processing to decrease the effects of fading channels on transmission. Meanwhile, we tailor the semantic constellation to make it implementable on capacity-limited IoT devices. Simulation demonstrates that the proposed L-DeepSC achieves competitive performance compared with traditional methods, especially in the low signal-to-noise (SNR) region. In particular, while it can reach as large as 40x compression ratio without performance degradation.


title: Bose-Einstein condensates in rotating ring-shaped lattices: a multimode model

abstract: We develop a multimode model that describes the dynamics on a rotating Bose-Einstein condensate confined by a ring-shaped optical lattice with large filling numbers. The parameters of the model are obtained as a function of the rotation frequency using full 3D Gross-Pitaevskii simulations. From such numerical calculations, we extract the velocity field induced at each site and analyze the relation and the differences between the phase of the hopping parameter of our model and the Peierls phase. To this end, a detailed discussion of such phases is presented in geometrical terms which takes into account the position of the junctions for different configurations. For circularly symmetric onsite densities a simple analytical relation between the hopping phase and the angular momentum is found for arbitrary number of sites. Finally, we confront the results of the rotating multimode model dynamics with Gross-Pitaevskii simulations finding a perfect agreement.


title: From megahertz to terahertz qubits encoded in molecular ions: theoretical analysis of dipole-forbidden spectroscopic transitions in N$\mathbf{_2^+}$

abstract: Recent advances in quantum technologies have enabled the precise control of single trapped molecules on the quantum level. Exploring the scope of these new technologies, we studied theoretically the implementation of qubits and clock transitions in the spin, rotational, and vibrational degrees of freedom of molecular nitrogen ions including the effects of magnetic fields. The relevant spectroscopic transitions span six orders of magnitude in frequency illustrating the versatility of the molecular spectrum for encoding quantum information. We identified two types of magnetically insensitive qubits with very low ("stretched"-state qubits) or even zero ("magic" magnetic-field qubits) linear Zeeman shifts. The corresponding spectroscopic transitions are predicted to shift by as little as a few mHz for an amplitude of magnetic-field fluctuations on the order of a few mG translating into Zeeman-limited coherence times of tens of minutes encoded in the rotations and vibrations of the molecule. We also found that the Q(0) line of the fundamental vibrational transition is magnetic-dipole allowed by interaction with the first excited electronic state of the molecule. The Q(0) transitions, which benefit from small systematic shifts for clock operation and high sensitivity to a possible variation in the proton-to-electron mass ratio, were so far not considered in single-photon spectra. Finally, we explored possibilities to coherently control the nuclear-spin configuration of N$_2^+$ through the magnetically enhanced mixing of nuclear-spin states.


title: Generating Trading Signals by ML algorithms or time series ones?

abstract: This research investigates efficiency on-line learning Algorithms to generate trading signals.I employed technical indicators based on high frequency stock prices and generated trading signals through ensemble of Random Forests. Similarly, Kalman Filter was used for signaling trading positions. Comparing Time Series methods with Machine Learning methods, results spurious of Kalman Filter to Random Forests in case of on-line learning predictions of stock prices


title: Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots

abstract: The coordinated assurance of interrelated critical properties, such as system safety and cyber-security, is one of the toughest challenges in critical systems engineering. In this chapter, we summarise approaches to the coordinated assurance of safety and security. Then, we highlight the state of the art and recent challenges in human-robot collaboration in manufacturing both from a safety and security perspective. We conclude with a list of procedural and technological issues to be tackled in the coordinated assurance of collaborative industrial robots.


title: Characterizing the Sample Selection for Supernova Cosmology

abstract: Type Ia supernovae (SNe Ia) are used as distance indicators to infer the cosmological parameters that specify the expansion history of the universe. Parameter inference depends on the criteria by which the analysis SN sample is selected. Only for the simplest selection criteria and population models can the likelihood be calculated analytically, otherwise it needs to be determined numerically, a process that inherently has error. Numerical errors in the likelihood lead to errors in parameter inference. This article presents toy examples where the distance modulus is inferred given a set of SNe at a single redshift. Parameter estimators and their uncertainties are calculated using Monte Carlo techniques. The relationship between the number of Monte Carlo realizations and numerical errors is presented. The procedure can be applied to more realistic models and used to determine the computational and data management requirements of the transient analysis pipeline.


title: Nonlinear Strain-limiting Elasticity for Fracture Propagation with Phase-Field Approach

abstract: The conventional model governing the spread of fractures in elastic material is formulated by coupling linear elasticity with deformation systems. The classical linear elastic fracture mechanics (LEFM) model is derived based on the assumption of small strain values. However, since the strain values in the model are linearly proportional to the stress values, the strain value can be large if the stress value increases. Thus this results in the contradiction of the assumption to LEFM and it is one of the major disadvantages of the model. In particular, this singular behavior of the strain values is often observed especially near the crack-tip, and it may not accurately predict realistic phenomena. Thus, we investigate the framework of a new class of theoretical model, which is known as the nonlinear strain-limiting model. The advantage of the nonlinear strain-limiting models over LEFM is that the strain value remains bounded even if the stress value tends to the infinity. This is achieved by assuming the nonlinear relation between the strain and stress in the derivation of the model. Moreover, we consider the quasi-static fracture propagation by coupling with the phase-field approach to present the effectiveness of the proposed strain-limiting model. Several numerical examples to evaluate and validate the performance of the new model and algorithms are presented. Detailed comparisons of the strain values, fracture energy, and fracture propagation speed between nonlinear strain-limiting model and LEFM for the quasi-static fracture propagation are discussed.


title: Fully Convolutional Neural Networks for Automotive Radar Interference Mitigation

abstract: The interest of the automotive industry has progressively focused on subjects related to driver assistance systems as well as autonomous cars. Cars combine a variety of sensors to perceive their surroundings robustly. Among them, radar sensors are indispensable because of their independence of lighting conditions and the possibility to directly measure velocity. However, radar interference is an issue that becomes prevalent with the increasing amount of radar systems in automotive scenarios. In this paper, we address this issue for frequency modulated continuous wave (FMCW) radars with fully convolutional neural networks (FCNs), a state-of-the-art deep learning technique. We propose two FCNs that take spectrograms of the beat signals as input, and provide the corresponding clean range profiles as output. We propose two architectures for interference mitigation which outperform the classical zeroing technique. Moreover, considering the lack of databases for this task, we release as open source a large scale data set that closely replicates real world automotive scenarios for single-interference cases, allowing others to objectively compare their future work in this domain. The data set is available for download at: http://github.com/ristea/arim.


title: A Comparison of Aggregation Methods for Probabilistic Forecasts of COVID-19 Mortality in the United States

abstract: The COVID-19 pandemic has placed forecasting models at the forefront of health policy making. Predictions of mortality and hospitalization help governments meet planning and resource allocation challenges. In this paper, we consider the weekly forecasting of the cumulative mortality due to COVID-19 at the national and state level in the U.S. Optimal decision-making requires a forecast of a probability distribution, rather than just a single point forecast. Interval forecasts are also important, as they can support decision making and provide situational awareness. We consider the case where probabilistic forecasts have been provided by multiple forecasting teams, and we aggregate the forecasts to extract the wisdom of the crowd. With only limited information available regarding the historical accuracy of the forecasting teams, we consider aggregation (i.e. combining) methods that do not rely on a record of past accuracy. In this empirical paper, we evaluate the accuracy of aggregation methods that have been previously proposed for interval forecasts and predictions of probability distributions. These include the use of the simple average, the median, and trimming methods, which enable robust estimation and allow the aggregate forecast to reduce the impact of a tendency for the forecasting teams to be under- or overconfident. We use data that has been made publicly available from the COVID-19 Forecast Hub. While the simple average performed well for the high mortality series, we obtained greater accuracy using the median and certain trimming methods for the low and medium mortality series. It will be interesting to see if this remains the case as the pandemic evolves.


title: Invoking Deep Learning for Joint Estimation of Indoor LiFi User Position and Orientation

abstract: Light-fidelity (LiFi) is a fully-networked bidirectional optical wireless communication (OWC) that is considered a promising solution for high-speed indoor connectivity. Unlike in conventional radio frequency wireless systems, the OWC channel is not isotropic, meaning that the device orientation affects the channel gain significantly. However, due to the lack of proper channel models for LiFi systems, many studies have assumed that the receiver is vertically upward and randomly located within the coverage area, which is not a realistic assumption from a practical point of view. In this paper, novel realistic and measurement-based channel models for indoor LiFi systems are proposed. Precisely, the statistics of the channel gain are derived for the case of randomly oriented stationary and mobile LiFi receivers. For stationary users, two channel models are proposed, namely, the modified truncated Laplace (MTL) model and the modified Beta (MB) model. For LiFi users, two channel models are proposed, namely, the sum of modified truncated Gaussian (SMTG) model and the sum of modified Beta (SMB) model. Based on the derived models, the impact of random orientation and spatial distribution of LiFi users is investigated, where we show that the aforementioned factors can strongly affect the channel gain and system performance.


title: Search for ultra-high energy photons through preshower effect with gamma-ray telescopes: Study of CTA-North efficiency

abstract: We study the feasibility of detecting preshower initiated by ultra-high energy photons using Monte-Carlo simulations of nearly horizontal air showers for the example of the La Palma site of the Cherenkov Telescope Array. We investigate the efficiency of multivariate analysis in correctly identifying preshower events initiated by 40 EeV photons and cosmic-ray dominated background simulated in the energy range 10 TeV -- 10 EeV. The effective areas for such kind of events are also investigated and event rate predictions related to different ultra-high energy photons production models are presented. While the expected number of preshowers from diffuse emission of UHE photon for 30 hours of observation is estimated around $3.3\times10^{-5}$ based on the upper limits put by the Pierre Auger Observatory, this value is at the level of $2.7\times10^{-4}$ ($5.7\times 10^{-5}$) when considering the upper limits of the Pierre Auger Observatory (Telescope Array) on UHE photon point sources. However, UHE photon emission may undergo possible "boosting" due to gamma-ray burst, increasing the expected number of preshower events up to 0.17 and yielding a minimum required flux of $\sim 0.2$ $\mathrm{km^{-2}yr^{-1}}$ to obtain one preshower event, which is about a factor 10 higher than upper limits put by the Pierre Auger Observatory and Telescope Array (0.034 and 0.019 $\mathrm{km^{-2}yr^{-1}}$, respectively).


title: Molecular Distributions of the Protostellar Envelope and the Outflow of IRAS 15398-3359: Principal Component Analysis

abstract: We have imaged 15 molecular-line emissions and the dust continuum emission around the Class 0 protostellar source, IRAS 15398-3359, with ALMA. The outflow structure is mainly traced by the H2CO (K_a=0 and 1), CCH, and CS emissions. These lines also trace the disk/envelope structure around the protostar. The H2CO (K_a=2 and 3), CH3OH, and SO emissions are concentrated toward the protostar, while the DCN emission is more extended around the protostar. We have performed the principal component analysis (PCA) for these distributions on the two different scales, the outflow and the disk/envelope structure. For the latter case, the molecular-line distributions are classified into two groups, according to the contribution of the second principal component, one having a compact distribution around the protostar and the other showing a rather extended distribution over the envelope. Moreover, the second principal component value tends to increase as an increasing quantum number of H2CO (K_a=0,1,2, and 3), reflecting the excitation condition: the distribution is more compact for higher excitation lines. These results indicate that PCA is effective to extract the characteristic feature of the molecular line distributions around the protostar in an unbiased way. In addition, we identify four blobs in the outflow structure in the H2CO lines, some of which can also be seen in the CH3OH, CS, CCH, and SO emissions. The gas temperature derived from the H2CO lines ranges from 43 to 63 K, which suggests shocks due to the local impact of the outflow on clumps of the ambient gas.


title: Spatially shaping waves to penetrate deep inside a forbidden gap

abstract: It is well known that waves incident upon a crystal are transported only over a limited distance - the Bragg length - before being reflected by Bragg interference. Here, we demonstrate how to send waves much deeper into crystals, by studying light in exemplary two-dimensional silicon photonic crystals. By spatially shaping the optical wavefronts, we observe that the intensity of laterally scattered light, that probes the internal energy density, is enhanced at a tunable distance away from the front surface. The intensity is up to $100 \times$ enhanced compared to random wavefronts and extends as far as $8 \times$ the Bragg length. Our novel steering of waves inside a forbidden gap exploits the transport channels induced by unavoidable deviations from perfect periodicity, here unavoidable fabrication deviations.


title: Blocked populations in ring-shaped optical lattices

abstract: We study a special dynamical regime of a Bose-Einstein condensate in a ring-shaped lattice where the populations in each site remain constant during the time evolution. The states in this regime are characterized by equal occupation numbers in alternate wells and non-trivial phases, while the phase differences between neighboring sites evolve in time yielding persistent currents that oscillate around the lattice. We show that the velocity circulation around the ring lattice alternates between two values determined by the number of wells and with a specific time period that is only driven by the onsite interaction energy parameter. In contrast to the self-trapping regime present in optical lattices, the occupation number at each site does not show any oscillation and the particle imbalance does not possess a lower bound for the phenomenon to occur. These findings are predicted with a multimode model and confirmed by full three-dimensional Gross-Pitaevskii simulations using an effective onsite interaction energy parameter.


title: Optimally Displaced Threshold Detection for Discriminating Binary Coherent States Using Imperfect Devices

abstract: Because of the potential applications in quantum information processing tasks, discrimination of binary coherent states using generalized Kennedy receiver with maximum a posteriori probability (MAP) detection has attracted increasing attentions in recent years. In this paper, we analytically study the performance of the generalized Kennedy receiver having optimally displaced threshold detection (ODTD) in a realistic situation with noises and imperfect devices. We first prove that the MAP detection for a generalized Kennedy receiver is equivalent to a threshold detection in this realistic situation. Then we analyze the properties of the optimum threshold and the optimum displacement for ODTD, and propose a heuristic greedy search algorithm to obtain them. We prove that the ODTD degenerates to the Kennedy receiver with threshold detection when the signal power is large, and we also clarify the connection between the generalized Kennedy receiver with threshold detection and the one-port homodyne detection. Numerical results show that the proposed heuristic greedy search algorithm can obtain a lower and smoother error probability than the existing works.


title: Who Left the Dogs Out? 3D Animal Reconstruction with Expectation Maximization in the Loop

abstract: We introduce an automatic, end-to-end method for recovering the 3D pose and shape of dogs from monocular internet images. The large variation in shape between dog breeds, significant occlusion and low quality of internet images makes this a challenging problem. We learn a richer prior over shapes than previous work, which helps regularize parameter estimation. We demonstrate results on the Stanford Dog dataset, an 'in the wild' dataset of 20,580 dog images for which we have collected 2D joint and silhouette annotations to split for training and evaluation. In order to capture the large shape variety of dogs, we show that the natural variation in the 2D dataset is enough to learn a detailed 3D prior through expectation maximization (EM). As a by-product of training, we generate a new parameterized model (including limb scaling) SMBLD which we release alongside our new annotation dataset StanfordExtra to the research community.


title: Fast Graphlet Transform of Sparse Graphs

abstract: We introduce the computational problem of graphlet transform of a sparse large graph. Graphlets are fundamental topology elements of all graphs/networks. They can be used as coding elements to encode graph-topological information at multiple granularity levels for classifying vertices on the same graph/network as well as for making differentiation or connection across different networks. Network/graph analysis using graphlets has growing applications. We recognize the universality and increased encoding capacity in using multiple graphlets, we address the arising computational complexity issues, and we present a fast method for exact graphlet transform. The fast graphlet transform establishes a few remarkable records at once in high computational efficiency, low memory consumption, and ready translation to high-performance program and implementation. It is intended to enable and advance network/graph analysis with graphlets, and to introduce the relatively new analysis apparatus to graph theory, high-performance graph computation, and broader applications.


title: DBOS: A Proposal for a Data-Centric Operating System

abstract: Current operating systems are complex systems that were designed before today's computing environments. This makes it difficult for them to meet the scalability, heterogeneity, availability, and security challenges in current cloud and parallel computing environments. To address these problems, we propose a radically new OS design based on data-centric architecture: all operating system state should be represented uniformly as database tables, and operations on this state should be made via queries from otherwise stateless tasks. This design makes it easy to scale and evolve the OS without whole-system refactoring, inspect and debug system state, upgrade components without downtime, manage decisions using machine learning, and implement sophisticated security features. We discuss how a database OS (DBOS) can improve the programmability and performance of many of today's most important applications and propose a plan for the development of a DBOS proof of concept.


title: Early life imprints the hierarchy of T cell clone sizes

abstract: The adaptive immune system responds to pathogens by selecting clones of cells with specific receptors. While clonal selection in response to particular antigens has been studied in detail, it is unknown how a lifetime of exposures to many antigens collectively shape the immune repertoire. Here, through mathematical modeling and statistical analyses of T cell receptor sequencing data we demonstrate that clonal expansions during a perinatal time window leave a long-lasting imprint on the human T cell repertoire. We demonstrate how the empirical scaling law relating the rank of the largest clones to their size can emerge from clonal growth during repertoire formation. We statistically identify early founded clones and find that they are indeed highly enriched among the largest clones. This enrichment persists even after decades of human aging, in a way that is quantitatively predicted by a model of fluctuating clonal selection. Our work presents a quantitative theory of human T cell dynamics compatible with the statistical laws of repertoire organization and provides a mechanism for how early clonal dynamics imprint the hierarchy of T cell clone sizes with implications for pathogen defense and autoimmunity.


title: Reversible Trapping of Colloids in Microgrooved Channels via Diffusiophoresis under Steady-State Solute Gradients

abstract: The controlled transport of colloids in dead-end structures is a key capability that can enable a wide range of applications, such as bio-chemical analysis, drug delivery and underground oil recovery. This letter presents a new trapping mechanism that allows the fast (i.e., within a few minutes) and reversible accumulation of sub-micron particles within dead-end micro-grooves by means of parallel streams with different salinity level. For the first time, particle focusing in dead-end structures is achieved under steady-state gradients. Confocal microscopy analysis and numerical investigations show that the particles are trapped at a flow recirculation region within the grooves due to a combination of diffusiophoresis transport and hydrodynamic effects. Counterintuitively, the particle velocity at the focusing point is not vanishing and, hence, the particles are continuously transported in and out of the focusing point. The accumulation process is also reversible and one can cyclically trap and release the colloids by controlling the salt concentration of the streams via a flow switching valve.


title: Byzantine-Resilient Secure Federated Learning

abstract: Secure federated learning is a privacy-preserving framework to improve machine learning models by training over large volumes of data collected by mobile users. This is achieved through an iterative process where, at each iteration, users update a global model using their local datasets. Each user then masks its local model via random keys, and the masked models are aggregated at a central server to compute the global model for the next iteration. As the local models are protected by random masks, the server cannot observe their true values. This presents a major challenge for the resilience of the model against adversarial (Byzantine) users, who can manipulate the global model by modifying their local models or datasets. Towards addressing this challenge, this paper presents the first single-server Byzantine-resilient secure aggregation framework (BREA) for secure federated learning. BREA is based on an integrated stochastic quantization, verifiable outlier detection, and secure model aggregation approach to guarantee Byzantine-resilience, privacy, and convergence simultaneously. We provide theoretical convergence and privacy guarantees and characterize the fundamental trade-offs in terms of the network size, user dropouts, and privacy protection. Our experiments demonstrate convergence in the presence of Byzantine users, and comparable accuracy to conventional federated learning benchmarks.


title: A New Combinatorial Coded Design for Heterogeneous Distributed Computing

abstract: Coded Distributed Computing (CDC) introduced by Li et al. in 2015 offers an efficient approach to trade computing power to reduce the communication load in general distributed computing frameworks such as MapReduce and Spark. In particular, increasing the computation load in the Map phase by a factor of r can create coded multicasting opportunities to reduce the communication load in the Shuffle phase by the same factor. However, the CDC scheme is designed for the homogeneous settings, where the storage, computation load and communication load on the computing nodes are the same. In addition, it requires an exponentially large number of input files (data batches), reduce functions and multicasting groups relative to the number of nodes to achieve the promised gain. We address the CDC limitations by proposing a novel CDC approach based on a combinatorial design, which accommodates heterogeneous networks where nodes have varying storage and computing capabilities. In addition, the proposed approach requires an exponentially less number of input files compared to the original CDC scheme proposed by Li et al. Meanwhile, the resulting computation-communication trade-off maintains the multiplicative gain compared to conventional uncoded unicast and asymptotically achieves the optimal performance proposed by Li et al.


title: Interpretable Anomaly Detection with DIFFI: Depth-based Isolation Forest Feature Importance

abstract: Anomaly Detection is an unsupervised learning task aimed at detecting anomalous behaviours with respect to historical data. In particular, multivariate Anomaly Detection has an important role in many applications thanks to the capability of summarizing the status of a complex system or observed phenomenon with a single indicator (typically called `Anomaly Score') and thanks to the unsupervised nature of the task that does not require human tagging. The Isolation Forest is one of the most commonly adopted algorithms in the field of Anomaly Detection, due to its proven effectiveness and low computational complexity. A major problem affecting Isolation Forest is represented by the lack of interpretability, an effect of the inherent randomness governing the splits performed by the Isolation Trees, the building blocks of the Isolation Forest. In this paper we propose effective, yet computationally inexpensive, methods to define feature importance scores at both global and local level for the Isolation Forest. Moreover, we define a procedure to perform unsupervised feature selection for Anomaly Detection problems based on our interpretability method; such procedure also serves the purpose of tackling the challenging task of feature importance evaluation in unsupervised anomaly detection. We assess the performance on several synthetic and real-world datasets, including comparisons against state-of-the-art interpretability techniques, and make the code publicly available to enhance reproducibility and foster research in the field.


title: Creating a Large-scale Synthetic Dataset for Human Activity Recognition

abstract: Creating and labelling datasets of videos for use in training Human Activity Recognition models is an arduous task. In this paper, we approach this by using 3D rendering tools to generate a synthetic dataset of videos, and show that a classifier trained on these videos can generalise to real videos. We use five different augmentation techniques to generate the videos, leading to a wide variety of accurately labelled unique videos. We fine tune a pre-trained I3D model on our videos, and find that the model is able to achieve a high accuracy of 73% on the HMDB51 dataset over three classes. We also find that augmenting the HMDB training set with our dataset provides a 2% improvement in the performance of the classifier. Finally, we discuss possible extensions to the dataset, including virtual try on and modeling motion of the people.


title: Interpolating GANs to Scaffold Autotelic Creativity

abstract: The latent space modeled by generative adversarial networks (GANs) represents a large possibility space. By interpolating categories generated by GANs, it is possible to create novel hybrid images. We present "Meet the Ganimals," a casual creator built on interpolations of BigGAN that can generate novel, hybrid animals called ganimals by efficiently searching this possibility space. Like traditional casual creators, the system supports a simple creative flow that encourages rapid exploration of the possibility space. Users can discover new ganimals, create their own, and share their reactions to aesthetic, emotional, and morphological characteristics of the ganimals. As users provide input to the system, the system adapts and changes the distribution of categories upon which ganimals are generated. As one of the first GAN-based casual creators, Meet the Ganimals is an example how casual creators can leverage human curation and citizen science to discover novel artifacts within a large possibility space.


title: On Linear Convergence of Policy Gradient Methods for Finite MDPs

abstract: We revisit the finite time analysis of policy gradient methods in the one of the simplest settings: finite state and action MDPs with a policy class consisting of all stochastic policies and with exact gradient evaluations. There has been some recent work viewing this setting as an instance of smooth non-linear optimization problems and showing sub-linear convergence rates with small step-sizes. Here, we take a different perspective based on connections with policy iteration and show that many variants of policy gradient methods succeed with large step-sizes and attain a linear rate of convergence.