title: How Secondary School Girls Perceive Computational Thinking Practices through Collaborative Programming with the Micro:bit

abstract: Computational Thinking (CT) has been investigated from different perspectives. This research aims to investigate how secondary school girls perceive CT practices -- the problem-solving practices that students apply while they are engaged in programming -- when using the micro:bit device in a collaborative setting. This study also explores the collaborative programming process of secondary school girls with the micro:bit device. We conducted mixed-methods research with 203 secondary school girls (in the state of Victoria, Australia) and 31 mentors attending a girls-only CT program (OzGirlsCT program). The girls were grouped into 52 teams and collaboratively developed computational solutions around realistic, important problems to them and their communities. We distributed two surveys (with 193 responses each) to the girls. Further, we surveyed the mentors (with 31 responses) who monitored the girls, and collected their observation reports on their teams. Our study indicates that the girls found "debugging" the most difficult type of CT practice to apply, while collaborative practices of CT were the easiest. We found that prior coding experience significantly reduced the difficulty level of only one CT practice - "debugging". Our study also identified six challenges the girls faced and six best practices they adopted when working on their computational solutions.


title: Consider the Alternatives: Navigating Fairness-Accuracy Tradeoffs via Disqualification

abstract: In many machine learning settings there is an inherent tension between fairness and accuracy desiderata. How should one proceed in light of such trade-offs? In this work we introduce and study $\gamma$-disqualification, a new framework for reasoning about fairness-accuracy tradeoffs w.r.t a benchmark class $H$ in the context of supervised learning. Our requirement stipulates that a classifier should be disqualified if it is possible to improve its fairness by switching to another classifier from $H$ without paying "too much" in accuracy. The notion of "too much" is quantified via a parameter $\gamma$ that serves as a vehicle for specifying acceptable tradeoffs between accuracy and fairness, in a way that is independent from the specific metrics used to quantify fairness and accuracy in a given task. Towards this objective, we establish principled translations between units of accuracy and units of (un)fairness for different accuracy measures. We show $\gamma$-disqualification can be used to easily compare different learning strategies in terms of how they trade-off fairness and accuracy, and we give an efficient reduction from the problem of finding the optimal classifier that satisfies our requirement to the problem of approximating the Pareto frontier of $H$.


title: Asymmetric scattering of mirror symmetric radiation from nanostructures coupled to chiral films

abstract: The interaction of radiation with chiral molecular films is not macroscopically invariant under mirror reflections and, accordingly, chiroptical effects exist which affect the spatial symmetry of the radiation profile and which nearly exclusively show up in the near-field due to the large molecule-wavelength size mismatch. Here we prove that the scattering of a mirror symmetric pair of plane waves by a nanowire lying on a chiral nanofilm is not mirror symmetric with an angular dissymmetry factor that can be as large as some tenths. Due to evanescent coupling, the nanowire efficiently experiences molecular chirality which produces a spatially asymmetric near-field so that the self-consistent unbalanced excitation of nanowire photonic modes with opposite angular momenta yields asymmetric far-field interference. In addition to enriching the physical understaning of mirror symmetry breaking in chiral nanophotonics, our results could suggest ultra-efficient schemes for enantiomeric discrimination which is essential in biological chemistry and pharmacology.


title: On the role of turbulent large-scale streaks in generating sediment ridges

abstract: The role of turbulent large-scale streaks in forming subaqueous sediment ridges on an initially flat sediment bed is investigated with the aid of particle-resolved direct numerical simulations of open channel flow at bulk Reynolds numbers up to 9500. The regular arrangement of quasi-streamwise ridges and troughs at a characteristic spanwise spacing between 1 and 1.5 times the mean fluid height is found to be a consequence of the preferential spanwise organization of turbulence in large-scale streamwise velocity streaks. Sediment ridges predominantly appear in regions of weaker erosion below large-scale low-speed streaks and vice versa for troughs. The interaction between the dynamics of the large-scale streaks in the bulk flow and the evolution of sediment ridges on the sediment bed is best described as a `top-down' process, as the arrangement of the sediment bedforms is seen to adapt to changes in the outer flow with a time delay of several bulk time units. The observed `top-down' interaction between the outer flow and the bed agrees fairly well with the conceptual model on causality in canonical channel flows proposed by Jimenez (J. Fluid Mech., vol. 842, 2018, P1, section 5.6). Mean secondary currents of Prandtl's second kind of comparable intensity and lateral spacing are found over developed sediment ridges and in single-phase smooth-wall channels alike in averages over O(10) bulk time units. This indicates that the secondary flow commonly observed together with sediment ridges is the statistical footprint of the regularly organized large-scale streaks.


title: Calibrated Multiple-Output Quantile Regression with Representation Learning

abstract: We develop a method to generate predictive regions that cover a multivariate response variable with a user-specified probability. Our work is composed of two components. First, we use a deep generative model to learn a representation of the response that has a unimodal distribution. Existing multiple-output quantile regression approaches are effective in such cases, so we apply them on the learned representation, and then transform the solution to the original space of the response. This process results in a flexible and informative region that can have an arbitrary shape, a property that existing methods lack. Second, we propose an extension of conformal prediction to the multivariate response setting that modifies any method to return sets with a pre-specified coverage level. The desired coverage is theoretically guaranteed in the finite-sample case for any distribution. Experiments conducted on both real and synthetic data show that our method constructs regions that are significantly smaller compared to existing techniques.


title: Age of Changed Information: Content-Aware Status Updating in the Internet of Things

abstract: In Internet of Things (IoT), the freshness of status updates is crucial for mission-critical applications. In this regard, it is suggested to quantify the freshness of updates by using Age of Information (AoI) from the receiver's perspective. Specifically, the AoI measures the freshness over time. However, the freshness in the content is neglected. In this paper, we introduce an age-based utility, named as Age of Changed Information (AoCI), which captures both the passage of time and the change of information content. By modeling the underlying physical process as a discrete time Markov chain, we investigate the AoCI in a time-slotted status update system, where a sensor samples the physical process and transmits the update packets to the destination. With the aim of minimizing the weighted sum of the AoCI and the update cost, we formulate an infinite horizon average cost Markov Decision Process. We show that the optimal updating policy has a special structure with respect to the AoCI and identify the condition under which the special structure exists. By exploiting the special structure, we provide a low complexity relative policy iteration algorithm that finds the optimal updating policy. We further investigate the optimal policy for two special cases. In the first case where the state of the physical process transits with equiprobability, we show that optimal policy is of threshold type and derive the closed-form of the optimal threshold. We then study a more generalized periodic Markov model of the physical process in the second case. Lastly, simulation results are laid out to exhibit the performance of the optimal updating policy and its superiority over the zero-wait baseline policy.


title: Global Smoothing for the Davey-Stewartson System on $\mathbb{R}^2$

abstract: In this paper we study the regularity properties of solutions to the Davey-Stewartson system. It is shown that for initial data in a Sobolev space, the nonlinear part of the solution flow resides in a smoother space than the initial data for all times. We also obtain that the Sobolev norm of the nonlinear part of the evolution grows at most polynomially. As an application of the smoothing estimate, we study the long term dynamics of the forced and weakly damped Davey-Stewartson system. In this regard we give a new proof for the existence and smoothness of the global attractors in the energy space.


title: Multi-Feasibility Variable Selection

abstract: This paper is the report of the problem proposed for the !Optimizer 2021 competition, and the solutions of the gold medalist team, i.e., the Panda team. The competition was held in two stages, the research and development stage and a two-week contest stage, consisting of five rounds, and seven teams succeeded in finishing both stages to the end. In this joint report of the winner team Panda and the problem design committee coordinated by Mojtaba Tefagh, we first explain each of the five rounds and then provide the solutions proposed by our team (Panda) to fulfill the required tasks in the fastest and most accurate way. Afterward, some preprocessing and data manipulating ideas used to enhance the algorithms would be presented. All codes are written in the Julia language, which showed a better performance than Python on optimization problems in our comparisons during the R&D stage, and are publicly available in the Github repository: https://github.com/Optimizer-Competition-Panda


title: Book embeddings of graphs and a theorem of Whitney

abstract: It is shown that the number of pages required for a book embedding of a graph is the maximum of the numbers needed for any of the maximal nonseparable subgraphs and that a plane graph in which every triangle bounds a face has a two-page book embedding. The latter extends a theorem of H. Whitney and gives two-page book embeddings for $X$-trees and square grids.


title: Relation Analysis between Hotel Review Rating Scores and Sentiment Analysis of Reviews by Chinese Tourists Visiting Japan

abstract: In current times, the importance of online hotel review sites has become more and more apparent. Users of these sites reference of reviews strongly influences their purchase behavior and as such, reviews are important to companies and researchers alike. The majority of review sites offer both text reviews and numerical hotel ratings, and both information sources are widely used by researchers as a representation of a customer's sentiment and opinion. However, an opinion is a difficult concept to measure, and as such, depending on the relation these two sources have, it would be apparent whether or not it is safe to consider them equally in research. In this study we utilize an entropy-based Support Vector Machine to classify positive and negative sentiments in hotel reviews from the site Ctrip, then calculating the ratio of positive and negative sentiment in each review and examine their correlation with said review's rating score using Spearman and Kendall Correlation coefficients and Maximal Information Coefficient (MIC).


title: Interatomic Correlations Moments of Atoms in the Two-Dimensional Hexagonal Lattice by Using Morse and Lenard-Jones Potentials

abstract: In this work we investigate the interatomic correlation moments in two-dimensional model of a weakly anharmonic crystal (i.e., not very high temperatures) with hexagonal lattice, using the Correlative Method of Unsymmetrized Self-Consistent Field (CUSF). The numerical results are obtained (and compared) by using the Morse and Lenard-Jones potentials.


title: Study of the reactions $e^+e^-\to\pi^+\pi^-\pi^0\pi^0\pi^0\pi^0$ and $\pi^+\pi^-\pi^0\pi^0\pi^0\eta$ at center-of-mass energies from threshold to 4.5 GeV using initial-state radiation

