title: Revisiting dynamics of interacting quintessence

abstract: We apply the tools of the dynamical system theory in order to revisit and uncover the structure of a nongravitational interaction between pressureless dark matter and dark energy described by a scalar field $\phi$. For a coupling function $Q = -(\alpha d\rho_m/dt + \beta d\rho_\phi/dt )$, where t is the cosmic time, we have found that it can be rewritten in the form $Q = 3H (\alpha \rho_m + \beta (d\phi/dt)^2 )/(1-\alpha +\beta)$, so that its dependence on the dark matter density and on the kinetic term of the scalar field is linear and proportional to the Hubble parameter. We analyze the scenarios $\alpha=0$, $\alpha = \beta$ and $\alpha = -\beta$, separately and in order to describe the cosmological evolution we have calculated various observables. A notable result of this work is that, unlike for the noninteracting scalar field with exponential potential where five critical points appear, in the case studied here, with the exception of the matter dominated solution, the remaining singular points are transformed into scaling solutions enriching the phase space. It is shown that for $\alpha \neq 0$, a separatrix arises modifying prominently the structure of the phase space. This represents a novel feature no mentioned before in the literature.


title: Efficiently Cooled Stellar Wind Bubbles in Turbulent Clouds I. Fractal Theory and Application to Star-Forming Clouds

abstract: Winds from massive stars have velocities of 1000 km/s or more, and produce hot, high pressure gas when they shock. We develop a theory for the evolution of bubbles driven by the collective winds from star clusters early in their lifetimes, which involves interaction with the turbulent, dense interstellar medium of the surrounding natal molecular cloud. A key feature is the fractal nature of the hot bubble's surface. The large area of this interface with surrounding denser gas strongly enhances energy losses from the hot interior, enabled by turbulent mixing and subsequent cooling at temperatures T = 10^4-10^5 K where radiation is maximally efficient. Due to the extreme cooling, the bubble radius scales differently (R ~ t^1/2) from the classical Weaver77 solution, and has expansion velocity and momentum lower by factors of 10-10^2 at given R, with pressure lower by factors of 10^2 - 10^3. Our theory explains the weak X-ray emission and low shell expansion velocities of observed sources. We discuss further implications of our theory for observations of the hot bubbles and cooled expanding shells created by stellar winds, and for predictions of feedback-regulated star formation in a range of environments. In a companion paper, we validate our theory with a suite of hydrodynamic simulations.


title: Higgs analysis with quantum classifiers

abstract: We have developed two quantum classifier models for the $t\bar{t}H(b\bar{b})$ classification problem, both of which fall into the category of hybrid quantum-classical algorithms for Noisy Intermediate Scale Quantum devices (NISQ). Our results, along with other studies, serve as a proof of concept that Quantum Machine Learning (QML) methods can have similar or better performance, in specific cases of low number of training samples, with respect to conventional ML methods even with a limited number of qubits available in current hardware. To utilise algorithms with a low number of qubits -- to accommodate for limitations in both simulation hardware and real quantum hardware -- we investigated different feature reduction methods. Their impact on the performance of both the classical and quantum models was assessed. We addressed different implementations of two QML models, representative of the two main approaches to supervised quantum machine learning today: a Quantum Support Vector Machine (QSVM), a kernel-based method, and a Variational Quantum Circuit (VQC), a variational approach.


title: Black Swans in Astronomical Data

abstract: Astronomy has always been propelled by the discovery of new phenomena lacking precedent, often followed by new theories to explain their existence and properties. In the modern era of large surveys tiling the sky at ever high precision and sampling rates, these serendipitous discoveries look set to continue, with recent examples including Boyajian's Star, Fast Radio Bursts and `Oumuamua. Accordingly, we here look ahead and aim to provide a statistical framework for interpreting such events and providing guidance to future observations, under the basic premise that the phenomenon in question stochastically repeat at some unknown, constant rate, $\lambda$. Specifically, expressions are derived for 1) the a-posteriori distribution for $\lambda$, 2) the a-posteriori distribution for the recurrence time, and, 3) the benefit-to-cost ratio of further observations relative to that of the inaugural event. Some rule-of-thumb results for each of these are found to be 1) $\lambda < \{0.7, 2.3, 4.6\}\,t_1^{-1}$ to $\{50, 90, 95\}\%$ confidence (where $t_1=$ time to obtain the first detection), 2) the recurrence time is $t_2 < \{1, 9, 99\}\,t_1$ to $\{50, 90, 95\}\%$ confidence, with a lack of repetition by time $t_2$ yielding a $p$-value of $1/[1+(t_2/t_1)]$, and, 3) follow-up for $\lesssim 10\,t_1$ is expected to be scientifically worthwhile under an array of differing assumptions about the object's intrinsic scientific value. We apply these methods to the Breakthrough Listen Candidate 1 signal and tidal disruption events observed by TESS.


title: Zigzag path connects two Monte Carlo samplers: Hamiltonian counterpart to a piecewise deterministic Markov process

abstract: Zigzag and other piecewise deterministic Markov process samplers have attracted significant interest for their non-reversibility and other appealing properties for Bayesian posterior computation. Hamiltonian Monte Carlo is another state-of-the-art sampler, exploiting fictitious momentum to guide Markov chains through complex target distributions. We establish an important connection between the zigzag sampler and a variant of Hamiltonian Monte Carlo based on Laplace-distributed momentum. The position and velocity component of the corresponding Hamiltonian dynamics travels along a zigzag path paralleling the Markovian zigzag process; however, the dynamics is non-Markovian in this position-velocity space as the momentum component encodes non-immediate pasts. This information is partially lost during a momentum refreshment step, in which we preserve its direction but re-sample magnitude. In the limit of increasingly frequent momentum refreshments, we prove that Hamiltonian zigzag converges strongly to its Markovian counterpart. This theoretical insight suggests that, when retaining full momentum information, Hamiltonian zigzag can better explore target distributions with highly correlated parameters by suppressing the diffusive behavior of Markovian zigzag. We corroborate this intuition by comparing performance of the two zigzag cousins on high-dimensional truncated multivariate Gaussians, including a 11,235-dimensional target arising from a Bayesian phylogenetic multivariate probit modeling of HIV virus data.


title: Improving Gender Translation Accuracy with Filtered Self-Training

abstract: Targeted evaluations have found that machine translation systems often output incorrect gender, even when the gender is clear from context. Furthermore, these incorrectly gendered translations have the potential to reflect or amplify social biases. We propose a gender-filtered self-training technique to improve gender translation accuracy on unambiguously gendered inputs. This approach uses a source monolingual corpus and an initial model to generate gender-specific pseudo-parallel corpora which are then added to the training data. We filter the gender-specific corpora on the source and target sides to ensure that sentence pairs contain and correctly translate the specified gender. We evaluate our approach on translation from English into five languages, finding that our models improve gender translation accuracy without any cost to generic translation quality. In addition, we show the viability of our approach on several settings, including re-training from scratch, fine-tuning, controlling the balance of the training data, forward translation, and back-translation.


title: The Immersion and Invariance Wind Speed Estimator Revisited and New Results

abstract: The Immersion and Invariance (I&I) wind speed estimator is a powerful and widely-used technique to estimate the rotor effective wind speed on horizontal axis wind turbines. Anyway, its global convergence proof is rather cumbersome, which hinders the extension of the method and proof to time-delayed and/or uncertain systems. In this letter, we illustrate that the circle criterion can be used as an alternative method to prove the global convergence of the I\&I estimator. This also opens up the inclusion of time-delays and uncertainties. First, we demonstrate that the I&I wind speed estimator is equivalent to a torque balance estimator with a proportional correction term. As the nonlinearity in the estimator is sector bounded, the well-known circle criterion is applied to the estimator to guarantee its global convergence for time-delayed systems. By looking at the theoretical framework from this new perspective, this letter further proposes the addition of an integrator to the correction term to improve the estimator performance. Case studies show that the proposed estimator with an additional integral correction term is effective at wind speed estimation. Furthermore, its global convergence can be guaranteed by the circle criterion for time-delayed systems.


title: Skyrme pseudopotentials at next-to-next-to-leading order Construction of local densities and first symmetry-breaking calculations

abstract: There is an ongoing quest to improve on the spectroscopic quality of nuclear energy density functionals (EDFs) of the Skyrme type through extensions of its traditional form. One direction for such activities is the inclusion of terms of higher order in gradients in the EDF. We report on exploratory symmetry-breaking calculations performed for an extension of the Skyrme EDF that includes central terms with four gradients at next-to-next-to-leading order (N2LO) and for which the high-quality parametrization SN2LO1 has been constructed recently [P. Becker et al, Phys. Rev. C 96, 044330 (2017)]. Up to now, the investigation of such functionals with higher-order terms was limited to infinite matter and spherically symmetric configurations of singly- and doubly-magic nuclei. We address here nuclei and phenomena that require us to consider axial and non-axial deformation, both for reflection-symmetric and also reflection-asymmetric shapes, as well as the breaking of time-reversal invariance. Achieving these calculations demanded a number of formal developments. These all resulted from the formulation of the N2LO EDF requiring the introduction of new local densities with additional gradients that are not present in the EDF at NLO. Their choice is not unique, but can differ in the way the gradients are coupled. While designing a numerical implementation of N2LO EDFs in Cartesian 3d coordinate-space representation, we have developed a novel definition and a new unifying notation for normal and pair densities that contain gradients at arbitrary order. The resulting scheme resolves several issues with some of the choices that have been made for local densities in the past, in particular when breaking time-reversal symmetry. Guided by general practical considerations, we propose an alternative form of the N2LO contribution to the Skyrme EDF that is built from a different set of densities.


title: The maximum of branching Brownian motion in $\mathbb{R}^d$

abstract: We show that in branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$, the law of $R_t^*$, the maximum distance of a particle from the origin at time $t$, converges as $t\to\infty$ to the law of a randomly shifted Gumbel random variable.


title: pLUTo: Enabling Massively Parallel Computation in DRAM via Lookup Tables

