title: Under the Microscope: Interpreting Readability Assessment Models for Filipino

abstract: Readability assessment is the process of identifying the level of ease or difficulty of a certain piece of text for its intended audience. Approaches have evolved from the use of arithmetic formulas to more complex pattern-recognizing models trained using machine learning algorithms. While using these approaches provide competitive results, limited work is done on analyzing how linguistic variables affect model inference quantitatively. In this work, we dissect machine learning-based readability assessment models in Filipino by performing global and local model interpretation to understand the contributions of varying linguistic features and discuss its implications in the context of the Filipino language. Results show that using a model trained with top features from global interpretation obtained higher performance than the ones using features selected by Spearman correlation. Likewise, we also empirically observed local feature weight boundaries for discriminating reading difficulty at an extremely fine-grained level and their corresponding effects if values are perturbed.


title: Asymptotic Performance of Thompson Sampling in the Batched Multi-Armed Bandits

abstract: We study the asymptotic performance of the Thompson sampling algorithm in the batched multi-armed bandit setting where the time horizon $T$ is divided into batches, and the agent is not able to observe the rewards of her actions until the end of each batch. We show that in this batched setting, Thompson sampling achieves the same asymptotic performance as in the case where instantaneous feedback is available after each action, provided that the batch sizes increase subexponentially. This result implies that Thompson sampling can maintain its performance even if it receives delayed feedback in $\omega(\log T)$ batches. We further propose an adaptive batching scheme that reduces the number of batches to $\Theta(\log T)$ while maintaining the same performance. Although the batched multi-armed bandit setting has been considered in several recent works, previous results rely on tailored algorithms for the batched setting, which optimize the batch structure and prioritize exploration in the beginning of the experiment to eliminate suboptimal actions. We show that Thompson sampling, on the other hand, is able to achieve a similar asymptotic performance in the batched setting without any modifications.


title: Building an Efficient and Effective Retrieval-based Dialogue System via Mutual Learning

abstract: Establishing retrieval-based dialogue systems that can select appropriate responses from the pre-built index has gained increasing attention from researchers. For this task, the adoption of pre-trained language models (such as BERT) has led to remarkable progress in a number of benchmarks. There exist two common approaches, including cross-encoders which perform full attention over the inputs, and bi-encoders that encode the context and response separately. The former gives considerable improvements in accuracy but is often inapplicable in practice for large-scale retrieval given the cost of the full attention required for each sample at test time. The latter is efficient for billions of indexes but suffers from sub-optimal performance. In this work, we propose to combine the best of both worlds to build a retrieval system. Specifically, we employ a fast bi-encoder to replace the traditional feature-based pre-retrieval model (such as BM25) and set the response re-ranking model as a more complicated architecture (such as cross-encoder). To further improve the effectiveness of our framework, we train the pre-retrieval model and the re-ranking model at the same time via mutual learning, which enables two models to learn from each other throughout the training process. We conduct experiments on two benchmarks and evaluation results demonstrate the efficiency and effectiveness of our proposed framework.


title: PyFocus a Python package for vectorial calculations of focused optical fields under realistic conditions. Application to toroidal foci

abstract: Focused optical fields are key to a multitude of applications involving light-matter interactions, such as optical microscopy, single-molecule spectroscopy, optical tweezers, lithography, or quantum coherent control. A detailed vectorial characterization of the focused optical fields that includes a description beyond the paraxial approximation is key to optimize technological performance as well as for the design of meaningful experiments and interpret properly their results. Here, we present PyFocus, an open-source Python software package to perform fully vectorial calculations of focused electromagnetic fields after modulation by an arbitrary phase mask and in the presence of a multilayer system. We provide a graphical user interface and high-level functions to easily integrate PyFocus into custom scripts. Furthermore, to demonstrate the potential of PyFocus, we apply it to extensively characterize the generation of toroidal foci with a high numerical aperture objective, as it is commonly done in super-resolution fluorescence microscopy methods such as STED or MINFLUX. We provide examples of the effects of different experimental factors such as polarization, aberrations, and misalignments of key optical elements. Finally, we present calculations of toroidal foci through an interface of different mediums, and, to our knowledge, the first calculations of toroidal foci generated in total internal reflection conditions.


title: Thermalization of nuclear spins in lanthanide molecular magnets

abstract: Single molecule magnets distinguish themselves in the field of quantum magnetism through the ability to combine fundamental research with promising applications, the evolution of quantum spintronics in the last decade exemplifying the potential held by molecular based quantum devices. Notably, the read-out and manipulation of the embedded nuclear spin states was used in proof of principle studies of quantum computation at the single molecule level. In this paper we study the relaxation dynamics of the $^{159}$Tb nuclear spins in a diluted molecular crystal by using recently acquired understanding of the nonadiabatic dynamics of TbPc$_2$ molecules. We find that phonon modulated hyperfine interaction opens a direct relaxation channel between the nuclear spins and the phonon bath. We highlight the potential importance of the discovered mechanism for the theory of spin bath and the relaxation dynamics of the molecular spins at crossover temperatures.


title: Visualization of Acoustic Power Flow in Suspended Thin-film Lithium Niobate Phononic Devices

abstract: We report direct visualization of gigahertz-frequency acoustic waves in lithium niobate phononic circuits. Primary propagation parameters, such as the power flow angle (PFA) and propagation loss (PL), are measured by transmission-mode microwave impedance microscopy (TMIM). Using fast Fourier transform, we can separately analyze forward and backward propagating waves and quantitatively evaluate the propagation loss. Our work provides insightful information on the propagation, diffraction, and attenuation in piezoelectric thin films, which is highly desirable for designing and optimizing phononic devices for microwave signal processing.


title: High-order baryon number fluctuations within the fRG approach

abstract: We compute high-order baryon number fluctuations at finite temperature and density within a QCD-assisted low energy effective field theory. Quantum, thermal and density fluctuations are incorporated with the functional renormalization group approach. Quantum and in-medium fluctuations are encoded via the evolution of renormalization group flow equations. The resulting fourth- and sixth-order baryon number fluctuations meet the lattice benchmark results at vanishing density. They are consistent with experimental measurements, and in particular, the non-monotonic dependence of the kurtosis of net-baryon number distributions on the collision energy is observed in our calculations. This non-monotonicity arises from the increasingly sharpened chiral crossover with the decrease of collision energy.


title: Set-valued tableaux rule for Lascoux polynomials

abstract: Lascoux polynomials generalize Grassmannian stable Grothendieck polynomials and may be viewed as K-theoretic analogs of key polynomials. The latter two polynomials have combinatorial formulas involving tableaux: Lascoux and Sch\"{u}tzenberger gave a combinatorial formula for key polynomials using right keys; Buch gave a set-valued tableau formula for Grassmannian stable Grothendieck polynomials. We establish a novel combinatorial rule for Lascoux polynomials involving right keys and set-valued tableaux. Our rule recovers the tableaux formulas of key polynomials and Grassmannian stable Grothendieck polynomials. To prove our rule, we construct a new abstract Kashiwara crystal structure on set-valued tableaux. This construction answers an open problem of Monical, Pechenik and Scrimshaw in the context of abstract Kashiwara crystal.


title: Large-scale ASR Domain Adaptation using Self- and Semi-supervised Learning

abstract: Self- and semi-supervised learning methods have been actively investigated to reduce labeled training data or enhance the model performance. However, the approach mostly focus on in-domain performance for public datasets. In this study, we utilize the combination of self- and semi-supervised learning methods to solve unseen domain adaptation problem in a large-scale production setting for online ASR model. This approach demonstrates that using the source domain data with a small fraction of the target domain data (3%) can recover the performance gap compared to a full data baseline: relative 13.5% WER improvement for target domain data.


title: Extensile to contractile transition in active microtubule-actin composites generates layered asters with programmable lifetimes

abstract: We study a reconstituted composite system consisting of an active microtubule network interdigitated with a passive network of entangled F-actin filaments. Increasing viscoelasticity of the F-actin network controls the emergent dynamics, inducing a transition from turbulent-like flows to bulk contractions. At intermediate F-actin concentrations, where the active stresses change their symmetry from anisotropic extensile to isotropic contracting, the composite separates into layered asters that coexist with the background turbulent fluid. Contracted onion-like asters have a radially extending microtubule-rich cortex that envelops alternating layers of microtubules and F-actin. The self-regulating layered organization survives aster merging events, which are reminiscent of droplet coalescence, and suggest the presence of effective surface tension. Finally, the layered asters are metastable structures. Their lifetime, which ranges from minutes to hours, is encoded in the material properties of the composite. Taken together, these results challenge the current models of active matter. They demonstrate that the self-organized dynamical states and patterns, which are evocative of those observed in the cytoskeleton, do not require precise biochemical regulation but can arise due to purely mechanical interactions of actively driven filamentous materials.


title: Machine learning models for prediction of droplet collision outcomes

abstract: Predicting the outcome of liquid droplet collisions is an extensively studied phenomenon but the current physics based models for predicting the outcomes are poor (accuracy $\approx 43\%$). The key weakness of these models is their limited complexity. They only account for 3 features while there are many more relevant features that go unaccounted for. This limitation of traditional models can be easily overcome through machine learning modeling of the problem. In an ML setting this problem directly translates to a classification problem with 4 classes. Here we compile a large labelled dataset and tune different ML classifiers over this dataset. We evaluate the accuracy and robustness of the classifiers. ML classifiers, with accuracies over 90\%, significantly outperform the physics based models. Another key question we try to answer in this paper is whether existing knowledge of the physics based models can be exploited to boost the accuracy of the ML classifiers. We find that while this knowledge improves the accuracy marginally for small datasets, it does not improve accuracy with if larger datasets are used for training the models.


title: Vision-Only Robot Navigation in a Neural Radiance World

