title: Expanding Language-Image Pretrained Models for General Video Recognition

abstract: Contrastive language-image pretraining has shown great success in learning visual-textual joint representation from web-scale data, demonstrating remarkable "zero-shot" generalization ability for various image tasks. However, how to effectively expand such new language-image pretraining methods to video domains is still an open problem. In this work, we present a simple yet effective approach that adapts the pretrained language-image models to video recognition directly, instead of pretraining a new model from scratch. More concretely, to capture the long-range dependencies of frames along the temporal dimension, we propose a cross-frame attention mechanism that explicitly exchanges information across frames. Such module is lightweight and can be plugged into pretrained language-image models seamlessly. Moreover, we propose a video-specific prompting scheme, which leverages video content information for generating discriminative textual prompts. Extensive experiments demonstrate that our approach is effective and can be generalized to different video recognition scenarios. In particular, under fully-supervised settings, our approach achieves a top-1 accuracy of 87.1% on Kinectics-400, while using 12 times fewer FLOPs compared with Swin-L and ViViT-H. In zero-shot experiments, our approach surpasses the current state-of-the-art methods by +7.6% and +14.9% in terms of top-1 accuracy under two popular protocols. In few-shot scenarios, our approach outperforms previous best methods by +32.1% and +23.1% when the labeled data is extremely limited. Code and models are available at https://aka.ms/X-CLIP


title: Occupancy Planes for Single-view RGB-D Human Reconstruction

abstract: Single-view RGB-D human reconstruction with implicit functions is often formulated as per-point classification. Specifically, a set of 3D locations within the view-frustum of the camera are first projected independently onto the image and a corresponding feature is subsequently extracted for each 3D location. The feature of each 3D location is then used to classify independently whether the corresponding 3D point is inside or outside the observed object. This procedure leads to sub-optimal results because correlations between predictions for neighboring locations are only taken into account implicitly via the extracted features. For more accurate results we propose the occupancy planes (OPlanes) representation, which enables to formulate single-view RGB-D human reconstruction as occupancy prediction on planes which slice through the camera's view frustum. Such a representation provides more flexibility than voxel grids and enables to better leverage correlations than per-point classification. On the challenging S3D data we observe a simple classifier based on the OPlanes representation to yield compelling results, especially in difficult situations with partial occlusions due to other objects and partial visibility, which haven't been addressed by prior work.


title: Common Synaptic Input, Synergies, and Size Principle: Control of Spinal Motor Neurons for Movement Generation

abstract: Understanding how movement is controlled by the central nervous system remains a major challenge, with ongoing debate about basic features underlying this control. In this review, we introduce a new conceptual framework for the distribution of common input to spinal motor neurons. Specifically, this framework is based on the following assumptions: 1) motor neurons are grouped into functional groups (clusters) based on the common inputs they receive; 2) clusters may significantly differ from the classical definition of motor neuron pools, such that they may span across muscles and/or involve only a portion of a muscle; 3) clusters represent functional modules used by the central nervous system to reduce the dimensionality of the control; and 4) selective volitional control of single motor neurons within a cluster receiving common inputs cannot be achieved. We discuss this framework and its underlying theoretical and experimental evidence.


title: Model Blending for Text Classification

abstract: Deep neural networks (DNNs) have proven successful in a wide variety of applications such as speech recognition and synthesis, computer vision, machine translation, and game playing, to name but a few. However, existing deep neural network models are computationally expensive and memory intensive, hindering their deployment in devices with low memory resources or in applications with strict latency requirements. Therefore, a natural thought is to perform model compression and acceleration in deep networks without significantly decreasing the model performance, which is what we call reducing the complexity. In the following work, we try reducing the complexity of state of the art LSTM models for natural language tasks such as text classification, by distilling their knowledge to CNN based models, thus reducing the inference time(or latency) during testing.


title: MOVE: Effective and Harmless Ownership Verification via Embedded External Features

abstract: Currently, deep neural networks (DNNs) are widely adopted in different applications. Despite its commercial values, training a well-performed DNN is resource-consuming. Accordingly, the well-trained model is valuable intellectual property for its owner. However, recent studies revealed the threats of model stealing, where the adversaries can obtain a function-similar copy of the victim model, even when they can only query the model. In this paper, we propose an effective and harmless model ownership verification (MOVE) to defend against different types of model stealing simultaneously, without introducing new security risks. In general, we conduct the ownership verification by verifying whether a suspicious model contains the knowledge of defender-specified external features. Specifically, we embed the external features by tempering a few training samples with style transfer. We then train a meta-classifier to determine whether a model is stolen from the victim. This approach is inspired by the understanding that the stolen models should contain the knowledge of features learned by the victim model. In particular, we develop our MOVE method under both white-box and black-box settings to provide comprehensive model protection. Extensive experiments on benchmark datasets verify the effectiveness of our method and its resistance to potential adaptive attacks. The codes for reproducing the main experiments of our method are available at \url{https://github.com/THUYimingLi/MOVE}.


title: Meta-learning from Learning Curves Challenge: Lessons learned from the First Round and Design of the Second Round

abstract: Meta-learning from learning curves is an important yet often neglected research area in the Machine Learning community. We introduce a series of Reinforcement Learning-based meta-learning challenges, in which an agent searches for the best suited algorithm for a given dataset, based on feedback of learning curves from the environment. The first round attracted participants both from academia and industry. This paper analyzes the results of the first round (accepted to the competition program of WCCI 2022), to draw insights into what makes a meta-learner successful at learning from learning curves. With the lessons learned from the first round and the feedback from the participants, we have designed the second round of our challenge with a new protocol and a new meta-dataset. The second round of our challenge is accepted at the AutoML-Conf 2022 and currently ongoing .


title: An empirical approach to selecting the first growing black hole seeds with JWST/NIRCam

abstract: The James Webb Space Telescope (JWST) will have the sensitivity to detect early low-mass black holes as they transition from "seeds" to supermassive black holes (BHs). Based on the JAGUAR mock catalog of galaxies, we present a clean color selection that takes advantage of the unique UV slope of accreting supermassive black holes with relatively low mass and high accretion rates. We show for a range of host stellar masses that those galaxies hosting $\sim 10^{6} M_{\odot}$ BHs radiating at >10% of their Eddington luminosity separate in color space from inactive systems. Here we propose a set of 3-band, 2-color selection boxes (with 90% completeness; 90% purity; balanced purity/completeness) with JWST/NIRCam to identify the most promising growing BH candidates at $z \sim 7-10$.


title: Stability of Hairy Black Holes in Shift-Symmetric Scalar-Tensor Theories via the Effective Field Theory Approach

abstract: Shift-symmetric Horndeski theories admit an interesting class of Schwarzschild-de Sitter black hole solutions exhibiting time-dependent scalar hair. The properties of these solutions may be studied via a bottom-up effective field theory (EFT) based on the background symmetries. This is in part possible by making use of a convenient coordinate choice -- Lema\^itre-type coordinates -- in which the profile of the Horndeski scalar field is linear in the relevant time coordinate. We construct this EFT, and use it to understand the stability of hairy black holes in shift-symmetric Horndeski theories, providing a set of constraints that the otherwise-free functions appearing in the Horndeski Lagrangian must satisfy in order to admit stable black hole solutions. The EFT is analyzed in the decoupling limit to understand potential sources of instability. We also perform a complete analysis of the EFT with odd-parity linear perturbations around general spherically symmetric space-time.


title: Tests of photometry: the case of the NGC 3370 ACS field

abstract: A critical analysis and comparison of different methods for obtaining point spread function (PSF) photometry are carried out. Deep ACS observations of NGC3370 were reduced using four distinct approaches. These reductions explore a number of methodological differences: software packages (DAOPHOT and DOLPHOT), input images (individual and stacked frames), PSF models (synthetic and empirical), and aperture correction methods (automatic and manual). A comparison of the photometry leads to the following results: 1) Photometric incompleteness between individual reductions shows only a minimal difference (<10%). 2) Statistical errors are 20% to 30% smaller for DAOPHOT runs on stacked frames than DOLPHOT runs on individual frames. 3) Statistical errors assigned directly by the photometry codes are 25% to 50% smaller than the errors measured from artificial star tests. 4) Systematic errors are magnitude dependent and become larger at the faint end, at the level of $\sigma_s\sim0.1$ mag. 5) The automatic aperture correction routines in DOLPHOT result in a significant systematic error ($\sigma_s \sim 0.05$ mag). 6) Individual reductions agree well at the 0.02 mag level when the systematic errors are properly corrected through artificial star tests. The reasonable agreement between the reductions leads to important implications that i) the reduction dependent errors can be reduced to a 1% level in the luminosity distance scale, and ii) the stacked frame photometry can be a good means to study non-variable stars in external galaxies.


title: JWST unveils heavily obscured (active and passive) sources up to z~13

abstract: A wealth of extragalactic populations completely missed at UV-optical wavelengths has been identified in the last decade, combining the deepest HST and Spitzer observations. These dark sources are thought to be very dusty and star-forming systems at 3<z<5, and major contributors to the stellar mass build up. JWST is now promising to detect such objects well beyond the end of the Epoch of Reionization. In this Letter we report an investigation of the deep JWST survey in the SMACS0723 cluster, analysing NIRCam and MIRI images. We search for sources in the F444W band that are undetected in the F200W catalogues. We characterise the main properties of these sources via detailed SED modelling that account for a wide set of parameters and star formation histories, after a careful determination of their photometry. Among a robust sample of 20 candidates, we identify a mixed population of very red sources. We highlight the identification of candidate evolved systems, with stellar masses M*~10^(9-11)Msun at 8<z<13 characterized by unexpectedly important dust content at those epochs (Av up to ~5.8mag), challenging current model predictions. We further identify an extremely red source (F200W-F440W~7mag) that can be reproduced only by the spectrum of a passive, quenched galaxy of M*~10^11.8Msun at z~5, filled of dust (Av~5mag).


title: Curvature corrections to KPV: Do we need deep throats?

