title: CSwin2SR: Circular Swin2SR for Compressed Image Super-Resolution

abstract: Closed-loop negative feedback mechanism is extensively utilized in automatic control systems and brings about extraordinary dynamic and static performance. In order to further improve the reconstruction capability of current methods of compressed image super-resolution, a circular Swin2SR (CSwin2SR) approach is proposed. The CSwin2SR contains a serial Swin2SR for initial super-resolution reestablishment and circular Swin2SR for enhanced super-resolution reestablishment. Simulated experimental results show that the proposed CSwin2SR dramatically outperforms the classical Swin2SR in the capacity of super-resolution recovery. On DIV2K test and valid datasets, the average increment of PSNR is greater than 0.18 dB and the related average increment of SSIM is greater than 0.01.


title: Domain-agnostic and Multi-level Evaluation of Generative Models

abstract: While the capabilities of generative models heavily improved in different domains (images, text, graphs, molecules, etc.), their evaluation metrics largely remain based on simplified quantities or manual inspection with limited practicality. To this end, we propose a framework for Multi-level Performance Evaluation of Generative mOdels (MPEGO), which could be employed across different domains. MPEGO aims to quantify generation performance hierarchically, starting from a sub-feature-based low-level evaluation to a global features-based high-level evaluation. MPEGO offers great customizability as the employed features are entirely user-driven and can thus be highly domain/problem-specific while being arbitrarily complex (e.g., outcomes of experimental procedures). We validate MPEGO using multiple generative models across several datasets from the material discovery domain. An ablation study is conducted to study the plausibility of intermediate steps in MPEGO. Results demonstrate that MPEGO provides a flexible, user-driven, and multi-level evaluation framework, with practical insights on the generation quality. The framework, source code, and experiments will be available at https://github.com/GT4SD/mpego.


title: Towards Understanding How Self-training Tolerates Data Backdoor Poisoning

abstract: Recent studies on backdoor attacks in model training have shown that polluting a small portion of training data is sufficient to produce incorrect manipulated predictions on poisoned test-time data while maintaining high clean accuracy in downstream tasks. The stealthiness of backdoor attacks has imposed tremendous defense challenges in today's machine learning paradigm. In this paper, we explore the potential of self-training via additional unlabeled data for mitigating backdoor attacks. We begin by making a pilot study to show that vanilla self-training is not effective in backdoor mitigation. Spurred by that, we propose to defend the backdoor attacks by leveraging strong but proper data augmentations in the self-training pseudo-labeling stage. We find that the new self-training regime help in defending against backdoor attacks to a great extent. Its effectiveness is demonstrated through experiments for different backdoor triggers on CIFAR-10 and a combination of CIFAR-10 with an additional unlabeled 500K TinyImages dataset. Finally, we explore the direction of combining self-supervised representation learning with self-training for further improvement in backdoor defense.


title: Optimized learned entropy coding parameters for practical neural-based image and video compression

abstract: Neural-based image and video codecs are significantly more power-efficient when weights and activations are quantized to low-precision integers. While there are general-purpose techniques for reducing quantization effects, large losses can occur when specific entropy coding properties are not considered. This work analyzes how entropy coding is affected by parameter quantizations, and provides a method to minimize losses. It is shown that, by using a certain type of coding parameters to be learned, uniform quantization becomes practically optimal, also simplifying the minimization of code memory requirements. The mathematical properties of the new representation are presented, and its effectiveness is demonstrated by coding experiments, showing that good results can be obtained with precision as low as 4~bits per network output, and practically no loss with 8~bits.


title: Holography and Localization of Information in Quantum Gravity

abstract: Within the AdS/CFT correspondence, we identify a class of CFT operators which represent diff-invariant and approximately local observables in the gravitational dual. Provided that the bulk state breaks all asymptotic symmetries, we show that these operators commute to all orders in $1/N$ with asymptotic charges, thus resolving an apparent tension between locality in perturbative quantum gravity and the gravitational Gauss law. The interpretation of these observables is that they are not gravitationally dressed with respect to the boundary, but instead to features of the state. We also provide evidence that there are bulk observables whose commutator vanishes to all orders in $1/N$ with the entire algebra of single-trace operators defined in a space-like separated time-band. This implies that in a large $N$ holographic CFT, the algebra generated by single-trace operators in a short-enough time-band has a non-trivial commutant when acting on states which break the symmetries. It also implies that information deep in the interior of the bulk is invisible to single-trace correlators in the time-band and hence that it is possible to localize information in perturbative quantum gravity.


title: The Tachyonic Higgs and the Inflationary Universe

abstract: The Standard Model Higgs becomes tachyonic at high energy scales according to current measurements. This unstable regime of the Higgs potential can be realized in the early Universe during high scale inflation, potentially with catastrophic consequences. This letter highlights a crucial inherent feature of such configurations that has so far remained ignored: Higgs particle production out of vacuum induced by the rapidly evolving Higgs field, which gets exponentially enhanced due to the tachyonic instability. Such explosive particle production can rapidly drain energy away from the Higgs field, sustaining a significant density of Higgs particles even during inflation, and could initiate a qualitatively different form of preheating in parts of the post-inflationary Universe. Any study of the Higgs field in its tachyonic phase, either during or after inflation, must therefore take this substantial particle energy density into account, which could significantly affect the subsequent evolution of such systems. This could carry important implications for high scale inflation, post-inflationary preheating, observable signals in the cosmic microwave background, gravitational waves, and primordial black holes, as well as deeper concepts ranging from eternal inflation to the metastability of the electroweak vacuum.


title: Tidal Distortions as a Bottleneck on Constraining Exoplanet Compositions

abstract: Improvements in the number of confirmed planets and the precision of observations imply a need to better understand subtle effects that may bias interpretations of exoplanet observations. One such effect is the distortion of a short period planet by its host star, affecting its derived density. We extend the work of Burton et al., Correia, and others, using a gravitational potential formulation to a sample of nearly 200 planets with periods less than 3 days. We find five planets exhibiting density variations of >10% and as many as 20 planets with deviations >5%. We derive an analytic approximation for this deviation as a function of the orbital period, transit depth, and mass ratio between the planet and host star, allowing for rapid determination of such tidal effects. We find that current density error bars are typically larger than tidal deviations but that reducing the uncertainty on transit depth and radial velocity (RV) amplitude by a factor of 3 causes tidal effects to dominate density errors (>50%) in >40% of planets in our sample, implying that in the near future upgraded observational precision will cause shape deviations to become a bottleneck with regards to analysis of exoplanet compositions. These two parameters are found to dominate uncertainties compared to errors on stellar mass and radius. We identify a group of eight planets (including WASP-19 b, HAT-P-7 b, and WASP-12 b) for which current density uncertainties are as much as 4x smaller than the potential shift due to tides, implying a possible 4{\sigma} bias on their density estimates.


title: NGC 1068 constraints on neutrino-dark matter scattering

abstract: The IceCube collaboration has observed the first steady-state point source of high-energy neutrinos, coming from the active galaxy NGC 1068. If neutrinos interacted strongly enough with dark matter, the emitted neutrinos would have been impeded by the dense spike of dark matter surrounding the supermassive black hole at the galactic center, which powers the emission. We derive a stringent upper limit on the scattering cross section between neutrinos and dark matter based on the observed events and theoretical models of the dark matter spike. The bound can be stronger than that obtained by the single IceCube neutrino event from the blazar TXS 0506+056 for some spike models.


title: Quadratic twist-noncommutative gauge theory

abstract: Studies of noncommutative gauge theory have mainly focused on noncommutative spacetimes with constant noncommutative structure, with little known about actions for noncommutative 4D Yang-Mills theory beyond this case. We construct an action for Yang-Mills theory on a quadratically-noncommutative spacetime, i.e. of quantum-plane type, obtained from a Drinfeld twist, with star-gauge symmetry. Applied to supersymmetric Yang-Mills theory, this gives a candidate AdS/CFT dual of string theory on a related deformation of AdS$_5\times$S$^5$, which is expected to be integrable in the planar limit.


title: The chemical DNA of the Magellanic Clouds -- I. The chemical composition of 206 Small Magellanic Cloud red giant stars

abstract: We present the chemical composition of 206 red giant branch stars members of the Small Magellanic Cloud (SMC) using optical, high-resolution spectra collected with the multi-object spectrograph FLAMES-GIRAFFE at the ESO Very Large Telescope. This sample includes stars in three fields located in different positions within the parent galaxy. We analysed the main groups of elements, namely light- (Na), alpha- (O, Mg, Si, Ca, Ti), iron-peak (Sc, V, Fe, Ni, Cu) and s-process elements (Zr, Ba, La). The metallicity distribution of the sample displays a main peak around [Fe/H] ~ -1 dex and a weak metal-poor tail. However, the three fields display [Fe/H] distributions different with each other, in particular a difference of 0.2 dex is found between the mean metallicities of the two most internal fields.The fraction of metal-poor stars increases significantly (from ~1 to ~20%) from the innermost fields to the most external one, likely reflecting an age gradient in the SMC. Also, we found a hint of possible chemically/kinematic distinct substructures. The SMC stars have abundance ratios clearly distinct with respect to the Milky Way stars, in particular for the elements produced by massive stars (like Na, $\alpha$ and most iron-peak elements) that have abundance ratios systematically lower than those measured in our Galaxy. This points out that the massive stars contributed less to the chemical enrichment of the SMC with respect to the Milky Way, according to the low star formation rate expected for this galaxy. Finally, we identified small systematic differences in the abundances of some elements (Na, Ti, V and Zr) in the two innermost fields, suggesting that the chemical enrichment history in the SMC has been not uniform.


title: Kinematic and thermal signatures of the directly imaged protoplanet candidate around Elias 2-24

