title: Rank varieties and $\pi$-points for elementary supergroup schemes

abstract: We develop a support theory for elementary supergroup schemes, over a field of positive characteristic $p\ge 3$, starting with a definition of a $\pi$-point generalising cyclic shifted subgroups of Carlson for elementary abelian groups and $\pi$-points of Friedlander and Pevtsova for finite group schemes. These are defined in terms of maps from the graded algebra $k[t,\tau]/(t^p-\tau^2)$, where $t$ has even degree and $\tau$ has odd degree. The strength of the theory is demonstrated by classifying the parity change invariant localising subcategories of the stable module category of an elementary supergroup scheme.


title: Quantum sensing of open systems: Estimation of damping constants and temperature

abstract: We determine quantum precision limits for estimation of damping constants and temperature of lossy bosonic channels. A direct application would be the use of light for estimation of the absorption and the temperature of a transparent slab. Analytic lower bounds are obtained for the uncertainty in the estimation, through a purification procedure that replaces the master equation description by a unitary evolution involving the system and ad hoc environments. For zero temperature, Fock states are shown to lead to the minimal uncertainty in the estimation of damping, with boson-counting being the best measurement procedure. In both damping and temperature estimates, sequential pre-thermalization measurements, through a stream of single bosons, may lead to huge gain in precision.


title: Axion Gegenschein: Probing Back-scattering of Astrophysical Radio Sources Induced by Dark Matter

abstract: We investigate a novel technique for the astrophysical detection of axions or axion-like particles in the dark matter halo of the Milky Way based on stimulated decay of axions, which we call axion gegenschein emission. Photons from the brightest known radio sources with a frequency equal to half the axion mass stimulate axion decay while propagating through the dark matter halo, causing radio emission in a direction precisely opposite to the incoming photon in the axion rest-frame and creating a countersource for every radio source, with an image smoothed by the dark matter velocity dispersion. We calculate the flux of the axion gegenschein countersource of Cygnus A, the brightest extragalactic radio source, and the limits that can be set with SKA to the axion-photon coupling constant $g_{a\gamma}$. We find this method to be more powerful than previous proposals based on searching for radio emission from axion decay in nearby dwarf galaxies or the Milky Way. The forecasted limits remain considerably higher than predictions from QCD axion models, and limits that can be set with laboratory searches of radio waves generated in resonant cavities with strong magnetic fields similar to the ADMX experiment, although this observation would directly measure a column density of dark matter through the Galactic halo and is therefore not affected by possible substructure in the dark matter distribution.


title: Necessary conditions for classifying m-separability of multipartite entanglements

abstract: We study the norms of the Bloch vectors for arbitrary $n$-partite quantum states. A tight upper bound of the norms is derived for $n$-partite systems with different individual dimensions. These upper bounds are used to deal with the separability problems. Necessary conditions are presented for $\mathbf m$-separable states in $n$-partite quantum systems. Based on the upper bounds, classification of multipartite entanglement is illustrated with detailed examples.


title: Analysing Risk of Coronary Heart Disease through Discriminative Neural Networks

abstract: The application of data mining, machine learning and artificial intelligence techniques in the field of diagnostics is not a new concept, and these techniques have been very successfully applied in a variety of applications, especially in dermatology and cancer research. But, in the case of medical problems that involve tests resulting in true or false (binary classification), the data generally has a class imbalance with samples majorly belonging to one class (ex: a patient undergoes a regular test and the results are false). Such disparity in data causes problems when trying to model predictive systems on the data. In critical applications like diagnostics, this class imbalance cannot be overlooked and must be given extra attention. In our research, we depict how we can handle this class imbalance through neural networks using a discriminative model and contrastive loss using a Siamese neural network structure. Such a model does not work on a probability-based approach to classify samples into labels. Instead it uses a distance-based approach to differentiate between samples classified under different labels. The code is available at https://tinyurl.com/DiscriminativeCHD/


title: Radiative capture rates at deep defects from electronic structure calculations

abstract: We present a methodology to calculate radiative carrier capture coefficients at deep defects in semiconductors and insulators from first principles. Electronic structure and lattice relaxations are accurately described with hybrid density functional theory. Calculations of capture coefficients provide an additional validation of the accuracy of these functionals in dealing with localized defect states. We also discuss the validity of the Condon approximation, showing that even in the event of large lattice relaxations the approximation is accurate. We test the method on GaAs:$V_\text{Ga}$-$\text{Te}_\text{As}$ and GaN:C$_\text{N}$, for which reliable experiments are available, and demonstrate very good agreement with measured capture coefficients.


title: Neutron star structure with nuclear force mediated by hypothetical X17 boson

abstract: A reported ${17~}$MeV boson, which has been proposed as an explanation to the $^{8}$Be and $^{4}$He anomaly, is investigated in the context of its possible influence to neutron stars structure. Implementing a $m_{X}$=17 MeV to the nuclear equation of state using different incompressibility values K$_{0}$=245 MeV and K$_{0}$=260 MeV and solving Tolman-Oppenheimer-Volkoff equations, we estimate an upper limit of ${M_{TOV}\thickapprox 2.4M\odot}$ for a non rotating neutron star with span in radius ${R}$ between ${11.5~}$km to ${14~}$km. Moving away from pure - NN with admixture of 10\% protons and simulating possible softening of equation of state due to hyperons, we see that our estimated limits fit quite well inside the newest reported studies, coming from neutron stars merger event, GW190814


title: Exact, Parallelizable Dynamic Time Warping Alignment with Linear Memory

abstract: Audio alignment is a fundamental preprocessing step in many MIR pipelines. For two audio clips with M and N frames, respectively, the most popular approach, dynamic time warping (DTW), has O(MN) requirements in both memory and computation, which is prohibitive for frame-level alignments at reasonable rates. To address this, a variety of memory efficient algorithms exist to approximate the optimal alignment under the DTW cost. To our knowledge, however, no exact algorithms exist that are guaranteed to break the quadratic memory barrier. In this work, we present a divide and conquer algorithm that computes the exact globally optimal DTW alignment using O(M+N) memory. Its runtime is still O(MN), trading off memory for a 2x increase in computation. However, the algorithm can be parallelized up to a factor of min(M, N) with the same memory constraints, so it can still run more efficiently than the textbook version with an adequate GPU. We use our algorithm to compute exact alignments on a collection of orchestral music, which we use as ground truth to benchmark the alignment accuracy of several popular approximate alignment schemes at scales that were not previously possible.


title: Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics

abstract: We propose a novel ranking-based semantics for Dung-style argumentation frameworks with the help of conditional logics. Using an intuitive translation for an argumentation framework to generate conditionals, we can apply nonmonotonic inference systems to generate a ranking on possible worlds. With this ranking we construct a ranking for our arguments. With a small extension to this ranking-based semantics we already satisfy some desirable properties for a ranking over arguments.


title: Recommending Influenceable Targets based on Influence Propagation through Activity Behaviors in Online Social Media

abstract: Online Social Media (OSM) is a platform through which the users present themselves to the connected world by means of messaging, posting, reacting, tagging, and sharing on different contents with also other social activities. Nowadays, it has a vast impact on various aspects of the industry, business and society along with on users life. In an OSN platform, reaching the target users is one of the primary focus for most of the businesses and other organizations. Identification and recommendation of influenceable targets help to capture the appropriate audience efficiently and effectively. In this paper, an effective model has been discussed in egocentric OSN by incorporating an efficient influence measured Recommendation System in order to generate a list of top most influenceable target users among all connected network members for any specific social network user. Firstly the list of interacted network members has been updated based on all activities. On which the interacted network members with most similar activities have been recommended based on the specific influence category with sentiment type. After that, the top most influenceable network members in the basis of the required amount among those updated list of interacted network members have been identified with proper ranking by analyzing the similarity and frequency of their activity contents with respect to the activity contents of the main user. Through these two continuous stages, an effective list of top influenceable targets of the main user has been distinguished from the egocentric view of any social network.


title: Shonan Rotation Averaging: Global Optimality by Surfing $SO(p)^n$

abstract: Shonan Rotation Averaging is a fast, simple, and elegant rotation averaging algorithm that is guaranteed to recover globally optimal solutions under mild assumptions on the measurement noise. Our method employs semidefinite relaxation in order to recover provably globally optimal solutions of the rotation averaging problem. In contrast to prior work, we show how to solve large-scale instances of these relaxations using manifold minimization on (only slightly) higher-dimensional rotation manifolds, re-using existing high-performance (but local) structure-from-motion pipelines. Our method thus preserves the speed and scalability of current SFM methods, while recovering globally optimal solutions.


title: Quantum Love

abstract: The response of a gravitating object to an external tidal field is encoded in its Love numbers, which identically vanish for classical blackholes (BHs). Here we show, using standard time-independent quantum perturbation theory, that for a quantum BH, generically, the Love numbers are nonvanishing and negative, and that their magnitude depends on the lowest lying levels of the quantum spectrum of the BH. We calculate the quadrupolar electric quantum Love number of nonrotating BHs and show that it depends most strongly on the first excited level of the quantum BH. We then compare our results to the same Love number of exotic ultra compact objects and to that of classical compact stars and highlight their different parametric dependence. Finally, we discuss the detectability of the quadrupolar quantum Love number in future precision gravitational-wave observations and show that, under favourable circumstances, its magnitude is large enough to imprint an observable signature on the gravitational waves emitted during the inspiral phase of two moderately spinning BHs.


title: Melting and decomposition of orthorhombic B6Si under high pressure

abstract: Melting of orthorhombic boron silicide B6Si has been studied at pressures up to 8 GPa using in situ electrical resistivity measurements and quenching. It has been found that in the 2.6-7.7 GPa range B6Si melts congruently, and the melting curve exhibits negative slope of -31(2) K/GPa that points to a higher density of the melt as compared to the solid phase. At very high temperatures B6Si melt appears to be unstable and undergoes disproportionation into silicon and boron-rich silicides. The onset temperature of disproportionation strongly depends on pressure, and the corresponding low-temperature boundary exhibits negative slope of -92(3) K/GPa which is indicative of significant volume decrease in the course of B6Si melt decomposition.