abstract: Neural Radiance Fields (NeRFs) have recently emerged as a powerful paradigm for the representation of natural, complex 3D scenes. NeRFs represent continuous volumetric density and RGB values in a neural network, and generate photo-realistic images from unseen camera viewpoints through ray tracing. We propose an algorithm for navigating a robot through a 3D environment represented as a NeRF using only an on-board RGB camera for localization. We assume the NeRF for the scene has been pre-trained offline, and the robot's objective is to navigate through unoccupied space in the NeRF to reach a goal pose. We introduce a trajectory optimization algorithm that avoids collisions with high-density regions in the NeRF based on a discrete time version of differential flatness that is amenable to constraining the robot's full pose and control inputs. We also introduce an optimization based filtering method to estimate 6DoF pose and velocities for the robot in the NeRF given only an onboard RGB camera. We combine the trajectory planner with the pose filter in an online replanning loop to give a vision-based robot navigation pipeline. We present simulation results with a quadrotor robot navigating through a jungle gym environment, the inside of a church, and Stonehenge using only an RGB camera. We also demonstrate an omnidirectional ground robot navigating through the church, requiring it to reorient to fit through the narrow gap. Videos of this work can be found at https://mikh3x4.github.io/nerf-navigation/ .


title: Quantifying the Invisible Labor in Crowd Work

abstract: Crowdsourcing markets provide workers with a centralized place to find paid work. What may not be obvious at first glance is that, in addition to the work they do for pay, crowd workers also have to shoulder a variety of unpaid invisible labor in these markets, which ultimately reduces workers' hourly wages. Invisible labor includes finding good tasks, messaging requesters, or managing payments. However, we currently know little about how much time crowd workers actually spend on invisible labor or how much it costs them economically. To ensure a fair and equitable future for crowd work, we need to be certain that workers are being paid fairly for all of the work they do. In this paper, we conduct a field study to quantify the invisible labor in crowd work. We build a plugin to record the amount of time that 100 workers on Amazon Mechanical Turk dedicate to invisible labor while completing 40,903 tasks. If we ignore the time workers spent on invisible labor, workers' median hourly wage was $3.76. But, we estimated that crowd workers in our study spent 33% of their time daily on invisible labor, dropping their median hourly wage to $2.83. We found that the invisible labor differentially impacts workers depending on their skill level and workers' demographics. The invisible labor category that took the most time and that was also the most common revolved around workers having to manage their payments. The second most time-consuming invisible labor category involved hyper-vigilance, where workers vigilantly watched over requesters' profiles for newly posted work or vigilantly searched for labor. We hope that through our paper, the invisible labor in crowdsourcing becomes more visible, and our results help to reveal the larger implications of the continuing invisibility of labor in crowdsourcing.


title: Surveillance Testing for Rapid Detection of Outbreaks in Facilities

abstract: This paper develops an agent-based disease spread model on a contact network in an effort to guide efforts at surveillance testing in small to moderate facilities such as nursing homes and meat-packing plants. The model employs Monte Carlo simulations of viral spread sample paths in the contact network. The original motivation was to detect COVID-19 outbreaks quickly in such facilities, but the model can be applied to any communicable disease. In particular, the model provides guidance on how many test to administer each day and on the importance of the testing order among staff or workers.


title: BERT4GCN: Using BERT Intermediate Layers to Augment GCN for Aspect-based Sentiment Classification

abstract: Graph-based Aspect-based Sentiment Classification (ABSC) approaches have yielded state-of-the-art results, expecially when equipped with contextual word embedding from pre-training language models (PLMs). However, they ignore sequential features of the context and have not yet made the best of PLMs. In this paper, we propose a novel model, BERT4GCN, which integrates the grammatical sequential features from the PLM of BERT, and the syntactic knowledge from dependency graphs. BERT4GCN utilizes outputs from intermediate layers of BERT and positional information between words to augment GCN (Graph Convolutional Network) to better encode the dependency graphs for the downstream classification. Experimental results demonstrate that the proposed BERT4GCN outperforms all state-of-the-art baselines, justifying that augmenting GCN with the grammatical features from intermediate layers of BERT can significantly empower ABSC models.


title: A proposal of adaptive parameter tuning for robust stabilizing control of $N$--level quantum angular momentum systems

abstract: Stabilizing control synthesis is one of the central subjects in control theory and engineering, and it always has to deal with unavoidable uncertainties in practice. In this study, we propose an adaptive parameter tuning algorithm for robust stabilizing quantum feedback control of $N$-level quantum angular momentum systems with a robust stabilizing controller proposed by [Liang, Amini, and Mason, SIAM J. Control Optim., 59 (2021), pp. 669-692]. The proposed method ensures local convergence to the target state. Besides, numerical experiments indicate its global convergence if the learning parameters are adequately determined.


title: Batch Belief Trees for Motion Planning Under Uncertainty

abstract: In this work, we develop the Batch Belief Trees (BBT) algorithm for motion planning under motion and sensing uncertainties. The algorithm interleaves between batch sampling, building a graph of nominal trajectories in the state space, and searching over the graph to find belief space motion plans. By searching over the graph, BBT finds sophisticated plans that will visit (and revisit) information-rich regions to reduce uncertainty. One of the key benefits of this algorithm is the modified interplay between exploration and exploitation. Instead of an exhaustive search (exploitation) after one exploration step, the proposed algorithm uses batch samples to explore the state space and, in addition, does not require exhaustive search before the next iteration of batch sampling, which adds flexibility.The algorithm finds motion plans that converge to the optimal one as more samples are added to the graph. We test BBT in different planning environments. Our numerical investigation confirms that BBT finds non-trivial motion plans and is faster compared with previous similar methods.


title: Empirical Quantitative Analysis of COVID-19 Forecasting Models

abstract: COVID-19 has been a public health emergency of international concern since early 2020. Reliable forecasting is critical to diminish the impact of this disease. To date, a large number of different forecasting models have been proposed, mainly including statistical models, compartmental models, and deep learning models. However, due to various uncertain factors across different regions such as economics and government policy, no forecasting model appears to be the best for all scenarios. In this paper, we perform quantitative analysis of COVID-19 forecasting of confirmed cases and deaths across different regions in the United States with different forecasting horizons, and evaluate the relative impacts of the following three dimensions on the predictive performance (improvement and variation) through different evaluation metrics: model selection, hyperparameter tuning, and the length of time series required for training. We find that if a dimension brings about higher performance gains, if not well-tuned, it may also lead to harsher performance penalties. Furthermore, model selection is the dominant factor in determining the predictive performance. It is responsible for both the largest improvement and the largest variation in performance in all prediction tasks across different regions. While practitioners may perform more complicated time series analysis in practice, they should be able to achieve reasonable results if they have adequate insight into key decisions like model selection.


title: DualNet: Continual Learning, Fast and Slow

abstract: According to Complementary Learning Systems (CLS) theory~\citep{mcclelland1995there} in neuroscience, humans do effective \emph{continual learning} through two complementary systems: a fast learning system centered on the hippocampus for rapid learning of the specifics and individual experiences, and a slow learning system located in the neocortex for the gradual acquisition of structured knowledge about the environment. Motivated by this theory, we propose a novel continual learning framework named "DualNet", which comprises a fast learning system for supervised learning of pattern-separated representation from specific tasks and a slow learning system for unsupervised representation learning of task-agnostic general representation via a Self-Supervised Learning (SSL) technique. The two fast and slow learning systems are complementary and work seamlessly in a holistic continual learning framework. Our extensive experiments on two challenging continual learning benchmarks of CORE50 and miniImageNet show that DualNet outperforms state-of-the-art continual learning methods by a large margin. We further conduct ablation studies of different SSL objectives to validate DualNet's efficacy, robustness, and scalability. Code will be made available upon acceptance.


title: Spanning hypertrees, vertex tours and meanders

