title: Continuous cutting plane algorithms in integer programming

abstract: Cutting planes for mixed-integer linear programs (MILPs) are typically computed in rounds by iteratively solving optimization problems, the so-called separation. Instead, we reframe the problem of finding good cutting planes as a continuous optimization problem over weights parametrizing families of valid inequalities. This problem can also be interpreted as optimizing a neural network to solve an optimization problem over subadditive functions, which we call the subadditive primal problem of the MILP. To do so, we propose a concrete two-step algorithm, and demonstrate empirical gains when optimizing generalized Gomory mixed-integer inequalities over various classes of MILPs. Code for reproducing the experiments can be found at https://github.com/dchetelat/subadditive.


title: GAM(e) changer or not? An evaluation of interpretable machine learning models based on additive model constraints

abstract: The number of information systems (IS) studies dealing with explainable artificial intelligence (XAI) is currently exploding as the field demands more transparency about the internal decision logic of machine learning (ML) models. However, most techniques subsumed under XAI provide post-hoc-analytical explanations, which have to be considered with caution as they only use approximations of the underlying ML model. Therefore, our paper investigates a series of intrinsically interpretable ML models and discusses their suitability for the IS community. More specifically, our focus is on advanced extensions of generalized additive models (GAM) in which predictors are modeled independently in a non-linear way to generate shape functions that can capture arbitrary patterns but remain fully interpretable. In our study, we evaluate the prediction qualities of five GAMs as compared to six traditional ML models and assess their visual outputs for model interpretability. On this basis, we investigate their merits and limitations and derive design implications for further improvements.


title: Investigation of deflection angle for muon energy classification in muon scattering tomography via GEANT4 simulations

abstract: In muon scattering tomography, the investigated materials are discriminated according to the scattering angle that mainly depends on the atomic number, the density, and the thickness of the medium at a given energy value. The scattering angles at different initial energies also provide the opportunity to classify the incoming muons into a number of energy groups. In this study, by employing the GEANT4 code, we show that the deflection angle exponentially decays as a function of energy, and the numerical values for the current configuration are below the detector accuracy except the initial energy bins owing to the low-Z, low density, and low thickness of the current plastic scintillators. This implies the necessity of additional components that provoke the muon scattering. Therefore, we introduce stainless steel surfaces into the top and bottom sections in order to amplify the deflection angle as well as to reduce the uncertainty, thereby improving the detector performance.


title: Mobility Analysis Workflow (MAW): An accessible, interoperable, and reproducible container system for processing raw mobile data

abstract: Mobility analysis, or understanding and modeling of people's mobility patterns in terms of when, where, and how people move from one place to another, is fundamentally important as such information is the basis for large-scale investment decisions on the nation's multi-modal transportation infrastructure. Recent rise of using passively generated mobile data from mobile devices have raised questions on using such data for capturing the mobility patterns of a population because: 1) there is a great variety of different kinds of mobile data and their respective properties are unknown; and 2) data pre-processing and analysis methods are often not explicitly reported. The high stakes involved with mobility analysis and issues associated with the passively generated mobile data call for mobility analysis (including data, methods and results) to be accessible to all, interoperable across different computing systems, reproducible and reusable by others. In this study, a container system named Mobility Analysis Workflow (MAW) that integrates data, methods and results, is developed. Built upon the containerization technology, MAW allows its users to easily create, configure, modify, execute and share their methods and results in the form of Docker containers. Tools for operationalizing MAW are also developed and made publicly available on GitHub. One use case of MAW is the comparative analysis for the impacts of different pre-processing and mobility analysis methods on inferred mobility patterns. This study finds that different pre-processing and analysis methods do have impacts on the resulting mobility patterns. The creation of MAW and a better understanding of the relationship between data, methods and resulting mobility patterns as facilitated by MAW represent an important first step toward promoting reproducibility and reusability in mobility analysis with passively-generated data.


title: Measuring the Soft X-Ray Quantum Efficiency of a Hybrid CMOS Detector

abstract: Next-generation X-ray observatories, such as the Lynx X-ray Observatory Mission Concept or other similar concepts in the coming decade, will require detectors with high quantum efficiency (QE) across the soft X-ray band to observe the faint objects that drive their mission science objectives. Hybrid CMOS Detectors (HCDs), a form of active-pixel sensor, are promising candidates for use on these missions because of their fast read-out, low power consumption, and intrinsic radiation hardness. In this work, we present QE measurements of a Teledyne H2RG HCD, performed using a gas-flow proportional counter as a reference detector. We find that this detector achieves high QE across the soft X-ray band, with an effective QE of $94.6 \pm 1.1 \%$ at the Mn K$\alpha$/K$\beta$ energies (5.90/6.49 keV), $98.3 \pm 1.9 \%$ at the Al K$\alpha$ energy (1.49 keV), $85.6 \pm 2.8 \%$ at the O K$\alpha$ energy (0.52 keV), and $61.3 \pm 1.1 \%$ at the C K$\alpha$ energy (0.28 keV). These values are in good agreement with our model, based on the absorption of detector layers. We find similar results in a more restrictive analysis considering only high-quality events, with only somewhat reduced QE at lower energies.


title: X-ray observation of the Roche-lobe filling white dwarf plus hot subdwarf system ZTF J213056.71+442046.5

abstract: ZTF J213056.71+442046.5 is the prototype of a small class of recently discovered compact binaries composed of a white dwarf and a hot subdwarf that fills its Roche-lobe. Its orbital period of only 39 min is the shortest known for the objects in this class. Evidence for a high orbital inclination (i=86 deg) and for the presence of an accretion disk has been inferred from a detailed modeling of its optical photometric and spectroscopic data. We report the results of an XMM-Newton observation carried out on 2021 January 7. ZTF J213056.71+442046.5 was clearly detected by the Optical Monitor, which showed a periodic variability in the UV band (200-400 nm), with a light curve similar to that seen at longer wavelengths. Despite accretion on the white dwarf at an estimated rate of the order of 10^{-9} M_sun/yr, no X-rays were detected with the EPIC instrument, with a limit of ~10^{30} erg/s on the 0.2-12 keV luminosity. We discuss possible explanations for the lack of a strong X-ray emission from this system.


title: One hundred second bit-flip time in a two-photon dissipative oscillator

abstract: Current implementations of quantum bits (qubits) continue to undergo too many errors to be scaled into useful quantum machines. An emerging strategy is to encode quantum information in the two meta-stable pointer states of an oscillator exchanging pairs of photons with its environment, a mechanism shown to provide stability without inducing decoherence. Adding photons in these states increases their separation, and macroscopic bit-flip times are expected even for a handful of photons, a range suitable to implement a qubit. However, previous experimental realizations have saturated in the millisecond range. In this work, we aim for the maximum bit-flip time we could achieve in a two-photon dissipative oscillator. To this end, we design a Josephson circuit in a regime that circumvents all suspected dynamical instabilities, and employ a minimally invasive fluorescence detection tool, at the cost of a two-photon exchange rate dominated by single-photon loss. We attain bit-flip times of the order of 100 seconds for states pinned by two-photon dissipation and containing about 40 photons. This experiment lays a solid foundation from which the two-photon exchange rate can be gradually increased, thus gaining access to the preparation and measurement of quantum superposition states, and pursuing the route towards a logical qubit with built-in bit-flip protection.


title: Small Shadows of Lattice Polytopes

abstract: The diameter of the graph of a $d$-dimensional lattice polytope $P \subseteq [0,k]^{n}$ is known to be at most $dk$ due to work by Kleinschmidt and Onn. However, it is an open question whether the monotone diameter, the shortest guaranteed length of a monotone path, of a $d$-dimensional lattice polytope $P = \{\mathbf{x}: A\mathbf{x} \leq \mathbf{b}\} \subseteq [0,k]^{n}$ is bounded by a polynomial in $d$ and $k$. This question is of particular interest in linear optimization, since paths traced by the Simplex method must be monotone. We introduce partial results in this direction including a monotone diameter bound of $3d$ for $k = 2$, a monotone diameter bound of $(d-1)m+1$ for $d$-dimensional $(m+1)$-level polytopes, a pivot rule such that the Simplex method is guaranteed to take at most $dnk||A||_{\infty}$ non-degenerate steps to solve a LP on $P$, and a bound of $dk$ for lengths of paths from certain fixed starting points. Finally, we present a constructive approach to a diameter bound of $(3/2)dk$ and describe how to translate this final bound into an algorithm that solves a linear program by tracing such a path.


title: Very Light Sterile Neutrinos at NOvA and T2K

abstract: Over the last several years, our understanding of neutrino oscillations has developed significantly due to the long-baseline measurements of muon-neutrino disappearance and muon-to-electron-neutrino appearance at the T2K and NOvA experiments. However, when interpreted under the standard-three-massive-neutrinos paradigm, a tension has emerged between the two experiments' data. Here, we examine whether this tension can be alleviated when a fourth, very light neutrino is added to the picture. Specifically, we focus on the scenario in which this new neutrino has a mass similar to, or even lighter than, the three mostly-active neutrinos that have been identified to date. We find that, for some regions of parameter space, the four-neutrino framework is favored over the three-neutrino one with moderate (a little under two sigma) significance. Interpreting these results, we provide future outlook for near-term and long-term experiments if this four-neutrino framework is indeed true.


title: A Unified Approach for Multi-Scale Synchronous Correlation Search in Big Time Series -- Full Version

abstract: The wide deployment of IoT sensors has enabled the collection of very big time series across different domains, from which advanced analytics can be performed to find unknown relationships, most importantly the correlations between them. However, current approaches for correlation search on time series are limited to only a single temporal scale and simple types of relations, and cannot handle noise effectively. This paper presents the integrated SYnchronous COrrelation Search (iSYCOS) framework to find multi-scale correlations in big time series. Specifically, iSYCOS integrates top-down and bottom-up approaches into a single auto-configured framework capable of efficiently extracting complex window-based correlations from big time series using mutual information (MI). Moreover, iSYCOS includes a novel MI-based theory to identify noise in the data, and is used to perform pruning to improve iSYCOS performance. Besides, we design a distributed version of iSYCOS that can scale out in a Spark cluster to handle big time series. Our extensive experimental evaluation on synthetic and real-world datasets shows that iSYCOS can auto-configure on a given dataset to find complex multi-scale correlations. The pruning and optimisations can improve iSYCOS performance up to an order of magnitude, and the distributed iSYCOS can scale out linearly on a computing cluster.


