title: TOI-2109b: An Ultrahot Gas Giant on a 16 hr Orbit

abstract: We report the discovery of an ultrahot Jupiter with an extremely short orbital period of $0.67247414\,\pm\,0.00000028$ days ($\sim$16 hr). The $1.347 \pm 0.047$ $R_{\rm Jup}$ planet, initially identified by the Transiting Exoplanet Survey Satellite (TESS) mission, orbits TOI-2109 (TIC 392476080): a $T_{\rm eff} \sim 6500$ K F-type star with a mass of $1.447 \pm 0.077$ $M_{\rm Sun}$, a radius of $1.698 \pm 0.060$ $R_{\rm Sun}$, and a rotational velocity of $v\sin i_* = 81.9 \pm 1.7$ km s$^{-1}$. The planetary nature of TOI-2109b was confirmed through radial velocity measurements, which yielded a planet mass of $5.02 \pm 0.75$ $M_{\rm Jup}$. Analysis of the Doppler shadow in spectroscopic transit observations indicates a well-aligned system, with a sky-projected obliquity of $\lambda = 1\overset{\circ}{.}7 \pm 1\overset{\circ}{.}7$. From the TESS full-orbit light curve, we measured a secondary eclipse depth of $731 \pm 46$ ppm, as well as phase-curve variations from the planet's longitudinal brightness modulation and ellipsoidal distortion of the host star. Combining the TESS-band occultation measurement with a $K_s$-band secondary eclipse depth ($2012 \pm 80$ ppm) derived from ground-based observations, we find that the dayside emission of TOI-2109b is consistent with a brightness temperature of $3631 \pm 69$ K, making it the second hottest exoplanet hitherto discovered. By virtue of its extreme irradiation and strong planet-star gravitational interaction, TOI-2109b is an exceptionally promising target for intensive follow-up studies using current and near-future telescope facilities to probe for orbital decay, detect tidally driven atmospheric escape, and assess the impacts of H$_2$ dissociation and recombination on the global heat transport.


title: New Non-Relativistic String in AdS(5)xS(5)

abstract: We study non-relativistic limit of AdS(5)xS(5) background and determine corresponding Newton-Cartan fields. We also find canonical form of the new non-relativistic string in this background and discuss its formulation in the uniform light-cone gauge.


title: The Dirichlet-conormal problem for the heat equation with inhomogeneous boundary conditions

abstract: We consider the mixed Dirichlet-conormal problem for the heat equation on cylindrical domains with a bounded and Lipschitz base $\Omega\subset \mathbb{R}^d$ and a time-dependent separation $\Lambda$. Under certain mild regularity assumptions on $\Lambda$, we show that for any $q>1$ sufficiently close to 1, the mixed problem in $L_q$ is solvable. In other words, for any given Dirichlet data in the parabolic Riesz potential space $\mathcal{L}_q^1$ and the Neumann data in $L_q$, there is a unique solution and the non-tangential maximal function of its gradient is in $L_q$ on the lateral boundary of the domain. When $q=1$, a similar result is shown when the data is in the Hardy space. Under the additional condition that the boundary of the domain $\Omega$ is Reifenberg-flat and the separation is locally sufficiently close to a Lipschitz function of $m$ variables, where $m=0,\ldots,d-2$, with respect to the Hausdorff distance, we also prove the unique solvability result for any $q\in(1,(m+2)/(m+1))$. In particular, when $m=0$, i.e., $\Lambda$ is Reifenberg-flat of co-dimension $2$, we derive the $L_q$ solvability in the optimal range $q\in (1,2)$. For the Laplace equation, such results were established in [6, 5, 7] and [14].


title: Mip-NeRF 360: Unbounded Anti-Aliased Neural Radiance Fields

abstract: Though neural radiance fields (NeRF) have demonstrated impressive view synthesis results on objects and small bounded regions of space, they struggle on "unbounded" scenes, where the camera may point in any direction and content may exist at any distance. In this setting, existing NeRF-like models often produce blurry or low-resolution renderings (due to the unbalanced detail and scale of nearby and distant objects), are slow to train, and may exhibit artifacts due to the inherent ambiguity of the task of reconstructing a large scene from a small set of images. We present an extension of mip-NeRF (a NeRF variant that addresses sampling and aliasing) that uses a non-linear scene parameterization, online distillation, and a novel distortion-based regularizer to overcome the challenges presented by unbounded scenes. Our model, which we dub "mip-NeRF 360" as we target scenes in which the camera rotates 360 degrees around a point, reduces mean-squared error by 57% compared to mip-NeRF, and is able to produce realistic synthesized views and detailed depth maps for highly intricate, unbounded real-world scenes.


title: Passive symmetry breaking of the space-time propagation in cavity dissipative solitons

abstract: Dissipative solitons are fundamental wave-pulses that preserve their form in the presence of periodic loss and gain. The canonical realization of dissipative solitons is Kerr-lens mode locking in lasers, which delicately balance nonlinear and linear propagation in both time and space to generate ultrashort optical pulses. This linear-nonlinear balance dictates a unique pulse energy, which cannot be increased (say by elevated pumping), indicating that excess energy is expected to be radiated in the form of dispersive or diffractive waves. Here we show that Kerr-lens mode-locked lasers can overcome this expectation. Specifically, by breaking the spatial symmetry between the forward and backward halves of the round-trip in a linear cavity, the laser can modify the soliton in space to incorporate the excess energy. Increasing the pump power leads therefore to a different soliton solution, rather than to dispersive / diffractive loss. We predict this symmetry breaking by a complete numerical simulation of the spatio-temporal dynamics in the cavity, and confirm it experimentally in a Kerr-lens mode-locked Ti:Sapphire laser with quantitative agreement to the simulation. The simulation opens a window to directly observe the nonlinear space-time dynamics that molds the soliton pulse, and possibly to optimize it.


title: TaCo$_{2}$Te$_{2}$: An air-stable, magnetic van der Waals material with high mobility

abstract: Van der Waals (vdW) materials are an indispensable part of functional device technology due to their versatile physical properties and ease of exfoliating to the low-dimensional limit. Among all the compounds investigated so far, the search for magnetic vdW materials has intensified in recent years, fueled by the realization of magnetism in two dimensions (2D). However, metallic magnetic vdW systems are still uncommon. In addition, they rarely host high-mobility charge carriers, which is an essential requirement for high-speed electronic applications. Another shortcoming of 2D magnets is that they are highly air sensitive. Using chemical reasoning, we introduce TaCo2Te2 as an air-stable, high-mobility, magnetic vdW material. It has a layered structure, which consists of Peierls distorted Co chains and a large vdW gap between the layers. We find that the bulk crystals can be easily exfoliated and the obtained thin flakes are robust to ambient conditions after four months of monitoring using an optical microscope. We also observe signatures of canted antiferromagntic behavior at low-temperature. TaCo2Te2 shows a metallic character and a large, non-saturating, anisotropic magnetoresistance. Furthermore, our Hall data and quantum oscillation measurements reveal the presence of both electron- and hole-type carriers and their high mobility.


title: $T\bar T$ deformation of Calogero-Sutherland model via dimensional reduction

abstract: We perform the dynamical change of coordinates to derive a generalization of the trace relation and apply it to the non-linear Schr\"odinger model. After that, we work out the dimensional reduction of the bilinear $T\bar T$ operator and obtain the new $T\bar T$-like deformation of the quantum mechanics of free non-relativistic fermions and interacting Calogero-Sutherland particles. The deformation modifies the spectrum of the Hamiltonian but does not alter its eigenfunctions. The deformed classical Lagrangian is also obtained. Finally, we study a particular deformation of the two-dimensional Yang-Mills theory that maps the gauge theory onto a system of $T\bar T$-perturbed fermions.


title: Network Effects Research: A Systematic Review of Theoretical Mechanisms and Measures

abstract: This article contributes to the network effectiveness literature by identifying the theoretical mechanisms and network measures scholars in public administration and policy use to draw inferences between network structures and network effects. We conducted a systematic review of empirical network effects research in 40 journals of public administration and policy from 1998 to 2019. We reviewed and coded 89 articles and described the main social theories used in the network effectiveness literature and the associated mechanisms that translate network structures to network effects. We also explain how scholars operationalize those theoretical mechanisms through network measures. Overall, our findings reflect that there is a limited use of social theories for the explanation of network effects and in some cases, there is an inconsistent use of network measures associated with theories. Moreover, we identify the main challenges related to network effects, including the difficulty of isolating specific mechanisms related to a particular social theory, the use of network structures both as a mechanism and as a measure, and the lack of data to examine network dynamics and coevolution.


title: PhysFormer: Facial Video-based Physiological Measurement with Temporal Difference Transformer

abstract: Remote photoplethysmography (rPPG), which aims at measuring heart activities and physiological signals from facial video without any contact, has great potential in many applications (e.g., remote healthcare and affective computing). Recent deep learning approaches focus on mining subtle rPPG clues using convolutional neural networks with limited spatio-temporal receptive fields, which neglect the long-range spatio-temporal perception and interaction for rPPG modeling. In this paper, we propose the PhysFormer, an end-to-end video transformer based architecture, to adaptively aggregate both local and global spatio-temporal features for rPPG representation enhancement. As key modules in PhysFormer, the temporal difference transformers first enhance the quasi-periodic rPPG features with temporal difference guided global attention, and then refine the local spatio-temporal representation against interference. Furthermore, we also propose the label distribution learning and a curriculum learning inspired dynamic constraint in frequency domain, which provide elaborate supervisions for PhysFormer and alleviate overfitting. Comprehensive experiments are performed on four benchmark datasets to show our superior performance on both intra- and cross-dataset testings. One highlight is that, unlike most transformer networks needed pretraining from large-scale datasets, the proposed PhysFormer can be easily trained from scratch on rPPG datasets, which makes it promising as a novel transformer baseline for the rPPG community. The codes will be released at https://github.com/ZitongYu/PhysFormer.


title: VISTA 2.0: An Open, Data-driven Simulator for Multimodal Sensing and Policy Learning for Autonomous Vehicles