abstract: We study the processes $e^+e^-\to\pi^+\pi^-\pi^0\pi^0\pi^0\pi^0\gamma$ and $e^+e^-\to\pi^+\pi^-\pi^0\pi^0\pi^0\eta\gamma$ in which an energetic photon is radiated from the initial state. The data were collected with the BaBar detector at the SLAC National Accelerator Laboratory. About 7300 and 870 events, respectively, are selected from a data sample corresponding to an integrated luminosity of 469~$fb^{-1}$. The invariant mass of the hadronic final state defines the effective $e^+e^-$ center-of-mass energy. The center-of-mass energies range from threshold to 4.5~GeV. From the mass spectra, the first ever measurements of the $e^+e^-\to\pi^+\pi^-\pi^0\pi^0\pi^0\pi^0$ and the $e^+e^-\to\pi^+\pi^-\pi^0\pi^0\pi^0\eta$ cross sections are performed. The contributions from $\omega\pi^0\pi^0\pi^0$, $\eta\pi^+\pi^-\pi^0$, $\omega\eta$, and other intermediate states are presented. We observe the $J/\psi$ and $\psi(2S)$ in most of these final states and measure the corresponding branching fractions, many of them for the first time.


title: Dependence of Adhesive Friction on Surface Roughness and Elastic Modulus