title: Solar system relativity tests, formulas for light deflection by a central mass, and modification of the lens equation, for a Weyl scaling invariant dark energy

abstract: We estimate the changes in solar system tests of general relativity when "dark energy" arises from a Weyl scaling invariant action, using the modified Schwarzschild-like spherically symmetric solution obtained in this case by Adler and Ramazano\vglu. We show that the standard results of general relativity are modified by amounts that are far below current experimental errors. However, because the metric is not conformally flat when the central mass $M$ vanishes, there is a contribution to light deflection proportional to the cosmological constant $\Lambda$, with opposite sign to the one proportional to $M$. This could have implications for gravitational lensing in cosmological contexts, so we have calculated the corresponding correction to the "lens equation" for gravitational lensing. We also give formulas for the light deflection angle through order $\Lambda M$, assuming a parameterized spherically symmetric metric for the external region of the central mass.


title: Thermal Friction as a Solution to the Hubble and Large-Scale Structure Tensions

abstract: Thermal friction offers a promising solution to the Hubble and the large-scale structure (LSS) tensions. This additional friction acts on a scalar field in the early universe and extracts its energy density into dark radiation, the cumulative effect being similar to that of an early dark energy (EDE) scenario. The dark radiation automatically redshifts at the minimal necessary rate to improve the Hubble tension. On the other hand, the addition of extra radiation to the Universe can improve the LSS tension. We explore this model in light of cosmic microwave background (CMB), baryon acoustic oscillation and supernova data, including the SH0ES $H_0$ measurement and the Dark Energy Survey Y1 data release in our analysis. Our results indicate a preference for the regime where the scalar field converts to dark radiation at very high redshifts, asymptoting effectively to an extra self-interacting radiation species rather than an EDE-like injection. In this limit, thermal friction can ease both the Hubble and the LSS tensions, but not resolve them. We find the source of this preference to be the incompatibility of the CMB data with the linear density perturbations of the dark radiation when injected at redshifts close to matter-radiation equality.


title: Diverse Imagenet Models Transfer Better

abstract: A commonly accepted hypothesis is that models with higher accuracy on Imagenet perform better on other downstream tasks, leading to much research dedicated to optimizing Imagenet accuracy. Recently this hypothesis has been challenged by evidence showing that self-supervised models transfer better than their supervised counterparts, despite their inferior Imagenet accuracy. This calls for identifying the additional factors, on top of Imagenet accuracy, that make models transferable. In this work we show that high diversity of the features learnt by the model promotes transferability jointly with Imagenet accuracy. Encouraged by the recent transferability results of self-supervised models, we propose a method that combines self-supervised and supervised pretraining to generate models with both high diversity and high accuracy, and as a result high transferability. We demonstrate our results on several architectures and multiple downstream tasks, including both single-label and multi-label classification.


title: Deep Learning nearby galaxy peculiar velocities

abstract: We explore how information in images of nearby galaxies can be used to estimate their distance. We train a convolutional Neural Network (NN) to do this, using galaxy images from the Illustris simulation. We show that if the NN is trained on data with random errors added to the true distance (representing training using spectroscopic redshift instead of actual distance), then the NN can predict distances in a test dataset with greater accuracy than it was given in the training set. This is not unusual, as often NNs are trained on data with added noise, in order to increase robustness. In this case, however, it offers a route to estimating peculiar velocities of nearby galaxies. Given a galaxy with a known spectroscopic redshift one can use the NN-predicted distance to make an estimate of the peculiar velocity. Trying this using relatively low resolution (1.4 arcsec per pixel) simulated galaxy images we find fractional RMS distance errors of 7.7% for galaxies at a mean distance of 75 Mpc from the observer, leading to RMS peculiar velocity errors of 440 km/s. In a companion paper we apply the technique to 145,115 nearby galaxies from the NASA Sloan Atlas.


title: The White-Box Adversarial Data Stream Model

abstract: We study streaming algorithms in the white-box adversarial model, where the stream is chosen adaptively by an adversary who observes the entire internal state of the algorithm at each time step. We show that nontrivial algorithms are still possible. We first give a randomized algorithm for the $L_1$-heavy hitters problem that outperforms the optimal deterministic Misra-Gries algorithm on long streams. If the white-box adversary is computationally bounded, we use cryptographic techniques to reduce the memory of our $L_1$-heavy hitters algorithm even further and to design a number of additional algorithms for graph, string, and linear algebra problems. The existence of such algorithms is surprising, as the streaming algorithm does not even have a secret key in this model, i.e., its state is entirely known to the adversary. One algorithm we design is for estimating the number of distinct elements in a stream with insertions and deletions achieving a multiplicative approximation and sublinear space; such an algorithm is impossible for deterministic algorithms. We also give a general technique that translates any two-player deterministic communication lower bound to a lower bound for {\it randomized} algorithms robust to a white-box adversary. In particular, our results show that for all $p\ge 0$, there exists a constant $C_p>1$ such that any $C_p$-approximation algorithm for $F_p$ moment estimation in insertion-only streams with a white-box adversary requires $\Omega(n)$ space for a universe of size $n$. Similarly, there is a constant $C>1$ such that any $C$-approximation algorithm in an insertion-only stream for matrix rank requires $\Omega(n)$ space with a white-box adversary. Our algorithmic results based on cryptography thus show a separation between computationally bounded and unbounded adversaries. (Abstract shortened to meet arXiv limits.)


title: Sarkisov links from toric weighted blowups of $\mathbb{P}^3$ and $\mathbb{P}^4$ at a point

abstract: We study Sarkisov links initiated by the toric weighted blowup of a point in $\mathbb{P}^3$ or $\mathbb{P}^4$ using variation of GIT. We completely classify which of these initiate Sarkisov links and describe the links explicitly. Moreover, if $X$ is the toric weighted blowup of $\mathbb{P}^d$ at a point, we give a simple criterion in terms of the weights of the blowup that characterises when $X$ is weak Fano.


title: RangeUDF: Semantic Surface Reconstruction from 3D Point Clouds

abstract: We present RangeUDF, a new implicit representation based framework to recover the geometry and semantics of continuous 3D scene surfaces from point clouds. Unlike occupancy fields or signed distance fields which can only model closed 3D surfaces, our approach is not restricted to any type of topology. Being different from the existing unsigned distance fields, our framework does not suffer from any surface ambiguity. In addition, our RangeUDF can jointly estimate precise semantics for continuous surfaces. The key to our approach is a range-aware unsigned distance function together with a surface-oriented semantic segmentation module. Extensive experiments show that RangeUDF clearly surpasses state-of-the-art approaches for surface reconstruction on four point cloud datasets. Moreover, RangeUDF demonstrates superior generalization capability across multiple unseen datasets, which is nearly impossible for all existing approaches.


title: OSSOS XXV: Large Populations and Scattering-Sticking in the Distant Transneptunian Resonances

abstract: There have been 77 TNOs discovered to be librating in the distant transneptunian resonances (beyond the 2:1 resonance, at semimajor axes greater than 47.7~AU) in four well-characterized surveys: the Outer Solar System Origins Survey (OSSOS) and three similar prior surveys. Here we use the OSSOS Survey Simulator to measure their intrinsic orbital distributions using an empirical parameterized model. Because many of the resonances had only one or very few detections, $j$:$k$ resonant objects were grouped by $k$ in order to have a better basis for comparison between models and reality. We also use the Survey Simulator to constrain their absolute populations, finding that they are much larger than predicted by any published Neptune migration model to date; we also find population ratios that are inconsistent with published models, presenting a challenge for future Kuiper Belt emplacement models. The estimated population ratios between these resonances are largely consistent with scattering-sticking predictions, though further discoveries of resonant TNOs with high-precision orbits will be needed to determine whether scattering-sticking can explain the entire distant resonant population or not.


title: Multi-hop Question Answering

abstract: The task of Question Answering (QA) has attracted significant research interest for long. Its relevance to language understanding and knowledge retrieval tasks, along with the simple setting makes the task of QA crucial for strong AI systems. Recent success on simple QA tasks has shifted the focus to more complex settings. Among these, Multi-Hop QA (MHQA) is one of the most researched tasks over the recent years. In broad terms, MHQA is the task of answering natural language questions that involve extracting and combining multiple pieces of information and doing multiple steps of reasoning. An example of a multi-hop question would be "The Argentine PGA Championship record holder has won how many tournaments worldwide?". Answering the question would need two pieces of information: "Who is the record holder for Argentine PGA Championship tournaments?" and "How many tournaments did [Answer of Sub Q1] win?". The ability to answer multi-hop questions and perform multi step reasoning can significantly improve the utility of NLP systems. Consequently, the field has seen a surge with high quality datasets, models and evaluation strategies. The notion of 'multiple hops' is somewhat abstract which results in a large variety of tasks that require multi-hop reasoning. This leads to different datasets and models that differ significantly from each other and makes the field challenging to generalize and survey. We aim to provide a general and formal definition of the MHQA task, and organize and summarize existing MHQA frameworks. We also outline some best practices for building MHQA datasets. This book provides a systematic and thorough introduction as well as the structuring of the existing attempts to this highly interesting, yet quite challenging task.


title: Automorphic Gluing

abstract: We prove a gluing theorem on the automorphic side of the geometric Langlands correspondence: roughly speaking, we show that the difference between $\mathrm{DMod}(\mathrm{Bun}_G)$ and its full subcategory $\mathrm{DMod}(\mathrm{Bun}_G)^\mathrm{temp}$ of tempered objects is compensated by the categories $\mathrm{DMod}(\mathrm{Bun}_M)^\mathrm{temp}$ for all standard Levi subgroups $M \subsetneq G$. This theorem is designed to match exactly with the spectral gluing theorem, an analogous result occurring on the other side of the geometric Langlands conjecture. Along the way, we state and prove several facts that might be of independent interest. For instance, for any parabolic $P \subseteq G$, we show that the functors $\mathrm{CT}_{P,*}:\mathrm{DMod}(\mathrm{Bun}_G) \to \mathrm{DMod}(\mathrm{Bun}_M)$ and $\mathrm{Eis}_{P,*}: \mathrm{DMod}(\mathrm{Bun}_M) \to \mathrm{DMod}(\mathrm{Bun}_G)$ preserve tempered objects, whereas the standard Eisenstein functor $\mathrm{Eis}_{P,!}$ preserves anti-tempered objects.


