title: Toward precision Fermi liquid theory in two dimensions

abstract: The ultra-cold and weakly-coupled Fermi gas in two spatial dimensions is studied in an effective field theory framework. It has long been observed that universal corrections to the energy density to two orders in the interaction strength do not agree with Monte Carlo simulations in the weak-coupling regime. Here, universal corrections to three orders in the interaction strength are obtained for the first time, and are shown to provide agreement between theory and simulation. Special consideration is given to the scale ambiguity associated with the non-trivial renormalization of the singular contact interactions. The isotropic superfluid gap is obtained to next-to-leading order, and nonuniversal contributions to the energy density due to effective range effects, p-wave interactions and three-body forces are computed. Results are compared with precise Monte Carlo simulations of the energy density and the contact in the weakly-coupled attractive and repulsive Fermi liquid regimes. In addition, the known all-orders sum of ladder and ring diagrams is compared with Monte Carlo simulations at weak coupling and beyond.


title: State-Regularized Recurrent Neural Networks to Extract Automata and Explain Predictions

abstract: Recurrent neural networks are a widely used class of neural architectures. They have, however, two shortcomings. First, they are often treated as black-box models and as such it is difficult to understand what exactly they learn as well as how they arrive at a particular prediction. Second, they tend to work poorly on sequences requiring long-term memorization, despite having this capacity in principle. We aim to address both shortcomings with a class of recurrent networks that use a stochastic state transition mechanism between cell applications. This mechanism, which we term state-regularization, makes RNNs transition between a finite set of learnable states. We evaluate state-regularized RNNs on (1) regular languages for the purpose of automata extraction; (2) non-regular languages such as balanced parentheses and palindromes where external memory is required; and (3) real-word sequence learning tasks for sentiment analysis, visual object recognition and text categorisation. We show that state-regularization (a) simplifies the extraction of finite state automata that display an RNN's state transition dynamic; (b) forces RNNs to operate more like automata with external memory and less like finite state machines, which potentiality leads to a more structural memory; (c) leads to better interpretability and explainability of RNNs by leveraging the probabilistic finite state transition mechanism over time steps.


title: The problem of the relationship qualitative data, quantitative data in general statistics

abstract: The disjunction between nature and science is studied, together with the need to modify the conception of natural science vs artificial science, related to the perspective of objectivity and subjectivity, to end with the explanation of the process of polarization of methodologies and the relationship between mixed data, as a possibility of unification of qualitative and quantitative data, through relationships and correlations.


title: Dynamic Population Models with Temporal Preferential Sampling to Infer Phenology

abstract: To study population dynamics, ecologists and wildlife biologists use relative abundance data, which are often subject to temporal preferential sampling. Temporal preferential sampling occurs when sampling effort varies across time. To account for preferential sampling, we specify a Bayesian hierarchical abundance model that considers the dependence between observation times and the ecological process of interest. The proposed model improves abundance estimates during periods of infrequent observation and accounts for temporal preferential sampling in discrete time. Additionally, our model facilitates posterior inference for population growth rates and mechanistic phenometrics. We apply our model to analyze both simulated data and mosquito count data collected by the National Ecological Observatory Network. In the second case study, we characterize the population growth rate and abundance of several mosquito species in the Aedes genus.


title: Exploiting the Power of Human-Robot Collaboration: Coupling and Scale Effects in Bricklaying

abstract: As an important contributor to GDP growth, the construction industry is suffering from labor shortage due to population ageing, COVID-19 pandemic, and harsh environments. Considering the complexity and dynamics of construction environment, it is still challenging to develop fully automated robots. For a long time in the future, workers and robots will coexist and collaborate with each other to build or maintain a facility efficiently. As an emerging field, human-robot collaboration (HRC) still faces various open problems. To this end, this pioneer research introduces an agent-based modeling approach to investigate the coupling effect and scale effect of HRC in the bricklaying process. With multiple experiments based on simulation, the dynamic and complex nature of HRC is illustrated in two folds: 1) agents in HRC are interdependent due to human factors of workers, features of robots, and their collaboration behaviors; 2) different parameters of HRC are correlated and have significant impacts on construction productivity (CP). Accidentally and interestingly, it is discovered that HRC has a scale effect on CP, which means increasing the number of collaborated human-robot teams will lead to higher CP even if the human-robot ratio keeps unchanged. Overall, it is argued that more investigations in HRC are needed for efficient construction, occupational safety, etc.; and this research can be taken as a stepstone for developing and evaluating new robots, optimizing HRC processes, and even training future industrial workers in the construction industry.


title: Across-Layer Sliding Ferroelectricity in Graphene-Based Heterolayers: Asymmetry of Next Neighbor Interlayer Couplings

abstract: Although most two-dimensional (2D) materials are non-ferroelectric with highly symmetric lattices, symmetry breaking may take place in their bilayers upon certain stacking order, giving rise to so-called sliding ferroelectricity where the vertical polarizations can be electrically reversed via interlayer translation. However, it is not supposed to appear in systems like graphene bilayer with centro-symmetry at any stacking configuration, and the origin of the recently reported ferroelectricity in graphene bilayer intercalated between h-BN (Nature 2020, 588, 71) is still unclear. Here we propose a model of across-layer sliding ferroelectricity that arises from the asymmetry of next neighbor interlayer couplings. The vertical polarizations in intercalated centro-symmetric 2D materials like graphene bilayer can be switched via multilayer sliding, and the observed ferroelectric hysteresis can be clarified. Moreover, such ferroelectricity can exist in a series of other heterolayers with quasi-degenerate polar states, like graphene bilayer or trilayer on BN substrate, or even with a molecule layer on surface where each molecule can store 1 bit data independently, resolving the bottleneck issue of sliding ferroelectricity for high-density data storage.


title: Adaptive analysis-aware defeaturing

abstract: Removing geometrical details from a complex domain is a classical operation in computer aided design for simulation and manufacturing. This procedure simplifies the meshing process, and it enables faster simulations with less memory requirements. But depending on the partial differential equation that one wants to solve, removing some important geometrical features may greatly impact the solution accuracy. For instance, in solid mechanics simulations, such features can be holes or fillets near stress concentration regions. Unfortunately, the effect of geometrical simplification on the accuracy of the problem solution is often neglected, or its evaluation is based on engineering expertise only due to the lack of reliable tools. It is therefore important to have a better understanding of the effect of geometrical model simplification, also called defeaturing, to improve our control on the simulation accuracy along the design and analysis phase. In this work, we consider the Poisson equation as a model problem, we focus on isogeometric discretizations, and we build an adaptive strategy that is twofold. Firstly, it performs standard mesh refinement in a (potentially trimmed multipatch) defeatured geometry described via truncated hierarchical B-splines. Secondly, it is also able to perform geometrical refinement, that is, to choose at each iteration step which geometrical feature is important to obtain an accurate solution. To drive this adaptive strategy, we introduce an a posteriori estimator of the energy error between the exact solution defined in the exact fully-featured geometry, and the numerical approximation of the solution defined in the defeatured geometry. The reliability of the estimator is proven for very general geometric configurations, and numerical experiments are performed to validate the presented theory and to illustrate the capabilities of the proposed adaptive strategy.


title: Information retrieval in single cell chromatin analysis using TF-IDF transformation methods

abstract: Single-cell sequencing assay for transposase-accessible chromatin (scATAC-seq) assesses genome-wide chromatin accessibility in thousands of cells to reveal regulatory landscapes in high resolutions. However, the analysis presents challenges due to the high dimensionality and sparsity of the data. Several methods have been developed, including transformation techniques of term-frequency inverse-document frequency (TF-IDF), dimension reduction methods such as singular value decomposition (SVD), factor analysis, and autoencoders. Yet, a comprehensive study on the mentioned methods has not been fully performed. It is not clear what is the best practice when analyzing scATAC-seq data. We compared several scenarios for transformation and dimension reduction as well as the SVD-based feature analysis to investigate potential enhancements in scATAC-seq information retrieval. Additionally, we investigate if autoencoders benefit from the TF-IDF transformation. Our results reveal that the TF-IDF transformation generally leads to improved clustering and biologically relevant feature extraction.


title: Lebesgue measure zero modulo ideals on the natural numbers

abstract: We propose a reformulation of the ideal $\mathcal{N}$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $\omega$, which we denote by $\mathcal{N}_J$. In the same way, we reformulate the ideal $\mathcal{E}$ generated by $F_\sigma$ measure zero sets of reals modulo $J$, which we denote by $\mathcal{N}^*_J$. We show that these are $\sigma$-ideals and that $\mathcal{N}_J=\mathcal{N}$ iff $J$ has the Baire property, which in turn is equivalent to $\mathcal{N}^*_J=\mathcal{E}$. Moreover, we prove that $\mathcal{N}_J$ does not contain co-meager sets and $\mathcal{N}^*_J$ contains non-meager sets when $J$ does not have the Baire property. We also prove a deep connection between these ideals modulo $J$ and the notion of nearly coherence of filters (or ideals). We also study the cardinal characteristics associated with $\mathcal{N}_J$ and $\mathcal{N}^*_J$. We show their position with respect to Cicho\'n's diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of $\mathrm{add}(\mathcal{N})$ and $\mathrm{cof}(\mathcal{N})$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals.


title: Dissecting Superradiant Phase Transition in the Quantum Rabi Model