abstract: We report kinematic and thermal signatures associated with the directly imaged protoplanet candidate in the Elias 2-24 disc. Using the DSHARP ALMA observations of the $^{12}$CO J=2-1 line, we show that the disc kinematics are perturbed, with a detached CO emission spot at the location of the planet candidate and traces of spiral wakes, and also that the observed CO emission intensities require local heating. While the foreground extinction hides the velocity channels associated with the planet, preventing a planet mass estimate, the level of gas heating implied by the CO emission indicates the presence of a warm, embedded giant planet. Comparison with models show this could either be a $\gtrsim 5$M$_\mathrm{Jup}$, or a lower mass ( $\gtrsim 2$M$_\mathrm{Jup}$) but accreting proto-planet.


title: A Lighter QCD Axion from Anarchy

abstract: We introduce the Anarchic Axion, a class of axion models which solves the Strong CP problem within current nEDM constraints with a lighter than usual QCD axion, thus populating new parameter space that ongoing and future experiments target. The Anarchic Axion is driven light by a soft breaking of the Peccei-Quinn symmetry, which also predicts a residual neutron electric dipole moment. We introduce a novel measure to quantify the tuning required for large deviations from the usual QCD axion band. In addition to motivating searches for unusually light axions, this work establishes a new target for axion effective field theory.


title: Red Horizontal Branch stars: an asteroseismic perspective

abstract: Robust age estimates of red giant stars are now possible thanks to the precise inference of their mass based on asteroseismic constraints. However, there are cases where such age estimates can be highly precise yet very inaccurate. An example is giants that have undergone mass loss or mass transfer events that have significantly altered their mass. In this context, stars with "apparent" ages significantly higher than the age of the Universe are candidates as stripped stars, or stars that have lost more mass than expected, most likely via interaction with a companion star, or because of the poorly understood mass-loss mechanism along the red-giant branch. In this work we identify examples of such objects among red giants observed by $\textit{Kepler}$, both at low ([Fe/H] $ \lesssim -0.5$) and solar metallicity. By modelling their structure and pulsation spectra, we find a consistent picture confirming that these are indeed low-mass objects consisting of a He core of $\approx 0.5 \, M_\odot$ and an envelope of $\approx 0.1 - 0.2 \, M_\odot$. Moreover, we find that these stars are characterised by a rather extreme coupling ($q \gtrsim 0.4$) between the pressure-mode and gravity-mode cavities, i.e. much higher than the typical value for red clump stars, providing thus a direct seismic signature of their peculiar structure. The complex pulsation spectra of these objects, if observed with sufficient frequency resolution, hold detailed information about the structural properties of likely products of mass stripping, hence can potentially shed light on their formation mechanism. On the other hand, our tests highlight the difficulties associated with measuring reliably the large frequency separation, especially in shorter datasets, with impact on the reliability of the inferred masses and ages of low-mass Red Clump stars with e.g. K2 or TESS data.


title: CHIME/FRB Discovery of 25 Repeating Fast Radio Burst Sources

abstract: We present the discovery of 25 new repeating fast radio burst (FRB) sources found among CHIME/FRB events detected between 2019 September 30 and 2021 May 1. The sources were found using a new clustering algorithm that looks for multiple events co-located on the sky having similar dispersion measures (DMs). The new repeaters have DMs ranging from $\sim$220 pc cm$^{-3}$ to $\sim$1700 pc cm$^{-3}$, and include sources having exhibited as few as two bursts to as many as twelve. We report a statistically significant difference in both the DM and extragalactic DM (eDM) distributions between repeating and apparently nonrepeating sources, with repeaters having lower mean DM and eDM, and we discuss the implications. We find no clear bimodality between the repetition rates of repeaters and upper limits on repetition from apparently nonrepeating sources after correcting for sensitivity and exposure effects, although some active repeating sources stand out as anomalous. We measure the repeater fraction over time and find that it tends to an equilibrium of $2.6_{-2.6}^{+2.9}$% over our total time-on-sky thus far. We also report on 14 more sources which are promising repeating FRB candidates and which merit follow-up observations for confirmation.


title: Neutron star-black hole mergers in next generation gravitational-wave observatories

abstract: Observations by the current generation of gravitational-wave detectors have been pivotal in expanding our understanding of the universe. Although tens of exciting compact binary mergers have been observed, neutron star-black hole (NSBH) mergers remained elusive until they were first confidently detected in 2020. The number of NSBH detections is expected to increase with sensitivity improvements of the current detectors and the proposed construction of new observatories over the next decade. In this work, we explore the NSBH detection and measurement capabilities of these upgraded detectors and new observatories using the following metrics: network detection efficiency and detection rate as a function of redshift, distributions of the signal-to-noise ratios, the measurement accuracy of intrinsic and extrinsic parameters, the accuracy of sky position measurement, and the number of early-warning alerts that can be sent to facilitate the electromagnetic follow-up. Additionally, we evaluate the prospects of performing multi-messenger observations of NSBH systems by reporting the number of expected kilonova detections with the Vera C. Rubin Observatory and the Nancy Grace Roman Space Telescope. We find that as many as $\mathcal{O}(10)$ kilonovae can be detected by these two telescopes every year, depending on the population of the NSBH systems and the equation of state of neutron stars.


title: Asymmetric dependence in hydrological extremes

abstract: Extremal dependence describes the strength of correlation between the largest observations of two variables. It is usually measured with symmetric dependence coefficients that do not depend on the order of the variables. In many cases, there is a natural asymmetry between extreme observations that can not be captured by such coefficients. An example for such asymmetry are large discharges at an upstream and a downstream stations on a river network: an extreme discharge at the upstream station will directly influence the discharge at the downstream station, but not vice versa. Simple measures for asymmetric dependence in extreme events have not yet been investigated. We propose the asymmetric tail Kendall's $\tau$ as a measure for extremal dependence that is sensitive to asymmetric behaviour in the largest observations. It essentially computes the classical Kendall's $\tau$ but conditioned on the extreme observations of one of the two variables. We show theoretical properties of this new coefficient and derive a formula to compute it for existing copula models. We further study its effectiveness and connections to causality in simulation experiments. We apply our methodology to a case study on river networks in the United Kingdom to illustrate the importance of measuring asymmetric extremal dependence in hydrology. Our results show that there is important structural information in the asymmetry that would have been missed by a symmetric measure. Our methodology is an easy but effective tool that can be applied in exploratory analysis for understanding the connections among variables and to detect possible asymmetric dependencies.


title: Model-Independent Mass Reconstruction of the Hubble Frontier Field Clusters with MARS Based on Self-Consistent Strong Lensing Data

abstract: We present new strong-lensing (SL) mass reconstruction of the six Hubble Frontier Fields (HFF) clusters with the MAximum-entropy ReconStruction (${\tt MARS}$) algorithm. ${\tt MARS}$ is a new free-form inversion method, which suppresses spurious small-scale fluctuations while achieving excellent convergence in positions of multiple images. For each HFF cluster, we obtain a model-independent mass distribution from the compilation of the self-consistent SL data in the literature. With $100-200$ multiple images per cluster, we reconstruct solutions with small scatters of multiple images in both source (~0".02) and image planes (~0."05-0.''1), which are lower than the previous results by a factor of 5-10. An outstanding case is the MACS J0416.1-2403 mass reconstruction, which is based on the largest high-quality SL dataset where all 236 multiple images/knots have spectroscopic redshifts. Although our solution is smooth on a large scale, it reveals group/galaxy-scale peaks where the substructures are required by the data. We find that in general, these mass peaks are in excellent spatial agreement with the member galaxies, although ${\tt MARS}$ never uses the galaxy distributions as priors. Our study corroborates the flexibility and accuracy of the ${\tt MARS}$ algorithm and demonstrates that ${\tt MARS}$ is a powerful tool in the JWST era, when $2-3$ times larger number of multiple image candidates become available for SL mass reconstruction, and self-consistency within the dataset becomes a critical issue.


title: Dynamical Thin Disks

abstract: Thin disk accretion is often modeled in highly dynamical settings using the two-dimensional equations of viscous hydrodynamics, with viscosity representing unresolved turbulence. These equations are supposed to arise after vertical integration of the full three-dimensional equations of hydrodynamics, under the assumption of a geometrically thin disk with mirror symmetry about the midplane. But in the dynamical context, vertical dynamics are neglected by incorrectly assuming instantaneous vertical hydrostatic equilibrium. The resulting errors in the local disk height couple to the horizontal dynamics through some viscosity prescriptions and gravitational softening models. Furthermore, the viscous terms in the horizontal equations are only complete if they are inserted after vertical integration, as if the system is actually two-dimensional. Since turbulence breaks mirror symmetry, it is more physically correct to insert a turbulence model at the three-dimensional level, and impose mirror symmetry only on average. Thus, some viscous terms are usually missing. We revisit the vertical integration procedure, restricting to the regime of a Newtonian, non-self-gravitating disk. We obtain six evolution equations with only horizontal dependence, which determine the local vertical position and velocity of the disk surface, in addition to the usual fluid variables. This "2.5-dimensional" formulation opens the door to efficiently study vertical oscillations of thin disks in dynamical settings, and to improve the treatment of unresolved turbulence. As a demonstration, by including viscous stress at the three-dimensional level, we recover missing viscous terms which involve the vertical variables. We also propose a resummation of the vertically integrated gravitational force, which has a strikingly similar form to a gravitational softening model advocated for in protoplanetary disk studies.


title: Heating Neutron Stars with Inelastic Dark Matter and Relativistic Targets