abstract: We consider $\alpha'^2$ curvature corrections to the action of an NS5-brane which plays the key role in the metastability analysis of warped anti-D3-brane uplifts by Kachru, Pearson and Verlinde (KPV). Such corrections can dramatically alter the KPV analysis. We find that for the $\alpha'^2$-corrections to be sufficiently small to recover essentially the leading-order KPV potential one needs a surprisingly large $S^3$ radius, corresponding to $g_sM > 20$. In the context of the Large Volume Scenario (LVS) this implies a D3-tadpole of at least $\mathcal{O}(10^3-10^4)$. However, large $\alpha'^2$-corrections do not necessarily spoil the uplift in KPV. Rather, as the curvature corrections lower the tension of the brane, a novel uplifting mechanism suggests itself where the smallness of the uplift is achieved by a tuning of curvature corrections. A key underlying assumption is the existence of a dense discretuum of $g_s$. This new mechanism does not require a deep warped throat, thereby sidestepping the main difficulty in uplifting KKLT and LVS. However, all of the above has to be treated as a preliminary exploration of possibilities since, at the moment, not all relevant correction at the order $\alpha'^2$ are known.


title: Simulation view of galaxy clusters with low X-ray surface brightness

abstract: X-ray selected samples are known to miss galaxy clusters that are gas poor and have a low surface brightness. This is different for the optically selected samples such as the X-ray Unbiased Selected Sample (XUCS). We characterise the origin of galaxy clusters that are gas poor and have a low surface-brightness by studying covariances between various cluster properties at fixed mass using hydrodynamic cosmological simulations. We extracted approx. 1800 galaxy clusters from a high-resolution Magneticum hydrodynamic cosmological simulation and computed covariances at fixed mass of the following properties: core-excised X-ray luminosity, gas fraction, hot gas temperature, formation redshift, concentration, galaxy richness, fossilness parameter, and stellar mass of the bright central galaxy. We also compared the correlation between concentration and gas fractions in non-radiative simulations, and we followed the trajectories of particles inside galaxy clusters to assess the role of AGN depletion on the gas fraction. In simulations and in observational data, differences in surface brightness are related to differences in gas fraction. Simulations show that the gas fraction strongly correlates with assembly time, in the sense that older clusters are gas poor. Clusters that formed earlier have lower gas fractions because the feedback of the active galactic nucleus ejected a significant amount of gas from the halo. When the X-ray luminosity is corrected for the gas fraction, it shows little or no covariance with other quantities. Older galaxy clusters tend to be gas poor and possess a low X-ray surface brightness because the feedback mechanism removes a significant fraction of gas from these objects. Moreover, we found that most of the $L_X$ covariance with the other quantities is explained by differences in the gas fraction.


title: The Lockman-SpReSO project. Description, target selection, observations and preliminary results

abstract: Context. Extragalactic surveys are a key tool for better understanding the evolution of galaxies. Both deep and wide-field surveys serve to provide a clearer emerging picture of the physical processes that take place in and around galaxies, and to identify which of these processes are the most important in shaping the properties of galaxies. Aims. The Lockman Spectroscopic Redshift Survey using Osiris (Lockman-SpReSO) aims to provide one of the most complete optical spectroscopic follow-ups of the far-infrared (FIR) sources detected by the \textit{Herschel} Space Observatory in the Lockman Hole (LH) field. The optical spectroscopic study of the FIR-selected galaxies supplies valuable information about the relation between fundamental FIR and optical parameters, including extinction, star formation rate, and gas metallicity. In this article, we introduce and provide an in-depth description of the Lockman-SpReSO project and of its early results. Methods. We selected FIR sources from \textit{Herschel} observations of the central 24 arcmin $\times$ 24 arcmin of the LH field with an optical counterpart up to 24.5 $R_{\rm C}$(AB). The sample comprises 956 \textit{Herschel} FIR sources, plus 188 additional interesting objects in the field. These are point X-ray sources, cataclysmic variable star candidates, high-velocity halo star candidates, radio sources, very red quasi-stellar objects, and optical counterparts of sub-millimetre galaxies. The faint component of the catalogue ($R_{\rm C}(\mathrm{AB})\geq20$) was observed using the OSIRIS instrument on the 10.4 m Gran Telescopio Canarias in multi-object spectroscopy (MOS) mode. The bright component was observed using two multi-fibre spectrographs: the AF2-WYFFOS at the William Herschel Telescope and the HYDRA instrument at the WYIN telescope.


title: Uncorrelated Compensated Isocurvature Perturbations from kSZ Tomography

abstract: Compensated isocurvature perturbations (CIPs) are relative density perturbations in which a baryon-density fluctuation is accompanied by a dark matter density fluctuation such that the total-matter density is unperturbed. These fluctuations can be produced primordially if multiple fields are present during inflation, and therefore they can be used to differentiate between different models for the early Universe. Kinetic Sunyaev-Zeldovich (kSZ) tomography allows for the reconstruction of the radial-velocity field of matter as a function of redshift. This technique can be used to reconstruct the total-matter-overdensity field, independent of the galaxy-density field obtained from large-scale galaxy surveys. We leverage the ability to measure the galaxy- and matter-overdensity fields independently to construct a minimum-variance estimator for the primordial CIP amplitude, based on a mode-by-mode comparison of the two measurements. We forecast that a configuration corresponding to CMB-S4 and VRO will be able to detect (at $2\sigma$) a CIP amplitude $A$ (for a scale-invariant power spectrum) as small as $A\simeq 5\times 10^{-9}$. Similarly, a configuration corresponding to SO and DESI will be sensitive to a CIP amplitude $A\simeq 1\times 10^{-7}$. These values are to be compared to current constraints $A \leq {\cal O}(0.01)$.


title: Superconductivity of repulsive spinless fermions with sublattice potentials

abstract: We explore unconventional superconductivity of repulsive spinless fermions on square and honeycomb lattices with staggered sublattice potentials. The two lattices can exhibit staggered $d$-wave and $f$-wave pairing, respectively, at low doping stemming from an effective two-valley band structure. At higher doping, in particular, the square lattice displays a much richer phase diagram including topological $p+ip$ superconductivity which is induced by a qualitatively different mechanism compared to the $d$-wave pairing. We illuminate this from several complementary perspectives: We analytically perform sublattice projection to analyze the effective continuum low-energy description and we numerically calculate the binding energies for pair and larger bound states for few-body doping near half filling. Furthermore, for finite doping, we present phase diagrams based on extensive functional renormalization group and and density matrix renormalization group calculations.


title: One-loop off-shell amplitudes from classical equations of motion

abstract: In this letter we present a recursive method for computing one-loop off-shell amplitudes in colored quantum field theories. First, we generalize the perturbiner method by recasting the multiparticle currents as generators of off-shell tree level amplitudes. After, by taking advantage of the underlying color structure, we define a consistent sewing procedure to iteratively compute the one-loop integrands. When gauge symmetries are involved, the whole procedure is extended to multiparticle solutions involving ghosts, which can then be accounted for in the full loop computation. Since the required input here is equations of motion and gauge symmetry, our framework naturally extends to one-loop computations in certain non-Lagrangian field theories.


title: A census of Post-AGB stars in Gaia DR3: evidence for a substantial population of Galactic post-RGB stars

abstract: This paper presents the first census of Galactic post-Asymptotic Giant Branch stars in the HR diagram. We combined Gaia DR3 parallax-based distances with extinction corrected integrated fluxes, and derived luminosities for a sample of 185 stars that had been proposed to be post-AGB stars in the literature. The luminosities allow us to create an HR diagram containing the largest number of post-AGB candidate objects to date. A significant fraction of the objects fall outside the typical luminosity range as covered by theoretical evolutionary post-AGB tracks as well as observed for Planetary Nebula central stars. These include massive evolved supergiants and lower luminosity objects. Here we highlight the fact that one third of the post-AGB candidates is underluminous and we identify these with the recently recognised class of post-Red Giant Branch objects thought to be the result of binary evolution.


title: Uniform syndeticity in multiple recurrence

abstract: The main theorem of this paper establishes a uniform syndeticity result concerning the multiple recurrence of measure-preserving actions on probability spaces. More precisely, for any integers $d,l\geq 1$ and any $\varepsilon > 0$, we prove the existence of $\delta>0$ and $K\geq 1$ (dependent only on $d$, $l$, and $\varepsilon$) such that the following holds: Consider a solvable group $\Gamma$ of derived length $l$, a probability space $(X, \mu)$, and $d$ pairwise commuting measure-preserving $\Gamma$-actions $T_1, \ldots, T_d$ on $(X, \mu)$. Let $E$ be a measurable set in $X$ with $\mu(E) \geq \varepsilon$. Then, $K$ many (left) translates of \begin{equation*} \left\{\gamma\in\Gamma\colon \mu(T_1^{\gamma^{-1}}(E)\cap T_2^{\gamma^{-1}} \circ T^{\gamma^{-1}}_1(E)\cap \cdots \cap T^{\gamma^{-1}}_d\circ T^{\gamma^{-1}}_{d-1}\circ \ldots \circ T^{\gamma^{-1}}_1(E))\geq \delta \right\} \end{equation*} cover $\Gamma$. This result extends and refines uniformity results by Furstenberg and Katznelson. As a combinatorial application, we obtain the following uniformity result. For any integers $d,l\geq 1$ and any $\varepsilon > 0$, there are $\delta>0$ and $K\geq 1$ (dependent only on $d$, $l$, and $\varepsilon$) such that for all finite solvable groups $G$ of derived length $l$ and any subset $E\subset G^d$ with $m^{\otimes d}(E)\geq \varepsilon$ (where $m$ is the uniform measure on $G$), we have that $K$-many (left) translates of \begin{multline*} \{g\in G\colon m^{\otimes d}(\{(a_1,\ldots,a_n)\in G^d\colon (a_1,\ldots,a_n),(ga_1,a_2,\ldots,a_n),\ldots,(ga_1,ga_2,\ldots, ga_n)\in E\})\geq \delta \} \end{multline*} cover $G$. The proof of our main result is a consequence of an ultralimit version of Austin's amenable ergodic Szem\'eredi theorem.


