title: Unsung Challenges of Building and Deploying Language Technologies for Low Resource Language Communities

abstract: In this paper, we examine and analyze the challenges associated with developing and introducing language technologies to low-resource language communities. While doing so, we bring to light the successes and failures of past work in this area, challenges being faced in doing so, and what they have achieved. Throughout this paper, we take a problem-facing approach and describe essential factors which the success of such technologies hinges upon. We present the various aspects in a manner which clarify and lay out the different tasks involved, which can aid organizations looking to make an impact in this area. We take the example of Gondi, an extremely-low resource Indian language, to reinforce and complement our discussion.


title: Dynamic Convolution: Attention over Convolution Kernels

abstract: Light-weight convolutional neural networks (CNNs) suffer performance degradation as their low computational budgets constrain both the depth (number of convolution layers) and the width (number of channels) of CNNs, resulting in limited representation capability. To address this issue, we present Dynamic Convolution, a new design that increases model complexity without increasing the network depth or width. Instead of using a single convolution kernel per layer, dynamic convolution aggregates multiple parallel convolution kernels dynamically based upon their attentions, which are input dependent. Assembling multiple kernels is not only computationally efficient due to the small kernel size, but also has more representation power since these kernels are aggregated in a non-linear way via attention. By simply using dynamic convolution for the state-of-the-art architecture MobileNetV3-Small, the top-1 accuracy of ImageNet classification is boosted by 2.9% with only 4% additional FLOPs and 2.9 AP gain is achieved on COCO keypoint detection.


title: Pinning Stabilizer Design for Large-Scale Probabilistic Boolean Networks

abstract: This paper investigates the stabilization of probabilistic Boolean networks (PBNs) via a novel pinning control strategy based on network structure. In a PBN, the evolution equation of each gene switches among a collection of candidate Boolean functions with probability distributions that govern the activation frequency of each Boolean function. Owing to the stochasticity, the uniform state feedback controller, independent of switching signal, might be out of work, and in this case, the non-uniform state feedback controller is required. Subsequently, a criterion is derived to determine whether uniform controllers is applicable to achieve stabilization. It is worth pointing out that the pinning control designed in this paper is based on the network structure, which only requires local in-neighbors' information, rather than global information (state transition matrix). Moreover, this pinning control strategy reduces the computational complexity from $O(2^{2n})$ to $O(n2^\alpha)$, and thus it has the ability to handle some large-scale networks, especially the networks with sparse connections. Finally, the mammalian cell-cycle encountering a mutated phenotype is modelled by a PBN to demonstrate the obtained results.


title: Continuous-time Discounted Mirror-Descent Dynamics in Monotone Concave Games

abstract: In this paper, we consider concave continuous-kernel games characterized by monotonicity properties and propose discounted mirror descent-type dynamics. We introduce two classes of dynamics whereby the associated mirror map is constructed based on a strongly convex or a Legendre regularizer. Depending on the properties of the regularizer we show that these new dynamics can converge asymptotically in concave games with monotone (negative) pseudo-gradient. Furthermore, we show that when the regularizer enjoys strong convexity, the resulting dynamics can converge even in games with hypo-monotone (negative) pseudo-gradient, which corresponds to a shortage of monotonicity.


title: Propagation sets of holomorphic curves

abstract: We consider a problem of whether a property of holomorphic curves on a subset $X$ of the complex plane can be extended to the whole complex plane. In this paper, the property we consider is uniqueness of holomorphic curves. We introduce the propagation set. Simply speaking, $X$ is a propagation set if linear relation of holomorphic curves on the part of preimage of hyperplanes contained in $X$ can be extended to the whole complex plane. If the holomorphic curves are of infinite order, we prove the existence of a propagation set which is the union of a sequence of disks (In fact, the method applies to the case of finite order). For a general case, the union of a sequence of annuli will be a propagation set. The classic five-value theorem and four-value theorem of R. Nevanlinna are established in such propagation sets.


title: Inverse N-body scattering with the time-dependent Hartree-Fock approximation

abstract: We consider an inverse $N$-body scattering problem of determining two potentials---an external potential acting on all particles and a pair interaction potential---from the scattering particles. This paper finds that the time-dependent Hartree-Fock approximation for a three-dimensional inverse $N$-body scattering in quantum mechanics enables us to recover the two potentials from the scattering states with high-velocity initial states. The main ingredient of mathematical analysis in this paper is based on the asymptotic analysis of the scattering operator defined in terms of a scattering solution to the Hartree-Fock equation at high energies. We show that the leading part of the asymptotic expansion of the scattering operator uniquely reconstructs the Fourier transform of the pair interaction, and the second term of the expansion uniquely reconstructs the $X$-ray transform of the external potential.


title: Temporal Wasserstein non-negative matrix factorization for non-rigid motion segmentation and spatiotemporal deconvolution

abstract: Motion segmentation for natural images commonly relies on dense optic flow to yield point trajectories which can be grouped into clusters through various means including spectral clustering or minimum cost multicuts. However, in biological imaging scenarios, such as fluorescence microscopy or calcium imaging, where the signal to noise ratio is compromised and intensity fluctuations occur, optical flow may be difficult to approximate. To this end, we propose an alternative paradigm for motion segmentation based on optimal transport which models the video frames as time-varying mass represented as histograms. Thus, we cast motion segmentation as a temporal non-linear matrix factorization problem with Wasserstein metric loss. The dictionary elements of this factorization yield segmentation of motion into coherent objects while the loading coefficients allow for time-varying intensity signal of the moving objects to be captured. We demonstrate the use of the proposed paradigm on a simulated multielectrode drift scenario, as well as calcium indicating fluorescence microscopy videos of the nematode Caenorhabditis elegans (C. elegans). The latter application has the added utility of extracting neural activity of the animal in freely conducted behavior.


title: Generalized Extended Riemann-Liouville type fractional derivative operator

abstract: In this paper, we aim to present new extensions of incomplete gamma, beta, Gauss hypergeometric, confluent hypergeometric function and Appell-Lauricella hypergeometric functions, by using the extended Bessel function due to Boudjelkha [4]. Some recurrence relations, transformation formulas, Mellin transform and integral representations are obtained for these generalizations. Further, an extension of the Riemann-Liouville fractional derivative operator is established.


title: Tailoring magnetic interactions in atomic bilayers of Rh and Fe on Re(0001)

abstract: Using density functional theory, we investigate the interplay between the stacking order and sequence of bilayers composed of an Fe and a Rh layer on the Re(0001) and their magnetic properties. We find that fcc/ffc stacked bilayers are energetically very unfavorable, while all other combinations of hcp and fcc stacking are energetically close. The magnetic interactions are evaluated by mapping the DFT total energies onto a spin model, which contains Heisenberg exchange, Dzyaloshinskii-Moriya interaction, the magnetocrystalline anisotropy energy, and higher-order exchange interactions. We find that the stacking sequence of the bilayer significantly modifies the magnetic interactions. As a result, we find a DMI driven cycloidal spin spiral ground state with a period of 11~nm for hcp-Fe/hcp-Rh. For fcc-Fe/hcp-Rh and hcp-Fe/fcc-Rh, we obtain a ferromagnetic ground state. The spin spiral energy dispersion of hcp-Fe/hcp-Rh including spin-orbit coupling suggests that isolated skyrmions can be stabilized in the field-polarized ferromagnetic background at external magnetic fields. If the Fe layer is sandwiched between the Rh overlayer and the Re(0001) substrate, there is a competition between the ferromagnetic coupling preferred by the Rh-Fe hybridization and the antiferromagnetic coupling induced by the Fe-Re hybridization. Due to the Fe/Re interface the DMI can become very large. For fcc-Rh/hcp-Fe, we obtain a cycloidal spin spiral with a period of 1.7~nm which is induced by frustration of exchange interactions and further stabilized by the DMI. For hcp-Rh/hcp-Fe, we find a DMI driven cycloidal spin spiral with a period of 4~nm and locally nearly antiparallel magnetic moments due to antiferromagnetic nearest-neighbor exchange. The higher-order exchange constants can be significant in the considered films, however, they do not stabilize multi-$Q$ states.


title: The Possible Electromagnetic Counterparts of the First High-Probability NSBH Merger LIGO/Virgo S190814bv

abstract: LIGO/Virgo S190814bv is the first high-probability neutron star - black hole (NSBH) merger candidate, whose gravitational waves (GWs) triggered LIGO/Virgo detectors at 21:10:39.012957 UT, 14 August 2019. It has a probability $>99\%$ of being an NSBH merger, with a low false alarm rate (FAR) of 1 per 1.559e+25 years. For an NSBH merger, electromagnetic counterparts (especially short gamma-ray bursts (GRBs)) are generally expected. However, no electromagnetic counterpart has been found in the extensive follow-up observing campaign. In the present work, we propose a novel explanation to this null result. In our scenario, LIGO/Virgo S190814bv is just a GW mirror image of the real NSBH merger which should be detected before 14 September 2015, but at that time we had no ability to detect its GW signals. The electromagnetic counterparts associated with the real NSBH merger should be found in the archive data before 14 September 2015. In this work, we indeed find 9 short GRBs as the possible electromagnetic counterparts.


title: Comparison of Neuronal Attention Models

abstract: Recent models for image processing are using the Convolutional neural network (CNN) which requires a pixel per pixel analysis of the input image. This method works well. However, it is time-consuming if we have large images. To increase the performance, by improving the training time or the accuracy, we need a size-independent method. As a solution, we can add a Neuronal Attention model (NAM). The power of this new approach is that it can efficiently choose several small regions from the initial image to focus on. The purpose of this paper is to explain and also test each of the NAM's parameters.


title: Reconfigurable Intelligent Surface Aided Power Control for Physical-Layer Broadcasting

abstract: Reconfigurable intelligent surface (RIS), a recently introduced technology for future wireless com-munication systems, enhances the spectral and energy efficiency by intelligently adjusting the propaga-tion conditions between a base station (BS) and mobile equipments (MEs). An RIS consists of manylow-cost passive reflecting elements to improve the quality of the received signal. In this paper, westudy the problem of power control at the BS for the RIS aided physical-layer broadcasting. Our goalis to minimize the transmit power at the BS by jointly designing the transmit beamforming at the BSand the phase shifts of the passive elements at the RIS. Furthermore, to help validate the proposedoptimization methods, we derive lower bounds to quantify the average transmit power at the BS as afunction of the number of MEs, the number of RIS elements, and the number of antennas at the BS.The simulation results demonstrated that the average transmit power at the BS is close to the lowerbound in an RIS aided system, and is significantly lower than the average transmit power in conventionalschemes without the RIS.


