title: Structure-consistent Restoration Network for Cataract Fundus Image Enhancement

abstract: Fundus photography is a routine examination in clinics to diagnose and monitor ocular diseases. However, for cataract patients, the fundus image always suffers quality degradation caused by the clouding lens. The degradation prevents reliable diagnosis by ophthalmologists or computer-aided systems. To improve the certainty in clinical diagnosis, restoration algorithms have been proposed to enhance the quality of fundus images. Unfortunately, challenges remain in the deployment of these algorithms, such as collecting sufficient training data and preserving retinal structures. In this paper, to circumvent the strict deployment requirement, a structure-consistent restoration network (SCR-Net) for cataract fundus images is developed from synthesized data that shares an identical structure. A cataract simulation model is firstly designed to collect synthesized cataract sets (SCS) formed by cataract fundus images sharing identical structures. Then high-frequency components (HFCs) are extracted from the SCS to constrain structure consistency such that the structure preservation in SCR-Net is enforced. The experiments demonstrate the effectiveness of SCR-Net in the comparison with state-of-the-art methods and the follow-up clinical applications. The code is available at https://github.com/liamheng/ArcNet-Medical-Image-Enhancement.


title: Predictive Exit: Prediction of Fine-Grained Early Exits for Computation- and Energy-Efficient Inference

abstract: By adding exiting layers to the deep learning networks, early exit can terminate the inference earlier with accurate results. The passive decision-making of whether to exit or continue the next layer has to go through every pre-placed exiting layer until it exits. In addition, it is also hard to adjust the configurations of the computing platforms alongside the inference proceeds. By incorporating a low-cost prediction engine, we propose a Predictive Exit framework for computation- and energy-efficient deep learning applications. Predictive Exit can forecast where the network will exit (i.e., establish the number of remaining layers to finish the inference), which effectively reduces the network computation cost by exiting on time without running every pre-placed exiting layer. Moreover, according to the number of remaining layers, proper computing configurations (i.e., frequency and voltage) are selected to execute the network to further save energy. Extensive experimental results demonstrate that Predictive Exit achieves up to 96.2% computation reduction and 72.9% energy-saving compared with classic deep learning networks; and 12.8% computation reduction and 37.6% energy-saving compared with the early exit under state-of-the-art exiting strategies, given the same inference accuracy and latency.


title: Unsupervised Deep Discriminant Analysis Based Clustering

abstract: This work presents an unsupervised deep discriminant analysis for clustering. The method is based on deep neural networks and aims to minimize the intra-cluster discrepancy and maximize the inter-cluster discrepancy in an unsupervised manner. The method is able to project the data into a nonlinear low-dimensional latent space with compact and distinct distribution patterns such that the data clusters can be effectively identified. We further provide an extension of the method such that available graph information can be effectively exploited to improve the clustering performance. Extensive numerical results on image and non-image data with or without graph information demonstrate the effectiveness of the proposed methods.


title: Swan: A Neural Engine for Efficient DNN Training on Smartphone SoCs

abstract: The need to train DNN models on end-user devices (e.g., smartphones) is increasing with the need to improve data privacy and reduce communication overheads. Unlike datacenter servers with powerful CPUs and GPUs, modern smartphones consist of a diverse collection of specialized cores following a system-on-a-chip (SoC) architecture that together perform a variety of tasks. We observe that training DNNs on a smartphone SoC without carefully considering its resource constraints can not only lead to suboptimal training performance but significantly affect user experience as well. In this paper, we present Swan, a neural engine to optimize DNN training on smartphone SoCs without hurting user experience. Extensive large-scale evaluations show that Swan can improve performance by 1.2 - 23.3x over the state-of-the-art.


title: A New Frontier of AI: On-Device AI Training and Personalization

abstract: Modern consumer electronic devices have started executing deep learning-based intelligence services on devices, not cloud servers, to keep personal data on devices and to reduce network and cloud costs. We find such a trend as the opportunity to personalize intelligence services by updating neural networks with user data without exposing the data out of devices: on-device training. However, the limited resources of devices incurs significant difficulties. We propose a light-weight on-device training framework, NNTrainer, which provides highly memory-efficient neural network training techniques and proactive swapping based on fine-grained execution order analysis for neural networks. Moreover, its optimizations do not sacrifice accuracy and are transparent to training algorithms; thus, prior algorithmic studies may be implemented on top of NNTrainer. The evaluations show that NNTrainer can reduce memory consumption down to 1/20 (saving 95%!) and effectively personalizes intelligence services on devices. NNTrainer is cross-platform and practical open-source software, which is being deployed to millions of mobile devices.


title: AI-based Clinical Assessment of Optic Nerve Head Robustness Superseding Biomechanical Testing

abstract: $\mathbf{Purpose}$: To use artificial intelligence (AI) to: (1) exploit biomechanical knowledge of the optic nerve head (ONH) from a relatively large population; (2) assess ONH robustness from a single optical coherence tomography (OCT) scan of the ONH; (3) identify what critical three-dimensional (3D) structural features make a given ONH robust. $\mathbf{Design}$: Retrospective cross-sectional study. $\mathbf{Methods}$: 316 subjects had their ONHs imaged with OCT before and after acute intraocular pressure (IOP) elevation through ophthalmo-dynamometry. IOP-induced lamina-cribrosa deformations were then mapped in 3D and used to classify ONHs. Those with LC deformations superior to 4% were considered fragile, while those with deformations inferior to 4% robust. Learning from these data, we compared three AI algorithms to predict ONH robustness strictly from a baseline (undeformed) OCT volume: (1) a random forest classifier; (2) an autoencoder; and (3) a dynamic graph CNN (DGCNN). The latter algorithm also allowed us to identify what critical 3D structural features make a given ONH robust. $\mathbf{Results}$: All 3 methods were able to predict ONH robustness from 3D structural information alone and without the need to perform biomechanical testing. The DGCNN (area under the receiver operating curve [AUC]: 0.76 $\pm$ 0.08) outperformed the autoencoder (AUC: 0.70 $\pm$ 0.07) and the random forest classifier (AUC: 0.69 $\pm$ 0.05). Interestingly, to assess ONH robustness, the DGCNN mainly used information from the scleral canal and the LC insertion sites. $\mathbf{Conclusions}$: We propose an AI-driven approach that can assess the robustness of a given ONH solely from a single OCT scan of the ONH, and without the need to perform biomechanical testing. Longitudinal studies should establish whether ONH robustness could help us identify fast visual field loss progressors.


title: Gaussian upper bounds for heat kernels on graphs with unbounded geometry

abstract: We prove large-time Gaussian upper bounds for continuous-time heat kernels of Laplacians on graphs with unbounded geometry. Our estimates hold for centers of large balls satisfying a Sobolev inequality and volume doubling. Distances are measured with respect to an intrinsic metric with finite distance balls and finite jump size. The Gaussian decay is given by Davies' function which is natural and sharp in the graph setting. Furthermore, we find a new polynomial correction term which does not blow up at zero. Although our main focus is unbounded Laplacians, the results are new even for the normalized Laplacian. In the case of unbounded vertex degree or degenerating measure, the estimates are affected by new error terms reflecting the unboundedness of the geometry.


title: Leptogenesis triggered by a first-order phase transition

abstract: We propose a new scenario of leptogenesis, which is triggered by a first-order phase transition (FOPT). The right-handed neutrinos (RHNs) are massless in the old vacuum, while they acquire a mass in the new vacuum bubbles, and the mass gap is huge compared with the FOPT temperature. The ultra-relativistic bubble walls sweep the RHNs into the bubbles, where the RHNs experience fast decay and generate the lepton asymmetry, which is further converted to the baryon asymmetry of the Universe (BAU). Since the RHNs are out of equilibrium inside the bubble, the generated BAU does not suffer from the thermal bath washout. We first discuss the general feature of such a FOPT leptogenesis mechanism, and then realize it in an extended $B-L$ model. The gravitational waves from $U(1)_{B-L}$ breaking could be detected at the future interferometers.


title: Lessons from the Magellanic System and its modeling

abstract: The prominent Magellanic Stream that dominates the HI sky provides a tantalizing number of observations that potentially constrains the Magellanic Clouds and the Milky Way outskirts. Here we show that the 'ram-pressure plus collision' model naturally explain these properties, and is able to predict some of the most recent observations made after the model was made. These include the complexity of the stellar populations in the Magellanic Bridge, for which kinematics, ages, and distances are well measured, and the North Tidal Arm, for which the model predicts its formation from the Milky Way tidal forces. It appears that this over-constrained model provides a good path to investigate the Stream properties. This contrasts with tidal models that reproduce only half of the Stream's main properties, in particular a tidal tail cannot reproduce the observed inter-twisted filaments, and its gas content is not sufficiently massive to provide the large amount of HI and HII gas associated to the Stream. Despite the efforts made to reproduce the large amounts of gas brought by the Clouds, it seems that no viable solution for the tidal model could be foreseen. Since the 'ram-pressure plus collision' model has not succeeded for a Large Magellanic Cloud mass above 2 $\times10^{10}$ $M_{\odot}$, we conjecture that a low mass is required to form the Stream.


title: Morphological decomposition of TNG50 galaxies: methodology and catalogue

