title: Fast Power Series Solution of Large 3-D Electrodynamic Integral Equation for PEC Scatterers

abstract: This paper presents a new fast power series solution method to solve the Hierarchal Method of Moment(MoM) matrix for a large complex,perfectly electric conducting (PEC) 3D structures. The proposed power series solution converges in just two iterations which is faster than the conventional fast solver-based iterative solution. The method is purely algebraic in nature and, as such applicable to existing conventional methods. The method uses regular fast solver Hierarchal Matrix (H-Matrix) and can also be applied to Multilevel Fast Multipole Method Algorithm(MLFMA). In the proposed method, we use the scaling of the symmetric near-field matrix to develop a diagonally dominant overall matrix to enable a power series solution. Left and right block scaling coefficients are required for scaling near-field blocks to diagonal blocks using Schur's complement method. However,only the right-hand scaling coefficients are computed for symmetric near-field matrix leading to saving of computation time and memory. Due to symmetric property, the left side-block scaling coefficients are just the transpose of the right-scaling blocks. Next, the near-field blocks are replaced by scaled near-field diagonal blocks. Now the scaled near-field blocks in combination with far-field and scaling coefficients are subjected to power series solution terminating after only two terms. As all the operations are performed on the near-field blocks, the complexity of scaling coefficient computation is retained as O(N). The power series solution only involves the matrix-vector product of the far-field, scaling coefficients blocks, and inverse of scaled near-field blocks. Hence, the solution cost remains O(NlogN). Several numerical results are presented to validate the efficiency and robustness of the proposed numerical method.


title: Possible antimagnetic rotation bands in $^{100}$Pd: a particle-number conserving investigation

abstract: The particle-number conserving method based on the cranked shell model is adopted to investigate the possible antimagnetic rotation bands in $^{100}$Pd. The experimental kinematic and dynamic moments of inertia, together with the $B(E2)$ values are reproduced quite well. The occupation probability of each neutron and proton orbital in the observed antimagnetic rotation band is analyzed and its configuration is confirmed. The contribution of each major shell to the total angular momentum alignment with rotational frequency in the lowest-lying positive and negative parity bands is analyzed. The level crossing mechanism of these bands is understood clearly. The possible antimagnetic rotation in the negative parity $\alpha=0$ branch is predicted, which sensitively depends on the alignment of the neutron ($1g_{7/2}$, $2d_{5/2}$) pseudo-spin partners. The two-shears-like mechanism for this antimagnetic rotation is investigated by examining the closing of the proton hole angular momentum vector towards the neutron angular momentum vector.


title: The uniform sparse FFT with application to PDEs with random coefficients

abstract: We develop the uniform sparse Fast Fourier Transform (usFFT), an efficient, non-intrusive, adaptive algorithm for the solution of elliptic partial differential equations with random coefficients. The algorithm is an adaption of the sparse Fast Fourier Transform (sFFT), a dimension-incremental algorithm, which tries to detect the most important frequencies in a given search domain and therefore adaptively generates a suitable Fourier basis corresponding to the approximately largest Fourier coefficients of the function. The usFFT does this w.r.t. the stochastic domain of the PDE simultaneously for multiple fixed spatial nodes, e.g., nodes of a finite element mesh. The key idea of joining the detected frequency sets in each dimension increment results in a Fourier approximation space, which fits uniformly for all these spatial nodes. This strategy allows for a faster and more efficient computation due to a significantly smaller amount of samples needed, than just using other algorithms, e.g., the sFFT for each spatial node separately. We test the usFFT for different examples using periodic, affine and lognormal random coefficients in the PDE problems.


title: Survey about cyberattack protection motivation in higher education: Academics at Slovenian universities, 2017

abstract: This paper reports on a study aiming to explore factors associated with motivation of individuals in organizations to protect against cyberattacks. The objectives of this study were to determine how fear of cyberattacks, perceived severity, perceived vulnerability, perceived threats, measure efficacy, self-efficacy, measure costs, mandatoriness and psychological reactance are associated with protection motivation of individuals in organizations. The study employed a cross-sectional research design. A survey was conducted among academics at six Slovenian universities between June and September 2017. A total of 324 respondents completed the survey (7.6 percent response rate) providing for N=255 useful responses after excluding poorly completed responses. The survey questionnaire was developed in English. A Slovenian translation of the survey questionnaire is available.


title: Asymmetric attractive zero-range processes with particle destruction at the origin

abstract: We investigate the macroscopic behavior of asymmetric attractive zero-range processes on $\mathbb{Z}$ where particles are destroyed at the origin at a rate of order $N^\beta$, where $\beta \in \mathbb{R}$ and $N\in\mathbb{N}$ is the scaling parameter. We prove that the hydrodynamic limit of this particle system is described by the unique entropy solution of a hyperbolic conservation law, supplemented by a boundary condition depending on the range of $\beta$. Namely, if $\beta \geqslant 0$, then the boundary condition prescribes the particle current through the origin, whereas if $\beta<0$, the destruction of particles at the origin has no macroscopic effect on the system and no boundary condition is imposed at the hydrodynamic limit.


title: Tiny CNN for feature point description for document analysis: approach and dataset

abstract: In this paper, we study the problem of feature points description in the context of document analysis and template matching. Our study shows that the specific training data is required for the task especially if we are to train a lightweight neural network that will be usable on devices with limited computational resources. In this paper, we construct and provide a dataset with a method of training patches retrieval. We prove the effectiveness of this data by training a lightweight neural network and show how it performs in both documents and general patches matching. The training was done on the provided dataset in comparison with HPatches training dataset and for the testing we use HPatches testing framework and two publicly available datasets with various documents pictured on complex backgrounds: MIDV-500 and MIDV-2019.


title: A stationary approach for the Kato-Rosenblum theorem in von Neumann algebras

abstract: Let $\mathcal{M}$ be a countable decomposable properly infinite semifinite von Neumann algebra acting on a Hilbert space $\mathcal{H}.$ An analogue of the Kato-Rosenblum theorem in $\mathcal{M}$ has been proved in [9] by showing the existence of generalized wave operators. It is well-known that there are two typical approaches to show the existence of wave operators in the scattering theory. One is called time-dependent approach and another is called stationary approach. The main purpose of this article is to introduce a stationary approach in $\mathcal{M}$ and then to obtain the Kato-Rosenblum theorem in $\mathcal{M}$ by a stationary approach instead of a time-dependent approach in [9].


title: Bias factor of dislocation loops in quasicrystalline materials

abstract: Vacancy swelling of quasicrystals under irradiation is considered. In quasicrystals, the evolution of dislocations is accompanied by the formation of phasons which are localized topological defects of the vacancy and interstitial types. At moderate temperatures the diffusivity of phasons is low which leads to the formation of ring-or disk-shaped phason trails inside dislocation loops. To find the capture efficiency of point defects by a dislocation loop with the complementary ring of phasons the steady-state drift-diffusional problem is solved in the toroidal geometry by the successive overrelaxation method. It is shown that phasons significantly reduce the bias of dislocations towards absorption of interstitial atoms. For this reason, quasicrystalline materials are predicted to exhibit increased resistance to vacancy swelling.


title: Fusing task-oriented and open-domain dialogues in conversational agents

abstract: The goal of building intelligent dialogue systems has largely been separately pursued under two paradigms: task-oriented dialogue (TOD) systems, which perform goal-oriented functions, and open-domain dialogue (ODD) systems, which focus on non-goal-oriented chitchat. The two dialogue modes can potentially be intertwined together seamlessly in the same conversation, as easily done by a friendly human assistant. Such ability is desirable in conversational agents, as the integration makes them more accessible and useful. Our paper addresses this problem of fusing TODs and ODDs in multi-turn dialogues. Based on the popular TOD dataset MultiWOZ, we build a new dataset FusedChat, by rewriting the existing TOD turns and adding new ODD turns. This procedure constructs conversation sessions containing exchanges from both dialogue modes. It features inter-mode contextual dependency, i.e., the dialogue turns from the two modes depend on each other. Rich dependency patterns including co-reference and ellipsis are features. The new dataset, with 60k new human-written ODD turns and 5k re-written TOD turns, offers a benchmark to test a dialogue model's ability to perform inter-mode conversations. This is a more challenging task since the model has to determine the appropriate dialogue mode and generate the response based on the inter-mode context. But such models would better mimic human-level conversation capabilities. We evaluate baseline models on this task, including classification-based two-stage models and two-in-one fused models. We publicly release FusedChat and the baselines to propel future work on inter-mode dialogue systems https://github.com/tomyoung903/FusedChat.


title: Multilingual Audio-Visual Smartphone Dataset And Evaluation

abstract: Smartphones have been employed with biometric-based verification systems to provide security in highly sensitive applications. Audio-visual biometrics are getting popular due to their usability, and also it will be challenging to spoof because of their multimodal nature. In this work, we present an audio-visual smartphone dataset captured in five different recent smartphones. This new dataset contains 103 subjects captured in three different sessions considering the different real-world scenarios. Three different languages are acquired in this dataset to include the problem of language dependency of the speaker recognition systems. These unique characteristics of this dataset will pave the way to implement novel state-of-the-art unimodal or audio-visual speaker recognition systems. We also report the performance of the bench-marked biometric verification systems on our dataset. The robustness of biometric algorithms is evaluated towards multiple dependencies like signal noise, device, language and presentation attacks like replay and synthesized signals with extensive experiments. The obtained results raised many concerns about the generalization properties of state-of-the-art biometrics methods in smartphones.


title: Robot Localization and Navigation through Predictive Processing using LiDAR

