title: Mapping the 3D Kinematical Structure of the Gas Disk of HD 169142

abstract: The disk around HD 169142 has been suggested to host multiple embedded planets due to the range of structures observed in the dust distributions. We analyze archival ALMA observations of $^{12} \mathrm{CO \ (2-1)}$, $^{13} \mathrm{CO \ (2-1)}$, and $\mathrm{C}^{18} \mathrm{O \ (2-1)}$ to search for large-scale kinematic structures associated with other embedded planets in the outer disk. At 125 au, we identify a coherent flow from the disk surface to the midplane, traced by all three CO isotopologues, and interpret it as a meridional flow, potentially driven by an embedded planet. We use changes in the rotation speed of the gas to characterize the physical structure across this region, finding that at 125 au the CO emission traces regions of increased gas pressure, despite being at a surface density minimum. Developing a simple analytical model, we demonstrate that the physical structure of the gap can have non-trivial responses to changes in the surface density, consistent both with previous thermo-chemical models, and the conditions inferred observationally. Applying this technique to a range of sources will allow us to directly confront theoretical models of gap-opening in protoplanetary disks.


title: The double density spectrum of a topological space

abstract: It is an interesting, maybe surprising, fact that different dense subspaces of even "nice" topological spaces can have different densities. So, our aim here is to investigate the set of densities of all dense subspaces of a topological space $X$ that we call the double density spectrum of $X$ and denote by $dd(X)$. We improve a result of Berner and Juhasz by showing that $dd(X)$ is always $\omega$-closed (i.e. countably closed) if $X$ is Hausdorff. We manage to give complete characterizations of the double density spectra of Hausdorff and of regular spaces as follows. Let $S$ be a non-empty set of infinite cardinals. Then (1) $S = dd(X)$ holds for a Hausdorff space $X$ iff S is $\omega$-closed and $sup S \le 2^{2^{\min S}},$ (2) S = dd(X) holds for a regular space X iff S is $\omega$-closed and $\sup S \le {2^{\min S}}$. We also prove a number of consistency results concerning the double density spectra of compact spaces. For instance: (i) If $\kappa = cf(\kappa)$ embeds in $\mathcal{P}(\omega)/fin$ and $S$ is any set of uncountable regular cardinals $< \kappa$ with $|S| < \min S$, then there is a compactum $C$ such that $\{\omega, \kappa\} \cup S \subset dd(C)$, moreover $\lambda \notin d(C)$ whenever $|S| + \omega < cf(\lambda) < \kappa$ and $cf(\lambda) \notin S$. (ii) It is consistent to have a separable compactum $C$ such that $dd(C)$ is not $\omega_1$-closed.


title: Learning by Examples Based on Multi-level Optimization

abstract: Learning by examples, which learns to solve a new problem by looking into how similar problems are solved, is an effective learning method in human learning. When a student learns a new topic, he/she finds out exemplar topics that are similar to this new topic and studies the exemplar topics to deepen the understanding of the new topic. We aim to investigate whether this powerful learning skill can be borrowed from humans to improve machine learning as well. In this work, we propose a novel learning approach called Learning By Examples (LBE). Our approach automatically retrieves a set of training examples that are similar to query examples and predicts labels for query examples by using class labels of the retrieved examples. We propose a three-level optimization framework to formulate LBE which involves three stages of learning: learning a Siamese network to retrieve similar examples; learning a matching network to make predictions on query examples by leveraging class labels of retrieved similar examples; learning the ``ground-truth'' similarities between training examples by minimizing the validation loss. We develop an efficient algorithm to solve the LBE problem and conduct extensive experiments on various benchmarks where the results demonstrate the effectiveness of our method on both supervised and few-shot learning.


title: Closures and co-closures attached to FCP ring extensions

abstract: The paper deals with ring extensions $R\subseteq S$ and the poset $[R,S]$ of their subextensions, with a special look at FCP extensions (extensions such that $[R,S]$ is Artinian and Noetherian). When the extension has FCP, we show that there exists a co-integral closure, that is a least element $\underline R$ in $[R,S]$ such that $\underline R \subseteq S$ is integral. Replacing the integral property by the integrally closed property, we are able to prove a similar result for an FCP extension. The radicial closure of $R$ in $S$ is well known. We are able to exhibit a suitable separable closure of $R$ in $S$ in case the extension has FCP, and then results are similar to those of field theory. The FCP property being always guaranteed, we discuss when an extension has a co-subintegral or a co-infra-integral closure. Our theory is made easier by using anodal extensions. These (co)-closures exist for example when the extension is catenarian, an interesting special case for the study of distributive extensions to appear in a forthcoming paper.


title: Chiral theory of $\rho$-meson gravitational form factors

abstract: The low-energy chiral effective field theory of vector mesons and Goldstone bosons in external gravitational field is considered. The energy-momentum tensor is obtained and the gravitational form factors of the $\rho$-meson are calculated up to next-to-leading order in the chiral expansion. This amounts to considering tree-level and one-loop order diagrams. The chiral expansion of the form factors at zero momentum transfer as well as of the slope parameters is worked out. Also, the long-range behaviour of the energy and internal force distributions is obtained and analysed.


title: Homological residue fields as comodules over coalgebras

abstract: We explicitly present homological residue fields for tensor triangulated categories as categories of comodules in a number of examples across algebra, geometry, and topology. Our results indicate that, despite their abstract nature, they are very natural objects and encode tangent data at the corresponding point on the spectrum.


title: AGN and Star Formation at Cosmic Noon: Comparison of Data to Theoretical Models

abstract: In theoretical models of galaxy evolution, AGN and star formation (SF) activity are closely linked and AGN feedback is routinely invoked to regulate galaxy growth. In order to constrain such models, we compare the hydrodynamical simulations IllustrisTNG and SIMBA, and the semi-analytical model SAG to the empirical results on AGN and SF at cosmic noon ($0.75 < z < 2.25$) reported in Florez et al. (2020). The empirical results are based on a large mass-complete sample drawn from 93,307 galaxies with and without high X-ray luminosity AGN ($L_X \gtrsim 10^{44}$ erg s$^{-1}$), selected from a 11.8 deg$^2$ area ($\sim 0.18$ Gpc$^3$ comoving volume at $z=0.75-2.25$). The main results of our comparisons are: (i) SAG and IllustrisTNG both qualitatively reproduce the empirical result that galaxies with high X-ray luminosity AGN have higher mean SFR, at a given stellar mass, than galaxies without such AGN. SAG, however, strongly over-produces the number density of high X-ray luminosity AGN by a factor of 10 to 100, while IllustrisTNG shows a lack of high X-ray luminosity AGN at high stellar mass ($M* > 10^{11} \ M_{\odot}$) at $z \sim 2$. (ii) In SIMBA, the mean SFR of galaxies with high X-ray luminosity AGN is lower than the SFR of galaxies without such AGN. Contrary to the data, many high X-ray luminosity AGN in SIMBA have quenched SF, suggesting that AGN feedback, or other feedback modes in galaxies with such AGN, might be too efficient in SIMBA.


title: Cooperativity-Dependent Folding of Single-Stranded DNA

abstract: The folding of biological macromolecules is a fundamental process of which we lack a full comprehension. Mostly studied in proteins and RNA, single-stranded DNA (ssDNA) also folds, at physiological salt conditions, by forming non-specific secondary structures that are difficult to characterize with biophysical techniques. Here we present a helix-coil model for secondary structure formation, where ssDNA bases are organized in two different types of domains (compact and free). The model contains two parameters: the energy gain per base in a compact domain, $\epsilon$, and the cooperativity related to the interfacial energy between different domains, $\gamma$. We tested the ability of the model to quantify the formation of secondary structure in ssDNA molecules mechanically stretched with optical tweezers. The model reproduces the experimental force-extension curves in ssDNA of different molecular lengths and varying sodium and magnesium concentrations. Salt-correction effects for the energy of compact domains and the interfacial energy are found to be compatible with those of DNA hybridization. The model also predicts the folding free energy and the average size of domains at zero force, finding good agreement with secondary structure predictions by Mfold. We envision the model could be further extended to investigate native folding in RNA and proteins.


title: A commercial embedded board as DAQ in nuclear physics

abstract: The aim of this work is to test the capacity of a low cost but powerful device to be used in gamma spectrometry. The IZIRUNF0 [1] is an embedded STM32 board device with an ARM Cortex-M0 microcontroller build in. The possibilities offered by the configuration (direct memory access controller (DMA) acquisition through circular buffer, 12-bit analog to digital converter (ADC), analog watchdog for threshold on ADC, embedded data acquisition, etc.) make it interesting to be used within an autonomous compact particle spectrometry system. Therefore, we have tested it for a pulse like shape (15 {\mu}s wide) at different frequency, as well as the response from a gamma source Cs137 on a CsI(Tl) scintillator coupled to a photodiode detector. The data were offline processed using our PYTHON [2] developed program [3].


title: Charting nearby stellar systems: The intensity of Galactic cosmic rays for a sample of solar-type stars

abstract: Cosmic rays can penetrate planetary atmospheres driving the formation of prebiotic molecules, which are important for the origin of life. We calculate the Galactic cosmic ray fluxes in the habitable zone of five nearby, well-studied solar-type stars and at the orbits of 2 known exoplanets. We model the propagation of Galactic cosmic rays through the stellar winds using a combined 1.5D stellar wind and 1D cosmic ray transport model. We find that the habitable zone of 61 Cyg A has comparable Galactic cosmic ray fluxes to present-day Earth values. For the other four systems ($\epsilon$ Eri, $\epsilon$ Ind, $\xi$ Boo B and $\pi^1$ UMa), the fluxes are orders of magnitude smaller than Earth values. Thus, it is unlikely that any as-of-yet undetected Earth-like planets in their habitable zones would receive a higher radiation dose than is received on Earth. $\epsilon\,$Ind$\,$b, a Jupiter-like planet orbiting at $\sim$11au, receives higher Galactic cosmic ray fluxes than Earth. We find the suppression of Galactic cosmic rays is influenced by whether diffusion or advection dominates at GeV energies and at distances where the wind has reached its' terminal velocity. For advectively-dominated winds ($\sim$younger systems), varying the astrospheric size influences the suppression significantly. For diffusion-dominated systems ($\sim$older systems) the astrospheric size, and therefore knowledge of the ISM properties, are not very important. This reduces the Galactic cosmic ray flux uncertainties in the habitable zone for diffusion-dominated systems. Whether a system is advection- or diffusion-dominated can be determined from the stellar wind properties.


