title: Metallic Carbon Nanotube Quantum Dots with Broken Symmetries as a Platform for Tunable Terahertz Detection

abstract: Generating and detecting radiation in the technologically relevant range of the so-called terahertz gap ($0.1 - 10$ THz) is challenging because of a lack of efficient sources and detectors. Quantum dots in carbon nanotubes have shown great potential to build sensitive terahertz detectors usually based on photon-assisted tunnelling. A recently reported mechanism combining resonant quantum dot transitions and tunnelling barriers asymmetries results in a narrow linewidth photocurrent response with a large signal-to-noise ratio under weak THz radiation. That device was sensitive to one frequency, corresponding to transitions between equidistant quantized states. In this work we show, using numerical together with scanning tunnelling spectroscopy studies of a defect-induced metallic zigzag single-walled carbon nanotube quantum dot that simultaneously breaking various symmetries in metallic nanotube quantum dots of arbitrary chirality strongly relaxes the selection rules in the electric dipole approximation, and removes energy degeneracies. This leads to a richer set of allowed optical transitions spanning frequencies from 1 THz to several tens of THz, for a $\sim$10 nm quantum dot. Based on these findings, we propose a terahertz detector device based on a metallic single-walled carbon nanotube quantum dot defined by artificial defects. Depending on its length and contacts transparency, the operating regimes range from a high-resolution gate-tunable terahertz sensor to a broadband terahertz detector. Our calculations indicate that the device is largely unaffected by temperatures up to 100 K, making carbon nanotube quantum dots with broken symmetries a promising platform to design tunable terahertz detectors that could operate at liquid nitrogen temperatures.


title: A Methodology for Assessing the Environmental Effects Induced by ICT Services. Part II: Multiple Services and Companies

abstract: Information and communication technologies (ICT) can make existing products and activities more efficient or substitute them altogether and could thus become crucial for the mitigation of climate change. In this context, individual ICT companies, industry organizations and international initiatives have started to estimate the environmental effects of ICT services. Often such assessments rely on crude assumptions and methods, yielding inaccurate or even misleading results. The few existing methodological attempts are too general to provide guidance to practitioners. The starting points of this paper are i) a high level standard from the European Telecommunication Standardisation Institute (ETSI) and the International Telecommunication Union (ITU), and ii) its suggested enhancements for single service assessment outlined in "A Methodology for Assessing the Environmental Effects Induced by ICT Services Part I: Single services" (Part I in short). Building on the assessment of single services, the current article identifies and addresses shortcomings of existing methodologies and industry practices with regard to multiple services assessment. For a collection of services, it addresses the goal and scope definition, the so far ignored aggregation of effects among several services, and the allocation between several companies contributing to one or more services. The article finally brings these considerations together with those of Part I into a workflow for performing such assessments in practice.


title: Dipoles and streams in two-dimensional turbulence

