title: Utilizing XAI technique to improve autoencoder based model for computer network anomaly detection with shapley additive explanation(SHAP)

abstract: Machine learning (ML) and Deep Learning (DL) methods are being adopted rapidly, especially in computer network security, such as fraud detection, network anomaly detection, intrusion detection, and much more. However, the lack of transparency of ML and DL based models is a major obstacle to their implementation and criticized due to its black-box nature, even with such tremendous results. Explainable Artificial Intelligence (XAI) is a promising area that can improve the trustworthiness of these models by giving explanations and interpreting its output. If the internal working of the ML and DL based models is understandable, then it can further help to improve its performance. The objective of this paper is to show that how XAI can be used to interpret the results of the DL model, the autoencoder in this case. And, based on the interpretation, we improved its performance for computer network anomaly detection. The kernel SHAP method, which is based on the shapley values, is used as a novel feature selection technique. This method is used to identify only those features that are actually causing the anomalous behaviour of the set of attack/anomaly instances. Later, these feature sets are used to train and validate the autoencoder but on benign data only. Finally, the built SHAP_Model outperformed the other two models proposed based on the feature selection method. This whole experiment is conducted on the subset of the latest CICIDS2017 network dataset. The overall accuracy and AUC of SHAP_Model is 94% and 0.969, respectively.


title: Event-Aware Multimodal Mobility Nowcasting

abstract: As a decisive part in the success of Mobility-as-a-Service (MaaS), spatio-temporal predictive modeling for crowd movements is a challenging task particularly considering scenarios where societal events drive mobility behavior deviated from the normality. While tremendous progress has been made to model high-level spatio-temporal regularities with deep learning, most, if not all of the existing methods are neither aware of the dynamic interactions among multiple transport modes nor adaptive to unprecedented volatility brought by potential societal events. In this paper, we are therefore motivated to improve the canonical spatio-temporal network (ST-Net) from two perspectives: (1) design a heterogeneous mobility information network (HMIN) to explicitly represent intermodality in multimodal mobility; (2) propose a memory-augmented dynamic filter generator (MDFG) to generate sequence-specific parameters in an on-the-fly fashion for various scenarios. The enhanced event-aware spatio-temporal network, namely EAST-Net, is evaluated on several real-world datasets with a wide variety and coverage of societal events. Both quantitative and qualitative experimental results verify the superiority of our approach compared with the state-of-the-art baselines. Code and data are published on https://github.com/underdoc-wang/EAST-Net.


title: Combating Collusion Rings is Hard but Possible

abstract: A recent report of Littmann [Commun. ACM '21] outlines the existence and the fatal impact of collusion rings in academic peer reviewing. We introduce and analyze the problem Cycle-Free Reviewing that aims at finding a review assignment without the following kind of collusion ring: A sequence of reviewers each reviewing a paper authored by the next reviewer in the sequence (with the last reviewer reviewing a paper of the first), thus creating a review cycle where each reviewer gives favorable reviews. As a result, all papers in that cycle have a high chance of acceptance independent of their respective scientific merit. We observe that review assignments computed using a standard Linear Programming approach typically admit many short review cycles. On the negative side, we show that Cycle-Free Reviewing is NP-hard in various restricted cases (i.e., when every author is qualified to review all papers and one wants to prevent that authors review each other's or their own papers or when every author has only one paper and is only qualified to review few papers). On the positive side, among others, we show that, in some realistic settings, an assignment without any review cycles of small length always exists. This result also gives rise to an efficient heuristic for computing (weighted) cycle-free review assignments, which we show to be of excellent quality in practice.


title: Safety-Critical Control with Input Delay in Dynamic Environment

abstract: Endowing nonlinear systems with safe behavior is increasingly important in modern control. This task is particularly challenging for real-life control systems that must operate safely in dynamically changing environments. This paper develops a framework for safety-critical control in dynamic environments, by establishing the notion of environmental control barrier functions (ECBFs). The framework is able to guarantee safety even in the presence of input delay, by accounting for the evolution of the environment during the delayed response of the system. The underlying control synthesis relies on predicting the future state of the system and the environment over the delay interval, with robust safety guarantees against prediction errors. The efficacy of the proposed method is demonstrated by a simple adaptive cruise control problem and a more complex robotics application on a Segway platform.


title: Counting Hyperbolic Components in the Main Molecule

abstract: We count the number of hyperbolic components of period n that lie on the main molecule of the Mandelbrot set. We give a formula for how to compute the number of these hyperbolic components of period n in terms of the divisors of n and in the prime power case, an explicit formula is derived.


title: Positional Encoding Augmented GAN for the Assessment of Wind Flow for Pedestrian Comfort in Urban Areas

abstract: Approximating wind flows using computational fluid dynamics (CFD) methods can be time-consuming. Creating a tool for interactively designing prototypes while observing the wind flow change requires simpler models to simulate faster. Instead of running numerical approximations resulting in detailed calculations, data-driven methods and deep learning might be able to give similar results in a fraction of the time. This work rephrases the problem from computing 3D flow fields using CFD to a 2D image-to-image translation-based problem on the building footprints to predict the flow field at pedestrian height level. We investigate the use of generative adversarial networks (GAN), such as Pix2Pix [1] and CycleGAN [2] representing state-of-the-art for image-to-image translation task in various domains as well as U-Net autoencoder [3]. The models can learn the underlying distribution of a dataset in a data-driven manner, which we argue can help the model learn the underlying Reynolds-averaged Navier-Stokes (RANS) equations from CFD. We experiment on novel simulated datasets on various three-dimensional bluff-shaped buildings with and without height information. Moreover, we present an extensive qualitative and quantitative evaluation of the generated images for a selection of models and compare their performance with the simulations delivered by CFD. We then show that adding positional data to the input can produce more accurate results by proposing a general framework for injecting such information on the different architectures. Furthermore, we show that the models performances improve by applying attention mechanisms and spectral normalization to facilitate stable training.


title: A Third Epoch Proper Motion Study of The Forward Shock in Kepler's Supernova Remnant

abstract: We present measurements of the expansion of Kepler's Supernova Remnant (SNR) over three epochs of Chandra X-ray observations from 2000, 2006, and 2014. As the remnant of a historical supernova (observed in 1604 CE), Kepler's SNR presents the rare opportunity to study the dynamical evolution of such an object in real time. Measurements of the asymmetry in forward shock velocity can also provide insight into the nature of the explosion and density of the circumstellar material. Combining data from 2014 with previous epochs in 2000 and 2006, we can observe the proper motion of filaments along the outer rim of the SNR. Prior studies of Kepler's SNR have shown proper motion differences up to a factor of 3 between northern and southern regions around the remnant. With the longer time baseline we use here, we find results that are consistent with previous studies, but with smaller uncertainties. Additionally, by adding a third epoch of observations, we search for any systemic change in the velocity in the form of a deceleration of the blast wave, as was recently reported in Tycho's SNR. We find little to no conclusive evidence of such deceleration, and conclude that Kepler's SNR is encountering circumstellar material that is roughly constant in density, though substantially varied around the periphery.


title: Kernel Matrix Completion for Offline Quantum-Enhanced Machine Learning

abstract: Enhancing classical machine learning (ML) algorithms through quantum kernels is a rapidly growing research topic in quantum machine learning (QML). A key challenge in using kernels -- both classical and quantum -- is that ML workflows involve acquiring new observations, for which new kernel values need to be calculated. Transferring data back-and-forth between where the new observations are generated & a quantum computer incurs a time delay; this delay may exceed the timescales relevant for using the QML algorithm in the first place. In this work, we show quantum kernel matrices can be extended to incorporate new data using a classical (chordal-graph-based) matrix completion algorithm. The minimal sample complexity needed for perfect completion is dependent on matrix rank. We empirically show that (a) quantum kernel matrices can be completed using this algorithm when the minimal sample complexity is met, (b) the error of the completion degrades gracefully in the presence of finite-sampling noise, and (c) the rank of quantum kernel matrices depends weakly on the expressibility of the quantum feature map generating the kernel. Further, on a real-world, industrially-relevant data set, the completion error behaves gracefully even when the minimal sample complexity is not reached.


title: Recent progress of fabrication, characterization, and applications of anodic aluminum oxide (AAO) membrane: A review

abstract: The progress of membrane technology with the development of membranes with controlled parameters led to porous membranes. These membranes can be formed using different methods and have numerous applications in science and technology. Anodization of aluminum in this aspect is an electro-synthetic process that changes the surface of the metal through oxidation to deliver an anodic oxide layer. This process results in a self-coordinated, exceptional cluster of round and hollow formed pores with controllable pore widths, periodicity, and thickness. After the initial introduction, the paper proceeds with a brief overview of anodizing process. That engages anodic aluminum oxide (AAO) layers to be used as formats in various nanotechnology applications without the necessity for expensive lithographical systems. This review article surveys the current status of the investigation on AAO membranes. A comprehensive analysis is performed on AAO membranes in applications; filtration, sensors, drug delivery, template-assisted growth of various nanostructures. Their multiple usages in nanotechnology have also been discussed to gather nanomaterials and devices or unite them into specific applications, such as nano-electronic gadgets, channel layers, and clinical platforms tissue designing. From this review, the fact that the specified enhancement of properties of AAO can be done by varying geometric parameters of AAO has been highlighted. No review paper focused on a detailed discussion of applications of AAO with prospects and challenges. This review paper represents the formation, properties, applications with objective consideration of the prospects and challenges of AAO applications. The prospects may appeal to researchers to promote the development of unique membranes with functionalization and controlled geometric parameters and check the feasibility of the AAO membranes in nano-devices.


title: Quantum Algorithms for Reinforcement Learning with a Generative Model