abstract: Knowing the position of the robot in the world is crucial for navigation. Nowadays, Bayesian filters, such as Kalman and particle-based, are standard approaches in mobile robotics. Recently, end-to-end learning has allowed for scaling-up to high-dimensional inputs and improved generalization. However, there are still limitations to providing reliable laser navigation. Here we show a proof-of-concept of the predictive processing-inspired approach to perception applied for localization and navigation using laser sensors, without the need for odometry. We learn the generative model of the laser through self-supervised learning and perform both online state-estimation and navigation through stochastic gradient descent on the variational free-energy bound. We evaluated the algorithm on a mobile robot (TIAGo Base) with a laser sensor (SICK) in Gazebo. Results showed improved state-estimation performance when comparing to a state-of-the-art particle filter in the absence of odometry. Furthermore, conversely to standard Bayesian estimation approaches our method also enables the robot to navigate when providing the desired goal by inferring the actions that minimize the prediction error.


title: Ramsey simplicity of random graphs

abstract: A graph $G$ is $q$-Ramsey for another graph $H$ if in any $q$-edge-colouring of $G$ there is a monochromatic copy of $H$, and the classic Ramsey problem asks for the minimum number of vertices in such a graph. This was broadened in the seminal work of Burr, Erd\H{o}s, and Lov\'asz to the investigation of other extremal parameters of Ramsey graphs, including the minimum degree. It is not hard to see that if $G$ is minimally $q$-Ramsey for $H$ we must have $\delta(G) \ge q(\delta(H) - 1) + 1$, and we say that a graph $H$ is $q$-Ramsey simple if this bound can be attained. Grinshpun showed that this is typical of rather sparse graphs, proving that the random graph $G(n,p)$ is almost surely $2$-Ramsey simple when $\frac{\log n}{n} \ll p \ll n^{-2/3}$. In this paper, we explore this question further, asking for which pairs $p = p(n)$ and $q = q(n,p)$ we can expect $G(n,p)$ to be $q$-Ramsey simple. We resolve the problem for a wide range of values of $p$ and $q$; in particular, we uncover some interesting behaviour when $n^{-2/3} \ll p \ll n^{-1/2}$.


title: Nonlocal reaction traffic flow model with on-off ramps

abstract: We present a non-local version of a scalar balance law modeling traffic flow with on-ramps and off-ramps. The source term is used to describe the traffic flow over the on-ramp and off-ramps. We approximate the problem using an upwind-type numerical scheme and we provide L^\infty and BV estimates for the sequence of approximate solutions. Together with a discrete entropy inequality, we also show the well-posedness of the considered class of scalar balance laws. Some numerical simulations illustrate the behaviour of solutions in sample cases.


title: An Effective Parallel Program Debugging Approach Based on Timing Annotation

abstract: We propose an effective parallel program debugging approach based on the timing annotation technique. With prevalent multi-core platforms, parallel programming is required to fully utilize the computing power. However, the non-determinism property and the associated concurrency bugs are notorious and remain to be great challenge to designers. We hence propose an effective program debugging approach using the timing annotation technique derived from the deterministic Multi-Core Instruction Set Simulation (MCISS) technology. We hence construct a deterministic execution environment for parallel program debugging and devise a few unique, effective and easy-to-use parallel debugging functions. We modify QEMU and GDB to implement and demonstrate our proposed idea. The usage of our debugger is almost identical to the conventional GDB debugger. Therefore, users may learn how to use the tool seamlessly.


title: The topological types of length bounded multicurves

abstract: This article discusses inequalities on lengths of curves on hyperbolic surfaces. In particular, a characterization is given of which topological types of curves and multicurves always have a representative that satisfies a length inequality that holds over all of moduli space.


title: Avoiding Inference Heuristics in Few-shot Prompt-based Finetuning

abstract: Recent prompt-based approaches allow pretrained language models to achieve strong performances on few-shot finetuning by reformulating downstream tasks as a language modeling problem. In this work, we demonstrate that, despite its advantages on low data regimes, finetuned prompt-based models for sentence pair classification tasks still suffer from a common pitfall of adopting inference heuristics based on lexical overlap, e.g., models incorrectly assuming a sentence pair is of the same meaning because they consist of the same set of words. Interestingly, we find that this particular inference heuristic is significantly less present in the zero-shot evaluation of the prompt-based model, indicating how finetuning can be destructive to useful knowledge learned during the pretraining. We then show that adding a regularization that preserves pretraining weights is effective in mitigating this destructive tendency of few-shot finetuning. Our evaluation on three datasets demonstrates promising improvements on the three corresponding challenge datasets used to diagnose the inference heuristics.


title: PIMNet: A Parallel, Iterative and Mimicking Network for Scene Text Recognition

abstract: Nowadays, scene text recognition has attracted more and more attention due to its various applications. Most state-of-the-art methods adopt an encoder-decoder framework with attention mechanism, which generates text autoregressively from left to right. Despite the convincing performance, the speed is limited because of the one-by-one decoding strategy. As opposed to autoregressive models, non-autoregressive models predict the results in parallel with a much shorter inference time, but the accuracy falls behind the autoregressive counterpart considerably. In this paper, we propose a Parallel, Iterative and Mimicking Network (PIMNet) to balance accuracy and efficiency. Specifically, PIMNet adopts a parallel attention mechanism to predict the text faster and an iterative generation mechanism to make the predictions more accurate. In each iteration, the context information is fully explored. To improve learning of the hidden layer, we exploit the mimicking learning in the training phase, where an additional autoregressive decoder is adopted and the parallel decoder mimics the autoregressive decoder with fitting outputs of the hidden layer. With the shared backbone between the two decoders, the proposed PIMNet can be trained end-to-end without pre-training. During inference, the branch of the autoregressive decoder is removed for a faster speed. Extensive experiments on public benchmarks demonstrate the effectiveness and efficiency of PIMNet. Our code will be available at https://github.com/Pay20Y/PIMNet.


title: Forecasting high-dimensional functional time series with dual-factor structures

abstract: We propose a dual-factor model for high-dimensional functional time series (HDFTS) that considers multiple populations. The HDFTS is first decomposed into a collection of functional time series (FTS) in a lower dimension and a group of population-specific basis functions. The system of basis functions describes cross-sectional heterogeneity, while the reduced-dimension FTS retains most of the information common to multiple populations. The low-dimensional FTS is further decomposed into a product of common functional loadings and a matrix-valued time series that contains the most temporal dynamics embedded in the original HDFTS. The proposed general-form dual-factor structure is connected to several commonly used functional factor models. We demonstrate the finite-sample performances of the proposed method in recovering cross-sectional basis functions and extracting common features using simulated HDFTS. An empirical study shows that the proposed model produces more accurate point and interval forecasts for subnational age-specific mortality rates in Japan. The financial benefits associated with the improved mortality forecasts are translated into a life annuity pricing scheme.


title: On the duality of Schwarzschild-de Sitter spacetime and moving mirror

abstract: The Schwarzschild-de Sitter (SdS) metric is the simplest spacetime solution in general relativity with both a black hole event horizon and a cosmological event horizon. Since the Schwarzschild metric is the most simple solution of Einstein's equations with spherical symmetry and the de Sitter metric is the most simple solution of Einstein's equations with a positive cosmological constant, the combination in the SdS metric defines an appropriate background geometry for semi-classical investigation of Hawking radiation with respect to past and future horizons. Generally, the black hole temperature is larger than that of the cosmological horizon, so there is heat flow from the smaller black hole horizon to the larger cosmological horizon, despite questions concerning the definition of the relative temperature of the black hole without a measurement by an observer sitting in an asymptotically flat spacetime. Here we investigate the accelerating boundary correspondence (ABC) of the radiation in SdS spacetime without such a problem. We have solved for the boundary dynamics, energy flux and asymptotic particle spectrum. The distribution of particles is globally non-thermal while asymptotically the radiation reaches equilibrium.


title: Automatic Timing-Coherent Transactor Generation for Mixed-level Simulations

abstract: In this paper we extend the concept of the traditional transactor, which focuses on correct content transfer, to a new timing-coherent transactor that also accurately aligns the timing of each transaction boundary so that designers can perform precise concurrent system behavior analysis in mixed-abstraction-level system simulations which are essential to increasingly complex system designs. To streamline the process, we also developed an automatic approach for timing-coherent transactor generation. Our approach is actually applied in mixed-level simulations and the results show that it achieves 100% timing accuracy while the conventional approach produces results of 25% to 44% error rate.


title: DROP: Deep relocating option policy for optimal ride-hailing vehicle repositioning

abstract: In a ride-hailing system, an optimal relocation of vacant vehicles can significantly reduce fleet idling time and balance the supply-demand distribution, enhancing system efficiency and promoting driver satisfaction and retention. Model-free deep reinforcement learning (DRL) has been shown to dynamically learn the relocating policy by actively interacting with the intrinsic dynamics in large-scale ride-hailing systems. However, the issues of sparse reward signals and unbalanced demand and supply distribution place critical barriers in developing effective DRL models. Conventional exploration strategy (e.g., the $\epsilon$-greedy) may barely work under such an environment because of dithering in low-demand regions distant from high-revenue regions. This study proposes the deep relocating option policy (DROP) that supervises vehicle agents to escape from oversupply areas and effectively relocate to potentially underserved areas. We propose to learn the Laplacian embedding of a time-expanded relocation graph, as an approximation representation of the system relocation policy. The embedding generates task-agnostic signals, which in combination with task-dependent signals, constitute the pseudo-reward function for generating DROPs. We present a hierarchical learning framework that trains a high-level relocation policy and a set of low-level DROPs. The effectiveness of our approach is demonstrated using a custom-built high-fidelity simulator with real-world trip record data. We report that DROP significantly improves baseline models with 15.7% more hourly revenue and can effectively resolve the dithering issue in low-demand areas.


title: Self-supervised Reinforcement Learning with Independently Controllable Subgoals