title: Bi-Colored Expansions of Geometric Theories

abstract: This paper concerns the study of Bi-colored expansions of geometric theories in the light of the Fra\"{i}ss\'{e}-Hrushovski construction method. Substructures of models of a geometric theory $T$ are expanded by a color predicate $p$, and the dimension function associated with the pre-geometry of the $T$-algebraic closure operator together with a real number $0<\alpha\leqslant 1$ is used to define a pre-dimension function $\delta_{\alpha}$. The pair $(\mathcal{K}_{\alpha}^{+},\leqslant_{\alpha})$ consisting of all such expansions with a hereditary positive pre-dimension along with the notion of substructure $\leqslant_{\alpha}$ associated to $\delta_{\alpha}$ is then used as a natural setting for the study of generic bi-colored expansions in the style of Fra\"{i}ss\'{e}-Hrushovski construction. Imposing certain natural conditions on $T$, enables us to introduce a complete axiomatization $\mathbb{T}_{\alpha}$ for the class of rich structures in this class. We will show that if $T$ is a dependent theory (NIP) then so is $\mathbb{T}_{\alpha}$. We further prove that whenever $\alpha$ is rational the strong dependence transfers to $\mathbb{T}_{\alpha}$. We conclude by showing that if $T$ defines a linear order and $\alpha$ is irrational then $\mathbb{T}_{\alpha}$ is not strongly dependent.


title: New evidence for a cosmological distribution of stellar mass primordial black holes

abstract: In this paper we show that to explain the observed distribution of amplitudes in a large sample of quasar lightcurves, a significant contribution from microlensing is required. This implies the existence of a cosmologically distributed population of stellar mass compact bodies making up a large fraction of the dark matter. Our analysis is based on the lightcurves of a sample of over 1000 quasars, photometrically monitored over a period of 26 years. The intrinsic variations in quasar luminosity are derived from luminous quasars where the quasar accretion disc is too large to be microlensed by stellar mass bodies, and then synthetic lightcurves for the whole sample are constructed with the same statistical properties. We then run microlensing simulations for each quasar with convergence in compact bodies appropriate to the quasar redshift assuming a $\Lambda$CDM cosmology. The synthetic lightcurve is then superimposed on the amplification pattern to incorporate the effects of microlensing. The distribution of the resulting amplitudes can then be compared with observation, giving a very close match. This procedure does not involve optimising parameters or fitting to the data, as all inputs such as lens mass and quasar disc size come from independent observations in the literature. The overall conclusion of the paper is that to account for the distribution of quasar lightcurve amplitudes it is necessary to include the microlensing effects of a cosmologically distributed population of stellar mass compact bodies, most plausibly identified as stellar mass primordial black holes.


title: The science case and challenges of space-borne sub-millimeter interferometry

abstract: Ultra-high angular resolution in astronomy has always been an important vehicle for making fundamental discoveries. Recent results in direct imaging of the vicinity of the supermassive black hole in the nucleus of the radio galaxy M87 by the millimeter VLBI system Event Horizon Telescope and various pioneering results of the Space VLBI mission RadioAstron provided new momentum in high angular resolution astrophysics. In both mentioned cases, the angular resolution reached the values of about 10-20 microrcseconds. Further developments toward at least an order of magnitude "sharper" values are dictated by the needs of astrophysical studies and can only be achieved by placing millimeter and submillimeter wavelength interferometric systems in space. A concept of such the system, called Terahertz Exploration and Zooming-in for Astrophysics (THEZA), has been proposed in the framework of the ESA Call for White Papers for the Voayage 2050 long term plan in 2019. In the current paper we discuss several approaches for addressing technological challenges of the THEZA concept. In particular, we consider a novel configuration of a space-borne millimeter/sub-millimeter antenna which might resolve several bottlenecks in creating large precise mechanical structures. The paper also presents an overview of prospective space-qualified technologies of low-noise analogue front-end instrumentation for millimeter/sub-millimeter telescopes, data handling and processing. The paper briefly discusses approaches to the interferometric baseline state vector determination and synchronisation and heterodyning system. In combination with the original ESA Voyage 2050 White Paper, the current work sharpens the case for the next generation microarcsceond-level imaging instruments and provides starting points for further in-depth technology trade-off studies.


title: ALBETO and DistilBETO: Lightweight Spanish Language Models

abstract: In recent years there have been considerable advances in pre-trained language models, where non-English language versions have also been made available. Due to their increasing use, many lightweight versions of these models (with reduced parameters) have also been released to speed up training and inference times. However, versions of these lighter models (e.g., ALBERT, DistilBERT) for languages other than English are still scarce. In this paper we present ALBETO and DistilBETO, which are versions of ALBERT and DistilBERT pre-trained exclusively on Spanish corpora. We train several versions of ALBETO ranging from 5M to 223M parameters and one of DistilBETO with 67M parameters. We evaluate our models in the GLUES benchmark that includes various natural language understanding tasks in Spanish. The results show that our lightweight models achieve competitive results to those of BETO (Spanish-BERT) despite having fewer parameters. More specifically, our larger ALBETO model outperforms all other models on the MLDoc, PAWS-X, XNLI, MLQA, SQAC and XQuAD datasets. However, BETO remains unbeaten for POS and NER. As a further contribution, all models are publicly available to the community for future research.


title: Complex symmetry of linear fractional composition operators on a half-plane

abstract: We investigate the bounded composition operators induced by linear fractional self-maps of the right half-plane $\mathbb{C}_+$ on the Hardy space $H^2(\mathbb{C}_+).$ We completely characterize which of these operators are cohyponormal and we find conjugations for the linear fractional composition operators that are complex symmetric.


title: Magnetic field effects in biology from the perspective of the radical pair mechanism

abstract: A large and growing body of research shows that weak magnetic fields can significantly influence various biological systems, including plants, animals, and humans. However, the underlying mechanisms behind these phenomena remain elusive. It is remarkable that the magnetic energies implicated in these effects are much smaller than thermal energies. Here we review these observations, of which there are now hundreds, and we suggest that a viable explanation is provided by the radical pair mechanism, which involves the quantum dynamics of the electron and nuclear spins of naturally occurring transient radical molecules. While the radical pair mechanism has been studied in detail in the context of avian magnetoreception, the studies reviewed here show that magnetosensitivity is widespread throughout biology. We review magnetic field effects on various physiological functions, organizing them based on the type of the applied magnetic fields, namely static, hypomagnetic, and oscillating magnetic fields, as well as isotope effects. We then review the radical pair mechanism as a potential unifying model for the described magnetic field effects, and we discuss plausible candidate molecules that might constitute the radical pairs. We review recent studies proposing that the quantum nature of the radical pairs provides promising explanations for xenon anesthesia, lithium effects on hyperactivity, magnetic field and lithium effects on the circadian clock, and hypomagnetic field effects on neurogenesis and microtubule assembly. We conclude by discussing future lines of investigation in this exciting new area of quantum biology related to weak magnetic field effects.

categories: physics.bio-ph physics.chem-ph q-bio.NC quant-ph


title: What Makes Instruction Learning Hard? An Investigation and a New Challenge in a Synthetic Environment

abstract: The instruction learning paradigm -- where a model learns to perform new tasks from task descriptions alone -- has become popular in general-purpose model research. The capabilities of large transformer models as instruction learners, however, remain poorly understood. We use a controlled synthetic environment to characterize such capabilities. Specifically, we use the task of deciding whether a given string matches a regular expression (viewed as an instruction) to identify properties of tasks, instructions, and instances that make instruction learning challenging. For instance, we find that our model, a fine-tuned T5-based text2text transformer, struggles with large regular languages, suggesting that less precise instructions are challenging for models. Additionally, instruction executions that require tracking longer contexts of prior steps are also more difficult. We use our findings to systematically construct a challenging instruction learning dataset, which we call Hard RegSet. Fine-tuning on Hard RegSet, our large transformer learns to correctly interpret only 65.6% of test instructions (with at least 90% accuracy), and 11%-24% of the instructions in out-of-distribution generalization settings. We propose Hard RegSet as a challenging instruction learning task, and a controlled environment for studying instruction learning.


title: DialoKG: Knowledge-Structure Aware Task-Oriented Dialogue Generation

abstract: Task-oriented dialogue generation is challenging since the underlying knowledge is often dynamic and effectively incorporating knowledge into the learning process is hard. It is particularly challenging to generate both human-like and informative responses in this setting. Recent research primarily focused on various knowledge distillation methods where the underlying relationship between the facts in a knowledge base is not effectively captured. In this paper, we go one step further and demonstrate how the structural information of a knowledge graph can improve the system's inference capabilities. Specifically, we propose DialoKG, a novel task-oriented dialogue system that effectively incorporates knowledge into a language model. Our proposed system views relational knowledge as a knowledge graph and introduces (1) a structure-aware knowledge embedding technique, and (2) a knowledge graph-weighted attention masking strategy to facilitate the system selecting relevant information during the dialogue generation. An empirical evaluation demonstrates the effectiveness of DialoKG over state-of-the-art methods on several standard benchmark datasets.


title: Entanglement and conserved quantities

abstract: The Einstein-Podolsky-Rosen paradox is resolved by reconsidering what entangled state is actually prepared, what physical quantities are conserved and the character of the correlation measurements employed.


title: Multi-Camera Multiple 3D Object Tracking on the Move for Autonomous Vehicles

