title: On the accretion of a new group of galaxies onto Virgo: II. The effect of pre-processing on the stellar population content of dEs

abstract: Using MUSE spectra, we investigate how pre-processing and accretion onto a galaxy cluster affect the integrated stellar population properties of dwarf early-type galaxies (dEs). We analyze a sample of nine dEs with stellar masses of $\rm \sim 10^9 \, M_\odot$, which were accreted ($\sim$ 2-3 Gyr ago) onto the Virgo cluster as members of a massive galaxy group. We derive their stellar population properties, namely age, metallicity ([M/H]), and the abundance ratio of $\alpha$ elements ([$\alpha$/Fe]), by fitting observed spectral indices with a robust, iterative procedure, and infer their star formation history (SFH) by means of full spectral fitting. We find that these nine dEs are more metal-poor (at the 2-3$\sigma$ level) and significantly more $\alpha$-enhanced than dEs in the Virgo and Coma clusters with similar stellar mass, cluster-centric distance, and infall time. Moreover, for six dEs, we find evidence for a recent episode of star formation during or right after the time of accretion onto Virgo. We interpret the high [$\alpha$/Fe] of our sample of dEs as the result of the previous exposure of these galaxies to an environment hostile to star formation, and/or the putative short burst of star formation they underwent after infall into Virgo. Our results suggest that the stellar population properties of low-mass galaxies may be the result of the combined effect of pre-processing in galaxy groups and environmental processes (such as ram-pressure triggering star formation) acting during the early phases of accretion onto a cluster.


title: Diffuse emission from black hole remnants

abstract: We point out that conservation of information implies that remnants produced at the end of black hole evaporation should radiate in the low-frequency spectrum. We model this emission and derive properties of the diffuse radiation emitted by an otherwise dark population of such objects. We show that for early universe black holes the frequency and energy density of this radiation, which are in principle measurable, suffice to estimate the remnant density.


title: On functions of bounded $\beta$-dimensional mean oscillation

abstract: In this paper, we define a notion of $\beta$-dimensional mean oscillation of functions $u: Q_0 \subset \mathbb{R}^d \to \mathbb{R}$ which are integrable on $\beta$-dimensional subsets of the cube $Q_0$: \begin{align*} \|u\|_{BMO^{\beta}(Q_0)}:= \sup_{Q \subset Q_0} \inf_{c \in \mathbb{R}} \frac{1}{l(Q)^\beta} \int_{Q} |u-c| \;d\mathcal{H}^{\beta}_\infty, \end{align*} where the supremum is taken over all finite subcubes $Q$ parallel to $Q_0$, $l(Q)$ is the length of the side of the cube $Q$, and $\mathcal{H}^{\beta}_\infty$ is the Hausdorff content. In the case $\beta=d$ we show this definition is equivalent to the classical notion of John and Nirenberg, while our main result is that for every $\beta\in (0,d]$ one has a dimensionally appropriate analogue of the John-Nirenberg inequality for functions with bounded $\beta$-dimensional mean oscillation: There exist constants $c,C>0$ such that \begin{align*} \mathcal{H}^{\beta}_\infty \left(\{x\in Q:|u(x)-c_Q|>t\}\right) \leq C l(Q)^\beta \exp(-ct/\|u\|_{BMO^\beta(Q_0)}) \end{align*} for every $t>0$, $u \in BMO^\beta(Q_0)$, $Q\subset Q_0$, and suitable $c_Q \in \mathbb{R}$. Our proof relies on the establishment of capacitary analogues of standard results in integration theory that may be of independent interest.


title: Strict Intuitionistic Fuzzy Distance/Similarity Measures Based on Jensen-Shannon Divergence

abstract: Being a pair of dual concepts, the normalized distance and similarity measures are very important tools for decision-making and pattern recognition under intuitionistic fuzzy sets framework. To be more effective for decision-making and pattern recognition applications, a good normalized distance measure should ensure that its dual similarity measure satisfies the axiomatic definition. In this paper, we first construct some examples to illustrate that the dual similarity measures of two nonlinear distance measures introduced in [A distance measure for intuitionistic fuzzy sets and its application to pattern classification problems, \emph{IEEE Trans. Syst., Man, Cybern., Syst.}, vol.~51, no.~6, pp. 3980--3992, 2021] and [Intuitionistic fuzzy sets: spherical representation and distances, \emph{Int. J. Intell. Syst.}, vol.~24, no.~4, pp. 399--420, 2009] do not meet the axiomatic definition of intuitionistic fuzzy similarity measure. We show that (1) they cannot effectively distinguish some intuitionistic fuzzy values (IFVs) with obvious size relationship; (2) except for the endpoints, there exist infinitely many pairs of IFVs, where the maximum distance 1 can be achieved under these two distances; leading to counter-intuitive results. To overcome these drawbacks, we introduce the concepts of strict intuitionistic fuzzy distance measure (SIFDisM) and strict intuitionistic fuzzy similarity measure (SIFSimM), and propose an improved intuitionistic fuzzy distance measure based on Jensen-Shannon divergence. We prove that (1) it is a SIFDisM; (2) its dual similarity measure is a SIFSimM; (3) its induced entropy is an intuitionistic fuzzy entropy. Comparative analysis and numerical examples demonstrate that our proposed distance measure is completely superior to the existing ones.


title: Feasibility of Equity-driven Taxi Pricing Strategy based on Double Auction Mechanism in Bangkok Metropolitan Region, Thailand

abstract: Passenger rejection by taxi drivers impacts the travel behaviour in many cities and suburban areas, often leaving those potential customers in non-popular zones stranded without access to taxis. To overcome this problem, many practices have been implemented, such as penalties to drivers, bans, and new pricing strategies. This paper presents a double auction taxi fare scheme, which gives both passengers and taxi drivers to influence the price, coupled with a clustering method to discourage strategic service rejection in the case study of Bangkok Metropolitan Region, Thailand, which has detailed data availability and uneven taxi journey distributions. The double auction mechanism is tailored to 2019 taxi trips, service rejection complaints, and local travel behaviour to boost transportation equity. To benchmark the performance of the new double auction scheme, a bespoke agent-based model of the taxi service in Bangkok Metropolitan Region at different rejection rates of 0%-20% was created. On one hand, the current rejection behaviour was modelled, and on the other, the double auction pricing strategy was applied. The results indicate that the double auction strategy generates a spatially distributed accessibility and leads to a higher taxi assignment success rate by up to 30%. The double auction scheme increases pickups from locations that are 20-40 km from central Bangkok by 10-15%, despite being areas of low profit. Due to the changing taxi travel landscape and longer taxi journeys, the total air pollutant emissions from the taxis increase by 10% while decreasing local emissions within central areas of Bangkok by upto 40%. Using a 5 Baht average surcharge, the total revenue drops by 20%. The results show that an equity-driven pricing strategy as an implementation of transport policy would be beneficial.


title: Adversarial Examples for Model-Based Control: A Sensitivity Analysis

abstract: We propose a method to attack controllers that rely on external timeseries forecasts as task parameters. An adversary can manipulate the costs, states, and actions of the controllers by forging the timeseries, in this case perturbing the real timeseries. Since the controllers often encode safety requirements or energy limits in their costs and constraints, we refer to such manipulation as an adversarial attack. We show that different attacks on model-based controllers can increase control costs, activate constraints, or even make the control optimization problem infeasible. We use the linear quadratic regulator and convex model predictive controllers as examples of how adversarial attacks succeed and demonstrate the impact of adversarial attacks on a battery storage control task for power grid operators. As a result, our method increases control cost by $8500\%$ and energy constraints by $13\%$ on real electricity demand timeseries.


title: Multitrack Music Transformer

abstract: Existing approaches for generating multitrack music with transformer models have been limited in terms of the number of instruments, the length of the music segments and slow inference. This is partly due to the memory requirements of the lengthy input sequences necessitated by existing representations. In this work, we propose a new multitrack music representation that allows a diverse set of instruments while keeping a short sequence length. Our proposed Multitrack Music Transformer (MMT) achieves comparable performance with state-of-the-art systems, landing in between two recently proposed models in a subjective listening test, while achieving substantial speedups and memory reductions over both, making the method attractive for real time improvisation or near real time creative applications. Further, we propose a new measure for analyzing musical self-attention and show that the trained model attends more to notes that form a consonant interval with the current note and to notes that are 4N beats away from the current step.


title: Second-order correlations and purity of unheralded single photons from spontaneous parametric down-conversion

abstract: Various quantum technology applications require high-purity single photons with high generation rate. Although different methods are employed to generate such photons, heralded single photons from spontaneous parametric down-conversion (SPDC) is the most commonly used approach. Photon generation rate from the heralded single-photon sources are limited by the efficiency of the detectors to record coincidence detection of the photon pairs which are lower than the single-photon counts recorded separately on each detector. In this paper we present a revised expression to calculate second-order temporal correlation function, $g^{(2)}$ for any fixed time window (bin) and report the experimental characterization of purity of unheralded and heralded single photons from the SPDC process. With an appropriate choice of time bin for a given pump power, without heralding we show that higher rate of single photons with $g^{(2)}(0) = 0$ can be generated with very high probability.


title: ObjectBox: From Centers to Boxes for Anchor-Free Object Detection

abstract: We present ObjectBox, a novel single-stage anchor-free and highly generalizable object detection approach. As opposed to both existing anchor-based and anchor-free detectors, which are more biased toward specific object scales in their label assignments, we use only object center locations as positive samples and treat all objects equally in different feature levels regardless of the objects' sizes or shapes. Specifically, our label assignment strategy considers the object center locations as shape- and size-agnostic anchors in an anchor-free fashion, and allows learning to occur at all scales for every object. To support this, we define new regression targets as the distances from two corners of the center cell location to the four sides of the bounding box. Moreover, to handle scale-variant objects, we propose a tailored IoU loss to deal with boxes with different sizes. As a result, our proposed object detector does not need any dataset-dependent hyperparameters to be tuned across datasets. We evaluate our method on MS-COCO 2017 and PASCAL VOC 2012 datasets, and compare our results to state-of-the-art methods. We observe that ObjectBox performs favorably in comparison to prior works. Furthermore, we perform rigorous ablation experiments to evaluate different components of our method. Our code is available at: https://github.com/MohsenZand/ObjectBox.