title: The Properties of Low-Redshift FeLoBAL Quasars: III. The Location and Geometry of the Outflows

abstract: We present continued analysis of a sample of low-redshift iron low-ionization broad absorption-line quasars (FeLoBALQs). Choi et al. (2022) presented $SimBAL$ spectral analysis of BAL outflows in 50 objects. Leighly et al. (2022) analyzed optical emission lines of 30 of those 50 objects and found that they are characterized by either a high accretion rate ($L_\mathrm{Bol}/L_\mathrm{Edd}>0.3$) or low accretion rate ($0.03<L_\mathrm{Bol}/L_\mathrm{Edd}<0.3$). We report that the outflow velocity is inversely correlated with the BAL location among the high accretion rate objects, with the highest velocities observed in the parsec-scale outflows. In contrast, the low Eddington ratio objects showed the opposite trend. We confirmed the known relationship between outflow velocity and $L_\mathrm{Bol}/L_\mathrm{Edd}$, and found that the scatter plausibly originates in the force multiplier (launch radius) in the low (high) accretion rate objects. A log volume filling factor between $-6$ and $-4$ was found in most outflows, but was as high as $-1$ for low-velocity compact outflows. We investigated the relationship between the observed [O III] emission and that predicted from the BAL gas. We found that these could be reconciled if the emission-line covering fraction depends on Seyfert type and BAL location. The difference between the predicted and observed [O III] luminosity is correlated with the outflow velocity, suggesting that [O III] emission in high Eddington ratio objects may be broad and hidden under Fe II emission. We suggest that the physical differences in the outflow properties as a function of location in the quasar and accretion rate point to different formation, acceleration, and confinement mechanisms for the two FeLoBALQ types.


title: Safe and Human-Like Autonomous Driving: A Predictor-Corrector Potential Game Approach

abstract: This paper proposes a novel decision-making framework for autonomous vehicles (AVs), called predictor-corrector potential game (PCPG), composed of a Predictor and a Corrector. To enable human-like reasoning and characterize agent interactions, a receding-horizon multi-player game is formulated. To address the challenges caused by the complexity in solving a multi-player game and by the requirement of real-time operation, a potential game (PG) based decision-making framework is developed. In the PG Predictor, the agent cost functions are heuristically predefined. We acknowledge that the behaviors of other traffic agents, e.g., human-driven vehicles and pedestrians, may not necessarily be consistent with the predefined cost functions. To address this issue, a best response-based PG Corrector is designed. In the Corrector, the action deviation between the ego vehicle prediction and the surrounding agent actual behaviors are measured and are fed back to the ego vehicle decision-making, to correct the prediction errors caused by the inaccurate predefined cost functions and to improve the ego vehicle strategies. Distinguished from most existing game-theoretic approaches, this PCPG 1) deals with multi-player games and guarantees the existence of a pure-strategy Nash equilibrium (PSNE), convergence of the PSNE seeking algorithm, and global optimality of the derived PSNE when multiple PSNE exist; 2) is computationally scalable in a multi-agent scenario; 3) guarantees the ego vehicle safety under certain conditions; and 4) approximates the actual PSNE of the system despite the unknown cost functions of others. Comparative studies between the PG, the PCPG, and the control barrier function (CBF) based approaches are conducted in diverse traffic scenarios, including oncoming traffic scenario and multi-vehicle intersection-crossing scenario.


title: Modeling community standards for metadata as templates makes data FAIR

abstract: It is challenging to determine whether datasets are findable, accessible, interoperable, and reusable (FAIR) because the FAIR Guiding Principles refer to highly idiosyncratic criteria regarding the metadata used to annotate datasets. Specifically, the FAIR principles require metadata to be "rich" and to adhere to "domain-relevant" community standards. Scientific communities should be able to define their own machine-actionable templates for metadata that encode these "rich," discipline-specific elements. We have explored this template-based approach in the context of two software systems. One system is the CEDAR Workbench, which investigators use to author new metadata. The other is the FAIRware Workbench, which evaluates the metadata of archived datasets for their adherence to community standards. Benefits accrue when templates for metadata become central elements in an ecosystem of tools to manage online datasets--both because the templates serve as a community reference for what constitutes FAIR data, and because they embody that perspective in a form that can be distributed among a variety of software applications to assist with data stewardship and data sharing.


title: Core and Periphery as Closed-System Precepts for Engineering General Intelligence

abstract: Engineering methods are centered around traditional notions of decomposition and recomposition that rely on partitioning the inputs and outputs of components to allow for component-level properties to hold after their composition. In artificial intelligence (AI), however, systems are often expected to influence their environments, and, by way of their environments, to influence themselves. Thus, it is unclear if an AI system's inputs will be independent of its outputs, and, therefore, if AI systems can be treated as traditional components. This paper posits that engineering general intelligence requires new general systems precepts, termed the core and periphery, and explores their theoretical uses. The new precepts are elaborated using abstract systems theory and the Law of Requisite Variety. By using the presented material, engineers can better understand the general character of regulating the outcomes of AI to achieve stakeholder needs and how the general systems nature of embodiment challenges traditional engineering practice.


title: Magnetic biophysical characterization of biomimetic polyeth-ylenimine-coated nanoparticles on in vitro silico model

abstract: Understanding the biophysical and magnetic interactions of nanoparticles (NPs) with cell mem-branes is critical for developing effective nanocarrier systems for drug delivery applications and targeted nanophysics applications. Recent discoveries in nanomedicine can be used to test an in vitro system that reproduce a similar tumor model. Iron-oxide nanoparticles can be used for diagnosis, as well as a good carrier of drugs and induced therapeutic for magnetic hyperthermia. In the present study, we engineered polyethylenimine-conjugated superparamagnetic iron-oxide nanoparticles (SPIONs) for the targeted delivery of chemotherapeutics on in vitro silico model. Doxorubicin is used to treat numerous types of tumors including breast cancer. The drug-coated mul-ti-functionalized nanoparticles, were assembled stepwise, with doxorubicin adsorbed to polyeth-ylenimine-iron oxide nanoparticles first, by electrostatic reaction and allowed for the complexation of doxorubicin.. The drug-coated particles were able to inhibit growth and proliferation of resistant cancer cells in vitro, indicating that the system has potential to act as an antimetastatic chemo-thermotherapeutic agent. Here, we demonstrated a sophisticated strategy to kill in a precise way only cancer cells by conjugating a magnetic nanoparticle to chemotherapeutic.


title: Extreme value statistics of edge currents in Markov jump processes and their use for entropy production estimation

abstract: The infimum of an integrated current is its extreme value against the direction of its average flow. Using martingale theory, we show that the infima of integrated edge currents in time-homogeneous Markov jump processes are geometrically distributed, with a mean value determined by the effective affinity measured by a marginal observer that only sees the integrated edge current. In addition, we show that a marginal observer can estimate a finite fraction of the average entropy production rate in the underlying nonequilibrium process from the extreme value statistics in the integrated edge current. The estimated average rate of dissipation obtained in this way equals the above mentioned effective affinity times the average edge current. Moreover, we show that estimates of dissipation based on extreme value statistics can be significantly more accurate than those based on thermodynamic uncertainty ratios, as well as those based on a naive estimator obtained by neglecting nonMarkovian correlations in the Kullback-Leibler divergence of the trajectories of the integrated edge current.


title: Deep Surrogate of Modular Multi Pump using Active Learning

abstract: Due to the high cost and reliability of sensors, the designers of a pump reduce the needed number of sensors for the estimation of the feasible operating point as much as possible. The major challenge to obtain a good estimation is the low amount of data available. Using this amount of data, the performance of the estimation method is not enough to satisfy the client requests. To solve this problem of scarcity of data, getting high quality data is important to obtain a good estimation. Based on these considerations, we develop an active learning framework for estimating the operating point of a Modular Multi Pump used in energy field. In particular we focus on the estimation of the surge distance. We apply Active learning to estimate the surge distance with minimal dataset. Results report that active learning is a valuable technique also for real application.


title: Testing the r$^2$SCAN density functional for the thermodynamic stability of solids with and without a van der Waals correction

abstract: A central aim of materials discovery is an accurate and numerically reliable description of thermodynamic properties, such as the enthalpies of formation and decomposition. The r$^2$SCAN revision of the strongly constrained and appropriately normed (SCAN) meta-generalized gradient approximation (meta-GGA) balances numerical stability with high general accuracy. To assess the r$^2$SCAN description of solid-state thermodynamics, we evaluate the formation and decomposition enthalpies, equilibrium volumes, and fundamental bandgaps of more than 1,000 solids using r$^2$SCAN, SCAN, and PBE, as well as two dispersion-corrected variants, SCAN+rVV10 and r$^2$SCAN+rVV10. We show that r$^2$SCAN achieves accuracy comparable to SCAN and often improves upon SCAN's already excellent accuracy. Whereas SCAN+rVV10 is often observed to worsen the formation enthalpies of SCAN, and makes no substantial correction to SCAN's cell volume predictions, r$^2$SCAN+rVV10 predicts marginally less-accurate formation enthalpies than r$^2$SCAN, and slightly more-accurate cell volumes than r$^2$SCAN. The average absolute errors in predicted formation enthalpies are found to decrease by a factor of 1.5 to 2.5 from the GGA level to the meta-GGA level. Smaller decreases in error are observed for decomposition enthalpies. For formation enthalpies r$^2$SCAN improves over SCAN for intermetallic systems. For a few classes of systems -- transition metals, intermetallics, weakly-bound solids, and enthalpies of decomposition into compounds -- GGAs are comparable to meta-GGAs. In total, r$^2$SCAN and r$^2$SCAN+rVV10 can be recommended as stable, general-purpose meta-GGAs for materials discovery.


title: Subgame perfect Nash equilibrium for dynamic pricing competition with finite planning horizon