abstract: The development of autonomous vehicles provides an opportunity to have a complete set of camera sensors capturing the environment around the car. Thus, it is important for object detection and tracking to address new challenges, such as achieving consistent results across views of cameras. To address these challenges, this work presents a new Global Association Graph Model with Link Prediction approach to predict existing tracklets location and link detections with tracklets via cross-attention motion modeling and appearance re-identification. This approach aims at solving issues caused by inconsistent 3D object detection. Moreover, our model exploits to improve the detection accuracy of a standard 3D object detector in the nuScenes detection challenge. The experimental results on the nuScenes dataset demonstrate the benefits of the proposed method to produce SOTA performance on the existing vision-based tracking dataset.


title: Feigin-Odesskii brackets, syzygies, and Cremona transformations

abstract: We identify Feigin-Odesskii brackets $q_{n,1}(C)$, associated with a normal elliptic curve of degree $n$, $C\subset {\mathbb P}^{n-1}$, with the skew-symmetric $n\times n$ matrix of quadratic forms introduced by Fisher in arXiv:1510.04327 in connection with some minimal free resolutions related to the secant varieties of $C$. On the other hand, we show that for odd $n$, the generators of the ideal of the secant variety of $C$ of codimension $3$ give a Cremona transformation of ${\mathbb P}^{n-1}$, generalizing the quadro-cubic Cremona transformation of ${\mathbb P}^4$. We identify this transformation with the one considered in arXiv:alg-geom/9712022 and find explict formulas for the inverse transformation. We also find polynomial formulas for Cremona transformations from arXiv:alg-geom/9712022 associated with higher rank bundles on $C$.


title: Characterization and Optimization of Integrated Silicon-Photonic Neural Networks under Fabrication-Process Variations

abstract: Silicon-photonic neural networks (SPNNs) have emerged as promising successors to electronic artificial intelligence (AI) accelerators by offering orders of magnitude lower latency and higher energy efficiency. Nevertheless, the underlying silicon photonic devices in SPNNs are sensitive to inevitable fabrication-process variations (FPVs) stemming from optical lithography imperfections. Consequently, the inferencing accuracy in an SPNN can be highly impacted by FPVs -- e.g., can drop to below 10% -- the impact of which is yet to be fully studied. In this paper, we, for the first time, model and explore the impact of FPVs in the waveguide width and silicon-on-insulator (SOI) thickness in coherent SPNNs that use Mach-Zehnder Interferometers (MZIs). Leveraging such models, we propose a novel variation-aware, design-time optimization solution to improve MZI tolerance to different FPVs in SPNNs. Simulation results for two example SPNNs of different scales under realistic and correlated FPVs indicate that the optimized MZIs can improve the inferencing accuracy by up to 93.95% for the MNIST handwritten digit dataset -- considered as an example in this paper -- which corresponds to a <0.5% accuracy loss compared to the variation-free case. The proposed one-time optimization method imposes low area overhead, and hence is applicable even to resource-constrained designs


title: Bandwidth bounds for wide-field-of-view dispersion-engineered achromatic metalenses

abstract: Optical systems with wide field-of-views (FOV) are crucial for many applications such as high performance imaging, optical projection, augmented/virtual reality, and miniaturized medical imaging tools. Typically, aberration-free imaging with a wide FOV is achieved by stacking multiple refractive lenses (as in a "fisheye" lens), adding to the size and weight of the optical system. Single metalenses designed to have a wide FOV have the potential to replace these bulky imaging systems and, moreover, they may be dispersion engineered for spectrally broadband operation. In this paper, we derive a fundamental bound on the spectral bandwidth of dispersion-engineered wide-FOV achromatic metalenses. We show that for metalenses with a relatively large numerical aperture (NA), there is a tradeoff between the maximum achievable bandwidth and the FOV; interestingly, however, the bandwidth reduction saturates beyond a certain FOV that depends on the NA of the metalens. These findings may provide important information and insights for the design of future wide-FOV achromatic flat lenses.


title: Approximating Persistent Homology for Large Datasets

abstract: Persistent homology is an important methodology from topological data analysis which adapts theory from algebraic topology to data settings and has been successfully implemented in many applications. It produces a statistical summary in the form of a persistence diagram, which captures the shape and size of the data. Despite its widespread use, persistent homology is simply impossible to implement when a dataset is very large. In this paper we address the problem of finding a representative persistence diagram for prohibitively large datasets. We adapt the classical statistical method of bootstrapping, namely, drawing and studying smaller multiple subsamples from the large dataset. We show that the mean of the persistence diagrams of subsamples -- taken as a mean persistence measure computed from the subsamples -- is a valid approximation of the true persistent homology of the larger dataset. We give the rate of convergence of the mean persistence diagram to the true persistence diagram in terms of the number of subsamples and size of each subsample. Given the complex algebraic and geometric nature of persistent homology, we adapt the convexity and stability properties in the space of persistence diagrams together with random set theory to achieve our theoretical results for the general setting of point cloud data. We demonstrate our approach on simulated and real data, including an application of shape clustering on complex large-scale point cloud data.


title: Blow-up and lifespan estimate for wave equations with critical damping term of space-dependent type related to Glassey conjecture

abstract: The main purpose of the present paper is to study the blow-up problem of the wave equation with space-dependent damping in the \textit{scale-invariant case} and time derivative nonlinearity with small initial data. Under appropriate initial data which are compactly supported, by using a test function method and taking into account the effect of the damping term ($\frac{\mu}{\sqrt{1+|x|^2}}u_t$), we provide that in higher dimensions the blow-up region is given by $p \in (1, p_G(N+\mu)]$ where $p_G(N)$ is the Glassey exponent. Furthermore, we shall establish a blow-up region, independent of $\mu$ given by $p\in (1, 1+\frac{2}{N}),$ for appropriate initial data in the energy space with noncompact support.


title: Multifidelity Deep Operator Networks For Data-Driven and Physics-Informed Problems

abstract: Operator learning for complex nonlinear systems is increasingly common in modeling multi-physics and multi-scale systems. However, training such high-dimensional operators requires a large amount of expensive, high-fidelity data, either from experiments or simulations. In this work, we present a composite Deep Operator Network (DeepONet) for learning using two datasets with different levels of fidelity to accurately learn complex operators when sufficient high-fidelity data is not available. Additionally, we demonstrate that the presence of low-fidelity data can improve the predictions of physics-informed learning with DeepONets. We demonstrate the new multi-fidelity training in diverse examples, including modeling of the ice-sheet dynamics of the Humboldt glacier, Greenland, using two different fidelity models and also using the same physical model at two different resolutions.


title: Ternary Wide Band Gap Oxides for High-Power Electronics Identified Computationally

abstract: As electricity grids become more renewable energy-compliant, there will be a need for novel semiconductors that can withstand high power, high voltage, and high temperatures. Wide band gap (WBG) semiconductors tend to exhibit large breakdown field, allowing high operating voltages. Currently explored WBG materials for power electronics are costly (GaN), difficult to synthesize as high-quality single crystals (SiC) and at scale (diamond, BN), have low thermal conductivity ($\beta$-Ga$_2$O$_3$), or cannot be suitably doped (AlN). We conduct a computational search for novel semiconductors across 1,340 known metal-oxides using first-principles calculations and existing transport models. We calculate the Baliga figure of merit (BFOM) and lattice thermal conductivity ($\kappa_L$) to identify top candidates for n-type power electronics. We find 40 mostly ternary oxides that have higher $\kappa_L$ than $\beta$-Ga$_2$O$_3$ and higher n-type BFOM than SiC and GaN. Among these, several material classes emerge, including 2-2-7 stoichiometry thortveitites and pyrochlores, II-IV spinels, and calcite-type borates. Within these classes, we propose In$_2$Ge$_2$O$_7$, Mg$_2$GeO$_4$, and InBO$_3$ as they are the most favorable for n-type doping based on our preliminary evaluation and could be grown as single crystals or thin film heterostructures. These materials could help advance power electronic devices for the future grid.


title: Resonant and non-resonant integrated third order parametric down-conversion

abstract: Third order parametric down-conversion describes a class of nonlinear processes in which a pump photon can be down-converted into triplets of photons. It has been identified as a source of non-classical light, with capabilities beyond those offered by better-established processes such as spontaneous four-wave mixing. Here we discuss the implementation of TOPDC in integrated photonic systems. We derive equations for the rates of TOPDC in a non-resonant (waveguide) and resonant (microring) platform, such that the scaling with experimental parameters can be plainly seen. We find that generally non-resonant platforms should be pursued for spontaneous TOPDC (SpTOPDC), whereas resonant platforms are more suitable for stimulated TOPDC (StTOPDC). We present a sample calculation for TOPDC rates in sample systems with conservative and accessible parameters. We find that StTOPDC should be observable with the current fabrication technology, and that with some progress in the design of TOPDC platforms, integrated SpTOPDC too could be demonstrated in the near term.


title: Statistical moments and integrability properties of monatomic gas mixtures with long range interactions

abstract: This document presents a priori estimates related to statistical moments and integrability properties for solutions of systems of monatomic gas mixtures modelled with the homogeneous Boltzmann equation with long range interactions for hard potentials. We detail the conditions for the generation and propagation of polynomial and exponential moments, and the integrability in Lebesgue spaces.


title: XUV ionization of the H$_2$ molecule studied with attosecond angular streaking

abstract: We study orientation and two-center interference effects in attosecond time-resolved photoionization of the H$_2$ molecule. Time resolution of XUV ionization of H$_2$ is gained through the phase retrieval capability of attosecond angular streaking demonstrated earlier by Kheifets {\em et al} [arXiv:2202.06147 (2022)]. Once applied to H$_2$, this technique delivers an anisotropic phase and time delay which both depend sensitively on the molecular axis orientation. In addition, the photoelectron momentum distribution displays a very clear two-center interference pattern. When the interference formula due to Walter and Briggs [J. Phys. B {\bf 32} 2487 (1999)] is applied, an effective photoelectron momentum appears to be greater than the asymptotic momentum at the detector. This effect is explained by a molecular potential well surrounding the photoemission center.


title: Computational Adaptation of XR Interfaces Through Interaction Simulation