title: Adaptive Functional Thresholding for Sparse Covariance Function Estimation in High Dimensions

abstract: Covariance function estimation is a fundamental task in multivariate functional data analysis and arises in many applications. In this paper, we consider estimating sparse covariance functions for high-dimensional functional data, where the number of random functions p is comparable to, or even larger than the sample size n. Aided by the Hilbert--Schmidt norm of functions, we introduce a new class of functional thresholding operators that combine functional versions of thresholding and shrinkage, and propose the adaptive functional thresholding estimator by incorporating the variance effects of individual entries of the sample covariance function into functional thresholding. To handle the practical scenario where curves are partially observed with errors, we also develop a nonparametric smoothing approach to obtain the smoothed adaptive functional thresholding estimator and its binned implementation to accelerate the computation. We investigate the theoretical properties of our proposals when p grows exponentially with n under both fully and partially observed functional scenarios. Finally, we demonstrate that the proposed adaptive functional thresholding estimators significantly outperform the competitors through extensive simulations and the functional connectivity analysis of two neuroimaging datasets.


title: Precision Attitude Stabilization with Intermittent External Torque

abstract: The attitude stabilization of a micro-satellite employing a variable-amplitude cold gas thruster which reflects as a time varying gain on the control input is considered. Existing literature uses a persistence filter based approach that typically leads to large control gains and torque inputs during specific time intervals corresponding to the 'on' phase of the external actuation. This work aims at reducing the transient spikes placed upon the torque commands by the judicious introduction of an additional time varying scaling signal as part of the control law. The time update mechanism for the new scaling factor and overall closed-loop stability are established through a Lyapunov-like analysis. Numerical simulations highlight the various features of this new control algorithm for spacecraft attitude stabilization subject to torque intermittence.


title: The Wheelbot: A Jumping Reaction Wheel Unicycle

abstract: Combining off-the-shelf components with 3D-printing, the Wheelbot is a symmetric reaction wheel unicycle that can jump onto its wheels from any initial position. With non-holonomic and under-actuated dynamics, as well as two coupled unstable degrees of freedom, the Wheelbot provides a challenging platform for nonlinear and data-driven control research. This paper presents the Wheelbot's mechanical and electrical design, its estimation and control algorithms, as well as experiments demonstrating both self-erection and disturbance rejection while balancing.


title: Tree Structure-Aware Few-Shot Image Classification via Hierarchical Aggregation

abstract: In this paper, we mainly focus on the problem of how to learn additional feature representations for few-shot image classification through pretext tasks (e.g., rotation or color permutation and so on). This additional knowledge generated by pretext tasks can further improve the performance of few-shot learning (FSL) as it differs from human-annotated supervision (i.e., class labels of FSL tasks). To solve this problem, we present a plug-in Hierarchical Tree Structure-aware (HTS) method, which not only learns the relationship of FSL and pretext tasks, but more importantly, can adaptively select and aggregate feature representations generated by pretext tasks to maximize the performance of FSL tasks. A hierarchical tree constructing component and a gated selection aggregating component is introduced to construct the tree structure and find richer transferable knowledge that can rapidly adapt to novel classes with a few labeled images. Extensive experiments show that our HTS can significantly enhance multiple few-shot methods to achieve new state-of-the-art performance on four benchmark datasets. The code is available at: https://github.com/remiMZ/HTS-ECCV22.


title: On Lehmer's question for integer-valued polynomials

abstract: We solve a Lehmer-type question about the Mahler measure of integer-valued polynomials.


title: Language Modelling with Pixels

abstract: Language models are defined over a finite set of inputs, which creates a vocabulary bottleneck when we attempt to scale the number of supported languages. Tackling this bottleneck results in a trade-off between what can be represented in the embedding matrix and computational issues in the output layer. This paper introduces PIXEL, the Pixel-based Encoder of Language, which suffers from neither of these issues. PIXEL is a pretrained language model that renders text as images, making it possible to transfer representations across languages based on orthographic similarity or the co-activation of pixels. PIXEL is trained to reconstruct the pixels of masked patches instead of predicting a distribution over tokens. We pretrain the 86M parameter PIXEL model on the same English data as BERT and evaluate on syntactic and semantic tasks in typologically diverse languages, including various non-Latin scripts. We find that PIXEL substantially outperforms BERT on syntactic and semantic processing tasks on scripts that are not found in the pretraining data, but PIXEL is slightly weaker than BERT when working with Latin scripts. Furthermore, we find that PIXEL is more robust than BERT to orthographic attacks and linguistic code-switching, further confirming the benefits of modelling language with pixels.


title: Limit sets of unfolding paths in Outer space

abstract: We construct an unfolding path in Outer space which does not converge in the boundary, and instead it accumulates on the entire 1-simplex of projectivized length measures on a non-geometric arational $\mathbb{R}$-tree T. We also show that T admits exactly two dual ergodic projective currents.


title: A fundamental non-classical logic

abstract: We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules for the logical constants. From this starting point, if one adds the rule that Fitch called Reiteration, one obtains a proof system for intuitionistic logic in the given signature; if instead of adding Reiteration, one adds the rule of Reductio ad Absurdum, one obtains a proof system for orthologic; by adding both Reiteration and Reductio, one obtains a proof system for classical logic. Arguably neither Reiteration nor Reductio is as intimately related to the meaning of the connectives as the introduction and elimination rules are, so the base logic we identify serves as a more fundamental starting point and common ground between proponents of intuitionistic logic, orthologic, and classical logic. The algebraic semantics for the logic we motivate proof-theoretically is based on bounded lattices equipped with what has been called a weak pseudocomplementation. We show that such lattice expansions are representable using a set together with a reflexive binary relation satisfying a simple first-order condition, which yields an elegant relational semantics for the logic. This builds on our previous study of representations of lattices with negations, which we extend and specialize for several types of negation in addition to weak pseudocomplementation. Finally, we discuss ways of extending these representations to lattices with a conditional or implication operation.


title: Shadow of Kottler black hole in the presence of plasma for a co-moving observer

abstract: We consider a spherically symmetric black hole metric in (3+1)-dimensions in presence of a positive cosmological constant $\Lambda$. We use a general approach as proposed in \cite{1} to transform the metric in co-moving coordinates. Then for a general metric we have evaluated the angular shadow size both in absence and presence of plasma. By using the aberration relation, we then find the corresponding shadow radius as viewed by a co-moving observer for Schwarzschild de-Sitter or Kottler spacetime. The effect of cosmological constant $\Lambda$ and plasma parameter $k$ on the angular size of black hole shadow has been observed in detail. Finally, by using the observed angular size of M87$^*$ and Sgr A$^*$ black hole, we constrain the value of the plasma parameter $k$ with a specific observational value of the cosmological constant $\Lambda$ (or the Hubble constant $H_0$).


title: Dynamical Evolution of the Didymos-Dimorphos Binary Asteroid as Rubble Piles following the DART Impact

abstract: Previous efforts have modeled the Didymos system as two irregularly shaped rigid bodies, although it is likely that one or both components are in fact rubble piles. Here, we relax the rigid-body assumption to quantify how this affects the spin and orbital dynamics of the system following the DART impact. Given known fundamental differences between our simulation codes, we find that faster rigid-body simulations produce nearly the same result as rubble-pile models in scenarios with a moderate value for the momentum enhancement factor, $\beta$ ($\beta{\sim}3$) and an ellipsoidal secondary. This indicates that the rigid-body approach is likely adequate for propagating the post-impact dynamics necessary to meet DART Mission requirements. Although, if Dimorphos has a highly-irregular shape or structure, or if $\beta$ is unexpectedly large, then rubble-pile effects may become important. If Dimorphos's orbit and spin state are sufficiently excited, then surface particle motion is also possible. However, these simulations are limited in their resolution and range of material parameters, so they serve as a demonstration of principle, and Future work is required to fully understand the likelihood and magnitude of surface motion.


title: Detection of 2460 SB2 candidates in the LAMOST-MRS, using projected rotational velocities and a binary spectral model

abstract: We present a new method for the detection of double-lined spectroscopic binaries (SB2) using $v\sin{i}$ values from spectral fits. The method is tested on synthetic and real spectra from LAMOST-MRS. It can reliably detect SB2 candidates for double-lined binaries with $v\sin{i}_1+v\sin{i}_2<300\,km\,s^{-1}$ if the radial velocity separation is large enough. Using this method, we detect 2460 SB2 candidates, 1410 of which are new discoveries. We confirm the correlation between the radial velocity separation estimated by the binary model and $v\sin{i}_0$ estimated by the single star model using the selected sample. Additionally, our method finds one new SB2 candidate in open cluster M~11.


title: Hubble Asteroid Hunter: II. Identifying strong gravitational lenses in HST images with crowdsourcing

abstract: The Hubble Space Telescope (HST) archives constitute a rich dataset of high resolution images to mine for strong gravitational lenses. While many HST programs specifically target strong lenses, they can also be present by coincidence in other HST observations. We aim to identify non-targeted strong gravitational lenses in almost two decades of images from the ESA it Hubble Space Telescope archive (eHST), without any prior selection on the lens properties. We used crowdsourcing on the Hubble Asteroid Hunter (HAH) citizen science project to identify strong lenses, alongside asteroid trails, in publicly available large field-of-view HST images. We visually inspected 2354 objects tagged by citizen scientists as strong lenses to clean the sample and identify the genuine lenses. We report the detection of 252 strong gravitational lens candidates, which were not the primary targets of the HST observations. 198 of them are new, not previously reported by other studies, consisting of 45 A grades, 74 B grades and 79 C grades. The majority are galaxy-galaxy configurations. The newly detected lenses are, on average, 1.3 magnitudes fainter than previous HST searches. This sample of strong lenses with high resolution HST imaging is ideal to follow-up with spectroscopy, for lens modelling and scientific analyses. This paper presents an unbiased search of lenses, which enabled us to find a high variety of lens configurations, including exotic lenses. We demonstrate the power of crowdsourcing in visually identifying strong lenses and the benefits of exploring large archival datasets. This study shows the potential of using crowdsourcing in combination with artificial intelligence for the detection and validation of strong lenses in future large-scale surveys such as ESA's future mission Euclid or in JWST archival images.


title: Predictions for the Dynamical States of the Didymos System before and after the Planned DART Impact