abstract: Having fixed capacities, homogeneous products and price sensitive customer purchase decision are primary distinguishing characteristics of numerous revenue management systems. Even with two or three rivals, competition is still highly fierce. This paper studies sub-game perfect Nash equilibrium of a price competition in an oligopoly market with perishable assets. Sellers each has one unit of a good that cannot be replenished, and they compete in setting prices to sell their good over a finite sales horizon. Each period, buyers desire one unit of the good and the number of buyers coming to the market in each period is random. All sellers' prices are accessible for buyers, and search is costless. Using stochastic dynamic programming methods, the best response of sellers can be obtained from a one-shot price competition game regarding remained periods and the current-time demand structure. Assuming a binary demand model, we demonstrate that the duopoly model has a unique Nash equilibrium and the oligopoly model does not reveal price dispersion with respect to a particular metric. We illustrate that, when considering a generalized demand model, the duopoly model has a unique mixed strategy Nash equilibrium while the oligopoly model has a unique symmetric mixed strategy Nash equilibrium.


title: TIC: Text-Guided Image Colorization

abstract: Image colorization is a well-known problem in computer vision. However, due to the ill-posed nature of the task, image colorization is inherently challenging. Though several attempts have been made by researchers to make the colorization pipeline automatic, these processes often produce unrealistic results due to a lack of conditioning. In this work, we attempt to integrate textual descriptions as an auxiliary condition, along with the grayscale image that is to be colorized, to improve the fidelity of the colorization process. To the best of our knowledge, this is one of the first attempts to incorporate textual conditioning in the colorization pipeline. To do so, we have proposed a novel deep network that takes two inputs (the grayscale image and the respective encoded text description) and tries to predict the relevant color gamut. As the respective textual descriptions contain color information of the objects present in the scene, the text encoding helps to improve the overall quality of the predicted colors. We have evaluated our proposed model using different metrics and found that it outperforms the state-of-the-art colorization algorithms both qualitatively and quantitatively.


title: Effects of the environment on the multiplicity properties of stars in the STARFORGE simulations

abstract: Most observed stars are part of a multiple star system, but the formation of such systems and the role of environment and various physical processes is still poorly understood. We present a suite of radiation-magnetohydrodynamic simulations of star-forming molecular clouds from the STARFORGE project that include stellar feedback with varied initial surface density, magnetic fields, level of turbulence, metallicity, interstellar radiation field, simulation geometry and turbulent driving. In our fiducial cloud the raw simulation data reproduces the observed multiplicity fractions for Solar-type and higher mass stars, similar to previous works. However, after correcting for observational incompleteness the simulation under-predicts these values. The discrepancy is likely due to the lack of disk fragmentation, as the simulation only resolves multiples that form either through capture or core fragmentation. The raw mass distribution of companions is consistent with randomly drawing from the initial mass function for the companions of $>1\,\mathrm{M_\odot}$ stars, however, accounting for observational incompleteness produces a flatter distribution similar to observations. We show that stellar multiplicity changes as the cloud evolves and anti-correlates with stellar density. This relationship also explains most multiplicity variations between runs, i.e., variations in the initial conditions that increase stellar density (increased surface density, reduced turbulence) decrease multiplicity. While other parameters, such as metallicity, interstellar radiation, and geometry significantly affect the star formation history or the IMF, varying them produces no clear trend in stellar multiplicity properties.


title: Decision SincNet: Neurocognitive models of decision making that predict cognitive processes from neural signals

abstract: Human decision making behavior is observed with choice-response time data during psychological experiments. Drift-diffusion models of this data consist of a Wiener first-passage time (WFPT) distribution and are described by cognitive parameters: drift rate, boundary separation, and starting point. These estimated parameters are of interest to neuroscientists as they can be mapped to features of cognitive processes of decision making (such as speed, caution, and bias) and related to brain activity. The observed patterns of RT also reflect the variability of cognitive processes from trial to trial mediated by neural dynamics. We adapted a SincNet-based shallow neural network architecture to fit the Drift-Diffusion model using EEG signals on every experimental trial. The model consists of a SincNet layer, a depthwise spatial convolution layer, and two separate FC layers that predict drift rate and boundary for each trial in-parallel. The SincNet layer parametrized the kernels in order to directly learn the low and high cutoff frequencies of bandpass filters that are applied to the EEG data to predict drift and boundary parameters. During training, model parameters were updated by minimizing the negative log likelihood function of WFPT distribution given trial RT. We developed separate decision SincNet models for each participant performing a two-alternative forced-choice task. Our results showed that single-trial estimates of drift and boundary performed better at predicting RTs than the median estimates in both training and test data sets, suggesting that our model can successfully use EEG features to estimate meaningful single-trial Diffusion model parameters. Furthermore, the shallow SincNet architecture identified time windows of information processing related to evidence accumulation and caution and the EEG frequency bands that reflect these processes within each participant.


title: Rotating and Expanding Gas in Binary Post-AGB Stars

abstract: There is a class of binary post-AGB stars (binary system including a post-AGB star) that are surrounded by Keplerian disks and outflows resulting from gas escaping from the disk. To date, there are seven sources that have been studied in detail through interferometric millimeter-wave maps of CO lines (ALMA/NOEMA). For the cases of the Red Rectangle, IW Carinae, IRAS 08544-4431, and AC Herculis, it is found that around greater than 85% of the total nebular mass is located in the disk with Keplerian dynamics. The remainder of the nebular mass is located in an expanding component. This outflow is probably a disk wind consisting of material escaping from the rotating disk. These sources are the disk-dominated nebulae. On the contrary, our maps and modeling of 89 Herculis, IRAS 19125+0343, and R Scuti, which allowed us to study their morphology, kinematics, and mass distribution, suggest that, in these sources, the outflow clearly is the dominant component of the nebula (around 75% of the total nebular mass), resulting in a new subclass of nebulae around binary post-AGB stars: the outflow-dominated sources.Besides CO, the chemistry of this type of source has been practically unknown thus far. We also present a very deep single-dish radio molecular survey in the 1.3, 2, 3, 7, and 13 mm bands (around 600 h of telescope time). Our results and detections allow us to classify our sources as O- or C-rich. We also conclude that the calculated abundances of the detected molecular species other than CO are particularly low, compared with AGB stars. This fact is very significant in those sources where the rotating disk is the dominant component of the nebula.


title: Safeguarded Anderson acceleration for parametric nonexpansive operators

abstract: This paper describes the design of a safeguarding scheme for Anderson acceleration to improve its practical performance and stability when used for first-order optimisation methods. We show how the combination of a non-expansiveness condition, conditioning constraints, and memory restarts integrate well with solver algorithms that can be represented as fixed point operators with dynamically varying parameters. The performance of the scheme is demonstrated on seven different QP and SDP problem types, including more than 500 problems. The safeguarded Anderson acceleration scheme proposed in this paper is implemented in the open-source ADMM-based conic solver COSMO.


title: Benchmarking the face-centred finite volume method for compressible laminar flows

abstract: Purpose: This study aims to assess the robustness and accuracy of the face-centred finite volume (FCFV) method for the simulation of compressible laminar flows in different regimes, using numerical benchmarks. Design/methodology/approach: The work presents a detailed comparison with reference solutions published in the literature -- when available -- and numerical results computed using a commercial cell-centred finite volume software. Findings: The FCFV scheme provides first-order accurate approximations of the viscous stress tensor and the heat flux, insensitively to cell distortion or stretching. The strategy demonstrates its efficiency in inviscid and viscous flows, for a wide range of Mach numbers, also in the incompressible limit. In purely inviscid flows, non-oscillatory approximations are obtained in the presence of shock waves. In the incompressible limit, accurate solutions are computed without pressure correction algorithms. The method shows its superior performance for viscous high Mach number flows, achieving physically admissible solutions without carbuncle effect and predictions of quantities of interest with errors below 5%. Originality/value: The FCFV method accurately evaluates, for a wide range of compressible laminar flows, quantities of engineering interest, such as drag, lift and heat transfer coefficients, on unstructured meshes featuring distorted and highly stretched cells, with an aspect ratio up to ten thousand. The method is suitable to simulate industrial flows on complex geometries, relaxing the requirements on mesh quality introduced by existing finite volume solvers and alleviating the need for time-consuming manual procedures for mesh generation to be performed by specialised technicians.

categories: physics.flu-dyn cs.CE cs.NA math.NA physics.comp-ph


title: A Note on the Existence of Gibbs Marked Point Processes with Applications in Stochastic Geometry

abstract: This paper generalizes a recent existence result for infinite-volume marked Gibbs point processes. We try to use the existence theorem for two models from stochastic geometry. First, we show the existence of Gibbs facet processes in $\mathbb{R}^d$ with repulsive interactions. We also prove that the finite-volume Gibbs facet processes with attractive interactions need not exist. Afterwards, we study Gibbs-Laguerre tessellations of $\mathbb{R}^2$. The mentioned existence result cannot be used, since one of its assumptions is not satisfied for tessellations, but we are able to show the existence of an infinite-volume Gibbs-Laguerre process with a particular energy function, under the assumption that we almost surely see a point.


title: Domination and Cut Problems on Chordal Graphs with Bounded Leafage

abstract: The leafage of a chordal graph G is the minimum integer l such that G can be realized as an intersection graph of subtrees of a tree with l leaves. We consider structural parameterization by the leafage of classical domination and cut problems on chordal graphs. Fomin, Golovach, and Raymond [ESA 2018, Algorithmica 2020] proved, among other things, that Dominating Set on chordal graphs admits an algorithm running in time $2^{O(l^2)} n^{O(1)}$. We present a conceptually much simpler algorithm that runs in time $2^{O(l)} n^{O(1)}$. We extend our approach to obtain similar results for Connected Dominating Set and Steiner Tree. We then consider the two classical cut problems MultiCut with Undeletable Terminals and Multiway Cut with Undeletable Terminals. We prove that the former is W[1]-hard when parameterized by the leafage and complement this result by presenting a simple $n^{O(l)}$-time algorithm. To our surprise, we find that Multiway Cut with Undeletable Terminals on chordal graphs can be solved, in contrast, in $n^{O(1)}$-time.