abstract: The dense environment of neutron stars makes them an excellent target for probing dark matter interactions with the Standard Model. We study neutron star heating from capture of inelastic dark matter, which can evade direct detection constraints. We investigate kinematics of the inelastic scattering process between quasirelativistic dark matter particles and ultrarelativistic targets in neutron stars, and derive analytical expressions for the maximal mass gap allowed for the scattering to occur. We implement them into a fully relativistic formalism for calculating the capture rate and apply it to various scenarios of inelastic dark matter. The projected constraints from neutron stars can systematically surpass those from terrestrial searches, including direct detection and collider experiments. Neutron stars can also be sensitive to the parameter space of inelastic self-interacting dark matter. Our results indicate that extreme astrophysical environments, such as neutron stars, are an important target for searching dark matter.


title: A new direct detection electron scattering experiment to search for the X17 particle

abstract: A new electron scattering experiment (E12-21-003) to verify and understand the nature of hidden sector particles, with particular emphasis on the so-called X17 particle, has been approved at Jefferson Lab. The search for these particles is motivated by new hidden sector models introduced to account for a variety of experimental and observational puzzles: excess in $e^+e^-$ pairs observed in multiple nuclear transitions, the 4.2$\sigma$ disagreement between experiments and the standard model prediction for the muon anomalous magnetic moment, and the small-scale structure puzzle in cosmological simulations. The aforementioned X17 particle has been hypothesized to account for the excess in $e^+e^-$ pairs observed from the $^8$Be M1, $^4$He M0, and, most recently, $^{12}$C E1 nuclear transitions to their ground states observed by the ATOMKI group. This experiment will use a high resolution electromagnetic calorimeter to search for or set new limits on the production rate of the X17 and other hidden sector particles in the $3 - 60$ MeV mass range via their $e^+e^-$ decay (or $\gamma\gamma$ decay with limited tracking). In these models, the $1 - 100$ MeV mass range is particularly well-motivated and the lower part of this range still remains unexplored. Our proposed direct detection experiment will use a magnetic-spectrometer-free setup (the PRad apparatus) to detect all three final state particles in the visible decay of a hidden sector particle for an effective control of the background and will cover the proposed mass range in a single setting. The use of the well-demonstrated PRad setup allows for an essentially ready-to-run and uniquely cost-effective search for hidden sector particles in the $3 - 60$ MeV mass range with a sensitivity of 8.9$\times$10$^{-8}$ - 5.8$\times$10$^{-9}$ to $\epsilon^2$, the square of the kinetic mixing interaction constant between hidden and visible sectors.


title: The imprint of convection on Type I X-ray bursts: Pauses in photospheric radius expansion lightcurves

abstract: Motivated by the recent observation by NICER of a type I X-ray burst from SAX J1808.4-3658 with a distinct "pause" feature during its rise (Bult et al. 2019), we show that bursts which ignite in a helium layer underneath a hydrogen-rich shell naturally give rise to such pauses, as long as enough energy is produced to eject the outer layers of the envelope by super-Eddington winds. The length of the pause is determined by the extent of the convection generated after ignition, while the rate of change of luminosity following the pause is set by the hydrogen gradient left behind by convection. Using the MESA stellar evolution code, we simulate the accumulation, nuclear burning and convective mixing prior to and throughout the ignition of the burst, followed by the hydrodynamic wind. We show that the results are sensitive to the treatment of convection adopted within the code. In particular, the efficiency of mixing at the H/He interface plays a key role in determining the shape of the lightcurve. The data from SAX J1808.4-3658 favors strong mixing scenarios. Multidimensional simulations will be needed to properly model the interaction between convection and nuclear burning during these bursts, which will then enable a new way to use X-ray burst lightcurves to study neutron star surfaces.


title: JWST/MIRI Spectroscopy of the Disk of the Young Eruptive Star EX Lup in Quiescence

abstract: EX Lup is a low-mass pre-main sequence star that occasionally shows accretion-related outbursts. Here, we present JWST/MIRI medium resolution spectroscopy obtained for EX Lup fourteen years after its powerful outburst. EX Lup is now in quiescence and displays a Class II spectrum. We detect a forest of emission lines from molecules previously identified in infrared spectra of classical T Tauri disks: H2O, OH, H2, HCN, C2H2, and CO2. The detection of organic molecules demonstrates that they are back after disappearing during the large outburst. Spectral lines from water and OH are for the first time de-blended and will provide a much improved characterization of their distribution and density in the inner disk. The spectrum also shows broad emission bands from warm, sub-micron size amorphous silicate grains at 10 and 18 um. During the outburst, in 2008, crystalline forsterite grains were annealed in the inner disk within 1 au, but their spectral signatures in the 10 um silicate band later disappeared. With JWST we re-discovered these crystals via their 19.0, 20.0, and 23.5 um emission, whose strength implies that the particles are at ~3 au from the star. This suggests that crystalline grains formed in 2008 were transported outwards and now approach the water snowline, where they may be incorporated into planetesimals. Containing several key tracers of planetesimal and planet formation, EX Lup is an ideal laboratory to study the effects of variable luminosity on the planet-forming material and may provide explanation for the observed high crystalline fraction in solar system comets.


title: Matching Exemplar as Next Sentence Prediction (MeNSP): Zero-shot Prompt Learning for Automatic Scoring in Science Education

abstract: Developing models to automatically score students' written responses to science problems is critical for science education. However, collecting and labeling sufficient student responses for training models is time and cost-consuming. Recent studies suggest that pre-trained language models can be adapted to downstream tasks without fine-tuning with prompts. However, no research has employed such a prompt approach in science education. As student responses are presented with natural language, aligning the scoring procedure as the next sentence prediction task using prompts can skip the costly fine-tuning stage. In this study, we developed a zero-shot approach to automatically score student responses via Matching Exemplars as Next Sentence Prediction (MeNSP). This approach employs no training samples. We first apply MeNSP in scoring three assessment tasks of scientific argumentation and found machine-human scoring agreements, Cohen's Kappa ranges from 0.30 to 0.57, and F1 score ranges from 0.54 to 0.81. To improve the performance, we extend our research to the few-shots setting, either randomly selecting labeled student responses or manually constructing responses to fine-tune the models. We find that one task's performance is improved with more samples, Cohen's Kappa from 0.30 to 0.38, and F1 score from 0.54 to 0.59; for the two others, scoring performance is not improved. We also find that randomly selected few-shots perform better than the human expert-crafted approach. This study suggests that MeNSP can yield referable automatic scoring for student responses while significantly reducing the cost of model training. This method can benefit low-stakes classroom assessment practices in science education. Future research should further explore the applicability of the MeNSP in different types of assessment tasks in science education and improve the model performance.


title: Broadband Quantum Memory in Atomic Ensembles

abstract: Broadband quantum memory is critical to enabling the operation of emerging photonic quantum technology at high speeds. Here we review a central challenge to achieving broadband quantum memory in atomic ensembles -- what we call the 'linewidth-bandwidth mismatch' problem -- and the relative merits of various memory protocols and hardware used for accomplishing this task. We also review the theory underlying atomic ensemble quantum memory and its extensions to optimizing memory efficiency and characterizing memory sensitivity. Finally, we examine the state-of-the-art performance of broadband atomic ensemble quantum memories with respect to three key metrics: efficiency, memory lifetime, and noise.


title: Laboratory study of the failed torus mechanism in arched, line-tied, magnetic flux ropes

abstract: Coronal mass ejections (CMEs) are some of the most energetic and violent events in our solar system. The prediction and understanding of CMEs is of particular importance due to the impact that they can have on Earth-based satellite systems, and in extreme cases, ground-based electronics. CMEs often occur when long-lived magnetic flux ropes (MFRs) anchored to the solar surface destabilize and erupt away from the Sun. One potential cause for these eruptions is an ideal magnetohydrodynamic (MHD) instability such as the kink or torus instability. Previous experiments on the Magnetic Reconnection eXperiment (MRX) revealed a class of MFRs that were torus-unstable but kink-stable, which failed to erupt. These "failed-tori" went through a process similar to Taylor relaxation where the toroidal current was redistributed before the eruption ultimately failed. We have investigated this behavior through additional diagnostics that measure the current distribution at the foot points and the energy distribution before and after an event. These measurements indicate that ideal MHD effects are sufficient to explain the energy distribution changes during failed torus events. This excludes Taylor relaxation as a possible mechanism of current redistribution during an event. A new model that only requires non-ideal effects in a thin layer above the electrodes is presented to explain the observed phenomena. This work broadens our understanding of the stability of MFRs and the mechanism behind the failed torus through the improved prediction of the torus instability and through new diagnostics to measure the energy inventory and current profile at the foot points.


title: DoubleH: Twitter User Stance Detection via Bipartite Graph Neural Networks

abstract: Given the development and abundance of social media, studying the stance of social media users is a challenging and pressing issue. Social media users express their stance by posting tweets and retweeting. Therefore, the homogeneous relationship between users and the heterogeneous relationship between users and tweets are relevant for the stance detection task. Recently, graph neural networks (GNNs) have developed rapidly and have been applied to social media research. In this paper, we crawl a large-scale dataset of the 2020 US presidential election and automatically label all users by manually tagged hashtags. Subsequently, we propose a bipartite graph neural network model, DoubleH, which aims to better utilize homogeneous and heterogeneous information in user stance detection tasks. Specifically, we first construct a bipartite graph based on posting and retweeting relations for two kinds of nodes, including users and tweets. We then iteratively update the node's representation by extracting and separately processing heterogeneous and homogeneous information in the node's neighbors. Finally, the representations of user nodes are used for user stance classification. Experimental results show that DoubleH outperforms the state-of-the-art methods on popular benchmarks. Further analysis illustrates the model's utilization of information and demonstrates stability and efficiency at different numbers of layers.


title: Entanglement structure of quantum fields through local probes

abstract: We present a framework to study the entanglement structure of a quantum field theory inspired by the formalism of particle detectors in relativistic quantum information. This framework can in principle be used to faithfully capture entanglement in a QFT between arbitrary-shaped regions of spacetime without encountering UV divergences, bypassing many of the issues typically present in other approaches. Our results also establish the limits of the efficiency of entanglement harvesting, and may also be used to motivate an operational definition of entanglement between spacetime subregions in field theory.