title: Circular City Index: An Open Data analysis to assess the urban circularity preparedness of cities to address the green transition -- A study on the Italian municipalities

abstract: We present a circularity transition index based on open data principles and circularity of energy, material, and information. The aim of the Circular City Index is to provide data and a succinct measurement of the attributes related to municipalities performances that can support the definition of green policies at national and local level. We have identified a set of key performance indicators, defined at municipality level, measuring factors that, directly and indirectly, could influence circularity and green transition, with a focus on the green new deal vision embraced by the European Union. The CCI is tested on a open dataset that collects data covering 100% of the Italian municipalities (7,904). Our results show that the computation of the CCI on a large sample leads to a normal distribution of the index, suggesting disparities both under the territorial point of view and under the point of view of city size. Results provide useful information to practitioner, policy maker and experts from academia alike, to define effective tools able to underpin a careful planning of investments supported by the national recovery and resilience plan recently issued by the Italian government. This may be particularly useful to enhance enabling factors of the green transition that may differ across territories, helping policymakers to promote a smooth and fair transition by fostering the preparedness of municipalities in addressing the challenge.


title: Bounds on approximating Max $k$XOR with quantum and classical local algorithms

abstract: We consider the power of local algorithms for approximately solving Max $k$XOR, a generalization of two constraint satisfaction problems previously studied with classical and quantum algorithms (MaxCut and Max E3LIN2). In Max $k$XOR each constraint is the XOR of exactly $k$ variables and a parity bit. On instances with either random signs (parities) or no overlapping clauses and $D+1$ clauses per variable, we calculate the expected satisfying fraction of the depth-1 QAOA from Farhi et al [arXiv:1411.4028] and compare with a generalization of the local threshold algorithm from Hirvonen et al [arXiv:1402.2543]. Notably, the quantum algorithm outperforms the threshold algorithm for $k > 4$. On the other hand, we highlight potential difficulties for the QAOA to achieve computational quantum advantage on this problem. We first compute a tight upper bound on the maximum satisfying fraction of nearly all large random regular Max $k$XOR instances by numerically calculating the ground state energy density $P(k)$ of a mean-field $k$-spin glass [arXiv:1606.02365]. The upper bound grows with $k$ much faster than the performance of both one-local algorithms. We also identify a new obstruction result for low-depth quantum circuits (including the QAOA) when $k=3$, generalizing a result of Bravyi et al [arXiv:1910.08980] when $k=2$. We conjecture that a similar obstruction exists for all $k$.


title: SCSS-Net: Solar Corona Structures Segmentation by Deep Learning

abstract: Structures in the solar corona are the main drivers of space weather processes that might directly or indirectly affect the Earth. Thanks to the most recent space-based solar observatories, with capabilities to acquire high-resolution images continuously, the structures in the solar corona can be monitored over the years with a time resolution of minutes. For this purpose, we have developed a method for automatic segmentation of solar corona structures observed in EUV spectrum that is based on a deep learning approach utilizing Convolutional Neural Networks. The available input datasets have been examined together with our own dataset based on the manual annotation of the target structures. Indeed, the input dataset is the main limitation of the developed model's performance. Our \textit{SCSS-Net} model provides results for coronal holes and active regions that could be compared with other generally used methods for automatic segmentation. Even more, it provides a universal procedure to identify structures in the solar corona with the help of the transfer learning technique. The outputs of the model can be then used for further statistical studies of connections between solar activity and the influence of space weather on Earth.

categories: astro-ph.SR astro-ph.IM cs.LG cs.NE physics.space-ph


title: Mapping and Validating a Point Neuron Model on Intel's Neuromorphic Hardware Loihi

abstract: Neuromorphic hardware is based on emulating the natural biological structure of the brain. Since its computational model is similar to standard neural models, it could serve as a computational acceleration for research projects in the field of neuroscience and artificial intelligence, including biomedical applications. However, in order to exploit this new generation of computer chips, rigorous simulation and consequent validation of brain-based experimental data is imperative. In this work, we investigate the potential of Intel's fifth generation neuromorphic chip - `Loihi', which is based on the novel idea of Spiking Neural Networks (SNNs) emulating the neurons in the brain. The work is implemented in context of simulating the Leaky Integrate and Fire (LIF) models based on the mouse primary visual cortex matched to a rich data set of anatomical, physiological and behavioral constraints. Simulations on the classical hardware serve as the validation platform for the neuromorphic implementation. We find that Loihi replicates classical simulations very efficiently and scales notably well in terms of both time and energy performance as the networks get larger.


title: AI-HRI 2021 Proceedings

abstract: The Artificial Intelligence (AI) for Human-Robot Interaction (HRI) Symposium has been a successful venue of discussion and collaboration since 2014. During that time, these symposia provided a fertile ground for numerous collaborations and pioneered many discussions revolving trust in HRI, XAI for HRI, service robots, interactive learning, and more. This year, we aim to review the achievements of the AI-HRI community in the last decade, identify the challenges facing ahead, and welcome new researchers who wish to take part in this growing community. Taking this wide perspective, this year there will be no single theme to lead the symposium and we encourage AI-HRI submissions from across disciplines and research interests. Moreover, with the rising interest in AR and VR as part of an interaction and following the difficulties in running physical experiments during the pandemic, this year we specifically encourage researchers to submit works that do not include a physical robot in their evaluation, but promote HRI research in general. In addition, acknowledging that ethics is an inherent part of the human-robot interaction, we encourage submissions of works on ethics for HRI. Over the course of the two-day meeting, we will host a collaborative forum for discussion of current efforts in AI-HRI, with additional talks focused on the topics of ethics in HRI and ubiquitous HRI.


title: Growth of entanglement entropy under local projective measurements

abstract: Non-equilibrium dynamics of many-body quantum systems under the effect of measurement protocols is attracting an increasing amount of attention. It has been recently revealed that measurements may induce an abrupt change in the scaling-law of the bipartite entanglement entropy, thus suggesting the existence of different non-equilibrium regimes. However, our understanding of how these regimes appear and whether they survive in the thermodynamic limit is much less established. Here we investigate these questions on a one-dimensional quadratic fermionic model: this allows us to reach system sizes relevant in the thermodynamic sense. We show that local projective measurements induce a qualitative modification of the time-growth of the entanglement entropy which changes from linear to logarithmic. However, in the stationary regime, the logarithmic behavior of the entanglement entropy do not survive in the thermodynamic limit and, for any finite value of the measurement rate, we numerically show the existence of a single area-law phase for the entanglement entropy. Finally, exploiting the quasi-particle picture, we further support our results analysing the fluctuations of the stationary entanglement entropy and its scaling behavior.


title: A Snowball in Hell: The Potential Steam Atmosphere of TOI-1266c

abstract: TOI-1266c is a recently discovered super-Venus in the radius valley orbiting an early M dwarf. However, its notional bulk density ($\sim$2.2 g cm$^{-3}$) is consistent with a large volatile fraction, suggesting that it might have volatile reservoirs that have survived billions of years at more than twice the Earth's insolation. On the other hand, the upper mass limit paints a picture of a cool super Mercury dominated by >50\% iron core ($\sim$9.2 g cm$^{-3}$) that has tiptoed up to the collisional stripping limit and into the radius gap. Here, we examine several hypothetical states for TOI-1266c using a combination of new and updated open-source atmospheric escape, radiative-convective, and photochemical models. We find that water-rich atmospheres with trace amounts of H$_{2}$ and CO$_{2}$ are potentially detectable (SNR $>\sim 5$) in less than 20 hours of JWST observing time. We also find that water vapor spectral features are not substantially impacted by the presence of high-altitude water or ice clouds due the presence of a significant amount of water above the cloud-deck, although further work with self-consistent cloud models is needed. Regardless of its mass, however, TOI-1266c represents a unique proving ground for several hypotheses related to the evolution of sub-Neptunes and Venus-like worlds, particularly those near the radius valley.


title: Why Most Results of Socio-Technical Security User Studies Are False

abstract: Background. In recent years, cyber security user studies have been scrutinized for their reporting completeness, statistical reporting fidelity, statistical reliability and biases. It remains an open question what strength of evidence positive reports of such studies actually yield. We focus on the extent to which positive reports indicate relation true in reality, that is, a probabilistic assessment. Aim. This study aims at establishing the overall strength of evidence in cyber security user studies, with the dimensions -- Positive Predictive Value (PPV) and its complement False Positive Risk (FPR), -- Likelihood Ratio (LR), and -- Reverse-Bayesian Prior (RBP) for a fixed tolerated False Positive Risk. Method. Based on $431$ coded statistical inferences in $146$ cyber security user studies from a published SLR covering the years 2006-2016, we first compute a simulation of the a posteriori false positive risk based on assumed prior and bias thresholds. Second, we establish the observed likelihood ratios for positive reports. Third, we compute the reverse Bayesian argument on the observed positive reports by computing the prior required for a fixed a posteriori false positive rate. Results. We obtain a comprehensive analysis of the strength of evidence including an account of appropriate multiple comparison corrections. The simulations show that even in face of well-controlled conditions and high prior likelihoods, only few studies achieve good a posteriori probabilities. Conclusions. Our work shows that the strength of evidence of the field is weak and that most positive reports are likely false. From this, we learn what to watch out for in studies to advance the knowledge of the field.