abstract: Following the suggestion from the Monte--Carlo experiments in Jim\'enez, J. of Turbul. 2020), that dipoles are as important to the dynamics of decaying two-dimensional turbulence as individual vortex cores, it is found that the kinetic energy of this flow is carried by elongated streams formed by the concatenation of dipoles. Vortices separate into a family of small fast-moving cores, and another family of larger slowly moving ones, which can be described as `frozen' into a slowly evolving `crystal'. The kinematics of both families are very different, and only the former is self-similar. The latter is responsible for most of the kinetic energy of the flow, and its vortices form the dipoles and the streams. Mechanisms are discussed for the growth of this slow component.


title: Stochastic Gradient Descent in Hilbert Scales: Smoothness, Preconditioning and Earlier Stopping

abstract: Stochastic Gradient Descent (SGD) has become the method of choice for solving a broad range of machine learning problems. However, some of its learning properties are still not fully understood. We consider least squares learning in reproducing kernel Hilbert spaces (RKHSs) and extend the classical SGD analysis to a learning setting in Hilbert scales, including Sobolev spaces and Diffusion spaces on compact Riemannian manifolds. We show that even for well-specified models, violation of a traditional benchmark smoothness assumption has a tremendous effect on the learning rate. In addition, we show that for miss-specified models, preconditioning in an appropriate Hilbert scale helps to reduce the number of iterations, i.e. allowing for "earlier stopping".


title: Learning non-rigid surface reconstruction from spatio-temporal image patches

abstract: We present a method to reconstruct a dense spatio-temporal depth map of a non-rigidly deformable object directly from a video sequence. The estimation of depth is performed locally on spatio-temporal patches of the video, and then the full depth video of the entire shape is recovered by combining them together. Since the geometric complexity of a local spatio-temporal patch of a deforming non-rigid object is often simple enough to be faithfully represented with a parametric model, we artificially generate a database of small deforming rectangular meshes rendered with different material properties and light conditions, along with their corresponding depth videos, and use such data to train a convolutional neural network. We tested our method on both synthetic and Kinect data and experimentally observed that the reconstruction error is significantly lower than the one obtained using other approaches like conventional non-rigid structure from motion.


title: SenWave: Monitoring the Global Sentiments under the COVID-19 Pandemic

abstract: Since the first alert launched by the World Health Organization (5 January, 2020), COVID-19 has been spreading out to over 180 countries and territories. As of June 18, 2020, in total, there are now over 8,400,000 cases and over 450,000 related deaths. This causes massive losses in the economy and jobs globally and confining about 58% of the global population. In this paper, we introduce SenWave, a novel sentimental analysis work using 105+ million collected tweets and Weibo messages to evaluate the global rise and falls of sentiments during the COVID-19 pandemic. To make a fine-grained analysis on the feeling when we face this global health crisis, we annotate 10K tweets in English and 10K tweets in Arabic in 10 categories, including optimistic, thankful, empathetic, pessimistic, anxious, sad, annoyed, denial, official report, and joking. We then utilize an integrated transformer framework, called simpletransformer, to conduct multi-label sentimental classification by fine-tuning the pre-trained language model on the labeled data. Meanwhile, in order for a more complete analysis, we also translate the annotated English tweets into different languages (Spanish, Italian, and French) to generated training data for building sentiment analysis models for these languages. SenWave thus reveals the sentiment of global conversation in six different languages on COVID-19 (covering English, Spanish, French, Italian, Arabic and Chinese), followed the spread of the epidemic. The conversation showed a remarkably similar pattern of rapid rise and slow decline over time across all nations, as well as on special topics like the herd immunity strategies, to which the global conversation reacts strongly negatively. Overall, SenWave shows that optimistic and positive sentiments increased over time, foretelling a desire to seek, together, a reset for an improved COVID-19 world.


title: SSHealth: Toward Secure, Blockchain-Enabled Healthcare Systems

abstract: The future of healthcare systems is being shaped by incorporating emerged technological innovations to drive new models for patient care. By acquiring, integrating, analyzing, and exchanging medical data at different system levels, new practices can be introduced, offering a radical improvement to healthcare services. This paper presents a novel smart and secure Healthcare system (ssHealth), which, leveraging advances in edge computing and blockchain technologies, permits epidemics discovering, remote monitoring, and fast emergency response. The proposed system also allows for secure medical data exchange among local healthcare entities, thus realizing the integration of multiple national and international entities and enabling the correlation of critical medical events for, e.g., emerging epidemics management and control. In particular, we develop a blockchain-based architecture and enable a flexible configuration thereof, which optimize medical data sharing between different health entities and fulfil the diverse levels of Quality of Service (QoS) that ssHealth may require. Finally, we highlight the benefits of the proposed ssHealth system and possible directions for future research.


title: A moduli scheme parametrizing blowups of smooth projective surfaces

abstract: We construct a moduli scheme $F[n]$ that parametrizes tuples $(S_1, S_2, \dots, S_{n+1}, p_1, p_2, \dots, p_n)$ in which $S_1$ is a fixed smooth surface over $\text{Spec } R$ and $S_{i+1}$ is the blowup of $S_i$ at a point $p_i$, $\forall 1\leq i\leq n$. We show that this moduli scheme is smooth and projective. We prove that $F[n]$ has smooth divisors $D_{i,j}^{(n)}$, $\forall 1\leq i<j\leq n$, which correspond to tuples that map $p_j\mapsto p_i$ under the projection morphism $S_j\to S_i$. When $R=k$ is an algebraically closed field, we demonstrate that the Chow ring $\mathbb{A}^*(F[n])$ is generated by these divisors over $\mathbb{A}^*(S_1^n)$. We end by giving a precise description of $\mathbb{A}^*(F[n])$ when $S_1$ is a complex rational surface.


title: Short Communication: Detecting Possibly Frequent Change-points: Wild Binary Segmentation 2

abstract: This article comments on the new version of wild binary segmentation 2. Wild Binary Segmentation 2 and Steepest-drop Model Selection has made improvements on changepoint analysis especially on reducing the computational cost. However, WBS2 tends to overestimate as WBS and the threshold does not work appropriately on short sequences without changepoints.


title: Reflected Entropy for an Evaporating Black Hole

abstract: We study reflected entropy as a correlation measure in black hole evaporation. As a measure for bipartite mixed states, reflected entropy can be computed between black hole and radiation, radiation and radiation. We compute reflected entropy curves in three different models: 3-side wormhole model, End-of-the-World (EOW) brane model in three dimensions and two-dimensional eternal black hole plus CFT model. For 3-side wormhole model, we find that reflected entropy is dual to island cross sections. The reflected entropy between radiation and black hole increases at early time and then decreases to zero, similar to Page curve, but with a later transition time. The reflected entropy between radiation and radiation first increases and then saturates. For the EOW brane model, similar behaviors of reflected entropy are found. We propose a quantum extremal surface for reflected entropy, which we call quantum extremal cross section. In the eternal black hole plus CFT model, we find a generalized formula for reflected entropy with island cross section as its area term by considering the right half as the canonical purification of the left. Interestingly, the reflected entropy curve between the left black hole and the left radiation is nothing but the Page curve. We also find that reflected entropy between the left black hole and the right black hole decreases and goes to zero at late time. The reflected entropy between radiation and radiation increases at early time and saturates at late time.


title: New Bounds for the Vertices of the Integer Hull

abstract: The vertices of the integer hull are the integral equivalent to the well-studied basic feasible solutions of linear programs. In this paper we give new bounds on the number of non-zero components -- their support -- of these vertices matching either the best known bounds or improving upon them. While the best known bounds make use of deep techniques, we only use basic results from probability theory to make use of the concentration of measure effect. To show the versatility of our techniques, we use our results to give the best known bounds on the number of such vertices and an algorithm to enumerate them. We also improve upon the known lower bounds to show that our results are nearly optimal. One of the main ingredients of our work is a generalization of the famous Hoeffding bound to vector-valued random variables that might be of general interest.


title: Understanding Anomaly Detection with Deep Invertible Networks through Hierarchies of Distributions and Features

abstract: Deep generative networks trained via maximum likelihood on a natural image dataset like CIFAR10 often assign high likelihoods to images from datasets with different objects (e.g., SVHN). We refine previous investigations of this failure at anomaly detection for invertible generative networks and provide a clear explanation of it as a combination of model bias and domain prior: Convolutional networks learn similar low-level feature distributions when trained on any natural image dataset and these low-level features dominate the likelihood. Hence, when the discriminative features between inliers and outliers are on a high-level, e.g., object shapes, anomaly detection becomes particularly challenging. To remove the negative impact of model bias and domain prior on detecting high-level differences, we propose two methods, first, using the log likelihood ratios of two identical models, one trained on the in-distribution data (e.g., CIFAR10) and the other one on a more general distribution of images (e.g., 80 Million Tiny Images). We also derive a novel outlier loss for the in-distribution network on samples from the more general distribution to further improve the performance. Secondly, using a multi-scale model like Glow, we show that low-level features are mainly captured at early scales. Therefore, using only the likelihood contribution of the final scale performs remarkably well for detecting high-level feature differences of the out-of-distribution and the in-distribution. This method is especially useful if one does not have access to a suitable general distribution. Overall, our methods achieve strong anomaly detection performance in the unsupervised setting, and only slightly underperform state-of-the-art classifier-based methods in the supervised setting. Code can be found at https://github.com/boschresearch/hierarchical_anomaly_detection.


title: Non K\"ahlerian surfaces with a cycle of rational curves

abstract: Let $S$ be a compact complex surface in class VII$_0^+$ containing a cycle of rational curves $C=\sum D_j$. Let $D=C+A$ be the maximal connected divisor containing $C$. If there is another connected component of curves $C'$ then $C'$ is a cycle of rational curves, $A=0$ and $S$ is a Inoue-Hirzebruch surface. If there is only one connected component $D$ then each connected component $A_i$ of $A$ is a chain of rational curves which intersects a curve $C_j$ of the cycle and for each curve $C_j$ of the cycle there at most one chain which meets $C_j$. In other words, we do not prove the existence of curves other those of the cycle $C$, but if some other curves exist the maximal divisor looks like the maximal divisor of a Kato surface with perhaps missing curves. The proof of this topological result is an application of Donaldson theorem on trivialization of the intersection form and of deformation theory. We apply this result to show that a twisted logarithmic $1$-form has a trivial vanishing divisor.


title: Deep Image Translation for Enhancing Simulated Ultrasound Images

abstract: Ultrasound simulation based on ray tracing enables the synthesis of highly realistic images. It can provide an interactive environment for training sonographers as an educational tool. However, due to high computational demand, there is a trade-off between image quality and interactivity, potentially leading to sub-optimal results at interactive rates. In this work we introduce a deep learning approach based on adversarial training that mitigates this trade-off by improving the quality of simulated images with constant computation time. An image-to-image translation framework is utilized to translate low quality images into high quality versions. To incorporate anatomical information potentially lost in low quality images, we additionally provide segmentation maps to image translation. Furthermore, we propose to leverage information from acoustic attenuation maps to better preserve acoustic shadows and directional artifacts, an invaluable feature for ultrasound image interpretation. The proposed method yields an improvement of 7.2% in Fr\'{e}chet Inception Distance and 8.9% in patch-based Kullback-Leibler divergence.


title: On lax limits in infinity categories

abstract: We introduce partially lax limits of infinity-categories, which interpolate between ordinary limits and lax limits. Most naturally occurring examples of lax limits are only partially lax; we give examples arising from enriched categories and operads. Our main result is a formula for partially lax limits and colimits in terms of the Grothendieck construction. This generalizes a formula of Lurie for ordinary limits and of Gepner-Haugseng-Nikolaus for fully lax limits.


title: Wilson loops in $\mathcal{N}=4$ $SO(N)$ SYM and D-Branes in $AdS_5\times \mathbb{RP}^5$

abstract: We study the half-BPS circular Wilson loop in ${\cal N}=4$ super Yang-Mills with orthogonal gauge group. By supersymmetric localization, its expectation value can be computed exactly from a matrix integral over the Lie algebra of $SO(N)$. We focus on the large $N$ limit and present some simple quantitative tests of the duality with type IIB string theory in $AdS_5\times \mathbb{RP}^5$. In particular, we show that the strong coupling limit of the expectation value of the Wilson loop in the spinor representation of the gauge group precisely matches the classical action of the dual string theory object, which is expected to be a D5-brane wrapping a $\mathbb{RP}^4$ subspace of $\mathbb{RP}^5$. We also briefly discuss the large $N$, large $\lambda$ limits of the $SO(N)$ Wilson loop in the symmetric/antisymmetric representations and their D3/D5-brane duals. Finally, we use the D5-brane description to extract the leading strong coupling behavior of the "bremsstrahlung function" associated to a spinor probe charge, or equivalently the normalization of the two-point function of the displacement operator on the spinor Wilson loop, and obtain agreement with the localization prediction.


title: Image classification in frequency domain with 2SReLU: a second harmonics superposition activation function

abstract: Deep Convolutional Neural Networks are able to identify complex patterns and perform tasks with super-human capabilities. However, besides the exceptional results, they are not completely understood and it is still impractical to hand-engineer similar solutions. In this work, an image classification Convolutional Neural Network and its building blocks are described from a frequency domain perspective. Some network layers have established counterparts in the frequency domain like the convolutional and pooling layers. We propose the 2SReLU layer, a novel non-linear activation function that preserves high frequency components in deep networks. It is demonstrated that in the frequency domain it is possible to achieve competitive results without using the computationally costly convolution operation. A source code implementation in PyTorch is provided at: https://gitlab.com/thomio/2srelu


title: Electron correlation effects in the exchange coupling at the Fe/CoO/Ag(001) ferro-/antiferro-magnetic interface

abstract: Angle resolved-Auger-photoelectron coincidence spectroscopy (AR-APECS) has been exploited to investigate the role that electron correlation plays in the exchange-coupling at the ferromagnetic/antiferromagnetic interface of a Fe/CoO bilayer growth on Ag(001). The effective correlation energy U$_{\textrm{eff}}$, usually employed to assess the energy distribution of core-valence-valence Auger spectra, has been experimentally determined for each possible combination of the orbital (e$_g$ or t$_{2g}$) and the spin (majority or minority) of the two valence electrons involved in the Auger decay. Coulomb and exchange interactions have been identified and compared with the result obtained on the Fe/Ag system. The presented analysis reveals in the Fe/CoO interface an enhancement of the Coulomb interaction for the e$_g$ orbital and of the exchange interaction for the t$_{2g}$ orbital with respect to the Fe/Ag case that can be associated to the stronger electron confinement and to the exchange coupling between the two layers, respectively.


title: Lithography-free IR polarization converters via orthogonal in-plane phonons in a-MoO3 flakes

abstract: Exploiting polaritons in natural vdW materials has been successful in achieving extreme light confinement and low-loss optical devices and enabling simplified device integration. Recently, a-MoO3 has been reported as a semiconducting biaxial vdW material capable of sustaining naturally orthogonal in-plane phonon polariton modes in IR. In this study, we investigate the polarization-dependent optical characteristics of cavities formed using a-MoO3 to extend the degrees of freedom in the design of IR photonic components exploiting the in-plane anisotropy of this material. Polarization-dependent absorption over 80% in a multilayer Fabry-Perot structure with a-MoO3 is reported without the need for nanoscale fabrication on the a-MoO3. We observe coupling between the a-MoO3 optical phonons and the Fabry-Perot cavity resonances. Using cross-polarized reflectance spectroscopy we show that the strong birefringence results in 15% of the total power converted into the orthogonal polarization with respect to incident wave. These findings can open new avenues in the quest for polarization filters and low-loss, integrated planar IR photonics and in dictating polarization control.


title: Single-shot hybrid photoacoustic-fluorescent microendoscopy through a multi-mode fiber with wavefront shaping

abstract: We present a minimally-invasive endoscope based on a multimode fiber that combines photoacoustic and fluorescence sensing. From the measurement of a transmission matrix during a prior calibration step, a focused spot is produced and raster-scanned over a sample at the distal tip of the fiber by use of a fast spatial light modulator. An ultra-sensitive fiber-optic ultrasound sensor for photoacoustic detection placed next to the fiber is combined with a photodetector to obtain both fluorescence and photoacoustic images with a distal imaging tip no larger than 250um. The high signal-to-noise ratio provided by wavefront shaping based focusing and the ultra-sensitive ultrasound sensor enables imaging with a single laser shot per pixel, demonstrating fast two-dimensional hybrid imaging of red blood cells and fluorescent beads.


title: Blind Observers of the Sky

abstract: The concept of blind analysis, a key procedure to remove the human-based systematic error called confirmation bias, has long been an integral part of data analysis in many research areas. In cosmology, blind analysis is recently making its entrance, as the field progresses into a fully fledged high-precision science. The credibility, reliability and robustness of results from future sky-surveys will dramatically increase if the effect of confirmation bias is kept under control by using an appropriate blinding procedure. Here, we present a catalog-level blinding scheme for galaxy clustering data apt to be used in future spectroscopic galaxy surveys. We shift the individual galaxy positions along the line of sight based on 1) a geometric shift mimicking the Alcock-Paczynski effect and 2) a perturbative shift akin to redshift-space distortions. This procedure has several advantages. After combining the two steps above, it is almost impossible to accidentally unblind. The procedure induces a shift in cosmological parameters without changing the galaxies' angular positions, hence without interfering with the effects of angular systematics. Since the method is applied at catalog level, there is no need to adopt several blinding schemes tuned to different summary statistics, likelihood choices or types of analyses. By testing the method on mock catalogs and the BOSS DR12 catalog we demonstrate its performance in blinding galaxy clustering data for relevant cosmological parameters sensitive to the background expansion rate and the growth rate of structures.


title: Rehabilitating Isomap: Euclidean Representation of Geodesic Structure

abstract: Manifold learning techniques for nonlinear dimension reduction assume that high-dimensional feature vectors lie on a low-dimensional manifold, then attempt to exploit manifold structure to obtain useful low-dimensional Euclidean representations of the data. Isomap, a seminal manifold learning technique, is an elegant synthesis of two simple ideas: the approximation of Riemannian distances with shortest path distances on a graph that localizes manifold structure, and the approximation of shortest path distances with Euclidean distances by multidimensional scaling. We revisit the rationale for Isomap, clarifying what Isomap does and what it does not. In particular, we explore the widespread perception that Isomap should only be used when the manifold is parametrized by a convex region of Euclidean space. We argue that this perception is based on an extremely narrow interpretation of manifold learning as parametrization recovery, and we submit that Isomap is better understood as constructing Euclidean representations of geodesic structure. We reconsider a well-known example that was previously interpreted as evidence of Isomap's limitations, and we re-examine the original analysis of Isomap's convergence properties, concluding that convexity is not required for shortest path distances to converge to Riemannian distances.


title: MARS: Masked Automatic Ranks Selection in Tensor Decompositions

abstract: Tensor decomposition methods have proven effective in various applications, including compression and acceleration of neural networks. At the same time, the problem of determining optimal decomposition ranks, which present the crucial parameter controlling the compression-accuracy trade-off, is still acute. In this paper, we introduce MARS -- a new efficient method for the automatic selection of ranks in general tensor decompositions. During training, the procedure learns binary masks over decomposition cores that "select" the optimal tensor structure. The learning is performed via relaxed maximum a posteriori (MAP) estimation in a specific Bayesian model and can be naturally embedded into the standard neural network training routine. Diverse experiments demonstrate that MARS achieves better results compared to previous works in various tasks.


title: Verification Framework for Control System Functionality of Unmanned Aerial Vehicles

abstract: A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework's aim is to set out a procedure for proving that the mathematically designed control system of the aircraft satisfies robustness requirements to ensure safe performance under varying environmental conditions. Extensive mathematical derivations, which have formerly been carried out manually, are checked for their correctness on a computer. To illustrate the proceedures, a higher-order logic interactive theorem-prover and an automated theorem-prover are utilized to formally verify a nonlinear attitude control system of a generic multi-rotor UAV over a stability domain within the dynamical state space of the drone. Further benefits of the proceedures are that some of the resulting methods can be implemented onboard the aircraft to detect when its controller breaches its flight envelop limits due to severe weather conditions or actuator/sensor malfunction. Such a detection procedure can be used to advise the remote pilot or an onboard intelligent agent to decide on some alterations of the planned flight path or to perform emergency landing.


title: CoinPolice:Detecting Hidden Cryptojacking Attacks with Neural Networks

abstract: Traffic monetization is a crucial component of running most for-profit online businesses. One of its latest incarnations is cryptocurrency mining, where a website instructs the visitor's browser to participate in building a cryptocurrency ledger (e.g., Bitcoin, Monero) in exchange for a small reward in the same currency. In its essence, this practice trades the user's electric bill (or battery level) for cryptocurrency. With user consent, this exchange can be a legitimate funding source - for example, UNICEF has collected over 27k charity donations on a website dedicated to this purpose, thehopepage.org. Regrettably, this practice also easily lends itself to abuse: in this form, called cryptojacking, attacks surreptitiously mine in the users browser, and profits are collected either by website owners or by hackers that planted the mining script into a vulnerable page. Cryptojackers have been bettering their evasion techniques, incorporating in their toolkits domain fluxing, content obfuscation, the use of WebAssembly, and throttling. Whereas most state-of-the-art defenses address multiple of these evasion techniques, none is resistant against all. In this paper, we offer a novel detection method, CoinPolice, that is robust against all of the aforementioned evasion techniques. CoinPolice flips throttling against cryptojackers, artificially varying the browser's CPU power to observe the presence of throttling. Based on a deep neural network classifier, CoinPolice can detect 97.87% of hidden miners with a low false positive rate (0.74%). We compare CoinPolice performance with the current state of the art and show our approach outperforms it when detecting aggressively throttled miners. Finally, we deploy Coinpolice to perform the largest-scale cryptoming investigation to date, identifying 6700 sites that monetize traffic in this fashion.


title: WIYN Open Cluster Study LXXXI. Caught in the Act? The Peculiar Red Giant NGC 2243-W2135

abstract: High-dispersion spectra for giants through turnoff stars in the Li 6708 Angstrom region have been obtained and analyzed in the old, metal-deficient open cluster, NGC 2243. When combined with high dispersion data from other surveys, the cluster is found to contain a uniquely peculiar star at the luminosity level of the red clump. The giant is the reddest star at its luminosity, exhibits variability at a minimum 0.1 mag level on a timescale of days, is a single-lined, radial-velocity variable, and has V_sin(i) between 35 and 40 km/sec. In sharp contrast with the majority of the red giant cluster members, the star has a detectable Li abundance, potentially as high or higher than other giants observed to date while at or just below the boundary normally adopted for Li-rich giants. The observed anomalies may be indicators of the underlying process by which the giant has achieved its unusual Li abundance, with a recent mass transfer episode being the most probable within the currently limited constraints.


title: On new existence of a unique common solution to a pair of non-linear matrix equations

abstract: The main goal of this article is to study the existence of a unique positive definite common solution to a pair of matrix equations of the form \begin{eqnarray*} X^r=Q_1 + \displaystyle \sum_{i=1}^{m} {A_i}^*F(X)A_i \mbox{ and } X^s=Q_2 + \displaystyle \sum_{i=1}^{m} {A_i}^*G(X)A_i \end{eqnarray*} where $Q_1,Q_2\in P(n)$, $A_i\in M(n)$ and $F,G:P(n)\to P(n)$ are certain functions and $r,s>1$. In order to achieve our target, we take the help of elegant properties of Thompson metric on the set of all $n \times n$ Hermitian positive definite matrices. To proceed this, we first derive a common fixed point result for a pair of mappings utilizing a certain class of control functions in a metric space. Then, we obtain some sufficient conditions to assure a unique positive definite common solution to the said equations. Finally, to validate our results, we provide a couple of numerical examples with diagrammatic representations of the convergence behaviour of iterative sequences.


title: PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier

abstract: Neural Networks (NNs) have increasingly apparent safety implications commensurate with their proliferation in real-world applications: both unanticipated as well as adversarial misclassifications can result in fatal outcomes. As a consequence, techniques of formal verification have been recognized as crucial to the design and deployment of safe NNs. In this paper, we introduce a new approach to formally verify the most commonly considered safety specifications for ReLU NNs -- i.e. polytopic specifications on the input and output of the network. Like some other approaches, ours uses a relaxed convex program to mitigate the combinatorial complexity of the problem. However, unique in our approach is the way we use a convex solver not only as a linear feasibility checker, but also as a means of penalizing the amount of relaxation allowed in solutions. In particular, we encode each ReLU by means of the usual linear constraints, and combine this with a convex objective function that penalizes the discrepancy between the output of each neuron and its relaxation. This convex function is further structured to force the largest relaxations to appear closest to the input layer; this provides the further benefit that the most problematic neurons are conditioned as early as possible, when conditioning layer by layer. This paradigm can be leveraged to create a verification algorithm that is not only faster in general than competing approaches, but is also able to verify considerably more safety properties; we evaluated PEREGRiNN on a standard MNIST robustness verification suite to substantiate these claims.


title: Waring problems and the Lefschetz properties

abstract: We study three variations of the Waring problem for polynomials, concerning the Waring rank, the border rank and the cactus rank of a form and we show how the Lefschetz properties of the associated algebra affect them. The main tool is the theory of mixed Hessian matrix. We construct new families of wild forms, that is, forms whose cactus rank, of schematic nature, is bigger then the border rank, defined geometrically.


title: Shop The Look: Building a Large Scale Visual Shopping System at Pinterest

abstract: As online content becomes ever more visual, the demand for searching by visual queries grows correspondingly stronger. Shop The Look is an online shopping discovery service at Pinterest, leveraging visual search to enable users to find and buy products within an image. In this work, we provide a holistic view of how we built Shop The Look, a shopping oriented visual search system, along with lessons learned from addressing shopping needs. We discuss topics including core technology across object detection and visual embeddings, serving infrastructure for realtime inference, and data labeling methodology for training/evaluation data collection and human evaluation. The user-facing impacts of our system design choices are measured through offline evaluations, human relevance judgements, and online A/B experiments. The collective improvements amount to cumulative relative gains of over 160% in end-to-end human relevance judgements and over 80% in engagement. Shop The Look is deployed in production at Pinterest.


title: Higgs Potential from Weyl Conformal Gravity

abstract: We consider Weyl's conformal gravity coupled to a complex matter field in Weyl geometry. It is shown that a Higgs potential naturally arises from a $\tilde R^2$ term in moving from the Jordan frame to the Einstein frame. A massless Nambu-Goldstone boson, which stems from spontaneous symmetry breakdown of the Weyl gauge invariance, is absorbed into the Weyl gauge field, thereby the gauge field becoming massive. We present a model where the gravitational interaction generates a Higgs potential whose form is a perfect square. Finally, we show that a theory in the Jordan frame is gauge-equivalent to the corresponding theory in the Einstein frame via the BRST formalism.


title: Weighing stars from birth to death: mass determination methods across the HRD

abstract: The mass of a star is the most fundamental parameter for its structure, evolution, and final fate. It is particularly important for any kind of stellar archaeology and characterization of exoplanets. There exists a variety of methods in astronomy to estimate or determine it. In this review we present a significant number of such methods, beginning with the most direct and model-independent approach using detached eclipsing binaries. We then move to more indirect and model-dependent methods, such as the quite commonly used isochrone or stellar track fitting. The arrival of quantitative asteroseismology has opened a completely new approach to determine stellar masses and to complement and improve the accuracy of other methods. We include methods for different evolutionary stages, from the pre-main sequence to evolved (super)giants and final remnants. For all methods uncertainties and restrictions will be discussed. We provide lists of altogether more than 200 benchmark stars with relative mass accuracies between $[0.3,2]\%$ for the covered mass range of $M\in [0.1,16]\,\msun$, $75\%$ of which are stars burning hydrogen in their core and the other $25\%$ covering all other evolved stages. We close with a recommendation how to combine various methods to arrive at a "mass-ladder" for stars.


title: Model-Aware Regularization For Learning Approaches To Inverse Problems

abstract: There are various inverse problems -- including reconstruction problems arising in medical imaging -- where one is often aware of the forward operator that maps variables of interest to the observations. It is therefore natural to ask whether such knowledge of the forward operator can be exploited in deep learning approaches increasingly used to solve inverse problems. In this paper, we provide one such way via an analysis of the generalisation error of deep learning methods applicable to inverse problems. In particular, by building on the algorithmic robustness framework, we offer a generalisation error bound that encapsulates key ingredients associated with the learning problem such as the complexity of the data space, the size of the training set, the Jacobian of the deep neural network and the Jacobian of the composition of the forward operator with the neural network. We then propose a 'plug-and-play' regulariser that leverages the knowledge of the forward map to improve the generalization of the network. We likewise also propose a new method allowing us to tightly upper bound the Lipschitz constants of the relevant functions that is much more computational efficient than existing ones. We demonstrate the efficacy of our model-aware regularised deep learning algorithms against other state-of-the-art approaches on inverse problems involving various sub-sampling operators such as those used in classical compressed sensing setup and accelerated Magnetic Resonance Imaging (MRI).


title: Geometric Langlands for hypergeometric sheaves

abstract: Generalised hypergeometric sheaves are rigid local systems on the punctured projective line with remarkable properties. Their study originated in the seminal work of Riemann on the Euler--Gauss hypergeometric function and has blossomed into an active field with connections to many areas of mathematics. In this paper, we construct the Hecke eigensheaves whose eigenvalues are the irreducible hypergeometric local systems, thus confirming a central conjecture of the geometric Langlands program for hypergeometrics. The key new concept is the notion of hypergeometric automorphic data. We prove that this automorphic data is generically rigid (in the sense of Zhiwei Yun) and identify the resulting Hecke eigenvalue with hypergeometric sheaves. The definition of hypergeometric automorphic data in the tame case involves the mirabolic subgroup, while in the wild case, semistable (but not necessarily stable) vectors coming from principal gradings intervene.


title: A shape theorem and a variational formula for the quenched Lyapunov exponent of random walk in a random potential

abstract: We prove a shape theorem and derive a variational formula for the limiting quenched Lyapunov exponent and the Green's function of random walk in a random potential on a square lattice of arbitrary dimension and with an arbitrary finite set of steps. The potential is a function of a stationary environment and the step of the walk. This potential is subject to a moment assumption whose strictness is tied to the mixing of the environment. Our setting includes directed and undirected polymers, random walk in static and dynamic random environment, and, when the temperature is taken to zero, our results also give a shape theorem and a variational formula for the time constant of both site and edge directed last-passage percolation and standard first-passage percolation.


title: Factorization of the Riesz-Feller fractional quantum harmonic oscillators

abstract: Using the Riesz-Feller fractional derivative, we apply the factorization algorithm to the fractional quantum harmonic oscillator along the lines previously proposed by Olivar-Romero and Rosas-Ortiz, extending their results. We solve the non-Hermitian fractional eigenvalue problem in the k space by introducing in that space a new class of Hermite `polynomials' that we call Riesz-Feller Hermite `polynomials'. Using the inverse Fourier transform in Mathematica, interesting analytic results for the same eigenvalue problem in the x space are also obtained. Additionally, a more general factorization with two different Levy indices is briefly introduced