abstract: When adhesive elastomeric materials slide over hard rough surfaces at low velocities, there are two primary dissipative mechanisms that control how friction changes with sliding velocity: viscoelastic dissipation and adhesive dissipation. To distinguish the contribution of these dissipative mechanisms we have measured frictional shear stresses for crosslinked polydimethylsiloxane (PDMS) on three different rough surfaces of similar surface chemistry across nearly six decades of sliding velocity. The results show that the observed friction is dominated by adhesive dissipation, rather than viscoelastic dissipation. Prior models for elastomer friction assume that roughness only influences adhesive dissipation via the amount of contact area; by contrast, we find that the roughness-induced oscillations occurring across all length scales from macroscopic to atomic influence the molecular processes governing the adhesive dissipation. While it was previously known that roughness-induced oscillations affected the viscoelastic dissipation; this is the first demonstration that these oscillations also control the behavior of the adhesive component of friction. Finally, while theory predicts that rough friction should be independent of elastic modulus ($E'$), we show that a strong dependence on modulus, with the frictional shear stress scaling as $E'^{1/2}$. When analyzed in this way, data from four different moduli and three different roughnesses collapse onto a universal curve to describe the velocity-dependent friction of soft materials. Taken together, this investigation sheds new light on the adhesive component of friction, and how it depends on the roughness and stiffness of the materials.


title: Recurrent networks improve neural response prediction and provide insights into underlying cortical circuits

abstract: Feedforward CNN models have proven themselves in recent years as state-of-the-art models for predicting single-neuron responses to natural images in early visual cortical neurons. In this paper, we extend these models with recurrent convolutional layers, reflecting the well-known massive recurrence in the cortex, and show robust increases in predictive performance over feedforward models across thousands of hyperparameter combinations in three datasets of macaque V1 and V2 single-neuron responses. We propose the recurrent circuit can be conceptualized as a form of ensemble computing, with each iteration generating more effective feedforward paths of various path lengths to allow a combination of solutions in the final approximation. The statistics of the paths in the ensemble provide insights to the differential performance increases among our recurrent models. We also assess whether the recurrent circuits learned for neural response prediction can be related to cortical circuits. We find that the hidden units in the recurrent circuits of the appropriate models, when trained on long-duration wide-field image presentations, exhibit similar temporal response dynamics and classical contextual modulations as observed in V1 neurons. This work provides insights to the computational rationale of recurrent circuits and suggests that neural response prediction could be useful for characterizing the recurrent neural circuits in the visual cortex.


title: The Helmholtz decomposition of a space of vector fields with bounded mean oscillation in a bounded domain

abstract: We introduce a space of vector fields with bounded mean oscillation whose ``tangential'' and ``normal'' components to the boundary behave differently. We establish its Helmholtz decomposition when the domain is bounded. This substantially extends the authors' earlier result for a half space.


title: Deterministic Algorithms for the Hidden Subgroup Problem

abstract: We consider deterministic algorithms for the well-known hidden subgroup problem ($\mathsf{HSP}$): for a finite group $G$ and a finite set $X$, given a function $f:G \to X$ and the promise that for any $g_1, g_2 \in G, f(g_1) = f(g_2)$ iff $g_1H=g_2H$ for a subgroup $H \le G$, the goal of the decision version is to determine whether $H$ is trivial or not, and the goal of the identification version is to identify $H$. An algorithm for the problem should query $f(g)$ for $g\in G$ at least as possible. Nayak asked whether there exist deterministic algorithms with $O(\sqrt{\frac{|G|}{|H|}})$ query complexity for $\mathsf{HSP}$. We answer this problem by proving the following results, which also extend the main results of Ref. [30], since here the algorithms do not rely on any prior knowledge of $H$. (i)When $G$ is a general finite Abelian group, there exist an algorithm with $O(\sqrt{\frac{|G|}{|H|}})$ queries to decide the triviality of $H$ and an algorithm to identify $H$ with $O(\sqrt{\frac{|G|}{|H|}\log |H|}+\log |H|)$ queries. (ii)In general there is no deterministic algorithm for the identification version of $\mathsf{HSP}$ with query complexity of $O(\sqrt{\frac{|G|}{|H|}})$, since there exists an instance of $\mathsf{HSP}$ that needs $\omega(\sqrt{\frac{|G|}{|H|}})$ queries to identify $H$. $f(x)$ is said to be $\omega(g(x))$ if for every positive constant $C$, there exists a positive constant $N$ such that for $x>N$, $f(x)\ge C\cdot g(x)$, which means $g$ is a strict lower bound for $f$. On the other hand, there exist instances of $\mathsf{HSP}$ with query complexity far smaller than $O(\sqrt{\frac{|G|}{|H|}})$, whose query complexity is $O(\log \frac{|G|}{|H|})$ and even $O(1)$.


title: Artificial intelligence for Sustainable Energy: A Contextual Topic Modeling and Content Analysis

abstract: Parallel to the rising debates over sustainable energy and artificial intelligence solutions, the world is currently discussing the ethics of artificial intelligence and its possible negative effects on society and the environment. In these arguments, sustainable AI is proposed, which aims at advancing the pathway toward sustainability, such as sustainable energy. In this paper, we offered a novel contextual topic modeling combining LDA, BERT, and Clustering. We then combined these computational analyses with content analysis of related scientific publications to identify the main scholarly topics, sub-themes, and cross-topic themes within scientific research on sustainable AI in energy. Our research identified eight dominant topics including sustainable buildings, AI-based DSSs for urban water management, climate artificial intelligence, Agriculture 4, the convergence of AI with IoT, AI-based evaluation of renewable technologies, smart campus and engineering education, and AI-based optimization. We then recommended 14 potential future research strands based on the observed theoretical gaps. Theoretically, this analysis contributes to the existing literature on sustainable AI and sustainable energy, and practically, it intends to act as a general guide for energy engineers and scientists, AI scientists, and social scientists to widen their knowledge of sustainability in AI and energy convergence research.


title: Experimental evidence of plasmarons and effective fine structure constant in electron-doped graphene/h-BN heterostructure

abstract: Electron-electron interaction is fundamental in condensed matter physics and can lead to composite quasiparticles called plasmarons, which strongly renormalize the dispersion and carry information of electron-electron coupling strength as defined by the effective fine structure constant $\alpha_{ee}^*$. Although h-BN with unique dielectric properties has been widely used as an important substrate for graphene, so far there is no experimental report of plasmarons in graphene/h-BN yet. Here, we report direct experimental observation of plasmaron dispersion in graphene/h-BN heterostructures through angle-resolved photoemission spectroscopy (ARPES) measurements upon {\it in situ} electron doping. Characteristic diamond-shaped dispersion is observed near the Dirac cone in both 0$^\circ$ (aligned) and 13.5$^\circ$ (twisted) graphene/h-BN, and the electron-electron interaction strength $\alpha_{ee}^*$ is extracted to be $\alpha_{ee}^*\approx0.9\pm 0.1$, highlighting the important role of electron-electron interaction. Our results suggest graphene/h-BN as an ideal platform for investigating strong electron-electron interaction with weak dielectric screening, and lays fundamental physics for gate-tunable nano-electronics and nano-plasmonics.


title: Virtual Element based formulations for computational materials micro-mechanics and homogenization

abstract: In this thesis, a computational framework for microstructural modelling of transverse behaviour of heterogeneous materials is presented. The context of this research is part of the broad and active field of Computational Micromechanics, which has emerged as an effective tool both to understand the influence of complex microstructures on the macro-mechanical response of engineering materials and to tailor-design innovative materials for specific applications through a proper modification of their microstructure. The computational framework presented in this thesis is based on the Virtual Element Method (VEM), a recently developed numerical technique able to provide robust numerical results even with highly-distorted meshes. The peculiar features of VEM have been exploited to analyse two-dimensional representations of heterogeneous materials microstructures. Ad-hoc polygonal multi-domain meshing strategies have been developed and tested to exploit the discretisation freedom that VEM allows. To further simplify the preprocessing stage of the analysis and reduce the total computational cost, a novel hybrid formulation for analysing multi-domain problems has been developed by combining the Virtual Element Method with the well-known Boundary Element Method (BEM). The hybrid approach has been used to study both composite material transverse behaviour in presence of inclusions with complex geometries and damage and crack propagation in the matrix phase. Numerical results are presented that demonstrate the potential of the developed framework.


title: Characterisation of signal-induced noise in Hamamatsu R11265 Multianode Photomultiplier Tubes

abstract: Signal-induced noise is observed in Hamamatsu R11265 Multianode Photomultiplier Tubes, manifesting up to several microseconds after the single photoelectron response signal and localised in specific anodes. The mean number of noise pulses varies between devices, and shows significant dependence on the applied high-voltage. The characterisation of this noise and the mitigation strategies to perform optimal single-photon counting at 40 MHz, as required by the LHCb Ring-Imaging Cherenkov detectors, are reported.


title: Weak type bounds for rough maximal singular integrals near $L^1$

abstract: In this paper it is shown that for $\Omega\in L\log L(\mathbb{S}^{d-1})$, the rough maximal singular integral operator $T_\Omega^*$ is of weak type $L\log\log L(\mathbb{R}^d)$. Furthermore, for $w\in A_1$ and $\Omega\in L^\infty(\mathbb{S}^{d-1})$, it is shown that $T_\Omega^*$ is of weak type $L\log\log L(w)$ with weight dependence $[w]_{A_1}[w]_{A_{\infty}}\log([w]_{A_{\infty}}+1),$ which is same as the best known constant for the singular integral $T_\Omega$.


title: Communication Models for Reconfigurable Intelligent Surfaces: From Surface Electromagnetics to Wireless Networks Optimization

abstract: A reconfigurable intelligent surface (RIS) is a planar structure that is engineered to dynamically control the electromagnetic waves. In wireless communications, RISs have recently emerged as a promising technology for realizing programmable and reconfigurable wireless propagation environments through nearly passive signal transformations. With the aid of RISs, a wireless environment becomes part of the network design parameters that are subject to optimization. In this tutorial paper, we focus our attention on communication models for RISs. First, we review the communication models that are most often employed in wireless communications and networks for analyzing and optimizing RISs, and elaborate on their advantages and limitations. Then, we concentrate on models for RISs that are based on inhomogeneous sheets of surface impedance, and offer a step-by-step tutorial on formulating electromagnetically-consistent analytical models for optimizing the surface impedance. The differences between local and global designs are discussed and analytically formulated in terms of surface power efficiency and reradiated power flux through the Poynting vector. Finally, with the aid of numerical results, we discuss how approximate global designs can be realized by using locally passive RISs with zero electrical resistance (i.e., inhomogeneous reactance boundaries with no local power amplification), even for large angles of reflection and at high power efficiency.


title: Variations of Broad Emission Lines from periodicity QSOs under the interpretation of supermassive binary black holes with misaligned circumbinary broad line regions

abstract: Quasars with periodic light curves are considered as candidates of supermassive binary black hole (BBH) systems. One way for further confirmations may be searching for other characteristic signatures, such as those in their broad emission lines (BELs), if any, which require a thorough understanding on the response of BELs to the BBH systems. In Ji et al. (2021), we have investigated the response of circumbinary broad line region (BLR) to the central active secondary black hole under the relativistic Doppler boosting (BBH-DB) and intrinsic variation (BBH-IntDB) dominant mechanisms for continuum variation by assuming the middle plane of the BLR aligned with the BBH orbital plane. In this paper, we explore how the BEL profiles vary when the BLR is misaligned from the BBH orbital plane with different offset angles under both the BBH-DB and BBH-IntDB scenarios. Given a fixed inclination angle of the BBH orbital plane viewed in edge-on and similar continuum light curves produced by the two scenarios, increasing offset angles make the initial opening angle of the circumbinary BLR enlarged due to orbital precession caused by the BBH system, especially for clouds in the inner region, which result in Lorentz-like BEL profiles for the BBH-DB model but still Gaussian-like profiles for the BBH-IntDB model at the vertical BLR case. The amplitude of profile variations decrease with increasing offset angles for the BBH-DB scenario, while keep nearly constant for the BBH-IntDB scenario, since the Doppler boosting effect is motion direction preferred but the intrinsic variation is radiated isotropically. If the circumbinary BLR is composed of a coplanar and a vertical components with their number of clouds following the mass ratio of the BBHs, then the bi-BLR features are more significant for the BBH-IntDB model that require larger mass ratio to generate similar continuum variation than the BBH-DB model.


title: Phase diagram in a one-dimensional civil disorder model

abstract: Epstein's model for a civil disorder is an agent-based model that simulates a social protest process where the central authority uses the police force to dissuade it. The interactions of police officers and citizens produce dynamics that do not yet have any analysis from the sociophysics approach. We present numerical simulations to characterize the properties of the one-dimensional civil disorder model on stationary-state. To do this, we consider interactions on a Moore neighborhood and a random neighborhood with two different visions. We introduce a Potts-like energy function and construct the phase diagram using the agent state concentration. We find order-disorder phases and reveal the principle of minimum grievance as the underlying principle of the model's dynamics. Besides, we identify when the system can reach stable or an instability conditions based on the agents' interactions. Finally, we identified the most relevant role of the police based on their capacity to dissuade a protest and their effect on facilitating a stable scenario.


title: AI Back-End as a Service for Learning Switching of Mobile Apps between the Fog and the Cloud

abstract: Given that cloud servers are usually remotely located from the devices of mobile apps, the end-users of the apps can face delays. The Fog has been introduced to augment the apps with machines located at the network edge close to the end-users. However, edge machines are usually resource constrained. Thus, the execution of online data-analytics on edge machines may not be feasible if the time complexity of the data-analytics algorithm is high. To overcome this, multiple instances of the back-end should be deployed on edge and remote machines. In this case, the research question is how the switching of the app among the instances of the back-end can be dynamically decided based on the response time of the service instances. To answer this, we contribute an AI approach that trains machine-learning models of the response time of service instances. Our approach extends a back-end as a service into an AI self-back-end as a service that self-decides at runtime the right edge/remote instance that achieves the lowest response-time. We evaluate the accuracy and the efficiency of our approach by using real-word machine-learning datasets on an existing auction app.


title: Appropriate transient thermal analysis of an absorber plate in flat-plate solar collectors from beginning to end operational conditions

abstract: This work establishes a closed-form analysis for two-dimensional transient heat transfer in an absorber plate based on the thermal wave model when the collector starts to work. The method of separation of variables is employed to determine the exact thermal response during the starting of a solar collector. The thermal field is represented by 2-D thermal contours and 3-D surface plots to provide an accurate prediction compared to the 1-D analysis using the time-lag theory. An influence of Fourier number on the heat flow in the absorber plate is studied for different thermal relaxation times. The present analysis highlights that the magnitude of plate temperature depends significantly on the physical geometry. Differences in two models of heat propagation, viz. classical and thermal wave, in the absorber plate have an alteration in predicted collector performances. The present study also develops another design situation for heat transfer in the absorber plate when the collector shutdowns to the ambient state from its steady condition. Laplace Transform Method (LTM) in combination with the product solution method uses to determine the temperature with the initial condition represented as a steady case. Due to the lagging nature of thermal behavior, a significant difference between the classical and thermal wave models for the propagation of heat was observed, and also this study determines the exact time to be taken to reach the dead state for the complete shutdown of the collector.


title: Subelliptic sharp G\r{a}rding inequality on compact Lie groups

abstract: In this work we establish a subelliptic sharp G\r{a}rding inequality on compact Lie groups for pseudo-differential operators with symbols belonging to global subelliptic H\"ormander classes. In order for the inequality to hold we require the global matrix-valued symbol to satisfy the suitable classical nonnegativity condition in our setting. Our result extends to $\mathscr{S}^m_{\rho,\delta}(G)$-classes, $0\leq \delta<\rho$, the one in [26] about the validity of the sharp G\r{a}rding inequality for the class $\mathscr{S}^m_{1,0}(G)$. We remark that the result we prove here is already new and sharp in the case of the torus.


title: Tiling Rectangles and the Plane using Squares of Integral Sides

abstract: We study the problem of perfect tiling in the plane and exploring the possibility of tiling a rectangle using integral distinct squares. Assume a set of distinguishable squares (or equivalently a set of distinct natural numbers) is given, and one has to decide whether it can tile the plane or a rectangle or not. Previously, it has been proved that tiling the plane is not feasible using a set of odd numbers or an infinite sequence of natural numbers including exactly two odd numbers. The problem is open for different situations in which the number of odd numbers is arbitrary. In addition to providing a solution to this special case, we discuss some open problems to tile the plane and rectangles in this paper.


title: Induction, Popper, and machine learning

abstract: Francis Bacon popularized the idea that science is based on a process of induction by which repeated observations are, in some unspecified way, generalized to theories based on the assumption that the future resembles the past. This idea was criticized by Hume and others as untenable leading to the famous problem of induction. It wasn't until the work of Karl Popper that this problem was solved, by demonstrating that induction is not the basis for science and that the development of scientific knowledge is instead based on the same principles as biological evolution. Today, machine learning is also taught as being rooted in induction from big data. Solomonoff induction implemented in an idealized Bayesian agent (Hutter's AIXI) is widely discussed and touted as a framework for understanding AI algorithms, even though real-world attempts to implement something like AIXI immediately encounter fatal problems. In this paper, we contrast frameworks based on induction with Donald T. Campbell's universal Darwinism. We show that most AI algorithms in use today can be understood as using an evolutionary trial and error process searching over a solution space. In this work we argue that a universal Darwinian framework provides a better foundation for understanding AI systems. Moreover, at a more meta level the process of development of all AI algorithms can be understood under the framework of universal Darwinism.


title: Transfer Learning Approaches for Knowledge Discovery in Grid-based Geo-Spatiotemporal Data

abstract: Extracting and meticulously analyzing geo-spatiotemporal features is crucial to recognize intricate underlying causes of natural events, such as floods. Limited evidence about hidden factors leading to climate change makes it challenging to predict regional water discharge accurately. In addition, the explosive growth in complex geo-spatiotemporal environment data that requires repeated learning by the state-of-the-art neural networks for every new region emphasizes the need for new computationally efficient methods, advanced computational resources, and extensive training on a massive amount of available monitored data. We, therefore, propose HydroDeep, an effectively reusable pretrained model to address this problem of transferring knowledge from one region to another by effectively capturing their intrinsic geo-spatiotemporal variance. Further, we present four transfer learning approaches on HydroDeep for spatiotemporal interpretability that improve Nash-Sutcliffe efficiency by 9% to 108% in new regions with a 95% reduction in time.