abstract: NASA's Double Asteroid Redirection Test (DART) spacecraft is planned to impact the natural satellite of (65803) Didymos, Dimorphos, around 23:14 UTC on 26 September 2022, causing a reduction in its orbital period that will be measurable with ground-based observations. This test of kinetic impactor technology will provide the first estimate of the momentum transfer enhancement factor $\beta$ at a realistic scale, wherein ejecta from the impact provides an additional deflection to the target. Earth-based observations, the LICIACube spacecraft (to be detached from DART prior to impact), and ESA's follow-up Hera mission to launch in 2024, will provide additional characterization of the deflection test. Together Hera and DART comprise the Asteroid Impact and Deflection Assessment (AIDA) cooperation between NASA and ESA. Here the predicted dynamical states of the binary system upon arrival and after impact are presented. The assumed dynamically relaxed state of the system will be excited by the impact, leading to an increase in eccentricity and slight tilt of the orbit together with enhanced libration of Dimorphos with amplitude dependent on the currently poorly known target shape. Free rotation around the moon's long axis may also be triggered and the orbital period will experience variations from seconds to minutes over timescales of days to months. Shape change of either body due to cratering or mass wasting triggered by crater formation and ejecta may affect $\beta$ but can be constrained through additional measurements. Both BYORP and gravity tides may cause measurable orbital changes on the timescale of Hera's rendezvous.


title: Breakup corrections to the ${}^3$He beam polarization measurements at the future BNL Electron Ion Collider

abstract: Requirements for hadron polarimetry at the future Electron-Ion Collider (EIC) include measurements of absolute ${}^3\text{He} (h)$ beam polarization with systematic uncertainties better than $\sigma^\text{syst}_P/P\lesssim1\%$. Due to the successful use, since 2005, of the polarized hydrogen jet target polarimeter (HJET) to measure proton beam polarization at the Relativistic Heavy Ion Collider (RHIC), the HJET technique promises to be suitable for the ${}^3\text{He}$ polarimetry at EIC. For that, however, one needs to know the ratio of the $h^\uparrow{p}$ and $p^\uparrow{h}$ analyzing powers. For elastic scattering, this ratio can be evaluated with sufficient accuracy if $p^\uparrow{p}$ analyzing power is precisely known. In this paper, the deuteron beam data acquired at HJET in RHIC Run 16 was used to evaluate corrections to the measured helion beam polarization due to the ${}^3\text{He}$ breakup. The breakup effect was found to be negligible if the ratio of the beam and target (jet) single spin asymmetries are concurrently measured to determine the ${}^3\text{He}$ beam polarization.


title: Magnetron Sputtered Non-Toxic and Precious Element-Free Ti-Zr-Ge Metallic Glass Nanofilms with Enhanced Biocorrosion Resistance

abstract: The chemical composition and structural state of advanced alloys are the decisive factors in optimum biomedical performance. This contribution presents unique Ti-Zr-Ge metallic glass thin-film compositions fabricated by magnetron sputter deposition targeted for nanocoatings for biofouling prevention. The amorphous nanofilms with nanoscale roughness exhibit a large relaxation and supercooled liquid regions as revealed by flash differential scanning calorimetry. Ti\textsubscript{68}Zr\textsubscript{8}Ge\textsubscript{24} shows the lowest corrosion (0.17 \textmu A cm\textsuperscript{\textminus2}) and passivation (1.22 \textmu A cm\textsuperscript{\textminus2}) current densities, with the lowest corrosion potential of \textminus0.648 V and long-range stability against pitting, corroborating its excellent performance in phosphate buffer solution at 37 {\textdegree}C. The oxide layer is comprised of TiO\textsubscript{2}, TiO\textsubscript{\emph{x}} and ZrO\textsubscript{\emph{x}}, as determined using X-ray photoelectron spectroscopy by short-term ion-etching of the surface layer. The two orders of magnitude increase in the oxide and interface resistance (from 14 to 1257 {\textOmega} cm\textsuperscript{2}) along with an order of magnitude decrease in the capacitance parameter of the oxide interface (from 1.402 x 10\textsuperscript{\textminus5} to 1.677 x 10\textsuperscript{\textminus6} S s\textsuperscript{n} cm\textsuperscript{\textminus2}) of the same composition is linked to the formation of carbonyl groups and reduction of the native oxide layer during linear sweep voltammetry.


title: SCONCE: A cosmic web finder for spherical and conic geometries

abstract: The latticework structure known as the cosmic web provides a valuable insight into the assembly history of large-scale structures. Despite the variety of methods to identify the cosmic web structures, they mostly rely on the assumption that galaxies are embedded in a Euclidean geometric space. Here we present a novel cosmic web identifier called SCONCE (Spherical and CONic Cosmic wEb finder) that inherently considers the 2D (RA,DEC) spherical or the 3D (RA,DEC,$z$) conic geometry. The proposed algorithms in SCONCE generalize the well-known subspace constrained mean shift (SCMS) method and primarily address the predominant filament detection problem. They are intrinsic to the spherical/conic geometry and invariant to data rotations. We further test the efficacy of our method with an artificial cross-shaped filament example and apply it to the SDSS galaxy catalogue, revealing that the 2D spherical version of our algorithms is robust even in regions of high declination. Finally, using N-body simulations from Illustris, we show that the 3D conic version of our algorithms is more robust in detecting filaments than the standard SCMS method under the redshift distortions caused by the peculiar velocities of halos. Our cosmic web finder is packaged in python as SCONCE-SCMS and has been made publicly available.


title: Applications of Blockchain for the Governance of Integrated Project Delivery: A Crypto Commons Approach

abstract: This paper outlines why and how blockchain can digitally support and evolve the governance of collaborative project deliveries, such as integrated project deliveries (IPDs), to provide the foundation for novel and disruptive forms of organizational collaboration in the construction industry. Previous work has conceptualized IPDs as a common pool resource (CPR) scenario, where shared resources are collectively governed. Through the use of blockchain and smart contracts for trustworthy peer-to-peer transactions and execution logic, Ostrom's design principles can be digitally encoded to scale CPR scenarios. Building on the identified connections, the paper 1) synthesizes fourteen blockchain-based mechanisms to govern CPRs, 2) identifies twenty-two applications of these mechanisms to govern IPDs, and 3) introduces a conceptualization of the above relationships towards a holistic understanding of collaborative project deliveries on the crypto commons for novel collective organization of construction project delivery between both humans and machines.


title: The Yamabe flow on asymptotically Euclidean manifolds with nonpositive Yamabe constant

abstract: We study the Yamabe flow on asymptotically flat manifolds with non-positive Yamabe constant $Y\leq 0$. Previous work by the second and third named authors \cite{ChenWang} showed that while the Yamabe flow always converges in a global weighted sense when $Y>0$, the flow must diverge when $Y\leq 0$. We show here in the $Y\leq 0$ case however that after suitable rescalings, the Yamabe flow starting from any asymptotically flat manifold must converge to the unique positive function which solves the Yamabe problem on a compactification of the original manifold.


title: Dynamic Property and Magnetic Nonpotentiality of Two Types of Confined Solar Flares

abstract: We analyze 152 large confined flares (GOES class $\geq$M1.0 and $\leq$$45^{\circ}$ from disk center) during 2010$-$2019, and classify them into two types according to the criterion taken from the work of Li et al. (2019). "Type I" flares are characterized by slipping motions of flare loops and ribbons and a stable filament underlying the flare loops. "Type II" flares are associated with the failed eruptions of the filaments, which can be explained by the classical 2D flare model. A total of 59 flares are "Type I" flares (about 40\%) and 93 events are "Type II" flares (about 60\%). There are significant differences in distributions of the total unsigned magnetic flux ($\Phi$$_\mathrm{AR}$) of active regions (ARs) producing the two types of confined flares, with "Type I" confined flares from ARs with a larger $\Phi$$_{AR}$ than "Type II". We calculate the mean shear angle $\Psi$$_\mathrm{HFED}$ within the core of an AR prior to the flare onset, and find that it is slightly smaller for "Type I" flares than that for "Type II" events. The relative non-potentiality parameter $\Psi$$_\mathrm{HFED}$/$\Phi$$_\mathrm{AR}$ has the best performance in distinguishing the two types of flares. About 73\% of "Type I" confined flares have $\Psi$$_\mathrm{HFED}$/$\Phi$$_\mathrm{AR}$$<$1.0$\times$$10^{-21}$ degree Mx$^{-1}$, and about 66\% of "Type II" confined events have $\Psi$$_\mathrm{HFED}$/$\Phi$$_\mathrm{AR}$$\geq$1.0$\times$$10^{-21}$ degree Mx$^{-1}$. We suggest that "Type I" confined flares cannot be explained by the standard flare model in 2D/3D, and the occurrence of multiple slipping magnetic reconnections within the complex magnetic systems probably leads to the observed flare.


title: Causal Inference with Ranking Data: Application to Blame Attribution in Police Violence and Ballot Order Effects in Ranked-Choice Voting

abstract: While rankings are at the heart of social science research, little is known about how to analyze ranking data in experimental studies. This paper introduces a potential-outcomes framework to perform causal inference when outcome data are ranking data. It introduces a class of causal estimands tailored to ranked outcomes and develops methods for estimation and inference. Furthermore, it extends the framework to partially ranked data. I show that partial rankings can be considered a selection problem and propose nonparametric sharp bounds for the treatment effects. Using the methods, I reanalyze the recent study on blame attribution in the Stephon Clark shooting, finding that people's attitudes toward officer-involved shootings are robust to contextual information. I also apply the framework to study ballot order effects in three ranked-choice voting (RCV) elections in 2022, proposing a new theory of pattern rankings in RCV. Finally, I present three applications in international relations.


title: Limit cycles of linear vector fields on $(\mathbb{S}^2)^m \times \mathbb{R}^n$

abstract: It is well known that linear vector fields defined in $\mathbb{R}^n$ can not have limit cycles, but this is not the case for linear vector fields defined in other manifolds. We study the existence of limit cycles bifurcating from a continuum of periodic orbits of linear vector fields on manifolds of the form $(\mathbb{S}^2)^m \times \mathbb{R}^n$ when such vector fields are perturbed inside the class of all linear vector fields. The study is done using the averaging theory. We also present an open problem concerning the maximum number of limit cycles of linear vector fields on $(\mathbb{S}^2)^m \times \mathbb{R}^n$.


