title: Shock generated vorticity in spark discharges

abstract: Spark discharges induce a complex flow field consisting of a shock wave at early times (~ 1 $\mu$ s), a pair of vortex rings, and a hot gas kernel. The vortex rings entrain ambient gas into the hot gas kernel and control its cooling and expansion. In this work, we investigate the shock wave's contribution in producing the vortex ring vorticity. We analyze high-speed (700 kHz) schlieren images of the shock wave for a range of electrical energies to measure the shock properties and estimate shock velocity and curvature. These measurements are combined with a model to calculate the vorticity generated. The measurements show that the highest vorticity is generated near the peak shock curvature location, and the shock curvature and strength increase with electrical energy deposited. A comparison of the vorticity estimated from the model to vorticity measurements from stereoscopic particle image velocimetry shows the results to be statistically equivalent. This suggests that the shock curvature and velocity contribute to the vortex rings induced by spark discharges.


title: Variable Selection in Regression-based Estimation of Dynamic Treatment Regimes

abstract: Dynamic treatment regimes (DTRs) consist of a sequence of decision rules, one per stage of intervention, that finds effective treatments for individual patients according to patient information history. DTRs can be estimated from models which include the interaction between treatment and a small number of covariates which are often chosen a priori. However, with increasingly large and complex data being collected, it is difficult to know which prognostic factors might be relevant in the treatment rule. Therefore, a more data-driven approach of selecting these covariates might improve the estimated decision rules and simplify models to make them easier to interpret. We propose a variable selection method for DTR estimation using penalized dynamic weighted least squares. Our method has the strong heredity property, that is, an interaction term can be included in the model only if the corresponding main terms have also been selected. Through simulations, we show our method has both the double robustness property and the oracle property, and the newly proposed methods compare favorably with other variable selection approaches.


title: Dynamic Longest Increasing Subsequence and the Erd\"{o}s-Szekeres Partitioning Problem

abstract: In this paper, we provide new approximation algorithms for dynamic variations of the longest increasing subsequence (\textsf{LIS}) problem, and the complementary distance to monotonicity (\textsf{DTM}) problem. In this setting, operations of the following form arrive sequentially: (i) add an element, (ii) remove an element, or (iii) substitute an element for another. At every point in time, the algorithm has an approximation to the longest increasing subsequence (or distance to monotonicity). We present a $(1+\epsilon)$-approximation algorithm for \textsf{DTM} with polylogarithmic worst-case update time and a constant factor approximation algorithm for \textsf{LIS} with worst-case update time $\tilde O(n^\epsilon)$ for any constant $\epsilon > 0$.% $n$ in the runtime denotes the size of the array at the time the operation arrives. Our dynamic algorithm for \textsf{LIS} leads to an almost optimal algorithm for the Erd\"{o}s-Szekeres partitioning problem. Erd\"{o}s-Szekeres partitioning problem was introduced by Erd\"{o}s and Szekeres in 1935 and was known to be solvable in time $O(n^{1.5}\log n)$. Subsequent work improve the runtime to $O(n^{1.5})$ only in 1998. Our dynamic \textsf{LIS} algorithm leads to a solution for Erd\"{o}s-Szekeres partitioning problem with runtime $\tilde O_{\epsilon}(n^{1+\epsilon})$ for any constant $\epsilon > 0$.


title: Through the Data Management Lens: Experimental Analysis and Evaluation of Fair Classification

abstract: Classification, a heavily-studied data-driven machine learning task, drives an increasing number of prediction systems involving critical human decisions such as loan approval and criminal risk assessment. However, classifiers often demonstrate discriminatory behavior, especially when presented with biased data. Consequently, fairness in classification has emerged as a high-priority research area. Data management research is showing an increasing presence and interest in topics related to data and algorithmic fairness, including the topic of fair classification. The interdisciplinary efforts in fair classification, with machine learning research having the largest presence, have resulted in a large number of fairness notions and a wide range of approaches that have not been systematically evaluated and compared. In this paper, we contribute a broad analysis of 13 fair classification approaches and additional variants, over their correctness, fairness, efficiency, scalability, robustness to data errors, sensitivity to underlying ML model, data efficiency, and stability using a variety of metrics and real-world datasets. Our analysis highlights novel insights on the impact of different metrics and high-level approach characteristics on different aspects of performance. We also discuss general principles for choosing approaches suitable for different practical settings, and identify areas where data-management-centric solutions are likely to have the most impact.


title: A homogenised model for flow, transport and sorption in a heterogeneous porous medium

abstract: A major challenge in flow through porous media is to better understand the link between microstructure and macroscale flow and transport. For idealised microstructures, the mathematical framework of homogenisation theory can be used for this purpose. Here, we consider a two-dimensional microstructure comprising an array of obstacles of smooth but arbitrary shape, the size and spacing of which can vary along the length of the porous medium. We use homogenisation via the method of multiple scales to systematically upscale a novel problem involving cells of varying area to obtain effective continuum equations for macroscale flow and transport. The equations are characterised by the local porosity, a local anisotropic flow permeability, an effective local anisotropic solute diffusivity, and an effective local adsorption rate. These macroscale properties depend nontrivially on the two degrees of microstructural geometric freedom in our problem: obstacle size, and obstacle spacing. We exploit this dependence to construct and compare scenarios where the same porosity profile results from different combinations of obstacle size and spacing. We focus on a simple example geometry comprising circular obstacles on a rectangular lattice, for which we numerically determine the macroscale permeability and effective diffusivity. We investigate scenarios where the porosity is spatially uniform but the permeability and diffusivity are not. Our results may be useful in the design of filters, or for studying the impact of deformation on transport in soft porous media.


title: Some results on higher order isosymmetries in Semi-Hilbertian Spaces

abstract: In this paper, we introduce the class of $(A,(m,n))$-isosymmetric operators and we study some of their properties, for a positive semi-definite operator $A$ and $ m,n\in\mathbb{ N}$, which extend, by changing the initial inner product with the semi-inner product induced by $A$, the well-known class of $(m,n)$-isosymmetric operators introduced by Mark Stankus (\cite{mark1}, \cite{mark}). In particular, we characterize a family of $A$-isosymmetric $(2\times2)$ upper triangular operator matrices. Moreover, we show that that if $T$ is $(A,(m,n))$-isosymmetric and if $Q$ is a nilpotent operator of order $r$ doubly commuting with $T$, then $T^p$ is $(A,(m,n))$-isosymmetric symmetric for any $p\in \mathbb{N}$ and $(T +Q)$ is $\big(A,(m+2r -2, n+2r -1)\big)$-isosymmetric. Some properties of the spectrum are also investigated.


title: Conservative, density-based smoothed particle hydrodynamics with improved partition of the unity and better estimation of gradients

abstract: The correct evaluation of gradients is at the cornerstone of the smoothed particle hydrodynamics (SPH) technique. Using an integral approach to estimate gradients has proven to enhance accuracy substantially. Such approach retains the Lagrangian structure of SPH equations and is fully conservative. But, in practice, it is difficult to make the Lagrangian formulation totally consistent to an exact partition of the unity. In this paper we study, among other things, the connection between the choice of the volume elements (VEs), which enters in the SPH summations, and the accuracy in the gradient estimation within the integral approach scheme (ISPH). A new variant of VEs are proposed which improve the partition of the unity and is fully compatible with the Lagrangian formulation of SPH, including the grad-h corrections. Using analytic considerations, simple static toy models in 1D, and a few full 3D test cases, we show that any improvement in the partition of the unity also leads to a better calculation of gradients when the integral approach is used jointly. Additionally, we propose an easy-to-implement modification of the ISPH scheme, which makes it more flexible and better suited to handle sharp density contrasts. The ISPH code built with the proposed scheme has been validated with a good number of standard tests, some of them involving contact discontinuities. The performance of the code was excellent in all of them, showing that an improvement in the partition of the unity is not detrimental of the good conservation of energy, momentum, and entropy typical of Lagrangian schemes.


title: Fast Privacy-Preserving Text Classification based on Secure Multiparty Computation

abstract: We propose a privacy-preserving Naive Bayes classifier and apply it to the problem of private text classification. In this setting, a party (Alice) holds a text message, while another party (Bob) holds a classifier. At the end of the protocol, Alice will only learn the result of the classifier applied to her text input and Bob learns nothing. Our solution is based on Secure Multiparty Computation (SMC). Our Rust implementation provides a fast and secure solution for the classification of unstructured text. Applying our solution to the case of spam detection (the solution is generic, and can be used in any other scenario in which the Naive Bayes classifier can be employed), we can classify an SMS as spam or ham in less than 340ms in the case where the dictionary size of Bob's model includes all words (n = 5200) and Alice's SMS has at most m = 160 unigrams. In the case with n = 369 and m = 8 (the average of a spam SMS in the database), our solution takes only 21ms.


title: Convolution Properties of Orlicz Spaces on hypergroups

abstract: In this paper, for a locally compact commutative hypergroup $K$ and for a pair $(\Phi_1, \Phi_2)$ of Young functions satisfying sequence condition, we give a necessary condition in terms of aperiodic elements of the center of $K,$ for the convolution $f\ast g$ to exist a.e., where $f$ and $g$ are arbitrary elements of Orlicz spaces $L^{\Phi_1}(K)$ and $L^{\Phi_2}(K)$, respectively. As an application, we present some equivalent conditions for compactness of a compactly generated locally compact abelian group. Moreover, we also characterize compact convolution operators from $L^1_w(K)$ into $L^\Phi_w(K)$ for a weight $w$ on a locally compact hypergroup $K$.


title: Training Learned Optimizers with Randomly Initialized Learned Optimizers