title: Generative Patch Priors for Practical Compressive Image Recovery

abstract: In this paper, we propose the generative patch prior (GPP) that defines a generative prior for compressive image recovery, based on patch-manifold models. Unlike learned, image-level priors that are restricted to the range space of a pre-trained generator, GPP can recover a wide variety of natural images using a pre-trained patch generator. Additionally, GPP retains the benefits of generative priors like high reconstruction quality at extremely low sensing rates, while also being much more generally applicable. We show that GPP outperforms several unsupervised and supervised techniques on three different sensing models -- linear compressive sensing with known, and unknown calibration settings, and the non-linear phase retrieval problem. Finally, we propose an alternating optimization strategy using GPP for joint calibration-and-reconstruction which performs favorably against several baselines on a real world, un-calibrated compressive sensing dataset.


title: Thermal Ionization for Short-Range Potentials

abstract: We study a concrete model of a confined particle in form of a Schr\"odinger operator with a compactly supported smooth potential coupled to a bosonic field at positive temperature. We show, that the model exhibits thermal ionization for any positive temperature, provided the coupling is sufficiently small. Mathematically, one has to rule out that zero is an eigenvalue of the self-adjoint generator of time evolution - the Liouvillian. This will be done by using positive commutator methods with dilations in the space of scattering functions. Our proof relies on a spatial cutoff in the coupling but does otherwise not require any unnatural restrictions.