abstract: Data movement between the main memory and the processor is a key contributor to execution time and energy consumption in memory-intensive applications. This data movement bottleneck can be alleviated using Processing-in-Memory (PiM). One category of PiM is Processing-using-Memory (PuM), in which computation takes place inside the memory array by exploiting intrinsic analog properties of the memory device. PuM yields high performance and energy efficiency, but existing PuM techniques support a limited range of operations. As a result, current PuM architectures cannot efficiently perform some complex operations (e.g., multiplication, division, exponentiation) without large increases in chip area and design complexity. To overcome these limitations of existing PuM architectures, we introduce pLUTo (processing-using-memory with lookup table (LUT) operations), a DRAM-based PuM architecture that leverages the high storage density of DRAM to enable the massively parallel storing and querying of lookup tables (LUTs). The key idea of pLUTo is to replace complex operations with low-cost, bulk memory reads (i.e., LUT queries) instead of relying on complex extra logic. We evaluate pLUTo across 11 real-world workloads that showcase the limitations of prior PuM approaches and show that our solution outperforms optimized CPU and GPU baselines by an average of 713$\times$ and 1.2$\times$, respectively, while simultaneously reducing energy consumption by an average of 1855$\times$ and 39.5$\times$. Across these workloads, pLUTo outperforms state-of-the-art PiM architectures by an average of 18.3$\times$. We also show that different versions of pLUTo provide different levels of flexibility and performance at different additional DRAM area overheads (between 10.2% and 23.1%). pLUTo's source code is openly and fully available at https://github.com/CMU-SAFARI/pLUTo.


title: Unconventional iron-magnesium compounds at terapascal pressures

abstract: Being a lithophile element at ambient pressure, magnesium is long believed to be immiscible with iron. A recent study by Gao et al. [1] showed that pressure turns magnesium into a siderophile element and can produce unconventional Fe-Mg compounds. Here, we extend the investigation to exoplanetary pressure conditions using an adaptive genetic algorithm-based variable-composition structural prediction approach. We identify several Fe-Mg phases up to 3 TPa. Our cluster alignment analysis reveals that most of the predicted Fe-Mg compounds prefer a BCC packing motif at terapascal pressures. This study provides a more comprehensive structure database to support future investigations of the high-pressure structural behavior of Fe-Mg and ternary, quaternary, etc. compounds involving these elements.


title: Exact and fast solution of ultrarelativistic multibunch instabilities in a constant gradient accelerator

abstract: The electromagnetic wakefields excited by the bunches of charged particles in the particle accelerators may cause instability in the longitudinal and transverse motion of these bunches leading to the beam loss. These multibunch effects need to be analyzed carefully in an accelerator design to ensure the stability of the charged particle beams. This paper presents an analytical method describing the multibunch transverse instabilities for ultrarelativistic electron bunches whose energy changes linearly through the accelerating section of interest. Fast algorithmic implementations of this analytical method are presented for the general as well as the specific cases and this method is demonstrated with an example. This tool can also be applied to study single-bunch beam breakup.


title: Gas Sensing Properties of single-material SnP3 logical junction via Negative Differential Resistance: Theoretical Study

abstract: The field of 2D materials has gained a lot of attention for vast range of applications. Amongst others, the sensing ability towards harmful gases is the application, which we explored in the present work using quantum-mechanical simulations for the SnP3 material. Its electronic properties, namely 1 and 2 layers being semiconducting, while multilayers being metallic, offer a possibility to build a single-material logical junction. In addition, the harmful gases studied here show physical adsorption with charge transfer from the substrate to the gas molecules. Calculated recovery times show promise of a good sensing material. The I-V characteristics calculated for all cases indicates that SnP3 could be a viable sensing material towards NO gas via negative differential resistance.


title: Learn an index operator by CNN for solving diffusive optical tomography: a deep direct sampling method

abstract: In this work, we investigate the diffusive optical tomography (DOT) problem in the case that limited boundary measurements are available. Motivated by the direct sampling method (DSM), we develop a deep direct sampling method (DDSM) to recover the inhomogeneous inclusions buried in a homogeneous background. In this method, we design a convolutional neural network (CNN) to approximate the index functional that mimics the underling mathematical structure. The benefits of the proposed DDSM include fast and easy implementation, capability of incorporating multiple measurements to attain high-quality reconstruction, and advanced robustness against the noise. Numerical experiments show that the reconstruction accuracy is improved without degrading the efficiency, demonstrating its potential for solving the real-world DOT problems.


title: Syntax-Aware Graph-to-Graph Transformer for Semantic Role Labelling

abstract: Recent models have shown that incorporating syntactic knowledge into the semantic role labelling (SRL) task leads to a significant improvement. In this paper, we propose Syntax-aware Graph-to-Graph Transformer (SynG2G-Tr) model, which encodes the syntactic structure using a novel way to input graph relations as embeddings, directly into the self-attention mechanism of Transformer. This approach adds a soft bias towards attention patterns that follow the syntactic structure but also allows the model to use this information to learn alternative patterns. We evaluate our model on both span-based and dependency-based SRL datasets, and outperform previous alternative methods in both in-domain and out-of-domain settings, on CoNLL 2005 and CoNLL 2009 datasets.


title: How to Train BERT with an Academic Budget

abstract: While large language models a la BERT are used ubiquitously in NLP, pretraining them is considered a luxury that only a few well-funded industry labs can afford. How can one train such models with a more modest budget? We present a recipe for pretraining a masked language model in 24 hours using a single low-end deep learning server. We demonstrate that through a combination of software optimizations, design choices, and hyperparameter tuning, it is possible to produce models that are competitive with BERT-base on GLUE tasks at a fraction of the original pretraining cost.


title: Mapping Domain Wall Topology in the Magnetic Weyl Semimetal CeAlSi

abstract: We report full vector mapping of local magnetization in CeAlSi, a Weyl semimetal in which both inversion and time-reversal symmetries are broken. The vector maps reveal unanticipated features both within domains and at their boundaries. Boundaries between domains form two kinds of walls with distinct topology and therefore different interactions with Weyl fermions. Domain walls aligned along the tetragonal axes, e.g. (100), exhibit emergent chirality forbidden by the bulk space group, while diagonal walls are non-chiral. Within the domains, we observe that the previously reported set of four easy axes aligned along the in-plane diagonals of the tetragonal structure actually split to form an octet with decreasing temperature below the magnetic transition. All the above phenomena are ultimately traced to the noncollinear magnetic structure of CeAlSi.


title: Exploring higher order images with Fe K_{\alpha}-lines from relativistic disks: black hole spin determination and bias

abstract: We study the contributions to the relativistic Fe $K_{\alpha}$ line profile from higher order images (HOIs) produced by strongly deflected rays from the disk which cross the plunging region, located between the innermost stable circular orbit (ISCO) radius and the event horizon of a Kerr black hole. We investigate the characteristics features imprinted by the HOIs in the line profile for different black hole spins, disk emissivity laws and inclinations. We find that they extend from the red wing of the profile up to energies slightly lower than those of the blue peak, adding $\sim 0.4 - 1.3$\% to the total line flux. The contribution to the specific flux is often in the $\sim 1$\% to 7\% range, with the highest values attained for low and negative spin ($a\lesssim 0.3$) black holes surrounded by intermediate inclination angle ($i\sim40^{\circ}$) disks. We simulate future observations of a black hole X-ray binary system with the Large Area Detector of the planned X-ray astronomy \emph{enhanced X-ray Timing and Polarimetry Mission} (eXTP) and find that the \fekal\ of systems accreting at $\lesssim 1 $\% the Eddington rate are affected by the HOI features for a range of parameters. This would provide evidence of the extreme gravitational lensing of HOI rays. Our simulations show also that not accounting for HOI contributions to the Fe $K_{\alpha}$ line profile may systematically bias measurements of the black hole spin parameter towards values higher by up to $\sim 0.3$ than the inputted ones.


title: Time reversal of diffusion processes under a finite entropy condition

abstract: Motivated by entropic optimal transport, time reversal of diffusion processes is revisited. An integration by parts formula is derived for the carr\'e du champ of a Markov process in an abstract space. It leads to a time reversal formula for a wide class of diffusion processes in $ \mathbb{R}^n$ possibly with singular drifts, extending the already known results in this domain. The proof of the integration by parts formula relies on stochastic derivatives. Then, this formula is applied to compute the semimartingale characteristics of the time-reversed $P^*$ of a diffusion measure $P$ provided that the relative entropy of $P$ with respect to another diffusion measure $R$ is finite, and the semimartingale characteristics of the time-reversed $R^*$ are known (for instance when the reference path measure $R$ is reversible). As an illustration of the robustness of this method, the integration by parts formula is also employed to derive a time-reversal formula for a random walk on a graph.


title: Self-assembling redox-wires form the 2D power grid of energy converting cell membranes

abstract: The light-driven reactions of photosynthesis, as well as the mitochondrial power supply, are hosted within specialized membranes containing a high fraction of redoxactive lipids. Protein mobility and diffusion of redox lipids is believed to be the in plane charge transfer mechanism along such cell membranes. Using a membrane-on-a-chip setup, we show that redox-active model membranes can conduct and sustain surprisingly high (mA) currents with a specific resistivity typical for semiconductors. Our data suggest that charge transfer within cell walls hosting electron-transferchains is driven by self-assembling molecular redox-wires that effectively couple redox-proteins by a simultaneous electron and proton in plane hopping within a membrane. This completely alters our understanding of the role of lipid membranes with wide-range implications suggesting e.g. that conducting membranes may be the precursor for evolving complex redox-machineries of life, and electrochemical membrane deterioration may play an important role in mitochondrial aging. Further, these self-assembling organic 2D-conductors offer technologically exploitable features allowing for designing self-assembling and adaptive bio-electronics.


title: Approximation algorithms for 1-Wasserstein distance between persistence diagrams