abstract: The phase transition is both thermodynamically and quantum-mechanically ubiquitous in nature or laboratory and its understanding is still one of most active issues in modern physics and related disciplines. The Landau's theory provides a general framework to describe \textit{phenomenologically} the phase transition by the introduction of order parameters and the associated symmetry breakings; and is also taken as starting point to explore the critical phenomena in connection with phase transitions in renormalization group, which provides a complete theoretical description of the behavior close to the critical points. In this sense the microscopic mechanism of the phase transition remains still to be uncovered. Here we make a first attempt to explore the microscopic mechanism of the superradiant phase transition in the quantum Rabi model (QRM). We firstly perform a diagonalization in an operator space to obtain three fundamental patterns involved in the QRM and then analyze explicitly their energy evolutions with increasing coupling strengths. The characteristic behaviors found uncover the microscipic mechanism of the superradiant phase transition: one is active to drive the happening of phase transition, the second responses rapidly to the change of the active pattern and wakes up the third pattern to stablize the new phase. This kind of dissecting mechanism explains for the first time why and how happens the superradiant phase transition in the QRM and paves a way to explore the microscopic mechanism of the phase transitions happening popularly in nature.


title: Invasion and Interaction Determine Population Composition in an Open Evolving System

abstract: It is well-known that interactions between species determine the population composition in an ecosystem. Conventional studies have focused on fixed population structures to reveal how interactions shape population compositions. However, interaction structures are not fixed, but change over time due to invasions. Thus, invasion and interaction play an important role in shaping communities. Despite its importance, however, the interplay between invasion and interaction has not been well explored. Here, we investigate how invasion affects the population composition with interactions in open evolving systems considering generalized Lotka-Volterra-type dynamics. Our results show that the system has two distinct regimes. One is characterized by low diversity with abrupt changes of dominant species in time, appearing when the interaction between species is strong and invasion slowly occurs. On the other hand, frequent invasions can induce higher diversity with slow changes in abundances despite strong interactions. It is because invasion happens before the system reaches its equilibrium, which drags the system from its equilibrium all the time. All species have similar abundances in this regime, which implies that fast invasion induces regime shift. Therefore, whether invasion or interaction dominates determines the population composition.


title: Residue field domination in some henselian valued fields

abstract: We generalize previous results about stable domination and residue field domination to henselian valued fields of equicharacteristic 0 with bounded Galois group, and we provide an alternate characterization of stable domination in algebraically closed valued fields for types over parameters in the field sort.


title: Expanding Knowledge Graphs with Humans in the Loop

abstract: Curated knowledge graphs encode domain expertise and improve the performance of recommendation, segmentation, ad targeting, and other machine learning systems in several domains. As new concepts emerge in a domain, knowledge graphs must be expanded to preserve machine learning performance. Manually expanding knowledge graphs, however, is infeasible at scale. In this work, we propose a method for knowledge graph expansion with humans-in-the-loop. Concretely, given a knowledge graph, our method predicts the "parents" of new concepts to be added to this graph for further verification by human experts. We show that our method is both accurate and provably "human-friendly". Specifically, we prove that our method predicts parents that are "near" concepts' true parents in the knowledge graph, even when the predictions are incorrect. We then show, with a controlled experiment, that satisfying this property increases both the speed and the accuracy of the human-algorithm collaboration. We further evaluate our method on a knowledge graph from Pinterest and show that it outperforms competing methods on both accuracy and human-friendliness. Upon deployment in production at Pinterest, our method reduced the time needed for knowledge graph expansion by ~400% (compared to manual expansion), and contributed to a subsequent increase in ad revenue of 20%.


title: Neural Bandits for Data Mining: Searching for Dangerous Polypharmacy

abstract: Polypharmacy, most often defined as the simultaneous consumption of five or more drugs at once, is a prevalent phenomenon in the older population. Some of these polypharmacies, deemed inappropriate, may be associated with adverse health outcomes such as death or hospitalization. Considering the combinatorial nature of the problem as well as the size of claims database and the cost to compute an exact association measure for a given drug combination, it is impossible to investigate every possible combination of drugs. Therefore, we propose to optimize the search for potentially inappropriate polypharmacies (PIPs). To this end, we propose the OptimNeuralTS strategy, based on Neural Thompson Sampling and differential evolution, to efficiently mine claims datasets and build a predictive model of the association between drug combinations and health outcomes. We benchmark our method using two datasets generated by an internally developed simulator of polypharmacy data containing 500 drugs and 100 000 distinct combinations. Empirically, our method can detect up to 72% of PIPs while maintaining an average precision score of 99% using 30 000 time steps.


title: SMILE: Scaling Mixture-of-Experts with Efficient Bi-level Routing

abstract: The mixture of Expert (MoE) parallelism is a recent advancement that scales up the model size with constant computational cost. MoE selects different sets of parameters (i.e., experts) for each incoming token, resulting in a sparsely-activated model. Despite several successful applications of MoE, its training efficiency degrades significantly as the number of experts increases. The routing stage in MoE relies on the efficiency of the All2All communication collective, which suffers from network congestion and has poor scalability. To mitigate these issues, we introduce SMILE, which exploits heterogeneous network bandwidth and splits a single-step routing into bi-level routing. Our experimental results show that the proposed method obtains a 2.5x speedup over Switch Transformer in terms of pretraining throughput on the Colossal Clean Crawled Corpus without losing any convergence speed.


title: Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto

abstract: The concept of walkable urban development has gained increased attention due to its public health, economic, and environmental sustainability benefits. Unfortunately, land zoning and historic under-investment have resulted in spatial inequality in walkability and social inequality among residents. We tackle the problem of Walkability Optimization through the lens of combinatorial optimization. The task is to select locations in which additional amenities (e.g., grocery stores, schools, restaurants) can be allocated to improve resident access via walking while taking into account existing amenities and providing multiple options (e.g., for restaurants). To this end, we derive Mixed-Integer Linear Programming (MILP) and Constraint Programming (CP) models. Moreover, we show that the problem's objective function is submodular in special cases, which motivates an efficient greedy heuristic. We conduct a case study on 31 underserved neighborhoods in the City of Toronto, Canada. MILP finds the best solutions in most scenarios but does not scale well with network size. The greedy algorithm scales well and finds near-optimal solutions. Our empirical evaluation shows that neighbourhoods with low walkability have a great potential for transformation into pedestrian-friendly neighbourhoods by strategically placing new amenities. Allocating 3 additional grocery stores, schools, and restaurants can improve the "WalkScore" by more than 50 points (on a scale of 100) for 4 neighbourhoods and reduce the walking distances to amenities for 75% of all residential locations to 10 minutes for all amenity types. Our code and paper appendix are available at https://github.com/khalil-research/walkability.


title: Individual pulse emission from the diffuse drifter PSR J1401$-$6357 using the ultrawideband receiver on the Parkes radio telescope

abstract: In this study, we report on a detailed single pulse analysis of the radio emission from the pulsar J1401$-$6357 (B1358$-$63) based on data observed with the ultrawideband low-frequency receiver on the Parkes radio telescope. In addition to a weak leading component, the integrated pulse profile features a single-humped structure with a slight asymmetry. The frequency evolution of the pulse profile is studied. Well-defined nulls, with an estimated nulling fraction greater than 2\%, are present across the whole frequency band. No emission is detected with significance above 3$\sigma$ in the average pulse profile integrated over all null pulses. Using fluctuation spectral analysis, we reveal the existence of temporal-dependent subpulse drifting in this pulsar for the first time. A clear double-peaked feature is present at exactly the alias border across the whole frequency band, which suggests that the apparent drift sense changes during the observation. Our observations provide further confirmation that the phenomena of pulse nulling and subpulse drifting are independent of observing frequency, which suggest that they invoke changes on the global magnetospheric scale.


title: Artificial Text Detection with Multiple Training Strategies

abstract: As the deep learning rapidly promote, the artificial texts created by generative models are commonly used in news and social media. However, such models can be abused to generate product reviews, fake news, and even fake political content. The paper proposes a solution for the Russian Artificial Text Detection in the Dialogue shared task 2022 (RuATD 2022) to distinguish which model within the list is used to generate this text. We introduce the DeBERTa pre-trained language model with multiple training strategies for this shared task. Extensive experiments conducted on the RuATD dataset validate the effectiveness of our proposed method. Moreover, our submission ranked second place in the evaluation phase for RuATD 2022 (Multi-Class).


title: Uniform Masking Prevails in Vision-Language Pretraining

abstract: Masked Language Modeling (MLM) has proven to be an essential component of Vision-Language (VL) pretraining. To implement MLM, the researcher must make two design choices: the masking strategy, which determines which tokens to mask, and the masking rate, which determines how many tokens to mask. Previous work has focused primarily on the masking strategy while setting the masking rate at a default of 15\%. In this paper, we show that increasing this masking rate improves downstream performance while simultaneously reducing performance gap among different masking strategies, rendering the uniform masking strategy competitive to other more complex ones. Surprisingly, we also discover that increasing the masking rate leads to gains in Image-Text Matching (ITM) tasks, suggesting that the role of MLM goes beyond language modeling in VL pretraining.


title: on lagrangian-grassmannian variety

abstract: In this paper it is shown that Family of Linear Relations of Contraction ($FRLC$) are the only ones, up to linear combination, that vanish the Lagrangian-Grassmannian. It is shown that the Pl\"ucker matrix of the Lagrangian-Grassmannian is a direct sum of incidence matrix, regular and sparce with entries in the set { 0, 1}.


title: Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers

abstract: GossipSub is a new peer-to-peer communication protocol designed to counter attacks from misbehaving peers by controlling what information is sent and to whom, via a score function computed by each peer that captures positive and negative behaviors of its neighbors. The score function depends on several parameters (weights, caps, thresholds) that can be configured by applications using GossipSub. The specification for GossipSub is written in English and its resilience to attacks from misbehaving peers is supported empirically by emulation testing using an implementation in Golang. In this work we take a foundational approach to understanding the resilience of GossipSub to attacks from misbehaving peers. We build the first formal model of GossipSub, using the ACL2s theorem prover. Our model is officially endorsed by the GossipSub developers. It can simulate GossipSub networks of arbitrary size and topology, with arbitrarily configured peers, and can be used to prove and disprove theorems about the protocol. We formalize fundamental security properties stating that the score function is fair, penalizes bad behavior, and rewards good behavior. We prove that the score function is always fair, but can be configured in ways that either penalize good behavior or ignore bad behavior. Using our model, we run GossipSub with the specific configurations for two popular real-world applications: the FileCoin and Eth2.0 blockchains. We show that all properties hold for FileCoin. However, given any Eth2.0 network (of any topology and size) with any number of potentially misbehaving peers, we can synthesize attacks where these peers are able to continuously misbehave by never forwarding topic messages, while maintaining positive scores so that they are never pruned from the network by GossipSub.