abstract: Reinforcement learning studies how an agent should interact with an environment to maximize its cumulative reward. A standard way to study this question abstractly is to ask how many samples an agent needs from the environment to learn an optimal policy for a $\gamma$-discounted Markov decision process (MDP). For such an MDP, we design quantum algorithms that approximate an optimal policy ($\pi^*$), the optimal value function ($v^*$), and the optimal $Q$-function ($q^*$), assuming the algorithms can access samples from the environment in quantum superposition. This assumption is justified whenever there exists a simulator for the environment; for example, if the environment is a video game or some other program. Our quantum algorithms, inspired by value iteration, achieve quadratic speedups over the best-possible classical sample complexities in the approximation accuracy ($\epsilon$) and two main parameters of the MDP: the effective time horizon ($\frac{1}{1-\gamma}$) and the size of the action space ($A$). Moreover, we show that our quantum algorithm for computing $q^*$ is optimal by proving a matching quantum lower bound.


title: A methodology to characterize the energy transfer and inter-scale transport of coherent structures using mode decomposition

abstract: A methodology is developed to quantify the transfer and transport of kinetic energy of specific scales associated with coherent structures. Coherent motions are characterized by the triple decomposition of a multi-scale flow and used to define mean, coherent, and random kinetic energy. Specific scales of individual coherent structures are identified through mode decomposition, whereby the total coherent velocity is separated into a set of velocities classified by the scale of the mode based on frequency to embed spectral characteristics. The set of scale-specific coherent velocities are used to identify scale-specific coherent kinetic energy, which quantifies the kinetic energy of a specific scale, and an equation for the balance of scale-specific coherent kinetic energy. Each equation includes terms with velocity triads, which represent the inter-scale transfer. The methodology is assessed in the wake behind a square cylinder, where scales of the flow are related to the vortex shedding. The scale-specific inter-scale transfer identifies that kinetic energy initially in the near wake is transferred from vortex shedding to scales associated with higher harmonics of the vortex shedding. In the far wake, inter-scale transfer is homogeneous and transfer occurs over many frequencies. While the inter-scale transfer is identified over a range of scales, the scale-specific transport, convection, and dissipation of coherent kinetic energy are associated with only the largest, dominant scales. The wake flow is subjected to unsteady inflow at various frequencies to identify the changes to inter-scale transfer and coherent kinetic energy induced by other frequencies.


title: The Need for Ethical, Responsible, and Trustworthy Artificial Intelligence for Environmental Sciences

abstract: Given the growing use of Artificial Intelligence (AI) and machine learning (ML) methods across all aspects of environmental sciences, it is imperative that we initiate a discussion about the ethical and responsible use of AI. In fact, much can be learned from other domains where AI was introduced, often with the best of intentions, yet often led to unintended societal consequences, such as hard coding racial bias in the criminal justice system or increasing economic inequality through the financial system. A common misconception is that the environmental sciences are immune to such unintended consequences when AI is being used, as most data come from observations, and AI algorithms are based on mathematical formulas, which are often seen as objective. In this article, we argue the opposite can be the case. Using specific examples, we demonstrate many ways in which the use of AI can introduce similar consequences in the environmental sciences. This article will stimulate discussion and research efforts in this direction. As a community, we should avoid repeating any foreseeable mistakes made in other domains through the introduction of AI. In fact, with proper precautions, AI can be a great tool to help {\it reduce} climate and environmental injustice. We primarily focus on weather and climate examples but the conclusions apply broadly across the environmental sciences.


title: Approximating the Longest Common Subsequence problem within a sub-polynomial factor in linear time

abstract: The Longest Common Subsequence (LCS) of two strings is a fundamental string similarity measure with a classical dynamic programming solution taking quadratic time. Despite significant efforts, little progress was made in improving the runtime. Even in the realm of approximation, not much was known for linear time algorithms beyond the trivial $\sqrt{n}$-approximation. Recent breakthrough result provided a $n^{0.497}$-factor approximation algorithm [HSSS19], which was more recently improved to a $n^{0.4}$-factor one [BCD21]. The latter paper also showed a $n^{2-2.5\alpha}$ time algorithm which outputs a $n^{\alpha}$ approximation to the LCS, but so far no sub-polynomial approximation is known in truly subquadratic time. In this work, we show an algorithm which runs in $O(n)$ time, and outputs a $n^{o(1)}$-factor approximation to LCS$(x,y)$, with high probability, for any pair of length $n$ input strings. Our entire algorithm is merely an efficient black-box reduction to the Block-LIS problem, introduced very recently in [ANSS21], and solving the Block-LIS problem directly.


title: Dense Video Captioning Using Unsupervised Semantic Information

abstract: We introduce a method to learn unsupervised semantic visual information based on the premise that complex events (e.g., minutes) can be decomposed into simpler events (e.g., a few seconds), and that these simple events are shared across several complex events. We split a long video into short frame sequences to extract their latent representation with three-dimensional convolutional neural networks. A clustering method is used to group representations producing a visual codebook (i.e., a long video is represented by a sequence of integers given by the cluster labels). A dense representation is learned by encoding the co-occurrence probability matrix for the codebook entries. We demonstrate how this representation can leverage the performance of the dense video captioning task in a scenario with only visual features. As a result of this approach, we are able to replace the audio signal in the Bi-Modal Transformer (BMT) method and produce temporal proposals with comparable performance. Furthermore, we concatenate the visual signal with our descriptor in a vanilla transformer method to achieve state-of-the-art performance in captioning compared to the methods that explore only visual features, as well as a competitive performance with multi-modal methods. Our code is available at https://github.com/valterlej/dvcusi.


title: Edge Partitions of Complete Geometric Graphs (Part 2)

abstract: Recently, the second and third author showed that complete geometric graphs on $2n$ vertices in general cannot be partitioned into $n$ plane spanning trees. Building up on this work, in this paper, we initiate the study of partitioning into beyond planar subgraphs, namely into $k$-planar and $k$-quasi-planar subgraphs and obtain first bounds on the number of subgraphs required in this setting.


title: Mutual and self-inductance in planarized multilayered superconductor integrated circuits: Microstrips, striplines, bends, meanders, ground plane perforations

abstract: Data are presented on mutual and self-inductance of various inductors used in multilayered superconductor integrated circuits: microstrips and striplines with widths of signal traces from 250 nm to a few micrometers, located on the same circuit layer at various distances from each other (from 250 nm to a few micrometers) and/or on different layers spaced vertically; effect of long slits in the ground plane(s) along the inductors on their mutual inductance; inductance of right-angled bends; inductance of meanders. Simple analytical expressions for mutual and self-inductance of the basic inductors are given, describing experimental data with accuracy better than 2% in a very wide range of parameters. They can be used for superconductor integrated circuit design and calibration of numerical inductance extractors. Measurements were done using circuits fabricated in fully planarized fabrication processes with eight niobium layers and Nb/Al-AlOx/Nb Josephson junctions, known as the SFQ5ee and SC1 processes developed at MIT Lincoln Laboratory for superconductor electronics. Mutual inductance decreases exponentially with distance between striplines and as a second power of the distance between microstrips, strongly depends on magnetic field penetration depths in superconducting ground planes, whereas superconducting properties of the signal traces are practically immaterial. Weak dependence of mutual inductance on the linewidth of superconducting wires indicates that area of superconducting flux transformers - the essential component of all digital circuits using ac power, superconducting qubits, and sensor arrays - scales poorly with the linewidth, putting a predictable upper limit on the integration scale of such circuits.


title: Curriculum learning for data-driven modeling of dynamical systems

abstract: The reliable prediction of the temporal behavior of complex systems is key in numerous scientific fields. This strong interest is however hindered by modeling issues: often, the governing equations describing the physics of the system under consideration are not accessible or, if known, their solution might require a computational time incompatible with the prediction time constraints. Not surprisingly, approximating complex systems in a generic functional format and informing it ex-nihilo from available observations has become common practice in the age of machine learning, as illustrated by the numerous successful examples based on deep neural networks. However, generalizability of the models, margins of guarantee and the impact of data are often overlooked or examined mainly by relying on prior knowledge of the physics. We tackle these issues from a different viewpoint, by adopting a curriculum learning strategy. In curriculum learning, the dataset is structured such that the training process starts from simple samples towards more complex ones in order to favor convergence and generalization. The concept has been developed and successfully applied in robotics and control of systems. Here, we apply this concept for the learning of complex dynamical systems in a systematic way. First, leveraging insights from the ergodic theory, we assess the amount of data sufficient for a-priori guaranteeing a faithful model of the physical system and thoroughly investigate the impact of the training set and its structure on the quality of long-term predictions. Based on that, we consider entropy as a metric of complexity of the dataset; we show how an informed design of the training set based on the analysis of the entropy significantly improves the resulting models in terms of generalizability, and provide insights on the amount and the choice of data required for an effective data-driven modeling.


title: Rethinking Nearest Neighbors for Visual Classification

abstract: Neural network classifiers have become the de-facto choice for current "pre-train then fine-tune" paradigms of visual classification. In this paper, we investigate k-Nearest-Neighbor (k-NN) classifiers, a classical model-free learning method from the pre-deep learning era, as an augmentation to modern neural network based approaches. As a lazy learning method, k-NN simply aggregates the distance between the test image and top-k neighbors in a training set. We adopt k-NN with pre-trained visual representations produced by either supervised or self-supervised methods in two steps: (1) Leverage k-NN predicted probabilities as indications for easy vs. hard examples during training. (2) Linearly interpolate the k-NN predicted distribution with that of the augmented classifier. Via extensive experiments on a wide range of classification tasks, our study reveals the generality and flexibility of k-NN integration with additional insights: (1) k-NN achieves competitive results, sometimes even outperforming a standard linear classifier. (2) Incorporating k-NN is especially beneficial for tasks where parametric classifiers perform poorly and / or in low-data regimes. We hope these discoveries will encourage people to rethink the role of pre-deep learning, classical methods in computer vision. Our code is available at: https://github.com/KMnP/nn-revisit.