abstract: To successfully tackle challenging manipulation tasks, autonomous agents must learn a diverse set of skills and how to combine them. Recently, self-supervised agents that set their own abstract goals by exploiting the discovered structure in the environment were shown to perform well on many different tasks. In particular, some of them were applied to learn basic manipulation skills in compositional multi-object environments. However, these methods learn skills without taking the dependencies between objects into account. Thus, the learned skills are difficult to combine in realistic environments. We propose a novel self-supervised agent that estimates relations between environment components and uses them to independently control different parts of the environment state. In addition, the estimated relations between objects can be used to decompose a complex goal into a compatible sequence of subgoals. We show that, by using this framework, an agent can efficiently and automatically learn manipulation tasks in multi-object environments with different relations between objects.


title: Nonlocal action at a distance also acts in the past

abstract: The nonlocal action of a measurement performed on a quantum entangled particle can determine the quantum state of a distant entangled particle instantly. Since the relativistic simultaneity of events is frame dependent therefore, a physically valid question arises, does the nonlocal action at a distance determine the quantum state of the distant particle in its past, when quantum state collapse is observed from a different inertial frame of reference? From the relativity of simultaneity, Lorentz invariance of the quantum entangled state of photons under consideration and the validity of Bell's theorem in all inertial frames of reference, it is demonstrated that the measurement-induced collapse of a quantum entangled state also determines the quantum state of a distant photon in its past, provided one of the photons is located in the future. The past and future are defined with respect to the time of quantum state collapse in the rest frame of a quantum state measurement device.


title: Lexico-semantic and affective modelling of Spanish poetry: A semi-supervised learning approach

abstract: Text classification tasks have improved substantially during the last years by the usage of transformers. However, the majority of researches focus on prose texts, with poetry receiving less attention, specially for Spanish language. In this paper, we propose a semi-supervised learning approach for inferring 21 psychological categories evoked by a corpus of 4572 sonnets, along with 10 affective and lexico-semantic multiclass ones. The subset of poems used for training an evaluation includes 270 sonnets. With our approach, we achieve an AUC beyond 0.7 for 76% of the psychological categories, and an AUC over 0.65 for 60% on the multiclass ones. The sonnets are modelled using transformers, through sentence embeddings, along with lexico-semantic and affective features, obtained by using external lexicons. Consequently, we see that this approach provides an AUC increase of up to 0.12, as opposed to using transformers alone.


title: Single Image 3D Object Estimation with Primitive Graph Networks

abstract: Reconstructing 3D object from a single image (RGB or depth) is a fundamental problem in visual scene understanding and yet remains challenging due to its ill-posed nature and complexity in real-world scenes. To address those challenges, we adopt a primitive-based representation for 3D object, and propose a two-stage graph network for primitive-based 3D object estimation, which consists of a sequential proposal module and a graph reasoning module. Given a 2D image, our proposal module first generates a sequence of 3D primitives from input image with local feature attention. Then the graph reasoning module performs joint reasoning on a primitive graph to capture the global shape context for each primitive. Such a framework is capable of taking into account rich geometry and semantic constraints during 3D structure recovery, producing 3D objects with more coherent structure even under challenging viewing conditions. We train the entire graph neural network in a stage-wise strategy and evaluate it on three benchmarks: Pix3D, ModelNet and NYU Depth V2. Extensive experiments show that our approach outperforms the previous state of the arts with a considerable margin.


title: Variable Selection for Causal Inference via Outcome-Adaptive Random Forest

abstract: Estimating a causal effect from observational data can be biased if we do not control for self-selection. This selection is based on confounding variables that affect the treatment assignment and the outcome. Propensity score methods aim to correct for confounding. However, not all covariates are confounders. We propose the outcome-adaptive random forest (OARF) that only includes desirable variables for estimating the propensity score to decrease bias and variance. Our approach works in high-dimensional datasets and if the outcome and propensity score model are non-linear and potentially complicated. The OARF excludes covariates that are not associated with the outcome, even in the presence of a large number of spurious variables. Simulation results suggest that the OARF produces unbiased estimates, has a smaller variance and is superior in variable selection compared to other approaches. The results from two empirical examples, the effect of right heart catheterization on mortality and the effect of maternal smoking during pregnancy on birth weight, show comparable treatment effects to previous findings but tighter confidence intervals and more plausible selected variables.


title: Deep Active Inference for Pixel-Based Discrete Control: Evaluation on the Car Racing Problem

abstract: Despite the potential of active inference for visual-based control, learning the model and the preferences (priors) while interacting with the environment is challenging. Here, we study the performance of a deep active inference (dAIF) agent on OpenAI's car racing benchmark, where there is no access to the car's state. The agent learns to encode the world's state from high-dimensional input through unsupervised representation learning. State inference and control are learned end-to-end by optimizing the expected free energy. Results show that our model achieves comparable performance to deep Q-learning. However, vanilla dAIF does not reach state-of-the-art performance compared to other world model approaches. Hence, we discuss the current model implementation's limitations and potential architectures to overcome them.


title: Magnetic Field Structure and Faraday Rotation of the Plerionic Supernova Remnant G21.5$-$0.9

abstract: We present a polarimetric study of the pulsar wind nebula (PWN) in supernova remnant G21.5$-$0.9 using archival Very Large Array (VLA) data. The rotation measure (RM) map of the PWN shows a symmetric pattern that aligns with the presumed pulsar spin axis direction, implying a significant contribution of RM from the nebula. We suggest that the spatial variation of the internal RM is mostly caused by non-uniform distribution of electrons originated from the supernova ejecta. Our high-resolution radio polarization map reveals an overall radial $B$-field. We construct a simple model with an overall radial $B$-field and turbulence in small scale. The model can reproduce many of the observed features of the PWN, including the polarization pattern and polarized fraction. The results also reject a large-scale toroidal $B$-field which implies that the toroidal field observed in the inner PWN cannot propagate to the entire nebula.


title: Linear seesaw model with a modular $S_4$ flavor symmetry

abstract: We discuss a linear seesaw model with as minimum field content as possible, introducing a modular $S_4$ with the help of gauged $U(1)_{B-L}$ symmetries. Due to rank two neutrino mass matrix, we have a vanishing neutrino mass eigenvalue, and only the normal mass hierarchy of neutrinos is favored through the modular $S_4$ symmetry. In our numerical $\Delta \chi^2$ analysis, we especially find rather sharp prediction on sum of neutrino masses to be around $60$ meV in addition to the other predictions.


title: Plane Fronted Limit of Spherical Electromagnetic and Gravitational Waves

abstract: We demonstrate how plane fronted waves with colliding wave fronts are the asymptotic limit of spherical electromagnetic and gravitational waves. In the case of the electromagnetic waves we utilize Bateman's representation of radiative solutions of Maxwell's vacuum field equations. The gravitational case involves a novel form of the radiative Robinson--Trautman solutions of Einstein's vacuum field equations.


title: Bourgain-Brezis-Mironescu Convergence via Triebel-Lizorkin Spaces

abstract: We study a convergence result of Bourgain--Brezis--Mironescu (BBM) using Triebel-Lizorkin spaces. It is well known that as spaces $W^{s,p} = F^{s}_{p,p}$, and $H^{1,p} = F^{1}_{p,2}$. When $s\to 1$, the $F^{s}_{p,p}$ norm becomes the $F^{1}_{p,p}$ norm but BBM showed that the $W^{s,p}$ norm becomes the $H^{1,p} = F^{1}_{p,2}$ norm. Naively, for $p \neq 2$ this seems like a contradiction, but we resolve this by providing embeddings of $W^{s,p}$ into $F^{s}_{p,q}$ for $q \in \{p,2\}$ with sharp constants with respect to $s \in (0,1)$. As a consequence we obtain an $\mathbb{R}^N$-version of the BBM-result, and obtain several more embedding and convergence theorems of BBM-type that to the best of our knowledge are unknown.


title: Compositional Clustering: Applications to Multi-Label Object Recognition and Speaker Identification

abstract: We consider a novel clustering task in which clusters can have compositional relationships, e.g., one cluster contains images of rectangles, one contains images of circles, and a third (compositional) cluster contains images with both objects. In contrast to hierarchical clustering in which a parent cluster represents the intersection of properties of the child clusters, our problem is about finding compositional clusters that represent the union of the properties of the constituent clusters. This task is motivated by recently developed few-shot learning and embedding models can distinguish the label sets, not just the individual labels, assigned to the examples. We propose three new algorithms -- Compositional Affinity Propagation (CAP), Compositional k-means (CKM), and Greedy Compositional Reassignment (GCR) -- that can partition examples into coherent groups and infer the compositional structure among them. We show promising results, compared to popular algorithms such as Gaussian mixtures, Fuzzy c-means, and Agglomerative Clustering, on the OmniGlot and LibriSpeech datasets. Our work has applications to open-world multi-label object recognition and speaker identification & diarization with simultaneous speech from multiple speakers.