abstract: Simulation has the potential to transform the development of robust algorithms for mobile agents deployed in safety-critical scenarios. However, the poor photorealism and lack of diverse sensor modalities of existing simulation engines remain key hurdles towards realizing this potential. Here, we present VISTA, an open source, data-driven simulator that integrates multiple types of sensors for autonomous vehicles. Using high fidelity, real-world datasets, VISTA represents and simulates RGB cameras, 3D LiDAR, and event-based cameras, enabling the rapid generation of novel viewpoints in simulation and thereby enriching the data available for policy learning with corner cases that are difficult to capture in the physical world. Using VISTA, we demonstrate the ability to train and test perception-to-control policies across each of the sensor types and showcase the power of this approach via deployment on a full scale autonomous vehicle. The policies learned in VISTA exhibit sim-to-real transfer without modification and greater robustness than those trained exclusively on real-world data.


title: Self-Supervised Pre-Training for Transformer-Based Person Re-Identification

abstract: Transformer-based supervised pre-training achieves great performance in person re-identification (ReID). However, due to the domain gap between ImageNet and ReID datasets, it usually needs a larger pre-training dataset (e.g. ImageNet-21K) to boost the performance because of the strong data fitting ability of the transformer. To address this challenge, this work targets to mitigate the gap between the pre-training and ReID datasets from the perspective of data and model structure, respectively. We first investigate self-supervised learning (SSL) methods with Vision Transformer (ViT) pretrained on unlabelled person images (the LUPerson dataset), and empirically find it significantly surpasses ImageNet supervised pre-training models on ReID tasks. To further reduce the domain gap and accelerate the pre-training, the Catastrophic Forgetting Score (CFS) is proposed to evaluate the gap between pre-training and fine-tuning data. Based on CFS, a subset is selected via sampling relevant data close to the down-stream ReID data and filtering irrelevant data from the pre-training dataset. For the model structure, a ReID-specific module named IBN-based convolution stem (ICS) is proposed to bridge the domain gap by learning more invariant features. Extensive experiments have been conducted to fine-tune the pre-training models under supervised learning, unsupervised domain adaptation (UDA), and unsupervised learning (USL) settings. We successfully downscale the LUPerson dataset to 50% with no performance degradation. Finally, we achieve state-of-the-art performance on Market-1501 and MSMT17. For example, our ViT-S/16 achieves 91.3%/89.9%/89.6% mAP accuracy on Market1501 for supervised/UDA/USL ReID. Codes and models will be released to https://github.com/michuanhaohao/TransReID-SSL.


title: UniTAB: Unifying Text and Box Outputs for Grounded Vision-Language Modeling

abstract: We propose UniTAB that Unifies Text And Box outputs for grounded vision-language (VL) modeling. Grounded VL tasks such as grounded captioning require the model to generate a text description and align predicted words with object regions. To achieve this, models must generate desired text and box outputs together, and meanwhile indicate the alignments between words and boxes. In contrast to existing solutions that use multiple separate modules for different outputs, UniTAB represents both text and box outputs with a shared token sequence, and introduces a special <obj> token to naturally indicate word-box alignments in the sequence. UniTAB thus could provide a more comprehensive and interpretable image description, by freely grounding generated words to object regions. On grounded captioning, UniTAB presents a simpler solution with a single output head, and significantly outperforms state of the art in both grounding and captioning evaluations. On general VL tasks that have different desired output formats (i.e., text, box, or their combination), UniTAB with a single network achieves better or comparable performance than task-specific state of the art. Experiments cover 7 VL benchmarks, including grounded captioning, visual grounding, image captioning, and visual question answering. Furthermore, UniTAB's unified multi-task network and the task-agnostic output sequence design make the model parameter efficient and generalizable to new tasks.


title: Simulation Study and At Home Diagnostic Tool for Early Detection of Parkinsons Disease

abstract: Hypomimia is a condition in the early stages of the progression of Parkinsons disease that limits the movement of facial muscles, restricting the accurate depiction of facial expressions. Also known as facial masking, this condition is an early symptom of Parkinson's disease, a neurodegenerative disorder that affects movement. To date, no specific test exists to diagnose the disease. Instead, doctors rely on the patient medical history and symptoms to confirm the onslaught of the disease, delaying treatment. This study aims to develop a diagnostic tool for Parkinsons disease utilizing the Facial Action Coding System, a comprehensive system describing all facially discernible movement. In addition, this project generates image datasets by simulating faces or action unit sets for both Parkinsons patients and non-affected individuals through coding. Accordingly, the model is trained using supervised learning and neural networks. The model efficiency is compared using Convolutional Neural Network and Vision Transformer models and later tested with a test program by passing a Parkinsons disease-affected image as input. The future goal is to develop a self-determining mobile application (PDiagnosis) by utilizing the model to determine the probability of Parkinsons progression.


title: Average-fluctuation separation in energy levels in many-particle quantum systems with $k$-body interactions using $q$-Hermite polynomials

abstract: Separation between average and fluctuation parts in the state density in many-particle quantum systems with $k$-body interactions, modeled by the $k$-body embedded Gaussian orthogonal random matrices (EGOE($k$)), is demonstrated using the method of normal mode decomposition of the spectra and also verified through power spectrum analysis, for both fermions and bosons. The smoothed state density is represented by the $q$-normal distribution ($f_{qN}$) (with corrections) which is the weight function for $q$-Hermite polynomials. As the rank of interaction $k$ increases, the fluctuations set in with smaller order of corrections in the smooth state density. They are found to be of GOE type, for all $k$ values, for both fermion and boson systems.


title: Cosmology and neutrino mass with the Minimum Spanning Tree

abstract: The information content of the minimum spanning tree (MST), used to capture higher-order statistics and information from the cosmic web, is compared to that of the power spectrum for a $\nu\Lambda$CDM model. The measurements are made in redshift space using haloes from the Quijote simulation of mass $\geq 3.2\times 10^{13}\,h^{-1}{\rm M}_{\odot}$ in a box of length $L_{\rm box}=1\,h^{-1}{\rm Gpc}$. The power spectrum multipoles (monopole and quadrupole) are computed for Fourier modes in the range $0.006 < k < 0.5\, h{\rm Mpc}^{-1}$. For comparison the MST is measured with a minimum length scale of $l_{\min}\simeq13\,h^{-1}{\rm Mpc}$. Combining the MST and power spectrum allows for many of the individual degeneracies to be broken; on its own the MST provides tighter constraints on the sum of neutrino masses $M_{\nu}$ and cosmological parameters $h$, $n_{\rm s}$, and $\Omega_{\rm b}$ but the power spectrum alone provides tighter constraints on $\Omega_{\rm m}$ and $\sigma_{8}$. Combined we find constraints that are a factor of two (or greater) on all parameters with respect to the power spectrum (for $M_{\nu}$ there is a factor of four improvement). These improvements appear to be driven by the MST's sensitivity to small scale clustering, where the effect of neutrino free-streaming becomes relevant, and high-order statistical information in the cosmic web. The MST is shown to be a powerful tool for cosmology and neutrino mass studies, and therefore could play a pivotal role in ongoing and future galaxy redshift surveys (such as DES, DESI, \emph{Euclid}, and Rubin-LSST).


title: Generalized Symmetries of the Graviton

abstract: We find the set of generalized symmetries associated with the free graviton theory in four dimensions. These are generated by gauge invariant topological operators that violate Haag duality in ring-like regions. As expected from general QFT grounds, we find a set of "electric" and a dual set of "magnetic'" topological operators and compute their algebra. To do so, we describe the theory using phase space gauge-invariant electric and magnetic dual variables constructed out of the curvature tensor. Electric and magnetic fields satisfy a set of constraints equivalent to the ones of a stress tensor of a $3d$ CFT. The constraints give place to a group $\mathbb{R}^{20}$ of topological operators that are charged under space-time symmetries. Finally, we discuss similarities and differences between linearized gravity and tensor gauge theories that have been introduced recently in the context of fractonic systems in condensed matter physics.


title: Dynamical Mass of the Exoplanet Host Star HR 8799

abstract: HR 8799 is a young A5/F0 star hosting four directly imaged giant planets at wide separations ($\sim$16-78 au) which are undergoing orbital motion and have been continuously monitored with adaptive optics imaging since their discovery over a decade ago. We present a dynamical mass of HR 8799 using 130 epochs of relative astrometry of its planets, which include both published measurements and new medium-band 3.1 $\mu$m observations that we acquired with NIRC2 at Keck Observatory. For the purpose of measuring the host star mass, each orbiting planet is treated as a massless particle and is fit with a Keplerian orbit using Markov chain Monte Carlo. We then use a Bayesian framework to combine each independent total mass measurement into a cumulative dynamical mass using all four planets. The dynamical mass of HR 8799 is 1.47$^{+0.12}_{-0.17}$ \Msun assuming a uniform stellar mass prior, or 1.46$^{+0.11}_{-0.15}$ \Msun with a weakly informative prior based on spectroscopy. There is a strong covariance between the planets' eccentricities and the total system mass; when the constraint is limited to low eccentricity solutions of $e<0.1$, which is motivated by dynamical stability, our mass measurement improves to 1.43$^{+0.06}_{-0.07}$ \Msun. Our dynamical mass and other fundamental measured parameters of HR 8799 together with MESA Isochrones & Stellar Tracks grids yields a bulk metallicity most consistent with [Fe/H]$\sim$ -0.25-0.00 dex and an age of 10-23 Myr for the system. This implies hot start masses of 2.7-4.9 \Mjup for HR 8799 b and 4.1-7.0 \Mjup for HR 8799 c, d, and e, assuming they formed at the same time as the host star.


title: Monopoles From an Atmospheric Fixed Target Experiment

abstract: Magnetic monopoles have a long history of theoretical predictions and experimental searches, carrying direct implications for fundamental concepts such as electric charge quantization. We analyze in detail for the first time magnetic monopole production from collisions of cosmic rays bombarding the atmosphere. This source of monopoles is independent of cosmology, has been active throughout Earth's history, and supplies an irreducible monopole flux for all terrestrial experiments. Using results for robust atmospheric fixed target experiment flux of monopoles, we systematically establish direct comparisons of previous ambient monopole searches with monopole searches at particle colliders and set leading limits on magnetic monopole production in the $\sim 5-100$ TeV mass-range.