title: A Polynomial-Time Algorithm for 1/2-Well-Supported Nash Equilibria in Bimatrix Games

abstract: Since the seminal PPAD-completeness result for computing a Nash equilibrium even in two-player games, an important line of research has focused on relaxations achievable in polynomial time. In this paper, we consider the notion of $\varepsilon$-well-supported Nash equilibrium, where $\varepsilon \in [0,1]$ corresponds to the approximation guarantee. Put simply, in an $\varepsilon$-well-supported equilibrium, every player chooses with positive probability actions that are within $\varepsilon$ of the maximum achievable payoff, against the other player's strategy. Ever since the initial approximation guarantee of 2/3 for well-supported equilibria, which was established more than a decade ago, the progress on this problem has been extremely slow and incremental. Notably, the small improvements to 0.6608, and finally to 0.6528, were achieved by algorithms of growing complexity. Our main result is a simple and intuitive algorithm, that improves the approximation guarantee to 1/2. Our algorithm is based on linear programming and in particular on exploiting suitably defined zero-sum games that arise from the payoff matrices of the two players. As a byproduct, we show how to achieve the same approximation guarantee in a query-efficient way.


title: Scoring Aave Accounts for Creditworthiness

abstract: Scoring the creditworthiness of accounts that interact with decentralized financial (DeFi) protocols remains an important yet unsolved problem. In this paper, we propose a credit scoring system for those accounts that have interacted with the Aave v2 liquidity protocol. The key component of this system is a tree-based binary classifier that predicts "position delinquency." To the community, we provide our method, results, and the (abridged) dataset on which this system is built.


title: On surfaces obtained as singular loci of normal congruences of frontals with pure-frontal singular points

abstract: We study singularities and geometric properties of surfaces given by the singular loci of normal congruence of frontals with pure-frontal singular points. These surfaces consist of the normal ruled surface and focal surfaces of the initial frontal. For the normal ruled surface, we give characterizations of singularities in terms of geometric invariants of the initial frontal defined on the set of singular points. For focal surfaces, we show relation between certain singularities of them and geometric property of the given frontal. Moreover, we consider behavior of Gaussian curvature of focal surfaces of frontal with a $5/2$-cuspidal edge.


title: Synthetic dimensions using ultrafast free electrons

abstract: We propose a synthetic dimension for ultrafast free electrons based on the discrete energy sidebands in photon-induced near-field electron microscopy (PINEM). The PINEM synthetic dimension can offer a powerful way to coherently shape or modulate free-electron wavefunctions in systems such as ultrafast transmission electron microscopes, dielectric laser accelerators, and quantum free-electron lasers. As examples of this paradigm, we demonstrate Bloch oscillations, diffraction management, and linear optics effects such as Talbot self-imaging in the PINEM lattice. These effects show the potential of PINEM synthetic dimensions as a novel quantum simulation platform.

categories: quant-ph cond-mat.other physics.acc-ph physics.optics


title: Long-time asymptotics of solutions and the modified pseudo-conformal conservation law for super-critical nonlinear Schr\"odinger equation

abstract: In this paper, we discuss a class of nonlinear Schr\"odinger equations with the power-type nonlinearity: $(\mathrm{i} \frac{\partial}{\partial t} + \Delta ) \psi = \lambda |\psi|^{2\eta}\psi$ in $\mathbf R^N \times \mathbf R^+$. Based on the Gagliardo-Nirenberg interpolation inequality, we prove the local existence and long-time behavior (continuation, finite-time blow-up or global existence, continuous dependence) of the solutions to the $(H^q)$ super-critical Schr\"odinger equation. The corresponding scaling invariant space is homogeneous Sobolev $\dot H^{q_{crit}}$ with $q_{crit} > q$. Based on the estimates of the quadratic terms containing the phase derivatives used in the paper by Killip, Murphy and Visan \cite[SIAM J. Math. Anal. 50(3) (2018), 2681--2739]{KMV018} we shall study the stability with a stronger bound on the solutions to our problem. Moreover, from the arguments on virial-types presented in the paper by Killip and Visan \cite[Amer. J. Math. 132(2) (2010), 361--424]{KV010}, a modified pseudo-conformal conservation law is proposed. The Morawetz estimate for the solutions to the problem are also presented.


title: AutoML-Based Drought Forecast with Meteorological Variables

abstract: A precise forecast for droughts is of considerable value to scientific research, agriculture, and water resource management. With emerging developments of data-driven approaches for hydro-climate modeling, this paper investigates an AutoML-based framework to forecast droughts in the U.S. Compared with commonly-used temporal deep learning models, the AutoML model can achieve comparable performance with less training data and time. As deep learning models are becoming popular for Earth system modeling, this paper aims to bring more efforts to AutoML-based methods, and the use of them as benchmark baselines for more complex deep learning models.


title: Recent arrivals to the main asteroid belt

abstract: The region where the main asteroid belt is now located may have started empty, to become populated early in the history of the Solar system with material scattered outward by the terrestrial planets and inward by the giant planets. These dynamical pathways toward the main belt may still be active today. Here, we present results from a data mining experiment aimed at singling out present-day members of the main asteroid belt that may have reached the belt during the last few hundred years. Probable newcomers include 2003 BM1, 2007 RS62, 457175 (2008 GO98), 2010 BG18, 2010 JC58, 2010 JV52, 2010 KS6, 2010 LD74, 2010 OX38, 2011 QQ99, 2013 HT149, 2015 BH103, 2015 BU525, 2015 RO127, 2015 RS139, 2016 PC41, 2016 UU231, 2020 SA75, 2020 UO43, and 2021 UJ5, all of them in the outer belt. Some of these candidates may have been inserted in their current orbits after experiencing relatively recent close encounters with Jupiter. We also investigated the likely source regions of such new arrivals. Asteroid 2020 UO43, if real, has a non-negligible probability of having an origin in the Oort cloud or even interstellar space. Asteroid 2003 BM1 may have come from the neighborhood of Uranus. However, most newcomers -- including 457175, 2011 QQ99, and 2021 UJ5 -- might have had an origin in Centaur orbital space. The reliability of these findings is assessed within the context of the uncertainties of the available orbit determinations.


title: Detecting People Interested in Non-Suicidal Self-Injury on Social Media

abstract: We propose a supervised learning approach to detect people interested in Non-Suicidal Self-Injury (NSSI). We treat the task as a binary classification problem, and build classifiers based upon features extracted from people self-declared interests. Experimental evaluation on a real-world dataset, the LiveJournal social blogging networking platform, demonstrates the effectiveness of our proposed model.


title: On diffeological principal bundles of non-formal pseudo-differential operators over formal ones

abstract: We describe the structure of diffeological bundle of non formal classical pseudo-differential operators over formal ones, and its structure group. For this, we give few results on diffeological principal bundles with (a priori) no local trivialization, use the smoothing connections alrealy exhibited by the author in previous works, and finish with open questions.


title: Accurate Ground-Truth Depth Image Generation via Overfit Training of Point Cloud Registration using Local Frame Sets

abstract: Accurate three-dimensional perception is a fundamental task in several computer vision applications. Recently, commercial RGB-depth (RGB-D) cameras have been widely adopted as single-view depth-sensing devices owing to their efficient depth-sensing abilities. However, the depth quality of most RGB-D sensors remains insufficient owing to the inherent noise from a single-view environment. Recently, several studies have focused on the single-view depth enhancement of RGB-D cameras. Recent research has proposed deep-learning-based approaches that typically train networks using high-quality supervised depth datasets, which indicates that the quality of the ground-truth (GT) depth dataset is a top-most important factor for accurate system; however, such high-quality GT datasets are difficult to obtain. In this study, we developed a novel method for high-quality GT depth generation based on an RGB-D stream dataset. First, we defined consecutive depth frames in a local spatial region as a local frame set. Then, the depth frames were aligned to a certain frame in the local frame set using an unsupervised point cloud registration scheme. The registration parameters were trained based on an overfit-training scheme, which was primarily used to construct a single GT depth image for each frame set. The final GT depth dataset was constructed using several local frame sets, and each local frame set was trained independently. The primary advantage of this study is that a high-quality GT depth dataset can be constructed under various scanning environments using only the RGB-D stream dataset. Moreover, our proposed method can be used as a new benchmark GT dataset for accurate performance evaluations. We evaluated our GT dataset on previously benchmarked GT depth datasets and demonstrated that our method is superior to state-of-the-art depth enhancement frameworks.


title: Two stability results for the Kawahara equation with a time-delayed boundary control

abstract: In this paper, we consider the Kawahara equation in a bounded interval and with a delay term in one of the boundary conditions. Using two different approaches, we prove that this system is exponentially stable under a condition on the length of the spatial domain. Specifically, the first result is obtained by introducing a suitable energy and using the Lyapunov approach, to ensure that the unique solution of the Kawahara system exponentially decays. The second result is achieved by means of a compactness-uniqueness argument, which reduces our study to prove an observability inequality. Furthermore, the main novelty of this work is to characterize the critical set phenomenon for this equation by showing that the stability results hold whenever the spatial length is related to the M\"obius transformations.


title: Reduction of the Random Access Memory Size in Adjoint Algorithmic Differentiation by Overloading

abstract: Adjoint algorithmic differentiation by operator and function overloading is based on the interpretation of directed acyclic graphs resulting from evaluations of numerical simulation programs. The size of the computer system memory required to store the graph grows proportional to the number of floating-point operations executed by the underlying program. It quickly exceeds the available memory resources. Naive adjoint algorithmic differentiation often becomes infeasible except for relatively simple numerical simulations. Access to the data associated with the graph can be classified as sequential and random. The latter refers to memory access patterns defined by the adjacency relationship between vertices within the graph. Sequentially accessed data can be decomposed into blocks. The blocks can be streamed across the system memory hierarchy thus extending the amount of available memory, for example, to hard discs. Asynchronous i/o can help to mitigate the increased cost due to accesses to slower memory. Much larger problem instances can thus be solved without resorting to technically challenging user intervention such as checkpointing. Randomly accessed data should not have to be decomposed. Its block-wise streaming is likely to yield a substantial overhead in computational cost due to data accesses across blocks. Consequently, the size of the randomly accessed memory required by an adjoint should be kept minimal in order to eliminate the need for decomposition. We propose a combination of dedicated memory for adjoint $L$-values with the exploitation of remainder bandwidth as a possible solution. Test results indicate significant savings in random access memory size while preserving overall computational efficiency.


