title: Direct Measurement of Helicoid Surface States in RhSi using Nonlinear Optics

abstract: Despite the fundamental nature of the edge state in topological physics, direct measurement of electronic and optical properties of the Fermi arcs of topological semimetals has posed a significant experimental challenge, as their response is often overwhelmed by the metallic bulk. However, laser-driven currents carried by surface and bulk states can propagate in different directions in nonsymmorphic crystals, allowing for the two components to be easily separated. Motivated by a recent theoretical prediction \cite{chang20}, we have measured the linear and circular photogalvanic effect currents deriving from the Fermi arcs of the nonsymmorphic, chiral Weyl semimetal RhSi over the $0.45 - 1.1$ eV incident photon energy range. Our data are in good agreement with the predicted magnitude of the circular photogalvanic effect as a function of photon energy, although the direction of the surface photocurrent departed from the theoretical expectation over the energy range studied. Surface currents arising from the linear photogalvanic effect were observed as well, with the unexpected result that only two of the six allowed tensor element were required to describe the measurements, suggesting an approximate emergent mirror symmetry inconsistent with the space group of the crystal.


title: Effect of Serum Starvation on Rheology of Cell Monolayers

abstract: The rheological properties of cells and tissues are central to embryonic development and homoeostasis in adult tissues and organs and are closely related to their physiological activities. In this work, we present our study of rheological experiments on cell monolayer under serum starvation compared to that of healthy cell monolayer with full serum. The normal functioning of cells depends on the micronutrient supply provided by the serum in the growth media. Serum starvation is one of the most widely used procedures in cell biology. Serum deficiency may lead to genomic instability, variation in protein expression, chronic diseases, and some specific types of cancers. However, the effect of deprivation of serum concentration on the material properties of cells is still unknown. Therefore, we performed the macro-rheology experiments to investigate the effect of serum starvation on a fully confluent Madin Darby Canine Kidney (MDCK) cell monolayer. The material properties such as storage modulus (G') and loss modulus (G''), of the monolayer, were measured using oscillatory shear experiments under serum-free (0% FBS) and full serum (10% FBS) conditions. Additionally, the step strain experiments were performed to gain more insights into the viscoelastic properties of the cell monolayer. Our results indicate that without serum, the loss and storage moduli decrease and do not recover fully even after small deformation. This is because of the lack of nutrients, which may result in many permanent physiological changes. Whereas, the healthy cell monolayer under full serum condition, remains strong & flexible, and can fully recover even from a large deformation at higher strain.


title: On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints

abstract: We study the synthesis of a policy in a Markov decision process (MDP) following which an agent reaches a target state in the MDP while minimizing its total discounted cost. The problem combines a reachability criterion with a discounted cost criterion and naturally expresses the completion of a task with probabilistic guarantees and optimal transient performance. We first establish that an optimal policy for the considered formulation may not exist but that there always exists a near-optimal stationary policy. We additionally provide a necessary and sufficient condition for the existence of an optimal policy. We then restrict our attention to stationary deterministic policies and show that the decision problem associated with the synthesis of an optimal stationary deterministic policy is NP-complete. Finally, we provide an exact algorithm based on mixed-integer linear programming and propose an efficient approximation algorithm based on linear programming for the synthesis of an optimal stationary deterministic policy.


title: BDDC Algorithms for Advection-diffusion problems with HDG Discretizations

abstract: The balancing domain decomposition methods (BDDC) are originally introduced for symmetric positive definite systems and have been extended to the nonsymmetric positive definite system from the linear finite element discretization of advection-diffusion equations. In this paper, the convergence of the GMRES method is analyzed for the BDDC preconditioned linear system from advection-diffusion equations with the hybridizable discontinuous Galerkin (HDG) discretization. Compared to the finite element discretizations, several additional norms for the numerical trace have to be used and the equivalence between the bilinear forms and norms needs to be established. For large viscosity, if the subdomain size is small enough, the number of iterations is independent of the number of subdomains and depends only slightly on the sudomain problem size. The convergence deteriorates when the viscosity decreases. These results are similar to those with the finite element discretizations. Moreover, the effects of the additional primal constraints used in the BDDC algorithms are more significant with the higher degree HDG discretizations. The results of two two-dimensional examples are provided to confirm our theory.


title: The utilization of spherical camera in simulation for service robotics

abstract: Safety is one of the most critical factors in robotics, especially when robots have to collaborate with people in a~shared environment. Testing the physical systems, however, must focus on much more than just software. One of the common steps in robotic system development is the utilization of simulators, which are very good for tasks like navigation or manipulation. Testing vision systems is more challenging, as the simulated data often is far from the real camera readings. In this paper, we show the advantages of using the spherical camera for recording the sequences of test images and a~way to integrate those with existing robotic simulator. The presented system also has the possibility to be extended with rendered objects to further improve its usability.


title: Active fall prevention: robotic vision in AAL

abstract: Effective methods of preventing falls significantly improve the quality of life of the Elderly. Nowadays, people focus mainly on the proper provision of the apartment with handrails and fall detection systems once they have occurred. The article presents a~system of active detection and classification of the risk of falls in the home space using a~service robot equipped with a~vision sensor. Hazard classification allows for effective performance of tasks assigned to the robot while maintaining a~high level of user safety.


title: The local-orbifold correspondence for simple normal crossings pairs

abstract: For $X$ a smooth projective variety and $D=D_1+\ldots+D_n$ a simple normal crossings divisor, we establish a precise cycle-level correspondence between the genus zero local Gromov-Witten theory of the bundle $\oplus_{i=1}^n \mathcal{O}_X(-D_i)$ and the maximal contact Gromov-Witten theory of the multi-root stack $X_{D,\vec{r}}$. The proof is an implementation of the rank reduction strategy. We use this point of view to clarify the relationship between logarithmic and orbifold invariants.


title: The impact of data volume on performance of deep learning based building rooftop extraction using very high spatial resolution aerial images

abstract: Building rooftop data are of importance in several urban applications and in natural disaster management. In contrast to traditional surveying and mapping, by using high spatial resolution aerial images, deep learning-based building rooftops extraction methods are efficient and accurate. Although more training data is preferred in deep learning-based tasks, the effect of data volume on building extraction models is underexplored. Therefore, the paper explores the impact of data volume on the performance of building rooftop extraction from very-high-spatial-resolution (VHSR) images using deep learning-based methods. To do so, we manually labelled 0.12m spatial resolution aerial images and perform a comparative analysis of models trained on datasets of different sizes using popular deep learning architectures for segmentation tasks, including Fully Convolutional Networks (FCN)-8s, U-Net and DeepLabv3+. The experiments showed that with more training data, algorithms converged faster and achieved higher accuracy, while better algorithms were able to better mitigate the lack of training data.


title: Softermax: Hardware/Software Co-Design of an Efficient Softmax for Transformers

abstract: Transformers have transformed the field of natural language processing. This performance is largely attributed to the use of stacked self-attention layers, each of which consists of matrix multiplies as well as softmax operations. As a result, unlike other neural networks, the softmax operation accounts for a significant fraction of the total run-time of Transformers. To address this, we propose Softermax, a hardware-friendly softmax design. Softermax consists of base replacement, low-precision softmax computations, and an online normalization calculation. We show Softermax results in 2.35x the energy efficiency at 0.90x the size of a comparable baseline, with negligible impact on network accuracy.


title: Eikonal quasinormal modes and shadow of string-corrected $d$-dimensional black holes

abstract: We compute the quasinormal frequencies of $d$-dimensional spherically symmetric black holes with leading string $\alpha'$ corrections in the eikonal limit for tensorial gravitational perturbations and scalar test fields. We find that, differently than in Einstein gravity, the real parts of the frequency are no longer equal for these two cases. The corresponding imaginary parts remain equal to the principal Lyapunov exponent corresponding to circular null geodesics, to first order in $\alpha'$. We also compute the radius of the shadow cast by these black holes.


title: Self-Validated Ensemble Models for Design of Experiments

abstract: One of the possible objectives when designing experiments is to build or formulate a model for predicting future observations. When the primary objective is prediction, some typical approaches in the planning phase are to use well-established small-sample experimental designs in the design phase (e.g., Definitive Screening Designs) and to construct predictive models using widely used model selection algorithms such as LASSO. These design and analytic strategies, however, do not guarantee high prediction performance, partly due to the small sample sizes that prevent partitioning the data into training and validation sets, a strategy that is commonly used in machine learning models to improve out-of-sample prediction. In this work, we propose a novel framework for building high-performance predictive models from experimental data that capitalizes on the advantage of having both training and validation sets. However, instead of partitioning the data into two mutually exclusive subsets, we propose a weighting scheme based on the fractional random weight bootstrap that emulates data partitioning by assigning anti-correlated training and validation weights to each observation. The proposed methodology, called Self-Validated Ensemble Modeling (SVEM), proceeds in the spirit of bagging so that it iterates through bootstraps of anti-correlated weights and fitted models, with the final SVEM model being the average of the bootstrapped models. We investigate the performance of the SVEM algorithm with several model-building approaches such as stepwise regression, Lasso, and the Dantzig selector. Finally, through simulation and case studies, we show that SVEM generally generates models with better prediction performance in comparison to one-shot model selection approaches.


title: Robust universal approach to identify travelling chimeras and synchronized clusters in spiking networks

abstract: We propose a robust universal approach to identify multiple dynamical states, including stationary and travelling chimera states based on an adaptive coherence measure. Our approach allows automatic disambiguation of synchronized clusters, travelling waves, chimera states, and asynchronous regimes. In addition, our method can determine the number of clusters in the case of cluster synchronization. We further couple our approach with a new speed calculation method for travelling chimeras. We validate our approach by an example of a ring network of type II Morris-Lecar neurons with asymmetrical nonlocal inhibitory connections where we identify a rich repertoire of coherent and wave states. We propose that the method is robust for the networks of phase oscillators and extends to a general class of relaxation oscillator networks.


title: Optimal stratification of survival data via Bayesian nonparametric mixtures

abstract: The stratified proportional hazards model represents a simple solution to account for heterogeneity within the data while keeping the multiplicative effect on the hazard function. Strata are typically defined a priori by resorting to the values taken by a categorical covariate. A general framework is proposed, which allows for the stratification of a generic accelerated life time model, including as a special case the Weibull proportional hazard model. The stratification is determined a posteriori by taking into account that strata might be characterized by different baseline survivals as well as different effects of the predictors. This is achieved by considering a Bayesian nonparametric mixture model and the posterior distribution it induces on the space of data partitions. The optimal stratification is then identified by means of the variation of information criterion and, in turn, stratum-specific inference is carried out. The performance of the proposed method and its robustness to the presence of right-censored observations are investigated by means of an extensive simulation study. A further illustration is provided by the analysis of a data set extracted from the University of Massachusetts AIDS Research Unit IMPACT Study.


title: A Neural Passage Model for Ad-hoc Document Retrieval

abstract: Traditional statistical retrieval models often treat each document as a whole. In many cases, however, a document is relevant to a query only because a small part of it contain the targeted information. In this work, we propose a neural passage model (NPM) that uses passage-level information to improve the performance of ad-hoc retrieval. Instead of using a single window to extract passages, our model automatically learns to weight passages with different granularities in the training process. We show that the passage-based document ranking paradigm from previous studies can be directly derived from our neural framework. Also, our experiments on a TREC collection showed that the NPM can significantly outperform the existing passage-based retrieval models.


title: Spontaneous scalarization of self-gravitating magnetic fields

abstract: In this paper, we study the spontaneous scalarization of an extended, self-gravitating system which is static, cylindrically symmetric and possesses electromagnetic fields. We demonstrate that a real massive scalar field condenses on this Melvin magnetic universe solution when introducing a non-minimal coupling between the scalar field and (a) the magnetic field and (b) the curvature of the space-time, respectively. We find that in both cases, the solutions exist on a finite interval of the coupling constant and that solutions with a number of nodes $k$ in the scalar field exist. For case (a) we observe that the intervals of existence are mutually exclusive for different $k$.


title: On Undecided LP, Clustering and Active Learning

abstract: We study colored coverage and clustering problems. Here, we are given a colored point set where the points are covered by (unknown) $k$ clusters, which are monochromatic (i.e., all the points covered by the same cluster, have the same color). The access to the colors of the points (or even the points themselves) is provided indirectly via various queries (such as nearest neighbor, or separation queries). We show that if the number of clusters is a constant, then one can correctly deduce the color of all the points (i.e., compute a monochromatic clustering of the points) using a polylogarithmic number of queries. We investigate several variants of this problem, including Undecided Linear Programming, covering of points by $k$ monochromatic balls, covering by $k$ triangles/simplices, and terrain simplification. For the later problem, we present the first near linear time approximation algorithm. While our approximation is slightly worse than previous work, this is the first algorithm to have subquadratic complexity if the terrain has "small" complexity.


title: Stationary Performance Analysis of Grishechkin Processor-Sharing Queues: An Integral Equation Approach

abstract: We compute the stationary performance metrics of a single server $M^X/G/1$ queue under a class of generalized processor-sharing scheduling policies that are proposed by Grishechkin. This class of processor-sharing policies allow service capacities to be allocated to jobs based on the amount of service they attained. In [11], Grishechkin derives an integral equation that is satisfied by the Laplace transform of the stationary performance metrics under these policies. Our main focus in this paper is to derive the solution to this integral equation. This is achieved through a series of transforms that convert the integral equation into a more tractable form, then solve it. Then we derive approximations to the density functions of the performance metrics through inverting the Laplace transforms. In the last part of the paper, we apply our results to some well-known scheduling policies that are either a special case of the Grishechkin processor-sharing policies or can be treated as the limits of a sequence Grishechkin processor-sharing policies. These examples include the egalitarian processor-sharing policy, the discriminatory processor-sharing policy, shortest residual processing time first rule, foreground-background policy and the time function scheduling policy.


title: A Classical Search Game in Discrete Locations

abstract: Consider a two-person zero-sum search game between a hider and a searcher. The hider hides among $n$ discrete locations, and the searcher successively visits individual locations until finding the hider. Known to both players, a search at location $i$ takes $t_i$ time units and detects the hider -- if hidden there -- independently with probability $q_i$, for $i=1,\ldots,n$. The hider aims to maximize the expected time until detection, while the searcher aims to minimize it. We prove the existence of an optimal strategy for each player. In particular, the hider's optimal mixed strategy hides in each location with a nonzero probability, and the searcher's optimal mixed strategy can be constructed with up to $n$ simple search sequences. We develop an algorithm to compute an optimal strategy for each player, and compare the optimal hiding strategy with the simple hiding strategy which gives the searcher no location preference at the beginning of the search.


title: Using a Personal Health Library-Enabled mHealth Recommender System for Self-Management of Diabetes Among Underserved Populations: Use Case for Knowledge Graphs and Linked Data

abstract: Personal health libraries (PHLs) provide a single point of secure access to patients digital health data and enable the integration of knowledge stored in their digital health profiles with other sources of global knowledge. PHLs can help empower caregivers and health care providers to make informed decisions about patients health by understanding medical events in the context of their lives. This paper reports the implementation of a mobile health digital intervention that incorporates both digital health data stored in patients PHLs and other sources of contextual knowledge to deliver tailored recommendations for improving self-care behaviors in diabetic adults. We conducted a thematic assessment of patient functional and nonfunctional requirements that are missing from current EHRs based on evidence from the literature. We used the results to identify the technologies needed to address those requirements. We describe the technological infrastructures used to construct, manage, and integrate the types of knowledge stored in the PHL. We leverage the Social Linked Data (Solid) platform to design a fully decentralized and privacy-aware platform that supports interoperability and care integration. We provided an initial prototype design of a PHL and drafted a use case scenario that involves four actors to demonstrate how the proposed prototype can be used to address user requirements, including the construction and management of the PHL and its utilization for developing a mobile app that queries the knowledge stored and integrated into the PHL in a private and fully decentralized manner to provide better recommendations. The proposed PHL helps patients and their caregivers take a central role in making decisions regarding their health and equips their health care providers with informatics tools that support the collection and interpretation of the collected knowledge.


title: On the exponentially small corrections to ${\cal N} = 2$ superconformal correlators at large R-charge

abstract: In this note we consider Coulomb-branch chiral primary correlation functions in ${\cal N} = 2$ superconformal QCD with gauge group $SU(2)$, in the limit of large R-charge ${\cal J} = 2n$ for the chiral primary operators $[{\cal O}(x)]^ n$ with the inverse gauge coupling $\tau$ held fixed. In previous work, these correlation functions were determined to all orders in $n$, up to unknown exponentially small corrections. In this paper we determine the first several orders of the asymptotic expansion of the exponentially small correction itself. To do this we use: the physical interpretation of the exponentially small correction as the virtual propagation of a massive BPS particle, to fix the leading term in the expansion; the supersymmetric recursion relations to derive differential equations for the coupling-dependence of the subleading terms; and the double-scaling limit, to fix undetermined coefficients in the solution of the differential equation. We calculate the expansion of the exponentially small term up to and including relative order $n^{-{5\over 2}}$. We also use the recursion relations to calculate the subleading large-${\cal J}$ corrections to the exponentially small correction in the double-scaling limit, up to and including relative order $n^{-5}$ at fixed double-scaled coupling $\lambda$. We compare the expansion to exact results from supersymmetric localization at the coupling $\tau = {{25}\over \pi} i$, up to $n=150$. At values $n\sim 100-150$, we find the fixed-coupling and double-scaled large-R-charge expansions are accurate to within one part in $10^ 6$ and $10^ 8$, respectively, of the size of the exponentially small correction itself. Relative to the full correlator including the dominant EFT contribution, these estimates give results accuracte to one part in $10^{15}$ and $10^{17}$, respectively.


title: Water Ice Cloud Variability & Multi-Epoch Transmission Spectra of TRAPPIST-1e

abstract: The precise characterization of terrestrial atmospheres with the James Webb Space Telescope (JWST) is one of the utmost goals of exoplanet astronomy in the next decade. With JWST's impending launch, it is crucial we are well prepared to understand the subtleties of terrestrial atmospheres - particularly ones we may have not needed to consider before due to instrumentation limitations. In this work we show that patchy ice cloud variability is present in the upper atmospheres of M-dwarf terrestrial planets, particularly along the limbs. Here we test whether these variable clouds will introduce unexpected biases in the multi-epoch observations necessary to constrain atmospheric abundances. Using 3D ExoCAM general circulation models (GCMs) of TRAPPIST-1e, we simulate five different climates with varying pCO$_2$ to explore the strength of this variability. These models are post-processed using NASA Goddard's Planetary Spectrum Generator (PSG) and PandExo to generate simulated observations with JWST's NIRSpec PRISM mode at 365 different temporal outputs from each climate. Assuming the need for 10 transits of TRAPPIST-1e to detect molecular features at great confidence, we then use CHIMERA to retrieve on several randomly selected weighted averages of our simulated observations to explore the effect of multi-epoch observations with variable cloud cover along the limb on retrieved abundances. We find that the variable spectra do not affect retrieved abundances at detectable levels for our sample of TRAPPIST-1e models.


title: iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation

abstract: Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and challenging due to the lack of tools and expertise in this field. A promising solution to overcome this issue is to use Model-Driven Engineering (MDE), however, using models still involves a learning curve and might not be suitable for non-technical users. To tackle this challenge, chatbot or conversational interfaces can be used to assess the non-technical users to specify a smart contract in gradual and interactive manner. In this paper, we propose iContractBot, a chatbot for modeling and developing smart contracts. Moreover, we investigate how to integrate iContractBot with iContractML, a domain-specific modeling language for developing smart contracts, and instantiate intention models from the chatbot. The iContractBot framework provides a domain-specific language (DSL) based on the user intention and performs model-to-text transformation to generate the smart contract code. A smart contract use case is presented to demonstrate how iContractBot can be utilized for creating models and generating the deployment artifacts for smart contracts based on a simple conversation.


title: New experimental $^{23}$Na($\alpha,p$)$^{26}$Mg Reaction Rate for Massive Star and Type-Ia Supernova models

abstract: The $^{23}$Na($\alpha,p$)$^{26}$Mg reaction has been identified as having a significant impact on the nucleosynthesis of several nuclei between Ne and Ti in type-Ia supernovae, and of $^{23}$Na and $^{26}$Al in massive stars. The reaction has been subjected to renewed experimental interest recently, motivated by high uncertainties in early experimental data and in the statistical Hauser-Feshbach models used in reaction rate compilations. Early experiments were affected by target deterioration issues and unquantifiable uncertainties. Three new independent measurements instead are utilizing inverse kinematics and Rutherford scattering monitoring to resolve this. In this work we present directly measured angular distributions of the emitted protons to eliminate a discrepancy in the assumptions made in the recent reaction rate measurements, which results in cross sections differing by a factor of 3. We derive a new combined experimental reaction rate for the $^{23}$Na($\alpha,p$)$^{26}$Mg reaction with a total uncertainty of 30% at relevant temperatures. Using our new $^{23}$Na($\alpha,p$)$^{26}$Mg rate, the $^{26}$Al and $^{23}$Na production uncertainty is reduced to within 8%. In comparison, using the factor of 10 uncertainty previously recommended by the rate compilation STARLIB, $^{26}$Al and $^{23}$Na production was changing by more than a factor of 2. In type-Ia supernova conditions, the impact on production of $^{23}$Na is constrained to within 15%.


title: Are deep learning models superior for missing data imputation in large surveys? Evidence from an empirical comparison

abstract: Multiple imputation (MI) is a popular approach for dealing with missing data arising from non-response in sample surveys. Multiple imputation by chained equations (MICE) is one of the most widely used MI algorithms for multivariate data, but it lacks theoretical foundation and is computationally intensive. Recently, missing data imputation methods based on deep learning models have been developed with encouraging results in small studies. However, there has been limited research on evaluating their performance in realistic settings compared to MICE, particularly in big surveys. We conduct extensive simulation studies based on a subsample of the American Community Survey to compare the repeated sampling properties of four machine learning based MI methods: MICE with classification trees, MICE with random forests, generative adversarial imputation networks, and multiple imputation using denoising autoencoders. We find the deep learning imputation methods are superior to MICE in terms of computational time. However, with the default choice of hyperparameters in the common software packages, MICE with classification trees consistently outperforms, often by a large margin, the deep learning imputation methods in terms of bias, mean squared error, and coverage under a range of realistic settings.


title: Electromagnetic Power Emitted by an Accelerating Point Charge

abstract: We derive the rate of emission of electromagnetic energy by an accelerating point charge, with the acceleration and velocity in the result being taken at the present time in the motion of the accelerating charge. This contrasts with the usual textbook derivation, which calculates the energy radiated through the surface of a large sphere, and gives the rate of radiated energy in terms of the acceleration and velocity at an arbitrary retarded time.


title: Measuring fundamental jet properties with multi-wavelength fast timing of the black hole X-ray binary MAXI J1820+070

abstract: We present multi-wavelength fast timing observations of the black hole X-ray binary MAXI J1820+070 (ASASSN-18ey), taken with the Karl G. Jansky Very Large Array (VLA), Atacama Large Millimeter/Sub-Millimeter Array (ALMA), Very Large Telescope (VLT), New Technology Telescope (NTT), Neutron Star Interior Composition Explorer (NICER), and XMM-Newton. Our data set simultaneously samples ten different electromagnetic bands (radio - X-ray) over a 7-hour period during the hard state of the 2018-2019 outburst. The emission we observe is highly variable, displaying multiple rapid flaring episodes. To characterize the variability properties in our data, we implemented a combination of cross-correlation and Fourier analyses. We find that the emission is highly correlated between different bands, measuring time-lags ranging from hundreds of milliseconds between the X-ray/optical bands to minutes between the radio/sub-mm bands. Our Fourier analysis also revealed, for the first time in a black hole X-ray binary, an evolving power spectral shape with electromagnetic frequency. Through modelling these variability properties, we find that MAXI J1820+070 launches a highly relativistic ($\Gamma=6.81^{+1.06}_{-1.15}$) and confined ($\phi=0.45^{+0.13}_{-0.11}$ deg) jet, which is carrying a significant amount of power away from the system (equivalent to $\sim0.6 \, L_{1-100{\rm keV}}$). We additionally place constraints on the jet composition and magnetic field strength in the innermost jet base region. Overall, this work demonstrates that time-domain analysis is a powerful diagnostic tool for probing jet physics, where we can accurately measure jet properties with time-domain measurements alone.


title: Do Bots Modify the Workflow of GitHub Teams?

abstract: The ever-increasing complexity of modern software engineering projects makes the usage of automated assistants imperative. Bots can be used to complete repetitive tasks during development and testing, as well as promoting communication between team members through issue reporting and documentation. Although the ultimate aim of these automated assistants is to speed taskwork completion, their inclusion into GitHub repositories may affect teamwork as well. This paper studies the question of how bots modify the team workflow. We examined the event sequences of repositories with bots and without bots using a contrast motif discovery method to detect subsequences that are more prevalent in one set of event sequences vs. the other. Our study reveals that teams with bots are more likely to intersperse comments throughout their coding activities, while not actually being more prolific commenters.


title: Quantum Pseudorandomness and Classical Complexity

abstract: We construct a quantum oracle relative to which $\mathsf{BQP} = \mathsf{QMA}$ but cryptographic pseudorandom quantum states and pseudorandom unitary transformations exist, a counterintuitive result in light of the fact that pseudorandom states can be "broken" by quantum Merlin-Arthur adversaries. We explain how this nuance arises as the result of a distinction between algorithms that operate on quantum and classical inputs. On the other hand, we show that some computational complexity assumption is needed to construct pseudorandom states, by proving that pseudorandom states do not exist if $\mathsf{BQP} = \mathsf{PP}$. We discuss implications of these results for cryptography, complexity theory, and quantum tomography.


title: Scalable universal tunable virtual-wavevector spatial frequency shift (TVSFS) super-resolution imaging

abstract: Developing a chip-based super-resolution imaging technique with large field-of-view (FOV), deep subwavelength resolution, and compatibility for both fluorescent and non-fluorescent samples is desired for material science, biomedicine, and life researches, etc. Previous on-chip super-resolution methods focus on either fluorescent or non-fluorescent imaging, putting an urgent requirement on the general imaging technique compatible with both of them. Here, we introduce a universal super-resolution imaging method based on tunable virtual-wavevector spatial frequency shift (TVSFS), realizing both labeled and label-free super-resolution imaging on a single delicately fabricated scalable photonic chip. Theoretically, with TVSFS, the diffraction limit of a linear optical system can be overcome, and the resolution can be improved more than three times, which is the limitation for most super-resolution imaging based on spatial frequency engineering. Diffractive units were fabricated on the chip's surface to provide a wavevector-variable evanescent wave illumination and induce tunable deep SFS in the samples' Fourier space. A resolution of {\lambda}/4.7 for the label-free sample and {\lambda}/7.1 for the labeled sample with a large FOV could be achieved with a CMOS-compatible process on a GaP chip. The large FOV, high-compatibility, and high-integration TVSFS chip may advance the fields like cell engineering, precision inspection in the industry, chemical research, etc.


title: Effect of spin-orbit coupling on the high harmonics from the topological Dirac semimetal Na3Bi

abstract: In this work, we performed extensive first-principles simulations of high-harmonic generation in the topological Diract semimetal Na3Bi using a time-dependent density functional theory framework, focusing on the effect of spin-orbit coupling (SOC) on the harmonic response. We also derived a general analytical model describing the microscopic mechanism of strong-field dynamics in presence of spin-orbit coupling, starting from a locally U(1)xSU(2) gauge-invariant Hamiltonian. Our results reveal that SOC: (i) affects the strong-field ionization by modifying the bandstructure of Na3Bi, (ii) modifies the electron velocity, making each spin channel to react differently to the pump laser field, (iii) changes the emission timing of the emitted harmonics. Moreover, we show that the SOC affects the harmonic emission by directly coupling the charge current to the spin currents, paving the way to the high-harmonic spectroscopy of spin currents in solids.


title: Intelligent Reflecting Surface-aided URLLC in a Factory Automation Scenario

abstract: Different from conventional wired line connections, industrial control through wireless transmission is widely regarded as a promising solution due to its reduced cost, increased long-term reliability, and enhanced reliability. However, mission-critical applications impose stringent quality of service (QoS) requirements that entail ultra-reliability low-latency communications (URLLC). The primary feature of URLLC is that the blocklength of channel codes is short, and the conventional Shannon's Capacity is not applicable. In this paper, we consider the URLLC in a factory automation (FA) scenario. Due to densely deployed equipment in FA, wireless signal are easily blocked by the obstacles. To address this issue, we propose to deploy intelligent reflecting surface (IRS) to create an alternative transmission link, which can enhance the transmission reliability. In this paper, we focus on the performance analysis for IRS-aided URLLC-enabled communications in a FA scenario. Both the average data rate (ADR) and the average decoding error probability (ADEP) are derived under finite channel blocklength for seven cases: 1) Rayleigh fading channel; 2) With direct channel link; 3) Nakagami-m fading channel; 4) Imperfect phase alignment; 5) Multiple-IRS case; 6) Rician fading channel; 7) Correlated channels. Extensive numerical results are provided to verify the accuracy of our derived results.


title: A Note on Over- and Under-Representation Among Populations with Normally-Distributed Traits

abstract: In every finite mixture of different normal distributions, there will always be exactly one of those distributions that not only is over-represented in the right tail of the mixture, but even completely overwhelms all other subpopulations in the rightmost tails. This property, although not unique to normal distributions, is not shared by other common continuous centrally-symmetric unimodal distributions such as Laplace, nor even by other bell-shaped distributions such as Cauchy (Lorentz) distributions.


title: Graph Convolutional Network for Swahili News Classification

abstract: This work empirically demonstrates the ability of Text Graph Convolutional Network (Text GCN) to outperform traditional natural language processing benchmarks for the task of semi-supervised Swahili news classification. In particular, we focus our experimentation on the sparsely-labelled semi-supervised context which is representative of the practical constraints facing low-resourced African languages. We follow up on this result by introducing a variant of the Text GCN model which utilises a bag of words embedding rather than a naive one-hot encoding to reduce the memory footprint of Text GCN whilst demonstrating similar predictive performance.


title: Adapted gauge to small mass ratio binary black hole evolutions

abstract: We explore the benefits of adapted gauges to small mass ratio binary black hole evolutions in the moving puncture formulation. We find expressions that approximate the late time behavior of the lapse and shift, $(\alpha_0,\beta_0)$, and use them as initial values for their evolutions. We also use a position and black hole mass dependent damping term, $\eta[\vec{x}_1(t),\vec{x}_2(t),m_1,m_2]$, in the shift evolution, rather than a constant or conformal-factor dependent choice. We have found that this substantially reduces noise generation at the start of the numerical integration and keeps the numerical grid stable around both black holes, allowing for more accuracy with lower resolutions. We test our choices for this gauge in detail in a case study of a binary with a 7:1 mass ratio, and then use 15:1 and 32:1 binaries for a convergence study. Finally, we apply our new gauge to a 64:1 binary and a 128:1 binary to well cover the comparable and small mass ratio regimes.


title: SoWaF: Shuffling of Weights and Feature Maps: A Novel Hardware Intrinsic Attack (HIA) on Convolutional Neural Network (CNN)

abstract: Security of inference phase deployment of Convolutional neural network (CNN) into resource constrained embedded systems (e.g. low end FPGAs) is a growing research area. Using secure practices, third party FPGA designers can be provided with no knowledge of initial and final classification layers. In this work, we demonstrate that hardware intrinsic attack (HIA) in such a "secure" design is still possible. Proposed HIA is inserted inside mathematical operations of individual layers of CNN, which propagates erroneous operations in all the subsequent CNN layers that lead to misclassification. The attack is non-periodic and completely random, hence it becomes difficult to detect. Five different attack scenarios with respect to each CNN layer are designed and evaluated based on the overhead resources and the rate of triggering in comparison to the original implementation. Our results for two CNN architectures show that in all the attack scenarios, additional latency is negligible (<0.61%), increment in DSP, LUT, FF is also less than 2.36%. Three attack scenarios do not require any additional BRAM resources, while in two scenarios BRAM increases, which compensates with the corresponding decrease in FF and LUTs. To the authors' best knowledge this work is the first to address the hardware intrinsic CNN attack with the attacker does not have knowledge of the full CNN.


title: Equilibrium states for the massive Sine-Gordon theory in the Lorentzian signature

abstract: In this paper we investigate the massive Sine-Gordon model in the ultraviolet finite regime in thermal states over the two-dimensional Minkowski spacetime. We combine recently developed methods of perturbative algebraic quantum field theory with techniques developed in the realm of constructive quantum field theory over Euclidean spacetimes to construct the correlation functions of the equilibrium state of the Sine-Gordon theory in the adiabatic limit. First of all, the observables of the Sine-Gordon theory are seen as functionals over the free configurations and are obtained as a suitable combination of the S-matrices of the interaction Lagrangian restricted to compact spacetime regions over the free massive theory. These S-matrices are given as power series in the coupling constant with values in the algebra of fields over the free massive theory. Adapting techniques like conditioning and inverse conditioning to spacetimes with Lorentzian signature, we prove that these power series converge when evaluated on a generic field configuration. The latter observation implies convergence in the strong operator topology in the GNS representations of the considered states. In the second part of the paper, adapting the cluster expansion technique to the Lorentzian case, we prove that the correlation functions of the interacting equilibrium state at finite temperature (KMS state) can be constructed also in the adiabatic limit, where the interaction Lagrangian is supported everywhere in space.


title: K-expectiles clustering

abstract: $K$-means clustering is one of the most widely-used partitioning algorithm in cluster analysis due to its simplicity and computational efficiency. However, $K$-means does not provide an appropriate clustering result when applying to data with non-spherically shaped clusters. We propose a novel partitioning clustering algorithm based on expectiles. The cluster centers are defined as multivariate expectiles and clusters are searched via a greedy algorithm by minimizing the within cluster '$\tau$ -variance'. We suggest two schemes: fixed $\tau$ clustering, and adaptive $\tau$ clustering. Validated by simulation results, this method beats both $K$-means and spectral clustering on data with asymmetric shaped clusters, or clusters with a complicated structure, including asymmetric normal, beta, skewed $t$ and $F$ distributed clusters. Applications of adaptive $\tau$ clustering on crypto-currency (CC) market data are provided. One finds that the expectiles clusters of CC markets show the phenomena of an institutional investors dominated market. The second application is on image segmentation. compared to other center based clustering methods, the adaptive $\tau$ cluster centers of pixel data can better capture and describe the features of an image. The fixed $\tau$ clustering brings more flexibility on segmentation with a decent accuracy.


title: Cross-Task Instance Representation Interactions and Label Dependencies for Joint Information Extraction with Graph Convolutional Networks

abstract: Existing works on information extraction (IE) have mainly solved the four main tasks separately (entity mention recognition, relation extraction, event trigger detection, and argument extraction), thus failing to benefit from inter-dependencies between tasks. This paper presents a novel deep learning model to simultaneously solve the four tasks of IE in a single model (called FourIE). Compared to few prior work on jointly performing four IE tasks, FourIE features two novel contributions to capture inter-dependencies between tasks. First, at the representation level, we introduce an interaction graph between instances of the four tasks that is used to enrich the prediction representation for one instance with those from related instances of other tasks. Second, at the label level, we propose a dependency graph for the information types in the four IE tasks that captures the connections between the types expressed in an input sentence. A new regularization mechanism is introduced to enforce the consistency between the golden and predicted type dependency graphs to improve representation learning. We show that the proposed model achieves the state-of-the-art performance for joint IE on both monolingual and multilingual learning settings with three different languages.


title: Large Enhancement of Ferro-Magnetism under Collective Strong Coupling of YBCO Nanoparticles

abstract: Light-matter strong coupling in the vacuum limit has been shown to enhance material properties over the past decade. Oxide nanoparticles are known to exhibit weak ferromagnetism due to vacancies in the lattice. Here we report the 700-fold enhancement of the ferromagnetism of YBa$_2$Cu$_3$O$_{7-x}$ nanoparticles under cooperative strong coupling at room temperature. The magnetic moment reaches 0.90 $\mu_{\rm B}$/mol, and with such a high value, it competes with YBa$_2$Cu$_3$O$_{7-x}$ superconductivity at low temperature. This strong ferromagnetism at room temperature suggest that strong coupling is a new tool for the development of next generations of magnetic and spintronic nanodevices.


title: Representations for the Bloch type semi-norm of Frechet differentiable mappings

abstract: In this paper we give some results concerning Frechet differentiable mappings between domains in normed spaces with controlled growth. The results are mainly motivated by Pavlovic's equality for the Bloch semi-norm of continuously differentiable mappings in the Bloch class on the unit ball of the Euclidean space as well as the very recent Jocic's generalization of this result.


title: Combinatorial generation via permutation languages. III. Rectangulations

abstract: A generic rectangulation is a partition of a rectangle into finitely many interior-disjoint rectangles, such that no four rectangles meet in a point. In this work we present a versatile algorithmic framework for exhaustively generating a large variety of different classes of generic rectangulations. Our algorithms work under very mild assumptions, and apply to a large number of rectangulation classes known from the literature, such as generic rectangulations, diagonal rectangulations, 1-sided/area-universal, block-aligned rectangulations, and their guillotine variants, including aspect-ratio-universal rectangulations. They also apply to classes of rectangulations that are characterized by avoiding certain patterns, and in this work we initiate a systematic investigation of pattern avoidance in rectangulations. Our generation algorithms are efficient, in some cases even loopless or constant amortized time, i.e., each new rectangulation is generated in constant time in the worst case or on average, respectively. Moreover, the Gray codes we obtain are cyclic, and sometimes provably optimal, in the sense that they correspond to a Hamilton cycle on the skeleton of an underlying polytope. These results are obtained by encoding rectangulations as permutations, and by applying our recently developed permutation language framework.


title: The Philosophy of Quantum Computing

abstract: From the philosopher's perspective, the interest in quantum computation stems primarily from the way that it combines fundamental concepts from two distinct sciences: physics (especially quantum mechanics) and computer science, each long a subject of philosophical speculation and analysis in its own right. Quantum computing combines both of these more traditional areas of inquiry into one wholly new (if not quite independent) science. There are philosophical questions that arise from this merger, and philosophical lessons to be learned. Over the course of this chapter we discuss what I take to be some of the most important.


title: Evolution of Magnetic Interactions in Sb-substituted MnBi2Te4

abstract: The Mn(Bi$_{1-x}$Sb$_x$)$_2$Te$_4$ series is purported to span from antiferromagnetic (AF) topological insulator at x = 0 to a trivial AF insulator at x = 1. Here we report on neutron diffraction and inelastic neutron scattering studies of the magnetic interactions across this series. All compounds measured possess ferromagnetic (FM) triangular layers and we find a crossover from AF to FM interlayer coupling near x = 1 for our samples. The large spin gap at x = 0 closes rapidly and the average FM exchange interactions within the triangular layer increase with Sb substitution. Similar to a previous study of MnBi$_2$Te$_4$, we find severe spectral broadening which increases dramatically across the compositional series. In addition to broadening, we observe an additional sharp magnetic excitation in MnSb$_2$Te$_4$ that may indicate the development of local magnetic modes based on recent reports of antisite disorder between Mn and Sb sublattices. The results suggest that both substitutional and antisite disorder contribute substantially to the magnetism in Mn(Bi$_{1-x}$Sb$_x$)$_2$Te$_4$.


title: On regular systems of finite classical polar spaces

abstract: Let $\cal P$ be a finite classical polar space of rank $d$. An $m$-regular system with respect to $(k - 1)$-dimensional projective spaces of $\cal P$, $1 \le k \le d - 1$, is a set $\cal R$ of generators of $\cal P$ with the property that every $(k - 1)$-dimensional projective space of $\cal P$ lies on exactly $m$ generators of $\cal R$. Regular systems of polar spaces are investigated. Some non-existence results about certain 1-regular systems of polar spaces with low rank are proved and a procedure to obtain $m'$-regular systems from a given $m$-regular system is described. Finally, three different construction methods of regular systems w.r.t. points of various polar spaces are discussed.


title: Current vortices in hexagonal graphene quantum dots

abstract: Newly synthesized nanostructures of graphene appear as a promising breeding ground for new technology. Therefore, it is important to identify the role played by the boundary conditions in their electronic features. In this contribution we use the non-equilibrium Green's function method coupled to tight-binding theory to calculate and compare the current patterns of hexagonal graphene quantum dots, with contacts placed at different edge locations. Our results reveal the formation of current vortices when the symmetry of the contact geometry is in conflict with the symmetries of the quantum dot. The presence of current vortices suggests the use of graphene quantum dots as nanomagnets or magnetic nanosensors.


title: Variational Structures in Cochain Projection Based Variational Discretizations of Lagrangian PDEs

abstract: Compatible discretizations, such as finite element exterior calculus, provide a discretization framework that respect the cohomological structure of the de Rham complex, which can be used to systematically construct stable mixed finite element methods. Multisymplectic variational integrators are a class of geometric numerical integrators for Lagrangian and Hamiltonian field theories, and they yield methods that preserve the multisymplectic structure and momentum-conservation properties of the continuous system. In this paper, we investigate the synthesis of these two approaches, by constructing discretization of the variational principle for Lagrangian field theories utilizing structure-preserving finite element projections. In our investigation, compatible discretization by cochain projections plays a pivotal role in the preservation of the variational structure at the discrete level, allowing the discrete variational structure to essentially be the restriction of the continuum variational structure to a finite-dimensional subspace. The preservation of the variational structure at the discrete level will allow us to construct a discrete Cartan form, which encodes the variational structure of the discrete theory, and subsequently, we utilize the discrete Cartan form to naturally state discrete analogues of Noether's theorem and multisymplecticity, which generalize those introduced in the discrete Lagrangian variational framework by Marsden et al. [29]. We will study both covariant spacetime discretization and canonical spatial semi-discretization, and subsequently relate the two in the case of spacetime tensor product finite element spaces.


title: First Principles Prediction of the Landau Parameter for Fermi Liquids near the Unitarity Limit

abstract: This paper explores the behavior of systems of cold fermions as they approach unitarity above the critical temperature. As we move away from unitarity, by decreasing the scattering length, the dilaton, the Goldstone boson resulting from the spontaneous breaking of Schrodinger symmetry by the Fermi sea, becomes gapped. At energies below this gap, the interaction between quasi-particles will be dominated by local interactions generated by off-shell dilaton exchange. The dilaton mass can, in turn, be related via anomaly matching, to the scattering length and contact parameter within the confines of a systematic expansion. We use this relation to predict the s-wave Landau parameter to be $f=\frac{4\pi a (2\epsilon(p_F)-p_F^2/m_\star)^2 m}{3p_F^4 \tilde{C}(a)}$ where $a$ is the scattering length, $m$ the atomic mass, $m_\star$, the effective mass which can be extracted from heat capacity, and $\tilde {C}(a)$ is the dimensionless contact parameter. The range of validity of this prediction (given in eq.(21)) is determined by the value of contact parameter and Fermi velocity, which depend upon the scattering length. It is expected to be valid in a range above $k_F a \sim 1$, but the actual window will depend upon the values of aforementioned parameters. Given this result for $f$, we predict the compressibility, spin susceptibility and the quasi-particle life-time.

categories: cond-mat.quant-gas hep-ph hep-th nucl-th


title: Technical Debt in the Peer-Review Documentation of R Packages: a rOpenSci Case Study

abstract: Context: Technical Debt is a metaphor used to describe code that is "not quite right." Although TD studies have gained momentum, TD has yet to be studied as thoroughly in non-Object-Oriented (OO) or scientific software such as R. R is a multi-paradigm programming language, whose popularity in data science and statistical applications has amplified in recent years. Due to R's inherent ability to expand through user-contributed packages, several community-led organizations were created to organize and peer-review packages in a concerted effort to increase their quality. Nonetheless, it is well-known that most R users do not have a technical programming background, being from multiple disciplines. Objective: The goal of this study is to investigate TD in the peer-review documentation of R packages led by rOpenSci. Method: We collected over 5000 comments from 157 packages that had been reviewed and approved to be published at rOpenSci. We manually analyzed a sample dataset of these comments posted by package authors, editors of rOpenSci, and reviewers during the review process to investigate the TD types present in these reviews. Results: The findings of our study include (i) a taxonomy of TD derived from our analysis of the peer-reviews (ii) documentation debt as being the most prevalent type of debt (iii) different user roles are concerned with different types of TD. For instance, reviewers tend to report some TD types more than other roles, and the TD types they report are different from those reported by the authors of a package. Conclusion: TD analysis in scientific software or peer-review is almost non-existent. Our study is a pioneer but within the context of R packages. However, our findings can serve as a starting point for replication studies, given our public datasets, to perform similar analyses in other scientific software or to investigate the rationale behind our findings.


title: An Improved Model for the Spectra of Disks of Nova-like Variables

abstract: The spectra arising from the disks of nova-like variables show many of the features seen in stellar atmospheres. They are typically modelled either from an appropriated weighted set of stellar atmospheres or a disk atmosphere with energy is dissipated near the disk plane, with the effective temperature distribution expected from a steady state accretion disk. However these models generally over-predict the depth of the Balmer jump and the slope of the spectrum in the ultraviolet. The problem is likely due to energy dissipation in the disk atmosphere, which produces a flatter vertical temperature profile than is observed in stars. Here, we provide validation for this hypothesis in the form of spectra generated using the stellar atmosphere code TLUSTY using a parametric prescription for energy dissipation as a function of depth and closely match the spectrum of the nova-like IX Vel over the wavelength range 1150-6000 \AA.


title: Geometry and combinatorics via right-angled Artin groups

abstract: We survey the relationship between the combinatorics and geometry of graphs and the algebraic structure of right-angled Artin groups. We concentrate on the defining graph of the right-angled Artin group and on the extension graph associated to the right-angled Artin group. Additionally, we discuss connections to geometric group theory and complexity theory. The final version of this survey will appear in "In the tradition of Thurston, vol.~II", ed.~K.~Ohshika and A.~Papadopoulos.


title: Electron-Nuclear Interactions as a Test of Crystal-Field Parameters for Low Symmetry Systems: Zeeman-Hyperfine Spectroscopy of Ho$^{3+}$ Doped Y$_2$SiO$_5$

abstract: High-resolution Zeeman spectroscopy of electronic-nuclear hyperfine levels of ${^5\mathrm{I}_8}\rightarrow{^5\mathrm{I}_7}$ transitions in Ho$^{3+}$:Y$_2$SiO$_5$ is reported. Crystal-field parameters determined for the two $C_1$ symmetry sites in Er$^{3+}$:Y$_2$SiO$_5$ are successfully used to model the Zeeman-hyperfine data, including the prediction of avoided crossings between hyperfine levels under the influence of an external magnetic field. The two six- and seven-coordinate substitutional sites may be distinguished by comparing the spectra with crystal-field calculations.


title: On Accelerated Methods for Saddle-Point Problems with Composite Structure

abstract: We consider strongly-convex-strongly-concave saddle-point problems with general non-bilinear objective and different condition numbers with respect to the primal and the dual variables. First, we consider such problems with smooth composite terms, one of which having finite-sum structure. For this setting we propose a variance reduction algorithm with complexity estimates superior to the existing bounds in the literature. Second, we consider finite-sum saddle-point problems with composite terms and propose several algorithms depending on the properties of the composite terms. When the composite terms are smooth we obtain better complexity bounds than the ones in the literature, including the bounds of a recently proposed nearly-optimal algorithms which do not consider the composite structure of the problem. If the composite terms are prox-friendly, we propose a variance reduction algorithm that, on the one hand, is accelerated compared to existing variance reduction algorithms and, on the other hand, provides in the composite setting similar complexity bounds to the nearly-optimal algorithm which is designed for non-composite setting. Besides that, our algorithms allow to separate the complexity bounds, i.e. estimate, for each part of the objective separately, the number of oracle calls that is sufficient to achieve a given accuracy. This is important since different parts can have different arithmetic complexity of the oracle, and it is desired to call expensive oracles less often than cheap oracles. The key thing to all these results is our general framework for saddle-point problems, which may be of independent interest. This framework, in turn is based on our proposed Accelerated Meta-Algorithm for composite optimization with probabilistic inexact oracles and probabilistic inexactness in the proximal mapping, which may be of independent interest as well.


title: Compatible Certificateless and Identity-Based Cryptosystems for Heterogeneous IoT

abstract: Certificates ensure the authenticity of users' public keys, however their overhead (e.g., certificate chains) might be too costly for some IoT systems like aerial drones. Certificate-free cryptosystems, like identity-based and certificateless systems, lift the burden of certificates and could be a suitable alternative for such IoTs. However, despite their merits, there is a research gap in achieving compatible identity-based and certificateless systems to allow users from different domains (identity-based or certificateless) to communicate seamlessly. Moreover, more efficient constructions can enable their adoption in resource-limited IoTs. In this work, we propose new identity-based and certificateless cryptosystems that provide such compatibility and efficiency. This feature is beneficial for heterogeneous IoT settings (e.g., commercial aerial drones), where different levels of trust/control is assumed on the trusted third party. Our schemes are more communication efficient than their public key based counterparts, as they do not need certificate processing. Our experimental analysis on both commodity and embedded IoT devices show that, only with the cost of having a larger system public key, our cryptosystems are more computation and communication efficient than their certificate-free counterparts. We prove the security of our schemes (in the random oracle model) and open-source our cryptographic framework for public testing/adoption.


title: Enabling propagation of anisotropic polaritons along forbidden directions via a topological transition

abstract: Recent discoveries of polaritons in van der Waals (vdW) crystals with directional in-plane propagation, ultra-low losses, and broad spectral tunability have opened the door for unprecedented manipulation of the flow of light at the nanoscale. However, despite their extraordinary potential for nano-optics, these unique polaritons also present an important limitation: their directional propagation is intrinsically determined by the crystal structure of the host material, which imposes forbidden directions of propagation and hinders its control. Here, we theoretically predict and experimentally demonstrate that directional polaritons (in-plane hyperbolic phonon polaritons) in a vdW biaxial slab (alpha-phase molybdenum trioxide) can be steered along previously forbidden directions by inducing an optical topological transition, which naturally emerges when placing the slab on a substrate with a given negative permittivity (4H-SiC). Importantly, due to the low-loss nature of this topological transition, we are able to visualize in real space exotic intermediate polaritonic states between mutually orthogonal hyperbolic regimes, which permit to unveil the unique topological origin of the transition. This work provides new insights into the emergence of low-loss optical topological transitions in vdW crystals, offering a novel route to efficiently steer the flow of energy at the nanoscale.


title: La Baguette Math\'emagique

abstract: If you throw a needle or stick at random onto a floor ruled with parallel lines, such as the cracks between floorboards or tiles, from the proportion of times that the stick lands crossing a crack you can estimate $\pi$; can we get $e$ as well? Yes, we can. All of these aspects have been discussed before, but I haven't seen them discussed in this way: that one can estimate both $\pi$ and $e$ with the same Buffon's needle experiment.


title: Deep Time Series Models for Scarce Data

abstract: Time series data have grown at an explosive rate in numerous domains and have stimulated a surge of time series modeling research. A comprehensive comparison of different time series models, for a considered data analytics task, provides useful guidance on model selection for data analytics practitioners. Data scarcity is a universal issue that occurs in a vast range of data analytics problems, due to the high costs associated with collecting, generating, and labeling data as well as some data quality issues such as missing data. In this paper, we focus on the temporal classification/regression problem that attempts to build a mathematical mapping from multivariate time series inputs to a discrete class label or a real-valued response variable. For this specific problem, we identify two types of scarce data: scarce data with small samples and scarce data with sparsely and irregularly observed time series covariates. Observing that all existing works are incapable of utilizing the sparse time series inputs for proper modeling building, we propose a model called sparse functional multilayer perceptron (SFMLP) for handling the sparsity in the time series covariates. The effectiveness of the proposed SFMLP under each of the two types of data scarcity, in comparison with the conventional deep sequential learning models (e.g., Recurrent Neural Network, and Long Short-Term Memory), is investigated through mathematical arguments and numerical experiments.


title: A Review of First-Passage Theory for the Segerdahl Risk Process and Extensions

abstract: The Segerdahl process (Segerdahl (1955)), characterized by exponential claims and affine drift, has drawn a considerable amount of interest -- see, for example, (Tichy (1984); Avram and Usabel (2008), due to its economic interest (it is the simplest risk process which takes into account the effect of interest rates). It is also the simplest non-Levy, non-diffusion example of a spectrally negative Markov risk model. Note that for both spectrally negative Levy and diffusion processes, first passage theories which are based on identifying two basic monotone harmonic functions/martingales have been developped. This means that for these processes many control problems involving dividends, capital injections, etc., may be solved explicitly once the two basic functions have been obtained. Furthermore, extensions to general spectrally negative Markov processes are possible (Landriault et al. (2017), Avram et al. (2018); Avram and Goreac (2019); Avram et al. (2019b). Unfortunately, methods for computing the basic functions are still lacking outside the Levy and diffusion classes, with the notable exception of the Segerdahl process, for which the ruin probability has been computed (Paulsen and Gjessing (1997). However, there is a striking lack of numerical results in both cases. This motivated us to review several approaches, with the purpose of drawing attention to connections between them, and underlying open problems.


title: Birational Kleinian groups

abstract: In this paper we initiate the study of birational Kleinian groups, i.e.\ groups of birational transformations of complex projective varieties acting in a free, properly discontinuous and cocompact way on an open set of the variety with respect to the usual topology. We obtain a classification in dimension two.


title: Optimizing Edge Sets in Networks to Produce Ground Truth Communities Based on Modularity

abstract: We consider two new problems regarding the impact of edge addition or removal on the modularity of partitions (or community structures) in a network. The first problem seeks to add edges to enforce that a desired partition is the partition that maximizes modularity. The second problem seeks to find the sparsest representation of a network that has the same partition with maximum modularity as the original network. We present integer programming formulations, a row generation algorithm, and heuristic algorithms to solve these problems. Further, we demonstrate a counter-intuitive behavior of modularity that makes the development of heuristics for general networks difficult. We then present results on a selection of social and illicit networks from the literature.


title: Order-of-Magnitude Beam Current Improvement in Compact Cyclotrons

abstract: There is great need for high intensity proton beams from compact particle accelerators in particle physics, medical isotope production, and materials- and energy-research. To address this need, we present, for the first time, a design for a compact isochronous cyclotron that will be able to deliver 10 mA of 60 MeV protons - an order of magnitude higher than on-market compact cyclotrons and a factor four higher than research machines. A key breakthrough is that vortex motion is incorporated in the design of a cyclotron, leading to clean extraction. Beam losses on the septa of the electrostatic extraction channels stay below 50 W (a factor four below the required safety limit), while maintaining good beam quality. We present a set of highly accurate particle-in-cell simulations, and an uncertainty quantification of select beam input parameters using machine learning, showing the robustness of the design. This design can be utilized for beams for experiments in particle and nuclear physics, materials science and medical physics as well as for industrial applications.


title: Passive frustrated nanomagnet reservoir computing

abstract: Reservoir computing (RC) has received recent interest because reservoir weights do not need to be trained, enabling extremely low-resource consumption implementations, which could have a transformative impact on edge computing and in-situ learning where resources are severely constrained. Ideally, a natural hardware reservoir should be passive, minimal, expressive, and feasible; to date, proposed hardware reservoirs have had difficulty meeting all of these criteria. We therefore propose a reservoir that meets all of these criteria by leveraging the passive interactions of dipole-coupled, frustrated nanomagnets. The frustration significantly increases the number of stable reservoir states, enriching reservoir dynamics, and as such these frustrated nanomagnets fulfill all of the criteria for a natural hardware reservoir. We likewise propose a complete frustrated nanomagnet reservoir computing (NMRC) system with low-power complementary metal-oxide semiconductor (CMOS) circuitry to interface with the reservoir, and initial experimental results demonstrate the reservoir's feasibility. The reservoir is verified with micromagnetic simulations on three separate tasks demonstrating expressivity. The proposed system is compared with a CMOS echo-state-network (ESN), demonstrating an overall resource decrease by a factor of over 10,000,000, demonstrating that because NMRC is naturally passive and minimal it has the potential to be extremely resource efficient.


title: Digital Peter: Dataset, Competition and Handwriting Recognition Methods

abstract: This paper presents a new dataset of Peter the Great's manuscripts and describes a segmentation procedure that converts initial images of documents into the lines. The new dataset may be useful for researchers to train handwriting text recognition models as a benchmark for comparing different models. It consists of 9 694 images and text files corresponding to lines in historical documents. The open machine learning competition Digital Peter was held based on the considered dataset. The baseline solution for this competition as well as more advanced methods on handwritten text recognition are described in the article. Full dataset and all code are publicly available.


title: Generation of Realistic Cloud Access Times for Mobile Application Testing using Transfer Learning

abstract: The network Quality of Service (QoS) metrics such as the access time, the bandwidth, and the packet loss play an important role in determining the Quality of Experience (QoE) of mobile applications. Various factors like the Radio Resource Control (RRC) states, the Mobile Network Operator (MNO) specific retransmission configurations, handovers triggered by the user mobility, the network load, etc. can cause high variability in these QoS metrics on 4G/LTE, and WiFi networks, which can be detrimental to the application QoE. Therefore, exposing the mobile application to realistic network QoS metrics is critical for a tester attempting to predict its QoE. A viable approach is testing using synthetic traces. The main challenge in the generation of realistic synthetic traces is the diversity of environments and the lack of wide scope of real traces to calibrate the generators. In this paper, we describe a measurement-driven methodology based on transfer learning with Long Short Term Memory (LSTM) neural nets to solve this problem. The methodology requires a relatively short sample of the targeted environment to adapt the presented basic model to new environments, thus simplifying synthetic traces generation. We present this feature for realistic WiFi and LTE cloud access time models adapted for diverse target environments with a trace size of just 6000 samples measured over a few tens of minutes. We demonstrate that synthetic traces generated from these models are capable of accurately reproducing application QoE metric distributions including their outlier values.


title: First steps into the world of systolic inequalities: From Riemannian to symplectic geometry

abstract: Our aim is to give a friendly introduction for students to systolic inequalities. We will stress the relationships between the classical formulation for Riemannian metrics and more recent developments related to symplectic measurements and the Viterbo conjecture. This will give us a perfect excuse to introduce the reader to some important ideas in Riemannian and symplectic geometry.


title: A new practical framework for the stability analysis of perturbed saddle-point problems and applications

abstract: In this paper we prove a new abstract stability result for perturbed saddle-point problems based on a norm fitting technique. We derive the stability condition according to Babuska's theory from a small inf-sup condition, similar to the famous Ladyzhenskaya-Babuska-Brezzi (LBB) condition, and the other standard assumptions in Brezzi's theory, in a combined abstract norm. The construction suggests to form the latter from individual fitted norms that are composed from proper seminorms. This abstract framework not only allows for simpler (shorter) proofs of many stability results but also guides the design of parameter-robust norm-equivalent preconditioners. These benefits are demonstrated on mixed variational formulations of generalized Poisson, Stokes, vector Laplace and Biot's equations.


title: Heat fluctuations in a harmonic chain of active particles

abstract: One of the major challenges in stochastic thermodynamics is to compute the distributions of stochastic observables for small-scale systems for which fluctuations play a significant role. Hitherto much theoretical and experimental research has focused on systems composed of passive Brownian particles. In this paper, we study the heat fluctuations in a system of interacting active particles. Specifically we consider a one-dimensional harmonic chain of $N$ active Ornstein-Uhlenbeck particles, with the chain ends connected to heat baths of different temperatures. We compute the moment-generating function for the heat flow in the steady state. We employ our general framework to explicitly compute the moment-generating function for two example single-particle systems. Further, we analytically obtain the scaled cumulants for the heat flow for the chain. Numerical Langevin simulations confirm the long-time analytical expressions for first and second cumulants for the heat flow for a two-particle chain.


title: Starshade Exoplanet Data Challenge

abstract: Starshade in formation flight with a space telescope is a rapidly maturing technology that would enable imaging and spectral characterization of small planets orbiting nearby stars in the not-too-distant future. While performance models of the starshade-assisted exoplanet imaging have been developed and used to design future missions, their results have not been verified from the analyses of synthetic images. Following a rich history of using community data challenges to evaluate image-processing capabilities in astronomy and exoplanet fields, the Starshade Technology Development to TRL5 (S5), a focused technology development activity managed by the NASA Exoplanet Exploration Program, is organizing and implementing a starshade exoplanet data challenge. The purpose of the data challenge is to validate the flow down of requirements from science to key instrument performance parameters and to quantify the required accuracy of noisy background calibration with synthetic images. This data challenge distinguishes itself from past efforts in the exoplanet field in that (1) it focuses on the detection and spectral characterization of small planets in the habitable zones of nearby stars, and (2) it develops synthetic images that simultaneously include multiple background noise terms -- some specific to starshade observations -- including residual starlight, solar glint, exozodiacal light, detector noise, as well as variability resulting from starshade's motion and telescope jitter. In this paper, we provide an overview of the design and rationale of the data challenge. Working with data challenge participants, we expect to achieve improved understanding of the noise budget and background calibration in starshade-assisted exoplanet observations in the context of both Starshade Rendezvous with Roman and HabEx.


title: Towards physically consistent data-driven weather forecasting: Integrating data assimilation with equivariance-preserving deep spatial transformers

abstract: There is growing interest in data-driven weather prediction (DDWP), for example using convolutional neural networks such as U-NETs that are trained on data from models or reanalysis. Here, we propose 3 components to integrate with commonly used DDWP models in order to improve their physical consistency and forecast accuracy. These components are 1) a deep spatial transformer added to the latent space of the U-NETs to preserve a property called equivariance, which is related to correctly capturing rotations and scalings of features in spatio-temporal data, 2) a data-assimilation (DA) algorithm to ingest noisy observations and improve the initial conditions for next forecasts, and 3) a multi-time-step algorithm, which combines forecasts from DDWP models with different time steps through DA, improving the accuracy of forecasts at short intervals. To show the benefit/feasibility of each component, we use geopotential height at 500~hPa (Z500) from ERA5 reanalysis and examine the short-term forecast accuracy of specific setups of the DDWP framework. Results show that the equivariance-preserving networks (U-STNs) clearly outperform the U-NETs, for example improving the forecast skill by $45\%$. Using a sigma-point ensemble Kalman (SPEnKF) algorithm for DA and U-STN as the forward model, we show that stable, accurate DA cycles are achieved even with high observation noise. The DDWP+DA framework substantially benefits from large ($O(1000)$) ensembles that are inexpensively generated with the data-driven forward model in each DA cycle. The multi-time-step DDWP+DA framework also shows promises, e.g., it reduces the average error by factors of 2-3.

categories: physics.ao-ph cs.AI cs.LG physics.comp-ph


title: The double-faced electrostatic behavior of PNIPAm microgels

abstract: PNIPAm microgels synthesized via free radical polymerization (FRP) are often considered as neutral colloids in aqueous media, although it is well known, since the pioneering work of Pelton and coworkers [Langmuir 1989, 5, 816-818], that the vanishing electrophoretic mobility characterizing swollen microgels largely increases above the lower critical solution temperature (LCST) of PNIPAm, at which microgels partially collapse. The presence of an electric charge has been attributed to the ionic initiators that are employed when FRP is performed in water and that stay anchored to microgel particles. Combining dynamic light scattering (DLS), electrophoresis, transmission electron microscopy (TEM) and atomic force microscopy (AFM) experiments, we show that collapsed ionic PNIPAm microgels undergo large mobility reversal and reentrant condensation when they are co-suspended with oppositely charged polyelectrolytes (PE) or nanoparticles (NP), while their stability remains unaffected by PE or NP addition at lower temperatures, where microgels are swollen and their charge density is low. Our results highlight a somehow double-faced electrostatic behavior of PNIPAm microgels due to their tunable charge density: they behave as quasi-neutral colloids at temperature below LCST, while they strongly interact with oppositely charged species when they are in their collapsed state. The very similar phenomenology encountered when microgels are surrounded by polylysine chains and silica nanoparticles points to the general character of this twofold behavior of PNIPAm-based colloids in water.


title: On Linear Solution of "Cherry Pickup II". Max Weight of Two Disjoint Paths in Node-Weighted Gridlike DAG

abstract: "Minimum Falling Path Sum" (MFPS) is classic question in programming - "Given a grid of size $N{\times}N$ with integers in cells, return the minimum sum of a falling path through grid. A falling path starts at any cell in the first row and ends in last row, with the rule of motion - the next element after the cell $(i,j)$ is one of the cells $(i+1,j-1),(i+1,j)$ and $(i+1,j+1)$". This problem has linear solution (LS) (i.e. O($N^2$)) using dynamic programming method (DPM). There is an Multi-Agent version of MFPS called "Cherry Pickup II" (CP2). CP2 is a search for the maximum sum of 2 falling paths started from top corners, where each covered cell summed up one time. All known fast solutions of CP2 uses DPM, but have O($N^3$) time complexity on grid $N{\times}N$. Here we offer a LS of CP2 (also using DPM) as finding maximum total weight of 2 vertex-disjoint paths. Also, we extend this LS for some extended version of CP2 with wider motion rules.


title: Prototyping Autonomous Robotic Networks on Different Layers of RAMI 4.0 with Digital Twins

abstract: In this decade, the amount of (industrial) Internet of Things devices will increase tremendously. Today, there exist no common standards for interconnection, observation, or the monitoring of these devices. In context of the German "Industrie 4.0" strategy the Reference Architectural Model Industry 4.0 (RAMI 4.0) was introduced to connect different aspects of this rapid development. The idea is to let different stakeholders of these products speak and understand the same terminology. In this paper, we present an approach using Digital Twins to prototype different layers along the axis of the RAMI 4.0, by the example of an autonomous ocean observation system developed in the project ARCHES.


title: Technical Report: Scalable Active Information Acquisition for Multi-Robot Systems

abstract: This paper proposes a novel highly scalable non-myopic planning algorithm for multi-robot Active Information Acquisition (AIA) tasks. AIA scenarios include target localization and tracking, active SLAM, surveillance, environmental monitoring and others. The objective is to compute control policies for multiple robots which minimize the accumulated uncertainty of a static hidden state over an a priori unknown horizon. The majority of existing AIA approaches are centralized and, therefore, face scaling challenges. To mitigate this issue, we propose an online algorithm that relies on decomposing the AIA task into local tasks via a dynamic space-partitioning method. The local subtasks are formulated online and require the robots to switch between exploration and active information gathering roles depending on their functionality in the environment. The switching process is tightly integrated with optimizing information gathering giving rise to a hybrid control approach. We show that the proposed decomposition-based algorithm is probabilistically complete for homogeneous sensor teams and under linearity and Gaussian assumptions. We provide extensive simulation results that show that the proposed algorithm can address large-scale estimation tasks that are computationally challenging to solve using existing centralized approaches.


title: How Alfv\'en waves energize the solar wind: heat vs work

abstract: A growing body of evidence suggests that the solar wind is powered to a large extent by an Alfv\'en-wave (AW) energy flux. AWs energize the solar wind via two mechanisms: heating and work. We use high-resolution direct numerical simulations of reflection-driven AW turbulence (RDAWT) in a fast-solar-wind stream emanating from a coronal hole to investigate both mechanisms. In particular, we compute the fraction of the AW power at the coronal base ($P_{\rm AWb}$) that is transferred to solar-wind particles via heating between the coronal base and heliocentric distance $r$, which we denote $\chi_{\rm H}(r)$, and the fraction that is transferred via work, which we denote $\chi_{\rm W}(r)$. We find that $\chi_{\rm W}(r_{\rm A})$ ranges from 0.15 to 0.3, where $r_{\rm A}$ is the Alfv\'en critical point. This value is small compared to~one because the Alfv\'en speed $v_{\rm A} $ exceeds the outflow velocity $U$ at $r<r_{\rm A}$, so the AWs race through the plasma without doing much work. At $r>r_{\rm A}$, where $v_{\rm A} < U$, the AWs are in an approximate sense "stuck to the plasma", which helps them do pressure work as the plasma expands. However, much of the AW power has dissipated by the time the AWs reach $r=r_{\rm A}$, so the total rate at which AWs do work on the plasma at $r>r_{\rm A}$ is a modest fraction of $P_{\rm AWb}$. We find that heating is more effective than work at $r<r_{\rm A}$, with $\chi_{\rm H}(r_{\rm A})$ ranging from 0.5 to 0.7. The reason that $\chi_{\rm H} \geq 0.5$ in our simulations is that an appreciable fraction of the local AW power dissipates within each Alfv\'en-speed scale height in RDAWT, and there are a few Alfv\'en-speed scale heights between the coronal base and $r_{\rm A}$.


title: Extinction of incident hydrogen/air detonation in fine water sprays

abstract: Two-dimensional numerical simulations with Eulerian-Lagrangian method are conducted to study propagation and extinction of stoichiometric hydrogen/air detonations in fine water sprays. Parameterized by water mass loading and initial droplet size, a detonation extinction map is developed. Detonation extinction would occur with larger mass loading and/or smaller droplet size. General features of gas phase and water droplets and local detonation frontal structures are well captured. Numerical soot foils are used to characterize the influence of mass loading and droplet size on the detonation wave. The results also show that the detonation cell size increases with increased mass loading or decreased droplet size. Analysis on unsteady detonation extinction process is performed with the evolutions of detonation frontal structure, spatial distribution of thermochemical variables and interphase transfer rates (mass, energy, and momentum). Moreover, the chemical explosive mode analysis reveals that for stable detonation, thermal runaway dominates behind the Mach stem, while chemical propensities of auto-ignition and thermal runaway appear alternately behind the incident wave. When the induction zone length increases as the reaction front (RF) and shock front (SF) are decoupled, localized burned pockets surrounded by the autoignition chemical explosive mode can be observed. In addition, the interactions between detonation wave and water droplets demonstrate that the energy and momentum transfer have more direct interaction with SF and RF than the mass transfer. The interphase transfer rates increase with the water mass loading. Under the same mass loading, the smaller the droplet size, the larger the interphase transfer rates. However, the size of fine water droplets has a limited influence on the interphase momentum exchange.


title: Convolutional neural network identification of galaxy post-mergers in UNIONS using IllustrisTNG

abstract: The Canada-France Imaging Survey (CFIS) will consist of deep, high-resolution r-band imaging over ~5000 square degrees of the sky, representing a first-rate opportunity to identify recently-merged galaxies. Due to the large number of galaxies in CFIS, we investigate the use of a convolutional neural network (CNN) for automated merger classification. Training samples of post-merger and isolated galaxy images are generated from the IllustrisTNG simulation processed with the observational realism code RealSim. The CNN's overall classification accuracy is 88 percent, remaining stable over a wide range of intrinsic and environmental parameters. We generate a mock galaxy survey from IllustrisTNG in order to explore the expected purity of post-merger samples identified by the CNN. Despite the CNN's good performance in training, the intrinsic rarity of post-mergers leads to a sample that is only ~6 percent pure when the default decision threshold is used. We investigate trade-offs in purity and completeness with a variable decision threshold and find that we recover the statistical distribution of merger-induced star formation rate enhancements. Finally, the performance of the CNN is compared with both traditional automated methods and human classifiers. The CNN is shown to outperform Gini-M20 and asymmetry methods by an order of magnitude in post-merger sample purity on the mock survey data. Although the CNN outperforms the human classifiers on sample completeness, the purity of the post-merger sample identified by humans is frequently higher, indicating that a hybrid approach to classifications may be an effective solution to merger classifications in large surveys.


title: Sharp Constants of Approximation Theory. VI. Weighted Polynomial Inequalities of Different Metrics on the Multidimensional Cube and Ball

abstract: We prove limit equalities between the sharp constants in weighted Nikolskii-type inequalities for multivariate polynomials on an $m$-dimensional cube and ball and the corresponding constants for entire functions of exponential type.


title: Semi-Supervised Learning for Eye Image Segmentation

abstract: Recent advances in appearance-based models have shown improved eye tracking performance in difficult scenarios like occlusion due to eyelashes, eyelids or camera placement, and environmental reflections on the cornea and glasses. The key reason for the improvement is the accurate and robust identification of eye parts (pupil, iris, and sclera regions). The improved accuracy often comes at the cost of labeling an enormous dataset, which is complex and time-consuming. This work presents two semi-supervised learning frameworks to identify eye-parts by taking advantage of unlabeled images where labeled datasets are scarce. With these frameworks, leveraging the domain-specific augmentation and novel spatially varying transformations for image segmentation, we show improved performance on various test cases. For instance, for a model trained on just 48 labeled images, these frameworks achieved an improvement of 0.38% and 0.65% in segmentation performance over the baseline model, which is trained only with the labeled dataset.


title: Purely 1-unrectifiable metric spaces and locally flat Lipschitz functions

abstract: We characterize compact metric spaces whose locally flat Lipschitz functions separate points uniformly as exactly those that are purely 1-unrectifiable, resolving a problem of Weaver. We subsequently use this geometric characterization to answer several questions in Lipschitz analysis. Notably, it follows that the Lipschitz-free space $\mathcal{F}(M)$ over a compact metric space $M$ is a dual space if and only if $M$ is purely 1-unrectifiable. Furthermore, we establish a compact determinacy principle for the Radon-Nikod\'ym property (RNP) and deduce that, for any complete metric space $M$, pure 1-unrectifiability is actually equivalent to some well-known Banach space properties of $\mathcal{F}(M)$ such as the RNP and the Schur property. A direct consequence is that any complete, purely 1-unrectifiable metric space isometrically embeds into a Banach space with the RNP. Finally, we provide a possible solution to a problem of Whitney by finding a rectifiability-based description of 1-critical compact metric spaces, and we use this description to prove the following: a bounded turning tree fails to be 1-critical if and only if each of its subarcs has $\sigma$-finite Hausdorff 1-measure.


title: Asymptotics of Sharp Constants in Markov-Bernstein-Nikolskii type Inequalities with Exponential Weights

abstract: We prove that the sharp constant in the univariate Bernstein--Nikolskii inequality for entire functions of exponential type is the limit of the sharp constant in the V. A. Markov type inequality with an exponential weight for coefficients of an algebraic polynomials of degree n as $n\to\iy$.


title: Metallicity of Galactic RR Lyrae from Optical and Infrared Light Curves: I. Period-Fourier-Metallicity Relations for Fundamental Mode RR Lyrae

abstract: We present newly-calibrated period-$\phi_{31}$-[Fe/H] relations for fundamental mode RR Lyrae stars in the optical and, for the first time, mid-infrared. This work's calibration dataset provides the largest and most comprehensive span of parameter space to date with homogeneous metallicities from $-3<\textrm{[Fe/H]}<0.4$ and accurate Fourier parameters derived from 1980 ASAS-SN ($V$-band) and 1083 WISE (NEOWISE extension, $W1$ and $W2$ bands) RR Lyrae stars with well-sampled light curves. We compare our optical period-$\phi_{31}$-[Fe/H] with those available in the literature and demonstrate that our relation minimizes systematic trends in the lower and higher metallicity range. Moreover, a direct comparison shows that our optical photometric metallicities are consistent with both those from high-resolution spectroscopy and globular clusters, supporting the good performance of our relation. We found an intrinsic scatter in the photometric metallicities (0.41 dex in the $V$-band and 0.50 dex in the infrared) by utilizing large calibration datasets covering a broad metallicity range. This scatter becomes smaller when optical and infrared bands are used together (0.37 dex). Overall, the relations derived in this work have many potential applications, including large-area photometric surveys with JWST in the infrared and LSST in the optical.


title: Variable-Length Sparse Feedback Codes for Point-to-Point, Multiple Access, and Random Access Channels

abstract: This paper investigates variable-length stop-feedback codes for memoryless channels in point-to-point, multiple access, and random access communication scenarios. The proposed codes employ $L$ decoding times $n_1, n_2, \dots, n_L$ for the point-to-point and multiple access channels and $KL + 1$ decoding times for the random access channel with at most $K$ active transmitters. In the point-to-point and multiple access channels, the decoder uses the observed channel outputs to decide whether to decode at each of the allowed decoding times $n_1, \dots, n_L$, at each time telling the encoder whether or not to stop transmitting using a single bit of feedback. In the random access scenario, the decoder estimates the number of active transmitters at time $n_0$ and then chooses among decoding times $n_{k, 1}, \dots, n_{k, L}$ if it believes that there are $k$ active transmitters. In all cases, the choice of allowed decoding times is part of the code design; given fixed value $L$, allowed decoding times are chosen to minimize the expected decoding time for a given codebook size and target average error probability. The number $L$ in each scenario is assumed to be constant even when the blocklength is allowed to grow; the resulting code therefore requires only sparse feedback. The central results are asymptotic approximations of achievable rates as a function of the error probability, the expected decoding time, and the number of decoding times. A converse for variable-length stop-feedback codes with uniformly-spaced decoding times is included for the point-to-point channel.