title: Mapping Language to Programs using Multiple Reward Components with Inverse Reinforcement Learning

abstract: Mapping natural language instructions to programs that computers can process is a fundamental challenge. Existing approaches focus on likelihood-based training or using reinforcement learning to fine-tune models based on a single reward. In this paper, we pose program generation from language as Inverse Reinforcement Learning. We introduce several interpretable reward components and jointly learn (1) a reward function that linearly combines them, and (2) a policy for program generation. Fine-tuning with our approach achieves significantly better performance than competitive methods using Reinforcement Learning (RL). On the VirtualHome framework, we get improvements of up to 9.0% on the Longest Common Subsequence metric and 14.7% on recall-based metrics over previous work on this framework (Puig et al., 2018). The approach is data-efficient, showing larger gains in performance in the low-data regime. Generated programs are also preferred by human evaluators over an RL-based approach, and rated higher on relevance, completeness, and human-likeness.


title: SHARP: Shielding-Aware Robust Planning for Safe and Efficient Human-Robot Interaction

abstract: Jointly achieving safety and efficiency in human-robot interaction (HRI) settings is a challenging problem, as the robot's planning objectives may be at odds with the human's own intent and expectations. Recent approaches ensure safe robot operation in uncertain environments through a supervisory control scheme, sometimes called "shielding", which overrides the robot's nominal plan with a safety fallback strategy when a safety-critical event is imminent. These reactive "last-resort" strategies (typically in the form of aggressive emergency maneuvers) focus on preserving safety without efficiency considerations; when the nominal planner is unaware of possible safety overrides, shielding can be activated more frequently than necessary, leading to degraded performance. In this work, we propose a new shielding-based planning approach that allows the robot to plan efficiently by explicitly accounting for possible future shielding events. Leveraging recent work on Bayesian human motion prediction, the resulting robot policy proactively balances nominal performance with the risk of high-cost emergency maneuvers triggered by low-probability human behaviors. We formalize Shielding-Aware Robust Planning (SHARP) as a stochastic optimal control problem and propose a computationally efficient framework for finding tractable approximate solutions at runtime. Our method outperforms the shielding-agnostic motion planning baseline (equipped with the same human intent inference scheme) on simulated driving examples with human trajectories taken from the recently released Waymo Open Motion Dataset.


title: A Robust Alternative for Graph Convolutional Neural Networks via Graph Neighborhood Filters

abstract: Graph convolutional neural networks (GCNNs) are popular deep learning architectures that, upon replacing regular convolutions with graph filters (GFs), generalize CNNs to irregular domains. However, classical GFs are prone to numerical errors since they consist of high-order polynomials. This problem is aggravated when several filters are applied in cascade, limiting the practical depth of GCNNs. To tackle this issue, we present the neighborhood graph filters (NGFs), a family of GFs that replaces the powers of the graph shift operator with $k$-hop neighborhood adjacency matrices. NGFs help to alleviate the numerical issues of traditional GFs, allow for the design of deeper GCNNs, and enhance the robustness to errors in the topology of the graph. To illustrate the advantage over traditional GFs in practical applications, we use NGFs in the design of deep neighborhood GCNNs to solve graph signal denoising and node classification problems over both synthetic and real-world data.


title: Improved experimental layout for dipole moment measurements at the LHC

abstract: The electric and magnetic dipole moment of charm and bottom baryons can be measured for the first time by using bent crystal technology at the LHC. The experimental method, proposed in recent years, suffers from limited statistics, which dominates the uncertainty of the measurement. In this work, we present an alternative experimental layout, based on the use of crystal lenses, that improves the trapping efficiency by about a factor 15 (35) for a 2-cm (5-mm) target with respect to the nominal layout, with plain crystal faces. The efficiencies are evaluated taking into account the constraints from the LHC machine, and the technical challenges to realize this novel experimental method are discussed.


title: Repttack: Exploiting Cloud Schedulers to Guide Co-Location Attacks

abstract: Cloud computing paradigms have emerged as a major facility to store and process the massive data produced by various business units, public organizations, Internet-of-Things, and cyber-physical systems. To meet users' performance requirements while maximizing resource utilization to achieve cost-efficiency, cloud administrators leverage schedulers to orchestrate tasks to different physical nodes and allow applications from different users to share the same physical node. On the other hand, micro-architectural attacks can exploit the shared resources to compromise the confidentiality/integrity of a co-located victim application. Since co-location is an essential requirement for micro-architectural attacks, in this work, we investigate whether attackers can exploit the cloud schedulers to satisfy the co-location requirement. Our analysis shows that for cloud schedulers that allow users to submit application requirements, an attacker can carefully select the attacker's application requirements to influence the scheduler to co-locate it with a targeted victim application. We call such attack Replication Attack (Repttack). Our experimental results, in both a simulated cluster environment and a real cluster, show similar trends; a single attack instance can reach up to 50% co-location rate and with only 5 instances the co-location rate can reach up to 80%. Furthermore, we propose and evaluate a mitigation strategy that can help defend against Repttack. We believe that our results highlight the fact that schedulers in multi-user clusters need to be more carefully designed with security in mind, and the process of making scheduling decisions should involve as little user-defined information as possible.


title: Electron mobility in n-doped zinc sulphide

abstract: A study of the mobility of n-doped wurtzite and zincblende ZnS is reported. We have determined nonequilibrium thermodynamic state of the ZnS, driven far away from equilibrium by a strong electric field, in the steady state. The dependence of the mobility (which depends on the nonequilibrium thermodynamic state of the sample) on the electric field strength is derived, which decreases with the strength of electric field. We analyzed the contributions to the mobility arising out of the different channels of electron scattering, namely, the polar optic, deformation, interactions with the phonons, and with ionized impurities. The case of n-ZnS WZ and ZB have been analyzed: as expected the main contribution comes from the polar-optic interactions in this strong-polar semiconductor. The other interactions are in decreasing order, the deformation acoustic and the one due to impurities.


title: Applications of ball spaces theory: fixed point theorems in semimetric spaces and ball convergence

abstract: In the paper we apply some of the results from the theory of ball spaces in the semimetric spaces. This allowed us to obtain some fixed point theorems which we believe to be unknown to this day. We also show the limitations of the ball space approach to this topic. As a byproduct, we obtain the equivalence of some different notions of completness in semimetric spaces where the distance function is $1$-continuous. In the second part of the article, we generalize Caristi-Kirk results for for $b$-metric spaces. Additionally, we obtain characterization of semicompleteness for $1$-continuous $b$-metric space via fixed point theorem analogous to the result of Suzuki. In the epilogue, we introduce the concept of convergence in ball spaces, based on the idea that balls should resemble closed sets in topological sets. We prove several of its properties, compare it with convergence in semimetric spaces and pose several open questions connected with this notion.


title: Generating Picard modular forms by means of invariant theory

abstract: We use the description of the Picard modular surface for discriminant $-3$ as a moduli space of curves of genus $3$ to generate all vector-valued Picard modular forms from bi-covariants for the action of ${GL}_2$ on the space of pairs of binary forms of bidegree $(4,1)$. The universal binary forms of degree $4$ and $1$ correspond to a meromorphic modular form of weight $(4,-2)$ and a holomorphic Eisenstein series of weight $(1,1)$.


title: Onset of Plasmoid Reconnection during Magnetorotational Instability

abstract: The evolution of current sheets in accretion flows undergoing magnetorotational instability (MRI) is examined through two and three dimensional numerical modelling of the resistive MHD equations in global cylindrical geometry. With an initial uniform magnetic field aligned in the vertical ($z$) direction, MRI produces radially extended toroidal (azimuthal) current sheets. In both 2D and 3D when axisymmetric modes dominate, these current sheets attract each other and merge in the poloidal ($rz$) plane, driving magnetic reconnection when the Lundquist number $S > 3 \times 10^2$, making it a possible source of plasmoids (closed magnetic loops) in accretion disks. At high Lundquist numbers in the 2D regime, starting at $S = 5 \times 10^3$, self-consistent MRI-generated current sheets become thin and subject to plasmoid instability, and therefore spontaneous magnetic reconnection. When non-axisymmetric 3D modes dominate, turbulence makes the azimuthal current sheets further unstable, and stretch vertically. Toroidally extended vertical current sheets in the inner region, as well as larger 3D magnetic islands in the outer regions of the disks are also formed. These findings have strong ramifications for astrophysical disks as potential sources of plasmoids that could cause local heating, particle acceleration, and high energy EM radiation.


title: Optimized Graph Based Routing Algorithm for the Angara Interconnect

abstract: JSC NICEVT has developed the Angara high-speed interconnect with 4D torus topology. The Angara interconnect router implements deterministic routing based on the bubble flow control, a direction order routing (DOR) and direction bits rules. The router chip also supports non standard First Step / Last Step for bypassing failed nodes and links, these steps can violate the DOR rule. In the previous work we have proposed an algorithm for generation and analysis of routing tables that guarantees no deadlocks in the Angara interconnect. It is based on a breadth-first search algorithm in a graph and it practically does not take into consideration communication channel load. Also we have never evaluated the influence of routing table generation algorithm on the performance of a real-world Angara based cluster. In this paper we present a routing graph notation that provides a possibility to build routes in the torus topology of the Angara interconnect. We propose a deadlock-free routing algorithm based on a fast single-source shortest path algorithm for the deterministic Angara routing with a single virtual channel. We evaluated the considered routing algorithms on a 32-node Desmos cluster system and benchmarked the proposed algorithm performance improvement of 11.1% for the Alltoall communication pattern and of more than 5% for the FT and IS application kernels.


title: Efficient and passive learning of networked dynamical systems driven by non-white exogenous inputs