title: Infinitely many 4d N=1 SCFTs with a=c

abstract: We study a rich set of four-dimensional $\mathcal{N}=1$ superconformal field theories (SCFTs) with both central charges identical: $a = c$. We construct them via the diagonal $\mathcal{N}=1$ gauging of the flavor symmetry $G$ of a collection of $\mathcal{N}=2$ Argyres--Douglas theories of type $\mathcal{D}_p(G)$, with or without additional adjoint chiral multiplets. In this way, we construct infinitely-many theories that flow to interacting SCFTs with $a = c$ in the infrared. Finally, we briefly highlight the features of the SCFTs without $a = c$ that arise from generalizing this construction.


title: Rigorous bounds on irrelevant operators in the 3d Ising model CFT

abstract: We use the recently developed navigator method to obtain rigorous upper and lower bounds on new OPE data in the 3d Ising CFT. For example, assuming that there are only two $\mathbb{Z}_2$-even scalar operators $\epsilon$ and $\epsilon'$ with a dimension below 6 we find a narrow allowed interval for $\Delta_{\epsilon'}$, $\lambda_{\sigma\sigma\epsilon'}$ and $\lambda_{\epsilon\epsilon\epsilon'}$. With similar assumptions in the $\mathbb{Z}_2$-even spin-2 and the $\mathbb{Z}_2$-odd scalar sectors we are also able to constrain: the central charge $c_T$; the OPE data $\Delta_{T'}$, $\lambda_{\epsilon\epsilon T'}$ and $\lambda_{\sigma\sigma T'}$ of the second spin-2 operator; and the OPE data $\Delta_{\sigma'}$ and $\lambda_{\sigma\epsilon\sigma'}$ of the second $\mathbb{Z}_2$-odd scalar. We compare the rigorous bounds we find with estimates that have been previously obtained using the extremal functional method (EFM) and find a good match. This both validates the EFM and shows the navigator-search method to be a feasible and more rigorous alternative for estimating a large part of the low-dimensional operator spectrum. We also investigate the effect of imposing sparseness conditions on all sectors at once. We find that the island does not greatly reduce in size under these assumptions. We efficiently find islands and determine their size in high-dimensional parameter spaces (up to 13 parameters). This shows that using the navigator method the numerical conformal bootstrap is no longer constrained to the exploration of small parameter spaces.


title: Nonrelativistic CFTs at Large Charge: Casimir Energy and Logarithmic Enhancements

abstract: The unitary Fermi gas, by virtue of its description as a nonrelativistic conformal field theory, has proven an interesting system by which the quantum properties of CFT can be held to experimental verification. Here, we examine the structure of conformal dimensions of charge-Q operators in nonrelativistic CFT, in the large-Q regime, from the non-linear sigma model perspective. We discuss in detail the renormalization of edge divergences using dimensional regularization, elucidating the presence of $\log(Q)$ terms in the large-charge expansion. Finally we use dimensional regularization to compute the universal one-loop $Q^0 \log(Q)$ contribution to the ground-state energy in $d = 3$ spatial dimensions, with the result $\left.\Delta(Q)\right|_{Q^0} = \frac{1}{3\sqrt{3}} \log(Q) + \text{const.}$


title: The First Global e-Competition on Astronomy and Astrophysics

abstract: The first Global e-Competition on Astronomy and Astrophysics was held online in September-October 2020 as a replacement for the International Olympiad on Astronomy and Astrophysics, which was postponed due to the COVID-19 pandemic. Despite the short time available for organisation, 8 weeks, the competition was run successfully, with 325 students from over 42 countries participating with no major issues. The feedback from the participants was positive and reflects the ways in which such events can boost interest in astronomy and astronomy education. With online activities set to become more prevalent in the future, we present an overview of the competition process, the challenges faced, and some of the lessons learned, aiming to contribute to the development of best practices for organizing online competitions.


title: Spin chains, defects, and quantum wires for the quantum-double edge

abstract: Non-Abelian defects that bind Majorana or parafermion zero modes are prominent in several topological quantum computation schemes. Underpinning their established understanding is the quantum Ising spin chain, which can be recast as a fermionic model or viewed as a standalone effective theory for the surface-code edge -- both of which harbor non-Abelian defects. We generalize these notions by deriving an effective Ising-like spin chain describing the edge of quantum-double topological order. Relating Majorana and parafermion modes to anyonic strings, we introduce quantum-double generalizations of non-Abelian defects. We develop a way to embed finite-group valued qunits into those valued in continuous groups. Using this embedding, we provide a continuum description of the spin chain and recast its non-interacting part as a quantum wire via addition of a Wess-Zumino-Novikov-Witten term and non-Abelian bosonization.

categories: cond-mat.str-el cond-mat.mes-hall hep-th math.QA


title: Topological characterization of Lieb-Schultz-Mattis constraints and applications to symmetry-enriched quantum criticality

abstract: Lieb-Schultz-Mattis (LSM) theorems provide powerful constraints on the emergibility problem, i.e. whether a quantum phase or phase transition can emerge in a many-body system. We derive the topological partition functions that characterize the LSM constraints in spin systems with $G_s\times G_{int}$ symmetry, where $G_s$ is an arbitrary space group in one or two spatial dimensions, and $G_{int}$ is any internal symmetry whose projective representations are classified by $\mathbb{Z}_2^k$ with $k$ an integer. We then apply these results to study the emergibility of a class of exotic quantum critical states, including the well-known deconfined quantum critical point (DQCP), $U(1)$ Dirac spin liquid (DSL), and the recently proposed non-Lagrangian Stiefel liquid. These states can emerge as a consequence of the competition between a magnetic state and a non-magnetic state. We identify all possible realizations of these states on systems with $SO(3)\times \mathbb{Z}_2^T$ internal symmetry and either $p6m$ or $p4m$ lattice symmetry. Many interesting examples are discovered, including a DQCP adjacent to a ferromagnet, stable DSLs on square and honeycomb lattices, and a class of quantum critical spin-quadrupolar liquids of which the most relevant spinful fluctuations carry spin-$2$. In particular, there is a realization of spin-quadrupolar DSL that is beyond the usual parton construction. We further use our formalism to analyze the stability of these states under symmetry-breaking perturbations, such as spin-orbit coupling. As a concrete example, we find that a DSL can be stable in a recently proposed candidate material, NaYbO$_2$.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.stat-mech hep-th math-ph math.MP


title: TIC 5724661: A Long-Period Binary with a Pulsating sdB Star and $\delta$ Scuti Variable

abstract: Using TESS 20-sec cadence data, we have discovered an unusual combination of pulsating stars in what we infer to be a binary system. The binary consists of a standard $\delta$ Scuti star with pulsations over the range 32-41 d$^{-1}$; this is in a likely wide orbit with a hot subdwarf B (sdB) star, which itself has a large-amplitude p-mode pulsation at 524 d$^{-1}$. We establish constraints on the period of the putative binary by using radial velocity measurements of the $\delta$~Scuti star and show that any sdB companion star must orbit with a period greater than a few tens of days. Our identification of this sdB binary serves as an important addition to the relatively small number of sdB binaries known to have orbital periods longer than a few days. We model such a binary using {\tt MESA} and find that this system could be formed through stable, nonconservative mass transfer from either a low- or intermediate-mass progenitor, without undergoing a common envelope phase.


title: Accreting protoplanets: Spectral signatures and magnitude of gas and dust extinction at H alpha

abstract: Accreting planets have been seen at Ha (H alpha), but targeted searches have not been fruitful. For planets, accretion tracers should come from the shock itself, exposing them to extinction by the accreting material. High-resolution (R>5e4) spectrographs at Ha should soon allow studying how the incoming material shapes the line profile. We calculate how much the gas and dust accreting onto a planet reduce the Ha flux from the shock at the planetary surface and how they affect line shapes. We also study the absorption-modified relationship between Ha luminosity and Mdot. We compute the high-resolution radiative transfer of the Ha line using a 1D velocity-density-temperature structure for the inflowing matter in three representative accretion geometries: spherical symmetry, polar inflow, and magnetospheric accretion. For each, we explore wide ranges of Mdot and planet mass M. We use detailed gas opacities and estimate dust opacities. At Mdot<3e-6 MJ/yr, gas extinction is negligible for spherical or polar inflow and at most A_Ha<0.5 mag for magnetospheric accretion. Up to Mdot~3e-4 MJ/yr, the gas has A_Ha<4 mag. This decreases with M. We estimate realistic dust opacities at Ha as ~0.01-10 cm^2/g, i.e., 10-1e4 times lower than in the ISM. Extinction flattens the L_Ha-Mdot relationship, which becomes non-monotonic with a maximum L_Ha~1e-4 LSun near Mdot~1e-4 MJ/yr for M~10 MJ. In magnetospheric accretion, the gas can introduce features in line profiles, but the velocity gradient smears them out in other geometries. For most of parameter space, extinction by the accreting matter should be negligible, simplifying interpretation of observations, especially for planets in gaps. At high Mdot, strong absorption reduces the Ha flux, and some measurements can be interpreted as two Mdot values. Line profiles at R~1e5 can provide complex constraints on the accretion flow's thermal-dynamical structure.


title: Probing multi-particle unitarity with the Landau equations

abstract: We consider the $2\to 2$ scattering amplitude of identical massive particles. We identify the Landau curves in the multi-particle region $16m^2 \leq s, t < 36m^2$. We systematically generate and select the relevant graphs and numerically solve the associated Landau equations for the leading singularity. We find an infinite sequence of Landau curves that accumulates at finite $s$ and $t$ on the physical sheet. We expect that such accumulations are generic for $s,t > 16m^2$. Our analysis sheds new light on the complicated analytic structure of nonperturbative relativistic scattering amplitudes.


title: Holographic QCD in the NICER era

abstract: We analyze families of hybrid equations of state of cold QCD matter, which combine input from gauge/gravity duality and from various ab initio methods for nuclear matter at low density, and predict that all neutron stars are fully hadronic without quark matter cores. We focus on constraints from recent measurements by the NICER telescope on the radius and mass of the millisecond pulsar PSR J0740+6620. These results are found to be consistent with our approach: they set only mild constraints on the hybrid equations of state, and favor the most natural models which are relatively stiff at low density. Adding an upper bound on the maximal mass of neutron stars, as suggested by the analysis of the GW170817 neutron star merger event, tightens the constraints considerably. We discuss updated predictions on observables such as the transition density and latent heat of the nuclear to quark matter transition as well as the masses, radii, and tidal deformabilities of neutron stars.


title: High-Pressure Synthesis of a Massive and Non-Symmorphic Dirac Semimetal Candidate MoP$_4$

abstract: Single crystal and polycrystalline samples of MoP$_4$ with a black-phosphorus-derived structure have been successfully synthesized by a high-pressure technique. The polycrystalline samples show a large positive magnetoresistance and a small negative Seebeck coefficient at low temperatures, reflecting a semi-metallic nature with high-mobility electrons. Consistent with the transport properties, the band structure calculation reveals a semi-metallic state with the presence of two types of Dirac nodes slightly below the Fermi level. The Dirac node along the $\Gamma$-X direction normal to the phosphorus layers is gapped out in the presence of spin-orbit coupling (SOC), whereas the band crossing at the Z-point is immune to SOC because of the non-symmorphic symmetry. This work demonstrates a great potential of phosphorus-based layered Zintl compounds for topological semimetal candidates allowing chemical band engineering.


title: Broadband solenoidal haloscope for terahertz axion detection

abstract: We introduce the Broadband Reflector Experiment for Axion Detection (BREAD) conceptual design and science program. This haloscope plans to search for bosonic dark matter across the [10$^{-3}$, 1] eV ([0.24, 240] THz) mass range. BREAD proposes a cylindrical metal barrel to convert dark matter into photons, which a novel parabolic reflector design focuses onto a photosensor. This unique geometry enables enclosure in standard cryostats and high-field solenoids, overcoming limitations of current dish antennas. A pilot 0.7 m$^{2}$ barrel experiment planned at Fermilab is projected to surpass existing dark photon coupling constraints by over a decade with one-day runtime. Axion sensitivity requires $<10^{-20}$ W/$\sqrt{\textrm{Hz}}$ sensor noise equivalent power with a 10 T solenoid and 10 m$^{2}$ barrel. We project BREAD sensitivity for various sensor technologies and discuss future prospects.

categories: physics.ins-det astro-ph.IM hep-ex hep-ph


title: On the Tidal Formation of Dark Matter Deficient Galaxies

abstract: Previous studies have shown that dark matter deficient galaxies (DMDG) such as NGC1052-DF2 (hereafter DF2) can result from tidal stripping. An important question, though, is whether such a stripping scenario can explain DF2's large specific frequency of globular clusters (GCs). After all, tidal stripping and shocking preferentially remove matter from the outskirts. We examine this using idealized, high-resolution simulations of a regular dark matter dominated galaxy that is accreted onto a massive halo. As long as the initial (pre-infall) dark matter halo of the satellite is cored, which is consistent with predictions of cosmological, hydrodynamical simulations, the tidal remnant can be made to resemble DF2 in all its properties, including its GC population. The required orbit has a peri-centre at the 8.3 percentile of the distribution for subhaloes at infall, and thus is not particularly extreme. On this orbit the satellite loses 98.5 (30) percent of its original dark matter (stellar) mass, and thus evolves into a DMDG. The fraction of GCs that is stripped off depends on the initial radial distribution. If, at infall, the median projected radius of the GC population is roughly two times that of the stars, consistent with observations of isolated galaxies, only $\sim 20$ percent of the GCs are stripped off. This is less than for the stars, which is due to dynamical friction counteracting the tidal stirring. We predict that, if indeed DF2 was crafted by strong tides, its stellar outskirts should have a very shallow metallicity gradient.


title: A NICER look at thermonuclear X-ray bursts from Aql X-1

abstract: We present spectral and temporal properties of all the thermonuclear X-ray bursts observed from Aql X-1 by the Neutron Star Interior and Composition Explorer (NICER) between 2017 July and 2021 April. This is the first systematic investigation of a large sample of type I X-ray bursts from Aql X-1 with improved sensitivity at low energies. We detect 22 X-ray bursts including two short recurrence burst events in which the separation was only 451 s and 496 s. We perform time resolved spectroscopy of the bursts using the fixed and scaled background (f_a method) approaches. We show that the use of a scaling factor to the pre-burst emission is the statistically preferred model in about 68% of all the spectra compared to the fixed background approach. Typically the f_a values are clustered around 1-3, but can reach up to 11 in a burst where photospheric radius expansion is observed. Such f_a values indicate a very significant increase in the pre-burst emission especially at around the peak flux moments of the bursts. We show that the use of the f_a factor alters the best fit spectral parameters of the burst emission. Finally, we employed a reflection model instead of scaling the pre-burst emission. We show that reflection models also do fit the spectra and improve the goodness of the fits. In all cases we see that the disc is highly ionized by the burst emission and the fraction of the reprocessed emission to the incident burst flux is typically clustered around 20%.


title: Partonic behavior of string scattering amplitudes from holographic QCD models

abstract: We study the emergence of partonic behavior in scattering processes at large Mandelstam's variable $s$ from string amplitudes in holographic backgrounds. We generalize the approach of Polchinski and Strassler (2001) in two ways. (i) We analyze several holographic confining backgrounds in particular the hard wall model, the soft wall model and Witten's model. (ii) In addition to deriving the asymptotic behavior of the amplitudes at fixed angle and in the Regge limit, we also expand the amplitudes around their poles, integrate over the holographic direction and then re-sum the expansion. Due to dependence of the string tension on the holographic coordinate, the resulting singularities take the form of branch points rather than poles and the amplitudes display branch cuts and acquire a finite imaginary part. This may signal the failure of the PS prescription to reproduce the correct analytic structure at low energies. We also observe that the peaks are more pronounced in the region of small $s$ but fade away for large $s$. In the fixed angle approximation we find in the hard and soft wall models that ${\cal A}\sim s^{2-\Delta/2}$ whereas in Witten's model ${\cal A} \sim s^{3-\Delta/2}$ and ${\cal A} \sim s^{7/3-2\Delta/3}$ for the 11D and 10D formulations, respectively. In the Regge regime ${\cal A}\sim {s^{2}}\,t^{-2+\alpha}\,(\log{s/ t})^{-1+\alpha}$ where $\alpha$ is the power found in the fixed angle regime. Using the pole expansion the result for each model is $Re[{\cal A}] \sim s^{-1}$, $Im[{\cal A}] \sim s^{\alpha}$. We compute the corresponding amplitudes for mesons using open strings and find qualitatively similar results as for closed strings.


title: Magic-angle Twisted Bilayer Systems with Quadratic-Band-Touching: Exactly Flat Bands with High-Chern Number

abstract: Studies of twisted moir\'e systems have been mainly focused on two-dimensional (2D) materials such as graphene with Dirac points and transition-metal-dichalcogenide so far. Here we propose a twisted bilayer of 2D systems which feature stable quadratic-band-touching points and find exotic physics different from previously studied twisted moir\'e systems. Specifically, we show that exactly flat bands can emerge at magic angles and, more interestingly, each flat band exhibits a high Chern number ($C=\pm 2$). We further consider the effect of Coulomb interactions in such magic-angle twisted systems and find that the ground state supports the quantum anomalous Hall effect with quantized Hall conductivity $2\frac{e^2}{hc}$ at certain filling. Furthermore, the possible physical realization of such twisted bilayer systems will be briefly discussed.


title: Flavor Violating Axions in the Early Universe

abstract: Flavor violating axion couplings can be in action before recombination, and they can fill the early universe with an additional radiation component. Working within a model-independent framework, we consider an effective field theory for the axion field and quantify axion production. Current cosmological data exclude already a fraction of the available parameter space, and the bounds will improve significantly with future CMB-S4 surveys. Remarkably, we find that future cosmological bounds will be comparable or even stronger than the ones obtained in our terrestrial laboratories.


title: Junction conditions for generalized hybrid metric-Palatini gravity with applications

abstract: The generalized hybrid metric-Palatini gravity is a theory of gravitation that has an action composed of a Lagrangian $f(R,\cal R)$, where $f$ is a function of the metric Ricci scalar $R$ and a new Ricci scalar $\cal R$ formed from a Palatini connection, plus a matter Lagrangian. This theory can be rewritten by trading the new geometric degrees of freedom of $f(R,\cal R)$ into two scalar fields, $\varphi$ and $\psi$, yielding an equivalent scalar-tensor theory. Given a spacetime theory, the next step is to find solutions. To construct solutions it is often necessary to know the junction conditions between two regions at a separation hypersurface $\Sigma$, with each region being an independent solution. The junction conditions for the generalized hybrid metric-Palatini gravity are found here, in the geometric and in the scalar-tensor representations, and in addition, for each representation, the junction conditions for a matching with a thin-shell and for a smooth matching at $\Sigma$ are worked out. These junction conditions are applied to three configurations, a star, a quasistar with a black hole, and a wormhole. The star has a Minkowski interior, a thin shell at the interface with all the energy conditions being satisfied, and a Schwarzschild exterior with mass $M$, and for this theory the matching can only be performed at the shell radius given by $r_\Sigma=\frac{9M}4$, the Buchdahl radius in general relativity. The quasistar with a black hole has an interior Schwarzschild black hole surrounded by a thick shell that matches smoothly to a mass $M$ Schwarzschild exterior at the light ring, and with the energy conditions being satisfied everywhere. The wormhole has an interior that contains the throat, a thin shell at the interface, and a Schwarzschild-AdS exterior with mass $M$ and negative cosmological constant $\Lambda$, with the null energy condition being obeyed.


title: The Type Icn SN 2021csp: Implications for the Origins of the Fastest Supernovae and the Fates of Wolf-Rayet Stars

abstract: We present observations of SN 2021csp, the second example of a newly-identified type of supernova (Type Icn) hallmarked by strong, narrow, P Cygni carbon features at early times. The SN appears as a fast and luminous blue transient at early times, reaching a peak absolute magnitude of -20 within 3 days due to strong interaction between fast SN ejecta (v ~ 30000 km/s) and a massive, dense, fast-moving C/O wind shed by the WC-like progenitor months before explosion. The narrow line features disappear from the spectrum 10-20 days after explosion and are replaced by a blue continuum dominated by broad Fe features, reminiscent of Type Ibn and IIn supernovae and indicative of weaker interaction with more extended H/He-poor material. The transient then abruptly fades ~60 days post-explosion when interaction ceases. Deep limits at later phases suggest minimal heavy-element nucleosynthesis, a low ejecta mass, or both, and imply an origin distinct from that of classical Type Ic supernovae. We place SN 2021csp in context with other fast-evolving interacting transients, and discuss various progenitor scenarios: an ultrastripped progenitor star, a pulsational pair-instability eruption, or a jet-driven fallback supernova from a Wolf-Rayet star. The fallback scenario would naturally explain the similarity between these events and radio-loud fast transients, and suggests a picture in which most stars massive enough to undergo a WR phase collapse directly to black holes at the end of their lives.


title: Context-based navigation for ground mobile robot in a semi-structured indoor environment

abstract: There is a growing demand for mobile robots to operate in more variable environments, where guaranteeing safe robot navigation is a priority, in addition to time performance. To achieve this, current solutions for local planning use a specific configuration tuned to the characteristics of the application environment. In this paper, we present an approach for developing quality models that can be used by a self-adaptation framework to adapt the local planner configuration at run-time based on the perceived environment. We contribute a definition of a safety model that predicts the safety of a navigation configuration given the perceived environment. Experiments have been performed in a realistic navigation scenario for a retail application to validate the obtained models and demonstrate their integration in a self-adaptation framework.


title: From 3D hydrodynamic simulations of common-envelope interaction to gravitational-wave mergers

abstract: Modeling the evolution of progenitors of gravitational-wave merger events in binary stars faces two major uncertainties: the common-envelope phase and supernova kicks. These two processes are critical for the final orbital configuration of double compact-object systems with neutron stars and black holes. Predictive one-dimensional models of common-envelope interaction are lacking and multidimensional simulations are challenged by the vast range of relevant spatial and temporal scales. Here, we present three-dimensional hydrodynamic simulations of the common-envelope interaction of an initially $10\,M_{\odot}$ red supergiant primary star with a black-hole and a neutron-star companion. We show that the high-mass regime is accessible to full ab-initio simulations. Nearly complete envelope ejection is reached assuming that all recombination energy still available at the end of our simulation continues to help unbinding the envelope. In contrast to previous assumptions, we find that the dynamical plunge-in of both companions terminates at orbital separations too wide for gravitational waves to merge the systems in a Hubble time. We discuss the further evolution of the system based on analytical estimates. A subsequent mass-transfer episode from the remaining $3\,M_{\odot}$ core of the supergiant to the compact companion does not shrink the orbit sufficiently either. A neutron-star--neutron-star and neutron-star--black-hole merger is still expected for a fraction of the systems if the supernova kick aligns favorably with the orbital motion. For double neutron star (neutron-star--black-hole) systems we estimate mergers in about $9 \%$ ($1 \%$) of cases while about $77 \%$ ($94 \%$) of binaries are disrupted, i.e., supernova kicks actually enable gravitational-wave mergers in our cases; however, we expect a reduction in predicted gravitational-wave merger events. (abbr.)


title: Tunable Wave Propagation Bandgap Via Stretching kirigami Sheets

abstract: This study examines the Braggs bandgap and its mechanical tuning in a stretch-buckled kirigami sheet with "zig-zag" distributed parallel cuts. When stretched beyond a critical threshold, the kirigami buckles out-of-plane and generates a 3D periodic architecture. Our theoretical calculation, numerical simulation, and experiments confirm the transverse elastic wave propagation bandgaps and their correlation to stretching. This result opens an avenue of using kirigami as a simple and effective approach for creating and adapting periodicity for wave propagation control.


title: Data-driven detection of drifting system parameters

abstract: Data taken from observations of the natural world or laboratory measurements often depend on parameters which can vary in unexpected ways. In this paper we demonstrate how machine learning can be leveraged to detect changes in global parameters from variations in an identified model using only observational data. This capability, when paired with first principles analysis, can effectively distinguish the effects of these changing parameters from the intrinsic complexity of the system. Here we illustrate this by identifying a set of governing equations for an experiment generating a weakly turbulent fluid flow, then analyzing variation in the coefficients of these equations to unravel the drift in its physical parameters.


title: Algorithmic Fairness in Face Morphing Attack Detection

abstract: Face morphing attacks can compromise Face Recognition System (FRS) by exploiting their vulnerability. Face Morphing Attack Detection (MAD) techniques have been developed in recent past to deter such attacks and mitigate risks from morphing attacks. MAD algorithms, as any other algorithms should treat the images of subjects from different ethnic origins in an equal manner and provide non-discriminatory results. While the promising MAD algorithms are tested for robustness, there is no study comprehensively bench-marking their behaviour against various ethnicities. In this paper, we study and present a comprehensive analysis of algorithmic fairness of the existing Single image-based Morph Attack Detection (S-MAD) algorithms. We attempt to better understand the influence of ethnic bias on MAD algorithms and to this extent, we study the performance of MAD algorithms on a newly created dataset consisting of four different ethnic groups. With Extensive experiments using six different S-MAD techniques, we first present benchmark of detection performance and then measure the quantitative value of the algorithmic fairness for each of them using Fairness Discrepancy Rate (FDR). The results indicate the lack of fairness on all six different S-MAD methods when trained and tested on different ethnic groups suggesting the need for reliable MAD approaches to mitigate the algorithmic bias.


title: Caviar: An E-graph Based TRS for Automatic Code Optimization

abstract: Term Rewriting Systems (TRSs) are used in compilers to simplify and prove expressions. State-of-the-art TRSs in compilers use a greedy algorithm that applies a set of rewriting rules in a predefined order (where some of the rules are not axiomatic). This leads to a loss of the ability to simplify certain expressions. E-graphs and equality saturation sidestep this issue by representing the different equivalent expressions in a compact manner from which the optimal expression can be extracted. While an e-graph-based TRS can be more powerful than a TRS that uses a greedy algorithm, it is slower because expressions may have a large or sometimes infinite number of equivalent expressions. Accelerating e-graph construction is crucial for making the use of e-graphs practical in compilers. In this paper, we present Caviar, an e-graph-based TRS for proving expressions within compilers. The main advantage of Caviar is its speed. It can prove expressions much faster than base e-graph TRSs. It relies on three techniques: 1) a technique that stops e-graphs from growing when the goal is reached, called Iteration Level Check; 2) a mechanism that balances exploration and exploitation in the equality saturation algorithm, called Pulsing Caviar; 3) a technique to stop e-graph construction before reaching saturation when a non-provable pattern is detected, called Non-Provable Patterns Detection (NPPD). We evaluate caviar on Halide, an optimizing compiler that relies on a greedy-algorithm-based TRS to simplify and prove its expressions. The proposed techniques allow Caviar to accelerate e-graph expansion for the task of proving expressions. They also allow Caviar to prove expressions that Halide's TRS cannot prove while being only 0.68x slower.