title: Investigation of the effectiveness of non-inductive `multi-harmonic' electron cyclotron current drive through modeling multi-pass absorptions in the EXL-50 spherical tokamak

abstract: The effectiveness of multiple electron cyclotron resonance (ECR) harmonics has been thoroughly investigated in context of high current drive efficiency, generally observed in fully non-inductive operation of the low aspect ratio EXL-50 spherical tokamak (ST) powered by electron cyclotron (EC) waves. The Fokker-Plank equation is numerically solved to obtain electron distribution function, under steady state of the relativistic nonlinear Coulomb collision and quasi-linear diffusion operators, for calculating plasma current driven by the injected EC wave. For the extra-ordinary EC wave, simulation results unfold a mechanism by which electrons moving around the cold second harmonic ECR layer strongly resonate with higher harmonics via the relativistic Doppler shifted resonance condition. This feature is in fact evident above a certain value of input EC wave power in simulation, indicating it to be a non-linear phenomenon. Similar to the experimental observation, high efficiency in current drive (over 1 A/W) has indeed been found in simulation for a typical low density ($\sim 1\times10^{18}~m^{-3}$), low temperature ($\lesssim 100$ eV) plasma of EXL-50 by taking into account multi-pass absorptions in our simulation model. However, such characteristic is not found in the ordinary EC-wave study for both single-pass and multi-pass simulations, suggesting it as inefficient in driving current on our ST device.


title: A semi-tetrad decomposition of the Kerr spacetime

abstract: In this paper we perform a semi-tetrad decomposition of the Kerr spacetime. We apply the 1+1+2 covariant method to the Kerr spacetime in order to describe its geometry outside the ergoregion. As a result we are able to explicitly write down the 1+1+2 Kerr quantities, and the evolution and propagation equations they satisfy. This formalism allows us to present the kinematic and dynamic quantities in a transparent geometrical manner; and also to highlight the role of vorticity. To our knowledge, using the 1+1+2 formalism to investigate the Kerr spacetime is a novel approach and this provides new insights into the spacetime geometry in an easier manner than alternate approaches. Furthermore we make corrections to earlier equations in the 1+1+2 formalism applied to the Kerr spacetime.


title: A Poynting theorem formulation for the gravitational wave stress pseudo tensor

abstract: A very simple and physical derivation of the conservation equation for the propagation of gravitational radiation is presented. The formulation is exact. The result takes the readily recognisable and intuitive form of a Poynting-style equation, in which the outward propagation of stress-energy is directly related to the volumetric equivalent of a radiation reaction force acting back upon the sources, including the purely gravitational contribution to the sources. Upon averaging, the emergent pseudo tensor for the gravitational radiation is in exact agreement with that found by much more labour-intensive methods.


title: A note on spacelike hypersurfaces and timelike conformal vectors

abstract: Any compact spacelike hypersurface immersed in a doubly warped product spacetime $I{}_{h} \times_{\rho} \mathbb{P}$ with nondecreasing warping factor $\rho$ must be a spacelike slice, provided that the mean curvature satisfies $H\geq\rho'/h\rho$ everywhere on the hypersurface. The conclusion also holds, under suitable assumptions on the immersion, when the hypersurface is complete and noncompact. A similar rigidity property is shown for compact hypersurfaces in spacetimes carrying a conformal, strictly expanding, timelike vector field.


title: Modelling GDPR-Compliant Explanations for Trustworthy AI

abstract: Through the General Data Protection Regulation (GDPR), the European Union has set out its vision for Automated Decision- Making (ADM) and AI, which must be reliable and human-centred. In particular we are interested on the Right to Explanation, that requires industry to produce explanations of ADM. The High-Level Expert Group on Artificial Intelligence (AI-HLEG), set up to support the implementation of this vision, has produced guidelines discussing the types of explanations that are appropriate for user-centred (interactive) Explanatory Tools. In this paper we propose our version of Explanatory Narratives (EN), based on user-centred concepts drawn from ISO 9241, as a model for user-centred explanations aligned with the GDPR and the AI-HLEG guidelines. Through the use of ENs we convert the problem of generating explanations for ADM into the identification of an appropriate path over an Explanatory Space, allowing explainees to interactively explore it and produce the explanation best suited to their needs. To this end we list suitable exploration heuristics, we study the properties and structure of explanations, and discuss the proposed model identifying its weaknesses and strengths.


title: Maximal hypersurfaces in Robertson-Walker spacetimes

abstract: In this work we study maximal hypersurfaces in spatially open Generalized Robertson-Walker spacetimes with Ricci-flat fiber by means of a generalized maximum principle. In particular, under natural geometric and physical assumptions we provide new uniqueness and non-existence results for complete maximal hypersurfaces in spatially open Robertson-Walker spacetimes with flat fiber. Moreover, our results are applied to relevant spacetimes as the steady state spacetime, Einstein-de Sitter spacetime and radiation models.


title: Kurtosis-based projection pursuit for matrix-valued data

abstract: We develop projection pursuit for data that admit a natural representation in matrix form. For projection indices, we propose extensions of the classical kurtosis and Mardia's multivariate kurtosis. The first index estimates projections for both sides of the matrices simultaneously, while the second index finds the two projections separately. Both indices are shown to recover the optimally separating projection for two-group Gaussian mixtures in the full absence of any label information. We further establish the strong consistency of the corresponding sample estimators. Simulations and a real data example on hand-written postal code data are used to demonstrate the method.


title: An oscillation free local discontinuous Galerkin method for nonlinear degenerate parabolic equations

abstract: In this paper, we develop an oscillation free local discontinuous Galerkin (OFLDG) method for solving nonlinear degenerate parabolic equations. Following the idea of our recent work [J. Lu, Y. Liu, and C.-W. Shu, SIAM J. Numer. Anal. 59(2021), pp. 1299-1324.], we add the damping terms to the LDG scheme to control the spurious oscillations when solutions have a large gradient. The $L^2$-stability and optimal priori error estimates for the semi-discrete scheme are established. The numerical experiments demonstrate that the proposed method maintains the high-order accuracy and controls the spurious oscillations well.


title: Annihilating and creating nonlocality without entanglement by postmeasurement information

abstract: Nonlocality without entanglement (NLWE) is a nonlocal quantum phenomenon that arises in separable state discrimination. We show that the availability of the postmeasurement information about the prepared subensemble can affect the occurrence of NLWE in discriminating nonorthogonal nonentangled states. We provide a two-qubit state ensemble consisting of four nonorthogonal separable pure states and show that the postmeasurement information about the prepared subensemble can annihilate NLWE. We also provide another two-qubit state ensemble consisting of four nonorthogonal separable states and show that the postmeasurement information can create NLWE. Our result can provide a useful method to share or hide information using nonorthogonal separable states.


title: Reliability of spin-to-charge conversion measurements in graphene-based lateral spin valves

abstract: Understanding spin physics in graphene is crucial for developing future two-dimensional spintronic devices. Recent studies show that efficient spin-to-charge conversions via either the inverse spin Hall effect or the inverse Rashba-Edelstein effect can be achieved in graphene by proximity with an adjacent spin-orbit coupling material. Lateral spin valve devices, made up of a graphene Hall bar and ferromagnets, are best suited for such studies. Here, we report that signals mimicking the inverse Rashba-Edelstein effect can be measured in pristine graphene possessing negligible spin-orbit coupling, confirming that these signals are unrelated to spin-to-charge conversion. We identify either the anomalous Hall effect in the ferromagnet or the ordinary Hall effect in graphene induced by stray fields as the possible sources of this artefact. By quantitatively comparing these options with finite-element-method simulations, we conclude the latter better explains our results. Our study deepens the understanding of spin-to-charge conversion measurement schemes in graphene, which should be taken into account when designing future experiments.


title: From Philosophy to Interfaces: an Explanatory Method and a Tool Inspired by Achinstein's Theory of Explanation

abstract: We propose a new method for explanations in Artificial Intelligence (AI) and a tool to test its expressive power within a user interface. In order to bridge the gap between philosophy and human-computer interfaces, we show a new approach for the generation of interactive explanations based on a sophisticated pipeline of AI algorithms for structuring natural language documents into knowledge graphs, answering questions effectively and satisfactorily. Among the mainstream philosophical theories of explanation we identified one that in our view is more easily applicable as a practical model for user-centric tools: Achinstein's Theory of Explanation. With this work we aim to prove that the theory proposed by Achinstein can be actually adapted for being implemented into a concrete software application, as an interactive process answering questions. To this end we found a way to handle the generic (archetypal) questions that implicitly characterise an explanatory processes as preliminary overviews rather than as answers to explicit questions, as commonly understood. To show the expressive power of this approach we designed and implemented a pipeline of AI algorithms for the generation of interactive explanations under the form of overviews, focusing on this aspect of explanations rather than on existing interfaces and presentation logic layers for question answering. We tested our hypothesis on a well-known XAI-powered credit approval system by IBM, comparing CEM, a static explanatory tool for post-hoc explanations, with an extension we developed adding interactive explanations based on our model. The results of the user study, involving more than 100 participants, showed that our proposed solution produced a statistically relevant improvement on effectiveness (U=931.0, p=0.036) over the baseline, thus giving evidence in favour of our theory.


title: The anisotropic part of a quadratic form over a number field

abstract: It is well known that every non-degenerate quadratic form admits a decomposition into an orthogonal sum of its anisotropic part and a hyperbolic form. This decomposition is unique up to isometry. In this paper we present an algorithm for constructing an anisotropic part of a given form with coefficients in an arbitrary number field.


title: Relating Graph Neural Networks to Structural Causal Models

abstract: Causality can be described in terms of a structural causal model (SCM) that carries information on the variables of interest and their mechanistic relations. For most processes of interest the underlying SCM will only be partially observable, thus causal inference tries leveraging the exposed. Graph neural networks (GNN) as universal approximators on structured input pose a viable candidate for causal learning, suggesting a tighter integration with SCM. To this effect we present a theoretical analysis from first principles that establishes a more general view on neural-causal models, revealing several novel connections between GNN and SCM. We establish a new model class for GNN-based causal inference that is necessary and sufficient for causal effect identification. Our empirical illustration on simulations and standard benchmarks validate our theoretical proofs.


title: The obliquity of HIP 67522 b: a 17 Myr old transiting hot Jupiter-sized planet

abstract: HIP 67522 b is a 17 Myr old, close-in ($P_{orb} = 6.96$ d), Jupiter-sized ($R = 10\,R_{\oplus}$) transiting planet orbiting a Sun like star in the Sco-Cen OB association. We present our measurement of the system's projected orbital obliquity via two spectroscopic transit observations using the CHIRON spectroscopic facility. We present a global model that accounts for large surface brightness features typical of such young stars during spectroscopic transit observations. With a value of $|\lambda| = 5.8^{+2.8\,\circ}_{-5.7}$, it is unlikely that this well-aligned system is the result of a high eccentricity driven migration history. By being the youngest planet with a known obliquity, HIP 67522 b holds a special place in contributing to our understanding of giant planet formation and evolution. Our analysis shows the feasibility of such measurements for young and very active stars.


title: Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments

abstract: Ensuring safe behavior for automated vehicles in unregulated traffic areas poses a complex challenge for the industry. It is an open problem to provide scalable and certifiable solutions to this challenge. We derive a trajectory planner based on model predictive control which interoperates with a monitoring system for pedestrian safety based on cellular automata. The combined planner-monitor system is demonstrated on the example of a narrow indoor parking environment. The system features deterministic behavior, mitigating the immanent risk of black boxes and offering full certifiability. By using fundamental and conservative prediction models of pedestrians the monitor is able to determine a safe drivable area in the partially occluded and unstructured parking environment. The information is fed to the trajectory planner which ensures the vehicle remains in the safe drivable area at any time through constrained optimization. We show how the approach enables solving plenty of situations in tight parking garage scenarios. Even though conservative prediction models are applied, evaluations indicate a performant system for the tested low-speed navigation.


title: Towards Transferable Adversarial Attacks on Vision Transformers

abstract: Vision transformers (ViTs) have demonstrated impressive performance on a series of computer vision tasks, yet they still suffer from adversarial examples. % crafted in a similar fashion as CNNs. In this paper, we posit that adversarial attacks on transformers should be specially tailored for their architecture, jointly considering both patches and self-attention, in order to achieve high transferability. More specifically, we introduce a dual attack framework, which contains a Pay No Attention (PNA) attack and a PatchOut attack, to improve the transferability of adversarial samples across different ViTs. We show that skipping the gradients of attention during backpropagation can generate adversarial examples with high transferability. In addition, adversarial perturbations generated by optimizing randomly sampled subsets of patches at each iteration achieve higher attack success rates than attacks using all patches. We evaluate the transferability of attacks on state-of-the-art ViTs, CNNs and robustly trained CNNs. The results of these experiments demonstrate that the proposed dual attack can greatly boost transferability between ViTs and from ViTs to CNNs. In addition, the proposed method can easily be combined with existing transfer methods to boost performance. Code is available at https://github.com/zhipeng-wei/PNA-PatchOut.


title: Comfort and Sickness while Virtually Aboard an Autonomous Telepresence Robot

abstract: In this paper, we analyze how different path aspects affect a user's experience, mainly VR sickness and overall comfort, while immersed in an autonomously moving telepresence robot through a virtual reality headset. In particular, we focus on how the robot turns and the distance it keeps from objects, with the goal of planning suitable trajectories for an autonomously moving immersive telepresence robot in mind; rotational acceleration is known for causing the majority of VR sickness, and distance to objects modulates the optical flow. We ran a within-subjects user study (n = 36, women = 18) in which the participants watched three panoramic videos recorded in a virtual museum while aboard an autonomously moving telepresence robot taking three different paths varying in aspects such as turns, speeds, or distances to walls and objects. We found a moderate correlation between the users' sickness as measured by the SSQ and comfort on a 6-point Likert scale across all paths. However, we detected no association between sickness and the choice of the most comfortable path, showing that sickness is not the only factor affecting the comfort of the user. The subjective experience of turn speed did not correlate with either the SSQ scores or comfort, even though people often mentioned turning speed as a source of discomfort in the open-ended questions. Through exploring the open-ended answers more carefully, a possible reason is that the length and lack of predictability also play a large role in making people observe turns as uncomfortable. A larger subjective distance from walls and objects increased comfort and decreased sickness both in quantitative and qualitative data. Finally, the SSQ subscales and total weighted scores showed differences by age group and by gender.


title: Multiple Oracle Algorithm to Solve Continuous Games

abstract: Continuous games are multiplayer games in which strategy sets are compact and utility functions are continuous. These games typically have a highly complicated structure of Nash equilibria, and numerical methods for the equilibrium computation are known only for particular classes of continuous games, such as two-player polynomial games or games in which pure equilibria are guaranteed to exist. This contribution focuses on the computation and approximation of a mixed strategy equilibrium for the whole class of multiplayer general-sum continuous games. We vastly extend the scope of applicability of the double oracle algorithm, initially designed and proved to converge only for two-player zero-sum games. Specifically, we propose an iterative strategy generation technique, which splits the original problem into the master problem with only a finite subset of strategies being considered, and the subproblem in which an oracle finds the best response of each player. This simple method is guaranteed to recover an approximate equilibrium in finitely many iterations. Further, we argue that the Wasserstein distance (the earth mover's distance) is the right metric for the space of mixed strategies for our purposes. Our main result is the convergence of this algorithm in the Wasserstein distance to an equilibrium of the original continuous game. The numerical experiments show the performance of our method on several classes of games including randomly generated examples.


title: Optimal Mapping for Near-Term Quantum Architectures based on Rydberg Atoms

abstract: Quantum algorithms promise quadratic or exponential speedups for applications in cryptography, chemistry and material sciences. The topologies of today's quantum computers offer limited connectivity, leading to significant overheads for implementing such quantum algorithms. One-dimensional topology displacements that remedy these limits have been recently demonstrated for architectures based on Rydberg atoms, and they are possible in principle in photonic and ion trap architectures. We present the first optimal quantum circuit-to-architecture mapping algorithm that exploits such one-dimensional topology displacements. We benchmark our method on quantum circuits with up to 15 qubits and investigate the improvements compared with conventional mapping based on inserting swap gates into the quantum circuits. Depending on underlying technology parameters, our approach can decrease the quantum circuit depth by up to 58% and increase the fidelity by up to 29%. We also study runtime and fidelity requirements on one-dimensional displacements and swap gates to derive conditions under which one-dimensional topology displacements provide benefits.


title: Scalar Lumps with Two Horizons

abstract: We study generalisations of the Schwarzschild-de Sitter solution in the presence of a scalar field with a potential barrier. These static, spherically symmetric solutions have two horizons, in between which the scalar interpolates at least once across the potential barrier, thus developing a lump. In part, we recover solutions discussed earlier in the literature and for those we clarify their properties. But we also find a new class of solutions in which the scalar lump curves the spacetime sufficiently strongly so as to change the nature of the erstwhile cosmological horizon into an additional trapped horizon, resulting in a scalar lump surrounded by two black holes. These new solutions appear in a wide range of the parameter space of the potential. We also discuss (challenges for) the application of all of these solutions to black hole seeded vacuum decay.


title: Independence Complex of the Lexicographic Product of a Forest

abstract: We study the independence complex of the lexicographic product $G[H]$ of a forest $G$ and a graph $H$. We prove that for a forest $G$ which is not dominated by a single vertex, if the independence complex of $H$ is homotopy equivalent to a wedge sum of spheres, then so is the independence complex of $G[H]$. We offer two examples of explicit calculations. As the first example, we determine the homotopy type of the independence complex of $L_m [H]$, where $L_m$ is the tree on $m$ vertices with no branches, for any positive integer $m$ when the independence complex of $H$ is homotopy equivalent to a wedge sum of $n$ copies of $d$-dimensional sphere. As the second one, for a forest $G$ and a complete graph $K$, we describe the homological connectivity of the independence complex of $G[K]$ by the independent domination number of $G$.


title: Investigation of the phase occurrence and H sorption properties in the Y33.33Ni66.67-xAlx (0 <= x <= 33.33) system

abstract: The Y33.33Ni66.67-xAlx system has been investigated in the region 0 <= x <= 33.3. The alloys were synthesized by induction melting. Phase occurrence and structural properties were studied by X-Ray powder Diffraction (XRD). The Al solubility in each phase has been investigated by XRD and Electron Probe Micro-Analysis (EPMA). The hydrogenation properties were characterized by pressure-composition isotherm measurements and kinetic curves at 473 K. For x = 0, the binary Y33.33Ni66.67 alloy crystallizes in the cubic superstructure with F4-3m space group and ordered Y vacancies. For 1.67 <= x <= 8.33, the alloys contain mainly Y(Ni, Al)2 and Y(Ni, Al)3 pseudobinary phases; while for 16.67 <= x <= 33.33 they are mainly formed by ternary line compounds Y3Ni6Al2, Y2Ni2Al and YNiAl. Contrary to the binary Y33.33Ni66.67, Y(Ni, Al)2 pseudo-binary compounds crystalize in C15 phase (space group Fd-3m ) with disordered Y vacancies. The solubility limit of Al in the C15 YNi2-yAly phase is y = 0.11 (i.e., x = 3.67). The Y(Ni, Al)3 phase changes from rhombohedral (PuNi3-type, R-3m) to hexagonal (CeNi3-type, P63/mmc) structure for x increasing from 5.00 to 6.67. Upon hydrogenation, the disproportion of C15 Y(Ni, Al)2 and losses of crystallinity of YNi and Y2Ni2Al are the main reasons causing capacity decay of Y33.33Ni66.67-xAlx (0 <= x <= 33.33) alloys upon cycling.


title: Families of Sets in Bishop Set Theory

abstract: We develop the theory of set-indexed families of sets and subsets within the informal Bishop Set Theory BST, a reconstruction of Bishop's theory of sets.


title: New radiative loss curve from updates to collisional excitation in the low-density, optically thin plasmas in SPEX

abstract: Understanding and modelling astrophysical plasmas on atomic levels while taking into account various assumptions (for example, collisional ionisation equilibrium or photoionisation equilibrium) became essential with the progress of high-resolution X-ray spectroscopy. In order to prepare for the upcoming X-ray spectroscopy missions such as XRISM or Athena, the plasma codes with their models and the atomic databases need to be up to date and accurate. One such update for the plasma code SPEX is presented in this paper where we focus on the radiative loss due to collisional excitation in the low-density, optically thin regime. We also update the atomic data for neutral hydrogen and include the contribution of the dielectronic recombination. With all these updates being implemented in SPEX we finally present the new cooling curve. We include the comparison to other plasma codes (MEKAL, APEC, Cloudy) and other atomic databases (CHIANTI, ADAS). We show how the updated cooling impacts the stability curve for photoionised plasmas and find a new stable branch.


title: Geometric methods in holomorphic dynamics

abstract: In this note we review a selection of contemporary research themes in holomorphic dynamics. The main topics that will be discussed are: geometric (laminar and woven) currents and their applications, bifurcation theory in one and several variables, and the problem of wandering Fatou components.


title: Fine-grained Data Distribution Alignment for Post-Training Quantization

abstract: While post-training quantization receives popularity mostly due to its evasion in accessing the original complete training dataset, its poor performance also stems from scarce images. To alleviate this limitation, in this paper, we leverage the synthetic data introduced by zero-shot quantization with calibration dataset and propose a fine-grained data distribution alignment (FDDA) method to boost the performance of post-training quantization. The method is based on two important properties of batch normalization statistics (BNS) we observed in deep layers of the trained network, (i.e.), inter-class separation and intra-class incohesion. To preserve this fine-grained distribution information: 1) We calculate the per-class BNS of the calibration dataset as the BNS centers of each class and propose a BNS-centralized loss to force the synthetic data distributions of different classes to be close to their own centers. 2) We add Gaussian noise into the centers to imitate the incohesion and propose a BNS-distorted loss to force the synthetic data distribution of the same class to be close to the distorted centers. By utilizing these two fine-grained losses, our method manifests the state-of-the-art performance on ImageNet, especially when both the first and last layers are quantized to the low-bit. Code is at \url{https://github.com/zysxmu/FDDA}.


title: Systematic comparison between the generalized Lorenz equations and DNS in the two-dimensional Rayleigh-B\'enard convection

abstract: The classic Lorenz equations were originally derived from the two-dimensional Rayleigh-B\'enard convection system considering an idealised case with the lowest order of harmonics. Although the low-order Lorenz equations have traditionally served as a minimal model for chaotic and intermittent atmospheric motions, even the dynamics of the two-dimensional Rayleigh-B\'enard convection system is not fully represented by the Lorenz equations, and such differences have yet to be clearly identified in a systematic manner. In this paper, the convection problem is revisited through an investigation of various dynamical behaviors exhibited by a two-dimensional direct numerical simulation (DNS) and the generalized expansion of the Lorenz equations (GELE) derived by considering additional higher-order harmonics in the spectral expansions of periodic solutions. Notably, the GELE allows us to understand how nonlinear interactions among high-order modes alter the dynamical features of the Lorenz equations including fixed points, chaotic attractors, and periodic solutions. It is verified that numerical solutions of the DNS can be recovered from the solutions of GELE when we consider the system with sufficiently high-order harmonics. At the lowest order, the classic Lorenz equations are recovered from GELE. Unlike in the Lorenz equations, we observe limit tori, which are the multi-dimensional analogue of limit cycles, in the solutions of the DNS and GELE at high orders. Initial condition dependency in the DNS and Lorenz equations is also discussed.


title: Towards Fully Automated Segmentation of Rat Cardiac MRI by Leveraging Deep Learning Frameworks

abstract: Automated segmentation of human cardiac magnetic resonance datasets has been steadily improving during recent years. However, these methods are not directly applicable in preclinical context due to limited datasets and lower image resolution. Successful application of deep architectures for rat cardiac segmentation, although of critical importance for preclinical evaluation of cardiac function, has to our knowledge not yet been reported. We developed segmentation models that expand on the standard U-Net architecture and evaluated separate models for systole and diastole phases, 2MSA, and one model for all timepoints, 1MSA. Furthermore, we calibrated model outputs using a Gaussian Process (GP)-based prior to improve phase selection. Resulting models approach human performance in terms of left ventricular segmentation quality and ejection fraction (EF) estimation in both 1MSA and 2MSA settings (S{\o}rensen-Dice score 0.91 +/- 0.072 and 0.93 +/- 0.032, respectively). 2MSA achieved a mean absolute difference between estimated and reference EF of 3.5 +/- 2.5 %, while 1MSA resulted in 4.1 +/- 3.0 %. Applying Gaussian Processes to 1MSA allows to automate the selection of systole and diastole phases. Combined with a novel cardiac phase selection strategy, our work presents an important first step towards a fully automated segmentation pipeline in the context of rat cardiac analysis.


title: Eigenspectra of solar active region long-period oscillations

abstract: We studied the low-frequency $\lesssim 0.5\;$h$^{-1}$ (long-period $\gtrsim 2\;$h) oscillations of active regions (ARs). The investigation is based on an analysis of a time series built from Solar Dynamics Observatory/Helioseismic and Magnetic Imager (SDO/HMI) photospheric magnetograms and comprises case studies of several types of AR structures. The main goals are to investigate whether ARs can be engaged in long-period oscillations as unified oscillatory entities and, if so, to determine the spectral pattern of such oscillations. Time series of characteristic parameters of the ARs, such as, the total area, total unsigned radial magnetic flux, and tilt angle, were measured and recorded using the image moment method. The power spectra were built out of Gaussian-apodised and zero-padded datasets. There are long-period oscillations ranging from 2 to 20 h, similarly to the characteristic lifetimes of super-granulation, determined from the datasets of the AR total area and radial magnetic flux, respectively. However, no periodicity in tilt angle data was found. Whatever nature these oscillations have, they must be energetically supported by convective motions beneath the solar surface. The possible interpretations can be related to different types of magnetohydrodynamic (MHD) oscillations of the multi-scale structure of the AR magnetic field, which is probably linked with the characteristic turnover timescales of the super-granulation cells. The presence of oscillations in the radial magnetic flux data may be connected to periodic flux emergence or cancellation processes.

categories: astro-ph.SR physics.data-an physics.plasm-ph physics.space-ph


title: Interactions of the solitons in periodic driven-dissipative systems supporting quasi-BIC states

abstract: The paper is devoted to the dynamics of dissipative gap solitons in the periodically corrugated optical waveguides whose spectrum of linear excitations contains a mode that can be referred to as a quasi-Bound State in the Continuum. These systems can support a large variety of stable bright and dark dissipative solitons that can interact with each other and with the inhomogeneities of the pump. One of the focus points of this work is the influence of slow variations of the pump on the behavior of the solitons. It is shown that for the fixed sets of parameters the effect of pump inhomogeneities on the solitons is not the same for the solitons of different kinds. The second main goal of the paper is systematic studies of the interaction between the solitons of the same or of different kinds. It is demonstrated that various scenarios of inter-soliton interactions can occur: the solitons can repulse each other or get attracted. In the latter case, the solitons can annihilate, fuse in a single soliton or form a new bound state depending on the kinds of the interacting solitons and on the system parameters.


title: Confirming the existence of twin stars in a NICER way

abstract: We demonstrate that future radius measurement of the NICER mission have the potential to reveal the existence of a strong phase transition in dense neutron star matter by confirming the existence of so called twin stars, compact star configurations with the same mass but different radii. The latest radius constraints from NICER for the pulsars J0740+6620 as well as J0030+0451 are discussed using relativistic mean field equations of state with varying stiffness, connected with a first order phase transition to quark matter. We show, that twin star solutions are compatible with the new radius constraint but are located at radii \emph{below} the present constraints from NICER serving as a smoking gun for a strong phase transition in neutron star matter. This scenario is realized if a strong phase transition takes place in neutron stars of the first branch with masses above $2\,M_\odot$.


title: Detection of Abrupt Change in Channel Covariance Matrix for Multi-Antenna Communication

abstract: The knowledge of channel covariance matrices is of paramount importance to the estimation of instantaneous channels and the design of beamforming vectors in multi-antenna systems. In practice, an abrupt change in channel covariance matrices may occur due to the change in the environment and the user location. Although several works have proposed efficient algorithms to estimate the channel covariance matrices after any change occurs, how to detect such a change accurately and quickly is still an open problem in the literature. In this paper, we focus on channel covariance change detection between a multi-antenna base station (BS) and a single-antenna user equipment (UE). To provide theoretical performance limit, we first propose a genie-aided change detector based on the log-likelihood ratio (LLR) test assuming the channel covariance matrix after change is known, and characterize the corresponding missed detection and false alarm probabilities. Then, this paper considers the practical case where the channel covariance matrix after change is unknown. The maximum likelihood (ML) estimation technique is used to predict the covariance matrix based on the received pilot signals over a certain number of coherence blocks, building upon which the LLR-based change detector is employed. Numerical results show that our proposed scheme can detect the change with low error probability even when the number of channel samples is small such that the estimation of the covariance matrix is not that accurate. This result verifies the possibility to detect the channel covariance change both accurately and quickly in practice.


title: OGRe: An Object-Oriented General Relativity Package for Mathematica

abstract: We present OGRe, a modern Mathematica package for tensor calculus, designed to be both powerful and user-friendly. The package can be used in a variety of contexts where tensor calculations are needed, in both mathematics and physics, but it is especially suitable for general relativity. By implementing an object-oriented design paradigm, OGRe allows calculating arbitrarily complicated tensor formulas easily, and automatically transforms between index configurations and coordinate systems behind the scenes as needed, eliminating user errors by making it impossible for the user to combine tensors in inconsistent ways. Other features include displaying tensors in various forms, automatic calculation of curvature tensors and geodesic equations, easy importing and exporting of tensors between sessions, optimized algorithms and parallelization for improved performance, and more.


title: Novel Time Domain Based Upper-Limb Prosthesis Control using Incremental Learning Approach

abstract: The upper limb of the body is a vital for various kind of activities for human. The complete or partial loss of the upper limb would lead to a significant impact on daily activities of the amputees. EMG carries important information of human physique which helps to decode the various functionalities of human arm. EMG signal based bionics and prosthesis have gained huge research attention over the past decade. Conventional EMG-PR based prosthesis struggles to give accurate performance due to off-line training used and incapability to compensate for electrode position shift and change in arm position. This work proposes online training and incremental learning based system for upper limb prosthetic application. This system consists of ADS1298 as AFE (analog front end) and a 32 bit arm cortex-m4 processor for DSP (digital signal processing). The system has been tested for both intact and amputated subjects. Time derivative moment based features have been implemented and utilized for effective pattern classification. Initially, system have been trained for four classes using the on-line training process later on the number of classes have been incremented on user demand till eleven, and system performance has been evaluated. The system yielded a completion rate of 100% for healthy and amputated subjects when four motions have been considered. Further 94.33% and 92% completion rate have been showcased by the system when the number of classes increased to eleven for healthy and amputees respectively. The motion efficacy test is also evaluated for all the subjects. The highest efficacy rate of 91.23% and 88.64% are observed for intact and amputated subjects respectively.


title: Baryon magnetic moment in large-$N_c$ chiral perturbation theory: Complete analysis for $N_c=3$

abstract: Baryon magnetic moments are computed in baryon chiral perturbation theory in the large-$N_c$ limit at one-loop order, where $N_c$ is the number of color charges. Orders $\mathcal{O}(m_q^{1/2})$ and $\mathcal{O}(m_q \ln m_q)$ corrections are both evaluated including all the operator structures that participate at the physical value $N_c=3$. The complete expressions for octet and decuplet baryon magnetic moments in addition to decuplet-octet baryon transition moments are thus compared to their available counterparts obtained in heavy baryon chiral perturbation theory for degenerate intermediate baryons in the loops. Theoretical expressions fully agree at the physical values $N_c=3$ and $N_f=3$ flavors of light quarks. Some numerical evaluations are produced via a least-squares fit to explore the free parameters in the analysis. Results point out the necessity of incorporating the effects of non-degenerate intermediate baryons in the loops for a consistent determination of these free parameters.


title: Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation

abstract: The Hadoop scheduler is a centerpiece of Hadoop, the leading processing framework for data-intensive applications in the cloud. Given the impact of failures on the performance of applications running on Hadoop, testing and verifying the performance of the Hadoop scheduler is critical. Existing approaches such as performance simulation and analytical modeling are inadequate because they are not able to ascertain a complete verification of a Hadoop scheduler. This is due to the wide range of constraints and aspects involved in Hadoop. In this paper, we propose a novel methodology that integrates and combines simulation and model checking techniques to perform a formal verification of Hadoop schedulers, focusing on the following properties: schedulability, fairness and resources-deadlock freeness. We use the CSP language to formally describe a Hadoop scheduler, and the PAT model checker to verify its properties. Next, we use the proposed formal model to analyze the scheduler of OpenCloud, a Hadoop-based cluster that simulates the Hadoop load, in order to illustrate the usability and benefits of our work. Results show that our proposed methodology can help identify several tasks failures (up to 78%) early on, i.e., before the tasks are executed on the cluster.


title: A distillation-based approach integrating continual learning and federated learning for pervasive services

abstract: Federated Learning, a new machine learning paradigm enhancing the use of edge devices, is receiving a lot of attention in the pervasive community to support the development of smart services. Nevertheless, this approach still needs to be adapted to the specificity of the pervasive domain. In particular, issues related to continual learning need to be addressed. In this paper, we present a distillation-based approach dealing with catastrophic forgetting in federated learning scenario. Specifically, Human Activity Recognition tasks are used as a demonstration domain.


title: Single-crystal graphene on Ir(110)

abstract: A single-crystal sheet of graphene is synthesized on the low-symmetry substrate Ir(110) by thermal decomposition of C$_2$H$_4$ at 1500 K. Using scanning tunneling microscopy, low-energy electron diffraction, angle-resolved photoemission spectroscopy, and ab initio density functional theory the structure and electronic properties of the adsorbed graphene sheet and its moir\'e with the substrate are uncovered. The adsorbed graphene layer forms a wave pattern of nm wave length with a corresponding modulation of its electronic properties. This wave pattern is demonstrated to enable the templated adsorption of aromatic molecules and the uniaxial growth of organometallic wires. Not limited to this, graphene on Ir(110) is also a versatile substrate for 2D-layer growth and makes it possible to grow epitaxial layers on ureconstructed Ir(110).


title: On functions whose mean value abscissas are Stolarsky means of endpoints

abstract: We provide a new approach to determine all differentiable functions whose mean value abscissas are Stolarsky means of endpoints.


title: Double-Scale Self-Supervised Hypergraph Learning for Group Recommendation

abstract: With the prevalence of social media, there has recently been a proliferation of recommenders that shift their focus from individual modeling to group recommendation. Since the group preference is a mixture of various predilections from group members, the fundamental challenge of group recommendation is to model the correlations among members. Existing methods mostly adopt heuristic or attention-based preference aggregation strategies to synthesize group preferences. However, these models mainly focus on the pairwise connections of users and ignore the complex high-order interactions within and beyond groups. Besides, group recommendation suffers seriously from the problem of data sparsity due to severely sparse group-item interactions. In this paper, we propose a self-supervised hypergraph learning framework for group recommendation to achieve two goals: (1) capturing the intra- and inter-group interactions among users; (2) alleviating the data sparsity issue with the raw data itself. Technically, for (1), a hierarchical hypergraph convolutional network based on the user- and group-level hypergraphs is developed to model the complex tuplewise correlations among users within and beyond groups. For (2), we design a double-scale node dropout strategy to create self-supervision signals that can regularize user representations with different granularities against the sparsity issue. The experimental analysis on multiple benchmark datasets demonstrates the superiority of the proposed model and also elucidates the rationality of the hypergraph modeling and the double-scale self-supervision.


title: Stability of bimodal planar linear switched systems

abstract: We consider bimodal planar switched linear systems and obtain dwell time bounds which guarantee their asymptotic stability. The dwell time bound obtained is a smooth function of the eigenvectors and eigenvalues of the subsystem matrices. An optimal scaling of the eigenvectors is used to strengthen the dwell time bound. A comparison of our bounds with the dwell time bounds in the existing literature is also presented.


title: IMG2SMI: Translating Molecular Structure Images to Simplified Molecular-input Line-entry System

abstract: Like many scientific fields, new chemistry literature has grown at a staggering pace, with thousands of papers released every month. A large portion of chemistry literature focuses on new molecules and reactions between molecules. Most vital information is conveyed through 2-D images of molecules, representing the underlying molecules or reactions described. In order to ensure reproducible and machine-readable molecule representations, text-based molecule descriptors like SMILES and SELFIES were created. These text-based molecule representations provide molecule generation but are unfortunately rarely present in published literature. In the absence of molecule descriptors, the generation of molecule descriptors from the 2-D images present in the literature is necessary to understand chemistry literature at scale. Successful methods such as Optical Structure Recognition Application (OSRA), and ChemSchematicResolver are able to extract the locations of molecules structures in chemistry papers and infer molecular descriptions and reactions. While effective, existing systems expect chemists to correct outputs, making them unsuitable for unsupervised large-scale data mining. Leveraging the task formulation of image captioning introduced by DECIMER, we introduce IMG2SMI, a model which leverages Deep Residual Networks for image feature extraction and an encoder-decoder Transformer layers for molecule description generation. Unlike previous Neural Network-based systems, IMG2SMI builds around the task of molecule description generation, which enables IMG2SMI to outperform OSRA-based systems by 163% in molecule similarity prediction as measured by the molecular MACCS Fingerprint Tanimoto Similarity. Additionally, to facilitate further research on this task, we release a new molecule prediction dataset. including 81 million molecules for molecule description generation


title: Comparison of different methods of spatial disaggregation of electricity

abstract: Energy system models involve various input data sets representing the generation, consumption and transport infrastructure of electricity. Especially energy system models with a focus on the transmission grid require time series of electricity feed-in and consumption in a high spatial resolution. In general, there are two approaches to obtain regionalized time series: top-down and bottom-up. In many cases, both methodologies may be combined to aggregate or disaggregate input data. Furthermore, there exist various approaches to assign regionalized feed-in of renewable energy sources and electrical load to the model's grid connection points. The variety in the regionalization process leads to significant differences on a regional scope, even if global values are the same. We develop a methodology to compare regionalization techniques of input data for photovoltaics, wind and electrical load between various models as well as data assignment techniques to the power grid nodes. We further define two invariants to evaluate the outcome of the regionalization process at the NUTS 3 level, one invariant for the annual profiles and one for the installed capacities. This methodology enabled us to compare different regionalization and assignment workflows using simple parameters, without explicit knowledge of grid topology. Our results show that the resolution of the input data and the use of a top-down or a bottom-up approach are the most determinant factors in the regionalization process.


title: A decision support framework for optimal vaccine distribution across a multi-tier cold chain network

abstract: In this paper, we present a decision support framework for optimizing multiple aspects of vaccine distribution across a multitier cold chain network. We propose two multi-period optimization formulations within this framework: first to minimize inventory, ordering, transportation, personnel and shortage costs associated with a single vaccine; the second being an extension of the first for the case when multiple vaccines with differing efficacies and costs are available for the same disease. Vaccine transportation and administration lead times are also incorporated within the models. We also develop robust optimization versions of the single vaccine model to account for the impact of uncertainty in model parameters on the optimal vaccine distribution solution. We use the case of the Indian state of Bihar and COVID-19 vaccines to illustrate the implementation of the framework. We present computational experiments to demonstrate: (a) the organization of the model outputs; (b) how the models can be used to assess the impact of cold chain point storage capacities, transportation vehicle capacities, and manufacturer capacities on the optimal vaccine distribution pattern; and (c) the impact of vaccine efficacies and associated costs such as ordering and transportation costs on the vaccine selection decision informed by the model. We then consider the computational expense of the framework for realistic problem instances, and suggest multiple preprocessing techniques to reduce their computational burden. Finally, we also demonstrate how the robust versions of the single vaccine model outperform the deterministic version under multiple levels of uncertainty in key model parameters. Our study presents public health authorities and other stakeholders with a vaccine distribution and capacity planning tool for multi-tier cold chain networks.


title: DAN: Decentralized Attention-based Neural Network for the MinMax Multiple Traveling Salesman Problem

abstract: The multiple traveling salesman problem (mTSP) is a well-known NP-hard problem with numerous real-world applications. In particular, this work addresses MinMax mTSP, where the objective is to minimize the max tour length among all agents. Many robotic deployments require recomputing potentially large mTSP instances frequently, making the natural trade-off between computing time and solution quality of great importance. However, exact and heuristic algorithms become inefficient as the number of cities increases, due to their computational complexity. Encouraged by the recent developments in deep reinforcement learning (dRL), this work approaches the mTSP as a cooperative task and introduces DAN, a decentralized attention-based neural method that aims at tackling this key trade-off. In DAN, agents learn fully decentralized policies to collaboratively construct a tour, by predicting each other's future decisions. Our model relies on the Transformer architecture and is trained using multi-agent RL with parameter sharing, providing natural scalability to the numbers of agents and cities. Our experimental results on small- to large-scale mTSP instances ($50$ to $1000$ cities and $5$ to $20$ agents) show that DAN is able to match or outperform state-of-the-art solvers while keeping planning times low. In particular, given the same computation time budget, DAN outperforms all conventional and dRL-based baselines on larger-scale instances (more than 100 cities, more than 5 agents), and exhibits enhanced agent collaboration. A video explaining our approach and presenting our results is available at \url{https://youtu.be/xi3cLsDsLvs}.


title: QUINT: Node embedding using network hashing

abstract: Representation learning using network embedding has received tremendous attention due to its efficacy to solve downstream tasks. Popular embedding methods (such as deepwalk, node2vec, LINE) are based on a neural architecture, thus unable to scale on large networks both in terms of time and space usage. Recently, we proposed BinSketch, a sketching technique for compressing binary vectors to binary vectors. In this paper, we show how to extend BinSketch and use it for network hashing. Our proposal named QUINT is built upon BinSketch, and it embeds nodes of a sparse network onto a low-dimensional space using simple bi-wise operations. QUINT is the first of its kind that provides tremendous gain in terms of speed and space usage without compromising much on the accuracy of the downstream tasks. Extensive experiments are conducted to compare QUINT with seven state-of-the-art network embedding methods for two end tasks - link prediction and node classification. We observe huge performance gain for QUINT in terms of speedup (up to 7000x) and space saving (up to 80x) due to its bit-wise nature to obtain node embedding. Moreover, QUINT is a consistent top-performer for both the tasks among the baselines across all the datasets. Our empirical observations are backed by rigorous theoretical analysis to justify the effectiveness of QUINT. In particular, we prove that QUINT retains enough structural information which can be used further to approximate many topological properties of networks with high confidence.


title: Surrogate Parameters Optimization for Data and Model Fusion of COVID-19 Time-series Data

abstract: Our research focuses on developing a computational framework to simulate the transmission dynamics of COVID-19 pandemic. We examine the development of a system named ADRIANA for the simulation using South Africa as a case study. The design of the ADRIANA system interconnects three sub-models to establish a computational technique to advise policy regarding lockdown measures to reduce the transmission pattern of COVID-19 in South Africa. Additionally, the output of the ADRIANA can be used by healthcare administration to predict peak demand time for resources needed to treat infected individuals. ABM is suited for our research experiment, but to prevent the computational constraints of using ABM-based framework for this research, we develop an SEIR compartmental model, a discrete event simulator, and an optimized surrogate model to form a system named ADRIANA. We also ensure that the surrogate's findings are accurate enough to provide optimal solutions. We use the Genetic Algorithm (GA) for the optimization by estimating the optimal hyperparameter configuration for the surrogate. We concluded this study by discussing the solutions presented by the ADRIANA system, which aligns with the primary goal of our study to present an optimal guide to lockdown policy by the government and resource management by the hospital administrators.


title: Diffusions and anomalous diffusions of charged particles in the plateau regime of toroidal plasma

abstract: The diffusions and anomalous diffusions of charged particles in the plateau regime of toroidal plasma with a Maxwellian velocity distribution are studied. The transport theory of plasma is discussed under the toroidal coordinate system and the magnetic field is assumed to be axisymmetric. Based on the diffusion flux obtained in the toroidal plasma, we derive the diffusion coefficient tensor and thermal diffusion coefficient tensor, where two angular diffusion coefficients are the anomalous diffusions, depending on the radial position and having nothing to do with the magnetic field. All the radial transport coefficients and the normal angular coefficients are inversely proportional to square of the gyrofrequency and so to square of the magnetic induction. The numerical analyses show clearly dependences of these complex transport coefficients on the temperature, the magnetic fluid stability safe factor and the effective collision frequency, respectively.


title: Revisiting Cosmologies in Teleparallelism

abstract: We discuss the most general field equations for cosmological spacetimes for theories of gravity based on non-linear extensions of the non-metricity scalar and the torsion scalar. Our approach is based on a systematic symmetry-reduction of the metric-affine geometry which underlies these theories. While for the simplest conceivable case the connection disappears from the field equations and one obtains the Friedmann equations of General Relativity, we show that in $f(\mathbb{Q})$ cosmology the connection generically modifies the metric field equations and that some of the connection components become dynamical. We show that $f(\mathbb{Q})$ cosmology contains the exact General Relativity solutions and also exact solutions which go beyond. In $f(\mathbb{T})$~cosmology, however, the connection is completely fixed and not dynamical.


title: Performance, Precision, and Payloads: Adaptive Nonlinear MPC for Quadrotors

abstract: Agile quadrotor flight in challenging environments has the potential to revolutionize shipping, transportation, and search and rescue applications. Nonlinear model predictive control (NMPC) has recently shown promising results for agile quadrotor control, but relies on highly accurate models for maximum performance. Hence, model uncertainties in the form of unmodeled complex aerodynamic effects, varying payloads and parameter mismatch will degrade overall system performance. In this paper, we propose L1-NMPC, a novel hybrid adaptive NMPC to learn model uncertainties online and immediately compensate for them, drastically improving performance over the non-adaptive baseline with minimal computational overhead. Our proposed architecture generalizes to many different environments from which we evaluate wind, unknown payloads, and highly agile flight conditions. The proposed method demonstrates immense flexibility and robustness, with more than 90% tracking error reduction over non-adaptive NMPC under large unknown disturbances and without any gain tuning. In addition, the same controller with identical gains can accurately fly highly agile racing trajectories exhibiting top speeds of 70 km/h, offering tracking performance improvements of around 50% relative to the non-adaptive NMPC baseline.


title: Structured viscoelastic substrates as linear foundations

abstract: The linear (Winkler) foundation is a simple model widely used for decades to account for the surface response of elastic bodies. It models the response as purely local, linear, and perpendicular to the surface. We extend this model to the case where the foundation is made of a structured material such as a polymer network, which has characteristic scales of length and time. We use the two-fluid model of viscoelastic structured materials to treat a film of finite thickness, supported on a rigid solid and subjected to a concentrated normal force at its free surface. We obtain the foundation modulus (Winkler constant) as a function of the film's thickness, intrinsic correlation length, and viscoelastic moduli, for three choices of boundary conditions. The results can be used to readily extend earlier applications of the Winkler model to more complex, microstructured substrates. They also provide a way to extract the intrinsic properties of such complex materials from mechanical surface measurements.


title: Efficient Nearest Neighbor Language Models

abstract: Non-parametric neural language models (NLMs) learn predictive distributions of text utilizing an external datastore, which allows them to learn through explicitly memorizing the training datapoints. While effective, these models often require retrieval from a large datastore at test time, significantly increasing the inference overhead and thus limiting the deployment of non-parametric NLMs in practical applications. In this paper, we take the recently proposed $k$-nearest neighbors language model (Khandelwal et al., 2020) as an example, exploring methods to improve its efficiency along various dimensions. Experiments on the standard WikiText-103 benchmark and domain-adaptation datasets show that our methods are able to achieve up to a 6x speed-up in inference speed while retaining comparable performance. The empirical analysis we present may provide guidelines for future research seeking to develop or deploy more efficient non-parametric NLMs.


title: The linear and nonlinear inverse Compton scattering between microwaves and electrons in a resonant cavity

abstract: The new scheme of the energy measurement of the extremely high energy electron beam with the inverse Compton scattering between electrons and microwave photons requires the precise calculation of the interaction cross section of electrons and microwave photons in a resonant cavity. In the local space of the cavity, the electromagnetic field is expressed by Bessel functions. Although Bessel functions can form a complete set of orthogonal basis, it is difficult to quantify them directly as fundamental wave functions. Fortunately, with the Fourier expansion of Bessel functions, the local electromagnetic field can be considered as the superposition of a series of plane waves. Therefore, with corresponding corrections of the cross section formula of the classical Compton scattering, the cross section of the linear or nonlinear microwave Compton scattering in the local space can be described accurately. As an important application of our results in astrophysics, corresponding ground verification devices can be designed to perform experimental verifications on the prediction of the Sunyaev-Zeldovich (SZ) effect of the cosmic microwave background radiation. Our results could also provide a new way to generate wave sources with strong practical value, such as the terahertz waves, the ultra-violet (EUV) waves, or the mid-infrared beams.