abstract: We consider a networked linear dynamical system with $p$ agents/nodes. We study the problem of learning the underlying graph of interactions/dependencies from observations of the nodal trajectories over a time-interval $T$. We present a regularized non-casual consistent estimator for this problem and analyze its sample complexity over two regimes: (a) where the interval $T$ consists of $n$ i.i.d. observation windows of length $T/n$ (restart and record), and (b) where $T$ is one continuous observation window (consecutive). Using the theory of $M$-estimators, we show that the estimator recovers the underlying interactions, in either regime, in a time-interval that is logarithmic in the system size $p$. To the best of our knowledge, this is the first work to analyze the sample complexity of learning linear dynamical systems \emph{driven by unobserved not-white wide-sense stationary (WSS) inputs}.


title: Large-eddy simulations with ClimateMachine: a new open-source code for atmospheric simulations on GPUs and CPUs

abstract: We introduce ClimateMachine, a new open-source atmosphere modeling framework using the Julia language to be performance portable on central processing units (CPUs) and graphics processing units (GPUs). ClimateMachine uses a common framework both for coarser-resolution global simulations and for high-resolution, limited-area large-eddy simulations (LES). Here, we demonstrate the LES configuration of the atmosphere model in canonical benchmark cases and atmospheric flows, using an energy-conserving nodal discontinuous-Galerkin (DG) discretization of the governing equations. Resolution dependence, conservation characteristics and scaling metrics are examined in comparison with existing LES codes. They demonstrate the utility of ClimateMachine as a modelling tool for limited-area LES flow configurations.


title: Hot-Carrier Relaxation in Photoinjected ZnSe

abstract: A theoretical investigation of the excess energy dissipation of highly excited photoinjected carriers in zinc selenide (ZnSe) is presented. The calculations are performed by solving numerically coupled quantum transport equations for the carriers and the optical phonons in order to derive the evolution of their nonequilibrium temperatures, dubbed quasitemperatures (or nonequilibrium temperatures). It is shown that the carrier energy dissipation occurs in a picosecond time scale.


title: SurvTRACE: Transformers for Survival Analysis with Competing Events

abstract: In medicine, survival analysis studies the time duration to events of interest such as mortality. One major challenge is how to deal with multiple competing events (e.g., multiple disease diagnoses). In this work, we propose a transformer-based model that does not make the assumption for the underlying survival distribution and is capable of handling competing events, namely SurvTRACE. We account for the implicit \emph{confounders} in the observational setting in multi-events scenarios, which causes selection bias as the predicted survival probability is influenced by irrelevant factors. To sufficiently utilize the survival data to train transformers from scratch, multiple auxiliary tasks are designed for multi-task learning. The model hence learns a strong shared representation from all these tasks and in turn serves for better survival analysis. We further demonstrate how to inspect the covariate relevance and importance through interpretable attention mechanisms of SurvTRACE, which suffices to great potential in enhancing clinical trial design and new treatment development. Experiments on METABRIC, SUPPORT, and SEER data with 470k patients validate the all-around superiority of our method.


title: Efficiently transforming from values of a function on a sparse grid to basis coefficients

abstract: In many contexts it is necessary to determine coefficients of a basis expansion of a function ${f}\left(x_1, \ldots, x_D\right) $ from values of the function at points on a sparse grid. Knowing the coefficients, one has an interpolant or a surrogate. For example, such coefficients are used in uncertainty quantification. In this chapter, we present an efficient method for computing the coefficients. It uses basis functions that, like the familiar piecewise linear hierarchical functions, are zero at points in previous levels. They are linear combinations of any, e.g. global, nested basis functions $\varphi_{i_k}^{\left(k\right)}\left(x_k\right)$. Most importantly, the transformation from function values to basis coefficients is done, exploiting the nesting, by evaluating sums sequentially. When the number of functions in level $\ell_k$ equals $\ell_k$ (i.e. when the level index is increased by one, only one point (function) is added) and the basis function indices satisfy ${\left\lVert\mathbf{i}-\mathbf{1}\right\lVert_1 \le b}$, the cost of the transformation scales as $\mathcal{O}\left(D \left[\frac{b}{D+1} + 1\right] N_\mathrm{sparse}\right)$, where $N_\mathrm{sparse}$ is the number of points on the sparse grid. We compare the cost of doing the transformation with sequential sums to the cost of other methods in the literature.


title: FairFed: Enabling Group Fairness in Federated Learning

abstract: Training ML models which are fair across different demographic groups is of critical importance due to the increased integration of ML in crucial decision-making scenarios such as healthcare and recruitment. Federated learning has been viewed as a promising solution for collaboratively training machine learning models among multiple parties while maintaining the privacy of their local data. However, federated learning also poses new challenges in mitigating the potential bias against certain populations (e.g., demographic groups), as this typically requires centralized access to the sensitive information (e.g., race, gender) of each datapoint. Motivated by the importance and challenges of group fairness in federated learning, in this work, we propose FairFed, a novel algorithm for fairness-aware aggregation to enhance group fairness in federated learning. Our proposed approach is server-side and agnostic to the applied local debiasing thus allowing for flexible use of different local debiasing methods across clients. We evaluate FairFed empirically versus common baselines for fair ML and federated learning, and demonstrate that it provides fairer models particularly under highly heterogeneous data distributions across clients. We also demonstrate the benefits of FairFed in scenarios involving naturally distributed real-life data collected from different geographical locations or departments within an organization.


title: Self-consistent ring model in protoplanetary disks: temperature dips and substructure formation

abstract: Rings and gaps are ubiquitous in protoplanetary disks. Larger dust grains will concentrate in gaseous rings more compactly due to stronger aerodynamic drag. However, the effects of dust concentration on the ring's thermal structure have not been explored. Using MCRT simulations, we self-consistently construct ring models by iterating the ring's thermal structure, hydrostatic equilibrium, and dust concentration. We set up rings with two dust populations having different settling and radial concentration due to their different sizes. We find two mechanisms that can lead to temperature dips around the ring. When the disk is optically thick, the temperature drops outside the ring, which is the shadowing effect found in previous works adopting a single-dust population in the disk. When the disk is optically thin, a second mechanism due to excess cooling of big grains is found. Big grains cool more efficiently, which leads to a moderate temperature dip within the ring where big dust resides. This dip is close to the center of the ring. Such temperature dip within the ring can lead to particle pile-up outside the ring and feedback to the dust distribution and thermal structure. We couple the MCRT calculations with a 1D dust evolution model and show that the ring evolves to a different shape and may even separate to several rings. Overall, dust concentration within rings has moderate effects on the disk's thermal structure, and self-consistent model is crucial not only for protoplanetary disk observations but also for planetesimal and planet formation studies.


title: A Comparative Study of Sentiment Analysis Using NLP and Different Machine Learning Techniques on US Airline Twitter Data

abstract: Today's business ecosystem has become very competitive. Customer satisfaction has become a major focus for business growth. Business organizations are spending a lot of money and human resources on various strategies to understand and fulfill their customer's needs. But, because of defective manual analysis on multifarious needs of customers, many organizations are failing to achieve customer satisfaction. As a result, they are losing customer's loyalty and spending extra money on marketing. We can solve the problems by implementing Sentiment Analysis. It is a combined technique of Natural Language Processing (NLP) and Machine Learning (ML). Sentiment Analysis is broadly used to extract insights from wider public opinion behind certain topics, products, and services. We can do it from any online available data. In this paper, we have introduced two NLP techniques (Bag-of-Words and TF-IDF) and various ML classification algorithms (Support Vector Machine, Logistic Regression, Multinomial Naive Bayes, Random Forest) to find an effective approach for Sentiment Analysis on a large, imbalanced, and multi-classed dataset. Our best approaches provide 77% accuracy using Support Vector Machine and Logistic Regression with Bag-of-Words technique.


title: Implicit and Explicit Attention for Zero-Shot Learning

abstract: Most of the existing Zero-Shot Learning (ZSL) methods focus on learning a compatibility function between the image representation and class attributes. Few others concentrate on learning image representation combining local and global features. However, the existing approaches still fail to address the bias issue towards the seen classes. In this paper, we propose implicit and explicit attention mechanisms to address the existing bias problem in ZSL models. We formulate the implicit attention mechanism with a self-supervised image angle rotation task, which focuses on specific image features aiding to solve the task. The explicit attention mechanism is composed with the consideration of a multi-headed self-attention mechanism via Vision Transformer model, which learns to map image features to semantic space during the training stage. We conduct comprehensive experiments on three popular benchmarks: AWA2, CUB and SUN. The performance of our proposed attention mechanisms has proved its effectiveness, and has achieved the state-of-the-art harmonic mean on all the three datasets.


title: Exponential Convergence to Non-degenerate Reeb Chords

abstract: Exponential convergence type results are proved for holomorphic curves in the symplectization of a contact manifold $Y$ with boundary on a Legendrian cylinder. The results are proven in all dimensions, and generalize earlier work specific to dimension 3.


title: On Bruhat intervals of small lengths for Weyl groups

abstract: The number of Bruhat intervals in Coxeter groups is finite, and for the first few lengths, the intervals were described up to an isomorphism by A. Hultman using the correspondence between Bruhat intervals and cell decompositions of a 2d sphere and straightforward computations. The main purpose of this paper consists of a description of the intervals in higher dimensions, as the Hultman's geometric method is hard to apply due to rapidly growing with length number of nonisomorphic intervals. We construct an invariant on subintervals in the Bruhat graphs, using their specific properties. This gives us a method of comparing two Bruhat interval, that is faster than the general algorithm for checking if two graphs are isomorphic. This construction is inductive, and thus, can be easily applied for any interval length and Weyl group.


title: Electrical and electromagnetic responses over steel-cased wells

abstract: Electrical and electromagnetic (EM) methods can be diagnostic geophysical imaging tools for monitoring applications, such as carbon capture and storage or hydraulic fracturing. In these settings, it is common that steel-cased wells and other steel infrastructure are present. Grounded source methods, which use electrodes to inject current into the earth are of interest for casing integrity and monitoring applications. Electrostatic, or direct current (DC) resistivity, experiments form the basis of our understanding of the physics of grounded source experiments in terms of charges, currents, and electric fields. Steel-cased wells are highly conductive and although their presence makes numerical modelling more challenging, they can help targets of interest be detected because they channel charges and currents to depth. Time-domain EM experiments use a time-varying transmitter current. Understanding the EM response requires that we consider both galvanic, or DC currents, as well as image currents that are induced in the subsurface. As compared to DC experiments, the physics of EM is more complex because of the multiple current systems, as well as the need to consider magnetic permeability of steel-cased wells. However, EM experiments have the advantage that they can provide a large data set that is sensitive to a target of interest. Ultimately this will increase the potential for being able to extract information about the target.