title: How cells wrap around virus-like particles using extracellular filamentous protein structures

abstract: Nanoparticles, such as viruses, can enter cells via endocytosis. During endocytosis, the cell surface wraps around the nanoparticle to effectively eat it. Prior focus has been on how nanoparticle size and shape impacts endocytosis. However, inspired by the noted presence of extracellular vimentin affecting viral and bacteria uptake, as well as the structure of coronaviruses, we construct a computational model in which both the cell-like construct and the virus-like construct contain filamentous protein structures protruding from their surfaces. We then study the impact of these additional degrees of freedom on viral wrapping. We find that cells with an optimal density of filamentous extracellular components (ECCs) are more likely to be infected as they uptake the virus faster and use relatively less cell surface area per individual virus. At the optimal density, the cell surface folds around the virus, and folds are faster and more efficient at wrapping the virus than crumple-like wrapping. We also find that cell surface bending rigidity helps generate folds, as bending rigidity enhances force transmission across the surface. However, changing other mechanical parameters, such as the stretching stiffness of filamentous ECCs or virus spikes, can drive crumple-like formation of the cell surface. We conclude with the implications of our study on the evolutionary pressures of virus-like particles, with a particular focus on the cellular microenvironment that may include filamentous ECCs.


title: The Iterated Local Transitivity Model for Tournaments

abstract: A key generative principle within social and other complex networks is transitivity, where friends of friends are more likely friends. We propose a new model for highly dense complex networks based on transitivity, called the Iterated Local Transitivity Tournament (or ILTT) model. In ILTT and a dual version of the model, we iteratively apply the principle of transitivity to form new tournaments. The resulting models generate tournaments with small average distances as observed in real-world complex networks. We explore properties of small subtournaments or motifs in the ILTT model and study its graph-theoretic properties, such as Hamilton cycles, spectral properties, and domination numbers. We finish with a set of open problems and the next steps for the ILTT model.


title: Split Ways: Privacy-Preserving Training of Encrypted Data Using Split Learning

abstract: Split Learning (SL) is a new collaborative learning technique that allows participants, e.g. a client and a server, to train machine learning models without the client sharing raw data. In this setting, the client initially applies its part of the machine learning model on the raw data to generate activation maps and then sends them to the server to continue the training process. Previous works in the field demonstrated that reconstructing activation maps could result in privacy leakage of client data. In addition to that, existing mitigation techniques that overcome the privacy leakage of SL prove to be significantly worse in terms of accuracy. In this paper, we improve upon previous works by constructing a protocol based on U-shaped SL that can operate on homomorphically encrypted data. More precisely, in our approach, the client applies Homomorphic Encryption (HE) on the activation maps before sending them to the server, thus protecting user privacy. This is an important improvement that reduces privacy leakage in comparison to other SL-based works. Finally, our results show that, with the optimum set of parameters, training with HE data in the U-shaped SL setting only reduces accuracy by 2.65% compared to training on plaintext. In addition, raw training data privacy is preserved.


title: Is Boeing 737-MAX Still Safe? Analysis and Prevention of MCAS-Induced Crashes

abstract: Semi-autonomous (SA) systems face the problem of deciding whether to select control input from the human operator or autonomous controller when they conflict with each other. While one may design an SA system to default to accepting control from one or the other, such design choices can have catastrophic consequences in safety-critical settings. For instance, the sensors an autonomous controller relies upon may provide incorrect information about the environment due to tampering or natural wear. On the other hand, the human operator may also provide dangerous input. This begs an important question: Can we convert an existing SA system to make dynamic real-time control decisions that are tolerant of erroneous/malicious input? To explore this question in this paper, we investigate a specific application of an SA system that failed due to a static assignment of control authority. Namely, the well-publicized failure of the Boeing 737-MAX Maneuvering Characteristics Augmentation System (MCAS) that caused the crashes of Lion Air Flight 610 and Ethiopian Airlines Flight 302. First, through in-depth real-time simulation, we analyze and demonstrate the ease by which the original MCAS design could fail. Our analysis reveals several novel vectors of failure that were not present in the original crashes. We also analyze Boeing's revised MCAS and show how it falls short of its intended goals. Using these insights, we present Semi-Autonomous MCAS (SA-MCAS), a new MCAS that both meets the intended goals of MCAS and avoids the failure cases that plagued the original MCAS design. We demonstrate SA-MCAS's ability to make correct control decisions of the aircraft, even when the human and autonomous operators provide conflicting control inputs.


title: Multitwists in big mapping class groups

abstract: We show that the closure of the compactly supported mapping class group of an infinite-type surface is not generated by the collection of multitwists (i.e. products of powers of twists about disjoint non-accumulating curves).


title: GBOSE: Generalized Bandit Orthogonalized Semiparametric Estimation

abstract: In sequential decision-making scenarios i.e., mobile health recommendation systems revenue management contextual multi-armed bandit algorithms have garnered attention for their performance. But most of the existing algorithms are built on the assumption of a strictly parametric reward model mostly linear in nature. In this work we propose a new algorithm with a semi-parametric reward model with state-of-the-art complexity of upper bound on regret amongst existing semi-parametric algorithms. Our work expands the scope of another representative algorithm of state-of-the-art complexity with a similar reward model by proposing an algorithm built upon the same action filtering procedures but provides explicit action selection distribution for scenarios involving more than two arms at a particular time step while requiring fewer computations. We derive the said complexity of the upper bound on regret and present simulation results that affirm our methods superiority out of all prevalent semi-parametric bandit algorithms for cases involving over two arms.


title: Estimation of mitral valve hinge point coordinates -- deep neural net for echocardiogram segmentation

abstract: Cardiac image segmentation is a powerful tool in regard to diagnostics and treatment of cardiovascular diseases. Purely feature-based detection of anatomical structures like the mitral valve is a laborious task due to specifically required feature engineering and is especially challenging in echocardiograms, because of their inherently low contrast and blurry boundaries between some anatomical structures. With the publication of further annotated medical datasets and the increase in GPU processing power, deep learning-based methods in medical image segmentation became more feasible in the past years. We propose a fully automatic detection method for mitral valve hinge points, which uses a U-Net based deep neural net to segment cardiac chambers in echocardiograms in a first step, and subsequently extracts the mitral valve hinge points from the resulting segmentations in a second step. Results measured with this automatic detection method were compared to reference coordinate values, which with median absolute hinge point coordinate errors of 1.35 mm for the x- (15-85 percentile range: [0.3 mm; 3.15 mm]) and 0.75 mm for the y- coordinate (15-85 percentile range: [0.15 mm; 1.88 mm]).


title: An Asynchronous Intensity Representation for Framed and Event Video Sources

abstract: Neuromorphic "event" cameras, designed to mimic the human vision system with asynchronous sensing, unlock a new realm of high-speed and high dynamic range applications. However, researchers often either revert to a framed representation of event data for applications, or build bespoke applications for a particular camera's event data type. To usher in the next era of video systems, accommodate new event camera designs, and explore the benefits to asynchronous video in classical applications, we argue that there is a need for an asynchronous, source-agnostic video representation. In this paper, we introduce a novel, asynchronous intensity representation for both framed and non-framed data sources. We show that our representation can increase intensity precision and greatly reduce the number of samples per pixel compared to grid-based representations. With framed sources, we demonstrate that by permitting a small amount of loss through the temporal averaging of similar pixel values, we can reduce our representational sample rate by more than half, while incurring a drop in VMAF quality score of only 4.5. We also demonstrate lower latency than the state-of-the-art method for fusing and transcoding framed and event camera data to an intensity representation, while maintaining $2000\times$ the temporal resolution. We argue that our method provides the computational efficiency and temporal granularity necessary to build real-time intensity-based applications for event cameras.


title: Visual Semantic Relatedness Dataset for Image Captioning

abstract: Modern image captioning system relies heavily on extracting knowledge from images to capture the concept of a static story. In this paper, we propose a textual visual context dataset for captioning, in which the publicly available dataset COCO Captions (Lin et al., 2014) has been extended with information about the scene (such as objects in the image). Since this information has a textual form, it can be used to leverage any NLP task, such as text similarity or semantic relation methods, into captioning systems, either as an end-to-end training strategy or a post-processing based approach.


title: ntLink: a toolkit for de novo genome assembly scaffolding and mapping using long reads

abstract: With the increasing affordability and accessibility of genome sequencing data, de novo genome assembly is an important first step to a wide variety of downstream studies and analyses. Therefore, bioinformatics tools that enable the generation of high-quality genome assemblies in a computationally efficient manner are essential. Recent developments in long-read sequencing technologies have greatly benefited genome assembly work, including scaffolding, by providing long-range evidence that can aid in resolving the challenging repetitive regions of complex genomes. ntLink is a flexible and resource-efficient genome scaffolding tool that utilizes long-read sequencing data to improve upon draft genome assemblies built from any sequencing technologies, including the same long reads. Instead of using read alignments to identify candidate joins, ntLink utilizes minimizer-based mappings to infer how input sequences should be ordered and oriented into scaffolds. Recent improvements to ntLink have added important features such as overlap detection, gap-filling and in-code scaffolding iterations. Here, we present three basic protocols demonstrating how to use each of these new features to yield highly contiguous genome assemblies, while still maintaining ntLink's proven computational efficiency. Further, as we illustrate in the alternate protocols, the lightweight minimizer-based mappings that enable ntLink scaffolding can also be utilized for other downstream applications, such as misassembly detection. With its modularity and multiple modes of execution, ntLink has broad benefit to the genomics community, from genome scaffolding and beyond. ntLink is an open-source project and is freely available from https://github.com/bcgsc/ntLink.