title: Adjoining colimits

abstract: This paper develops a theory of colimit sketches "with constructions" in higher category theory, formalising the input to the ubiquitous procedure of adjoining specified "constructible" colimits to a category such that specified "relation" colimits are enforced (or preserved). From a more technical standpoint, sketches are a way to describe dense functors using techniques from the homotopy theory of diagrams. We establish basic properties of diagrams in an infinity-category C as a model for presheaves on C and Bousfield localisations thereof, discuss extensions of functors and adjunctions, and equivalences of sets of diagrams. We introduce categories of presheaves which are "constructible in one step" by a set of diagrams and explore, via well-known examples, when constructible cocompletion is idempotent, i.e. when any iterated construction can be completed in one step.


title: Machine learning synthetic spectra for probabilistic redshift estimation: SYTH-Z

abstract: Photometric redshift estimation algorithms are often based on representative data from observational campaigns. Data-driven methods of this type are subject to a number of potential deficiencies, such as sample bias and incompleteness. Motivated by these considerations, we propose using physically motivated synthetic spectral energy distributions in redshift estimation. In addition, the synthetic data would have to span a domain in colour-redshift space concordant with that of the targeted observational surveys. With a matched distribution and realistically modelled synthetic data in hand, a suitable regression algorithm can be appropriately trained; we use a mixture density network for this purpose. We also perform a zero-point re-calibration to reduce the systematic differences between noise-free synthetic data and the (unavoidably) noisy observational data sets. This new redshift estimation framework, SYTH-Z, demonstrates superior accuracy over a wide range of redshifts compared to baseline models trained on observational data alone. Approaches using realistic synthetic data sets can therefore greatly mitigate the reliance on expensive spectroscopic follow-up for the next generation of photometric surveys.