title: Object classification in analytical chemistry via data-driven discovery of partial differential equations

abstract: Glycans are one of the most widely investigated biomolecules, due to their roles in numerous vital biological processes. This involvement makes it critical to understand their structure-function relationships. Few system-independent, LC-MS/MS (Liquid chromatography tandem mass spectrometry) based studies have been developed with this particular goal, however. When studied, the employed methods generally rely on normalized retention times as well as m/z - mass to charge ratio of an ion values. Due to these limitations, there is need for quantitative characterization methods which can be used independently of m/z values, thus utilizing only normalized retention times. As such, the primary goal of this article is to construct an LC-MS/MS based classification of the permethylated glycans derived from standard glycoproteins and human blood serum, using a Glucose Unit Index (GUI) as the reference frame in the space of compound parameters. For the reference frame we develop a closed-form analytic formula, which is obtained from the Green's function of a relevant convection-diffusion-absorption equation used to model composite material transport. The aforementioned equation is derived from an Einstein-Brownian motion paradigm, which provides a physical interpretation of the time-dependence at the point of observation for molecular transport in the experiment. The necessary coefficients are determined via a data-driven learning procedure. The methodology is presented in an abstract manner which allows for immediate application to related physical and chemical processes. Results employing the proposed classification method are validated via comparison with experimental mass spectrometer data.


title: On global attractors for 2D damped driven nonlinear Schr\"odinger equations

abstract: Well-posedness and global attractor are established for 2D damped driven nonlinear Schr\"odinger equation with almost periodic pumping in a bounded region. The key role is played by a novel application of the energy equation.


title: Compositional Networks Enable Systematic Generalization for Grounded Language Understanding

abstract: Humans are remarkably flexible when understanding new sentences that include combinations of concepts they have never encountered before. Recent work has shown that while deep networks can mimic some human language abilities when presented with novel sentences, systematic variation uncovers the limitations in the language-understanding abilities of networks. We demonstrate that these limitations can be overcome by addressing the generalization challenges in the gSCAN dataset, which explicitly measures how well an agent is able to interpret novel linguistic commands grounded in vision, e.g., novel pairings of adjectives and nouns. The key principle we employ is compositionality: that the compositional structure of networks should reflect the compositional structure of the problem domain they address, while allowing other parameters to be learned end-to-end. We build a general-purpose mechanism that enables agents to generalize their language understanding to compositional domains. Crucially, our network has the same state-of-the-art performance as prior work while generalizing its knowledge when prior work does not. Our network also provides a level of interpretability that enables users to inspect what each part of networks learns. Robust grounded language understanding without dramatic failures and without corner cases is critical to building safe and fair robots; we demonstrate the significant role that compositionality can play in achieving that goal.


title: Magnetic Energy Release, Plasma Dynamics, and Particle Acceleration during Relativistic Turbulent Magnetic Reconnection

abstract: In strongly magnetized astrophysical plasma systems, magnetic reconnection is believed to be a primary process during which explosive energy release and particle acceleration occur, leading to significant high-energy emission. Past years have witnessed active development of kinetic modeling of relativistic magnetic reconnection, supporting this magnetically dominated scenario. A much less explored issue is the consequence of 3D dynamics, where turbulent structures are naturally generated as various types of instabilities develop. This paper presents a series of 3D, fully-kinetic simulations of relativistic turbulent magnetic reconnection (RTMR) in positron-electron plasmas with system domains much larger than kinetic scales. Our simulations start from a force-free current sheet with several different modes of long wavelength magnetic field perturbations, which drive additional turbulence in the reconnection region. Because of this, the current layer breaks up and the reconnection region quickly evolves into a turbulent layer filled with coherent structures such as flux ropes and current sheets. We find that plasma dynamics in RTMR is vastly different from their 2D counterparts in many aspects. The flux ropes evolve rapidly after their generation, and can be completely disrupted due to the secondary kink instability. This turbulent evolution leads to superdiffusion behavior of magnetic field lines as seen in MHD studies of turbulent reconnection. Meanwhile, nonthermal particle acceleration and energy-release time scale can be very fast and do not strongly depend on the turbulence amplitude. The main acceleration mechanism is a Fermi-like acceleration process supported by the motional electric field, whereas the non-ideal electric field acceleration plays a subdominant role. We discuss possible observational implications of 3D RTMR in high-energy astrophysics.


title: New data for the definition of neutron beams for Boron Neutron Capture Therapy

abstract: Boron Neutron Capture Therapy (BNCT) is a neutron radiotherapy used to treat tumours cells previously doping with Boron-10. This therapy requires an epithermal neutron beam for the treatment of deep tumours and a thermal beam for shallow ones. Thanks to recent high-current commercial accelerators, Accelerator-Based Neutron Sources (ABNS) are competitive option for providing therapeutic neutron beams in hospitals. In this work, the neutron field generated by the $^7$Li(p,n)$^7$Be reaction at $1950~$keV is studied as neutron source in ABNS, being measured by the Time-Of-Flight (TOF) technique at HiSPANoS facility (Spain). Moreover, two Beam Shaping Assemblies (BSA) for deep and shallow tumour treatment, which are specially designed for the $1950~$keV neutron field, are evaluated for BNCT via Monte Carlo simulations (MCNP). Results in agreement with the International Atomic Energy Agency (IAEA) figures of merit endorse the use of this neutron field for BNCT.

categories: physics.ins-det nucl-ex physics.app-ph physics.med-ph


title: Towards Accurate Pixel-wise Object Tracking by Attention Retrieval

abstract: The encoding of the target in object tracking moves from the coarse bounding-box to fine-grained segmentation map recently. Revisiting de facto real-time approaches that are capable of predicting mask during tracking, we observed that they usually fork a light branch from the backbone network for segmentation. Although efficient, directly fusing backbone features without considering the negative influence of background clutter tends to introduce false-negative predictions, lagging the segmentation accuracy. To mitigate this problem, we propose an attention retrieval network (ARN) to perform soft spatial constraints on backbone features. We first build a look-up-table (LUT) with the ground-truth mask in the starting frame, and then retrieves the LUT to obtain an attention map for spatial constraints. Moreover, we introduce a multi-resolution multi-stage segmentation network (MMS) to further weaken the influence of background clutter by reusing the predicted mask to filter backbone features. Our approach set a new state-of-the-art on recent pixel-wise object tracking benchmark VOT2020 while running at 40 fps. Notably, the proposed model surpasses SiamMask by 11.7/4.2/5.5 points on VOT2020, DAVIS2016, and DAVIS2017, respectively. We will release our code at https://github.com/researchmm/TracKit.


title: Magnetic, transport, and thermal properties of $\delta$-phase UZr$_2$

abstract: Alloys of hexagonal $\delta$-phase UZr$_2$ have been synthesized and studied by means of heat capacity, magnetic susceptibility, magnetization, electrical resistivity, magnetoresistance, thermoelectric power, thermal conductivity measurements, for the first time, at temperatures from 1.8 to 300 K and in magnetic fields up to 8 T. The weak temperature dependence of the magnetic susceptibility and the small value of both Seebeck (0.75 $\mu$V/K at room temperature) and of the Sommerfeld coefficient (13.5 mJ mol$^{-1}$ K$^{-2}$) point to 5$f$-electrons in this material having a delocalized nature. The electrical resistivity and magnetoresistance indicate the presence of significant electronic disorder in $\delta$-UZr$_2$, consistent with the disorder in its crystal structure. Density functional theory calculations have been performed and compared to experimental results.


title: A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

abstract: Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders, however, existing approaches and tools are still not optimal. On the one hand, to support the diagnosis of this complex and vast spectrum of disorders, the International Headache Society released in 1988 the International Classification of Headache Disorders (ICHD), now in its 3rd edition: a 200 pages document classifying more than 300 different kinds of headaches, where each is identified via a collection of specific nontrivial diagnostic criteria. On the other hand, the high number of headache disorders and their complex criteria make the medical history process inaccurate and not exhaustive both for clinicians and existing automatic tools. To fill this gap, we present HEAD-ASP, a novel decision support system for the diagnosis of headache disorders. Through a REST Web Service, HEAD-ASP implements a dynamic questionnaire that complies with ICHD-3 by exploiting two logical modules to reach a complete diagnosis while trying to minimize the total number of questions being posed to patients. Finally, HEAD-ASP is freely available on-line and it is receiving very positive feedback from the group of neurologists that is testing it.


title: On Passivity, Feedback Passivity, And Feedback Passivity Over Erasure Network: A Piecewise Affine Approximation Approach

abstract: In this paper, we deal with the problem of passivity and feedback passification of smooth discrete-time nonlinear systems by considering their piecewise affine approximations. Sufficient conditions are derived for passivity and feedback passivity. These results are then extended to systems that operate over Gilbert-Elliott type communication channels. As a special case, results for feedback passivity of piecewise affine systems over a lossy channel are also derived.


title: The VISIONE Video Search System: Exploiting Off-the-Shelf Text Search Engines for Large-Scale Video Retrieval

abstract: In this paper, we describe in details VISIONE, a video search system that allows users to search for videos using textual keywords, occurrence of objects and their spatial relationships, occurrence of colors and their spatial relationships, and image similarity. These modalities can be combined together to express complex queries and satisfy user needs. The peculiarity of our approach is that we encode all the information extracted from the keyframes, such as visual deep features, tags, color and object locations, using a convenient textual encoding indexed in a single text retrieval engine. This offers great flexibility when results corresponding to various parts of the query (visual, text and locations) have to be merged. In addition, we report an extensive analysis of the system retrieval performance, using the query logs generated during the Video Browser Showdown (VBS) 2019 competition. This allowed us to fine-tune the system by choosing the optimal parameters and strategies among the ones that we tested.