title: The IGRINS YSO Survey III: Stellar parameters of pre-main sequence stars in Ophiuchus and Upper Scorpius

abstract: We used the Immersion GRating Infrared Spectrometer (IGRINS) to determine fundamental parameters for 61 K- and M-type young stellar objects (YSOs) located in the Ophiuchus and Upper Scorpius star-forming regions. We employed synthetic spectra and a Markov chain Monte Carlo approach to fit specific K-band spectral regions and determine the photospheric temperature ($T_{\rm eff}$), surface gravity ($\log$ g), magnetic field strength (B), projected rotational velocity ($v \sin i$), and K-band veiling ($r_{\rm K}$). We determined B for $\sim$46% of our sample. Stellar parameters were compared to the results from Taurus-Auriga and the TW Hydrae Association (TWA) presented in Paper I of this series. We classified all the YSOs in the IGRINS survey with infrared spectral indices from 2MASS and WISE photometry between 2 and 24~$\mu$m. We found that Class II YSOs typically have lower $\log$ g and $v\sin i$, similar B, and higher K-band veiling than their Class III counterparts. Additionally, we determined the stellar parameters for a sample of K and M field stars also observed with IGRINS. We have identified intrinsic similarities and differences at different evolutionary stages with our homogeneous determination of stellar parameters in the IGRINS YSO Survey. Considering $\log$ g as a proxy for age, we found that the Ophiuchus and Taurus samples have a similar age. We also find that Upper Scorpius and TWA YSOs have similar ages, and are more evolved than Ophiuchus/Taurus YSOs.


title: MAGVIT: Masked Generative Video Transformer

abstract: We introduce the MAsked Generative VIdeo Transformer, MAGVIT, to tackle various video synthesis tasks with a single model. We introduce a 3D tokenizer to quantize a video into spatial-temporal visual tokens and propose an embedding method for masked video token modeling to facilitate multi-task learning. We conduct extensive experiments to demonstrate the quality, efficiency, and flexibility of MAGVIT. Our experiments show that (i) MAGVIT performs favorably against state-of-the-art approaches and establishes the best-published FVD on three video generation benchmarks, including the challenging Kinetics-600. (ii) MAGVIT outperforms existing methods in inference time by two orders of magnitude against diffusion models and by 60x against autoregressive models. (iii) A single MAGVIT model supports ten diverse generation tasks and generalizes across videos from different visual domains. The source code and trained models will be released to the public at https://magvit.cs.cmu.edu.


title: Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks

abstract: In this paper, we propose a control synthesis method for signal temporal logic (STL) specifications with neural networks (NNs). Most of the previous works consider training a controller for only a given STL specification. These approaches, however, require retraining the NN controller if a new specification arises and needs to be satisfied, which results in large consumption of memory and inefficient training. To tackle this problem, we propose to construct NN controllers by introducing encoder-decoder structured NNs with an attention mechanism. The encoder takes an STL formula as input and encodes it into an appropriate vector, and the decoder outputs control signals that will meet the given specification. As the encoder, we consider three NN structures: sequential, tree-structured, and graph-structured NNs. All the model parameters are trained in an end-to-end manner to maximize the expected robustness that is known to be a quantitative semantics of STL formulae. We compare the control performances attained by the above NN structures through a numerical experiment of the path planning problem, showing the efficacy of the proposed approach.


title: You Are What You Eat: A Preference-Aware Inverse Optimization Approach

abstract: A key challenge in the emerging field of precision nutrition entails providing diet recommendations that reflect both the (often unknown) dietary preferences of different patient groups and known dietary constraints specified by human experts. Motivated by this challenge, we develop a preference-aware constrained-inference approach in which the objective function of an optimization problem is not pre-specified and can differ across various segments. Among existing methods, clustering models from machine learning are not naturally suited for recovering the constrained optimization problems, whereas constrained inference models such as inverse optimization do not explicitly address non-homogeneity in given datasets. By harnessing the strengths of both clustering and inverse optimization techniques, we develop a novel approach that recovers the utility functions of a constrained optimization process across clusters while providing optimal diet recommendations as cluster representatives. Using a dataset of patients' daily food intakes, we show how our approach generalizes stand-alone clustering and inverse optimization approaches in terms of adherence to dietary guidelines and partitioning observations, respectively. The approach makes diet recommendations by incorporating both patient preferences and expert recommendations for healthier diets, leading to structural improvements in both patient partitioning and nutritional recommendations for each cluster. An appealing feature of our method is its ability to consider infeasible but informative observations for a given set of dietary constraints. The resulting recommendations correspond to a broader range of dietary options, even when they limit unhealthy choices.


title: Neural Underpinnings of Decoupled Ethical Behavior in Adolescents as an Interaction of Peer and Personal Values

abstract: In the present study, we are trying to understand how peer unethical behavior stimulates the decoupling of emotions in adolescents. We have simulated an interactive game-based environment in order to stimulate participants to make decisions that are found to be correlated with their virtual partner decisions. The responses given by participants were also recorded as neural signals using an EEG to study neurophysiological correlates of different decision-making behavioral patterns. There was an active correlation between personality values and decision-making. Preliminary analysis was focused on studying the differences in lower brain frequencies (0.1-4Hz) when the participants developed frustration, in contrast to when they experienced gratitude. The study presents three case studies in which delta frequencies increased in cases when frustration was experienced and decreased when gratitude was experienced. The study focused on understanding the neural underpinnings of corresponding modified behavior in adolescents. The findings highlight an increase in delta frequencies when apparent frustration was developed in adolescents due to their peer unethical behavior. The delta frequencies lowered when participants were tested for ethical behavior. The results concluded that based on personality value types, adolescents tend to develop frustration toward perceived unethical behavior and carry it over to other unrelated peers. This study is highly explorative in nature, with preliminary analysis using only three case studies, having a small sample size. However, the novelty of this study brings about new dimensions to social cognition and personality studies.


title: Efficiency Matters: Speeding Up Automated Testing with GUI Rendering Inference

abstract: Due to the importance of Android app quality assurance, many automated GUI testing tools have been developed. Although the test algorithms have been improved, the impact of GUI rendering has been overlooked. On the one hand, setting a long waiting time to execute events on fully rendered GUIs slows down the testing process. On the other hand, setting a short waiting time will cause the events to execute on partially rendered GUIs, which negatively affects the testing effectiveness. An optimal waiting time should strike a balance between effectiveness and efficiency. We propose AdaT, a lightweight image-based approach to dynamically adjust the inter-event time based on GUI rendering state. Given the real-time streaming on the GUI, AdaT presents a deep learning model to infer the rendering state, and synchronizes with the testing tool to schedule the next event when the GUI is fully rendered. The evaluations demonstrate the accuracy, efficiency, and effectiveness of our approach. We also integrate our approach with the existing automated testing tool to demonstrate the usefulness of AdaT in covering more activities and executing more events on fully rendered GUIs.


title: Parallel Exploration of Directed Acyclic Graphs using the Actor Model

