title: Andreev Reflections in NbN/graphene Junctions under Large Magnetic Fields

abstract: Hybrid superconductor/graphene (SC/g) junctions are excellent candidates for investigating correlations between Cooper pairs and quantum Hall (QH) edge modes. Experimental studies are challenging as Andreev reflections are extremely sensitive to junction disorder and high magnetic fields are required to form QH edge states. We fabricated low-resistance SC/g interfaces, composed of graphene edge contacted with NbN with a barrier strength of $Z\approx 0.4$, that remain superconducting under magnetic fields larger than $18$ T. We establish the role of graphene's Dirac band structure on zero-field Andreev reflections and demonstrate dynamic tunability of the Andreev reflection spectrum by moving the boundary between specular and retro Andreev reflections with parallel magnetic fields. Through the application of perpendicular magnetic fields, we observe an oscillatory suppression of the 2-probe conductance in the $\nu = 4$ Landau level attributed to the reduced efficiency of Andreev processes at the NbN/g interface, consistent with theoretical predictions.


title: Molecules with ALMA at Planet-forming Scales (MAPS) XII: Inferring the C/O and S/H ratios in Protoplanetary Disks with Sulfur Molecules

abstract: Sulfur-bearing molecules play an important role in prebiotic chemistry and planet habitability. They are also proposed probes of chemical ages, elemental C/O ratio, and grain chemistry processing. Commonly detected in diverse astrophysical objects, including the Solar System, their distribution and chemistry remain, however, largely unknown in planet-forming disks. We present CS ($2-1$) observations at $\sim0."3$ resolution performed within the ALMA-MAPS Large Program toward the five disks around IM Lup, GM Aur, AS 209, HD 163296, and MWC 480. CS is detected in all five disks, displaying a variety of radial intensity profiles and spatial distributions across the sample, including intriguing apparent azimuthal asymmetries. Transitions of C$_2$S and SO were also serendipitously covered but only upper limits are found. For MWC 480, we present complementary ALMA observations at $\sim0."5$, of CS, $^{13}$CS, C$^{34}$S, H$_2$CS, OCS, and SO$_2$. We find a column density ratio N(H$_{2}$CS)/N(CS)$\sim2/3$, suggesting that a substantial part of the sulfur reservoir in disks is in organic form (i.e., C$_x$H$_y$S$_z$). Using astrochemical disk modeling tuned to MWC 480, we demonstrate that $N$(CS)/$N$(SO) is a promising probe for the elemental C/O ratio. The comparison with the observations provides a super-solar C/O. We also find a depleted gas-phase S/H ratio, suggesting either that part of the sulfur reservoir is locked in solid phase or that it remains in an unidentified gas-phase reservoir. This paper is part of the MAPS special issue of the Astrophysical Journal Supplement.


title: Project 412Connect: Bridging Students and Communities