title: On $n$-trivialities of classical and virtual knots for some unknotting operations

abstract: In this paper, we introduce a new nontrivial filtration, called F-order, for classical and virtual knot invariants; this filtration produces filtered knot invariants, which are called finite type invariants similar to Vassiliev knot invariants. Finite type invariants introduced by Goussarov, Polyak, and Viro are well-known, and we call them finite type invariants of GPV-order. We show that for any positive integer $n$ and for any classical knot $K$, there exist infinitely many of nontrivial classical knots, all of whose finite type invariants of GPV-order $< n$, coincide with those of $K$ (Theorem 1). Further, we show that for any positive integer n, there exists a nontrivial virtual knot whose finite type invariants of our F-order $< n$ coincide with those of the trivial knot (Theorem 2). In order to prove Theorem 1 (Theorem 2, resp.), we define an n-triviality via a certain unknotting operation, called virtualization (forbidden moves, resp.), and for any positive integer n, find an n-trivial classical knot (virtual knot, resp.).


title: Decay scheme of 50V

abstract: Investigation of the $^{50}$V electron-capture to the $2^+$ 1553.8 keV level of $^{50}$Ti and search for $\beta^-$ decay of $^{50}$V to the $2^+$ 783.3 keV level of $^{50}$Cr (both those decays are fourfold forbidden with $\Delta J^{\Delta \pi}=4^+$) have been performed using a vanadium sample of natural isotopic abundance with mass of 955 g. The measurements were conducted with the help of an ultra low-background HPGe-detector system located 225 m underground in the laboratory HADES (Belgium). The measured value of the half-life of $^{50}$V for electron capture was $T^{\mathrm{EC}}_{1/2}=(2.77^{+0.20}_{-0.19})\times 10^{17}$ yr. The $\beta^-$-decay branch was not detected and the corresponding lower bound of the half-life was $T^{\beta}_{1/2}\geq 8.9\times 10^{18}$ yr at the 90\% confidence level.


title: Internet-Scale Video Streaming over NDN

abstract: Research in Information-Centric Networking (ICN) and Named Data Networking (NDN) has produced many protocol designs and software prototypes, but they need to be validated and evaluated by real usage on the Internet, which is also critical to the realization of the ICN/NDN vision in the long-run. This paper presents the first Internet-scale adaptive video streaming service over NDN, which allows regular users to watch videos using NDN technology with no software installation or manual configuration. Since mid-2019, the official NDN website has started using our service to deliver its videos to Internet users over the global NDN testbed, showcasing the feasibility of NDN. We conduct real-world experiments on the NDN testbed to validate the proper implementation of the client, network, and server sides of the proposed system and also evaluate the performance of our video streaming service.


title: Competitive Allocation of a Mixed Manna

abstract: We study the fair division problem of allocating a mixed manna under additively separable piecewise linear concave (SPLC) utilities. A mixed manna contains goods that everyone likes and bads that everyone dislikes, as well as items that some like and others dislike. The seminal work of Bogomolnaia et al. [Econometrica'17] argue why allocating a mixed manna is genuinely more complicated than a good or a bad manna, and why competitive equilibrium is the best mechanism. They also provide the existence of equilibrium and establish its peculiar properties (e.g., non-convex and disconnected set of equilibria even under linear utilities), but leave the problem of computing an equilibrium open. This problem remained unresolved even for only bad manna under linear utilities. Our main result is a simplex-like algorithm based on Lemke's scheme for computing a competitive allocation of a mixed manna under SPLC utilities, a strict generalization of linear. Experimental results on randomly generated instances suggest that our algorithm will be fast in practice. The problem is known to be PPAD-hard for the case of good manna, and we also show a similar result for the case of bad manna. Given these PPAD-hardness results, designing such an algorithm is the only non-brute-force (non-enumerative) option known, e.g., the classic Lemke-Howson algorithm (1964) for computing a Nash equilibrium in a 2-player game is still one of the most widely used algorithms in practice. Our algorithm also yields several new structural properties as simple corollaries. We obtain a (constructive) proof of existence for a far more general setting, membership of the problem in PPAD, rational-valued solution, and odd number of solutions property. The last property also settles the conjecture of Bogomolnaia et al. in the affirmative.


title: Discovering and Categorising Language Biases in Reddit

abstract: We present a data-driven approach using word embeddings to discover and categorise language biases on the discussion platform Reddit. As spaces for isolated user communities, platforms such as Reddit are increasingly connected to issues of racism, sexism and other forms of discrimination. Hence, there is a need to monitor the language of these groups. One of the most promising AI approaches to trace linguistic biases in large textual datasets involves word embeddings, which transform text into high-dimensional dense vectors and capture semantic relations between words. Yet, previous studies require predefined sets of potential biases to study, e.g., whether gender is more or less associated with particular types of jobs. This makes these approaches unfit to deal with smaller and community-centric datasets such as those on Reddit, which contain smaller vocabularies and slang, as well as biases that may be particular to that community. This paper proposes a data-driven approach to automatically discover language biases encoded in the vocabulary of online discourse communities on Reddit. In our approach, protected attributes are connected to evaluative words found in the data, which are then categorised through a semantic analysis system. We verify the effectiveness of our method by comparing the biases we discover in the Google News dataset with those found in previous literature. We then successfully discover gender bias, religion bias, and ethnic bias in different Reddit communities. We conclude by discussing potential application scenarios and limitations of this data-driven bias discovery method.


title: On contact type hypersurfaces in 4-space

abstract: We consider constraints on the topology of closed 3-manifolds that can arise as hypersurfaces of contact type in standard symplectic $R^4$. Using an obstruction derived from Heegaard Floer homology we prove that no Brieskorn homology sphere admits a contact type embedding in $R^4$, a result that has bearing on conjectures of Gompf and Koll\'ar. This implies in particular that no rationally convex domain in $C^2$ has boundary diffeomorphic to a Brieskorn sphere. We also give infinitely many examples of contact 3-manifolds that bound Stein domains but not symplectically convex ones; in particular we find Stein domains in $C^2$ that cannot be made Weinstein with respect to the ambient symplectic structure while preserving the contact structure on their boundaries.


title: Multiple Transits during a Single Conjunction: Identifying Transiting Circumbinary Planetary Candidates from TESS

abstract: We present results of a study on identifying circumbinary planet candidates that produce multiple transits during one conjunction with eclipsing binary systems. The occurrence of these transits enables us to estimate the candidates' orbital periods, which is crucial as the periods of the currently known transiting circumbinary planets are significantly longer than the typical observational baseline of TESS. Combined with the derived radii, it also provides valuable information needed for follow-up observations and subsequent confirmation of a large number of circumbinary planet candidates from TESS. Motivated by the discovery of the 1108-day circumbinary planet Kepler-1647, we show the application of this technique to four of Kepler's circumbinary planets that produce such transits. Our results indicate that in systems where the circumbinary planet is on a low-eccentricity orbit, the estimated planetary orbital period is within <10-20% of the true value. This estimate is derived from photometric observations spanning less than 5% of the planet's period, demonstrating the strong capability of the technique. Capitalizing on the current and future eclipsing binaries monitored by NASA's TESS mission, we estimate that hundreds of circumbinary planets candidates producing multiple transits during one conjunction will be detected in the TESS data. Such a large sample will enable statistical understanding of the population of planets orbiting binary stars and shed new light on their formation and evolution.


title: Unsupervised Learning for Identifying Events in Active Target Experiments

abstract: This article presents novel applications of unsupervised machine learning methods to the problem of event separation in an active target detector, the Active-Target Time Projection Chamber (AT-TPC). The overarching goal is to group similar events in the early stages of the data analysis, thereby improving efficiency by limiting the computationally expensive processing of unnecessary events. The application of unsupervised clustering algorithms to the analysis of two-dimensional projections of particle tracks from a resonant proton scattering experiment on $^{46}$Ar is introduced. We explore the performance of autoencoder neural networks and a pre-trained VGG16 convolutional neural network. We study clustering performance on both data from a simulated $^{46}$Ar experiment, and real events from the AT-TPC detector. We find that a $k$-means algorithm applied to simulated data in the VGG16 latent space forms almost perfect clusters. Additionally, the VGG16+$k$-means approach finds high purity clusters of proton events for real experimental data. We also explore the application of clustering the latent space of autoencoder neural networks for event separation. While these networks show strong performance, they suffer from high variability in their results.


title: Model projective twists and generalised lantern relations

abstract: We use Picard-Lefschetz theory to introduce a new local model for the planar projective twists $\tau_{\mathbb{A}\mathbb{P}^2} \in \mathrm{Symp}_{ct}(T^*\mathbb{A}\mathbb{P}^2), \ \mathbb{A} \in \{ \mathbb{R}, \mathbb{C} \}$. In each case, we construct an exact Lefschetz fibration $\pi\colon T^*\mathbb{A}\mathbb{P}^2\to \mathbb{C}$ with three singular fibres, and define a compactly supported symplectomorphism $\varphi \in \mathrm{Symp}_{ct}(T^*\mathbb{A}\mathbb{P}^2)$ on the total space. Given two disjoint Lefschetz thimbles $\Delta_{\alpha},\Delta_{\beta} \subset T^*\mathbb{A}\mathbb{P}^2$, we compute the Floer cohomology groups $\mathrm{HF}(\varphi^k(\Delta_{\alpha}), \Delta_{\beta}; \mathbb{Z}/2\mathbb{Z})$ and verify (partially for $\mathbb{C}\mathbb{P}^2$) that $\varphi$ is indeed isotopic to (a power of) the projective twist in its local model. The constructions we present are governed by generalised lantern relations, which provide an isotopy between the total monodromy of a Lefschetz fibration and a fibred twist along an $S^1$-fibred coisotropic submanifold of the smooth fibre. We also use these relations to generate non-exact fillings for the contact manifolds $(ST^*\mathbb{C}\mathbb{P}^2, \xi_{std}), (ST^*\mathbb{R}\mathbb{P}^3,\xi_{std})$, and to study two classes of monotone Lagrangian submanifolds of $(T^*\mathbb{C}\mathbb{P}^2, d\lambda_{\mathbb{C}\mathbb{P}^2})$.


title: Future CEvNS experiments as probes of lepton unitarity and light-sterile neutrinos

abstract: We determine the sensitivities of short-baseline coherent elastic neutrino-nucleus scattering (CE$\nu$NS) experiments using a pion decay at rest neutrino source as a probe for nonunitarity in the lepton sector, as expected in low-scale type-I seesaw schemes. We also identify the best configuration for probing light sterile neutrinos at future ton-scale liquid argon CE$\nu$NS experiments, estimating the projected sensitivities on the sterile neutrino parameters. Possible experimental setups at the Spallation Neutron Source, Lujan facility and the European Spallation Source are discussed. Provided that systematic uncertainties remain under control, we find that CE$\nu$NS experiments will be competitive with oscillation measurements in the long run.


title: IV-SLAM: Introspective Vision for Simultaneous Localization and Mapping

abstract: Existing solutions to visual simultaneous localization and mapping (V-SLAM) assume that errors in feature extraction and matching are independent and identically distributed (i.i.d), but this assumption is known to not be true -- features extracted from low-contrast regions of images exhibit wider error distributions than features from sharp corners. Furthermore, V-SLAM algorithms are prone to catastrophic tracking failures when sensed images include challenging conditions such as specular reflections, lens flare, or shadows of dynamic objects. To address such failures, previous work has focused on building more robust visual frontends, to filter out challenging features. In this paper, we present introspective vision for SLAM (IV-SLAM), a fundamentally different approach for addressing these challenges. IV-SLAM explicitly models the noise process of reprojection errors from visual features to be context-dependent, and hence non-i.i.d. We introduce an autonomously supervised approach for IV-SLAM to collect training data to learn such a context-aware noise model. Using this learned noise model, IV-SLAM guides feature extraction to select more features from parts of the image that are likely to result in lower noise, and further incorporate the learned noise model into the joint maximum likelihood estimation, thus making it robust to the aforementioned types of errors. We present empirical results to demonstrate that IV-SLAM 1) is able to accurately predict sources of error in input images, 2) reduces tracking error compared to V-SLAM, and 3) increases the mean distance between tracking failures by more than 70% on challenging real robot data compared to V-SLAM.