title: Event-based anomaly detection for new physics searches at the LHC using machine learning

abstract: This paper discusses model-agnostic searches for new physics at the Large Hadron Collider (LHC) using anomaly-detection techniques for the identification of event signatures that deviate from the Standard Model (SM). We investigate anomaly detection in the context of machine-learning approaches using autoencoders, and illustrate expected shapes of invariant masses in the outlier region using Monte Carlo simulations. Challenges and conceptual limitations of this approach are discussed.


title: Renormalization constants of quark bilinear operators in QCD with dynamical up, down, strange and charm quarks

abstract: We present preliminary results of a calculation of the QCD renormalization constants (RCs) for quark bilinear operators, evaluated non-perturbatively on the lattice in the RI'-MOM scheme. The calculation is performed by using dedicated ensembles with $N_f=4$ degenerate dynamical twisted mass (clover) fermions and the Iwasaki gauge action. A detailed analysis is reported, with emphasis on the control or subtraction of the hadronic contaminations occurring in the lattice estimators of RCs and a check of proper scaling with $a^2$ of the final results. Such a careful study of systematic errors is the counterpart of the high statistical precision reached by current calculations of RCs in the RI'-MOM scheme and is important in order to quote accurate results in phenomenological applications, such as the computation of quark masses.


title: Galleries for root subsystems