title: Photon rings of spherically symmetric black holes and robust tests of non-Kerr metrics

abstract: Under very general assumptions on the accretion flow geometry, images of a black hole illuminated by electromagnetic radiation display a sequence of photon rings (demagnified and rotated copies of the direct image) which asymptotically approach a purely theoretical critical curve - the outline of the black hole photon shell. To a distant observer, these images appear dominated by the direct emission, which forms a ring whose diameter is primarily determined by the effective radius of the emitting region. For that reason, connecting the image diameter seen by a distant observer to the properties of the underlying spacetime crucially relies on a calibration that necessarily depends on the assumed astrophysical source model. On the other hand, the diameter of the photon rings depends more on the detailed geometry of the spacetime than on the source structure. As such, a photon ring detection would allow for the spacetime metric to be probed in a less model-dependent way, enabling more robust tests of General Relativity (GR) and the Kerr hypothesis. Here we present the photon ring structure of several spherically symmetric black hole spacetimes and perform comparisons with the Schwarzschild/Kerr case. We offer our perspective on future tests of the spacetime metric with photon rings, discussing challenges and opportunities involved.


title: The NASA Multi-Messenger Astrophysics Science Support Center (MOSSAIC)

abstract: The era of multi-messenger astrophysics has arrived, leading to key new discoveries and revealing a need for coordination, collaboration, and communication between world-wide communities using ground and space-based facilities. To fill these critical needs, NASA's Goddard Space Flight Center and Marshall Space Flight Center are jointly proposing to establish a virtual Multi-Messenger Astrophysics Science Support Center that focuses entirely on community-directed services. In this article, we describe the baseline plan for the virtual Support Center which will position the community and NASA as an Agency to extract maximum science from multi-messenger events, leading to new breakthroughs and fostering increased coordination and collaboration.


title: Rad\'{o}- type theorem for subharmonic and plurisubharmonic functions

abstract: We observe that a recent result by Gardiner and Sj\"odin, solving a problem of Kr\'{a}l on subharmonic functions, can be easily generalized to yield a somewhat stronger result. This can be combined with a viscosity technique of ours, which we slightly improve, to obtain Rad\'{o}- type theorems for plurisubharmonic functions. Finally, we study the Borel complexity of the critical set and the set where the gradient does not exist finitely of subharmonic functions and general real valued functions.


title: On Reparameterization Invariant Bayesian Point Estimates and Credible Regions

abstract: This paper considers reparameterization invariant Bayesian point estimates and credible regions of model parameters for scientific inference and communication. The effect of intrinsic loss function choice in Bayesian intrinsic estimates and regions is studied with the following findings. A particular intrinsic loss function, using Kullback-Leibler divergence from the full model to the restricted model, has strong connection to a Bayesian predictive criterion, which produces point estimates with the best predictive performance. An alternative intrinsic loss function, using Kullback-Leibler divergence from the restricted model to the full model, produces estimates with interesting frequency properties for at least some commonly used distributions, that is, unbiased minimum variance estimates of the location and scale parameters.


title: Hilbert spaces and low-lying zeros of L-functions

abstract: Generalizing previous work of Iwaniec, Luo, and Sarnak (2000), we use information from one-level density theorems to estimate the proportion of non-vanishing of $L$-functions in a family at a low-lying height on the critical line (measured by the analytic conductor). To solve the Fourier optimization problems that arise, we provide a unified framework based on the theory of reproducing kernel Hilbert spaces of entire functions (there is one such space associated to each symmetry type). Explicit expressions for the reproducing kernels are given. We also revisit the problem of estimating the height of the first low-lying zero in a family, considered by Hughes and Rudnick (2003) and Bernard (2015). We solve the associated Fourier optimization problem in this setting by establishing a connection to the theory of de Branges spaces of entire functions and using the explicit reproducing kernels. In an appendix, we study the related problem of determining the sharp embeddings between the Hilbert spaces associated to the five symmetry types and the classical Paley-Wiener space.


title: Twisted forms of commutative monoid structures on affine spaces

abstract: In this paper, we study affine commutative algebraic monoid structures on affine spaces over an arbitrary field of characteristic zero. We obtain full classification of such structures on $\mathbb{A}_K^2$ and $\mathbb{A}_K^3$ and describe some generalizations on $\mathbb{A}_K^n$ for any dimension $n$.


title: Bounded point evaluation for operators with the wandering subspace property