title: Provably adaptive reinforcement learning in metric spaces

abstract: We study reinforcement learning in continuous state and action spaces endowed with a metric. We provide a refined analysis of a variant of the algorithm of Sinclair, Banerjee, and Yu (2019) and show that its regret scales with the \emph{zooming dimension} of the instance. This parameter, which originates in the bandit literature, captures the size of the subsets of near optimal actions and is always smaller than the covering dimension used in previous analyses. As such, our results are the first provably adaptive guarantees for reinforcement learning in metric spaces.


title: Beware the Black-Box: on the Robustness of Recent Defenses to Adversarial Examples

abstract: Many defenses have recently been proposed at venues like NIPS, ICML, ICLR and CVPR. These defenses are mainly focused on mitigating white-box attacks. They do not properly examine black-box attacks. In this paper, we expand upon the analysis of these defenses to include adaptive black-box adversaries. Our evaluation is done on nine defenses including Barrage of Random Transforms, ComDefend, Ensemble Diversity, Feature Distillation, The Odds are Odd, Error Correcting Codes, Distribution Classifier Defense, K-Winner Take All and Buffer Zones. Our investigation is done using two black-box adversarial models and six widely studied adversarial attacks for CIFAR-10 and Fashion-MNIST datasets. Our analyses show most recent defenses (7 out of 9) provide only marginal improvements in security ($<25\%$), as compared to undefended networks. For every defense, we also show the relationship between the amount of data the adversary has at their disposal, and the effectiveness of adaptive black-box attacks. Overall, our results paint a clear picture: defenses need both thorough white-box and black-box analyses to be considered secure. We provide this large scale study and analyses to motivate the field to move towards the development of more robust black-box defenses.


title: Simulating Pitch Angle Scattering Using An Explicitly Solvable Energy Conserving Algorithm

abstract: Particle distribution functions evolving under the Lorentz operator can be simulated with the Langevin equation for pitch angle scattering. This approach is frequently used in particle based Monte-Carlo simulations of plasma collisions, among others. However, most numerical treatments do not guarantee energy conservation, which may lead to unphysical artifacts such as numerical heating and spectra distortions. We present a novel structure-preserving numerical algorithm for the Langevin equation for pitch angle scattering. Similar to the well-known Boris algorithm, the proposed numerical scheme takes advantage of the structure-preserving properties of the Cayley transform when calculating the velocity-space rotations. The resulting algorithm is explicitly solvable, while preserving the norm of velocities down to machine precision. We demonstrate that the method has the same order of numerical convergence as the traditional stochastic Euler-Maruyama method. The numerical scheme is benchmarked by simulating the pitch angle scattering of a particle beam, and comparing with the analytical solution. Benchmark results show excellent agreement with theoretical predictions, showcasing the remarkable long time accuracy of the proposed algorithm.


title: $K$-theory of locally compact modules over orders

abstract: We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently the vector modules. Our proof exploits the fact that the pair (vector modules plus compact modules, discrete modules) becomes a torsion theory after we quotient out the finite modules. Treating these quotients as exact categories is possible due to a recent localization formalism.


title: Geometry, Inference, Complexity, and Democracy