abstract: Recent years have witnessed a tremendous growth using topological summaries, especially the persistence diagrams (encoding the so-called persistent homology) for analyzing complex shapes. Intuitively, persistent homology maps a potentially complex input object (be it a graph, an image, or a point set and so on) to a unified type of feature summary, called the persistence diagrams. One can then carry out downstream data analysis tasks using such persistence diagram representations. A key problem is to compute the distance between two persistence diagrams efficiently. In particular, a persistence diagram is essentially a multiset of points in the plane, and one popular distance is the so-called 1-Wasserstein distance between persistence diagrams. In this paper, we present two algorithms to approximate the 1-Wasserstein distance for persistence diagrams in near-linear time. These algorithms primarily follow the same ideas as two existing algorithms to approximate optimal transport between two finite point-sets in Euclidean spaces via randomly shifted quadtrees. We show how these algorithms can be effectively adapted for the case of persistence diagrams. Our algorithms are much more efficient than previous exact and approximate algorithms, both in theory and in practice, and we demonstrate its efficiency via extensive experiments. They are conceptually simple and easy to implement, and the code is publicly available in github.


title: Phase-resolved hard X-ray emission of the high-mass binary LS 5039: a spectral hardening above 50 keV detected with INTEGRAL

abstract: Aims: LS 5039 is an enigmatic high-mass gamma-ray binary which hosts a powerful O6.5V companion, but the nature of the compact object is still to be established using multi-wavelength observations. Methods: We analyzed phase-resolved multi-instrument spectra of nonthermal emission from LS 5039 in order to produce reliable spectral models, which can be further employed to select between various scenarios and theoretical models of the binary. Results: The combined phase-resolved hard X-ray and MeV-range gamma-ray spectra obtained with XMM-Newton, Suzaku, NuSTAR, INTEGRAL, and COMPTEL indicate a meaningful spectral hardening above 50~keV. The spectral break observed in both major phases of the binary may indicate the presence of a hardening in the spectrum of accelerated leptons which could originate from the interaction of wind from the O6.5V companion star with the relativistic outflow from a yet unidentified compact object.


title: Survey about protection motivation on social networking sites: University of Maribor students, 2018

abstract: This paper reports on a study aiming to explore factors associated with protection motivation of users on social networking sites. The objectives of this study were to determine how trust in internet service provider, trust in social media provider, trust in government, privacy concerns, fear of government intrusions, locus of control, and perceived threats affect protection motivation of users on social networking sites. The study employed a cross-sectional research design. A survey was conducted among University of Maribor students between October 2018 and January 2019. A total of 289 respondents completed the survey providing for N=276 useful responses after excluding poorly completed responses (27.9 percent response rate). The survey questionnaire was developed in English. A Slovenian translation of the survey questionnaire is available.


abstract: Representation learning has significantly been developed with the advance of contrastive learning methods. Most of those methods have benefited from various data augmentations that are carefully designated to maintain their identities so that the images transformed from the same instance can still be retrieved. However, those carefully designed transformations limited us to further explore the novel patterns exposed by other transformations. Meanwhile, as found in our experiments, the strong augmentations distorted the images' structures, resulting in difficult retrieval. Thus, we propose a general framework called Contrastive Learning with Stronger Augmentations~(CLSA) to complement current contrastive learning approaches. Here, the distribution divergence between the weakly and strongly augmented images over the representation bank is adopted to supervise the retrieval of strongly augmented queries from a pool of instances. Experiments on the ImageNet dataset and downstream datasets showed the information from the strongly augmented images can significantly boost the performance. For example, CLSA achieves top-1 accuracy of 76.2% on ImageNet with a standard ResNet-50 architecture with a single-layer classifier fine-tuned, which is almost the same level as 76.5% of supervised results. The code and pre-trained models are available in https://github.com/maple-research-lab/CLSA.


title: Providing a hybrid cryptography algorithm for lightweight authentication protocol in RFID with urban traffic usage case

abstract: Today, the Internet of Things (IoT) is one of the emerging technologies that enable the connection and transfer of information through communication networks. The main idea of the IoT is the widespread presence of objects such as mobile devices, sensors, and RFID. With the increase in traffic volume in urban areas, the existing intelligent urban traffic management system based on IoT can be vital. Therefore, this paper focused on security in urban traffic based on using RFID. In our scheme, RFID tags chose as the purpose of this article. We, in this paper, present a mutual authentication protocol that leads to privacy based on hybrid cryptography. Also, an authentication process with RFID tags is proposed that can be read at high speed. The protocol has attempted to reduce the complexity of computing. At the same time, the proposed method can withstand attacks such as spoofing of tag and reader, tag tracking, and replay attack.


title: Quantum Architecture Search via Deep Reinforcement Learning

abstract: Recent advances in quantum computing have drawn considerable attention to building realistic application for and using quantum computers. However, designing a suitable quantum circuit architecture requires expert knowledge. For example, it is non-trivial to design a quantum gate sequence for generating a particular quantum state with as fewer gates as possible. We propose a quantum architecture search framework with the power of deep reinforcement learning (DRL) to address this challenge. In the proposed framework, the DRL agent can only access the Pauli-$X$, $Y$, $Z$ expectation values and a predefined set of quantum operations for learning the target quantum state, and is optimized by the advantage actor-critic (A2C) and proximal policy optimization (PPO) algorithms. We demonstrate a successful generation of quantum gate sequences for multi-qubit GHZ states without encoding any knowledge of quantum physics in the agent. The design of our framework is rather general and can be employed with other DRL architectures or optimization methods to study gate synthesis and compilation for many quantum states.


title: Fundamental Landau Levels in a Strongly Coupled Plasma

abstract: We use the gauge/gravity correspondence to show that in its context there appear Landau levels when studying the excitations of the fundamental degrees of freedom of a strongly coupled plasma subject to a magnetic field of arbitrary intensity. We work in the phase where mesons are melted by embedding a D7-brane in the 10D uplift that we construct for the 5D background associated to a magnetic brane. By studying the dependence of the lowest quasinormal frequency on both, the intensity of the magnetic field and the Landau level, we corroborate that the energy behaves as expected for dissociating Landau levels. The reconstruction of the impact of the magnetic field on the stability of the quasinormal modes allows us to identify inverse magnetic catalysis for intensities of the field bellow a certain value, and magnetic catalysis for those above it.


title: Noise-Assisted Discord-Like Correlations in Light-Harvesting Photosynthetic Complexes

abstract: Transport phenomena in photosynthetic systems have attracted a great deal of attention due to their potential role in devising novel photovoltaic materials. In particular, energy transport in light-harvesting complexes is considered quite efficient due to the balance between coherent quantum evolution and decoherence, a phenomenon coined Environment-Assisted Quantum Transport (ENAQT). Although this effect has been extensively studied, its behavior is typically described in terms of the decoherence's strength, namely weak, moderate or strong. Here, we study the ENAQT in terms of quantum correlations that go beyond entanglement. Using a subsystem of the Fenna-Matthews-Olson complex, we find that discord-like correlations maximize when the subsystem's transport efficiency increases, while the entanglement between sites vanishes. Our results suggest that quantum discord is a manifestation of the ENAQT and highlight the importance of beyond-entanglement correlations in photosynthetic energy transport processes.


title: Risk Aggregation under Dependence Uncertainty and an Order Constraint

abstract: We study the aggregation of two risks when the marginal distributions are known and the dependence structure is unknown, under the additional constraint that one risk is smaller than or equal to the other. Risk aggregation problems with the order constraint are closely related to the recently introduced notion of the directional lower (DL) coupling. The largest aggregate risk in concave order (thus, the smallest aggregate risk in convex order) is attained by the DL coupling. These results are further generalized to calculate the best-case and worst-case values of tail risk measures. In particular, we obtain analytical formulas for bounds on Value-at-Risk. Our numerical results suggest that the new bounds on risk measures with the extra order constraint can greatly improve those with full dependence uncertainty.


title: Meta Faster R-CNN: Towards Accurate Few-Shot Object Detection with Attentive Feature Alignment

abstract: Few-shot object detection (FSOD) aims to detect objects using only a few examples. How to adapt state-of-the-art object detectors to the few-shot domain remains challenging. Object proposal is a key ingredient in modern object detectors. However, the quality of proposals generated for few-shot classes using existing methods is far worse than that of many-shot classes, e.g., missing boxes for few-shot classes due to misclassification or inaccurate spatial locations with respect to true objects. To address the noisy proposal problem, we propose a novel meta-learning based FSOD model by jointly optimizing the few-shot proposal generation and fine-grained few-shot proposal classification. To improve proposal generation for few-shot classes, we propose to learn a lightweight metric-learning based prototype matching network, instead of the conventional simple linear object/nonobject classifier, e.g., used in RPN. Our non-linear classifier with the feature fusion network could improve the discriminative prototype matching and the proposal recall for few-shot classes. To improve the fine-grained few-shot proposal classification, we propose a novel attentive feature alignment method to address the spatial misalignment between the noisy proposals and few-shot classes, thus improving the performance of few-shot object detection. Meanwhile we learn a separate Faster R-CNN detection head for many-shot base classes and show strong performance of maintaining base-classes knowledge. Our model achieves state-of-the-art performance on multiple FSOD benchmarks over most of the shots and metrics.


title: Ontology-based Feature Selection: A Survey

abstract: The SemanticWeb emerged as an extension to the traditional Web, towards adding meaning to a distributed Web of structured and linked data. At its core, the concept of ontology provides the means to semantically describe and structure information and data and expose it to software and human agents in a machine and human-readable form. For software agents to be realized, it is crucial to develop powerful artificial intelligence and machine learning techniques, able to extract knowledge from information and data sources and represent it in the underlying ontology. This survey aims to provide insight into key aspects of ontology-based knowledge extraction, from various sources such as text, images, databases and human expertise, with emphasis on the task of feature selection. First, some of the most common classification and feature selection algorithms are briefly presented. Then, selected methodologies, which utilize ontologies to represent features and perform feature selection and classification, are described. The presented examples span diverse application domains, e.g., medicine, tourism, mechanical and civil engineering, and demonstrate the feasibility and applicability of such methods.