abstract: We consider projection and lifting of labelled galleries to and from roots subsystems. Our constructions allow us to construct some topological embeddings of Bott-Samelson varieties skew equivariant with respect to the compact torus and order-preserving on the sets of points fixed by it.


title: Bounding Box-Free Instance Segmentation Using Semi-Supervised Learning for Generating a City-Scale Vehicle Dataset

abstract: Vehicle classification is a hot computer vision topic, with studies ranging from ground-view up to top-view imagery. In remote sensing, the usage of top-view images allows for understanding city patterns, vehicle concentration, traffic management, and others. However, there are some difficulties when aiming for pixel-wise classification: (a) most vehicle classification studies use object detection methods, and most publicly available datasets are designed for this task, (b) creating instance segmentation datasets is laborious, and (c) traditional instance segmentation methods underperform on this task since the objects are small. Thus, the present research objectives are: (1) propose a novel semi-supervised iterative learning approach using GIS software, (2) propose a box-free instance segmentation approach, and (3) provide a city-scale vehicle dataset. The iterative learning procedure considered: (1) label a small number of vehicles, (2) train on those samples, (3) use the model to classify the entire image, (4) convert the image prediction into a polygon shapefile, (5) correct some areas with errors and include them in the training data, and (6) repeat until results are satisfactory. To separate instances, we considered vehicle interior and vehicle borders, and the DL model was the U-net with the Efficient-net-B7 backbone. When removing the borders, the vehicle interior becomes isolated, allowing for unique object identification. To recover the deleted 1-pixel borders, we proposed a simple method to expand each prediction. The results show better pixel-wise metrics when compared to the Mask-RCNN (82% against 67% in IoU). On per-object analysis, the overall accuracy, precision, and recall were greater than 90%. This pipeline applies to any remote sensing target, being very efficient for segmentation and generating datasets.


title: MICS : Multi-steps, Inverse Consistency and Symmetric deep learning registration network

abstract: Deformable registration consists of finding the best dense correspondence between two different images. Many algorithms have been published, but the clinical application was made difficult by the high calculation time needed to solve the optimisation problem. Deep learning overtook this limitation by taking advantage of GPU calculation and the learning process. However, many deep learning methods do not take into account desirable properties respected by classical algorithms. In this paper, we present MICS, a novel deep learning algorithm for medical imaging registration. As registration is an ill-posed problem, we focused our algorithm on the respect of different properties: inverse consistency, symmetry and orientation conservation. We also combined our algorithm with a multi-step strategy to refine and improve the deformation grid. While many approaches applied registration to brain MRI, we explored a more challenging body localisation: abdominal CT. Finally, we evaluated our method on a dataset used during the Learn2Reg challenge, allowing a fair comparison with published methods.


title: Towards Learning Universal Audio Representations

abstract: The ability to learn universal audio representations that can solve diverse speech, music, and environment tasks can spur many applications that require general sound content understanding. In this work, we introduce a holistic audio representation evaluation suite (HARES) spanning 12 downstream tasks across audio domains and provide a thorough empirical study of recent sound representation learning systems on that benchmark. We discover that previous sound event classification or speech models do not generalize outside of their domains. We observe that more robust audio representations can be learned with the SimCLR objective; however, the model's transferability depends heavily on the model architecture. We find the Slowfast architecture is good at learning rich representations required by different domains, but its performance is affected by the normalization scheme. Based on these findings, we propose a novel normalizer-free Slowfast NFNet and achieve state-of-the-art performance across all domains.


title: Sp(4) gauge theories and beyond the standard model physics

abstract: We review numerical results for models with gauge group Sp(2N), discussing the glueball spectrum in the large-N limit, the quenched meson spectrum of Sp(4) with Dirac fermions in the fundamental and in the antisymmetric representation and the Sp(4) gauge model with two dynamical Dirac flavours. We also present preliminary results for the meson spectrum in the Sp(4) gauge theory with two fundamental and three antisymmetric Dirac flavours. The main motivation of our programme is to test whether this latter model is viable as a realisation of Higgs compositeness via the pseudo Nambu Goldstone mechanism and at the same time can provide partial top compositeness. In this respect, we report and briefly discuss preliminary results for the mass of the composite baryon made with two fundamental and one antisymmetric fermion (chimera baryon), whose physical properties are highly constrained if partial top compositeness is at work. Our investigation shows that a fully non-perturbative study of Higgs compositeness and partial top compositeness in Sp(4) is within reach with our current lattice methodology.


title: Panoptic Segmentation Meets Remote Sensing

abstract: Panoptic segmentation combines instance and semantic predictions, allowing the detection of "things" and "stuff" simultaneously. Effectively approaching panoptic segmentation in remotely sensed data can be auspicious in many challenging problems since it allows continuous mapping and specific target counting. Several difficulties have prevented the growth of this task in remote sensing: (a) most algorithms are designed for traditional images, (b) image labelling must encompass "things" and "stuff" classes, and (c) the annotation format is complex. Thus, aiming to solve and increase the operability of panoptic segmentation in remote sensing, this study has five objectives: (1) create a novel data preparation pipeline for panoptic segmentation, (2) propose an annotation conversion software to generate panoptic annotations; (3) propose a novel dataset on urban areas, (4) modify the Detectron2 for the task, and (5) evaluate difficulties of this task in the urban setting. We used an aerial image with a 0,24-meter spatial resolution considering 14 classes. Our pipeline considers three image inputs, and the proposed software uses point shapefiles for creating samples in the COCO format. Our study generated 3,400 samples with 512x512 pixel dimensions. We used the Panoptic-FPN with two backbones (ResNet-50 and ResNet-101), and the model evaluation considered semantic instance and panoptic metrics. We obtained 93.9, 47.7, and 64.9 for the mean IoU, box AP, and PQ. Our study presents the first effective pipeline for panoptic segmentation and an extensive database for other researchers to use and deal with other data or related problems requiring a thorough scene understanding.


title: The steady-state hydrodynamics of a long-lived disc: planetary system architecture and prospects of observing a circumplanetary disc shadow in V4046$\,$Sgr

abstract: Recent imaging of the disc around the V4046$\,$Sgr spectroscopic binary revealed concentric regions of dust rings and gaps. The object's proximity and expected equilibrated state due to its old age (>20$\,$Myr) make it a superb testbed for hydrodynamical studies in direct comparison to observations. We employ two-dimensional hydrodynamical simulations of gas and multiple dust species to test whether the observed structure conforms with the presence of giant planets embedded in the disc. We then perform radiative transfer calculations of sky images, which we filter for the telescope response for comparison with near-infrared and millimetre observations. We find that the existing data are in excellent agreement with a flared disc and the presence of two giant planets, at 9$\,$au and 20$\,$au, respectively. The different ring widths are recovered by diffusion-balanced dust trapping within the gas pressure maxima. In our radiative transfer model, the diffusion in vertical direction is reduced in comparison to the radial value by a factor of five to recover the spectral energy distribution. Further, we report a previously unaddressed, azimuthally-confined intensity decrement on the bright inner ring in the near-infrared scattered light observation. Our model shows that this decrement can be explained by a shadow cast by a circumplanetary disc around the same giant planet that creates the inner cavity in the hydrodynamical simulations. We examine the shape of the intensity indentation and discuss the potential characterisation of a giant planet and its associated disc by its projected shadow in scattered light observations.


title: On the Unreasonable Effectiveness of Feature propagation in Learning on Graphs with Missing Node Features

abstract: While Graph Neural Networks (GNNs) have recently become the de facto standard for modeling relational data, they impose a strong assumption on the availability of the node or edge features of the graph. In many real-world applications, however, features are only partially available; for example, in social networks, age and gender are available only for a small subset of users. We present a general approach for handling missing features in graph machine learning applications that is based on minimization of the Dirichlet energy and leads to a diffusion-type differential equation on the graph. The discretization of this equation produces a simple, fast and scalable algorithm which we call Feature Propagation. We experimentally show that the proposed approach outperforms previous methods on seven common node-classification benchmarks and can withstand surprisingly high rates of missing features: on average we observe only around 4% relative accuracy drop when 99% of the features are missing. Moreover, it takes only 10 seconds to run on a graph with $\sim$2.5M nodes and $\sim$123M edges on a single GPU.


title: Existence of Fractional Nonlocal Neutral Stochastic Differential Equation of Order 1 < q < 2 with Non-instantaneous Impulses and State-Dependent Delay

abstract: This article addresses a new class of fractional nonlocal neutral stochastic differential system of order 1<q<2 including non-instantaneous impulses(NIIs) and state-dependent delay(SDD) with the Poisson jumps and the Wiener process in Hilbert spaces. We examine the existence of a mild solution without assuming the compactness of the resolvent operators. The Monch fixed point theorem is used along with the Hausdorff measure of noncompactness. An example is constructed to verify the theoretical developments.


title: Continuous thermomajorization and a complete set of laws for Markovian thermal processes

abstract: The standard dynamical approach to quantum thermodynamics is based on Markovian master equations describing the thermalization of a system weakly coupled to a large environment, and on tools such as entropy production relations. Here we develop a new framework overcoming the limitations that the current dynamical and information theory approaches encounter when applied to this setting. More precisely, we introduce the notion of continuous thermomajorization, and employ it to obtain necessary and sufficient conditions for the existence of a Markovian thermal process transforming between given initial and final energy distributions of the system. These lead to a complete set of generalized entropy production inequalities including the standard one as a special case. Importantly, these conditions can be reduced to a finitely verifiable set of constraints governing non-equilibrium transformations under master equations. What is more, the framework is also constructive, i.e., it returns explicit protocols realizing any allowed transformation. These protocols use as building blocks elementary thermalizations, which we prove to be universal controls. Finally, we also present an algorithm constructing the full set of energy distributions achievable from a given initial state via Markovian thermal processes and provide a $\texttt{Mathematica}$ implementation solving $d=6$ on a laptop computer in minutes.