title: Controlling auxeticity in curved-beam metamaterials via a deep generative model

abstract: Lattice-based mechanical metamaterials are known to exhibit quite a unique mechanical behavior owing to their rational internal architecture. This includes unusual properties such as a negative Poisson's ratio, which can be easily tuned in reentrant-hexagonal metamaterials by adjusting the angles between beams. However, changing the angles also affects the overall dimensions of the unit cell. We show that by replacing traditional straight beams with curved ones, it is possible to control Poisson's ratio of reentrant-hexagonal metamaterials without affecting their overall dimensions. While the mechanical properties of these structures can be predicted through finite element simulations or, in some cases, analytically, many applications require to identify architectures with specific target properties. To solve this inverse problem, we introduce a deep learning framework for generating metamaterials with desired properties. By supplying the generative model with a guide structure in addition to the target properties, we are not only able to generate a large number of alternative architectures with the same properties, but also to express preference for a specific shape. Deep learning predictions together with experimental measurements prove that this approach allows us to accurately generate unit cells fitting specific properties for curved-beam metamaterials.


title: Self-averaging of digital memcomputing machines

abstract: Digital memcomputing machines (DMMs) are a new class of computing machines that employ non-quantum dynamical systems with memory to solve combinatorial optimization problems. Here, we show that the time to solution (TTS) of DMMs follows an inverse Gaussian distribution, with the TTS self-averaging with increasing problem size, irrespective of the problem they solve. We provide both an analytical understanding of this phenomenon and numerical evidence by solving instances of the 3-SAT (satisfiability) problem. The self-averaging property of DMMs with problem size implies that they are increasingly insensitive to the detailed features of the instances they solve. This is in sharp contrast to traditional algorithms applied to the same problems, illustrating another advantage of this physics-based approach to computation.


title: Causal Inference under Data Restrictions

abstract: This dissertation focuses on modern causal inference under uncertainty and data restrictions, with applications to neoadjuvant clinical trials, distributed data networks, and robust individualized decision making. In the first project, we propose a method under the principal stratification framework to identify and estimate the average treatment effects on a binary outcome, conditional on the counterfactual status of a post-treatment intermediate response. Under mild assumptions, the treatment effect of interest can be identified. We extend the approach to address censored outcome data. The proposed method is applied to a neoadjuvant clinical trial and its performance is evaluated via simulation studies. In the second project, we propose a tree-based model averaging approach to improve the estimation accuracy of conditional average treatment effects at a target site by leveraging models derived from other potentially heterogeneous sites, without them sharing subject-level data. The performance of this approach is demonstrated by a study of the causal effects of oxygen therapy on hospital survival rates and backed up by comprehensive simulations. In the third project, we propose a robust individualized decision learning framework with sensitive variables to improve the worst-case outcomes of individuals caused by sensitive variables that are unavailable at the time of decision. Unlike most existing work that uses mean-optimal objectives, we propose a robust learning framework by finding a newly defined quantile- or infimum-optimal decision rule. From a causal perspective, we also generalize the classic notion of (average) fairness to conditional fairness for individual subjects. The reliable performance of the proposed method is demonstrated through synthetic experiments and three real-data applications.


title: Active Learning of Piecewise Gaussian Process Surrogates

abstract: Active learning of Gaussian process (GP) surrogates has been useful for optimizing experimental designs for physical/computer simulation experiments, and for steering data acquisition schemes in machine learning. In this paper, we develop a method for active learning of piecewise, Jump GP surrogates. Jump GPs are continuous within, but discontinuous across, regions of a design space, as required for applications spanning autonomous materials design, configuration of smart factory systems, and many others. Although our active learning heuristics are appropriated from strategies originally designed for ordinary GPs, we demonstrate that additionally accounting for model bias, as opposed to the usual model uncertainty, is essential in the Jump GP context. Toward that end, we develop an estimator for bias and variance of Jump GP models. Illustrations, and evidence of the advantage of our proposed methods, are provided on a suite of synthetic benchmarks, and real-simulation experiments of varying complexity.


title: On the optimal measurement of conversion gain in the presence of dark noise

abstract: Working from a model of Gaussian pixel noise, we present and unify over twenty-five years of developments in the statistical analysis of the photon transfer conversion gain measurement. We then study a two-sample estimator of the conversion gain that accounts for the general case of non-negligible dark noise. The moments of this estimator are ill-defined (their integral representations diverge) and so we propose a method for assigning pseudomoments, which are shown to agree with actual sample moments under mild conditions. A definition of optimal sample size pairs for this two-sample estimator is proposed and used to find approximate optimal sample size pairs that allow experimenters to achieve a predetermined measurement uncertainty with as little data as possible. The conditions under which these approximations hold are also discussed. Design and control of experiment procedures are developed and used to optimally estimate a per-pixel conversion gain map of a real image sensor. Experimental results show excellent agreement with theoretical predictions and are backed up with Monte Carlo simulation. The per-pixel conversion gain estimates are then applied in a demonstration of per-pixel read noise estimation of the same image sensor. The results of this work open the door to a comprehensive pixel-level adaptation of the photon transfer method.


title: Multiplicity results for generalized quasilinear critical Schr\"odinger equations in R^N

abstract: Multiplicity results are proved for solutions both with positive and negative energy, as well as nonexistence results, of a generalized quasilinear Schr\"odinger potential free equation in the entire R^N involving a nonlinearity which combines a power-type term at a critical level with a subcritical term, both with weights. The equation has been derived from models of several physical phenomena such as superfluid film in plasma physics as well as the self-channelling of a high-power ultra-short laser in matter. Proof techniques, also in the symmetric setting, are based on variational tools, including concentration compactness principles, to overcome lack of compactness, and the use of a change of variable in order to deal with a well defined functional.


title: Inherent Limits on Topology-Based Link Prediction

abstract: Link prediction systems (e.g. recommender systems) typically use graph topology as one of their main sources of information. However, automorphisms and related properties of graphs beget inherent limits in predictability. We calculate hard upper bounds on how well graph topology alone enables link prediction for a wide variety of real-world graphs. We find that in the sparsest of these graphs the upper bounds are surprisingly low, thereby demonstrating that prediction systems on sparse graph data are inherently limited and require information in addition to the graph topology.


title: On left legal semigroups

abstract: In this paper we study semigroups satisfying the identity $aba=ab$.


title: Robot Skill Learning Via Classical Robotics-Based Generated Datasets: Advantages, Disadvantages, and Future Improvement

abstract: Why do we not profit from our long-existing classical robotics knowledge and look for some alternative way for data collection? The situation ignoring all existing methods might be such a waste. This article argues that a dataset created using a classical robotics algorithm is a crucial part of future development. This developed classic algorithm has a perfect domain adaptation and generalization property, and most importantly, collecting datasets based on them is quite easy. It is well known that current robot skill-learning approaches perform exceptionally badly in the unseen domain, and their performance against adversarial attacks is quite limited as long as they do not have a very exclusive big dataset. Our experiment is the initial steps of using a dataset created by classical robotics codes. Our experiment investigated possible trajectory collection based on classical robotics. It addressed some advantages and disadvantages and pointed out other future development ideas.


title: Evaluating the Possibility of Integrating Augmented Reality and Internet of Things Technologies to Help Patients with Alzheimer's Disease

abstract: People suffering from Alzheimer's disease (AD) and their caregivers seek different approaches to cope with memory loss. Although AD patients want to live independently, they often need help from caregivers. In this situation, caregivers may attach notes on every single object or take out the contents of a drawer to make them visible before leaving the patient alone at home. This study reports preliminary results on an Ambient Assisted Living (AAL) real-time system, achieved through the Internet of Things (IoT) and Augmented Reality (AR) concepts, aimed at helping people suffering from AD. The system has two main sections: the smartphone or windows application allows caregivers to monitor patients' status at home and be notified if patients are at risk. The second part allows patients to use smart glasses to recognize QR codes in the environment and receive information related to tags in the form of audio, text, or three-dimensional image. This work presents preliminary results and investigates the possibility of implementing such a system.


title: User Trajectory Prediction in Mobile Wireless Networks Using Quantum Reservoir Computing

abstract: This paper applies a quantum machine learning technique to predict mobile users' trajectories in mobile wireless networks using an approach called quantum reservoir computing (QRC). Mobile users' trajectories prediction belongs to the task of temporal information processing and it is a mobility management problem that is essential for self-organizing and autonomous 6G networks. Our aim is to accurately predict the future positions of mobile users in wireless networks using QRC. To do so, we use a real-world time series dataset to model mobile users' trajectories. The QRC approach has two components: reservoir computing (RC) and quantum computing (QC). In RC, the training is more computational-efficient than the training of simple recurrent neural networks (RNN) since, in RC, only the weights of the output layer are trainable. The internal part of RC is what is called the reservoir. For the RC to perform well, the weights of the reservoir should be chosen carefully to create highly complex and nonlinear dynamics. The QC is used to create such dynamical reservoir that maps the input time series into higher dimensional computational space composed of dynamical states. After obtaining the high-dimensional dynamical states, a simple linear regression is performed to train the output weights and thus the prediction of the mobile users' trajectories can be performed efficiently. In this paper, we apply a QRC approach based on the Hamiltonian time evolution of a quantum system. We simulate the time evolution using IBM gate-based quantum computers and we show in the experimental results that the use of QRC to predict the mobile users' trajectories with only a few qubits is efficient and is able to outperform the classical approaches such as the long short-term memory (LSTM) approach and the echo-state networks (ESN) approach.


title: When do Default Nudges Work?