title: Friendscope: Exploring In-the-Moment Experience Sharing on Camera Glasses via a Shared Camera

abstract: We introduce Friendscope, an instant, in-the-moment experience sharing system for lightweight commercial camera glasses. Friendscope explores a new concept called a shared camera. This concept allows a wearer to share control of their camera with a remote friend, making it possible for both people to capture photos/videos from the camera in the moment. Through a user study with 48 participants, we found that users felt connected to each other, describing the shared camera as a more intimate form of livestreaming. Moreover, even privacy-sensitive users were able to retain their sense of privacy and control with the shared camera. Friendscope's different shared camera configurations give wearers ultimate control over who they share the camera with and what photos/videos they share. We conclude with design implications for future experience sharing systems.


title: On the quantum origin of potentials

abstract: The dynamics of a quantum particle is governed by its wavefunction, which in turn is determined by the classical potential to which it is subjected. However the wavefunction itself induces a quantum potential, the particle `sees' the sum of the classical and quantum potentials, and there is no way to separate the two. Therefore in principle, part or whole of an observed potential may be attributable to a quantum potential. We examine this possibility and discuss implications.


title: Applying SoftTriple Loss for Supervised Language Model Fine Tuning

abstract: We introduce a new loss function TripleEntropy, to improve classification performance for fine-tuning general knowledge pre-trained language models based on cross-entropy and SoftTriple loss. This loss function can improve the robust RoBERTa baseline model fine-tuned with cross-entropy loss by about (0.02% - 2.29%). Thorough tests on popular datasets indicate a steady gain. The fewer samples in the training dataset, the higher gain -- thus, for small-sized dataset it is 0.78%, for medium-sized -- 0.86% for large -- 0.20% and for extra-large 0.04%.


title: On optimal solutions of the Borel problem in the Roumieu case

abstract: The Borel problem for Denjoy--Carleman and Braun--Meise--Taylor classes has well-known optimal solutions. The unified treatment of these ultradifferentiable classes by means of one-parameter families of weight sequences allows to compare these optimal solutions. We determine the relations among them and give conditions for their equivalence in the Roumieu case.


title: Manifold embeddings by heat kernels of connection Laplacian

abstract: We show that any closed $n$-dimensional manifold $(M,g)$ can be embedded by a map constructed using the heat kernels of the connection Laplacian as well as a maps constructed using truncated heat kernel at a certain time $t$ from a $\delta$-net $\{q_i\}_{i=1}^{N_0}$ via a rescaling trick. Both the time $t$ and $N_0$ are bounded in terms of the dimension, bounds on the Ricci curvature and its derivative, the injectivity radius, and the volume. Moreover, both maps can be made arbitrarily close to an isometry.


title: Manifolds with nonnegative curvature operator of the second kind

abstract: We investigate the curvature operator of the second kind on Riemannian manifolds and prove several classification results. The first one asserts that a closed Riemannian manifold with three-positive curvature operator of the second kind is diffeomorphic to a spherical space form, improving a recent result of Cao-Gursky-Tran assuming two-positivity. The second one states that a closed Riemannian manifold with three-nonnegative curvature operator of the second kind is either diffeomorphic to a spherical space form, or flat, or isometric to a quotient of a compact irreducible symmetric space. This settles the nonnegativity part of Nishikawa's conjecture under a weaker assumption.


title: ErAConD : Error Annotated Conversational Dialog Dataset for Grammatical Error Correction

abstract: Currently available grammatical error correction (GEC) datasets are compiled using well-formed written text, limiting the applicability of these datasets to other domains such as informal writing and dialog. In this paper, we present a novel parallel GEC dataset drawn from open-domain chatbot conversations; this dataset is, to our knowledge, the first GEC dataset targeted to a conversational setting. To demonstrate the utility of the dataset, we use our annotated data to fine-tune a state-of-the-art GEC model, resulting in a 16 point increase in model precision. This is of particular importance in a GEC model, as model precision is considered more important than recall in GEC tasks since false positives could lead to serious confusion in language learners. We also present a detailed annotation scheme which ranks errors by perceived impact on comprehensibility, making our dataset both reproducible and extensible. Experimental results show the effectiveness of our data in improving GEC model performance in conversational scenario.


title: Variable Stars in the giant satellite galaxy Antlia 2

abstract: We report 350 pulsating variable stars found in four DECam fields ($\sim 12$ sq. deg.) covering the Antlia 2 satellite galaxy. The sample of variables includes 318 RR Lyrae stars and eight anomalous Cepheids in the galaxy. Reclassification of several objects designated previously to be RR Lyrae as Anomalous Cepheids gets rid of the satellite's stars intervening along the line of sight. This in turn removes the need for prolific tidal disruption of the dwarf, in agreement with the recently updated proper motion and peri-centre measurements based on Gaia EDR3. There are also several bright foreground RR Lyrae stars in the field, and two distant background variables located $\sim 45$ kpc behind Antlia 2. We found RR Lyrae stars over the full search area, suggesting that the galaxy is very large and likely extends beyond our observed area. The mean period of the RRab in Antlia 2 is 0.599 days, while the RRc have a mean period of 0.368 days, indicating the galaxy is an Oosterhoff-intermediate system. The distance to Antlia 2 based on the RR Lyrae stars is $124.1$ kpc ($\mu_0=20.47$) with a dispersion of $5.4$ kpc. We measured a clear distance gradient along the semi-major axis of the galaxy, with the South-East side of Antlia 2 being $\sim13$ kpc farther away from the North-West side. This elongation along the line of sight is likely due to the ongoing tidal disruption of Ant 2.


title: Catalyzing collaborations: Prescribed interactions at conferences determine team formation

abstract: Collaboration plays a key role in knowledge production. Here, we show that patterns of interaction during conferences can be used to predict who will subsequently form a new collaboration, even when interaction is prescribed rather than freely chosen. We introduce a novel longitudinal dataset tracking patterns of interaction among hundreds of scientists during multi-day conferences encompassing different scientific fields over the span of 5 years. We find that participants who formed new collaborations interacted 63% more on average than those who chose not to form new teams, and that those assigned to a higher interaction scenario had more than an eightfold increase in their odds of collaborating. We propose a simple mathematical framework for the process of team formation that incorporates this observation as well as the effect of memory beyond interaction time. The model accurately reproduces the collaborations formed across all conferences and outperforms seven other candidate models. This work not only suggests that encounters between individuals at conferences play an important role in shaping the future of science, but that these encounters can be designed to better catalyze collaborations.


title: The stability of standard homogeneous Einstein manifolds

abstract: Back in 1985, Wang and Ziller obtained a complete classification of all homogeneous spaces of compact simple Lie groups on which the standard or Killing metric is Einstein. The list consists, beyond isotropy irreducible spaces, of 12 infinite families (two of them are actually conceptual constructions) and 22 isolated examples. We study in this paper the nature of each of these Einstein metrics as a critical point of the scalar curvature functional.


title: Insta-VAX: A Multimodal Benchmark for Anti-Vaccine and Misinformation Posts Detection on Social Media

abstract: Sharing of anti-vaccine posts on social media, including misinformation posts, has been shown to create confusion and reduce the publics confidence in vaccines, leading to vaccine hesitancy and resistance. Recent years have witnessed the fast rise of such anti-vaccine posts in a variety of linguistic and visual forms in online networks, posing a great challenge for effective content moderation and tracking. Extending previous work on leveraging textual information to understand vaccine information, this paper presents Insta-VAX, a new multi-modal dataset consisting of a sample of 64,957 Instagram posts related to human vaccines. We applied a crowdsourced annotation procedure verified by two trained expert judges to this dataset. We then bench-marked several state-of-the-art NLP and computer vision classifiers to detect whether the posts show anti-vaccine attitude and whether they contain misinformation. Extensive experiments and analyses demonstrate the multimodal models can classify the posts more accurately than the uni-modal models, but still need improvement especially on visual context understanding and external knowledge cooperation. The dataset and classifiers contribute to monitoring and tracking of vaccine discussions for social scientific and public health efforts in combating the problem of vaccine misinformation.


title: Gaining Outlier Resistance with Progressive Quantiles: Fast Algorithms and Theoretical Studies

abstract: Outliers widely occur in big-data applications and may severely affect statistical estimation and inference. In this paper, a framework of outlier-resistant estimation is introduced to robustify an arbitrarily given loss function. It has a close connection to the method of trimming and includes explicit outlyingness parameters for all samples, which in turn facilitates computation, theory, and parameter tuning. To tackle the issues of nonconvexity and nonsmoothness, we develop scalable algorithms with implementation ease and guaranteed fast convergence. In particular, a new technique is proposed to alleviate the requirement on the starting point such that on regular datasets, the number of data resamplings can be substantially reduced. Based on combined statistical and computational treatments, we are able to perform nonasymptotic analysis beyond M-estimation. The obtained resistant estimators, though not necessarily globally or even locally optimal, enjoy minimax rate optimality in both low dimensions and high dimensions. Experiments in regression, classification, and neural networks show excellent performance of the proposed methodology at the occurrence of gross outliers.


title: Connecting Scientometrics: Dimensions as a route to broadening context for analyses

abstract: Modern cloud-based data infrastructures open new vistas for the deployment of scientometric data into the hands of practitioners. These infrastructures lower barriers to entry by making data more available and compute capacity more affordable. In addition, if data are prepared appropriately, with unique identifiers, it is possible to connect many different types of data. Bringing broader world data into the hands of practitioners (policymakers, strategists and others) who use scientometrics as a tool can extend their capabilities. These ideas are explored through connecting Dimensions and World Bank data on Google BigQuery to study international collaboration between countries of different economic classification.


title: IoT Security and Safety Testing Toolkits for Water Distribution Systems

abstract: Due to the critical importance of Industrial Control Systems (ICS) to the operations of cities and countries, research into the security of critical infrastructure has become increasingly relevant and necessary. As a component of both the research and application sides of smart city development, accurate and precise modeling, simulation, and verification are key parts of a robust design and development tools that provide critical assistance in the prevention, detection, and recovery from abnormal behavior in the sensors, controllers, and actuators which make up a modern ICS system. However, while these tools have potential, there is currently a need for helper-tools to assist with their setup and configuration, if they are to be utilized widely. Existing state-of-the-art tools are often technically complex and difficult to customize for any given IoT/ICS processes. This is a serious barrier to entry for most technicians, engineers, researchers, and smart city planners, while slowing down the critical aspects of safety and security verification. To remedy this issue, we take a case study of existing simulation toolkits within the field of water management and expand on existing tools and algorithms with simplistic automated retrieval functionality using a much more in-depth and usable customization interface to accelerate simulation scenario design and implementation, allowing for customization of the cyber-physical network infrastructure and cyber attack scenarios. We additionally provide a novel in-tool-assessment of network's resilience according to graph theory path diversity. Further, we lay out a roadmap for future development and application of the proposed tool, including expansions on resiliency and potential vulnerability model checking, and discuss applications of our work to other fields relevant to the design and operation of smart cities.


title: Snakes combine vertical and lateral bending to traverse uneven terrain

abstract: Terrestrial locomotion requires generating appropriate ground reaction forces which depend on substrate geometry and physical properties. The richness of positions and orientations of terrain features in the 3-D world gives limbless animals like snakes that can bend their body versatility to generate forces from different contact areas for propulsion. Despite many previous studies of how snakes use lateral body bending for propulsion on relatively flat surfaces with lateral contact points, little is known about whether and how much snakes use vertical body bending in combination with lateral bending in 3-D terrain. This lack had contributed to snake robots being inferior to animals in stability, efficiency, and versatility when traversing complex 3-D environments. Here, to begin to elucidate this, we studied how the generalist corn snake traversed an uneven arena of blocks of random height variation 5 times its body height. The animal traversed the uneven terrain with perfect stability by propagating 3-D bending down its body with little transverse motion (11{\deg} slip angle). Although the animal preferred moving through valleys with higher neighboring blocks, it did not prefer lateral bending. Among body-terrain contact regions that potentially provide propulsion, 52% were formed by vertical body bending and 48% by lateral bending. The combination of vertical and lateral bending may dramatically expand the sources of propulsive forces available to limbless locomotors by utilizing various asperities available in 3-D terrain. Direct measurements of contact forces are necessary to further understand how snakes coordinate 3-D bending along the entire body via sensory feedback to propel through 3-D terrain. These studies will open a path to new propulsive mechanisms for snake robots, potentially increasing the performance and versatility in 3-D terrain.


title: On Generalization and Computation of Tukey's Depth: Part I

abstract: Tukey's depth offers a powerful tool for nonparametric inference and estimation, but also encounters serious computational and methodological difficulties in modern statistical data analysis. This paper studies how to generalize and compute Tukey-type depths in multi-dimensions. A general framework of influence-driven polished subspace depth, which emphasizes the importance of the underlying influence space and discrepancy measure, is introduced. The new matrix formulation enables us to utilize state-of-the-art optimization techniques to develop scalable algorithms with implementation ease and guaranteed fast convergence. In particular, half-space depth as well as regression depth can now be computed much faster than previously possible, with the support from extensive experiments. A companion paper is also offered to the reader in the same issue of this journal.


title: Superized Troesch complexes and cohomology for strict polynomial superfunctors

abstract: We adapt a construction due to Troesch to the category of strict polynomial superfunctors in order to construct complexes of injective objects whose cohomology is isomorphic to Frobenius twists of the (super)symmetric power functors. We apply these complexes to construct injective resolutions of the even and odd Frobenius twist functors, to investigate the structure of the Yoneda algebra of the Frobenius twist functor, and to compute other extension groups between strict polynomial superfunctors.


title: Imprints of interacting dark energy on cosmological perturbations

abstract: We investigate the characteristic modifications in the evolving cosmological perturbations when dark energy interacts with dust-like matter, causing the latter's background energy density fall off with time faster than usual. Focusing in particular to the late-time cosmic evolution, we show that such an interaction (of a specific form, arising naturally in a scalar-tensor formulation, or a wide range of modified gravity equivalents thereof), can have a rather significant effect on the perturbative spectrum, than on the background configuration which is not expected to get distorted much from $\L$CDM. Specifically, the matter density contrast, which is by and large scale-invariant in the deep sub-horizon limit, not only gets dragged as the interaction affects the background Hubble expansion rate, but also receives a contribution from the perturbation in the (scalar field induced) dark energy, which oscillates about a non-zero mean value. As such, the standard parametrization ansatz for the the matter density growth factor becomes inadequate. So we modify it suitably, and also find a numerical fit of the growth index in terms of the background parameters, in order to alleviate the problems that arise otherwise. Such a fit enables direct estimations of the background parameters, as well as the growth parameter and the reduced Hubble parameter, which we duly carry out using a redshift space distortion (RSD) subsample and its combination with the observational Hubble data. On the whole, the parametric estimates show consistency with the general observational constraints on the background level cosmology, as well as the constraints on scalar-tensor gravity from astrophysical observations, apart from having significance in the domain of cosmological perturbations.


title: On Generalization and Computation of Tukey's Depth: Part II

abstract: This paper studies how to generalize Tukey's depth to problems defined in a restricted space that may be curved or have boundaries, and to problems with a nondifferentiable objective. First, using a manifold approach, we propose a broad class of Riemannian depth for smooth problems defined on a Riemannian manifold, and showcase its applications in spherical data analysis, principal component analysis, and multivariate orthogonal regression. Moreover, for nonsmooth problems, we introduce additional slack variables and inequality constraints to define a novel slacked data depth, which can perform center-outward rankings of estimators arising from sparse learning and reduced rank regression. Real data examples illustrate the usefulness of some proposed data depths.


title: Graphics processing unit accelerated lattice Boltzmann method simulations of dilute gravity currents

abstract: Lattice Boltzmann method models offer a novel framework for the simulation of high Reynolds number dilute gravity currents. The numerical algorithm is well suited to acceleration via implementation on massively parallel computer architectures. Here we present two lattice Boltzmann method models of lock-exchange dilute gravity currents, in which the largest turbulent length scales are directly resolved. The three-dimensional simulations are accelerated by exporting computations to a graphics processing unit and are validated against experiments and high-resolution simulations for Reynolds numbers up to 30,000. The lattice Boltzmann method models achieve equivalent accuracy to conventional large eddy simulation models in the prediction of key flow properties. A conservative analysis of computational performance relative to conventional methods indicates that the presented framework reduces simulation times by two orders of magnitude. Therefore, it can be used as a foundation for the development of depth-resolving models that capture more of the complexity of environmental gravity currents.


title: Violation of the equivalence principle in curvature based extended gravity at finite temperature

abstract: We review the possible violation of the Equivalence Principle at finite temperature T in the framework of curvature based Extended Theories of Gravity. Specifically, we first show how it is possible to derive Equivalence Principle violation from Quantum Field Theory at non-vanishing T. Subsequently, we exhibit how this result can be precisely recovered by following an alternative path that envisages the employment of generalized Einstein equations with a temperature-dependent energy-momentum tensor. Finally, we adopt the latter formalism in the context of some Extended Gravity models to quantify the amount of Equivalence Principle violation. Specifically, Brans-Dicke Theory, Standard Model Extension and Conformal Gravity are considered in details.


title: Maximum likelihood estimation for randomized shortest paths with trajectory data

abstract: Randomized shortest paths (RSP) are a tool developed in recent years for different graph and network analysis applications, such as modelling movement or flow in networks. In essence, the RSP framework considers the temperature-dependent Gibbs-Boltzmann distribution over paths in the network. At low temperatures, the distribution focuses solely on the shortest or least-cost paths, while with increasing temperature, the distribution spreads over random walks on the network. Many relevant quantities can be computed conveniently from this distribution, and these often generalize traditional network measures in a sensible way. However, when modelling real phenomena with RSPs, one needs a principled way of estimating the parameters from data. In this work, we develop methods for computing the maximum likelihood estimate of the model parameters, with focus on the temperature parameter, when modelling phenomena based on movement, flow, or spreading processes. We test the validity of the derived methods with trajectories generated on artificial networks as well as with real data on the movement of wild reindeer in a geographic landscape, used for estimating the degree of randomness in the movement of the animals. These examples demonstrate the attractiveness of the RSP framework as a generic model to be used in diverse applications.


title: The spectrum of qubitized QCD: glueballs in a $S(1080)$ gauge theory

abstract: Quantum simulations of QCD require digitization of the infinite-dimensional gluon field. Schemes for doing this with the minimum amount of qubits are desirable. We present a practical digitization for $SU(3)$ gauge theories via its discrete subgroup $S(1080)$. Using a modified action that allows classical simulations down to $a\approx 0.08$ fm, the low-lying glueball spectrum is computed with percent-level precision at multiple lattice spacings and shown to extrapolate to the continuum limit $SU(3)$ results. This suggests that this digitization scheme is sufficient for precision quantum simulations of QCD.


title: Clifford Algebraic approach to the De Donder-Weyl Hamiltonian theory

abstract: The Clifford algebraic formulation of the Duffin-Kemmer-Petiau (DKP) algebras is applied to recast the De Donder-Weyl Hamiltonian (DWH) theory as an algebraic description independent of the matrix representation of the DKP algebra. We show that the DWH equations for antisymmetric fields arise out of the action of the DKP algebra on certain invariant subspaces of the Clifford algebra which carry the representations of the fields. The matrix representation-free formula for the bracket associated with the DKP form of the DWH equations is also derived. This bracket satisfies a generalization of the standard properties of the Poisson bracket


title: On images of subshifts under injective morphisms of symbolic varieties

abstract: We show that the image of a subshift $X$ under various injective morphisms of symbolic algebraic varieties over monoid universes with algebraic variety alphabets is a subshift of finite type, resp. a sofic subshift, if and only if so is $X$. Similarly, let $G$ be a countable monoid and let $A$, $B$ be Artinian modules over a ring. We prove that for every closed subshift submodule $\Sigma \subset A^G$ and every injective $G$-equivariant uniformly continuous module homomorphism $\tau \colon \Sigma \to B^G$, a subshift $\Delta \subset \Sigma$ is of finite type, resp. sofic, if and only if so is the image $\tau(\Delta)$. Generalizations for admissible group cellular automata over admissible Artinian group structure alphabets are also obtained.


title: On optimal convergence rates for discrete minimizers of the Gross-Pitaevskii energy in LOD spaces

abstract: In this paper we revisit a two-level discretization based on the Localized Orthogonal Decomposition (LOD). It was originally proposed in [P.Henning, A.M{\aa}lqvist, D.Peterseim. SIAM J. Numer. Anal.52-4:1525-1550, 2014] to compute ground states of Bose-Einstein condensates by finding discrete minimizers of the Gross-Pitaevskii energy functional. The established convergence rates for the method appeared however suboptimal compared to numerical observations and a proof of optimal rates in this setting remained open. In this paper we shall close this gap by proving optimal order error estimates for the $L^2$- and $H^1$-error between the exact ground state and discrete minimizers, as well as error estimates for the ground state energy and the ground state eigenvalue. In particular, the achieved convergence rates for the energy and the eigenvalue are of $6$th order with respect to the mesh size on which the discrete LOD space is based, without making any additional regularity assumptions. These high rates justify the use of very coarse meshes, which significantly reduces the computational effort for finding accurate approximations of ground states. In addition, we include numerical experiments that confirm the optimality of the new theoretical convergence rates, both for smooth and discontinuous potentials.


title: Text Mining Through Label Induction Grouping Algorithm Based Method

abstract: The main focus of information retrieval methods is to provide accurate and efficient results which are cost-effective too. LINGO (Label Induction Grouping Algorithm) is a clustering algorithm that aims to provide search results in form of quality clusters but also has a few limitations. In this paper, our focus is based on achieving results that are more meaningful and improving the overall performance of the algorithm. LINGO works on two main steps; Cluster Label Induction by using Latent Semantic Indexing technique (LSI) and Cluster content discovery by using the Vector Space Model (VSM). As LINGO uses VSM in cluster content discovery, our task is to replace VSM with LSI for cluster content discovery and to analyze the feasibility of using LSI with Okapi BM25. The next task is to compare the results of a modified method with the LINGO original method. The research is applied to five different text-based data sets to get more reliable results for every method. Research results show that LINGO produces 40-50% better results when using LSI for content Discovery. From theoretical evidence using Okapi BM25 for scoring method in LSI (LSI+Okapi BM25) for cluster content discovery instead of VSM, also results in better clusters generation in terms of scalability and performance when compares to both VSM and LSI's Results.


title: Differential Privacy in Aggregated Mobility Networks: Balancing Privacy and Utility

abstract: Location data is collected from users continuously to understand their mobility patterns. Releasing the user trajectories may compromise user privacy. Therefore, the general practice is to release aggregated location datasets. However, private information may still be inferred from an aggregated version of location trajectories. Differential privacy (DP) protects the query output against inference attacks regardless of background knowledge. This paper presents a differential privacy-based privacy model that protects the user's origins and destinations from being inferred from aggregated mobility datasets. This is achieved by injecting Planar Laplace noise to the user origin and destination GPS points. The noisy GPS points are then transformed into a link representation using a link-matching algorithm. Finally, the link trajectories form an aggregated mobility network. The injected noise level is selected using the Sparse Vector Mechanism. This DP selection mechanism considers the link density of the location and the functional category of the localized links. Compared to the different baseline models, including a k-anonymity method, our differential privacy-based aggregation model offers query responses that are close to the raw data in terms of aggregate statistics at both the network and trajectory-levels with maximum 9% deviation from the baseline in terms of network length.


title: Countably compact groups having minimal infinite powers

abstract: We answer the question, raised more than thirty years ago, on whether the power (G raised to the power omega) of a countably compact minimal Abelian group G is minimal, by showing that the negative answer is equivalent to the existence of measurable cardinals.


title: Critical Stellar Central Densities Drive Galaxy Quenching in the Nearby Universe

abstract: We study the structural and environmental dependence of the star formation on the plane of stellar mass versus central core density ($\Sigma_{\rm 1\ kpc}$) in the nearby universe. We study the central galaxies in the sparse environment and find a characteristic population-averaged $\rm \Sigma_{1\ kpc} \sim 10^9-10^{9.2}\ M_{\odot}\ kpc^{-2}$, above which quenching is operating. This $\rm \Sigma^{crit}_{1\ kpc}$ only weakly depends on the stellar mass, suggesting that the mass-quenching of the central galaxies is more closely related to the processes that operate in the central regions than over the entire galaxies. For satellites, at a given stellar mass, environment-quenching appears to operate in a similar fashion as mass-quenching in centrals, also starting from galaxies with high $\rm \Sigma_{1\ kpc}$ to low $\rm \Sigma_{1\ kpc}$, and $\rm \Sigma^{crit}_{1\ kpc}$ becomes strongly mass-dependent, in particular in dense regions. This is because (1) more low-mass satellites are quenched by the environmental effects in denser regions and (2) at fixed stellar mass and environment, the environment-quenched satellites have, on average, larger $\Sigma_{\rm 1\ kpc}$, $\rm M_{1\ kpc}/M_{\star}$ and Sersic index $n$, and as well as smaller size. These results imply that either some dynamical processes change the structure of the satellites during quenching or the satellites with higher $\Sigma_{\rm 1\ kpc}$ are more susceptible to the environmental effects.


title: The three phases of quantum annealing: fast, slow, and very slow

abstract: Currently, existing quantum annealers have proven themselves as viable technology for the first practical applications in the noisy-intermediate-scale-quantum era. However, to fully exploit their capabilities, a comprehensive characterization of their finite-time excitations is instrumental. To this end, we develop a phase diagram for driven Ising chains, from which the scaling behavior of the excess work can be read off as a function of process duration and system size. "Fast" processes are well described by the Kibble-Zurek mechanism; "slow" processes are governed by effective Landau-Zener dynamics; and "very slow" processes can be approximated with adiabatic perturbation theory.


title: Human Languages with Greater Information Density Increase Communication Speed, but Decrease Conversation Breadth

abstract: Human languages vary widely in how they encode information within circumscribed semantic domains (e.g., time, space, color, human body parts and activities), but little is known about the global structure of semantic information and nothing about its relation to human communication. We first show that across a sample of ~1,000 languages, there is broad variation in how densely languages encode information into their words. Second, we show that this language information density is associated with a denser configuration of semantic information. Finally, we trace the relationship between language information density and patterns of communication, showing that informationally denser languages tend toward (1) faster communication, but (2) conceptually narrower conversations within which topics of conversation are discussed at greater depth. These results highlight an important source of variation across the human communicative channel, revealing that the structure of language shapes the nature and texture of human engagement, with consequences for human behavior across levels of society.


title: Bernstein-Sato polynomial and related invariants for meromorphic functions

abstract: We develop a theory of Bernstein-Sato polynomials for meromorphic functions and we use it to study the analytic continuation of Archimedian local zeta functions in this setting. We also introduce both an analytic and an algebraic theory of multiplier ideals for meromorphic functions and relate the jumping numbers of these multiplier ideals to the roots of the Bernstein-Sato polynomials.


title: StyleMC: Multi-Channel Based Fast Text-Guided Image Generation and Manipulation

abstract: Discovering meaningful directions in the latent space of GANs to manipulate semantic attributes typically requires large amounts of labeled data. Recent work aims to overcome this limitation by leveraging the power of Contrastive Language-Image Pre-training (CLIP), a joint text-image model. While promising, these methods require several hours of preprocessing or training to achieve the desired manipulations. In this paper, we present StyleMC, a fast and efficient method for text-driven image generation and manipulation. StyleMC uses a CLIP-based loss and an identity loss to manipulate images via a single text prompt without significantly affecting other attributes. Unlike prior work, StyleMC requires only a few seconds of training per text prompt to find stable global directions, does not require prompt engineering and can be used with any pre-trained StyleGAN2 model. We demonstrate the effectiveness of our method and compare it to state-of-the-art methods. Our code can be found at http://catlab-team.github.io/stylemc.


title: Retinal blood flow imaging with combined full-field swept-source optical coherence tomography and laser Doppler holography

abstract: Full-field swept-source optical coherence tomography (FF-SS-OCT) and laser Doppler holography (LDH) are two holographic imaging techniques presenting unique capabilities for ophthalmology. We report on interlaced FF-SS-OCT and LDH imaging with a single instrument. Effectively, retinal blood flow and pulsation could be quasi-simultaneously monitored. This instrument holds potential for a wide scope of ophthalmic applications.


title: A Targeted Approach to Confounder Selection for High-Dimensional Data

abstract: We consider the problem of selecting confounders for adjustment from a potentially large set of covariates, when estimating a causal effect. Recently, the high-dimensional Propensity Score (hdPS) method was developed for this task; hdPS ranks potential confounders by estimating an importance score for each variable and selects the top few variables. However, this ranking procedure is limited: it requires all variables to be binary. We propose an extension of the hdPS to general types of response and confounder variables. We further develop a group importance score, allowing us to rank groups of potential confounders. The main challenge is that our parameter requires either the propensity score or response model; both vulnerable to model misspecification. We propose a targeted maximum likelihood estimator (TMLE) which allows the use of nonparametric, machine learning tools for fitting these intermediate models. We establish asymptotic normality of our estimator, which consequently allows constructing confidence intervals. We complement our work with numerical studies on simulated and real data.


title: A Framework for Prescribed-Time Control Design via Time-Scale Transformation

abstract: This letter presents a unified framework for the design of prescribed-time controllers under time-varying input and state constraints for normal-form unknown nonlinear systems with uncertain input gain. The proposed approach is based on a time-domain mapping method by which any infinite-time system can be corresponded to a prescribed-time system and vice versa. It is shown that the design of a constrained nonasymptotic prescribed-time controller can be reduced to the asymptotic control design for an associated constrained infinite-time system. Fa\`a di Bruno's formula and Bell polynomials are used for a constructive representation of the associated infinite-time system. The presented results are not confined to a particular mapping function, which adds to the flexibility of the proposed scheme. It is shown that necessary and sufficient conditions on the uniform (practical) prescribed-time stability and attractivity can be obtained as corollaries of the main result.


title: Predicting Levels of Household Electricity Consumption in Low-Access Settings

abstract: In low-income settings, the most critical piece of information for electric utilities is the anticipated consumption of a customer. Electricity consumption assessment is difficult to do in settings where a significant fraction of households do not yet have an electricity connection. In such settings the absolute levels of anticipated consumption can range from 5-100 kWh/month, leading to high variability amongst these customers. Precious resources are at stake if a significant fraction of low consumers are connected over those with higher consumption. This is the first study of it's kind in low-income settings that attempts to predict a building's consumption and not that of an aggregate administrative area. We train a Convolutional Neural Network (CNN) over pre-electrification daytime satellite imagery with a sample of utility bills from 20,000 geo-referenced electricity customers in Kenya (0.01% of Kenya's residential customers). This is made possible with a two-stage approach that uses a novel building segmentation approach to leverage much larger volumes of no-cost satellite imagery to make the most of scarce and expensive customer data. Our method shows that competitive accuracies can be achieved at the building level, addressing the challenge of consumption variability. This work shows that the building's characteristics and it's surrounding context are both important in predicting consumption levels. We also evaluate the addition of lower resolution geospatial datasets into the training process, including nighttime lights and census-derived data. The results are already helping inform site selection and distribution-level planning, through granular predictions at the level of individual structures in Kenya and there is no reason this cannot be extended to other countries.


title: The Complete Local Volume Groups Sample -- IV. Star formation and gas content in group-dominant galaxies

abstract: Using multi-band data we examine the star formation activity of the nearby group-dominant early-type galaxies of the Complete Local-volume Groups Sample (CLoGS), and the relation between star formation, gas content, and local environment. Only a small fraction of the galaxies (13%; 6/47) are found to be Far-Ultraviolet (FUV) bright, with FUV to near-infrared colours indicative of recent active star formation (NGC 252, NGC 924, NGC 940, NGC 1106, NGC 7252, and ESO 507-25). These systems are lenticulars presenting the highest FUV specific star-formation rates in the sample (sSFR FUV > 5$\times$10$^{13}$ yr$^{-1}$), significant cold gas reservoirs (M(H2)=0.5 - 61$\times$10$^8$ M$_\odot$), reside in X-ray faint groups, and none of them hosts a powerful radio AGN (P$_{1.4GHz}$<$10^{23}$ W Hz$^{-1}$). The majority of the group-dominant galaxies (87%; 41/47) are FUV faint, with no significant star formation, classified in most cases as spheroids based on their position on the infrared star-forming main sequence (87%; 46/53). Examining the relationships between radio power, SFR FUV, and stellar mass we find a lack of correlation that suggests a combination of origins for the cool gas in these galaxies, including stellar mass loss, cooling from the intra-group medium (IGrM) or galaxy halo, and acquisition through mergers or tidal interactions. X-ray bright systems, in addition to hosting radio powerful AGN, have a range of SFRs but, with the exception of NGC 315, do not rise to the highest rates seen in the FUV bright systems. We suggest that central group galaxy evolution is linked to gas mass availability, with star formation favoured in the absence of a group-scale X-ray halo, but AGN jet launching is more likely in systems with a cooling IGrM.


title: How to simulate quantum measurement without computing marginals

abstract: We describe and analyze algorithms for classically simulating measurement of an $n$-qubit quantum state $\psi$ in the standard basis, that is, sampling a bit string $x$ from the probability distribution $|\langle x|\psi\rangle|^2$. Our algorithms reduce the sampling task to computing poly$(n)$ amplitudes of $n$-qubit states; unlike previously known techniques they do not require computation of marginal probabilities. First we consider the case where $|\psi\rangle=U|0^n\rangle$ is the output state of an $m$-gate quantum circuit $U$. We propose an exact sampling algorithm which involves computing $O(m)$ amplitudes of $n$-qubit states generated by subcircuits of $U$ spanned by the first $t=1,2,\ldots,m$ gates. We show that our algorithm can significantly accelerate quantum circuit simulations based on tensor network contraction methods or low-rank stabilizer decompositions. As another striking consequence we obtain an efficient classical simulation algorithm for measurement-based quantum computation with the surface code resource state on any planar graph, generalizing a previous algorithm which was known to be efficient only under restrictive topological constraints on the ordering of single-qubit measurements. Second, we consider the case in which $\psi$ is the unique ground state of a local Hamiltonian with a spectral gap that is lower bounded by an inverse polynomial function of $n$. We prove that a simple Metropolis-Hastings Markov Chain mixes rapidly to the desired probability distribution provided that $\psi$ obeys a certain technical condition, which we show is satisfied for all sign-problem free Hamiltonians. This gives a sampling algorithm which involves computing $\mathrm{poly}(n)$ amplitudes of $\psi$.


title: OpenHumidistat: Humidity-controlled experiments for everyone

abstract: Humidity control is a crucial element for a wide variety of experiments. Yet, often naive methods are used that do not yield stable regulation of the humidity, are slow, or are inflexible. PID-based electropneumatic humidistats solve these problems, but commercial devices are not widespread, typically proprietary and/or prohibitively expensive. Here we describe OpenHumidistat: a free and open-source humidistat for laboratory-scale humidity control that is affordable (<500 EUR) and easy to build. The design is based around mixing a humid and dry air flow in varying proportions, using proportional solenoid valves and flow sensors to control flow rates. The mixed flow is led into a measurement chamber, which contains a humidity sensor to provide feedback to the controller, to achieve closed-loop humidity control.


title: Optimal Grain Mixing is NP-Complete

abstract: Protein content in wheat plays a significant role when determining the price of wheat production. The Grain mixing problem aims to find the optimal bin pair combination with an appropriate mixing ratio to load each truck that will yield a maximum profit when sold to a set of local grain elevators. In this paper, we presented two complexity proofs for the grain mixing problem and showed that finding the optimal solutions for the grain mixing problem remains hard. These proofs follow a reduction from the $3$-dimensional matching ($3$-DM) problem and a more restricted version of the $3$-DM known as planar $3$-DM problem respectively. The complexity proofs do suggest that the exact algorithm to find the optimal solution for the grain mixing problem may be infeasible.


title: Anisotropic Young-Laplace-equation provides insight into tissue growth

abstract: Growing tissues are highly dynamic, flowing on sufficiently long time-scales due to cell proliferation, migration and tissue remodeling. As a consequence, living tissues can be approximated as liquids. This means the shape of microtissues is governed by a surface stress state as in fluid droplets. Recent work showed that cells in the near-surface region of fibroblastic or osteoblastic microtissues contract with highly oriented actin filaments, thus making the surface stress state anisotropic, in contrast to what is expected for an isotropic fluid. Here, we extend the Young-Laplace law to include mechanical anisotropy of the surface. We then take this into account to determine equilibrium shapes of rotationally symmetric bodies subjected to anisotropic surface stress states and derive a family of surfaces of revolution in analogy to the Delaunay surfaces. A comparison with recently published shapes of microtissues shows that this theory accurately predicts both the surface shape and the direction of the actin filaments in the surface. The anisotropic version of the Young-Laplace law might help describing the growth of microtissues and also predicts the shape of fluid bodies with highly anisotropic surface properties.


title: On Generalizations of Pairwise Compatibility Graphs

abstract: A graph $G$ is a PCG if there exists an edge-weighted tree such that each leaf of the tree is a vertex of the graph, and there is an edge $\{ x, y \}$ in $G$ if and only if the weight of the path in the tree connecting $x$ and $y$ lies within a given interval. PCGs have different applications in phylogenetics and have been lately generalized to multi-interval-PCGs. In this paper we define two new generalizations of the PCG class, namely k-OR-PCGs and k-AND-PCGs, that are the classes of graphs that can be expressed as union and intersection, respectively, of $k$ PCGs. The problems we consider can be also described in terms of the \emph{covering number} and the \emph{intersection dimension} of a graph with respect to the PCG class. In this paper we investigate how the classes of PCG, multi-interval-PCG, OR-PCG and AND-PCG are related to each other and to other graph classes known in the literature. In particular, we provide upper bounds on the minimum $k$ for which an arbitrary graph $G$ belongs to k-interval-PCG, k-OR-PCG and k-AND-PCG classes. Furthermore, for particular graph classes, we improve these general bounds. Moreover, we show that, for every integer $k$, there exists a bipartite graph that is not in the k-interval-PCG class, proving that there is no finite $k$ for which the k-interval-PCG class contains all the graphs. Finally, we use a Ramsey theory argument to show that for any $k$, there exist graphs that are not in k-AND-PCG, and graphs that are not in k-OR-PCG.


title: Approximation in the mean on rational curves

abstract: In the presence of a positive, compactly supported measure on an affine algebraic curve, we relate the density of polynomials in Lebesgue $L^2$-space to the existence of analytic bounded point evaluations. Analogues to the complex plane results of Thomson and Brennan are obtained on rational curves.


title: Plasma Shock Layer Equations

abstract: This paper is devoted to derivation of plasma equations, considering chemical reactions and radiations. After deriving the governing equations of multi-particle plasmas, the ordinary differential equations of plasma shock layer equations are derived. These ODEs are in the form of a singularly perturbed systems of ordinary differential equations. Many of physical environments consist of two or more types of particles, each having its own characteristics, such an environment may undergo some evolutions in the presence of external forces, e.g., in the presence of electromagnetic or gravitation fields, and may also be affected by a source of energy or by interaction with its external environment. The situation becomes more complex when there are some internal interactions due to collisions between particles, chemical reactions and various dissipation mechanisms. From microscopic point of view, the random motion of different particles and local forces, energy or mass transaction and their recursive dependence with that of global makes the qualitative behaviors of the environment even more complex. Heat convection in a liquid mixture, a vibrating or rotating viscose fluid, chemically reacting multiphase media and plasma in an electric and magnetic field are examples, to say a few. Up to the author knowledge there is no general and precise mathematical formulation efficiently describing such environments, although statistical formulation in Kinetic theory combined with some physical interpretations is a good approach but insufficient, say in describing radiation. Our aim in this note is to give a set of partial differential equation governing evaluation of a multispecies environment consisting of charged particles in an electromagnetic field.


title: Practical Quantum K-Means Clustering: Performance Analysis and Applications in Energy Grid Classification

abstract: In this work, we aim to solve a practical use-case of unsupervised clustering which has applications in predictive maintenance in the energy operations sector using quantum computers. Using only cloud access to quantum computers, we complete a thorough performance analysis of what some current quantum computing systems are capable of for practical applications involving non-trivial mid-to-high dimensional datasets. We first benchmark how well distance estimation can be performed using two different metrics based on the swap-test, using angle and amplitude data embedding. Next, for the clustering performance analysis, we generate sets of synthetic data with varying cluster variance and compare simulation to physical hardware results using the two metrics. From the results of this performance analysis, we propose a general, competitive, and parallelized version of quantum $k$-means clustering to avoid some pitfalls discovered due to noisy hardware and apply the approach to a real energy grid clustering scenario. Using real-world German electricity grid data, we show that the new approach improves the balanced accuracy of the standard quantum $k$-means clustering by $67.8\%$ with respect to the labeling of the classical algorithm.


title: Algorithms for Adaptive Experiments that Trade-off Statistical Analysis with Reward: Combining Uniform Random Assignment and Reward Maximization

abstract: Multi-armed bandit algorithms like Thompson Sampling (TS) can be used to conduct adaptive experiments, in which maximizing reward means that data is used to progressively assign participants to more effective arms. Such assignment strategies increase the risk of statistical hypothesis tests identifying a difference between arms when there is not one, and failing to conclude there is a difference in arms when there truly is one. We tackle this by introducing a novel heuristic algorithm, called TS-PostDiff (Posterior Probability of Difference). TS-PostDiff takes a Bayesian approach to mixing TS and Uniform Random (UR): the probability a participant is assigned using UR allocation is the posterior probability that the difference between two arms is 'small' (below a certain threshold), allowing for more UR exploration when there is little or no reward to be gained. We evaluate TS-PostDiff against state-of-the-art strategies. The empirical and simulation results help characterize the trade-offs of these approaches between reward, False Positive Rate (FPR), and statistical power, as well as under which circumstances each is effective. We quantify the advantage of TS-PostDiff in performing well across multiple differences in arm means (effect sizes), showing the benefits of adaptively changing randomization/exploration in TS in a "Statistically Considerate" manner: reducing FPR and increasing statistical power when differences are small or zero and there is less reward to be gained, while exploiting more when differences may be large. This highlights important considerations for future algorithm development and analysis to better balance reward and statistical analysis.


title: Time-resolved quantum beats in the fluorescence of helium resonantly excited by XUV radiation

abstract: We report on the observation of time-resolved quantum beats in the helium fluorescence from the transition 1s3p -> 1s2s, where the initial state is excited by XUV free-electron laser radiation. The quantum beats originate from the Zeeman splitting of the magnetic substates due to an external magnetic field. We perform a systematic study of this effect and discuss the possibilities of studying this phenomenon in the XUV and x-ray regime.


title: Science and mission status of EUSO-SPB2

abstract: The Extreme Universe Space Observatory on a Super Pressure Balloon II (EUSO-SPB2) is a second generation stratospheric balloon instrument for the detection of Ultra High Energy Cosmic Rays (UHECRs, E > 1 EeV) via the fluorescence technique and of Very High Energy (VHE, E > 10 PeV) neutrinos via Cherenkov emission. EUSO-SPB2 is a pathfinder mission for instruments like the proposed Probe Of Extreme Multi-Messenger Astrophysics (POEMMA). The purpose of such a space-based observatory is to measure UHECRs and UHE neutrinos with high statistics and uniform exposure. EUSO-SPB2 is designed with two Schmidt telescopes, each optimized for their respective observational goals. The Fluorescence Telescope looks at the nadir to measure the fluorescence emission from UHECR-induced extensive air shower (EAS), while the Cherenkov Telescope is optimized for fast signals ($\sim$10 ns) and points near the Earth's limb. This allows for the measurement of Cherenkov light from EAS caused by Earth skimming VHE neutrinos if pointed slightly below the limb or from UHECRs if observing slightly above. The expected launch date of EUSO-SPB2 is Spring 2023 from Wanaka, NZ with target duration of up to 100 days. Such a flight would provide thousands of VHECR Cherenkov signals in addition to tens of UHECR fluorescence tracks. Neither of these kinds of events have been observed from either orbital or suborbital altitudes before, making EUSO-SPB2 crucial to move forward towards a space-based instrument. It will also enhance the understanding of potential background signals for both detection techniques. This contribution will provide a short overview of the detector and the current status of the mission as well as its scientific goals.


title: Conditions for realizing one-point interactions from a multi-layer structure model

abstract: A heterostructure composed of $N$ parallel homogeneous layers is studied in the limit as their widths $l_1, \ldots , l_N$ shrink to zero. The problem is investigated in one dimension and the piecewise constant potential in the Schr\"{o}dinger equation is given by the strengths $V_1, \ldots , V_N$ as functions of $l_1, \ldots , l_N$, respectively. The key point is the derivation of the conditions on the functions $V_1(l_1), \ldots , V_N(l_N)$ for realizing a family of one-point interactions as $l_1, \ldots , l_N$ tend to zero along available paths in the $N$-dimensional space. The existence of equations for a squeezed structure, the solution of which determines the system parameter values, under which the non-zero tunneling of quantum particles through a multi-layer structure occurs, is shown to exist and depend on the paths. This tunneling appears as a result of an appropriate cancellation of divergences.


title: OptABC: an Optimal Hyperparameter Tuning Approach for Machine Learning Algorithms

abstract: Hyperparameter tuning in machine learning algorithms is a computationally challenging task due to the large-scale nature of the problem. In order to develop an efficient strategy for hyper-parameter tuning, one promising solution is to use swarm intelligence algorithms. Artificial Bee Colony (ABC) optimization lends itself as a promising and efficient optimization algorithm for this purpose. However, in some cases, ABC can suffer from a slow convergence rate or execution time due to the poor initial population of solutions and expensive objective functions. To address these concerns, a novel algorithm, OptABC, is proposed to help ABC algorithm in faster convergence toward a near-optimum solution. OptABC integrates artificial bee colony algorithm, K-Means clustering, greedy algorithm, and opposition-based learning strategy for tuning the hyper-parameters of different machine learning models. OptABC employs these techniques in an attempt to diversify the initial population, and hence enhance the convergence ability without significantly decreasing the accuracy. In order to validate the performance of the proposed method, we compare the results with previous state-of-the-art approaches. Experimental results demonstrate the effectiveness of the OptABC compared to existing approaches in the literature.


title: ELight: Enabling Efficient Photonic In-Memory Neurocomputing with Life Enhancement

abstract: With the recent advances in optical phase change material (PCM), photonic in-memory neurocomputing has demonstrated its superiority in optical neural network (ONN) designs with near-zero static power consumption, time-of-light latency, and compact footprint. However, photonic tensor cores require massive hardware reuse to implement large matrix multiplication due to the limited single-core scale. The resultant large number of PCM writes leads to serious dynamic power and overwhelms the fragile PCM with limited write endurance. In this work, we propose a synergistic optimization framework, ELight, to minimize the overall write efforts for efficient and reliable optical in-memory neurocomputing. We first propose write-aware training to encourage the similarity among weight blocks, and combine it with a post-training optimization method to reduce programming efforts by eliminating redundant writes. Experiments show that ELight can achieve over 20X reduction in the total number of writes and dynamic power with comparable accuracy. With our ELight, photonic in-memory neurocomputing will step forward towards viable applications in machine learning with preserved accuracy, order-of-magnitude longer lifetime, and lower programming energy.


title: DocAMR: Multi-Sentence AMR Representation and Evaluation

abstract: Despite extensive research on parsing of English sentences into Abstraction Meaning Representation (AMR) graphs, which are compared to gold graphs via the Smatch metric, full-document parsing into a unified graph representation lacks well-defined representation and evaluation. Taking advantage of a super-sentential level of coreference annotation from previous work, we introduce a simple algorithm for deriving a unified graph representation, avoiding the pitfalls of information loss from over-merging and lack of coherence from under-merging. Next, we describe improvements to the Smatch metric to make it tractable for comparing document-level graphs, and use it to re-evaluate the best published document-level AMR parser. We also present a pipeline approach combining the top performing AMR parser and coreference resolution systems, providing a strong baseline for future research.


title: Observing the Migdal effect from nuclear recoils of neutral particles with liquid xenon and argon detectors

abstract: In recent years, dark matter direct detection experiments have spurred interest in the Migdal effect, where it is employed to extend their sensitivity to lower dark matter masses. Given the lack of observation of the Migdal effect, the calculation of the signal is subject to large theoretical uncertainties. It is therefore desirable to attempt a first measurement of the Migdal effect, and to test the theoretical predictions of the Migdal effect for the calibration of the experimental response to a potential dark matter signal. In this work, we explore the feasibility of observing the Migdal effect in xenon and argon. We carry out proof-of-concept calculations for low-energy neutrons from a filtered source, and using a reactor, the Spallation Neutron Source, or $^{51}$Cr as potential neutrino sources. We perform a detector simulation for the xenon target and find that, with available technology, the low-energy neutron source is the most promising, requiring only a modest neutron flux, detector size, and exposure period.


title: Interpolation Operator on negative Sobolev Spaces

abstract: We introduce a Scott--Zhang type projection operator mapping to Lagrange elements for arbitrary polynomial order. In addition to the usual properties, this operator is compatible with duals of first order Sobolev spaces. More specifically, it is stable in the corresponding negative norms and allows for optimal rates of convergence. We discuss alternative operators with similar properties. As applications of the operator we prove interpolation error estimates for parabolic problems and smoothen rough right-hand sides in a least squares finite element method.


title: Safety-Aware Preference-Based Learning for Safety-Critical Control

abstract: Bringing dynamic robots into the wild requires a tenuous balance between performance and safety. Yet controllers designed to provide robust safety guarantees often result in conservative behavior, and tuning these controllers to find the ideal trade-off between performance and safety typically requires domain expertise or a carefully constructed reward function. This work presents a design paradigm for systematically achieving behaviors that balance performance and robust safety by integrating safety-aware Preference-Based Learning (PBL) with Control Barrier Functions (CBFs). Fusing these concepts -- safety-aware learning and safety-critical control -- gives a robust means to achieve safe behaviors on complex robotic systems in practice. We demonstrate the capability of this design paradigm to achieve safe and performant perception-based autonomous operation of a quadrupedal robot both in simulation and experimentally on hardware.


title: Accretion of a clumped wind from a red supergiant donor onto a magnetar is suggested by the analysis of the XMM-Newton and NuSTAR observations of the X-ray binary 3A 1954+319

abstract: 3A 1954+319 has been classified for a long time as a symbiotic X-ray binary, hosting a slowly rotating neutron star and an aged M red giant. Recently, this classification has been revised thanks to the discovery that the donor star is an M supergiant. This makes 3A 1954+319 a rare type of high mass X-ray binary consisting of a neutron star and a red supergiant donor. In this paper, we analyse two archival and still unpublished XMM-Newton and NuSTAR observations of the source. We perform a detailed hardness ratio-resolved spectral analysis to search for spectral variability that could help investigating the structures of the inhomogeneous M supergiant wind from which the neutron star is accreting. We discuss our results in the context of wind-fed supergiant X-ray binaries and show that the newest findings on 3A 1954+319 reinforce the hypothesis that the neutron star in this system is endowed with a magnetar-like magnetic field strength ($\gtrsim10^{14}$ G).


title: About some aspects of function interpolation by trigonometric splines

abstract: Interpolation of classes of differentiated functions given on a finite interval by trigonometric splines using the phantom node method is considered. This method consists in supplementing a given sequence of values of an approximate function with an even number of values of a phantom function, which is constructed in such a way as to eliminate gaps in both the function itself and its derivatives up to and including a certain order; in the General case, these gaps occur with the periodic continuation of the function given at a finite interval. The results of calculations on test examples for trigonometric splines of the third order are given; these calculations illustrate the high efficiency of the proposed method.


title: Enhancing microalgal cell wall permeability by microbubble streaming flow

abstract: We demonstrate that the permeability of the cell wall of microalga $\textit{C. reinhardtii}$ can be enhanced in controlled microstreaming flow conditions using single bubbles adherent to a wall and driven by ultrasound near their resonance frequency. We find that microstreaming flow is effective at acoustic pressures as low as tens of kPa, at least one order of magnitude lower than those used in bulk ultrasonication. We quantify the increase in number of fluorescent cells for different acoustic pressure amplitudes and ultrasound exposure times. We interpret the increase in dye uptake after microstreaming flow as an indication of enhanced permeability of the cell wall. We perform microscopic visualizations to verify the occurrence of non-spherical shape oscillations of the bubbles, and to identify the optimal conditions for dye uptake. In our experimental conditions, with acoustic pressures in the range 20-40 kPa and frequencies in the range 25-70 kHz, we obtained spherical oscillations of bare microbubbles and non-spherical shape oscillations in microbubbles with algae attached to their surface. Only the latter were able to generate a non-linear microstreaming flow with sufficiently large viscous stresses to induce algae permeabilization. The results demonstrate that controlled microbubble streaming flow can enhance cell wall permeability in energy-efficient conditions.

categories: q-bio.QM cond-mat.soft physics.app-ph physics.flu-dyn


title: FirmwareDroid: Security Analysis of the Android Firmware EcoSystem

abstract: The Android Open Source Project (AOSP) is probably the most used and customized operating system for smartphones and IoT devices worldwide. Its market share and high adaptability makes Android an interesting operating system for many developers. Nowadays, we use Android firmware in smartphones, TVs, smartwatches, cars, and other devices by various vendors and manufacturers. The sheer amount of customized Android firmware and devices makes it hard for security analysts to detect potentially harmful applications. Another fact is that many vendors include apps from 3rd party developers. Such bloatware usually has more privileges than standard apps and cannot be removed by the user without rooting the device. In recent years several cases were reported where 3rd party developers could include malicious apps into the Android built chain. Media reports claim that pre-installed malware like Chamois and Triade we able to infect several million devices. Such cases demonstrate the need for better strategies for analyzing Android firmware. In our study, we analyze the Android firmware eco-system in various ways. We collected a dataset with several thousand Android firmware archives and show that several terabytes of firmware data are waiting on the web to be analyzed. We develop a web service called FirmwareDroid for analyzing Android firmware archives and pre-installed apps and create a dataset of firmware samples. Focusing on Android apps, we automated the process of extracting and scanning pre-installed apps with state of the art open-source tools. We demonstrate on real data that pre-installed apps are, in fact, a a threat to Android's users, and we can detect several hundred malware samples using scanners like VirusTotal, AndroGuard, and APKiD. With state of the art tools, we could scan more than 900000 apps during our research and give unique insights into Android custom ROMs.


title: Optical Constants of Titan Haze Analogue from 0.4 to 3.5 {\mu}m: Determined Using Vacuum Spectroscopy

abstract: Titan's thick atmosphere is primarily composed of nitrogen and methane. Complex chemistry happening in Titan's atmosphere produces optically thick organic hazes. These hazes play significant roles in Titan's atmosphere and on its surface, and their optical properties are crucial for understanding many processes happening on Titan. Due to the lack of such information, the optical constants of laboratory prepared Titan haze analogues are essential inputs for atmospheric modeling and data analysis of remote sensing observations of Titan. Here, we perform laboratory simulations in a Titan relevant environment, analyze the resulting Titan haze analogues using vacuum Fourier transform infrared spectroscopy, and calculate the optical constants from the measured transmittance and reflectance spectra. We provide a reliable set of optical constants of Titan haze analogue in the wavelength range from 0.4 to 3.5 micron and will extend to 28.5 micron in the near future, which can both be used for analyzing existing and future observational data of Titan. This study establishes a feasible method to determine optical constants of haze analogues of (exo)planetary bodies.


title: Poisson spacing statistics for lattice points on circles

abstract: We show that along a density one subsequence of admissible radii, the nearest neighbor spacing between lattice points on circles is Poissonian.


title: A branching random-walk model of disease outbreaks and the percolation backbone

abstract: The size and shape of the region affected by an outbreak is relevant to understand the dynamics of a disease and help to organize future actions to mitigate similar events. A simple extension of the SIR model is considered, where agents diffuse on a regular lattice and the disease may be transmitted when an infected and a susceptible agents are nearest neighbors. We study the geometric properties of both the connected cluster of sites visited by infected agents (outbreak cluster) and the set of clusters with sites that have not been visited. By changing the density of agents, our results show that there is a mixed-order (hybrid) transition where the region affected by the disease is finite in one phase but percolates through the system beyond the threshold. Moreover, the outbreak cluster seems to have the same exponents of the backbone of the critical cluster of the ordinary percolation while the clusters with unvisited sites have a size distribution with a Fisher exponent $\tau<2$.


title: FLoRA: Single-shot Hyper-parameter Optimization for Federated Learning

abstract: We address the relatively unexplored problem of hyper-parameter optimization (HPO) for federated learning (FL-HPO). We introduce Federated Loss suRface Aggregation (FLoRA), the first FL-HPO solution framework that can address use cases of tabular data and gradient boosting training algorithms in addition to stochastic gradient descent/neural networks commonly addressed in the FL literature. The framework enables single-shot FL-HPO, by first identifying a good set of hyper-parameters that are used in a **single** FL training. Thus, it enables FL-HPO solutions with minimal additional communication overhead compared to FL training without HPO. Our empirical evaluation of FLoRA for Gradient Boosted Decision Trees on seven OpenML data sets demonstrates significant model accuracy improvements over the considered baseline, and robustness to increasing number of parties involved in FL-HPO training.