title: Self-Ensembling Vision Transformer (SEViT) for Robust Medical Image Classification

abstract: Vision Transformers (ViT) are competing to replace Convolutional Neural Networks (CNN) for various computer vision tasks in medical imaging such as classification and segmentation. While the vulnerability of CNNs to adversarial attacks is a well-known problem, recent works have shown that ViTs are also susceptible to such attacks and suffer significant performance degradation under attack. The vulnerability of ViTs to carefully engineered adversarial samples raises serious concerns about their safety in clinical settings. In this paper, we propose a novel self-ensembling method to enhance the robustness of ViT in the presence of adversarial attacks. The proposed Self-Ensembling Vision Transformer (SEViT) leverages the fact that feature representations learned by initial blocks of a ViT are relatively unaffected by adversarial perturbations. Learning multiple classifiers based on these intermediate feature representations and combining these predictions with that of the final ViT classifier can provide robustness against adversarial attacks. Measuring the consistency between the various predictions can also help detect adversarial samples. Experiments on two modalities (chest X-ray and fundoscopy) demonstrate the efficacy of SEViT architecture to defend against various adversarial attacks in the gray-box (attacker has full knowledge of the target model, but not the defense mechanism) setting. Code: https://github.com/faresmalik/SEViT


title: A 35-Year Longitudinal Analysis of Dermatology Patient Behavior across Economic & Cultural Manifestations in Tunisia, and the Impact of Digital Tools

abstract: The evolution of behavior of dermatology patients has seen significantly accelerated change over the past decade, driven by surging availability and adoption of digital tools and platforms. Through our longitudinal analysis of this behavior within Tunisia over a 35-year time frame, we identify behavioral patterns across economic and cultural dimensions and how digital tools have impacted those patterns in preceding years. Throughout this work, we highlight the witnessed effects of available digital tools as experienced by patients, and conclude by presenting a vision for how future tools can help address the issues identified across economic and cultural manifestations. Our analysis is further framed around three types of digital tools: "Dr. Google", social media, and artificial intelligence (AI) tools, and across three stages of clinical care: pre-visit, in-visit, and post-visit.


title: Improving the quantification of overshooting shock-capturing oscillations

abstract: An approach for quantitatively evaluating overshooting oscillations is designed to characterize the performance of shock-capturing schemes. Specifically, following our previous work focused on cases with only discontinuities, now we account for the concurrent presences of discontinuities and smooth waves, each with a complete set of supported modes on a given discretization. The linear advection equation is taken as the model equation, and a standardized measurement is given for overshooting oscillations produced by shock-capturing schemes. Thereby, we can quantitatively reveal the shock-capturing robustness of, for example, weighted essentially non-oscillatory schemes, by comparing and analyzing the resulting overshoots. In particular, we are able to find out the ranges of wavenumbers in which the numerical schemes are especially prone to produce overshooting oscillations. While lower dissipation is usually anticipated for high-order schemes, we provide a simple measurement for evaluating the shock-capturing robustness, which was not trivial due to the nonlinearity of shock-capturing computations.


title: Phase Drift Monitoring for Tone Tracking Readout of Superconducting Microwave Resonators

abstract: A number of modern millimeter, sub-millimeter, and far-infrared detectors are read out using superconducting microwave (1-10GHz) resonators. The main detector technologies are Transition Edge Sensors, read out using Microwave SQUID Multiplexers ($\mu$mux) and Microwave Kinetic Inductance Detectors. In these readout schemes, sky signal is encoded as resonance frequency changes. One way to interrogate these superconducting resonators is to calibrate the probe tone phase such that any sky signal induced frequency shifts from the resonators show up primarily as voltage changes in only one of the two quadratures of the interrogation tone. However, temperature variations in the operating environment produce phase drifts that degrade the phase calibration and can source low frequency noise in the final detector time ordered data if left to drift too far from optimal calibration. We present a method for active software monitoring of the time delay through the system which could be used to feedback on the resonator probe tone calibration angle or to apply an offline cleaning. We implement and demonstrate this monitoring method using the SLAC Microresonator RF Electronics on a 65 channel $\mu$mux chip from NIST.


title: Long Time Behavior of Finite and Infinite Dimensional Reflected Brownian Motions