abstract: Nudging is a burgeoning topic in science and in policy, but evidence on the effectiveness of nudges among differentially-incentivized groups is lacking. This paper exploits regional variations in the roll-out of the Covid-19 vaccine in Sweden to examine the effect of a nudge on groups whose intrinsic incentives are different: 16-17-year-olds, for whom Covid-19 is not dangerous, and 50-59-year-olds, who face a substantial risk of death or severe dis-ease. We find a significantly stronger response in the younger group, consistent with the theory that nudges are more effective for choices that are not meaningful to the individual.


title: DeepCOVID-Fuse: A Multi-modality Deep Learning Model Fusing Chest X-Radiographs and Clinical Variables to Predict COVID-19 Risk Levels

abstract: Propose: To present DeepCOVID-Fuse, a deep learning fusion model to predict risk levels in patients with confirmed coronavirus disease 2019 (COVID-19) and to evaluate the performance of pre-trained fusion models on full or partial combination of chest x-ray (CXRs) or chest radiograph and clinical variables. Materials and Methods: The initial CXRs, clinical variables and outcomes (i.e., mortality, intubation, hospital length of stay, ICU admission) were collected from February 2020 to April 2020 with reverse-transcription polymerase chain reaction (RT-PCR) test results as the reference standard. The risk level was determined by the outcome. The fusion model was trained on 1657 patients (Age: 58.30 +/- 17.74; Female: 807) and validated on 428 patients (56.41 +/- 17.03; 190) from Northwestern Memorial HealthCare system and was tested on 439 patients (56.51 +/- 17.78; 205) from a single holdout hospital. Performance of pre-trained fusion models on full or partial modalities were compared on the test set using the DeLong test for the area under the receiver operating characteristic curve (AUC) and the McNemar test for accuracy, precision, recall and F1. Results: The accuracy of DeepCOVID-Fuse trained on CXRs and clinical variables is 0.658, with an AUC of 0.842, which significantly outperformed (p < 0.05) models trained only on CXRs with an accuracy of 0.621 and AUC of 0.807 and only on clinical variables with an accuracy of 0.440 and AUC of 0.502. The pre-trained fusion model with only CXRs as input increases accuracy to 0.632 and AUC to 0.813 and with only clinical variables as input increases accuracy to 0.539 and AUC to 0.733. Conclusion: The fusion model learns better feature representations across different modalities during training and achieves good outcome predictions even when only some of the modalities are used in testing.


title: Accurately summarizing an outbreak using epidemiological models takes time

abstract: Recent outbreaks of monkeypox and Ebola, and worrying waves of COVID-19, influenza and respiratory syncytial virus, have all led to a sharp increase in the use of epidemiological models to estimate key epidemiological parameters. The feasibility of this estimation task is known as the practical identifiability (PI) problem. Here, we investigate the PI of eight commonly reported statistics of the classic Susceptible-Infectious-Recovered model using a new measure that shows how much a researcher can expect to learn in a model-based Bayesian analysis of prevalence data. Our findings show that the basic reproductive number and final outbreak size are often poorly identified, with learning exceeding that of individual model parameters only in the early stages of an outbreak. The peak intensity, peak timing, and initial growth rate are better identified, being in expectation over 20 times more probable having seen the data by the time the underlying outbreak peaks. We then test PI for a variety of true parameter combinations, and find that PI is especially problematic in slow-growing or less-severe outbreaks. These results add to the growing body of literature questioning the reliability of inferences from epidemiological models when limited data are available.

categories: q-bio.PE math.DS physics.data-an physics.soc-ph stat.ME


title: In-situ Water quality monitoring in Oil and Gas operations

abstract: From agriculture to mining, to energy, surface water quality monitoring is an essential task. As oil and gas operators work to reduce the consumption of freshwater, it is increasingly important to actively manage fresh and non-fresh water resources over the long term. For large-scale monitoring, manual sampling at many sites has become too time-consuming and unsustainable, given the sheer number of dispersed ponds, small lakes, playas, and wetlands over a large area. Therefore, satellite-based environmental monitoring presents great potential. Many existing satellite-based monitoring studies utilize index-based methods to monitor large water bodies such as rivers and oceans. However, these existing methods fail when monitoring small ponds-the reflectance signal received from small water bodies is too weak to detect. To address this challenge, we propose a new Water Quality Enhanced Index (WQEI) Model, which is designed to enable users to determine contamination levels in water bodies with weak reflectance patterns. Our results show that 1) WQEI is a good indicator of water turbidity validated with 1200 water samples measured in the laboratory, and 2) by applying our method to commonly available satellite data (e.g. LandSat8), one can achieve high accuracy water quality monitoring efficiently in large regions. This provides a tool for operators to optimize the quality of water stored within surface storage ponds and increasing the readiness and availability of non-fresh water.


title: Information Retrieval: Recent Advances and Beyond

abstract: In this paper, we provide a detailed overview of the models used for information retrieval in the first and second stages of the typical processing chain. We discuss the current state-of-the-art models, including methods based on terms, semantic retrieval, and neural. Additionally, we delve into the key topics related to the learning process of these models. This way, this survey offers a comprehensive understanding of the field and is of interest for for researchers and practitioners entering/working in the information retrieval domain.


title: Impact of PCA-based preprocessing and different CNN structures on deformable registration of sonograms

abstract: Central venous catheters (CVC) are commonly inserted into the large veins of the neck, e.g. the internal jugular vein (IJV). CVC insertion may cause serious complications like misplacement into an artery or perforation of cervical vessels. Placing a CVC under sonographic guidance is an appropriate method to reduce such adverse events, if anatomical landmarks like venous and arterial vessels can be detected reliably. This task shall be solved by registration of patient individual images vs. an anatomically labelled reference image. In this work, a linear, affine transformation is performed on cervical sonograms, followed by a non-linear transformation to achieve a more precise registration. Voxelmorph (VM), a learning-based library for deformable image registration using a convolutional neural network (CNN) with U-Net structure was used for non-linear transformation. The impact of principal component analysis (PCA)-based pre-denoising of patient individual images, as well as the impact of modified net structures with differing complexities on registration results were examined visually and quantitatively, the latter using metrics for deformation and image similarity. Using the PCA-approximated cervical sonograms resulted in decreased mean deformation lengths between 18% and 66% compared to their original image counterparts, depending on net structure. In addition, reducing the number of convolutional layers led to improved image similarity with PCA images, while worsening in original images. Despite a large reduction of network parameters, no overall decrease in registration quality was observed, leading to the conclusion that the original net structure is oversized for the task at hand.


title: Modeling COVID-19 pandemic with financial markets models: The case of Ja\'en (Spain)

abstract: The main objective of this work is to test whether some stochastic models typically used in financial markets could be applied to the COVID-19 pandemic. To this end we have implemented the ARIMAX and Cox-Ingersoll-Ross (CIR) models originally designed for interest rate pricing but transformed by us into a forecasting tool. For the latter, which we denoted CIR*, both the Euler-Maruyama method and the Milstein method were used. Forecasts obtained with the maximum likelihood method have been validated with 95\% confidence intervals and with statistical measures of goodness of fit, such as the root mean square error (RMSE). We demonstrate that the accuracy of the obtained results is consistent with the observations and sufficiently accurate to the point that the proposed CIR* framework could be considered a valid alternative to the classical ARIMAX for modelling pandemics.


title: Bound states in the continuum in subwavelength emitter arrays

abstract: Ordered lattices of emitters with subwavelength periodicities support unconventional forms of light-matter interactions arising from collective effects. Here, we propose the realization and control of subradiant optical states within the radiation continuum in two-dimensional lattices. We show how bound states in the continuum (BICs) which are completely decoupled from radiative states emerge in non-Bravais lattices of emitters. Symmetry breaking results in quasi-BICs with greatly extended lifetimes, which can be exploited for quantum information storage. The analytical derivation of a generalized effective polarizability tensor allows us to study the optical response of these arrays. We discuss how thanks to the quasi-BICs, a rich phenomenology takes place in the reflectivity spectrum, with asymmetric Fano resonances and an electromagnetically induced transparency window. Finally, we exploit these lattices as quantum metasurfaces acting as efficient light polarizers.


title: Low frequency seismic responses and the challenge for acquisition

abstract: Low frequency seismic responses have considerably different characteristics than conventional band responses and require acquisition technologies that are capable of meeting far greater requirements. Seismic sources must deliver forces at lower frequencies that are considerably larger than the forces delivered by modern sources at conventional band frequencies in order to achieve comparable signal-to-noise ratios for many traditional interface-related seismic responses. Source efforts that are only comparable to conventional band source efforts are not adequate. Low frequency seismic responses from certain non-interface related impedance changes may be greater, but still require improved low frequency seismic sources.


title: TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts

abstract: Ethereum is a permissionless blockchain ecosystem that supports execution of smart contracts, the key enablers of decentralized finance (DeFi) and non-fungible tokens (NFT). However, the expressiveness of Ethereum smart contracts is a double-edged sword: while it enables blockchain programmability, it also introduces security vulnerabilities, i.e., the exploitable discrepancies between expected and actual behaviors of the contract code. To address these discrepancies and increase the vulnerability coverage, we propose a new smart contract security testing approach called transaction encapsulation. The core idea lies in the local execution of transactions on a fully-synchronized yet isolated Ethereum node, which creates a preview of outcomes of transaction sequences on the current state of blockchain. This approach poses a critical technical challenge -- the well-known time-of-check/time-of-use (TOCTOU) problem, i.e., the assurance that the final transactions will exhibit the same execution paths as the encapsulated test transactions. In this work, we determine the exact conditions for guaranteed execution path replicability of the tested transactions, and implement a transaction testing tool, TxT, which reveals the actual outcomes of Ethereum transactions. To ensure the correctness of testing, TxT deterministically verifies whether a given sequence of transactions ensues an identical execution path on the current state of blockchain. We analyze over 1.3 billion Ethereum transactions and determine that 96.5% of them can be verified by TxT. We further show that TxT successfully reveals the suspicious behaviors associated with 31 out of 37 vulnerabilities (83.8% coverage) in the smart contract weakness classification (SWC) registry. In comparison, the vulnerability coverage of all the existing defense approaches combined only reaches 40.5%.