title: Electrically tunable chiral Majorana edge modes in quantum anomalous Hall insulator-topological superconductor systems

abstract: Chiral Majorana edge modes are theoretically proposed to perform braiding operations for the potential quantum computation. Here, we suggest a scheme to regulate trajectories of the chiral Majorana fermion based on a quantum anomalous Hall insulator (QAHI)-topological superconductor heterostructure. An applied external gate voltage to the QAHI region introduces a dynamical phase so that the outgoing Majorana fermions can be prominently tuned to different leads. The trajectory is mechanically analyzed and the electrical manipulation is represented by the oscillating transmission coefficients versus the gate voltage. Through the optimization of devices, the conductance is likewise detectable to be periodically oscillating, which means an experimental control of chiral Majorana edge modes. Besides, this oscillating period which is robust against disorder also provides an attainable method of observing the energy dispersion relation of the edge mode of the QAHI. Furthermore, the oscillating behavior of conductance serves as smoking-gun evidence of the existence of the chiral Majorana fermion, which could be experimentally confirmed.


title: Minimal Sufficient Conditions for Structural Observability/Controllability of Composite Networks via Kronecker Product

abstract: In this paper, we consider composite networks formed from the Kronecker product of smaller networks. We find the observability and controllability properties of the product network from those of its constituent smaller networks. The overall network is modeled as a Linear-Structure-Invariant (LSI) dynamical system where the underlying matrices have a fixed zero/non-zero structure but the non-zero elements are potentially time-varying. This approach allows to model the system parameters as free variables whose values may only be known within a certain tolerance. We particularly look for minimal sufficient conditions on the observability and controllability of the composite network, which have a direct application in distributed estimation and in the design of networked control systems. The methodology in this paper is based on the structured systems analysis and graph theory, and therefore, the results are generic, i.e., they apply to almost all non-zero choices of free parameters. We show the controllability/observability results for composite product networks resulting from full structural-rank systems and self-damped networks. We provide an illustrative example of estimation based on Kalman filtering over a composite network to verify our results.


title: Zitterbewegung in the vicinity of the Chern-Simons black hole

abstract: We consider zitterbewegung (ZB) effect in four and five-dimensional space in the vicinity of the Chern-Simons black hole with torsion. The metric is taken in the traditional spherically symmetric form. We consider the equation for the current in the framework of the Schr\"odinger representation. Dependences of the electric current density on time is calculated for different dimension of space. In particular, it is shown that, with an increase in the space dimension, the effect of trembling motion qualitatively coincides. As the dimension increases, the amplitude of this effect decreases. Also, we investigate the dependence of the current on the radial coordinate for different dimensions of space. We obtain that when away from the event horizon the current ZB increases.


title: Vacuum polarization in Uranium

abstract: We formulate the Hartree-Fock method using a functional integral approach. Then we consider a nonperturbative component of the vacuum polarization. For the Dirac-Coulomb operator the renormalization flow of the vacuum polarization is calculated numerically. For the Hartree-Fock operator the polarization is obtained by integrating an appropriately rescaled flow. The text includes an approximate calculation of the vacuum polarization in Uranium.


title: On smoothing properties of the Bergman projection

abstract: We study smoothing properties of the Bergman projection and also of weighted Bergman projections. In particular, we relate these properties to the hyperconvexity index of a pseudoconvex domain in $\mathbb{C}^{n}$. The notion of a hyperconvexity index was first introduced by B.Y. Chen, which provides a flexible criterion for studying geometric properties of hyperconvex domains. We also obtain a new estimate of weighted Bergman projections, which improves a well-known estimate of Berndtsson and Charpentier. We give several applications of this estimate, including the study of smoothing properties of weighted Bergman projections.


title: Role of higher-order exchange interactions for skyrmion stability

abstract: Transition-metal interfaces and multilayers are a very promising class of systems to realize nanometer-sized, stable magnetic skyrmions for future spintronic devices. For room temperature applications it is crucial to understand the interactions which control the stability of isolated skyrmions. Typically, skyrmion properties are explained by the interplay of pair-wise exchange interactions, the Dzyaloshinskii-Moriya interaction and the magnetocrystalline anisotropy energy. Here, we demonstrate that higher-order exchange interactions -- which have so far been neglected -- can play a key role for the stability of skyrmions. We use an atomistic spin model parametrized from first-principles and compare three different ultrathin film systems. We consider all fourth order exchange interactions and show that in particular the four-site four spin interaction has a giant effect on the energy barrier preventing skyrmion and antiskyrmion collapse into the ferromagnetic state. Our work opens new perspectives to enhance the stability of topological spin structures.


title: Simultaneous multiple-users quantum communication across a spin chain channel

abstract: The time evolution of spin chains has been extensively studied for transferring quantum states between different registers of a quantum computer. Nonetheless, in most of these protocols only one pair of sender-receivers can share the channel at each time. This significantly limits the rate of communication in a network of many users as they can only communicate through their common data-bus sequentially and not all at the same time. Here, we propose a protocol in which multiple users can share a spin chain channel simultaneously without having crosstalk between different parties. This is achieved by properly tuning the local parameters of the Hamiltonian to mediate an effective interaction between each pair of users via a distinct set of energy eigenstates of the system. We introduce three strategies with different levels of Hamiltonian tuning, each might be suitable for a different physical platform. All the three strategies provide very high transmission fidelities with vanishingly small crosstalks. We specifically show that our protocol can be experimentally realized on currently available superconducting quantum simulators.


title: Value of Storage for Renewable Portfolio Standard

abstract: The ambitious targets for renewable energy penetration warrant huge flexibility in the power system. Such flexibility does not come free. In this paper, we examine the possibility of utilizing storage systems for achieving high renewable energy penetration, and identify the trade-off between providing flexibility and arbitrage against real-time prices. More precisely, we investigate the relationship among the operation cost, storage capacity, and the renewable penetration level. This illustrates the value of storage as well as the true cost induced by the high renewable penetration targets.


title: Contributions of box diagrams and $\Delta(1940)$ resonance to $K^0\Sigma^+$ photoproduction

abstract: We study first the box-diagram contribution to the $\gamma p\,\rightarrow \,K^0\Sigma^+$ process to understand the anomaly of the kaon photoproduction cross section from CBELSA/TAPS experiment at Electron Stretcher Accelerator (ELSA), where the imaginary part of the scattering amplitude from the box-diagrams is calculated by using Cutkosky's rules in the on-shell approximation while the real part of the amplitude is derived by dispersion relation calculations. Together with the results of the K-MAID model, the contribution of the box-diagrams fails to provide the sudden drop of the differential cross-section between the $K^*\,\Lambda$ and $K^*\,\Sigma$ thresholds. In addition, we include the $\Delta(1940)$ resonance in the process to complete the description of the differential cross-section. Combining the contributions from the K-MAID model, the box-diagrams and the $\Delta(1940)$ resonance, we have obtained the theoretical differential cross-section the $\gamma p\,\rightarrow \,K^0\Sigma^+$ process, which is compatible with the CBELSA/TAPS experimental data.


title: A Real-time Global Inference Network for One-stage Referring Expression Comprehension

abstract: Referring Expression Comprehension (REC) is an emerging research spot in computer vision, which refers to detecting the target region in an image given an text description. Most existing REC methods follow a multi-stage pipeline, which are computationally expensive and greatly limit the application of REC. In this paper, we propose a one-stage model towards real-time REC, termed Real-time Global Inference Network (RealGIN). RealGIN addresses the diversity and complexity issues in REC with two innovative designs: the Adaptive Feature Selection (AFS) and the Global Attentive ReAsoNing unit (GARAN). AFS adaptively fuses features at different semantic levels to handle the varying content of expressions. GARAN uses the textual feature as a pivot to collect expression-related visual information from all regions, and thenselectively diffuse such information back to all regions, which provides sufficient context for modeling the complex linguistic conditions in expressions. On five benchmark datasets, i.e., RefCOCO, RefCOCO+, RefCOCOg, ReferIt and Flickr30k, the proposed RealGIN outperforms most prior works and achieves very competitive performances against the most advanced method, i.e., MAttNet. Most importantly, under the same hardware, RealGIN can boost the processing speed by about 10 times over the existing methods.


title: Holographic subregion complexity under thermal quench in Einstein-Maxwell-Axions theory with momentum relaxation

abstract: We investigate the evolution of holographic entanglement entropy (HEE) and holographic complexity (HC) under a thermal quench in Einstein-Maxwell-Axion theory (EMA), which is dual to a field theory with momentum relaxation on the boundary. A strip-shaped boundary geometry is utilized to calculate HEE and HC via `entropy=surface' and `complexity=volume' conjecture, respectively. By fixing other parameters we claim that either large enough black hole charge or width of the strip will introduce swallow-tail behaviors in HEE and multi-values in HC due to the discontinuity of the minimum Hubeny-Rangamani-Takayanagi (HRT) surface. Meanwhile, we explore the effects of momentum relaxation on the evolution of HEE and HC. The results present that the momentum relaxation will suppress the discontinuity to occur as it increases. For large enough momentum relaxation the continuity of HEE and HC will be recovered.


title: Observations of solar chromospheric oscillations at 3 mm with ALMA