abstract: This article presents a review of some old and new results on the long time behavior of reflected diffusions. First, we present a summary of prior results on construction, ergodicity and geometric ergodicity of reflected diffusions in the positive orthant $\mathbb{R}^d_+$, $d \in \mathbb{N}$. The geometric ergodicity results, although very general, usually give implicit convergence rates due to abstract couplings and Lyapunov functions used in obtaining them. This leads us to some recent results on an important subclass of reflected Brownian motions (RBM) (constant drift and diffusion coefficients and oblique reflection at boundaries), known as the Harrison-Reiman class, where explicit rates of convergence are obtained as functions of the system parameters and underlying dimension. In addition, sufficient conditions on system parameters of the RBM are provided under which local convergence to stationarity holds at a `dimension-free' rate, that is, for any fixed $k \in \mathbb{N}$, the rate of convergence of the $k$-marginal to equilibrium does not depend on the dimension of the whole system. Finally, we study the long time behavior of infinite dimensional rank-based diffusions, including the well-studied infinite Atlas model. The gaps between the ordered particles evolve as infinite dimensional RBM and this gap process has uncountably many explicit product form stationary distributions. Sufficient conditions for initial configurations to lie in the weak domain of attraction of the various stationary distributions are provided. Finally, it is shown that, under conditions, all of these explicit stationary distributions are extremal (equivalently, ergodic) and, in some sense, the only product form invariant probability distributions. Proof techniques involve a pathwise analysis of RBM using explicit synchronous and mirror couplings and constructing Lyapunov functions.


title: Embedding Alignment for Unsupervised Federated Learning via Smart Data Exchange

abstract: Federated learning (FL) has been recognized as one of the most promising solutions for distributed machine learning (ML). In most of the current literature, FL has been studied for supervised ML tasks, in which edge devices collect labeled data. Nevertheless, in many applications, it is impractical to assume existence of labeled data across devices. To this end, we develop a novel methodology, Cooperative Federated unsupervised Contrastive Learning (CF-CL), for FL across edge devices with unlabeled datasets. CF-CL employs local device cooperation where data are exchanged among devices through device-to-device (D2D) communications to avoid local model bias resulting from non-independent and identically distributed (non-i.i.d.) local datasets. CF-CL introduces a push-pull smart data sharing mechanism tailored to unsupervised FL settings, in which, each device pushes a subset of its local datapoints to its neighbors as reserved data points, and pulls a set of datapoints from its neighbors, sampled through a probabilistic importance sampling technique. We demonstrate that CF-CL leads to (i) alignment of unsupervised learned latent spaces across devices, (ii) faster global convergence, allowing for less frequent global model aggregations; and (iii) is effective in extreme non-i.i.d. data settings across the devices.


title: Identity-Based Authentication for On-Demand Charging of Electric Vehicles

abstract: Dynamic wireless power transfer provides means for charging Electric Vehicles (EVs) while driving, avoiding stopping for charging and hence fostering their widespread adoption. Researchers devoted much effort over the last decade to provide a reliable infrastructure for potential users to improve comfort and time management. Due to the severe security and performance system requirements, the different scheme proposed in last years lack of a unified protocol involving the modern architecture model with merged authentication and billing processes. Furthermore, they require the continuous interaction of the trusted entity during the process, increasing the delay for the communication and reducing security due to the large number of message exchanges. In this paper, we propose a secure, computationally lightweight, unified protocol for fast authentication and billing that provides on-demand dynamic charging to comprehensively deal with all the computational and security constraints. The protocol employs an ID-based public encryption scheme to manage mutual authentication and pseudonyms to preserve the user's identity across multiple charging processes. Compared to state-of-the-art authentication protocols, our proposal overcomes the problem of overwhelming interactions and provides public scheme security against the use of simple operations in wide open communications without impacting on performance.


title: An Empirical Study on Ethereum Private Transactions and the Security Implications

abstract: Recently, Decentralized Finance (DeFi) platforms on Ethereum are booming, and numerous traders are trying to capitalize on the opportunity for maximizing their benefits by launching front-running attacks and extracting Miner Extractable Values (MEVs) based on information in the public mempool. To protect end users from being harmed and hide transactions from the mempool, private transactions, a special type of transactions that are sent directly to miners, were invented. Private transactions have a high probability of being packed to the front positions of a block and being added to the blockchain by the target miner, without going through the public mempool, thus reducing the risk of being attacked by malicious entities. Despite the good intention of inventing private transactions, due to their stealthy nature, private transactions have also been used by attackers to launch attacks, which has a negative impact on the Ethereum ecosystem. However, existing works only touch upon private transactions as by-products when studying MEV, while a systematic study on private transactions is still missing. To fill this gap and paint a complete picture of private transactions, we take the first step towards investigating the private transactions on Ethereum. In particular, we collect large-scale private transaction datasets and perform analysis on their characteristics, transaction costs and miner profits, as well as security impacts. This work provides deep insights on different aspects of private transactions.


title: On some quotient groups of hyperbolic groups

abstract: This paper describes some generalizations of the results presented in the book "Geometry of defining Relations in Groups" , of A.Yu.Ol'shanskii to the case of non-cyclic torsion-free hyperbolic groups. In particular, it is proved that for every non-cyclic torsion-free hyperbolic group, there exists a non-Abelian torsion-free quotient group in which all proper subgroups are cyclic, and the intersection of any two of them is not trivial.


title: In-orbit Commissioning of the Near-Infrared Spectrograph on the James Webb Space Telescope

abstract: The Near-Infrared Spectrograph (NIRSpec) is one of the four focal plane instruments on the James Webb Space Telescope which was launched on Dec. 25, 2021. We present an overview of the as-run NIRSpec commissioning campaign, with particular emphasis on the sequence of activities that led to the verification of all hardware components of NIRSpec. We also discuss the mechanical, thermal, and operational performance of NIRSpec, as well as the readiness of all NIRSpec observing modes for use in the upcoming JWST science program.


title: Latent Multi-Relation Reasoning for GAN-Prior based Image Super-Resolution

abstract: Recently, single image super-resolution (SR) under large scaling factors has witnessed impressive progress by introducing pre-trained generative adversarial networks (GANs) as priors. However, most GAN-Priors based SR methods are constrained by an attribute disentanglement problem in inverted latent codes which directly leads to mismatches of visual attributes in the generator layers and further degraded reconstruction. In addition, stochastic noises fed to the generator are employed for unconditional detail generation, which tends to produce unfaithful details that compromise the fidelity of the generated SR image. We design LAREN, a LAtent multi-Relation rEasoNing technique that achieves superb large-factor SR through graph-based multi-relation reasoning in latent space. LAREN consists of two innovative designs. The first is graph-based disentanglement that constructs a superior disentangled latent space via hierarchical multi-relation reasoning. The second is graph-based code generation that produces image-specific codes progressively via recursive relation reasoning which enables prior GANs to generate desirable image details. Extensive experiments show that LAREN achieves superior large-factor image SR and outperforms the state-of-the-art consistently across multiple benchmarks.


title: Improved Bounds for Rectangular Monotone Min-Plus Product and Applications

abstract: In a recent breakthrough paper, Chi et al. (STOC'22) introduce an $\tilde{O}(n^{\frac{3 + \omega}{2}})$ time algorithm to compute Monotone Min-Plus Product between two square matrices of dimensions $n \times n$ and entries bounded by $O(n)$. This greatly improves upon the previous $\tilde O(n^{\frac{12 + \omega}{5}})$ time algorithm and as a consequence improves bounds for its applications. Several other applications involve Monotone Min-Plus Product between rectangular matrices, and even if Chi et al.'s algorithm seems applicable for the rectangular case, the generalization is not straightforward. In this paper we present a generalization of the algorithm of Chi et al. to solve Monotone Min-Plus Product for rectangular matrices with polynomial bounded values. We next use this faster algorithm to improve running times for the following applications of Rectangular Monotone Min-Plus Product: $M$-bounded Single Source Replacement Path, Batch Range Mode, $k$-Dyck Edit Distance and 2-approximation of All Pairs Shortest Path. We also improve the running time for Unweighted Tree Edit Distance using the algorithm by Chi et al.


title: Multiply lensed star forming clumps in the A521-sys1 galaxy at redshift 1

abstract: We study the population of star-forming clumps in A521-sys1, a $\rm z=1.04$ system gravitationally lensed by the foreground ($\rm z=0.25$) cluster Abell 0521. The galaxy presents one complete counter--image with a mean magnification of $\rm \mu\sim4$ and a wide arc containing two partial images of A521-sys1 with magnifications reaching $\rm \mu>20$, allowing the investigations of clumps down to scales of $\rm R_{eff}<50$ pc. We identify 18 unique clumps with a total of 45 multiple images. Intrinsic sizes and UV magnitudes reveal clumps with elevated surface brightnesses, comparable to similar systems at redshifts $\rm z\gtrsim1.0$. Such clumps account for $\sim40\%$ of the galaxy UV luminosity, implying that a significant fraction of the recent star-formation activity is taking place there. Clump masses range from $\rm 10^6\ M_\odot$ to $\rm 10^9\ M_\odot$ and sizes from tens to hundreds of parsec, resulting in mass surface densities from $10$ to $\rm 10^3\ M_\odot\ pc^{-2}$, with a median of $\rm \sim10^2\ M_\odot\ pc^{-2}$. These properties suggest that we detect star formation taking place across a wide range of scale, from cluster aggregates to giant star-forming complexes. We find ages of less than $100$ Myr, consistent with clumps being observed close to their natal region. The lack of galactocentric trends with mass, mass density, or age and the lack of old migrated clumps can be explained either by dissolution of clumps after few $\sim100$ Myr or by stellar evolution making them fall below the detectability limits of our data.


title: Social network structure and the spread of complex contagions from a population genetics perspective

abstract: Ideas, behaviors, and opinions spread through social networks. If the probability of spreading to a new individual is a non-linear function of the fraction of the individuals' affected neighbors, such a spreading process becomes a "complex contagion". This non-linearity does not typically appear with physically spreading infections, but instead can emerge when the concept that is spreading is subject to game theoretical considerations (e.g. for choices of strategy or behavior) or psychological effects such as social reinforcement and other forms of peer influence (e.g. for ideas, preferences, or opinions). Here we study how the stochastic dynamics of such complex contagions are affected by the underlying network structure. Motivated by simulations of complex epidemics on real social networks, we present a general framework for analyzing the statistics of contagions with arbitrary non-linear adoption probabilities based on the mathematical tools of population genetics. Our framework provides a unified approach that illustrates intuitively several key properties of complex contagions: stronger community structure and network sparsity can significantly enhance the spread, while broad degree distributions dampen the effect of selection. Finally, we show that some structural features can exhibit critical values that demarcate regimes where global epidemics become possible for networks of arbitrary size. Our results draw parallels between the competition of genes in a population and memes in a world of minds and ideas. Our tools provide insight into the spread of information, behaviors, and ideas via social influence, and highlight the role of macroscopic network structure in determining their fate.


title: Towards Augmented Microscopy with Reinforcement Learning-Enhanced Workflows

abstract: Here, we report a case study implementation of reinforcement learning (RL) to automate operations in the scanning transmission electron microscopy (STEM) workflow. To do so, we design a virtual, prototypical RL environment to test and develop a network to autonomously align the electron beam without prior knowledge. Using this simulator, we evaluate the impact of environment design and algorithm hyperparameters on alignment accuracy and learning convergence, showing robust convergence across a wide hyperparameter space. Additionally, we deploy a successful model on the microscope to validate the approach and demonstrate the value of designing appropriate virtual environments. Consistent with simulated results, the on-microscope RL model achieves convergence to the goal alignment after minimal training. Overall, the results highlight that by taking advantage of RL, microscope operations can be automated without the need for extensive algorithm design, taking another step towards augmenting electron microscopy with machine learning methods.


title: Discrete time crystal enabled by Stark many-body localization

abstract: Discrete time crystal (DTC) has recently attracted increasing attention, but most DTC models and their properties are only revealed after disorder average. In this Letter, we propose a simple disorder-free periodically driven model that exhibits nontrivial DTC order stabilized by Stark many-body localization (MBL). We demonstrate the existence of DTC phase by analytical analysis from perturbation theory and convincing numerical evidence from observable dynamics. The new DTC model paves a new promising way for further experiments and deepens our understanding of DTC. Since the DTC order doesn't require special quantum state preparation and the strong disorder average, it can be naturally realized on the noisy intermediate-scale quantum (NISQ) hardware with much fewer resources and repetitions. Moreover, besides the robust subharmonic response, there are other novel robust beating oscillations in Stark-MBL DTC phase which are absent in random or quasi-periodic MBL DTC.


title: Memetic algorithms for Spatial Partitioning problems

abstract: Spatial optimization problems (SOPs) are characterized by spatial relationships governing the decision variables, objectives, and/or constraint functions. In this article, we focus on a specific type of SOP called spatial partitioning, which is a combinatorial problem due to the presence of discrete spatial units. Exact optimization methods do not scale with the size of the problem, especially within practicable time limits. This motivated us to develop population-based metaheuristics for solving such SOPs. However, the search operators employed by these population-based methods are mostly designed for real-parameter continuous optimization problems. For adapting these methods to SOPs, we apply domain knowledge in designing spatially-aware search operators for efficiently searching through the discrete search space while preserving the spatial constraints. To this end, we put forward a simple yet effective algorithm called swarm-based spatial memetic algorithm (SPATIAL) and test it on the school (re)districting problem. Detailed experimental investigations are performed on real-world datasets to evaluate the performance of SPATIAL. Besides, ablation studies are performed to understand the role of the individual components of SPATIAL. Additionally, we discuss how SPATIAL~is helpful in the real-life planning process and its applicability to different scenarios and motivate future research directions.


title: GNN4REL: Graph Neural Networks for Predicting Circuit Reliability Degradation

abstract: Process variations and device aging impose profound challenges for circuit designers. Without a precise understanding of the impact of variations on the delay of circuit paths, guardbands, which keep timing violations at bay, cannot be correctly estimated. This problem is exacerbated for advanced technology nodes, where transistor dimensions reach atomic levels and established margins are severely constrained. Hence, traditional worst-case analysis becomes impractical, resulting in intolerable performance overheads. Contrarily, process-variation/aging-aware static timing analysis (STA) equips designers with accurate statistical delay distributions. Timing guardbands that are small, yet sufficient, can then be effectively estimated. However, such analysis is costly as it requires intensive Monte-Carlo simulations. Further, it necessitates access to confidential physics-based aging models to generate the standard-cell libraries required for STA. In this work, we employ graph neural networks (GNNs) to accurately estimate the impact of process variations and device aging on the delay of any path within a circuit. Our proposed GNN4REL framework empowers designers to perform rapid and accurate reliability estimations without accessing transistor models, standard-cell libraries, or even STA; these components are all incorporated into the GNN model via training by the foundry. Specifically, GNN4REL is trained on a FinFET technology model that is calibrated against industrial 14nm measurement data. Through our extensive experiments on EPFL and ITC-99 benchmarks, as well as RISC-V processors, we successfully estimate delay degradations of all paths -- notably within seconds -- with a mean absolute error down to 0.01 percentage points.


title: Embedding and trajectories of temporal networks

abstract: Temporal network data are increasingly available in various domains, and often represent highly complex systems with intricate structural and temporal evolutions. Due to the difficulty of processing such complex data, it may be useful to coarse grain temporal network data into a numeric trajectory embedded in a low-dimensional space. We refer to such a procedure as temporal network embedding, which is distinct from procedures that aim at embedding individual nodes. Temporal network embedding is a challenging task because we often have access only to discrete time-stamped events between node pairs, and, in general, the events occur with irregular intervals, making the construction of the network at a given time a nontrivial question already. We propose a method to generate trajectories of temporal networks embedded in a low-dimensional space given a sequence of time-stamped events as input. We realize this goal by combining the landmark multidimensional scaling, which is an out-of-sample extension of the well-known multidimensional scaling method, and the framework of tie-decay temporal networks. This combination enables us to obtain a continuous-time trajectory describing the evolution of temporal networks. We then study mathematical properties of the proposed temporal network embedding framework. Finally, we showcase the method with empirical data of social contacts to find temporal organization of contact events and loss of them over a single day and across different days.


title: Improved post-hoc probability calibration for out-of-domain MRI segmentation

abstract: Probability calibration for deep models is highly desirable in safety-critical applications such as medical imaging. It makes output probabilities of deep networks interpretable, by aligning prediction probability with the actual accuracy in test data. In image segmentation, well-calibrated probabilities allow radiologists to identify regions where model-predicted segmentations are unreliable. These unreliable predictions often occur to out-of-domain (OOD) images that are caused by imaging artifacts or unseen imaging protocols. Unfortunately, most previous calibration methods for image segmentation perform sub-optimally on OOD images. To reduce the calibration error when confronted with OOD images, we propose a novel post-hoc calibration model. Our model leverages the pixel susceptibility against perturbations at the local level, and the shape prior information at the global level. The model is tested on cardiac MRI segmentation datasets that contain unseen imaging artifacts and images from an unseen imaging protocol. We demonstrate reduced calibration errors compared with the state-of-the-art calibration algorithm.


title: Dynamics of magnetized accretion disks of young stars

abstract: We investigate the dynamics of the accretion disks of young stars with fossil large-scale magnetic field. The author's magnetohydrodynamic (MHD) model of the accretion disks is generalized to consider the dynamical influence of the magnetic field on gas rotation speed and vertical structure of the disks. With the help of the developed MHD model, the structure of an accretion disk of a solar mass T Tauri star is simulated for different accretion rates $\dot{M}$ and dust grain sizes $a_d$. The simulations of the radial structure of the disk show that the magnetic field in the disk is kinematic, and the electromagnetic force does not affect the rotation speed of the gas for typical values $\dot{M}=10^{-8}\,M_\odot\,\mbox{yr}^{-1}$ and $a_d=0.1 \mu$m. In the case of large dust grains, $a_d\geq 1$ mm, the magnetic field is frozen into the gas and a dynamically strong magnetic field is generated at radial distances from the star $r\gtrsim 30$ au, the tensions of which slow down the rotation speed by $\lesssim 1.5$ % of the Keplerian velocity. This effect is comparable to the contribution of the radial gradient of gas pressure and can lead to the increase in the radial drift velocity of dust grains in the accretion disks. In the case of high accretion rate, $\dot{M}\geq 10^{-7}\,M_\odot\,\mbox{yr}^{-1}$, the magnetic field is also dynamically strong in the inner region of the disk, $r<0.2$ au. The simulations of the vertical structure of the disk show that, depending on the conditions on the surface of the disk, the vertical gradient of magnetic pressure can lead to both decrease and increase in the characteristic thickness of the disk as compared to the hydrostatic one by 5-20 %. The change in the thickness of the disk occurs outside the region of low ionization fraction and effective magnetic diffusion (`dead' zone), which extends from $r=0.3$ to $20$ au at typical parameters.