title: Probabilistic Prediction for Binary Treatment Choice: with focus on personalized medicine

abstract: This paper extends my research applying statistical decision theory to treatment choice with sample data, using maximum regret to evaluate the performance of treatment rules. The specific new contribution is to study as-if optimization using estimates of illness probabilities in clinical choice between surveillance and aggressive treatment. Beyond its specifics, the paper sends a broad message. Statisticians and computer scientists have addressed conditional prediction for decision making in indirect ways, the former applying classical statistical theory and the latter measuring prediction accuracy in test samples. Neither approach is satisfactory. Statistical decision theory provides a coherent, generally applicable methodology.


title: Role of equilibrium fluctuations in light-induced order

abstract: Engineering novel states of matter with light is at the forefront of materials research. An intensely studied direction is to realize broken-symmetry phases that are "hidden" under equilibrium conditions but can be unleashed by an ultrashort laser pulse. Despite a plethora of experimental discoveries, the nature of these orders and how they transiently appear remain unclear. To this end, we investigate a nonequilibrium charge density wave (CDW) in rare-earth tritellurides, which is suppressed in equilibrium but emerges after photoexcitation. Using a pump-pump-probe protocol implemented in ultrafast electron diffraction, we demonstrate that the light-induced CDW consists solely of order parameter fluctuations, which bear striking similarities to critical fluctuations in equilibrium despite differences in the length scale. By calculating the dynamics of CDW fluctuations in a nonperturbative model, we further show that the strength of the light-induced order is governed by the amplitude of equilibrium fluctuations. These findings highlight photoinduced fluctuations as an important ingredient for the emergence of transient orders out of equilibrium. Our results further suggest that materials with strong fluctuations in equilibrium are promising platforms to host "hidden" orders after laser excitation.


title: A Case Study to Reveal if an Area of Interest has a Trend in Ongoing Tweets Using Word and Sentence Embeddings

abstract: In the field of Natural Language Processing, information extraction from texts has been the objective of many researchers for years. Many different techniques have been applied in order to reveal the opinion that a tweet might have, thus understanding the sentiment of the small writing up to 280 characters. Other than figuring out the sentiment of a tweet, a study can also focus on finding the correlation of the tweets with a certain area of interest, which constitutes the purpose of this study. In order to reveal if an area of interest has a trend in ongoing tweets, we have proposed an easily applicable automated methodology in which the Daily Mean Similarity Scores that show the similarity between the daily tweet corpus and the target words representing our area of interest is calculated by using a na\"ive correlation-based technique without training any Machine Learning Model. The Daily Mean Similarity Scores have mainly based on cosine similarity and word/sentence embeddings computed by Multilanguage Universal Sentence Encoder and showed main opinion stream of the tweets with respect to a certain area of interest, which proves that an ongoing trend of a specific subject on Twitter can easily be captured in almost real time by using the proposed methodology in this study. We have also compared the effectiveness of using word versus sentence embeddings while applying our methodology and realized that both give almost the same results, whereas using word embeddings requires less computational time than sentence embeddings, thus being more effective. This paper will start with an introduction followed by the background information about the basics, then continue with the explanation of the proposed methodology and later on finish by interpreting the results and concluding the findings.


title: Superior Gas Sensing Properties of $\beta$-In$_2$Se$_3$: A First-Principles Investigation

abstract: Using first-principles calculations, we report structural and electronic properties of CO, NO$_2$, and NO molecular adsorption on $\beta$-In$_2$Se$_3$ in comparison to a previous study on alpha-phase. Analysis and comparison of adsorption energies and extent of charge transfer indicates $\beta$-In$_2$Se$_3$ to be selective in detecting gas molecules. We found NO molecules acting as charge donor whereas CO and NO2 molecules as charge acceptors, respectively, experiencing physisorption in all cases. Owing to enhanced adsorption, faster desorption and improved selectivity of the gas molecules discussed in detail, we conclude $\beta$-In$_2$Se$_3$ to be a superior gas sensing material ideal for chemoresistive-type gas sensing applications.


title: FSR 1776: a new globular cluster in the Galactic bulge?

abstract: (ABRIDGED) Recent near-IR surveys have uncovered a plethora of new globular cluster (GC) candidates towards the Milky Way bulge. These new candidates need to be confirmed as real GCs and properly characterised. We investigate the physical nature of FSR 1776. This object was originally classified as an intermediate-age open cluster and has recently been re-discovered independently and classified as a GC candidate (Minni 23). Firstly, we aim at confirming its GC nature; secondly we determine its physical parameters. The confirmation of the cluster existence is checked using the radial velocity (RV) distribution of a MUSE data cube centred at FSR 1776. The cluster parameters are derived from isochrone fitting to the RV-cleaned colour-magnitude diagrams (CMDs) from visible and near-infrared photometry. The predicted RV distribution for the FSR 1776 coordinates, considering only contributions from the bulge and disc field stars, is not enough to explain the observed MUSE RV distribution. The extra population (12\% of the sample) is FSR 1776 with an average RV of $-103.7\pm 0.4~{\rm km}\,{\rm s}^{-1}$. The CMDs reveal that it is 10$\pm$1~Gyr old and metal-rich, with [Fe/H]$_{phot}\approx + 0.2\pm$0.2, [Fe/H]$_{spec}=~+0.02\pm0.01~(\sigma~=~0.14$~dex), located at the bulge distance of 7.24$\pm$0.5~kpc with A$_{\rm V}$ $\approx$ 1.1~mag. The mean cluster proper motions are ($\langle\mu_{\alpha}\rangle,\langle\mu_{\delta}\rangle$) $=$ ($-2.3\pm1.1,-2.6\pm0.8$) ${\rm mas\, yr^{-1}}$.} FSR 1776 is an old GC located in the Galactic bulge with a super-solar metallicity, among the highest for a Galactic GC. This is consistent with predictions for the age-metallicity relation of the bulge, being FSR 1776 the probable missing link between typical GCs and the metal-rich bulge field. High-resolution spectroscopy of a larger field of view and deeper CMDs are now required for a full characterisation.


title: BdSL36: A Dataset for Bangladeshi Sign Letters Recognition

abstract: Bangladeshi Sign Language (BdSL) is a commonly used medium of communication for the hearing-impaired people in Bangladesh. A real-time BdSL interpreter with no controlled lab environment has a broad social impact and an interesting avenue of research as well. Also, it is a challenging task due to the variation in different subjects (age, gender, color, etc.), complex features, and similarities of signs and clustered backgrounds. However, the existing dataset for BdSL classification task is mainly built in a lab friendly setup which limits the application of powerful deep learning technology. In this paper, we introduce a dataset named BdSL36 which incorporates background augmentation to make the dataset versatile and contains over four million images belonging to 36 categories. Besides, we annotate about 40,000 images with bounding boxes to utilize the potentiality of object detection algorithms. Furthermore, several intensive experiments are performed to establish the baseline performance of our BdSL36. Moreover, we employ beta testing of our classifiers at the user level to justify the possibilities of real-world application with this dataset. We believe our BdSL36 will expedite future research on practical sign letter classification. We make the datasets and all the pre-trained models available for further researcher.


title: A finiteness theorem for abelian varieties with totally bad reduction

abstract: We show that up to potential isogeny, there are only finitely many abelian varieties of dimension $d$ defined over a number field $K$, such that for any finite place $v$ outside a fixed finite set $S$ of places of $K$ containing the archimedean places, it has either good reduction at $v$, or totally bad reduction at $v$ and good reduction over a quadratic extension of the completion of $K$ at $v$.


title: Feel-Good Thompson Sampling for Contextual Bandits and Reinforcement Learning

abstract: Thompson Sampling has been widely used for contextual bandit problems due to the flexibility of its modeling power. However, a general theory for this class of methods in the frequentist setting is still lacking. In this paper, we present a theoretical analysis of Thompson Sampling, with a focus on frequentist regret bounds. In this setting, we show that the standard Thompson Sampling is not aggressive enough in exploring new actions, leading to suboptimality in some pessimistic situations. A simple modification called Feel-Good Thompson Sampling, which favors high reward models more aggressively than the standard Thompson Sampling, is proposed to remedy this problem. We show that the theoretical framework can be used to derive Bayesian regret bounds for standard Thompson Sampling, and frequentist regret bounds for Feel-Good Thompson Sampling. It is shown that in both cases, we can reduce the bandit regret problem to online least squares regression estimation. For the frequentist analysis, the online least squares regression bound can be directly obtained using online aggregation techniques which have been well studied. The resulting bandit regret bound matches the minimax lower bound in the finite action case. Moreover, the analysis can be generalized to handle a class of linearly embeddable contextual bandit problems (which generalizes the popular linear contextual bandit model). The obtained result again matches the minimax lower bound. Finally we illustrate that the analysis can be extended to handle some MDP problems.


title: Joint analyses of 2D CMB lensing and 3D galaxy clustering in the spherical Fourier-Bessel basis