title: Analytical study of light ray trajectories in Kerr spacetime in the presence of an inhomogeneous anisotropic plasma

abstract: We calculate the exact solutions to the equations of motion that govern the light ray trajectories as they travel in a Kerr black hole's exterior that is considered to be filled with an inhomogeneous and anisotropic plasmic medium. This is approached by characterizing the plasma through conceiving a radial and an angular structure function, which are let to be constant. The description of the motion is carried out by using the Hamilton-Jacobi method, that allows defining two effective potentials, characterizing the evolution of the polar coordinates. The elliptic integrals of motion are then solved analytically, and the evolution of coordinates is expressed in terms of the Mino time. This way, the three-dimensional demonstrations of the light ray trajectories are given respectively.


title: Efficiently Cooled Stellar Wind Bubbles in Turbulent Clouds II. Validation of Theory with Hydrodynamic Simulations

abstract: In a companion paper, we develop a theory for the evolution of stellar wind driven bubbles in dense, turbulent clouds. This theory proposes that turbulent mixing at a fractal bubble-shell interface leads to highly efficient cooling, in which the vast majority of the input wind energy is radiated away. This energy loss renders the majority of the bubble evolution momentum-driven rather than energy-driven, with expansion velocities and pressures orders of magnitude lower than in the classical Weaver77 solution. In this paper, we validate our theory with three-dimensional, hydrodynamic simulations. We show that extreme cooling is not only possible, but is generic to star formation in turbulent clouds over more than three orders of magnitude in density. We quantify the few free parameters in our theory, and show that the momentum exceeds the wind input rate by only a factor ~ 1.2-4. We verify that the bubble/cloud interface is a fractal with dimension ~ 2.5-2.7. The measured turbulent amplitude (v_t ~ 200-400 km/s) in the hot gas near the interface is shown to be consistent with theoretical requirements for turbulent diffusion to efficiently mix and radiate away most of the wind energy. The fraction of energy remaining after cooling is only 1-\Theta ~ 0.1-0.01, decreasing with time, explaining observations that indicate low hot-gas content and weak dynamical effects of stellar winds.


title: A robust specification test in linear panel data models

abstract: The presence of outlying observations may adversely affect statistical testing procedures that result in unstable test statistics and unreliable inferences depending on the distortion in parameter estimates. In spite of the fact that the adverse effects of outliers in panel data models, there are only a few robust testing procedures available for model specification. In this paper, a new weighted likelihood based robust specification test is proposed to determine the appropriate approach in panel data including individual-specific components. The proposed test has been shown to have the same asymptotic distribution as that of most commonly used Hausman's specification test under null hypothesis of random effects specification. The finite sample properties of the robust testing procedure are illustrated by means of Monte Carlo simulations and an economic-growth data from the member countries of the Organisation for Economic Co-operation and Development. Our records reveal that the robust specification test exhibit improved performance in terms of size and power of the test in the presence of contamination.


title: Design Patterns and Trade-Offs in Responsive Visualization for Communication

abstract: Increased access to mobile devices motivates the need to design communicative visualizations that are responsive to varying screen sizes. However, relatively little design guidance or tooling is currently available to authors. We contribute a detailed characterization of responsive visualization strategies in communication-oriented visualizations, identifying 76 total strategies by analyzing 378 pairs of large screen (LS) and small screen (SS) visualizations from online articles and reports. Our analysis distinguishes between the Targets of responsive visualization, referring to what elements of a design are changed and Actions representing how targets are changed. We identify key trade-offs related to authors' need to maintain graphical density, referring to the amount of information per pixel, while also maintaining the "message" or intended takeaways for users of a visualization. We discuss implications of our findings for future visualization tool design to support responsive transformation of visualization designs, including requirements for automated recommenders for communication-oriented responsive visualizations.


title: Cross-beam energy transfer saturation by ion trapping-induced detuning

abstract: The performance of direct-drive inertial confinement fusion implosions relies critically on the coupling of laser energy to the target plasma. Cross-beam energy transfer (CBET), the resonant exchange of energy between intersecting laser beams mediated by ponderomotively driven ion-acoustic waves (IAW), inhibits this coupling by scattering light into unwanted directions. The variety of beam intersection angles and varying plasma conditions in an implosion results in IAWs with a range of phase velocities. Here we show that CBET saturates through a resonance detuning that depends on the IAW phase velocity and that results from trapping-induced modifications to the ion distribution functions. For smaller phase velocities, the modifications to the distribution functions can rapidly thermalize in the presence of mid-Z ions, leading to a blueshift in the resonant frequency. For larger phase velocities, the modifications can persist, leading to a redshift in the resonant frequency. Ultimately, these results may reveal pathways towards CBET mitigation and inform reduced models for radiation hydrodynamics codes to improve their predictive capability.


title: Significance of Low-level Controller for String Stability under Adaptive Cruise Control

abstract: Current commercial adaptive cruise control (ACC) systems consist of an upper-level planner controller that decides the optimal trajectory that should be followed, and a low-level controller in charge of sending the gas/brake signals to the mechanical system to actually move the vehicle. We find that the low-level controller has a significant impact on the string stability (SS) even if the planner is string stable: (i) a slow controller deteriorates the SS, (ii) slow controllers are common as they arise from insufficient control gains, from a "weak" gas/brake system or both, and (iii) the integral term in a slow controller causes undesired overshooting which affects the SS. Accordingly, we suggest tuning up the proportional/feedforward gain and ensuring the gas/brake is not "weak". The study results are validated both numerically and empirically with data from commercial cars.


title: A Tale of Two Limits: An Extremal Pagerank Problem

abstract: For a directed graph, the Pagerank algorithm emulates a random walker on the graph that occasionally "jumps" to a random vertex based on a jumping parameter $\alpha$. Upon completion, the algorithm generates a stochastic vector whose entries correspond to the limiting probability that the walker will be at that vertex. This vector is a right eigenvector of a corresponding Markov trasition matrix. Undoubtedly, this vector can drastically change based upon the jumping parameter $\alpha$. In this article, we investigate the maximum possible discrepancy for different Pagerank vectors on the same unweighted directed (perhaps with loops) graph as measured by the 2-norm. We show that the limsup of this discrepancy can be as large as $\sqrt{\frac{67}{50}}$ using a very specific construction. (For contrast, the norm of the difference for any two stochastic vectors is at most $\sqrt{2}$.) Interestingly, on this construction this discrepancy occurs when $\alpha = 1$ and when $\alpha$ is very close to 1.


title: Energy-conserving formulation of the two-fluid model for incompressible two-phase flow in channels and pipes

abstract: We show that the one-dimensional (1D) two-fluid model (TFM) for stratified flow in channels and pipes (in its incompressible, isothermal form) satisfies an energy conservation equation, which arises naturally from the mass and momentum conservation equations that constitute the model. This result extends upon earlier work on the shallow water equations (SWE), with the important difference that we include non-conservative pressure terms in the analysis, and that we propose a formulation that holds for ducts with an arbitrary cross-sectional shape, with the 2D channel and circular pipe geometries as special cases. The second novel result of this work is the formulation of a finite volume scheme for the TFM that satisfies a discrete form of the continuous energy equation. This discretization is derived in a manner that runs parallel to the continuous analysis. Due to the non-conservative pressure terms it is essential to employ a staggered grid, which requires careful consideration in defining the discrete energy and energy fluxes, and the relations between them and the discrete model. Numerical simulations confirm that the discrete energy is conserved.


title: The spectral radius of graphs with no odd wheels

abstract: The odd wheel $W_{2k+1}$ is the graph formed by joining a vertex to a cycle of length $2k$. In this paper, we investigate the largest value of the spectral radius of the adjacency matrix of an $n$-vertex graph that does not contain $W_{2k+1}$. We determine the structure of the spectral extremal graphs for all $k\geq 2, k\not\in \{4,5\}$. When $k=2$, we show that these spectral extremal graphs are among the Tur\'{a}n-extremal graphs on $n$ vertices that do not contain $W_{2k+1}$ and have the maximum number of edges, but when $k\geq 9$, we show that the family of spectral extremal graphs and the family of Tur\'{a}n-extremal graphs are disjoint.


title: Interacting holes in Si and Ge double quantum dots: from a multiband approach to an effective-spin picture

abstract: The states of two electrons in tunnel-coupled semiconductor quantum dots can be effectively described in terms of a two-spin Hamiltonian with an isotropic Heisenberg interaction. A similar description needs to be generalized in the case of holes due to their multiband character and spin-orbit coupling, which mixes orbital and spin degrees of freedom, and splits $J=3/2$ and $J = 1/2$ multiplets. Here we investigate two-hole states in prototypical coupled Si and Ge quantum dots via different theoretical approaches. Multiband $\boldsymbol{k}\cdot\boldsymbol{p}$ and Configuration-Interaction calculations are combined with entanglement measures in order to thoroughly characterize the two-hole states in terms of band mixing and justify the introduction of an effective spin representation, which we analytically derive a from generalized Hubbard model. We find that, in the weak interdot regime, the ground state and first excited multiplet of the two-hole system display -- unlike their electronic counterparts -- a high degree of $J$-mixing, even in the limit of purely heavy-hole states. The light-hole component additionally induces $M$-mixing and a weak coupling between spinors characterized by different permutational symmetries.


title: Designing vortices in pipe flow with topography-driven Langmuir circulation