categories: astro-ph.SR astro-ph.EP astro-ph.GA physics.space-ph


title: Continuous matrix-product states in inhomogeneous systems with long-range interactions

abstract: We develop the continuous matrix-product states approach for description of inhomogeneous one-dimensional quantum systems with long-range interactions. The method is applied to the exactly-solvable Calogero-Moser model. We show the high accuracy of reproducing the ground-state properties of the many-body system and discuss potential errors that can originate from the approximation of the nonlocal interaction potentials with singularities.


title: Effect of State of Charge Uncertainty on Battery Energy Storage Systems

abstract: Battery energy storage systems (BESSs) provide many benefits to the electricity grid, including stability, backup power, and flexibility in introducing more clean energy sources. As BESS penetration grows, knowledge of the uncertainty in the battery's state of charge (SOC) estimate is crucial for planning optimal BESS power injection trajectories. This paper proposes a framework for quantifying SOC estimation uncertainty based on battery rest periods. An uncertainty analysis is presented for a BESS participating in the frequency regulation market.


title: Anticoncentration in Ramsey graphs and a proof of the Erd\H{o}s-McKay conjecture

abstract: An $n$-vertex graph is called $C$-Ramsey if it has no clique or independent set of size $C\log_2 n$ (i.e., if it has near-optimal Ramsey behavior). In this paper, we study edge-statistics in Ramsey graphs, in particular obtaining very precise control of the distribution of the number of edges in a random vertex subset of a $C$-Ramsey graph. This brings together two ongoing lines of research: the study of "random-like" properties of Ramsey graphs and the study of small-ball probabilities for low-degree polynomials of independent random variables. The proof proceeds via an "additive structure" dichotomy on the degree sequence, and involves a wide range of different tools from Fourier analysis, random matrix theory, the theory of Boolean functions, probabilistic combinatorics, and low-rank approximation. One of the consequences of our result is the resolution of an old conjecture of Erd\H{o}s and McKay, for which Erd\H{o}s offered one of his notorious monetary prizes.


title: Beyond Stationary Simulation; Modern Approaches to Stochastic Modelling

abstract: Stochastic and conditional simulation methods have been effective towards producing realistic realizations and simulations of spatial numerical models that share equal probability of occurrence. Application of these methods are valuable throughout the domain of earth science for their ability to simulate sampled study data. Such stochastic methods have also been adopted into other fields outside of geostatistics domains, especially within the computing and data science community. Classical techniques for stochastic simulation have primarily consisted of stationary methods due to their brisk simulation speed and mathematical simplicity. However, advances in modern computing now allow for the implementation of more advanced non-stationary simulation methods, consisting of multiple varying structures, and allowing for much more accurate and realistic simulations. As some of these calculations may still be slow, the application of machine learning techniques, namely the Generative Adversarial Network (GAN) can be used to surpass previous simulation generation speeds and allows for greater parameterization. This work presents three stochastic simulation methods: stochastic simulation using non-stationary covariance, multipoint simulation, and conditional GANs. An SPDE method was used as a benchmark comparison. Experiments using synthetic data are used to showcase the effectiveness of each of these methods at maintaining non-stationary structures and conditioned data. A case study implementing non-stationary covariances is also presented on real geochemical samples coming from La Ceinture de roches vertes de la Haute-Eastmain, located in the Superior Province.


title: On arithmetic progressions in finite fields

abstract: In this paper, we explore the existence of $m$-terms arithmetic progressions in $\mathbb{F}_{q^n}$ with a given common difference whose terms are all primitive elements, and at least one of them is normal. We obtain asymptotic results for $m \ge 4$ and concrete results for $m \in \{2,3\}$, where the complete list of exceptions when the common difference belongs to $\mathbb{F}_{q}^*$ is obtained. The proofs combine character sums, sieve estimates, and computational arguments using the software SageMath.


title: A Forward-secure Efficient Two-factor Authentication Protocol

abstract: Two-factor authentication (2FA) schemes that rely on a combination of knowledge factors (e.g., PIN) and device possession have gained popularity. Some of these schemes remain secure even against strong adversaries that (a) observe the traffic between a client and server, and (b) have physical access to the client's device, or its PIN, or breach the server. However, these solutions have several shortcomings; namely, they (i) require a client to remember multiple secret values to prove its identity, (ii) involve several modular exponentiations, and (iii) are in the non-standard random oracle model. In this work, we present a 2FA protocol that resists such a strong adversary while addressing the above shortcomings. Our protocol requires a client to remember only a single secret value/PIN, does not involve any modular exponentiations, and is in a standard model. It is the first one that offers these features without using trusted chipsets. This protocol also imposes up to 40% lower communication overhead than the state-of-the-art solutions do.


title: Differentially Private Counterfactuals via Functional Mechanism

abstract: Counterfactual, serving as one emerging type of model explanation, has attracted tons of attentions recently from both industry and academia. Different from the conventional feature-based explanations (e.g., attributions), counterfactuals are a series of hypothetical samples which can flip model decisions with minimal perturbations on queries. Given valid counterfactuals, humans are capable of reasoning under ``what-if'' circumstances, so as to better understand the model decision boundaries. However, releasing counterfactuals could be detrimental, since it may unintentionally leak sensitive information to adversaries, which brings about higher risks on both model security and data privacy. To bridge the gap, in this paper, we propose a novel framework to generate differentially private counterfactual (DPC) without touching the deployed model or explanation set, where noises are injected for protection while maintaining the explanation roles of counterfactual. In particular, we train an autoencoder with the functional mechanism to construct noisy class prototypes, and then derive the DPC from the latent prototypes based on the post-processing immunity of differential privacy. Further evaluations demonstrate the effectiveness of the proposed framework, showing that DPC can successfully relieve the risks on both extraction and inference attacks.


title: PointConvFormer: Revenge of the Point-based Convolution

abstract: We introduce PointConvFormer, a novel building block for point cloud based deep network architectures. Inspired by generalization theory, PointConvFormer combines ideas from point convolution, where filter weights are only based on relative position, and Transformers which utilize feature-based attention. In PointConvFormer, attention computed from feature difference between points in the neighborhood is used to modify the convolutional weights at each point. Hence, we preserved the invariances from point convolution, whereas attention helps to select relevant points in the neighborhood for convolution. PointConvFormer is suitable for multiple tasks that require details at the point level, such as segmentation and scene flow estimation tasks. We experiment on both tasks with multiple datasets including ScanNet, SemanticKitti, FlyingThings3D and KITTI. Our results show that PointConvFormer offers a better accuracy-speed tradeoff than classic convolutions, regular transformers, and voxelized sparse convolution approaches. Visualizations show that PointConvFormer performs similarly to convolution on flat areas, whereas the neighborhood selection effect is stronger on object boundaries, showing that it has got the best of both worlds.


title: Quantitative steepness, semi-FKPP reactions, and pushmi-pullyu fronts