abstract: Learned optimizers are increasingly effective, with performance exceeding that of hand designed optimizers such as Adam~\citep{kingma2014adam} on specific tasks \citep{metz2019understanding}. Despite the potential gains available, in current work the meta-training (or `outer-training') of the learned optimizer is performed by a hand-designed optimizer, or by an optimizer trained by a hand-designed optimizer \citep{metz2020tasks}. We show that a population of randomly initialized learned optimizers can be used to train themselves from scratch in an online fashion, without resorting to a hand designed optimizer in any part of the process. A form of population based training is used to orchestrate this self-training. Although the randomly initialized optimizers initially make slow progress, as they improve they experience a positive feedback loop, and become rapidly more effective at training themselves. We believe feedback loops of this type, where an optimizer improves itself, will be important and powerful in the future of machine learning. These methods not only provide a path towards increased performance, but more importantly relieve research and engineering effort.


title: The Cosmological Constant as a Zero Action Boundary

abstract: The cosmological constant $\Lambda$ is usually interpreted as Dark Energy (DE) or modified gravity (MG). Here we propose instead that $\Lambda$ corresponds to a boundary term in the action of classical General Relativity. The action is zero for a perfect fluid solution and this fixes $\Lambda$ to the average density $\rho$ and pressure $p$ inside a primordial causal boundary: $\Lambda = 4\pi G <\rho+3p>$. This explains both why the observed value of $\Lambda$ is related to the matter density today and also why other contributions to $\Lambda$, such as DE or MG, do not produce cosmic expansion. Cosmic acceleration results from the repulsive boundary force that occurs when the expansion reaches the causal horizon. This universe is similar to the $\Lambda$CDM universe, except on the largest observable scales, where we expect departures from homogeneity/isotropy, such as CMB anomalies and variations in cosmological parameters indicated by recent observations.


title: The real part of the complementary error function

abstract: It is shown that the real part of the complementary error function is bounded below by 1 in the subset of the complex plane where the principal argument is between $3\pi/4$ and $5\pi/4$. This improves a previous result asserting that the complementary error function has no zeros in the same set, whose proof was essentially based on calculus of two variables. The present proof uses an almost $60$ years old, relatively unknown estimate for the error function, combined with some elementary complex analysis, thus serving as a humble illustration to a quote attributed to Jacques Hadamard: "The shortest path between two truths in the real domain passes through the complex domain".


title: Text line extraction using fully convolutional network and energy minimization

abstract: Text lines are important parts of handwritten document images and easier to analyze by further applications. Despite recent progress in text line detection, text line extraction from a handwritten document remains an unsolved task. This paper proposes to use a fully convolutional network for text line detection and energy minimization for text line extraction. Detected text lines are represented by blob lines that strike through the text lines. These blob lines assist an energy function for text line extraction. The detection stage can locate arbitrarily oriented text lines. Furthermore, the extraction stage is capable of finding out the pixels of text lines with various heights and interline proximity independent of their orientations. Besides, it can finely split the touching and overlapping text lines without an orientation assumption. We evaluate the proposed method on VML-AHTE, VML-MOC, and Diva-HisDB datasets. The VML-AHTE dataset contains overlapping, touching and close text lines with rich diacritics. The VML-MOC dataset is very challenging by its multiply oriented and skewed text lines. The Diva-HisDB dataset exhibits distinct text line heights and touching text lines. The results demonstrate the effectiveness of the method despite various types of challenges, yet using the same parameters in all the experiments.


title: Centrality with Diversity

abstract: Graph centrality measures use the structure of a network to quantify central or "important" nodes, with applications in web search, social media analysis, and graphical data mining generally. Traditional centrality measures such as the well known PageRank interpret a directed edge as a vote in favor of the importance of the linked node. We study the case where nodes may belong to diverse communities or interests and investigate centrality measures that can identify nodes that are simultaneously important to many such diverse communities. We propose a family of diverse centrality measures formed as fixed point solutions to a generalized nonlinear eigenvalue problem. Our measure can be efficiently computed on large graphs by iterated best response and we study its normative properties on both random graph models and real-world data. We find that we are consistently and efficiently able to identify the most important diverse nodes of a graph, that is, those that are simultaneously central to multiple communities.


title: Stability bounds of a delay visco-elastic rheological model with substrate friction

abstract: Cells and tissues exhibit oscillatory deformations during remodelling, migration or embryogenesis. Although it has been shown that these oscillations correlate with cell biochemical signalling, it is yet unclear the role of these oscillations in triggering drastic cell reorganisation events or instabilities, and the coupling of this oscillatory response with tested visco-elastic properties. We here present a rheological model that incorporates elastic, viscous and frictional components, and that is able to generate oscillatory response through a delay adaptive process of the rest-length. We analyse its stability properties as a function of the model parameters and deduce analytical bounds of the stable domain. While increasing values of the delay and remodelling rate render the model unstable, we also show that increasing friction with the substrate destabilise the oscillatory response. Furthermore, we numerically verify that the extension of the model to non-linear strain measures is able to generate sustained oscillations that alternate between stable and unstable regions.


title: Two years of pulsar observations with the Ultra-Wideband Receiver on the Parkes radio telescope

abstract: The major programme for observing young, non-recycled pulsars with the Parkes telescope has transitioned from a narrow-band system to an ultra-wideband system capable of observing between 704 and 4032 MHz. We report here on the initial two years of observations with this receiver. Results include dispersion measure (DM) and Faraday rotation measure (RM) variability with time, determined with higher precision than hitherto, flux density measurements and the discovery of several nulling and mode changing pulsars. PSR J1703-4851 is shown to be one of a small subclass of pulsars that has a weak and a strong mode which alternate rapidly in time. PSR J1114-6100 has the fourth highest |RM| of any known pulsar despite its location far from the Galactic Centre. PSR J1825-1446 shows variations in both DM and RM likely due to its motion behind a foreground supernova remnant.


title: Detecting differentially methylated regions in bisulfite sequencing data using quasi-binomial mixed models with smooth covariate effect estimates

abstract: Identifying disease-associated changes in DNA methylation can help to gain a better understanding of disease etiology. Bisulfite sequencing technology allows the generation of methylation profiles at single base of DNA. We previously developed a method for estimating smooth covariate effects and identifying differentially methylated regions (DMRs) from bisulfite sequencing data, which copes with experimental errors and variable read depths; this method utilizes the binomial distribution to characterize the variability in the methylated counts. However, bisulfite sequencing data frequently include low-count integers and can exhibit over or under dispersion relative to the binomial distribution. We present a substantial improvement to our previous work by proposing a quasi-likelihood-based regional testing approach which accounts for multiplicative and additive sources of dispersion. We demonstrate the theoretical properties of the resulting tests, as well as their marginal and conditional interpretations. Simulations show that the proposed method provides correct inference for smooth covariate effects and captures the major methylation patterns with excellent power.


title: One-generated nilpotent assosymmetric algebras

abstract: We give the classification of $5$- and $6$-dimensional complex one-generated nilpotent assosymmetric algebras.


title: Deep-Learning Driven Noise Reduction for Reduced Flux Computed Tomography

abstract: Deep neural networks have received considerable attention in clinical imaging, particularly with respect to the reduction of radiation risk. Lowering the radiation dose by reducing the photon flux inevitably results in the degradation of the scanned image quality. Thus, researchers have sought to exploit deep convolutional neural networks (DCNNs) to map low-quality, low-dose images to higher-dose, higher-quality images thereby minimizing the associated radiation hazard. Conversely, computed tomography (CT) measurements of geomaterials are not limited by the radiation dose. In contrast to the human body, however, geomaterials may be comprised of high-density constituents causing increased attenuation of the X-Rays. Consequently, higher dosage images are required to obtain an acceptable scan quality. The problem of prolonged acquisition times is particularly severe for micro-CT based scanning technologies. Depending on the sample size and exposure time settings, a single scan may require several hours to complete. This is of particular concern if phenomena with an exponential temperature dependency are to be elucidated. A process may happen too fast to be adequately captured by CT scanning. To address the aforementioned issues, we apply DCNNs to improve the quality of rock CT images and reduce exposure times by more than 60\%, simultaneously. We highlight current results based on micro-CT derived datasets and apply transfer learning to improve DCNN results without increasing training time. The approach is applicable to any computed tomography technology. Furthermore, we contrast the performance of the DCNN trained by minimizing different loss functions such as mean squared error and structural similarity index.


title: Panel: Humans and Technology for Inclusive Privacy and Security

abstract: Computer security and user privacy are critical issues and concerns in the digital era due to both increasing users and threats to their data. Separate issues arise between generic cybersecurity guidance (i.e., protect all user data from malicious threats) and the individualistic approach of privacy (i.e., specific to users and dependent on user needs and risk perceptions). Research has shown that several security- and privacy-focused vulnerabilities are technological (e.g., software bugs (Streiff, Kenny, Das, Leeth, & Camp, 2018), insecure authentication (Das, Wang, Tingle, & Camp, 2019)), or behavioral (e.g., sharing passwords (Das, Dingman, & Camp, 2018); and compliance (Das, Dev, & Srinivasan, 2018) (Dev, Das, Rashidi, & Camp, 2019)). This panel proposal addresses a third category of sociotechnical vulnerabilities that can and sometimes do arise from non-inclusive design of security and privacy. In this panel, we will address users' needs and desires for privacy. The panel will engage in in-depth discussions about value-sensitive design while focusing on potentially vulnerable populations, such as older adults, teens, persons with disabilities, and others who are not typically emphasized in general security and privacy concerns. Human factors have a stake in and ability to facilitate improvements in these areas.


title: Probing the capability of future direct imaging missions to spectrally constrain the frequency of Earth-like planets

abstract: A critical question in astrobiology is whether exoEarth candidates (EECs) are Earth-like, in that they originate life that progressively oxygenates their atmospheres similarly to Earth. We propose answering this question statistically by searching for O2 and O3 on EECs with missions such as HabEx or LUVOIR. We explore the ability of these missions to constrain the fraction, fE, of EECs that are Earth-like in the event of a null detection of O2 or O3 on all observed EECs. We use the Planetary Spectrum Generator to simulate observations of EECs with O2 and O3 levels based on Earth's history. We consider four instrument designs: LUVOIR-A (15m), LUVOIR-B (8m), HabEx with a starshade (4m, "HabEx/SS"), HabEx without a starshade (4m, "HabEx/no-SS"); as well as three estimates of the occurrence rate of EECs (eta_earth): 24%, 5%, and 0.5%. In the case of a null-detection, we find that for eta_earth = 24%, LUVOIR-A, LUVOIR-B, and HabEx/SS would constrain fE to <= 0.094, <= 0.18, and <= 0.56, respectively. This also indicates that if fE is greater than these upper limits, we are likely to detect O3 on at least 1 EEC. Conversely, we find that HabEx/no-SS cannot constrain fE, due to the lack of an coronagraph ultraviolet channel. For eta_earth = 5%, only LUVOIR-A and LUVOIR-B would be able to constrain fE, to <= 0.45 and <= 0.85, respectively. For eta_earth = 0.5%, none of the missions would allow us to constrain fE, due to the low number of detectable EECs. We conclude that the ability to constrain fE is more robust to uncertainties in eta_earth for missions with larger aperture mirrors. However all missions are susceptible to an inconclusive null detection if eta_earth is sufficiently low.


title: Giant Transport Anisotropy in ReS$_2$ Revealed via Nanoscale Conducting Path Control

abstract: The low in-plane symmetry in layered 1T'-ReS$_2$ results in strong band anisotropy, while its manifestation in the electronic properties is challenging to resolve due to the lack of effective approaches for controlling the local current path. In this work, we reveal the giant transport anisotropy in monolayer to four-layer ReS$_2$ by creating directional conducting paths via nanoscale ferroelectric control. By reversing the polarization of a ferroelectric polymer top layer, we induce conductivity switching ratio of >1.5x10$^8$ in the ReS$_2$ channel at 300 K. Characterizing the domain-defined conducting nanowires in an insulating background shows that the conductivity ratio between the directions along and perpendicular to the Re-chain can exceed 5.5x10$^4$. Theoretical modeling points to the band origin of the transport anomaly, and further reveals the emergence of a flat band in few-layer ReS$_2$. Our work paves the path for implementing the highly anisotropic 2D materials for designing novel collective phenomena and electron lensing applications.


title: Sequential causal inference in a single world of connected units

abstract: We consider adaptive designs for a trial involving N individuals that we follow along T time steps. We allow for the variables of one individual to depend on its past and on the past of other individuals. Our goal is to learn a mean outcome, averaged across the N individuals, that we would observe, if we started from some given initial state, and we carried out a given sequence of counterfactual interventions for $\tau$ time steps. We show how to identify a statistical parameter that equals this mean counterfactual outcome, and how to perform inference for this parameter, while adaptively learning an oracle design defined as a parameter of the true data generating distribution. Oracle designs of interest include the design that maximizes the efficiency for a statistical parameter of interest, or designs that mix the optimal treatment rule with a certain exploration distribution. We also show how to design adaptive stopping rules for sequential hypothesis testing. This setting presents unique technical challenges. Unlike in usual statistical settings where the data consists of several independent observations, here, due to network and temporal dependence, the data reduces to one single observation with dependent components. In particular, this precludes the use of sample splitting techniques. We therefore had to develop a new equicontinuity result and guarantees for estimators fitted on dependent data. We were motivated to work on this problem by the following two questions. (1) In the context of a sequential adaptive trial with K treatment arms, how to design a procedure to identify in as few rounds as possible the treatment arm with best final outcome? (2) In the context of sequential randomized disease testing at the scale of a city, how to estimate and infer the value of an optimal testing and isolation strategy?


title: Search for three body pion decays ${\pi}^+{\to}l^+{\nu}X$

abstract: The three body pion decays ${\pi}^+{\rightarrow}l^+{\nu}X~(l=e,{\mu})$, where $X$ is a weakly interacting neutral boson, were searched for using the full data set from the PIENU experiment. An improved limit on ${\Gamma}({\pi}^+{\to}e^+{\nu}X)/{\Gamma}({\pi}^+{\to}{\mu}^+{\nu}_{\mu})$ in the mass range $0<m_X<120$ MeV/$c^2$ and a first result for ${\Gamma}({\pi}^+{\to}{\mu}^+{\nu}X)/{\Gamma}({\pi}^+{\to}{\mu}^+{\nu}_{\mu})$ in the region $0<m_X<33.9$ MeV/$c^2$ were obtained. The Majoron-neutrino coupling model was also constrained using the current experimental result of the ${\pi}^+{\to}e^+{\nu}_e({\gamma})$ branching ratio.


title: A Comparison of Question Rewriting Methods for Conversational Passage Retrieval

abstract: Conversational passage retrieval relies on question rewriting to modify the original question so that it no longer depends on the conversation history. Several methods for question rewriting have recently been proposed, but they were compared under different retrieval pipelines. We bridge this gap by thoroughly evaluating those question rewriting methods on the TREC CAsT 2019 and 2020 datasets under the same retrieval pipeline. We analyze the effect of different types of question rewriting methods on retrieval performance and show that by combining question rewriting methods of different types we can achieve state-of-the-art performance on both datasets.


title: A DCNN-based Arbitrarily-Oriented Object Detector for Quality Control and Inspection Application

abstract: Following the success of machine vision systems for on-line automated quality control and inspection processes, an object recognition solution is presented in this work for two different specific applications, i.e., the detection of quality control items in surgery toolboxes prepared for sterilizing in a hospital, as well as the detection of defects in vessel hulls to prevent potential structural failures. The solution has two stages. First, a feature pyramid architecture based on Single Shot MultiBox Detector (SSD) is used to improve the detection performance, and a statistical analysis based on ground truth is employed to select parameters of a range of default boxes. Second, a lightweight neural network is exploited to achieve oriented detection results using a regression method. The first stage of the proposed method is capable of detecting the small targets considered in the two scenarios. In the second stage, despite the simplicity, it is efficient to detect elongated targets while maintaining high running efficiency.


title: On a polynomial congruence for Eulerian polynomials

abstract: We give a short proof, using generating functions, for a polynomial congruence for Eulerian polynomials first proved, using arrangements of hyperplanes, by Yoshinaga and later proved, using roots of unity, by Iijima, Sasaki, Takahashi, and Yoshinaga.


title: Autonomous synthesis of metastable materials

abstract: Autonomous experimentation enabled by artificial intelligence (AI) offers a new paradigm for accelerating scientific discovery. Non-equilibrium materials synthesis is emblematic of complex, resource-intensive experimentation whose acceleration would be a watershed for materials discovery and development. The mapping of non-equilibrium synthesis phase diagrams has recently been accelerated via high throughput experimentation but still limits materials research because the parameter space is too vast to be exhaustively explored. We demonstrate accelerated synthesis and exploration of metastable materials through hierarchical autonomous experimentation governed by the Scientific Autonomous Reasoning Agent (SARA). SARA integrates robotic materials synthesis and characterization along with a hierarchy of AI methods that efficiently reveal the structure of processing phase diagrams. SARA designs lateral gradient laser spike annealing (lg-LSA) experiments for parallel materials synthesis and employs optical spectroscopy to rapidly identify phase transitions. Efficient exploration of the multi-dimensional parameter space is achieved with nested active learning (AL) cycles built upon advanced machine learning models that incorporate the underlying physics of the experiments as well as end-to-end uncertainty quantification. With this, and the coordination of AL at multiple scales, SARA embodies AI harnessing of complex scientific tasks. We demonstrate its performance by autonomously mapping synthesis phase boundaries for the Bi$_2$O$_3$ system, leading to orders-of-magnitude acceleration in establishment of a synthesis phase diagram that includes conditions for kinetically stabilizing $\delta$-Bi$_2$O$_3$ at room temperature, a critical development for electrochemical technologies such as solid oxide fuel cells.

categories: cond-mat.mtrl-sci cs.AI cs.LG cs.MA physics.comp-ph


title: An Application of Descriptive Set Theory to Complex Analysis

abstract: The purpose of this paper is to prove a new general result about rings of complex analytic functions. Let $\Omega$ be an arbitrary nonempty open subset of the complex plane $\mathbb C$, $\mathcal{A}(\Omega)$ be the set of holomorphic functions on $\Omega$ viewed as a Polish ring (not a Polish algebra over $\mathbb C$) in the usual compact open topology, let $R$ be a Polish ring and let $\varphi : R \to \mathcal{A}(\Omega)$ be an abstract algebraic isomorphism. The main goal of this paper is to prove Theorem 36 that $\varphi$ is a topological isomorphism. A special result of Bers is an easy corollary. Two additional items supplement these results, viz., that $B(\mathbb{D})$, the abstract ring of bounded analytic functions on the unit disk, cannot be made into a Polish ring and that $\mathcal{M}(\Omega)$, the abstract field of meromorphic functions on $\Omega$, cannot be made into a Polish field.


title: Gap-opening transition in Dirac semimetal ZrTe$_5$

abstract: We apply $^{125}$Te nuclear magnetic resonance (NMR) spectroscopy to investigate the Dirac semimetal ZrTe$_5$. With the NMR magnetic field parallel to the $b$-axis, we observe significant quantum magnetic effects. These include an abrupt drop at 150 K in spin-lattice relaxation rate. This corresponds to a gap-opening transition in the Dirac carriers, likely indicating the onset of excitonic pairing. Below 50 K, we see a more negative shift for the Te$_z$ bridging site indicating the repopulation of Dirac levels with spin polarized carriers at these temperatures. This is the previously reported 3D quantum Hall regime; however, we see no sign of a charge density wave as has been proposed.


title: Work Online, Welfare Calls, and Wine Night: Effects of the COVID-19 Pandemic on Individuals' Technology Use

abstract: The COVID-19 pandemic has changed the ways many people use computational systems. We conducted an empirical study, using qualitative and quantitative analyses of free-response surveys completed by 62 US residents, to explore how COVID-19 affected their computer use across work, education, home life, and social life. Nearly all participants experienced an increase in computer usage for themselves or a family member in one or more of the four domains. The increases involved both increasing frequency of existing uses as well as the adoption of new types of use. Changes in usage impacted many aspects of people's lives, including relationships, affective experiences, and life trajectories. Understanding these changes is important to the future of HCI, as the field adapts to COVID-19 and potential future pandemics.


title: Galaxy Image Translation with Semi-supervised Noise-reconstructed Generative Adversarial Networks

abstract: Image-to-image translation with Deep Learning neural networks, particularly with Generative Adversarial Networks (GANs), is one of the most powerful methods for simulating astronomical images. However, current work is limited to utilizing paired images with supervised translation, and there has been rare discussion on reconstructing noise background that encodes instrumental and observational effects. These limitations might be harmful for subsequent scientific applications in astrophysics. Therefore, we aim to develop methods for using unpaired images and preserving noise characteristics in image translation. In this work, we propose a two-way image translation model using GANs that exploits both paired and unpaired images in a semi-supervised manner, and introduce a noise emulating module that is able to learn and reconstruct noise characterized by high-frequency features. By experimenting on multi-band galaxy images from the Sloan Digital Sky Survey (SDSS) and the Canada France Hawaii Telescope Legacy Survey (CFHT), we show that our method recovers global and local properties effectively and outperforms benchmark image translation models. To our best knowledge, this work is the first attempt to apply semi-supervised methods and noise reconstruction techniques in astrophysical studies.


title: The General Graph Matching Game: Approximate Core

abstract: The classic paper of Shapley and Shubik \cite{Shapley1971assignment} characterized the core of the assignment game using ideas from matching theory and LP-duality theory and their highly non-trivial interplay. Whereas the core of this game is always non-empty, that of the general graph matching game can be empty. This paper salvages the situation by giving an imputation in the $2/3$-approximate core for the latter. This bound is best possible, since it is the integrality gap of the natural underlying LP. Our profit allocation method goes further: the multiplier on the profit of an agent is often better than ${2 \over 3}$ and lies in the interval $[{2 \over 3}, 1]$, depending on how severely constrained the agent is. Next, we provide new insights showing how discerning core imputations of an assignment games are by studying them via the lens of complementary slackness. We present a relationship between the competitiveness of individuals and teams of agents and the amount of profit they accrue in imputations that lie in the core, where by {\em competitiveness} we mean whether an individual or a team is matched in every/some/no maximum matching. This also sheds light on the phenomenon of degeneracy in assignment games, i.e., when the maximum weight matching is not unique. The core is a quintessential solution concept in cooperative game theory. It contains all ways of distributing the total worth of a game among agents in such a way that no sub-coalition has incentive to secede from the grand coalition. Our imputation, in the $2/3$-approximate core, implies that a sub-coalition will gain at most a $3/2$ factor by seceding, and less in typical cases.


title: Upper, down, two-sided Lorenz attractor, collisions, merging and switching

abstract: We present a slightly modified version of the well known "geometric Lorenz attractor". It consists in a C1 open set O of vector fields in R3 having an attracting region U containing: (1) a unique singular saddle point sigma; (2) a unique attractor Lambda containing the singular point; (3) the maximal invariant in U contains at most 2 chain recurrence classes, which are Lambda and (at most) one hyperbolic horseshoe. The horseshoe and the singular attractor have a collision along the union of 2 co-dimension 1 sub-manifolds which divide O in 3 regions. By crossing this collision locus, the attractor and the horseshoe may merge in a two-sided Lorenz attractor, or they may exchange their nature: the Lorenz attractor expel the singular point sigma and becomes a horseshoe and the horseshoe absorbs sigma becoming a Lorenz attractor. By crossing this collision locus, the attractor and the horseshoe may merge in a two-sided Lorenz attractor, or they may exchange their nature: the Lorenz attractor expel the singular point sigma and becomes a horseshoe and the horseshoe absorbs sigma becoming a Lorenz attractor.


title: Powering population health research: Considerations for plausible and actionable effect sizes

abstract: Evidence for Action (E4A), a signature program of the Robert Wood Johnson Foundation, funds investigator-initiated research on the impacts of social programs and policies on population health and health inequities. Across thousands of letters of intent and full proposals E4A has received since 2015, one of the most common methodological challenges faced by applicants is selecting realistic effect sizes to inform power and sample size calculations. E4A prioritizes health studies that are both (1) adequately powered to detect effect sizes that may reasonably be expected for the given intervention and (2) likely to achieve intervention effects sizes that, if demonstrated, correspond to actionable evidence for population health stakeholders. However, little guidance exists to inform the selection of effect sizes for population health research proposals. We draw on examples of five rigorously evaluated population health interventions. These examples illustrate considerations for selecting realistic and actionable effect sizes as inputs to power and sample size calculations for research proposals to study population health interventions. We show that plausible effects sizes for population health inteventions may be smaller than commonly cited guidelines suggest. Effect sizes achieved with population health interventions depend on the characteristics of the intervention, the target population, and the outcomes studied. Population health impact depends on the proportion of the population receiving the intervention. When adequately powered, even studies of interventions with small effect sizes can offer valuable evidence to inform population health if such interventions can be implemented broadly. Demonstrating the effectiveness of such interventions, however, requires large sample sizes.


title: Grounding Language to Entities and Dynamics for Generalization in Reinforcement Learning

abstract: We investigate the use of natural language to drive the generalization of control policies and introduce the new multi-task environment Messenger with free-form text manuals describing the environment dynamics. Unlike previous work, Messenger does not assume prior knowledge connecting text and state observations $-$ the control policy must simultaneously ground the game manual to entity symbols and dynamics in the environment. We develop a new model, EMMA (Entity Mapper with Multi-modal Attention) which uses an entity-conditioned attention module that allows for selective focus over relevant descriptions in the manual for each entity in the environment. EMMA is end-to-end differentiable and learns a latent grounding of entities and dynamics from text to observations using only environment rewards. EMMA achieves successful zero-shot generalization to unseen games with new dynamics, obtaining a 40% higher win rate compared to multiple baselines. However, win rate on the hardest stage of Messenger remains low (10%), demonstrating the need for additional work in this direction.


title: IRS-Empowered Wireless Communications: State-of-the-Art, Key Techniques, and Open Issues

abstract: In this article, we overview intelligent reflecting surface (IRS)-empowered wireless communication systems. We first present the fundamentals of IRS-assisted wireless transmission. On this basis, we explore the integration of IRS with various advanced transmission technologies, such as millimeter wave, non-orthogonal multiple access, and physical layer security. Following this, we discuss the effects of hardware impairments and imperfect channel-state-information on the IRS system performance. Finally, we highlight several open issues to be addressed.


title: Spectral convergence of probability densities for forward problems in uncertainty quantification

abstract: The estimation of probability density functions (PDF) using approximate maps is a fundamental building block in computational probability. We consider forward problems in uncertainty quantification: the inputs or the parameters of a deterministic model are random with a known distribution. The scalar quantity of interest is a fixed measurable function of the parameters, and is therefore a random variable as a well. Often, the quantity of interest map is not explicitly known and difficult to compute, and so the computational problem is to design a good approximation (surrogate model) of the quantity of interest. For the goal of approximating the {\em moments} of the quantity of interest, there is a well developed body of research. One widely popular approach is generalized Polynomial Chaos (gPC) and its many variants, which approximate moments with spectral accuracy. However, it is not clear whether the quantity of interest can be approximated with spectral accuracy as well. This result does not follow directly from spectrally accurate moment estimation. In this paper, we prove convergence rates for PDFs using collocation and Galerkin gPC methods with Legendre polynomials in all dimensions. In particular, exponential convergence of the densities is guaranteed for analytic quantities of interest. In one dimension, we provide more refined results with stronger convergence rates, as well as an alternative proof strategy based on optimal-transport techniques.


title: ArtEmis: Affective Language for Visual Art

abstract: We present a novel large-scale dataset and accompanying machine learning models aimed at providing a detailed understanding of the interplay between visual content, its emotional effect, and explanations for the latter in language. In contrast to most existing annotation datasets in computer vision, we focus on the affective experience triggered by visual artworks and ask the annotators to indicate the dominant emotion they feel for a given image and, crucially, to also provide a grounded verbal explanation for their emotion choice. As we demonstrate below, this leads to a rich set of signals for both the objective content and the affective impact of an image, creating associations with abstract concepts (e.g., "freedom" or "love"), or references that go beyond what is directly visible, including visual similes and metaphors, or subjective references to personal experiences. We focus on visual art (e.g., paintings, artistic photographs) as it is a prime example of imagery created to elicit emotional responses from its viewers. Our dataset, termed ArtEmis, contains 439K emotion attributions and explanations from humans, on 81K artworks from WikiArt. Building on this data, we train and demonstrate a series of captioning systems capable of expressing and explaining emotions from visual stimuli. Remarkably, the captions produced by these systems often succeed in reflecting the semantic and abstract content of the image, going well beyond systems trained on existing datasets. The collected dataset and developed methods are available at https://artemisdataset.org.


title: Exploring Lexical Irregularities in Hypothesis-Only Models of Natural Language Inference

abstract: Natural Language Inference (NLI) or Recognizing Textual Entailment (RTE) is the task of predicting the entailment relation between a pair of sentences (premise and hypothesis). This task has been described as a valuable testing ground for the development of semantic representations, and is a key component in natural language understanding evaluation benchmarks. Models that understand entailment should encode both, the premise and the hypothesis. However, experiments by Poliak et al. revealed a strong preference of these models towards patterns observed only in the hypothesis, based on a 10 dataset comparison. Their results indicated the existence of statistical irregularities present in the hypothesis that bias the model into performing competitively with the state of the art. While recast datasets provide large scale generation of NLI instances due to minimal human intervention, the papers that generate them do not provide fine-grained analysis of the potential statistical patterns that can bias NLI models. In this work, we analyze hypothesis-only models trained on one of the recast datasets provided in Poliak et al. for word-level patterns. Our results indicate the existence of potential lexical biases that could contribute to inflating the model performance.


title: Optimal sampling and assay for soil organic carbon estimation

abstract: The world needs around 150 Pg of negative carbon emissions to mitigate climate change. Global soils may provide a stable, sizeable reservoir to help achieve this goal by sequestering atmospheric carbon dioxide as soil organic carbon (SOC). In turn, SOC can support healthy soils and provide a multitude of ecosystem benefits. To support SOC sequestration, researchers and policy makers must be able to precisely measure the amount of SOC in a given plot of land. SOC measurement is typically accomplished by taking soil cores selected at random from the plot under study, mixing (compositing) some of them together, and analyzing (assaying) the composited samples in a laboratory. Compositing reduces assay costs, which can be substantial. Taking samples is also costly. Given uncertainties and costs in both sampling and assay along with a desired estimation precision, there is an optimal composite size that will minimize the budget required to achieve that precision. Conversely, given a fixed budget, there is a composite size that minimizes uncertainty. In this paper, we describe and formalize sampling and assay for SOC and derive the optima for three commonly used assay methods: dry combustion in an elemental analyzer, loss-on-ignition, and mid-infrared spectroscopy. We demonstrate the utility of this approach using data from a soil survey conducted in California. We give recommendations for practice and provide software to implement our framework.


title: Deep Reinforcement Learning Optimizes Graphene Nanopores for Efficient Desalination

abstract: Two-dimensional nanomaterials, such as graphene, have been extensively studied because of their outstanding physical properties. Structure and geometry optimization of nanopores on such materials is beneficial for their performances in real-world engineering applications, like water desalination. However, the optimization process often involves very large number of experiments or simulations which are expensive and time-consuming. In this work, we propose a graphene nanopore optimization framework via the combination of deep reinforcement learning (DRL) and convolutional neural network (CNN) for efficient water desalination. The DRL agent controls the growth of nanopore by determining the atom to be removed at each timestep, while the CNN predicts the performance of nanoporus graphene for water desalination: the water flux and ion rejection at a certain external pressure. With the synchronous feedback from CNN-accelerated desalination performance prediction, our DRL agent can optimize the nanoporous graphene efficiently in an online manner. Molecular dynamics (MD) simulations on promising DRL-designed graphene nanopores show that they have higher water flux while maintaining rival ion rejection rate compared to the normal circular nanopores. Semi-oval shape with rough edges geometry of DRL-designed pores is found to be the key factor for their high water desalination performance. Ultimately, this study shows that DRL can be a powerful tool for material design.


title: Local Dimensions of Self-similar Measures Satisfying the Finite Neighbour Condition

abstract: We study sets of local dimensions for self-similar measures in $\mathbb{R}$ satisfying the finite neighbour condition, which is formally stronger than the weak separation condition but satisfied in all known examples. Under a mild technical assumption, we establish that the set of attainable local dimensions is a finite union of (possibly singleton) compact intervals. The number of intervals is bounded above by the number of non-trivial maximal strongly connected components of a finite directed graph construction depending only on the governing iterated function system. We also explain how our results allow computations of the sets of local dimensions in many explicit cases. This contextualizes and generalizes a vast amount of prior work on sets of local dimensions for self-similar measures satisfying the weak separation condition.


title: Wormholes in 2d Horava-Lifshitz quantum gravity

abstract: We quantize the two-dimensional projectable Horava-Lifshitz gravity with a bi-local as well as space-like wormhole interaction. The resulting quantum Hamiltonian coincides with the one obtained through summing over all genus in the string field theory for two-dimensional causal dynamical triangulations. This implies that our wormhole interaction can be interpreted as a splitting or joining interaction of one-dimensional strings.


abstract: To obtain the Dirichlet series for complex powers of the Riemann zeta function, we define and study the basic properties of a sequence of polynomials that, used as coefficients of the respective terms of the Dirichlet series of the Riemann zeta function in the half plane $x > 1$, produces the required exponential function. Unlike the method described in ([4], p.~278), which requires more advanced knowledge of the relationships between Dirichlet series and multiplicative arithmetic functions, our approach only needs mathematical induction on the total number of prime divisors of $n$, the Dirichlet product and the use of an analytic property characteristic of the exponential function in the complex plane.


title: Collision Avoidance Maneuver Optimization with a Multiple-Impulse Convex Formulation

abstract: A method to compute optimal collision avoidance maneuvers for short-term encounters is presented. The maneuvers are modeled as multiple-impulses to handle impulsive cases and to approximate finite burn arcs associated either with short alert times or the use of low-thrust propulsion. The maneuver design is formulated as a sequence of convex optimization problems solved in polynomial time by state-of-the-art primal-dual interior-point algorithms. The proposed approach calculates optimal solutions without assumptions about the thrust arc structure and thrust direction. The execution time is fraction of a second for an optimization problem with hundreds of variables and constraints, making it suitable for autonomous calculations.


title: FAUST II. Discovery of a Secondary Outflow in IRAS 15398-3359: Variability in Outflow Direction during the Earliest Stage of Star Formation?

abstract: We have observed the very low-mass Class 0 protostar IRAS 15398-3359 at scales ranging from 50 au to 1800 au, as part of the ALMA Large Program FAUST. We uncover a linear feature, visible in H2CO, SO, and C18O line emission, which extends from the source along a direction almost perpendicular to the known active outflow. Molecular line emission from H2CO, SO, SiO, and CH3OH further reveals an arc-like structure connected to the outer end of the linear feature and separated from the protostar, IRAS 15398-3359, by 1200 au. The arc-like structure is blue-shifted with respect to the systemic velocity. A velocity gradient of 1.2 km/s over 1200 au along the linear feature seen in the H2CO emission connects the protostar and the arc-like structure kinematically. SO, SiO, and CH3OH are known to trace shocks, and we interpret the arc-like structure as a relic shock region produced by an outflow previously launched by IRAS 15398-3359. The velocity gradient along the linear structure can be explained as relic outflow motion. The origins of the newly observed arc-like structure and extended linear feature are discussed in relation to turbulent motions within the protostellar core and episodic accretion events during the earliest stage of protostellar evolution.


title: Asymptotic stability of exogenous chemotaxis systems with physical boundary conditions

abstract: In this paper, we consider the exogenous chemotaxis system with physical mixed zero-flux and Dirichlet boundary conditions in one dimension. Since the Dirichlet boundary condition can not contribute necessary estimates for the cross-diffusion structure in the system, the global-in-time existence and asymptotic behavior of solutions remain open up to date. In this paper, we overcome this difficulty by employing the technique of taking anti-derivative so that the Dirichlet boundary condition can be fully used, and show that the system admits global strong solutions which exponentially stabilize to the unique stationary solution as time tends to infinity against some suitable small perturbations. To the best of our knowledge, this is the first result obtained on the global well-posedness and asymptotic behavior of solutions to the exogenous chemotaxis system with physical boundary conditions.


title: Initialization Using Perlin Noise for Training Networks with a Limited Amount of Data

abstract: We propose a novel network initialization method using Perlin noise for training image classification networks with a limited amount of data. Our main idea is to initialize the network parameters by solving an artificial noise classification problem, where the aim is to classify Perlin noise samples into their noise categories. Specifically, the proposed method consists of two steps. First, it generates Perlin noise samples with category labels defined based on noise complexity. Second, it solves a classification problem, in which network parameters are optimized to classify the generated noise samples. This method produces a reasonable set of initial weights (filters) for image classification. To the best of our knowledge, this is the first work to initialize networks by solving an artificial optimization problem without using any real-world images. Our experiments show that the proposed method outperforms conventional initialization methods on four image classification datasets.


title: Compactness Characterizations of Commutators on Ball Banach Function Spaces

abstract: Let $X$ be a ball Banach function space on ${\mathbb R}^n$. Let $\Omega$ be a Lipschitz function on the unit sphere of ${\mathbb R}^n$,which is homogeneous of degree zero and has mean value zero, and let $T_\Omega$ be the convolutional singular integral operator with kernel $\Omega(\cdot)/|\cdot|^n$. In this article, under the assumption that the Hardy--Littlewood maximal operator $\mathcal{M}$ is bounded on both $X$ and its associated space, the authors prove that the commutator $[b,T_\Omega]$ is compact on $X$ if and only if $b\in{\rm CMO}({\mathbb R}^n)$. To achieve this, the authors mainly employ three key tools: some elaborate estimates, given in this article, on the norm in $X$ of the commutators and the characteristic functions of some measurable subset,which are implied by the assumed boundedness of ${\mathcal M}$ on $X$ and its associated space as well as the geometry of $\mathbb R^n$; the complete John--Nirenberg inequality in $X$ obtained by Y. Sawano et al.; the generalized Fr\'{e}chet--Kolmogorov theorem on $X$ also established in this article. All these results have a wide range of applications. Particularly, even when $X:=L^{p(\cdot)}({\mathbb R}^n)$ (the variable Lebesgue space), $X:=L^{\vec{p}}({\mathbb R}^n)$ (the mixed-norm Lebesgue space), $X:=L^\Phi({\mathbb R}^n)$ (the Orlicz space), and $X:=(E_\Phi^q)_t({\mathbb R}^n)$ (the Orlicz-slice space or the generalized amalgam space), all these results are new.


title: Clustering Future Scenarios Based on Predicted Range Maps

abstract: Predictions of biodiversity trajectories under climate change are crucial in order to act effectively in maintaining the diversity of species. In many ecological applications, future predictions are made under various global warming scenarios as described by a range of different climate models. The outputs of these various predictions call for a reliable interpretation. We propose a interpretable and flexible two step methodology to measure the similarity between predicted species range maps and cluster the future scenario predictions utilizing a spectral clustering technique. We find that clustering based on ecological impact (predicted species range maps) is mainly driven by the amount of warming. We contrast this with clustering based only on predicted climate features, which is driven mainly by climate models. The differences between these clusterings illustrate that it is crucial to incorporate ecological information to understand the relevant differences between climate models. The findings of this work can be used to better synthesize forecasts of biodiversity loss under the wide spectrum of results that emerge when considering potential future biodiversity loss.


title: Correction to the photometric colors of Gaia Early Data Release 3

abstract: In this work, we use the spectroscopy-based stellar color regression (SCR) method with ~ 0.7 million common stars between LAMOST DR7 and Gaia EDR3 to acquire color corrections in G - GRP and GBP - GRP. A sub-mmag precision is achieved. Our results demonstrate that improvements in the calibration process of the EDR3 have removed the color term in GBP - GRP and eliminated the discontinuity caused by the changes of instrument configurations to a great extent. However, modest systematic trends with G magnitude are still detected. The corresponding color correction terms as a function of G are provided for 9.5 < G < 17.5 mag and compared with other determinations. We conclude that the corrections given in this work are particularly suited for cases where the color-color investigations are required while for color-magnitude investigations other corrections may be better due to systematic with reddening. Possible applications of our results are discussed.


title: Evidence and Behaviour of Support and Resistance Levels in Financial Time Series

abstract: This paper investigates the phenomenon of support and resistance levels (SR levels) in financial time series, which act as temporary price barriers that reverses price trends. We develop a heuristic discovery algorithm for this purpose, to discover and evaluate SR levels for intraday price series. Our simple approach discovers SR levels which are able to reverse price trends statistically significantly. Asset price entering SR levels with higher number of price bounces before are more likely to bounce on such SR levels again. We also show that the decay aspect of the discovered SR levels as decreasing probability of price bounce over time. We conclude SR levels are features in financial time series are not explained simply by AR(1) processes, stationary or otherwise; and that they contribute to the temporary predictability and stationarity of the investigated price series.


title: Polarization of hot Jupiter systems: a likely detection of stellar activity and a possible detection of planetary polarization

abstract: We present high-precision linear polarization observations of four bright hot Jupiter systems ($\tau$ Boo, HD 179949, HD 189733 and 51 Peg) and use the data to search for polarized reflected light from the planets. The data for 51 Peg are consistent with a reflected light polarization signal at about the level expected with 2.8$\sigma$ significance and a false alarm probability of 1.9 per cent. More data will be needed to confirm a detection of reflected light in this system. HD 189733 shows highly variable polarization that appears to be most likely the result of magnetic activity of the host star. This masks any polarization due to reflected light, but a polarization signal at the expected level of $\sim$20 ppm cannot be ruled out. $\tau$ Boo and HD 179949 show no evidence for polarization due to reflected light. The results are consistent with the idea that many hot Jupiters have low geometric albedos. Conclusive detection of polarized reflected light from hot Jupiters is likely to require further improvements in instrument sensitivity.


title: Improved parallel WaveGAN vocoder with perceptually weighted spectrogram loss

abstract: This paper proposes a spectral-domain perceptual weighting technique for Parallel WaveGAN-based text-to-speech (TTS) systems. The recently proposed Parallel WaveGAN vocoder successfully generates waveform sequences using a fast non-autoregressive WaveNet model. By employing multi-resolution short-time Fourier transform (MR-STFT) criteria with a generative adversarial network, the light-weight convolutional networks can be effectively trained without any distillation process. To further improve the vocoding performance, we propose the application of frequency-dependent weighting to the MR-STFT loss function. The proposed method penalizes perceptually-sensitive errors in the frequency domain; thus, the model is optimized toward reducing auditory noise in the synthesized speech. Subjective listening test results demonstrate that our proposed method achieves 4.21 and 4.26 TTS mean opinion scores for female and male Korean speakers, respectively.


title: Dynamic Privacy Budget Allocation Improves Data Efficiency of Differentially Private Gradient Descent

abstract: Protecting privacy in learning while maintaining the model performance has become increasingly critical in many applications that involve sensitive data. Private Gradient Descent (PGD) is a commonly used private learning framework, which noises gradients based on the Differential Privacy protocol. Recent studies show that \emph{dynamic privacy schedules} of decreasing noise magnitudes can improve loss at the final iteration, and yet theoretical understandings of the effectiveness of such schedules and their connections to optimization algorithms remain limited. In this paper, we provide comprehensive analysis of noise influence in dynamic privacy schedules to answer these critical questions. We first present a dynamic noise schedule minimizing the utility upper bound of PGD, and show how the noise influence from each optimization step collectively impacts utility of the final model. Our study also reveals how impacts from dynamic noise influence change when momentum is used. We empirically show the connection exists for general non-convex losses, and the influence is greatly impacted by the loss curvature.


title: Formation of Temporally Shaped Electron Bunches for Beam-Driven Collinear Wakefield Accelerators

abstract: Beam-driven collinear wakefield accelerators (CWAs) that operate by using slow-wave structures or plasmas hold great promise toward reducing the size of contemporary accelerators. Sustainable acceleration of charged particles to high energies in the CWA relies on using field-generating relativistic electron bunches with a highly asymmetric peak current profile and a large energy chirp. A new approach to obtaining such bunches has been proposed and illustrated with the accelerator design supported by particle tracking simulations. It has been shown that the required particle distribution in the longitudinal phase space can be obtained without collimators, giving CWAs an opportunity for employment in applications requiring a high repetition rate of operation.


title: ES-ENAS: Efficient Evolutionary Optimization for Large Hybrid Search Spaces

abstract: In this paper, we approach the problem of optimizing blackbox functions over large hybrid search spaces consisting of both combinatorial and continuous parameters. We demonstrate that previous evolutionary algorithms which rely on mutation-based approaches, while flexible over combinatorial spaces, suffer from a curse of dimensionality in high dimensional continuous spaces both theoretically and empirically, which thus limits their scope over hybrid search spaces as well. In order to combat this curse, we propose ES-ENAS, a simple and modular joint optimization procedure combining the class of sample-efficient smoothed gradient techniques, commonly known as Evolutionary Strategies (ES), with combinatorial optimizers in a highly scalable and intuitive way, inspired by the one-shot or supernet paradigm introduced in Efficient Neural Architecture Search (ENAS). By doing so, we achieve significantly more sample efficiency, which we empirically demonstrate over synthetic benchmarks, and are further able to apply ES-ENAS for architecture search over popular RL benchmarks.


title: Swarm Herding: A Leader-Follower Framework For Multi-Robot Navigation

abstract: A leader-follower framework is proposed for multi-robot navigation of large scale teams where the leader agents corral the follower agents. A group of leaders is modeled as a 2D deformable object where discrete masses (i.e., leader robots) are interconnected by springs and dampers. A time-varying domain is defined by the positions of leaders while the external forces induce deformations of the domain from its nominal configuration. The team of followers is performing coverage over the time-varying domain by employing a perspective transformation that maps between the nominal and deformed configurations. A decentralized control strategy is proposed where a leader only takes local sensing information and information about its neighbors (connected by virtual springs and dampers), and a follower only needs partial information about leaders and information about its Delaunay neighbors.


title: Inferring COVID-19 Biological Pathways from Clinical Phenotypes via Topological Analysis

abstract: COVID-19 has caused thousands of deaths around the world and also resulted in a large international economic disruption. Identifying the pathways associated with this illness can help medical researchers to better understand the properties of the condition. This process can be carried out by analyzing the medical records. It is crucial to develop tools and models that can aid researchers with this process in a timely manner. However, medical records are often unstructured clinical notes, and this poses significant challenges to developing the automated systems. In this article, we propose a pipeline to aid practitioners in analyzing clinical notes and revealing the pathways associated with this disease. Our pipeline relies on topological properties and consists of three steps: 1) pre-processing the clinical notes to extract the salient concepts, 2) constructing a feature space of the patients to characterize the extracted concepts, and finally, 3) leveraging the topological properties to distill the available knowledge and visualize the result. Our experiments on a publicly available dataset of COVID-19 clinical notes testify that our pipeline can indeed extract meaningful pathways.


title: Combination of Optical Transitions of Polarons with Rashba Effect in Methylammonium Lead Tri-halide Perovskites under High Magnetic Fields

abstract: We investigate photoluminescence (PL) transitions of MAPbX$_{3}$ (X = I, Br and Cl) organic-inorganic hybrid perovskite single crystals under magnetic fields of up to 60 T. In these materials, sharp free-exciton transition peaks emerge at a low temperature (4.2 K). Under strong magnetic fields, the free-exciton PL transitions of three different halogens show dramatic differences. The free-exciton transitions of the MAPbCl$_{3}$ crystal undergo negative energy shifts, while those of the MAPbBr$_{3}$ crystal show normal diamagnetic shifts. To obtain the variation from Cl to Br, we attempt to measure PL transitions of MAPbCl$_{x}$Br$_{3-x}$. For MAPbI$_{3}$, the transition-energy shifts for both $\sigma^{+}$ and $\sigma^{-}$ transitions at 4.2 K exhibit a power-law dependence on the magnetic field. Such inconsistent magnetic-field effects on different halogens make it difficult to understand the transition-energy behavior through a unified model. We propose a possible mechanism for the field effects that is based on a combination of the Rashba effect induced by strong spin-orbit coupling and the polaron effect caused by the polar nature of the inorganic elements.


title: GIID-Net: Generalizable Image Inpainting Detection via Neural Architecture Search and Attention

abstract: Deep learning (DL) has demonstrated its powerful capabilities in the field of image inpainting, which could produce visually plausible results. Meanwhile, the malicious use of advanced image inpainting tools (e.g. removing key objects to report fake news) has led to increasing threats to the reliability of image data. To fight against the inpainting forgeries, in this work, we propose a novel end-to-end Generalizable Image Inpainting Detection Network (GIID-Net), to detect the inpainted regions at pixel accuracy. The proposed GIID-Net consists of three sub-blocks: the enhancement block, the extraction block and the decision block. Specifically, the enhancement block aims to enhance the inpainting traces by using hierarchically combined special layers. The extraction block, automatically designed by Neural Architecture Search (NAS) algorithm, is targeted to extract features for the actual inpainting detection tasks. In order to further optimize the extracted latent features, we integrate global and local attention modules in the decision block, where the global attention reduces the intra-class differences by measuring the similarity of global features, while the local attention strengthens the consistency of local features. Furthermore, we thoroughly study the generalizability of our GIID-Net, and find that different training data could result in vastly different generalization capability. Extensive experimental results are presented to validate the superiority of the proposed GIID-Net, compared with the state-of-the-art competitors. Our results would suggest that common artifacts are shared across diverse image inpainting methods. Finally, we build a public inpainting dataset of 10K image pairs for the future research in this area.


title: Generalizations of Lagrange and Sylow Theorems for Groupoids

abstract: We show a classification method for finite groupoids and discuss the cardinality of cosets and its relation with the index. We prove a generalization of the Lagrange's Theorem and establish a Sylow theory for groupoids.


title: Implementing Asymmetric Dark Matter and Dark Electroweak Baryogenesis in a Mirror Two-Higgs-Doublet Model

abstract: Models of asymmetric dark matter (ADM) seek to explain the apparent coincidence between the present-day mass densities of visible and dark matter, $\Omega_{\mathrm{DM}} \simeq 5\Omega_{\mathrm{VM}}$. However, most ADM models only relate the number densities of visible and dark matter without motivating the similar particle masses. We expand upon a recent work that obtained a natural mass relationship in a mirror matter ADM model with two Higgs doublets in each sector, by looking to implement dark electroweak baryogenesis as the means of asymmetry generation. We explore two aspects of the mechanism: the nature of the dark electroweak phase transition, and the transfer of particle asymmetries between the sectors by the use of portal interactions. We find that both aspects can be implemented successfully for various regions of the parameter space. We also analyse one portal interaction -- the neutron portal -- in greater detail, in order to satisfy the observational constraints on dark radiation.


title: SOSD-Net: Joint Semantic Object Segmentation and Depth Estimation from Monocular images

abstract: Depth estimation and semantic segmentation play essential roles in scene understanding. The state-of-the-art methods employ multi-task learning to simultaneously learn models for these two tasks at the pixel-wise level. They usually focus on sharing the common features or stitching feature maps from the corresponding branches. However, these methods lack in-depth consideration on the correlation of the geometric cues and the scene parsing. In this paper, we first introduce the concept of semantic objectness to exploit the geometric relationship of these two tasks through an analysis of the imaging process, then propose a Semantic Object Segmentation and Depth Estimation Network (SOSD-Net) based on the objectness assumption. To the best of our knowledge, SOSD-Net is the first network that exploits the geometry constraint for simultaneous monocular depth estimation and semantic segmentation. In addition, considering the mutual implicit relationship between these two tasks, we exploit the iterative idea from the expectation-maximization algorithm to train the proposed network more effectively. Extensive experimental results on the Cityscapes and NYU v2 dataset are presented to demonstrate the superior performance of the proposed approach.


title: Submodular Maximization via Taylor Series Approximation

abstract: We study submodular maximization problems with matroid constraints, in particular, problems where the objective can be expressed via compositions of analytic and multilinear functions. We show that for functions of this form, the so-called continuous greedy algorithm attains a ratio arbitrarily close to $(1-1/e) \approx 0.63$ using a deterministic estimation via Taylor series approximation. This drastically reduces execution time over prior art that uses sampling.


title: Compressive Spectral Image Reconstruction using Deep Prior and Low-Rank Tensor Representation

abstract: Compressive spectral imaging (CSI) has emerged as an alternative spectral image acquisition technology, which reduces the number of measurements at the cost of requiring a recovery process. In general, the reconstruction methods are based on hand-crafted priors used as regularizers in optimization algorithms or recent deep neural networks employed as an image generator to learn a non-linear mapping from the low-dimensional compressed measurements to the image space. However, these data-driven methods need many spectral images to obtain good performance. In this work, a deep recovery framework for CSI without training data is presented. The proposed method is based on the fact that the structure of some deep neural networks and an appropriated low-dimensional structure are sufficient to impose a structure of the underlying spectral image from CSI. We analyzed the low-dimension structure via the Tucker representation, modeled in the first net layer. The proposed scheme is obtained by minimizing the $\ell_2$-norm distance between the compressive measurements and the predicted measurements, and the desired recovered spectral image is formed just before the forward operator. Simulated and experimental results verify the effectiveness of the proposed method.


title: Dynamic Planning of Bicycle Stations in Dockless Public Bicycle-sharing System Using Gated Graph Neural Network

abstract: Benefiting from convenient cycling and flexible parking locations, the Dockless Public Bicycle-sharing (DL-PBS) network becomes increasingly popular in many countries. However, redundant and low-utility stations waste public urban space and maintenance costs of DL-PBS vendors. In this paper, we propose a Bicycle Station Dynamic Planning (BSDP) system to dynamically provide the optimal bicycle station layout for the DL-PBS network. The BSDP system contains four modules: bicycle drop-off location clustering, bicycle-station graph modeling, bicycle-station location prediction, and bicycle-station layout recommendation. In the bicycle drop-off location clustering module, candidate bicycle stations are clustered from each spatio-temporal subset of the large-scale cycling trajectory records. In the bicycle-station graph modeling module, a weighted digraph model is built based on the clustering results and inferior stations with low station revenue and utility are filtered. Then, graph models across time periods are combined to create a graph sequence model. In the bicycle-station location prediction module, the GGNN model is used to train the graph sequence data and dynamically predict bicycle stations in the next period. In the bicycle-station layout recommendation module, the predicted bicycle stations are fine-tuned according to the government urban management plan, which ensures that the recommended station layout is conducive to city management, vendor revenue, and user convenience. Experiments on actual DL-PBS networks verify the effectiveness, accuracy and feasibility of the proposed BSDP system.


title: An Interpretable Intensive Care Unit Mortality Risk Calculator

abstract: Mortality risk is a major concern to patients have just been discharged from the intensive care unit (ICU). Many studies have been directed to construct machine learning models to predict such risk. Although these models are highly accurate, they are less amenable to interpretation and clinicians are typically unable to gain further insights into the patients' health conditions and the underlying factors that influence their mortality risk. In this paper, we use patients' profiles extracted from the MIMIC-III clinical database to construct risk calculators based on different machine learning techniques such as logistic regression, decision trees, random forests and multilayer perceptrons. We perform an extensive benchmarking study that compares the most salient features as predicted by various methods. We observe a high degree of agreement across the considered machine learning methods; in particular, the cardiac surgery recovery unit, age, and blood urea nitrogen levels are commonly predicted to be the most salient features for determining patients' mortality risks. Our work has the potential for clinicians to interpret risk predictions.


title: Average skew information-based coherence and its typicality for random quantum states

abstract: We study the average skew information-based coherence for both random pure and mixed states. The explicit formulae of the average skew information-based coherence are derived and shown to be the functions of the dimension N of the state space. We demonstrate that as N approaches to infinity, the average coherence is 1 for random pure states, and a positive constant less than 1/2 for random mixed states. We also explore the typicality of average skew information-based coherence of random quantum states. Furthermore, we identify a coherent subspace such that the amount of the skew information-based coherence for each pure state in this subspace can be bounded from below almost always by a fixed number that is arbitrarily close to the typical value of coherence.


title: Locality-Sensitive Orderings and Applications to Reliable Spanners

abstract: Chan, Har-Peled, and Jones [2020] recently developed locality-sensitive ordering (LSO), a new tool that allows one to reduce problems in the Euclidean space $\mathbb{R}^d$ to the $1$-dimensional line. They used LSO's to solve a host of problems. Later, Buchin, Har-Peled, and Ol{\'{a}}h [2019,2020] used the LSO of Chan {\em et al. } to construct very sparse \emph{reliable spanners} for the Euclidean space. A highly desirable feature of a reliable spanner is its ability to withstand a massive failure: the network remains functioning even if 90\% of the nodes fail. In a follow-up work, Har-Peled, Mendel, and Ol{\'{a}}h [2021] constructed reliable spanners for general and topologically structured metrics. Their construction used a different approach, and is based on sparse covers. In this paper, we develop the theory of LSO's in non-Euclidean metrics by introducing new types of LSO's suitable for general and topologically structured metrics. We then construct such LSO's, as well as constructing considerably improved LSO's for doubling metrics. Afterwards, we use our new LSO's to construct reliable spanners with improved stretch and sparsity parameters. Most prominently, we construct $\tilde{O}(n)$-size reliable spanners for trees and planar graphs with the optimal stretch of $2$. Along the way to the construction of LSO's and reliable spanners, we introduce and construct ultrametric covers, and construct $2$-hop reliable spanners for the line.


title: Learning Efficient, Explainable and Discriminative Representations for Pulmonary Nodules Classification

abstract: Automatic pulmonary nodules classification is significant for early diagnosis of lung cancers. Recently, deep learning techniques have enabled remarkable progress in this field. However, these deep models are typically of high computational complexity and work in a black-box manner. To combat these challenges, in this work, we aim to build an efficient and (partially) explainable classification model. Specially, we use \emph{neural architecture search} (NAS) to automatically search 3D network architectures with excellent accuracy/speed trade-off. Besides, we use the convolutional block attention module (CBAM) in the networks, which helps us understand the reasoning process. During training, we use A-Softmax loss to learn angularly discriminative representations. In the inference stage, we employ an ensemble of diverse neural networks to improve the prediction accuracy and robustness. We conduct extensive experiments on the LIDC-IDRI database. Compared with previous state-of-the-art, our model shows highly comparable performance by using less than 1/40 parameters. Besides, empirical study shows that the reasoning process of learned networks is in conformity with physicians' diagnosis. Related code and results have been released at: https://github.com/fei-hdu/NAS-Lung.


title: A Surrogate-Assisted Variable Grouping Algorithm for General Large Scale Global Optimization Problems

abstract: Problem decomposition plays a vital role when applying cooperative coevolution (CC) to large scale global optimization problems. However, most learning-based decomposition algorithms either only apply to additively separable problems or face the issue of false separability detections. Directing against these limitations, this study proposes a novel decomposition algorithm called surrogate-assisted variable grouping (SVG). SVG first designs a general-separability-oriented detection criterion according to whether the optimum of a variable changes with other variables. This criterion is consistent with the separability definition and thus endows SVG with broad applicability and high accuracy. To reduce the fitness evaluation requirement, SVG seeks the optimum of a variable with the help of a surrogate model rather than the original expensive high-dimensional model. Moreover, it converts the variable grouping process into a dynamic-binary-tree search one, which facilitates reutilizing historical separability detection information and thus reducing detection times. To evaluate the performance of SVG, a suite of benchmark functions with up to 2000 dimensions, including additively and non-additively separable ones, were designed. Experimental results on these functions indicate that, compared with six state-of-the-art decomposition algorithms, SVG possesses broader applicability and competitive efficiency. Furthermore, it can significantly enhance the optimization performance of CC.


title: Realization of AlSb in the double layer honeycomb structure: a robust new class of two-dimensional material

abstract: Exploring new two-dimensional (2D) van der Waals (vdW) systems is at the forefront of materials physics. Here, through molecular beam epitaxy on graphene-covered SiC(0001), we report successful growth of AlSb in the double-layer honeycomb (DLHC) structure, a 2D vdW material which has no direct analogue to its 3D bulk and is predicted kinetically stable when freestanding. The structural morphology and electronic structure of the experimental 2D AlSb are characterized with spectroscopic imaging scanning tunneling microscopy and cross-sectional imaging scanning transmission electron microscopy, which compare well to the proposed DLHC structure. The 2D AlSb exhibits a bandgap of 0.93 eV versus the predicted 1.06 eV, which is substantially smaller than the 1.6 eV of bulk. We also attempt the less-stable InSb DLHC structure; however, it grows into bulk islands instead. The successful growth of a DLHC material here opens the door for the realization of a large family of novel 2D DLHC traditional semiconductors with unique excitonic, topological, and electronic properties.


title: On the Discrete Normal Modes of Quasigeostrophic Theory

abstract: The discrete baroclinic modes of quasigeostrophic theory are incomplete and the incompleteness manifests as a loss of information in the projection process. The incompleteness of the baroclinic modes is related to the presence of two previously unnoticed stationary step-wave solutions of the Rossby wave problem with flat boundaries. These step-waves are the limit of surface quasigeostrophic waves as boundary buoyancy gradients vanish. A complete normal mode basis for quasigeostrophic theory is obtained by considering the traditional Rossby wave problem with prescribed buoyancy gradients at the lower and upper boundaries. The presence of these boundary buoyancy gradients activates the previously inert boundary degrees of freedom. These Rossby waves have several novel properties such as the presence of multiple modes with no internal zeros, a finite number of modes with negative norms, and their vertical structures form a basis capable of representing any quasigeostrophic state with a differentiable series expansion. Using this complete basis, we are able to obtain a differentiable series expansion to the potential vorticity of Bretherton (with Dirac delta contributions). We also examine the quasigeostrophic vertical velocity modes and derive a complete basis for such modes as well. A natural application of these modes is the development of a weakly non-linear wave-interaction theory of geostrophic turbulence that takes topography into account.


title: COVID-Net CT-2: Enhanced Deep Neural Networks for Detection of COVID-19 from Chest CT Images Through Bigger, More Diverse Learning

abstract: The COVID-19 pandemic continues to rage on, with multiple waves causing substantial harm to health and economies around the world. Motivated by the use of CT imaging at clinical institutes around the world as an effective complementary screening method to RT-PCR testing, we introduced COVID-Net CT, a neural network tailored for detection of COVID-19 cases from chest CT images as part of the open source COVID-Net initiative. However, one potential limiting factor is restricted quantity and diversity given the single nation patient cohort used. In this study, we introduce COVID-Net CT-2, enhanced deep neural networks for COVID-19 detection from chest CT images trained on the largest quantity and diversity of multinational patient cases in research literature. We introduce two new CT benchmark datasets, the largest comprising a multinational cohort of 4,501 patients from at least 15 countries. We leverage explainability to investigate the decision-making behaviour of COVID-Net CT-2, with the results for select cases reviewed and reported on by two board-certified radiologists with over 10 and 30 years of experience, respectively. The COVID-Net CT-2 neural networks achieved accuracy, COVID-19 sensitivity, PPV, specificity, and NPV of 98.1%/96.2%/96.7%/99%/98.8% and 97.9%/95.7%/96.4%/98.9%/98.7%, respectively. Explainability-driven performance validation shows that COVID-Net CT-2's decision-making behaviour is consistent with radiologist interpretation by leveraging correct, clinically relevant critical factors. The results are promising and suggest the strong potential of deep neural networks as an effective tool for computer-aided COVID-19 assessment. While not a production-ready solution, we hope the open-source, open-access release of COVID-Net CT-2 and benchmark datasets will continue to enable researchers, clinicians, and citizen data scientists alike to build upon them.


title: Channelized Axial Attention for Semantic Segmentation -- Considering Channel Relation within Spatial Attention for Semantic Segmentation

abstract: Spatial and channel attentions, modelling the semantic interdependencies in spatial and channel dimensions respectively, have recently been widely used for semantic segmentation. However, computing spatial and channel attentions separately sometimes causes errors, especially for those difficult cases. In this paper, we propose Channelized Axial Attention (CAA) to seamlessly integrate channel attention and spatial attention into a single operation with negligible computation overhead. Specifically, we break down the dot-product operation of the spatial attention into two parts and insert channel relation in between, allowing for independently optimized channel attention on each spatial location. We further develop grouped vectorization, which allows our model to run with very little memory consumption without slowing down the running speed. Comparative experiments conducted on multiple benchmark datasets, including Cityscapes, PASCAL Context, and COCO-Stuff, demonstrate that our CAA outperforms many state-of-the-art segmentation models (including dual attention) on all tested datasets.


title: Fairness Criteria for Allocating Indivisible Chores: Connections and Efficiencies

abstract: We study several fairness notions in allocating indivisible chores (i.e., items with non-positive values) to agents who have additive and submodular cost functions. The fairness criteria we are concern with are envy-free up to any item (EFX), envy-free up to one item (EF1), maximin share (MMS), and pairwise maximin share (PMMS), which are proposed as relaxations of envy-freeness in the setting of additive cost functions. For allocations under each fairness criterion, we establish their approximation guarantee for other fairness criteria. Under the additive setting, our results show strong connections between these fairness criteria and, at the same time, reveal intrinsic differences between goods allocation and chores allocation. However, such strong relationships cannot be inherited by the submodular setting, under which PMMS and MMS are no longer relaxations of envy-freeness and, even worse, few non-trivial guarantees exist. We also investigate efficiency loss under these fairness constraints and establish their prices of fairness.


title: Overcoming Thermo-Optical Dynamics in Broadband Nanophotonic Sensing

abstract: Advances in integrated photonics open exciting opportunities for batch-fabricated optical sensors using high quality factor nanophotonic cavities to achieve ultra-high sensitivities and bandwidths. The sensitivity improves with higher optical power, however, localized absorption and heating within a micrometer-scale mode volume prominently distorts the cavity resonances and strongly couples the sensor response to thermal dynamics, limiting the sensitivity and hindering the measurement of broadband time-dependent signals. Here, we derive a frequency-dependent photonic sensor transfer function that accounts for thermo-optical dynamics and quantitatively describes the measured broadband optomechanical signal from an integrated photonic atomic-force-microscopy nanomechanical probe. Using this transfer function, the probe can be operated in the high optical power, strongly thermo-optically nonlinear regime, reaching a sensitivity of $\approx$ 0.4 fm/Hz$^{1/2}$, an improvement of $\approx 10\times$ relative to the best performance in the linear regime. Counterintuitively, we discover that higher transduction gain and sensitivity are obtained with lower quality factor optical modes for low signal frequencies. Not limited to optomechanical transducers, the derived transfer function is generally valid for describing small-signal dynamic response of a broad range of technologically important photonic sensors subject to the thermo-optical effect.


title: Dynamic Bicycle Dispatching of Dockless Public Bicycle-sharing Systems using Multi-objective Reinforcement Learning

abstract: As a new generation of Public Bicycle-sharing Systems (PBS), the dockless PBS (DL-PBS) is an important application of cyber-physical systems and intelligent transportation. How to use AI to provide efficient bicycle dispatching solutions based on dynamic bicycle rental demand is an essential issue for DL-PBS. In this paper, we propose a dynamic bicycle dispatching algorithm based on multi-objective reinforcement learning (MORL-BD) to provide the optimal bicycle dispatching solution for DL-PBS. We model the DL-PBS system from the perspective of CPS and use deep learning to predict the layout of bicycle parking spots and the dynamic demand of bicycle dispatching. We define the multi-route bicycle dispatching problem as a multi-objective optimization problem by considering the optimization objectives of dispatching costs, dispatch truck's initial load, workload balance among the trucks, and the dynamic balance of bicycle supply and demand. On this basis, the collaborative multi-route bicycle dispatching problem among multiple dispatch trucks is modeled as a multi-agent MORL model. All dispatch paths between parking spots are defined as state spaces, and the reciprocal of dispatching costs is defined as a reward. Each dispatch truck is equipped with an agent to learn the optimal dispatch path in the dynamic DL-PBS network. We create an elite list to store the Pareto optimal solutions of bicycle dispatch paths found in each action, and finally, get the Pareto frontier. Experimental results on the actual DL-PBS systems show that compared with existing methods, MORL-BD can find a higher quality Pareto frontier with less execution time.


title: Geometric phases of a vortex in a superfluid

abstract: We consider geometric phases of mobile quantum vortices in superfluid Bose-Einstein condensates. Haldane and Wu [Phys. Rev. Lett. 55, 2887 (1985)] showed that the geometric phase, $\gamma_{\mathcal C}=2\pi N_{\mathcal C}$, of such a vortex is determined by the number of condensate atoms $N_{\mathcal C}$ enclosed by the vortex trajectory. Considering an experimentally realistic freely orbiting vortex leads to an apparent disagreement with this prediction. We resolve it using the superfluid electrodynamics picture, which allows us to identify two additional contributions to the measured geometric phase; (i) a topologically protected edge current of vortices at the condensate boundary, and (ii) a superfluid displacement current. Our results generalise to, and pave the way for experimental measurements of vortex geometric phases using scalar and spinor Bose--Einstein condensates, and superfluid Fermi gases.