abstract: Adaptive and intelligent user interfaces have been proposed as a critical component of a successful extended reality (XR) system. In particular, a predictive system can make inferences about a user and provide them with task-relevant recommendations or adaptations. However, we believe such adaptive interfaces should carefully consider the overall \emph{cost} of interactions to better address uncertainty of predictions. In this position paper, we discuss a computational approach to adapt XR interfaces, with the goal of improving user experience and performance. Our novel model, applied to menu selection tasks, simulates user interactions by considering both cognitive and motor costs. In contrast to greedy algorithms that adapt based on predictions alone, our model holistically accounts for costs and benefits of adaptations towards adapting the interface and providing optimal recommendations to the user.


title: Discovery of a 500 au Protobinary in the Massive Prestellar Core G11.92-0.61 MM2

abstract: We present high-resolution (< ~160 au) Atacama Large Millimeter/submillimeter Array (ALMA) 1.3 mm observations of the high-mass prestellar core candidate G11.92-0.61 MM2, which reveal that this source is in fact a protobinary system with a projected separation of 505 au. The binary components, MM2E and MM2W, are compact (radii < 140 au) sources within the partially optically thick dust emission with alpha$_{0.9 cm-1.3 mm}$=2.47-2.94. The 1.3 mm brightness temperatures, T$_b$=68.4/64.6 K for MM2E/MM2W, imply internal heating and minimum luminosities L$_*$ > 24.7 Lsun for MM2E and L$_*$ > 12.6 Lsun for MM2W. The compact sources are connected by a "bridge" of lower-surface-brightness dust emission and lie within more extended emission that may correspond to a circumbinary disk. The circumprotostellar gas mass, estimated from ~0.2" resolution VLA 0.9 cm observations assuming optically thin emission, is 6.8+/-0.9 Msun. No line emission is detected towards MM2E and MM2W in our high-resolution 1.3 mm ALMA observations. The only line detected is 13CO J=2-1, in absorption against the 1.3 mm continuum, which likely traces a layer of cooler molecular material surrounding the protostars. We also report the discovery of a highly asymmetric bipolar molecular outflow that appears to be driven by MM2E and/or MM2W in new deep, ~0.5" resolution (1680 au) ALMA 0.82 mm observations. This outflow, traced by low-excitation CH3OH emission, indicates ongoing accretion onto the protobinary system. Overall, the super-Alfvenic models of Mignon-Risse et al. (2021) agree well with the observed properties of the MM2E/MM2W protobinary, suggesting that this system may be forming in an environment with a weak magnetic field.


title: Dynamically controlled double-well optical potential for colloidal particles

abstract: This preliminary study presents a simple modulation scheme to dynamically create time-averaged optical potentials to trap colloidal particles using acousto-optical modulation. The method provides access to control experimentally relevant parameters of a tunable double-well potential. We show experimental data successfully adjusting the trapping distance in the range 20-2000 nm and discuss situations arising when reconstructing time-averaged optical potentials from trapped particle data. This is the first step towards studying colloidal particles in dynamically modulated optical potentials to explore the stochastic thermodynamics of mesoscopic systems and small-scale thermo-mechanical machines.


title: Test suite effectiveness metric evaluation: what do we know and what should we do?

abstract: Comparing test suite effectiveness metrics has always been a research hotspot. However, prior studies have different conclusions or even contradict each other for comparing different test suite effectiveness metrics. The problem we found most troubling to our community is that researchers tend to oversimplify the description of the ground truth they use. For example, a common expression is that "we studied the correlation between real faults and the metric to evaluate (MTE)". However, the meaning of "real faults" is not clear-cut. As a result, there is a need to scrutinize the meaning of "real faults". Without this, it will be half-knowledgeable with the conclusions. To tackle this challenge, we propose a framework ASSENT (evAluating teSt Suite EffectiveNess meTrics) to guide the follow-up research. In nature, ASSENT consists of three fundamental components: ground truth, benchmark test suites, and agreement indicator. First, materialize the ground truth for determining the real order in effectiveness among test suites. Second, generate a set of benchmark test suites and derive their ground truth order in effectiveness. Third, for the benchmark test suites, generate the MTE order in effectiveness by the metric to evaluate (MTE). Finally, calculate the agreement indicator between the two orders. Under ASSENT, we are able to compare the accuracy of different test suite effectiveness metrics. We apply ASSENT to evaluate representative test suite effectiveness metrics, including mutation score metrics and code coverage metrics. Our results show that, based on the real faults, mutation score and subsuming mutation score are the best metrics to quantify test suite effectiveness. Meanwhile, by using mutants instead of real faults, MTEs will be overestimated by more than 20% in values.


title: Performance Evaluation of Action Recognition Models on Low Quality Videos

abstract: In the design of action recognition models, the quality of videos is an important issue; however, the trade-off between the quality and performance is often ignored. In general, action recognition models are trained on high-quality videos, hence it is not known how the model performance degrades when tested on low-quality videos, and how much the quality of training videos affects the performance. The issue of video quality is important, however, it has not been studied so far. The goal of this study is to show the trade-off between the performance and the quality of training and test videos by quantitative performance evaluation of several action recognition models for transcoded videos in different qualities. First, we show how the video quality affects the performance of pre-trained models. We transcode the original validation videos of Kinetics400 by changing quality control parameters of JPEG (compression strength) and H.264/AVC (CRF). Then we use the transcoded videos to validate the pre-trained models. Second, we show how the models perform when trained on transcoded videos. We transcode the original training videos of Kinetics400 by changing the quality parameters of JPEG and H.264/AVC. Then we train the models on the transcoded training videos and validate them with the original and transcoded validation videos. Experimental results with JPEG transcoding show that there is no severe performance degradation (up to -1.5%) for compression strength smaller than 70 where no quality degradation is visually observed, and for larger than 80 the performance degrades linearly with respect to the quality index. Experiments with H.264/AVC transcoding show that there is no significant performance loss (up to -1%) with CRF30 while the total size of video files is reduced to 30%.


title: Private measures, random walks, and synthetic data

abstract: Differential privacy is a mathematical concept that provides an information-theoretic security guarantee. While differential privacy has emerged as a de facto standard for guaranteeing privacy in data sharing, the known mechanisms to achieve it come with some serious limitations. Utility guarantees are usually provided only for a fixed, a priori specified set of queries. Moreover, there are no utility guarantees for more complex - but very common - machine learning tasks such as clustering or classification. In this paper we overcome some of these limitations. Working with metric privacy, a powerful generalization of differential privacy, we develop a polynomial-time algorithm that creates a private measure from a data set. This private measure allows us to efficiently construct private synthetic data that are accurate for a wide range of statistical analysis tools. Moreover, we prove an asymptotically sharp min-max result for private measures and synthetic data for general compact metric spaces. A key ingredient in our construction is a new superregular random walk, whose joint distribution of steps is as regular as that of independent random variables, yet which deviates from the origin logarithmicaly slowly.


title: Analyzing Gender Representation in Multilingual Models

abstract: Multilingual language models were shown to allow for nontrivial transfer across scripts and languages. In this work, we study the structure of the internal representations that enable this transfer. We focus on the representation of gender distinctions as a practical case study, and examine the extent to which the gender concept is encoded in shared subspaces across different languages. Our analysis shows that gender representations consist of several prominent components that are shared across languages, alongside language-specific components. The existence of language-independent and language-specific components provides an explanation for an intriguing empirical observation we make: while gender classification transfers well across languages, interventions for gender removal, trained on a single language, do not transfer easily to others.


title: A Scalable Deep Learning Framework for Multi-rate CSI Feedback under Variable Antenna Ports

abstract: Channel state information (CSI) at transmitter is crucial for massive MIMO downlink systems to achieve high spectrum and energy efficiency. Existing works have provided deep learning architectures for CSI feedback and recovery at the eNB/gNB by reducing user feedback overhead and improving recovery accuracy. However, existing DL architectures tend to be inflexible and non-scalable as models are often trained according to a preset number of antennas for a given compression ratio. In this work, we develop a flexible and scalable learning framework based on a divide-and-conquer approach (DCA). This new DCA architecture can flexibly accommodate different numbers of 3GPP antenna ports and dynamic levels of feedback compression. Importantly, it also significantly reduces computational complexity and memory size by allowing UEs to feedback segmented downlink CSI. We further propose a multi-rate successive convolution encoder with fewer than 1000 parameters. Test results demonstrate superior performance, good scalability, and low complexity for both indoor and outdoor channels.


title: The regulator dependence in the functional renormalization group: a quantitative explanation

abstract: The search of controlled approximations to study strongly coupled systems remains a very general open problem. Wilson's renormalization group has shown to be an ideal framework to implement approximations going beyond perturbation theory. In particular, the most employed approximation scheme in this context, the derivative expansion, was recently shown to converge and yield accurate and very precise results. However, this convergence strongly depends on the shape of the employed regulator. In this letter we clarify the reason for this dependence and justify, simultaneously, the most largely employed procedure to fix this dependence, the principle of minimal sensitivity.


title: Learned Monocular Depth Priors in Visual-Inertial Initialization

abstract: Visual-inertial odometry (VIO) is the pose estimation backbone for most AR/VR and autonomous robotic systems today, in both academia and industry. However, these systems are highly sensitive to the initialization of key parameters such as sensor biases, gravity direction, and metric scale. In practical scenarios where high-parallax or variable acceleration assumptions are rarely met (e.g. hovering aerial robot, smartphone AR user not gesticulating with phone), classical visual-inertial initialization formulations often become ill-conditioned and/or fail to meaningfully converge. In this paper we target visual-inertial initialization specifically for these low-excitation scenarios critical to in-the-wild usage. We propose to circumvent the limitations of classical visual-inertial structure-from-motion (SfM) initialization by incorporating a new learning-based measurement as a higher-level input. We leverage learned monocular depth images (mono-depth) to constrain the relative depth of features, and upgrade the mono-depths to metric scale by jointly optimizing for their scales and shifts. Our experiments show a significant improvement in problem conditioning compared to a classical formulation for visual-inertial initialization, and demonstrate significant accuracy and robustness improvements relative to the state-of-the-art on public benchmarks, particularly under low-excitation scenarios. We further extend this improvement to implementation within an existing odometry system to illustrate the impact of our improved initialization method on resulting tracking trajectories.