title: A down-up chain with persistent labels on multifurcating trees

abstract: In this paper, we propose to study a general notion of a down-up Markov chain for multifurcating trees with n labelled leaves. We study in detail down-up chains associated with the $(\alpha, \gamma)$-model of Chen et al. (2009), generalising and further developing previous work by Forman et al. (2018, 2020) in the binary special cases. The technique we deploy utilizes the construction of a growth process and a down-up Markov chain on trees with planar structure. Our construction ensures that natural projections of the down-up chain are Markov chains in their own right. We establish label dynamics that at the same time preserve the labelled alpha-gamma distribution and keep the branch points between the k smallest labels for order $n^2$ time steps for all k larger than 2. We conjecture the existence of diffusive scaling limits generalising the "Aldous diffusion" by Forman et al. (2018+) as a continuum-tree-valued process and the "algebraic {\alpha}-Ford tree evolution" by L\"{o}hr et al. (2018+) and by Nussbaumer and Winter (2020) as a process in a space of algebraic trees.


title: Ulam Sets in New Settings

abstract: The classical Ulam sequence is defined recursively as follows: $a_1=1$, $a_2=2$, and $a_n$, for $n > 2$, is the smallest integer not already in the sequence that can be written uniquely as the sum of two distinct earlier terms. This sequence is known for its mysterious quasi-periodic behavior and its surprising rigidity when we let $a_2$ vary. This definition can be generalized to other sets of generators in different settings with a binary operation and a valid notion of size. Since there is not always a natural linear ordering of the elements, the resulting collections are called Ulam sets. In this paper, we study Ulam sets in new settings. First, we investigate the structure of canonical Ulam sets in free groups; this is the first investigation of Ulam sets in noncommutative groups. We prove several symmetry results and prove a periodicity result for eventually periodic words with fixed prefixes. Then, we study Ulam sets in $\mathbb{Z}\times (\mathbb{Z}/n\mathbb{Z})$ and prove regularity for an infinite class of initial sets. We also examine an intriguing phenomenon about decompositions of later elements into sums of the generators. Finally, we consider $\mathcal{V}$-sets, a variant where the summands are not required to be distinct; we focus on $\mathcal{V}$-sets in $\mathbb{Z}^2$.


title: Joint Self-Attention and Scale-Aggregation for Self-Calibrated Deraining Network

abstract: In the field of multimedia, single image deraining is a basic pre-processing work, which can greatly improve the visual effect of subsequent high-level tasks in rainy conditions. In this paper, we propose an effective algorithm, called JDNet, to solve the single image deraining problem and conduct the segmentation and detection task for applications. Specifically, considering the important information on multi-scale features, we propose a Scale-Aggregation module to learn the features with different scales. Simultaneously, Self-Attention module is introduced to match or outperform their convolutional counterparts, which allows the feature aggregation to adapt to each channel. Furthermore, to improve the basic convolutional feature transformation process of Convolutional Neural Networks (CNNs), Self-Calibrated convolution is applied to build long-range spatial and inter-channel dependencies around each spatial location that explicitly expand fields-of-view of each convolutional layer through internal communications and hence enriches the output features. By designing the Scale-Aggregation and Self-Attention modules with Self-Calibrated convolution skillfully, the proposed model has better deraining results both on real-world and synthetic datasets. Extensive experiments are conducted to demonstrate the superiority of our method compared with state-of-the-art methods. The source code will be available at \url{https://supercong94.wixsite.com/supercong94}.


title: Resonant gravitational waves in dynamical Chern-Simons-axion gravity

abstract: In this paper, we consider dynamical Chern-Simons gravity with the identification of the scalar field coupled though the Pontryagin density with the axion dark matter, and we discuss the effects of the parametric resonance on gravitational waves (GWs). When we consider GWs in a coherently oscillating axion cloud, we confirm that significant resonant amplification of GWs occurs in a narrow frequency band, and the amplification is restricted to the late epoch after the passage of the incident waves. We also identify the condition that an axion cloud spontaneously emits GWs. Once we take into account the randomness of the spatial phase distribution of the axion oscillations, we find that the amplification is suppressed compared with the coherent case, but significant amplification of GWs can still occur. We also examine whether or not the amplification of GWs is possible in the present universe, taking into account the history of the universe. We find that resonant amplification is difficult to be tested from GW observations in the standard scenario of the axion DM model, in which the axion is the dominant component of DM. However, there is some parameter window in which the resonant amplification of GWs might be observed, if the axion is subdominant component of DM, and the axion cloud formation is delayed until the Hubble rate becomes much smaller than the axion mass.


title: Quantifying uncertainty and dynamical changes in multi-species fishing mortality rates, catches and biomass by combining state-space and mechanistic multi-species models

abstract: In marine management, fish stocks are often managed on a stock-by-stock basis using single-species models. Many of these models are based upon statistical techniques and are good at assessing the current state and making short-term predictions; however, as they do not model interactions between stocks, they lack predictive power on longer timescales. Additionally, there are mechanistic multi-species models that represent key biological processes and consider interactions between stocks such as predation and competition for resources. Due to the complexity of these models, they are difficult to fit to data, and so many mechanistic multi-species models depend upon single-species models where they exist, or ad hoc assumptions when they don't, for parameters such as annual fishing mortality. In this paper we demonstrate that by taking a state-space approach, many of the uncertain parameters can be treated dynamically, allowing us to fit, with quantifiable uncertainty, mechanistic multi-species models directly to data. We demonstrate this by fitting uncertain parameters, including annual fishing mortality, of a size-based multi-species model of the Celtic Sea, for species with and without single-species stock-assessments. Consequently, errors in the single-species models no longer propagate through the multi-species model and underlying assumptions are more transparent. Building mechanistic multi-species models that are internally consistent, with quantifiable uncertainty, will improve their credibility and utility for management. This may lead to their uptake by being either used to corroborate single-species models; directly in the advice process to make predictions into the future; or used to provide a new way of managing data-limited stocks.


title: Assessing the (Un)Trustworthiness of Saliency Maps for Localizing Abnormalities in Medical Imaging

abstract: Saliency maps have become a widely used method to make deep learning models more interpretable by providing post-hoc explanations of classifiers through identification of the most pertinent areas of the input medical image. They are increasingly being used in medical imaging to provide clinically plausible explanations for the decisions the neural network makes. However, the utility and robustness of these visualization maps has not yet been rigorously examined in the context of medical imaging. We posit that trustworthiness in this context requires 1) localization utility, 2) sensitivity to model weight randomization, 3) repeatability, and 4) reproducibility. Using the localization information available in two large public radiology datasets, we quantify the performance of eight commonly used saliency map approaches for the above criteria using area under the precision-recall curves (AUPRC) and structural similarity index (SSIM), comparing their performance to various baseline measures. Using our framework to quantify the trustworthiness of saliency maps, we show that all eight saliency map techniques fail at least one of the criteria and are, in most cases, less trustworthy when compared to the baselines. We suggest that their usage in the high-risk domain of medical imaging warrants additional scrutiny and recommend that detection or segmentation models be used if localization is the desired output of the network. Additionally, to promote reproducibility of our findings, we provide the code we used for all tests performed in this work at this link: https://github.com/QTIM-Lab/Assessing-Saliency-Maps.


title: The Grothendieck--Serre conjecture over valuation rings

abstract: In this article, we establish the Grothendieck-Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This result is predicted by the original Grothendieck-Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Th\'el\`ene-Sansuc's case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat-Tits theory to conclude. In the last section, by using properties of reflexive sheaves, we also prove a variant of Nisnevich's purity conjecture.