abstract: This paper revisits the notion of a spanning hypertree of a hypermap introduced by one of its authors and shows that it allows to shed new light on a very diverse set of recent results. The tour of a map along one of its spanning trees used by Bernardi may be generalized to hypermaps and we show that it is equivalent to a dual tour described by Cori and Mach\`\i. We give a bijection between the spanning hypertrees of the reciprocal of the plane graph with $2$ vertices and $n$ parallel edges and the meanders of order $n$ and a bijection of the same kind between semimeanders of order $n$ and spanning hypertrees of the reciprocal of a plane graph with a single vertex and $n/2$ nested edges. We introduce hyperdeletions and hypercontractions in a hypermap which allow to count the spanning hypertrees of a hypermap recursively, and create a link with the computation of the Tutte polynomial of a graph. Having a particular interest in hypermaps which are reciprocals of maps, we generalize the reduction map introduced by Franz and Earnshaw to enumerate meanders to a reduction map that allows the enumeration of the spanning hypertrees of such hypermaps.


title: Uniqueness of the critical and supercritical Liouville quantum gravity metrics

abstract: We show that for each ${\mathbf c}_{\mathrm M} \in [1,25)$, there is a unique metric associated with Liouville quantum gravity (LQG) with matter central charge ${\mathbf c}_{\mathrm M}$. An earlier series of works by Ding-Dub\'edat-Dunlap-Falconet, Gwynne-Miller, and others showed that such a metric exists and is unique in the subcritical case ${\mathbf c}_{\mathrm M} \in (-\infty,1)$, which corresponds to coupling constant $\gamma \in (0,2)$. The critical case ${\mathbf c}_{\mathrm M} = 1$ corresponds to $\gamma=2$ and the supercritical case ${\mathbf c}_{\mathrm M} \in (1,25)$ corresponds to $\gamma \in \mathbb C$ with $|\gamma| = 2$. Our metric is constructed as the limit of an approximation procedure called Liouville first passage percolation, which was previously shown to be tight for $\mathbf c_{\mathrm M} \in [1,25)$ by Ding and Gwynne (2020). In this paper, we show that the subsequential limit is uniquely characterized by a natural list of axioms. This extends the characterization of the LQG metric proven by Gwynne and Miller (2019) for $\mathbf c_{\mathrm M} \in (-\infty,1)$ to the full parameter range $\mathbf c_{\mathrm M} \in (-\infty,25)$. Our argument is substantially different from the proof of the characterization of the LQG metric for $\mathbf c_{\mathrm M} \in (-\infty,1)$. In particular, the core part of the argument is simpler and does not use confluence of geodesics.


title: Size distributions of bluish and reddish small main-belt asteroids obtained by Subaru/Hyper Suprime-Cam

abstract: We performed a wide-field survey observation of small asteroids using the Hyper Suprime-Cam installed on the 8.2 m Subaru Telescope. We detected more than 3,000 main-belt asteroids with a detection limit of 24.2 mag in the r-band, which were classified into two groups (bluish C-like and reddish S-like) by the g-r color of each asteroid and obtained size distributions of each group. We found that the shapes of size distributions of asteroids with the C-like and S-like colors agree with each other in the size range of 0.4-5 km in diameter. Assuming the asteroid population in this size range is under collision equilibrium, our results indicate that compositional difference hardly affects the size dependence of impact strength, at least for the size range between several hundred meters and several kilometers. This size range corresponds to the size range of ``spin-barrier'', an upper limit observed in the rotation rate distribution. Our results are consistent with the view that most asteroids in this size range have a rubble-pile structure.


title: Statistical tests of young radio pulsars with/without supernova remnants: implying two origins of neutron stars

abstract: The properties of the young pulsars and their relations to the supernova remnants (SNRs) have been the interesting topics. At present, 383 SNRs in the Milky Way galaxy have been published, which are associated with 64 radio pulsars and 46 pulsars with high energy emissions. However, we noticed that 630 young radio pulsars with spin periods of less than half a second have been not yet observed the SNRs surrounding or nearby them, which arises a question of that could the two types of young radio pulsars with/without SNRs hold distinctive characteristics? Here, we employ the statistical tests on the two groups of young radio pulsars with (52) and without (630) SNRs to reveal if they share different origins. Kolmogorov-Smirnov (K-S) and Mann-Whitney-Wilcoxon (M-W-W) tests indicate that the two samples have the different distributions with parameters of spin period ($P$), derivative of spin period ($\dot P$), surface magnetic field strength ($B$), and energy loss rate ($\dot E$). Meanwhile, the cumulative number ratio between the pulsars with and without SNRs at the different spindown ages decreases significantly after $\rm10-20\,Kyr$. So we propose that the existence of the two types of supernovae (SNe), corresponding to their SNR lifetimes, which can be roughly ascribed to the low-energy and high-energy SNe. Furthermore, the low-energy SNe may be formed from the $\rm8-12\,M_{\odot}$ progenitor, e.g., possibly experiencing the electron capture, while the main sequence stars of $\rm12-25\,M_{\odot}$ may produce the high-energy SNe probably by the iron core collapse.


title: RescueAR: Augmented Reality Supported Collaboration for UAV Driven Emergency Response Systems

abstract: Emergency response events are fast-paced, noisy, and they require teamwork to accomplish the mission. Furthermore, the increasing deployment of Unmanned Aerial Vehicles (UAVs) alongside emergency responders, demands a new form of partnership between humans and UAVs. Traditional radio-based information exchange between humans during an emergency response suffers from a lack of visualization and often results in miscommunication. This paper presents a novel collaboration platform: RescueAR, which utilizes the paradigm of Location-based Augmented Reality to geotag, share, and visualize information. RescueAR aims to support the two-way communication between humans and UAVs, facilitate collaboration across diverse responders, and visualize scene information relevant to the rescue team's role. According to our feasibility study, a user study, followed by a focus group session with police officers, RescueAR can support rescue teams in developing the spatial cognition of the scene, facilitate the exchange of geolocation information, and complement existing communication tools during the UAV-supported emergency response.


title: Improving Load Forecast in Energy Markets During COVID-19

abstract: The abrupt outbreak of the COVID-19 pandemic was the most significant event in 2020, which had profound and lasting impacts across the world. Studies on energy markets observed a decline in energy demand and changes in energy consumption behaviors during COVID-19. However, as an essential part of system operation, how the load forecasting performs amid COVID-19 is not well understood. This paper aims to bridge the research gap by systematically evaluating models and features that can be used to improve the load forecasting performance amid COVID-19. Using real-world data from the New York Independent System Operator, our analysis employs three deep learning models and adopts both novel COVID-related features as well as classical weather-related features. We also propose simulating the stay-at-home situation with pre-stay-at-home weekend data and demonstrate its effectiveness in improving load forecasting accuracy during COVID-19.


title: Economic valuation of tourism of the Sundarban Mangroves, Bangladesh

abstract: The Sundarban Reserve Forest (SRF) of Bangladesh provides tourism services to local and international visitors. Indeed, tourism is one of the major ecosystem services that this biodiversity-rich mangrove forest provides. Through a convenient sampling technique, 421 tourist respondents were interviewed to assess their willingness to pay for the tourism services of the Sundarban, using the Zonal Travel Cost Method (ZTCM). The estimated annual economic contribution of tourism in the Sundarban mangroves to the Bangladesh economy is USD 53 million. The findings of this study showed that facilities for watching wildlife and walking inside the forest can increase the number of tourists in the SRF. The findings also show that the availability of information like forest maps, wildlife precautionary signs, and danger zones would increase the number of tourists as well. Thus, the government of Bangladesh should consider increasing visitor entry fees to fund improvements and to enhance the ecotourism potential of the Sundarban mangroves.


title: Predicting COVID-19 Patient Shielding: A Comprehensive Study

abstract: There are many ways machine learning and big data analytics are used in the fight against the COVID-19 pandemic, including predictions, risk management, diagnostics, and prevention. This study focuses on predicting COVID-19 patient shielding -- identifying and protecting patients who are clinically extremely vulnerable from coronavirus. This study focuses on techniques used for the multi-label classification of medical text. Using the information published by the United Kingdom NHS and the World Health Organisation, we present a novel approach to predicting COVID-19 patient shielding as a multi-label classification problem. We use publicly available, de-identified ICU medical text data for our experiments. The labels are derived from the published COVID-19 patient shielding data. We present an extensive comparison across 12 multi-label classifiers from the simple binary relevance to neural networks and the most recent transformers. To the best of our knowledge this is the first comprehensive study, where such a range of multi-label classifiers for medical text are considered. We highlight the benefits of various approaches, and argue that, for the task at hand, both predictive accuracy and processing time are essential.


title: iSyMBA: A Symplectic Massive Bodies Integrator with Planets Interpolation

abstract: A planetary instability occurring at time $<100$ My after formation of the giant planets in our solar system can be responsible for some characteristics of the inner solar system. However, the actual influence of the instability on the terrestrial planet formation is not well understood. The simulations of terrestrial planet formation are very CPU-expensive, and this limits the exploration of different instability scenarios. To include the effects of the giant planets instability in the simulations of terrestrial planets formation in a feasible way, we approach the problem in two steps. First, we model and record an evolution of the giant planets that replicates the present outer solar system in the end. Then, we use that orbital record, properly interpolated, as the input for a second step to simulate its effects on the terrestrial planet formation. For this second step, we developed iSyMBA, a symplectic massive bodies algorithm, where ``i'' stands for interpolation. iSyMBA is a very useful code to accurately evaluate the effects of planetary instabilities on minor body reservoirs, while accounting for close encounters among massive objects. We provide a detailed description of how iSyMBA was developed and implemented to study terrestrial planet formation. Adapting iSyMBA for other problems that demand interpolation from previous simulations can be done following the method described here.


title: Airy-Gaussian vortex beams in the fractional nonlinear-Schr\"odinger medium

abstract: We address the propagation of vortex beams with the circular Airy-Gaussian shape in a (2+1)-dimensional optical waveguide modeled by the fractional nonlinear Schrodinger equation. Systematic analysis of autofocusing of the beams reveals a strongly non-monotonous dependence of the peak intensity in the focal plane on the corresponding Levy index, with a strong maximum at alpha =1.4. Effects of the nonlinearity strength, the ratio of widths of the Airy and Gaussian factors in the input, as well as the beam vorticity, on the autofocusing dynamics are explored. In particular, multiple autofocusing events occur if the nonlinearity is strong enough. Under the action of the azimuthal modulational instability, an axisymmetric beam may split into a set of separating bright spots. In the case of strong fractality (for alpha close to 1), the nonlinear beam self-traps, after the first instance of autofocusing, into a breathing vortical quasi-soliton. Radiation forces induced by the beam field are considered too, and a capture position for a probe nanoparticle is thus identified.


title: An Attempt to Generate Code for Symmetric Tensor Computations

abstract: This document describes an attempt to develop a compiler-based approach for computations with symmetric tensors. Given a computation and the symmetries of its input tensors, we derive formulas for random access under a storage scheme that eliminates redundancies; construct intermediate representations to describe the loop structure; and translate this information, using the taco tensor algebra compiler, into code. While we achieve a framework for reasoning about a fairly general class of symmetric computations, the resulting code is not performant when the symmetries are misaligned.


title: Exponential stability of the Euler-Bernoulli microbeam and thermal effect

abstract: The main goal in this work is to prove the exponential decay of the semigroup associated with a thermoelastic system composed of an Euler-Bernoulli type equation that models the transverse oscillation of a homogeneous microbeam with axial movement and in which a viscous damping is acting. In addition, to this microbeam has been endowed with a thermal effect given by the Coleman-Gurtin model which depends essentially on past history, representing an improvement of Fourier, Cattaneo, and Green-Naghdi models. To achieve these goals, we will use mainly multiplicative techniques and standard tools of functional analysis.


title: Offline Reinforcement Learning with Reverse Model-based Imagination

abstract: In offline reinforcement learning (offline RL), one of the main challenges is to deal with the distributional shift between the learning policy and the given dataset. To address this problem, recent offline RL methods attempt to introduce conservatism bias to encourage learning in high-confidence areas. Model-free approaches directly encode such bias into policy or value function learning using conservative regularizations or special network structures, but their constrained policy search limits the generalization beyond the offline dataset. Model-based approaches learn forward dynamics models with conservatism quantifications and then generate imaginary trajectories to extend the offline datasets. However, due to limited samples in offline datasets, conservatism quantifications often suffer from overgeneralization in out-of-support regions. The unreliable conservative measures will mislead forward model-based imaginations to undesired areas, leading to overaggressive behaviors. To encourage more conservatism, we propose a novel model-based offline RL framework, called Reverse Offline Model-based Imagination (ROMI). We learn a reverse dynamics model in conjunction with a novel reverse policy, which can generate rollouts leading to the target goal states within the offline dataset. These reverse imaginations provide informed data augmentation for model-free policy learning and enable conservative generalization beyond the offline dataset. ROMI can effectively combine with off-the-shelf model-free algorithms to enable model-based generalization with proper conservatism. Empirical results show that our method can generate more conservative behaviors and achieve state-of-the-art performance on offline RL benchmark tasks.


title: Spiderweb array: A sparse spin-qubit array

abstract: One of the main bottlenecks in the pursuit of a large-scale--chip-based quantum computer is the large number of control signals needed to operate qubit systems. As system sizes scale up, the number of terminals required to connect to off-chip control electronics quickly becomes unmanageable. Here, we discuss a quantum-dot spin-qubit architecture that integrates on-chip control electronics, allowing for a significant reduction in the number of signal connections at the chip boundary. By arranging the qubits in a two-dimensional (2D) array with $\sim$12 $\mu$m pitch, we create space to implement locally integrated sample-and-hold circuits. This allows to offset the inhomogeneities in the potential landscape across the array and to globally share the majority of the control signals for qubit operations. We make use of advanced circuit modeling software to go beyond conceptual drawings of the component layout, to assess the feasibility of the scheme through a concrete floor plan, including estimates of footprints for quantum and classical electronics, as well as routing of signal lines across the chip using different interconnect layers. We make use of local demultiplexing circuits to achieve an efficient signal-connection scaling leading to a Rent's exponent as low as $p = 0.43$. Furthermore, we use available data from state-of-the-art spin qubit and microelectronics technology development, as well as circuit models and simulations, to estimate the operation frequencies and power consumption of a million-qubit processor. This work presents a novel and complementary approach to previously proposed architectures, focusing on a feasible scheme to integrating quantum and classical hardware, and significantly closing the gap towards a fully CMOS-compatible quantum computer implementation.


title: A type I conjecture and boundary representations of hyperbolic groups

abstract: We establish new results on the weak containment of quasi-regular and Koopman representations of a second countable locally compact group $G$ associated with non-singular $G$-spaces. We deduce that any two boundary representations of a hyperbolic locally compact group are weakly equivalent. We also show that non-amenable hyperbolic locally compact groups with a cocompact amenable subgroup are characterized by the property that any two proper length functions are homothetic up to an additive constant. Combining those results with the work of \L. Garncarek on the irreducibility of boundary representations of discrete hyperbolic groups, we deduce that a type I hyperbolic group with a cocompact lattice contains a cocompact amenable subgroup. Specializing to groups acting on trees, we answer a question of C. Houdayer and S. Raum.


title: Unveiling the multi-level structure of midgap states in Sb-doped MoX$_2$ (X = S, Se, Te) monolayers

abstract: In this study, we use DFT calculations to investigate the electronic and structural properties of MoX$_2$ (X = S, Se, Te) monolayers doped with substitutional Sb atoms, with a central focus on the Sb(Mo) substitution. In MoS$_2$, we observe that this substitution is energetically favored under S rich conditions, where the S$_2$ gaseous phase is likely to be present. This result is compatible with a recent experimental observation in Sb-doped MoS$_2$ nanosheets grown by CVD. A similar behavior is found in MoSe$_2$, but in MoTe$_2$ the Sb(Mo) substitution is less likely to occur due to the possible absence of gaseous Te phases in experimental setups. In all cases, several impurity-induced states are found inside the band gap, with energies that span the entire gap. The Fermi energy is pinned a few tenths of eV above the top of the valence band, suggesting a predominant $p$-type behavior. The orbital nature of these states is investigated with projected and local density of states calculations, which reveal similarities to defect states induced by single Mo vacancies as well as their rehybridization with the $5s$ orbital from Sb. Additionally, we find that the band gap of the doped systems is increased in comparison with the pristine materials, in contrast with a previous calculation in Sb-doped MoS$_2$ that predicts a gap reduction with a different assignment of valence band and impurity levels. We discuss the similarities, discrepancies, and the limitations of both calculations. We also speculate possible reasons for the experimentally observed redshifts of the A and B excitons in the presence of the Sb dopants in MoS$_2$. We hope that these results spark future investigations on other aspects of the problem, particularly those concerning the effects of disorder and electron-hole interaction, and continue to reveal the potential of doped TMDCs for applications in optoelectronic devices.


title: Collective Neutrino Flavor Instability Requires a Crossing

abstract: Neutrinos in supernovae, neutron stars, and in the early Universe may change flavor collectively and unstably, due to neutrino-neutrino forward-scattering. We prove that for collective instability to occur, the difference of momentum distributions of two flavors must change sign, i.e., there is a zero crossing. This necessary criterion, which unifies slow and fast instabilities, is valid for Hamiltonian flavor-evolution of ultra-relativistic Standard Model neutrino occupation matrices, including damping due to collisions in the relaxation approximation. It provides a simple but rigorous condition for collective flavor transformations that are believed to be important for stellar dynamics, nucleosynthesis, and neutrino phenomenology.


title: Nonlocal inelastic scattering of light: Enhanced and noiseless signals in remote-coupled optomechanical systems

abstract: The inelastic scatterings of matter systems, such as Raman scattering, contain rich information on mechanical vibrations like as resonant frequencies, which lead to various applications, for example, a sensor for specific molecules. However, observing output signals requires a sensitive setup because an inelastic signal is inherently weak and is disturbed by strong input. In this study, we theoretically investigate a physical scheme to avoid detrimental impact of the input by distancing it from the emitter and greatly enhancing the output signals. If two bodies are coupled mechanically and direct optical communication is forbidden, the nonlocal inelastic scattering signals can be considerably boosted. We demonstrate this mechanism by considering coupled optomechanical systems as a typical example that enables control of the two-body interaction strength. The results present a general scheme to boost nonlocal inelastic scattering for noiseless and pure signals.


title: Global existence and asymptotics for the modified two-dimensional Schr\"{o}dinger equation in the critical regime

abstract: We study the asymptotic behavior of the modified two-dimensional Schr\"{o}dinger equation $ (D_t -F(D))u=\lambda|u| u$ in the critical regime, where $\lambda \in \mathbb{C}$ with $\text{Im} \lambda \ge0$ and $F(\xi)$ is a second order constant coefficients elliptic symbol. For any smooth initial datum of size $\varepsilon\ll1$, we prove that the solution is global-in-time, combining the vector fields method and a semiclassical analysis method introduced by Delort. Moreover, we present the pointwise decay estimates and the large time asymptotic formulas of the solution.


title: Invariant-mass spectrum of $\Lambda\bar\Lambda$ pair in the process $e^+e^-\rightarrow\phi\Lambda\bar\Lambda$

abstract: We show that the final-state interaction perfectly explains the recent experimental data of BESIII Collaboration on the near-threshold invariant-mass spectrum of $\Lambda\bar\Lambda$ in the process $e^+e^-\rightarrow\phi\Lambda\bar\Lambda$. The position of peak in invariant-mass spectrum is above the threshold though the interaction of $\Lambda$ and $\bar\Lambda$ is due to an attractive potential. This potential has a simple form and depends only on two parameters. We show that the invariant-mass spectrum is consistent with the quantum numbers $J^{PC}=1^{++}$ and $2^{++}$ of $\Lambda\bar\Lambda$ pair but contradicts to $J^{PC}=2^{-+}$.


title: What is Semantic Communication? A View on Conveying Meaning in the Era of Machine Intelligence

abstract: In 1940s, Claude Shannon developed the information theory focusing on quantifying the maximum data rate that can be supported by a communication channel. Guided by this, the main theme of wireless system design up until 5G was the data rate maximization. In his theory, the semantic aspect and meaning of messages were treated as largely irrelevant to communication. The classic theory started to reveal its limitations in the modern era of machine intelligence, consisting of the synergy between IoT and AI. By broadening the scope of the classic framework, in this article we present a view of semantic communication (SemCom) and conveying meaning through the communication systems. We address three communication modalities, human-to-human (H2H), human-to-machine (H2M), and machine-to-machine (M2M) communications. The latter two, the main theme of the article, represent the paradigm shift in communication and computing. H2M SemCom refers to semantic techniques for conveying meanings understandable by both humans and machines so that they can interact. M2M SemCom refers to effectiveness techniques for efficiently connecting machines such that they can effectively execute a specific computation task in a wireless network. The first part of the article introduces SemCom principles including encoding, system architecture, and layer-coupling and end-to-end design approaches. The second part focuses on specific techniques for application areas of H2M (human and AI symbiosis, recommendation, etc.) and M2M SemCom (distributed learning, split inference, etc.) Finally, we discuss the knowledge graphs approach for designing SemCom systems. We believe that this comprehensive introduction will provide a useful guide into the emerging area of SemCom that is expected to play an important role in 6G featuring connected intelligence and integrated sensing, computing, communication, and control.


title: The 2-Selmer group of $S_n$-number fields of even degree

abstract: This paper is an extension of the work of Dummit and Voight on modeling the 2-Selmer group of number fields. We extend their model to $S_n$-number fields of even degree and develop heuristics on the difference in the 2-ranks between the class group and narrow class group.


title: A Review and Critique of Auxiliary Information-Based Process Monitoring Methods

abstract: We review the rapidly growing literature on auxiliary information-based (AIB) process monitoring methods. Under this approach, there is an assumption that the auxiliary variable, which is correlated with the quality variable of interest, has a known mean, or some other parameter, which cannot change over time. We demonstrate that violations of this assumption can have serious adverse effects both when the process is stable and when there has been a process shift. Some process shifts can become undetectable. We also show that the basic AIB approach is a special case of simple linear regression profile monitoring. The AIB charting techniques require strong assumptions. Based on our results, we warn against the use of AIB approach in quality control applications.


title: Perturbated Gradients Updating within Unit Space for Deep Learning

abstract: In deep learning, optimization plays a vital role. By focusing on image classification, this work investigates the pros and cons of the widely used optimizers, and proposes a new optimizer: Perturbated Unit Gradient Descent (PUGD) algorithm with extending normalized gradient operation in tensor within perturbation to update in unit space. Via a set of experiments and analyses, we show that PUGD is locally bounded updating, which means the updating from time to time is controlled. On the other hand, PUGD can push models to a flat minimum, where the error remains approximately constant, not only because of the nature of avoiding stationary points in gradient normalization but also by scanning sharpness in the unit ball. From a series of rigorous experiments, PUGD helps models to gain a state-of-the-art Top-1 accuracy in Tiny ImageNet and competitive performances in CIFAR- {10, 100}. We open-source our code at link: https://github.com/hanktseng131415go/PUGD.


title: Exciton Proliferation and Fate of the Topological Mott Insulator in a Twisted Bilayer Graphene Lattice Model

abstract: Topological Mott insulator (TMI) with spontaneous time-reversal symmetry breaking and nonzero Chern number has been discovered in a real-space effective model for twisted bilayer graphene (TBG) at 3/4 filling in the strong coupling limit. However, the finite temperature properties of such a TMI state remain illusive. In this work, employing the state-of-the-art thermal tensor network and the perturbative field-theoretical approaches, we obtain the finite-$T$ phase diagram and the dynamical properties of the TBG model. The phase diagram includes the quantum anomalous Hall and charge density wave phases at low $T$, and a Ising transition separating them from the high-$T$ symmetric phases. Due to the proliferation of excitons -- particle-hole bound states -- the transitions take place at a significantly reduced temperature than the mean-field estimation. The exciton phase is accompanied with distinctive experimental signatures in such as charge compressibilities and optical conductivities close to the transition. Our work explains the smearing of the many-electron state topology by proliferating excitons and opens the avenue for controlled many-body investigations on finite-temperature states in the TBG and other quantum moir\'e systems.


title: Error-free approximation of explicit linear MPC through lattice piecewise affine expression

abstract: In this paper, the disjunctive and conjunctive lattice piecewise affine (PWA) approximations of explicit linear model predictive control (MPC) are proposed. The training data are generated uniformly in the domain of interest, consisting of the state samples and corresponding affine control laws, based on which the lattice PWA approximations are constructed. Re-sampling of data is also proposed to guarantee that the lattice PWA approximations are identical to explicit MPC control law in the unique order (UO) regions containing the sample points as interior points. Additionally, under mild assumptions, the equivalence of the two lattice PWA approximations guarantees that the approximations are error-free in the domain of interest. The algorithms for deriving statistically error-free approximation to the explicit linear MPC are proposed and the complexity of the entire procedure is analyzed, which is polynomial with respect to the number of samples. The performance of the proposed approximation strategy is tested through two simulation examples, and the result shows that with a moderate number of sample points, we can construct lattice PWA approximations that are equivalent to optimal control law of the explicit linear MPC.


title: Batched Thompson Sampling

abstract: We introduce a novel anytime Batched Thompson sampling policy for multi-armed bandits where the agent observes the rewards of her actions and adjusts her policy only at the end of a small number of batches. We show that this policy simultaneously achieves a problem dependent regret of order $O(\log(T))$ and a minimax regret of order $O(\sqrt{T\log(T)})$ while the number of batches can be bounded by $O(\log(T))$ independent of the problem instance over a time horizon $T$. We also show that in expectation the number of batches used by our policy can be bounded by an instance dependent bound of order $O(\log\log(T))$. These results indicate that Thompson sampling maintains the same performance in this batched setting as in the case when instantaneous feedback is available after each action, while requiring minimal feedback. These results also indicate that Thompson sampling performs competitively with recently proposed algorithms tailored for the batched setting. These algorithms optimize the batch structure for a given time horizon $T$ and prioritize exploration in the beginning of the experiment to eliminate suboptimal actions. We show that Thompson sampling combined with an adaptive batching strategy can achieve a similar performance without knowing the time horizon $T$ of the problem and without having to carefully optimize the batch structure to achieve a target regret bound (i.e. problem dependent vs minimax regret) for a given $T$.


title: Q-Net: A Quantitative Susceptibility Mapping-based Deep Neural Network for Differential Diagnosis of Brain Iron Deposition in Hemochromatosis

abstract: Brain iron deposition, in particular deep gray matter nuclei, increases with advancing age. Hereditary Hemochromatosis (HH) is the most common inherited disorder of systemic iron excess in Europeans and recent studies claimed high brain iron accumulation in patient with Hemochromatosis. In this study, we focus on Artificial Intelligence (AI)-based differential diagnosis of brain iron deposition in HH via Quantitative Susceptibility Mapping (QSM), which is an established Magnetic Resonance Imaging (MRI) technique to study the distribution of iron in the brain. Our main objective is investigating potentials of AI-driven frameworks to accurately and efficiently differentiate individuals with Hemochromatosis from those of the healthy control group. More specifically, we developed the Q-Net framework, which is a data-driven model that processes information on iron deposition in the brain obtained from multi-echo gradient echo imaging data and anatomical information on T1-Weighted images of the brain. We illustrate that the Q-Net framework can assist in differentiating between someone with HH and Healthy control (HC) of the same age, something that is not possible by just visualizing images. The study is performed based on a unique dataset that was collected from 52 subjects with HH and 47 HC. The Q-Net provides a differential diagnosis accuracy of 83.16% and 80.37% in the scan-level and image-level classification, respectively.


title: Effects of Many-body Interactions in Hypernuclei with Korea-IBS-Daegu-SKKU Functionals

abstract: We investigate the properties of $\Lambda$ hyperon in $\Lambda$-hypernuclei using an effective nuclear density functional theory which is based on the low-energy effective field theory. It expands the energy density in the power of Fermi momentum, and consequently has multiple density dependence for the effective many-body interactions. Starting from the effective density functional for nucleons, we determine the parameters for the two- and many-body $\Lambda$-$N$ interactions added to the nucleon energy density functional by fitting to $\Lambda$-hypernuclear data. The experimental data consist of the energy levels of a $\Lambda$ hyperon in the $p$-, and $d$-states as well as $s$-state of $\Lambda$-hypernuclei in the mass range from $_\Lambda^{16}$O to $_\Lambda^{208}$Pb. The results turn out to properly explain the data relevant to hypernuclei owing to the effective many-body interaction apart from a few data in light hypernuclei. This hyperon functional is applied to study the $\Lambda$ hyperon binding energy of the neutron-rich $^{124-136}_\Lambda$Sn isotopes which are under consideration for the measurement at J-PARC. Our results are shown to be insensitive to the density dependence of symmetry energy. We also examine the nuclear matter including $\Lambda$ hyperon. We note that the hyperon threshold density depends on the nuclear matter properties.


title: NANOGrav Signal from double-inflection-point inflation and dark matter

abstract: The NANOGrav collaboration has published a suspected stochastic GW background signal in its analysis of 12.5 years PTA data, so in this work, we investigate the possibility to explain the signal by the inflationary models with double-inflection-point. We calculate the energy spectrum of GWs induced by scalar perturbations, and show that the curve lies in the $2\sigma$ region of the NANOGrav constraints. In addition, we analyze the reheating process and dark matter production by assuming that the inflaton is coupled with the SM Higgs boson and singlet fermionic dark matter field. We discuss the radiative stability of the inflationary potential under one-loop corrections, calculate the reheating temperature, the dark matter production, and constraints the coupling parameters using the bounds of BBN, Lyman-$\alpha$, etc.


title: Optimization of CMOS image sensors with single photon-trapping hole per pixel for enhanced sensitivity in near-infrared

abstract: The optimization of silicon photodiode-based CMOS sensors with backside-illumination for 300-1000 nm wavelength range was studied. It was demonstrated that a single hole on a photodiode increases the optical efficiency of the pixel in near-infrared wavelengths. A hole with optimal dimensions enhanced optical absorption by 60% for a 3 $\mu$m thick Si photodiode, which is 4 orders better than that for comparable flat photodiodes. We have shown that there is an optimal size and depth of the hole that exhibits maximal absorption in blue, green, red, and infrared. Crosstalk was successfully reduced by employing thin trenches between pixels of 1.12 $\mu{m^2}$ in size.


title: Contraction-Based Methods for Stable Identification and Robust Machine Learning: a Tutorial

abstract: This tutorial paper provides an introduction to recently developed tools for machine learning, especially learning dynamical systems (system identification), with stability and robustness constraints. The main ideas are drawn from contraction analysis and robust control, but adapted to problems in which large-scale models can be learnt with behavioural guarantees. We illustrate the methods with applications in robust image recognition and system identification.


title: In-Circuit Differential-Mode Impedance Extraction at the AC Input of a Motor Drive System

abstract: The in-circuit differential-mode (DM) impedance at the AC input of a motor drive system (MDS) serves as a key parameter to evaluate and estimate the DM electromagnetic interference (EMI) noise caused by the switching of power semiconductor devices in the MDS. This paper discusses a single-probe setup (SPS) with frequency-domain measurement to extract the in-circuit DM impedance of an MDS under its different operating modes. The advantages of the SPS are its non-contact measurement and simple structure.


title: Local temperature in general relativity

abstract: We examine the Tolman temperature by using Carter's variational formalism of thermodynamics. We restrict our interests to fluids in thermal equilibrium that the heat does not propagate. We show that this condition presents a general formula for the local temperature gradient. We suggest a resolution of the recently addressed conflict in Tolman temperature when a chemical potential does not vanish.


title: Unsupervised Belief Representation Learning with Information-Theoretic Variational Graph Auto-Encoders

abstract: This paper develops a novel unsupervised algorithm for belief representation learning in polarized networks that (i) uncovers the latent dimensions of the underlying belief space and (ii) jointly embeds users and content items (that they interact with) into that space in a manner that facilitates a number of downstream tasks, such as stance detection, stance prediction, and ideology mapping. Inspired by total correlation in information theory, we propose the Information-Theoretic Variational Graph Auto-Encoder (InfoVGAE) that learns to project both users and content items (e.g., posts that represent user views) into an appropriate disentangled latent space. To better disentangle latent variables in that space, we develop a total correlation regularization module, a Proportional-Integral (PI) control module, and adopt rectified Gaussian distribution to ensure the orthogonality. The latent representation of users and content can then be used to quantify their ideological leaning and detect/predict their stances on issues. We evaluate the performance of the proposed InfoVGAE on three real-world datasets, of which two are collected from Twitter and one from U.S. Congress voting records. The evaluation results show that our model outperforms state-of-the-art unsupervised models by reducing 10.5% user clustering errors and achieving 12.1% higher F1 scores for stance separation of content items. In addition, InfoVGAE produces a comparable result with supervised models. We also discuss its performance on stance prediction and user ranking within ideological groups.


title: DNN-Opt: An RL Inspired Optimization for Analog Circuit Sizing using Deep Neural Networks

abstract: Analog circuit sizing takes a significant amount of manual effort in a typical design cycle. With rapidly developing technology and tight schedules, bringing automated solutions for sizing has attracted great attention. This paper presents DNN-Opt, a Reinforcement Learning (RL) inspired Deep Neural Network (DNN) based black-box optimization framework for analog circuit sizing. The key contributions of this paper are a novel sample-efficient two-stage deep learning optimization framework leveraging RL actor-critic algorithms, and a recipe to extend it on large industrial circuits using critical device identification. Our method shows 5--30x sample efficiency compared to other black-box optimization methods both on small building blocks and on large industrial circuits with better performance metrics. To the best of our knowledge, this is the first application of DNN-based circuit sizing on industrial scale circuits.


title: Inverse airfoil design method for generating varieties of smooth airfoils using conditional WGAN-gp

abstract: Machine learning models are recently utilized for airfoil shape generation methods. It is desired to obtain airfoil shapes that satisfies required lift coefficient. Generative adversarial networks (GAN) output reasonable airfoil shapes. However, shapes obtained from ordinal GAN models are not smooth, and they need smoothing before flow analysis. Therefore, the models need to be coupled with Bezier curves or other smoothing methods to obtain smooth shapes. Generating shapes without any smoothing methods is challenging. In this study, we employed conditional Wasserstein GAN with gradient penalty (CWGAN-GP) to generate airfoil shapes, and the obtained shapes are as smooth as those obtained using smoothing methods. With the proposed method, no additional smoothing method is needed to generate airfoils. Moreover, the proposed model outputs shapes that satisfy the lift coefficient requirements.


title: Inverted harmonic oscillator dynamics of the nonequilibrium phase transition in the Dicke model

abstract: We show how the dynamics of the Dicke model after a quench from the ground-state configuration of the normal phase into the superradiant phase can be described for a limited time by a simple inverted harmonic oscillator model and that this limited time approaches infinity in the thermodynamic limit. Although we specifically discuss the Dicke model, the presented mechanism can be also used to describe dynamical quantum phase transitions in other systems and opens a new avenue in simulations of physical phenomena associated with an inverted harmonic oscillator.


title: Spiking Hyperdimensional Network: Neuromorphic Models Integrated with Memory-Inspired Framework

abstract: Recently, brain-inspired computing models have shown great potential to outperform today's deep learning solutions in terms of robustness and energy efficiency. Particularly, Spiking Neural Networks (SNNs) and HyperDimensional Computing (HDC) have shown promising results in enabling efficient and robust cognitive learning. Despite the success, these two brain-inspired models have different strengths. While SNN mimics the physical properties of the human brain, HDC models the brain on a more abstract and functional level. Their design philosophies demonstrate complementary patterns that motivate their combination. With the help of the classical psychological model on memory, we propose SpikeHD, the first framework that fundamentally combines Spiking neural network and hyperdimensional computing. SpikeHD generates a scalable and strong cognitive learning system that better mimics brain functionality. SpikeHD exploits spiking neural networks to extract low-level features by preserving the spatial and temporal correlation of raw event-based spike data. Then, it utilizes HDC to operate over SNN output by mapping the signal into high-dimensional space, learning the abstract information, and classifying the data. Our extensive evaluation on a set of benchmark classification problems shows that SpikeHD provides the following benefit compared to SNN architecture: (1) significantly enhance learning capability by exploiting two-stage information processing, (2) enables substantial robustness to noise and failure, and (3) reduces the network size and required parameters to learn complex information.


title: Thermal Conductivity of BAs under Pressure

abstract: The thermal conductivity of boron arsenide (BAs) is believed to be influenced by phonon scattering selection rules due to its special phonon dispersion. Compression of BAs leads to significant changes in phonon dispersion, which allows for a test of first principles theories for how phonon dispersion affects three- and four-phonon scattering rates. This study reports the thermal conductivity of BAs from 0 to 30 GPa. Thermal conductivity vs. pressure of BAs is measured by time-domain thermoreflectance with a diamond anvil cell. In stark contrast to what is typical for nonmetallic crystals, BAs is observed to have a pressure independent thermal conductivity below 30 GPa. The thermal conductivity of nonmetallic crystals typically increases upon compression. The unusual pressure independence of thermal conductivity of BAs shows the important relationship between phonon dispersion properties and three- and four-phonon scattering rates.


title: Beyond Neighbourhood-Preserving Transformations for Quantization-Based Unsupervised Hashing

abstract: An effective unsupervised hashing algorithm leads to compact binary codes preserving the neighborhood structure of data as much as possible. One of the most established schemes for unsupervised hashing is to reduce the dimensionality of data and then find a rigid (neighbourhood-preserving) transformation that reduces the quantization error. Although employing rigid transformations is effective, we may not reduce quantization loss to the ultimate limits. As well, reducing dimensionality and quantization loss in two separate steps seems to be sub-optimal. Motivated by these shortcomings, we propose to employ both rigid and non-rigid transformations to reduce quantization error and dimensionality simultaneously. We relax the orthogonality constraint on the projection in a PCA-formulation and regularize this by a quantization term. We show that both the non-rigid projection matrix and rotation matrix contribute towards minimizing quantization loss but in different ways. A scalable nested coordinate descent approach is proposed to optimize this mixed-integer optimization problem. We evaluate the proposed method on five public benchmark datasets providing almost half a million images. Comparative results indicate that the proposed method mostly outperforms state-of-art linear methods and competes with end-to-end deep solutions.


title: Truncated phase-based quantum arithmetic: error propagation and resource reduction

abstract: There are two important, and potentially interconnecting, avenues to the realisation of large-scale quantum algorithms: improvement of the hardware, and reduction of resource requirements demanded by algorithm components. In focusing on the latter, one crucial subroutine to many sought-after applications is the quantum adder. A variety of different implementations exist with idiosyncratic pros and cons. One of these, the Draper quantum Fourier adder, offers the lowest qubit count of any adder, but requires a substantial number of gates as well as extremely fine rotations. In this work, we present a modification of the Draper adder which eliminates small-angle rotations to highly coarse levels, matched with some strategic corrections. This reduces hardware requirements without sacrificing the qubit saving. We show that the inherited loss of fidelity is directly given by the rate of carry and borrow bits in the computation. We derive formulae to predict this, complemented by complete gate-level matrix product state simulations of the circuit. Moreover, we analytically describe the effects of possible stochastic control error. We present an in-depth analysis of this approach in the context of Shor's algorithm, focusing on the factoring of RSA-2048. Surprisingly, we find that each of the $7\times 10^7$ quantum Fourier transforms may be truncated down to $\pi/64$, with additive rotations left only slightly finer. This result is much more efficient than previously realised. We quantify savings both in terms of logical resources and raw magic states, demonstrating that phase adders can be competitive with Toffoli-based constructions.


title: On the Importance of Gradients for Detecting Distributional Shifts in the Wild

abstract: Detecting out-of-distribution (OOD) data has become a critical component in ensuring the safe deployment of machine learning models in the real world. Existing OOD detection approaches primarily rely on the output or feature space for deriving OOD scores, while largely overlooking information from the gradient space. In this paper, we present GradNorm, a simple and effective approach for detecting OOD inputs by utilizing information extracted from the gradient space. GradNorm directly employs the vector norm of gradients, backpropagated from the KL divergence between the softmax output and a uniform probability distribution. Our key idea is that the magnitude of gradients is higher for in-distribution (ID) data than that for OOD data, making it informative for OOD detection. GradNorm demonstrates superior performance, reducing the average FPR95 by up to 16.33% compared to the previous best method.


title: Neural Networks Compensation of Systems with Multi-segment Piecewise Linear Nonlinearities

abstract: A neural networks (NN) compensator is designed for systems with multi-segment piecewise-linear nonlinearities. The compensator uses the back stepping technique with NN for inverting the multi-segment piecewise-linear nonlinearities in the feedforward path. This scheme provides a general procedure for determining the dynamic pre-inversion of an invertible dynamic system using NN. A tuning algorithm is presented for the NN compensator which yields a stable closed-loop system. In the case of nonlinear stability proofs, the tracking error is small. It is noted that PI controller without NN compensation requires much higher gain to achieve same performance. It is also difficult to ensure the stability of such highly nonlinear systems using only PI controllers. Using NN compensation, stability of the system is proven, and tracking errors can be arbitrarily kept small by increasing the gain. The NN weight errors are basically bounded in terms of input weight and hidden weight. Simulation results show the effectiveness of the piecewise linear NN compensator in the system. This scheme is applicable to xy table-like servo system and shows neural network stability proofs. In addition, the NN piecewise linear nonlinearity compensation can be further and applied to backlash, hysteresis, and another actuator nonlinear compensation.


title: A scalable and reconfigurable industrial-grade Slow Control System for SABRE-South Dark matter experiment

abstract: The Sodium iodide Active Background Rejection Experiment-South (SABRE-South) is a direct dark matter detector soon to be deployed in the Stawell gold mine, in Victoria, Australia. Monitoring of external environmental and experimental conditions, (temperature, barometric pressure, relative humidity, high voltage, and seismic vibration) is vital to ensure the data quality of the SABRE search for dark matter via direct detection. These parameters are generally non-time-critical in the range of Hz to a few kHz and constitute a slow control system. We present the design of a novel compact, industrial-grade, and self-contained slow control system for SABRE-South. This system, featuring innovative hardware and software architecture based on National instruments compact RIO (NI-cRIO) and LabVIEW can be scaled up at low-cost and is capable of implementing the functionalities available in high-end SCADA systems while maintaining the flexibility to integrate custom software code (i.e. C++, PYTHON) for bespoke interfacing needs.


title: Collision Chains among the Terrestrial Planets. II. An Asymmetry between Earth and Venus

abstract: During the late stage of terrestrial planet formation, hit-and-run collisions are about as common as accretionary mergers, for expected velocities and angles of giant impacts. Average hit-and-runs leave two major remnants plus debris: the target and impactor, somewhat modified through erosion, escaping at lower relative velocity. Here we continue our study of the dynamical effects of such collisions. We compare the dynamical fates of intact runners that start from hit-and-runs with proto-Venus at 0.7 AU and proto-Earth at 1.0 AU. We follow the orbital evolutions of the runners, including the other terrestrial planets, Jupiter, and Saturn, in an N-body code. We find that the accretion of these runners can take $\gtrsim$10 Myr (depending on the egress velocity of the first collision) and can involve successive collisions with the original target planet or with other planets. We treat successive collisions that the runner experiences using surrogate models from machine learning, as in previous work, and evolve subsequent hit-and-runs in a similar fashion. We identify asymmetries in the capture, loss, and interchange of runners in the growth of Venus and Earth. Hit-and-run is a more probable outcome at proto-Venus, being smaller and faster orbiting than proto-Earth. But Venus acts as a sink, eventually accreting most of its runners, assuming typical events, whereas proto-Earth loses about half, many of those continuing to Venus. This leads to a disparity in the style of late-stage accretion that could have led to significant differences in geology, composition, and satellite formation at Earth and Venus.


title: Collision Chains among the Terrestrial Planets. III. Formation of the Moon

abstract: In the canonical model of Moon formation, a Mars-sized protoplanet "Theia" collides with proto-Earth at close to their mutual escape velocity $v_{\rm esc}$ and a common impact angle 45{\deg}. The "graze-and-merge" collision strands a fraction of Theia's mantle into orbit, while Earth accretes most of Theia and its momentum. Simulations show that this produces a hot, high angular momentum, silicate-dominated protolunar system, in substantial agreement with lunar geology, geochemistry, and dynamics. However, a Moon that derives mostly from Theia's mantle, as angular momentum dictates, is challenged by the fact that O, Ti, Cr, radiogenic W, and other elements are indistinguishable in Earth and lunar rocks. Moreover, the model requires an improbably low initial velocity. Here we develop a scenario for Moon formation that begins with a somewhat faster collision, when proto-Theia impacts proto-Earth at ~1.2 $v_{\rm esc}$, also around 45{\deg}. Instead of merging, the bodies come into violent contact for a half-hour and their major components escape, a "hit-and-run collision." N-body evolutions show that the "runner" often returns ~0.1-1 Myr later for a second giant impact, closer to $v_{\rm esc}$; this produces a postimpact disk of ~2-3 lunar masses in smoothed particle hydrodynamics simulations, with angular momentum comparable to canonical scenarios. The disk ends up substantially inclined, in most cases, because the terminal collision is randomly oriented to the first. Proto-Earth contributions to the silicate disk are enhanced by the compounded mixing and greater energy of a collision chain.


title: Complete Nevanlinna-Pick kernels And The Characteristic Function

abstract: This note finds a new characterization of complete Nevanlinna-Pick kernels on the Euclidean unit ball. The classical theory of Sz.-Nagy and Foias about the characteristic function is extended in this note to a commuting tuple $\bfT$ of bounded operators satisfying the natural positivity condition of $1/k$-contractivity for an irreducible unitarily invariant complete Nevanlinna-Pick kernel. The characteristic function is a multiplier from $H_k \otimes \cE$ to $H_k \otimes \cF$, {\em factoring} a certain positive operator, for suitable Hilbert spaces $\cE$ and $\cF$ depending on $\bfT$. There is a converse, which roughly says that if a kernel $k$ {\em admits} a characteristic function, then it has to be an irreducible unitarily invariant complete Nevanlinna-Pick kernel. The characterization explains, among other things, why in the literature an analogue of the characteristic function for a Bergman contraction ($1/k$-contraction where $k$ is the Bergman kernel), when viewed as a multiplier between two vector valued reproducing kernel Hilbert spaces, requires a different (vector valued) reproducing kernel Hilbert space as the domain.


title: Censored autoregressive regression models with Student-$t$ innovations

abstract: The Student-$t$ distribution is widely used in statistical modeling of datasets involving outliers since its longer-than-normal tails provide a robust approach to hand such data. Furthermore, data collected over time may contain censored or missing observations, making it impossible to use standard statistical procedures. This paper proposes an algorithm to estimate the parameters of a censored linear regression model when the regression errors are autocorrelated and the innovations follow a Student-$t$ distribution. To fit the proposed model, maximum likelihood estimates are obtained throughout the SAEM algorithm, which is a stochastic approximation of the EM algorithm useful for models in which the E-step does not have an analytic form. The methods are illustrated by the analysis of a real dataset that has left-censored and missing observations. We also conducted two simulations studies to examine the asymptotic properties of the estimates and the robustness of the model.


title: On the existence of euclidean ideal class in quadratic, cubic and quartic extensions

abstract: Lenstra introduced the notion of Euclidean ideal class. We prove the existence of the Euclidean ideal class in abelian quartic fields. As a corollary, we prove that any biquadratic field with class number two has a Euclidean ideal class. We also prove the existence of a Euclidean ideal class in certain cubic and quadratic extensions.


title: Combinatorial Black-box Optimization for Vehicle Design Problem

abstract: Black-box optimization minimizes an objective function without derivatives or explicit forms. Such an optimization method with continuous variables has been successful in the fields of machine learning and material science. For discrete variables, the Bayesian optimization of combinatorial structure (BOCS) is a powerful tool for solving black-box optimization problems. A surrogate model used in BOCS is the quadratic unconstrained binary optimization (QUBO) form. Because of the approximation of the objective function to the QUBO form in BOCS, BOCS can expand the possibilities of using D-Wave quantum annealers, which can generate near-optimal solutions of QUBO problems by utilizing quantum fluctuation. We demonstrate the use of BOCS and its variant for a vehicle design problem, which cannot be described in the QUBO form. As a result, BOCS and its variant slightly outperform the random search, which randomly calculates the objective function.


title: A generalization of Gerzon's bound on spherical s-distance sets

abstract: We Use the method of linearly independent polynomials to derive an upper bound for the cardinality of a spherical s-distance set F where the sum of distinct inner products of any two elements from F is zero. Our result generalizes the well-known Gerzon's bound for the cardinality of an equiangular spherical set to a significantly broader class of spherical s-distance sets.


title: Microwave optomechanical measurement of non-metallized SiN strings at mK temperatures

abstract: The mechanical properties of amorphous materials (glasses) at low temperatures are dominated by effects of low energy excitations that are thought to be atomic-scale tunneling two level systems (TTLS). In nanometer-scale glass samples, the temperature dependence of the sound speed and dissipation is modified relative to that of bulk glass samples. In addition to this size effect, the usual presence of a polycrystalline metal in nanomechanical resonators leads to a further departure from the well-studied behavior of insulating bulk glass. We report a dual chip optomechanical measurement technique used to characterize non-metallized amorphous SiN strings at low temperatures. A harp consisting of SiN strings of width 350 nm and lengths 40 to 80 $\mu$m is coupled to an Al superconducting microwave cavity on a separate chip. The strings are driven dielectrically and their motion is detected via its modulation of the microwave resonance frequency.


title: Dark energy with oscillatory tracking potential: Observational Constraints and Perturbative effects

abstract: The cosmological models exhibiting tracker properties have great significance in the context of dark energy as they can reach the present value of dark energy density from a wide range of initial conditions, thereby alleviating both the fine-tuning and the cosmic coincidence problem. The $\alpha$-attractors, which are originally discussed in the context of inflation, can exhibit the properties of dark energy as they can behave like cosmological trackers at early times and show the late time behaviour of a cosmological constant. In the present paper, we study the Oscillatory Tracker Model (OTM), which belongs to the family of $\alpha$-attractor dark energy models. Using the current observational data sets like Cosmic Microwave Background (CMB), Baryon Acoustic Oscillation (BAO) and type 1a supernova data (Pantheon compilation), we constrain the parameters of the model and estimate both the mean and best-fit values. Although the oscillatory tracker model contains a larger set of parameters than the usual LCDM model, the common set of parameters of both agree within $1\, \sigma$ error limits. Our observations using both high redshift and low redshift data supports Hubble parameter value $H_0 = 67.4$ Kms$^{-1}$Mpc$^{-1}$. We study the effect of the OTM on the CMB temperature and polarization power spectra, matter power spectrum and $f \sigma_8$. Our analysis of the CMB power spectrum and matter power spectrum suggests that the oscillatory tracker dark energy model has noticeable differences from usual LCDM predictions. Yet, in most cases, the agreement is very close.


title: Users' ability to perceive misinformation: An information quality assessment approach

abstract: Digital information exchange enables quick creation and sharing of information and thus changes existing habits. Social media is becoming the main source of news for end-users replacing traditional media. This also enables the proliferation of fake news, which misinforms readers and is used to serve the interests of the creators. As a result, automated fake news detection systems are attracting attention. However, automatic fake news detection presents a major challenge; content evaluation is increasingly becoming the responsibility of the end-user. Thus, in the present study we used information quality (IQ) as an instrument to investigate how users can detect fake news. Specifically, we examined how users perceive fake news in the form of shorter paragraphs on individual IQ dimensions. We also investigated which user characteristics might affect fake news detection. We performed an empirical study with 1123 users, who evaluated randomly generated stories with statements of various level of correctness by individual IQ dimensions. The results reveal that IQ can be used as a tool for fake news detection. Our findings show that (1) domain knowledge has a positive impact on fake news detection; (2) education in combination with domain knowledge improves fake news detection; and (3) personality trait conscientiousness contributes significantly to fake news detection in all dimensions.


title: On the convolutions of sums of multiple zeta(-star) values of height one

abstract: In this paper, we investigate the sums of mutliple zeta(-star) values of height one: $Z_{\pm}(n)=\sum_{a+b=n} (\pm 1)^b\zeta(\{1\}^a,b+2)$, $Z_{\pm}^{\star}(n)=\sum_{a+b=n} (\pm 1)^b\zeta^{\star}(\{1\}^a,b+2)$. In particular, we prove that the weighted sum $\sum_{\substack{0\leq m\leq p\\ m: {\rm even}}} \sum_{\mid\boldsymbol{\alpha}\mid=p+3} 2^{\alpha_{m+1}\ +1}\zeta(\alpha_0,\alpha_1,\ldots,\alpha_m,\alpha_{m+1}+1) $ can be evaluated through the convolution of $Z_{-}(m)$ and $Z_{+}(n)$ with $m+n=p$.


title: Enhanced Multigradient Dilution Preparation

abstract: Abstract: In our paper the new algorithm enhanced multi gradient Dilution Preparation (EMDP) is discussed. This new algorithm is reported with a lab on chip or digital Microfluidic biochip to operate multiple operation on a tiny chip. We can use Digital Microfluidic biochip to operate multiple operation on a tiny chip. Samples are very costly which are used in any Biochemical laboratory Protocols. For the case of fast and high throughput application, It is essential to minimize the cost of operations and the time of operations and that is why one of the most challenging and important phase is sample preparation. In our proposed algorithm, we have hide to reduce sample droplets and waste droplets and for this purpose waste recycling is used, when different series of multi gradient targets concentration factors (CFS) are generated. We have compared our proposed algorithm with recent dilution techniques such as MTC, REMIA, and WARA. For the storage of intermediate droplets which, and generated during this process, on chip storage space 0(n) is needed. Key words: Digital microfluidic Biochip, Drug discovery, sample preparation, Electro wetting.


title: Real-Time Risk-Bounded Tube-Based Trajectory Safety Verification

abstract: In this paper, we address the real-time risk-bounded safety verification problem of continuous-time state trajectories of autonomous systems in the presence of uncertain time-varying nonlinear safety constraints. Risk is defined as the probability of not satisfying the uncertain safety constraints. Existing approaches to address the safety verification problems under uncertainties either are limited to particular classes of uncertainties and safety constraints, e.g., Gaussian uncertainties and linear constraints, or rely on sampling based methods. In this paper, we provide a fast convex algorithm to efficiently evaluate the probabilistic nonlinear safety constraints in the presence of arbitrary probability distributions and long planning horizons in real-time, without the need for uncertainty samples and time discretization. The provided approach verifies the safety of the given state trajectory and its neighborhood (tube) to account for the execution uncertainties and risk. In the provided approach, we first use the moments of the probability distributions of the uncertainties to transform the probabilistic safety constraints into a set of deterministic safety constraints. We then use convex methods based on sum-of-squares polynomials to verify the obtained deterministic safety constraints over the entire planning time horizon without time discretization. To illustrate the performance of the proposed method, we apply the provided method to the safety verification problem of self-driving vehicles and autonomous aerial vehicles.


title: Removing Tadpoles in a Soliton Sector

abstract: It has long been known that perturbative calculations can be performed in a soliton sector of a quantum field theory by using a soliton Hamiltonian, which is constructed from the defining Hamiltonian by shifting the field by the classical soliton solution. It is also known that even if tadpoles are eliminated in the vacuum sector, they remain in the soliton sector. In this note we show, in the case of quantum kinks at two loops, that the soliton sector tadpoles may be removed by adding certain quantum corrections to the classical solution used in this construction. Stated differently, the renormalization condition that the soliton sector tadpoles vanish may be satisfied by renormalizing the soliton solution.


title: Collective Cell Movement in Cell-Scale Tension Gradient on Tissue Interface

abstract: In this paper, we examine the emergence of cell flow induced by a tension gradient on a tissue interface as in the case of the Marangoni flow on liquid interface. We consider the molecule density polarity of the heterophilic adhesion between tissues as the origin of the tension gradient. By applying the cellular Potts model, we demonstrate that polarization in concentration (i.e., intracellular localization) of heterophilic adhesion molecules can induce a cell flow similar to the Marangoni flow. In contrast to the ordinary Marangoni flow, this flow is oriented in the opposite direction to that of the tension gradient. The optimal range of adhesion strength is also identified for the existence of this flow.


title: Simulation-based Evaluation of a Synchronous Transaction Model for Time-Sensitive Software-Defined Networks

abstract: Real-time networks based on Ethernet require robust quality-of-service for time-critical traffic. The Time-Sensitive Networking (TSN) collection of standards enables this in real-time environments like vehicle on-board networks. Runtime reconfigurations in TSN must respect the deadlines of real-time traffic. Software-Defined Networking (SDN) moves the control plane of network devices to the SDN controller, making these networks programmable. This allows reconfigurations from a central point in the network. In this work, we present a transactional model for network reconfigurations that are synchronously executed in all network devices. We evaluate its performance in a case study against nontransactional reconfigurations and show that synchronous transactions enable consistency for reconfigurations in TSN without increased latencies for real-time frames.


title: Sums of divisors on arithmetic progressions

abstract: For each $s\in \mathbb R$ and $n\in \mathbb N$, let $\sigma_s(n) = \sum_{d\mid n}d^s$. In this article, we give a comparison between $\sigma_s(an+b)$ and $\sigma_s(cn+d)$ where $a$, $b$, $c$, $d$, $s$ are fixed, the vectors $(a,b)$ and $(c,d)$ are linearly independent over $\mathbb Q$, and $n$ runs over all positive integers. For example, if $|s|\leq 1$, $a, b, c, d\in \mathbb N$ are fixed and satisfy certain natural conditions, then $$ \sigma_s(an+b) < \sigma_s(cn+d)\quad\text{ for all $n\leq M$} $$ where $M$ may be arbitrarily large, but in fact $\sigma_s(an+b) - \sigma_s(cn+d)$ has infinitely many sign changes. The results are entirely different when $|s|>1$, where the following three cases may occur: \begin{itemize} \item[(i)] $\sigma_s(an+b) < \sigma_s(cn+d)$ for all $n\in \mathbb N$; \item[(ii)] $\sigma_s(an+b) < \sigma_s(cn+d)$ for all $n\leq M$ and $\sigma_s(an+b) > \sigma_s(cn+d)$ for all $n\geq M+1$; \item[(iii)] $\sigma_s(an+b) - \sigma_s(cn+d)$ has infinitely many sign changes. \end{itemize} We also give several examples and propose some problems.


title: Improving Object Permanence using Agent Actions and Reasoning

abstract: Object permanence in psychology means knowing that objects still exist even if they are no longer visible. It is a crucial concept for robots to operate autonomously in uncontrolled environments. Existing approaches learn object permanence from low-level perception, but perform poorly on more complex scenarios, like when objects are contained and carried by others. Knowledge about manipulation actions performed on an object prior to its disappearance allows us to reason about its location, e.g., that the object has been placed in a carrier. In this paper we argue that object permanence can be improved when the robot uses knowledge about executed actions and describe an approach to infer hidden object states from agent actions. We show that considering agent actions not only improves rule-based reasoning models but also purely neural approaches, showing its general applicability. Then, we conduct quantitative experiments on a snitch localization task using a dataset of 1,371 synthesized videos, where we compare the performance of different object permanence models with and without action annotations. We demonstrate that models with action annotations can significantly increase performance of both neural and rule-based approaches. Finally, we evaluate the usability of our approach in real-world applications by conducting qualitative experiments with two Universal Robots (UR5 and UR16e) in both lab and industrial settings. The robots complete benchmark tasks for a gearbox assembly and demonstrate the object permanence capabilities with real sensor data in an industrial environment.


title: Substructural fixed-point theorems and the diagonal argument: theme and variations

abstract: This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the diagonal argument can be stripped back further, to a semantic analogue of a weak substructural logic lacking weakening or exchange.


title: Gate-induced half-metals in Bernal stacked graphene multilayer

abstract: Recent experiments indicate that the Bernal stacked graphene multilayer (BGM) have an interaction induced gapped (or pseudo gapped) ground state. Here, we propose that, due to the electron correlation, the BGM can be induced into a half metallic phase by applying a vertical electric field and doping. The half metallic states in even-layer and odd-layer BGMs have totally different behaviors, due to their different band structures. We systematically calculate the graphene tetralayer (4L-BGM) and trilayer (3L-BGM) as the typical examples of the even-layer and odd-layer BGMs, respectively. In 4L-BGM, we find an interesting phenomenon of electric field induced inversion of the spin-polarized bands. Namely, in the half metallic phase, the spin polarization of the conducting channel and the net magnetic moment are inversed when the applied electric field exceeds a critical value. In 3L-BGM, a remarkable feature is that the inequivalence of the the two sublattices will intrinsically break the degeneracy of the the spin-up and spin-down bands even in the zero electric field case. Our results suggest that 4L-BGM should be an ideal platform to detect the proposed half metallic phase in BGM systems.