title: Higgs Turns 10: the Childhood Story

abstract: In this talk, I give a historical and personal overview of the events that lead to the discovery of the Higgs boson by the ATLAS and CMS experiments in 2012, and highlight the childhood years of the Higgs boson studies at the Large Hadron Collider. These recollections are based on my time as the CMS Physics Coordinator (2012-2013), and because of this they are somewhat biased toward the CMS side of the story, which I know first-hand.


title: Estimating sparse direct effects in multivariate regression with the spike-and-slab LASSO

abstract: The multivariate regression interpretation of the Gaussian chain graph model simultaneously parametrizes (i) the direct effects of $p$ predictors on $q$ outcomes and (ii) the residual partial covariances between pairs of outcomes. We introduce a new method for fitting sparse Gaussian chain graph models with spike-and-slab LASSO (SSL) priors. We develop an Expectation Conditional Maximization algorithm to obtain sparse estimates of the $p \times q$ matrix of direct effects and the $q \times q$ residual precision matrix. Our algorithm iteratively solves a sequence of penalized maximum likelihood problems with self-adaptive penalties that gradually filter out negligible regression coefficients and partial covariances. Because it adaptively penalizes individual model parameters, our method is seen to outperform fixed-penalty competitors on simulated data. We establish the posterior contraction rate for our model, buttressing our method's excellent empirical performance with strong theoretical guarantees. Using our method, we estimated the direct effects of diet and residence type on the composition of the gut microbiome of elderly adults.


title: Studying Hilbert's 10th problem via explicit elliptic curves

abstract: N.Garc\'ia-Fritz and H.Pasten showed that Hilbert's 10th problem is unsolvable in the ring of integers of number fields of the form $\mathbb{Q}(\sqrt[3]{p},\sqrt{-q})$ for positive proportions of primes $p$ and $q$. We improve their proportions and extend their results to the case of number fields of the form $\mathbb{Q}(\sqrt[3]{p},\sqrt{Dq})$, where $D$ belongs to an explicit family of positive square-free integers. We achieve this by using multiple elliptic curves, and replace their Iwasawa theory arguments by a more direct method.


title: Two substellar survivor candidates; one found and one missing

abstract: This study presents observations of two possible substellar survivors of post-main sequence engulfment, currently orbiting white dwarf stars. Infrared and optical spectroscopy of GD 1400 reveal a 9.98 h orbital period, where the benchmark brown dwarf has $M_2=68\pm8$ M$_{\rm Jup}$, $T_{\rm eff}\approx2100$ K, and a cooling age under 1 Gyr. A substellar mass in the lower range of allowed values is favoured by the gravitational redshift of the primary. Synthetic brown dwarf spectra are able to reproduce the observed CO bands, but lines below the bandhead are notably overpredicted. The known infrared excess towards PG 0010+281 is consistent with a substellar companion, yet no radial velocity or photometric variability is found despite extensive searches. Three independent stellar mass determinations all suggest enhanced mass loss associated with binary evolution, where the youngest total age for an isolated star is $7.5\pm2.5$ Gyr. A possible solution to this conundrum is the cannibalization of one or more giant planets, which enhanced mass loss post-main sequence, but were ultimately destroyed. PG 0010+281 is likely orbited by a debris disk that is comfortably exterior to the Roche limit, adding to the growing number of non-canonical disks orbiting white dwarfs. At present, only L-type (brown) dwarfs are known to survive direct engulfment during the post-main sequence, whereas T- and Y-type substellar companions persist at wide separations. These demographics indicate that roughly 50 M$_{\rm Jup}$ is required to robustly avoid post-main sequence annihilation, suggesting all closely-orbiting giant planets are consumed, which may contribute to mass loss and magnetic field generation in white dwarfs and their immediate progenitors.


title: Physics-Based Nozzle Design Rules for High-Frequency Liquid Metal Jetting

abstract: We present physics-based nozzle design rules to achieve high-throughput and stable jetting in drop-on-demand liquid metal 3D printing. The design rules are based on scaling laws that capture the change of meniscus oscillation relaxation time with geometric characteristics of the nozzle's inner profile. These characteristics include volume, cross-sectional area, and inner surface area of the nozzle. Using boundary layer theory for a simple geometry, we show that the meniscus settles faster when the ratio of inner surface area to volume is increased. High-fidelity multiphase flow simulations verify this scaling. We use these laws to explore several design concepts with parameterized classes of shapes that reduce the meniscus relaxation time while preserving desired droplet specs. Finally, we show that for various nozzle profile concepts, the optimal performance can be achieved by increasing the ratio of the circumferential surface area to the bulk volume to the extent that is allowable by manufacturing constraints.


title: Black Hole Scattering and Partition Functions

abstract: When computing the ideal gas thermal canonical partition function for a scalar outside a black hole horizon, one encounters the divergent single-particle density of states (DOS) due to the continuous nature of the normal mode spectrum. Recasting the Lorentzian field equation into an effective 1D scattering problem, we argue that the scattering phases encode non-trivial information about the DOS and can be extracted by "renormalizing" the DOS with respect to a reference. This defines a renormalized free energy up to an arbitrary additive constant. Interestingly, the 1-loop Euclidean path integral, as computed by the Denef-Hartnoll-Sachdev formula, fixes the reference free energy to be that on a Rindler space, and the renormalized DOS captures the quasinormal modes for the scalar. We support these claims with the examples of scalars on static BTZ, Nariai black holes and the de Sitter static patch. For black holes in asymptotically flat space, the renormalized DOS is captured by the phase of the transmission coefficient whose magnitude squared is the greybody factor. We comment on possible connections with recent works from an algebraic point of view.


title: Learning to translate by learning to communicate

abstract: We formulate and test a technique to use Emergent Communication (EC) with a pre-trained multilingual model to improve on modern Unsupervised NMT systems, especially for low-resource languages. It has been argued that the current dominant paradigm in NLP of pre-training on text-only corpora will not yield robust natural language understanding systems, and the need for grounded, goal-oriented, and interactive language learning has been high lighted. In our approach, we embed a multilingual model (mBART, Liu et al., 2020) into an EC image-reference game, in which the model is incentivized to use multilingual generations to accomplish a vision-grounded task. The hypothesis is that this will align multiple languages to a shared task space. We present two variants of EC Fine-Tuning (Steinert-Threlkeld et al., 2022), one of which outperforms a backtranslation-only baseline in all four languages investigated, including the low-resource language Nepali.


title: Diagnostics of non-Maxwellian electron distributions in solar active regions from Fe XII lines observed by Hinode/EIS and IRIS

abstract: We present joint Hinode/EIS and IRIS observations of Fe XII lines in active regions, both on-disk and off-limb. We use an improved calibration for the EIS data, and find that the 192.4 A / 1349 A observed ratio is consistent with the values predicted by CHIANTI and the coronal approximation in quiescent areas, but not in all active region observations, where the ratio is often lower than expected by up to a factor of about two. We investigate a number of physical mechanisms that could affect this ratio, such as opacity and absorption from cooler material. We find significant opacity in the EIS Fe XII 193 and 195 A lines, but not in the 192.4 A line, in agreement with previous findings. As we cannot rule out possible EUV absorption by H, He and He II in the on-disk observations, we focus on an off-limb observation where such absorption is minimal. After considering these, as well as possible non-equilibrium effects, we suggest that the most likely explanation for the observed low Fe XII 192.4 A / 1349 A ratio is the presence of non-Maxwellian electron distributions in the active regions. This is in agreement with previous findings based on EIS and IRIS observations independently.


title: MedFuse: Multi-modal fusion with clinical time-series data and chest X-ray images

abstract: Multi-modal fusion approaches aim to integrate information from different data sources. Unlike natural datasets, such as in audio-visual applications, where samples consist of "paired" modalities, data in healthcare is often collected asynchronously. Hence, requiring the presence of all modalities for a given sample is not realistic for clinical tasks and significantly limits the size of the dataset during training. In this paper, we propose MedFuse, a conceptually simple yet promising LSTM-based fusion module that can accommodate uni-modal as well as multi-modal input. We evaluate the fusion method and introduce new benchmark results for in-hospital mortality prediction and phenotype classification, using clinical time-series data in the MIMIC-IV dataset and corresponding chest X-ray images in MIMIC-CXR. Compared to more complex multi-modal fusion strategies, MedFuse provides a performance improvement by a large margin on the fully paired test set. It also remains robust across the partially paired test set containing samples with missing chest X-ray images. We release our code for reproducibility and to enable the evaluation of competing models in the future.


title: Early Detection of Ovarian Cancer by Wavelet Analysis of Protein Mass Spectra

abstract: Accurate and efficient detection of ovarian cancer at early stages is critical to ensure proper treatments for patients. Among the first-line modalities investigated in studies of early diagnosis are features distilled from protein mass spectra. This method, however, considers only a specific subset of spectral responses and ignores the interplay among protein expression levels, which can also contain diagnostic information. We propose a new modality that automatically searches protein mass spectra for discriminatory features by considering the self-similar nature of the spectra. Self-similarity is assessed by taking a wavelet decomposition of protein mass spectra and estimating the rate of level-wise decay in the energies of the resulting wavelet coefficients. Level-wise energies are estimated in a robust manner using distance variance, and rates are estimated locally via a rolling window approach. This results in a collection of rates that can be used to characterize the interplay among proteins, which can be indicative of cancer presence. Discriminatory descriptors are then selected from these evolutionary rates and used as classifying features. The proposed wavelet-based features are used in conjunction with features proposed in the existing literature for early stage diagnosis of ovarian cancer using two datasets published by the American National Cancer Institute. Including the wavelet-based features from the new modality results in improvements in diagnostic performance for early-stage ovarian cancer detection. This demonstrates the ability of the proposed modality to characterize new ovarian cancer diagnostic information.


title: Right-handed Dirac and Majorana neutrinos at Belle II