title: Investigating the Chinese Postman Problem on a Quantum Annealer

abstract: The recent availability of quantum annealers has fueled a new area of information technology where such devices are applied to address practically motivated and computationally difficult problems with hardware that exploits quantum mechanical phenomena. D-Wave annealers are promising platforms to solve these problems in the form of quadratic unconstrained binary optimization. Here we provide a formulation of the Chinese postman problem that can be used as a tool for probing the local connectivity of graphs and networks. We treat the problem classically with a tabu algorithm and using a D-Wave device. We systematically analyze computational parameters associated with the specific hardware. Our results clarify how the interplay between the embedding due to limited connectivity of the Chimera graph, the definition of logical qubits, and the role of spin-reversal controls the probability of reaching the expected solution.


title: Fine-Grained Complexity of Regular Expression Pattern Matching and Membership

abstract: The currently fastest algorithm for regular expression pattern matching and membership improves the classical O(nm) time algorithm by a factor of about log^{3/2}n. Instead of focussing on general patterns we analyse homogeneous patterns of bounded depth in this work. For them a classification splitting the types in easy (strongly sub-quadratic) and hard (essentially quadratic time under SETH) is known. We take a very fine-grained look at the hard pattern types from this classification and show a dichotomy: few types allow super-poly-logarithmic improvements while the algorithms for the other pattern types can only be improved by a constant number of log-factors, assuming the Formula-SAT Hypothesis.


title: Dual S-matrix Bootstrap I: 2D Theory

abstract: Using duality in optimization theory we formulate a dual approach to the S-matrix bootstrap that provides rigorous bounds to 2D QFT observables as a consequence of unitarity, crossing symmetry and analyticity of the scattering matrix. We then explain how to optimize such bounds numerically, and prove that they provide the same bounds obtained from the usual primal formulation of the S-matrix Bootstrap, at least once convergence is attained from both perspectives. These techniques are then applied to the study of a gapped system with two stable particles of different masses, which serves as a toy model for bootstrapping popular physical systems.


title: Nonlinear dynamics of superpostion of wavepackets

abstract: We study nonlinear dynamics of superposition of quantum wavepackets in various systems such as Kerr medium, Morse oscillator and bosonic Josephson junction. The prime reason behind this study is to find out how the superposition of states influence the dynamics of quantum systems. We consider the superposition states which are potential candidates for quantum computing and quantum communication and so it is most necessary that we study the dynamics for their proper understanding and usage. Methods in nonlinear time series analysis such as first return time distribution, recurrence plot and Lyapunov exponent are used for the qualification and quantification of dynamics. We found that there is a vast change in the dynamics of quantum systems when we consider the superposition of wave packets. These changes are observed in various kinds of dynamics such as periodic, quasi-periodic, ergodic, and chaotic dynamics.


title: Moduli of spherical tori with one conical point

abstract: In this paper we determine the topology of the moduli space $\mathcal{MS}_{1,1}(\vartheta)$ of surfaces of genus one with a Riemannian metric of constant curvature $1$ and one conical point of angle $2\pi\vartheta$. In particular, for $\vartheta\in (2m-1,2m+1)$ non-odd, $\mathcal{MS}_{1,1}(\vartheta)$ is connected, has orbifold Euler characteristic $-m^2/12$, and its topology depends on the integer $m>0$ only. For $\vartheta=2m+1$ odd, $\mathcal{MS}_{1,1}(2m+1)$ has $\lceil{m(m+1)/6}\rceil$ connected components. For $\vartheta=2m$ even, $\mathcal{MS}_{1,1}(2m)$ has a natural complex structure and it is biholomorphic to $\mathbb{H}^2/G_m$ for a certain subgroup $G_m$ of $\mathrm{SL}(2,\mathbb{Z})$ of index $m^2$, which is non-normal for $m>1$.


title: Mathematical works of Vladimir A. Uspensky: A commentary

abstract: Vladimir Andreevich Uspensky [1930-2018] was one of the Soviet pioneers of the theory of computation and mathematical logic in general (and my teacher and thesis advisor). This paper is the survey of his mathematical works and their influence. (His achievements in linguistics and his organizational role are outside the scope of this survey.) The Russian version follows the English one.


title: Effective relational cosmological dynamics from Quantum Gravity

abstract: We discuss the relational strategy to solve the problem of time in quantum gravity and different ways in which it could be implemented, pointing out in particular the fundamentally new dimension that the problem takes in a quantum gravity context in which spacetime and geometry are understood as emergent. We realize concretely the relational strategy we have advocated in the context of the tensorial group field theory formalism for quantum gravity, leading to the extraction of an effective relational cosmological dynamics from quantum geometric models. We analyze in detail the emergent cosmological dynamics, highlighting the improvements over previous work, the contribution of the quantum properties of the relational clock to it, and the interplay between the conditions ensuring a bona fide relational dynamics throughout the cosmological evolution and the existence of a quantum bounce resolving the classical big bang singularity.


title: Forecasting Photovoltaic Power Production using a Deep Learning Sequence to Sequence Model with Attention

abstract: Rising penetration levels of (residential) photovoltaic (PV) power as distributed energy resource pose a number of challenges to the electricity infrastructure. High quality, general tools to provide accurate forecasts of power production are urgently needed. In this article, we propose a supervised deep learning model for end-to-end forecasting of PV power production. The proposed model is based on two seminal concepts that led to significant performance improvements of deep learning approaches in other sequence-related fields, but not yet in the area of time series prediction: the sequence to sequence architecture and attention mechanism as a context generator. The proposed model leverages numerical weather predictions and high-resolution historical measurements to forecast a binned probability distribution over the prognostic time intervals, rather than the expected values of the prognostic variable. This design offers significant performance improvements compared to common baseline approaches, such as fully connected neural networks and one-block long short-term memory architectures. Using normalized root mean square error based forecast skill score as a performance indicator, the proposed approach is compared to other models. The results show that the new design performs at or above the current state of the art of PV power forecasting.


title: Near Linear OS Scheduling Optimization for Memory Intensive Workloads on Multi-socket Multi-core servers

abstract: Multi-socket multi-core servers are used for solving some of the important problems in computing. Remote DRAM accesses can impact performance of certain applications running on such servers. This paper presents a new near linear operating system (OS) scheduling algorithm to reduce the impact of such remote DRAM accesses. By keeping track of the number of local and remote DRAM accesses, using performance counters, for every thread and applying this algorithm, I come up with a new schedule of threads for the next quantum. This new schedule reduces remote DRAM accesses and improves overall performance. I also show that this algorithm is actually linear in the best case. As the algorithm is near-linear it is amenable for implementation in a real operating system.


title: On the Accuracy of CRNNs for Line-Based OCR: A Multi-Parameter Evaluation

abstract: We investigate how to train a high quality optical character recognition (OCR) model for difficult historical typefaces on degraded paper. Through extensive grid searches, we obtain a neural network architecture and a set of optimal data augmentation settings. We discuss the influence of factors such as binarization, input line height, network width, network depth, and other network training parameters such as dropout. Implementing these findings into a practical model, we are able to obtain a 0.44% character error rate (CER) model from only 10,000 lines of training data, outperforming currently available pretrained models that were trained on more than 20 times the amount of data. We show ablations for all components of our training pipeline, which relies on the open source framework Calamari.


title: Mixed-Initiative Level Design with RL Brush

abstract: This paper introduces RL Brush, a level-editing tool for tile-based games designed for mixed-initiative co-creation. The tool uses reinforcement-learning-based models to augment manual human level-design through the addition of AI-generated suggestions. Here, we apply RL Brush to designing levels for the classic puzzle game Sokoban. We put the tool online and tested it in 39 different sessions. The results show that users using the AI suggestions stay around longer and their created levels on average are more playable and more complex than without.


title: Correlation-Driven Phenomena in Periodic Molecular Systems from Variational Two-electron Reduced Density Matrix Theory

abstract: Correlation-driven phenomena in molecular periodic systems are challenging to predict computationally not only because such systems are periodically infinite but also because they are typically strongly correlated. Here we generalize the variational two-electron reduced density matrix (2-RDM) theory to compute the energies and properties of strongly correlated periodic systems. The 2-RDM of the unit cell is directly computed subject to necessary $N$-representability conditions such that the unit-cell 2-RDM represents at least one $N$-electron density matrix. Two canonical but non-trivial systems, periodic metallic hydrogen chains and periodic acenes, are treated to demonstrate the methodology. We show that, while single-reference correlation theories do not capture the strong (static) correlation effects in either of these molecular systems, the periodic variational 2-RDM theory predicts the Mott metal-to-insulator transition in the hydrogen chains and the length-dependent polyradical formation in acenes. For both hydrogen chains and acenes the periodic calculations are compared with previous non-periodic calculations with the results showing a significant change in energies and increase in the electron correlation from the periodic boundary conditions. The 2-RDM theory, which allows for much larger active spaces than are traditionally possible, is applicable to studying correlation-driven phenomena in general periodic molecular solids and materials.


title: Stability of extremal connected hypergraphs avoiding Berge-paths

abstract: A Berge-path of length $k$ in a hypergraph $\mathcal{H}$ is a sequence $v_1,e_1,v_2,e_2,\dots,v_{k},e_k,v_{k+1}$ of distinct vertices and hyperedges with $v_{i},v_{i+1} \in e_i$, for $i \le k$. F\"uredi, Kostochka and Luo, and independently Gy\H{o}ri, Salia and Zamora determined the maximum number of hyperedges in an $n$-vertex, connected, $r$-uniform hypergraph that does not contain a Berge-path of length $k$ provided $k$ is large enough compared to $r$. They also determined the unique extremal hypergraph $\mathcal{H}_1$. We prove a stability version of this result by presenting another construction $\mathcal{H}_2$ and showing that any $n$-vertex, connected, $r$-uniform hypergraph without a Berge-path of length $k$, that contains more than $|\mathcal{H}_2|$ hyperedges must be a sub-hypergraph of the extremal hypergraph $\mathcal{H}_1$, provided $k$ is large enough compared to $r$.