abstract: We present MORDOR (MORphological DecOmposeR, a new algorithm for structural decomposition of simulated galaxies based on stellar kinematics. The code measures the properties of up to five structural components (a thin/cold and a thick/warm disc, a classical and a secular bulge, and a spherical stellar halo), and determines the properties of a stellar bar (if present). A comparison with other algorithms presented in the literature yields overall good agreement, with MORDOR displaying a higher flexibility in correctly decomposing systems and identifying bars in crowded environments (e.g. with ongoing fly-bys, often observable in cosmological simulations). We use MORDOR to analyse galaxies in the TNG50 simulation and find the following: ($i$) the thick disc component undergoes the strongest evolution in the binding energy-circularity plane, as expected when disc galaxies decrease their turbulent-rotational support with cosmic time; ($ii$) smaller galaxies (with stellar mass, $10^{9} \lesssim M_{*} / {\rm M_{\odot}} \leq 5 \times 10^{9}$) undergo a major growth in their disc components after $z\sim 1$, whereas ($iii$) the most massive galaxies ($5 \times 10^{10} < M_{*} / {\rm M_{\odot}} \leq 5\times10^{11}$) evolve toward more spheroidal dominated objects down to $z=0$ due to frequent gravitational interactions with satellites; ($iv$) the fraction of barred galaxies grows rapidly at high redshift and stabilizes below $z\sim 2$, except for the most massive galaxies that show a decrease in the bar occupation fraction at low redshift; ($v$) galaxies with $M_{*} \sim 10^{11}~{\rm M_{\odot}}$ exhibit the highest relative occurrence of bars at $z=0$, in agreement with observational studies. We publicly release MORDOR and the morphological catalogue of TNG50 galaxies.


title: Recursion Relations for One-Loop Goldstone Boson Amplitudes

abstract: In this letter, we construct the recursion relations for one-loop planar integrands in the SU(N) non-linear sigma model. This generalizes the soft recursions for tree-level amplitudes in a variety of quantum field theories with special soft limits. The main ingredient is the definition of the one-loop planar integrand, which is fixed by cuts in the sense of generalized unitarity and by requiring the Adler zero on all external legs. We show that this does not uniquely fix the integrand, so additional constraints on the soft behavior of the loop momentum have to be imposed. Our work is the first step in extending modern amplitudes methods for loop amplitudes to effective field theories with special soft limits.


title: Jackiw-Teitelboim Gravity from the Karch-Randall Braneworld

abstract: In this letter, we show that Jackiw-Teitelboim (JT) gravity can be naturally realized in the Karch-Randall braneworld. Notably the role of the dilaton in JT gravity is played by the radion in a suitably orbifolded version of the setup. In the classical entanglement entropy calculation, there is an apparent degeneracy of Ryu-Takayanagi surfaces. We demonstrate how quantum fluctuations of the radion/dilaton resolves this would-be classical puzzle regarding entanglement wedge reconstruction.


title: STRIDES: Automated uniform models for 30 quadruply imaged quasars

abstract: Gravitational time delays provide a powerful one step measurement of $H_0$, independent of all other probes. One key ingredient in time delay cosmography are high accuracy lens models. Those are currently expensive to obtain, both, in terms of computing and investigator time (10$^{5-6}$ CPU hours and $\sim$ 0.5-1 year, respectively). Major improvements in modeling speed are therefore necessary to exploit the large number of lenses that are forecast to be discovered over the current decade. In order to bypass this roadblock, building on the work by Shajib et al. (2019), we develop an automated modeling pipeline and apply it to a sample of 30 quadruply imaged quasars and one lensed compact galaxy, observed by the Hubble Space Telescope in multiple bands. Our automated pipeline can derive models for 30/31 lenses with few hours of human time and <100 CPU hours of computing time for a typical system. For each lens, we provide measurements of key parameters and predictions of magnification as well as time delays for the multiple images. We characterize the cosmography-readiness of our models using the stability of differences in Fermat potential (proportional to time delay) w.r.t. modeling choices. We find that for 10/30 lenses our models are cosmography or nearly cosmography grade (<3% and 3-5% variations). For 6/30 lenses the models are close to cosmography grade (5-10%). These results are based on informative priors and will need to be confirmed by further analysis. However, they are also likely to improve by extending the pipeline modeling sequence and options. In conclusion, we show that uniform cosmography grade modeling of large strong lens samples is within reach.


title: The thermal and non-thermal components within and between galaxy clusters Abell 399 and Abell 401

abstract: We measure the local correlation between radio emission and Compton-$y$ signal across two galaxy clusters, Abell~399 and Abell~401, using maps from the Low-Frequency Array (LOFAR) and the Atacama Cosmology Telescope (ACT) + \Planck. These datasets allow us to make the first measurement of this kind at $\sim$arcminute resolution. We find that the radio brightness scales as $F_{\mathrm{radio}} \propto y^{1.5}$ for Abell~401 and $F_{\mathrm{radio}} \propto y^{2.8}$ for Abell~399. Furthermore, using \XMM data, we derive a sublinear correlation between radio and X-ray brightness for both the clusters ($F_{\mathrm{radio}} \propto F_{\rm X}^{0.7}$). Finally, we correlate the Compton-$y$ and X-ray data, finding that an isothermal model is consistent with the cluster profiles, $y \propto F_{\rm X}^{0.5}$. By adopting an isothermal--$\beta$ model, we are able, for the first time, to jointly use radio, X-ray, and Compton-$y$ data to estimate the scaling index for the magnetic field profile, $B(r) \propto n_{\mathrm{e}}(r)^{\eta}$ in the injection and re-acceleration scenarios. Applying this model, we find that the combined radio and Compton-$y$ signal exhibits a significantly tighter correlation with the X-ray across the clusters than when the datasets are independently correlated. We find $\eta \sim 0.6{-}0.8$. These results are consistent with the upper limit we derive for the scaling index of the magnetic field using rotation measure values for two radio galaxies in Abell~401. We also measure the radio, Compton-$y$, and X-ray correlations in the filament between the clusters but conclude that deeper data are required for a convincing determination of the correlations in the filament.


title: Quasi--Periodic Eruptions from Galaxy Nuclei

abstract: I consider quasi--periodic eruptions (QPEs) from galaxy nuclei. All the known cases fit naturally into a picture of accretion from white dwarfs (WDs) in highly eccentric orbits about the central black holes which decay through gravitational wave emission. I argue that ESO 243-39 HLX--1 is a QPE source at an earlier stages of this evolution, with correspondingly a longer period, more extreme eccentricity, and significantly more massive WD donor. I show explicitly that mass transfer in QPE systems is always highly stable, despite recent claims to the contrary in the literature. This stability may explain the alternating long--short eruptions seen in some QPE sources. As the WD orbit decays, the eruptions occupy larger fractions of the orbit and become brighter, making searches for quasi--periodicities in bright low--mass galaxy nuclei potentially fruitful.


title: Pulsars Do Not Produce Sharp Features in the Cosmic-Ray Electron and Positron Spectra

abstract: Pulsars are considered to be the leading explanation for the excess in cosmic-ray positrons detected by PAMELA and AMS-02. A notable feature of standard pulsar models is the sharp spectral cutoff produced by the increasingly efficient cooling of very-high-energy electrons by synchrotron and inverse-Compton processes. This spectral break has been employed to: (1) constrain the age of pulsars that contribute to the excess, (2) argue that a large number of pulsars must significantly contribute to the positron flux, and (3) argue that spectral cutoffs cannot distinguish between dark matter and pulsar models. We prove that this spectral feature does not exist -- it appears due to approximations that treat inverse-Compton scattering as a continuous, instead of as a discrete and catastrophic, energy-loss process. Astrophysical sources do not produce sharp spectral features via cooling, reopening the possibility that such a feature would provide incontrovertible evidence for dark matter.


title: The Morpho-Kinematic Architecture of Super Star Clusters in the Center of NGC253

abstract: The center of the nearby galaxy NGC\,253 hosts a population of more than a dozen super star clusters (SSCs) which are still in the process of forming. The majority of the star formation of the burst is concentrated in these SSCs, and the starburst is powering a multiphase outflow from the galaxy. In this work, we measure the 350~GHz dust continuum emission towards the center of NGC\,253 at 47~milliarcsecond (0.8 pc) resolution using data from the Atacama Large Millimeter/submillimeter Array (ALMA). We report the detection of 350~GHz (dust) continuum emission in the outflow for the first time, associated with the prominent South-West streamer. In this feature, the dust emission has a width of $\approx$~8~pc, is located at the outer edge of the CO emission, and corresponds to a molecular gas mass of $\sim~(8-17)\times10^6$~M$_\odot$. In the starburst nucleus, we measure the resolved radial profiles, sizes, and molecular gas masses of the SSCs. Compared to previous work at somewhat lower spatial resolution, the SSCs here break apart into smaller substructures with radii $0.4-0.7$~pc. In projection, the SSCs, dust, and dense molecular gas appear to be arranged as a thin, almost linear, structure roughly 155~pc in length. The morphology and kinematics of this structure can be well explained as gas following $x_2$ orbits at the center of a barred potential. We constrain the morpho-kinematic arrangement of the SSCs themselves, finding that an elliptical, angular momentum-conserving ring is a good description of the both morphology and kinematics of the SSCs.


title: Efficient tensor network simulation of quantum many-body physics on sparse graphs

abstract: We study tensor network states defined on an underlying graph which is sparsely connected. Generic sparse graphs are expander graphs with a high probability, and one can represent volume law entangled states efficiently with only polynomial resources. We find that message-passing inference algorithms such as belief propagation can lead to efficient computation of local expectation values for a class of tensor network states defined on sparse graphs. As applications, we study local properties of square root states, graph states, and also employ this method to variationally prepare ground states of gapped Hamiltonians defined on generic graphs. Using the variational method we study the phase diagram of the transverse field quantum Ising model defined on sparse expander graphs.


title: No Evolution in the Half-mass Radius of Milky Way-type Galaxies over the Last 10 Gyr

abstract: The Milky Way (MW) galaxy is in focus, thanks to new observational data. Here we shed new light on the MW's past by studying the structural evolution of MW progenitors, which we identify from extragalactic surveys. Specifically, we constrain the stellar-mass growth history (SMGH) of the MW with two methods: ($i$) direct measurement of the MW's star formation history, and ($ii$) assuming the MW is a typical star-forming galaxy that remains on the star-forming main sequence. We select MW progenitors based on these two SMGHs at $z=0.2-2.0$ from the CANDELS/3D-HST data. We estimate the structural parameters (including half-mass radius $r_{50}$ and S\'ersic index) from the stellar-mass profiles. Our key finding is that the progenitors of the MW galaxy grow self-similarly on spatially resolved scales with roughly a constant half-mass radius ($\sim2-3$ kpc) over the past 10 Gyr, while their stellar masses increase by about 1 dex, implying little-to-no inside-out growth. We discover that the radius containing $20\%$ of the stellar mass ($r_{20}$) decreases by $60\%$ between redshifts of $z=2.0$ and $z=0.7$, while the central stellar-mass density ($\Sigma_1$) increases by a factor of 1.3 dex over the same time and the S\'ersic index changes as $n\propto(1+z)^{-1.41\pm0.19}$. This is consistent with an early ($z>1$) formation of a thick disk, followed by the formation of a bar that led to an increase in the mass in the core. The formation and evolution of the thin disk had only little impact on the overall half-mass size. We also show that the constant-size evolution of the MW progenitors challenges semiempirical approaches and numerical simulations.


title: Dynamical star forming history of Per OB2

abstract: We analyze the internal dynamics of young stars towards Perseus using Gaia EDR3 data, including Per OB2 and California Cloud. Interpreting the current dynamics, we speculate that Per OB2 may have formed from two separate clouds that have begun forming stars in a close proximity of each other. IC 348 is caught in the middle between the two of them, inheriting kinematics of both, and it stands out as a possible site of cloud cloud interaction. We also consider a possibility of a past supernova in Per OB2 - while one had likely occurred, it did not appear to have caused any obvious triggered star formation, but it has created a shock which has swept away the molecular gas away from IC 348. Finally, we examine a recently proposed shell between Taurus and Perseus. While its origin is unknown, we find no support for an expanding bubble in stellar kinematics, nor can we identify a likely progenitor for a supernova that may have caused it, disfavoring this scenario in the formation of this apparent shell.


title: Quantum-well states at the surface of the heavy-fermion superconductor URu$_2$Si$_2$

abstract: Electrons can form a two-dimensional electron gas at metal surfaces, where lateral confinement leads to quantum-well states. Such states have been observed for highly itinerant electrons, but it remains an open question whether quantum-well states can be formed from strongly correlated electrons. Here we study atomically flat terraces on surfaces of the heavy-fermion superconductor URu$_2$Si$_2$ using millikelvin scanning tunneling spectroscopy. We observe two-dimensional heavy fermions (2DHF) with an effective mass 17 times the free electron mass that form quantized states separated by a fraction of a meV. Superconductivity at the surface is induced by the bulk into the 2DHF. Our results provide a new route to realize quantum well states in correlated quantum materials.


title: Dynamical Modelling and Emission Signatures of a Candidate Dual AGN with Precessing Radio Jets

abstract: In this paper, we have modelled the dynamical and emission properties (in the presence of radiative losses and diffusive shock acceleration) of an observed S-shaped radio source (2MASX J12032061+131931) due to a precessing jet. In this regard, we have performed high-resolution 3D magnetohydrodynamic (MHD) simulations of a precessing jet in a galactic environment. We show the appearance of a distinct S-shape with two bright hotspots when the bow shock region weakens over time. The formed morphology is sensitive to the parameter selections. The increased interaction between the helical jet and the ambient medium and the deceleration of the jet due to MHD instabilities also greatly affect the resulting structure. Hence, kinematic models must be corrected for these deceleration effects in order to adequately predict the precession parameters. The synthetic spectral index map shows that the jet side and leading edges possess relatively steeper spectral index values than the jet ridge lines, whereas the hotspots show flat spectral index values. The jets are also found to be highly linearly polarized (up to 76%) and the magnetic field lines, in general, follow the jet locus which is formed due to the jet-ambient medium interaction. Diffusive shocks, in this context, keep the structure active during its course of evolution. Furthermore, we have demonstrated that these galaxies deviate significantly from the equipartition approximation leading to a discrepancy in their spectral and dynamical age.


title: Seeking Self-Regulating Simulations of Idealized Milky Way-Like Galaxies

abstract: Precipitation is potentially a mechanism through which the circumgalactic medium (CGM) can regulate a galaxy's star formation. Here we present idealized simulations of isolated Milky Way-like galaxies intended to examine the ability of galaxies to self-regulate their star formation, particularly via precipitation. Our simulations are the first CGM-focused idealized models to include stellar feedback due to the explicit formation of stars. We also examine the impact of rotation in the CGM. Using six simulations, we explore variations in the initial CGM $t_{\rm cool}/t_{\rm ff}$ ratio and rotation profile. Those variations affect the amount of star formation and gas accretion within the galactic disk. Our simulations are sensitive to their initial conditions, requiring us to gradually increase the efficiency of stellar feedback to avoid destroying the CGM before its gas can be accreted. Despite this gradual increase, the resulting outflows still evacuate large, hot cavities within the CGM and even beyond $r_{200}$. Some of the CGM gas avoids interacting with the cavities and is able to feed the disk along its midplane, but the cooling of feedback-heated gas far from the midplane is too slow to supply the disk with additional gas. Our simulations illustrate the importance of physical mechanisms in the outer CGM and IGM for star formation regulation in Milky Way-scale halos.


title: Aging of galaxies along the morphological sequence, marked by bulge growth and disk quenching

abstract: We revisit the color bimodality of galaxies using the extensive EFIGI morphological classification of nearby galaxies. The galaxy SDSS images in the g, r and i bands are decomposed as bulge+disk using SourceXtractor++. The spectral energy distributions made of our gri photometry complemented with GALEX NUV are fitted with ZPEG in order to estimate the stellar masses and specific star formations rates (sSFR) of whole galaxies as well as their bulge and disk components. The absolute NUV-r color versus stellar mass diagram shows a continuous relationship between the present sSFR of galaxies and their stellar mass, that spans all morphological types of the Hubble sequence. Irregular galaxies to Sab spirals make up the Blue Cloud, the Green Plain (formerly Valley) is made up of early-type spirals (S0a-Sa) while the Red Sequence contains all lenticular and elliptical galaxies, with systematically higher masses for the ellipticals. Galaxies across the Green Plain undergo a marked growth by a factor 2 to 3 in their bulge-to-total mass ratio and a systematic profile change from pseudo to classical bulges, as well as a significant reddening interpreted as star formation fading in their disks. Therefore, the Green Plain is a transition region, and we exclude a predominantly quick transit due to rapid quenching. We suggest that tracers of increased star formation (bright HII regions, spiral arms, flocculence) determine the limited scatter of the Main Sequence of star-forming galaxies. The high frequency of bars for all spirals as well as the stronger spiral arms and flocculence in the knee of the Green Plain suggest that internal dynamics, likely triggered by flybys or mergers, may be the key to the bulge growth of massive disk galaxies, marker of the aging of galaxies from star forming to quiescence. The Hubble sequence can then be considered as an inverse sequence of galaxy physical evolution.


title: Effective Theory of Warped Compactifications and the Implications for KKLT

abstract: We argue that effective actions for warped compactifications can be subtle, with large deviations in the effective potential from naive expectations owing to constraint equations from the higher-dimensional metric. We demonstrate this deviation in a careful computation of the effective potential for the conifold deformation parameter of the Klebanov-Strassler solution. The uncorrected naive effective potential for the conifold was previously used to argue that the Klebanov-Strassler background would be destabilized by antibranes placed at the conifold infrared tip unless the flux was uncomfortably large. We show this result is too strong because the formerly neglected constraint equations eliminate the features of the potential that allowed for the instability in the de Sitter uplift of the KKLT scenario.


title: EMPRESS. IX. Extremely Metal-Poor Galaxies are Very Gas-Rich Dispersion-Dominated Systems: Will JWST Witness Gaseous Turbulent High-z Primordial Galaxies?

abstract: We present kinematics of 6 local extremely metal-poor galaxies (EMPGs) with low metallicities ($0.016-0.098\ Z_{\odot}$) and low stellar masses ($10^{4.7}-10^{7.6} M_{\odot}$). Taking deep medium-high resolution ($R\sim7500$) integral-field spectra with 8.2-m Subaru, we resolve the small inner velocity gradients and dispersions of the EMPGs with H$\alpha$ emission. Carefully masking out sub-structures originated by inflow and/or outflow, we fit 3-dimensional disk models to the observed H$\alpha$ flux, velocity, and velocity-dispersion maps. All the EMPGs show rotational velocities ($v_{\rm rot}$) of 5--23 km s$^{-1}$ smaller than the velocity dispersions ($\sigma_{0}$) of 17--31 km s$^{-1}$, indicating dispersion-dominated ($v_{\rm rot}/\sigma_{0}=0.29-0.80<1$) systems affected by inflow and/or outflow. Except for two EMPGs with large uncertainties, we find that the EMPGs have very large gas-mass fractions of $f_{\rm gas}\simeq 0.9-1.0$. Comparing our results with other H$\alpha$ kinematics studies, we find that $v_{\rm rot}/\sigma_{0}$ decreases and $f_{\rm gas}$ increases with decreasing metallicity, decreasing stellar mass, and increasing specific star-formation rate. We also find that simulated high-$z$ ($z\sim 7$) forming galaxies have gas fractions and dynamics similar to the observed EMPGs. Our EMPG observations and the simulations suggest that primordial galaxies are gas-rich dispersion-dominated systems, which would be identified by the forthcoming James Webb Space Telescope (JWST) observations at $z\sim 7$.


title: Discussion of Quantum Consensus Algorithms

abstract: Leader election is a crucial process in many areas such as cloud computing, distributed systems, task orchestration, and blockchain. Oftentimes, in a distributed system, the network needs to choose a leader, which would be responsible for synchronization between different processors, data storage, information distribution, and more.


title: Finite-Momentum Instability of Dynamical Axion Insulator

abstract: The chiral anomaly is a striking signature of quantum effects which lead to the non-conservation of a classically conserved current, specifically the chiral currents in systems of fermions. In condensed matter systems, the chiral anomaly can be realized in Weyl semimetals, which then exhibit a signature electromagnetic response associated to anomaly due to the separation of the Weyl points in momentum space. In the presence of strong interactions however, a Weyl semimetal phase can give rise to an ordered phase, and spontaneously break the chiral symmetry. This then leads to a Goldstone mode which can have intrinsic dynamics and fluctuations, leading to a dynamical chiral anomaly response -- a situation known as a dynamical axion insulator. Here we consider a simple model of this dynamical axion insulator and calculate the equations of motion for the Goldstone mode. Surprisingly, we find that the Goldstone mode appears to exhibit a negative phase stiffness, signalling a further instability of the system towards finite momentum. This is expected to lead to very strong fluctuations of the anomalous response. We suggest a long-wavelength theory of Lifschitz type which may govern the axion dynamics in this system and comment on possible signatures of this model.


title: Plane strain optimization of conductor and structure grading in the inner leg of a Tokamak toroidal field coil

abstract: I present the results of the analytic plane strain optimization of the structure and conductor grading in the inner leg of a Tokamak toroidal field coil. The coil is assumed to be made of regions of soft conductor inside a stiff grid of conduit. Calculus of variations is used to determine the optimal profile of this structure. The optimal solution is found to be two-layered. An outer layer is bucked only, not wedged, and the structure fraction is graded so that all structure is at a uniform stress. An inner layer is an advanced bucking cylinder, similar to a Florida Bitter plate, whose radial stiffness is tuned so that its azimuthal stress is uniform. Such an advanced bucking cylinder would require advanced manufacturing to fabricate. These results should be seen an upper limits rather than achievable performance. Concepts that arise from this optimization, such as selectively softening layers of the bucking cylinder by drilling or cutting, may be of use to real designs in a less-optimized form.


title: A Resilient Distributed Boosting Algorithm

abstract: Given a learning task where the data is distributed among several parties, communication is one of the fundamental resources which the parties would like to minimize. We present a distributed boosting algorithm which is resilient to a limited amount of noise. Our algorithm is similar to classical boosting algorithms, although it is equipped with a new component, inspired by Impagliazzo's hard-core lemma [Impagliazzo95], adding a robustness quality to the algorithm. We also complement this result by showing that resilience to any asymptotically larger noise is not achievable by a communication-efficient algorithm.


title: Discovery of Two Polars from a Crossmatch of ZTF and the SRG/eFEDS X-ray Catalog

abstract: Magnetic CVs are luminous Galactic X-ray sources but have been difficult to find in purely optical surveys due to their lack of outburst behavior. The eROSITA telescope aboard the Spektr-RG (SRG) mission is conducting an all-sky X-ray survey and recently released the public eROSITA Final Equatorial Depth Survey (eFEDS) catalog. We crossmatched the eFEDS catalog with photometry from the Zwicky Transient Facility (ZTF) and discovered two new magnetic cataclysmic variables (CVs). We obtained high-cadence optical photometry and phase-resolved spectroscopy for each magnetic CV candidate and found them both to be polars. Among the newly discovered magnetic CVs is ZTFJ0850+0443, an eclipsing polar with orbital period $P_\textrm{orb} = 1.72$ hr, white dwarf mass $M_\textrm{WD} = 0.81 \pm 0.08 M_\odot$ and accretion rate $\dot{M} \sim 10^{-11} M_\odot$/yr. We suggest that ZTFJ0850+0443 is a low magnetic field strength polar, with $B_\textrm{WD} \lesssim 10$ MG. We also discovered a non-eclipsing polar, ZTFJ0926+0105, with orbital period $P_\textrm{orb} = 1.48$ hr, magnetic field strength $B_\textrm{WD} \gtrsim 26$ MG, and accretion rate $\dot{M} \sim 10^{-12} M_\odot$/yr.


title: Right-handed sneutrino and gravitino multicomponent dark matter in light of neutrino detectors

abstract: We investigate the possibility that right-handed (RH) sneutrinos and gravitinos can coexist and explain the dark matter (DM) problem. We compare extensions of the minimal supersymmetric standard model (MSSM) and the next-to-MSSM (NMSSM) adding RH neutrinos superfields, with special emphasis on the latter. If the gravitino is the lightest supersymmetric particle (LSP) and the RH sneutrino the next-to-LSP (NLSP), the heavier particle decays to the former plus left-handed (LH) neutrinos through the mixing between the scalar partners of the LH and RH neutrinos. However, the interaction is suppressed by the Planck mass, and if the LH-RH sneutrino mixing parameter is small, $\ll O(10^{-2})$, a long-lived RH sneutrino NLSP is possible even surpassing the age of the Universe. As a byproduct, the NLSP to LSP decay produces monochromatic neutrinos in the ballpark of current and planned neutrino telescopes like Super-Kamiokande, IceCube and Antares that we use to set constraints and show prospects of detection. In the NMSSM+RHN, assuming a gluino mass parameter $M_3 = 3$ TeV we found the following lower limits for the gravitino mass $m_{3/2} \gtrsim 1-600$ GeV and the reheating temperature $T_R \gtrsim 10^5 - 3 \times 10^7$ GeV, for $m_{\tilde{\nu}_R} \sim 10-800$ GeV. If we take $M_3=10$ TeV, then the limits on $T_R$ are relaxed by one order of magnitude.


title: Gender and Robots: A Literature Review

abstract: Here, I ask what we can learn about how gender affects how people engage with robots. I review 46 empirical studies of social robots, published 2018 or earlier, which report on the gender of their participants or the perceived or intended gender of the robot, or both, and perform some analysis with respect to either participant or robot gender. From these studies, I find that robots are by default perceived as male, that robots absorb human gender stereotypes, and that men tend to engage with robots more than women. I highlight open questions about how such gender effects may be different in younger participants, and whether one should seek to match the gender of the robot to the gender of the participant to ensure positive interaction outcomes. I conclude by suggesting that future research should: include gender diverse participant pools, include non-binary participants, rely on self-identification for discerning gender rather than researcher perception, control for known covariates of gender, test for different study outcomes with respect to gender, and test whether the robot used was perceived as gendered by participants. I include an appendix with a narrative summary of gender-relevant findings from each of the 46 papers to aid in future literature reviews.


title: Analysis of the structural complexity of Crab Nebula observed at radio frequency using a multifractal approach

abstract: The Crab Nebula is an astrophysical system that exhibits complex morphological patterns at different observing frequencies. We carry out a systematic investigation of the structural complexity of the nebula using publicly available imaging data at radio frequency. For the analysis, we use the well-known multifractal detrended fluctuation analysis in two dimensions. We find that radio data exhibit long-range correlations, as expected from the underlying physics of the supernova explosion and evolution. The correlations follow a power-law scaling with length scales. The structural complexity is found to be multifractal in nature, as evidenced by the dependence of the generalized Hurst exponent on the order of the moments of the detrended fluctuation function. By repeating the analysis on shuffled data, we further probe the origin of the multifractality in the radio imaging data. For the radio data, we find that the probability density function is close to a Gaussian form. Hence, the multifractal behavior is due to the differing nature of long-range correlations of the large and small detrended fluctuation field values. We investigate the multifractal parameters across different partitions of the radio image and find that the structures across the image are highly heterogeneous, making the Crab Nebula a structurally complex astrophysical system. Our analysis thus provides a fresh perspective on the morphology of the Crab Nebula from a complexity science viewpoint.


title: Wing sweep effects on laminar separated flows

abstract: We reveal the effects of sweep on the wake dynamics around NACA 0015 wings at high angles of attack using direct numerical simulations and resolvent analysis. The influence of sweep on the wake dynamics is considered for sweep angles from $0^\circ$ to $45^\circ$ and angles of attack from $16^\circ$ to $30^\circ$ for a spanwise periodic wing at a chord-based Reynolds number of $400$ and a Mach number of $0.1$. Wing sweep affects the wake dynamics, especially in terms of stability and spanwise fluctuations with implications on the development of three-dimensional wakes. We observe that wing sweep attenuates spanwise fluctuations. Even as the sweep angle influences the wake, force and pressure coefficients can be collapsed for low angles of attack when examined in wall-normal and wingspan-normal independent flow components. Some small deviations at high sweep and incidence angles are attributed to vortical wake structures that impose secondary aerodynamic loads, revealed through the force element analysis. Furthermore, we conduct global resolvent analysis to uncover oblique modes with high disturbance amplification. The resolvent analysis also reveals the presence of wavemakers in the shear-dominated region associated with the emergence of three-dimensional wakes at high angles of attack. For flows at high sweep angles, the optimal convection speed of the response modes is shown to be faster than the optimal wavemakers speed suggesting a mechanism for the attenuation of perturbations. The present findings serve as a fundamental stepping stone to understanding separated flows at higher Reynolds numbers.


title: The de Sitter group and its presence at the late-time boundary

abstract: Our main goal here is to provide an introduction on some of the well established properties of the representation theory of SO(d+1,1), for those considering to think on physical problems set in de Sitter space in terms of these representations. With this purpose we review two intertwining maps, the map G that is used in constructing a well defined inner product for the complementary series representations and the map Q that is involved in constructing composite representations. We give explicit examples from the late-time boundary of de Sitter on the practical use of the complementary series inner product and in building a tensor product representation from unitary principal series irreducible representations.


title: How Algorithms Shape the Distribution of Political Advertising: Case Studies of Facebook, Google, and TikTok

abstract: Online platforms play an increasingly important role in shaping democracy by influencing the distribution of political information to the electorate. In recent years, political campaigns have spent heavily on the platforms' algorithmic tools to target voters with online advertising. While the public interest in understanding how platforms perform the task of shaping the political discourse has never been higher, the efforts of the major platforms to make the necessary disclosures to understand their practices falls woefully short. In this study, we collect and analyze a dataset containing over 800,000 ads and 2.5 million videos about the 2020 U.S. presidential election from Facebook, Google, and TikTok. We conduct the first large scale data analysis of public data to critically evaluate how these platforms amplified or moderated the distribution of political advertisements. We conclude with recommendations for how to improve the disclosures so that the public can hold the platforms and political advertisers accountable.


title: Spin-orbit excitons and electronic configuration of the $5d^4$ insulator Sr$_3$Ir$_2$O$_7$F$_2$

abstract: Here we report on the low-energy excitations within the paramagnetic spin-orbit insulator Sr$_3$Ir$_2$O$_7$F$_2$ studied via resonant inelastic X-ray scattering, \textit{ab initio} quantum chemical calculations, and model-Hamiltonian simulations. This material is a unique $d^{4}$ Ir$^{5+}$ analog of Sr$_3$Ir$_2$O$_7$ that forms when F ions are intercalated within the SrO layers spacing the square lattice IrO$_{6}$ bilayers of Sr$_3$Ir$_2$O$_7$. Due to the large distortions about the Ir$^{5+}$ ions, our computations demonstrate that a large single-ion anisotropy yields an $S$=1 ($L{\approx}$1, $J{\approx}$0) ground state wave function. Weakly coupled, excitonic modes out of the $S_z$=0 ground state are observed and are well-described by a phenomenological spin-orbit exciton model previously developed for $3d$ and $4d$ transition metal ions. The implications of our results regarding the interpretation of previous studies of hole-doped iridates close to $d^{4}$ fillings are discussed.


title: Consistent Estimation of Multiple Breakpoints in Dependence Measures

abstract: This paper proposes different methods to consistently detect multiple breaks in copula-based dependence measures, mainly focusing on Spearman's $\rho$. The leading model is a factor copula model due to its usefulness for analyzing data in high dimensions. Starting with the classical binary segmentation, also the more recent wild binary segmentation (WBS) and a procedure based on an information criterion are considered. For all procedures, consistency of the estimators for the location of the breakpoints as well as the number of breaks is proved. Monte Carlo simulations indicate that WBS performs best in many, but not in all, situations. A real data application on recent Euro Stoxx 50 data reveals the usefulness of the procedures.


title: On the Unreasonable Effectiveness of Federated Averaging with Heterogeneous Data

abstract: Existing theory predicts that data heterogeneity will degrade the performance of the Federated Averaging (FedAvg) algorithm in federated learning. However, in practice, the simple FedAvg algorithm converges very well. This paper explains the seemingly unreasonable effectiveness of FedAvg that contradicts the previous theoretical predictions. We find that the key assumption of bounded gradient dissimilarity in previous theoretical analyses is too pessimistic to characterize data heterogeneity in practical applications. For a simple quadratic problem, we demonstrate there exist regimes where large gradient dissimilarity does not have any negative impact on the convergence of FedAvg. Motivated by this observation, we propose a new quantity, average drift at optimum, to measure the effects of data heterogeneity, and explicitly use it to present a new theoretical analysis of FedAvg. We show that the average drift at optimum is nearly zero across many real-world federated training tasks, whereas the gradient dissimilarity can be large. And our new analysis suggests FedAvg can have identical convergence rates in homogeneous and heterogeneous data settings, and hence, leads to better understanding of its empirical success.


title: Modular design patterns for neural-symbolic integration: refinement and combination

abstract: We formalise some aspects of the neural-symbol design patterns of van Bekkum et al., such that we can formally define notions of refinement of patterns, as well as modular combination of larger patterns from smaller building blocks. These formal notions are being implemented in the heterogeneous tool set (Hets), such that patterns and refinements can be checked for well-formedness, and combinations can be computed.


title: Persistent Homology with k-nearest-neighbor Filtrations reveals Topological Convergence of PageRank

abstract: Graph-based representations of point-cloud data are widely used in data science and machine learning, including epsilon-graphs that contain edges between pairs of data points that are nearer than epsilon and kNN-graphs that connect each point to its k-nearest neighbors. Recently, topological data analysis has emerged as a family of mathematical and computational techniques to investigate topological features of data using simplicial complexes. These are a higher-order generalization of graphs and many techniques such as Vietoris-Rips (VR) filtrations are also parameterized by a distance epsilon. Here, we develop kNN complexes as a generalization of kNN graphs, leading to kNN-based persistent homology techniques for which we develop stability and convergence results. We apply this technique to characterize the convergence properties PageRank, highlighting how the perspective of discrete topology complements traditional geometrical-based analyses of convergence. Specifically, we show that convergence of relative positions (i.e., ranks) is captured by kNN persistent homology, whereas persistent homology with VR filtrations coincides with vector-norm convergence. Beyond PageRank, kNN-based persistent homology is expected to be useful to other data-science applications in which the relative positioning of data points is more important than their precise locations.


title: COSTA: Covariance-Preserving Feature Augmentation for Graph Contrastive Learning

abstract: Graph contrastive learning (GCL) improves graph representation learning, leading to SOTA on various downstream tasks. The graph augmentation step is a vital but scarcely studied step of GCL. In this paper, we show that the node embedding obtained via the graph augmentations is highly biased, somewhat limiting contrastive models from learning discriminative features for downstream tasks. Thus, instead of investigating graph augmentation in the input space, we alternatively propose to perform augmentations on the hidden features (feature augmentation). Inspired by so-called matrix sketching, we propose COSTA, a novel COvariance-preServing feaTure space Augmentation framework for GCL, which generates augmented features by maintaining a "good sketch" of original features. To highlight the superiority of feature augmentation with COSTA, we investigate a single-view setting (in addition to multi-view one) which conserves memory and computations. We show that the feature augmentation with COSTA achieves comparable/better results than graph augmentation based models.


title: STNDT: Modeling Neural Population Activity with a Spatiotemporal Transformer

abstract: Modeling neural population dynamics underlying noisy single-trial spiking activities is essential for relating neural observation and behavior. A recent non-recurrent method - Neural Data Transformers (NDT) - has shown great success in capturing neural dynamics with low inference latency without an explicit dynamical model. However, NDT focuses on modeling the temporal evolution of the population activity while neglecting the rich covariation between individual neurons. In this paper we introduce SpatioTemporal Neural Data Transformer (STNDT), an NDT-based architecture that explicitly models responses of individual neurons in the population across time and space to uncover their underlying firing rates. In addition, we propose a contrastive learning loss that works in accordance with mask modeling objective to further improve the predictive performance. We show that our model achieves state-of-the-art performance on ensemble level in estimating neural activities across four neural datasets, demonstrating its capability to capture autonomous and non-autonomous dynamics spanning different cortical regions while being completely agnostic to the specific behaviors at hand. Furthermore, STNDT spatial attention mechanism reveals consistently important subsets of neurons that play a vital role in driving the response of the entire population, providing interpretability and key insights into how the population of neurons performs computation.


title: Towards Target Sequential Rules

abstract: In many real-world applications, sequential rule mining (SRM) can provide prediction and recommendation functions for a variety of services. It is an important technique of pattern mining to discover all valuable rules that belong to high-frequency and high-confidence sequential rules. Although several algorithms of SRM are proposed to solve various practical problems, there are no studies on target sequential rules. Targeted sequential rule mining aims at mining the interesting sequential rules that users focus on, thus avoiding the generation of other invalid and unnecessary rules. This approach can further improve the efficiency of users in analyzing rules and reduce the consumption of data resources. In this paper, we provide the relevant definitions of target sequential rule and formulate the problem of targeted sequential rule mining. Furthermore, we propose an efficient algorithm, called targeted sequential rule mining (TaSRM). Several pruning strategies and an optimization are introduced to improve the efficiency of TaSRM. Finally, a large number of experiments are conducted on different benchmarks, and we analyze the results in terms of their running time, memory consumption, and scalability, as well as query cases with different query rules. It is shown that the novel algorithm TaSRM and its variants can achieve better experimental performance compared to the existing baseline algorithm.


title: Long time fate of two-dimensional incompressible high Reynolds number Navier-Stokes turbulence: A quantitative comparison between theory and simulation

abstract: Predicting the long time or late time states of two-dimensional incompressible, high Reynolds number, slowly decaying turbulence has been one of the long-standing problems. Using ``point vortices'' as ``inviscid'' building blocks, which do not respect incompressibility, statistical mechanical models conserving only total energy and zero total circulation result in the well-known sinh-Poisson relation between vorticity and stream function. On the other hand, statistical mechanics of ``inviscid patch'' vortices, which respects incompressibility by conserving regions of zero and nonzero vorticity, predicts a generalized relaxed state, which has never been systematically compared with direct numerical simulations (DNS). In this study, starting from highly packed regions of nonzero initial vorticity, we demonstrate using high resolution, high Reynolds number DNS that the late time states agree with predictions from patch vortex models. As total circulation is reduced or diluted, we show that late time states of our DNS systematically and unambiguously lead to the sinh-Poisson relationship between vorticity and stream function. We believe that our quantitative findings solve one of the long-standing problems in two-dimensional turbulence.


title: A Neural Network Architecture for Program Understanding Inspired by Human Behaviors

abstract: Program understanding is a fundamental task in program language processing. Despite the success, existing works fail to take human behaviors as reference in understanding programs. In this paper, we consider human behaviors and propose the PGNN-EK model that consists of two main components. On the one hand, inspired by the "divide-and-conquer" reading behaviors of humans, we present a partitioning-based graph neural network model PGNN on the upgraded AST of codes. On the other hand, to characterize human behaviors of resorting to other resources to help code comprehension, we transform raw codes with external knowledge and apply pre-training techniques for information extraction. Finally, we combine the two embeddings generated from the two components to output code embeddings. We conduct extensive experiments to show the superior performance of PGNN-EK on the code summarization and code clone detection tasks. In particular, to show the generalization ability of our model, we release a new dataset that is more challenging for code clone detection and could advance the development of the community. Our codes and data are publicly available at https://github.com/RecklessRonan/PGNN-EK.


title: Leveraging Centric Data Federated Learning Using Blockchain For Integrity Assurance

abstract: Machine learning abilities have become a vital component for various solutions across industries, applications, and sectors. Many organizations seek to leverage AI-based solutions across their business services to unlock better efficiency and increase productivity. Problems, however, can arise if there is a lack of quality data for AI-model training, scalability, and maintenance. We propose a data-centric federated learning architecture leveraged by a public blockchain and smart contracts to overcome this significant issue. Our proposed solution provides a virtual public marketplace where developers, data scientists, and AI-engineer can publish their models and collaboratively create and access quality data for training. We enhance data quality and integrity through an incentive mechanism that rewards contributors for data contribution and verification. Those combined with the proposed framework helped increase with only one user simulation the training dataset with an average of 100 input daily and the model accuracy by approximately 4\%.


title: AI-MIA: COVID-19 Detection & Severity Analysis through Medical Imaging

abstract: This paper presents the baseline approach for the organized 2nd Covid-19 Competition, occurring in the framework of the AIMIA Workshop in the European Conference on Computer Vision (ECCV 2022). It presents the COV19-CT-DB database which is annotated for COVID-19 detction, consisting of about 7,700 3-D CT scans. Part of the database consisting of Covid-19 cases is further annotated in terms of four Covid-19 severity conditions. We have split the database and the latter part of it in training, validation and test datasets. The former two datasets are used for training and validation of machine learning models, while the latter will be used for evaluation of the developed models. The baseline approach consists of a deep learning approach, based on a CNN-RNN network and report its performance on the COVID19-CT-DB database.


title: On Low-Complexity Quickest Intervention of Mutated Diffusion Processes Through Local Approximation

abstract: We consider the problem of controlling a mutated diffusion process with an unknown mutation time. The problem is formulated as the quickest intervention problem with the mutation modeled by a change-point, which is a generalization of the quickest change-point detection (QCD). Our goal is to intervene in the mutated process as soon as possible while maintaining a low intervention cost with optimally chosen intervention actions. This model and the proposed algorithms can be applied to pandemic prevention (such as Covid-19) or misinformation containment. We formulate the problem as a partially observed Markov decision process (POMDP) and convert it to an MDP through the belief state of the change-point. We first propose a grid approximation approach to calculate the optimal intervention policy, whose computational complexity could be very high when the number of grids is large. In order to reduce the computational complexity, we further propose a low-complexity threshold-based policy through the analysis of the first-order approximation of the value functions in the ``local intervention'' regime. Simulation results show the low-complexity algorithm has a similar performance as the grid approximation and both perform much better than the QCD-based algorithms.


title: Fast Bayesian Inference with Batch Bayesian Quadrature via Kernel Recombination

abstract: Calculation of Bayesian posteriors and model evidences typically requires numerical integration. Bayesian quadrature (BQ), a surrogate-model-based approach to numerical integration, is capable of superb sample efficiency, but its lack of parallelisation has hindered its practical applications. In this work, we propose a parallelised (batch) BQ method, employing techniques from kernel quadrature, that possesses an empirically exponential convergence rate. Additionally, just as with Nested Sampling, our method permits simultaneous inference of both posteriors and model evidence. Samples from our BQ surrogate model are re-selected to give a sparse set of samples, via a kernel recombination algorithm, requiring negligible additional time to increase the batch size. Empirically, we find that our approach significantly outperforms the sampling efficiency of both state-of-the-art BQ techniques and Nested Sampling in various real-world datasets, including lithium-ion battery analytics.


title: The role of electromagnetic gauge-field fluctuations in the selection between chiral and nematic superconductivity

abstract: Motivated by the observation of nematic superconductivity in several systems, we revisit the problem of the leading pairing instability of two-component unconventional superconductors on the triangular lattice -- such as $(p_{x},\,p_{y})$-wave and $(d_{x^{2}-y^{2}},\,d_{xy})$-wave. Such a system has two possible superconducting states: the chiral state (e.g. $p+ip$ or $d+id$), which breaks time-reversal symmetry, and the nematic state (e.g. $p+p$ or $d+d$), which breaks the threefold rotational symmetry of the lattice. Weak-coupling calculations generally favor the chiral over the nematic superconducting state, raising the question of what mechanism can stabilize the latter. Here, we show that the electromagnetic field fluctuations can play a crucial role in selecting between these two states. Specifically, we derive and analyze the effective free energy for the two-component superconducting order parameter after integrating out the gauge-field fluctuations, which is formally justified if the spatial order parameter fluctuations can be neglected. A non-analytic cubic term arises, as in the case of a conventional $s$-wave superconductor. However, unlike the latter, the cubic term depends on the relative phase and on the relative amplitudes between the two order parameter components, in such a way that it generally favors the nematic state. This result is a direct consequence of the fact that the stiffness of the superconducting order parameter is not isotropic. Competition with the quartic term, which favors the chiral state, leads to a renormalized phase diagram in which the nematic state displaces the chiral state over a wide region in the parameter space. We analyze the stability of the fluctuation-induced nematic phase, generalize our results to tetragonal lattices, and discuss their applicability to candidate nematic superconductors, including twisted bilayer graphene.


title: A Novel Partitioned Approach for Reduced Order Model -- Finite Element Model (ROM-FEM) and ROM-ROM Coupling

abstract: Partitioned methods allow one to build a simulation capability for coupled problems by reusing existing single-component codes. In so doing, partitioned methods can shorten code development and validation times for multiphysics and multiscale applications. In this work, we consider a scenario in which one or more of the "codes" being coupled are projection-based reduced order models (ROMs), introduced to lower the computational cost associated with a particular component. We simulate this scenario by considering a model interface problem that is discretized independently on two non-overlapping subdomains. We then formulate a partitioned scheme for this problem that allows the coupling between a ROM "code" for one of the subdomains with a finite element model (FEM) or ROM "code" for the other subdomain. The ROM "codes" are constructed by performing proper orthogonal decomposition (POD) on a snapshot ensemble to obtain a low-dimensional reduced order basis, followed by a Galerkin projection onto this basis. The ROM and/or FEM "codes" on each subdomain are then coupled using a Lagrange multiplier representing the interface flux. To partition the resulting monolithic problem, we first eliminate the flux through a dual Schur complement. Application of an explicit time integration scheme to the transformed monolithic problem decouples the subdomain equations, allowing their independent solution for the next time step. We show numerical results that demonstrate the proposed method's efficacy in achieving both ROM-FEM and ROM-ROM coupling.

categories: math.NA cs.DS cs.LG cs.NA physics.comp-ph


title: Outsider Oversight: Designing a Third Party Audit Ecosystem for AI Governance

abstract: Much attention has focused on algorithmic audits and impact assessments to hold developers and users of algorithmic systems accountable. But existing algorithmic accountability policy approaches have neglected the lessons from non-algorithmic domains: notably, the importance of interventions that allow for the effective participation of third parties. Our paper synthesizes lessons from other fields on how to craft effective systems of external oversight for algorithmic deployments. First, we discuss the challenges of third party oversight in the current AI landscape. Second, we survey audit systems across domains - e.g., financial, environmental, and health regulation - and show that the institutional design of such audits are far from monolithic. Finally, we survey the evidence base around these design components and spell out the implications for algorithmic auditing. We conclude that the turn toward audits alone is unlikely to achieve actual algorithmic accountability, and sustained focus on institutional design will be required for meaningful third party involvement.


title: Contact homology and higher dimensional closing lemmas

abstract: We develop methods for studying the smooth closing lemma for Reeb flows in any dimension using contact homology. As an application, we prove a conjecture of Irie, stating that the strong closing lemma holds for Reeb flows on ellipsoids. Our methods also apply to other Reeb flows, and we illustrate this for a class of examples introduced by Albers-Geiges-Zehmisch.


title: I'm Me, We're Us, and I'm Us: Tri-directional Contrastive Learning on Hypergraphs

abstract: Although machine learning on hypergraphs has attracted considerable attention, most of the works have focused on (semi-)supervised learning, which may cause heavy labeling costs and poor generalization. Recently, contrastive learning has emerged as a successful unsupervised representation learning method. Despite the prosperous development of contrastive learning in other domains, contrastive learning on hypergraphs remains little explored. In this paper, we propose TriCL (Tri-directional Contrastive Learning), a general framework for contrastive learning on hypergraphs. Its main idea is tri-directional contrast, and specifically, it aims to maximize in two augmented views the agreement (a) between the same node, (b) between the same group of nodes, and (c) between each group and its members. Together with simple but surprisingly effective data augmentation and negative sampling schemes, these three forms of contrast enable TriCL to capture both microscopic and mesoscopic structural information in node embeddings. Our extensive experiments using 13 baseline approaches, five datasets, and two tasks demonstrate the effectiveness of TriCL, and most noticeably, TriCL consistently outperforms not just unsupervised competitors but also (semi-)supervised competitors mostly by significant margins for node classification. The code and datasets are available at https://github.com/wooner49/TriCL.


title: XAudit : A Theoretical Look at Auditing with Explanations

abstract: Responsible use of machine learning requires models to be audited for undesirable properties. While a body of work has proposed using explanations for auditing, how to do so and why has remained relatively ill-understood. This work formalizes the role of explanations in auditing and investigates if and how model explanations can help audits. Specifically, we propose explanation-based algorithms for auditing linear classifiers and decision trees for feature sensitivity. Our results illustrate that Counterfactual explanations are extremely helpful for auditing. While Anchors and decision paths may not be as beneficial in the worst-case, in the average-case they do aid a lot.


title: Quantum Policy Iteration via Amplitude Estimation and Grover Search -- Towards Quantum Advantage for Reinforcement Learning

abstract: We present a full implementation and simulation of a novel quantum reinforcement learning method. Our work is a detailed and formal proof of concept for how quantum algorithms can be used to solve reinforcement learning problems and shows that, given access to error-free, efficient quantum realizations of the agent and environment, quantum methods can yield provable improvements over classical Monte-Carlo based methods in terms of sample complexity. Our approach shows in detail how to combine amplitude estimation and Grover search into a policy evaluation and improvement scheme. We first develop quantum policy evaluation (QPE) which is quadratically more efficient compared to an analogous classical Monte Carlo estimation and is based on a quantum mechanical realization of a finite Markov decision process (MDP). Building on QPE, we derive a quantum policy iteration that repeatedly improves an initial policy using Grover search until the optimum is reached. Finally, we present an implementation of our algorithm for a two-armed bandit MDP which we then simulate.


title: Accelerating Asynchronous Federated Learning Convergence via Opportunistic Mobile Relaying

abstract: This paper presents a study on asynchronous Federated Learning (FL) in a mobile network setting. The majority of FL algorithms assume that communication between clients and the server is always available, however, this is not the case in many real-world systems. To address this issue, the paper explores the impact of mobility on the convergence performance of asynchronous FL. By exploiting mobility, the study shows that clients can indirectly communicate with the server through another client serving as a relay, creating additional communication opportunities. This enables clients to upload local model updates sooner or receive fresher global models. We propose a new FL algorithm, called FedMobile, that incorporates opportunistic relaying and addresses key questions such as when and how to relay. We prove that FedMobile achieves a convergence rate $O(\frac{1}{\sqrt{NT}})$, where $N$ is the number of clients and $T$ is the number of communication slots, and show that the optimal design involves an interesting trade-off on the best timing of relaying. The paper also presents an extension that considers data manipulation before relaying to reduce the cost and enhance privacy. Experiment results on a synthetic dataset and two real-world datasets verify our theoretical findings.


title: Strong Memory Lower Bounds for Learning Natural Models

abstract: We give lower bounds on the amount of memory required by one-pass streaming algorithms for solving several natural learning problems. In a setting where examples lie in $\{0,1\}^d$ and the optimal classifier can be encoded using $\kappa$ bits, we show that algorithms which learn using a near-minimal number of examples, $\tilde O(\kappa)$, must use $\tilde \Omega( d\kappa)$ bits of space. Our space bounds match the dimension of the ambient space of the problem's natural parametrization, even when it is quadratic in the size of examples and the final classifier. For instance, in the setting of $d$-sparse linear classifiers over degree-2 polynomial features, for which $\kappa=\Theta(d\log d)$, our space lower bound is $\tilde\Omega(d^2)$. Our bounds degrade gracefully with the stream length $N$, generally having the form $\tilde\Omega\left(d\kappa \cdot \frac{\kappa}{N}\right)$. Bounds of the form $\Omega(d\kappa)$ were known for learning parity and other problems defined over finite fields. Bounds that apply in a narrow range of sample sizes are also known for linear regression. Ours are the first such bounds for problems of the type commonly seen in recent learning applications that apply for a large range of input sizes.


title: The Developers' Design Thinking Toolbox in Hackathons: A Study on the Recurring Design Methods in Software Development Marathons

abstract: Hackathons are time-bounded collaborative events of intense teamwork to build prototypes usually in the form of software, aiming to specific challenges proposed by the organizers. These events became a widespread practice in the IT industry, universities and many other scenarios, as a result of a growing open-innovation trend in the last decade. Since the main deliverable of these events is a demonstrable version of an idea, such as early hardware or software prototypes, the short time frame requires participants to quickly understand the proposed challenge or even identify issues related to a given domain. To create solutions, teams follow an ad-hoc but effective design approach, that many times seems informal since the background of the participants is rather centered on technical aspects (e.g., web and mobile programming) and does not involve any training in Design Thinking. To understand this creative process, we conducted 37 interviews (32 hackathons winners and 5 hackathon organizers) with people from 16 countries. We aimed to identify the design processes and recurring design methods applied by winners in these events. Also, we conducted a focus group with 8 people experienced in hackathons (participants and organizers) to discuss our findings. Our analysis revealed that although hackathon winners with IT background have no formal training on Design Thinking, they are aware of many design methods, typically following a sequence of phases that involve divergent and convergent thinking to explore the problem space and propose alternatives in a solution space, which is the rationale behind Design Thinking. We derived a set of recommendations based on design strategies that seem to lead to successful hackathon participation. These recommendations can also be useful to organizers who intend to enhance the experience of newcomers in hackathons.


title: Mildly Conservative Q-Learning for Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) defines the task of learning from a static logged dataset without continually interacting with the environment. The distribution shift between the learned policy and the behavior policy makes it necessary for the value function to stay conservative such that out-of-distribution (OOD) actions will not be severely overestimated. However, existing approaches, penalizing the unseen actions or regularizing with the behavior policy, are too pessimistic, which suppresses the generalization of the value function and hinders the performance improvement. This paper explores mild but enough conservatism for offline learning while not harming generalization. We propose Mildly Conservative Q-learning (MCQ), where OOD actions are actively trained by assigning them proper pseudo Q values. We theoretically show that MCQ induces a policy that behaves at least as well as the behavior policy and no erroneous overestimation will occur for OOD actions. Experimental results on the D4RL benchmarks demonstrate that MCQ achieves remarkable performance compared with prior work. Furthermore, MCQ shows superior generalization ability when transferring from offline to online, and significantly outperforms baselines. Our code is publicly available at https://github.com/dmksjfl/MCQ.


title: HDTorch: Accelerating Hyperdimensional Computing with GP-GPUs for Design Space Exploration

abstract: HyperDimensional Computing (HDC) as a machine learning paradigm is highly interesting for applications involving continuous, semi-supervised learning for long-term monitoring. However, its accuracy is not yet on par with other Machine Learning (ML) approaches. Frameworks enabling fast design space exploration to find practical algorithms are necessary to make HD computing competitive with other ML techniques. To this end, we introduce HDTorch, an open-source, PyTorch-based HDC library with CUDA extensions for hypervector operations. We demonstrate HDTorch's utility by analyzing four HDC benchmark datasets in terms of accuracy, runtime, and memory consumption, utilizing both classical and online HD training methodologies. We demonstrate average (training)/inference speedups of (111x/68x)/87x for classical/online HD, respectively. Moreover, we analyze the effects of varying hyperparameters on runtime and accuracy. Finally, we demonstrate how HDTorch enables exploration of HDC strategies applied to large, real-world datasets. We perform the first-ever HD training and inference analysis of the entirety of the CHB-MIT EEG epilepsy database. Results show that the typical approach of training on a subset of the data does not necessarily generalize to the entire dataset, an important factor when developing future HD models for medical wearable devices.


title: QuasinormalModes.jl: A Julia package for computing discrete eigenvalues of second order ODEs

abstract: QuasinormalModes.jl is a Julia package for computing the quasinormal modes of any General Relativity model whose perturbation equation can be expressed as second order homogeneous ODE. Not only that, the package can be used to compute the discrete eigenvalues of any second order homogeneous ODE (such as the energy eigenstates of the time independent Schr\"odinger equation) provided that these eigenvalues actually exist. The package features a flexible and user friendly API where the user simply needs to provide the coefficients of the problem ODE after incorporating boundary and asymptotic conditions on it. The user can also choose to use machine or arbitrary precision arithmetic for the underlying floating point operations involved and whether or not to do computations sequentially or in parallel using threads. The API also tries not to force any particular workflow on the users so that they can incorporate and adapt the existing functionality on their research pipelines without unwanted intrusions.


title: Simulating core electron binding energies of halogenated species adsorbed on ice surfaces and in solution with relativistic quantum embedding calculations

abstract: In this work we investigate the effects of the environment on the X-ray photoelectron spectra of hydrogen chloride and the chloride ions adsorbed on ice surfaces, as well as of chloride ions in water droplets. In our approach, we combine a density functional theory (DFT) description of the ice surface with that of the halogen species with the recently developed relativistic core-valence separation equation of motion coupled cluster (CVS-EOM-IP-CCSD) via the frozen density embedding formalism (FDE), to determine the K and L$_{1,2,3}$ edges of chlorine. Our calculations, which incorporate temperature effects through snapshots from classical molecular dynamics simulations, are shown to reproduce experimental trends in the change of the core binding energies for Cl$^-$ upon moving from a liquid (water droplets) to an interfacial (ice quasi-liquid layer) environment. Our simulations yield water valence band binding energies in good agreement with experiment, and that vary little between the droplets and the ice surface. For the halide core binding energies there is an overall trend of overestimating experimental values, though good agreement between theory and experiment is found for Cl$^-$ in water droplets and on ice. For HCl on the other hand there are significant discrepancies between experimental and calculated core binding energies when we consider structural models which maintain the H-Cl bond more or less intact. An analysis of models that allow for pre-dissociated and dissociated structures suggests that experimentally observed chemical shifts in binding energies between Cl$^-$ snd HCl would reqire that H$^+$ (in the form of H$_3$O$^+$) and Cl$^-$ are separated by roughly 4-6 A.


title: A Combinatorial Tale of Two Scattering Amplitudes: See Two Bijections

abstract: In this thesis, we take a journey through two different but not dissimilar stories with an underlying theme of combinatorics emerging from scattering amplitudes in quantum field theories. The first part tells the tale of the $c_2$-invariant, an arithmetic invariant related to the Feynman integral in $\phi^4$-theory, which studies the zeros of the Kirchoff polynomial and related graph polynomials. Through reformulating the $c_2$-invariant as a purely combinatorial problem, we show how enumerating certain edge bipartitions through fixed-point free involutions can complete a special case of the long sought after $c_2$ completion conjecture. The second part tells the tale of the positive Grassmannian and a combinatorial T-duality map on its cells, as related to scattering amplitudes in planar $\mathcal{N} = 4$ SYM theory. In particular, T-duality is a bridge between triangulations of the hypersimplex and triangulations of the amplituhedron, two objects that appear as images of the positive Grassmannian. We give an algorithm for viewing T-duality as a map on Le diagrams and characterize a nice structure to the Le diagrams (which can then be used in lieu of the algorithm). Through this Le diagram perspective on T-duality, we show how the dimensional relationship between the positroid cells on either side of the map can be directly explained.


title: Identification of High-Dielectric Constant Compounds from Statistical Design

abstract: The discovery of high-dielectric materials is crucial to increasing the efficiency of electronic devices and batteries. Here, we report three previously unexplored materials with very high dielectric constants (69 $<$ $\epsilon$ $<$ 101) and large band gaps (2.9$<$ $E_{\text{g}}$(eV) $<$ 5.5) obtained by screening materials databases using statistical optimization algorithms aided by artificial neural networks (ANN). Two of these new dielectrics are mixed-anion compounds (Eu$_5$SiCl$_6$O$_4$ and HoClO), and are shown to be thermodynamically stable against common semiconductors via phase-diagram analysis. We also uncovered four other materials with relatively large dielectric constants (20$<$$\epsilon$$<$40) and band gaps (2.3$<$$E_{\text{g}}$(eV)$<$2.7). While the ANN training data is obtained from Materials Project, the search-space consists of materials from Open Quantum Materials Database (OQMD) - demonstrating a successful implementation of cross-database materials design. Overall, we report dielectric properties of 17 materials calculated using ab-initio calculations, that were selected in our design workflow. The dielectric materials with high dielectric properties predicted in this work open up further experimental research opportunities.


title: Defending Compositionality in Emergent Languages

abstract: Compositionality has traditionally been understood as a major factor in productivity of language and, more broadly, human cognition. Yet, recently, some research started to question its status, showing that artificial neural networks are good at generalization even without noticeable compositional behavior. We argue that some of these conclusions are too strong and/or incomplete. In the context of a two-agent communication game, we show that compositionality indeed seems essential for successful generalization when the evaluation is done on a proper dataset.


title: Log-concavity of the restricted partition function $p_\mathcal{A}(n,k)$ and the new Bessenrodt-Ono type inequality

abstract: Let $\mathcal{A}=(a_i)_{i=1}^\infty$ be a non-decreasing sequence of positive integers and let $k\in\mathbb{N}_+$ be fixed. The function $p_\mathcal{A}(n,k)$ counts the number of partitions of $n$ with parts in the multiset $\{a_1,a_2,\ldots,a_k\}$. We find out a new type of Bessenrodt-Ono inequality for the function $p_\mathcal{A}(n,k)$. Further, we discover when and under what conditions on $k$, $\{a_1,a_2,\ldots,a_k\}$ and $N\in\mathbb{N}_+$, the sequence $\left(p_\mathcal{A}(n,k)\right)_{n=N}^\infty$ is log-concave. Our proofs are based on the asymptotic behavior of $p_\mathcal{A}(n,k)$, in particular, we apply the results of Netto and P\'olya-Szeg\"o as well as the Almkavist's estimation.


title: Loewner Theory for Bernstein functions I: evolution families and differential equations

abstract: One-parameter semigroups of holomorphic functions appear naturally in various applications of Complex Analysis, and in particular, in the theory of (temporally) homogeneous Markov processes. A suitable analogue of one-parameter semigroups in the inhomogeneous setting is the notion of a (reverse) evolution family. In this paper we study evolution families formed by Bernstein functions, which play the role of Laplace exponents for inhomogeneous continuous-state branching processes. In particular, we characterize all Herglotz vector fields that generate such evolution families and give a complex-analytic proof of a qualitative description equivalent to Silverstein's representation formula for the infinitesimal generators of one-parameter semigroups of Bernstein functions. We also establish several sufficient conditions for families of holomorphic self-maps, satisfying the algebraic part in the definition of an evolution family, to be absolutely continuous and hence to be described as solutions to the generalized Loewner - Kufarev differential equation. Most of these results are then applied in the sequel paper [https://doi.org/10.48550/arXiv.2211.12442] to study continuous-state branching processes.


title: AFIA: ATPG-Guided Fault Injection Attack on Secure Logic Locking

abstract: The outsourcing of the design and manufacturing of integrated circuits has raised severe concerns about the piracy of Intellectual Properties and illegal overproduction. Logic locking has emerged as an obfuscation technique to protect outsourced chip designs, where the circuit netlist is locked and can only be functional once a secure key is programmed. However, Boolean Satisfiability-based attacks have shown to break logic locking, simultaneously motivating researchers to develop more secure countermeasures. In this paper, we present a novel fault injection attack to break any locking technique that relies on a stored secret key, and denote this attack as AFIA, ATPG-guided Fault Injection Attack. The proposed attack is based on sensitizing a key bit to the primary output while injecting faults at a few other key lines that block the propagation of the targeted key bit. AIFA is very effective in determining a key bit as there exists a stuck-at fault pattern that detects a stuck-at 1 (or stuck-at 0) fault at any key line. The average complexity of number of injected faults for AFIA is linear with the key size and requires only |K| test patterns to determine a secret key, K. AFIA requires a fewer number of injected faults to sensitize a bit to the primary output, compared to 2|K|-1 faults for the differential fault analysis attack [26].


title: Synchronizing Dynamical Systems: their groupoids and $C^*$-algebras

abstract: Building on work of Ruelle and Putnam in the Smale space case, Thomsen defined the homoclinic and heteroclinic $C^\ast$-algebras for an expansive dynamical system. In this paper we define a class of expansive dynamical systems, called synchronizing dynamical systems, that exhibit hyperbolic behavior almost everywhere. Synchronizing dynamical systems generalize Smale spaces (and even finitely presented systems). Yet they still have desirable dynamical properties such as having a dense set of periodic points. We study various $C^\ast$-algebras associated with a synchronizing dynamical system. Among other results, we show that the homoclinic algebra of a synchronizing system contains an ideal which behaves like the homoclinic algebra of a Smale space.


title: An Empirical Study on Disentanglement of Negative-free Contrastive Learning

abstract: Negative-free contrastive learning methods have attracted a lot of attention with simplicity and impressive performances for large-scale pretraining. However, its disentanglement property remains unexplored. In this paper, we examine negative-free contrastive learning methods to study the disentanglement property empirically. We find that existing disentanglement metrics fail to make meaningful measurements for high-dimensional representation models, so we propose a new disentanglement metric based on Mutual Information between latent representations and data factors. With this proposed metric, we benchmark the disentanglement property of negative-free contrastive learning on both popular synthetic datasets and a real-world dataset CelebA. Our study shows that the investigated methods can learn a well-disentangled subset of representation. As far as we know, we are the first to extend the study of disentangled representation learning to high-dimensional representation space and introduce negative-free contrastive learning methods into this area. The source code of this paper is available at \url{https://github.com/noahcao/disentanglement_lib_med}.


title: Observations and Simulations of Radio Emission and Magnetic Fields in Minkowski's Object

abstract: We combine new data from the Karl G. Jansky Very Large Array with previous radio observations to create a more complete picture of the ongoing interactions between the radio jet from galaxy NGC 541 and the star-forming system known as Minkowski's Object (MO). We then compare those observations with synthetic radio data generated from a new set of magnetohydrodynamic simulations of a jet-cloud interaction specifically tailored to the parameters of MO. The combination of radio intensity, polarization, and spectral index measurements all convincingly support the interaction scenario and provide additional constraints on the local dynamical state of the intracluster medium and the time since the jet-cloud interaction first began. In particular, we show that only a simulation with a bent radio jet can reproduce the observations.


title: Tunable Multi-Peak Perfect Absorbers Based on Borophene for High-Performance Near-Infrared Refractive Index Sensing

abstract: Borophene has recently attracted significant attention as an emerging two-dimensional monoelemental material for refractive index sensing because of its ultra-high surface-to-volume ratio and outstanding surface sensitivity. However, current research mainly focuses on designing borophene-based sensors with single-peak absorption, which lacks reliability compared to the performance of multi-peak sensors. In this paper, high-performance borophene refractive index sensors with multiple nearly perfect absorption peaks are proposed. The geometric parameters of the metadevices are optimized using finite-difference time-domain (FDTD) simulations to obtain three strong absorption peaks in the near-infrared (near-IR) regime with intensities of 99.72%, 99.18%, and 98.13%. Further calculations show that the sensitivities of the three strong peaks reach 339.1 nm shift per refractive index units (nm/RIU), 410.1 nm/RIU, and 738.1 nm/RIU, and their corresponding figure of merits (FOMs) reach up to 15.41/RIU, 14.65/RIU and 10.85/RIU, respectively, exhibiting great potential for near-IR refractive index sensing. Moreover, the three absorption peaks can be easily tuned by adjusting the carrier density of borophene, which can be realized by applying different external electric bias voltages. These results can provide theoretical guidance for the development of multi-peak near-IR dynamic integrated photonic devices


title: Dilated POCS: Minimax Convex Optimization

abstract: Alternating projection onto convex sets (POCS) provides an iterative procedure to find a signal that satisfies two or more convex constraints when the sets intersect. For nonintersecting constraints, the method of simultaneous projections produces a minimum mean square error (MMSE) solution. In certain cases, a minimax solution is more desirable. Generating a minimax solution is possible using dilated POCS. The minimax solution uses morphological dilation of nonintersecting signal convex constraints. The sets are progressively dilated to the point where there is intersection at a minimax solution. Examples are given contrasting the MMSE and minimax solutions in problems of tomographic reconstruction of images. Dilated POCS adds a new imaging modality for image synthesis. Lastly, morphological erosion of signal sets is suggested as a method to shrink the overlap when sets intersect at more than one point.


title: Limits and performances of algorithms based on simulated annealing in solving sparse hard inference problems

abstract: The planted coloring problem is a prototypical inference problem for which thresholds for Bayes optimal algorithms, like Belief Propagation (BP), can be computed analytically. In this paper, we analyze the limits and performances of the Simulated Annealing (SA), a Monte Carlo-based algorithm that is more general and robust than BP, and thus of broader applicability. We show that SA is sub-optimal in the recovery of the planted solution because it gets attracted by glassy states that, instead, do not influence the BP algorithm. At variance with previous conjectures, we propose an analytic estimation for the SA algorithmic threshold by comparing the spinodal point of the paramagnetic phase and the dynamical critical temperature. This is a fundamental connection between thermodynamical phase transitions and out of equilibrium behavior of Glauber dynamics. We also study an improved version of SA, called replicated SA (RSA), where several weakly coupled replicas are cooled down together. We show numerical evidence that the algorithmic threshold for the RSA coincides with the Bayes optimal one. Finally, we develop an approximated analytical theory explaining the optimal performances of RSA and predicting the location of the transition towards the planted solution in the limit of a very large number of replicas. Our results for RSA support the idea that mismatching the parameters in the prior with respect to those of the generative model may produce an algorithm that is optimal and very robust.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.IT math.IT


title: Chiral magnetic skyrmions across length scales

abstract: The profile and energy of chiral skyrmions, found in magnetic materials with the Dzyaloshinskii-Moriya interaction, can be approximated by formulae obtained through asymptotic analysis in the limits of small and large skyrmion radius. Using fitting techniques, we modify these formulae so that their validity extends to almost the entire range of skyrmion radii. Such formulae are obtained for skyrmions that are stabilised in the presence of an external field or easy-axis anisotropy or a combination of these. We further study the effect of the magnetostatic field on the skyrmion profile. We compare the profile of magnetic bubbles, stabilized without the chiral Dzyaloshinskii-Moriya interaction to that of a chiral skyrmion.