title: Node Deployment in Heterogeneous Rayleigh Fading Sensor Networks

abstract: We study a hierarchical heterogeneous Rayleigh fading wireless sensor network (WSN) in which sensor nodes surveil a region of interest (RoI) and use access points (APs) as relays to transmit their sensed information to base stations (BSs). By considering both large-scale path-loss signal attenuation and small-scale signal variation due to Rayleigh fading, we formulate the node deployment problem as an optimization problem intended to minimize the network's wireless communication power consumption. Given ergodic capacity constraints on all wireless links, we study the necessary conditions for an optimal AP and BS deployment. These necessary conditions are then assembled in the form of an iterative algorithm to deploy nodes. Finally, we establish the efficacy and superiority of our proposed node deployment algorithm against similar methods in the literature.


title: 3D hyperbolic Navier-Stokes equations in a thin strip: global well-posedness and hydrostatic limit in Gevrey space

abstract: We consider the hyperbolic version of three-dimensional anisotropic Naver-Stokes equations in a thin strip and its hydrostatic limit that is a hyperbolic Prandtl type equations. We prove the global-in-time existence and uniqueness for the two systems and the hydrostatic limit when the initial data belong to the Gevrey function space with index 2. The proof is based on a direct energy method by observing the damping effect in the systems.


title: On automorphisms of undirected Bruhat graphs

abstract: The (directed) Bruhat graph $\hat{\Gamma}(u,v)$ has the elements of the Bruhat interval $[u,v]$ as vertices, with directed edges given by multiplication by a reflection. Famously, $\hat{\Gamma}(e,v)$ is regular if and only if the Schubert variety $X_v$ is smooth, and this condition on $v$ is characterized by pattern avoidance. In this work, we classify when the undirected Bruhat graph $\Gamma(e,v)$ is vertex-transitive; surprisingly this class of permutations is also characterized by pattern avoidance and sits nicely between the classes of smooth permutations and self-dual permutations. This leads us to a general investigation of automorphisms of $\Gamma(u,v)$ in the course of which we show that special matchings, which originally appeared in the theory Kazhdan--Lusztig polynomials, can be characterized as certain $\Gamma(u,v)$-automorphisms which are conjecturally sufficient to generate the orbit of $e$ under $Aut(\Gamma(e,v))$.


title: The super resonance effect paves the way for a new type of refractive index sensor concept based on a mesoscale dielectric sphere

abstract: Recently, we showed that dielectric mesoscale spheres could support so-called super-resonance effect, i.e. high-order Mie resonance modes with giant field localization and enhancement. Due to the presence of the surrounding medium leads to a significant influence in the intensity of the field in the particle, based on Mie theory we show for the first time that this effect may be use to design refractive index sensor of medium. Using the example of air as an environment, we have shown that the sensitivity of the proposed sensor concept can reach from 10-6 to 10-8, depending on the accuracy of the sphere size parameter, which is no worse than the accuracy of modern interference methods.


title: Controllable emergent spatial spin modulation in Sr2IrO4 by in situ shear strain

abstract: Symmetric anisotropic interaction can be ferromagnetic and antiferromagnetic at the same time but for different crystallographic axes. We show that inducing competition of anisotropic interactions of orthogonal irreducible representations represents a general route to obtain new exotic magnetic states. We demonstrate it here by observing the emergence of a continuously tunable 12-layer spatial spin modulation when distorting the square lattice planes in the quasi-2D antiferromagnetic Sr2IrO4 under in situ shear strain. This translation-symmetry-breaking phase is a result of an unusual strain activated anisotropic interaction which is at the 4th order and competing with the inherent quadratic anisotropic interaction. Such a mechanism of competing anisotropy is distinct from that among the ferromagnetic, antiferromagnetic, and/or the Dzyaloshinskii-Moriya interactions, and it could be widely applicable and highly controllable in low dimensional magnets.


title: Lie Algebraic Cost Function Design for Control on Lie Groups

abstract: This paper presents a control framework on Lie groups by designing the control objective in its Lie algebra. Control on Lie groups is challenging due to its nonlinear nature and difficulties in system parameterization. Existing methods to design the control objective on a Lie group and then derive the gradient for controller design are non-trivial and can result in slow convergence in tracking control. We show that with a proper left-invariant metric, setting the gradient of the cost function as the tracking error in the Lie algebra leads to a quadratic Lyapunov function that enables globally exponential convergence. In the PD control case, we show that our controller can maintain an exponential convergence rate even when the initial error is approaching $\pi$ in SO(3). We also show the merit of this proposed framework in trajectory optimization. The proposed cost function enables the iterative Linear Quadratic Regulator (iLQR) to converge much faster than the Differential Dynamic Programming (DDP) with a well-adopted cost function when the initial trajectory is poorly initialized on SO(3).


title: Counting and enumerating optimum cut sets for hypergraph $k$-partitioning problems for fixed $k$

abstract: We consider the problem of enumerating optimal solutions for two hypergraph $k$-partitioning problems -- namely, Hypergraph-$k$-Cut and Minmax-Hypergraph-$k$-Partition. The input in hypergraph $k$-partitioning problems is a hypergraph $G=(V, E)$ with positive hyperedge costs along with a fixed positive integer $k$. The goal is to find a partition of $V$ into $k$ non-empty parts $(V_1, V_2, \ldots, V_k)$ -- known as a $k$-partition -- so as to minimize an objective of interest. 1. If the objective of interest is the maximum cut value of the parts, then the problem is known as Minmax-Hypergraph-$k$-Partition. A subset of hyperedges is a minmax-$k$-cut-set if it is the subset of hyperedges crossing an optimum $k$-partition for Minmax-Hypergraph-$k$-Partition. 2. If the objective of interest is the total cost of hyperedges crossing the $k$-partition, then the problem is known as Hypergraph-$k$-Cut. A subset of hyperedges is a min-$k$-cut-set if it is the subset of hyperedges crossing an optimum $k$-partition for Hypergraph-$k$-Cut. We give the first polynomial bound on the number of minmax-$k$-cut-sets and a polynomial-time algorithm to enumerate all of them in hypergraphs for every fixed $k$. Our technique is strong enough to also enable an $n^{O(k)}p$-time deterministic algorithm to enumerate all min-$k$-cut-sets in hypergraphs, thus improving on the previously known $n^{O(k^2)}p$-time deterministic algorithm, where $n$ is the number of vertices and $p$ is the size of the hypergraph. The correctness analysis of our enumeration approach relies on a structural result that is a strong and unifying generalization of known structural results for Hypergraph-$k$-Cut and Minmax-Hypergraph-$k$-Partition. We believe that our structural result is likely to be of independent interest in the theory of hypergraphs (and graphs).


title: On the Representation Collapse of Sparse Mixture of Experts

abstract: Sparse mixture of experts provides larger model capacity while requiring a constant computational overhead. It employs the routing mechanism to distribute input tokens to the best-matched experts according to their hidden representations. However, learning such a routing mechanism encourages token clustering around expert centroids, implying a trend toward representation collapse. In this work, we propose to estimate the routing scores between tokens and experts on a low-dimensional hypersphere. We conduct extensive experiments on cross-lingual language model pre-training and fine-tuning on downstream tasks. Experimental results across seven multilingual benchmarks show that our method achieves consistent gains. We also present a comprehensive analysis on the representation and routing behaviors of our models. Our method alleviates the representation collapse issue and achieves more consistent routing than the baseline mixture-of-experts methods.


title: Quantum Theory of Nonlinear Thermal Response

abstract: The Linear behavior of thermal transport has been widely explored, both theoretically and ex?perimentally. On the other hand, the nonlinear thermal response has not been fully discussed. In light of the thermal vector potential theory [Phys. Rev. Lett. 114, 196601 (2015)], we develop a general formulation to calculate the linear and nonlinear dynamic thermal responses. In the DC limit, we recover the well-known Mott relation and the Wiedemann-Franz (WF) law at the linear order response, which link the thermoelectric conductivity {\eta}, thermal conductivity \k{appa} and electric conductivity {\sigma} together. To be specific, the linear Mott relation describes the linear {\eta} is proportional to the first derivative of {\sigma} with respect to Fermi energy (for brevity we call the first derivative, the others are similar); and the linear WF law shows the linear \k{appa} is proportional to the zero derivative (i.e. the {\sigma} itself). We found there are higher-order Mott relation and WF law which follow an order-dependent relation. At the second order, the Mott relation indicates that the second order {\sigma} is proportional to the zero derivative of the second order {\eta}; but the second WF law shows that the second {\sigma} is proportional to the first derivative of \k{appa}. At the third order, the derivative order in?creases once. Although we only did explicit calculate up to the third order response, we can deduce that the n-th order electric conductivity is proportional to the n-2-th derivative of the n-th order thermoelectric conductivity for the nonlinear Mott relation; and the n-th order electric conductivity is proportional to the n-1-th derivative of the n-th order thermal conductivity for the nonlinear WF law.


title: CLASSY III: The Properties of Starburst-Driven Warm Ionized Outflows

abstract: We report the results of analyses of galactic outflows in a sample of 45 low-redshift starburst galaxies in the COS Legacy Archive Spectroscopic SurveY (CLASSY), augmented by five additional similar starbursts with COS data. The outflows are traced by blueshifted absorption-lines of metals spanning a wide range of ionization potential. The high quality and broad spectral coverage of CLASSY data enable us to disentangle the absorption due to the static ISM from that due to outflows. We further use different line multiplets and doublets to determine the covering fraction, column density, and ionization state as a function of velocity for each outflow. We measure the outflow's mean velocity and velocity width, and find that both correlate in a highly significant way with the star-formation rate, galaxy mass, and circular velocity over ranges of four orders-of-magnitude for the first two properties. We also estimate outflow rates of metals, mass, momentum, and kinetic energy. We find that, at most, only about 20% of silicon created and ejected by supernovae in the starburst is carried in the warm phase we observe. The outflows' mass-loading factor increases steeply and inversely with both circular and outflow velocity (log-log slope $\sim$ -1.6), and reaches $\sim 10$ for dwarf galaxies. We find that the outflows typically carry about 10 to 100% of the momentum injected by massive stars and about 1 to 20% of the kinetic energy. We show that these results place interesting constraints on, and new insights into, models and simulations of galactic winds.