title: Enumerating the Digitally Convex Sets of Powers of Cycles and Cartesian Products of Paths and Complete Graphs

abstract: Given a finite set $V$, a convexity $\mathscr{C}$, is a collection of subsets of $V$ that contains both the empty set and the set $V$ and is closed under intersections. The elements of $\mathscr{C}$ are called convex sets. The digital convexity, originally proposed as a tool for processing digital images, is defined as follows: a subset $S\subseteq V(G)$ is digitally convex if, for every $v\in V(G)$, we have $N[v]\subseteq N[S]$ implies $v\in S$. The number of cyclic binary strings with blocks of length at least $k$ is expressed as a linear recurrence relation for $k\geq 2$. A bijection is established between these cyclic binary strings and the digitally convex sets of the $(k-1)^{th}$ power of a cycle. A closed formula for the number of digitally convex sets of the Cartesian product of two complete graphs is derived. A bijection is established between the digitally convex sets of the Cartesian product of two paths, $P_n \square P_m$, and certain types of $n \times m$ binary arrays.


title: Singularly Optimal Randomized Leader Election

abstract: This paper concerns designing distributed algorithms that are singularly optimal, i.e., algorithms that are simultaneously time and message optimal, for the fundamental leader election problem in networks. Our main result is a randomized distributed leader election algorithm for asynchronous complete networks that is essentially (up to a polylogarithmic factor) singularly optimal. Our algorithm uses $O(n)$ messages with high probability and runs in $O(\log^2 n)$ time (with high probability) to elect a unique leader. The $O(n)$ message complexity should be contrasted with the $\Omega(n \log n)$ lower bounds for the deterministic message complexity of leader election algorithms (regardless of time), proven by Korach, Moran, and Zaks (TCS, 1989) for asynchronous algorithms and by Afek and Gafni (SIAM J. Comput., 1991) for synchronous networks. Hence, our result also separates the message complexities of randomized and deterministic leader election. More importantly, our (randomized) time complexity of $O(\log^2 n)$ for obtaining the optimal $O(n)$ message complexity is significantly smaller than the long-standing $\tilde{\Theta}(n)$ time complexity obtained by Afek and Gafni and by Singh (SIAM J. Comput., 1997) for message optimal (deterministic) election in asynchronous networks. In synchronous complete networks, Afek and Gafni showed an essentially singularly optimal deterministic algorithm with $O(\log n)$ time and $O(n \log n)$ messages. Ramanathan et al. (Distrib. Comput. 2007) used randomization to improve the message complexity, and showed a randomized algorithm with $O(n)$ messages and $O(\log n)$ time (with failure probability $O(1 / \log^{\Omega(1)}n)$). Our second result is a tightly singularly optimal randomized algorithm, with $O(1)$ time and $O(n)$ messages, for this setting, whose time bound holds with certainty and message bound holds with high probability.


title: Modelos din\^amicos aplicados \`a aprendizagem de valores em intelig\^encia artificial

abstract: Experts in Artificial Intelligence (AI) development predict that advances in the development of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance is not made prudently and critically, reflexively, it can result in negative outcomes for humanity. For this reason, several researchers in the area have developed a robust, beneficial, and safe concept of AI for the preservation of humanity and the environment. Currently, several of the open problems in the field of AI research arise from the difficulty of avoiding unwanted behaviors of intelligent agents and systems, and at the same time specifying what we really want such systems to do, especially when we look for the possibility of intelligent agents acting in several domains over the long term. It is of utmost importance that artificial intelligent agents have their values aligned with human values, given the fact that we cannot expect an AI to develop human moral values simply because of its intelligence, as discussed in the Orthogonality Thesis. Perhaps this difficulty comes from the way we are addressing the problem of expressing objectives, values, and ends, using representational cognitive methods. A solution to this problem would be the dynamic approach proposed by Dreyfus, whose phenomenological philosophy shows that the human experience of being-in-the-world in several aspects is not well represented by the symbolic or connectionist cognitive method, especially in regards to the question of learning values. A possible approach to this problem would be to use theoretical models such as SED (situated embodied dynamics) to address the values learning problem in AI.


title: Simplifying inverse material design problems for fixed lattices with alchemical chirality

abstract: Massive brute-force compute campaigns relying on demanding ab initio calculations routinely search for novel materials in chemical compound space, the vast virtual set of all conceivable stable combinations of elements and structural configurations which form matter. Here we demonstrate that 4-dimensional chirality, arising from anti-symmetry of alchemical perturbations, dissects that space and defines approximate ranks which effectively reduce its formal dimensionality, and enable us to break down its combinatorial scaling. The resulting distinct `alchemical' enantiomers must share the exact same electronic energy up to third order -- independent of respective covalent bond topology, and imposing relevant constraints on chemical bonding. Alchemical chirality deepens our understanding of chemical compound space and enables the `on-the-fly' establishment of new trends without empiricism for any materials with fixed lattices. We demonstrate its efficacy for three such cases: i) new formulas for estimating electronic energy contributions to chemical bonding; ii) analysis of the perturbed electron density of BN doped benzene; and iii) ranking stability estimates for BN doping in over 2,000 naphthalene and over 400 million picene derivatives.


title: Characterizing the loss landscape of variational quantum circuits

abstract: Machine learning techniques enhanced by noisy intermediate-scale quantum (NISQ) devices and especially variational quantum circuits (VQC) have recently attracted much interest and have already been benchmarked for certain problems. Inspired by classical deep learning, VQCs are trained by gradient descent methods which allow for efficient training over big parameter spaces. For NISQ sized circuits, such methods show good convergence. There are however still many open questions related to the convergence of the loss function and to the trainability of these circuits in situations of vanishing gradients. Furthermore, it is not clear how "good" the minima are in terms of generalization and stability against perturbations of the data and there is, therefore, a need for tools to quantitatively study the convergence of the VQCs. In this work, we introduce a way to compute the Hessian of the loss function of VQCs and show how to characterize the loss landscape with it. The eigenvalues of the Hessian give information on the local curvature and we discuss how this information can be interpreted and compared to classical neural networks. We benchmark our results on several examples, starting with a simple analytic toy model to provide some intuition about the behavior of the Hessian, then going to bigger circuits, and also train VQCs on data. Finally, we show how the Hessian can be used to adjust the learning rate for faster convergence during the training of variational circuits.


title: Resurgent Analysis for Some 3-manifold Invariants

abstract: We study resurgence for some 3-manifold invariants when $G_{\mathbb{C}}=SL(2, \mathbb{C})$. We discuss the case of an infinite family of Seifert manifolds for general roots of unity and the case of the torus knot complement in $S^3$. Via resurgent analysis, we see that the contribution from the abelian flat connections to the analytically continued Chern-Simons partition function contains the information of all non-abelian flat connections, so it can be regarded as a full partition function of the analytically continued Chern-Simons theory on 3-manifolds $M_3$. In particular, this directly indicates that the homological block for the torus knot complement in $S^3$ is an analytic continuation of the full $G=SU(2)$ partition function, i.e. the colored Jones polynomial.


title: Efficient Non-Line-of-Sight Imaging from Transient Sinograms

abstract: Non-line-of-sight (NLOS) imaging techniques use light that diffusely reflects off of visible surfaces (e.g., walls) to see around corners. One approach involves using pulsed lasers and ultrafast sensors to measure the travel time of multiply scattered light. Unlike existing NLOS techniques that generally require densely raster scanning points across the entirety of a relay wall, we explore a more efficient form of NLOS scanning that reduces both acquisition times and computational requirements. We propose a circular and confocal non-line-of-sight (C2NLOS) scan that involves illuminating and imaging a common point, and scanning this point in a circular path along a wall. We observe that (1) these C2NLOS measurements consist of a superposition of sinusoids, which we refer to as a transient sinogram, (2) there exists computationally efficient reconstruction procedures that transform these sinusoidal measurements into 3D positions of hidden scatterers or NLOS images of hidden objects, and (3) despite operating on an order of magnitude fewer measurements than previous approaches, these C2NLOS scans provide sufficient information about the hidden scene to solve these different NLOS imaging tasks. We show results from both simulated and real C2NLOS scans.

categories: cs.CV cs.GR eess.IV eess.SP physics.optics


title: Whole-brain models to explore altered states of consciousness from the bottom up

abstract: The scope of human consciousness includes states departing from what most of us experience as ordinary wakefulness. These altered states of consciousness constitute a prime opportunity to study how global changes in brain activity relate to different varieties of subjective experience. We consider the problem of explaining how global signatures of altered consciousness arise from the interplay between large-scale connectivity and local dynamical rules that can be traced to known properties of neural tissue. For this purpose, we advocate a research program aimed at bridging the gap between bottom-up generative models of whole-brain activity and the top-down signatures proposed by theories of consciousness. Throughout this paper, we define altered states of consciousness, discuss relevant signatures of consciousness observed in brain activity, and introduce whole-brain models to explore the mechanisms of altered consciousness from the bottom-up. We discuss the potential of our proposal in view of the current state of the art, give specific examples of how this research agenda might play out, and emphasise how a systematic investigation of altered states of consciousness via bottom-up modelling may help us better understand the biophysical, informational, and dynamical underpinnings of consciousness.


title: Low Albedo Surfaces of Lava Worlds