title: 4-clique Network Minor Embedding for Quantum Annealers

abstract: Quantum annealing is a quantum algorithm for computing solutions to combinatorial optimization problems. This study proposes a method for minor embedding optimization problems onto sparse quantum annealing hardware graphs called 4-clique network minor embedding. This method is in contrast to the standard minor embedding technique of using a path of linearly connected qubits in order to represent a logical variable state. The 4-clique minor embedding is possible on Pegasus graph connectivity, which is the native hardware graph for some of the current D-Wave quantum annealers. The Pegasus hardware graph contains many cliques of size 4, making it possible to form a graph composed entirely of paths of connected 4-cliques on which a problem can be minor embedded. The 4-clique chains come at the cost of additional qubit usage on the hardware graph, but they allow for stronger coupling within each chain thereby increasing chain integrity, reducing chain breaks, and allow for greater usage of the available energy scale for programming logical problem coefficients on current quantum annealers. The 4-clique minor embedding technique is compared against the standard linear path minor embedding with experiments on two D-Wave quantum annealing processors with Pegasus hardware graphs. We show proof of concept experiments where the 4-clique minor embeddings can use weak chain strengths while successfully carrying out the computation of minimizing random all-to-all spin glass problem instances.


title: Cooperation in crowd work: Attitude and perception of freelancers on a knowledge work platform

abstract: Existing literature predominantly focuses on how freelancers individually complete tasks and projects. Our study examines freelancers' willingness to work collaboratively. We report results from a survey of 122 freelancers on a leading online labor market platform (Upwork) and examine freelancers' preferences for collaboration and explore several antecedents of cooperative behaviors. We then test if actual cooperative behavior matches with freelancers' stated preferences through an incentivized social dilemma experiment. We find that respondents cooperate at a higher rate (85%) than reported in previous comparable studies (between 50-75%). This high rate of cooperation may be explained by an ingroup bias. Using a sequential mediation model we demonstrate the importance of a sense of shared expectations and accountability for cooperation. We contribute to a better understanding of the potential for collaborative work on online labor market platforms by assessing if and what social factors and collective culture exist among freelancers. We discuss the implications of our results for platform designers by highlighting the importance of platform features that promote shared expectations and improve accountability. Overall, contrary to existing literature and predictions, our results suggest that freelancers in our sample display traits that are more consistent with belonging to a coherent group with a shared collective culture, rather than being anonymous actors in a transaction-based market.


title: Functional-analytical reconstruction of high contrast inhomogeneities

abstract: In practice of acoustic tomography, for example, in medical applications and ocean tomography, the relative deviation of sound speed from its background value usually does not exceed 10-30%. At the same time, in electromagnetic applications, the equivalent contrasts can be noticeably higher than 60%. Since the inverse electromagnetic problem can be reduced in some approximation to Helmholtz equation, a formal comparison of reconstruction results obtained for different "acoustic" contrast and corresponding "dielectric" contrast is possible. In this work examples of such reconstructions are presented, which were obtained by using the functional-analytical algorithm described in works of R.G. Novikov. Previously, the advantages of this algorithm for solving practical problems of acoustic tomography were demonstrated. Results obtained in the present work show that functional-analytical algorithm can also be applied to reconstructing inhomogeneities with high "dielectric" contrast. Moreover, the functional algorithm also perfectly reconstructs very small "dielectric" contrast, recovering of which can be difficult for other approaches due to weak backscattering.


title: Phoneme-Level BERT for Enhanced Prosody of Text-to-Speech with Grapheme Predictions

abstract: Large-scale pre-trained language models have been shown to be helpful in improving the naturalness of text-to-speech (TTS) models by enabling them to produce more naturalistic prosodic patterns. However, these models are usually word-level or sup-phoneme-level and jointly trained with phonemes, making them inefficient for the downstream TTS task where only phonemes are needed. In this work, we propose a phoneme-level BERT (PL-BERT) with a pretext task of predicting the corresponding graphemes along with the regular masked phoneme predictions. Subjective evaluations show that our phoneme-level BERT encoder has significantly improved the mean opinion scores (MOS) of rated naturalness of synthesized speech compared with the state-of-the-art (SOTA) StyleTTS baseline on out-of-distribution (OOD) texts.


title: Differential Privacy in Cooperative Multiagent Planning

abstract: Privacy-aware multiagent systems must protect agents' sensitive data while simultaneously ensuring that agents accomplish their shared objectives. Towards this goal, we propose a framework to privatize inter-agent communications in cooperative multiagent decision-making problems. We study sequential decision-making problems formulated as cooperative Markov games with reach-avoid objectives. We apply a differential privacy mechanism to privatize agents' communicated symbolic state trajectories, and then we analyze tradeoffs between the strength of privacy and the team's performance. For a given level of privacy, this tradeoff is shown to depend critically upon the total correlation among agents' state-action processes. We synthesize policies that are robust to privacy by reducing the value of the total correlation. Numerical experiments demonstrate that the team's performance under these policies decreases by only 3 percent when comparing private versus non-private implementations of communication. By contrast, the team's performance decreases by roughly 86 percent when using baseline policies that ignore total correlation and only optimize team performance.


title: A Hamiltonian and geometric formulation of general Vlasov-Maxwell-type models

abstract: Three geometric formulations of the Hamiltonian structure of the macroscopic Maxwell equations are given: one in terms of the double de Rham complex, one in terms of L2 duality, and one utilizing an abstract notion of duality. The final of these is used to express the geometric and Hamiltonian structure of kinetic theories in general media. The Poisson bracket so stated is explicitly metric free. Finally, as a special case, the Lorentz covariance of such kinetic theories is investigated. We obtain a Lorentz covariant kinetic theory coupled to nonlinear electrodynamics such as Born-Infeld or Euler-Heisenberg electrodynamics.


title: Representations of Materials for Machine Learning

abstract: High-throughput data generation methods and machine learning (ML) algorithms have given rise to a new era of computational materials science by learning relationships among composition, structure, and properties and by exploiting such relations for design. However, to build these connections, materials data must be translated into a numerical form, called a representation, that can be processed by a machine learning model. Datasets in materials science vary in format (ranging from images to spectra), size, and fidelity. Predictive models vary in scope and property of interests. Here, we review context-dependent strategies for constructing representations that enable the use of materials as inputs or outputs of machine learning models. Furthermore, we discuss how modern ML techniques can learn representations from data and transfer chemical and physical information between tasks. Finally, we outline high-impact questions that have not been fully resolved and thus, require further investigation.


title: Integration of Data Driven Technologies in Smart Grids for Resilient and Sustainable Smart Cities: A Comprehensive Review

abstract: A modern-day society demands resilient, reliable, and smart urban infrastructure for effective and in telligent operations and deployment. However, unexpected, high-impact, and low-probability events such as earthquakes, tsunamis, tornadoes, and hurricanes make the design of such robust infrastructure more complex. As a result of such events, a power system infrastructure can be severely affected, leading to unprecedented events, such as blackouts. Nevertheless, the integration of smart grids into the existing framework of smart cities adds to their resilience. Therefore, designing a resilient and reliable power system network is an inevitable requirement of modern smart city infras tructure. With the deployment of the Internet of Things (IoT), smart cities infrastructures have taken a transformational turn towards introducing technologies that do not only provide ease and comfort to the citizens but are also feasible in terms of sustainability and dependability. This paper presents a holistic view of a resilient and sustainable smart city architecture that utilizes IoT, big data analytics, unmanned aerial vehicles, and smart grids through intelligent integration of renew able energy resources. In addition, the impact of disasters on the power system infrastructure is investigated and different types of optimization techniques that can be used to sustain the power flow in the network during disturbances are compared and analyzed. Furthermore, a comparative review analysis of different data-driven machine learning techniques for sustainable smart cities is performed along with the discussion on open research issues and challenges.


title: DiffusionCT: Latent Diffusion Model for CT Image Standardization

abstract: Computed tomography (CT) is one of the modalities for effective lung cancer screening, diagnosis, treatment, and prognosis. The features extracted from CT images are now used to quantify spatial and temporal variations in tumors. However, CT images obtained from various scanners with customized acquisition protocols may introduce considerable variations in texture features, even for the same patient. This presents a fundamental challenge to downstream studies that require consistent and reliable feature analysis. Existing CT image harmonization models rely on GAN-based supervised or semi-supervised learning, with limited performance. This work addresses the issue of CT image harmonization using a new diffusion-based model, named DiffusionCT, to standardize CT images acquired from different vendors and protocols. DiffusionCT operates in the latent space by mapping a latent non-standard distribution into a standard one. DiffusionCT incorporates an Unet-based encoder-decoder, augmented by a diffusion model integrated into the bottleneck part. The model is designed in two training phases. The encoder-decoder is first trained, without embedding the diffusion model, to learn the latent representation of the input data. The latent diffusion model is then trained in the next training phase while fixing the encoder-decoder. Finally, the decoder synthesizes a standardized image with the transformed latent representation. The experimental results demonstrate a significant improvement in the performance of the standardization task using DiffusionCT.


title: Tidally perturbed g-mode pulsations in a sample of close eclipsing binaries