title: Stampedes I: Fishnet OPE and Octagon Bootstrap with Nonzero Bridges

abstract: Some quantities in quantum field theory are dominated by so-called $\mathit{leading\,logs}$ and can be re-summed to all loop orders. In this work we introduce a notion of $\mathit{stampede}$ which is a simple time-evolution of a bunch of particles which start their life in a corner - on the very right say - and $\mathit{hop}$ their way to the opposite corner - on the left - through the repeated action of a quantum Hamiltonian. Such stampedes govern leading logs quantities in certain quantum field theories. The leading euclidean OPE limit of correlation functions in the fishnet theory and null double-scaling limits of correlators in $\mathcal{N}=4$ SYM are notable examples. As an application, we use these results to extend the beautiful bootstrap program of Coronado [1] to all octagons functions with arbitrary diagonal bridge length.


title: Robust Principal Component Analysis: A Construction Error Minimization Perspective

abstract: In this paper we propose a novel optimization framework to systematically solve robust PCA problem with rigorous theoretical guarantee, based on which we investigate very computationally economic updating algorithms.


title: On extracting variable Herbrand disjunctions

abstract: Some quantitative results obtained by proof mining take the form of Herbrand disjunctions that may depend on additional parameters. We attempt to elucidate this fact through an extension to first-order arithmetic of the proof of Herbrand's theorem due to Gerhardy and Kohlenbach which uses the functional interpretation.


title: The unrestricted virtual braid groups $UVB_n$

abstract: Let $UVB_n$ and $UVP_n$ be the unrestricted virtual braid group and the unrestricted virtual pure braid group on n strands respectively. We study the groups $UVB_n$ and $UVP_n$, and our main results are as follows: for $n\geq 5$, we give a complete description, up to conjugation, to all possible homomorphisms from $UVB_n$ to the symmetric group $S_n$. For $n\geq 3$, we characterise all possible images of $UVB_n$, under a group homomorphism, to any finite group $G$. For $n\geq 5$, we prove that $UVP_n$ is a characteristic subgroup of $UVB_n$. In addition, we determine the automorphism group of $UVP_n$ and we prove that $\mathbb{Z}_2\times\mathbb{Z}_2$ is a subgroup of the outer automorphism group of $UVB_n$. Lastly, we show that $UVB_n$ and $UVP_n$ are residually finite and Hopfian but not co-Hopfian. We also remark that some of these results hold accordingly for the welded braid group $WB_n$ and we discuss about its automorphism group.


title: Jammed disks of two sizes and weights in a channel: Alternating sequences

abstract: Disks of two sizes and weights in alternating sequence are confined to a long and narrow channel. The axis of the channel is horizontal and its plane vertical. The channel is closed off by pistons that freeze jammed microstates out of loose disk configurations subject to moderate pressure, gravity, and random agitations. Disk sizes and channel width are such that under jamming no disk remains loose and all disks touch one wall. We present exact results for the characterization of jammed macrostates including volume and entropy. The rigorous analysis divides the disk sequences of jammed microstates into overlapping tiles from which we construct a small number of species of statistically interacting particles. Jammed macrostates depend on dimensionless control parameters inferred from ratios between measures of expansion work against the pistons, gravitational potential energy, and intensity of random agitations. These control parameters enter the configurational statistics via the activation energies prior to jamming of the particles. The range of disk weights naturally divides into regimes where qualitatively different features come into play. We sketch a path toward generalizations that include random sequences under a modified jamming protocol.


title: Dark Energy from Inspiraling in Field Space

abstract: We find an exact solution of the equations of motion of a two-field cosmological model, which realizes multi-field dark energy. The latter is characterized by field-space trajectories with turning rates that are always large. We study a class of two-field models and show that it is possible to have such trajectories, giving accelerated space-time expansion, even when the scalar potential preserves the rotational invariance of the field-space metric. For the case of Poincar\'e-disk field space, we derive the form of the scalar potential compatible with such background solutions and, furthermore, we find the exact solutions analytically. Their field-space trajectories are spirals inward, toward the center of the Poincar\'e disk. Interestingly, the functional form of the relevant scalar potential is compatible with a certain hidden symmetry, although the latter is broken by the presence of a constant term.


title: Learning Interactive Driving Policies via Data-driven Simulation

abstract: Data-driven simulators promise high data-efficiency for driving policy learning. When used for modelling interactions, this data-efficiency becomes a bottleneck: Small underlying datasets often lack interesting and challenging edge cases for learning interactive driving. We address this challenge by proposing a simulation method that uses in-painted ado vehicles for learning robust driving policies. Thus, our approach can be used to learn policies that involve multi-agent interactions and allows for training via state-of-the-art policy learning methods. We evaluate the approach for learning standard interaction scenarios in driving. In extensive experiments, our work demonstrates that the resulting policies can be directly transferred to a full-scale autonomous vehicle without making use of any traditional sim-to-real transfer techniques such as domain randomization.


title: Multi-Modality Microscopy Image Style Transfer for Nuclei Segmentation

abstract: Annotating microscopy images for nuclei segmentation is laborious and time-consuming. To leverage the few existing annotations, also across multiple modalities, we propose a novel microscopy-style augmentation technique based on a generative adversarial network (GAN). Unlike other style transfer methods, it can not only deal with different cell assay types and lighting conditions, but also with different imaging modalities, such as bright-field and fluorescence microscopy. Using disentangled representations for content and style, we can preserve the structure of the original image while altering its style during augmentation. We evaluate our data augmentation on the 2018 Data Science Bowl dataset consisting of various cell assays, lighting conditions, and imaging modalities. With our style augmentation, the segmentation accuracy of the two top-ranked Mask R-CNN-based nuclei segmentation algorithms in the competition increases significantly. Thus, our augmentation technique renders the downstream task more robust to the test data heterogeneity and helps counteract class imbalance without resampling of minority classes.


title: ChebLieNet: Invariant Spectral Graph NNs Turned Equivariant by Riemannian Geometry on Lie Groups

abstract: We introduce ChebLieNet, a group-equivariant method on (anisotropic) manifolds. Surfing on the success of graph- and group-based neural networks, we take advantage of the recent developments in the geometric deep learning field to derive a new approach to exploit any anisotropies in data. Via discrete approximations of Lie groups, we develop a graph neural network made of anisotropic convolutional layers (Chebyshev convolutions), spatial pooling and unpooling layers, and global pooling layers. Group equivariance is achieved via equivariant and invariant operators on graphs with anisotropic left-invariant Riemannian distance-based affinities encoded on the edges. Thanks to its simple form, the Riemannian metric can model any anisotropies, both in the spatial and orientation domains. This control on anisotropies of the Riemannian metrics allows to balance equivariance (anisotropic metric) against invariance (isotropic metric) of the graph convolution layers. Hence we open the doors to a better understanding of anisotropic properties. Furthermore, we empirically prove the existence of (data-dependent) sweet spots for anisotropic parameters on CIFAR10. This crucial result is evidence of the benefice we could get by exploiting anisotropic properties in data. We also evaluate the scalability of this approach on STL10 (image data) and ClimateNet (spherical data), showing its remarkable adaptability to diverse tasks.


title: Filter Methods for Feature Selection in Supervised Machine Learning Applications -- Review and Benchmark

abstract: The amount of data for machine learning (ML) applications is constantly growing. Not only the number of observations, especially the number of measured variables (features) increases with ongoing digitization. Selecting the most appropriate features for predictive modeling is an important lever for the success of ML applications in business and research. Feature selection methods (FSM) that are independent of a certain ML algorithm - so-called filter methods - have been numerously suggested, but little guidance for researchers and quantitative modelers exists to choose appropriate approaches for typical ML problems. This review synthesizes the substantial literature on feature selection benchmarking and evaluates the performance of 58 methods in the widely used R environment. For concrete guidance, we consider four typical dataset scenarios that are challenging for ML models (noisy, redundant, imbalanced data and cases with more features than observations). Drawing on the experience of earlier benchmarks, which have considered much fewer FSMs, we compare the performance of the methods according to four criteria (predictive performance, number of relevant features selected, stability of the feature sets and runtime). We found methods relying on the random forest approach, the double input symmetrical relevance filter (DISR) and the joint impurity filter (JIM) were well-performing candidate methods for the given dataset scenarios.


title: Harmonic oscillator kicked by spin measurements: a Floquet-like system without classical analogous

abstract: We present a kicked harmonic oscillator where the impulsive driving is provided by stroboscopic measurements on an ancillary degree of freedom and not by the canonical quantization of a time-dependent Hamiltonian. The ancila is dynamically entangled with the oscillator position, while the background Hamiltonian remains static. The dynamics of this system is determined in closed analytical form, allowing for the evaluation of a properly defined Loschmidt echo, ensemble averages, and phase-space portraits. As in the case of standard Floquet systems we observe regimes with crystalline and quasicrystalline structures in phase space, resonances, and evidences of chaotic behavior, however, not originating from any classically chaotic system.


title: Phenomenological classification of the Zwicky Transient Facility astronomical event alerts

abstract: The Zwicky Transient Facility (ZTF), a state-of-the-art optical robotic sky survey, registers on the order of a million transient events - such as supernova explosions, changes in brightness of variable sources, or moving object detections - every clear night, and generates associated real-time alerts. We present Alert-Classifying Artificial Intelligence (ACAI), an open-source deep-learning framework for the phenomenological classification of ZTF alerts. ACAI uses a set of five binary classifiers to characterize objects which, in combination with the auxiliary/contextual event information available from alert brokers, provides a powerful tool for alert stream filtering tailored to different science cases, including early identification of supernova-like and anomalous transient events. We report on the performance of ACAI during the first months of deployment in a production setting.


title: Critical Initialization of Wide and Deep Neural Networks through Partial Jacobians: General Theory and Applications