abstract: In this paper we describe a generic scheme for the parallel exploration of directed acyclic graphs starting from one or more `roots' of the graph. Our scheme is designed for graphs with the following properties, (i) discovering neighbors at any node requires a non-trivial amount of computation, it is not a simple lookup; (ii) once a node is processed, all its neighbors are discovered; (iii) each node can be discovered through multiple paths, but should only be processed once. Several computational problems can be reduced to traversing such graphs, where the goal is to explore the graph and build a traversal roadmap. As a proof of concept for the effectiveness of our scheme at achieving speedup due to parallelism, we implement the scheme for the parallel exploration of assembly landscape using the EASAL methodology.


title: Tunable energy-level inversion in spin-orbit-coupled Bose-Einstein condensates

abstract: A method to realize controllable inversion of energy levels in a one-dimensional spin-orbit (SO)-coupled two-component Bose-Einstein condensate under the action of a gradient magnetic field and harmonic-oscillator (HO) trapping potential is proposed. The linear version of the system is solved exactly. By adjusting the SO coupling strength and magnetic-field gradient, the energy-level inversion makes it possible to transform any excited state into the ground state. The full nonlinear system is solved numerically, and it is found that the results are consistent with the linear prediction in the case of the repulsive inter-component interaction. On the other hand, the inter-component attraction gives rise to states of superposition and edge types. Similar results are also reported for the system with the HO trap replaced by the box potential. These results suggest a possibility to realize any excited state and observe it in the experiment.


title: Thinking Fast and Slow in Large Language Models

abstract: Large language models (LLMs) are currently at the forefront of intertwining AI systems with human communication and everyday life. Therefore, it is of great importance to evaluate their emerging abilities. In this study, we show that LLMs like GPT-3 exhibit behavior that strikingly resembles human-like intuition - and the cognitive errors that come with it. However, LLMs with higher cognitive capabilities, in particular ChatGPT and GPT-4, learned to avoid succumbing to these errors and perform in a hyperrational manner. For our experiments, we probe LLMs with the Cognitive Reflection Test (CRT) as well as semantic illusions that were originally designed to investigate intuitive decision-making in humans. Our study demonstrates that investigating LLMs with methods from psychology has the potential to reveal otherwise unknown emergent traits.


title: Orthogonal realizations of random sign patterns and other applications of the SIPP

abstract: A sign pattern is an array with entries in $\{+,-,0\}$. A matrix $Q$ is row orthogonal if $QQ^T = I$. The Strong Inner Product Property (SIPP), introduced in [B.A.~Curtis and B.L.~Shader, Sign patterns of orthogonal matrices and the strong inner product property, Linear Algebra Appl. 592: 228--259, 2020], is an important tool when determining whether a sign pattern allows row orthogonality because it guarantees there is a nearby matrix with the same property, allowing zero entries to be perturbed to nonzero entries, while preserving the sign of every nonzero entry. This paper uses the SIPP to initiate the study of conditions under which random sign patterns allow row orthogonality with high probability. Building on prior work, $5\times n$ nowhere zero sign patterns that minimally allow orthogonality are determined. Conditions on zero entries in a sign pattern are established that guarantee any row orthogonal matrix with such a sign pattern has the SIPP.


title: Lookahead Pathology in Monte-Carlo Tree Search

abstract: Monte-Carlo Tree Search (MCTS) is a search paradigm that first found prominence with its success in the domain of computer Go. Early theoretical work established the soundness and convergence bounds for Upper Confidence bounds applied to Trees (UCT), the most popular instantiation of MCTS; however, there remain notable gaps in our understanding of how UCT behaves in practice. In this work, we address one such gap by considering the question of whether UCT can exhibit lookahead pathology in adversarial settings -- a paradoxical phenomenon first observed in Minimax search where greater search effort leads to worse decision-making. We introduce a novel family of synthetic games that offer rich modeling possibilities while remaining amenable to mathematical analysis. Our theoretical and experimental results suggest that UCT is indeed susceptible to pathological behavior in a range of games drawn from this family.


title: A low-cost, parameter-free, and pressure-robust enriched Galerkin method for the Stokes equations

abstract: In this paper, we propose a low-cost, parameter-free, and pressure-robust Stokes solver based on the enriched Galerkin (EG) method with a discontinuous velocity enrichment function. The EG method employs the interior penalty discontinuous Galerkin (IPDG) formulation to weakly impose the continuity of the velocity function. However, the symmetric IPDG formulation, despite of its advantage of symmetry, requires a lot of computational effort to choose an optimal penalty parameter and to compute different trace terms. In order to reduce such effort, we replace the derivatives of the velocity function with its weak derivatives computed by the geometric data of elements. Therefore, our modified EG (mEG) method is a parameter-free numerical scheme which has reduced computational complexity as well as optimal rates of convergence. Moreover, we achieve pressure-robustness for the mEG method by employing a velocity reconstruction operator on the load vector on the right-hand side of the discrete system. The theoretical results are confirmed through numerical experiments with two- and three-dimensional examples.


title: Double Dirac cones in band structures of periodic Schr\"odinger operators

abstract: Dirac cones are conical singularities that occur near the degenerate points in band structures. Such singularities result in enormous unusual phenomena of the corresponding physical systems. This work investigates double Dirac cones that occur in the vicinity of a fourfold degenerate point in the band structures of certain operators. It is known that such degeneracy originates in the symmetries of the Hamiltonian. We use two dimensional periodic Schr\"odinger operators with novel designed symmetries as our prototype. First, we characterize admissible potentials, termed as super honeycomb lattice potentials. They are honeycomb lattices potentials with a key additional translation symmetry. It is rigorously justified that Schr\"odinger operators with such potentials almost guarantee the existence of double Dirac cones on the bands at the {\Gamma} point, the origin of the Brillouin zone. We further show that the additional translation symmetry is an indispensable ingredient by a perturbation analysis. Indeed, the double cones disappear if the additional translation symmetry is broken. Many numerical simulations are provided, which agree well with our analysis.


title: OpenD: A Benchmark for Language-Driven Door and Drawer Opening

abstract: We introduce OPEND, a benchmark for learning how to use a hand to open cabinet doors or drawers in a photo-realistic and physics-reliable simulation environment driven by language instruction. To solve the task, we propose a multi-step planner composed of a deep neural network and rule-base controllers. The network is utilized to capture spatial relationships from images and understand semantic meaning from language instructions. Controllers efficiently execute the plan based on the spatial and semantic understanding. We evaluate our system by measuring its zero-shot performance in test data set. Experimental results demonstrate the effectiveness of decision planning by our multi-step planner for different hands, while suggesting that there is significant room for developing better models to address the challenge brought by language understanding, spatial reasoning, and long-term manipulation. We will release OPEND and host challenges to promote future research in this area.


title: Gagliardo-Nirenberg type inequalities using fractional Sobolev spaces and Besov spaces

abstract: Our main purpose is to establish Gagliardo-Nirenberg type inequalities using fractional homogeneous Sobolev spaces, and homogeneous Besov spaces. In particular, we extend some of the results obtained by the authors in [1, 2, 3, 7, 16, 21].


title: Fusing machine learning strategy with density functional theory to hasten the discovery of MXenes for hydrogen generation

abstract: The complexity of the topological and combinatorial configuration space of MXenes can give rise to gigantic design challenges that cannot be addressed through traditional experimental or routine theoretical approaches. To this end, we establish a robust and more broadly applicable multistep workflow from the toolbox of supervised machine learning (ML) algorithms for predicting the hydrogen evolution reaction (HER) activity over 4,500 MM$^{\prime}$XT$_2$-type MXenes, where 25\% of the material space (1125 systems) is randomly selected to evaluate the HER performance using density functional theory (DFT) calculations. As the most desirable ML model, the random forest regression method with recursive feature elimination and hyperparameter optimization accurately and rapidly predicts the Gibbs free energy of hydrogen adsorption ($\Delta$G$_{H}$) with a low predictive mean absolute error of 0.374 eV. Based on these observations, the H-atom adsorbed directly on top of the outermost metal atomic layer of the MM$^{\prime}$XT$_2$-type MXenes (site-2) with Nb, V, Mo, Cr and Ti metals composed of carbon based O-functionalization are discovered to be highly stable and active catalysts, surpassing that of commercially available platinum based counterparts. Overall, the physically meaningful predictions and insights of the developed ML/DFT-based multistep workflow will open new avenues for accelerated screening, rational design and discovery of potential HER catalysts.


title: Throughput analysis of RIS-assisted UAV wireless systems under disorientation and misalignment

abstract: Reconfigurable intelligent surface (RIS)-assisted unmanned areal vehicles (UAV) communications have been identified as a key enabler of a number of next-generation applications. However, to the best of our knowledge, there is no generalized framework for the quantification of the throughput performance of RIS-assisted UAV systems. Motivated by this, in this paper, we present a comprehensive system model that accounts for the impact of multipath fading, which is modeled by means of mixture gamma, transceiver hardware imperfections, and stochastic beam disorientation and misalignment in order to examine the throughput performance of a RIS-assisted UAV wireless system. In this direction, we present a novel closed-form expression for the system's throughput for two scenarios: i) in the presence and ii) in the absence of disorientation and misalignment. Interestingly, our results reveal the importance of accurate modeling of the aforementioned phenomena as well as the existence of an optimal transmission spectral efficiency.


title: The photometric observation of the quasi-simultaneous mutual eclipse and occultation between Europa and Ganymede on 22 August 2021

abstract: Mutual events (MEs) are eclipses and occultations among planetary natural satellites. Most of the time, eclipses and occultations occur separately. However, the same satellite pair will exhibit an eclipse and an occultation quasi-simultaneously under particular orbital configurations. This kind of rare event is termed as a quasi-simultaneous mutual event (QSME). During the 2021 campaign of mutual events of jovian satellites, we observed a QSME between Europa and Ganymede. The present study aims to describe and study the event in detail. We observed the QSME with a CCD camera attached to a 300-mm telescope at the Hong Kong Space Museum Sai Kung iObservatory. We obtained the combined flux of Europa and Ganymede from aperture photometry. A geometric model was developed to explain the light curve observed. Our results are compared with theoretical predictions (O-C). We found that our simple geometric model can explain the QSME fairly accurately, and the QSME light curve is a superposition of the light curves of an eclipse and an occultation. Notably, the observed flux drops are within 2.6% of the theoretical predictions. The size of the event central time O-Cs ranges from -14.4 to 43.2 s. Both O-Cs of flux drop and timing are comparable to other studies adopting more complicated models. Given the event rarity, model simplicity and accuracy, we encourage more observations and analysis on QSMEs to improve Solar System ephemerides.


title: Information-Preserved Blending Method for Forward-Looking Sonar Mosaicing in Non-Ideal System Configuration

abstract: Forward-Looking Sonar (FLS) has started to gain attention in the field of near-bottom close-range underwater inspection because of its high resolution and high framerate features. Although Automatic Target Recognition (ATR) algorithms have been applied tentatively for object-searching tasks, human supervision is still indispensable, especially when involving critical areas. A clear FLS mosaic containing all suspicious information is in demand to help experts deal with tremendous perception data. However, previous work only considered that FLS is working in an ideal system configuration, which assumes an appropriate sonar imaging setup and the availability of accurate positioning data. Without those promises, the intra-frame and inter-frame artifacts will appear and degrade the quality of the final mosaic by making the information of interest invisible. In this paper, we propose a novel blending method for FLS mosaicing which can preserve interested information. A Long-Short Time Sliding Window (LST-SW) is designed to rectify the local statistics of raw sonar images. The statistics are then utilized to construct a Global Variance Map (GVM). The GVM helps to emphasize the useful information contained in images in the blending phase by classifying the informative and featureless pixels, thereby enhancing the quality of final mosaic. The method is verified using data collected in the real environment. The results show that our method can preserve more details in FLS mosaics for human inspection purposes in practice.


title: Snapshot Multispectral Imaging Using a Diffractive Optical Network

abstract: Multispectral imaging has been used for numerous applications in e.g., environmental monitoring, aerospace, defense, and biomedicine. Here, we present a diffractive optical network-based multispectral imaging system trained using deep learning to create a virtual spectral filter array at the output image field-of-view. This diffractive multispectral imager performs spatially-coherent imaging over a large spectrum, and at the same time, routes a pre-determined set of spectral channels onto an array of pixels at the output plane, converting a monochrome focal plane array or image sensor into a multispectral imaging device without any spectral filters or image recovery algorithms. Furthermore, the spectral responsivity of this diffractive multispectral imager is not sensitive to input polarization states. Through numerical simulations, we present different diffractive network designs that achieve snapshot multispectral imaging with 4, 9 and 16 unique spectral bands within the visible spectrum, based on passive spatially-structured diffractive surfaces, with a compact design that axially spans ~72 times the mean wavelength of the spectral band of interest. Moreover, we experimentally demonstrate a diffractive multispectral imager based on a 3D-printed diffractive network that creates at its output image plane a spatially-repeating virtual spectral filter array with 2x2=4 unique bands at terahertz spectrum. Due to their compact form factor and computation-free, power-efficient and polarization-insensitive forward operation, diffractive multispectral imagers can be transformative for various imaging and sensing applications and be used at different parts of the electromagnetic spectrum where high-density and wide-area multispectral pixel arrays are not widely available.


title: Averaging principle for two time-scale regime-switching processes

abstract: This work studies the averaging principle for a fully coupled two time-scale system, whose slow process is a diffusion process and fast process is a purely jumping process on an infinitely countable state space. The ergodicity of the fast process has important impact on the limit system and the averaging principle. We showed that under strongly ergodic condition, the limit system admits a unique solution, and the slow process converges in the L1-norm to the limit system. However, under certain weaker ergodicity condition, the limit system admits a solution, but not necessarily unique, and the slow process can be proved to converge weakly to a solution of the limit system.


title: Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution

abstract: An optimistic rollup (ORU) scales a blockchain's throughput by delegating computation to an untrusted remote chain (L2), refereeing any state claim disagreements between mutually distrusting L2 operators via an interactive dispute resolution protocol. State-of-the-art ORUs employ a monolithic dispute resolution protocol that tightly couples an L1 referee with a specific L2 client binary--oblivious to the system's higher-level semantics. We argue that this approach (1) magnifies monoculture failure risk, by precluding trust-minimized and permissionless participation using operator-chosen client software; (2) leads to an unnecessarily large and difficult-to-audit TCB; and, (3) suffers from a frequently-triggered, yet opaque upgrade process--both further increasing auditing overhead, and broadening the governance attack surface. To address these concerns, we outline a methodology for designing a secure and resilient ORU with a minimal TCB, by facilitating opportunistic 1-of-N-version programming. Due to its unique challenges and opportunities, we ground this work concretely in the context of the Ethereum ecosystem--where ORUs have gained significant traction. Specifically, we design a semantically-aware proof system, natively targeting the EVM and its instruction set. We present an implementation in a new ORU, Specular, that opportunistically leverages Ethereum's existing client diversity with minimal source modification, demonstrating our approach's feasibility.


title: Some characterizations of local rings via reducing dimensions

abstract: In this paper we study homological dimensions of finitely generated modules over commutative Noetherian local rings, called reducing homological dimensions. We obtain new characterizations of Gorenstein and complete intersection local rings via reducing homological dimensions. For example, we extend a classical result of Auslander and Bridger, and prove that a local ring is Gorenstein if and only if each finitely generated module over it has finite reducing Gorenstein dimension. Along the way, we prove various connections between complexity and reducing projective dimension of modules.


title: REVEAL: Retrieval-Augmented Visual-Language Pre-Training with Multi-Source Multimodal Knowledge Memory

abstract: In this paper, we propose an end-to-end Retrieval-Augmented Visual Language Model (REVEAL) that learns to encode world knowledge into a large-scale memory, and to retrieve from it to answer knowledge-intensive queries. REVEAL consists of four key components: the memory, the encoder, the retriever and the generator. The large-scale memory encodes various sources of multimodal world knowledge (e.g. image-text pairs, question answering pairs, knowledge graph triplets, etc) via a unified encoder. The retriever finds the most relevant knowledge entries in the memory, and the generator fuses the retrieved knowledge with the input query to produce the output. A key novelty in our approach is that the memory, encoder, retriever and generator are all pre-trained end-to-end on a massive amount of data. Furthermore, our approach can use a diverse set of multimodal knowledge sources, which is shown to result in significant gains. We show that REVEAL achieves state-of-the-art results on visual question answering and image captioning.


title: The $\mathfrak{sl}_N$ Symmetrically Large Coloured $R$ Matrix

abstract: For every knot $K$ and lie algebra $\mathfrak{g}$, there is a Gukov-Manolescu series denoted $F^{\mathfrak{g}}_K$ which serves as an analytic continuation of the quantum knot invariants associated to finite dimensional irreducible representations of $\mathfrak{g}$. There has been a great deal of work done on computing this invariant for $\mathfrak{g} = \mathfrak{sl}_2$ but comparatively less work has studied other lie algebras. In this paper we extend the large colour $R$ matrix from $\mathfrak{sl}_2$ to symmetrically coloured $\mathfrak{sl}_N$. This gives a definition for $F^{\mathfrak{sl}_N, sym}_K$ for positive braid knots and allows for predictions of $F^{\mathfrak{sl}_N, sym}_K$ for a much larger class of knots and links. It also provides further evidence towards a conjectural HOMFLY-PT analouge of $F_K$.


title: Progressive Multi-view Human Mesh Recovery with Self-Supervision

abstract: To date, little attention has been given to multi-view 3D human mesh estimation, despite real-life applicability (e.g., motion capture, sport analysis) and robustness to single-view ambiguities. Existing solutions typically suffer from poor generalization performance to new settings, largely due to the limited diversity of image-mesh pairs in multi-view training data. To address this shortcoming, people have explored the use of synthetic images. But besides the usual impact of visual gap between rendered and target data, synthetic-data-driven multi-view estimators also suffer from overfitting to the camera viewpoint distribution sampled during training which usually differs from real-world distributions. Tackling both challenges, we propose a novel simulation-based training pipeline for multi-view human mesh recovery, which (a) relies on intermediate 2D representations which are more robust to synthetic-to-real domain gap; (b) leverages learnable calibration and triangulation to adapt to more diversified camera setups; and (c) progressively aggregates multi-view information in a canonical 3D space to remove ambiguities in 2D representations. Through extensive benchmarking, we demonstrate the superiority of the proposed solution especially for unseen in-the-wild scenarios.


title: All-Photonic Quantum Repeater for Multipartite Entanglement Generation

abstract: Quantum network applications like distributed quantum computing and quantum secret sharing present a promising future network equipped with quantum resources. Entanglement generation and distribution over long distances is critical and unavoidable to utilize quantum technology in a fully-connected network. The distribution of bipartite entanglement over long distances has seen some progresses, while the distribution of multipartite entanglement over long distances remains unsolved. Here we report a two-dimensional quantum repeater protocol for the generation of multipartite entanglement over long distances with all-photonic framework to fill this gap. The yield of the proposed protocol shows long transmission distance under various numbers of network users. With the improved efficiency and flexibility of extending the number of users, we anticipate that our protocol can work as a significant building block for quantum networks in the future.


title: LEAD: Liberal Feature-based Distillation for Dense Retrieval

abstract: Knowledge distillation is often used to transfer knowledge from a strong teacher model to a relatively weak student model. Traditional methods include response-based methods and feature-based methods. Response-based methods are widely used but suffer from lower upper limits of performance due to their ignorance of intermediate signals, while feature-based methods have constraints on vocabularies, tokenizers and model architectures. In this paper, we propose a liberal feature-based distillation method (LEAD). LEAD aligns the distribution between the intermediate layers of teacher model and student model, which is effective, extendable, portable and has no requirements on vocabularies, tokenizers, or model architectures. Extensive experiments show the effectiveness of LEAD on widely-used benchmarks, including MS MARCO Passage Ranking, TREC 2019 DL Track, MS MARCO Document Ranking and TREC 2020 DL Track. Our code is available in https://github.com/microsoft/SimXNS/tree/main/LEAD.


title: Breaking universal limitations on quantum conference key agreement without quantum memory

abstract: Quantum conference key agreement is an important cryptographic primitive for future quantum network. Realizing this primitive requires high-brightness and robust multiphoton entanglement sources, which is challenging in experiment and unpractical in application because of limited transmission distance caused by channel loss. Here we report a measurement-device-independent quantum conference key agreement protocol with enhanced transmission efficiency over lossy channel. With spatial multiplexing nature and adaptive operation, our protocol can break key rate bounds on quantum communication over quantum network without quantum memory. Compared with previous work, our protocol shows superiority in key rate and transmission distance within the state-of-the-art technology. Furthermore, we analyse the security of our protocol in the composable framework and evaluate its performance in the finite-size regime to show practicality. Based on our results, we anticipate that our protocol will play an indispensable role in constructing multipartite quantum network.


title: Fragmentation of a trapped bosonic mixture

abstract: Fragmentation of bosons and pairs in a trapped imbalanced bosonic mixture is investigated analytically using an exactly solvable model, the generic harmonic-interaction model for mixtures. Closed-form expressions for the eigenvalues and eigenfunctions of the reduced one-particle and two-particle density matrices as a function of all parameters, the masses, numbers of bosons, and the intraspecies and interspecies interactions, are obtained and analyzed. As an application, we consider a system made of $N_1=100$ non-interacting species $1$ bosons embedded in a bath made of $N_2=10^6$ non-interacting species $2$ bosons, and show how fragmentation of the system's bosons and pairs emerges from the system--bath interaction only. Interestingly, the lighter the bosons comprising the bath are the stronger is the system's fragmentation. Further applications are briefly discussed.


title: QESK: Quantum-based Entropic Subtree Kernels for Graph Classification

abstract: In this paper, we propose a novel graph kernel, namely the Quantum-based Entropic Subtree Kernel (QESK), for Graph Classification. To this end, we commence by computing the Average Mixing Matrix (AMM) of the Continuous-time Quantum Walk (CTQW) evolved on each graph structure. Moreover, we show how this AMM matrix can be employed to compute a series of entropic subtree representations associated with the classical Weisfeiler-Lehman (WL) algorithm. For a pair of graphs, the QESK kernel is defined by computing the exponentiation of the negative Euclidean distance between their entropic subtree representations, theoretically resulting in a positive definite graph kernel. We show that the proposed QESK kernel not only encapsulates complicated intrinsic quantum-based structural characteristics of graph structures through the CTQW, but also theoretically addresses the shortcoming of ignoring the effects of unshared substructures arising in state-of-the-art R-convolution graph kernels. Moreover, unlike the classical R-convolution kernels, the proposed QESK can discriminate the distinctions of isomorphic subtrees in terms of the global graph structures, theoretically explaining the effectiveness. Experiments indicate that the proposed QESK kernel can significantly outperform state-of-the-art graph kernels and graph deep learning methods for graph classification problems.


title: Power-law distribution and scale-invariant structure from the first CHIME/FRB Fast Radio Burst catalog

abstract: We study the statistical property of fast radio bursts (FRBs) based on a selected sample of 190 one-off FRBs in the first CHIME/FRB catalog. Three power law models are used in the analysis, and we find the cumulative distribution functions of energy can be well fitted by bent power law and thresholded power law models. And the distribution functions of fluctuations of energy well follow the Tsallis $q$-Gaussian distribution. The $q$ values in the Tsallis $q$-Gaussian distribution are constant with small fluctuations for different temporal scale intervals, indicating a scale-invariant structure of the bursts. The earthquakes and soft gamma repeaters show similar properties, which are consistent with the predictions of self-organized criticality systems.


title: Properties of donor qubits in ZnO formed by indium ion implantation

abstract: Shallow neutral donors (D$^{0}$) in ZnO have emerged as a promising candidate for solid-state spin qubits. Here, we report on the formation of D$^{0}$ in ZnO via implantation of In and subsequent annealing. The implanted In donors exhibit optical and spin properties on par with $\textit{in situ}$ doped donors. The inhomogeneous linewidth of the donor-bound exciton transition is less than 10 GHz, comparable to the optical linewidth of $\textit{in situ}$ In. Longitudinal spin relaxation times ($T_1$) exceed reported values for $\textit{in situ}$ Ga donors, indicating that residual In implantation damage does not degrade $T_1$. Two laser Raman spectroscopy on the donor spin reveals the hyperfine interaction of the donor electron with the spin-9/2 In nuclei. This work is an important step toward the deterministic formation of In donor qubits in ZnO with optical access to a long-lived nuclear spin memory.


title: NeuS2: Fast Learning of Neural Implicit Surfaces for Multi-view Reconstruction

abstract: Recent methods for neural surface representation and rendering, for example NeuS, have demonstrated the remarkably high-quality reconstruction of static scenes. However, the training of NeuS takes an extremely long time (8 hours), which makes it almost impossible to apply them to dynamic scenes with thousands of frames. We propose a fast neural surface reconstruction approach, called NeuS2, which achieves two orders of magnitude improvement in terms of acceleration without compromising reconstruction quality. To accelerate the training process, we parameterize a neural surface representation by multi-resolution hash encodings and present a novel lightweight calculation of second-order derivatives tailored to our networks to leverage CUDA parallelism, achieving a factor two speed up. To further stabilize and expedite training, a progressive learning strategy is proposed to optimize multi-resolution hash encodings from coarse to fine. We extend our method for fast training of dynamic scenes, with a proposed incremental training strategy and a novel global transformation prediction component, which allow our method to handle challenging long sequences with large movements and deformations. Our experiments on various datasets demonstrate that NeuS2 significantly outperforms the state-of-the-arts in both surface reconstruction accuracy and training speed for both static and dynamic scenes. The code is available at our website: https://vcai.mpi-inf.mpg.de/projects/NeuS2/ .


title: Co-simulation domain decomposition algorithm for hybrid EMT-Dynamic Phasor modeling

abstract: An iterative coupling algorithm based on restricted additive Schwarz domain decomposition is investigated to co-simulate electrical circuits with hybrid electromagnetic (EMT) and transient stability (TS) modeled using dynamic phasors. This co-simulation algorithm does not introduce any delay between the data exchanged at the co-simulation step. The pure linear convergence property of the iterative method allows it to be accelerated towards the true solution by a non-intrusive Aitken's acceleration of the convergence post-processing, even if the domain decomposition interface conditions make the iterative method divergent. This provides a method less sensitive to the splitting. Numerical tests on a linear RLC circuit combining EMT and TS modeling are provided.


title: Open and increasing paths on N-ary trees with different fitness values

abstract: Consider a rooted N-ary tree. For every vertex of this tree, we atttach an i.i.d. Bernoulli random variable. A path is called open if all the random variables that are assigned on the path are 1. We consider limiting behaviors for the number of open paths from the root to leaves and the longest open path. In addition, when all fitness values are i.i.d. continuous random variables, some asymptotic properties of the longest increasing path are proved.


title: A local converse theorem for $Mp_{2n}$ : the generic case

abstract: In this paper, we establish the local converse theorem and the stability of local gamma factors for $\Mp_{2n}$ via the precise local theta correspondence between $\Mp_{2n}$ and $\SO_{2n+1}$ over local fields of characteristic not equal to 2. As an application, we can prove the rigidity theorem for irreducible generic cuspidal automorphic representations of $\Mp_{2n}$ over number fields.


title: Optimal Systemic Risk Bailout: A PGO Approach Based on Neural Network

abstract: The bailout strategy is crucial to cushion the massive loss caused by systemic risk in the financial system. There is no closed-form formulation of the optimal bailout problem, making solving it difficult. In this paper, we regard the issue of the optimal bailout (capital injection) as a black-box optimization problem, where the black box is characterized as a fixed-point system that follows the E-N framework for measuring the systemic risk of the financial system. We propose the so-called ``Prediction-Gradient-Optimization'' (PGO) framework to solve it, where the ``Prediction'' means that the objective function without a closed-form is approximated and predicted by a neural network, the ``Gradient'' is calculated based on the former approximation, and the ``Optimization'' procedure is further implemented within a gradient projection algorithm to solve the problem. Comprehensive numerical simulations demonstrate that the proposed approach is promising for systemic risk management.


title: Neuromorphic Computing and Sensing in Space

abstract: The term ``neuromorphic'' refers to systems that are closely resembling the architecture and/or the dynamics of biological neural networks. Typical examples are novel computer chips designed to mimic the architecture of a biological brain, or sensors that get inspiration from, e.g., the visual or olfactory systems in insects and mammals to acquire information about the environment. This approach is not without ambition as it promises to enable engineered devices able to reproduce the level of performance observed in biological organisms -- the main immediate advantage being the efficient use of scarce resources, which translates into low power requirements. The emphasis on low power and energy efficiency of neuromorphic devices is a perfect match for space applications. Spacecraft -- especially miniaturized ones -- have strict energy constraints as they need to operate in an environment which is scarce with resources and extremely hostile. In this work we present an overview of early attempts made to study a neuromorphic approach in a space context at the European Space Agency's (ESA) Advanced Concepts Team (ACT).


title: Coordinate Ascent for Off-Policy RL with Global Convergence Guarantees

abstract: We revisit the domain of off-policy policy optimization in RL from the perspective of coordinate ascent. One commonly-used approach is to leverage the off-policy policy gradient to optimize a surrogate objective -- the total discounted in expectation return of the target policy with respect to the state distribution of the behavior policy. However, this approach has been shown to suffer from the distribution mismatch issue, and therefore significant efforts are needed for correcting this mismatch either via state distribution correction or a counterfactual method. In this paper, we rethink off-policy learning via Coordinate Ascent Policy Optimization (CAPO), an off-policy actor-critic algorithm that decouples policy improvement from the state distribution of the behavior policy without using the policy gradient. This design obviates the need for distribution correction or importance sampling in the policy improvement step of off-policy policy gradient. We establish the global convergence of CAPO with general coordinate selection and then further quantify the convergence rates of several instances of CAPO with popular coordinate selection rules, including the cyclic and the randomized variants of CAPO. We then extend CAPO to neural policies for a more practical implementation. Through experiments, we demonstrate that CAPO provides a competitive approach to RL in practice.


title: Structured information extraction from complex scientific text with fine-tuned large language models

abstract: Intelligently extracting and linking complex scientific information from unstructured text is a challenging endeavor particularly for those inexperienced with natural language processing. Here, we present a simple sequence-to-sequence approach to joint named entity recognition and relation extraction for complex hierarchical information in scientific text. The approach leverages a pre-trained large language model (LLM), GPT-3, that is fine-tuned on approximately 500 pairs of prompts (inputs) and completions (outputs). Information is extracted either from single sentences or across sentences in abstracts/passages, and the output can be returned as simple English sentences or a more structured format, such as a list of JSON objects. We demonstrate that LLMs trained in this way are capable of accurately extracting useful records of complex scientific knowledge for three representative tasks in materials chemistry: linking dopants with their host materials, cataloging metal-organic frameworks, and general chemistry/phase/morphology/application information extraction. This approach represents a simple, accessible, and highly-flexible route to obtaining large databases of structured knowledge extracted from unstructured text. An online demo is available at http://www.matscholar.com/info-extraction.


title: The optimal $\chi$-bound for $(P_7,C_4,C_5)$-free graphs

abstract: In this paper, we give an optimal $\chi$-binding function for the class of $(P_7,C_4,C_5)$-free graphs. We show that every $(P_7,C_4,C_5)$-free graph $G$ has $\chi(G)\le \lceil \frac{11}{9}\omega(G) \rceil$. To prove the result, we use a decomposition theorem obtained in [K. Cameron and S. Huang and I. Penev and V. Sivaraman, The class of $({P}_7,{C}_4,{C}_5)$-free graphs: Decomposition, algorithms, and $\chi$-boundedness, Journal of Graph Theory 93, 503--552, 2020] combined with careful inductive arguments and a nontrivial use of the K\"{o}nig theorem for bipartite matching.


title: Protocol selection for second-order consensus against disturbance

abstract: Noticing that both the absolute and relative velocity protocols can solve the second-order consensus of multi-agent systems, this paper aims to investigate which of the above two protocols has better anti-disturbance capability, in which the anti-disturbance capability is measured by the L2 gain from the disturbance to the consensus error. More specifically, by the orthogonal transformation technique, the analytic expression of the L2 gain of the second-order multi-agent system with absolute velocity protocol is firstly derived, followed by the counterpart with relative velocity protocol. It is shown that both the L2 gains for absolute and relative velocity protocols are determined only by the minimum non-zero eigenvalue of Laplacian matrix and the tunable gains of the state and velocity. Then, we establish the graph conditions to tell which protocol has better anti-disturbance capability. Moreover, we propose a two-step scheme to improve the anti-disturbance capability of second-order multi-agent systems. Finally, simulations are given to illustrate the effectiveness of our findings.


title: AutoDRIVE: A Comprehensive, Flexible and Integrated Digital Twin Ecosystem for Enhancing Autonomous Driving Research and Education

abstract: Prototyping and validating hardware-software components, sub-systems and systems within the intelligent transportation system-of-systems framework requires a modular yet flexible and open-access ecosystem. This work presents our attempt towards developing such a comprehensive research and education ecosystem, called AutoDRIVE, for synergistically prototyping, simulating and deploying cyber-physical solutions pertaining to autonomous driving as well as smart city management. AutoDRIVE features both software as well as hardware-in-the-loop testing interfaces with openly accessible scaled vehicle and infrastructure components. The ecosystem is compatible with a variety of development frameworks, and supports both single and multi-agent paradigms through local as well as distributed computing. Most critically, AutoDRIVE is intended to be modularly expandable to explore emergent technologies, and this work highlights various complementary features and capabilities of the proposed ecosystem by demonstrating four such deployment use-cases: (i) autonomous parking using probabilistic robotics approach for mapping, localization, path planning and control; (ii) behavioral cloning using computer vision and deep imitation learning; (iii) intersection traversal using vehicle-to-vehicle communication and deep reinforcement learning; and (iv) smart city management using vehicle-to-infrastructure communication and internet-of-things.


title: A Comprehensive Analysis on Repeating Fast Radio Bursts

abstract: Nearly 700 fast radio burst (FRB) sources have been detected till now, among which 29 FRBs are found to burst out repeatedly. Although a firm connection between at least some FRBs and magnetars has been established, the trigger mechanism and radiation process in these enigma phenomena are still highly controversial. In this study, we build a sample of 16 repeating FRBs from which at least five bursts have been detected, including the most active four repeaters of FRBs 20121102A, 20180916B, 20190520B and 20201124A. Various key parameters of their bursts are collected from the literature, which include the arrival time, pulse width, dispersion measure (DM), Faraday rotation measure (RM), bandwidth, waiting time, peak flux and fluence. The distribution and time evolution of these parameters are investigated. Potential correlations between various parameter pairs are also extensively explored. The behaviors of different repeaters are then compared. It is found that the DM of FRB 20121102A seems to increase continuously on a long timescale. While the DM of most repeaters varies in a narrow range of $\pm 3$ cm$^{-3}$ pc, FRB 20190520B is found to have a large variation range of $\pm 12$ cm$^{-3}$ pc. RM evolves with time in a much more chaos behavior in different repeaters. A linear correlation is found between the absolute mean RM and $\rm {DM}_{Host}$, which may provide a method to estimate the redshift of FRBs. Generally, the waiting time shows a similar bimodal distribution for the active repeating sources. The implications of these features to the underlying physics are discussed.


title: Revealing the spectral state transition of the Clocked Burster, GS 1826-238 with NuSTAR StrayCats

abstract: We present the long term analysis of GS 1826-238, a neutron star X-ray binary known as the "Clocked Burster", using data from NuSTAR StrayCats. StrayCats, a catalogue of NuSTAR stray light data, contains data from bright, off-axis X-ray sources that have not been focused by the NuSTAR optics. We obtained stray light observations of the source from 2014-2021, reduced and analyzed the data using nustar-gen-utils Python tools, demonstrating the transition of source from the "island" atoll state to a "banana" branch. We also present the lightcurve analysis of Type I X-Ray bursts from the Clocked Burster and show that the bursts from the banana/soft state are systematically shorter in durations than those from the island/hard state and have a higher burst fluence. From our analysis, we note an increase in mass accretion rate of the source, and a decrease in burst frequency with the transition.


title: A Quantitative Flavour of Robust Reachability

abstract: Many software analysis techniques attempt to determine whether bugs are reachable, but for security purpose this is only part of the story as it does not indicate whether the bugs found could be easily triggered by an attacker. The recently introduced notion of robust reachability aims at filling this gap by distinguishing the input controlled by the attacker from those that are not. Yet, this qualitative notion may be too strong in practice, leaving apart bugs which are mostly but not fully replicable. We aim here at proposing a quantitative version of robust reachability, more flexible and still amenable to automation. We propose quantitative robustness, a metric expressing how easily an attacker can trigger a bug while taking into account that he can only influence part of the program input, together with a dedicated quantitative symbolic execution technique (QRSE). Interestingly, QRSE relies on a variant of model counting (namely, functional E-MAJSAT) unseen so far in formal verification, but which has been studied in AI domains such as Bayesian network, knowledge representation and probabilistic planning. Yet, the existing solving methods from these fields turn out to be unsatisfactory for formal verification purpose, leading us to propose a novel parametric method. These results have been implemented and evaluated over two security-relevant case studies, allowing to demonstrate the feasibility and relevance of our ideas.


title: Joint Spatio-Temporal Modeling for the Semantic Change Detection in Remote Sensing Images

abstract: Semantic Change Detection (SCD) refers to the task of simultaneously extracting the changed areas and the semantic categories (before and after the changes) in Remote Sensing Images (RSIs). This is more meaningful than Binary Change Detection (BCD) since it enables detailed change analysis in the observed areas. Previous works established triple-branch Convolutional Neural Network (CNN) architectures as the paradigm for SCD. However, it remains challenging to exploit semantic information with a limited amount of change samples. In this work, we investigate to jointly consider the spatio-temporal dependencies to improve the accuracy of SCD. First, we propose a Semantic Change Transformer (SCanFormer) to explicitly model the 'from-to' semantic transitions between the bi-temporal RSIs. Then, we introduce a semantic learning scheme to leverage the spatio-temporal constraints, which are coherent to the SCD task, to guide the learning of semantic changes. The resulting network (SCanNet) significantly outperforms the baseline method in terms of both detection of critical semantic changes and semantic consistency in the obtained bi-temporal results. It achieves the SOTA accuracy on two benchmark datasets for the SCD.


title: Power Loss Modelling of GaN HEMT based 3L ANPC Three Phase Inverter for different PWM Techniques

abstract: The paper presents a straightforward modelling approach to compute the power loss distribution in GaN HEMT based three phase and three level (3L) active neutral point clamped (ANPC) inverters, for different pulse width modulated techniques. Conduction and switching losses averaged over each PWM switching period are analytically computed by starting from the operating conditions of the AC load and data of GaN power devices. The accuracy of the proposed analytical approach is evaluated through a circuit based power electronics simulation tool, applied to different carrier-based PWM strategies.


title: Influence of Defects on the Valley Polarization Properties of Monolayer MoS$_{2}$ Grown by Chemical Vapor Deposition

abstract: Here, the underlying mechanisms behind valley de-polarization is investigated in chemical vapor deposited 1L-MoS$_{2}$. Temperature dependent polarization resolved photoluminescence spectroscopy was carried out on as-grown, transferred and capped samples. It has been found that the momentum scattering of the excitons due to the sulfur-vacancies attached with air-molecule defects has a strong influence on the valley de-polarization process. Our study reveals that at sufficiently low densities of such defects and temperatures, long range electron-hole exchange mediated intervalley transfer due to momentum scattering via Maialle-Silva-Sham (MSS) mechanism of excitons is indeed the most dominant spin-flip process as suggested by T. Yu et al. The rate of momentum scattering of the excitons due to these defects is found to be proportional to the cube root of the density of the defects. Intervalley transfer process of excitons involving $\Gamma$-valley also has significance in the valley de-polarization process specially when the layer has tensile strain or high density of $V_S$ defects as these perturbations reduce $K$ to $\Gamma$-energy separation. Band-structural calculations carried out within the density functional theory framework validate this finding. Experimental results further suggest that exchange interactions with the physisorbed air molecules can also result in the intervalley spin-flip scattering of the excitons, and this process gives an important contribution to valley depolarization, specially at the strong scattering regime.


title: Stochastic Linear-quadratic Control Problems with Affine Constraints

abstract: This paper investigates the stochastic linear-quadratic control problems with affine constraints, in which both equality and inequality constraints are involved. With the help of the Pontryagin maximum principle and Lagrangian duality theory, the dual problem of original problem is established and the state feedback form of the solution to the optimal control problem is obtained. Under the Slater condition, the equivalence is proved between the solutions to the original problem and the ones of the dual problem, and the KKT condition is also provided for solving original problem. Especially, a new sufficient condition is given for the invertibility assumption, which ensures the uniqueness of the solutions to the dual problem.


title: Multi-Energy Blended CBCT Spectral Imaging Using a Spectral Modulator with Flying Focal Spot (SMFFS)

abstract: Conventional cone-beam CT (CBCT) can be easily compromised by scatter and beam hardening artifacts, and the entanglement of scatter and spectral effects introduces additional complexity. In this work, we present the first attempt to develop a stationary spectral modulator with flying focal spot (SMFFS) technology as a promising, low-cost approach to accurately solving the X-ray scattering problem and physically enabling spectral imaging in a unified framework. To deal with the intertwined scatter-spectral challenge, we propose a novel scatter-decoupled material decomposition (SDMD) method for SMFFS based on a hypothesis of scatter similarity. Monte Carlo simulations of a pure-water cylinder phantom with different focal spot deflections show that focal spot deflections within a range of ~2 mm share quite similar scatter distributions overall. Numerical simulations using a clinical abdominal CT dataset demonstrate that SMFFS with SDMD method can achieve better material decomposition and CT number accuracy with less artifacts. Physics experiments on a tabletop CBCT system using a Gammex multi-energy CT phantom an anthropomorphic chest phantom, are carried out to demonstrate the feasibility of CBCT spectral imaging with SMFFS. For the chest phantom, the root mean square error (RMSE) in selected regions of interest (ROIs) of virtual monochromatic image (VMI) at 70 keV is 11.8 HU for SMFFS CB scan, and 14.5 and 437.6 HU for sequential 80/140 kVp (DKV) CB scan with and without scatter correction, respectively. Also, the non-uniformity among selected regions is 14.1 HU for SMFFS CB scan, and 59.4 and 184.0 HU for the DKV CB scan with and without a traditional scatter correction method, respectively. Our preliminary results show that SMFFS can enable spectral imaging with simultaneous scatter correction for CBCT and effectively improve its quantitative imaging performance.


title: Phases, Modalities, Temporal and Spatial Locality: Domain Specific ML Prefetcher for Accelerating Graph Analytics

abstract: Memory performance is a bottleneck in graph analytics acceleration. Existing Machine Learning (ML) prefetchers struggle with phase transitions and irregular memory accesses in graph processing. We propose MPGraph, an ML-based Prefetcher for Graph analytics using domain specific models. MPGraph introduces three novel optimizations: soft detection for phase transitions, phase-specific multi-modality models for access delta and page predictions, and chain spatio-temporal prefetching (CSTP) for prefetch control. Our transition detector achieves 34.17-82.15% higher precision compared with Kolmogorov-Smirnov Windowing and decision tree. Our predictors achieve 6.80-16.02% higher F1-score for delta and 11.68-15.41% higher accuracy-at-10 for page prediction compared with LSTM and vanilla attention models. Using CSTP, MPGraph achieves 12.52-21.23% IPC improvement, outperforming state-of-the-art non-ML prefetcher BO by 7.58-12.03% and ML-based prefetchers Voyager and TransFetch by 3.27-4.58%. For practical implementation, we demonstrate MPGraph using compressed models with reduced latency shows significantly superior accuracy and coverage compared with BO, leading to 3.58% higher IPC improvement.


title: A Unified Knowledge Graph Augmentation Service for Boosting Domain-specific NLP Tasks

abstract: By focusing the pre-training process on domain-specific corpora, some domain-specific pre-trained language models (PLMs) have achieved state-of-the-art results. However, it is under-investigated to design a unified paradigm to inject domain knowledge in the PLM fine-tuning stage. We propose KnowledgeDA, a unified domain language model development service to enhance the task-specific training procedure with domain knowledge graphs. Given domain-specific task texts input, KnowledgeDA can automatically generate a domain-specific language model following three steps: (i) localize domain knowledge entities in texts via an embedding-similarity approach; (ii) generate augmented samples by retrieving replaceable domain entity pairs from two views of both knowledge graph and training data; (iii) select high-quality augmented samples for fine-tuning via confidence-based assessment. We implement a prototype of KnowledgeDA to learn language models for two domains, healthcare and software development. Experiments on domain-specific text classification and QA tasks verify the effectiveness and generalizability of KnowledgeDA.


title: Some identities related to degenerate r-Bell and degenerate Fubini polynomials

abstract: Many works have been done in recent years as to explorations for degenerate versions of some special polynomials and numbers, which began with the introduction of the degenerate Bernoulli and degenerate Euler polynomials by Carlitz. The aim of this paper is to study some properties, recurrence relations and identities related to the degenerate r-Bell polynomials, the two variable degenerate Fubini polynomials and the degenerate r-Stirling numbers of the second kind.


title: Graph Analysis in Decentralized Online Social Networks with Fine-Grained Privacy Protection

abstract: Graph analysts cannot directly obtain the global structure in decentralized social networks, and analyzing such a network requires collecting local views of the social graph from individual users. Since the edges between users may reveal sensitive social interactions in the local view, applying differential privacy in the data collection process is often desirable, which provides strong and rigorous privacy guarantees. In practical decentralized social graphs, different edges have different privacy requirements due to the distinct sensitivity levels. However, the existing differentially private analysis of social graphs provide the same protection for all edges. To address this issue, this work proposes a fine-grained privacy notion as well as novel algorithms for private graph analysis. We first design a fine-grained relationship differential privacy (FGR-DP) notion for social graph analysis, which enforces different protections for the edges with distinct privacy requirements. Then, we design algorithms for triangle counting and k-stars counting, respectively, which can accurately estimate subgraph counts given fine-grained protection for social edges. We also analyze upper bounds on the estimation error, including k-stars and triangle counts, and show their superior performance compared with the state-of-the-arts. Finally, we perform extensive experiments on two real social graph datasets and demonstrate that the proposed mechanisms satisfying FGR-DP have better utility than the state-of-the-art mechanisms due to the finer-grained protection.


title: MAPS-KB: A Million-scale Probabilistic Simile Knowledge Base

abstract: The ability to understand and generate similes is an imperative step to realize human-level AI. However, there is still a considerable gap between machine intelligence and human cognition in similes, since deep models based on statistical distribution tend to favour high-frequency similes. Hence, a large-scale symbolic knowledge base of similes is required, as it contributes to the modeling of diverse yet unpopular similes while facilitating additional evaluation and reasoning. To bridge the gap, we propose a novel framework for large-scale simile knowledge base construction, as well as two probabilistic metrics which enable an improved understanding of simile phenomena in natural language. Overall, we construct MAPS-KB, a million-scale probabilistic simile knowledge base, covering 4.3 million triplets over 0.4 million terms from 70 GB corpora. We conduct sufficient experiments to justify the effectiveness and necessity of the methods of our framework. We also apply MAPS-KB on three downstream tasks to achieve state-of-the-art performance, further demonstrating the value of MAPS-KB.


title: Rectification of Confined Soft Vesicles Containing Active Particles

abstract: One of the most promising features of active systems is that they can extract energy from their environment and convert it to mechanical work. Self propelled particles enable rectification when in contact with rigid boundaries. They can rectify their own motion when confined in asymmetric channels and that of microgears. In this paper, we study the shape fluctuations of two dimensional flexible vesicles containing active Brownian particles. We show how these fluctuations not only are capable of easily squeezing a vesicle through narrow openings, but are also responsible for its rectification when placed within asymmetric confining channels (ratchetaxis). We detail the conditions under which this process can be optimized, and sort out the complex interplay between elastic and active forces responsible for the directed motion of the vesicle across these channels.


title: Causality-Aware Local Interpretable Model-Agnostic Explanations

abstract: A main drawback of eXplainable Artificial Intelligence (XAI) approaches is the feature independence assumption, hindering the study of potential variable dependencies. This leads to approximating black box behaviors by analyzing the effects on randomly generated feature values that may rarely occur in the original samples. This paper addresses this issue by integrating causal knowledge in an XAI method to enhance transparency and enable users to assess the quality of the generated explanations. Specifically, we propose a novel extension to a widely used local and model-agnostic explainer, which encodes explicit causal relationships within the data surrounding the instance being explained. Extensive experiments show that our approach overcomes the original method in terms of faithfully replicating the black-box model's mechanism and the consistency and reliability of the generated explanations.


title: Large deviation principle for a class of stochastic partial differential equations with fully local monotone coefficients perturbed by L\'evy noise

abstract: The asymptotic analysis of a class of stochastic partial differential equations (SPDEs) with fully locally monotone coefficients covering a large variety of physical systems, a wide class of quasilinear SPDEs and a good number of fluid dynamic models is carried out in this work. The aim of this work is to develop the large deviation theory for small Gaussian as well as Poisson noise perturbations of the above class of SPDEs. We establish a Wentzell-Freidlin type large deviation principle for the strong solutions to such SPDEs perturbed by L\'evy noise in a suitable Polish space using a variational representation (based on a weak convergence approach) for nonnegative functionals of general Poisson random measures and Brownian motions. The well-posedness of an associated deterministic control problem is established by exploiting pseudo-monotonicity arguments and the stochastic counterpart is obtained by an application of Girsanov's theorem.


title: Image augmentation with conformal mappings for a convolutional neural network

abstract: For augmentation of the square-shaped image data of a convolutional neural network (CNN), we introduce a new method, in which the original images are mapped onto a disk with a conformal mapping, rotated around the center of this disk and mapped under such a M\"obius transformation that preserves the disk, and then mapped back onto their original square shape. This process does not result the loss of information caused by removing areas from near the edges of the original images unlike the typical transformations used in the data augmentation for a CNN. We offer here the formulas of all the mappings needed together with detailed instructions how to write a code for transforming the images. The new method is also tested with simulated data and, according the results, using this method to augment the training data of 10 images into 40 images decreases the amount of the error in the predictions by a CNN for a test set of 160 images in a statistically significant way (p-value=0.0360).