abstract: Cross-correlating cosmic microwave background (CMB) lensing and galaxy clustering has been shown to greatly improve the constraints on the local primordial non-Gaussianity (PNG) parameter $f_{\rm NL}$ by reducing sample variance and also parameter degeneracies. To model the full use of the 3D information of galaxy clustering, we forecast $f_{\rm NL}$ measurements using the decomposition in the spherical Fourier-Bessel (SFB) basis, which can be naturally cross-correlated with 2D CMB lensing in spherical harmonics. In the meantime, such a decomposition would also enable us to constrain the growth rate of structure, a probe of gravity, through the redshift-space distortion (RSD). As a comparison, we also consider the tomographic spherical harmonic (TSH) analysis of galaxy samples with different bin sizes. Assuming galaxy samples that mimic a few future surveys, we perform Fisher forecasts using linear modes for $f_{\rm NL}$ and the growth rate exponent $\gamma$, marginalized over standard $\Lambda$ cold dark matter ($\Lambda$CDM) cosmological parameters and two nuisance parameters that account for clustering bias and magnification bias. Compared to TSH analysis using only one bin, SFB analysis could improve $\sigma(f_{\rm NL})$ by factors 3 to 12 thanks to large radial modes. With future wide-field and high-redshift photometric surveys like the LSST, the constraint $\sigma(f_{\rm NL}) < 1$ could be achieved using linear angular multipoles up to $\ell_{\rm min}\simeq 20$. Compared to using galaxy auto-power spectra only, joint analyses with CMB lensing could improve $\sigma(\gamma)$ by factors 2 to 5 by reducing degeneracies with other parameters, especially the clustering bias. For future spectroscopic surveys like the DESI or $\textit{Euclid}$, using linear scales, $\gamma$ could be constrained to $3\,\%$ precision assuming the GR fiducial value.


title: Yaglom limit for unimodal L\'{e}vy processes

abstract: We prove universality of the Yaglom limit of Lipschitz cones among all unimodal L\'{e}vy processes sufficiently close to the isotropic $\alpha$-stable L\'{e}vy process.


title: Fast Line Search for Multi-Task Learning

abstract: Multi-task learning is a powerful method for solving several tasks jointly by learning robust representation. Optimization of the multi-task learning model is a more complex task than a single-task due to task conflict. Based on theoretical results, convergence to the optimal point is guaranteed when step size is chosen through line search. But, usually, line search for the step size is not the best choice due to the large computational time overhead. We propose a novel idea for line search algorithms in multi-task learning. The idea is to use latent representation space instead of parameter space for finding step size. We examined this idea with backtracking line search. We compare this fast backtracking algorithm with classical backtracking and gradient methods with a constant learning rate on MNIST, CIFAR-10, Cityscapes tasks. The systematic empirical study showed that the proposed method leads to more accurate and fast solution, than the traditional backtracking approach and keep competitive computational time and performance compared to the constant learning rate method.


title: On Douglas warped product metrics

abstract: We study the new warped metric proposed by P. Marcal and Z. Shen. We obtain the differential equation of such metrics with vanishing Douglas curvature. By solving this equation, we obtain all Douglas warped product metrics. We show that Landsberg and Berwald warped product metrics are equivalent. We classify Douglas Ricci-flat metrics. Examples are included.


title: Incremental Non-Gaussian Inference for SLAM Using Normalizing Flows

abstract: This paper presents normalizing flows for incremental smoothing and mapping (NF-iSAM), a novel algorithm for inferring the full posterior distribution in SLAM problems with nonlinear measurement models and non-Gaussian factors. NF-iSAM exploits the expressive power of neural networks, and trains normalizing flows to model and sample the full posterior. By leveraging the Bayes tree, NF-iSAM enables efficient incremental updates similar to iSAM2, albeit in the more challenging non-Gaussian setting. We demonstrate the advantages of NF-iSAM over state-of-the-art point and distribution estimation algorithms using range-only SLAM problems with data association ambiguity. NF-iSAM presents superior accuracy in describing the posterior beliefs of continuous variables (e.g., position) and discrete variables (e.g., data association).


title: Dissipation in a Finite Temperature Atomic Josephson Junction

abstract: We numerically demonstrate and characterize the emergence of distinct dynamical regimes of a finite temperature bosonic superfluid in an elongated Josephson junction generated by a thin Gaussian barrier over the entire temperature range where a well-formed condensate can be clearly identified. Although the dissipation arising from the coupling of the superfluid to the dynamical thermal cloud increases with increasing temperature as expected, the importance of this mechanism is found to depend on two physical parameters associated (i) with the initial chemical potential difference, compared to some characteristic value, and (ii) the ratio of the thermal energy to the barrier amplitude. The former determines whether the superfluid Josephson dynamics are dominated by gradually damped plasma-like oscillations (for relatively small initial population imbalances), or whether dissipation at early times is instead dominated by vortex- and sound-induced dissipation (for larger initial imbalances). The latter defines the effect of the thermal cloud on the condensate dynamics, with a reversal of roles, i.e. the condensate being driven by the oscillating thermal cloud, being observed when the thermal particles acquire enough energy to overcome the barrier. Our findings are within current experimental reach in ultracold superfluid junctions.


title: Conditions for Advantageous Quantum Bitcoin Mining

abstract: Our aim is to determine conditions for quantum computing technology to give rise to security risks associated with quantum Bitcoin mining. Specifically, we determine the speed and energy efficiency a quantum computer needs to offer an advantage over classical mining. We analyze the setting in which the Bitcoin network is entirely classical except for a single quantum miner who has small hash rate compared to that of the network. We develop a closed-form approximation for the probability that the quantum miner successfully mines a block, with this probability dependent on the number of Grover iterations the quantum miner applies before making a measurement. Next, we show that, for a quantum miner that is "peaceful", this success probability is maximized if the quantum miner applies Grover iterations for 16 minutes before measuring, which is surprising as the network mines blocks every 10 minutes on average. Using this optimal mining procedure, we show that the quantum miner outperforms a classical computer in efficiency (cost per block) if the condition $Q < Crb$ is satisfied, where $Q$ is the cost of a Grover iteration, $C$ is the cost of a classical hash, $r$ is the quantum miner's speed in Grover iterations per second, and $b$ is a factor that attains its maximum if the quantum miner uses our optimal mining procedure. This condition lays the foundation for determining when quantum mining, and the known security risks associated with it, will arise.


title: Traders in a Strange Land: Agent-based discrete-event market simulation of the Figgie card game

abstract: Figgie is a card game that approximates open-outcry commodities trading. We design strategies for Figgie and study their performance and the resulting market behavior. To do this, we develop a flexible agent-based discrete-event market simulation in which agents operating under our strategies can play Figgie. Our simulation builds upon previous work by simulating latencies between agents and the market in a novel and efficient way. The fundamentalist strategy we develop takes advantage of Figgie's unique notion of asset value, and is, on average, the profit-maximizing strategy in all combinations of agent strategies tested. We develop a strategy, the "bottom-feeder", which estimates value by observing orders sent by other agents, and find that it limits the success of fundamentalists. We also find that chartist strategies implemented, including one from the literature, fail by going into feedback loops in the small Figgie market. We further develop a bootstrap method for statistically comparing strategies in a zero-sum game. Our results demonstrate the wide-ranging applicability of agent-based discrete-event simulations in studying markets.


title: Effective grading refinement for locally linearly independent LR B-splines

abstract: We present a new refinement strategy for locally refined B-splines which ensures the local linear independence of the basis functions. The strategy also guarantees the spanning of the full spline space on the underlying locally refined mesh. The resulting mesh has nice grading properties which grant the preservation of shape regularity and local quasi uniformity of the elements in the refining process.


title: Weakly Supervised Attention-based Models Using Activation Maps for Citrus Mite and Insect Pest Classification

abstract: Citrus juices and fruits are commodities with great economic potential in the international market, but productivity losses caused by mites and other pests are still far from being a good mark. Despite the integrated pest mechanical aspect, only a few works on automatic classification have handled images with orange mite characteristics, which means tiny and noisy regions of interest. On the computational side, attention-based models have gained prominence in deep learning research, and, along with weakly supervised learning algorithms, they have improved tasks performed with some label restrictions. In agronomic research of pests and diseases, these techniques can improve classification performance while pointing out the location of mites and insects without specific labels, reducing deep learning development costs related to generating bounding boxes. In this context, this work proposes an attention-based activation map approach developed to improve the classification of tiny regions called Two-Weighted Activation Mapping, which also produces locations using feature map scores learned from class labels. We apply our method in a two-stage network process called Attention-based Multiple Instance Learning Guided by Saliency Maps. We analyze the proposed approach in two challenging datasets, the Citrus Pest Benchmark, which was captured directly in the field using magnifying glasses, and the Insect Pest, a large pest image benchmark. In addition, we evaluate and compare our models with weakly supervised methods, such as Attention-based Deep MIL and WILDCAT. The results show that our classifier is superior to literature methods that use tiny regions in their classification tasks, surpassing them in all scenarios by at least 16 percentage points. Moreover, our approach infers bounding box locations for salient insects, even training without any location labels.


title: Higgs and Goldstone spin-wave modes in striped magnetic texture

abstract: Spontaneous symmetry breaking is ubiquitous in physics. Its spectroscopic signature consists in the softening of a specific mode upon approaching the transition from the high symmetry side and its subsequent splitting into a zero-frequency "Goldstone" mode and a non-zero-frequency "Higgs" mode. Although they determine the whole system dynamics, these features are difficult to address in practice because of their vanishing coupling to most experimental probes and/or their strong interaction with other fluctuations. In this work, we consider a periodic magnetic modulation occurring in a ferromagnetic film with perpendicular-to-plane magnetic anisotropy and directly observe its Goldstone and Higgs spin-wave modes at room temperature using microwave and optical techniques. This simple system constitutes a particularly convenient platform for further exploring the dynamics of symmetry breaking.


title: Quantitative estimate of the overdamped limit for the Vlasov-Fokker-Planck systems

abstract: This note adapts a probabilistic approach to establish a quantified estimate of the overdamped limit for the Vlasov-Fokker-Planck equation towards the aggregation-diffusion equation, which in particular includes cases of the Newtonian type singular forces. The proofs are based on the investigation of the weak convergence of the corresponding stochastic differential equations (SDEs) of Mckean type in the continuous path space. We show that one can obtain the same convergence rate as in [10] under the same assumptions.


title: A Lagged Particle Filter for Stable Filtering of certain High-Dimensional State-Space Models