abstract: Decisions about how the population of the United States should be divided into legislative districts have powerful and not fully understood effects on the outcomes of elections. The problem of understanding what we might mean by "fair districting" intertwines mathematical, political, and legal reasoning; but only in recent years has the academic mathematical community gotten directly involved in the process. I'll report on recent progress in this area, how newly developed mathematical tools have affected real political decisions, and what remains to be done. This survey represents the content of a lecture presented by the author in the Current Events Bulletin session of the Joint Mathematics Meetings in January 2020.


title: Geometric and Thermodynamic Volume of Hairy Black Branes

abstract: With the objective to generalize previous results found for a handful of explicit solutions, we study the extended thermodynamics of a black brane with minimally coupled scalar hair in D-dimensional asymptotically anti-de Sitter spacetimes. Using Komar integration and the Hamiltonian formalism to calculate the conserved charges, we obtain a Smarr relation that is applicable to a wide variety of solutions and suggests a more general definition of the thermodynamic volume. This volume is found to be proportional to the geometric volume, and a simple prescription is given to calculate the constant of proportionality. Moreover, the method of Hamiltonian perturbations yields an extended first law of thermodynamics for hairy black branes, thus giving a definition for their enthalpy. These results are then verified by applying them to some of the explicit solutions that exist in the literature.


title: Non-Trivial Steenrod Squares on Prime, Hyperbolic and Satellite Knots

abstract: We show that there are prime knots so that the Steenrod operations of Lipshitz and Sarkar arXiv:1204.5776 are non trivial on their Khovanov homology. This answers a question posed by Lipshitz and Sarkar in their paper arXiv:1709.03602. We then go on to show that there are hyperbolic and satellite knots so that the Steenrod operations are non trivial on their Khovanov homology.


title: The Chemistry of Quantum Spin Liquids

abstract: Quantum spin liquids are an exciting playground for exotic physical phenomena and emergent many-body quantum states. The realization and discovery of quantum spin liquid candidate materials and associated phenomena lie at the intersection of solid-state chemistry, condensed matter physics and materials science and engineering. In this review, we provide the current status of the crystal chemistry, synthetic techniques, physical properties, and research methods in the field of quantum spin liquids. We also highlight a number of specific quantum spin liquid candidate materials and their structure-property relationships, elucidating their fascinating behavior and connecting it to the intricacies of their structures. Furthermore, we share our thoughts on defects and their inevitable presence in materials, of which quantum spin liquids are no exception, which can complicate the interpretation of characterization of these materials, and urge the community to extend their attention to materials preparation and data analysis, cognizant of the impact of defects. This review was written with the intention of providing guidance on improving the materials design and growth of quantum spin liquids, and painting a picture of the beauty of the underlying chemistry of this exciting class of materials.


title: Relaxation of the degenerate one-dimensional Fermi gas

abstract: We study how a system of one-dimensional spin-1/2 fermions at temperatures well below the Fermi energy approaches thermal equilibrium. The interactions between fermions are assumed to be weak and are accounted for within the perturbation theory. In the absence of an external magnetic field, spin degeneracy strongly affects relaxation of the Fermi gas. For sufficiently short-range interactions, the rate of relaxation scales linearly with temperature. Focusing on the case of the system near equilibrium, we linearize the collision integral and find exact solution of the resulting relaxation problem. We discuss the application of our results to the evaluation of the transport coefficients of the one-dimensional Fermi gas.


title: N=1 Modelling of Lifestyle Impact on SleepPerformance

abstract: Sleep is critical to leading a healthy lifestyle. Each day, most people go to sleep without any idea about how their night's rest is going to be. For an activity that humans spend around a third of their life doing, there is a surprising amount of mystery around it. Despite current research, creating personalized sleep models in real-world settings has been challenging. Existing literature provides several connections between daily activities and sleep quality. Unfortunately, these insights do not generalize well in many individuals. For these reasons, it is important to create a personalized sleep model. This research proposes a sleep model that can identify causal relationships between daily activities and sleep quality and present the user with specific feedback about how their lifestyle affects their sleep. Our method uses N-of-1 experiments on longitudinal user data and event mining to generate understanding between lifestyle choices (exercise, eating, circadian rhythm) and their impact on sleep quality. Our experimental results identified and quantified relationships while extracting confounding variables through a causal framework. These insights can be used by the user or a personal health navigator to provide guidance in improving sleep.


title: The Dilemma Between Data Transformations and Adversarial Robustness for Time Series Application Systems

abstract: Adversarial examples, or nearly indistinguishable inputs created by an attacker, significantly reduce machine learning accuracy. Theoretical evidence has shown that the high intrinsic dimensionality of datasets facilitates an adversary's ability to develop effective adversarial examples in classification models. Adjacently, the presentation of data to a learning model impacts its performance. For example, we have seen this through dimensionality reduction techniques used to aid with the generalization of features in machine learning applications. Thus, data transformation techniques go hand-in-hand with state-of-the-art learning models in decision-making applications such as intelligent medical or military systems. With this work, we explore how data transformations techniques such as feature selection, dimensionality reduction, or trend extraction techniques may impact an adversary's ability to create effective adversarial samples on a recurrent neural network. Specifically, we analyze it from the perspective of the data manifold and the presentation of its intrinsic features. Our evaluation empirically shows that feature selection and trend extraction techniques may increase the RNN's vulnerability. A data transformation technique reduces the vulnerability to adversarial examples only if it approximates the dataset's intrinsic dimension, minimizes codimension, and maintains higher manifold coverage.


title: Explicit coupling of acoustic and elastic wave propagation in finite difference simulations

abstract: We present a mechanism to explicitly couple the finite-difference discretizations of 2D acoustic and isotropic elastic wave systems that are separated by straight interfaces. Such coupled simulations allow the application of the elastic model to geological regions that are of special interest for seismic exploration studies (e.g., the areas surrounding salt bodies), while with the computationally more tractable acoustic model still being applied in the background regions. Specifically, the acoustic wave system is expressed in terms of velocity and pressure while the elastic wave system is expressed in terms of velocity and stress. Both systems are posed in first-order forms and discretized on staggered grids. Special variants of the standard finite-difference operators, namely, operators that possess the summation-by-parts property, are used for the approximation of spatial derivatives. Penalty terms, which are also referred to as the simultaneous approximation terms, are designed to weakly impose the elastic-acoustic interface conditions in the finite-difference discretizations and couple the elastic and acoustic wave simulations together. With the presented mechanism, we are able to perform the coupled elastic-acoustic wave simulations stably and accurately. Moreover, it is shown that the energy-conserving property in the continuous systems can be preserved in the discretization with carefully designed penalty terms.


title: An adaptive stochastic gradient-free approach for high-dimensional blackbox optimization

abstract: In this work, we propose a novel adaptive stochastic gradient-free (ASGF) approach for solving high-dimensional nonconvex optimization problems based on function evaluations. We employ a directional Gaussian smoothing of the target function that generates a surrogate of the gradient and assists in avoiding bad local optima by utilizing nonlocal information of the loss landscape. Applying a deterministic quadrature scheme results in a massively scalable technique that is sample-efficient and achieves spectral accuracy. At each step we randomly generate the search directions while primarily following the surrogate of the smoothed gradient. This enables exploitation of the gradient direction while maintaining sufficient space exploration, and accelerates convergence towards the global extrema. In addition, we make use of a local approximation of the Lipschitz constant in order to adaptively adjust the values of all hyperparameters, thus removing the careful fine-tuning of current algorithms that is often necessary to be successful when applied to a large class of learning tasks. As such, the ASGF strategy offers significant improvements when solving high-dimensional nonconvex optimization problems when compared to other gradient-free methods (including the so called "evolutionary strategies") as well as iterative approaches that rely on the gradient information of the objective function. We illustrate the improved performance of this method by providing several comparative numerical studies on benchmark global optimization problems and reinforcement learning tasks.


title: Texture of Single Vanishing Subtrace in Neutrino Mass Matrix

abstract: We consider a texture for the neutrino mass matrix characterized by one vanishing $2\times2$ subtrace. We analyze phenomenologically and analytically all the six possible patterns, and show that all non-singular ones are able to accommodate the experimental bounds, whereas singular patterns allow only for four inverted-hierarchy type textures. We then present some possible realizations of this texture, within seesaw scenarios, either directly or indirectly by relating it to zero-textures.


title: Using kinetic theory to examine a self-gravitating system composed of baryons and cold dark matter

abstract: We examine the evolution of non-relativistic cold dark matter gravitationally coupled to baryons with modes deep inside the Hubble radius (sub-horizon regime) using akinetic theory approach within the realm of Newtonian theory. We obtain the general solution for the total density perturbation and we also show that a baryon perturbation catches up with the dark matter perturbation at late times, which in turn makes possible the formation of bound structures. We extend the linear perturbation analysis by considering the turn-around event, the collapse of matter, and its virialization process.


title: Diagrams, Fibrations, and the Decomposition of Colimits