abstract: In this work, we describe some of the challenges Black-owned businesses face in the United States, and specifically in the city of Pittsburgh. Taking into account local dynamics and the communicated desires of Black-owned businesses in the Pittsburgh region, we determine that university students represent an under-utilized market for these businesses. We investigate the root causes for this inefficiency and design and implement a platform, 412Connect (https://www.412connect.org/), to increase online support for Pittsburgh Black-owned businesses from students in the Pittsburgh university community. The site operates by coordinating interactions between student users and participating businesses via targeted recommendations. For platform designers, we describe the project from its conception, paying special attention to our motivation and design choices. Our design choices are aided by two simple, novel models for badge design and recommendation systems that may be of theoretical interest. Along the way we highlight challenges and lessons from coordinating a grassroots volunteer project working in conjunction with community partners, and the opportunities and pitfalls of engaged scholarship.


title: Striking a new balance in accuracy and simplicity with the Probabilistic Inductive Miner

abstract: Numerous process discovery techniques exist for generating process models that describe recorded executions of business processes. The models are meant to generalize executions into human-understandable modeling patterns, notably parallelism, and enable rigorous analysis of process deviations. However, well-defined models with parallelism returned by existing techniques are often too complex or generalize the recorded behavior too strongly to be trusted in a practical business context. We bridge this gap by introducing the Probabilistic Inductive Miner (PIM) based on the Inductive Miner framework. PIM compares in each step the most probable operators and structures based on frequency information in the data, which results in block-structured models with significantly higher accuracy. All design choices in PIM are based on business context requirements obtained through a user study with industrial process mining experts. PIM is evaluated quantitatively and in an novel kind of empirical study comparing users' trust in discovered model structures. The evaluations show that PIM strikes a unique trade-off between model accuracy and model complexity, that is conclusively preferred by users over all state-of-the-art process discovery methods.


title: Gravitational decoupling, hairy black holes and conformal anomalies

abstract: Hairy black holes in the gravitational decoupling setup are studied from the perspective of conformal anomalies. Fluctuations of decoupled sources can be computed by measuring the way the trace anomaly-to-holographic Weyl anomaly ratio differs from unit. Therefore the gravitational decoupling parameter governing three hairy black hole metrics is then bounded to a range wherein one can reliably emulate AdS/CFT with gravitational decoupled solutions, in the tensor vacuum regime.


title: Cold Molecular Gas in Merger Remnants. II. The properties of dense molecular gas

abstract: We present the 3 mm wavelength spectra of 28 local galaxy merger remnants obtained with the Large Millimeter Telescope. Fifteen molecular lines from 13 different molecular species and isotopologues were identified, and 21 out of 28 sources were detected in one or more molecular lines. On average, the line ratios of the dense gas tracers, such as HCN (1-0) and HCO$^{+}$(1-0), to $^{13}$CO (1-0) are 3-4 times higher in ultra/luminous infrared galaxies (U/LIRGs) than in non-LIRGs in our sample. These high line ratios could be explained by the deficiency of $^{13}$CO and high dense gas fractions suggested by high HCN (1-0)/$^{12}$CO (1-0) ratios. We calculate the IR-to-HCN (1-0) luminosity ratio as a proxy of the dense gas star formation efficiency. There is no correlation between the IR/HCN ratio and the IR luminosity, while the IR/HCN ratio varies from source to source (1.1-6.5) $\times 10^{3}$ $L_{\odot}$/(K km s$^{-1}$ pc$^{2}$). Compared with the control sample, we find that the average IR/HCN ratio of the merger remnants is higher by a factor of 2-3 than those of the early/mid-stage mergers and non-merging LIRGs, and it is comparable to that of the late-stage mergers. The IR-to-$^{12}$CO (1-0) ratios show a similar trend to the IR/HCN ratios. These results suggest that star formation efficiency is enhanced by the merging process and maintained at high levels even after the final coalescence. The dynamical interactions and mergers could change the star formation mode and continue to impact the star formation properties of the gas in the post-merger phase.


title: The Hardy--Littlewood--Chowla conjecture in the presence of a Siegel zero

abstract: Assuming that Siegel zeros exist, we prove a hybrid version of the Chowla and Hardy--Littlewood prime tuples conjectures. Thus, for an infinite sequence of natural numbers $x$, and any distinct integers $h_1,\dots,h_k,h'_1,\dots,h'_\ell$, we establish an asymptotic formula for $$\sum_{n\leq x}\Lambda(n+h_1)\cdots \Lambda(n+h_k)\lambda(n+h_{1}')\cdots \lambda(n+h_{\ell}')$$ for any $0\leq k\leq 2$ and $\ell \geq 0$. Specializing to either $\ell=0$ or $k=0$, we deduce the previously known results on the Hardy--Littlewood (or twin primes) conjecture and the Chowla conjecture under the existence of Siegel zeros, due to Heath-Brown and Chinis, respectively. The range of validity of our asymptotic formula is wider than in these previous results.


title: Evidence for enhanced neutron-proton correlations from the level structure of the $N=Z+1$ nucleus $^{87}_{43}$Tc$^{\ }_{44}$

abstract: The low-lying excited states in the neutron-deficient $N=Z+1$ nucleus $^{87}_{43}$Tc$^{\ }_{44}$ have been studied via the fusion-evaporation reaction $^{54}$Fe($^{36}$Ar, $2n1p$)$^{87}$Tc at the Grand Acc\'el\'erateur National d'Ions Lourds (GANIL), France. The AGATA spectrometer was used in conjunction with the auxiliary NEDA, Neutron Wall, and DIAMANT detector arrays to measure coincident prompt $\gamma$-rays, neutrons, and charged particles emitted in the reaction. A level scheme of $^{87}$Tc from the (9/2$^{+}_{g.s.}$) state to the (33/2$^{+}_{1}$) state was established based on 6 mutually coincident $\gamma$-ray transitions. The constructed level structure exhibits a rotational behavior with a sharp backbending at $\hbar\omega\approx 0.50$ MeV. A decrease in alignment frequency and increase in alignment sharpness in the odd-mass isotonic chains around $N=44$ is proposed as an effect of the enhanced isoscalar neutron-proton interactions in odd-mass nuclei when approaching the $N=Z$ line.


title: Exotic Ideals in Free Transformation Group $C^*$-Algebras

abstract: Let $\Gamma$ be a discrete group acting freely via homeomorphisms on the compact Hausdorff space $X$ and let $C(X) \rtimes_\eta \Gamma$ be the completion of the convolution algebra $C_c(\Gamma,C(X))$ with respect to a $C^*$-norm $\eta$. A non-zero ideal $J \unlhd C(X) \rtimes_\eta \Gamma$ is exotic if $J \cap C(X) = \{0\}$. We show that exotic ideals are present whenever $\Gamma$ is non-amenable and there is an invariant probability measure on $X$. This fact, along with the recent theory of exotic crossed product functors, allows us to provide answers to two questions of K. Thomsen. Using the Koopman representation and a recent theorem of Elek, we show that when $\Gamma$ is a countably-infinite group having property (T) and $X$ is the Cantor set, there exists a free and minimal action of $\Gamma$ on $X$ and a $C^*$-norm $\eta$ on $C_c(\Gamma, C(X))$ such that $C(X)\rtimes_\eta\Gamma$ contains the compact operators as an exotic ideal. We use this example to provide a positive answer to a question of A. Katavolos and V. Paulsen. The opaque and grey ideals in $C(X)\rtimes_\eta \Gamma$ have trivial intersection with $C(X)$, and a result from arXiv:1901.09683 shows they coincide when the action of $\Gamma$ is free, however the problem of whether these ideals can be non-zero was left unresolved. We present an example of a free action of $\Gamma$ on a compact Hausdorff space $X$ along with a $C^*$-norm $\eta$ for which these ideals are non-trivial, in particular, they are exotic ideals.


title: On the regularized risk of distributionally robust learning over deep neural networks

abstract: In this paper we explore the relation between distributionally robust learning and different forms of regularization to enforce robustness of deep neural networks. In particular, starting from a concrete min-max distributionally robust problem, and using tools from optimal transport theory, we derive first order and second order approximations to the distributionally robust problem in terms of appropriate regularized risk minimization problems. In the context of deep ResNet models, we identify the structure of the resulting regularization problems as mean-field optimal control problems where the number and dimension of state variables is within a dimension-free factor of the dimension of the original unrobust problem. Using the Pontryagin maximum principles associated to these problems we motivate a family of scalable algorithms for the training of robust neural networks. Our analysis recovers some results and algorithms known in the literature (in settings explained throughout the paper) and provides many other theoretical and algorithmic insights that to our knowledge are novel. In our analysis we employ tools that we deem useful for a future analysis of more general adversarial learning problems.


title: Chasing the Tail of Cosmic Reionization with Dark Gap Statistics in the Ly$\alpha$ Forest over $5 < z < 6$

abstract: We present a new investigation of the intergalactic medium (IGM) near the end of reionization using "dark gaps" in the Lyman-alpha (Ly$\alpha$) forest. Using spectra of 55 QSOs at $z_{\rm em}>5.5$, including new data from the XQR-30 VLT Large Programme, we identify gaps in the Ly$\alpha$ forest where the transmission averaged over 1 comoving $h^{-1}\,{\rm Mpc}$ bins falls below 5%. Nine ultra-long ($L > 80~h^{-1}\,{\rm Mpc}$) dark gaps are identified at $z<6$. In addition, we quantify the fraction of QSO spectra exhibiting gaps longer than $30~h^{-1}\,{\rm Mpc}$, $F_{30}$, as a function of redshift. We measure $F_{30} \simeq 0.9$, 0.6, and 0.15 at $z = 6.0$, 5.8, and 5.6, respectively, with the last of these long dark gaps persisting down to $z \simeq 5.3$. Comparing our results with predictions from hydrodynamical simulations, we find that the data are consistent with models wherein reionization extends significantly below redshift six. Models wherein the IGM is essentially fully reionized that retain large-scale fluctuations in the ionizing UV background at $z \lesssim 6$ are also potentially consistent with the data. Overall, our results suggest that signature of reionization in the form of islands of neutral hydrogen and/or large-scale fluctuations in the ionizing background remain present in the IGM until at least $z \simeq 5.3$.


title: Monocular Camera Localization for Automated Vehicles Using Image Retrieval

abstract: We address the problem of finding the current position and heading angle of an autonomous vehicle in real-time using a single camera. Compared to methods which require LiDARs and high definition (HD) 3D maps in real-time, the proposed approach is easily scalable and computationally efficient, at the price of lower precision. The new method combines and adapts existing algorithms in three different fields: image retrieval, mapping database, and particle filtering. The result is a simple, real-time localization method using an image retrieval method whose performance is comparable to other monocular camera localization methods which use a map built with LiDARs. We evaluate the proposed method using the KITTI odometry dataset and via closed-loop experiments with an indoor 1:10 autonomous vehicle. The tests demonstrate real-time capability and a 10cm level accuracy. Also, experimental results of the closed-loop indoor tests show the presence of a positive feedback loop between the localization error and the control error. Such phenomena is analysed in details at the end of the article.


title: Martingale solutions of the stochastic Hall-magnetohydrodynamics equations on $\mathbb{R}^3$

abstract: We prove the existence of a global martingale solution of a stochastic Hall-magnetohydrodynamics equations on $\mathbb{R}^3$ with multiplicative noise. Using the Fourier analysis we construct a sequence of approximate solutions. The existence of a solution is proved via the stochastic compactness method and the Jakubowski generalization of the Skorokhod theorem for nonmetric spaces, in particular, the spaces with weak topologies. The main difficulty is caused by the Hall term which makes the equations strongly nonlinear.


title: Uniformly distributed sequences generated by a greedy minimization of the $L_2$ discrepancy

abstract: The aim of this paper is to develop greedy algorithms which generate uniformly distributed sequences in the $d$-dimensional unit cube $[0,1]^d$. The figures of merit are three different variants of $L_2$ discrepancy. Theoretical results along with numerical experiments suggest that the resulting sequences have excellent distribution properties. The approach we follow here is motivated by recent work of Steinerberger and Pausinger who consider similar greedy algorithms, where they minimize functionals that can be related to the star discrepancy or energy of point sets. In contrast to many greedy algorithms where the resulting elements of the sequence can only be given numerically, we will find that in the one-dimensional case our algorithms yield rational numbers which we can describe precisely. In particular, we will observe that any initial segment of a sequence in $[0,1)$ can be naturally extended to a uniformly distributed sequence where all subsequent elements are of the form $x_N=\frac{2n-1}{2N}$ for some $n\in\{1,\dots,N\}$. We will also investigate the dependence of the $L_2$ discrepancy of the resulting sequences on the dimension $d$.


title: Continuity of Parametric Optima for Possibly Discontinuous Functions and Noncompact Decision Sets

abstract: This paper investigates continuity properties of value functions and solutions for parametric optimization problems. These problems are important in operations research, control, and economics because optimality equations are their particular cases. The classic fact, Berge's maximum theorem, gives sufficient conditions for continuity of value functions and upper semicontinuity of solution multifunctions. Berge's maximum theorem assumes that the objective function is continuous and the multifunction of feasible sets is compact-valued. These assumptions are not satisfied in many applied problems, which historically has limited the relevance of the theorem. This paper generalizes Berge's maximum theorem in three directions: (i) the objective function may not be continuous, (ii) the multifunction of feasible sets may not be compact-valued, and (iii) necessary and sufficient conditions are provided. To illustrate the main theorem, this paper provides applications to inventory control and to the analysis of robust optimization over possibly noncompact action sets and discontinuous objective functions.


title: An area-depth symmetric $q,t$-Catalan polynomial

abstract: We define two symmetric $q,t$-Catalan polynomials in terms of the area and depth statistic and in terms of the dinv and dinv of depth statistics. We prove symmetry using an involution on plane trees. The same involution proves symmetry of the Tutte polynomials. We also provide a combinatorial proof of a remark by Garsia et al. regarding parking functions and the number of connected graphs on a fixed number of vertices.


title: Past, present and Future of the Scaling Relations of Galaxies and Active Galactic Nuclei

abstract: We review the properties of the established Scaling Relations (SRs) of galaxies and active galactic nuclei (AGN), focusing on their origin and expected evolution back in time, providing a short history of the most important progresses obtained up to now and discussing the possible future studies. We also try to connect the observed SRs with the physical mechanisms behind them, examining to what extent current models reproduce the observational data. The emerging picture clarifies the complexity intrinsic to the galaxy formation and evolution process as well as the basic uncertainties still affecting our knowledge of the AGN phenomenon. At the same time, however, it suggests that the detailed analysis of the SRs can profitably contribute to our understanding of galaxies and AGN.


title: Developers Who Vlog: Dismantling Stereotypes through Community and Identity

abstract: Developers are more than "nerds behind computers all day", they lead a normal life, and not all take the traditional path to learn programming. However, the public still sees software development as a profession for "math wizards". To learn more about this special type of knowledge worker from their first-person perspective, we conducted three studies to learn how developers describe a day in their life through vlogs on YouTube and how these vlogs were received by the broader community. We first interviewed 16 developers who vlogged to identify their motivations for creating this content and their intention behind what they chose to portray. Second, we analyzed 130 vlogs (video blogs) to understand the range of the content conveyed through videos. Third, we analyzed 1176 comments from the 130 vlogs to understand the impact the vlogs have on the audience. We found that developers were motivated to promote and build a diverse community, by sharing different aspects of life that define their identity, and by creating awareness about learning and career opportunities in computing. They used vlogs to share a variety of how software developers work and live -- showcasing often unseen experiences, including intimate moments from their personal life. From our comment analysis, we found that the vlogs were valuable to the audience to find information and seek advice. Commenters sought opportunities to connect with others over shared triumphs and trials they faced that were also shown in the vlogs. As a central theme, we found that developers use vlogs to challenge the misconceptions and stereotypes around their identity, work-life, and well-being. These social stigmas are obstacles to an inclusive and accepting community and can deter people from choosing software development as a career. We also discuss the implications of using vlogs to support developers, researchers, and beyond.


title: On the degree of algebraic cycles on hypersurfaces

abstract: Let $X\subset\mathbb P^4$ be a very general hypersurface of degree $d\ge6$. Griffiths and Harris conjectured in 1985 that the degree of every curve $C\subset X$ is divisible by $d$. Despite substantial progress by Koll\'ar in 1991, this conjecture is not known for a single value of $d$. Building on Koll\'ar's method, we prove this conjecture for infinitely many $d$, the smallest one being $d=5005$. The set of these degrees $d$ has positive density. We also prove a higher-dimensional analogue of this result and construct smooth hypersurfaces defined over $\mathbb Q$ that satisfy the conjecture.


title: Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus Exploration

abstract: Phrase representations derived from BERT often do not exhibit complex phrasal compositionality, as the model relies instead on lexical similarity to determine semantic relatedness. In this paper, we propose a contrastive fine-tuning objective that enables BERT to produce more powerful phrase embeddings. Our approach (Phrase-BERT) relies on a dataset of diverse phrasal paraphrases, which is automatically generated using a paraphrase generation model, as well as a large-scale dataset of phrases in context mined from the Books3 corpus. Phrase-BERT outperforms baselines across a variety of phrase-level similarity tasks, while also demonstrating increased lexical diversity between nearest neighbors in the vector space. Finally, as a case study, we show that Phrase-BERT embeddings can be easily integrated with a simple autoencoder to build a phrase-based neural topic model that interprets topics as mixtures of words and phrases by performing a nearest neighbor search in the embedding space. Crowdsourced evaluations demonstrate that this phrase-based topic model produces more coherent and meaningful topics than baseline word and phrase-level topic models, further validating the utility of Phrase-BERT.


title: PENELLOPE II. CVSO 104: a pre-main sequence close binary with an optical companion in Ori OB1

abstract: We present results of our study of the close pre-main sequence spectroscopic binary CVSO 104 in Ori OB1, based on data obtained within the PENELLOPE legacy program. We derive, for the first time, the orbital elements of the system and the stellar parameters of the two components. The system is composed of two early M-type stars and has an orbital period of about 5 days and a mass ratio of 0.92, but contrarily to expectations does not appear to have a tertiary companion. Both components have been (quasi-)synchronized, but the orbit is still very eccentric. The spectral energy distribution clearly displays a significant infrared excess compatible with a circumbinary disk. The analysis of HeI and Balmer line profiles, after the removal of the composite photospheric spectrum, reveals that both components are accreting at a similar level. We also observe excess emission in H$\alpha$ and H$\beta$, which appears redshifted or blueshifted by more than 100 km/s with respect to the mass center of the system depending on the orbital phase. This additional emission could be connected with accretion structures, such as funnels of matter from the circumbinary disk. We also analyze the optical companion located at about 2".4 from the spectroscopic binary. This companion, that we named CVSO 104B, turns out to be a background Sun-like star not physically associated with the PMS system and not belonging to Ori OB1.


title: BERT for Target Apps Selection: Analyzing the Diversity and Performance of BERT in Unified Mobile Search

abstract: A unified mobile search framework aims to identify the mobile apps that can satisfy a user's information need and route the user's query to them. Previous work has shown that resource descriptions for mobile apps are sparse as they rely on the app's previous queries. This problem puts certain apps in dominance and leaves out the resource-scarce apps from the top ranks. In this case, we need a ranker that goes beyond simple lexical matching. Therefore, our goal is to study the extent of a BERT-based ranker's ability to improve the quality and diversity of app selection. To this end, we compare the results of the BERT-based ranker with other information retrieval models, focusing on the analysis of selected apps diversification. Our analysis shows that the BERT-based ranker selects more diverse apps while improving the quality of baseline results by selecting the relevant apps such as Facebook and Contacts for more personal queries and decreasing the bias towards the dominant resources such as the Google Search app.


title: High thermoelectric and optical conductivity driven by the interaction of Boron and Nitrogen dopant atoms with a 2D monolayer Beryllium Oxide

abstract: The electronic, thermal and optical properties of a monolayer BeO with Boron (B) and Nitrogen (N) co-dopant atoms are studied by means of a density functional theory computation. Our calculations reveal that BeO with BN-codopant atoms can give rise to more effective and outstanding performance for the thermal and optical responses. More significantly, the monolayer BeO with BN codopant atoms becomes a semiconductor with a direct band gap in comparison with the insulator behavior of pristine BeO. The particular attention of this work is paid to the influence of the atomic configuration and the interaction of the B and N dopant atoms with BeO. The interaction of the B and N atoms with the BeO monolayer diminishes degenerate energy states forming flat bands. It is also found that there is a strong attractive interaction between the O and N atoms forming a strong sigma bond breaking the symmetry of BeO structure. Consequently, the band gap is reduced leading to a semiconductor behavior with improved thermoelectric properties such as the Seebeck coefficient and the figure of merit. The reduced band gap and the flat bands induce a high optical responses such as the refractive index, the reflectivity and the optical conductivity in the visible light region. In addition, the anisotropy of a monolayer BeO with B and N atoms regarding different direction of electromagnetic polarization is presented. We anticipate that our results can be useful for design of both thermoelectric and optoelectronic devices.


title: Improving Scheduled Sampling with Elastic Weight Consolidation for Neural Machine Translation

abstract: Despite strong performance in many sequence-to-sequence tasks, autoregressive models trained with maximum likelihood estimation suffer from exposure bias, i.e. the discrepancy between the ground-truth prefixes used during training and the model-generated prefixes used at inference time. Scheduled sampling is a simple and empirically successful approach which addresses this issue by incorporating model-generated prefixes into training. However, it has been argued that it is an inconsistent training objective leading to models ignoring the prefixes altogether. In this paper, we conduct systematic experiments and find that scheduled sampling, while it ameliorates exposure bias by increasing model reliance on the input sequence, worsens performance when the prefix at inference time is correct, a form of catastrophic forgetting. We propose to use Elastic Weight Consolidation to better balance mitigating exposure bias with retaining performance. Experiments on four IWSLT'14 and WMT'14 translation datasets demonstrate that our approach alleviates catastrophic forgetting and significantly outperforms maximum likelihood estimation and scheduled sampling baselines.


title: Fairness and Data Protection Impact Assessments

abstract: In this paper, we critically examine the effectiveness of the requirement to conduct a Data Protection Impact Assessment (DPIA) in Article 35 of the General Data Protection Regulation (GDPR) in light of fairness metrics. Through this analysis, we explore the role of the fairness principle as introduced in Article 5(1)(a) and its multifaceted interpretation in the obligation to conduct a DPIA. Our paper argues that although there is a significant theoretical role for the considerations of fairness in the DPIA process, an analysis of the various guidance documents issued by data protection authorities on the obligation to conduct a DPIA reveals that they rarely mention the fairness principle in practice.


title: State Relevance for Off-Policy Evaluation

abstract: Importance sampling-based estimators for off-policy evaluation (OPE) are valued for their simplicity, unbiasedness, and reliance on relatively few assumptions. However, the variance of these estimators is often high, especially when trajectories are of different lengths. In this work, we introduce Omitting-States-Irrelevant-to-Return Importance Sampling (OSIRIS), an estimator which reduces variance by strategically omitting likelihood ratios associated with certain states. We formalize the conditions under which OSIRIS is unbiased and has lower variance than ordinary importance sampling, and we demonstrate these properties empirically.


title: The winking eye of a very massive star: WR 21a revealed as an eclipsing binary by TESS

abstract: WR~21a was known as a massive spectroscopic binary composed of an O2.5 If*/WN6ha primary and an O3 V((f*))z secondary. Although a minimum value, the mass estimated for the primary placed it as one of the most massive stars found in our Galaxy. We report the discovery of photometric variations in the time series observations carried out by the Transiting Exoplanet Survey Satellite (TESS). These light variations are interpreted as formed by two main components: a sharp partial eclipse of the O3 secondary by the O2.5/WN6 star, and tidally excited oscillations. Based on the light minima a new ephemeris for the system is calculated. The system configuration is detached and the observed eclipse corresponds to the periastron passage. During the eclipse, the light curve shape suggests the presence of the heartbeat effect. The frequencies derived for the tidally excited oscillations are harmonics of the orbital period. Combining new and previously published radial velocity measurements, a new spectroscopic orbital solution is also obtained. Using the \textsc{phoebe} code we model the \textit{TESS} light curve and determine stellar radii of $R_{\rm O2.5/WN6}=23.4$ R$_\odot$ and $R_{\rm O3}=14.3$ R$_\odot$ and an orbital inclination $i=62^\circ\!\!.2\pm0^\circ\!\!.9$. The latter combined with the spectroscopic minimum masses lead to absolute masses of $M_{\rm O2.5/WN6}=93.2$ M$_\odot$ and $M_{\rm O3}=52.9$ M$_\odot$, which establishes WR21a as belonging to the rare group of the very massive stars.


title: Learning-to-defer for sequential medical decision-making under uncertainty

abstract: Learning-to-defer is a framework to automatically defer decision-making to a human expert when ML-based decisions are deemed unreliable. Existing learning-to-defer frameworks are not designed for sequential settings. That is, they defer at every instance independently, based on immediate predictions, while ignoring the potential long-term impact of these interventions. As a result, existing frameworks are myopic. Further, they do not defer adaptively, which is crucial when human interventions are costly. In this work, we propose Sequential Learning-to-Defer (SLTD), a framework for learning-to-defer to a domain expert in sequential decision-making settings. Contrary to existing literature, we pose the problem of learning-to-defer as model-based reinforcement learning (RL) to i) account for long-term consequences of ML-based actions using RL and ii) adaptively defer based on the dynamics (model-based). Our proposed framework determines whether to defer (at each time step) by quantifying whether a deferral now will improve the value compared to delaying deferral to the next time step. To quantify the improvement, we account for potential future deferrals. As a result, we learn a pre-emptive deferral policy (i.e. a policy that defers early if using the ML-based policy could worsen long-term outcomes). Our deferral policy is adaptive to the non-stationarity in the dynamics. We demonstrate that adaptive deferral via SLTD provides an improved trade-off between long-term outcomes and deferral frequency on synthetic, semi-synthetic, and real-world data with non-stationary dynamics. Finally, we interpret the deferral decision by decomposing the propagated (long-term) uncertainty around the outcome, to justify the deferral decision.