title: Cosmological memory effect in scalar-tensor theories

abstract: The cosmological memory effect is a permanent change in the relative separation of test particles located in a FLRW spacetime due to the passage of gravitational waves. In the case of a spatially flat FLRW spacetime filled with a perfect fluid in general relativity, it is known that only tensor perturbations contribute to the memory effect while scalar and vector perturbations do not. In this paper, we show that in the context of scalar-tensor theories, the scalar perturbations associated to the scalar graviton contribute to the memory effect as well. We find that, depending on the mass and coupling, the influence of cosmic expansion on the memory effect due to the scalar perturbations can be either stronger or weaker than the one induced by the tensor perturbations. As a byproduct, in an appendix, we develop a general framework which can be used to study coupled wave equations in any curved spacetime region which admits a foliation by time slices.


title: Robustness Testing of Data and Knowledge Driven Anomaly Detection in Cyber-Physical Systems

abstract: The growing complexity of Cyber-Physical Systems (CPS) and challenges in ensuring safety and security have led to the increasing use of deep learning methods for accurate and scalable anomaly detection. However, machine learning (ML) models often suffer from low performance in predicting unexpected data and are vulnerable to accidental or malicious perturbations. Although robustness testing of deep learning models has been extensively explored in applications such as image classification and speech recognition, less attention has been paid to ML-driven safety monitoring in CPS. This paper presents the preliminary results on evaluating the robustness of ML-based anomaly detection methods in safety-critical CPS against two types of accidental and malicious input perturbations, generated using a Gaussian-based noise model and the Fast Gradient Sign Method (FGSM). We test the hypothesis of whether integrating the domain knowledge (e.g., on unsafe system behavior) with the ML models can improve the robustness of anomaly detection without sacrificing accuracy and transparency. Experimental results with two case studies of Artificial Pancreas Systems (APS) for diabetes management show that ML-based safety monitors trained with domain knowledge can reduce on average up to 54.2% of robustness error and keep the average F1 scores high while improving transparency.


title: On the generalized Geroch conjecture for complete spin manifolds

abstract: Let $W$ be a closed area enlargeable manifold in the sense of Gromov-Lawson and $M$ be a noncompact spin manifold, we show that the connected sum $M\# W$ admits no complete metric of positive scalar curvature. When $W=T^n$, this provides a positive answer to the generalized Geroch conjecture in the spin setting.


title: Optimality Conditions and Numerical Algorithms for A Class of Linearly Constrained Minimax Optimization Problems

abstract: It is well known that there have been many numerical algorithms for solving nonsmooth minimax problems, numerical algorithms for nonsmooth minimax problems with joint linear constraints are very rare. This paper aims to discuss optimality conditions and develop practical numerical algorithms for minimax problems with joint linear constraints. First of all, we use the properties of proximal mapping and KKT system to establish optimality conditions. Secondly, we propose a framework of alternating coordinate algorithm for the minimax problem and analyze its convergence properties. Thirdly, we develop a proximal gradient multi-step ascent decent method (PGmsAD) as a numerical algorithm and demonstrate that the method can find an $\epsilon$-stationary point for this kind of nonsmooth nonconvex-nonconcave problem in ${\cal O}(\epsilon^{-2}\log\epsilon^{-1})$ iterations. Finally, we apply PGmsAD to generalized absolute value equations, generalized linear projection equations and linear regression problems and report the efficiency of PGmsAD on large-scale optimization.


title: Reconstruction-Aware Prior Distillation for Semi-supervised Point Cloud Completion

abstract: Real-world sensors often produce incomplete, irregular, and noisy point clouds, making point cloud completion increasingly important. However, most existing completion methods rely on large paired datasets for training, which is labor-intensive. This paper proposes RaPD, a novel semi-supervised point cloud completion method that reduces the need for paired datasets. RaPD utilizes a two-stage training scheme, where a deep semantic prior is learned in stage 1 from unpaired complete and incomplete point clouds, and a semi-supervised prior distillation process is introduced in stage 2 to train a completion network using only a small number of paired samples. Additionally, a self-supervised completion module is introduced to improve performance using unpaired incomplete point clouds. Experiments on multiple datasets show that RaPD outperforms previous methods in both homologous and heterologous scenarios.


title: Ordinal-ResLogit: Interpretable Deep Residual Neural Networks for Ordered Choices

abstract: This study presents an Ordinal version of Residual Logit (Ordinal-ResLogit) model to investigate the ordinal responses. We integrate the standard ResLogit model into COnsistent RAnk Logits (CORAL) framework, classified as a binary classification algorithm, to develop a fully interpretable deep learning-based ordinal regression model. As the formulation of the Ordinal-ResLogit model enjoys the Residual Neural Networks concept, our proposed model addresses the main constraint of machine learning algorithms, known as black-box. Moreover, the Ordinal-ResLogit model, as a binary classification framework for ordinal data, guarantees consistency among binary classifiers. We showed that the resulting formulation is able to capture underlying unobserved heterogeneity from the data as well as being an interpretable deep learning-based model. Formulations for market share, substitution patterns, and elasticities are derived. We compare the performance of the Ordinal-ResLogit model with an Ordered Logit Model using a stated preference (SP) dataset on pedestrian wait time and a revealed preference (RP) dataset on travel distance. Our results show that Ordinal-ResLogit outperforms the traditional ordinal regression model for both datasets. Furthermore, the results obtained from the Ordinal-ResLogit RP model show that travel attributes such as driving and transit cost have significant effects on choosing the location of non-mandatory trips. In terms of the Ordinal-ResLogit SP model, our results highlight that the road-related variables and traffic condition are contributing factors in the prediction of pedestrian waiting time such that the mixed traffic condition significantly increases the probability of choosing longer waiting times.


title: Functional Covering of Point Processes

abstract: We introduce a new distortion measure for point processes called functional-covering distortion. It is inspired by intensity theory and is related to both the covering of point processes and logarithmic loss distortion. We obtain the distortion-rate function with feedforward under this distortion measure for a large class of point processes. For Poisson processes, the rate-distortion function is obtained under a general condition called constrained functional-covering distortion, of which both covering and functional-covering are special cases. Also for Poisson processes, we characterize the rate-distortion region for a two-encoder CEO problem and show that feedforward does not enlarge this region.


title: Numerical solution to the time-independent Gross-Pitaevskii equation

abstract: We solve the time-independent Gross-Pitaevskii equation modeling the Bose-Einstein condensate trapped in an anistropic harmonic potential using a pseudospectral method. Numerically obtained values for an energy and a chemical potential for the condensate with positive and negative scattering length have been compared with those from the literature. The results show that they are in good agreement when an atomic interaction is not too strong.


title: Phase-Shift Design and Channel Modeling for Focused Beams in IRS-Assisted FSO Systems

abstract: Interest in free-space optics (FSO) is rapidly growing as a potential solution for the backhaul of next-generation mobile or low-orbit satellite communications. Various techniques have been suggested for employing an intelligent reflecting surface (IRS) in FSO systems, such as anomalous reflection, power amplification, and beam splitting. It is possible to deliver more power to the receiver (Rx) by collimating or focusing the reflected beam at the Rx lens. In this study, we propose a phase-shift design of an IRS for beam focusing. In addition, we propose a new pointing error model and an outage performance analysis applicable when the beam width is comparable to or less than the aperture size of the Rx. The analytical results are validated by Monte Carlo simulations. This study provides essential preliminary results for future researches that assume a focused beam in FSO systems.


title: Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings

abstract: Neural program embeddings have demonstrated considerable promise in a range of program analysis tasks, including clone identification, program repair, code completion, and program synthesis. However, most existing methods generate neural program embeddings directly from the program source codes, by learning from features such as tokens, abstract syntax trees, and control flow graphs. This paper takes a fresh look at how to improve program embeddings by leveraging compiler intermediate representation (IR). We first demonstrate simple yet highly effective methods for enhancing embedding quality by training embedding models alongside source code and LLVM IR generated by default optimization levels (e.g., -O2). We then introduce IRGen, a framework based on genetic algorithms (GA), to identify (near-)optimal sequences of optimization flags that can significantly improve embedding quality.


title: Rigidity transitions in zero-temperature polygons

abstract: We study geometrical clues of a rigidity transition due to the emergence of a system-spanning state of self stress in under-constrained systems of individual polygons and spring networks constructed from such polygons. When a polygon with harmonic bond edges and an area spring constraint is subject to an expansive strain, we observe that convexity of the polygon is a necessary condition for such a self stress. We prove that the cyclic configuration of the polygon is a sufficient condition for the self stress. This correspondence of geometry and rigidity is akin to the straightening of a one dimensional chain of springs to rigidify it. We predict the onset of the rigidity transition using a purely geometrical method. We also estimate the transition strain for a given initial configuration by approximating irregular polygons as regular polygons. These findings help determine the rigidity of an area-preserving polygon just by looking at it. Since two-dimensional spring networks can be considered as a network of polygons, we look for similar geometric features in under-constrained spring networks under isotropic expansive strain. In particular, we observe that all polygons attain convexity at the rigidity transition such that the fraction of convex, but not cyclic, polygons predicts the onset of the rigidity transition. Interestingly, acyclic polygons in the network correlate with larger tensions, thus, forming effective force chains.


title: Functional Calibration under Non-Probability Survey Sampling

abstract: Non-probability sampling is prevailing in survey sampling, but ignoring its selection bias leads to erroneous inferences. We offer a unified nonparametric calibration method to estimate the sampling weights for a non-probability sample by calibrating functions of auxiliary variables in a reproducing kernel Hilbert space. The consistency and the limiting distribution of the proposed estimator are established, and the corresponding variance estimator is also investigated. Compared with existing works, the proposed method is more robust since no parametric assumption is made for the selection mechanism of the non-probability sample. Numerical results demonstrate that the proposed method outperforms its competitors, especially when the model is misspecified. The proposed method is applied to analyze the average total cholesterol of Korean citizens based on a non-probability sample from the National Health Insurance Sharing Service and a reference probability sample from the Korea National Health and Nutrition Examination Survey.