abstract: We consider the problem of high-dimensional filtering of state-space models (SSMs) at discrete times. This problem is particularly challenging as analytical solutions are typically not available and many numerical approximation methods can have a cost that scales exponentially with the dimension of the hidden state. Inspired by lag-approximation methods for the smoothing problem, we introduce a lagged approximation of the smoothing distribution that is necessarily biased. For certain classes of SSMs, particularly those that forget the initial condition exponentially fast in time, the bias of our approximation is shown to be uniformly controlled in the dimension and exponentially small in time. We develop a sequential Monte Carlo (SMC) method to recursively estimate expectations with respect to our biased filtering distributions. Moreover, we prove for a class of class of SSMs that can contain dependencies amongst coordinates that as the dimension $d\rightarrow\infty$ the cost to achieve a stable mean square error in estimation, for classes of expectations, is of $\mathcal{O}(Nd^2)$ per-unit time, where $N$ is the number of simulated samples in the SMC algorithm. Our methodology is implemented on several challenging high-dimensional examples including the conservative shallow-water model.


title: Analysis of Strongly Non-linear Oscillators by He`s Improved Amplitude-Frequency Formulation

abstract: In this work, we implement a relatively new analytical technique, the Improved Amplitude-Frequency Formulation (IAFF) method, approach for solving accurate approximate analytical solutions for strong nonlinear oscillators, which may contain high nonlinear terms. This method can be used to obtain analytic and approximate solutions of different types of fractional differential equations applied in engineering mathematics. The solutions obtained are compared with those obtained by the Harmonic balance method (HBM) and Exact method, showing excellent agreement. We find that these attained solutions are not only with high degree of accuracy, but also uniformly valid in the whole solution domain which are so simple-to-do and effective.


title: Spindle: Techniques for Optimizing Atomic Multicast on RDMA

abstract: Leveraging one-sided RDMA for applications that replicate small data objects can be surprisingly difficult: such uses amplify any protocol overheads. Spindle is a set of optimization techniques for systematically tackling this class of challenges for atomic multicast over RDMA. These include memory polling optimizations using novel sender and receiver batching techniques, null-message send logic, and improved multi-thread synchronization. We applied Spindle to Derecho, an open-source C++ library for atomic multicast, and obtained significant performance improvements both for the library itself and for an OMG-compliant avionics DDS built over Derecho. Derecho's multicast bandwidth utilization for 10KB messages rose from 1GB/s to 9.7GB/s on a 12.5GB/s network, and it became more robust to delays. Interestingly, although some of our techniques employ batching, latency dropped by nearly two orders of magnitude. Spindle optimizations should also be of value in other RDMA applications limited by the speed of coordination.


title: Relaxation and darkening of excitonic complexes in electrostatically-doped monolayer semiconductors: Roles of exciton-electron and trion-electron interactions

abstract: We present photoluminescence measurements in monolayer WSe$_2$, which point to the importance of the interaction between charged particles and excitonic complexes. The theoretical analysis highlights the key role played by exchange scattering, referring to cases wherein the particle composition of the complex changes after the interaction. For example, exchange scattering renders bright excitonic complexes dark in monolayer WSe$_2$ on accounts of the unique valley-spin configuration in this material. In addition to the ultrafast energy relaxation of hot excitonic complexes following their interaction with electrons or holes, our analysis sheds light on several key features that are commonly seen in the photoluminescence of this monolayer semiconductor. In particular, we can understand why the photoluminescence intensity of the neutral bright exciton is strongest when the monolayer is hole-doped rather than charge neutral or electron-doped. Or the reason for the dramatic increase of the photoluminescence intensity of negatively-charged excitons (trions) as soon as electrons are added to the monolayer. To self-consistently explain the findings, we further study the photoluminescence spectra at different excitation energies and analyze the behavior of the elusive indirect exciton.


title: Promoting Open Science Through Research Data Management

abstract: Data management, which encompasses activities and strategies related to the storage, organization, and description of data and other research materials, helps ensure the usability of datasets -- both for the original research team and for others. When contextualized as part of a research workflow, data management practices can provide an avenue for promoting other practices, including those related to reproducibility and those that fall under the umbrella of open science. Not all research data needs to be shared, but all should be well managed to establish a record of the research process.


title: A Minimal Intervention Definition of Reverse Engineering a Neural Circuit

abstract: In neuroscience, researchers have developed informal notions of what it means to reverse engineer a system, e.g., being able to model or simulate a system in some sense. A recent influential paper of Jonas and Kording, that examines a microprocessor using techniques from neuroscience, suggests that common techniques to understand neural systems are inadequate. Part of the difficulty, as a previous work of Lazebnik noted, lies in lack of formal language. We provide a theoretical framework for defining reverse engineering of computational systems, motivated by the neuroscience context. Of specific interest are recent works where, increasingly, interventions are being made to alter the function of the neural circuitry to both understand the system and treat disorders. Starting from Lazebnik's viewpoint that understanding a system means you can ``fix it'', and motivated by use-cases in neuroscience, we propose the following requirement on reverse engineering: once an agent claims to have reverse-engineered a neural circuit, they subsequently need to be able to: (a) provide a minimal set of interventions to change the input/output (I/O) behavior of the circuit to a desired behavior; (b) arrive at this minimal set of interventions while operating under bounded rationality constraints (e.g., limited memory) to rule out brute-force approaches. Under certain assumptions, we show that this reverse engineering goal falls within the class of undecidable problems. Next, we examine some canonical computational systems and reverse engineering goals (as specified by desired I/O behaviors) where reverse engineering can indeed be performed. Finally, using an exemplar network, the ``reward network'' in the brain, we summarize the state of current neuroscientific understanding, and discuss how computer-science and information-theoretic concepts can inform goals of future neuroscience studies.


title: Quantum Anomalous Hall Effect in Perfectly Compensated Collinear Antiferromagnetic Thin Films

abstract: We show that the quantum anomalous Hall effect almost always occurs in magnetic topological insulator thin films whenever the top and bottom surface layer magnetizations are parallel, independent of the interior layer magnetization configuration. Using this criteria we identify structures that have a quantum anomalous Hall effect even though they have collinear magnetic structures with no net magnetization, and discuss strategies for realizing these interesting magnetic states experimentally.


title: Vision-aided Dynamic Quadrupedal Locomotion on Discrete Terrain using Motion Libraries

abstract: In this paper, we present a framework rooted in control and planning that enables quadrupedal robots to traverse challenging terrains with discrete footholds using visual feedback. Navigating discrete terrain is challenging for quadrupeds because the motion of the robot can be aperiodic, highly dynamic, and blind for the hind legs of the robot. Additionally, the robot needs to reason over both the feasible footholds as well as robot velocity by speeding up and slowing down at different parts of the terrain. We build an offline library of periodic gaits which span two trotting steps on the robot, and switch between different motion primitives to achieve aperiodic motions of different step lengths on an A1 robot. The motion library is used to provide targets to a geometric model predictive controller which controls stance. To incorporate visual feedback, we use terrain mapping tools to build a local height map of the terrain around the robot using RGB and depth cameras, and extract feasible foothold locations around both the front and hind legs of the robot. Our experiments show a Unitree A1 robot navigating multiple unknown, challenging and discrete terrains in the real world.


title: Cyclic Base Ordering of Graphs

abstract: A cyclic base ordering of a connected graph $G$, is a cyclic ordering of $E(G)$ such that every cyclically consecutive $|V(G)|-1$ edges form a spanning tree. In this project, we study cyclic base ordering of various families of graphs, including square of cycles, wheel graphs, generalized wheel graphs and broken wheel graphs, fan and broken fan graphs, prism graphs, and maximal 2-degenerate graphs. We also provide a polynomial time algorithm to verify any giving edge ordering is a cyclic base ordering.


title: Accurate relativistic observables from post-processing light cone catalogues

abstract: We introduce and study a new scheme to construct relativistic observables from post-processing light cone data. This construction is based on a novel approach, LC-Metric, which takes general light cone or snapshot output generated by arbitrary N-body simulations or emulations and solves the linearized Einstein equations to determine the spacetime metric on the light cone. We find that this scheme is able to determine the metric to high precision, and subsequently generate accurate mock cosmological observations sensitive to effects such as post-Born lensing and nonlinear ISW contributions. By comparing to conventional methods in quantifying those general relativistic effects, we show that this scheme is able to accurately construct the lensing convergence signal. We also find the accuracy of this method in quantifying the ISW effects in the highly nonlinear regime outperforms conventional methods by an order of magnitude. This scheme opens a new path for exploring and modeling higher-order and nonlinear general relativistic contributions to cosmological observables, including mock observations of gravitational lensing and the moving lens and Rees-Sciama effects.


title: BRAC+: Improved Behavior Regularized Actor Critic for Offline Reinforcement Learning

abstract: Online interactions with the environment to collect data samples for training a Reinforcement Learning (RL) agent is not always feasible due to economic and safety concerns. The goal of Offline Reinforcement Learning is to address this problem by learning effective policies using previously collected datasets. Standard off-policy RL algorithms are prone to overestimations of the values of out-of-distribution (less explored) actions and are hence unsuitable for Offline RL. Behavior regularization, which constraints the learned policy within the support set of the dataset, has been proposed to tackle the limitations of standard off-policy algorithms. In this paper, we improve the behavior regularized offline reinforcement learning and propose BRAC+. First, we propose quantification of the out-of-distribution actions and conduct comparisons between using Kullback-Leibler divergence versus using Maximum Mean Discrepancy as the regularization protocol. We propose an analytical upper bound on the KL divergence as the behavior regularizer to reduce variance associated with sample based estimations. Second, we mathematically show that the learned Q values can diverge even using behavior regularized policy update under mild assumptions. This leads to large overestimations of the Q values and performance deterioration of the learned policy. To mitigate this issue, we add a gradient penalty term to the policy evaluation objective. By doing so, the Q values are guaranteed to converge. On challenging offline RL benchmarks, BRAC+ outperforms the baseline behavior regularized approaches by 40%~87% and the state-of-the-art approach by 6%.