abstract: We studied chromospheric oscillations using Atacama Large millimeter and sub-millimeter Array (ALMA) time-series of interferometric observations of the quiet Sun obtained at 3 mm with a 2-s cadence and a spatial resolution of a few arcsec. The same analysis, over the same fields of view and for the same intervals, was performed for simultaneous Atmospheric Imaging Assembly (AIA) image sequences in 1600 A. Spatially-resolved chromospheric oscillations at 3 mm, with frequencies of $ 4.2 +- 1.7$ mHz are observed in the quiet Sun, in both cell and network. The coherence length-scale of the oscillations is commensurate with the spatial resolution of our ALMA observations. Brightness-temperature fluctuations in individual pixels could reach up to a few hundred K, while the spatially averaged power spectral densities yield rms in the range ~ 55-75 K, i.e., up to ~ 1 % of the averaged brightness temperatures and exhibit a moderate increase towards the limb. For AIA 1600 A, the oscillation frequency is 3.7 +- 1.7 mHz. The relative rms is up to 6 % of the background intensity, with a weak increase towards disk center (cell, average). ALMA 3 mm time-series lag AIA 1600 A by ~ 100 s, which corresponds to a formation-height difference of ~ 1200 km. The ALMA oscillations that we detected exhibit higher amplitudes than those derived from the lower (~ 10 arcsec) resolution observations at 3.5 mm by White et al. (2006). Chromospheric oscillations are, therefore, not fully resolved at the length-scale of the chromospheric network, and possibly not even at the spatial resolution of our ALMA observations. Any study of transient brightenings in the mm-domain should take into account the oscillations.


title: A Multi-Feature Diffusion Model: Rumor Blocking in Social Networks

abstract: Online social networks provide a convenient platform for the spread of rumors, which could lead to serious aftermaths such as economic losses and public panic. The classical rumor blocking problem aims to launch a set of nodes as a positive cascade to compete with misinformation in order to limit the spread of rumors. However, most of the related researches were based on one-dimensional diffusion model. In reality, there are more than one feature associated with an object. The user's impression on this object is determined not just by one feature but by his/her overall evaluation on all of these features. Thus, the influence spread of this object can be decomposed into the spread of multiple features. Based on that, we propose a Multi-Feature diffusion model (MF-model) in this paper, and a novel problem, Multi-Feature Rumor Blocking (MFRB), is formulated on a multi-layer network structure according to this model. To solve MFRB, we design a creative sampling method, called Multi-Sampling, which can be applied to a multi-layer network structure. Inspired by martingale analysis, the Revised-IMM algorithm is proposed, and returns a satisfactory approximate solution to MFRB. Finally, we evaluate our proposed algorithm by conducting experiments on real datasets, and show the effectiveness and accuracy of the Revised-IMM algorithm and significantly outperforms other baseline algorithms.


title: Exact modular $S$ matrix for the ${\mathbb Z}_k$ parafermion quantum Hall islands and measurement of non-Abelian anyons

abstract: Using the decomposition of rational conformal filed theory characters for the ${\mathbb Z}_k$ parafermion quantum Hall droplets for general $k=2,3, \ldots$, we derive analytically the full modular $S$ matrix for these states, including the $\widehat{u(1)}$ parts corresponding to the charged sector of the full conformal field theory and the neutral parafermion contributions corresponding to the diagonal affine coset models. This precise neutral-part parafermion $S$ matrix is derived from the explicit relations between the coset matrix and those for the numerator and denominator of the coset and the latter is expressed in compact form due to the level--rank duality between the affine Lie algebras $\widehat{su(k)_2}$ and $\widehat{su(2)_k}$. The exact results obtained for the $S$ matrix elements are expected to play an important role for identifying interference patterns of fractional quantum Hall states in Fabry-P\'erot interferometers which can be used to distinguish between Abelian and non-Abelian statistics of quasiparticles localized in the bulk of fractional quantum Hall droplets as well as for nondestructive interference measurement of Fibonacci anyons which can be used for universal topological quantum computation.


title: Small doubling in prime-order groups: from $2.4$ to $2.6$

abstract: Improving upon the results of Freiman and Candela-Serra-Spiegel, we show that for a non-empty subset $A\subseteq\mathbb F_p$ with $p$ prime and $|A|<0.0045p$, (i) if $|A+A|<2.59|A|-3$ and $|A|>100$, then $A$ is contained in an arithmetic progression of size $|A+A|-|A|+1$, and (ii) if $|A-A|<2.6|A|-3$, then $A$ is contained in an arithmetic progression of size $|A-A|-|A|+1$. The improvement comes from using the properties of higher energies.


title: On the generation of some Lie-type geometries

abstract: Let $X_n(K)$ be a building of Coxeter type $X_n = A_n$ or $X_n = D_n$ defined over a given division ring $K$ (a field when $X_n = D_n$). For a non-connected set $J$ of nodes of the diagram $X_n$, let $\Gamma(K) = Gr_J(X_n(K))$ be the $J$-Grassmannian of $X_n(K)$. We prove that $\Gamma(K)$ cannot be generated over any proper sub-division ring $K_0$ of $K$. As a consequence, the generating rank of $\Gamma(K)$ is infinite when $K$ is not finitely generated. In particular, if $K$ is the algebraic closure of a finite field of prime order then the generating rank of $Gr_{1,n}(A_n(K))$ is infinite, although its embedding rank is either $(n+1)^2-1$ or $(n+1)^2$.


title: Privacy-Preserving Inference in Machine Learning Services Using Trusted Execution Environments

abstract: This work presents Origami, which provides privacy-preserving inference for large deep neural network (DNN) models through a combination of enclave execution, cryptographic blinding, interspersed with accelerator-based computation. Origami partitions the ML model into multiple partitions. The first partition receives the encrypted user input within an SGX enclave. The enclave decrypts the input and then applies cryptographic blinding to the input data and the model parameters. Cryptographic blinding is a technique that adds noise to obfuscate data. Origami sends the obfuscated data for computation to an untrusted GPU/CPU. The blinding and de-blinding factors are kept private by the SGX enclave, thereby preventing any adversary from denoising the data, when the computation is offloaded to a GPU/CPU. The computed output is returned to the enclave, which decodes the computation on noisy data using the unblinding factors privately stored within SGX. This process may be repeated for each DNN layer, as has been done in prior work Slalom. However, the overhead of blinding and unblinding the data is a limiting factor to scalability. Origami relies on the empirical observation that the feature maps after the first several layers can not be used, even by a powerful conditional GAN adversary to reconstruct input. Hence, Origami dynamically switches to executing the rest of the DNN layers directly on an accelerator without needing any further cryptographic blinding intervention to preserve privacy. We empirically demonstrate that using Origami, a conditional GAN adversary, even with an unlimited inference budget, cannot reconstruct the input. We implement and demonstrate the performance gains of Origami using the VGG-16 and VGG-19 models. Compared to running the entire VGG-19 model within SGX, Origami inference improves the performance of private inference from 11x while using Slalom to 15.1x.


title: Freezing of two-length-scale systems: complexity, universality and prediction

abstract: Two-length-scale pair potentials arise ubiquitously in condensed matter theory as effective interparticle interactions in molecular, metallic and soft matter systems. The existence of two different bond lengths generated by the shape of potential causes complex behavior in even one-component systems: polymorphism in solid and liquid states, water-like anomalies, the formation of quasicrystals and high stability against crystallization. Here we address general properties of freezing in one-component two-length-scale systems and argue that the formation of solid phases during cooling a liquid is essentially determined by the radial distribution function (RDF) of the liquid. We show that different two-length-scale systems having similar RDF freeze into the same solid phases. In most cases, the similarity between RDFs can be expressed by the proximity of two dimensionless effective parameters: the ratio between effective bond lengths, $\lambda$, and the fraction of short-bonded particles $\phi$. We validate this idea by studying the formation of different solid phases in different two-length-scale systems. The method proposed allows predicting effectively the formation of solid phases in both numerical simulations and self-assembling experiments in soft matter systems with tunable interactions.


title: Where Pigeonhole Principles meet K\"onig Lemmas

abstract: We study the pigeonhole principle for $\Sigma_2$-definable injections with domain twice as large as the codomain, and the weak K\"onig lemma for $\Delta^0_2$-definable trees in which every level has at least half of the possible nodes. We show that the latter implies the existence of $2$-random reals, and is conservative over the former. We also show that the former is strictly weaker than the usual pigeonhole principle for $\Sigma_2$-definable injections.


title: Robust Deep Ordinal Regression Under Label Noise

abstract: The real-world data is often susceptible to label noise, which might constrict the effectiveness of the existing state of the art algorithms for ordinal regression. Existing works on ordinal regression do not take label noise into account. We propose a theoretically grounded approach for class conditional label noise in ordinal regression problems. We present a deep learning implementation of two commonly used loss functions for ordinal regression that is both - 1) robust to label noise, and 2) rank consistent for a good ranking rule. We verify these properties of the algorithm empirically and show robustness to label noise on real data and rank consistency. To the best of our knowledge, this is the first approach for robust ordinal regression models.


title: MoebInv: C++ libraries for manipulations in non-Euclidean geometry

abstract: The introduced package MoebInv contains two CPP libraries for symbolic, numeric and graphical manipulations in non-Euclidean geometry. The first library cycle implements basic geometric operations on cycles, which are the zero sets of certain polynomials of degree two. The second library figure operates on ensembles of cycles interconnected by Moebius-invariant relations: orthogonality, tangency, etc. Both libraries work in spaces with any dimension and arbitrary signatures of their metrics. Their essential functionality is accessible in interactive modes from Python/Jupyter shells and a dedicated Graphical User Interface. The latter does not require any coding skills and can be used in education. The package is tested on (and supplied for) various Linux distributions, Windows 10, Mac OS X and several cloud services.


title: Dependability Assessment of the Android OS through Fault Injection

abstract: The reliability of mobile devices is a challenge for vendors, since the mobile software stack has significantly grown in complexity. In this paper, we study how to assess the impact of faults on the quality of user experience in the Android mobile OS through fault injection. We first address the problem of identifying a realistic fault model for the Android OS, by providing to developers a set of lightweight and systematic guidelines for fault modeling. Then, we present an extensible fault injection tool (AndroFIT) to apply such fault model on actual, commercial Android devices. Finally, we present a large fault injection experimentation on three Android products from major vendors, and point out several reliability issues and opportunities for improving the Android OS.


title: Littlewood Polynomials, Spectral-Null Codes, and Equipowerful Partitions