title: Free space strange and unipolar EM pulses: yes or no?

abstract: E.G. Bessonov suggested the time integrated strength of electric field $\int_{-\infty}^{\infty}E(r,t)dt=S_E(r)$ as a parameter to classify electromagnetic (EM) waves. Since then, this parameter has been studied and used in many works on microwave and laser physics, especially when it comes to unipolar, bipolar and few cycle EM pulses. In this paper, it is shown that $S_E(r)=0$ is an identity for a wide class of free space pulses of finite total energy. This property can be useful in various applications of few cycle radiation and as a benchmark in EM and QED computations.


title: Dichotomy results for eventually always hitting time statistics and almost sure growth of extremes

abstract: Suppose $(f,\mathcal{X},\mu)$ is a measure preserving dynamical system and $\phi \colon \mathcal{X} \to \mathbb{R}$ a measurable function. Consider the maximum process $M_n:=\max\{X_1 \ldots,X_n\}$, where $X_i=\phi\circ f^{i-1}$ is a time series of observations on the system. Suppose that $(u_n)$ is a non-decreasing sequence of real numbers, such that $\mu(X_1>u_n)\to 0$. For certain dynamical systems, we obtain a zero--one measure dichotomy for $\mu(M_n\leq u_n\,\textrm{i.o.})$ depending on the sequence $u_n$. Specific examples are piecewise expanding interval maps including the Gauss map. For the broader class of non-uniformly hyperbolic dynamical systems, we make significant improvements on existing literature for characterising the sequences $u_n$. Our results on the permitted sequences $u_n$ are commensurate with the optimal sequences (and series criteria) obtained by Klass (1985) for i.i.d. processes. Moreover, we also develop new series criteria on the permitted sequences in the case where the i.i.d. theory breaks down. Our analysis has strong connections to specific problems in eventual always hitting time statistics and extreme value theory.