abstract: The contributions of this paper are twofold. Within the framework of Grothendieck's fibrational category theory, we present a web of fundamental 2-adjunctions surrounding the formation of the category of all small diagrams in a given category and the formation of the Grothendieck category of a functor into the category of small categories. We demonstrate the utility of these adjunctions, in part by deriving three formulae for (co-)limits: a `twisted' generalization of the well-known Fubini formula, as first established by Chach\'{o}lski and Scherer; a new `general colimit decomposition formula'; and a special case of the general formula, which actually initiated this work, and which was proved independently by Batanin and Berger. We give three proofs for this colimit decomposition formula, using methods that provide quite distinct insights. The `base' of our web of 2-adjunctions extends earlier work of the Ehresmann school and Guitart and promises to be of independent interest. It involves forming the diagram category of an arbitrary functor, seen as an object of the arrow category of the category of locally small categories, rather than that of a mere category. The left adjoint of the emerging generalized Guitart 2-adjunction factors through the 2-equivalence of split Grothendieck (co-)fibrations and strictly (co-)indexed categories, which we present here most generally by allowing 2-dimensional variation in the base categories.


title: On the key role of oxygen vacancies electromigration in the memristive response of ferroelectric devices

abstract: Ferroelectric memristors are intensively studied due to their potential implementation in data storage and processing devices. In this work we show that the memristive behavior of metal/ferroelectric oxide/metal devices relies on the competition of two effects: the modulation of metal/ferroelectric interface barriers by the switchable ferroelectric polarization and the electromigration of oxygen vacancies, with the depolarizing field playing a fundamental role in the latter. We simulate our experimental results with a phenomenological model that includes both effects and we reproduce several non-trivial features of the electrical response, including resistance relaxations observed after external poling. Besides providing insight into the underlying physics of these complex devices, our work suggests that it is possible to combine non-volatile and volatile resistive changes in single ferroelectric memristors, an issue that could be useful for the development of neuromorphic devices.


title: Prioritizing documentation effort: Can we do better?

abstract: Code documentations are essential for software quality assurance, but due to time or economic pressures, code developers are often unable to write documents for all modules in a project. Recently, a supervised artificial neural network (ANN) approach is proposed to prioritize important modules for documentation effort. However, as a supervised approach, there is a need to use labeled training data to train the prediction model, which may not be easy to obtain in practice. Furthermore, it is unclear whether the ANN approach is generalizable, as it is only evaluated on several small data sets. In this paper, we propose an unsupervised approach based on PageRank to prioritize documentation effort. This approach identifies "important" modules only based on the dependence relationships between modules in a project. As a result, the PageRank approach does not need any training data to build the prediction model. In order to evaluate the effectiveness of the PageRank approach, we use six additional large data sets to conduct the experiments in addition to the same data sets collected from open-source projects as used in prior studies. The experimental results show that the PageRank approach is superior to the state-of-the-art ANN approach in prioritizing important modules for documentation effort. In particular, due to the simplicity and effectiveness, we advocate that the PageRank approach should be used as an easy-to-implement baseline in future research on documentation effort prioritization, and any new approach should be compared with it to demonstrate its effectiveness.


title: Nearly-incompressible transverse isotropy (NITI) of cornea elasticity: model and experiments with acoustic micro-tapping OCE

abstract: The cornea provides the largest refractive power for the human visual system. Its stiffness, along with intraocular pressure (IOP), are linked to several pathologies, including keratoconus and glaucoma. Although mechanical tests can quantify corneal elasticity ex vivo, they cannot be used clinically. Optical coherence elastography (OCE), which launches and tracks shear waves to estimate stiffness, provides an attractive non-contact probe of corneal elasticity. To date, however, OCE studies report corneal moduli around tens of kPa, orders-of-magnitude less than those (few MPa) obtained by tensile/inflation testing. This large discrepancy impedes OCE's clinical adoption. Based on corneal microstructure, we introduce and fully characterize a nearly-incompressible transversally isotropic (NITI) model depicting corneal biomechanics. We show that the cornea must be described by two shear moduli, contrary to current single-modulus models, decoupling tensile and shear responses. We measure both as a function of IOP in ex vivo porcine cornea, obtaining values consistent with both tensile and shear tests. At pressures above 30 mmHg, the model begins to fail, consistent with non-linear changes in cornea at high IOP.


title: The damage throttling number of a graph

abstract: The cop throttling number of a graph, introduced in 2018 by Breen et al., optimizes the balance between the number of cops used and the number of rounds required to catch the robber in a game of Cops and Robbers. In 2019, Cox and Sanaei studied a variant of Cops and Robbers in which the robber tries to occupy (or damage) as many vertices as possible and the cop tries to minimize this damage. In their paper, they study the minimum number of vertices damaged by the robber over all games played on a given graph $G$, called the damage number of $G$. We introduce the natural parameter called the damage throttling number of a graph, denoted $\operatorname{th}_d(G)$, which optimizes the balance between the number of cops used and the number of vertices damaged in the graph. To this end, we formalize the definition of $k$-damage number, which extends the damage number to games played with $k$ cops. We show that damage throttling and cop throttling share many properties, yet they exhibit interesting differences. We prove that the damage throttling number is tightly bounded above by one less than the cop throttling number. Infinite families of examples and non-examples of tightness in this bound are given. We also find an infinite family of connected graphs $G$ of order $n$ for which $\operatorname{th}_d(G) = \Omega(n^{2/3})$.


title: Learning Minimum-Energy Controls from Heterogeneous Data

abstract: In this paper we study the problem of learning minimum-energy controls for linear systems from heterogeneous data. Specifically, we consider datasets comprising input, initial and final state measurements collected using experiments with different time horizons and arbitrary initial conditions. In this setting, we first establish a general representation of input and sampled state trajectories of the system based on the available data. Then, we leverage this data-based representation to derive closed-form data-driven expressions of minimum-energy controls for a wide range of control horizons. Further, we characterize the minimum number of data required to reconstruct the minimum-energy inputs, and discuss the numerical properties of our expressions. Finally, we investigate the effect of noise on our data-driven formulas, and, in the case of noise with known second-order statistics, we provide corrected expressions that converge asymptotically to the true optimal control inputs.


title: Stratification Dynamics of Titan's Lakes via Methane Evaporation

abstract: Saturn's moon Titan is the only extraterrestrial body known to host stable lakes and a hydrological cycle. Titan's lakes predominantly contain liquid methane, ethane, and nitrogen, with methane evaporation driving its hydrological cycle. Molecular interactions between these three species lead to non-ideal behavior that causes Titan's lakes to behave differently than Earth's lakes. Here, we numerically investigate how methane evaporation and non-ideal interactions affect the physical properties, structure, dynamics, and evolution of shallow lakes on Titan. We find that, under certain temperature regimes, methane-rich mixtures are denser than relatively ethane-rich mixtures. This allows methane evaporation to stratify Titan's lakes into ethane-rich upper layers and methane-rich lower layers, separated by a strong compositional gradient. At temperatures above 86K, lakes remain well-mixed and unstratified. Between 84 and 86K, lakes can stratify episodically. Below 84K, lakes permanently stratify, and develop very methane-depleted epilimnia. Despite small seasonal and diurnal deviations (<5K) from typical surface temperatures, Titan's rain-filled ephemeral lakes and "phantom lakes" may nevertheless experience significantly larger temperature fluctuations, resulting in polymictic or even meromictic stratification, which may trigger ethane ice precipitation.


title: Efficient Ridesharing Dispatch Using Multi-Agent Reinforcement Learning

abstract: With the advent of ride-sharing services, there is a huge increase in the number of people who rely on them for various needs. Most of the earlier approaches tackling this issue required handcrafted functions for estimating travel times and passenger waiting times. Traditional Reinforcement Learning (RL) based methods attempting to solve the ridesharing problem are unable to accurately model the complex environment in which taxis operate. Prior Multi-Agent Deep RL based methods based on Independent DQN (IDQN) learn decentralized value functions prone to instability due to the concurrent learning and exploring of multiple agents. Our proposed method based on QMIX is able to achieve centralized training with decentralized execution. We show that our model performs better than the IDQN baseline on a fixed grid size and is able to generalize well to smaller or larger grid sizes. Also, our algorithm is able to outperform IDQN baseline in the scenario where we have a variable number of passengers and cars in each episode. Code for our paper is publicly available at: https://github.com/UMich-ML-Group/RL-Ridesharing.


title: Recommendations for Emerging Air Taxi Network Operations based on Online Review Analysis of Helicopter Services

abstract: The effects of traffic congestion are adverse, primarily including air pollution, commuter stress, and an increase in vehicle operating costs and accidents on the road. In efforts to alleviate these problems in metropolitan cities, logistics companies plan to introduce a new method of everyday commute called air taxis, an Urban Air Mobility (UAM) service. These are electric-powered vehicles that are expected to operate in the forthcoming years by international transportation companies like Airbus, Uber, and Kitty Hawk. Since these flying taxis are emerging mode of transportation, it is necessary to provide recommendations for the initial design, implementation, and operation. This study proposes managerial insights for these upcoming services by analyzing online customer reviews and conducting an internal assessment of helicopter operations. Helicopters are similar to air taxis in regards to their operations, and therefore, customer reviews pertaining to the former can enable us to obtain insights into the strengths and weaknesses of the short-distance aviation service, in general. A four-stage sequential approach is used in this research, wherein the online reviews are mined in Stage 1, analyzed using the bigram and trigram models in Stage 2, 7S internal assessment is conducted for helicopter services in Stage 3, and managerial recommendations for air taxis are proposed in Stage 4. The insights obtained in this paper could assist any air taxi companies in providing better customer service when they venture into the market. Keywords: Air taxi; Emerging technology; Urban Air Mobility (UAM); Helicopter services; Online customer reviews; Text analytics;


title: Bogoliubov-Fermi Surfaces in Noncentrosymmetric Multicomponent Superconductors

abstract: We show that when the time reversal symmetry is broken in a multicomponent superconducting condensate without inversion symmetry the resulting Bogoliubov quasiparticles generically exhibit mini-Bogoliubov-Fermi (BF) surfaces, for small superconducting order parameter. The absence of inversion symmetry makes the BF surfaces stable with respect to weak perturbations. With sufficient increase of the order parameter, however, the Bogoliubov-Fermi surface may disappear through a Lifshitz transition, and the spectrum this way become fully gapped. Our demonstration is based on the computation of the effective Hamiltonian for the bands near the normal Fermi surface by the integration over high-energy states. Exceptions to the rule, and experimental consequences are briefly discussed.


title: Ratio of tiling generating functions of semi-hexagons and quartered hexagons with dents

abstract: We consider the tiling generating functions of semi-hexagons and quartered hexagons with dents on their sides. In general, there are no simple product formulas for these generating functions. However, we show that the modification in the regions' width changes the tiling generating functions by only a simple multiplicative factor.


title: Sparse GPU Kernels for Deep Learning

abstract: Scientific workloads have traditionally exploited high levels of sparsity to accelerate computation and reduce memory requirements. While deep neural networks can be made sparse, achieving practical speedups on GPUs is difficult because these applications have relatively moderate levels of sparsity that are not sufficient for existing sparse kernels to outperform their dense counterparts. In this work, we study sparse matrices from deep learning applications and identify favorable properties that can be exploited to accelerate computation. Based on these insights, we develop high-performance GPU kernels for two sparse matrix operations widely applicable in neural networks: sparse matrix-dense matrix multiplication and sampled dense-dense matrix multiplication. Our kernels reach 27% of single-precision peak on Nvidia V100 GPUs. Using our kernels, we demonstrate sparse Transformer and MobileNet models that achieve 1.2-2.1x speedups and up to 12.8x memory savings without sacrificing accuracy.


title: Focal ratio degradation for fiber positioner operation in astronomical spectrographs

abstract: Focal ratio degradation (FRD), the increase of light's focal ratio between the input into an optical fiber and the output, is important to characterize for astronomical spectrographs due to its effects on throughput and the point spread function. However, while FRD is a function of many fiber properties such as stresses, microbending, and surface imperfections, angular misalignments between the incoming light and the face of the fiber also affect the light profile and complicate this measurement. A compact experimental setup and a model separating FRD from angular misalignment was applied to a fiber subjected to varying stresses or angular misalignments to determine the magnitude of these effects. The FRD was then determined for a fiber in a fiber positioner that will be used in the Subaru Prime Focus Spectrograph (PFS). The analysis we carried out for the PFS positioner suggests that effects of angular misalignment dominate and no significant FRD increase due to stress should occur.


title: Exploring Weight Importance and Hessian Bias in Model Pruning

abstract: Model pruning is an essential procedure for building compact and computationally-efficient machine learning models. A key feature of a good pruning algorithm is that it accurately quantifies the relative importance of the model weights. While model pruning has a rich history, we still don't have a full grasp of the pruning mechanics even for relatively simple problems involving linear models or shallow neural nets. In this work, we provide a principled exploration of pruning by building on a natural notion of importance. For linear models, we show that this notion of importance is captured by covariance scaling which connects to the well-known Hessian-based pruning. We then derive asymptotic formulas that allow us to precisely compare the performance of different pruning methods. For neural networks, we demonstrate that the importance can be at odds with larger magnitudes and proper initialization is critical for magnitude-based pruning. Specifically, we identify settings in which weights become more important despite becoming smaller, which in turn leads to a catastrophic failure of magnitude-based pruning. Our results also elucidate that implicit regularization in the form of Hessian structure has a catalytic role in identifying the important weights, which dictate the pruning performance.


title: Learn to Earn: Enabling Coordination within a Ride Hailing Fleet

abstract: The problem of optimizing social welfare objectives on multi sided ride hailing platforms such as Uber, Lyft, etc., is challenging, due to misalignment of objectives between drivers, passengers, and the platform itself. An ideal solution aims to minimize the response time for each hyper local passenger ride request, while simultaneously maintaining high demand satisfaction and supply utilization across the entire city. Economists tend to rely on dynamic pricing mechanisms that stifle price sensitive excess demand and resolve the supply demand imbalances emerging in specific neighborhoods. In contrast, computer scientists primarily view it as a demand prediction problem with the goal of preemptively repositioning supply to such neighborhoods using black box coordinated multi agent deep reinforcement learning based approaches. Here, we introduce explainability in the existing supply repositioning approaches by establishing the need for coordination between the drivers at specific locations and times. Explicit need based coordination allows our framework to use a simpler non deep reinforcement learning based approach, thereby enabling it to explain its recommendations ex post. Moreover, it provides envy free recommendations i.e., drivers at the same location and time do not envy one another's future earnings. Our experimental evaluation demonstrates the effectiveness, the robustness, and the generalizability of our framework. Finally, in contrast to previous works, we make available a reinforcement learning environment for end to end reproducibility of our work and to encourage future comparative studies.


title: Probing the fission properties of neutron-rich actinides with the astrophysical $r$ process

abstract: We review recent work examining the influence of fission in rapid neutron capture ($r$-process) nucleosynthesis which can take place in astrophysical environments. We briefly discuss the impact of uncertain fission barriers and fission rates on the population of heavy actinide species. We demonstrate the influence of the fission fragment distributions for neutron-rich nuclei and discuss currently available treatments, including recent macroscopic-microscopic calculations. We conclude by comparing our nucleosynthesis results directly with stellar data for metal-poor stars rich in $r$-process elements to consider whether fission plays a role in the so-called `universality' of $r$-process abundances observed from star to star.