abstract: Let $[n]$ denote $\{0,1, ... , n-1\}$. A polynomial $f(x) = \sum a_i x^i$ is a Littlewood polynomial (LP) of length $n$ if the $a_i$ are $\pm 1$ for $i \in [n]$, and $a_i = 0$ for $i \ge n$. Such an LP is said to have order $m$ if it is divisible by $(x-1)^m$. The problem of finding the set $L_m$ of lengths of LPs of order $m$ is equivalent to finding the lengths of spectral-null codes of order $m$, and to finding $n$ such that $[n]$ admits a partition into two subsets whose first $m$ moments are equal. Extending the techniques and results of Boyd and others, we completely determine $L_7$ and $L_8$ and prove that 192 is the smallest element of $L_9$. Our primary tools are the use of carefully targeted searches using integer linear programming (both to find LPs and to disprove their existence for specific $n$ and $m$), and an unexpected new concept (that arose out of observed symmetry properties of LPs) that we call "regenerative pairs," which produce infinite arithmetic progressions in $L_m$. We prove that for $m \le$ 8, whenever there is an LP of length $n$ and order $m$, there is one of length $n$ and order $m$ that is symmetric (resp.~antisymmetric) if m is even (resp.~odd).


title: Fast Prospective Detection of Contrast Inflow in X-ray Angiograms with Convolutional Neural Network and Recurrent Neural Network

abstract: Automatic detection of contrast inflow in X-ray angiographic sequences can facilitate image guidance in computer-assisted cardiac interventions. In this paper, we propose two different approaches for prospective contrast inflow detection. The methods were developed and evaluated to detect contrast frames from X-ray sequences. The first approach trains a convolutional neural network (CNN) to distinguish whether a frame has contrast agent or not. The second method extracts contrast features from images with enhanced vessel structures; the contrast frames are then detected based on changes in the feature curve using long short-term memory (LSTM), a recurrent neural network architecture. Our experiments show that both approaches achieve good performance on detection of the beginning contrast frame from X-ray sequences and are more robust than a state-of-the-art method. As the proposed methods work in prospective settings and run fast, they have the potential of being used in clinical practice.


title: Characterization of exact one-query quantum algorithms

abstract: The quantum query models is one of the most important models in quantum computing. Several well-known quantum algorithms are captured by this model, including the Deutsch-Jozsa algorithm, the Simon algorithm, the Grover algorithm and others. In this paper, we characterize the computational power of exact one-query quantum algorithms. It is proved that a total Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$ can be exactly computed by a one-query quantum algorithm if and only if $f(x)=x_{i_1}$ or ${x_{i_1} \oplus x_{i_2} }$ (up to isomorphism). Note that unlike most work in the literature based on the polynomial method, our proof does not resort to any knowledge about the polynomial degree of $f$.


title: An Observationally Constrained Analytical Model for Predicting the Magnetic Field Vectors of ICMEs at 1 AU

abstract: We report on an observationally constrained analytical model, the INterplanetary Flux ROpe Simulator (INFROS), for predicting the magnetic-field vectors of coronal mass ejections (CMEs) in the interplanetary medium. The main architecture of INFROS involves using the near-Sun flux rope properties obtained from the observational parameters that are evolved through the model in order to estimate the magnetic field vectors of interplanetary CMEs (ICMEs) at any heliocentric distance. We have formulated a new approach in INFROS to incorporate the expanding nature and the time-varying axial magnetic field-strength of the flux rope during its passage over the spacecraft. As a proof of concept, we present the case study of an Earth-impacting CME which occurred on 2013 April 11. Using the near-Sun properties of the CME flux rope, we have estimated the magnetic vectors of the ICME as intersected by the spacecraft at 1 AU. The predicted magnetic field profiles of the ICME show good agreement with those observed by the in-situ spacecraft. Importantly, the maximum strength (10.5 $\pm$ 2.5 nT) of the southward component of the magnetic field (Bz) obtained from the model prediction, is in agreement with the observed value (11 nT). Although our model does not include the prediction of the ICME plasma parameters, as a first order approximation it shows promising results in forecasting of Bz in near real time which is critical for predicting the severity of the associated geomagnetic storms. This could prove to be a simple space-weather forecasting tool compared to the time-consuming and computationally expensive MHD models.


title: Randomness and optimality in enhanced DNA ligation with crowding effects

abstract: Enzymatic ligation is essential for the synthesis of long DNA. However, the number of ligated products exponentially decays as the DNA synthesis proceeds in a random manner. The controlling of ligation randomness is of importance to suppress exponential decay and demonstrate an efficient synthesis of long DNA. Here, we report the analysis of randomness in sequential DNA ligations, named qPCR-based STatistical Analysis of Randomness (qPCR-bSTAR), by a probability distribution of ligated DNA concentration. We show that the exponential decay is suppressed in a solution of another polymer and DNA ligation is activated at an optimal crowded condition. Theoretical model of kinetic ligation explains that intermolecular attraction due to molecular crowding can be involved in the optimal balance of the ligation speed and the available ligase. Our finding indicates that crowding effects enhance the synthesis of long DNA that retains large genetic information.


title: Overlapping Communities and the Prediction of Missing Links in Multiplex Networks

abstract: Multiplex networks are a representation of real-world complex systems as a set of entities (i.e. nodes) connected via different types of connections (i.e. layers). The observed connections in these networks may not be complete and the link prediction task is about locating the missing links across layers. Here, the main challenge is about collecting relevant evidence from different layers to assist the link prediction task. It is known that co-membership in communities increases the likelihood of connectivity between nodes. We discuss that co-membership in the communities of the similar layers augments the chance of connectivity. The layers are considered similar if they show significant inter-layer community overlap. Moreover, we found that although the presence of link is correlated in layers but the extent of this correlation is not the same across different communities. Our proposed, ML-BNMTF, as a link prediction method in multiplex networks, is devised based on these findings. ML-BNMTF outperforms baseline methods specifically when the global link overlap is low.


title: Ballistic hot-electron transport in a quantum Hall edge channel defined by a double gate

abstract: Ballistic transport of hot electrons in a quantum Hall edge channel is attractive for studying electronic analog of quantum optics, where the edge potential profile is an important parameter that governs the charge velocity and scattering by longitudinal-optical (LO) phonons. Here we use a parallel double gate to control the electric field of the edge potential, and investigate the ballistic length of the channel by using hot-electron spectroscopy. The ballistic length is significantly enhanced by reducing the LO phonon scattering rate in the tailored potential.


title: Quasi-deterministic secure quantum communication using non-maximally entangled states

abstract: Quantum communication in general helps deter potential eavesdropping in the course of transmission of bits to enable secure communication between two or more parties. In this paper, we propose a novel quasi-deterministic secure quantum communication scheme using non-maximally entangled states. The proposed scheme follows a simple procedure, and cases where the entanglement required can be significantly reduced to carry out the protocol successfully are discussed. Long sequences or the whole sequence of data can be sent after error checking for a potential eavesdropper. The maximum qubit efficiency of the proposed protocol is found to be 33.333%.


title: A Newtonian analogue of Kerr black hole

abstract: A 250-year old Newtonian problem, first studied by Euler, turns out to share a lot of similarities with the most extreme astrophysical relativistic object, the Kerr black hole. Although the framework behind the two fields is completely different, both problems are related to gravitational fields that have quite intriguing analogies with respect to orbital motions of a test-body in them. The fundamental reason responsible for their extraordinary similarity is the integrability of both problems, as well as their common multipolar structure. In this paper we demonstrate the existence of a multitude of either qualitative, and sometimes quantitative, similarities between the two problems. Based on this analogy, one could use the Newtonian problem to get insight in cases where the relativistic treatment of the field of a Kerr black hole becomes quite complicated.


title: Optimizing Rank-based Metrics with Blackbox Differentiation

abstract: Rank-based metrics are some of the most widely used criteria for performance evaluation of computer vision models. Despite years of effort, direct optimization for these metrics remains a challenge due to their non-differentiable and non-decomposable nature. We present an efficient, theoretically sound, and general method for differentiating rank-based metrics with mini-batch gradient descent. In addition, we address optimization instability and sparsity of the supervision signal that both arise from using rank-based metrics as optimization targets. Resulting losses based on recall and Average Precision are applied to image retrieval and object detection tasks. We obtain performance that is competitive with state-of-the-art on standard image retrieval datasets and consistently improve performance of near state-of-the-art object detectors. The code is available at https://github.com/martius-lab/blackbox-backprop


title: Parameterized Algorithms for MILPs with Small Treedepth

abstract: Solving (mixed) integer linear programs, (M)ILPs for short, is a fundamental optimization task. While hard in general, recent years have brought about vast progress for solving structurally restricted, (non-mixed) ILPs: $n$-fold, tree-fold, 2-stage stochastic and multi-stage stochastic programs admit efficient algorithms, and all of these special cases are subsumed by the class of ILPs of small treedepth. In this paper, we extend this line of work to the mixed case, by showing an algorithm solving MILP in time $f(a,d) \textrm{poly}(n)$, where $a$ is the largest coefficient of the constraint matrix, $d$ is its treedepth, and $n$ is the number of variables. This is enabled by proving bounds on the denominators of the vertices of bounded-treedepth (non-integer) linear programs. We do so by carefully analyzing the inverses of invertible submatrices of the constraint matrix. This allows us to afford scaling up the mixed program to the integer grid, and applying the known methods for integer programs. We trace the limiting boundary of our approach, showing that naturally related classes of linear programs have vertices of unbounded fractionality. Finally, we show that restricting the structure of only the integral variables in the constraint matrix does not yield tractable special cases.


title: Personalized Patent Claim Generation and Measurement

abstract: This work-in-progress paper proposes a framework to generate and measure personalized patent claims. The objective is to help inventors conceive better inventions by learning from relevant inventors. Patent claim generation is a way of "augmented inventing." for inventors. Such patent claim generation leverages the recent transfer learning in the Deep Learning field, particularly the state-of-the-art Transformer-based models. In terms of system implementa-tion, it is planned to build an "auto-complete" function for patent claim drafting. The auto-complete function is analyzed from four different perspectives: extent of generation, generative direction, proximity of generation, and constraint in generation. Technically, the framework is composed of two Transformer models. One is for text generation and the other is for quality measurement. Specifically, the patent claim generation is based on GPT-2 model and the measurement of personalization is based on BERT model. The training data is inventor-centric and comes from the Inventors Endpoint API provided by the USPTO.


title: Future stellar flybys of the Voyager and Pioneer spacecraft