abstract: We assess the ability of the Belle II experiment to probe the Dirac or Majorana nature of a massive right-handed neutrino (RHN) $N$ in the MeV to GeV mass range. We consider the production and decay of RHNs to proceed via new interactions described by the standard model effective field theory (SMEFT) extended with right-handed neutrino fields (SMNEFT), and not via mass mixing with active neutrinos. We find that Belle II has the potential to discover $N$ if kinematically accessible. We perform detailed simulations of the angular distributions of lepton pairs from the decay of $N$ produced in two-body and three-body decays of $B$ mesons. We show that for $m_N$ above 100 MeV, Belle II can distinguish between Dirac and Majorana neutrinos at more than the 5$\sigma$ CL for most operators, and the combination of the production and decay operators can be identified from the subsequent decay of the heavy neutrino. Also, the production operators can be identified using three-body $B$ meson decay for any $m_N$ if the $B\to D\ell N$ and $B\to D^*\ell N$ events can be well separated.


title: Strange processes in general two Higgs doublet model

abstract: In the general two Higgs doublet model (g2HDM) that has extra Yukawa couplings, we analyze their New Physics (NP) contributions to kaon mixing parameter $\varepsilon_K$, direct CP violation parameter $\varepsilon^\prime/\varepsilon$, and rare $K^+ \to \pi^+\nu\bar\nu$, $K_L \to \pi^0\nu\bar\nu$, and $K_{L, S} \to \mu^+ \mu^-$ decays. We study correlations between these observables, and call special attention to a unique complementarity of kaon mixing and rare $K\to \pi \nu\bar\nu$ decays in probing the exotic Higgs mass spectrum of g2HDM. The importance of kaon physics in probing NP vis-\`a-vis B physics is stressed. One unexpected feature we uncover is the special sensitivity of $K^+ \to \pi^+\nu\bar\nu$ to TeV scale charged Higgs boson.


title: Spherical Morita contexts and relative Serre functors

abstract: The Morita context provided by an exact module category over a finite tensor category gives a two-object bicategory with duals. Right and left duals of objects in the module category are given by internal Homs and coHoms, respectively. We express the double duals in terms of relative Serre functors, which leads to a Radford isomorphism for module categories. There is a bicategorical version of the Radford $S^4$ theorem: on the bicategory of a Morita context, the relative Serre functors assemble into a pseudo-functor, and the Radford isomorphisms furnish a trivialization of the square of this pseudo-functor, i.e. of the fourth power of the duals. We also show that the Morita bicategories coming from pivotal exact module categories are pivotal as bicategories, leading to the notion of pivotal Morita equivalence. This equivalence of tensor categories amounts to the equivalence of their bicategories of pivotal module categories. Furthermore, we introduce the notion of a spherical module category; it ensures that all categories in the Morita context of a spherical module category are spherical. Our results are motivated by and have applications to topological field theory.


title: Adversarial Attacks on Monocular Pose Estimation

abstract: Advances in deep learning have resulted in steady progress in computer vision with improved accuracy on tasks such as object detection and semantic segmentation. Nevertheless, deep neural networks are vulnerable to adversarial attacks, thus presenting a challenge in reliable deployment. Two of the prominent tasks in 3D scene-understanding for robotics and advanced drive assistance systems are monocular depth and pose estimation, often learned together in an unsupervised manner. While studies evaluating the impact of adversarial attacks on monocular depth estimation exist, a systematic demonstration and analysis of adversarial perturbations against pose estimation are lacking. We show how additive imperceptible perturbations can not only change predictions to increase the trajectory drift but also catastrophically alter its geometry. We also study the relation between adversarial perturbations targeting monocular depth and pose estimation networks, as well as the transferability of perturbations to other networks with different architectures and losses. Our experiments show how the generated perturbations lead to notable errors in relative rotation and translation predictions and elucidate vulnerabilities of the networks.


title: Developing a Series of AI Challenges for the United States Department of the Air Force

abstract: Through a series of federal initiatives and orders, the U.S. Government has been making a concerted effort to ensure American leadership in AI. These broad strategy documents have influenced organizations such as the United States Department of the Air Force (DAF). The DAF-MIT AI Accelerator is an initiative between the DAF and MIT to bridge the gap between AI researchers and DAF mission requirements. Several projects supported by the DAF-MIT AI Accelerator are developing public challenge problems that address numerous Federal AI research priorities. These challenges target priorities by making large, AI-ready datasets publicly available, incentivizing open-source solutions, and creating a demand signal for dual use technologies that can stimulate further research. In this article, we describe these public challenges being developed and how their application contributes to scientific advances.


title: Existence and multiplicity of solutions to magnetic Kirchhoff equations in Orlicz-Sobolev spaces

abstract: In this paper, we study the existence and multiplicity of weak solutions to a general type of Kirchhoff equations in magnetic fractional Orlicz-Sobolev spaces. Specifically, we appeal to Critical Point Theory to prove the existence of non-trivial solutions under the so-called Ambrosetti-Rabinowitz condition. We also state the existence of ground-state solutions. Moreover, multiplicity results which yield the existence of an unbounded sequence of solutions are also provided. Finally, we show existence under a weak-type Ambrosetti-Rabinowitz condition formulated in the framework of Orlicz spaces.


title: Characterizing Nodes and Edges in Dynamic Attributed Networks: A Social-based Approach

abstract: How to characterize nodes and edges in dynamic attributed networks based on social aspects? We address this problem by exploring the strength of the ties between actors and their associated attributes over time, thus capturing the social roles of the actors and the meaning of their dynamic interactions in different social network scenarios. For this, we apply social concepts to promote a better understanding of the underlying complexity that involves actors and their social motivations. More specifically, we explore the notion of social capital given by the strategic positioning of a particular actor in a social structure by means of the concepts of brokerage, the ability of creating bridges with diversified patterns, and closure, the ability of aggregating nodes with similar patterns. As a result, we unveil the differences of social interactions in distinct academic coauthorship networks and questions \& answers communities. We also statistically validate our social definitions considering the importance of the nodes and edges in a social structure by means of network properties.


title: u-HuBERT: Unified Mixed-Modal Speech Pretraining And Zero-Shot Transfer to Unlabeled Modality

abstract: While audio-visual speech models can yield superior performance and robustness compared to audio-only models, their development and adoption are hindered by the lack of labeled and unlabeled audio-visual data and the cost to deploy one model per modality. In this paper, we present u-HuBERT, a self-supervised pre-training framework that can leverage both multimodal and unimodal speech with a unified masked cluster prediction objective. By utilizing modality dropout during pre-training, we demonstrate that a single fine-tuned model can achieve performance on par or better than the state-of-the-art modality-specific models. Moreover, our model fine-tuned only on audio can perform well with audio-visual and visual speech input, achieving zero-shot modality generalization for multiple speech processing tasks. In particular, our single model yields 1.2%/1.4%/27.2% speech recognition word error rate on LRS3 with audio-visual/audio/visual input. Codes and models are available at https://github.com/facebookresearch/av_hubert


title: Quark and gluon two-loop beam functions for leading-jet $p_T$ and slicing at NNLO

abstract: We compute the complete set of two-loop beam functions for the transverse momentum distribution of the leading jet produced in association with an arbitrary colour-singlet system. Our results constitute the last missing ingredient for the calculation of the jet-vetoed cross section at small veto scales at the next-to-next-to-leading order, as well as an important ingredient for its resummation to next-to-next-to-next-to-leading logarithmic order. Our calculation is performed in the soft-collinear effective theory framework with a suitable regularisation of the rapidity divergences occurring in the phase-space integrals. We discuss the occurrence of soft-collinear mixing terms that might violate the factorisation theorem, and demonstrate that they vanish at two loops in the exponential rapidity regularisation scheme when performing a multipole expansion of the measurement function. As in our recent computation of the two-loop soft function, we present the results as a Laurent expansion in the jet radius $R$. We provide analytic expressions for all flavour channels in $x$ space with the exception of a set of $R$-independent non-logarithmic terms that are given as numerical grids. We also perform a fully numerical calculation with exact $R$ dependence, and find that it agrees with our analytic expansion at the permyriad level or better. Our calculation allows us to define a next-to-next-to-leading order slicing method using the leading-jet $p_T$ as a slicing variable. As a check of our results, we carry out a calculation of the Higgs and $Z$ boson total production cross sections at the next-to-next-to-leading order in QCD.


title: SHAP-XRT: The Shapley Value Meets Conditional Independence Testing

abstract: The complex nature of artificial neural networks raises concerns on their reliability, trustworthiness, and fairness in real-world scenarios. The Shapley value -- a solution concept from game theory -- is one of the most popular explanation methods for machine learning models. More traditionally, from a statistical perspective, feature importance is defined in terms of conditional independence. So far, these two approaches to interpretability and feature importance have been considered separate and distinct. In this work, we show that Shapley-based explanation methods and conditional independence testing are closely related. We introduce the SHAPley EXplanation Randomization Test (SHAP-XRT), a testing procedure inspired by the Conditional Randomization Test (CRT) for a specific notion of local (i.e., on a sample) conditional independence. With it, we prove that for binary classification problems, the marginal contributions in the Shapley value provide lower and upper bounds to the expected $p$-values of their respective tests. Furthermore, we show that the Shapley value itself provides an upper bound to the expected $p$-value of a global (i.e., overall) null hypothesis. As a result, we further our understanding of Shapley-based explanation methods from a novel perspective and characterize the conditions under which one can make statistically valid claims about feature importance via the Shapley value.


title: Convolutional Bypasses Are Better Vision Transformer Adapters

abstract: The pretrain-then-finetune paradigm has been widely adopted in computer vision. But as the size of Vision Transformer (ViT) grows exponentially, the full finetuning becomes prohibitive in view of the heavier storage overhead. Motivated by parameter-efficient transfer learning (PETL) on language transformers, recent studies attempt to insert lightweight adaptation modules (e.g., adapter layers or prompt tokens) to pretrained ViT and only finetune these modules while the pretrained weights are frozen. However, these modules were originally proposed to finetune language models and did not take into account the prior knowledge specifically for visual tasks. In this paper, we propose to construct Convolutional Bypasses (Convpass) in ViT as adaptation modules, introducing only a small amount (less than 0.5% of model parameters) of trainable parameters to adapt the large ViT. Different from other PETL methods, Convpass benefits from the hard-coded inductive bias of convolutional layers and thus is more suitable for visual tasks, especially in the low-data regime. Experimental results on VTAB-1K benchmark and few-shot learning datasets show that Convpass outperforms current language-oriented adaptation modules, demonstrating the necessity to tailor vision-oriented adaptation modules for adapting vision models.


title: The Simons Observatory: Characterizing the Large Aperture Telescope Receiver with Radio Holography

abstract: We present near-field radio holography measurements of the Simons Observatory Large Aperture Telescope Receiver optics. These measurements demonstrate that radio holography of complex millimeter-wave optical systems comprising cryogenic lenses, filters, and feed horns can provide detailed characterization of wave propagation before deployment. We used the measured amplitude and phase, at 4K, of the receiver near-field beam pattern to predict two key performance parameters: 1) the amount of scattered light that will spill past the telescope to 300K and 2) the beam pattern expected from the receiver when fielded on the telescope. These cryogenic measurements informed the removal of a filter, which led to improved optical efficiency and reduced side-lobes at the exit of the receiver. Holography measurements of this system suggest that the spilled power past the telescope mirrors will be less than 1\% and the main beam with its near side-lobes are consistent with the nominal telescope design. This is the first time such parameters have been confirmed in the lab prior to deployment of a new receiver. This approach is broadly applicable to millimeter and sub-millimeter instruments.


title: Multi-Agent Deep Reinforcement Learning-Driven Mitigation of Adverse Effects of Cyber-Attacks on Electric Vehicle Charging Station

abstract: An electric vehicle charging station (EVCS) infrastructure is the backbone of transportation electrification. However, the EVCS has myriads of exploitable vulnerabilities in software, hardware, supply chain, and incumbent legacy technologies such as network, communication, and control. These standalone or networked EVCS open up large attack surfaces for the local or state-funded adversaries. The state-of-the-art approaches are not agile and intelligent enough to defend against and mitigate advanced persistent threats (APT). We propose the data-driven model-free distributed intelligence based on multiagent Deep Reinforcement Learning (MADRL)-- Twin Delayed Deep Deterministic Policy Gradient (TD3) -- that efficiently learns the control policy to mitigate the cyberattacks on the controllers of EVCS. Also, we have proposed two additional mitigation methods: the manual/Bruteforce mitigation and the controller clone-based mitigation. The attack model considers the APT designed to malfunction the duty cycles of the EVCS controllers with Type-I low-frequency attack and Type-II constant attack. The proposed model restores the EVCS operation under threat incidence in any/all controllers by correcting the control signals generated by the legacy controllers. Also, the TD3 algorithm provides higher granularity by learning nonlinear control policies as compared to the other two mitigation methods. Index Terms: Cyberattack, Deep Reinforcement Learning(DRL), Electric Vehicle Charging Station, Mitigation.


title: Magnetic surface on nonmagnetic bulk of electride Hf2S

abstract: Recent experiment reported the self-passivated electride Hf2S with excellent stability and continuous electrocatalytic ability [S. H. Kang et al., Sci. Adv. 6, eaba7416 (2020)]. Starting from its 2H-type layered structure, we have studied the electronic, magnetic, and transport properties of the electride Hf2S in the monolayer and multilayer forms by combining first-principles electronic structure calculations and Kubo formula approach. Our calculations indicate that these thin films of Hf2S electride are both dynamically and thermodynamically stable. Astonishingly, the calculations further show that the outmost Hf atoms and the surface electron gas of the Hf2S multilayers are spin polarized, while the inner Hf atoms and the electron gas in the interlayer regions remain nonmagnetic. Due to the magnetic surface, the multilayer Hf2S exhibits many unusual transport properties such as the surface anomalous Hall effect and the electric-field-induced layer Hall effect. Our theoretical predictions on Hf2S call for future experimental verification.


title: Large-scale simulations of biological cell sorting driven by differential adhesion follow diffusion-limited domain coalescence regime

abstract: Cell sorting, whereby a heterogeneous cell mixture segregates and forms distinct homogeneous tissues, is one of the main collective cell behaviors at work during development. Although differences in interfacial energies are recognized to be a possible driving source for cell sorting, no clear consensus has emerged on the kinetic law of cell sorting driven by differential adhesion. Using a modified Cellular Potts Model algorithm that allows for efficient simulations while preserving the connectivity of cells, we numerically explore cell-sorting dynamics over very large scales in space and time. For a binary mixture of cells surrounded by a medium, increase of domain size follows a power-law with exponent $n=1/4$ independently of the mixture ratio, revealing that the kinetics is dominated by the diffusion and coalescence of rounded domains. We compare these results with recent numerical studies on cell sorting, and discuss the importance of algorithmic differences as well as boundary conditions on the observed scaling.


title: A rapidly mixing Markov chain from any gapped quantum many-body system

abstract: We consider the computational task of sampling a bit string $x$ from a distribution $\pi(x)=|\langle x|\psi\rangle|^2$, where $\psi$ is the unique ground state of a local Hamiltonian $H$. Our main result describes a direct link between the inverse spectral gap of $H$ and the mixing time of an associated continuous-time Markov Chain with steady state $\pi$. The Markov Chain can be implemented efficiently whenever ratios of ground state amplitudes $\langle y|\psi\rangle/\langle x|\psi\rangle$ are efficiently computable, the spectral gap of $H$ is at least inverse polynomial in the system size, and the starting state of the chain satisfies a mild technical condition that can be efficiently checked. This extends a previously known relationship between sign-problem free Hamiltonians and Markov chains. The tool which enables this generalization is the so-called fixed-node Hamiltonian construction, previously used in Quantum Monte Carlo simulations to address the fermionic sign problem. We implement the proposed sampling algorithm numerically and use it to sample from the ground state of Haldane-Shastry Hamiltonian with up to 56 qubits. We observe empirically that our Markov chain based on the fixed-node Hamiltonian mixes more rapidly than the standard Metropolis-Hastings Markov chain.


title: Efficient matter-wave lensing of ultracold atomic mixtures

abstract: Mixtures of ultracold quantum gases are at the heart of high-precision quantum tests of the weak equivalence principle, where extremely low expansion rates have to be reached with matter-wave lensing techniques. We propose to simplify this challenging atom-source preparation by employing magic laser wavelengths for the optical lensing potentials which guarantee that all atomic species follow identical trajectories and experience common expansion dynamics. In this way, the relative shape of the mixture is conserved during the entire evolution while cutting in half the number of required lensing pulses compared to standard approaches.


title: An algorithmic discrete gradient field and the cohomology algebra of configuration spaces of two points on complete graphs

abstract: We introduce an algorithm that constructs a discrete gradient field on any simplicial complex. We show that, in all situations, the gradient field is maximal possible and, in a number of cases, optimal. We make a thorough analysis of the resulting gradient field in the case of Munkres' discrete model for $\text{Conf}(K_m,2)$, the configuration space of ordered pairs of non-colliding particles on the complete graph $K_m$ on $m$ vertices. Together with the use of Forman's discrete Morse theory, this allows us to describe in full the cohomology $R$-algebra $H^*(\text{Conf}(K_m,2);R)$ for any commutative unital ring $R$. As an application we prove that, although $\text{Conf}(K_m,2)$ is outside the "stable" regime, all its topological complexities are maximal possible when $m\geq4$.


title: The Damped Wave Equation with Acoustic Boundary Conditions and Non-locally Reacting Surfaces

abstract: The aim of the paper is to study the problem $$u_{tt}+du_t-c^2\Delta u=0 \qquad \text{in $\mathbb{R}\times\Omega$,}$$ $$\mu v_{tt}- \text{div}_\Gamma (\sigma \nabla_\Gamma v)+\delta v_t+\kappa v+\rho u_t =0\qquad \text{on $\mathbb{R}\times \Gamma_1$,}$$ $$v_t =\partial_\nu u\qquad \text{on $\mathbb{R}\times \Gamma_1$,}$$ $$\partial_\nu u=0 \text{on $\mathbb{R}\times \Gamma_0$,}$$ $$u(0,x)=u_0(x),\quad u_t(0,x)=u_1(x)\quad \text{in $\Omega$,}$$ $$v(0,x)=v_0(x),\quad v_t(0,x)=v_1(x) \quad \text{on $\Gamma_1$,}$$ where $\Omega$ is a open domain of $\mathbb{R}^N$ with uniformly $C^r$ boundary ($N\ge 2$, $r\ge 1$), $\Gamma=\partial\Omega$, $(\Gamma_0,\Gamma_1)$ is a relatively open partition of $\Gamma$ with $\Gamma_0$ (but not $\Gamma_1$) possibly empty. Here $\text{div}_\Gamma$ and $\nabla_\Gamma$ denote the Riemannian divergence and gradient operators on $\Gamma$, $\nu$ is the outward normal to $\Omega$, the coefficients $\mu,\sigma,\delta, \kappa, \rho$ are suitably regular functions on $\Gamma_1$ with $\rho,\sigma$ and $\mu$ uniformly positive, $d$ is a suitably regular function in $\Omega$ and $c$ is a positive constant. In this paper we first study well-posedness in the natural energy space and give regularity results. Hence we study asymptotic stability for solutions when $\Omega$ is bounded, $\Gamma_1$ is connected, $r=2$, $\rho$ is constant and $\kappa,\delta,d\ge 0$.


title: Leakage and the Reproducibility Crisis in ML-based Science

abstract: The use of machine learning (ML) methods for prediction and forecasting has become widespread across the quantitative sciences. However, there are many known methodological pitfalls, including data leakage, in ML-based science. In this paper, we systematically investigate reproducibility issues in ML-based science. We show that data leakage is indeed a widespread problem and has led to severe reproducibility failures. Specifically, through a survey of literature in research communities that adopted ML methods, we find 17 fields where errors have been found, collectively affecting 329 papers and in some cases leading to wildly overoptimistic conclusions. Based on our survey, we present a fine-grained taxonomy of 8 types of leakage that range from textbook errors to open research problems. We argue for fundamental methodological changes to ML-based science so that cases of leakage can be caught before publication. To that end, we propose model info sheets for reporting scientific claims based on ML models that would address all types of leakage identified in our survey. To investigate the impact of reproducibility errors and the efficacy of model info sheets, we undertake a reproducibility study in a field where complex ML models are believed to vastly outperform older statistical models such as Logistic Regression (LR): civil war prediction. We find that all papers claiming the superior performance of complex ML models compared to LR models fail to reproduce due to data leakage, and complex ML models don't perform substantively better than decades-old LR models. While none of these errors could have been caught by reading the papers, model info sheets would enable the detection of leakage in each case.


title: How do tuna schools associate to dFADs? A study using echo-sounder buoys to identify global patterns

abstract: Based on the data gathered by echo-sounder buoys attached to drifting Fish Aggregating Devices (dFADs) across tropical oceans, the current study applies a Machine Learning protocol to examine the temporal trends of tuna schools' association to drifting objects. Using a binary output, metrics typically used in the literature were adapted to account for the fact that the entire tuna aggregation under the dFAD was considered. The median time it took tuna to colonize the dFADs for the first time varied between 25 and 43 days, depending on the ocean, and the longest soak and colonization times were registered in the Pacific Ocean. The tuna schools' Continuous Residence Times were generally shorter than Continuous Absence Times (median values between 5 and 7 days, and 9 and 11 days, respectively), in line with the results found by previous studies. Using a regression output, two novel metrics, namely aggregation time and disaggregation time, were estimated to obtain further insight into the symmetry of the aggregation process. Across all oceans, the time it took for the tuna aggregation to depart from the dFADs was not significantly longer than the time it took for the aggregation to form. The value of these results in the context of the "ecological trap" hypothesis is discussed, and further analyses to enrich and make use of this data source are proposed.


title: Intelligent Reflective Surface vs. Mobile Relay-supported NLoS Avoidance in Indoor mmWave Networks

abstract: The 6th generation of wireless communication (6G) is envisioned to give rise to various technologies for improving the end-to-end communication performance, where the communication is envisioned to utilize wireless signals in the millimeter wave (mmWave) frequencies and above. Among others, these technologies comprise Intelligent Reflective Surfaces (IRSs) and Mobile Relays (MRs), whose envisaged roles include mitigating the negative effects of Non-Line-of-Sight (NLoS) connectivity, in particular at mmWave and higher frequencies. The core idea behind these technologies is to use cooperative networking where the source sends a signal to a repeater, in this case the IRS or the MR, which is upon reception forwarded to the destination. When comparing the two technologies, it is important to realize that the IRSs are primarily envisioned to be static entities attached to various objects in the environment such as walls and furniture. In contrast, the MRs will feature a higher degree of freedom, as they will be able to position themselves seamlessly in the environment. Based on the above assumptions, we derive an approach for determining the optimal position of the IRS and MR in indoor environments, i.e., the one that maximizes the end-to-end link quality between the source and the destination. We follow by capturing the communication quality indicators for both IRS- and MR-supported NLoS avoidance in indoor mmWave communication in a number of scenarios. Our results show that, from the end-to-end link quality perspective, the MRs generally outperform the IRSs, suggesting their utilization potential for throughput-optimized NLoS avoidance scenarios.


title: Language models show human-like content effects on reasoning tasks

abstract: Abstract reasoning is a key ability for an intelligent system. Large language models (LMs) achieve above-chance performance on abstract reasoning tasks, but exhibit many imperfections. However, human abstract reasoning is also imperfect. For example, human reasoning is affected by our real-world knowledge and beliefs, and shows notable "content effects"; humans reason more reliably when the semantic content of a problem supports the correct logical inferences. These content-entangled reasoning patterns play a central role in debates about the fundamental nature of human intelligence. Here, we investigate whether language models $\unicode{x2014}$ whose prior expectations capture some aspects of human knowledge $\unicode{x2014}$ similarly mix content into their answers to logical problems. We explored this question across three logical reasoning tasks: natural language inference, judging the logical validity of syllogisms, and the Wason selection task. We evaluate state of the art large language models, as well as humans, and find that the language models reflect many of the same patterns observed in humans across these tasks $\unicode{x2014}$ like humans, models answer more accurately when the semantic content of a task supports the logical inferences. These parallels are reflected both in answer patterns, and in lower-level features like the relationship between model answer distributions and human response times. Our findings have implications for understanding both these cognitive effects in humans, and the factors that contribute to language model performance.


title: Chemical Synthesis and Materials Discovery

abstract: Functional materials impact every area of our lives ranging from electronic and computing devices to transportation and health. In this Perspective, we examine the relationship between synthetic discoveries and the scientific breakthroughs that they have enabled. By tracing the development of some important examples, we explore how and why the materials were initially synthesized and how their utility was subsequently recognised. Three common pathways to materials breakthroughs are identified. In a small number of cases, such as the aluminosilicate zeolite catalyst ZSM-5, an important advance is made by using design principles based upon earlier work. There are also rare cases of breakthroughs that are serendipitous, such as the buckyball and Teflon(R). Most commonly, however, the breakthrough repurposes a compound that is already known and was often made out of curiosity or for a different application. Typically, the synthetic discovery precedes the discovery of functionality by many decades; key examples include conducting polymers, topological insulators and electrodes for lithium-ion batteries.


title: On Pitts' Relational Properties of Domains

abstract: Andrew Pitts' framework of relational properties of domains is a powerful method for defining predicates or relations on domains, with applications ranging from reasoning principles for program equivalence to proofs of adequacy connecting denotational and operational semantics. Its main appeal is handling recursive definitions that are not obviously well-founded: as long as the corresponding domain is also defined recursively, and its recursion pattern lines up appropriately with the definition of the relations, the framework can guarantee their existence. Pitts' original development used the Knaster-Tarski fixed-point theorem as a key ingredient. In these notes, I show how his construction can be seen as an instance of other key fixed-point theorems: the inverse limit construction, the Banach fixed-point theorem and the Kleene fixed-point theorem. The connection underscores how Pitts' construction is intimately tied to the methods for constructing the base recursive domains themselves, and also to techniques based on guarded recursion, or step-indexing, that have become popular in the last two decades.


title: High-Performance Computing for SKA Transient Search: Use of FPGA based Accelerators -- a brief review

abstract: This paper presents the High-Performance computing efforts with FPGA for the accelerated pulsar/transient search for the SKA. Case studies are presented from within SKA and pathfinder telescopes highlighting future opportunities. It reviews the scenario that has shifted from offline processing of the radio telescope data to digitizing several hundreds/thousands of antenna outputs over huge bandwidths, forming several 100s of beams, and processing the data in the SKA real-time pulsar search pipelines. A brief account of the different architectures of the accelerators, primarily the new generation Field Programmable Gate Array-based accelerators, showing their critical roles to achieve high-performance computing and in handling the enormous data volume problems of the SKA is presented here. It also presents the power-performance efficiency of this emerging technology and presents potential future scenarios.


title: High Dimensional Generalised Penalised Least Squares

abstract: In this paper we develop inference for high dimensional linear models, with serially correlated errors. We examine Lasso under the assumption of strong mixing in the covariates and error process, allowing for fatter tails in their distribution. While the Lasso estimator performs poorly under such circumstances, we estimate via GLS Lasso the parameters of interest and extend the asymptotic properties of the Lasso under more general conditions. Our theoretical results indicate that the non-asymptotic bounds for stationary dependent processes are sharper, while the rate of Lasso under general conditions appears slower as $T,p\to \infty$. Further we employ the debiased Lasso to perform inference uniformly on the parameters of interest. Monte Carlo results support the proposed estimator, as it has significant efficiency gains over traditional methods.


title: Fiducial Drell-Yan production at the LHC improved by transverse-momentum resummation at N$^4$LL+N$^3$LO

abstract: Drell-Yan production is one of the precision cornerstones of the LHC, serving as calibration for measurements such as the $W$-boson mass. Its extreme precision at the level of 1% challenges theory predictions at the highest level. We present the first independent calculation of Drell-Yan production at order $\alpha_s^3$ in transverse-momentum ($q_T$) resummation improved perturbation theory. Our calculation reaches the state-of-the-art through inclusion of the recently published four loop rapidity anomalous dimension and three loop massive axial-vector contributions. We compare to the most recent data from CMS with fiducial and differential cross-section predictions and find excellent agreement at the percent level. Our resummed calculation including the matching to $Z$+jet production at NNLO is publicly available in the upcoming CuTe-MCFM 10.3 release and allows for theory-data comparison at an unprecedented level.


title: Analogues of the Bol operator for half-integral weight weakly holomorphic modular forms

abstract: We define an analogue of the Bol operator on spaces of weakly holomorphic modular forms of half-integral weight. We establish its main properties and relation with other objects.


title: Optimising the Efficiency of a Quantum Memory based on Rephased Amplified Spontaneous Emission

abstract: We studied the recall efficiency as a function of optical depth of rephased amplified spontaneous emission (RASE), a protocol for generating entangled light. The experiments were performed on the $^{3}\! H_{4}$ $\rightarrow$ $^{1}\! D_{2}$ transition in the rare-earth doped crystal Pr$^{3+}$:Y$_{2}$SiO$_{5}$, using a four-level echo sequence between four hyperfine levels to rephase the emission. Rephased emission was observed for optical depths in the range of $\alpha L$ = 0.8 to 2.0 with a maximum rephasing efficiency of 14 % observed while incorporating spin storage. This efficiency is a significant improvement over the previously reported non-classical result but is well short of the predicted efficiency. We discuss the possible mechanisms limiting the protocol's performance, and suggest ways to overcome these limits.


title: Semi-Supervised Temporal Action Detection with Proposal-Free Masking

abstract: Existing temporal action detection (TAD) methods rely on a large number of training data with segment-level annotations. Collecting and annotating such a training set is thus highly expensive and unscalable. Semi-supervised TAD (SS-TAD) alleviates this problem by leveraging unlabeled videos freely available at scale. However, SS-TAD is also a much more challenging problem than supervised TAD, and consequently much under-studied. Prior SS-TAD methods directly combine an existing proposal-based TAD method and a SSL method. Due to their sequential localization (e.g, proposal generation) and classification design, they are prone to proposal error propagation. To overcome this limitation, in this work we propose a novel Semi-supervised Temporal action detection model based on PropOsal-free Temporal mask (SPOT) with a parallel localization (mask generation) and classification architecture. Such a novel design effectively eliminates the dependence between localization and classification by cutting off the route for error propagation in-between. We further introduce an interaction mechanism between classification and localization for prediction refinement, and a new pretext task for self-supervised model pre-training. Extensive experiments on two standard benchmarks show that our SPOT outperforms state-of-the-art alternatives, often by a large margin. The PyTorch implementation of SPOT is available at https://github.com/sauradip/SPOT