title: On the generalized Bykovskii presentation of Steinberg modules

abstract: We study presentations of the virtual dualizing modules of special linear groups of number rings, the Steinberg modules. Bykovskii gave a presentation for the Steinberg modules of the integers, and our main result is a generalization of this presentation to the Gaussian integers and the Eisenstein integers. We also show that this generalization does not give a presentation for the Steinberg modules of several Euclidean number rings.


title: Harnessing Dispersion in Soliton Microcombs to Mitigate Thermal Noise

abstract: We explore intrinsic thermal noise in soliton microcombs, revealing thermodynamic correlations induced by nonlinearity and group-velocity dispersion. A suitable dispersion design gives rise to control over thermal-noise transduction from the environment to a soliton microcomb. We present simulations with the Lugiato-Lefever equation (LLE), including temperature as a stochastic variable. By systematically tuning the dispersion, we suppress repetition-rate frequency fluctuations by up to 50 decibels for different LLE soliton solutions. In an experiment, we observe a measurement-system-limited 15-decibel reduction in the repetition-rate phase noise for various settings of the pump-laser frequency, and our measurements agree with a thermal-noise model. Finally, we compare two octave-spanning soliton microcombs with similar optical spectra and offset frequencies, but with designed differences in dispersion. Remarkably, their thermal-noise-limited carrier-envelope-offset frequency linewidths are 1 MHz and 100 Hz, which demonstrates an unprecedented potential to mitigate thermal noise. Our results guide future soliton-microcomb design for low-noise applications, and, more generally, they illuminate emergent properties of nonlinear, multi-mode optical systems subject to intrinsic fluctuations.


title: Highly Efficient Second Harmonic Generation of Thin Film Lithium Niobate Nanograting near Bound States in the Continuum

abstract: Bound states in the continuum (BICs), a concept from quantum mechanics, are ubiquitous physical phenomena where waves will be completely locked inside physical systems without energy leaky. Such a physical phenomenon in optics will provide a platform for optical mode confinement to strengthen local field enhancement in nonlinear optics. Here we utilize an optical system consisting of asymmetric nanogratings and waveguide of thin film lithium niobate (LiNbO3) material to enhance second harmonic response near BICs. By breaking the symmetry of grating periodicity, we realize strong local field confined inside waveguide up to 25 times normalized to incident field (with dissymmetric factor of 0.2), allowing strong light-matter interaction in nonlinear material. From the numerical simulation, we theoretically demonstrate that such an optical system can greatly enhance second harmonic intensity enhancement of about 104 compared with undersigned LiNbO3 film and conversion efficiency reaching 1.53e-5 for dissymmetric factor=0.2 under illumination of 1.33 GW/(suqare cm). Surprisingly, we can predict that a giant enhancement of second harmonic conversion efficiency will exceed 8.13e-5 for dissymmetric factor=0.1 when the optical system is extremely close to BICs. We believe that such an optical system to trap local field inside is also accessible to promote the application of thin film lithium niobate in the field of integrated nonlinear optics.


title: Neural Topic Modeling with Continual Lifelong Learning

abstract: Lifelong learning has recently attracted attention in building machine learning systems that continually accumulate and transfer knowledge to help future learning. Unsupervised topic modeling has been popularly used to discover topics from document collections. However, the application of topic modeling is challenging due to data sparsity, e.g., in a small collection of (short) documents and thus, generate incoherent topics and sub-optimal document representations. To address the problem, we propose a lifelong learning framework for neural topic modeling that can continuously process streams of document collections, accumulate topics and guide future topic modeling tasks by knowledge transfer from several sources to better deal with the sparse data. In the lifelong process, we particularly investigate jointly: (1) sharing generative homologies (latent topics) over lifetime to transfer prior knowledge, and (2) minimizing catastrophic forgetting to retain the past learning via novel selective data augmentation, co-training and topic regularization approaches. Given a stream of document collections, we apply the proposed Lifelong Neural Topic Modeling (LNTM) framework in modeling three sparse document collections as future tasks and demonstrate improved performance quantified by perplexity, topic coherence and information retrieval task.


title: Topological transport of deconfined hedgehogs in magnets

abstract: We theoretically investigate the dynamics of magnetic hedgehogs, which are three-dimensional topological spin textures that exist in common magnets, focusing on their transport properties and connections to spintronics. We show that fictitious magnetic monopoles carried by hedgehog textures obey a topological conservation law, based on which a hydrodynamic theory is developed. We propose a nonlocal transport measurement in the disordered phase, where the conservation of the hedgehog flow results in a nonlocal signal decaying inversely proportional to the distance. The bulk-edge correspondence between hedgehog number and skyrmion number, the fictitious electric charges arising from magnetic dynamics, and the analogy between bound states of hedgehogs in ordered phase and the quark confinement in quantum chromodynamics are also discussed. Our study points to a practical potential in utilizing hedgehog flows for long-range neutral signal propagation or manipulation of skyrmion textures in three-dimensional magnetic materials.


title: Gradient-free Online Learning in Games with Delayed Rewards