abstract: The Pioneer 10 and 11 and Voyager 1 and 2 spacecraft, launched in the 1970s, are heading out of the solar system. Using the astrometric and radial velocity data from the second Gaia data release, we integrate the trajectories of 7.4 million stars, and the spacecraft, through a Galactic potential in order to identify those stars the spacecraft will pass closest to. The closest encounters for all spacecraft take place at separations between 0.2 and 0.5 pc within the next million years. The closest encounter will be by Pioneer 10 with the K8 dwarf HIP 117795, at 0.23 pc in 90 kyr at a high relative velocity of 291 km/s.

categories: astro-ph.EP astro-ph.GA astro-ph.SR physics.space-ph


title: Direct Measurement of Force Configurational Entropy in Jamming

abstract: Thermal fluctuations are not large enough to lead to state changes in granular materials. However, such materials do achieve reproducible bulk properties, suggesting that they are controlled by an underlying statistical mechanics analogous to thermodynamics. We make this connection concrete by providing a first principles derivation of the multiplicity and thus the entropy of the force networks of such granular packings. We directly measure the multiplicity of force networks using a newly proposed protocol based on the phase space volume of allowed force configurations. Analogous to Planck's constant, we find a scale factor, $h_f$, that discretizes this phase space volume into a multiplicity. To determine this constant, we measure angoricity over a wide range of pressures using the method of overlapping histograms. By combining these measurements, we concretely link thermodynamic approaches of angoricity with the microscopic multiplicity of the Force Network Ensemble.


title: Algebraic representation of L-valued continuous lattices via the open filter monad

abstract: With a complete Heyting algebra $L$ as the truth value table, we prove that the collections of open filters of stratified $L$-valued topological spaces form a monad. By means of $L$-Scott topology and the specialization $L$-order, we get that the algebras of open filter monad are precisely $L$-continuous lattices.


title: Programming Scalable Cloud Services with AEON

abstract: Designing low-latency cloud-based applications that are adaptable to unpredictable workloads and efficiently utilize modern cloud computing platforms is hard. The actor model is a popular paradigm that can be used to develop distributed applications: actors encapsulate state and communicate with each other by sending events. Consistency is guaranteed if each event only accesses a single actor, thus eliminating potential data races and deadlocks. However it is nontrivial to provide consistency for concurrent events spanning across multiple actors. This paper addresses this problem by introducing AEON: a framework that provides the following properties: (i) Programmability: programmers only need to reason about sequential semantics when reasoning about concurrency resulting from multi-actor events; (ii) Scalability: AEON runtime protocol guarantees serializable and starvation-free execution of multi-actor events, while maximizing parallel execution; (iii) Elasticity: AEON supports fine-grained elasticity enabling the programmer to transparently migrate individual actors without violating the consistency or entailing significant performance overheads. Our empirical results show that it is possible to combine the best of all the above three worlds without compromising on the application performance.


title: Generalized Data Placement Strategies for Racetrack Memories

abstract: Ultra-dense non-volatile racetrack memories (RTMs) have been investigated at various levels in the memory hierarchy for improved performance and reduced energy consumption. However, the innate shift operations in RTMs hinder their applicability to replace low-latency on-chip memories. Recent research has demonstrated that intelligent placement of memory objects in RTMs can significantly reduce the amount of shifts with no hardware overhead, albeit for specific system setups. However, existing placement strategies may lead to sub-optimal performance when applied to different architectures. In this paper we look at generalized data placement mechanisms that improve upon existing ones by taking into account the underlying memory architecture and the timing and liveliness information of memory objects. We propose a novel heuristic and a formulation using genetic algorithms that optimize key performance parameters. We show that, on average, our generalized approach improves the number of shifts, performance and energy consumption by 4.3x, 46% and 55% respectively compared to the state-of-the-art.


title: Preformed Cooper pairs in layered FeSe-based superconductors

abstract: Superconductivity arises from two distinct quantum phenomena: electron pairing and long-range phase coherence. In conventional superconductors, the two quantum phenomena generally take place simultaneously, while the electron pairing occurs at higher temperature than the long-range phase coherence in the underdoped high-Tc cuprate superconductors. Recently, whether electron pairing is also prior to long-range phase coherence in single-layer FeSe film on SrTiO3 substrate is under debate. Here, by measuring Knight shift and nuclear spin-lattice relaxation rate, we unambiguously reveal a pseudogap behavior below Tp ~ 60 K in two layered FeSe-based superconductors with quasi-two-dimension. In the pseudogap regime, a weak diamagnetic signal and a remarkable Nernst effect are also observed, which indicate that the observed pseudogap behavior is related to superconducting fluctuations. These works confirm that strong phase fluctuation is an important character in the two-dimensional iron-based superconductors as widely observed in high-Tc cuprate superconductors.


title: Driving Style Encoder: Situational Reward Adaptation for General-Purpose Planning in Automated Driving

abstract: General-purpose planning algorithms for automated driving combine mission, behavior, and local motion planning. Such planning algorithms map features of the environment and driving kinematics into complex reward functions. To achieve this, planning experts often rely on linear reward functions. The specification and tuning of these reward functions is a tedious process and requires significant experience. Moreover, a manually designed linear reward function does not generalize across different driving situations. In this work, we propose a deep learning approach based on inverse reinforcement learning that generates situation-dependent reward functions. Our neural network provides a mapping between features and actions of sampled driving policies of a model-predictive control-based planner and predicts reward functions for upcoming planning cycles. In our evaluation, we compare the driving style of reward functions predicted by our deep network against clustered and linear reward functions. Our proposed deep learning approach outperforms clustered linear reward functions and is at par with linear reward functions with a-priori knowledge about the situation.


title: Periodic words, common subsequences and frogs