abstract: We extend and study the notion of bounded point evaluation introduced by Williams for a cyclic operator to the class of operators with the wandering subspace property. We characterize the set $bpe(T)$ of all bounded point evaluations for an operator $T$ with the wandering subspace property in terms of the invertibility of certain projections. This result generalizes the earlier established characterization of $bpe(T)$ for a finitely cyclic operator $T$. Further, if $T$ is a left-invertible operator with the wandering subspace property, then we determine the $bpe(T)$ and the set $abpe(T)$ of all analytic bounded point evaluations for $T$. We also give examples of left-invertible operator $T$ with the wandering subspace property for which $\mathbb D\big(0, r(T')^{-1}\big) \subsetneqq abpe(T) \subseteq bpe(T)$, where $r(T')$ is the spectral radius of the Cauchy dual $T'$ of $T$.


title: Small-Bench NLP: Benchmark for small single GPU trained models in Natural Language Processing

abstract: Recent progress in the Natural Language Processing domain has given us several State-of-the-Art (SOTA) pretrained models which can be finetuned for specific tasks. These large models with billions of parameters trained on numerous GPUs/TPUs over weeks are leading in the benchmark leaderboards. In this paper, we discuss the need for a benchmark for cost and time effective smaller models trained on a single GPU. This will enable researchers with resource constraints experiment with novel and innovative ideas on tokenization, pretraining tasks, architecture, fine tuning methods etc. We set up Small-Bench NLP, a benchmark for small efficient neural language models trained on a single GPU. Small-Bench NLP benchmark comprises of eight NLP tasks on the publicly available GLUE datasets and a leaderboard to track the progress of the community. Our ELECTRA-DeBERTa (15M parameters) small model architecture achieves an average score of 81.53 which is comparable to that of BERT-Base's 82.20 (110M parameters). Our models, code and leaderboard are available at https://github.com/smallbenchnlp


title: Who's the Daddy? Infidelity Favours Father-Son Facial Dissimilarity

abstract: Evolutionary theory predicts that children fare better if they resemble their father. However, if a man is promiscuous then his children tend to be (unwittingly) raised within other families; such children should fare better if they do not resemble their father. This suggests that father-son facial similarity should decrease as a function of male promiscuity. To test this hypothesis, the degree of similarity between each of 37 pairs of father-son photographs was rated by 83 participants. The promiscuity score of a father was defined as the number of sexual relationships he had been involved in. A linear regression of father-son similarity ratings against fathers' promiscuity scores indicated that the slope of the fitted line was significantly less than zero (slope=-0.176, p < 0.001), and that fathers' promiscuity scores account for 75% of the variance father-son facial similarity ratings. Additionally, a significant negative non-parametric correlation (Spearman's rho rho=-0.886, p=0.019) between father-son similarity ratings and fathers' promiscuity scores was found.


title: DVC-P: Deep Video Compression with Perceptual Optimizations

abstract: Recent years have witnessed the significant development of learning-based video compression methods, which aim at optimizing objective or perceptual quality and bit rates. In this paper, we introduce deep video compression with perceptual optimizations (DVC-P), which aims at increasing perceptual quality of decoded videos. Our proposed DVC-P is based on Deep Video Compression (DVC) network, but improves it with perceptual optimizations. Specifically, a discriminator network and a mixed loss are employed to help our network trade off among distortion, perception and rate. Furthermore, nearest-neighbor interpolation is used to eliminate checkerboard artifacts which can appear in sequences encoded with DVC frameworks. Thanks to these two improvements, the perceptual quality of decoded sequences is improved. Experimental results demonstrate that, compared with the baseline DVC, our proposed method can generate videos with higher perceptual quality achieving 12.27% reduction in a perceptual BD-rate equivalent, on average.


title: Terminating spiral waves with a single designed stimulus: Teleportation as the mechanism for defibrillation

abstract: We demonstrate a universal mechanism for terminating spiral waves in excitable media using an established topological framework. This mechanism dictates whether high- or low-energy defibrillation shocks succeed or fail. Furthermore, this mechanism allows for the design of a single minimal stimulus capable of defibrillating, at any time, turbulent states driven by multiple spiral waves. We demonstrate this method in a variety of computational models of cardiac tissue ranging from simple to detailed human models. The theory described here shows how this mechanism underlies all successful defibrillation and can be used to further develop existing and future low-energy defibrillation strategies.


title: First-principles study of the electronic structure of CaKRu$_4$P$_4$

abstract: The recent discovery and studies of 1144-phase compounds, e.g., CaKFe$_4$As$_4$, have attracted significant research interest. In this paper, based on the first-principles density functional calculations, we present a systematic study on the electronic structure of the recently synthetized 1144-type quaternary compound CaKRu$_4$P$_4$. We find that the Ru-based 1144-type compound possesses a different electronic structure from that of iron-based superconductors, even though they share very similar crystallographic structures. In CaKRu$_4$P$_4$, there is no hole-type carrier if spin-orbit interaction is not considered. And a long-range magnetic order is absent in its ground state. With the application of pressure, the electronic structure of CaKRu$_4$P$_4$ becomes similar to those of the ternary 122-type compounds LaRu$_2$P$_2$ and LaRu$_2$As$_2$. CaKRu$_4$P$_4$ is very likely to be a phonon-mediated medium coupled BCS superconductor. Furthermore, type-I and type-II Dirac fermions can be created and regulated in this system with pressure. The quaternary compound CaKRu$_4$P$_4$ therefore has a potential to be an attractive platform for the study of topological physics and superconductivity.


title: Pix2seq: A Language Modeling Framework for Object Detection

abstract: We present Pix2Seq, a simple and generic framework for object detection. Unlike existing approaches that explicitly integrate prior knowledge about the task, we cast object detection as a language modeling task conditioned on the observed pixel inputs. Object descriptions (e.g., bounding boxes and class labels) are expressed as sequences of discrete tokens, and we train a neural network to perceive the image and generate the desired sequence. Our approach is based mainly on the intuition that if a neural network knows about where and what the objects are, we just need to teach it how to read them out. Beyond the use of task-specific data augmentations, our approach makes minimal assumptions about the task, yet it achieves competitive results on the challenging COCO dataset, compared to highly specialized and well optimized detection algorithms.


title: A Differential RR Lyrae Line-of-Sight Distance Between M31 and M33

abstract: We present a purely differential line-of-sight distance between M31 and M33 using ab-type RR Lyrae variables observed in each galaxy by the Hubble Space Telescope Advanced Camera for Surveys in the F606W filter. Using 1501 RR Lyraes in 13 M31 fields and 181 RR Lyraes in six M33 fields, and placing all of these stars on a uniform photometric scale with internally consistent corrections for metal abundance and extinction, we find a relative absolute distance modulus of D(m-M)_o = -0.298 +/- 0.016 in the sense of (m-M)_{o,M31} - (m-M)_{o,M33}. Adopting an absolute distance modulus of (m-M)_o=24.46 +/- 0.10 for M31 places M33 115 kpc beyond M31 in line-of-sight distance.


title: Imitation Learning of Stabilizing Policies for Nonlinear Systems

abstract: There has been a recent interest in imitation learning methods that are guaranteed to produce a stabilizing control law with respect to a known system. Work in this area has generally considered linear systems and controllers, for which stabilizing imitation learning takes the form of a biconvex optimization problem. In this paper it is demonstrated that the same methods developed for linear systems and controllers can be readily extended to polynomial systems and controllers using sum of squares techniques. A projected gradient descent algorithm and an alternating direction method of multipliers algorithm are proposed as heuristics for solving the stabilizing imitation learning problem, and their performance is illustrated through numerical experiments.


title: BFClass: A Backdoor-free Text Classification Framework

abstract: Backdoor attack introduces artificial vulnerabilities into the model by poisoning a subset of the training data via injecting triggers and modifying labels. Various trigger design strategies have been explored to attack text classifiers, however, defending such attacks remains an open problem. In this work, we propose BFClass, a novel efficient backdoor-free training framework for text classification. The backbone of BFClass is a pre-trained discriminator that predicts whether each token in the corrupted input was replaced by a masked language model. To identify triggers, we utilize this discriminator to locate the most suspicious token from each training sample and then distill a concise set by considering their association strengths with particular labels. To recognize the poisoned subset, we examine the training samples with these identified triggers as the most suspicious token, and check if removing the trigger will change the poisoned model's prediction. Extensive experiments demonstrate that BFClass can identify all the triggers, remove 95% poisoned training samples with very limited false alarms, and achieve almost the same performance as the models trained on the benign training data.


title: Coarse2Fine: Fine-grained Text Classification on Coarsely-grained Annotated Data

abstract: Existing text classification methods mainly focus on a fixed label set, whereas many real-world applications require extending to new fine-grained classes as the number of samples per label increases. To accommodate such requirements, we introduce a new problem called coarse-to-fine grained classification, which aims to perform fine-grained classification on coarsely annotated data. Instead of asking for new fine-grained human annotations, we opt to leverage label surface names as the only human guidance and weave in rich pre-trained generative language models into the iterative weak supervision strategy. Specifically, we first propose a label-conditioned finetuning formulation to attune these generators for our task. Furthermore, we devise a regularization objective based on the coarse-fine label constraints derived from our problem setting, giving us even further improvements over the prior formulation. Our framework uses the fine-tuned generative models to sample pseudo-training data for training the classifier, and bootstraps on real unlabeled data for model refinement. Extensive experiments and case studies on two real-world datasets demonstrate superior performance over SOTA zero-shot classification baselines.


title: Clustering of Gravitational Wave and Supernovae events: a multitracer analysis in Luminosity Distance Space

abstract: We study the clustering of Gravitational Wave (GW) merger events and Supernovae IA (SN), as cosmic tracers in Luminosity Distance Space. We modify the publicly available CAMB code to numerically evaluate auto- and cross- power spectra for the different sources, including Luminosity Distance Space distortion effects generated by peculiar velocities and lensing convergence. We perform a multitracer Fisher analysis to forecast expected constraints on cosmological and GW bias coefficients, using outputs from hydrodinamical N-body simulations to determine the bias fiducial model and considering future observations from the Vera Rubin Observatory and Einstein Telescope (ET), both single and in a 3 detector network configuration. We find that adding SN to the GW merger dataset considerably improves the forecast, mostly by breaking significant parameter degeneracies, with final constraints comparable to those obtainable from a Euclid-like survey. GW merger bias is forecasted to be detectable with good significance even in the single ET case.


title: Amorphous Bi$_2$Se$_3$ structural, electronic, and topological nature by first-principles

abstract: Crystalline $\rm Bi_2Se_3$ is one of the most explored three-dimensional topological insulator, with a $0.3\;\rm eV$ energy gap making it promising for applications. Its amorphous counterpart could bring to light new possibilities for large scale synthesis and applications. Using ab initio molecular dynamics simulations, we have studied realistic amorphous $\rm Bi_2Se_3$ phases generated by different processes of melting, quenching, and annealing. Extensive structural and electronic characterizations show that the melting process induces an energy gap decrease ruled by growth of the defective local environments. This behavior dictates a weak stability of the topological phase to disorder, characterized by the spin Bott index. Interestingly, we identify the occurrence of topologically trivial surface states in amorphous $\rm Bi_2Se_3$ that show a strong resemblance with standard helical topological states. Our results and methods advance the search of topological phases in three-dimensional amorphous solids.


title: Pushing the Right Buttons: Adversarial Evaluation of Quality Estimation

abstract: Current Machine Translation (MT) systems achieve very good results on a growing variety of language pairs and datasets. However, they are known to produce fluent translation outputs that can contain important meaning errors, thus undermining their reliability in practice. Quality Estimation (QE) is the task of automatically assessing the performance of MT systems at test time. Thus, in order to be useful, QE systems should be able to detect such errors. However, this ability is yet to be tested in the current evaluation practices, where QE systems are assessed only in terms of their correlation with human judgements. In this work, we bridge this gap by proposing a general methodology for adversarial testing of QE for MT. First, we show that despite a high correlation with human judgements achieved by the recent SOTA, certain types of meaning errors are still problematic for QE to detect. Second, we show that on average, the ability of a given model to discriminate between meaning-preserving and meaning-altering perturbations is predictive of its overall performance, thus potentially allowing for comparing QE systems without relying on manual quality annotation.


title: Half-waves and spectral Riesz means on the 3-torus

abstract: For a full rank lattice $\Lambda \subset \mathbb{R}^d$ and $\mathbf{A} \in \mathbb{R}^d$, consider $N_{d,0;\Lambda,\mathbf{A}}(\Sigma) = \# ([\Lambda+\mathbf{A}] \cap \Sigma \mathbb{B}^d) = \# \{\mathbf{k}\in \Lambda : |\mathbf{k}+\mathbf{A}| \leq \Sigma \}$. Consider the iterated integrals \[ N_{d,k+1;\Lambda,\mathbf{A}}(\Sigma) = \int_0^\Sigma N_{d,k;\Lambda,\mathbf{A}}(\sigma) \,\mathrm{d} \sigma, \] for $k\in \mathbb{N}$. After an elementary derivation via the Poisson summation formula of the sharp large-$\Sigma$ asymptotics of $N_{3,k;\Lambda,\mathbf{A}}(\Sigma)$ for $k\geq 2$ (these having an $O(\Sigma)$ error term), we discuss how they are encoded in the structure of the Fourier transform $\mathcal{F}N_{3;\Lambda,\mathbf{A}}(\tau)$. The analysis is related to H\"ormander's analysis of spectral Riesz means, as the iterated integrals above are weighted spectral Riesz means for the simplest magnetic Schr\"odinger operator on the flat $3$-torus. That the $N_{3,k;\Lambda,\mathbf{A}}(\Sigma)$ obey an asymptotic expansion to $O(\Sigma^2)$ is a special case of a general result holding for all magnetic Schr\"odinger operators on all manifolds, and the subleading polynomial corrections can be identified in terms of the Laurent series of the half-wave trace at $\tau=0$. The improvement to $O(\Sigma)$ for $k\geq 2$ follows from a bound on the growth rate of the half-wave trace at late times.


title: Optimizing low-energy anti-fibrillation pacing: Lessons from a cellular automaton model

abstract: The essential features of far-field low-energy defibrillation are elucidated using a simple cellular automaton model of excitable media. The model's topological character allows for direct correspondence with both realistic models and experiment. An optimal pacing period is shown to arise from the competition between two effects, and not a resonant response as was previously hypothesized. Finally, a topologically motivated feedback scheme is presented that outperforms traditional LEAP by identifying optimal shock timings.


title: Recursively Summarizing Books with Human Feedback

abstract: A major challenge for scaling machine learning is training models to perform tasks that are very difficult or time-consuming for humans to evaluate. We present progress on this problem on the task of abstractive summarization of entire fiction novels. Our method combines learning from human feedback with recursive task decomposition: we use models trained on smaller parts of the task to assist humans in giving feedback on the broader task. We collect a large volume of demonstrations and comparisons from human labelers, and fine-tune GPT-3 using behavioral cloning and reward modeling to do summarization recursively. At inference time, the model first summarizes small sections of the book and then recursively summarizes these summaries to produce a summary of the entire book. Our human labelers are able to supervise and evaluate the models quickly, despite not having read the entire books themselves. Our resulting model generates sensible summaries of entire books, even matching the quality of human-written summaries in a few cases ($\sim5\%$ of books). We achieve state-of-the-art results on the recent BookSum dataset for book-length summarization. A zero-shot question-answering model using these summaries achieves state-of-the-art results on the challenging NarrativeQA benchmark for answering questions about books and movie scripts. We release datasets of samples from our model.


title: A Transportation Digital-Twin Approach for Adaptive Traffic Control Systems

abstract: A transportation digital twin represents a digital version of a transportation physical object or process, such as a traffic signal controller, and thereby a two-way real-time data exchange between the physical twin and digital twin. This paper introduces a digital twin approach for adaptive traffic signal control (ATSC) to improve a traveler's driving experience by reducing and redistributing waiting time at an intersection. While an ATSC combined with a connected vehicle concept can reduce waiting time at an intersection and improve travel time in a signalized corridor, it is nearly impossible to reduce traffic delay for congested traffic conditions. To remedy this defect of the traditional ATCS with connected vehicle data, we have developed a digital twin-based ATSC (DT-based ATSC) that considers the waiting time of approaching vehicles towards a subject intersection along with the waiting time of those vehicles at the immediate upstream intersection. We conducted a case study using a microscopic traffic simulation, Simulation of Urban Mobility (SUMO), by developing a digital replica of a roadway network with signalized intersections in an urban setting where vehicle and traffic signal data were collected in real-time. Our analyses reveal that the DT-based ATSC outperforms the connected vehicle-based baseline ATSC in terms of average cumulative waiting time, distribution of drivers' waiting time, and level of services for each approach for different traffic demands and therefore demonstrates our method's superior efficacy.


title: Reliable Linearized Phase Retrieval for Near-Field Antenna Measurements with Truncated Measurement Surfaces

abstract: Most methods tackling the phase retrieval problem of magnitude-only antenna measurements suffer from unrealistic sampling requirements, from unfeasible computational complexities, and, most severely, from the lacking reliability of nonlinear and nonconvex formulations. As an alternative, we propose a partially coherent (PC) multi-probe measurement technique and an associated linear reconstruction method which mitigate all these issues. Hence, reliable and accurate phase retrieval can be achieved in near-field far-field transformations (NFFFTs). In particular, we resolve the issues related to open measurement surfaces (as they may emerge in drone-based measurement setups) and we highlight the importance of considering the measurement setup and the phaseless NFFFT simultaneously. Specifically, the influence of special multi-probe arrangements on the reconstruction quality of PC solvers is shown.


title: Characterization of exhaled e-cigarette aerosols in a vape shop using a field-portable holographic on-chip microscope

abstract: The past decade marked a drastic increase in the usage of electronic cigarettes (e-cigs). The adverse health impact of secondhand exposure due to exhaled e-cig particles has raised significant concerns, demanding further research on the characteristics of these particles. In this work, we report direct volatility measurements on exhaled e-cig aerosols using a field-portable device (termed c-Air) enabled by deep learning and lens-free holographic microscopy; for this analysis, we performed a series of field experiments in a vape shop where customers used/vaped their e-cig products. During four days of experiments, we periodically sampled the indoor air with intervals of ~15 minutes and collected the exhaled particles with c-Air. Time-lapse inline holograms of the collected particles were recorded by c-Air and reconstructed using a convolutional neural network yielding phase-recovered microscopic images of the particles. Volumetric decay of individual particles due to evaporation was used as an indicator of the volatility of each aerosol. Volatility dynamics quantified through c-Air experiments showed that indoor vaping increased the volatility of particles as well as the percentage of volatile and semi-volatile particles in air. The reported methodology and findings can guide further studies on volatility characterization of e-cig emission and regulations on indoor vaping.


title: Coherent and cat states of open and closed strings

abstract: The covariant quantization and light cone quantization formalisms are followed to construct the coherent states of both open and closed bosonic strings. We make a systematic and straightforward use of the original definition of coherent states of harmonic oscillators to establish the coherent and their corresponding cat states. We analyze the statistics of these states by explicitly calculating the Mandel parameter and obtained interesting results about the nature of distribution of the states. A tachyonic state with imaginary mass and the positive norm is obtained.


title: Towards a GDPR-Compliant Blockchain-Based COVID Vaccination Passport

abstract: The COVID-19 pandemic has shaken the world and limited work/personal life activities. Besides the loss of human lives and agony faced by humankind, the pandemic has badly hit different sectors economically, including the travel industry. Special arrangements, including COVID test before departure and on arrival, and voluntary quarantine, were enforced to limit the risk of transmission. However, the hope for returning to a normal (pre-COVID) routine relies on the success of the current COVID vaccination drives administered by different countries. To open for tourism and other necessary travel, a need is realized for a universally accessible proof of COVID vaccination, allowing travelers to cross the borders without any hindrance. This paper presents an architectural framework for a GDPR-compliant blockchain-based COVID vaccination passport (VacciFi), whilst considering the relevant developments, especially in the European Union region.


title: A Context-aware Radio Resource Management in Heterogeneous Virtual RANs

abstract: New-generation wireless networks are designed to support a wide range of services with diverse key performance indicators (KPIs) requirements. A fundamental component of such networks, and a pivotal factor to the fulfillment of the target KPIs, is the virtual radio access network (vRAN), which allows high flexibility on the control of the radio link. However, to fully exploit the potentiality of vRANs, an efficient mapping of the rapidly varying context to radio control decisions is not only essential, but also challenging owing to the interdependence of user traffic demand, channel conditions, and resource allocation. Here, we propose CAREM, a reinforcement learning framework for dynamic radio resource allocation in heterogeneous vRANs, which selects the best available link and transmission parameters for packet transfer, so as to meet the KPI requirements. To show its effectiveness, we develop a testbed for proof-of-concept. Experimental results demonstrate that CAREM enables an efficient radio resource allocation under different settings and traffic demand. Also, compared to the closest existing scheme based on neural network and the standard LTE, CAREM exhibits an improvement of one order of magnitude in packet loss and latency, while it provides a 65% latency improvement relatively to the contextual bandit approach.


title: Interactive Probing of Multivariate Time Series Prediction Models: A Case of Freight Rate Analysis

abstract: We present an interactive probing tool to create, modify and analyze what-if scenarios for multivariate time series models. The solution is applied to freight trading, where analysts can carry out sensitivity analysis on freight rates by changing demand and supply-related econometric variables and observing their resultant effects on freight indexes. We utilize various visualization techniques to enable intuitive scenario creation, alteration, and comprehension of time series inputs and model predictions. Our tool proved to be useful to the industry practitioners, demonstrated by a case study where freight traders are given hypothetical market scenarios and successfully generated quantitative freight index projection with confidence.


title: SoK: Machine Learning Governance

abstract: The application of machine learning (ML) in computer systems introduces not only many benefits but also risks to society. In this paper, we develop the concept of ML governance to balance such benefits and risks, with the aim of achieving responsible applications of ML. Our approach first systematizes research towards ascertaining ownership of data and models, thus fostering a notion of identity specific to ML systems. Building on this foundation, we use identities to hold principals accountable for failures of ML systems through both attribution and auditing. To increase trust in ML systems, we then survey techniques for developing assurance, i.e., confidence that the system meets its security requirements and does not exhibit certain known failures. This leads us to highlight the need for techniques that allow a model owner to manage the life cycle of their system, e.g., to patch or retire their ML system. Put altogether, our systematization of knowledge standardizes the interactions between principals involved in the deployment of ML throughout its life cycle. We highlight opportunities for future work, e.g., to formalize the resulting game between ML principals.


title: Nested Sampling for Non-Gaussian Inference in SLAM Factor Graphs

abstract: We present nested sampling for factor graphs (NSFG), a novel nested sampling approach to approximate inference for posterior distributions expressed over factor-graphs. Performing such inference is a key step in simultaneous localization and mapping (SLAM). Although the Gaussian approximation often works well, in other more challenging SLAM situations, the posterior distribution is non-Gaussian and cannot be explicitly represented with standard distributions. Our technique applies to settings where the posterior distribution is substantially non-Gaussian (e.g., multi-modal) and thus needs a more expressive representation. NSFG exploits nested sampling methods to directly sample the posterior to represent the distribution without parametric density models. While nested sampling methods are known for their powerful capability in sampling multi-modal distributions, the application of the methods to SLAM factor graphs is not straightforward. NSFG leverages the structure of factor graphs to construct informative prior distributions which are efficiently sampled and provide notable computational benefits for nested sampling methods. We present simulated experiments which demonstrate that NSFG is more robust and computes solutions over an order of magnitude faster than state-of-the-art sampling techniques. Similarly, we compare NSFG to state-of-the-art Gaussian and non-Gaussian SLAM approaches and demonstrate that NSFG is notably more robust in describing non-Gaussian posteriors.


title: Nonlinear Attitude Estimation Using Intermittent Linear Velocity and Vector Measurements

abstract: This paper investigates the problem of continuous attitude estimation on $SO(3)$ using continuous angular velocity and linear acceleration measurements as well as intermittent linear velocity and inertial vector measurements. First, we propose a nonlinear observer for the case where all the measurements are continuous and almost global asymptotic stability (AGAS) is shown using the notion of almost global input-to-state stability (ISS) on manifolds. Thereafter, a hybrid attitude observer, with AGAS guarantees, is proposed in terms of intermittent linear velocity and vector measurements. Numerical simulation results are presented to illustrate the performance of the proposed hybrid observer.


title: Parameterized process characterization with reduced resource requirements

abstract: Quantum Process Tomography (QPT) is a powerful tool to characterize quantum operations, but it requires considerable resources making it impractical for more than 2-qubit systems. This work proposes an alternative approach that requires significantly fewer resources for unitary process characterization without prior knowledge of the process and provides a built-in method for state preparation and measurement (SPAM) error mitigation. By measuring the quantum process as rotated through the X and Y axes on the Bloch Sphere, we can acquire enough information to reconstruct the quantum process matrix $\chi$ and measure its fidelity. We test the algorithm's performance against standard QPT using simulated and physical experiments on several IBM quantum processors and compare the resulting process matrices. We demonstrate in numerical experiments that the method can improve gate fidelity via a noise reduction in the imaginary part of the process matrix, along with a stark decrease in the number of experiments needed to perform the characterization.


title: Isotypic components in type $D$

abstract: We extend the result of our earlier paper "A family of operators generating domino tableaux..." to type $D$, showing that the same recipe holds for computing basis vectors of isotypic components of Kazhdan-Lusztig cells in that type.


title: Observations of cold extragalactic gas clouds at $z = 0.45$ towards PKS 1610-771

abstract: We present results from MUSE observations of a 21-cm HI absorption system detected with the Australian Square Kilometre Array Pathfinder radio telescope at redshift $z = 0.4503$ towards the $z = 1.71$ quasar PKS 1610-771. We identify four galaxies (A, B, X and Y) at the same redshift as the 21-cm H I Damped Lyman-{\alpha} (DLA) absorption system, with impact parameters ranging from less than 10 kpc to almost 200 kpc from the quasar sightline. Ca II and Na I absorption is seen in the MUSE spectrum of the background QSO, with velocities coinciding with the initial HI 21-cm detection, but tracing less dense and warmer gas. This metal-line component aligns with the rotating ionised disc of galaxy B (impact parameter 18 kpc from the QSO) and appears to be co-rotating with the galaxy disc. In contrast, the 21-cm HI absorber is blueshifted relative to the galaxies nearest the absorber and has the opposite sign to the velocity field of galaxy B. Since galaxies A and B are separated by only 17 kpc on the sky and $70$ km s$^{-1}$ in velocity, it appears likely that the 21-cm detection traces extragalactic clouds of gas formed from their interaction. This system reveals that the cold 100 K neutral gas critical for star formation can be associated with complex structures beyond the galaxy disc, and is a first case study made in preparation for future large 21-cm absorption surveys like the ASKAP First Large Absorption Survey in HI.


title: Code modernization strategies for short-range non-bonded molecular dynamics simulations

abstract: Modern HPC systems are increasingly relying on greater core counts and wider vector registers. Thus, applications need to be adapted to fully utilize these hardware capabilities. One class of applications that can benefit from this increase in parallelism are molecular dynamics simulations. In this paper, we describe our efforts at modernizing the ESPResSo++ molecular dynamics simulation package by restructuring its particle data layout for efficient memory accesses and applying vectorization techniques to benefit the calculation of short-range non-bonded forces, which results in an overall three times speedup and serves as a baseline for further optimizations. We also implement fine-grained parallelism for multi-core CPUs through HPX, a C++ runtime system which uses lightweight threads and an asynchronous many-task approach to maximize concurrency. Our goal is to evaluate the performance of an HPX-based approach compared to the bulk-synchronous MPI-based implementation. This requires the introduction of an additional layer to the domain decomposition scheme that defines the task granularity. On spatially inhomogeneous systems, which impose a corresponding load-imbalance in traditional MPI-based approaches, we demonstrate that by choosing an optimal task size, the efficient work-stealing mechanisms of HPX can overcome the overhead of communication resulting in an overall 1.4 times speedup compared to the baseline MPI version.


title: Kostant-Souriau Prequantization

abstract: This is a report for my Master's reading project where I review some basic ideas in the theory of prequantizing a symplectic manifold. The classic proof that a symplectic manifold is prequantizable if and only if its symplectic form is integral is given.


title: Absence of evidence of superconductivity in sulfur hydride in optical reflectance experiments

abstract: Capitani and coworkers [1] reported that infrared optical reflectance measurements provided evidence for a superconducting transition in sulfur hydride [2] under 150 GPa pressure, and that the transition is driven by the electron-phonon interaction. Here we argue that the measured data did not provide evidence that the system undergoes a transition to a superconducting state, nor do the data support any role of phonons in driving a transition. Rather, the data are consistent with the system remaining in the normal state down to temperature 50K, the lowest temperature measured in the experiment. This calls into further question [3,4] the generally accepted view [5] that sulfur hydride under pressure is a high temperature superconductor.


title: Effects of gamma irradiation on DEPFET pixel sensors for the Belle II experiment

abstract: For the Belle II experiment at KEK (Tsukuba, Japan) the KEKB accelerator was upgraded to deliver a 40 times larger instantaneous luminosity than before, which requires an increased radiation hardness of the detector components. As the innermost part of the Belle II detector, the pixel detector (PXD), based on DEPFET (DEpleted P-channel Field Effect Transistor) technology, is most exposed to radiation from the accelerator. An irradiation campaign was performed to verify that the PXD can cope with the expected amount of radiation. We present the results of this measurement campaign in which an X-ray machine was used to irradiate a single PXD half-ladder to a total dose of 266 kGy. The half-ladder is from the same batch as the half-ladders used for Belle II. According to simulations, the total accumulated dose corresponds to 7-10 years of Belle II operation. While individual components have been irradiated before, this campaign is the first full system irradiation. We discuss the effects on the DEPFET sensors, as well as the performance of the front-end electronics. In addition, we present efficiency studies of the half-ladder from beam tests performed before and after the irradiation.


title: Generalized T-product Tensor Bernstein Bounds

abstract: Since Kilmer et al. introduced the new multiplication method between two third-order tensors around 2008 and third-order tensors with such multiplication structure are also called as T-product tensors, T-product tensors have been applied to many fields in science and engineering, such as low-rank tensor approximation, signal processing, image feature extraction, machine learning, computer vision, and the multi-view clustering problem, etc. However, there are very few works dedicated to exploring the behavior of random T-product tensors. This work considers the problem about the tail behavior of the unitarily invariant norm for the summation of random symmetric T-product tensors. Majorization and antisymmetric Kronecker product tools are main techniques utilized to establish inequalities for unitarily norms of multivariate T-product tensors. The Laplace transform method is integrated with these inequalities for unitarily norms of multivariate T-product tensors to provide us with Bernstein Bounds estimation of Ky Fan $k$-norm for functions of the symmetric random T-product tensors summation.


title: On hyperholomorphic Bergman type spaces in domains of $\mathbb C^2$

abstract: Quaternionic analysis is regarded as a broadly accepted branch of classical analysis referring to many different types of extensions of the Cauchy-Riemann equations to the quaternion skew field $\mathbb H$. In this work we deals with a well-known $(\theta, u)-$hyperholomorphic $\mathbb H-$valued functions class related to elements of the kernel of the Helmholtz operator with a parameter $u \in\mathbb H$, just in the same way as the usual quaternionic analysis is related to the set of the harmonic functions. Given a domain $\Omega\subset\mathbb H\cong \mathbb C^2$, we define and study a Bergman spaces theory for $(\theta, u)-$ hyperholomorphic quaternion-valued functions introduced as elements of the kernel of ${}^{\theta}_{u}\mathcal D [f]= {}^{\theta} \mathcal D [f] + u f$ with $u\in \mathbb H$ defined in $C^1(\Omega, \mathbb H)$, where \[ {}^\theta\mathcal D:= \frac{\partial}{\partial \bar z_1} + ie^{i\theta}\frac{\partial}{\partial z_2}j = \frac{\partial}{\partial \bar z_1} + ie^{i\theta}j\frac{\partial}{\partial \bar z_2},\hspace{0.5cm} \theta\in[0,2\pi). \] Using as a guiding fact that $(\theta, u)-$hyperholomorphic functions includes, as a proper subset, all complex valued holomorphic functions of two complex variables we obtain some assertions for the theory of Bergman spaces and Bergman operators in domains of $\mathbb C^2$, in particular, existence of a reproducing kernel, its projection and their covariant and invariant properties of certain objects.


title: QUEUE, with Poisson arrivals, constant service time and infinite servers, BUSY PERIOD DISTRIBUTION

abstract: The queue system,with Poisson arrivals,constant service time and infinite servers, busy period distribution is intensively studied because, due to its probability density function quite easy interpretation, it may serve as a clue to interpret the queue systems, with Poisson arrivals, infinite servers, and other service time distributions, busy period distributions. In this work the queue system, with Poisson arrivals,constant service time and infinite servers, busy period distribution parameters are exactly computed and its probability density function is interpreted and explained. The only problem is how to compute the distribution function, for which an algorithm is presented and exemplified its application.


title: ENERO: Efficient Real-Time WAN Routing Optimization with Deep Reinforcement Learning

abstract: Wide Area Networks (WAN) are a key infrastructure in today's society. During the last years, WANs have seen a considerable increase in network's traffic and network applications, imposing new requirements on existing network technologies (e.g., low latency and high throughput). Consequently, Internet Service Providers (ISP) are under pressure to ensure the customer's Quality of Service and fulfill Service Level Agreements. Network operators leverage Traffic Engineering (TE) techniques to efficiently manage network's resources. However, WAN's traffic can drastically change during time and the connectivity can be affected due to external factors (e.g., link failures). Therefore, TE solutions must be able to adapt to dynamic scenarios in real-time. In this paper we propose Enero, an efficient real-time TE solution based on a two-stage optimization process. In the first one, Enero leverages Deep Reinforcement Learning (DRL) to optimize the routing configuration by generating a long-term TE strategy. To enable efficient operation over dynamic network scenarios (e.g., when link failures occur), we integrated a Graph Neural Network into the DRL agent. In the second stage, Enero uses a Local Search algorithm to improve DRL's solution without adding computational overhead to the optimization process. The experimental results indicate that Enero is able to operate in real-world dynamic network topologies in 4.5 seconds on average for topologies up to 100 edges.


title: Simple exponential acceleration of the power iteration algorithm

abstract: Many real-world problems rely on finding eigenvalues and eigenvectors of a matrix. The power iteration algorithm is a simple method for determining the largest eigenvalue and associated eigenvector of a general matrix. This algorithm relies on the idea that repeated multiplication of a randomly chosen vector x by the matrix A gradually amplifies the component of the vector along the eigenvector of the largest eigenvalue of A while suppressing all other components. Unfortunately, the power iteration algorithm may demonstrate slow convergence. In this report, we demonstrate an exponential speed up in convergence of the power iteration algorithm with only a polynomial increase in computation by taking advantage of the commutativity of matrix multiplication.


title: Geographic-style maps for 2-dimensional lattices

abstract: This paper develops geographic-style maps containing 2D lattices in all known crystals parameterised by recent complete invariants. Motivated by rigid crystal structures, lattices are considered up to rigid motion and uniform scaling. The resulting space of 2D lattices is a square with identified edges or a sphere without one point. The new continuous maps show all Bravais classes as low-dimensional subspaces, visualise hundreds of thousands of real crystal lattices from the Cambridge Structural Database, and motivate the development of continuous and invariant-based crystallography.


title: Investigating Entropy for Extractive Document Summarization

abstract: Automatic text summarization aims to cut down readers time and cognitive effort by reducing the content of a text document without compromising on its essence. Ergo, informativeness is the prime attribute of document summary generated by an algorithm, and selecting sentences that capture the essence of a document is the primary goal of extractive document summarization. In this paper, we employ Shannon entropy to capture informativeness of sentences. We employ Non-negative Matrix Factorization (NMF) to reveal probability distributions for computing entropy of terms, topics, and sentences in latent space. We present an information theoretic interpretation of the computed entropy, which is the bedrock of the proposed E-Summ algorithm, an unsupervised method for extractive document summarization. The algorithm systematically applies information theoretic principle for selecting informative sentences from important topics in the document. The proposed algorithm is generic and fast, and hence amenable to use for summarization of documents in real time. Furthermore, it is domain-, collection-independent and agnostic to the language of the document. Benefiting from strictly positive NMF factor matrices, E-Summ algorithm is transparent and explainable too. We use standard ROUGE toolkit for performance evaluation of the proposed method on four well known public data-sets. We also perform quantitative assessment of E-Summ summary quality by computing its semantic similarity w.r.t the original document. Our investigation reveals that though using NMF and information theoretic approach for document summarization promises efficient, explainable, and language independent text summarization, it needs to be bolstered to match the performance of deep neural methods.


title: Asymptotic error in the eigenfunction expansion for the Green's function of a Sturm-Liouville problem

abstract: We study the asymptotic error arising when approximating the Green's function of a Sturm-Liouville problem through a truncation of its eigenfunction expansion, both for the Green's function of a regular Sturm-Liouville problem and for the Green's function associated with the Hermite polynomials, the associated Laguerre polynomials, and the Jacobi polynomials, respectively. We prove that the asymptotic error obtained on the diagonal can be expressed in terms of the coefficients of the related second-order Sturm-Liouville differential equation, and that the suitable scaling exponent which yields a non-degenerate limit on the diagonal depends on the asymptotic behaviour of the corresponding eigenvalues. We further consider the asymptotic error away from the diagonal and analyse which scaling exponents ensure that it remains at zero. For the Hermite polynomials, the associated Laguerre polynomials, and the Jacobi polynomials, a Christoffel-Darboux type formula, which we establish for all classical orthogonal polynomial systems, allows us to obtain a better control away from the diagonal than what a sole application of known asymptotic formulae gives. As a consequence of our study for regular Sturm-Liouville problems, we identify the fluctuations for the Karhunen-Lo\`eve expansion of Brownian motion.


title: A Physics inspired Functional Operator for Model Uncertainty Quantification in the RKHS

abstract: Accurate uncertainty quantification of model predictions is a crucial problem in machine learning. Existing Bayesian methods, being highly iterative, are expensive to implement and often fail to accurately capture a model's true posterior because of their tendency to select only central moments. We propose a fast single-shot uncertainty quantification framework where, instead of working with the conventional Bayesian definition of model weight probability density function (PDF), we utilize physics inspired functional operators over the projection of model weights in a reproducing kernel Hilbert space (RKHS) to quantify their uncertainty at each model output. The RKHS projection of model weights yields a potential field based interpretation of model weight PDF which consequently allows the definition of a functional operator, inspired by perturbation theory in physics, that performs a moment decomposition of the model weight PDF (the potential field) at a specific model output to quantify its uncertainty. We call this representation of the model weight PDF as the quantum information potential field (QIPF) of the weights. The extracted moments from this approach automatically decompose the weight PDF in the local neighborhood of the specified model output and determine, with great sensitivity, the local heterogeneity of the weight PDF around a given prediction. These moments therefore provide sharper estimates of predictive uncertainty than central stochastic moments of Bayesian methods. Experiments evaluating the error detection capability of different uncertainty quantification methods on covariate shifted test data show our approach to be more precise and better calibrated than baseline methods, while being faster to compute.


title: General Space-Time Tradeoffs via Relational Queries

abstract: In this paper, we investigate space-time tradeoffs for answering Boolean conjunctive queries. The goal is to create a data structure in an initial preprocessing phase and use it for answering (multiple) queries. Previous work has developed data structures that trade off space usage for answering time and has proved conditional space lower bounds for queries of practical interest such as the path and triangle query. However, most of these results cater to only those queries, lack a comprehensive framework, and are not generalizable. The isolated treatment of these queries also fails to utilize the connections with extensive research on related problems within the database community. The key insight in this work is to exploit the formalism of relational algebra by casting the problems as answering join queries over a relational database. Using the notion of boolean {\em adorned queries} and {\em access patterns}, we propose a unified framework that captures several widely studied algorithmic problems. Our main contribution is three-fold. First, we present an algorithm that recovers existing space-time tradeoffs for several problems. The algorithm is based on an application of the {\em join size bound} to capture the space usage of our data structure. We combine our data structure with {\em query decomposition} techniques to further improve the tradeoffs and show that it is readily extensible to queries with negation. Second, we falsify two proposed conjectures in the existing literature related to the space-time lower bound for path queries and triangle detection for which we show unexpectedly better algorithms. This result opens a new avenue for improving several algorithmic results that have so far been assumed to be (conditionally) optimal. Finally, we prove new conditional space-time lower bounds for star and path queries.


title: Machine-Learning Enabled Search for The Next-Generation Catalyst for Hydrogen Evolution Reaction

abstract: The development of active catalysts for hydrogen evolution reaction (HER) made from low-cost materials constitutes a crucial challenge in the utilization of hydrogen energy. Earth-abundant molybdenum disulfide (MoS$_2$) has been discovered recently with good activity and stability for HER. In this report, we employed the hydrothermal technique for MoS$_2$ synthesis which is a cost-effective and environmentally friendly approach and has the potential for future mass production. To investigate the structure-property relationship, scanning electron microscope (SEM), transmission electron microscope (TEM), X-ray diffraction (XRD), Raman spectroscopy, X-ray photoelectron spectroscopy (XPS), and various electrochemical characterizations have been conducted. A strong correlation between the material structure and the HER performance has been observed. Moreover, machine-learning (ML) techniques were built and subsequently used within a Bayesian Optimization framework to validate the optimal parameter combinations for synthesizing high-quality MoS$_2$ catalyst within the limited parameter space. The model will be able to guide the wet chemical synthesis of MoS$_2$ and produce the most effective HER catalyst eventually.


title: Functional Data Analysis for Extracting the Intrinsic Dimensionality of Spectra: Application to Chemical Homogeneity in the Open Cluster M67

abstract: High-resolution spectroscopic surveys of the Milky Way have entered the Big Data regime and have opened avenues for solving outstanding questions in Galactic archaeology. However, exploiting their full potential is limited by complex systematics, whose characterization has not received much attention in modern spectroscopic analyses. In this work, we present a novel method to disentangle the component of spectral data space intrinsic to the stars from that due to systematics. Using functional principal component analysis on a sample of $18,933$ giant spectra from APOGEE, we find that the intrinsic structure above the level of observational uncertainties requires ${\approx}$10 functional principal components (FPCs). Our FPCs can reduce the dimensionality of spectra, remove systematics, and impute masked wavelengths, thereby enabling accurate studies of stellar populations. To demonstrate the applicability of our FPCs, we use them to infer stellar parameters and abundances of 28 giants in the open cluster M67. We employ Sequential Neural Likelihood, a simulation-based Bayesian inference method that learns likelihood functions using neural density estimators, to incorporate non-Gaussian effects in spectral likelihoods. By hierarchically combining the inferred abundances, we limit the spread of the following elements in M67: $\mathrm{Fe} \lesssim 0.02$ dex; $\mathrm{C} \lesssim 0.03$ dex; $\mathrm{O}, \mathrm{Mg}, \mathrm{Si}, \mathrm{Ni} \lesssim 0.04$ dex; $\mathrm{Ca} \lesssim 0.05$ dex; $\mathrm{N}, \mathrm{Al} \lesssim 0.07$ dex (at 68% confidence). Our constraints suggest a lack of self-pollution by core-collapse supernovae in M67, which has promising implications for the future of chemical tagging to understand the star formation history and dynamical evolution of the Milky Way.


title: The Design of Stretch: A Compact, Lightweight Mobile Manipulator for Indoor Human Environments

abstract: Mobile manipulators for indoor human environments can serve as versatile devices that perform a variety of tasks, yet adoption of this technology has been limited. Reducing size, weight, and cost could facilitate adoption, but risks restricting capabilities. We present a novel design that reduces size, weight, and cost, while supporting a variety of tasks. The core design consists of a two-wheeled differential-drive mobile base, a lift, and a telescoping arm configured to achieve Cartesian motion at the end of the arm. Design extensions include a 1 degree-of-freedom (DOF) wrist to stow a tool, a 2-DOF dexterous wrist to pitch and roll a tool, and a compliant gripper. We justify our design with anthropometry and mathematical models of static stability. We also provide empirical support from teleoperating and autonomously controlling a commercial robot based on our design (the Stretch RE1 from Hello Robot Inc.) to perform tasks in real homes.


title: Intercept Graph: An Interactive Radial Visualization for Comparison of State Changes

abstract: State change comparison of multiple data items is often necessary in multiple application domains, such as medical science, financial engineering, sociology, biological science, etc. Slope graphs and grouped bar charts have been widely used to show a "before-and-after" story of different data states and indicate their changes. However, they visualize state changes as either slope or difference of bars, which has been proved less effective for quantitative comparison. Also, both visual designs suffer from visual clutter issues with an increasing number of data items. In this paper, we propose Intercept Graph, a novel visual design to facilitate effective interactive comparison of state changes. Specifically, a radial design is proposed to visualize the starting and ending states of each data item and the line segment length explicitly encodes the "state change". By interactively adjusting the radius of the inner circular axis, Intercept Graph can smoothly filter the large state changes and magnify the difference between similar state changes, mitigating the visual clutter issues and enhancing the effective comparison of state changes. We conducted a case study through comparing Intercept Graph with slope graphs and grouped bar charts on real datasets to demonstrate the effectiveness of Intercept Graph.


title: Evaluating Effects of Background Stories on Graph Perception

abstract: A graph is an abstract model that represents relations among entities, for example, the interactions between characters in a novel. A background story endows entities and relations with real-world meanings and describes the semantics and context of the abstract model, for example, the actual story that the novel presents. Considering practical experience and prior research, human viewers who are familiar with the background story of a graph and those who do not know the background story may perceive the same graph differently. However, no previous research has adequately addressed this problem. This research paper thus presents an evaluation that investigated the effects of background stories on graph perception. Three hypotheses that focused on the role of visual focus areas, graph structure identification, and mental model formation on graph perception were formulated and guided three controlled experiments that evaluated the hypotheses using real-world graphs with background stories. An analysis of the resulting experimental data, which compared the performance of participants who read and did not read the background stories, obtained a set of instructive findings. First, having knowledge about a graph's background story influences participants' focus areas during interactive graph explorations. Second, such knowledge significantly affects one's ability to identify community structures but not high degree and bridge structures. Third, this knowledge influences graph recognition under blurred visual conditions. These findings can bring new considerations to the design of storytelling visualizations and interactive graph explorations.


title: Geo-Context Aware Study of Vision-Based Autonomous Driving Models and Spatial Video Data

abstract: Vision-based deep learning (DL) methods have made great progress in learning autonomous driving models from large-scale crowd-sourced video datasets. They are trained to predict instantaneous driving behaviors from video data captured by on-vehicle cameras. In this paper, we develop a geo-context aware visualization system for the study of Autonomous Driving Model (ADM) predictions together with large-scale ADM video data. The visual study is seamlessly integrated with the geographical environment by combining DL model performance with geospatial visualization techniques. Model performance measures can be studied together with a set of geospatial attributes over map views. Users can also discover and compare prediction behaviors of multiple DL models in both city-wide and street-level analysis, together with road images and video contents. Therefore, the system provides a new visual exploration platform for DL model designers in autonomous driving. Use cases and domain expert evaluation show the utility and effectiveness of the visualization system.


title: Updating Embeddings for Dynamic Knowledge Graphs

abstract: Data in Knowledge Graphs often represents part of the current state of the real world. Thus, to stay up-to-date the graph data needs to be updated frequently. To utilize information from Knowledge Graphs, many state-of-the-art machine learning approaches use embedding techniques. These techniques typically compute an embedding, i.e., vector representations of the nodes as input for the main machine learning algorithm. If a graph update occurs later on -- specifically when nodes are added or removed -- the training has to be done all over again. This is undesirable, because of the time it takes and also because downstream models which were trained with these embeddings have to be retrained if they change significantly. In this paper, we investigate embedding updates that do not require full retraining and evaluate them in combination with various embedding models on real dynamic Knowledge Graphs covering multiple use cases. We study approaches that place newly appearing nodes optimally according to local information, but notice that this does not work well. However, we find that if we continue the training of the old embedding, interleaved with epochs during which we only optimize for the added and removed parts, we obtain good results in terms of typical metrics used in link prediction. This performance is obtained much faster than with a complete retraining and hence makes it possible to maintain embeddings for dynamic Knowledge Graphs.


title: ProvLet: A Provenance Management Service for Long Tail Microscopy Data

abstract: Provenance management must be present to enhance the overall security and reliability of long-tail microscopy (LTM) data management systems. However, there are challenges in provenance for domains with LTM data. The provenance data need to be collected more frequently, which increases system overheads (in terms of computation and storage) and results in scalability issues. Moreover, in most scientific application domains a provenance solution must consider network-related events as well. Therefore, provenance data in LTM data management systems are highly diverse and must be organized and processed carefully. In this paper, we introduce a novel provenance service, called ProvLet, to collect, distribute, analyze, and visualize provenance data in LTM data management systems. This means (1) we address how to filter and store the desired transactions on disk; (2) we consider a data organization model at higher level data abstractions, suitable for step-by-step scientific experiments, such as datasets and collections, and develop provenance algorithms over these data abstractions, rather than solutions considering low-level abstractions such as files and folders. (3) We utilize ProvLet's log files and visualize provenance information for further forensics explorations. The validation of ProvLet with actual long tail microscopy data, collected over a period of six years, shows a provenance service that yields a low system overhead and enables scalability.


title: A Robust Asymmetric Kernel Function for Bayesian Optimization, with Application to Image Defect Detection in Manufacturing Systems

abstract: Some response surface functions in complex engineering systems are usually highly nonlinear, unformed, and expensive-to-evaluate. To tackle this challenge, Bayesian optimization, which conducts sequential design via a posterior distribution over the objective function, is a critical method used to find the global optimum of black-box functions. Kernel functions play an important role in shaping the posterior distribution of the estimated function. The widely used kernel function, e.g., radial basis function (RBF), is very vulnerable and susceptible to outliers; the existence of outliers is causing its Gaussian process surrogate model to be sporadic. In this paper, we propose a robust kernel function, Asymmetric Elastic Net Radial Basis Function (AEN-RBF). Its validity as a kernel function and computational complexity are evaluated. When compared to the baseline RBF kernel, we prove theoretically that AEN-RBF can realize smaller mean squared prediction error under mild conditions. The proposed AEN-RBF kernel function can also realize faster convergence to the global optimum. We also show that the AEN-RBF kernel function is less sensitive to outliers, and hence improves the robustness of the corresponding Bayesian optimization with Gaussian processes. Through extensive evaluations carried out on synthetic and real-world optimization problems, we show that AEN-RBF outperforms existing benchmark kernel functions.


title: Learning Geometric Transformations for Parametric Design: An Augmented Reality (AR)-Powered Approach

abstract: Despite the remarkable development of parametric modeling methods for architectural design, a significant problem still exists, which is the lack of knowledge and skill regarding the professional implementation of parametric design in architectural modeling. Considering the numerous advantages of digital/parametric modeling in rapid prototyping and simulation most instructors encourage students to use digital modeling even from the early stages of design; however, an appropriate context to learn the basics of digital design thinking is rarely provided in architectural pedagogy. This paper presents an educational tool, specifically an Augmented Reality (AR) intervention, to help students understand the fundamental concepts of para-metric modeling before diving into complex parametric modeling platforms. The goal of the AR intervention is to illustrate geometric transformation and the associated math functions so that students learn the mathematical logic behind the algorithmic thinking of parametric modeling. We have developed BRICKxAR_T, an educational AR prototype, that intends to help students learn geometric transformations in an immersive spatial AR environment. A LEGO set is used within the AR intervention as a physical manipulative to support physical interaction and im-prove spatial skill through body gesture.


title: Towards Multi-Agent Reinforcement Learning using Quantum Boltzmann Machines

abstract: Reinforcement learning has driven impressive advances in machine learning. Simultaneously, quantum-enhanced machine learning algorithms using quantum annealing underlie heavy developments. Recently, a multi-agent reinforcement learning (MARL) architecture combining both paradigms has been proposed. This novel algorithm, which utilizes Quantum Boltzmann Machines (QBMs) for Q-value approximation has outperformed regular deep reinforcement learning in terms of time-steps needed to converge. However, this algorithm was restricted to single-agent and small 2x2 multi-agent grid domains. In this work, we propose an extension to the original concept in order to solve more challenging problems. Similar to classic DQNs, we add an experience replay buffer and use different networks for approximating the target and policy values. The experimental results show that learning becomes more stable and enables agents to find optimal policies in grid-domains with higher complexity. Additionally, we assess how parameter sharing influences the agents behavior in multi-agent domains. Quantum sampling proves to be a promising method for reinforcement learning tasks, but is currently limited by the QPU size and therefore by the size of the input and Boltzmann machine.


title: Bulk and edge dynamics of a 2D Affleck-Kennedy-Lieb-Tasaki model

abstract: We study the dynamical properties of both bulk and edge spins of a two-dimensional Affleck-Kennedy-Lieb-Tasaki (AKLT) model mainly by using the stochastic series expansion quantum Monte Carlo method with stochastic analytic continuation. In the deep AKLT phase, we obtain a spin spectrum with flat band, which is a strong evidence for a localized state. Through the spectrum analysis, we see a clear continuous phase transition from the AKLT phase to the N\'eel phase in the model, and the energy gap becomes closed at the corresponding momentum point. In comparison with linear spin-wave theory, the differences show that there are strong interactions among magnons at high energies. With open boundary condition, the gap of edge spins in the AKLT phase closes at both the $\Gamma$ point and the $\pi$ point interestingly to emerge into a flat-band-like Luttinger liquid phase, which can be explained by symmetry and perturbation approximation. This paper helps us to better understand the completely different dynamical behaviors of bulk and edge spins in the symmetry protected topological phase.