title: Refinement on spectral Tur\'{a}n's theorem

abstract: A well-known result in extremal spectral graph theory, due to Nosal and Nikiforov, states that if $G$ is a triangle-free graph on $n$ vertices, then $\lambda (G) \le \lambda (K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil })$, equality holds if and only if $G=K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil }$. Nikiforov [Linear Algebra Appl. 427 (2007)] extended this result to $K_{r+1}$-free graphs for every integer $r\ge 2$. This is known as the spectral Tur\'{a}n theorem. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a refinement on this result for non-bipartite triangle-free graphs. In this paper, we provide alternative proofs for the result of Nikiforov and the result of Lin, Ning and Wu. Our proof can allow us to extend the later result to non-$r$-partite $K_{r+1}$-free graphs. Our result refines the theorem of Nikiforov and it also can be viewed as a spectral version of a theorem of Brouwer.


title: Experimental Simulations of Shock Textures in BCC Iron: Implications for Iron Meteorites

abstract: Neumann band in iron meteorites, which is deformation twins in kamacite (Fe-Ni alloy), has been known to be a characteristic texture indicating ancient collisions on parent bodies of meteorites. We conducted a series of shock recovery experiments on bcc iron with the projectile velocity at 1.5 km/sec at various initial temperatures, room temperature, 670 K, and 1100 K, and conducted an annealing experiment on the shocked iron. We also conducted numerical simulations with the iSALE-2D code to investigate peak pressure and temperature distributions in the nontransparent targets. The effects of pressure and temperature on the formation and disappearance of the twins (Neumann band) were explored based on laboratory and numerical experiments. The twin was formed in the run products of the experiments conducted at room temperature and 670 K, whereas it was not observed in the run product formed by the impact at 1100 K. The present experiments combined with the numerical simulations revealed that the twin was formed by impacts with various shock pressures from 1.5-2 GPa to around 13 GPa. The twin in iron almost disappeared by annealing at 1070 K. The iron meteorites with Neumann bands were shocked at this pressure range and temperatures at least up to 670 K, and were not heated to the temperatures above 1070 K after the Neumann band formation.


title: On the pressure gain of stable flow systems with variable cross-section area

abstract: For the clarification of total pressure gain performance of rotating detonation propulsion systems, the extended Hugoniot curve is proposed and discussed for the stable flow systems with variable cross-section area (SFSVA). The dimensionless pressure integral ({\theta}) along the system walls is found to have critical impact on the pressure gain of the SFSVA with given inlet Mach number (M0) and heat release (q). The key to obtain positive pressure gain of a SFSVA is to achieve the matching {\theta}, M0 and q.


title: NTIRE 2022 Challenge on Stereo Image Super-Resolution: Methods and Results

abstract: In this paper, we summarize the 1st NTIRE challenge on stereo image super-resolution (restoration of rich details in a pair of low-resolution stereo images) with a focus on new solutions and results. This challenge has 1 track aiming at the stereo image super-resolution problem under a standard bicubic degradation. In total, 238 participants were successfully registered, and 21 teams competed in the final testing phase. Among those participants, 20 teams successfully submitted results with PSNR (RGB) scores better than the baseline. This challenge establishes a new benchmark for stereo image SR.


title: Search for a lighter neutral custodial fiveplet scalar in the Georgi-Machacek model

abstract: Many researches from both the theoretical and experimental sides have been performed to search for a new Higgs Boson lighter than the 125 $GeV$ Higgs boson which was discovered at the LHC in 2012. In this paper we explore the possibility of constraining a lighter neutral custodial fiveplet scalar $H_{5}^{0}$ in the Georgi-Machacek (GM) model by the latest results of the search for a lighter Higgs boson decaying into two photons from LHC data. The custodial-singlet mass eigenstate $h$ or $H$ is considered to be the LHC observed 125 $GeV$ Higgs boson. A new set of constrained parameters that is favoured by low-mass $H_{5}^{0}$, is proposed to generate events efficiently. The production of $H_{5}^{0}$ from the scan based on the constrained parameters is compared to the latest results of the search for a lighter Higgs boson decaying into two photons by CMS Collaboration, after the theoretical constraints from GM model and the constraints from all existing relevant experimental measurements including the recent results of the Higgs boson searches from the LHC. The numerical analyses of the surviving GM parameter space are performed. The tendencies and correlations of the GM input parameters from the phenomenological studies are summarized. In addition the discovery potential of other interesting decay channels of this low-mass neutral custodial fiveplet scalar are discussed.


title: Role of long-range coupling on the properties of single polarons in models with dual electron-phonon couplings

abstract: We use the Variational Exact Diagonalization to investigate the single polaron properties for four different dual models, combining a short-range off-diagonal (Peierls) plus a longer-range diagonal (Holstein or breathing-mode) coupling. This allows us to investigate the sensitivity of various polaron properties both to the range of the diagonal coupling and to the specific diagonal coupling chosen. We find strong sensitivity to the range for all duals models as the adiabatic limit is approached, however considerable sensitivity is observed for some quantities even for large phonon frequencies. Also, the strong dependence of the results on the specific form of the diagonal coupling is observed everywhere in the parameter space. Taken together, these results suggest that careful consideration must be given to the specific coupling and its proper range when quantitative comparisons with experiments are sought.


title: Stellar Atmospheric Parameters of M-type Stars from LAMOST DR8

abstract: The Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) Low Resolution Spectroscopic Survey (LRS) provides massive spectroscopic data of M-type stars, and the derived stellar parameters could bring vital help to various studies. We adopt the ULySS package to perform $\chi^2$ minimization with model spectra generated from the MILES interpolator, and determine the stellar atmospheric parameters for the M-type stars from LAMOST LRS Data Release (DR) 8. Comparison with the stellar parameters from APOGEE Stellar Parameter and Chemical Abundance Pipeline (ASPCAP) suggests that most of our results have good consistency. For M dwarfs, we achieve dispersions better than 74 K, 0.19 dex and 0.16 dex for $T_{\rm eff}$, $\log{g}$ and [Fe/H], while for M giants, the internal uncertainties are 58 K, 0.32 dex and 0.26 dex, respectively. Compared to ASPCAP we also find a systematic underestimation of $\Delta {T_{\rm eff}} =$ $-$176 K for M dwarfs, and a systematic overestimation of $\Delta {\log{g}} =$ 0.30 dex for M giants. However, such differences are less significant when we make comparison with common stars from other literature, which indicates that systematic biases exist in the difference of ASPCAP and other measurements. A catalog of 763,136 spectra corresponding to 616,314 M-type stars with derived stellar parameters is presented. We determine the stellar parameters for stars with $T_{\rm eff}$ higher than 2,900 K, with $\log{g}$ from -0.24 dex to 5.9 dex. The typical precisions are 45 K, 0.25 dex and 0.22 dex, for $T_{\rm eff}$, $\log{g}$ and [Fe/H], respectively, which are estimated from the duplicate observations of the same stars.


title: Scotogenic Dirac neutrino mass models embedded with leptoquarks: one pathway to address the flavor anomalies and the neutrino masses together

abstract: If the leptoquarks proposed to account for the intriguing anomalies observed in the $B$-meson decays, $R_{D^{(\ast)}}$ and $R_{K^{(\ast)}}$, as well as in the anomalous magnetic moment of the muon, $(g-2)_\mu$, can be embedded into the scotogenic Dirac neutrino model, all these flavor anomalies, together with the origin of neutrino masses and the nature of dark matter, would be potentially addressed in a unified picture. Among the minimal seesaw, one-loop, and two-loop realizations of the dimension-4 effective operator $\mathcal{L}_{4}$ for the Dirac neutrino masses, we show that plenty of diagrams associated with the two-loop realizations of $\mathcal{L}_{4}$ can support the coexistence of leptoquarks and dark matter candidates. After a simple match of these leptoquarks to those that can accommodate all the flavor anomalies, we establish the scotogenic Dirac neutrino models embedded with leptoquarks, which could address all the problems mentioned above.


title: Best Cost-Sharing Rule Design for Selfish Bin Packing

abstract: In selfish bin packing, each item is regarded as a selfish player, who aims to minimize the cost-share by choosing a bin it can fit in. To have a least number of bins used, cost-sharing rules play an important role. The currently best known cost sharing rule has a \emph{price of anarchy} ($PoA$) larger than 1.45, while a general lower bound 4/3 on $PoA$ applies to any cost-sharing rule under which no items have the incentive to move unilaterally to an empty bin. In this paper, we propose a novel and simple rule with a $PoA$ matching the lower bound of $4/3$, thus completely resolving this game. The new rule always admits a Nash equilibrium and its \emph{price of stability} ($PoS$) is one. Furthermore, the well-known bin packing algorithm $BFD$ (Best-Fit Decreasing) is shown to achieve a strong equilibrium, implying that a stable packing with an asymptotic approximation ratio of $11/9$ can be produced in polynomial time. As an extension of the designing framework, we further study a variant of the selfish scheduling game, and design a best coordination mechanism achieving $PoS=1$ and $PoA=4/3$ as well.


title: Laser pulse shape designer for direct-drive inertial confinement fusion

abstract: A pulse shape designer for direct drive inertial confinement fusion has been developed, it aims at high compression of the fusion fuel while keeping hydrodynamics instability within tolerable level. Fast linear analysis on implosion instability enables the designer to fully scan the vast pulse configuration space at a practical computational cost, machine learning helps to summarize pulse performance into an implicit scaling metric that promotes the pulse shape evolution. The designer improves its credibility by incorporating various datasets including extra high-precision simulations or experiments. When tested on the double-cone ignition scheme [J. Zhang et al, Phil. Trans. R. Soc. A. 378.2184 (2020)], optimized pulses reach the assembly requirements, show significant imprint mitigation and adiabatic shaping capability, and have the potential to achieve better implosion performance in real experiments. This designer serves as an efficient alternative to traditional empirical pulse shape tuning procedure, reduces workload and time consumption. The designer can be used to quickly explore the unknown parameter space for new direct-drive schemes, assists design iteration and reduces experiment risk.