abstract: Motivated by applications to online advertising and recommender systems, we consider a game-theoretic model with delayed rewards and asynchronous, payoff-based feedback. In contrast to previous work on delayed multi-armed bandits, we focus on multi-player games with continuous action spaces, and we examine the long-run behavior of strategic agents that follow a no-regret learning policy (but are otherwise oblivious to the game being played, the objectives of their opponents, etc.). To account for the lack of a consistent stream of information (for instance, rewards can arrive out of order, with an a priori unbounded delay, etc.), we introduce a gradient-free learning policy where payoff information is placed in a priority queue as it arrives. In this general context, we derive new bounds for the agents' regret; furthermore, under a standard diagonal concavity assumption, we show that the induced sequence of play converges to Nash equilibrium with probability $1$, even if the delay between choosing an action and receiving the corresponding reward is unbounded.


title: Finite momentum condensate brought on by Zeeman field

abstract: We study superfluid states in a two-dimensional fermionic attractive Hubbard model with Zeeman coupling to an external field. Focusing our attention on singlet pairing in both weak and strong coupling regimes, we reveal a rich phase diagram of finite momentum condensates which exhibits both Fulde-Ferrell and Larkin-Ovchinnikov orders at zero temperature. The latter are commensurate stripe states that spontaneously break a lattice symmetry; many stable ordering wavevectors are found as a function of particle density and Zeeman field. Stronger coupling significantly enhances the stability of the finite momentum condensates, but our numerical mean-field calculations underestimate the effect of fluctuations and indicate a possible localization near half-filling.


title: Floquet-Enhanced Spin Swaps

abstract: The transfer of information between quantum systems is essential for quantum communication and computation. In quantum computers, high connectivity between qubits can improve the efficiency of algorithms, assist in error correction, and enable high-fidelity readout. However, as with all quantum gates, operations to transfer information between qubits can suffer from errors associated with spurious interactions and disorder between qubits, among other things. Here, we harness interactions and disorder between qubits to improve a swap operation for spin eigenstates in semiconductor gate-defined quantum-dot spins. We use a system of four electron spins, which we configure as two exchange-coupled singlet-triplet qubits. Our approach, which relies on the physics underlying discrete time crystals, enhances the quality factor of spin-eigenstate swaps by up to an order of magnitude. Our results show how interactions and disorder in multi-qubit systems can stabilize non-trivial quantum operations and suggest potential uses for non-equilibrium quantum phenomena, like time crystals, in quantum information processing applications. Our results also confirm the long-predicted emergence of effective Ising interactions between exchange-coupled singlet-triplet qubits.


title: Using photoelectron spectroscopy to measure resonant inelastic X-ray scattering: A computational investigation

abstract: Resonant inelastic X-ray scattering (RIXS) has become an important scientific tool. Nonetheless, conventional high-resolution RIXS measurements (<100 meV), especially in the soft x-ray range, require large and low-throughput grating spectrometers that limits measurement accuracy and simplicity. Here, we computationally investigate the performance of a different method for measuring RIXS, Photoelectron Spectrometry for Analysis of X-rays (PAX). This method transforms the X-ray measurement problem of RIXS to an electron measurement problem, enabling use of compact, high-throughput electron spectrometers. In PAX, X-rays to be measured are incident on a converter material and the energy distribution of the resultant photoelectrons, the PAX spectrum, is measured with an electron spectrometer. The incident X-ray spectrum is then estimated through a deconvolution algorithm that leverages concepts from machine learning. We investigate a few example PAX cases. Using the 3d levels of Ag as a converter material, and with 10$^5$ detected electrons, we accurately estimate features with 100s of meV width in a model RIXS spectrum. Using a sharp Fermi edge to encode RIXS spectra, we accurately distinguish 100 meV FWHM peaks separated by 45 meV with 10$^7$ electrons detected that were photoemitted from within 0.4 eV of the Fermi level.


title: Simulation-Based Digital Twin Development for Blockchain Enabled End-to-End Industrial Hemp Supply Chain Risk Management

abstract: With the passage of the 2018 U.S. Farm Bill, Industrial Hemp production is moved from limited pilot programs to a regulated agriculture production system. However, Industrial Hemp Supply Chain (IHSC) faces critical challenges, including: high complexity and variability, very limited production knowledge, lack of data and information tracking. In this paper, we propose blockchain-enabled IHSC and develop a preliminary simulation-based digital twin for this distributed cyber-physical system (CPS) to support the process learning and risk management. Basically, we develop a two-layer blockchain with proof of authority smart contract, which can track the data and key information, improve the supply chain transparency, and leverage local authorities and state regulators to ensure the quality control verification. Then, we introduce a stochastic simulation-based digital twin for IHSC risk management, which can characterize the process spatial-temporal causal interdependencies and dynamic evolution to guide risk control and decision making. Our empirical study demonstrates the promising performance of proposed platform.


title: Probabilistic Fair Clustering

abstract: In clustering problems, a central decision-maker is given a complete metric graph over vertices and must provide a clustering of vertices that minimizes some objective function. In fair clustering problems, vertices are endowed with a color (e.g., membership in a group), and the features of a valid clustering might also include the representation of colors in that clustering. Prior work in fair clustering assumes complete knowledge of group membership. In this paper, we generalize prior work by assuming imperfect knowledge of group membership through probabilistic assignments. We present clustering algorithms in this more general setting with approximation ratio guarantees. We also address the problem of "metric membership", where different groups have a notion of order and distance. Experiments are conducted using our proposed algorithms as well as baselines to validate our approach and also surface nuanced concerns when group membership is not known deterministically.


title: Master Integrals for two-loop QCD corrections to Quasi PDFs

abstract: We compute the master integrals for two-loop QCD corrections to quasi parton distribution functions (PDFs) in large momentum effective theory. Analytical results of the master integrals are derived using the method of differential equations, along with a proper choice of canonical basis. The results of master integrals are expressed in terms of Goncharov polylogarithms. These integrals allow to extract the two-loop short-distance matching coefficients between quasi and light cone PDFs in large momentum effective theory, and are helpful to extract the nucleon PDFs from first principles.


title: Establishing correction solutions for Scanning Laser Doppler Vibrometer measurements affected by sensor head vibration

abstract: Scanning Laser Doppler Vibrometer (SLDV) measurements are affected by sensor head vibrations as if they are vibrations of the target surface itself. This paper presents practical correction schemes to solve this important problem. The study begins with a theoretical analysis, for arbitrary vibration and any scanning configuration, which shows that the only measurement required is of the vibration velocity at the incident point on the final steering mirror in the direction of the outgoing laser beam and this underpins the two correction options investigated. Correction sensor location is critical; the first scheme uses an accelerometer pair located on the SLDV front panel, either side of the emitted laser beam, while the second uses a single accelerometer located along the optical axis behind the final steering mirror. Initial experiments with a vibrating sensor head and stationary target confirmed the sensitivity to sensor head vibration together with the effectiveness of the correction schemes which reduced overall error by 17 dB (accelerometer pair) and 27 dB (single accelerometer). In extensive further tests with both sensor head and target vibration, conducted across a range of scan angles, the correction schemes reduced error by typically 14 dB (accelerometer pair) and 20 dB (single accelerometer). RMS phase error was also up to 30% lower for the single accelerometer option, confirming it as the preferred option. The theory suggests a geometrical weighting of the correction measurements and this provides a small additional improvement. Since the direction of the outgoing laser beam and its incident point on the final steering mirror both change as the mirrors scan the laser beam, the use of fixed axis correction transducers mounted in fixed locations makes the correction imperfect. The associated errors are estimated and expected to be generally small, and the theoretical basis...


title: On the effect of normalization layers on Differentially Private training of deep Neural networks

abstract: Differentially private stochastic gradient descent (DPSGD) is a variation of stochastic gradient descent based on the Differential Privacy (DP) paradigm, which can mitigate privacy threats that arise from the presence of sensitive information in training data. However, one major drawback of training deep neural networks with DPSGD is a reduction in the models accuracy. In this paper, we study the effect of normalization layers on the performance of DPSGD. We demonstrate that normalization layers significantly impact the utility of deep neural networks with noisy parameters and should be considered essential ingredients of training with DPSGD. In particular, we propose a novel method for integrating batch normalization with DPSGD without incurring an additional privacy loss. With our approach, we are able to train deeper networks and achieve a better utility-privacy trade-off.


title: Entanglement entropy for integer quantum Hall effect in two and higher dimensions

abstract: We analyze the entanglement entropy, in real space, for the higher dimensional integer quantum Hall effect on ${\mathbb {CP}}^k$ (any even dimension) for abelian and nonabelian magnetic background fields. In the case of $\nu=1$ we perform a semiclassical calculation which gives the entropy as proportional to the phase-space area. This exhibits a certain universality in the sense that the proportionality constant is the same for any dimension and for any background, abelian or nonabelian. We also point out some distinct features in the profiles of the eigenfunctions of the two-point correlator that underline the difference in the value of entropies between $\nu=1$ and higher Landau levels.


title: Meta Learning in the Continuous Time Limit

abstract: In this paper, we establish the ordinary differential equation (ODE) that underlies the training dynamics of Model-Agnostic Meta-Learning (MAML). Our continuous-time limit view of the process eliminates the influence of the manually chosen step size of gradient descent and includes the existing gradient descent training algorithm as a special case that results from a specific discretization. We show that the MAML ODE enjoys a linear convergence rate to an approximate stationary point of the MAML loss function for strongly convex task losses, even when the corresponding MAML loss is non-convex. Moreover, through the analysis of the MAML ODE, we propose a new BI-MAML training algorithm that significantly reduces the computational burden associated with existing MAML training methods. To complement our theoretical findings, we perform empirical experiments to showcase the superiority of our proposed methods with respect to the existing work.