abstract: Hot super Earths are exoplanets with short orbital periods ($<$ 10 days), heated by their host stars to temperatures high enough for their rocky surfaces to become molten. A few hot super Earths exhibit high geometric albedos ($>$ 0.4) in the Kepler band (420-900 nm). We are motivated to determine whether reflection from molten lava and quenched glasses (a product of rapidly cooled lava) on the surfaces of hot super Earths contributes to the observationally inferred high geometric albedos. We experimentally measure reflection from rough and smooth textured quenched glasses of both basalt and feldspar melts. For lava reflectance values, we use specular reflectance values of molten silicates from non-crystalline solids literature. Integrating the empirical glass reflectance function and non-crystalline solids reflectance values over the dayside surface of the exoplanet at secondary eclipse yields an upper limit for the albedo of a lava-quenched glass planet surface of $\sim $0.1. We conclude that lava planets with solid (quenched glass) or liquid (lava) surfaces have low albedos. The high albedos of some hot super Earths are most likely explained by atmospheres with reflective clouds (or, for a narrow range of parameter space, possibly Ca/Al oxide melt surfaces). Lava planet candidates in TESS data can be identified for follow-up observations and future characterization.


title: Decoupling Exploration and Exploitation for Meta-Reinforcement Learning without Sacrifices

abstract: The goal of meta-reinforcement learning (meta-RL) is to build agents that can quickly learn new tasks by leveraging prior experience on related tasks. Learning a new task often requires both exploring to gather task-relevant information and exploiting this information to solve the task. In principle, optimal exploration and exploitation can be learned end-to-end by simply maximizing task performance. However, such meta-RL approaches struggle with local optima due to a chicken-and-egg problem: learning to explore requires good exploitation to gauge the exploration's utility, but learning to exploit requires information gathered via exploration. Optimizing separate objectives for exploration and exploitation can avoid this problem, but prior meta-RL exploration objectives yield suboptimal policies that gather information irrelevant to the task. We alleviate both concerns by constructing an exploitation objective that automatically identifies task-relevant information and an exploration objective to recover only this information. This avoids local optima in end-to-end training, without sacrificing optimal exploration. Empirically, DREAM substantially outperforms existing approaches on complex meta-RL problems, such as sparse-reward 3D visual navigation. Videos of DREAM: https://ezliu.github.io/dream/


title: Few-Shot Drum Transcription in Polyphonic Music

abstract: Data-driven approaches to automatic drum transcription (ADT) are often limited to a predefined, small vocabulary of percussion instrument classes. Such models cannot recognize out-of-vocabulary classes nor are they able to adapt to finer-grained vocabularies. In this work, we address open vocabulary ADT by introducing few-shot learning to the task. We train a Prototypical Network on a synthetic dataset and evaluate the model on multiple real-world ADT datasets with polyphonic accompaniment. We show that, given just a handful of selected examples at inference time, we can match and in some cases outperform a state-of-the-art supervised ADT approach under a fixed vocabulary setting. At the same time, we show that our model can successfully generalize to finer-grained or extended vocabularies unseen during training, a scenario where supervised approaches cannot operate at all. We provide a detailed analysis of our experimental results, including a breakdown of performance by sound class and by polyphony.


title: CaSPR: Learning Canonical Spatiotemporal Point Cloud Representations

abstract: We propose CaSPR, a method to learn object-centric Canonical Spatiotemporal Point Cloud Representations of dynamically moving or evolving objects. Our goal is to enable information aggregation over time and the interrogation of object state at any spatiotemporal neighborhood in the past, observed or not. Different from previous work, CaSPR learns representations that support spacetime continuity, are robust to variable and irregularly spacetime-sampled point clouds, and generalize to unseen object instances. Our approach divides the problem into two subtasks. First, we explicitly encode time by mapping an input point cloud sequence to a spatiotemporally-canonicalized object space. We then leverage this canonicalization to learn a spatiotemporal latent representation using neural ordinary differential equations and a generative model of dynamically evolving shapes using continuous normalizing flows. We demonstrate the effectiveness of our method on several applications including shape reconstruction, camera pose estimation, continuous spatiotemporal sequence reconstruction, and correspondence estimation from irregularly or intermittently sampled observations.


title: Generative Adversarial Networks for Image and Video Synthesis: Algorithms and Applications

abstract: The generative adversarial network (GAN) framework has emerged as a powerful tool for various image and video synthesis tasks, allowing the synthesis of visual content in an unconditional or input-conditional manner. It has enabled the generation of high-resolution photorealistic images and videos, a task that was challenging or impossible with prior methods. It has also led to the creation of many new applications in content creation. In this paper, we provide an overview of GANs with a special focus on algorithms and applications for visual synthesis. We cover several important techniques to stabilize GAN training, which has a reputation for being notoriously difficult. We also discuss its applications to image translation, image processing, video synthesis, and neural rendering.


title: Magnon versus electron mediated spin-transfer torque exerted by spin currents across antiferromagnetic insulator to switch magnetization of adjacent ferromagnetic metal

abstract: The recent experiment [Y. Wang et al., Science 366, 1125 (2019)] on magnon-mediated spin-transfer torque (MSTT) was interpreted in terms of a picture where magnons are excited within an antiferromagnetic insulator (AFI), by applying nonequilibrium electronic spin density at one of its surfaces, so that their propagation across AFI deprived of conduction electrons eventually leads to reversal of magnetization of a ferromagnetic metal (FM) attached to the opposite surface of AFI. We employ a recently developed time-dependent nonequilibrium Green functions combined with the Landau-Lifshitz-Gilbert equation (TDNEGF+LLG) formalism to evolve conduction electrons quantum-mechanically while they interact via self-consistent back-action with localized magnetic moments described classically by atomistic spin dynamics solving a system of LLG equations. Upon injection of square current pulse as the initial condition, TDNEGF+LLG simulations of FM-polarizer/AFI/FM-analyzer junctions show that reversal of localized magnetic moments within FM-analyzer is less efficient, in the sense of requiring larger pulse height and its longer duration, than conventional electron-mediated STT (ESTT) driving magnetization switching in standard FM-polarizer/normal-metal/FM-analyzer spin valve. Since both electronic, generated by spin pumping from AFI, and magnonic, generated by direct transmission from AFI, spin currents are injected into the FM-analyzer, its localized magnetic moments will experience combined MSTT and ESTT. Nevertheless, by artificially turning off ESTT we demonstrate that MSTT plays a dominant role whose understanding, therefore, paves the way for all-magnon-driven magnetization switching devices with no electronic parts.


title: Antiferromagnetic Switching Driven by the Collective Dynamics of a Coexisting Spin Glass

abstract: The theory behind the electrical switching of antiferromagnets is premised on the existence of a well defined broken symmetry state that can be rotated to encode information. A spin glass is in many ways the antithesis of this state, characterized by an ergodic landscape of nearly degenerate magnetic configurations, choosing to freeze into a distribution of these in a manner that is seemingly bereft of information. In this study, we show that the coexistence of spin glass and antiferromagnetic order allows a novel mechanism to facilitate the switching of the antiferromagnet Fe$_{1/3+\delta}$NbS$_2$, which is rooted in the electrically-stimulated collective winding of the spin glass. The local texture of the spin glass opens an anisotropic channel of interaction that can be used to rotate the equilibrium orientation of the antiferromagnetic state. The use of a spin glass' collective dynamics to electrically manipulate antiferromagnetic spin textures has never been applied before, opening the field of antiferromagnetic spintronics to many more material platforms with complex magnetic textures.


title: Learning to Factorize and Relight a City

abstract: We propose a learning-based framework for disentangling outdoor scenes into temporally-varying illumination and permanent scene factors. Inspired by the classic intrinsic image decomposition, our learning signal builds upon two insights: 1) combining the disentangled factors should reconstruct the original image, and 2) the permanent factors should stay constant across multiple temporal samples of the same scene. To facilitate training, we assemble a city-scale dataset of outdoor timelapse imagery from Google Street View, where the same locations are captured repeatedly through time. This data represents an unprecedented scale of spatio-temporal outdoor imagery. We show that our learned disentangled factors can be used to manipulate novel images in realistic ways, such as changing lighting effects and scene geometry. Please visit factorize-a-city.github.io for animated results.


title: A Novel Spatial-Spectral Framework for the Classification of Hyperspectral Satellite Imagery

abstract: Hyper-spectral satellite imagery is now widely being used for accurate disaster prediction and terrain feature classification. However, in such classification tasks, most of the present approaches use only the spectral information contained in the images. Therefore, in this paper, we present a novel framework that takes into account both the spectral and spatial information contained in the data for land cover classification. For this purpose, we use the Gaussian Maximum Likelihood (GML) and Convolutional Neural Network methods for the pixel-wise spectral classification and then, using segmentation maps generated by the Watershed algorithm, we incorporate the spatial contextual information into our model with a modified majority vote technique. The experimental analyses on two benchmark datasets demonstrate that our proposed methodology performs better than the earlier approaches by achieving an accuracy of 99.52% and 98.31% on the Pavia University and the Indian Pines datasets respectively. Additionally, our GML based approach, a non-deep learning algorithm, shows comparable performance to the state-of-the-art deep learning techniques, which indicates the importance of the proposed approach for performing a computationally efficient classification of hyper-spectral imagery.


title: UV sensitive one-loop matter power spectrum in degenerate higher-order scalar-tensor theories

abstract: We study matter density perturbations up to third order and the one-loop matter power spectrum in degenerate higher-order scalar-tensor (DHOST) theories beyond Horndeski. We systematically solve gravitational field equations and fluid equations order by order, and find three novel shape functions characterizing the third-order solution in DHOST theories. A complete form of the one-loop matter power spectrum is then obtained using the resultant second- and third-order solutions. We confirm the previous result that the convergence condition of the loop integrals in the infrared limit becomes more stringent than that of the standard one in general relativity. We show that also in the ultraviolet limit the convergence condition becomes more stringent and the one-loop matter power spectrum is thus sensitive to the short-wavelength behavior of the linear power spectrum.


title: Measurement of the dependence of ultra diluted gas transmittance on the size of the detector