abstract: Context. Thanks to the high-precision photometry from space missions such as Kepler and TESS, tidal perturbations and tilting of pulsations have been detected in more than a dozen binary systems. However, only two of these were g-mode pulsators. Aims. We aim to detect tidally perturbed g modes in additional binary systems and characterise them observationally. Methods. We perform a custom data reduction of the available Kepler and TESS photometry of a well-studied sample of 35 binary systems with gamma Doradus pulsators. For each target, we model the binary signal using a sum of 100 sine waves, with frequencies at orbital harmonics, and measure significant pulsation frequencies by iteratively prewhitening the residual light curve. Pulsations are labelled as tidally perturbed g modes if they are part of both period-spacing patterns and orbital-frequency-spaced multiplets. After visual inspection and confirmation, the properties of these targets and g modes are characterised. Results. We detect tidally perturbed g-mode pulsations for five short-period binaries that are circularised and (almost) synchronously rotating: KIC3228863, KIC3341457, KIC4947528, KIC9108579, and KIC12785282. Tidally perturbed g modes that occur within the same star and have the same mode identification (k,m), are found to have near-identical relative amplitude and phase modulations, which are within their respective 1-sigma uncertainties also identical for the Kepler and TESS photometric passbands. By contrast, pulsations with different mode identification (k,m) are found to exhibit different modulations. Moreover, the observed amplitude and phase modulations are correlated, indicating that the binary tides primarily distort g-mode amplitudes on the stellar surface. The phase modulations are then primarily a geometric effect of the integration of the stellar flux over the visible stellar surface. (abbreviated)


title: Document Summarization with Text Segmentation

abstract: In this paper, we exploit the innate document segment structure for improving the extractive summarization task. We build two text segmentation models and find the most optimal strategy to introduce their output predictions in an extractive summarization model. Experimental results on a corpus of scientific articles show that extractive summarization benefits from using a highly accurate segmentation method. In particular, most of the improvement is in documents where the most relevant information is not at the beginning thus, we conclude that segmentation helps in reducing the lead bias problem.


title: The $m$-weak core inverse

abstract: Since the day the core inverse has been known in a paper of Bakasarly and Trenkler, it has been widely researched. So far, there are four generalizations of this inverse for the case of matrices of an arbitrary index, namely, the BT inverse, the DMP inverse, the core-EP inverse and the WC inverse. In this paper we introduce a new type of generalized inverse for a matrix of arbitrary index to be called $m$-weak core inverse which generalizes the core-EP inverse, the WC inverse, and therefore the core inverse. We study several properties and characterizations of the $m$-weak core inverse by using matrix decompositions.


title: Collected Notes on Aldrich-Mckelevey Scaling

abstract: Aldrich-McKelvey scaling is a method for correcting differential item functioning in ordered rating scales of perceived ideological positions in surveys. In this collection of notes, I present four findings. First, I show that similarly to ordinary least squares, Aldrich-McKelvey scaling can be improved with the use of QR decomposition during the estimation stage. While in theory this might improve accuracy, in practice the main advantage is to retain respondents otherwise lost in the estimation stage. Second, I show that this method leads to a proof of an identification constraint of Aldrich-McKelvey scaling: a minimum of three external stimuli. Third, I show that the common motivation for Aldrich-McKelvey scaling that it is robust to heteroskedasticity as compared to taking the means does not hold up. A review of the literature of prediction aggregation shows taking the mean is equally as robust. However, Aldrich-McKelvey scaling remains robust to rationalization bias and is transparent in its assumptions. Finally, I show that the setup of Bayesian Aldrich-McKelvey Scaling and Aldrich-McKelvey scaling differ from each other in their parameterisation. This is not commonly acknowledged in the literature, and new users of these methods should be aware.


title: Moir\'e patterns and inversion boundaries in graphene/hexagonal boron nitride bilayers

abstract: In this paper a systematic examination of graphene/hexagonal boron nitride (g/hBN) bilayers is presented, through a recently developed two-dimensional phase field crystal model that incorporates out-of-plane deformations. The system parameters are determined by closely matching the stacking energies and heights of graphene/hBN bilayers to those obtained from existing quantum-mechanical density functional theory calculations. Out-of-plane deformations are shown to reduce the energies of inversion domain boundaries in hBN, and the coupling between graphene and hBN layers leads to a bilayer defect configuration consisting of an inversion boundary in hBN and a domain wall in graphene. Simulations of twisted bilayers reveal the structure, energy, and elastic properties of the corresponding Moir\'e patterns, and show a crossover, as the misorientation angle between the layers increases, from a well-defined hexagonal network of domain boundaries and junctions to smeared-out patterns. The transition occurs when the thickness of domain walls approaches the size of the Moir\'e patterns, and coincides with the peaks in the average von Mises and volumetric stresses of the bilayer.


title: Electron Doping of a Double Perovskite Flat-band System

abstract: Electronic structure calculations indicate that the Sr2FeSbO6 double perovskite has a flat-band set just above the Fermi level that includes contributions from ordinary sub-bands with weak kinetic electron hopping plus a flat sub-band that can be attributed to the lattice geometry and orbital interference. To place the Fermi energy in that flat band, electron doped samples with formulas Sr2-xLaxFeSbO6 (0 < x < 0.3) were synthesized and their magnetism and ambient temperature crystal structures determined by high-resolution synchrotron X-ray powder diffraction. All materials appear to display an antiferromagnetic-like maximum in the magnetic susceptibility, but the dominant spin coupling evolves from antiferromagnetic to ferromagnetic on electron doping. Which of the three sub-bands or combinations is responsible for the behavior has not been determined.


title: Compact, Portable, Thermal-Noise-Limited Optical Cavity with Low Acceleration Sensitivity

abstract: We develop and demonstrate a compact (less than $6$ mL) portable Fabry-P\'{e}rot optical reference cavity. A laser locked to the cavity is thermal noise limited at $2\times10^{-14}$ fractional frequency stability. Broadband feedback control with an electro-optic modulator enables near thermal-noise-limited phase noise performance from $1$ Hz to $10$ kHz offset frequencies. The additional low vibration, temperature, and holding force sensitivity of our design makes it well suited for out-of-the-lab applications such as optically derived low noise microwave generation, compact and mobile optical atomic clocks, and environmental sensing through deployed fiber networks.


title: A staggered semi-implicit hybrid finite volume / finite element scheme for the shallow water equations at all Froude numbers

abstract: We present a novel staggered semi-implicit hybrid FV/FE method for the numerical solution of the shallow water equations at all Froude numbers on unstructured meshes. A semi-discretization in time of the conservative Saint-Venant equations with bottom friction terms leads to its decomposition into a first order hyperbolic subsystem containing the nonlinear convective term and a second order wave equation for the pressure. For the spatial discretization of the free surface elevation an unstructured mesh of triangular simplex elements is considered, whereas a dual grid of the edge-type is employed for the computation of the depth-averaged momentum vector. The first stage of the proposed algorithm consists in the solution of the nonlinear convective subsystem using an explicit Godunov-type FV method on the staggered grid. Next, a classical continuous FE scheme provides the free surface elevation at the vertex of the primal mesh. The semi-implicit strategy followed circumvents the contribution of the surface wave celerity to the CFL-type time step restriction making the proposed algorithm well-suited for low Froude number flows. The conservative formulation of the governing equations also allows the discretization of high Froude number flows with shock waves. As such, the new hybrid FV/FE scheme is able to deal simultaneously with both, subcritical as well as supercritical flows. Besides, the algorithm is well balanced by construction. The accuracy of the overall methodology is studied numerically and the C-property is proven theoretically and validated via numerical experiments. The solution of several Riemann problems attests the robustness of the new method to deal also with flows containing bores and discontinuities. Finally, a 3D dam break problem over a dry bottom is studied and our numerical results are successfully compared with numerical reference solutions and experimental data.


title: An Automated Vulnerability Detection Framework for Smart Contracts

abstract: With the increase of the adoption of blockchain technology in providing decentralized solutions to various problems, smart contracts have become more popular to the point that billions of US Dollars are currently exchanged every day through such technology. Meanwhile, various vulnerabilities in smart contracts have been exploited by attackers to steal cryptocurrencies worth millions of dollars. The automatic detection of smart contract vulnerabilities therefore is an essential research problem. Existing solutions to this problem particularly rely on human experts to define features or different rules to detect vulnerabilities. However, this often causes many vulnerabilities to be ignored, and they are inefficient in detecting new vulnerabilities. In this study, to overcome such challenges, we propose a framework to automatically detect vulnerabilities in smart contracts on the blockchain. More specifically, first, we utilize novel feature vector generation techniques from bytecode of smart contract since the source code of smart contracts are rarely available in public. Next, the collected vectors are fed into our novel metric learning-based deep neural network(DNN) to get the detection result. We conduct comprehensive experiments on large-scale benchmarks, and the quantitative results demonstrate the effectiveness and efficiency of our approach.


title: Bounding the Largest Inhomogeneous Approximation Constant

abstract: For a given irrational number $\alpha$ and a real number $\gamma$ in $(0,1)$ one defines the two-sided inhomogeneous approximation constant \begin{equation*} M(\alpha,\gamma):=\liminf_{|n|\rightarrow\infty}|n| ||n\alpha-\gamma||, \end{equation*} and the case of worst inhomogeneous approximation for $\alpha$ \begin{equation*} \rho(\alpha):=\sup_{\gamma\notin\mathbb{Z}+\alpha\mathbb{Z}}M(\alpha,\gamma). \end{equation*} We are interested in lower bounds on $\rho(\alpha)$ in terms of $R:=\liminf_{i\rightarrow\infty}a_i,$ where the $a_i$ are the partial quotients in the negative (i.e.\ the `round-up') continued fraction expansion of $\alpha$. We obtain bounds for any $R\geq 3$ which are best possible when $R$ is even (and asymptotically precise when $R$ is odd). In particular when $R\geq 3$ $$ \rho(\alpha)\geq \cfrac{1}{6\sqrt{3}+8}=\cfrac{1}{18.3923\dots}, $$ and when $R\geq 4$, optimally, $$ \rho(\alpha) \geq \cfrac{1}{4\sqrt{3}+2}=\cfrac{1}{8.9282\ldots}. $$