abstract: Let $W^{(n)}$ be the $n$-letter word obtained by repeating a fixed word $W$, and let $R_n$ be a random $n$-letter word over the same alphabet. We show several results about the length of the longest common subsequence (LCS) between $W^{(n)}$ and $R_n$; in particular, we show that its expectation is $\gamma_W n-O(\sqrt{n})$ for an efficiently-computable constant $\gamma_W$. This is done by relating the problem to a new interacting particle system, which we dub "frog dynamics". In this system, the particles (`frogs') hop over one another in the order given by their labels. Stripped of the labeling, the frog dynamics reduces to a variant of the PushTASEP. In the special case when all symbols of $W$ are distinct, we obtain an explicit formula for the constant $\gamma_W$ and a closed-form expression for the stationary distribution of the associated frog dynamics. In addition, we propose new conjectures about the asymptotic of the LCS of a pair of random words. These conjectures are informed by computer experiments using a new heuristic algorithm to compute the LCS. Through our computations, we found periodic words that are more random-like than a random word, as measured by the LCS.


title: Improving Heavy Dijet Resonance Searches Using Jet Substructure at the LHC

abstract: The search for new physics at high energy accelerators has been at the crossroads with very little hint of signals suggesting otherwise. The challenges at a hadronic machine such as the LHC is compounded by the fact that final states are swamped with jets which one needs to understand and unravel. A positive step in this direction would be to separate the jets in terms of their gluonic and quark identities, much in a similar spirit of distinguishing heavy quark jets from light quark jets that has helped in improving searches for both neutral and charged Higgs bosons at the LHC. In this work, we utilise this information using the jet substructure techniques to comment on possible improvements in sensitivity as well as discrimination of new resonances in the all hadronic mode that would be crucial in pinning down new physics signals at HL-LHC, HE-LHC and any future 100 TeV hadron collider.


title: Adams-Moser-Trudinger inequality in the cartesian product of Sobolev spaces and its applications

abstract: The main aim of this article is to study non-singular version of Moser-Trudinger and Adams-Moser-Trudinger inequalities and the singular version of Moser-Trudinger equality in the Cartesian product of Sobolev spaces. As an application of these inequalities, we study a system of Kirchhoff equations with exponential non-linearity of Choquard type.


title: From Reinforcement Learning to Optimal Control: A unified framework for sequential decisions

abstract: There are over 15 distinct communities that work in the general area of sequential decisions and information, often referred to as decisions under uncertainty or stochastic optimization. We focus on two of the most important fields: stochastic optimal control, with its roots in deterministic optimal control, and reinforcement learning, with its roots in Markov decision processes. Building on prior work, we describe a unified framework that covers all 15 different communities, and note the strong parallels with the modeling framework of stochastic optimal control. By contrast, we make the case that the modeling framework of reinforcement learning, inherited from discrete Markov decision processes, is quite limited. Our framework (and that of stochastic control) is based on the core problem of optimizing over policies. We describe four classes of policies that we claim are universal, and show that each of these two fields have, in their own way, evolved to include examples of each of these four classes.


title: M-IHS: An Accelerated Randomized Preconditioning Method Avoiding Costly Matrix Decompositions

abstract: Momentum Iterative Hessian Sketch (M-IHS) techniques, a group of solvers for large scale regularized linear Least Squares (LS) problems, are proposed and analyzed in detail. Proposed M-IHS techniques are obtained by incorporating the Heavy Ball Acceleration into the Iterative Hessian Sketch algorithm and they provide significant improvements over the randomized preconditioning techniques. By using approximate solvers along with the iterations, the proposed techniques are capable of avoiding all matrix decompositions and inversions, which is one of the main advantages over the alternative solvers such as the Blendenpik and the LSRN. Similar to the Chebyshev semi-iterations, the M-IHS variants do not use any inner products and eliminate the corresponding synchronization steps in hierarchical or distributed memory systems, yet the M-IHS converges faster than the Chebyshev Semi-iteration based solvers. Lower bounds on the required sketch size for various randomized distributions are established through the error analyses. Unlike the previously proposed approaches to produce a solution approximation, the proposed M-IHS techniques can use sketch sizes that are proportional to the statistical dimension which is always smaller than the rank of the coefficient matrix. The relative computational saving gets more significant as the regularization parameter or the singular value decay rate of the coefficient matrix increase.


title: On the kernel of the projection map $T(V)\to S(V)$

abstract: If $V$ is a vector space over a field $F$, then we consider the projection from the tensor algebra to the symmetric algebra, $\rho_{T,S}:T(V)\to S(V)$. Our main result, in $\S$1, gives a description of $\ker\rho_{T,S}$. Explicitly, we consider the ${\mathbb Z}_{\geq 2}$-graded $T(V)$-bimodule $T(V)\otimes\Lambda^2(V)\otimes T(V)$ and we define $M(V)=(T(V)\otimes\Lambda^2(V)\otimes T(V))/W_M(V)$, where $W_M(V)$ is the subbimodule of $T(V)\otimes\Lambda^2(V)\otimes T(V)$ generated by $[x,y]\otimes\xi\otimes z\wedge t-x\wedge y\otimes\xi\otimes [z,t]$, with $x,y,z,t\in V$ and $\xi\in T(V)$. $[x,y\wedge z]+[y,z\wedge x]+[z,x\wedge y]$, with $x,y,z\in V$. (If $\eta\in T(V)$ and $\xi\in T(V)\otimes\Lambda^2(V)\otimes T(V)$ (or vice-versa) then $[\eta,\xi ]:=\eta\otimes\xi -\xi\otimes\eta\in T(V)\otimes\Lambda^2(V)\otimes T(V)$.) Then $M(V)$ is a ${\mathbb Z}_{\geq 2}$-graded $T(V)$-bimodule. If $\eta\in T(V)\otimes\Lambda^2(V)\otimes T(V)$ the we denote by $[\eta ]$ its class in $M(V)$. ${\bf Theorem}$ We have an exact sequence $$0\to M(V)\xrightarrow{\rho_{M,T}}T(V)\xrightarrow{\rho_{T,S}}S(V)\to 0,$$ where $\rho_{M,T}$ is given by $[\eta\otimes x\wedge y\otimes \xi ]\mapsto\eta\otimes [x,y]\otimes\xi$ $\forall x,y\in V$, $\eta,\xi\in T(V)$. In $\S$2 we define the graded algebra $S'(V)=T(V)/W_{S'}(V)$, where $S'(V)\subseteq T(V)$ is the ideal generated by $x\otimes y\otimes z- y\otimes z\otimes x$, $x,y,z\in V$, and we prove that there is a n exact sequence $$0\to\Lambda^{\geq 2}(V)\xrightarrow{\rho_{\Lambda^{\geq 2},S'}}S'(V)\xrightarrow{\rho_{S',S}}S(V)\to 0.$$ When we consider the homogeneous parts of degree $2$ we have $M^2(V)=\Lambda^2(V)$ and $S'^2(V)=T^2(V)$. Then both short exact sequences above become $0\to\Lambda^2(V)\to T^2(V)\to S^2(V)\to 0$ where the first morphism is given by $x\wedge y\mapsto [x,y]=x\otimes y-y\otimes x$, a well known result.


title: Performance of the reconstruction and identification of high-momentum muons in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: The CMS detector at the LHC has recorded events from proton-proton collisions, with muon momenta reaching up to 1.8 TeV in the collected dimuon samples. These high-momentum muons allow direct access to new regimes in physics beyond the standard model. Because the physics and reconstruction of these muons are different from those of their lower-momentum counterparts, this paper presents for the first time dedicated studies of efficiencies, momentum assignment, resolution, scale, and showering of very high momentum muons produced at the LHC. These studies are performed using the 2016 and 2017 data sets of proton-proton collisions at $\sqrt{s} =$ 13 TeV with integrated luminosities of 36.3 and 42.1 fb$^{-1}$, respectively.


title: No-Regret Exploration in Goal-Oriented Reinforcement Learning

abstract: Many popular reinforcement learning problems (e.g., navigation in a maze, some Atari games, mountain car) are instances of the episodic setting under its stochastic shortest path (SSP) formulation, where an agent has to achieve a goal state while minimizing the cumulative cost. Despite the popularity of this setting, the exploration-exploitation dilemma has been sparsely studied in general SSP problems, with most of the theoretical literature focusing on different problems (i.e., fixed-horizon and infinite-horizon) or making the restrictive loop-free SSP assumption (i.e., no state can be visited twice during an episode). In this paper, we study the general SSP problem with no assumption on its dynamics (some policies may actually never reach the goal). We introduce UC-SSP, the first no-regret algorithm in this setting, and prove a regret bound scaling as $\displaystyle \widetilde{\mathcal{O}}( D S \sqrt{ A D K})$ after $K$ episodes for any unknown SSP with $S$ states, $A$ actions, positive costs and SSP-diameter $D$, defined as the smallest expected hitting time from any starting state to the goal. We achieve this result by crafting a novel stopping rule, such that UC-SSP may interrupt the current policy if it is taking too long to achieve the goal and switch to alternative policies that are designed to rapidly terminate the episode.


title: $1/\epsilon$ problem in resurgence

abstract: This paper considers the $1/\epsilon$ problem, which is the divergent behavior of the ground state energy of asymmetric potential in quantum mechanics, which is calculated with semi-classical expansion and resurgence technique. Using resolvent method, It is shown that including not only one complex bion but multi-complex bion and multi-bounce contributions solves this problem. This result indicates the importance of summing all possible saddle points contribution and also the relationship between exact WKB and path integral formalism.


title: A Note on Computation of Number of Fuzzy Bitopological Space

abstract: In this article we compute the number of fuzzy bitopological space with having two open sets, three open sets, four open sets and five open sets. Also, we have given some results on computation of number of fuzzy bitopological space.


title: Relative $L^p$-cohomology and Heintze groups

abstract: We introduce the notion of \textit{relative $L^p$-cohomology} as a quasi-isometry invariant defined for Gromov-hyperbolic spaces, and apply it to the problem of quasi-isometry classification of Heintze groups. More precisely, we explicitly construct non-zero relative $L^p$-cohomology classes on a Heintze group of the form $\mathbb{R}^{n-1}\rtimes_\alpha\mathbb{R}$, which gives a way to prove that the eigenvalues of $\alpha$, up to a scalar multiple, are invariant by quasi-isometries. In the case of degree $1$ we show a relation between the relative and the classical $L^p$-cohomology.


title: Collective Thomson scattering diagnostic for the GDT experiment

abstract: In this paper, we propose a collective Thomson scattering diagnostic for fast ion measurements for the gas-dynamic trap (GDT) facility at the Budker Institute. The diagnostic utilizes 54.5 GHz gyrotron usually used for electron cyclotron resonance heating as a source of probe radiation and is aimed at reconstruction of distributions over transverse and longitudinal velocities of NBI-driven ions in the plasma core. Here we present a feasibility study of this concept.


title: Conversion and storage of modes with orbital angular momentum in quantum memory scheme

abstract: The paper studies the Raman quantum memory protocol as applied to quantum light with orbital angular momentum. The memory protocol is implemented on an ensemble of three-level cold atoms with the $\Lambda$- configuration of energy levels. The possibility of storing quantum statistics of light with an orbital momentum is analysed in the case when the driving field could be treated as a plane wave. The efficiency analysis shows that examined storage/retrieval processes do not cause the efficiency decreasing compared with the spatial multimode memory protocol considered in [Golubeva et al. 2012]]. We also present an effective transformation of the orbital angular momentum of a quantum field on a memory cell using the driving field with orbital angular momentum.


title: BoPF: Mitigating the Burstiness-Fairness Tradeoff in Multi-Resource Clusters

abstract: Simultaneously supporting latency- and throughout-sensitive workloads in a shared environment is an increasingly more common challenge in big data clusters. Despite many advances, existing cluster schedulers force the same performance goal - fairness in most cases - on all jobs. Latency-sensitive jobs suffer, while throughput-sensitive ones thrive. Using prioritization does the opposite: it opens up a path for latency-sensitive jobs to dominate. In this paper, we tackle the challenges in supporting both short-term performance and long-term fairness simultaneously with high resource utilization by proposing Bounded Priority Fairness (BoPF). BoPF provides short-term resource guarantees to latency-sensitive jobs and maintains long-term fairness for throughput-sensitive jobs. BoPF is the first scheduler that can provide long-term fairness, burst guarantee, and Pareto efficiency in a strategyproof manner for multi-resource scheduling. Deployments and large-scale simulations show that BoPF closely approximates the performance of Strict Priority as well as the fairness characteristics of DRF. In deployments, BoPF speeds up latency-sensitive jobs by 5.38 times compared to DRF, while still maintaining long-term fairness. In the meantime, BoPF improves the average completion times of throughput-sensitive jobs by up to 3.05 times compared to Strict Priority.


title: Mechanical rotation via optical pumping of paramagnetic impurities

abstract: Hybrid quantum systems exhibiting coupled optical, spin, and mechanical degrees of freedom can serve as a platform for sensing, or as a bus to mediate interactions between qubits with disparate energy scales. These systems are also creating opportunities to test foundational ideas in quantum mechanics, including direct observations of the quantum regime in macroscopic objects. Here, we make use of angular momentum conservation to study the dynamics of a pair of paramagnetic centers featuring different spin numbers in the presence of a properly tuned external magnetic field. We examine the interplay between optical excitation, spin evolution, and mechanical motion, and theoretically show that in the presence of continuous optical illumination, inter-spin cross-relaxation must induce rigid rotation of the host crystal. The system dynamics is robust to scattering of spin-polarized phonons, a result we build on to show this form of angular momentum transfer should be observable using state-of-the-art torsional oscillators or trapped nanoparticles.


title: Mid-infrared frequency comb with 6.7 W average power based on difference frequency generation

abstract: We report on the development of a high-power mid-infrared frequency comb with 100 MHz repetition rate and 100 fs pulse duration. Difference frequency generation is realized between two branches derived from an Er:fiber comb, amplified separately in Yb:fiber and Er:fiber amplifiers. Average powers of 6.7 W and 14.9 W are generated in the 2.9 $\mu$m idler and 1.6 $\mu$m signal, respectively. With high average power, excellent beam quality, and passive carrier-envelope phase stabilization, this light source is a promising platform for generating broadband frequency combs in the far infrared, visible, and deep ultraviolet.


title: Flattened Exponential Histogram for Sliding Window Queries over Data Streams

abstract: The Basic Counting problem [1] is one of the most fundamental and critical streaming problems of sliding window queries over data streams. Given a stream of 0's and 1's, the purpose of this problem is to estimate the number of 1's in the last N elements (or time units) seen from the stream. Its solution can be used as building blocks to solve numerous more complex problems such as heavy hitter, frequency estimation, distinct counting, etc. In this paper, we present the flattened exponential histogram (FEH) model for the Basic Counting problem. Our model improves over the exponential histogram [1], [2], a well-received deterministic technique for Basic Counting problem, with respect to accuracy and memory utilization most of the time in practice. Extensive experimental results on real-world datasets show that with the same memory footprint, the accuracy of our model is between 4 to 15 and on average 7 times better than that of the exponential histogram, while the speed is roughly the same.


title: Dances between continuous and discrete: Euler's summation formula

abstract: Leonhard Euler likely developed his summation formula in 1732, and soon used it to estimate the sum of the reciprocal squares to 14 digits --- a value mathematicians had been competing to determine since Leibniz's astonishing discovery that the alternating sum of the reciprocal odd numbers is exactly $\pi /4$. This competition came to be known as the Basel Problem, and Euler's approximation probably spurred his spectacular solution in the same year. Subsequently he connected his summation formula to Bernoulli numbers, and applied it to many other topics, masterfully circumventing that it almost always diverges. He applied it to estimate harmonic series partial sums, the gamma constant, and sums of logarithms, thereby calculating large factorials (Stirling's series) with ease. He even commented that his approximation of $ \pi $ was surprisingly accurate for so little work. All this is beautifully presented in mature form in Euler's book Institutiones Calculi Differentialis. I have translated extensive selections for annotated publication as teaching source material in a book Mathematics Masterpieces; Further Chronicles by the Explorers, featuring original sources. I will summarize and illustrate Euler's achievements, including the connection to the search for formulas for sums of numerical powers. I will show in his own words Euler's idea for deriving his summation formula, and how he applied the formula to the sum of reciprocal squares and other situations, e.g., large factorials and binomial coefficients. Finally, I will discuss further mathematical questions, e.g., approximation of factorials, arising from Euler's writings.


title: Tighter Confidence Intervals for Rating Systems

abstract: Rating systems are ubiquitous, with applications ranging from product recommendation to teaching evaluations. Confidence intervals for functionals of rating data such as empirical means or quantiles are critical to decision-making in various applications including recommendation/ranking algorithms. Confidence intervals derived from standard Hoeffding and Bernstein bounds can be quite loose, especially in small sample regimes, since these bounds do not exploit the geometric structure of the probability simplex. We propose a new approach to deriving confidence intervals that are tailored to the geometry associated with multi-star/value rating systems using a combination of techniques from information theory, including Kullback-Leibler, Sanov, and Csisz{\'a}r inequalities. The new confidence intervals are almost always as good or better than all standard methods and are significantly tighter in many situations. The standard bounds can require several times more samples than our new bounds to achieve specified confidence interval widths.


title: Tensor network renormalization group study of spin-1 random Heisenberg chains

abstract: We use a tensor network strong-disorder renormalization group (tSDRG) method to study spin-1 random Heisenberg antiferromagnetic chains. The ground state of the clean spin-1 Heisenberg chain with uniform nearest-neighbor couplings is a gapped phase known as the Haldane phase. Here we consider disordered chains with random couplings, in which the Haldane gap closes in the strong disorder regime. As the randomness strength is increased further and exceeds a certain threshold, the random chain undergoes a phase transition to a critical random-singlet phase. The strong-disorder renormalization group method formulated in terms of a tree tensor network provides an efficient tool for exploring ground-state properties of disordered quantum many-body systems. Using this method we detect the quantum critical point between the gapless Haldane phase and the random-singlet phase via the disorder-averaged string order parameter. We determine the critical exponents related to the average string order parameter, the average end-to-end correlation function and the average bulk spin-spin correlation function, both at the critical point and in the random-singlet phase. Furthermore, we study energy-length scaling properties through the distribution of energy gaps for a finite chain. Our results are in closer agreement with the theoretical predictions than what was found in previous numerical studies. As a benchmark, a comparison between tSDRG results for the average spin correlations of the spin-1/2 random Heisenberg chain with those obtained by using unbiased zero-temperature QMC method is also provided.


title: Optical variability modeling of newly identified blazar candidates behind Magellanic Clouds

abstract: We present an optical variability study of 44 newly identified blazar candidates behind the Magellanic Clouds, including 27 flat spectrum radio quasars (FSRQs) and 17 BL Lacertae objects (BL Lacs). All objects in the sample possess high photometric accuracy and irregularly sampled optical light curves (LCs) in I filter from the long-term monitoring conducted by the Optical Gravitational Lensing Experiment. We investigated the variability properties to look for blazar-like characteristics and to analyze the long-term behaviour. We analyzed the LCs with the Lomb-Scargle periodogram to construct power spectral densities (PSDs), found breaks for several objects, and linked them with accretion disk properties. In this way we constrained the black hole (BH) masses of 18 FSRQs to lie within the range $8.18\leq\log (M_{\rm BH}/M_\odot)\leq 10.84$, assuming a wide range of possible BH spins. By estimating the bolometric luminosities, we applied the fundamental plane of active galactic nuclei variability as an independent estimate, resulting in $8.4\leq\log (M_{\rm BH}/M_\odot)\leq 9.6$, with a mean error of 0.3. Many of the objects have very steep PSDs, with high frequency spectral index in the range $3-7$. An alternative attempt to classify the LCs was made using the Hurst exponent, $H$, and the $\mathcal{A}-\mathcal{T}$ plane. Two FSRQs and four BL Lacs yielded $H>0.5$, indicating presence of long-term memory in the underlying process governing the variability. Additionally, two FSRQs with exceptional PSDs, stand out also in the $\mathcal{A}-\mathcal{T}$ plane.


title: How to Distribute Computation in Networks

abstract: In network function computation is as a means to reduce the required communication flow in terms of number of bits transmitted per source symbol. However, the rate region for the function computation problem in general topologies is an open problem, and has only been considered under certain restrictive assumptions (e.g. tree networks, linear functions, etc.). In this paper, we propose a new perspective for distributing computation, and formulate a flow-based delay cost minimization problem that jointly captures the costs of communications and computation. We introduce the notion of entropic surjectivity as a measure to determine how sparse the function is and to understand the limits of computation. Exploiting Little's law for stationary systems, we provide a connection between this new notion and the computation processing factor that reflects the proportion of flow that requires communications. This connection gives us an understanding of how much a node (in isolation) should compute to communicate the desired function within the network without putting any assumptions on the topology. Our analysis characterizes the functions only via their entropic surjectivity, and provides insight into how to distribute computation. We numerically test our technique for search, MapReduce, and classification tasks, and infer for each task how sensitive the processing factor to the entropic surjectivity is.


title: Sobolev embeddings, rearrangement-invariant spaces and Frostman measures

abstract: Sobolev embeddings, of arbitrary order, are considered into function spaces on domains of $\mathbb R^n$ endowed with measures whose decay on balls is dominated by a power $d$ of their radius. Norms in arbitrary rearrangement-invariant spaces are contemplated. A comprehensive approach is proposed based on the reduction of the relevant $n$-dimensional embeddings to one-dimensional Hardy-type inequalities. Interestingly, the latter inequalities depend on the involved measure only through the power $d$. Our results allow for the detection of the optimal target space in Sobolev embeddings, for broad families of norms, in situations where customary techniques do not apply. In particular, new embeddings, with augmented target spaces, are deduced even for standard Sobolev spaces.


title: Geometric description of Virtual Schottky groups

abstract: A virtual Schottky group is a Kleinian group $K$ containing a Schottky group $G$ as a finite index normal subgroup. These groups correspond to those groups of automorphisms of closed Riemann surfaces which can be realized at the level of their Schottky uniformizations. In this paper we provides a geometrical structural decomposition of $K$ in the particular case when $K/G$ is an abelian group.


title: Generalized localization for spherical partial sums of the multiple Fourier series and integrals

abstract: It is well known, that Luzin's conjecture has a positive solution for one dimensional trigonometric Fourier series and it is still open for the spherical partial sums $S_\lambda f(x)$, $f\in L_2(\mathbb{T}^N)$, of multiple Fourier series, while it has the solution for square and rectangular partial sums. Historically progress with solving Luzin's conjecture has been made by considering easier problems. One of such easier problems for $S_\lambda f(x)$ was suggested by V. A. Il'in in 1968 and this problem is called the generalized localization principle. In this paper we first give a short survey on convergence almost-everywhere of Fourier series and on generalized localization of Fourier integrals, then present a positive solution for the generalized localization problem for $S_\lambda f(x)$.


title: Phase Portraits as Movement Primitives for Fast Humanoid Robot Control

abstract: Currently, usual approaches for fast robot control are largely reliant on solving online optimal control problems. Such methods are known to be computationally intensive and sensitive to model accuracy. On the other hand, animals plan complex motor actions not only fast but seemingly with little effort even on unseen tasks. This natural sense to infer temporal dynamics and coordination motivates us to approach robot control from a motor skill learning perspective to design fast and computationally light controllers that can be learned autonomously by the robot under mild modeling assumptions. This article introduces Phase Portrait Movement Primitives (PPMP), a primitive that predicts dynamics on a low dimensional phase space which in turn is used to govern the high dimensional kinematics of the task. The stark difference with other primitive formulations is a built-in mechanism for phase prediction in the form of coupled oscillators that replaces model-based state estimators such as Kalman filters. The policy is trained by optimizing the parameters of the oscillators whose output is connected to a kinematic distribution in the form of a phase portrait. The drastic reduction in dimensionality allows us to efficiently train and execute PPMPs on a real human-sized, dual-arm humanoid upper body on a task involving 20 degrees-of-freedom. We demonstrate PPMPs in interactions requiring fast reactions times while generating anticipative pose adaptation in both discrete and cyclic tasks.


title: Reverse decomposition of unipotents over noncommutative rings I: General linear groups

abstract: Recently is has been proved that if $\sigma\in GL_n(R)$ where $R$ is an commutative ring and $n\geq 3$, then each of the elementary transvections $t_{kl}(\sigma_{ij})~(i\neq j,k\neq l)$ is a product of eight $E_n(R)$-conjugates of $\sigma$ and $\sigma^{-1}$. In this article we show that similar results hold true if $R$ is a (noncommutative) von Neumann regular ring, or a Banach algebra, or a ring satisfying a stable range condition, or a ring with Euclidean algorithm, or an almost commutative ring.


title: Automatic Calculation of Resolution in Lateral Cephalogram Based on Scale Mark Detection

abstract: Cephalometric analysis is an important tool for orthodontic diagnosis. At present, most cephalometric analysis is performed with the help of image processing techniques. Hence, the resolution between millimeter and pixel is needed with high accuracy. In cephalometric analysis, a scale is placed in front of patient's head when taking the radiograph. This study aims to develop an algorithm to recognize the scale in cephalogram, locate the scale mark and calculate the pixel-millimeter-ratio. First, a ROI is detected and cropped based on regression tree voting. Second, an algorithm is employed in ROI to detect the corner points of the scale and rotate the scale to perfectly vertical direction. Finally, a pixel tracing algorithm is employed to locate the first and the last scale mark in order to calculate the pixel length of the calibration. A novel method is proposed to adaptively assign the size and orientation of the image patches described by the SIFT vectors to ensure invariance of scale and rotation of images. The algorithm is robust to interference including tags, stickers and stain. A dataset consisting 163 cephalograms is tested and the algorithm performs a 100% Success Detection Rate within the precision range of 1.0mm.


title: Context R-CNN: Long Term Temporal Context for Per-Camera Object Detection

abstract: In static monitoring cameras, useful contextual information can stretch far beyond the few seconds typical video understanding models might see: subjects may exhibit similar behavior over multiple days, and background objects remain static. Due to power and storage constraints, sampling frequencies are low, often no faster than one frame per second, and sometimes are irregular due to the use of a motion trigger. In order to perform well in this setting, models must be robust to irregular sampling rates. In this paper we propose a method that leverages temporal context from the unlabeled frames of a novel camera to improve performance at that camera. Specifically, we propose an attention-based approach that allows our model, Context R-CNN, to index into a long term memory bank constructed on a per-camera basis and aggregate contextual features from other frames to boost object detection performance on the current frame. We apply Context R-CNN to two settings: (1) species detection using camera traps, and (2) vehicle detection in traffic cameras, showing in both settings that Context R-CNN leads to performance gains over strong baselines. Moreover, we show that increasing the contextual time horizon leads to improved results. When applied to camera trap data from the Snapshot Serengeti dataset, Context R-CNN with context from up to a month of images outperforms a single-frame baseline by 17.9% mAP, and outperforms S3D (a 3d convolution based baseline) by 11.2% mAP.


title: Feature Augmentation Improves Anomalous Change Detection for Human Activity Identification in Synthetic Aperture Radar Imagery

abstract: Anomalous change detection (ACD) methods separate common, uninteresting changes from rare, significant changes in co-registered images collected at different points in time. In this paper we evaluate methods to improve the performance of ACD in detecting human activity in SAR imagery using outdoor music festivals as a target. Our results show that the low dimensionality of SAR data leads to poor performance of ACD when compared to simpler methods such as image differencing, but augmenting the dimensionality of our input feature space by incorporating local spatial information leads to enhanced performance.


title: Extended Projection Method for Massive Fermion

abstract: Tensor reduction is important for multi-loop amplitude calculation. And the projection method is one of the most popular approaches for tensor reduction. However, projection method could be problematic for amplitude with massive fermions due to the inconsistency between helicity and chirality. We propose an approach to extend the projection method to reduce the loop amplitude containing fermion chain with two massive spinors. The extension is achieved by decomposing one of the massive spinors into two specific massless spinors, "null spinor" and "reference spinor". Then the extended projection method can be safely implemented for all the processes including the production of massive fermions. Finally we present the tensor reduction for the virtual Z boson decaying to top-quark pair to demonstrate our approach.


title: Anisotropic estimates of subelliptic type

abstract: We discuss some estimates of subelliptic type related with vector fields satisfying the H\"ormander condition. Our approach makes use of a class of approximate exponentials maps. Such kind of estimates arises naturally in the study of regularity theory of weak solutions of degenerate elliptic equations.


title: Carath\'eodory functions on Riemann surfaces and reproducing kernel spaces

abstract: Carath\'eodory functions, i.e. functions analytic in the open upper half-plane and with a positive real part there, play an important role in operator theory, $1D$ system theory and in the study of de Branges-Rovnyak spaces. The Herglotz integral representation theorem associates to each Carath\'eodory function a positive measure on the real line and hence allows to further examine these subjects. In this paper, we study these relations when the Riemann sphere is replaced by a real compact Riemann surface. The generalization of Herglotz's theorem to the compact real Riemann surface setting is presented. Furthermore, we study de Branges-Rovnyak spaces associated with functions with positive real-part defined on compact Riemann surfaces. Their elements are not anymore functions, but sections of a related line bundle.


title: Supersonic turbulence in Giant HII Regions: clues from 30 Doradus

abstract: The tight correlation between turbulence and luminosity in Giant HII Regions is not well understood. While the luminosity is due to the UV radiation from the massive stars in the ionizing clusters, it is not clear what powers the turbulence. Observations of the two prototypical Giant HII Regions in the local Universe, 30 Doradus and NGC604, show that part of the kinetic energy of the nebular gas comes from the combined stellar winds of the most massive stars - the cluster winds, but not all. We present a study of the kinematics of 30 Doradus based on archival VLT FLAMES/GIRAFFE data and new high resolution observations with HARPS. We find that the nebular structure and kinematics are shaped by a hot cluster wind and not by the stellar winds of individual stars. The cluster wind powers most of the turbulence of the nebular gas, with a small but significant contribution from the combined gravitational potential of stars and gas. We estimate the total mass of 30 Doradus and we argue that the region does not contain significant amounts of neutral (HI) gas, and that the giant molecular cloud 30Dor-10 that is close to the center of the nebula in projection is in fact an inflating cloud tens of parsecs away from R136, the core of the ionizing cluster. We rule out a Kolmogorov-like turbulent kinetic energy cascade as the source of supersonic turbulence in Giant HII Regions.


title: Greed Works: An Improved Analysis of Sampling Kaczmarz-Motzkin

abstract: Stochastic iterative algorithms have gained recent interest in machine learning and signal processing for solving large-scale systems of equations, $Ax=b$. One such example is the Randomized Kaczmarz (RK) algorithm, which acts only on single rows of the matrix $A$ at a time. While RK randomly selects a row of $A$ to work with, Motzkin's Method (MM) employs a greedy row selection. Connections between the two algorithms resulted in the Sampling Kaczmarz-Motzkin (SKM) algorithm which samples a random subset of $\beta$ rows of $A$ and then greedily selects the best row of the subset. Despite their variable computational costs, all three algorithms have been proven to have the same theoretical upper bound on the convergence rate. In this work, an improved analysis of the range of random (RK) to greedy (MM) methods is presented. This analysis improves upon previous known convergence bounds for SKM, capturing the benefit of partially greedy selection schemes. This work also further generalizes previous known results, removing the theoretical assumptions that $\beta$ must be fixed at every iteration and that $A$ must have normalized rows.


title: Substrate Dependent Resistive Switching in Amorphous-HfOx Memristors: An Experimental and Computational Investigation

abstract: While two-terminal HfOX (x<2) memristor devices have been studied for ion transport and current evolution, there have been limited reports on the effect of the long-range thermal environment on their performance. In this work, amorphous-HfOX based memristor devices on two different substrates, thin SiO2(280 nm)/Si and glass, with different thermal conductivities in the range from 1.2 to 138 W/m-K were fabricated. Devices on glass substrates exhibit lower reset voltage, wider memory window and, in turn, a higher performance window. In addition, the devices on glass show better endurance than the devices on the SiO2/Si substrate. These devices also show non-volatile multi-level resistances at relatively low operating voltages which is critical for neuromorphic computing applications. A Multiphysics COMSOL computational model is presented that describes the transport of heat, ions and electrons in these structures. The combined experimental and COMSOL simulation results indicate that the long-range thermal environment can have a significant impact on the operation of HfOx-based memristors and that substrates with low thermal conductivity can enhance switching performance.


title: Essential Finite Generation of Valuation Rings in Characteristic Zero Algebraic Function Fields

abstract: Let $K$ be a characteristic zero algebraic function field with a valuation $\nu$. Let $L$ be a finite extension of $K$ and $\omega$ be an extension of $\nu$ to $L$. We establish that the valuation ring $V_{\omega}$ of $\omega$ is essentially finitely generated over the valuation ring $V_{\nu}$ of $\nu$ if and only if the initial index $\epsilon(\omega|\nu)$ is equal to the ramification index $e(\omega|\nu)$ of the extension. This gives a positive answer, for characteristic zero algebraic function fields, to a question posed by Hagen Knaf.


title: Characterisation of Cosmic Ray Induced Noise Events in AstroSat-CZT Imager

abstract: The Cadmium Zinc Telluride (CZT) Imager onboard AstroSat, consists of pixelated CZT detectors, which are sensitive to hard X-rays above 20 keV. The individual pixels are triggered by ionising events occurring in them, and the detectors operate in a self-triggered mode, recording each event separately with information about its time of incidence, detector co-ordinates, and channel that scales with the amount of ionisation. The detectors are sensitive not only to photons from astrophysical sources of interest, but also prone to a number of other events like background X-rays, cosmic rays, and noise in detectors or the electronics. In this work a detailed analysis of the effect of cosmic rays on the detectors is made and it is found that cosmic rays can trigger multiple events which are closely packed in time (called 'bunches'). Higher energy cosmic rays, however, can also generate delayed emissions, a signature previously seen in the PICsIT detector on-board INTEGRAL. An algorithm to automatically detect them based on their spatial clustering properties is presented. Residual noise events are examined using examples of Gamma Ray Bursts as target sources.


title: Air entrainment and granular bubbles produced by an impinging jet of grains into water

abstract: A jet of water entering into a pool of the same liquid can generate air entrainment and form bubbles that rapidly raise to the surface and disintegrate. Here we report the equivalent phenomenon produced by a plunging dry granular jet, so far unexplored. For grains smaller than a critical size, the granular jet entering into the pool produces air entrainment that leads to bubbles formation. The bubbles formed are covered by a shell of grains attached to the bubble air-water interface due to capillary-induced cohesion. In contrast to classical air bubbles, these "granular bubbles" are stable over time because the granular shell prevents coalescence and keeps the air encapsulated either if the bubbles rise to the surface or sink to the bottom of the pool, which is determined by the competition of the buoyant force and the weight of the assembly. Experimentally, we show how the bubble size and volume of entrained air depend on the grain size, liquid properties and jet impact velocity.