abstract: We present direct numerical simulation of a mechanism for creating longitudinal vortices in pipe flow, compared with a simple model theory. By furnishing the pipe wall with a pattern of crossing waves secondary flow in the form of spanwise vortex pairs is created. The mechanism `CL1' is kinematic and known from oceanography as a driver of Langmuir circulation. CL1 is strongest when the `wall wave' vectors make an accute angle with the axis, $\varphi=10^\circ$ - $20^\circ$ (a `contracted eggcarton'), changes sign near $45^\circ$ and is weak and opposite beyond this angle. A competing, dynamic mechanism driving secondary flow in the opposite sense is also observed created by the azimuthally varying friction. Whereas at smaller angles `CL1' prevails, the dynamic effect dominates when $\varphi\gtrsim 45^\circ$ reversing the flow. Curiously, circulation strength is a faster-than-linearly increasing function of Reynolds number for the contracted case. We explore an analogy with Prandtl's secondary motion of the second kind in turbulence. A transport equation for average streamwise vorticity is derived, and we analyse it for three different crossing angles, $\varphi=18.6^\circ, 45^\circ$ and $60^\circ$. Mean-vorticity production is organised in a ring-like structure with the two rings contributing to rotating flow in opposite senses. For the larger $\varphi$ the inner ring decides the main swirling motion, whereas for $\varphi=18.6^\circ$ outer-ring production dominates. For the larger angles the outer ring is mainly driven by advection of vorticity and the inner by deformation (stretching) whereas for $\varphi=18.6^\circ$ both contribute approximately equally to production in the outer ring.


title: Universal two-component dynamics in supercritical fluids

abstract: Despite the technological importance of supercritical fluids, controversy remains about the details of their microscopic dynamics. In this work, we study four supercritical fluid systems -- water, Si, Te, and Lennard-Jones fluid -- \emph{via} classical molecular dynamics simulations. A universal two-component behavior is observed in the intermolecular dynamics of these systems, and the changing ratio between the two components leads to a crossover from liquidlike to gaslike dynamics, most rapidly around the Widom line. We find evidence to connect the liquidlike component dominating at lower temperatures with intermolecular bonding, and the component prominent at higher temperatures with free-particle, gaslike dynamics. The ratio between the components can be used to describe important properties of the fluid, such as its self-diffusion coefficient, in the transition region. Our results provide insight into the fundamental mechanism controlling the dynamics of supercritical fluids, and highlight the role of spatiotemporally inhomogenous dynamics even in thermodynamic states where no large-scale fluctuations exist in the fluid.


title: On the Bruhat $\mathcal{G}$-order between local systems on the B-orbits of a Hermitian symmetric variety

abstract: Following Lusztig and Vogan, we study the Bruhat $G$-order on the set $\mathcal{D}$ of rank $1$ local systems on $B$-orbits over an Hermitian symmetric variety $G/L$. The main aim is to give a combinatorial characterization similar to the one on the Bruhat order given by Gandini and Maffei. The results depend on the type of the root system $\Phi(G)$ which we suppose irreducible. In particular, for $\Phi(G)$ simply laced either all the local systems are trivial or only a specific subset of orbits (the orbits of maximum rank) admit a non-trivial local system. In this last case the Hasse diagram of the order admit two connected components: all the orbits with trivial local systems and the orbits of maximum rank with the (unique) non-trivial local system. On every connected component the order coincides with the Bruhat order.


title: Spin susceptibility of superconductors with strong spin-orbit coupling

abstract: We show that in some trigonal and hexagonal crystals the Zeeman coupling of band electrons with an external magnetic field is strongly anisotropic and necessarily vanishes along the main symmetry axis. This leads to qualitative changes in the temperature dependence of the electron spin susceptibility in the superconducting state. In particular, the power-law exponents at low temperatures due to the contribution of the nodal quasiparticles are considerably modified compared to their textbook values.


title: Performance Analysis and Optimization Opportunities for NVIDIA Automotive GPUs

abstract: Advanced Driver Assistance Systems (ADAS) and Autonomous Driving (AD) bring unprecedented performance requirements for automotive systems. Graphic Processing Unit (GPU) based platforms have been deployed with the aim of meeting these requirements, being NVIDIA Jetson TX2 and its high-performance successor, NVIDIA AGX Xavier, relevant representatives. However, to what extent high-performance GPU configurations are appropriate for ADAS and AD workloads remains as an open question. This paper analyzes this concern and provides valuable insights on this question by modeling two recent automotive NVIDIA GPU-based platforms, namely TX2 and AGX Xavier. In particular, our work assesses their microarchitectural parameters against relevant benchmarks, identifying GPU setups delivering increased performance within a similar cost envelope, or decreasing hardware costs while preserving original performance levels. Overall, our analysis identifies opportunities for the optimization of automotive GPUs to further increase system efficiency.


title: Automated Evolution of Feature Logging Statement Levels Using Git Histories and Degree of Interest

abstract: Logging -- used for system events and security breaches to describe more informational yet essential aspects of software features -- is pervasive. Given the high transactionality of today's software, logging effectiveness can be reduced by information overload. Log levels help alleviate this problem by correlating a priority to logs that can be later filtered. As software evolves, however, levels of logs documenting surrounding feature implementations may also require modification as features once deemed important may have decreased in urgency and vice-versa. We present an automated approach that assists developers in evolving levels of such (feature) logs. The approach, based on mining Git histories and manipulating a degree of interest (DOI) model, transforms source code to revitalize feature log levels based on the "interestingness" of the surrounding code. Built upon JGit and Mylyn, the approach is implemented as an Eclipse IDE plug-in and evaluated on 18 Java projects with $\sim$3 million lines of code and $\sim$4K log statements. Our tool successfully analyzes 99.22% of logging statements, increases log level distributions by $\sim$20%, and increases the focus of logs in bug fix contexts $\sim$83% of the time. Moreover, pull (patch) requests were integrated into large and popular open-source projects. The results indicate that the approach is promising in assisting developers in evolving feature log levels.


title: A Random Persistence Diagram Generator

abstract: Topological data analysis (TDA) studies the shape patterns of data. Persistent homology is a widely used method in TDA that summarizes homological features of data at multiple scales and stores them in persistence diagrams (PDs). In this paper, we propose a random persistence diagram generator (RPDG) method that generates a sequence of random PDs from the ones produced by the data. RPDG is underpinned by a model based on pairwise interacting point processes, and a reversible jump Markov chain Monte Carlo (RJ-MCMC) algorithm. A first example, which is based on a synthetic dataset, demonstrates the efficacy of RPDG and provides a comparison with another method for sampling PDs. A second example demonstrates the utility of RPDG to solve a materials science problem given a real dataset of small sample size.


title: A one-sided direct forcing immersed boundary method using moving least squares

abstract: This paper presents a one-sided immersed boundary (IB) method using kernel functions constructed via a moving least squares (MLS) method. The resulting kernels effectively couple structural degrees of freedom to fluid variables on only one side of the fluid-structure interface. This reduces spurious feedback forcing and internal flows that are typically observed in IB models that use isotropic kernel functions to couple the structure to fluid degrees of freedom on both sides of the interface. The method developed here extends the original MLS methodology introduced by Vanella and Balaras (J Comput Phys, 2009). Prior IB/MLS methods have used isotropic kernel functions that coupled fluid variables on both sides of the boundary to the interfacial degrees of freedom. The original IB/MLS approach converts the cubic spline weights typically employed in MLS reconstruction into an IB kernel function that satisfies particular discrete moment conditions. This paper shows that the same approach can be used to construct one-sided kernel functions (kernel functions are referred to as generating functions in the MLS literature). We also examine the performance of the new approach for a family of kernel functions introduced by Peskin. It is demonstrated that the one-sided MLS construction tends to generate non-monotone interpolation kernels with large over- and undershoots. We present two simple weight shifting strategies to construct generating functions that are positive and monotone, which enhances the stability of the resulting IB methodology. Benchmark cases are used to test the order of accuracy and verify the one-sided IB/MLS simulations in both two and three spatial dimensions. This new IB/MLS method is also used to simulate flow over the Ahmed car model, which highlights the applicability of this methodology for modeling complex engineering flows.


title: PHANGS-ALMA: Arcsecond CO(2-1) Imaging of Nearby Star-Forming Galaxies

abstract: We present PHANGS-ALMA, the first survey to map CO J=2-1 line emission at ~1" ~ 100pc spatial resolution from a representative sample of 90 nearby (d<~20 Mpc) galaxies that lie on or near the z=0 "main sequence" of star-forming galaxies. CO line emission traces the bulk distribution of molecular gas, which is the cold, star-forming phase of the interstellar medium. At the resolution achieved by PHANGS-ALMA, each beam reaches the size of a typical individual giant molecular cloud (GMC), so that these data can be used to measure the demographics, life-cycle, and physical state of molecular clouds across the population of galaxies where the majority of stars form at z=0. This paper describes the scientific motivation and background for the survey, sample selection, global properties of the targets, ALMA observations, and characteristics of the delivered ALMA data and derived data products. As the ALMA sample serves as the parent sample for parallel surveys with VLT/MUSE, HST, AstroSat, VLA, and other facilities, we include a detailed discussion of the sample selection. We detail the estimation of galaxy mass, size, star formation rate, CO luminosity, and other properties, compare estimates using different systems and provide best-estimate integrated measurements for each target. We also report the design and execution of the ALMA observations, which combine a Cycle~5 Large Program, a series of smaller programs, and archival observations. Finally, we present the first 1" resolution atlas of CO emission from nearby galaxies and describe the properties and contents of the first PHANGS-ALMA public data release.


title: Using DFTB to Model Photocatalytic Anatase-Rutile TiO$_2$ Nanocrystalline Interfaces and their Band Alignment

abstract: Band alignment effects of anatase and rutile nanocrystals in TiO$_2$ powders lead to an electron hole separation, increasing the photo catalytic efficiency of these powders. While size effects and types of possible alignments have been extensively studied, the effect of interface geometries of bonded nanocrystal structures on the alignment is poorly understood. In order to allow conclusive studies of a vast variety of bonded systems in different orientations, we have developed a new density functional tight binding parameter set to properly describe quantum confinement in nanocrystals. Applying this set we found a quantitative influence of the interface structure on the band alignment.


title: Safe Affine Transformation-Based Guidance of a Large-Scale Multi-Quadcopter System (MQS)

abstract: This paper studies the problem of affine transformation-based guidance of a multi-quadcopter system (MQS) in an obstacle-laden environment. Such MQSs can perform a variety of cooperative tasks including information collection, inspection mapping, disinfection, and firefighting. The MQS affine transformation is an approach to a decentralized leader-follower coordination guided by n +1 leaders, where leaders are located at vertices of an n-D simplex, called leading simplex, at any time t. The remaining agents are followers acquiring the desired affine transformation via local communication. Followers are contained in a rigid-size ball at any time t but they can be distributed either inside or outside the leading simplex. By eigen-decomposition of the affine transformation coordination, safety in a large-scale MQS coordination can be ensured by constraining eigenvalues of the affine transformation. Given the initial and final configurations of the MQS, A-star search is applied to optimally plan safe coordination of a large-scale MQS minimizing the travel distance between the the initial and final configuration. The paper also proposes a proximity-based communication topology for followers to assign communication weights with their in-neighbors and acquire the desired coordination with minimal computation cost.


title: Optimizing Multiple Multi-Way Stream Joins

abstract: We address the joint optimization of multiple stream joins in a scale-out architecture by tailoring prior work on multi-way stream joins to predicate-driven data partitioning schemes. We present an integer linear programming (ILP) formulation for selecting the partitioning and tuple routing with minimal probe load and describe how routing and operator placement can be rewired dynamically at changing data characteristics and arrival or expiration of queries. The presented algorithms and optimization schemes are implemented in CLASH, a data stream processor developed in our group that translates queries to deployable Apache Storm topologies after optimization. The experiments conducted over real-world data exhibit the potential of multi-query optimization of multi-way stream joins and the effectiveness and feasibility of the ILP optimization problem.


title: The origin of bulges and discs in the CALIFA survey: I. Morphological evolution

abstract: This series of papers aims at understanding the formation and evolution of non-barred disc galaxies. We use the new spectro-photometric decomposition code, C2D, to separate the spectral information of bulges and discs of a statistically representative sample of galaxies from the CALIFA survey. Then, we study their stellar population properties analising the structure-independent datacubes with the Pipe3D algorithm. We find a correlation between the bulge-to-total ($B/T$) luminosity (and mass) ratio and galaxy stellar mass. The $B/T$ mass ratio has only a mild evolution with redshift, but the bulge-to-disc ($B/D$) mass ratio shows a clear increase of the disc component since redshift $z < 1$ for massive galaxies. The mass-size relation for both bulges and discs describes an upturn at high galaxy stellar masses (log{(M_{\star}/M_{\sun})} > 10.5). The relation holds for bulges but not for discs when using their individual stellar masses. We find a negligible evolution of the mass-size relation for both the most massive (log{(M_{\star \rm ,b,d}/M_{\sun})} > 10) bulges and discs. For lower masses, discs show a larger variation than bulges. We also find a correlation between the S\'ersic index of bulges and both galaxy and bulge stellar mass, which does not hold for the disc mass. Our results support an inside-out formation of nearby non-barred galaxies, and they suggest that i) bulges formed early-on and ii) they have not evolved much through cosmic time. However, we find that the early properties of bulges drive the future evolution of the galaxy as a whole, and particularly the properties of the discs that eventually form around them.


title: A multiconfigurational pair-density functional theory approach to molecular junctions

abstract: Due to their small size and unique properties, single-molecule electronics have long seen research interest from experimentalists and theoreticians alike. From a theoretical standpoint, modeling these systems using electronic structure theory can be difficult due to the importance of electron correlation in the determination of molecular properties, and this electron correlation can be computationally expensive to consider, particularly multiconfigurational correlation energy. In this work, we develop a new approach for the study of single-molecule electronic systems, denoted NEGF-MCPDFT, which combines multiconfiguration pair-density functional theory (MC-PDFT) with the non-equilibrium Green's function formalism (NEGF). The use of MC-PDFT with NEGF allows for the efficient inclusion of both static and dynamic electron correlation in the description of the junction's electronic structure. CASSCF wave functions are used as references in the MC-PDFT calculation, and like with any active space method, effort must be made to determine the proper orbital character to include in the active space. We perform conductance and transmission calculations on a series of alkanes (predominantly single-configurational character) and benzyne (multiconfigurational character), exploring the role that active space selection has on the computed results. For the alkane junctions explored (where dynamic electron correlation dominates), the MCPDFT-NEGF results agree well with DFT-NEGF results. For the benzyne junction (which has significant static correlation), we see clear differences in the MCPDFT-NEGF and DFT-NEGF results, and evidence that NEGF-MCPDFT is capturing additional electron correlation effects beyond those provided by the PBE functional.


title: Closure of the Laplace-Beltrami operator on 2D almost-Riemannian manifolds and semi-Fredholm properties of differential operators on Lie manifolds

abstract: The problem of determining the domain of the closure of the Laplace-Beltrami operator on a 2D almost-Riemannian manifold is considered. Using tools from theory of Lie groupoids natural domains of perturbations of the Laplace-Beltrami operator are found. The main novelty is that the presented method allows us to treat geometries with tangency points. This kind of singularity is difficult to treat since those points do not have a tubular neighbourhood compatible with the almost-Riemannian metric.


title: A global DC branch model incorporating power system flexibility

abstract: In this letter we propose a generalized branch model to be used in DC optimal power flow (DCOPF) applications. Besides AC lines and transformers, the formulation allows for representing variable susceptance branches, phase shifting transformers, HVDC lines, zero impedance lines and open branches. The possibility to model branches with concurrently variable susceptance and controllable phase shift angles is also provided. The model is suited for use in DCOPF formulations aimed at the optimization of remedial actions so as to exploit power system flexibility; applications to small-, medium- and large-scale systems are presented to this purpose.


title: A Characterization of Braided Enriched Monoidal Categories

abstract: We construct an equivalence between the 2-categories VMonCat of rigid V-monoidal categories for a braided monoidal category V and VModTens of oplax braided functors from V into the Drinfeld centers of ordinary rigid monoidal categories. The 1-cells in each are the respective lax monoidal functors, and the 2-cells are the respective monoidal natural transformations. Our proof also gives an equivalence in the case that we consider only strong monoidal 1-cells on both sides. The 2-categories VMonCat and VModTens have G-graded analogues. We also get an equivalence of 2-categories between G-extensions of some fixed V-monoidal category A, and G-extensions of some fixed V-module tensor category (A, F_A^Z).


title: Variational Inference for Category Recommendation in E-Commerce platforms

abstract: Category recommendation for users on an e-Commerce platform is an important task as it dictates the flow of traffic through the website. It is therefore important to surface precise and diverse category recommendations to aid the users' journey through the platform and to help them discover new groups of items. An often understated part in category recommendation is users' proclivity to repeat purchases. The structure of this temporal behavior can be harvested for better category recommendations and in this work, we attempt to harness this through variational inference. Further, to enhance the variational inference based optimization, we initialize the optimizer at better starting points through the well known Metapath2Vec algorithm. We demonstrate our results on two real-world datasets and show that our model outperforms standard baseline methods.


title: Actionable Models: Unsupervised Offline Reinforcement Learning of Robotic Skills

abstract: We consider the problem of learning useful robotic skills from previously collected offline data without access to manually specified rewards or additional online exploration, a setting that is becoming increasingly important for scaling robot learning by reusing past robotic data. In particular, we propose the objective of learning a functional understanding of the environment by learning to reach any goal state in a given dataset. We employ goal-conditioned Q-learning with hindsight relabeling and develop several techniques that enable training in a particularly challenging offline setting. We find that our method can operate on high-dimensional camera images and learn a variety of skills on real robots that generalize to previously unseen scenes and objects. We also show that our method can learn to reach long-horizon goals across multiple episodes through goal chaining, and learn rich representations that can help with downstream tasks through pre-training or auxiliary objectives. The videos of our experiments can be found at https://actionable-models.github.io


title: Joint Attention for Multi-Agent Coordination and Social Learning

abstract: Joint attention - the ability to purposefully coordinate attention with another agent, and mutually attend to the same thing -- is a critical component of human social cognition. In this paper, we ask whether joint attention can be useful as a mechanism for improving multi-agent coordination and social learning. We first develop deep reinforcement learning (RL) agents with a recurrent visual attention architecture. We then train agents to minimize the difference between the attention weights that they apply to the environment at each timestep, and the attention of other agents. Our results show that this joint attention incentive improves agents' ability to solve difficult coordination tasks, by reducing the exponential cost of exploring the joint multi-agent action space. Joint attention leads to higher performance than a competitive centralized critic baseline across multiple environments. Further, we show that joint attention enhances agents' ability to learn from experts present in their environment, even when completing hard exploration tasks that do not require coordination. Taken together, these findings suggest that joint attention may be a useful inductive bias for multi-agent learning.


title: Breaking of Huygens-Fresnel principle in inhomogeneous Tomonaga-Luttinger liquids

abstract: Tomonaga-Luttinger liquids (TLLs) can be used to effectively describe one-dimensional quantum many-body systems such as ultracold atoms, charges in nanowires, superconducting circuits, and gapless spin chains. Their properties are given by two parameters, the propagation velocity and the Luttinger parameter. Here we study inhomogeneous TLLs where these are promoted to functions of position and demonstrate that they profoundly affect the dynamics: In general, besides curving the light cone, we show that propagation is no longer ballistically localized to the light-cone trajectories, different from standard homogeneous TLLs. Specifically, if the Luttinger parameter depends on position, the dynamics features pronounced spreading into the light cone, which cannot be understood via a simple superposition of waves as in the Huygens-Fresnel principle. This is the case for ultracold atoms in a parabolic trap, which serves as our main motivation, and we discuss possible experimental observations in such systems.


title: New perspectives on knockoffs construction

abstract: Let $\Lambda$ be the collection of all probability distributions for $(X,\widetilde{X})$, where $X$ is a fixed random vector and $\widetilde{X}$ ranges over all possible knockoff copies of $X$ (in the sense of \cite{CFJL18}). Three topics are developed in this paper: (i) A new characterization of $\Lambda$ is proved; (ii) A certain subclass of $\Lambda$, defined in terms of copulas, is introduced; (iii) The (meaningful) special case where the components of $X$ are conditionally independent is treated in depth. In real problems, after observing $X=x$, each of points (i)-(ii)-(iii) may be useful to generate a value $\widetilde{x}$ for $\widetilde{X}$ conditionally on $X=x$.


title: Magnetic connections across the chromosphere-corona transition region

abstract: The plasma contributing to emission from the Sun between the cool chromosphere ($\le 10^4$K) and hot corona ($\ge 10^6$K) has been subjected to many different interpretations. Here we look at the magnetic structure of this transition region (TR) plasma, based upon the implications of CLASP2 data of an active region recently published by Ishikawa et al., and earlier IRIS and SDO data of quiet regions. Ishikawa et al. found that large areas of sunspot plages are magnetically unipolar as measured in the cores of \ion{Mg}{2} resonance lines, formed in the lower transition region under low plasma-$\beta$ conditions. Here we show that IRIS images in the line cores have fibrils which well aligned with the overlying coronal loop segments seen in the 171 \AA{} channel of SDO. When the TR emission in active regions arise from plasma magnetically and thermally connected to the corona, then the line cores can provide the first credible magnetic boundary conditions for force-free calculations extended to the corona. We also re-examine IRIS images of dynamic TR cool loops previously reported as a major contributor to transition region emission from the quiet Sun. Dynamic cool loops contribute only a small fraction of the total TR emission from the quiet Sun.


title: Electric Impedance Tomography problem for surfaces with internal holes

abstract: Let $(M,g)$ be a smooth compact Riemann surface with the multicomponent boundary $\Gamma=\Gamma_0\cup\Gamma_1\cup\dots\cup\Gamma_m=:\Gamma_0\cup\tilde\Gamma$. Let $u=u^f$ obey $\Delta u=0$ in $M$, $u|_{\Gamma_0}=f,\,\,u|_{\tilde\Gamma}=0$ (the grounded holes) and $v=v^h$ obey $\Delta v=0$ in $M$, $v|_{\Gamma_0}=h,\,\,\partial_\nu v|_{\tilde\Gamma}=0$ (the isolated holes). Let $\Lambda_{g}^{\rm gr}: f\mapsto\partial_\nu u^f|_{\Gamma_{0}}$ and $\Lambda_{g}^{\rm is}: h\mapsto\partial_\nu v^h|_{\Gamma_{0}}$ be the corresponding DN-maps. The EIT problem is to determine $M$ from $\Lambda_{g}^{\rm gr}$ or $\Lambda_{g}^{\rm is}$. To solve it, an algebraic version of the BC-method is applied. The main instrument is the algebra of holomorphic functions on the ma\-ni\-fold ${\mathbb M}$, which is obtained by gluing two examples of $M$ along $\tilde{\Gamma}$. We show that this algebra is determined by $\Lambda_{g}^{\rm gr}$ (or $\Lambda_{g}^{\rm is}$) up to isometric isomorphism. Its Gelfand spectrum (the set of characters) plays the role of the material for constructing a relevant copy $(M',g',\Gamma_{0}')$ of $(M,g,\Gamma_{0})$. This copy is conformally equivalent to the original, provides $\Gamma_{0}'=\Gamma_{0},\,\,\Lambda_{g'}^{\rm gr}=\Lambda_{g}^{\rm gr},\,\,\Lambda_{g'}^{\rm is}=\Lambda_{g}^{\rm is}$, and thus solves the problem.


title: Central limit theorems for the (2+1)-dimensional directed polymer in the weak disorder limit

abstract: In this article, we present an invariance principle for the paths of the directed random polymer in space dimension two in the subcritical intermediate disorder regime. More precisely, the distribution of diffusively rescaled polymer paths converges in probability to the law of Brownian motion when taking the weak disorder limit. So far analogous results have only been established for $d\neq 2$. Along the way, we prove a local limit theorem which allows us to factorise the point-to-point partition function of the directed polymer into a product of two point-to-plane partition functions.


title: Local and global integrability of Lie brackets

abstract: We survey recent results on the local and global integrability of a Lie algebroid, as well as the integrability of infinitesimal multiplicative geometric structures on it.


title: Dynamics of a hybrid vibro-impact oscillator: canonical formalism

abstract: Hybrid vibro-impact (HVI) oscillations is a strongly nonlinear dynamical regime that involves both linear oscillations and collisions under periodic, impulsive, or stochastic excitation. This regime arises in various engineering systems, such as mechanical components under tight rigid constraints, seismic-induced sloshing in partially-filled liquid storage tanks, and more. The adaptive nonlinearity of the HVI oscillator is used by the HVI-nonlinear energy sink as an effective vibration mitigation solution for broad energy and frequency range. Due to the extreme nonlinearity of this regime, traditional analytical methods are inapplicable for the description of its transient dynamics. In the current work, we model the HVI oscillator by a forced particle in a truncated quadratic potential well with infinite depth. The slow flow dynamics of the system in the vicinity of primary resonance is described by canonical transformation to action-angle (AA) variables and the corresponding reduced resonance manifold (RM). Two types of bifurcation are examined. The former is associated with the transition between linear oscillations and the HVI-regime and vice versa, and the latter with reaching a chosen maximal transient energy level. The transition boundaries and frequency response curves are obtained analytically. Two underlying dynamical mechanisms that govern the occurrence of bifurcations are identified: the "maximum" and the "saddle" mechanisms. The latter, a potentially more dangerous scenario, involves abrupt transitions of the system's energy response from a relatively small value to the threshold energy level. Both mechanisms are universal for systems that undergo escape from a potential well. All theoretical results are in complete agreement with full-scale numerical simulations.


title: FireFly Autonomous Drone Project

abstract: As a fire erupts, the first few minutes can be critical, and first respondents must race to the scene to analyze the situation and act fast before it gets out of hand. Factors such as road traffic condition and distance may not allow quick rescue operation using traditional means and methods, leading to unmanageable spreading of fire, injuries or even deaths that can be avoided. FireFly drone-based rescue consists of a squad of highly equipped drones that will be the first responders to the fire site. Their intervention will make the task of the fire rescue team much more effective and will contribute to reduce the overall damage. As soon as the fire is detected by in-building implanted sensors, the fire department would deploy a set of FireFly drones that would fly to the site, scan the building, and send live fire status information to the Fire fighter team. The drones would have the ability to identify trapped humans using AI based pattern recognition tools (using sensors and thermal cameras) and then drop them rescue kits as appropriate. The drones will also be equipped with fire detection and recognition capabilities and be able to drop fire extinguishing balls as first attempts to put off seeds of fires before they evolve. The integration of drones with firefighting will allow for ease of access and control of fire outbreaks. Drones will also result in increased response time, prevention of further damage, and allow relaying of vital information to out of reach places regarding the characteristics of the fire scene.


title: A new and alternative look at NonLinear Alfv\'enic States

abstract: A new formalism for the nonlinear Alfv\'enic states sustainable in Hall Magnetohydrodynamics is developed in a complete basis provided by the circularly polarized Beltrami Vectors, the eigenstates of linear HMHD. Nonlinear HMHD is, then, reduced to a rather simple looking set of scalar equations from which a model problem of three interacting Beltrami modes is formulated and analytically solved. The triplet interactions span a variety of familiar nonlinear processes leading to a redistribution as well as periodic exchange of energy. The energy exchange processes (whose strength is measured by an energy exchange /depletion time) will, perhaps, play a dominant role in determining the spectral content of an eventual Alfv\'enic state. All nonlinearities (sensitive functions of the interacting wave vectors) operate at par, and none is dominant over any substantial region of k-space; their intricate interplay prevents a "universal" picture from emerging; few generalizations on the processes that may, for instance, lead to a turbulent state, are possible. However, the theory can definitely claim: 1) the energy tends to flow from lower to higher $k$, and 2) the higher $k_z$ (in the direction of the ambient magnetic field) components of a mode with a given $k$ are depleted/oscillate faster -in some cases much faster. It is noteworthy that the mode coupling is the strongest (with the shortest depletion time) when the participating wave vectors are nearly perpendicular; perhaps, an expected consequence of the curl (cross product) nonlinearities. Numerical simulations will be necessary to help create a fully reliable picture.


title: Observations with the Differential Speckle Survey Instrument. X. Preliminary Orbits of K Dwarf Binaries and Other Stars

abstract: This paper details speckle observations of binary stars taken at the Lowell Discovery Telescope, the WIYN Telescope, and the Gemini telescopes between 2016 January and 2019 September. The observations taken at Gemini and Lowell were done with the Differential Speckle Survey Instrument (DSSI), and those done at WIYN were taken with the successor instrument to DSSI at that site, the NN-EXPLORE Exoplanet Star and Speckle Imager (NESSI). In total, we present 378 observations of 178 systems and we show that the uncertainty in the measurement precision for the combined data set is ~2 mas in separation, ~1-2 degrees in position angle depending on the separation, and $\sim$0.1 magnitudes in magnitude difference. Together with data already in the literature, these new results permit 25 visual orbits and one spectroscopic-visual orbit to be calculated for the first time. In the case of the spectroscopic-visual analysis, which is done on the trinary star HD 173093, we calculate masses with precision of better than 1% for all three stars in that system. Twenty-one of the visual orbits calculated have a K dwarf as the primary star; we add these to the known orbits of K dwarf primary stars and discuss the basic orbital properties of these stars at this stage. Although incomplete, the data that exist so far indicate that binaries with K dwarf primaries tend not to have low-eccentricity orbits at separations of one to a few tens of AU, that is, on solar-system scales.


title: Micro-Estimates of Wealth for all Low- and Middle-Income Countries

abstract: Many critical policy decisions, from strategic investments to the allocation of humanitarian aid, rely on data about the geographic distribution of wealth and poverty. Yet many poverty maps are out of date or exist only at very coarse levels of granularity. Here we develop the first micro-estimates of wealth and poverty that cover the populated surface of all 135 low and middle-income countries (LMICs) at 2.4km resolution. The estimates are built by applying machine learning algorithms to vast and heterogeneous data from satellites, mobile phone networks, topographic maps, as well as aggregated and de-identified connectivity data from Facebook. We train and calibrate the estimates using nationally-representative household survey data from 56 LMICs, then validate their accuracy using four independent sources of household survey data from 18 countries. We also provide confidence intervals for each micro-estimate to facilitate responsible downstream use. These estimates are provided free for public use in the hope that they enable targeted policy response to the COVID-19 pandemic, provide the foundation for new insights into the causes and consequences of economic development and growth, and promote responsible policymaking in support of the Sustainable Development Goals.


title: Does BERT Pretrained on Clinical Notes Reveal Sensitive Data?

abstract: Large Transformers pretrained over clinical notes from Electronic Health Records (EHR) have afforded substantial gains in performance on predictive clinical tasks. The cost of training such models (and the necessity of data access to do so) coupled with their utility motivates parameter sharing, i.e., the release of pretrained models such as ClinicalBERT. While most efforts have used deidentified EHR, many researchers have access to large sets of sensitive, non-deidentified EHR with which they might train a BERT model (or similar). Would it be safe to release the weights of such a model if they did? In this work, we design a battery of approaches intended to recover Personal Health Information (PHI) from a trained BERT. Specifically, we attempt to recover patient names and conditions with which they are associated. We find that simple probing methods are not able to meaningfully extract sensitive information from BERT trained over the MIMIC-III corpus of EHR. However, more sophisticated "attacks" may succeed in doing so: To facilitate such research, we make our experimental setup and baseline probing models available at https://github.com/elehman16/exposing_patient_data_release


title: Comparative Study of Learning Outcomes for Online Learning Platforms

abstract: Personalization and active learning are key aspects to successful learning. These aspects are important to address in intelligent educational applications, as they help systems to adapt and close the gap between students with varying abilities, which becomes increasingly important in the context of online and distance learning. We run a comparative head-to-head study of learning outcomes for two popular online learning platforms: Platform A, which follows a traditional model delivering content over a series of lecture videos and multiple-choice quizzes, and Platform B, which creates a personalized learning environment and provides problem-solving exercises and personalized feedback. We report on the results of our study using pre- and post-assessment quizzes with participants taking courses on an introductory data science topic on two platforms. We observe a statistically significant increase in the learning outcomes on Platform B, highlighting the impact of well-designed and well-engineered technology supporting active learning and problem-based learning in online education. Moreover, the results of the self-assessment questionnaire, where participants reported on perceived learning gains, suggest that participants using Platform B improve their metacognition.


title: Towards a dichotomy for the switch list homomorphism problem for signed graphs

abstract: We make advances towards a structural characterisation of the signed graphs $H$ for which the list switch $H$-colouring problem $\operatorname{LSwHom}(H)$ problem is polynomial time solvable. We conjecture a characterisation for signed graphs that can be switched to graphs such that every negative edge is also positive, and prove the characterisation in the case that the signed graph is reflexive.


title: Quantum resources of the steady-state of three coupled qubits: Microscopic versus Phenomenological model

abstract: Quantum resources, such as entanglement, steering, and Bell nonlocality, are evaluated for three coupled qubits in the steady-state configuration. We employ the phenomenological master equation and the microscopic master equation to probe such quantum resources, which provide very different results depending on the system configuration. In particular, steering and Bell nonlocality are null within the phenomenological model, while they reach considerable values within the microscopic model. These results show that the phenomenological approach is not able to capture all quantum resources of the system. We also provide an analytical expression for the steady-state and quantum resources of the system composed of three coupled qubits in the zero temperature limit. Such results demonstrate that quantum resources between two qubits are strongly affected by the third qubit in a nontrivial way.


title: Turbulent Proton Heating Rate in the Solar Wind from $5$ to $45~R_{\odot}$

abstract: Various remote sensing observations have been used so far to probe the turbulent properties of the solar wind. Using the recently reported density modulation indices that are derived using angular broadening observations of Crab Nebula during 1952 - 2013, we measured the solar wind proton heating using the kinetic $\rm Alfv\acute{e}n$ wave dispersion equation. The estimated heating rates vary from $\approx 1.58 \times 10^{-14}$ to $1.01 \times 10^{-8} ~\rm erg~ cm^{-3}~ s^{-1}$ in the heliocentric distance range 5 - 45 $\rm R_{\odot}$. Further, we found that heating rates vary with the solar cycle in correlation with density modulation indices. The models derived using in-situ measurements (for example, electron/proton density, temperature, and magnetic field) that the recently launched Parker Solar Probe observes (planned closest perihelia $\rm 9.86~ R_{\odot}$ from the center of the Sun) are useful in the estimation of the turbulent heating rate precisely. Further, we compared our heating rate estimates with the one derived using previously reported remote sensing and in-situ observations.


title: Exploring Visual Engagement Signals for Representation Learning

abstract: Visual engagement in social media platforms comprises interactions with photo posts including comments, shares, and likes. In this paper, we leverage such visual engagement clues as supervisory signals for representation learning. However, learning from engagement signals is non-trivial as it is not clear how to bridge the gap between low-level visual information and high-level social interactions. We present VisE, a weakly supervised learning approach, which maps social images to pseudo labels derived by clustered engagement signals. We then study how models trained in this way benefit subjective downstream computer vision tasks such as emotion recognition or political bias detection. Through extensive studies, we empirically demonstrate the effectiveness of VisE across a diverse set of classification tasks beyond the scope of conventional recognition.


title: Trust but Verify: Cryptographic Data Privacy for Mobility Management

abstract: The era of Big Data has brought with it a richer understanding of user behavior through massive data sets, which can help organizations optimize the quality of their services. In the context of transportation research, mobility data can provide Municipal Authorities (MA) with insights on how to operate, regulate, or improve the transportation network. Mobility data, however, may contain sensitive information about end users and trade secrets of Mobility Providers (MP). Due to this data privacy concern, MPs may be reluctant to contribute their datasets to MA. Using ideas from cryptography, we propose an interactive protocol between a MA and a MP in which MA obtains insights from mobility data without MP having to reveal its trade secrets or sensitive data of its users. This is accomplished in two steps: a commitment step, and a computation step. In the first step, Merkle commitments and aggregated traffic measurements are used to generate a cryptographic commitment. In the second step, MP extracts insights from the data and sends them to MA. Using the commitment and zero-knowledge proofs, MA can certify that the information received from MP is accurate, without needing to directly inspect the mobility data. We also present a differentially private version of the protocol that is suitable for the large query regime. The protocol is verifiable for both MA and MP in the sense that dishonesty from one party can be detected by the other. The protocol can be readily extended to the more general setting with multiple MPs via secure multi-party computation.


title: Combinatorial Bounds in Distal Structures

abstract: We provide polynomial upper bounds for the minimal sizes of distal cell decompositions in several kinds of distal structures, particularly weakly $o$-minimal and $P$-minimal structures. The bound in general weakly $o$-minimal structures generalizes the vertical cell decomposition for semialgebraic sets, and the bounds for vector spaces in both $o$-minimal and $p$-adic cases are tight. We apply these bounds to Zarankiewicz's problem and sum-product bounds in distal structures.


title: AsymmNet: Towards ultralight convolution neural networks using asymmetrical bottlenecks

abstract: Deep convolutional neural networks (CNN) have achieved astonishing results in a large variety of applications. However, using these models on mobile or embedded devices is difficult due to the limited memory and computation resources. Recently, the inverted residual block becomes the dominating solution for the architecture design of compact CNNs. In this work, we comprehensively investigated the existing design concepts, rethink the functional characteristics of two pointwise convolutions in the inverted residuals. We propose a novel design, called asymmetrical bottlenecks. Precisely, we adjust the first pointwise convolution dimension, enrich the information flow by feature reuse, and migrate saved computations to the second pointwise convolution. By doing so we can further improve the accuracy without increasing the computation overhead. The asymmetrical bottlenecks can be adopted as a drop-in replacement for the existing CNN blocks. We can thus create AsymmNet by easily stack those blocks according to proper depth and width conditions. Extensive experiments demonstrate that our proposed block design is more beneficial than the original inverted residual bottlenecks for mobile networks, especially useful for those ultralight CNNs within the regime of <220M MAdds. Code is available at https://github.com/Spark001/AsymmNet


title: Holes' character and bond versus charge disproportionation in $s-p$ $ABX_{3}$ perovskites

abstract: We use density functional theory methods to study the electronic structures of a series of $s-p$ cubic perovskites $ABX_{3}$: the experimentally available SrBiO$_{3}$, BaBiO$_{3}$, BaSbO$_3$, CsTlF$_{3}$, and CsTlCl$_{3}$, as well as the hypothetical MgPO$_{3}$, CaAsO$_{3}$, SrSbO$_{3}$, and RaMcO$_3$. We use tight-binding modeling to calculate the interatomic hopping integrals $t_{sp\sigma}$ between the $B-s$ and $X-p$ atomic orbitals and charge-transfer energies $\Delta$, which are the two most important parameters that determine the low-energy electron and hole states of these systems. Our calculations elucidate several trends in $t_{sp\sigma}$ and $\Delta$ as one moves across the periodic table, such as the relativistic energy lowering of the $B-s$ orbital in heavy $B$ cations leading to strongly negative $\Delta$ values. Our results are discussed in connection with the general phase diagram for $s - p$ cubic perovskites proposed in Ref. 26, where the parent superconductors SrBiO$_{3}$ and BaBiO$_{3}$ are found to be in the regime of negative $\Delta$ and large $t_{sp\sigma}$. Here, we explore this further and search for new materials with similar parameters, which could lead to the discovery of new superconductors. Also, some considerations are offered regarding a possible relation between the physical properties of a given $s - p$ compound (such as its tendency to bond disproportionate and the maximal achievable superconducting transition temperature) and its electronic structure.