abstract: We show that measured optical transmittance of an ultra thin gas depends on the detector size. To this end we conducted an experiment that compares transmittances measured in parallel with a pair of detectors with different diameters ranging from 2 ${\mu}$m to 200 ${\mu}$m. A Tunable Diode Laser Absorption Spectroscopy type system was used. Transmittance of $\sim$1e-2 mbar water vapor on NIR absorption line $\lambda$=1368.60 nm was measured using a 60 m long multi-pass cell placed inside the 300 l vacuum chamber. The result of the experiment shows higher transmittances when the measurement is performed using smaller detectors. The difference reaches as much as 1.23 $\pm$0.1 %, which is greater than 0 with >5$\sigma$ statistical significance. Qualitatively it is in agreement with the recently developed model of thin gas optical transmittance taking into account the quantum mechanical effects of spreading of the wave functions of individual gas particles.


title: Status of the Beryllium Tile Bonding Qualification activities for the Manufacturing of the ITER First Wall

abstract: The preparation of the manufacturing of the ITER first wall involves a qualification stage. The qualification aims at demonstrating that manufacturers can deliver the needed reliability and quality for the beryllium to copper bond, before the manufacturing can commence. The qualification is done on semi-prototype, containing relevant features relative to the beryllium armour (about 1/6 of the panel size). The qualification is done by the participating parties, firstly by a manufacturing semi-prototype and then by testing it under heat flux. One semi-prototype is manufactured and is being tested, and further from other manufacturers are still to come. The qualification program is accompanied by bond defect investigations, which aim at defining defect acceptance criteria. Qualification and defect acceptance program are supported by thermal and stress analyses, with good agreement regarding the thermal results, and some insights about the governing factors to bond damage. ITER, First Wall, Qualification, prototypes, high heat flux tests.


title: Exact Solutions of the Time Derivative Fokker-Planck Equation: A Novel Approach

abstract: In the present article, an approach to find the exact solution of the fractional Fokker-Planck equation is presented. It is based on transforming it to a system of first-order partial differential equation via Hopf transformation, together with implementing the extended unified method. On the other hand, reduction of the fractional derivatives to non autonomous ordinary derivative. Thus the fractional Fokker-Planck equation is reduced to non autonomous classical ones. Some explicit solutions of the classical, fractional time derivative Fokker-Planck equation, are obtained . It is shown that the solution of the Fokker-Planck equation is bi-Gaussian's. It is found that high friction coefficient plays a significant role in lowering the standard deviation. Further, it is found the fractionality has stronger effect than fractality. It is worthy to mention that the mixture of Gaussian's is a powerful tool in machine learning. Further, when varying the order of the fractional time derivatives, results to slight effects in the probability distribution function. Also, it is shown that the mean and mean square of the velocity vary slowly.


title: On the effect of the central body small deformations on its satellite trajectory in the problem of the two-body gravitational interaction

abstract: The problem of the two-body gravitational interaction has been solved numerically based on the classical mechanics principles. One of the bodies is a deformable three-axis ellipsoid (central body) and the other is a material point (satellite). The relationship of the angular discrepancy between the calculated and actual positions of the satellite pericenter with central body's gravity anomaly has been established.


title: Different Fates of Young Star Clusters After Gas Expulsion

abstract: We identify structures of the young star cluster NGC 2232 in the solar neighborhood (323.0 pc), and a newly discovered star cluster LP 2439 (289.1 pc). Member candidates are identified using the Gaia DR2 sky position, parallax and proper motion data, by an unsupervised machine learning method, \textsc{StarGO}. Member contamination from the Galactic disk is further removed using the color magnitude diagram. The four identified groups (NGC 2232, LP 2439 and two filamentary structures) of stars are coeval with an age of 25 Myr and were likely formed in the same giant molecular cloud. We correct the distance asymmetry from the parallax error with a Bayesian method. The 3D morphology shows the two spherical distributions of clusters NGC 2232 and LP 2439. Two filamentary structures are spatially and kinematically connected to NGC 2232. Both NGC 2232 and LP 2439 are expanding. The expansion is more significant in LP 2439, generating a loose spatial distribution with shallow volume number and mass density profiles. The expansion is suggested to be mainly driven by gas expulsion. NGC 2232, with 73~percent of the cluster mass bound, is currently experiencing a process of re-virialization, However, LP 2439, with 52 percent cluster mass being unbound, may fully dissolve in the near future. The different survivability traces different dynamical states of NGC 2232 and LP 2439 prior to the onset of gas expulsion. NGC 2232 may have been substructured and subvirial, while LP 2439 may either have been virial/supervirial, or it has experienced a much faster rate of gas removal.


title: Plasmonic nonreciprocity driven by band hybridization in moir\'e materials

abstract: We propose a new current-driven mechanism for achieving significant plasmon dispersion nonreciprocity in systems with narrow, strongly hybridized electron bands. The magnitude of the effect is controlled by the strength of electron-electron interactions $\alpha$, which leads to its particular prominence in moir\'e materials, characterized by $\alpha \gg 1$. Moreover, this phenomenon is most evident in the regime where Landau damping is quenched and plasmon lifetime is increased. The synergy of these two effects holds a great promise for novel optoelectronic applications of moir\'e materials.


title: Quenching timescales of dwarf satellites around Milky Way-mass hosts

abstract: Observations of the low-mass satellites in the Local Group have shown high fractions of gas-poor, quiescent galaxies relative to isolated dwarfs, implying that the host halo environment plays an important role in the quenching of dwarf galaxies. In this work, we present measurements of the quenched fractions and quenching timescales of dwarf satellite galaxies in the DC Justice League suite of 4 high-resolution cosmological zoom-in simulations of Milky Way-mass halos. We show that these simulations accurately reproduce the satellite luminosity functions of observed nearby galaxies, as well as the variation in satellite quenched fractions from $M_* \sim 10^5$ solar masses to $10^{10}$ solar masses. We then trace the histories of satellite galaxies back to $z \sim 15$, and find that many satellites with $M_* \sim 10^{6-8}$ solar masses quench within 2 Gyr of infall into the host halo, while others in the same mass range remain star-forming for as long as 5 Gyr. We show that this scatter can be explained by the satellite's gas mass and the ram pressure it feels at infall. Finally, we identify a characteristic stellar mass scale of $10^8$ solar masses above which infalling satellites are largely resistant to rapid environmental quenching.


title: Hyper Suprime-Cam Low Surface Brightness Galaxies II: A Hubble Space Telescope Study of the Globular Cluster Systems of Ultra-Diffuse Galaxies in Groups

abstract: We increase the sample of ultra diffuse galaxies (UDGs) in lower density environments with characterized globular cluster (GC) populations using new Hubble Space Telescope observations of nine UDGs in group environments. While the bulk of our UDGs have GC abundances consistent with normal dwarf galaxies, two of these UDGs have excess GC populations. These two UDGs both have GC luminosity functions consistent with higher surface brightness galaxies and cluster UDGs. We then combine our nine objects with previous studies to create a catalog of UDGs with analyzed GC populations that spans a uniquely diverse range of environments. We use this catalog to examine broader trends in the GC populations of low stellar mass galaxies. The highest GC abundances are found in cluster UDGs, but whether cluster UDGs are actually more extreme requires study of many more UDGs in groups. We find a possible positive correlation between GC abundance and stellar mass, and between GC abundance and galaxy size at fixed stellar mass. However, we see no significant stellar-mass galaxy-size relation, over our limited stellar mass range. We consider possible origins of the correlation between GC abundance and galaxy size, including the possibility that these two galaxy properties are both dependent on the galaxy dark matter halo, or that they are related through baryonic processes like internal feedback.


title: From triple-point materials to multiband nodal links

abstract: We study a class of topological materials which in their momentum-space band structure exhibit three-fold degeneracies known as triple points. Focusing specifically on $\mathcal{P}\mathcal{T}$-symmetric crystalline solids with negligible spin-orbit coupling, we find that such triple points can be stabilized by little groups containing a three-, four- or six-fold rotation axis, and we develop a classification of all possible triple points as type A vs. type B according to the absence vs. presence of attached nodal-line arcs. Furthermore, by employing the recently discovered non-Abelian band topology, we argue that a rotation-symmetry-breaking strain transforms type-A triple points into multiband nodal links. Although multiband nodal-line compositions were previously theoretically conceived and related to topological monopole charges, a practical condensed-matter platform for their manipulation and inspection has hitherto been missing. By reviewing the known triple-point materials with weak spin-orbit coupling, and by performing first-principles calculations to predict new ones, we identify suitable candidates for the realization of multiband nodal links in applied strain. In particular, we report that an ideal compound to study this phenomenon is Li$_2$NaN, in which the conversion of triple points to multiband nodal links facilitates largely tunable density of states and optical conductivity with doping and strain, respectively.


title: The Supersonic Project: To cool or not to cool Supersonically Induced Gas Objects (SIGOs)?

abstract: Supersonically Induced Gas Objects (SIGOs) primarily form in the early Universe, outside of dark matter halos due to the presence of a relative stream velocity between baryons and dark matter. These structures may be the progenitors of globular clusters. Since SIGOs are made out of pristine gas, we investigate the effect of atomic cooling on their properties. We run a suite of simulations by using the moving-mesh code {\sc arepo}, with and without baryon-dark matter relative velocity and with and without the effects of atomic cooling. We show that SIGO's density, temperature, and prolateness are determined by gravitational interactions rather than cooling. The cold gas fraction in SIGOs is much higher than that of dark matter halos. Specifically, we show that the SIGO's characteristic low temperature and extreme high gas density forges a nurturing ground for the earliest star formation sites.


title: FRB 121102 Bursts at a Constant Rate per Log Time

abstract: Despite many searches for periodicity in the repeating fast radio burst FRB 121102, the underlying pattern of bursts does not appear to be a periodic one. We report a logarithmic repetition pattern in FRB 121102 in the sense that the rate falls off inversely with time for each set of bursts. This result implies that repeating FRB sources are not necessarily associated with a pulsar, but rather could be caused by a different type of phenomenon that involves an equal amount of energy output per log time.