abstract: Deep neural networks are notorious for defying theoretical treatment. However, when the number of parameters in each layer tends to infinity, the network function is a Gaussian process (GP) and quantitatively predictive description is possible. Gaussian approximation allows one to formulate criteria for selecting hyperparameters, such as variances of weights and biases, as well as the learning rate. These criteria rely on the notion of criticality defined for deep neural networks. In this work we describe a new practical way to diagnose criticality. We introduce \emph{partial Jacobians} of a network, defined as derivatives of preactivations in layer $l$ with respect to preactivations in layer $l_0\leq l$. We derive recurrence relations for the norms of partial Jacobians and utilize these relations to analyze criticality of deep fully connected neural networks with LayerNorm and/or residual connections. We derive and implement a simple and cheap numerical test that allows one to select optimal initialization for a broad class of deep neural networks; containing fully connected, convolutional and normalization layers. Using these tools we show quantitatively that proper stacking of the LayerNorm (applied to preactivations) and residual connections leads to an architecture that is critical for any initialization. Finally, we apply our methods to analyze ResNet and MLP-Mixer architectures; demonstrating the everywhere-critical regime.


title: Mimicking Playstyle by Adapting Parameterized Behavior Trees in RTS Games

abstract: The discovery of Behavior Trees (BTs) impacted the field of Artificial Intelligence (AI) in games, by providing flexible and natural representation of non-player characters (NPCs) logic, manageable by game-designers. Nevertheless, increased pressure on ever better NPCs AI-agents forced complexity of handcrafted BTs to became barely-tractable and error-prone. On the other hand, while many just-launched on-line games suffer from player-shortage, the existence of AI with a broad-range of capabilities could increase players retention. Therefore, to handle above challenges, recent trends in the field focused on automatic creation of AI-agents: from deep- and reinforcementlearning techniques to combinatorial (constrained) optimization and evolution of BTs. In this paper, we present a novel approach to semi-automatic construction of AI-agents, that mimic and generalize given human gameplays by adapting and tuning of expert-created BT under a developed similarity metric between source and BT gameplays. To this end, we formulated mixed discrete-continuous optimization problem, in which topological and functional changes of the BT are reflected in numerical variables, and constructed a dedicated hybrid-metaheuristic. The performance of presented approach was verified experimentally in a prototype real-time strategy game. Carried out experiments confirmed efficiency and perspectives of presented approach, which is going to be applied in a commercial game.


title: Nonlinear Multi-Objective Flux Balance Analysis of the Warburg Effect

abstract: Due to its implication in cancer treatment, the Warburg Effect has received extensive in silico investigation. Flux Balance Analysis (FBA), based on constrained optimization, was successfully applied in the Warburg Effect modelling. Yet, the assumption that cell types have one invariant cellular objective severely limits the applicability of the previous FBA models. Meanwhile, we note that cell types with different objectives show different extents of the Warburg Effect. To extend the applicability of the previous model and model the disparate cellular pathway preferences in different cell types, we built a Nonlinear Multi-Objective FBA (NLMOFBA) model by including three key objective terms (ATP production rate, lactate generation rate and ATP yield) into one objective function through linear scalarization. By constructing a cellular objective map and iteratively varying the objective weights, we showed disparate cellular pathway preferences manifested by different cell types driven by their unique cellular objectives, and we gained insights about the causal relationship between cellular objectives and the Warburg Effect. In addition, we obtained other biologically consistent results by using our NLMOFBA model. For example, augmented with the constraint associated with inefficient mitochondria function or limited substrate, NLMOFBA predicts cellular pathways supported by the biology literature. Collectively, NLMOFBA can help build a complete understanding towards the Warburg Effect in different cell types.


title: Sharing to learn and learning to share; Fitting together Meta-Learning, Multi-Task Learning, and Transfer Learning: A meta review

abstract: Integrating knowledge across different domains is an essential feature of human learning. Learning paradigms such as transfer learning, meta learning, and multi-task learning reflect the human learning process by exploiting the prior knowledge for new tasks, encouraging faster learning and good generalization for new tasks. This article gives a detailed view of these learning paradigms and their comparative analysis. The weakness of one learning algorithm turns out to be a strength of another, and thus, merging them is a prevalent trait in the literature. Numerous research papers focus on each of these learning paradigms separately and provide a comprehensive overview of them. However, this article reviews research studies that combine (two of) these learning algorithms. This survey describes how these techniques are combined to solve problems in many different fields of research, including computer vision, natural language processing, hyper-spectral imaging, and many more, in a supervised setting only. Based on the knowledge accumulated from the literature, we hypothesize a generic task-agnostic and model-agnostic learning network - an ensemble of meta learning, transfer learning, and multi-task learning, termed Multi-modal Multi-task Meta Transfer Learning. We also present some open research questions, limitations, and future research directions for this proposed network. The aim of this article is to spark interest among scholars in effectively merging existing learning algorithms with the intention of advancing research in this field. Instead of presenting experimental results, we invite readers to explore and contemplate techniques for merging algorithms while navigating through their limitations.


title: kmclib: Automated Inference and Verification of Session Types

abstract: Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing. These guarantees usually come at the cost of an intrinsically top-down approach, which requires the communication behaviour of the entire program to be specified as a global type. This paper introduces kmclib: an OCaml library that supports the development of correct message-passing programs without having to write any types. The library utilises the meta-programming facilities of OCaml to automatically infer the session types of concurrent programs and verify their compatibility (k-MC). Well-typed programs, written with kmclib, do not lead to communication errors and cannot get stuck.


title: Machine Learning Based Forward Solver: An Automatic Framework in gprMax

abstract: General full-wave electromagnetic solvers, such as those utilizing the finite-difference time-domain (FDTD) method, are computationally demanding for simulating practical GPR problems. We explore the performance of a near-real-time, forward modeling approach for GPR that is based on a machine learning (ML) architecture. To ease the process, we have developed a framework that is capable of generating these ML-based forward solvers automatically. The framework uses an innovative training method that combines a predictive dimensionality reduction technique and a large data set of modeled GPR responses from our FDTD simulation software, gprMax. The forward solver is parameterized for a specific GPR application, but the framework can be extended in a straightforward manner to different electromagnetic problems.


title: Binned multinomial logistic regression for integrative cell type annotation

abstract: Categorizing individual cells into one of many known cell type categories, also known as cell type annotation, is a critical step in the analysis of single-cell genomics data. The current process of annotation is time-intensive and subjective, which has led to different studies describing cell types with labels of varying degrees of resolution. While supervised learning approaches have provided automated solutions to annotation, there remains a significant challenge in fitting a unified model for multiple datasets with inconsistent labels. In this article, we propose a new multinomial logistic regression estimator which can be used to model cell type probabilities by integrating multiple datasets with labels of varying resolution. To compute our estimator, we solve a nonconvex optimization problem using a blockwise proximal gradient descent algorithm. We show through simulation studies that our approach estimates cell type probabilities more accurately than competitors in a wide variety of scenarios. We apply our method to ten single-cell RNA-seq datasets and demonstrate its utility in predicting fine resolution cell type labels on unlabeled data as well as refining cell type labels on data with existing coarse resolution annotations. An R package implementing the method is available at https://github.com/keshav-motwani/IBMR and the collection of datasets we analyze is available at https://github.com/keshav-motwani/AnnotatedPBMC.


title: Jointly Learning from Decentralized (Federated) and Centralized Data to Mitigate Distribution Shift

abstract: With privacy as a motivation, Federated Learning (FL) is an increasingly used paradigm where learning takes place collectively on edge devices, each with a cache of user-generated training examples that remain resident on the local device. These on-device training examples are gathered in situ during the course of users' interactions with their devices, and thus are highly reflective of at least part of the inference data distribution. Yet a distribution shift may still exist; the on-device training examples may lack for some data inputs expected to be encountered at inference time. This paper proposes a way to mitigate this shift: selective usage of datacenter data, mixed in with FL. By mixing decentralized (federated) and centralized (datacenter) data, we can form an effective training data distribution that better matches the inference data distribution, resulting in more useful models while still meeting the private training data access constraints imposed by FL.


title: Best Arm Identification with Safety Constraints

abstract: The best arm identification problem in the multi-armed bandit setting is an excellent model of many real-world decision-making problems, yet it fails to capture the fact that in the real-world, safety constraints often must be met while learning. In this work we study the question of best-arm identification in safety-critical settings, where the goal of the agent is to find the best safe option out of many, while exploring in a way that guarantees certain, initially unknown safety constraints are met. We first analyze this problem in the setting where the reward and safety constraint takes a linear structure, and show nearly matching upper and lower bounds. We then analyze a much more general version of the problem where we only assume the reward and safety constraint can be modeled by monotonic functions, and propose an algorithm in this setting which is guaranteed to learn safely. We conclude with experimental results demonstrating the effectiveness of our approaches in scenarios such as safely identifying the best drug out of many in order to treat an illness.


title: No evidence for a strong decrease of planetesimal accretion in old white dwarfs

abstract: A large fraction of white dwarfs are accreting or have recently accreted rocky material from their planetary systems, thereby polluting their atmospheres with elements heavier than helium. In recent years, the quest for mechanisms that can deliver planetesimals to the immediate vicinity of their central white dwarfs has stimulated a flurry of modelling efforts. The observed time evolution of the accretion rates of white dwarfs through their multi-Gyr lifetime is a crucial test for dynamical models of evolved planetary systems. Recent studies of cool white dwarfs samples have identified a significant decrease of the mass accretion rates of cool, old white dwarfs over Gyr timescales. Here, we revisit those results using updated white dwarf models and larger samples of old polluted H- and He-atmosphere white dwarfs. We find no compelling evidence for a strong decrease of their time-averaged mass accretion rates for cooling times between 1 and 8 Gyrs. Over this period, the mass accretion rates decrease by no more than a factor of the order of 10, which is one order of magnitude smaller than the decay rate found in recent works. Our results require mechanisms that can efficiently and consistently deliver planetesimals inside the Roche radius of white dwarfs over at least 8 Gyrs.