title: Generative Quantum Learning of Joint Probability Distribution Functions

abstract: Modeling joint probability distributions is an important task in a wide variety of fields. One popular technique for this employs a family of multivariate distributions with uniform marginals called copulas. While the theory of modeling joint distributions via copulas is well understood, it gets practically challenging to accurately model real data with many variables. In this work, we design quantum machine learning algorithms to model copulas. We show that any copula can be naturally mapped to a multipartite maximally entangled state. A variational ansatz we christen as a `qopula' creates arbitrary correlations between variables while maintaining the copula structure starting from a set of Bell pairs for two variables, or GHZ states for multiple variables. As an application, we train a Quantum Generative Adversarial Network (QGAN) and a Quantum Circuit Born Machine (QCBM) using this variational ansatz to generate samples from joint distributions of two variables for historical data from the stock market. We demonstrate our generative learning algorithms on trapped ion quantum computers from IonQ for up to 8 qubits and show that our results outperform those obtained through equivalent classical generative learning. Further, we present theoretical arguments for exponential advantage in our model's expressivity over classical models based on communication and computational complexity arguments.


title: Learning Constraints and Descriptive Segmentation for Subevent Detection

abstract: Event mentions in text correspond to real-world events of varying degrees of granularity. The task of subevent detection aims to resolve this granularity issue, recognizing the membership of multi-granular events in event complexes. Since knowing the span of descriptive contexts of event complexes helps infer the membership of events, we propose the task of event-based text segmentation (EventSeg) as an auxiliary task to improve the learning for subevent detection. To bridge the two tasks together, we propose an approach to learning and enforcing constraints that capture dependencies between subevent detection and EventSeg prediction, as well as guiding the model to make globally consistent inference. Specifically, we adopt Rectifier Networks for constraint learning and then convert the learned constraints to a regularization term in the loss function of the neural model. Experimental results show that the proposed method outperforms baseline methods by 2.3% and 2.5% on benchmark datasets for subevent detection, HiEve and IC, respectively, while achieving a decent performance on EventSeg prediction.


title: Project Pipeline: Preservation, Persistence, and Performance

abstract: Preservation pipelines demonstrate extended value when digitized content is also computation ready. Expanding this to historical controlled vocabularies published in analog format requires additional steps if they are to be fully leveraged for research. This paper reports on work addressing this challenge. We report on a pipeline and project progress addressing three key goals: 1) transforming the 1910 Library of Congress Subject Headings (LCSH) to the Simple Knowledge Organization System (SKOS) linked data standard, 2) implementing persistent identifiers (PIDs) and launching our prototype ARK resolver, and 3) importing the 1910 LCSH into the Helping Interdisciplinary Vocabulary Engineering (HIVE) System to support automatic metadata generation and scholarly analysis of the historical record. The discussion considers the implications of our work in the broader context of preservation, and the conclusion summarizes our work and identifies next steps.


title: Crossover scaling functions in the asymmetric avalanche process

abstract: We consider the particle current in the asymmetric avalanche process on a ring. It is known to exhibit a transition from the intermittent to continuous flow at the critical density of particles. The exact expressions for the first two scaled cumulants of the particle current are obtained in the large time limit $t\to\infty$ via the Bethe ansatz and a perturbative solution of the TQ-equation. The results are presented in an integral form suitable for the asymptotic analysis in the large system size limit $N\to\infty$. In this limit the first cumulant, the average current per site or the average velocity of the associated interface, is asymptotically finite below the critical density and grows linearly and exponentially times power law prefactor at the critical density and above, respectively. The scaled second cumulant per site, i.e. the diffusion coefficient or the scaled variance of the associated interface height, shows the $O(N^{-1/2})$ decay expected for models in the Kardar-Parisi-Zhang universality class below the critical density, while it is growing as $O(N^{3/2})$ and exponentially times power law prefactor at the critical point and above. Also, we identify the crossover regime and obtain the scaling functions for the uniform asymptotics unifying the three regimes. These functions are compared to the scaling functions describing crossover of the cumulants of the avalanche size, obtained as statistics of the first return area under the time space trajectory of the Vasicek random process.


title: Molecules with ALMA at Planet-forming Scales (MAPS). IX. Distribution and Properties of the Large Organic Molecules HC$_3$N, CH$_3$CN, and $c$-C$_3$H$_2$

abstract: The precursors to larger, biologically-relevant molecules are detected throughout interstellar space, but determining the presence and properties of these molecules during planet formation requires observations of protoplanetary disks at high angular resolution and sensitivity. Here we present 0.3" observations of HC$_3$N, CH$_3$CN, and $c$-C$_3$H$_2$ in five protoplanetary disks observed as part of the Molecules with ALMA at Planet-forming Scales (MAPS) Large Program. We robustly detect all molecules in four of the disks (GM Aur, AS 209, HD 163296 and MWC 480) with tentative detections of $c$-C$_3$H$_2$ and CH$_3$CN in IM Lup. We observe a range of morphologies -- central peaks, single or double rings -- with no clear correlation in morphology between molecule nor disk. Emission is generally compact and on scales comparable with the millimetre dust continuum. We perform both disk-integrated and radially-resolved rotational diagram analysis to derive column densities and rotational temperatures. The latter reveals 5-10 times more column density in the inner 50-100 au of the disks when compared with the disk-integrated analysis. We demonstrate that CH$_3$CN originates from lower relative heights in the disks when compared with HC$_3$N, in some cases directly tracing the disk midplane. Finally, we find good agreement between the ratio of small to large nitriles in the outer disks and comets. Our results indicate that the protoplanetary disks studied here are host to significant reservoirs of large organic molecules, and that this planet- and comet-building material can be chemically similar to that in our own Solar System. This paper is part of the MAPS special issue of the Astrophysical Journal Supplement Series.


title: Effects of dust particles charged by inelastic collisions and by photoionization on Alfv\'en waves in a stellar wind

abstract: Using a kinetic description of a homogeneous magnetized dusty plasma with Maxwellian distribution of electrons and protons and dust particles charged by inelastic collisions and by photoionization, we analyse the dispersion relation considering the case where waves and radiation propagate exactly parallel to the ambient magnetic field. The investigation emphasizes the changes that the photoionization process brings to the propagation and damping of the waves in a stellar wind environment, since Alfv\'en waves are believed to play a significant role in the heating and acceleration processes that take place in the wind. The results show that, in the presence of dust with negative equilibrium electrical charge, the Alfv\'en mode decouples into the whistler and ion cyclotron modes for all values of wavenumber, but when dust particles acquire neutral or positive values of electrical charge, these modes may couple for certain values of wavenumber. It is also seen that the whistler and ion cyclotron modes present null group velocity in a interval of small wavenumber, and that the maximum value of wavenumber for which the waves are non-propagating is reduced in the presence of the photoionization process. For very small values of wavenumber, the damping rates of the modes could change significantly from very small to very high values if the sign of the dust electrical charge is changed.


title: Mitigating Sampling Bias and Improving Robustness in Active Learning

abstract: This paper presents simple and efficient methods to mitigate sampling bias in active learning while achieving state-of-the-art accuracy and model robustness. We introduce supervised contrastive active learning by leveraging the contrastive loss for active learning under a supervised setting. We propose an unbiased query strategy that selects informative data samples of diverse feature representations with our methods: supervised contrastive active learning (SCAL) and deep feature modeling (DFM). We empirically demonstrate our proposed methods reduce sampling bias, achieve state-of-the-art accuracy and model calibration in an active learning setup with the query computation 26x faster than Bayesian active learning by disagreement and 11x faster than CoreSet. The proposed SCAL method outperforms by a big margin in robustness to dataset shift and out-of-distribution.


title: Stability of the Weak Martingale Optimal Transport Problem

abstract: While many questions in (robust) finance can be posed in the martingale optimal transport (MOT) framework, others require to consider also non-linear cost functionals. Following the terminology of Gozlan, Roberto, Samson and Tetali this corresponds to weak martingale optimal transport (WMOT). In this article we establish stability of WMOT which is important since financial data can give only imprecise information on the underlying marginals. As application, we deduce the stability of the superreplication bound for VIX futures as well as the stability of stretched Brownian motion and we derive a monotonicity principle for WMOT.


title: Stochastic Observer for SLAM on the Lie Group

abstract: A robust nonlinear stochastic observer for simultaneous localization and mapping (SLAM) is proposed using the available uncertain measurements of angular velocity, translational velocity, and features. The proposed observer is posed on the Lie Group of $\mathbb{SLAM}_{n}\left(3\right)$ to mimic the true stochastic SLAM dynamics. The proposed approach considers the velocity measurements to be attached with an unknown bias and an unknown Gaussian noise. The proposed SLAM observer ensures that the closed loop error signals are semi-globally uniformly ultimately bounded. Simulation results demonstrates the efficiency and robustness of the proposed approach, revealing its ability to localize the unknown vehicle, as well as mapping the unknown environment given measurements obtained from low-cost units.


title: A Massively Multilingual Analysis of Cross-linguality in Shared Embedding Space

abstract: In cross-lingual language models, representations for many different languages live in the same space. Here, we investigate the linguistic and non-linguistic factors affecting sentence-level alignment in cross-lingual pretrained language models for 101 languages and 5,050 language pairs. Using BERT-based LaBSE and BiLSTM-based LASER as our models, and the Bible as our corpus, we compute a task-based measure of cross-lingual alignment in the form of bitext retrieval performance, as well as four intrinsic measures of vector space alignment and isomorphism. We then examine a range of linguistic, quasi-linguistic, and training-related features as potential predictors of these alignment metrics. The results of our analyses show that word order agreement and agreement in morphological complexity are two of the strongest linguistic predictors of cross-linguality. We also note in-family training data as a stronger predictor than language-specific training data across the board. We verify some of our linguistic findings by looking at the effect of morphological segmentation on English-Inuktitut alignment, in addition to examining the effect of word order agreement on isomorphism for 66 zero-shot language pairs from a different corpus. We make the data and code for our experiments publicly available.


title: safe-control-gym: a Unified Benchmark Suite for Safe Learning-based Control and Reinforcement Learning in Robotics

abstract: In recent years, both reinforcement learning and learning-based control -- as well as the study of their safety, which is crucial for deployment in real-world robots -- have gained significant traction. However, to adequately gauge the progress and applicability of new results, we need the tools to equitably compare the approaches proposed by the controls and reinforcement learning communities. Here, we propose a new open-source benchmark suite, called safe-control-gym, supporting both model-based and data-based control techniques. We provide implementations for three dynamic systems -- the cart-pole, the 1D, and 2D quadrotor -- and two control tasks -- stabilization and trajectory tracking. We propose to extend OpenAI's Gym API -- the de facto standard in reinforcement learning research -- with (i) the ability to specify (and query) symbolic dynamics and (ii) constraints, and (iii) (repeatably) inject simulated disturbances in the control inputs, state measurements, and inertial properties. To demonstrate our proposal and in an attempt to bring research communities closer together, we show how to use safe-control-gym to quantitatively compare the control performance, data efficiency, and safety of multiple approaches from the fields of traditional control, learning-based control, and reinforcement learning.


title: Methane detection to 1 ppm using machine learning analysis of atmospheric pressure plasma optical emission spectra

abstract: Optical emission spectroscopy from a small-volume, 5 uL, atmospheric pressure RF-driven helium plasma was used in conjunction with Partial Least Squares Discriminant Analysis (PLS-DA) for the detection of trace concentrations of methane gas. A limit of detection of 1 ppm was obtained and sample concentrations up to 100 ppm CH4 were classified using a nine-category model. A range of algorithm enhancements were investigated including regularization, simple data segmentation and subset selection, VIP feature selection and wavelength variable compression in order to address the high dimensionality and collinearity of spectral emission data. These approaches showed the potential for significant reduction in the number of wavelength variables and the spectral resolution/bandwidth. Wavelength variable compression exhibited reliable predictive performance, with accuracy values > 97%, under more challenging multi-session train - test scenarios. Simple modelling of plasma electron energy distribution functions highlights the complex cross-sensitivities between the target methane, its dissociation products and atmospheric impurities and their impact on excitation and emission.


title: Evaluating Transferability of BERT Models on Uralic Languages

abstract: Transformer-based language models such as BERT have outperformed previous models on a large number of English benchmarks, but their evaluation is often limited to English or a small number of well-resourced languages. In this work, we evaluate monolingual, multilingual, and randomly initialized language models from the BERT family on a variety of Uralic languages including Estonian, Finnish, Hungarian, Erzya, Moksha, Karelian, Livvi, Komi Permyak, Komi Zyrian, Northern S\'ami, and Skolt S\'ami. When monolingual models are available (currently only et, fi, hu), these perform better on their native language, but in general they transfer worse than multilingual models or models of genetically unrelated languages that share the same character set. Remarkably, straightforward transfer of high-resource models, even without special efforts toward hyperparameter optimization, yields what appear to be state of the art POS and NER tools for the minority Uralic languages where there is sufficient data for finetuning.


title: On Decentralized Minimax Control with Nested Subsystems

abstract: In this paper, we investigate a decentralized control problem with nested subsystems, which is a general model for one-directional communication amongst many subsystems. The noises in our dynamics are modelled as uncertain variables which take values in finite sets. The objective is to minimize a worst-case shared cost. We demonstrate how the prescription approach can simplify the information structure and derive a structural form for optimal control strategies. The structural form allows us to restrict attention to control strategies whose domains do not grow in size with time, and thus, this form can be utilized in systems with long time horizons. Finally, we present a dynamic program to derive the optimal control strategies and validate our results with a numerical example.


title: The correlation coefficient between citation metrics and winning a Nobel or Abel Prize

abstract: Computing such correlation coefficient would be straightforward had we had available the rankings given by the prize committee to all scientists in the pool. In reality we only have citation rankings for all scientists. This means, however, that we have the ordinal rankings of the prize winners with regard to citation metrics. I use maximum likelihood method to infer the most probable correlation coefficient to produce the observed pattern of ordinal ranks of the prize winners. I get the correlation coefficients of 0.47 and 0.59 between the composite citation indicator and getting Abel Prize and Fields Medal, respectively. The correlation coefficient between getting a Nobel Prize and the Q-factor is 0.65. These coefficients are of the same magnitude as the correlation coefficient between Elo ratings of the chess players and their popularity measured as numbers of webpages mentioning the players.


title: Dirac structures and Nijenhuis operators

abstract: We introduce a notion of compatibility between (almost) Dirac structures and (1,1)-tensor fields extending that of Poisson-Nijenhuis structures. We study several properties of the "Dirac-Nijenhuis" structures thus obtained, including their connection with holomorphic Dirac structures, the geometry of their leaves and quotients, as well as the presence of hierarchies. We also consider their integration to Lie groupoids, which includes the integration of holomorphic Dirac structures as a special case.


title: The Schwarz lemma in K\"ahler and non-K\"ahler geometry

abstract: We introduce two new curvatures which refine and elucidate the real bisectional curvature considered by Yang-Zheng \cite{YangZheng}. A unified perspective of the various forms of the Schwarz lemma is given, leading to novel Chern-Lu, Aubin-Yau, and Chen-Cheng-Look Schwarz lemmas in both the K\"ahler and Hermitian category.


title: Achieving Zero Constraint Violation for Constrained Reinforcement Learning via Primal-Dual Approach

abstract: Reinforcement learning is widely used in applications where one needs to perform sequential decisions while interacting with the environment. The problem becomes more challenging when the decision requirement includes satisfying some safety constraints. The problem is mathematically formulated as constrained Markov decision process (CMDP). In the literature, various algorithms are available to solve CMDP problems in a model-free manner to achieve $\epsilon$-optimal cumulative reward with $\epsilon$ feasible policies. An $\epsilon$-feasible policy implies that it suffers from constraint violation. An important question here is whether we can achieve $\epsilon$-optimal cumulative reward with zero constraint violations or not. To achieve that, we advocate the use of randomized primal-dual approach to solve the CMDP problems and propose a conservative stochastic primal-dual algorithm (CSPDA) which is shown to exhibit $\tilde{\mathcal{O}}\left(1/\epsilon^2\right)$ sample complexity to achieve $\epsilon$-optimal cumulative reward with zero constraint violations. In the prior works, the best available sample complexity for the $\epsilon$-optimal policy with zero constraint violation is $\tilde{\mathcal{O}}\left(1/\epsilon^5\right)$. Hence, the proposed algorithm provides a significant improvement as compared to the state of the art.


title: Connecting degree and polarity: An artificial language learning study

abstract: We investigate a new linguistic generalization in pre-trained language models (taking BERT (Devlin et al., 2019) as a case study). We focus on degree modifiers (expressions like slightly, very, rather, extremely) and test the hypothesis that the degree expressed by a modifier (low, medium or high degree) is related to the modifier's sensitivity to sentence polarity (whether it shows preference for affirmative or negative sentences or neither). To probe this connection, we apply the Artificial Language Learning experimental paradigm from psycholinguistics to a neural language model. Our experimental results suggest that BERT generalizes in line with existing linguistic observations that relate degree semantics to polarity sensitivity, including the main one: low degree semantics is associated with preference towards positive polarity.


title: Emergent interlayer magnetic order via strain-induced orthorhombic distortion in the 5d Mott insulator Sr2IrO4

abstract: We report a La2CuO4-like interlayer antiferromagnetic order in Sr2IrO4 films with large orthorhombic distortion (> 1.5%). The biaxial lattice strain in epitaxial heterostructures of Sr2IrO4/Ca3Ru2O7 lowers the crystal symmetry of Sr2IrO4 from tetragonal (C4) to orthorhombic (C2), guiding the Ir 5d Jeff = 1/2 pseudospin moment parallel to the elongated b-axis via magnetic anisotropy. From resonant X-ray scattering experiments, we observed an antiferromagnetic order in the orthorhombic Sr2IrO4 film whose interlayer stacking pattern is inverted from that of the tetragonal Sr2IrO4 crystal. This interlayer stacking is similar to that of the orthorhombic La2CuO4, implying that the asymmetric interlayer exchange interaction along a and b-directions exceeds the anisotropic interlayer pseudo-dipolar interaction. Our result suggests that strain-induced distortion can provide a delicate knob for tuning the long-range magnetic order in quasi-two-dimensional systems by evoking the competition between the interlayer exchange coupling and the pseudo-dipolar interaction.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.supr-con


title: Probing the atmosphere of WASP-69 b with low- and high-resolution transmission spectroscopy

abstract: Consideration of both low- and high-resolution transmission spectroscopy is key for obtaining a comprehensive picture of exoplanet atmospheres. In studies of transmission spectra, the continuum information is well established with low-resolution spectra, while the shapes of individual lines are best constrained with high-resolution observations. In this work, we aim to merge high- with low-resolution transmission spectroscopy. We present the analysis of three primary transits of WASP-69b in the VIS channel of the CARMENES instrument and perform a combined low- and high-resolution analysis using additional data from HARPS-N, OSIRIS/GTC, and WFC3/HST already available in the literature. During the first CARMENES observing night, we detected the planet Na D$_{2}$ and D$_{1}$ lines at $\sim 7\sigma$ and $\sim 3\sigma$ significance levels, respectively. We measured a D$_{2}$/D$_{1}$ intensity ratio of 2.5$\pm$0.7, which is in agreement with previous HARPS-N observations. Our modelling of WFC3 and OSIRIS data suggests strong Rayleigh scattering, solar to super-solar water abundance, and a highly muted Na feature in the atmosphere of this planet, in agreement with previous investigations of this target. We use the continuum information retrieved from the low-resolution spectroscopy as a prior to break the degeneracy between the Na abundance, reference pressure, and thermosphere temperature for the high-resolution spectroscopic analysis. We fit the Na D$_{1}$ and D$_{2}$ lines individually and find that the posterior distributions of the model parameters agree with each other within 1$\sigma$. Our results suggest that local thermodynamic equilibrium processes can explain the observed D$_{2}$/D$_{1}$ ratio because the presence of haze opacity mutes the absorption features.


title: On directional convolution equivalent densities

abstract: We propose a definition of directional multivariate subexponential and convolution equivalent densities and find a useful characterization of these notions for a class of integrable and almost radial decreasing functions. We apply this result to show that the density of the absolutely continuous part of the compound Poisson measure built on a given density $f$ is directionally convolution equivalent and inherits its asymptotic behaviour from $f$ if and only if $ f$ is directionally convolution equivalent. We also extend this characterization to the densities of more general infinitely divisible distributions on $\mathbb{R}^d$, $d \geq 1$, which are not pure compound Poisson.


title: Josephson and persistent currents in a quantum ring between topological superconductors

abstract: In this work, we investigate the spectra in an Aharonov-Bohm quantum-ring interferometer forming a Josephson junction between two topological superconductors (TSC) nanowires. The TSCs host Majorana bound states at their edges, and both the magnetic flux and the superconducting phase difference between the TSCs are used as control parameters. We use a tight-binding approach to model the quantum ring coupled to both TSCs, described by the Kitaev effective Hamiltonian. We solve the problem by means of exact numerical diagonalization of the Bogoliubov-de Gennes (BdG) Hamiltonian and obtain the spectra for two sizes of the quantum ring as a function of the magnetic flux and the phase difference between the TSCs. Depending on the size of the quantum ring and the coupling, the spectra display several patterns. Those are denoted as line, point and undulated nodes, together with flat bands, which are topologically protected. The first three patterns can be possibly detected by means of persistent and Josephson currents. Hence, our results could be useful to understand the spectra and their relation with the behavior of the current signals.


title: A note on Banach spaces $E$ admitting a continuous map from $C_p(X)$ onto $E_{w}$

abstract: $C_p(X)$ denotes the space of continuous real-valued functions on a Tychonoff space $X$ endowed with the topology of pointwise convergence. A Banach space $E$ equipped with the weak topology is denoted by $E_{w}$. It is unknown whether $C_p(K)$ and $C(L)_{w}$ can be homeomorphic for infinite compact spaces $K$ and $L$ \cite{Krupski-1}, \cite{Krupski-2}. In this paper we deal with a more general question: what are the Banach spaces $E$ which admit certain continuous surjective mappings $T: C_p(X) \to E_{w}$ for an infinite Tychonoff space $X$? First, we prove that if $T$ is linear and sequentially continuous, then the Banach space $E$ must be finite-dimensional, thereby resolving an open problem posed in \cite{Kakol-Leiderman}. Second, we show that if there exists a homeomorphism $T: C_p(X) \to E_{w}$ for some infinite Tychonoff space $X$ and a Banach space $E$, then (a) $X$ is a countable union of compact sets $X_n, n \in \omega$, where at least one component $X_n$ is non-scattered; (b) $E$ necessarily contains an isomorphic copy of the Banach space $\ell_{1}$.


title: ML Based Lineage in Databases

abstract: We track the lineage of tuples throughout their database lifetime. That is, we consider a scenario in which tuples (records) that are produced by a query may affect other tuple insertions into the DB, as part of a normal workflow. As time goes on, exact provenance explanations for such tuples become deeply nested, increasingly consuming space, and resulting in decreased clarity and readability. We present a novel approach for approximating lineage tracking, using a Machine Learning (ML) and Natural Language Processing (NLP) technique; namely, word embedding. The basic idea is summarizing (and approximating) the lineage of each tuple via a small set of constant-size vectors (the number of vectors per-tuple is a hyperparameter). Therefore, our solution does not suffer from space complexity blow-up over time, and it "naturally ranks" explanations to the existence of a tuple. We devise an alternative and improved lineage tracking mechanism, that of keeping track of and querying lineage at the column level; thereby, we manage to better distinguish between the provenance features and the textual characteristics of a tuple. We integrate our lineage computations into the PostgreSQL system via an extension (ProvSQL) and extensive experiments exhibit useful results in terms of accuracy against exact, semiring-based, justifications, especially for the column-based (CV) method which exhibits high precision and high per-level recall. In the experiments, we focus on tuples with \textit{multiple generations} of tuples in their lifelong lineage and analyze them in terms of direct and distant lineage.


title: Harmonic flow of $\mathrm{Spin}(7)$-structures

abstract: We formulate and study the isometric flow of $\mathrm{Spin}(7)$-structures on compact $8$-manifolds, as an instance of the harmonic flow of geometric structures. Starting from a general perspective, we establish Shi-type estimates and a correspondence between harmonic solitons and self-similar solutions for arbitrary isometric flows of $H$-structures. We then specialise to $H=\mathrm{Spin}(7)\subset\mathrm{SO}(8)$, obtaining conditions for long-time existence, via a monotonicity formula along the flow, which actually leads to an $\varepsilon$-regularity theorem. Moreover, we prove Cheeger--Gromov and Hamilton-type compactness theorems for the solutions of the harmonic flow, and we characterise Type-$\mathrm{I}$ singularities as being modelled on shrinking solitons.We also establish a Bryant-type description of isometric $\mathrm{Spin}(7)$-structures, based on squares of spinors, which may be of independent interest.


title: Evolution of switchbacks in the inner Heliosphere

abstract: We analyze magnetic field data from the first six encounters of PSP, three Helios fast streams and two Ulysses south polar passes covering heliocentric distances $0.1\lesssim R\lesssim 3$ au. We use this data set to statistically determine the evolution of switchbacks of different periods and amplitudes with distance from the Sun. We compare the radial evolution of magnetic field variances with that of the mean square amplitudes of switchbacks, and quantify the radial evolution of the cumulative counts of switchbacks per km. We find that the amplitudes of switchbacks decrease faster than the overall turbulent fluctuations, in a way consistent with the radial decrease of the mean magnetic field. This could be the result of a saturation of amplitudes and may be a signature of decay processes of large amplitude Alfv\'enic fluctuations in the solar wind. We find that the evolution of switchback occurrence in the solar wind is scale-dependent: the fraction of longer duration switchbacks increases with radial distance whereas it decreases for shorter switchbacks. This implies that switchback dynamics is a complex process involving both decay and in-situ generation in the inner heliosphere. We confirm that switchbacks can be generated by the expansion although other type of switchbacks generated closer to the sun cannot be ruled out.


title: Gravity from symmetry: Duality and impulsive waves

abstract: We show that we can derive the asymptotic Einstein's equations that arises at order $1/r$ in asymptotically flat gravity purely from symmetry considerations. This is achieved by studying the transformation properties of functionals of the metric and the stress-energy tensor under the action of the Weyl BMS group, a recently introduced asymptotic symmetry group that includes arbitrary diffeomorphisms and local conformal transformations of the metric on the 2-sphere. Our derivation, which encompasses the inclusion of matter sources, leads to the identification of covariant observables that provide a definition of conserved charges parametrizing the non-radiative corner phase space. These observables, related to the Weyl scalars, reveal a duality symmetry and a spin-2 generator which allow us to recast the asymptotic evolution equations in a simple and elegant form as conservation equations for a null fluid living at null infinity. Finally we identify non-linear gravitational impulse waves that describe transitions among gravitational vacua and are non-perturbative solutions of the asymptotic Einstein's equations. This provides a new picture of quantization of the asymptotic phase space, where gravitational vacua are representations of the asymptotic symmetry group and impulsive waves are encoded in their couplings.


title: Feedback-Based Optimization with Sub-Weibull Gradient Errors and Intermittent Updates

abstract: This paper considers a feedback-based projected gradient method for optimizing systems modeled as algebraic maps. The focus is on a setup where the gradient is corrupted by random errors that follow a sub-Weibull distribution, and where the measurements of the output -- which replace the input-output map of the system in the algorithmic updates -- may not be available at each iteration. The sub-Weibull error model is particularly well-suited in frameworks where the cost of the problem is learned via Gaussian Process (GP) regression (from functional evaluations) concurrently with the execution of the algorithm; however, it also naturally models setups where nonparametric methods and neural networks are utilized to estimate the cost. Using the sub-Weibull model, and with Bernoulli random variables modeling missing measurements of the system output, we show that the online algorithm generates points that are within a bounded error from the optimal solutions. In particular, we provide error bounds in expectation and in high probability. Numerical results are presented in the context of a demand response problem in smart power grids.


title: On the Correlation between the Noise and a Priori Error Vectors in Affine Projection Algorithms

abstract: This paper analyzes the correlation matrix between the a priori error and measurement noise vectors for affine projection algorithms (APA). This correlation stems from the dependence between the filter tap estimates and the noise samples, and has a strong influence on the mean square behavior of the algorithm. We show that the correlation matrix is upper triangular, and compute the diagonal elements in closed form, showing that they are independent of the input process statistics. Also, for white inputs we show that the matrix is fully diagonal. These results are valid in the transient and steady states of the algorithm considering a possibly variable step-size. Our only assumption is that the filter order is large compared to the projection order of APA and we make no assumptions on the input signal except for stationarity. Using these results, we perform a steady-state analysis of the algorithm for small step size and provide a new simple closed-form expression for mean-square error, which has comparable or better accuracy to many preexisting expressions, and is much simpler to compute. Finally, we also obtain expressions for the steady-state energy of the other components of the error vector.


title: Kolmogorov variation: KAM with knobs (\`a la Kolmogorov)

abstract: In this paper we reconsider the original Kolmogorov normal form algorithm with a variation on the handling of the frequencies. At difference with respect to the Kolmogorov approach, we do not keep the frequencies fixed along the normalization procedure. Besides, we select the frequencies of the final invariant torus and determine a posteriori the corresponding starting ones. In particular, we replace the classical translation step with a change of the frequencies. The algorithm is based on the original scheme of Kolmogorov, thus exploiting the fast convergence of the Newton-Kantorovich method.


title: Physics Driven Domain Specific Transporter Framework with Attention Mechanism for Ultrasound Imaging

abstract: Most applications of deep learning techniques in medical imaging are supervised and require a large number of labeled data which is expensive and requires many hours of careful annotation by experts. In this paper, we propose an unsupervised, physics driven domain specific transporter framework with an attention mechanism to identify relevant key points with applications in ultrasound imaging. The proposed framework identifies key points that provide a concise geometric representation highlighting regions with high structural variation in ultrasound videos. We incorporate physics driven domain specific information as a feature probability map and use the radon transform to highlight features in specific orientations. The proposed framework has been trained on130 Lung ultrasound (LUS) videos and 113 Wrist ultrasound (WUS) videos and validated on 100 Lung ultrasound (LUS) videos and 58 Wrist ultrasound (WUS) videos acquired from multiple centers across the globe. Images from both datasets were independently assessed by experts to identify clinically relevant features such as A-lines, B-lines and pleura from LUS and radial metaphysis, radial epiphysis and carpal bones from WUS videos. The key points detected from both datasets showed high sensitivity (LUS = 99\% , WUS = 74\%) in detecting the image landmarks identified by experts. Also, on employing for classification of the given lung image into normal and abnormal classes, the proposed approach, even with no prior training, achieved an average accuracy of 97\% and an average F1-score of 95\% respectively on the task of co-classification with 3 fold cross-validation. With the purely unsupervised nature of the proposed approach, we expect the key point detection approach to increase the applicability of ultrasound in various examination performed in emergency and point of care.


title: VarStar Detect, a Python library dedicated to the semi-automatic detection of stellar variability

abstract: VarStar Detect is a Python package available on PyPI optimized for the detection of variability inside photometric measurements. Based off of the Least Squares method of regression, VarStar Detect calculates the amplitude of a Fourier Polynomial fit of the data as a measure of variability to assess if the star is indeed variable. This work shows the mathematical background of the package and an analysis of the code's functionality on TESS Sector 1 Data.


title: Competing risks regression for clustered survival data via the marginal additive subdistribution hazards model

abstract: A population-averaged additive subdistribution hazards model is proposed to assess the marginal effects of covariates on the cumulative incidence function and to analyze correlated failure time data subject to competing risks. This approach extends the population-averaged additive hazards model by accommodating potentially dependent censoring due to competing events other than the event of interest. Assuming an independent working correlation structure, an estimating equations approach is outlined to estimate the regression coefficients and a new sandwich variance estimator is proposed. The proposed sandwich variance estimator accounts for both the correlations between failure times and between the censoring times, and is robust to misspecification of the unknown dependency structure within each cluster. We further develop goodness-of-fit tests to assess the adequacy of the additive structure of the subdistribution hazards for the overall model and each covariate. Simulation studies are conducted to investigate the performance of the proposed methods in finite samples. We illustrate our methods using data from the STrategies to Reduce Injuries and Develop confidence in Elders (STRIDE) trial.


title: Few-Shot Intent Detection via Contrastive Pre-Training and Fine-Tuning

abstract: In this work, we focus on a more challenging few-shot intent detection scenario where many intents are fine-grained and semantically similar. We present a simple yet effective few-shot intent detection schema via contrastive pre-training and fine-tuning. Specifically, we first conduct self-supervised contrastive pre-training on collected intent datasets, which implicitly learns to discriminate semantically similar utterances without using any labels. We then perform few-shot intent detection together with supervised contrastive learning, which explicitly pulls utterances from the same intent closer and pushes utterances across different intents farther. Experimental results show that our proposed method achieves state-of-the-art performance on three challenging intent detection datasets under 5-shot and 10-shot settings.


title: Controlling Unknown Linear Dynamics with Bounded Multiplicative Regret

abstract: We consider a simple control problem in which the underlying dynamics depend on a parameter that is unknown and must be learned. We exhibit a control strategy which is optimal to within a multiplicative constant. While most authors find strategies which are successful as the time horizon tends to infinity, our strategy achieves lowest expected cost up to a constant factor for a fixed time horizon.


title: Slow Shock Formation Upstream of Reconnecting Current Sheets

abstract: The formation, development and impact of slow shocks in the upstream region of reconnecting current layers are explored. Slow shocks have been documented in the upstream region of magnetohydrodynamic (MHD) simulations of magnetic reconnection as well as in similar simulations with the {\it kglobal} kinetic macroscale simulation model. They are therefore a candidate mechanism for preheating the plasma that is injected into the current layers that facilitate magnetic energy release in solar flares. Of particular interest is their potential role in producing the hot thermal component of electrons in flares. During multi-island reconnection, the formation and merging of flux ropes in the reconnecting current layer drives plasma flows and pressure disturbances in the upstream region. These pressure disturbances steepen into slow shocks that propagate along the reconnecting component of the magnetic field and satisfy the expected Rankine-Hugoniot jump conditions. Plasma heating arises from both compression across the shock and the parallel electric field that develops to maintain charge neutrality in a kinetic system. Shocks are weaker at lower plasma $\beta $, where shock steepening is slow. While these upstream slow shocks are intrinsic to the dynamics of multi-island reconnection, their contribution to electron heating remains relatively minor compared with that from Fermi reflection and the parallel electric fields that bound the reconnection outflow.


title: Uncertainty-Aware Machine Translation Evaluation

abstract: Several neural-based metrics have been recently proposed to evaluate machine translation quality. However, all of them resort to point estimates, which provide limited information at segment level. This is made worse as they are trained on noisy, biased and scarce human judgements, often resulting in unreliable quality predictions. In this paper, we introduce uncertainty-aware MT evaluation and analyze the trustworthiness of the predicted quality. We combine the COMET framework with two uncertainty estimation methods, Monte Carlo dropout and deep ensembles, to obtain quality scores along with confidence intervals. We compare the performance of our uncertainty-aware MT evaluation methods across multiple language pairs from the QT21 dataset and the WMT20 metrics task, augmented with MQM annotations. We experiment with varying numbers of references and further discuss the usefulness of uncertainty-aware quality estimation (without references) to flag possibly critical translation mistakes.


title: Steady states of active Brownian particles interacting with boundaries

abstract: An active Brownian particle is a minimal model for a self-propelled colloid in a dissipative environment. Experiments and simulations show that, in the presence of boundaries and obstacles, active Brownian particle systems approach nontrivial nonequilibrium steady states with intriguing phenomenology, such as accumulation at boundaries, ratchet effects, and long-range depletion interactions. Nevertheless, theoretical analysis of these phenomena has proven difficult. Here we address this theoretical challenge in the context of non-interacting particles in two dimensions, basing our analysis on the steady-state Smoluchowski equation for the 1-particle distribution function. Our primary result is an approximation strategy that explicitly connects asymptotic solutions of the Smoluchowski equation to boundary conditions. We test this approximation against the exact analytic solution in a 2d planar geometry as well as numerical solutions in circular and elliptic geometries. We find good agreement so long as the boundary conditions do not vary too rapidly with respect to the persistence length of particle trajectories. Our results are relevant for characterizing long-range flows and depletion interactions in such systems. In particular, our framework shows how such behaviors are connected to the breaking of detailed balance at the boundaries.


title: On the meaning of the Critical Cost Efficiency Index

abstract: This note provides a critical discussion of the \textit{Critical Cost-Efficiency Index} (CCEI) as used to assess deviations from utility-maximizing behavior. I argue that the CCEI is hard to interpret, and that it can disagree with other plausible measures of "irrational" behavior. The common interpretation of CCEI as wasted income is questionable. Moreover, I show that one agent may have more unstable preferences than another, but seem more rational according to the CCEI. This calls into question the (now common) use of CCEI as an ordinal and cardinal measure of degrees of rationality.


title: Optimizing FPGA-based Accelerator Design for Large-Scale Molecular Similarity Search

abstract: Molecular similarity search has been widely used in drug discovery to identify structurally similar compounds from large molecular databases rapidly. With the increasing size of chemical libraries, there is growing interest in the efficient acceleration of large-scale similarity search. Existing works mainly focus on CPU and GPU to accelerate the computation of the Tanimoto coefficient in measuring the pairwise similarity between different molecular fingerprints. In this paper, we propose and optimize an FPGA-based accelerator design on exhaustive and approximate search algorithms. On exhaustive search using BitBound & folding, we analyze the similarity cutoff and folding level relationship with search speedup and accuracy, and propose a scalable on-the-fly query engine on FPGAs to reduce the resource utilization and pipeline interval. We achieve a 450 million compounds-per-second processing throughput for a single query engine. On approximate search using hierarchical navigable small world (HNSW), a popular algorithm with high recall and query speed. We propose an FPGA-based graph traversal engine to utilize a high throughput register array based priority queue and fine-grained distance calculation engine to increase the processing capability. Experimental results show that the proposed FPGA-based HNSW implementation has a 103385 query per second (QPS) on the Chembl database with 0.92 recall and achieves a 35x speedup than the existing CPU implementation on average. To the best of our knowledge, our FPGA-based implementation is the first attempt to accelerate molecular similarity search algorithms on FPGA and has the highest performance among existing approaches.


title: An Iterative Approach to Improving Solution Quality for AC Optimal Power Flow Problems

abstract: The existence of multiple solutions to AC optimal power flow (ACOPF) problems has been noted for decades. Existing solvers are generally successful in finding local solutions, which satisfy first and second order optimality conditions, but may not be globally optimal. In this paper, we propose a simple iterative approach to improve the quality of solutions to ACOPF problems. First, we call an existing solver for the ACOPF problem. From the solution and the associated dual variables, we form a partial Lagrangian. Then we optimize this partial Lagrangian and use its solution as a warm start to call the solver again for the ACOPF problem. By repeating this process, we can iteratively improve the solution quality, moving from local solutions to global ones. We show the effectiveness of our algorithm on standard IEEE networks. The simulation results show that our algorithm can escape from local solutions to achieve global optimums within a few iterations.


title: KdV hierarchies and quantum Novikov's equations

abstract: This paper begins with a review of the well-known KdV hierarchy, the $N$-th Novikov equation, and its finite hierarchy in the classical commutative case. This finite hierarchy consists of $N$ compatible integrable polynomial dynamical systems in $\mathbb{C}^{2N}$. We discuss a non-commutative version of the $N$-th Novikov hierarchy defined on the finitely generated free associative algebra ${\mathfrak{B}}_N$ with $2N$ generators. Using the method of quantisation ideals in ${\mathfrak{B}}_N$, for $N=1,2,3,4$, we obtain two-sided homogeneous ideals ${\mathfrak{Q}}_N\subset{\mathfrak{B}}_N$ (quantisation ideals) that are invariant with respect to the $N$-th Novikov equation and such that the quotient algebra ${\mathfrak{C}}_N = {\mathfrak{B}}_N/ {\mathfrak{Q}}_N$ has a well-defined Poincare-Birkhoff-Witt basis. This allows us to define the quantum $N$-th Novikov equation and its hierarchy on ${\mathfrak{C}}_N$. We derive $N$ commuting quantum first integrals (Hamiltonians) and represent the equations of the hierarchy in the Heisenberg form. Essential for our research is the concept of cyclic Frobenius algebras, which we introduced in our recent paper. In terms of the quadratic form that defines the structure of a cyclic Frobenius algebra, we explicitly express the first integrals of the $N$-th Novikov hierarchy in the commutative, free, and quantum cases.


title: A Practical Adversarial Attack on Contingency Detection of Smart Energy Systems

abstract: Due to the advances in computing and sensing, deep learning (DL) has widely been applied in smart energy systems (SESs). These DL-based solutions have proved their potentials in improving the effectiveness and adaptiveness of the control systems. However, in recent years, increasing evidence shows that DL techniques can be manipulated by adversarial attacks with carefully-crafted perturbations. Adversarial attacks have been studied in computer vision and natural language processing. However, there is very limited work focusing on the adversarial attack deployment and mitigation in energy systems. In this regard, to better prepare the SESs against potential adversarial attacks, we propose an innovative adversarial attack model that can practically compromise dynamical controls of energy system. We also optimize the deployment of the proposed adversarial attack model by employing deep reinforcement learning (RL) techniques. In this paper, we present our first-stage work in this direction. In simulation section, we evaluate the performance of our proposed adversarial attack model using standard IEEE 9-bus system.


title: Entanglement entropy in quantum spin chains with broken parity number symmetry

abstract: Consider a generic quantum spin chain that can be mapped to free quadratic fermions via Jordan-Wigner (JW) transformation. In the presence of arbitrary boundary magnetic fields, this Hamiltonian is no longer a quadratic Hamiltonian after JW transformation. Using ancillary sites and enlarging the Hamiltonian we first introduce a bigger quadratic Hamiltonian. Then we diagonalize this enlarged Hamiltonian in its most generic form and show that all the states are degenerate because of the presence of a zero mode. The eigenstates of the original spin chain with boundary magnetic fields can be derived after appropriate projection. We study in-depth the properties of the eigenstates of the enlarged Hamiltonian. In particular, we find: 1) the eigenstates in configuration bases, 2) calculate all the correlation functions, 3) find the reduced density matrices, 4) calculate the entanglement entropy. We show that the generic eigenstate of the enlarged Hamiltonian (including the eigenstates of the original spin chain) breaks the parity number symmetry and consequently one needs to take care of some technicalities regarding the calculation of the reduced density matrix and entanglement entropy. Interestingly we show that the entanglement structure of these eigenstates is quite universal and independent of the Hamiltonian. We support our results by applying them to a couple of examples.


title: Ray Optics for Gliders

abstract: Control of self-propelled particles is central to the development of many microrobotic technologies, from dynamically reconfigurable materials to advanced lab-on-a-chip systems. However, there are few physical principles by which particle trajectories can be specified and can be used to generate a wide range of behaviors. Within the field of ray optics, a single principle for controlling the trajectory of light -- Snell's law -- yields an intuitive framework for engineering a broad range of devices, from microscopes to cameras and telescopes. Here we show that the motion of self-propelled particles gliding across a resistance discontinuity is governed by a variant of Snell's law, and develop a corresponding ray optics for gliders. Just as the ratio of refractive indexes sets the path of a light ray, the ratio of resistance coefficients is shown to determine the trajectories of gliders. The magnitude of refraction depends on the glider's shape, in particular its aspect ratio, which serves as an analog to the wavelength of light. This enables the demixing of a polymorphic, many-shaped, beam of gliders into distinct monomorphic, single-shaped, beams through a friction prism. In turn, beams of monomorphic gliders can be focused by spherical and gradient friction lenses. Alternatively, the critical angle for total internal reflection can be used to create shape-selective glider traps. Overall our work suggests that furthering the analogy between light and microscopic gliders will result in a wide range of new devices for sorting, concentrating, and analyzing self-propelled particles.


title: POPCORN: Progressive Pseudo-labeling with Consistency Regularization and Neighboring

abstract: Semi-supervised learning (SSL) uses unlabeled data to compensate for the scarcity of annotated images and the lack of method generalization to unseen domains, two usual problems in medical segmentation tasks. In this work, we propose POPCORN, a novel method combining consistency regularization and pseudo-labeling designed for image segmentation. The proposed framework uses high-level regularization to constrain our segmentation model to use similar latent features for images with similar segmentations. POPCORN estimates a proximity graph to select data from easiest ones to more difficult ones, in order to ensure accurate pseudo-labeling and to limit confirmation bias. Applied to multiple sclerosis lesion segmentation, our method demonstrates competitive results compared to other state-of-the-art SSL strategies.


title: Theoretical Guarantees of Fictitious Discount Algorithms for Episodic Reinforcement Learning and Global Convergence of Policy Gradient Methods

abstract: When designing algorithms for finite-time-horizon episodic reinforcement learning problems, a common approach is to introduce a fictitious discount factor and use stationary policies for approximations. Empirically, it has been shown that the fictitious discount factor helps reduce variance, and stationary policies serve to save the per-iteration computational cost. Theoretically, however, there is no existing work on convergence analysis for algorithms with this fictitious discount recipe. This paper takes the first step towards analyzing these algorithms. It focuses on two vanilla policy gradient (VPG) variants: the first being a widely used variant with discounted advantage estimations (DAE), the second with an additional fictitious discount factor in the score functions of the policy gradient estimators. Non-asymptotic convergence guarantees are established for both algorithms, and the additional discount factor is shown to reduce the bias introduced in DAE and thus improve the algorithm convergence asymptotically. A key ingredient of our analysis is to connect three settings of Markov decision processes (MDPs): the finite-time-horizon, the average reward and the discounted settings. To our best knowledge, this is the first theoretical guarantee on fictitious discount algorithms for the episodic reinforcement learning of finite-time-horizon MDPs, which also leads to the (first) global convergence of policy gradient methods for finite-time-horizon episodic reinforcement learning.


title: Sensor Adversarial Traits: Analyzing Robustness of 3D Object Detection Sensor Fusion Models

abstract: A critical aspect of autonomous vehicles (AVs) is the object detection stage, which is increasingly being performed with sensor fusion models: multimodal 3D object detection models which utilize both 2D RGB image data and 3D data from a LIDAR sensor as inputs. In this work, we perform the first study to analyze the robustness of a high-performance, open source sensor fusion model architecture towards adversarial attacks and challenge the popular belief that the use of additional sensors automatically mitigate the risk of adversarial attacks. We find that despite the use of a LIDAR sensor, the model is vulnerable to our purposefully crafted image-based adversarial attacks including disappearance, universal patch, and spoofing. After identifying the underlying reason, we explore some potential defenses and provide some recommendations for improved sensor fusion models.


title: On the chromatic index of generalized truncations

abstract: We examine the chromatic index of generalized truncations of graphs and multigraphs.


title: From Heatmaps to Structural Explanations of Image Classifiers

abstract: This paper summarizes our endeavors in the past few years in terms of explaining image classifiers, with the aim of including negative results and insights we have gained. The paper starts with describing the explainable neural network (XNN), which attempts to extract and visualize several high-level concepts purely from the deep network, without relying on human linguistic concepts. This helps users understand network classifications that are less intuitive and substantially improves user performance on a difficult fine-grained classification task of discriminating among different species of seagulls. Realizing that an important missing piece is a reliable heatmap visualization tool, we have developed I-GOS and iGOS++ utilizing integrated gradients to avoid local optima in heatmap generation, which improved the performance across all resolutions. During the development of those visualizations, we realized that for a significant number of images, the classifier has multiple different paths to reach a confident prediction. This has lead to our recent development of structured attention graphs (SAGs), an approach that utilizes beam search to locate multiple coarse heatmaps for a single image, and compactly visualizes a set of heatmaps by capturing how different combinations of image regions impact the confidence of a classifier. Through the research process, we have learned much about insights in building deep network explanations, the existence and frequency of multiple explanations, and various tricks of the trade that make explanations work. In this paper, we attempt to share those insights and opinions with the readers with the hope that some of them will be informative for future researchers on explainable deep learning.


title: A Dyadic Simulation Approach to Efficient Range-Summability

abstract: Efficient range-summability (ERS) of a long list of random variables is a fundamental algorithmic problem that has applications to three important database applications, namely, data stream processing, space-efficient histogram maintenance (SEHM), and approximate nearest neighbor searches (ANNS). In this work, we propose a novel dyadic simulation framework and develop three novel ERS solutions, namely Gaussian-dyadic simulation tree (DST), Cauchy-DST and Random Walk-DST, using it. We also propose novel rejection sampling techniques to make these solutions computationally efficient. Furthermore, we develop a novel k-wise independence theory that allows our ERS solutions to have both high computational efficiencies and strong provable independence guarantees.