abstract: We uncover a seemingly previously unnoticed algebraic structure of a large class of reaction-diffusion equations and use it, in particular, to study the long time behavior of the solutions and their convergence to traveling waves in the pulled and pushed regimes, as well as at the pushmi-pullyu boundary. One such new object introduced in this paper is the shape defect function, which, indirectly, measures the difference between the profiles of the solution and the traveling wave. While one can recast the classical notion of `steepness' in terms of the positivity of the shape defect function, its positivity can, surprisingly, be used in numerous quantitative ways. In particular, the positivity is used in a new weighted Hopf-Cole transform and in a relative entropy approach that play a key role in the stability arguments. The shape defect function also gives a new connection between reaction-diffusion equations and reaction conservation laws at the pulled-pushed transition. Other simple but seemingly new algebraic constructions in the present paper supply various unexpected inequalities sprinkled throughout the paper. Of note is a new variational formulation that applies equally to pulled and pushed fronts, opening the door to an as-yet-elusive variational analysis in the pulled case.


title: Improving Fuzzy-Logic based Map-Matching Method with Trajectory Stay-Point Detection

abstract: The requirement to trace and process moving objects in the contemporary era gradually increases since numerous applications quickly demand precise moving object locations. The Map-matching method is employed as a preprocessing technique, which matches a moving object point on a corresponding road. However, most of the GPS trajectory datasets include stay-points irregularity, which makes map-matching algorithms mismatch trajectories to irrelevant streets. Therefore, determining the stay-point region in GPS trajectory datasets results in better accurate matching and more rapid approaches. In this work, we cluster stay-points in a trajectory dataset with DBSCAN and eliminate redundant data to improve the efficiency of the map-matching algorithm by lowering processing time. We reckoned our proposed method's performance and exactness with a ground truth dataset compared to a fuzzy-logic based map-matching algorithm. Fortunately, our approach yields 27.39% data size reduction and 8.9% processing time reduction with the same accurate results as the previous fuzzy-logic based map-matching approach.


title: Pontryagin-Optimal Control of a non-Hermitian Qubit

abstract: Open-system quantum dynamics described by non-Hermitian effective Hamiltonians have become a subject of considerable interest. Studies of non-Hermitian physics have revealed general principles, including relationships between the topology of the complex eigenvalue space and the breakdown of adiabatic control strategies. We study here the control of a single non-Hermitian qubit, similar to recently realized experimental systems in which the non-Hermiticity arises from an open spontaneous emission channel. We review the topological features of the resulting non-Hermitian Hamiltonian and then present two distinct results. First, we illustrate how to realize any continuous and differentiable pure-state trajectory in the dynamics of a qubit that are conditioned on no emission. This result implicitly provides a workaround for the breakdown of standard adiabatic following in such non-Hermitian systems. Second, we use Pontryagin's maximum principle to derive optimal trajectories connecting boundary states on the Bloch sphere, using a cost function which balances the desired dynamics against the controller energy used to realize them. We demonstrate that the latter approach can effectively find trajectories which maintain high state purity even in the case of inefficient detection.


title: Beware of Discarding Used SRAMs: Information is Stored Permanently

abstract: Data recovery has long been a focus of the electronics industry for decades by security experts, focusing on hard disk recovery, a type of non-volatile memory. Unfortunately, none of the existing research, neither from academia, industry, or government, have ever considered data recovery from volatile memories. The data is lost when it is powered off, by definition. To the best of our knowledge, we are the first to present an approach to recovering data from a static random access memory. It is conventional wisdom that SRAM loses its contents whenever it turns off, and it is not required to protect sensitive information, e.g., the firmware code, secret encryption keys, etc., when an SRAM-based computing system retires. Unfortunately, the recycling of integrated circuits poses a severe threat to the protection of intellectual properties. In this paper, we present a novel concept to retrieve SRAM data as aging leads to a power-up state with an imprint of the stored values. We show that our proposed approaches can partially recover the previously used SRAM content. The accuracy of the recovered data can be further increased by incorporating multiple SRAM chips compared to a single one. It is impossible to retrieve the prior content of some stable SRAM cells, where aging shifts these cells towards stability. As the locations of these cells vary from chip to chip due to uncontrollable process variation, the same cell has a higher chance of being unstable or stable against aging in any of the chips, which helps us recover the content. Finally, majority voting is used to combine a set of SRAM chips' data to recover the stored data. We present our experimental result using commercial off-the-shelf SRAMs with stored binary image data before performing accelerated aging. We demonstrate the successful partial retrieval on SRAMs that are aged with as little as 4 hours of accelerated aging with 85C.


title: CheckSync: Using Runtime-Integrated Checkpoints to Achieve High Availability}

abstract: CheckSync provides applications with high availability via runtime-integrated checkpointing. This allows CheckSync to take checkpoints of a process running in a memory-managed language (Go, for now), which can be resumed on another machine after a failure. CheckSync uses the runtime to checkpoint only the process' live memory, doing without requiring significant changes to applications. CheckSync maintains the ease of use provided by virtual machines for the applications it supports without requiring that an entire virtual machine image be snapshotted. Because CheckSync captures only the memory used by an application, it produces checkpoints that are smaller (by an order of magnitude) than virtual machine snapshots if the memory footprint of the application is relatively small compared to the state of the rest of the operating system. Additionally, when running go-cache, a popular in-memory key/value store, CheckSync reduces throughput by only 12% compared to the 78% throughput loss when using go-cache's snapshot functionality, the 45% loss when using CRIU, and the 68% loss when using virtual machine live migration.


title: Grasp Stability Prediction with Sim-to-Real Transfer from Tactile Sensing

abstract: Robot simulation has been an essential tool for data-driven manipulation tasks. However, most existing simulation frameworks lack either efficient and accurate models of physical interactions with tactile sensors or realistic tactile simulation. This makes the sim-to-real transfer for tactile-based manipulation tasks still challenging. In this work, we integrate simulation of robot dynamics and vision-based tactile sensors by modeling the physics of contact. This contact model uses simulated contact forces at the robot's end-effector to inform the generation of realistic tactile outputs. To eliminate the sim-to-real transfer gap, we calibrate our physics simulator of robot dynamics, contact model, and tactile optical simulator with real-world data, and then we demonstrate the effectiveness of our system on a zero-shot sim-to-real grasp stability prediction task where we achieve an average accuracy of 90.7% on various objects. Experiments reveal the potential of applying our simulation framework to more complicated manipulation tasks. We open-source our simulation framework at https://github.com/CMURoboTouch/Taxim/tree/taxim-robot.


title: Creative Wand: A System to Study Effects of Communications in Co-Creative Settings

abstract: Recent neural generation systems have demonstrated the potential for procedurally generating game content, images, stories, and more. However, most neural generation algorithms are "uncontrolled" in the sense that the user has little say in creative decisions beyond the initial prompt specification. Co-creative, mixed-initiative systems require user-centric means of influencing the algorithm, especially when users are unlikely to have machine learning expertise. The key to co-creative systems is the ability to communicate ideas and intent from the user to the agent, as well as from the agent to the user. Key questions in co-creative AI include: How can users express their creative intentions? How can creative AI systems communicate their beliefs, explain their moves, or instruct users to act on their behalf? When should creative AI systems take initiative? The answer to such questions and more will enable us to develop better co-creative systems that make humans more capable of expressing their creative intents. We introduce CREATIVE-WAND, a customizable framework for investigating co-creative mixed-initiative generation. CREATIVE-WAND enables plug-and-play injection of generative models and human-agent communication channels into a chat-based interface. It provides a number of dimensions along which an AI generator and humans can communicate during the co-creative process. We illustrate the CREATIVE-WAND framework by using it to study one dimension of co-creative communication-global versus local creative intent specification by the user-in the context of storytelling.


title: High-resolution near-infrared spectroscopy of globular cluster and field stars toward the Galactic bulge

abstract: Globular clusters (GCs) play an important role in the formation and evolution of the Milky Way. New candidates are continuously found, particularly in the high-extinction low-latitude regions of the bulge, although their existence and properties have yet to be verified. In order to investigate the new GC candidates, we performed high-resolution NIR spectroscopy of stars toward the bulge using the IGRINS instrument at the Gemini-South telescope. We selected 15 and 10 stars near Camargo 1103 and 1106, respectively, which have recently been reported as metal-poor GC candidates in the bulge. In contrast to the classical approaches used in optical spectroscopy, we determined stellar parameters from a combination of line-depth ratios and the equivalent width of a CO line. The stellar parameters of the stars follow the common trends of nearby APOGEE stars in a similar magnitude range. We also determined the abundances of Fe, Na, Mg, Al, Si, S, K, Ca, Ti, Cr, Ni, and Ce through spectrum synthesis. There is no clear evidence of a grouping in RV-[Fe/H] space that would indicate the characterization of either object as metal-poor GCs. This result emphasizes the necessity of follow-up spectroscopy for new GC candidates toward the bulge, although we cannot completely rule out a low probability that we only observed nonmember stars. We also note discrepancies between the abundances of Al, Ca, and Ti when derived from the H- vs. the K-band spectra. Although the cause of this discrepancy is not clear, the effects of atmosphere parameters or NLTE are discussed. Our approach and results demonstrate that IGRINS spectroscopy is a useful tool for studying the chemical properties of stars toward the Galactic bulge with a statistical uncertainty in [Fe/H] of 0.03 dex, while the systematic error through uncertainties of atmospheric parameter is slightly larger than in measurements from optical spectroscopy.


title: Multicyclic norias: a first-transition approach to extreme values of the currents

abstract: For continuous-time Markov chains we prove that, depending on the notion of effective affinity $F$, the probability of an edge current to ever become negative is either $1$ if $F< 0$ else $\sim \exp - F$. The result generalizes a ``noria'' formula to multicyclic networks. We give operational insights on the effective affinity and compare several estimators, arguing that stopping problems may be more accurate in assessing the nonequilibrium nature of a system according to a local observer. Finally we elaborate on the similarity with the Boltzmann formula. The results are based on a constructive first-transition approach.