title: Investigating Participation Mechanisms in EU Code Week

abstract: Digital competence (DC) is a broad set of skills, attitudes, and knowledge for confident, critical and responsible use of digital technologies in every aspect of life. DC is fundamental to all people in conducting a productive and fulfilling life in an increasingly digital world. However, prejudices, misconceptions, and lack of awareness reduce the diffusion of DC, hindering digital transformation and preventing countries and people from realising their full potential. Teaching Informatics in the curriculum is increasingly supported by the institutions but faces serious challenges, such as teacher upskilling and support, and will require several years to observe sizeable outcomes. In response, grassroots movements promoting computing literacy in an informal setting have grown, including EU Code Week, whose vision is to develop computing skills while promoting diversity and raising awareness of the importance of digital skills. Code Week participation is a form of public engagement that could be affected by socio-economic and demographic factors, as any other form of participation. The aim of the manuscript is twofold: first, to offer a detailed and comprehensive statistical description of Code Week's participation in the EU Member States in terms of penetration, retention, demographic composition, and spatial distribution in order to inform more effective awareness-raising campaigns; second, to investigate the impact of socio-economic factors on Code Week involvement. The study identifies a strong negative correlation between participation and income at different geographical scales. It also suggests underlying mechanisms driving participation that are coherent with the "psychosocial" and the "resource" views, i.e. the two most widely accepted explanations of the effect of income on public engagement.


title: CP2K on the road to exascale

abstract: The CP2K program package, which can be considered as the swiss army knife of atomistic simulations, is presented with a special emphasis on ab-initio molecular dynamics using the second-generation Car-Parrinello method. After outlining current and near-term development efforts with regards to massively parallel low-scaling post-Hartree-Fock and eigenvalue solvers, novel approaches on how we plan to take full advantage of future low-precision hardware architectures are introduced. Our focus here is on combining our submatrix method with the approximate computing paradigm to address the immanent exascale era.


title: Merging Black Holes: Assessing the Performance of Two Analytic Gravitational Waves Models

abstract: Merging black holes produce the loudest signal in the detectors. However, this is the most difficult signal to accurately predict with analytical techniques. Only computer simulations can account for the nonlinear physics during the collision, but they are inherently complex, costly, and affected by numerical errors. In order to bypass this problem, two analytical models for the merger have been developed: the Implicit Rotating Source (IRS) and the newer Backwards one Body (BoB). In this work, we assess the performance of the BoB model by comparing it with the older IRS model and with the numerical data, identifying its strengths and weaknesses. Our main finding reveals discrepancies in amplitude, but overall excellent accord in frequency. The BoB model is comparable with the IRS and NR simulations, having the added advantage that it depends only indirectly on numerical data, it accounts for spin, and it offers a seamless fit with the analytical formalisms for the inspiral. By independently evaluating and testing those models, we bring evidence of their reproducibility, thus upholding high scientific standards, and make available our implementation, enabling readers to evaluate our results themselves.


title: Echoes from braneworld wormholes

abstract: We have studied the stability of wormhole geometries, under massless scalar, electromagnetic and axial gravitational perturbations, in the context of higher dimensional spacetimes. Intriguingly, the construction of a wormhole spacetime in the presence of higher dimensions, known as braneworld wormholes, \emph{does not} require the existence of exotic matter fields, unlike the scenario in four spacetime dimensions. Being a nonvacuum spacetime, the effective potential experienced by the axial gravitational perturbation differs considerably from the scenarios involving black holes. In particular, the present work provides one of the first attempts to study the gravitational perturbations of the wormhole spacetimes. Our analysis, involving both analytical and numerical techniques, demonstrates that there are echoes in the time domain signal of all the perturbations and the echo time delay is intimately related to the parameters originating from higher dimensions. Thereby combining the attempt to search for wormholes and extra dimensions, with the existence of gravitational wave echoes. Implications and future directions have also been discussed.


title: Rational points on $X^+_0(125)$

abstract: We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the work of several authors, this completes the proof of a conjecture of Galbraith.


title: Almost Witt Vectors

abstract: Our main goal in this paper is to prove results for Witt vectors in the almost category. We finish with an application to almost purity, in particular offering a new proof for rank one valuation rings.


title: A new approach to topological singularities via a weak notion of Jacobian for functions of bounded variation

abstract: We introduce a weak notion of $2\times 2$-minors of gradients of a suitable subclass of $BV$ functions. In the case of maps in $BV(\mathbb{R}^2;\mathbb{R}^2)$ such a notion extends the standard definition of Jacobian determinant to non-Sobolev maps. We use this distributional Jacobian to prove a compactness and $\Gamma$-convergence result for a new model describing the emergence of topological singularities in two dimensions, in the spirit of Ginzburg-Landau and core-radius approaches. Within our framework, the order parameter is an $SBV$ map $u$ taking values in $\mathbb{S}^1$ and the energy is made by the sum of the squared $L^2$ norm of $\nabla u$ and of the length of (the closure of) the jump set of $u$ multiplied by $\frac 1 \varepsilon$. Here, $\varepsilon$ is a length-scale parameter. We show that, in the $|\log\varepsilon|$ regime, the Jacobian distributions converge, as $\varepsilon\to 0^+$, to a finite sum $\mu$ of Dirac deltas with weights multiple of $\pi$, and that the corresponding effective energy is given by the total variation of $\mu$.


title: Modeling the Dynamics of the Coronavirus SARS-CoV-2 Pandemic using Modified SIR Model with the 'Damped-Oscillator' Dynamics of the Effective Reproduction Number

abstract: The COVID-19 pandemic has been a great catastrophe that upended human lives and caused millions of deaths all over the world. The rapid spread of the virus, with its early-stage exponential growth and subsequent 'waves', caught many medical professionals and decision-makers unprepared. Even though epidemiological models have been known for almost a century (since the 'Spanish Influenza' pandemic of 1918-20), the real-life spread of the SARS-CoV-2 virus often confounded the modelers. While the general framework of epidemiological models like SEIR (susceptible-exposed-infected-recovered) or SIR (susceptible-exposed-infected) was not in question, the behavior of model parameters turned out to be unpredictable and complicated. In particular, while the 'basic' reproduction number, R0, can be considered a constant (for the original SARS-CoV-2 virus, prior to the emergence of variants, R0 is between 2.5 and 3.0), the 'effective' reproduction number, R(t), was a complex function of time, influenced by human behavior in response to the pandemic (e.g., masking, lockdowns, transition to remote work, etc.) To better understand these phenomena, we model the first year of the pandemic (between February 2020 and February 2021) for a number of localities (fifty US states, as well as several countries) using a simple SIR model. We show that the evolution of the pandemic can be described quite successfully by assuming that R(t) behaves in a 'viscoelastic' manner, as a sum of two or three 'damped oscillators' with different natural frequencies and damping coefficients. These oscillators likely correspond to different sub-populations having different reactions to proposed mitigation measures. The proposed approach can offer future data modelers new ways to fit the reproduction number evolution with time (as compared to the purely data-driven approaches most prevalent today).


title: Learning as Conversation: Dialogue Systems Reinforced for Information Acquisition

abstract: We propose novel AI-empowered chat bots for learning as conversation where a user does not read a passage but gains information and knowledge through conversation with a teacher bot. Our information-acquisition-oriented dialogue system employs a novel adaptation of reinforced self-play so that the system can be transferred to various domains without in-domain dialogue data, and can carry out conversations both informative and attentive to users. Our extensive subjective and objective evaluations on three large public data corpora demonstrate the effectiveness of our system to deliver knowledge-intensive and attentive conversations and help end users substantially gain knowledge without reading passages. Our code and datasets are publicly available for follow-up research.


title: To test, or not to test: A proactive approach for deciding complete performance test initiation

abstract: Software performance testing requires a set of inputs that exercise different sections of the code to identify performance issues. However, running tests on a large set of inputs can be a very time-consuming process. It is even more problematic when test inputs are constantly growing, which is the case with a large-scale scientific organization such as CERN where the process of performing scientific experiment generates plethora of data that is analyzed by physicists leading to new scientific discoveries. Therefore, in this article, we present a test input minimization approach based on a clustering technique to handle the issue of testing on growing data. Furthermore, we use clustering information to propose an approach that recommends the tester to decide when to run the complete test suite for performance testing. To demonstrate the efficacy of our approach, we applied it to two different code updates of a web service which is used at CERN and we found that the recommendation for performance test initiation made by our approach for an update with bottleneck is valid.


title: $\mathbb{A}^1$-homotopy theory of log schemes

abstract: We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the localization property. As a consequence, we obtain the Grothendieck six functors formalism for strict morphisms of fs log schemes. We extend $\mathbb{A}^1$-invariant cohomology theories of schemes to fs log schemes. In particular, we define motivic cohomology, homotopy $K$-theory, and algebraic cobordism of fs log schemes. For any fs log scheme log smooth over a scheme, we express cohomology of its boundary in terms of cohomology of schemes.


title: A Generative Adversarial Network-based Selective Ensemble Characteristic-to-Expression Synthesis (SE-CTES) Approach and Its Applications in Healthcare

abstract: Investigating the causal relationships between characteristics and expressions plays a critical role in healthcare analytics. Effective synthesis for expressions using given characteristics can make great contributions to health risk management and medical decision-making. For example, predicting the resulting physiological symptoms on patients from given treatment characteristics is helpful for the disease prevention and personalized treatment strategy design. Therefore, the objective of this study is to effectively synthesize the expressions based on given characteristics. However, the mapping from characteristics to expressions is usually from a relatively low dimension space to a high dimension space, but most of the existing methods such as regression models could not effectively handle such mapping. Besides, the relationship between characteristics and expressions may contain not only deterministic patterns, but also stochastic patterns. To address these challenges, this paper proposed a novel selective ensemble characteristic-to-expression synthesis (SE-CTES) approach inspired by generative adversarial network (GAN). The novelty of the proposed method can be summarized into three aspects: (1) GAN-based architecture for deep neural networks are incorporated to learn the relatively low dimensional mapping to high dimensional mapping containing both deterministic and stochastic patterns; (2) the weights of the two mismatching errors in the GAN-based architecture are proposed to be different to reduce the learning bias in the training process; and (3) a selective ensemble learning framework is proposed to reduce the prediction bias and improve the synthesis stability. To validate the effectiveness of the proposed approach, extensive numerical simulation studies and a real-world healthcare case study were applied and the results demonstrated that the proposed method is very promising.


title: Strong photoluminescence enhancement in indirect bandgap MoSe$_2$ nanophotonic resonator

abstract: Transition metal dichalcogenides (TMDs) is a promising platform for new generation optoelectronics and nanophotonics due to their unique optical properties. However, in contrast to direct bandgap TMDs monolayers, bulk samples have an indirect bandgap that restricts their application as light emitters. On the other hand, the high refractive index of these materials seems ideal for creating high-quality nanophotonic resonators with a strong Purcell effect. In this work, we fabricate Whispering-gallery mode (WGM) resonators from bulk (i.e., indirect bandgap) MoSe$_2$ using resistless scanning probe lithography and study their optical properties. Micro-photoluminescence($\mu$-PL) investigation revealed WGM spectra of resonators with an enhancement factor of 100 compared to pristine flake. Scattering experiments and modeling also confirm the WGM nature of spectra observed. Temperature dependence of PL revealed two components of photoluminescence. The first one quenches with decreasing temperature, the second one does not and becomes dominant. Therefore, this suggests that resonators amplify both direct and temperature-activated indirect PL. Thus, here we demonstrated the novel approach to fabricating nanophotonic resonators from bulk TMDs and obtaining PL from indirect bandgap materials. We believe that the suggested approach and structures have great prospects in nanophotonics.


title: A Framework for Generating Informative Benchmark Instances

abstract: Benchmarking is an important tool for assessing the relative performance of alternative solving approaches. However, the utility of benchmarking is limited by the quantity and quality of the available problem instances. Modern constraint programming languages typically allow the specification of a class-level model that is parameterised over instance data. This separation presents an opportunity for automated approaches to generate instance data that define instances that are graded (solvable at a certain difficulty level for a solver) or can discriminate between two solving approaches. In this paper, we introduce a framework that combines these two properties to generate a large number of benchmark instances, purposely generated for effective and informative benchmarking. We use five problems that were used in the MiniZinc competition to demonstrate the usage of our framework. In addition to producing a ranking among solvers, our framework gives a broader understanding of the behaviour of each solver for the whole instance space; for example by finding subsets of instances where the solver performance significantly varies from its average performance.


title: On the matching arrangement of a graph and properties of its characteristic polynomial

abstract: This paper considers a hyperplane arrangement constructed with a subset of a set of all simple paths in a graph. A connection of the constructed arrangement to the maximum matching problem is established. Moreover, the problem of finding the characteristic polynomial is reduced to the case of a connected initial graph. The formula of the characteristic polynomial was also found for the case, when the initial graph is a tree.


title: Spectral estimates and asymptotics for integral operators on singular sets

abstract: For singular numbers of integral operators of the form $u(x)\mapsto \int F_1(X)K(X,Y,X-Y)F_2(Y)u(Y)\mu(dY),$ with measure $\mu$ singular with respect to the Lebesgue measure in $\mathbb{R}^\mathbf{N}$, order sharp estimates for the counting function are established. The kernel $K(X,Y,Z)$ is supposed to be smooth in $X,Y$ and in $Z\ne 0$ and to admit an asymptotic expansion in homogeneous functions in $Z$ variable as $Z\to 0.$ The order in estimates is determined by the leading homogeneity order in the kernel and geometric properties of the measure $\mu$ and involves integral norms of the weight functions $F_1,F_2$. For the case of the measure $\mu$ being the surface measure for a Lipschitz surface of some positive codimension $\mathfrak{d},$ in the self-adjoint case, the asymptotics of eigenvalues of this integral operator is found.


title: EfficientViT: Multi-Scale Linear Attention for High-Resolution Dense Prediction

abstract: High-resolution dense prediction enables many appealing real-world applications, such as computational photography, autonomous driving, etc. However, the vast computational cost makes deploying state-of-the-art high-resolution dense prediction models on hardware devices difficult. This work presents EfficientViT, a new family of high-resolution vision models with novel multi-scale linear attention. Unlike prior high-resolution dense prediction models that rely on heavy softmax attention, hardware-inefficient large-kernel convolution, or complicated topology structure to obtain good performances, our multi-scale linear attention achieves the global receptive field and multi-scale learning (two desirable features for high-resolution dense prediction) with only lightweight and hardware-efficient operations. As such, EfficientViT delivers remarkable performance gains over previous state-of-the-art models with significant speedup on diverse hardware platforms, including mobile CPU, edge GPU, and cloud GPU. Without performance loss on Cityscapes, our EfficientViT provides up to 13.9$\times$ and 6.2$\times$ GPU latency reduction over SegFormer and SegNeXt, respectively. For super-resolution, EfficientViT delivers up to 6.4x speedup over Restormer while providing 0.11dB gain in PSNR. For Segment Anything, EfficientViT delivers 48.9x higher throughput on A100 GPU while achieving slightly better zero-shot instance segmentation performance on COCO.


title: Lagrangian-Hamiltonian formalism for time-dependent dissipative mechanical systems

abstract: In this paper we present a unified Lagrangian--Hamiltonian geometric formalism to describe time-dependent contact mechanical systems, based on the one first introduced by K. Kamimura and later formalized by R. Skinner and R. Rusk. This formalism is especially interesting when dealing with systems described by singular Lagrangians, since the second-order condition is recovered from the constraint algorithm. In order to illustrate this formulation, some relevant examples are described in full detail: the Duffing equation, an ascending particle with time-dependent mass and quadratic drag, and a charged particle in a stationary electric field with a time-dependent constraint.


title: Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for all Distributions

abstract: We consider a revenue-maximizing seller with a single item for sale to multiple buyers with i.i.d. valuations. Akbarpour and Li (2020) show that the only optimal, credible, strategyproof auction is the ascending price auction with reserves which has unbounded communication complexity. Recent work of Ferreira and Weinberg (2020) circumvents their impossibility result assuming the existence of cryptographically secure commitment schemes, and designs a two-round credible, strategyproof, optimal auction. However, their auction is only credible when buyers' valuations are MHR or $\alpha$-strongly regular: they show their auction might not be credible even when there is a single buyer drawn from a non-MHR distribution. In this work, under the same cryptographic assumptions, we identify a new single-item auction that is credible, strategyproof, revenue optimal, and terminates in constant rounds in expectation for all distributions with finite monopoly price.


title: Radial Spike and Slab Bayesian Neural Networks for Sparse Data in Ransomware Attacks

abstract: Ransomware attacks are increasing at an alarming rate, leading to large financial losses, unrecoverable encrypted data, data leakage, and privacy concerns. The prompt detection of ransomware attacks is required to minimize further damage, particularly during the encryption stage. However, the frequency and structure of the observed ransomware attack data makes this task difficult to accomplish in practice. The data corresponding to ransomware attacks represents temporal, high-dimensional sparse signals, with limited records and very imbalanced classes. While traditional deep learning models have been able to achieve state-of-the-art results in a wide variety of domains, Bayesian Neural Networks, which are a class of probabilistic models, are better suited to the issues of the ransomware data. These models combine ideas from Bayesian statistics with the rich expressive power of neural networks. In this paper, we propose the Radial Spike and Slab Bayesian Neural Network, which is a new type of Bayesian Neural network that includes a new form of the approximate posterior distribution. The model scales well to large architectures and recovers the sparse structure of target functions. We provide a theoretical justification for using this type of distribution, as well as a computationally efficient method to perform variational inference. We demonstrate the performance of our model on a real dataset of ransomware attacks and show improvement over a large number of baselines, including state-of-the-art models such as Neural ODEs (ordinary differential equations). In addition, we propose to represent low-level events as MITRE ATT\&CK tactics, techniques, and procedures (TTPs) which allows the model to better generalize to unseen ransomware attacks.


title: Scalable almost-linear dynamical Ising machines

abstract: The past decade has seen the emergence of Ising machines targeting hard combinatorial optimization problems by minimizing the Ising Hamiltonian with spins represented by continuous dynamical variables. However, capabilities of these machines at larger scales are yet to be fully explored. We investigate an Ising machine based on a network of almost-linearly coupled analog spins. We show that such networks leverage the computational resource similar to that of the semidefinite positive relaxation of the Ising model. We estimate the expected performance of the almost-linear machine and benchmark it on a set of {0,1}-weighted graphs. We show that the running time of the investigated machine scales polynomially (linearly with the number of edges in the connectivity graph). As an example of the physical realization of the machine, we present a CMOS-compatible implementation comprising an array of vertices efficiently storing the continuous spins on charged capacitors and communicating externally via analog current.


title: Modeling Disagreement in Automatic Data Labelling for Semi-Supervised Learning in Clinical Natural Language Processing

abstract: Computational models providing accurate estimates of their uncertainty are crucial for risk management associated with decision making in healthcare contexts. This is especially true since many state-of-the-art systems are trained using the data which has been labelled automatically (self-supervised mode) and tend to overfit. In this work, we investigate the quality of uncertainty estimates from a range of current state-of-the-art predictive models applied to the problem of observation detection in radiology reports. This problem remains understudied for Natural Language Processing in the healthcare domain. We demonstrate that Gaussian Processes (GPs) provide superior performance in quantifying the risks of 3 uncertainty labels based on the negative log predictive probability (NLPP) evaluation metric and mean maximum predicted confidence levels (MMPCL), whilst retaining strong predictive performance.


title: Rapid Regression Detection in Software Deployments through Sequential Testing

abstract: The practice of continuous deployment has enabled companies to reduce time-to-market by increasing the rate at which software can be deployed. However, deploying more frequently bears the risk that occasionally defective changes are released. For Internet companies, this has the potential to degrade the user experience and increase user abandonment. Therefore, quality control gates are an important component of the software delivery process. These are used to build confidence in the reliability of a release or change. Towards this end, a common approach is to perform a canary test to evaluate new software under production workloads. Detecting defects as early as possible is necessary to reduce exposure and to provide immediate feedback to the developer. We present a statistical framework for rapidly detecting regressions in software deployments. Our approach is based on sequential tests of stochastic order and of equality in distribution. This enables canary tests to be continuously monitored, permitting regressions to be rapidly detected while strictly controlling the false detection probability throughout. The utility of this approach is demonstrated based on two case studies at Netflix.


title: Non-Dyson Algebraic Diagrammatic Construction Theory for Charged Excitations in Solids

abstract: We present the first implementation and applications of non-Dyson algebraic diagrammatic construction theory for charged excitations in three-dimensional periodic solids (EA/IP-ADC). The EA/IP-ADC approach has a computational cost similar to the ground-state M{\o}ller-Plesset perturbation theory, enabling efficient calculations of a variety of crystalline excited-state properties (e.g., band structure, band gap, density of states) sampled in the Brillouin zone. We use EA/IP-ADC to compute the quasiparticle band structures and band gaps of several materials (from large-gap atomic and ionic solids to small-gap semiconductors) and analyze the errors of EA/IP-ADC approximations up to the third order in perturbation theory. Our work also reports the first-ever calculations of ground-state properties (equation-of-state and lattice constants) of three-dimensional crystalline systems using a periodic implementation of third-order M{\o}ller-Plesset perturbation theory (MP3).


title: 6N-DoF Pose Tracking for Tensegrity Robots

abstract: Tensegrity robots, which are composed of compressive elements (rods) and flexible tensile elements (e.g., cables), have a variety of advantages, including flexibility, low weight, and resistance to mechanical impact. Nevertheless, the hybrid soft-rigid nature of these robots also complicates the ability to localize and track their state. This work aims to address what has been recognized as a grand challenge in this domain, i.e., the state estimation of tensegrity robots through a markerless, vision-based method, as well as novel, onboard sensors that can measure the length of the robot's cables. In particular, an iterative optimization process is proposed to track the 6-DoF pose of each rigid element of a tensegrity robot from an RGB-D video as well as endcap distance measurements from the cable sensors. To ensure that the pose estimates of rigid elements are physically feasible, i.e., they are not resulting in collisions between rods or with the environment, physical constraints are introduced during the optimization. Real-world experiments are performed with a 3-bar tensegrity robot, which performs locomotion gaits. Given ground truth data from a motion capture system, the proposed method achieves less than 1~cm translation error and 3 degrees rotation error, which significantly outperforms alternatives. At the same time, the approach can provide accurate pose estimation throughout the robot's motion, while motion capture often fails due to occlusions.


title: On the Existence of Self-Similar solutions for some Nonlinear Schr\"odinger equations

abstract: We construct solutions of Schr\"odinger equations which have asymptotic self similar solutions as time goes to infinity. Also included are situations with two-bubbles. These solutions are global, with constant non-zero $L^2$ norm, and are stable. As such they are not of the standard asymptotic decomposition of linear wave and localized waves. Such weakly localized waves were expected in view of previous works on the large time behavior of general dispersive equations. It is shown that one can associate a \emph{scattering channel} to such solutions, with the Dilation operator as the asymptotic "hamiltonian".


title: Data-driven hadronic interaction model for atmospheric lepton flux calculations

abstract: The leading contribution to the uncertainties of atmospheric neutrino flux calculations arise from the cosmic-ray nucleon flux and the production cross sections of secondary particles in hadron-air interactions. The data-driven model developed in this work parametrizes particle yields from fixed-target accelerator data. The propagation of errors from the accelerator data to the inclusive muon and neutrino flux predictions results in smaller uncertainties than in previous estimates, and the description of atmospheric flux data is good. The model is implemented as part of the MCEq package, and hence can be flexibly employed for theoretical flux error estimation at neutrino telescopes.


title: Similarity reductions of peakon equations: integrable cubic equations

abstract: We consider the scaling similarity solutions of two integrable cubically nonlinear partial differential equations (PDEs) that admit peaked soliton (peakon) solutions, namely the modified Camassa-Holm (mCH) equation and Novikov's equation. By making use of suitable reciprocal transformations, which map the mCH equation and Novikov's equation to a negative mKdV flow and a negative Sawada-Kotera flow, respectively, we show that each of these scaling similarity reductions is related via a hodograph transformation to an equation of Painlev\'e type: for the mCH equation, its reduction is of second order and second degree, while for Novikov's equation the reduction is a particular case of Painlev\'e V. Furthermore, we show that each of these two different Painlev\'e-type equations is related to the particular cases of Painlev\'e III that arise from analogous similarity reductions of the Camassa-Holm and the Degasperis-Procesi equation, respectively. For each of the cubically nonlinear PDEs considered, we also give explicit parametric forms of their periodic travelling wave solutions in terms of elliptic functions. We present some parametric plots of the latter, and, by using explicit algebraic solutions of Painlev\'e III, we do the same for some of the simplest examples of scaling similarity solutions, together with descriptions of their leading order asymptotic behaviour.


title: No elliptic points from fixed prime ends

abstract: We consider area preserving maps of surfaces and extend Mather's result on the equality of the closure of the four branches of saddles. He assumed elliptic fixed points to be Moser stable, while we require only that the derivative at this points to be a rotation by an angle different from zero. There are many results in the literature which require the hypothesis that elliptic periodic points be Moser stable that now can be extended to the case that the derivative at these points be an irrational rotation. The key point is to give more information on Cartwright and Littlewood's fixed point theorem, to show that the fixed point obtained by a fixed prime end can not be elliptic. Hypotheses then became easier to verify: non degeneracy of fixed points and nonexistence of saddle connections. As an application we show that the result immediately implies that for the standard map family, for all values of the parameter, except one, the principal hyperbolic fixed point has homoclinic points. We also extend results to surfaces with boundary in order to be applicable to return maps to surfaces of section and broken book decompositions.


title: UPB at SemEval-2022 Task 5: Enhancing UNITER with Image Sentiment and Graph Convolutional Networks for Multimedia Automatic Misogyny Identification

abstract: In recent times, the detection of hate-speech, offensive, or abusive language in online media has become an important topic in NLP research due to the exponential growth of social media and the propagation of such messages, as well as their impact. Misogyny detection, even though it plays an important part in hate-speech detection, has not received the same attention. In this paper, we describe our classification systems submitted to the SemEval-2022 Task 5: MAMI - Multimedia Automatic Misogyny Identification. The shared task aimed to identify misogynous content in a multi-modal setting by analysing meme images together with their textual captions. To this end, we propose two models based on the pre-trained UNITER model, one enhanced with an image sentiment classifier, whereas the second leverages a Vocabulary Graph Convolutional Network (VGCN). Additionally, we explore an ensemble using the aforementioned models. Our best model reaches an F1-score of 71.4% in Sub-task A and 67.3% for Sub-task B positioning our team in the upper third of the leaderboard. We release the code and experiments for our models on GitHub


title: Phase space transport in a symmetric Caldera potential with three index-1 saddles and no minima

abstract: We apply the method of Lagrangian Descriptors (LDs) to a symmetric Caldera-type potential energy surface which has three index-1 saddles surrounding a relatively flat region that contains no minimum. Using this method we show the phase space transport mechanism that is responsible for the existence and non-existence of the phenomenon of dynamical matching for this form of Caldera potential energy surface.

categories: nlin.CD math-ph math.DS math.MP physics.chem-ph


title: Selective symplectic homology with applications to contact non-squeezing

abstract: We prove a contact non-squeezing phenomenon on homotopy spheres that are fillable by Liouville domains with infinite dimensional symplectic homology: there exists a smoothly embedded ball in such a sphere that cannot be made arbitrarily small by a contact isotopy. These homotopy spheres include examples that are diffeomorphic to standard spheres and whose contact structures are homotopic to standard contact structures. As the main tool, we construct a new version of symplectic homology, called selective symplectic homology, that is associated to a Liouville domain and an open subset of its boundary. The selective symplectic homology is obtained as the direct limit of Floer homology groups for Hamiltonians whose slopes tend to infinity on the open subset but remain close to 0 and positive on the rest of the boundary.


title: Unfooling Perturbation-Based Post Hoc Explainers

abstract: Monumental advancements in artificial intelligence (AI) have lured the interest of doctors, lenders, judges, and other professionals. While these high-stakes decision-makers are optimistic about the technology, those familiar with AI systems are wary about the lack of transparency of its decision-making processes. Perturbation-based post hoc explainers offer a model agnostic means of interpreting these systems while only requiring query-level access. However, recent work demonstrates that these explainers can be fooled adversarially. This discovery has adverse implications for auditors, regulators, and other sentinels. With this in mind, several natural questions arise - how can we audit these black box systems? And how can we ascertain that the auditee is complying with the audit in good faith? In this work, we rigorously formalize this problem and devise a defense against adversarial attacks on perturbation-based explainers. We propose algorithms for the detection (CAD-Detect) and defense (CAD-Defend) of these attacks, which are aided by our novel conditional anomaly detection approach, KNN-CAD. We demonstrate that our approach successfully detects whether a black box system adversarially conceals its decision-making process and mitigates the adversarial attack on real-world data for the prevalent explainers, LIME and SHAP.


title: A Chiral Triplet Quasi-Two-Dimensional Superconductor in a Parallel Magnetic Field

abstract: We calculate the parallel upper critical magnetic field $H_{\parallel}(0)$ for an in-plane isotropic quasi-two-dimensional (Q2D) chiral triplet superconductor at zero temperature, $T=0$. In particular, the ratio $H_{\parallel}(0)/(|dH^{GL}_{\parallel}/dT|_{T=T_c}T_c) = 0.815$ is defined, where $|dH^{GL}_{\parallel}/dT|_{T=T_c}$ is the so-called Ginzburg-Landau slope of the upper critical magnetic field, $T_c$ is a superconducting transition temperature at $H=0$. We show that the theoretically obtained above mentioned value strongly contradicts to the experimentally measured ones in a candidate for a chiral triplet superconductivity Sr$_2$RuO$_4$, which provides one more argument against the chiral triplet scenario of superconductivity in this compound. Our results may be useful for establishing chiral triplet superconductivity in other Q2D candidates for this phenomenon.


title: Shared Metadata for Data-Centric Materials Science

abstract: The expansive production of data in materials science, their widespread sharing and repurposing requires educated support and stewardship. In order to ensure that this need helps rather than hinders scientific work, the implementation of the FAIR-data principles (Findable, Accessible, Interoperable, and Reusable) must not be too narrow. Besides, the wider materials-science community ought to agree on the strategies to tackle the challenges that are specific to its data, both from computations and experiments. In this paper, we present the result of the discussions held at the workshop on "Shared Metadata and Data Formats for Big-Data Driven Materials Science". We start from an operative definition of metadata, and what features a FAIR-compliant metadata schema should have. We will mainly focus on computational materials-science data and propose a constructive approach for the FAIRification of the (meta)data related to ground-state and excited-states calculations, potential-energy sampling, and generalized workflows. Finally, challenges with the FAIRification of experimental (meta)data and materials-science ontologies are presented together with an outlook of how to meet them.


title: An Optimization-based Algorithm for Non-stationary Kernel Bandits without Prior Knowledge

abstract: We propose an algorithm for non-stationary kernel bandits that does not require prior knowledge of the degree of non-stationarity. The algorithm follows randomized strategies obtained by solving optimization problems that balance exploration and exploitation. It adapts to non-stationarity by restarting when a change in the reward function is detected. Our algorithm enjoys a tighter dynamic regret bound than previous work on the non-stationary kernel bandit setting. Moreover, when applied to the non-stationary linear bandit setting by using a linear kernel, our algorithm is nearly minimax optimal, solving an open problem in the non-stationary linear bandit literature. We extend our algorithm to use a neural network for dynamically adapting the feature mapping to observed data. We prove a dynamic regret bound of the extension using the neural tangent kernel theory. We demonstrate empirically that our algorithm and the extension can adapt to varying degrees of non-stationarity.


title: Magnetisation moment of a bounded 3D sample: asymptotic recovery from planar measurements on a large disk using Fourier analysis

abstract: We consider the problem of reconstruction of the overall magnetisation vector (net moment) of a sample from partial data of the magnetic field. Namely, motivated by a concrete experimental set-up, we deal with a situation when the magnetic field is measured on a portion of the plane in vicinity of the sample and only one (normal to the plane) component of the field is available. Under assumption that the measurement area is a sufficiently large disk (lying in a horizontal plane above the sample), we obtain a set of estimates for the components of the net moment vector with the accuracy which improves asymptotically with the increase of the measurement disk radius. Compared to our previous preliminary results, the asymptotic formulas are now rigorously justified and higher-order estimates are derived. Moreover, the presented approach, based on an appropriate splitting in the Fourier domain and estimates of oscillatory integrals (involving both small and large parameters), elucidates the derivation of asymptotic estimates of an arbitrary order, a possibility that was previously unclear. The obtained results are illustrated numerically and their robustness with respect to noise is discussed.


title: Constraints on the Galactic Centre environment from Gaia hypervelocity stars II: The evolved population

abstract: A dynamical encounter between a stellar binary and Sgr A* in the Galactic Centre (GC) can tidally separate the binary and eject one member with a velocity beyond the escape speed of the Milky Way. These hypervelocity stars (HVSs) can offer insight into the stellar populations in the GC environment. In a previous work, our simulations showed that the lack of main sequence HVS candidates with precise astrometric uncertainties and radial velocities in current data releases from the \textit{Gaia} space mission places a robust upper limit on the ejection rate of HVSs from the GC of $3\times10^{-2} \, \mathrm{yr^{-1}}$. We improve this constraint in this work by additionally considering the absence of post main sequence HVSs in \textit{Gaia} Early Data Release 3 as well the existence of the HVS candidate S5-HVS1. This evidence offers degenerate joint constraints on the HVS ejection rate and the stellar initial mass function (IMF) in the GC. For a top-heavy GC IMF as suggested by recent works, our modelling motivates an HVS ejection rate of $\eta=0.7_{-0.5}^{+1.5} \times10^{-4} \, \mathrm{yr^{-1}}$. This preferred ejection rate can be as large as $10^{-2} \, \mathrm{yr^{-1}}$ for a very top-light IMF and as low as 10$^{-4.5} \, \mathrm{yr^{-1}}$ if the IMF is extremely top-heavy. Constraints will improve further with future \textit{Gaia} data releases, regardless of how many HVS candidates are found therewithin.


title: TransforMAP: Transformer for Memory Access Prediction

abstract: Data Prefetching is a technique that can hide memory latency by fetching data before it is needed by a program. Prefetching relies on accurate memory access prediction, to which task machine learning based methods are increasingly applied. Unlike previous approaches that learn from deltas or offsets and perform one access prediction, we develop TransforMAP, based on the powerful Transformer model, that can learn from the whole address space and perform multiple cache line predictions. We propose to use the binary of memory addresses as model input, which avoids information loss and saves a token table in hardware. We design a block index bitmap to collect unordered future page offsets under the current page address as learning labels. As a result, our model can learn temporal patterns as well as spatial patterns within a page. In a practical implementation, this approach has the potential to hide prediction latency because it prefetches multiple cache lines likely to be used in a long horizon. We show that our approach achieves 35.67% MPKI improvement and 20.55% IPC improvement in simulation, higher than state-of-the-art Best-Offset prefetcher and ISB prefetcher.


title: Bayes Classification using an approximation to the Joint Probability Distribution of the Attributes

abstract: The Naive-Bayes classifier is widely used due to its simplicity, speed and accuracy. However this approach fails when, for at least one attribute value in a test sample, there are no corresponding training samples with that attribute value. This is known as the zero frequency problem and is typically addressed using Laplace Smoothing. However, Laplace Smoothing does not take into account the statistical characteristics of the neighbourhood of the attribute values of the test sample. Gaussian Naive Bayes addresses this but the resulting Gaussian model is formed from global information. We instead propose an approach that estimates conditional probabilities using information in the neighbourhood of the test sample. In this case we no longer need to make the assumption of independence of attribute values and hence consider the joint probability distribution conditioned on the given class which means our approach (unlike the Gaussian and Laplace approaches) takes into consideration dependencies among the attribute values. We illustrate the performance of the proposed approach on a wide range of datasets taken from the University of California at Irvine (UCI) Machine Learning Repository. We also include results for the $k$-NN classifier and demonstrate that the proposed approach is simple, robust and outperforms standard approaches.


title: Nesterov's acceleration for level set-based topology optimization using reaction-diffusion equations

abstract: This paper discusses level set-based structural optimization. Level set-based structural optimization is a method used to determine an optimal configuration for minimizing an objective functional by updating level set functions characterized as solutions to partial differential equations (PDEs) (e.g., Hamilton-Jacobi and reaction-diffusion equations). In this study, based on Nesterov's accelerated method, a nonlinear (damped) wave equation will be derived as a PDE satisfied by level set functions and applied to a minimum mean compliance problem. Numerically, the method developed in this study will yield convergence to an optimal configuration faster than methods using only a reaction-diffusion equation, and moreover, its FreeFEM++ code will also be described.


title: COVID-19 Literature Mining and Retrieval using Text Mining Approaches

abstract: The novel coronavirus disease (COVID-19) began in Wuhan, China, in late 2019 and to date has infected over 148M people worldwide, resulting in 3.12M deaths. On March 10, 2020, the World Health Organisation (WHO) declared it as a global pandemic. Many academicians and researchers started to publish papers describing the latest discoveries on covid-19. The large influx of publications made it hard for other researchers to go through a large amount of data and find the appropriate one that helps their research. So, the proposed model attempts to extract relavent titles from the large corpus of research publications which makes the job easy for the researchers. Allen Institute for AI released the CORD-19 dataset, which consists of 2,00,000 journal articles related to coronavirus-related research publications from PubMed's PMC, WHO (World Health Organization), bioRxiv, and medRxiv pre-prints. Along with this document corpus, they have also provided a topics dataset named topics-rnd3 consisting of a list of topics. Each topic has three types of representations like query, question, and narrative. These Datasets are made open for research, and also they released a TREC-COVID competition on Kaggle. Using these topics like queries, our goal is to find out the relevant documents in the CORD-19 dataset. In this research, relevant documents should be recognized for the posed topics in topics-rnd3 data set. The proposed model uses Natural Language Processing(NLP) techniques like Bag-of-Words, Average Word-2-Vec, Average BERT Base model and Tf-Idf weighted Word2Vec model to fabricate vectors for query, question, narrative, and combinations of them. Similarly, fabricate vectors for titles in the CORD-19 dataset. After fabricating vectors, cosine similarity is used for finding similarities between every two vectors. Cosine similarity helps us to find relevant documents for the given topic.


title: Percolation in Random Graphs of Unbounded Rank

abstract: Bootstrap percolation in (random) graphs is a contagion dynamics among a set of vertices with certain threshold levels. The process is started by a set of initially infected vertices, and an initially uninfected vertex with threshold $k$ gets infected as soon as the number of its infected neighbors exceeds $k$. This process has been studied extensively in so called \textit{rank one} models. These models can generate random graphs with heavy-tailed degree sequences but they are not capable of clustering. In this paper, we treat a class of random graphs of unbounded rank which allow for extensive clustering. Our main result determines the final fraction of infected vertices as the fixed point of a non-linear operator defined on a suitable function space. We propose an algorithm that facilitates neural networks to calculate this fixed point efficiently. We further derive criteria based on the Fr\'echet derivative of the operator that allows one to determine whether small infections spread through the entire graph or rather stay local.


title: Suppression of surface roughening during ion bombardment of semiconductors

abstract: Ion beams are used routinely for processing of semiconductors, particularly sputtering, ion implantation and direct-write fabrication of nanostructures. However, the utility of ion beam techniques is limited by crystal damage and surface roughening. Damage can be reduced or eliminated by performing irradiation at elevated temperatures. However, at these conditions, surface roughening is highly problematic due to thermal mobility of adatoms and surface vacancies. Here we solve this problem using hydrogen gas, which we use to stabilize surface mass flow and suppress roughening during ion bombardment of elemental and compound semiconductors. We achieve smooth surfaces during ion-beam processing, and show that the method can be enhanced by radicalizing H2 gas using a remote plasma source. Our approach is broadly applicable, and expands the utility of ion beam techniques for the processing and fabrication of functional materials and nanostructures.


title: Transient Behavior of Gossip Opinion Dynamics with Community Structure

abstract: We study transient behavior of gossip opinion dynamics, in which agents randomly interact pairwise over a weighted graph with two communities. Edges within a community have identical weights different from edge weights between communities. We first derive an upper bound for the second moment of agent opinions. Using this bound, we obtain upper bounds for probability that a large proportion of agents have opinions close to average ones. The results imply a phase transition of transient behavior of the process: When edge weights within communities are larger than those between communities and those between regular and stubborn agents, most agents in the same community hold opinions close to the average opinion of that community with large probability, at an early stage of the process. However, if the difference between intra- and inter-community weights is small, most of the agents instead hold opinions close to everyone's average opinion at the early stage. In contrast, when the influence of stubborn agents is large, agent opinions settle quickly to steady state. We then conduct numerical experiments to validate the theoretical results. Different from traditional asymptotic analysis in most opinion dynamics literature, the paper characterizes the influences of stubborn agents and community structure on the initial phase of the opinion evolution.


title: Design of a 13-Channel Hybrid Array System for Foot/Ankle Magnetic Resonance Imaging at 7T/300MHz

abstract: Microstrip lines are being used in MR applications due to their unique properties, such as reduced radiation loss, high-frequency capability, and reduced perturbation of sample loading to the RF coil compared to conventional coils. Here, we present the design of the 13-channel hybrid array consisting of 12 Microstrips, 1 volume half birdcage coil placed on the foot/ankle phantom, and high permittivity materials to cover the maximum area of the subject at 7T/300MHz. We demonstrate using electromagnetic simulations, magnetic field distribution, SAR performance, and the coupling performance of the array elements. This work provides an ultrahigh field multichannel RF solution to lower extremity MR imaging with excellent imaging coverage and field uniformity.


title: Optical Light Curve of 4FGL J0935.3+0901: A Flaring Black Widow Candidate

abstract: I obtained time-series photometry of the compact binary candidate for the Fermi source 4FGL J0935.3+0901. Superposed on the 2.44 hr orbital modulation are day-to-day variations and frequent flaring as seen in several redback and black widow millisecond pulsars (MSPs). The short orbital period favors a black widow. While the modulation of $\leq 1$ mag is smaller than that of most black widows, it could indicate a low orbital inclination. Although a published optical spectrum shows strong emission lines, the light curve evinces pulsar heating of the companion star rather than accretion-disk emission of a transitional MSP. Emission lines and flaring occur in the same objects, probably powered by shocks between the relativistic pulsar wind and a wind driven off the companion star. I also recovered the period in photometry from the Zwicky Transient Facility. A phase-connected ephemeris derived from MDM Observatory and ZTF data spanning 4 years yields a period of 0.10153276(36) days and an epoch for the ascending node of the putative pulsar.


title: Jammed solids with pins: Thresholds, Force networks and Elasticity

abstract: The role of fixed degrees of freedom in soft/granular matter systems has broad applicability and theoretical interest. Here we address questions of the geometrical role that a scaffolding of fixed particles plays in tuning the threshold volume fraction and force network in the vicinity of jamming. Our 2d simulated system consists of soft particles and fixed "pins", both of which harmonically repel overlaps. On one hand, we find that many of the critical scalings associated with jamming in the absence of pins continue to hold in the presence of even dense pin latices. On the other hand, the presence of pins lowers the jamming threshold, in a universal way at low pin densities and a geometry-dependent manner at high pin densities, producing packings with lower densities and fewer contacts between particles. The onset of strong lattice dependence coincides with the development of bond-orientational order. Furthermore, the presence of pins dramatically modifies the network of forces, with both unusually weak and unusually strong forces becoming more abundant. The spatial organization of this force network depends on pin geometry and is described in detail. Using persistent homology we demonstrate that pins modify the topology of the network. Finally, we observe clear signatures of this developing bond-orientational order and broad force distribution in the elastic moduli which characterize the linear response of these packings to strain.


title: GW170817 4.5 years after merger: Dynamical ejecta afterglow constraints

abstract: GW170817 is the first binary neutron star (NS) merger detected in gravitational waves (GWs) and photons, and so far remains the only GW event of its class with a definitive electromagnetic (EM) counterpart. Radio emission from the structured jet associated with GW170817 has faded below the sensitivity achievable via deep radio observations with the most sensitive radio arrays currently in operation. Hence, we now have the opportunity to probe the radio re-brightening that some models predict, should emerge at late times from the interaction of the dynamically-stripped merger ejecta with the interstellar medium. Here we present the latest results from our deep radio observations of the GW170817 field with the Karl G. Jansky Very Large Array (VLA), 4.5 years after the merger. Our new data at $3\,$GHz do not show any compelling evidence for emission in excess to the tail of the jet afterglow ($<3.3\,\mu$Jy), confirming our previous results. We thus set new constraints on the dynamical ejecta afterglow models. These constraints favor single-speed ejecta with energy $\lesssim 10^{50}\,$erg (for an ejecta speed of $\beta_0=0.5$), or steeper energy-speed distributions of the kilonova ejecta. Our results also suggest larger values of the cold, non-rotating maximum NS mass in equal mass scenarios. However, without a detection of the dynamical ejecta afterglow, obtaining precise constraints on the NS equation of state remains challenging.


title: A dichotomy result for closed characteristics on compact star-shaped hypersurfaces in $\mathbf{R}^{2n}$

abstract: In this paper, we prove that if all closed characteristics on a compact non-degenerate star-shaped hypersurface $\Sigma$ in $\mathbf{R}^{2n}$ are elliptic, then either there exist exactly $n$ geometrically distinct closed characteristics, or there exist infinitely many geometrically distinct closed characteristics.


title: Non-Stationary Bandits under Recharging Payoffs: Improved Planning with Sublinear Regret

abstract: The stochastic multi-armed bandit setting has been recently studied in the non-stationary regime, where the mean payoff of each action is a non-decreasing function of the number of rounds passed since it was last played. This model captures natural behavioral aspects of the users which crucially determine the performance of recommendation platforms, ad placement systems, and more. Even assuming prior knowledge of the mean payoff functions, computing an optimal planning in the above model is NP-hard, while the state-of-the-art is a $1/4$-approximation algorithm for the case where at most one arm can be played per round. We first focus on the setting where the mean payoff functions are known. In this setting, we significantly improve the best-known guarantees for the planning problem by developing a polynomial-time $(1-{1}/{e})$-approximation algorithm (asymptotically and in expectation), based on a novel combination of randomized LP rounding and a time-correlated (interleaved) scheduling method. Furthermore, our algorithm achieves improved guarantees -- compared to prior work -- for the case where more than one arm can be played at each round. Moving to the bandit setting, when the mean payoff functions are initially unknown, we show how our algorithm can be transformed into a bandit algorithm with sublinear regret.


title: Suppression of Superconductivity in Heavy-ion Irradiated 2H-NbSe2 Caused by Negative Pressure

abstract: Effects of columnar defects created by 320 MeV Au irradiation on 2H-NbSe2 single crystals with a dose equivalent matching field up to 16 T were studied. Critical temperature is found to be suppressed almost linearly at a rate of 0.07 K/T. At the same time, the lattice parameters a and c are found to be expanded at rates of 0.016%/T and 0.030%/T, respectively. Such a lattice expansion should work as negative pressure to affect Tc. By separating the effect of heavy-ion irradiation on Tc suppression through lattice expansion and disorder, it is found that Tc is suppressed more by lattice expansion rather than by disorder.


title: End-to-End Topology-Aware Machine Learning for Power System Reliability Assessment

abstract: Conventional power system reliability suffers from the long run time of Monte Carlo simulation and the dimension-curse of analytic enumeration methods. This paper proposes a preliminary investigation on end-to-end machine learning for directly predicting the reliability index, e.g., the Loss of Load Probability (LOLP). By encoding the system admittance matrix into the input feature, the proposed machine learning pipeline can consider the impact of specific topology changes due to regular maintenances of transmission lines. Two models (Support Vector Machine and Boosting Trees) are trained and compared. Details regarding the training data creation and preprocessing are also discussed. Finally, experiments are conducted on the IEEE RTS-79 system. Results demonstrate the applicability of the proposed end-to-end machine learning pipeline in reliability assessment.


title: Thermal luminosity degeneracy of magnetized neutron stars with and without hyperon cores

abstract: The dissipation of intense crustal electric currents produces high Joule heating rates in cooling neutron stars. Here it is shown that Joule heating can counterbalance fast cooling, making it difficult to infer the presence of hyperons (which accelerate cooling) from measurements of the observed thermal luminosity $L_\gamma$. Models with and without hyperon cores match $L_{\gamma}$ of young magnetars (with poloidal-dipolar field $B_{\textrm{dip}} \gtrsim 10^{14}$ G at the polar surface and $L_{\gamma} \gtrsim 10^{34}$ erg s$^{-1}$ at $t \lesssim 10^5$ yr) as well as mature, moderately magnetized stars (with $B_{\textrm{dip}} \lesssim 10^{14}$ G and $10^{31} \ \textrm{erg s}^{-1} \lesssim L_{\gamma} \lesssim 10^{32}$ erg s$^{-1}$ at $t \gtrsim 10^5$ yr). In magnetars, the crustal temperature is almost independent of hyperon direct Urca cooling in the core, regardless of whether the latter is suppressed or not by hyperon superfluidity. The thermal luminosities of light magnetars without hyperons and heavy magnetars with hyperons have $L_{\gamma}$ in the same range and are almost indistinguishable. Likewise, $L_{\gamma}$ data of neutron stars with $B_{\textrm{dip}} \lesssim 10^{14}$ G but with strong internal fields are not suitable to extract information about the equation of state as long as hyperons are superfluid, with maximum amplitude of the energy gaps of the order $\approx 1$ MeV.


title: Temporal Latent Bottleneck: Synthesis of Fast and Slow Processing Mechanisms in Sequence Learning

abstract: Recurrent neural networks have a strong inductive bias towards learning temporally compressed representations, as the entire history of a sequence is represented by a single vector. By contrast, Transformers have little inductive bias towards learning temporally compressed representations, as they allow for attention over all previously computed elements in a sequence. Having a more compressed representation of a sequence may be beneficial for generalization, as a high-level representation may be more easily re-used and re-purposed and will contain fewer irrelevant details. At the same time, excessive compression of representations comes at the cost of expressiveness. We propose a solution which divides computation into two streams. A slow stream that is recurrent in nature aims to learn a specialized and compressed representation, by forcing chunks of $K$ time steps into a single representation which is divided into multiple vectors. At the same time, a fast stream is parameterized as a Transformer to process chunks consisting of $K$ time-steps conditioned on the information in the slow-stream. In the proposed approach we hope to gain the expressiveness of the Transformer, while encouraging better compression and structuring of representations in the slow stream. We show the benefits of the proposed method in terms of improved sample efficiency and generalization performance as compared to various competitive baselines for visual perception and sequential decision making tasks.


title: Spin-orbit-derived giant magnetoresistance in a layered magnetic semiconductor AgCrSe2

abstract: Two-dimensional magnetic materials have recently attracted great interest due to their unique functions as the electric field control of a magnetic phase and the anomalous spin Hall effect. For such remarkable functions, a spin-orbit coupling (SOC) serves as an essential ingredient. Here we report a giant positive magnetoresistance in a layered magnetic semiconductor AgCrSe2, which is a manifestation of the subtle combination of the SOC and Zeeman-type spin splitting. When the carrier concentration approaches the critical value of 2.5\times10^18 cm^-3, a sizable positive magnetoresistance of ~400 % emerges upon the application of magnetic fields normal to the conducting layers. Based on the magneto-Seebeck effect and the first-principles calculations, the unconventional magnetoresistance is ascribable to the enhancement of effective carrier mass in the SOC induced J = 3/2 state, which is tuned to the Fermi level through the Zeeman splitting enhanced by the p-d coupling. This study demonstrates a new aspect of the SOC-derived magnetotransport in two-dimensional magnetic semiconductors, paving the way to novel spintronic functions.


title: Demonstration of static atomic gravimetry using Kalman filter

abstract: The measurement precision of the static atomic gravimetry is limited by white Gaussian noise in short term, which costs previous works an inevitable integration to reach the precision demanded. Here, we propose a statistical model based on the quantum projection noise and apply the Kalman filter to the waveform estimation in static atomic gravimetry. With the white Gaussian noise significantly removed by the the Kalman-filter formalism, the measurement noise of the gravimetry is reshaped in short term and shows $\tau^{1/2}$ feature that corresponds to random walk. During 200 hours of static measurement of gravity, the atomic gravimeter using Kalman filter demonstrates a sensitivity as good as 0.6 $\rm{nm/s^2}/\sqrt{\rm{s}}$, and highlights a precision of 1.7 $\rm{nm/s^2}$ at the measuring time of a single sample. The measurement noise achieved is also lower than the quantum projection limit below $\sim$ 30 s.


title: Near Optimal Bounds for Replacement Paths and Related Problems in the CONGEST Model

abstract: We present several results in the CONGEST model on round complexity for Replacement Paths (RPaths), Minimum Weight Cycle (MWC), and All Nodes Shortest Cycles (ANSC). We study these fundamental problems in both directed and undirected graphs, both weighted and unweighted. Many of our results are optimal to within a polylog factor: For an $n$-node graph $G$ we establish near linear lower and upper bounds for computing RPaths if $G$ is directed and weighted, and for computing MWC and ANSC if $G$ is weighted, directed or undirected; near $\sqrt{n}$ lower and upper bounds for undirected weighted RPaths; and $\Theta(D)$ bound for undirected unweighted RPaths. We also present lower and upper bounds for approximation versions of these problems, notably a $(2-(1/g))$-approximation algorithm for undirected unweighted MWC that runs in $\tilde{O}(\sqrt{n}+D)$ rounds, improving on the previous best bound of $\tilde{O}(\sqrt{ng}+D)$ rounds, where $g$ is the MWC length. We present a $(1+\epsilon)$-approximation algorithm for directed weighted RPaths, which beats the linear lower bound for exact RPaths.


title: Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism

abstract: Proportionality is an attractive fairness concept that has been applied to a range of problems including the facility location problem, a classic problem in social choice. In our work, we propose a concept called Strong Proportionality, which ensures that when there are two groups of agents at different locations, both groups incur the same total cost. We show that although Strong Proportionality is a well-motivated and basic axiom, there is no deterministic strategyproof mechanism satisfying the property. We then identify a randomized mechanism called Random Rank (which uniformly selects a number $k$ between $1$ to $n$ and locates the facility at the $k$'th highest agent location) which satisfies Strong Proportionality in expectation. Our main theorem characterizes Random Rank as the unique mechanism that achieves universal truthfulness, universal anonymity, and Strong Proportionality in expectation among all randomized mechanisms. Finally, we show via the AverageOrRandomRank mechanism that even stronger ex-post fairness guarantees can be achieved by weakening universal truthfulness to strategyproofness in expectation.


title: Necessary and Sufficient Condition for the Existence of Zero-Determinant Strategies in Repeated Games

abstract: Zero-determinant strategies are a class of memory-one strategies in repeated games which unilaterally enforce linear relationships between payoffs. It has long been unclear for what stage games zero-determinant strategies exist. We provide a necessary and sufficient condition for the existence of zero-determinant strategies. This condition can be interpreted as the existence of two different actions which unilaterally adjust the total value of a linear combination of payoffs. A relation between the class of stage games where zero-determinant strategies exist and other class of stage games is also provided.


title: Sparse modeling approach for quasiclassical theory of superconductivity

abstract: We propose the sparse modeling approach for quasiclassical theory of superconductivity, which reduces the computational cost of solving the gap equations. The recently proposed sparse modeling approach is based on the fact that the Green's function has less information than its spectral function and hence is compressible without loss of relevant information. With the use of the so-called intermediate representation of the Green's function in the sparse modeling approach, one can solve the gap equation with only 10-100 sampled Matsubara Green's functions, while the conventional quasiclassical theory needs 100-1000 ones. We show the efficiency of our method in bulk and vortex states, by self-consistently solving the Eilenberger equations and gap equations. We claim that the sparse modeling approach is appropriate in all theoretical methods based on the Matsubara formalism in the quasiclassical theory of superconductivity.


title: Vanishing theorems for projective morphisms between complex analytic spaces

abstract: We discuss vanishing theorems for projective morphisms between complex analytics spaces and some related results. They will play a crucial role in the minimal model theory for projective morphisms of complex analytic spaces. Roughly speaking, we establish an ultimate generalization of Koll\'ar's package from the minimal model theoretic viewpoint.


title: Uniaxial ferromagnetism in the kagome metal TbV${_6}$Sn${_6}$

abstract: The synthesis and characterization of the vanadium-based kagome metal TbV${_6}$Sn${_6}$ is presented. X-ray measurements confirm this material forms with the same crystal structure type as the recently investigated kagome metals GdV$_6$Sn$_6$ and YV$_6$Sn$_6$, with space group symmetry P6/mmm. A signature of a phase transition at 4.1K is observed in heat capacity, resistivity, and magnetic susceptibility measurements, and both resistivity and magnetization measurements exhibit hysteresis in magnetic field. Furthermore, a strikingly large anisotropy in the magnetic susceptibility was observed, with the c-axis susceptibility nearly 100 times the ab plane susceptibility at 2K. This is highly suggestive of uniaxial ferromagnetism, and the large size of 9.4$\mu_b$/f.u. indicates the Tb$^{3+}$ $4f$ electronic moments cooperatively align perpendicular to the V kagome lattice plane. The entropy at the phase transition is nearly Rln(2), indicating that the CEF ground state of the Tb$^{3+}$ ion is a doublet, and therefore the sublattice of $4f$ electrons in this material can be shown to map at low temperatures to the Ising model in a D$_{6h}$ symmetry environment. Hall measurements at temperatures from 300K to 1.7K can be described by two-band carrier transport at temperatures below around 150K, with a large increase in both hole and electron mobilities, similar to YV$_6$Sn$_6$, and an anomalous Hall effect is seen below the ordering temperature. Angle-resolved photoemission measurements above the magnetic ordering temperature reveal typical kagome dispersions. Our study presents TbV${_6}$Sn${_6}$ as an ideal system to study the interplay between Ising ferromagnetism and non-trivial electronic states emerging from a kagome lattice.


title: Interior of helical black holes

abstract: We study the interior structure of five dimensional neutral helical black holes in Einstein gravity and charged helical black holes in Einstein-Maxwell gravity. Inside the neutral helical black holes, the systems evolve to a stable spacelike Kasner singularity. The metric field related to the helical deformation strength exhibits oscillation behavior close to the horizon at low temperature and small helical deformation strength. Inside the charged helical black holes, we show that the inner Cauchy horizon can not exist. The systems also evolve from the horizon to a stable Kasner singularity. We find that the oscillations can exist and there is a special feature that the oscillations occur near the horizon and before the collapse of the Einstein-Rosen bridge for the charged helical black holes.


title: Performance forecasts for the primordial gravitational wave detection pipelines for AliCPT-1

abstract: AliCPT is the first Chinese cosmic microwave background (CMB) experiment which will make the most precise measurements of the CMB polarization in the northern hemisphere. The key science goal for AliCPT is the detection of primordial gravitational waves (PGWs). It is well known that an epoch of cosmic inflation, in the very early universe, can produce PGWs, which leave an imprint on the CMB in form of odd parity $B$-mode polarization. In this work, we study the performance of the component separation and parameter estimation pipelines in context of constraining the value of the tensor-to-scalar ratio. Based on the simulated data for one observation season, we compare five different pipelines with different working principles. Three pipelines perform component separation at map or spectra level before estimating $r$ from the cleaned spectra, while the other two pipelines performs a global fit for both foreground parameters and $r$. We also test different methods to account for the effects of time stream filtering systematics. This work shows that our pipelines provide consistent and robust constraints on the tensor-to-scalar ratio and a consistent sensitivity $\sigma(r) \sim 0.02$. This showcases the potential of precise $B$-mode polarization measurement with AliCPT-1. AliCPT will provide a powerful opportunity to detect PGWs, which is complementary with various ground-based CMB experiments in the southern hemisphere.


title: Some identities on $\lambda$-analogues of $r$-stirling numbers of the second kind

abstract: Recently, the $\lambda$-analogues of $r$-Stirling numbers of the first kind were studied by Kim-Kim. The aim of this paper is to introduce the $\lambda$-analogues of $r$-Stirling numbers of the second kind and to investigate some properties, recurrence relations and certain identities on those numbers. We also introduce the $\lambda$-analogues of Whitney-type $r$-Stirling numbers of the second and derive similar results to the case of the $\lambda$-analogues of r-Stirling numbers of the second kind. In addition, we consider the $\lambda$-analogues of Dowling polynomials and deduce a Dobinski-like formula.


title: Data Trust and IoT

abstract: People IoT surroundings have become valuable information sources that can positively impact individuals and society. A user IoT data can be used for different purposes. For instance, research and improvement of public services. However, individuals lack the governance power to share their IoT data. Data trust is a concept that brings opportunities to address data sharing in IoT. This research reviews the idea of data trust. Then, we review IoT and its unique characteristics that implement data trust a challenge. We further discuss blockchain technology and how it can be used to enable data trust in IoT. Finally, we introduce a blockchain-based solution for data trust in IoT.


title: BinauralGrad: A Two-Stage Conditional Diffusion Probabilistic Model for Binaural Audio Synthesis

abstract: Binaural audio plays a significant role in constructing immersive augmented and virtual realities. As it is expensive to record binaural audio from the real world, synthesizing them from mono audio has attracted increasing attention. This synthesis process involves not only the basic physical warping of the mono audio, but also room reverberations and head/ear related filtrations, which, however, are difficult to accurately simulate in traditional digital signal processing. In this paper, we formulate the synthesis process from a different perspective by decomposing the binaural audio into a common part that shared by the left and right channels as well as a specific part that differs in each channel. Accordingly, we propose BinauralGrad, a novel two-stage framework equipped with diffusion models to synthesize them respectively. Specifically, in the first stage, the common information of the binaural audio is generated with a single-channel diffusion model conditioned on the mono audio, based on which the binaural audio is generated by a two-channel diffusion model in the second stage. Combining this novel perspective of two-stage synthesis with advanced generative models (i.e., the diffusion models),the proposed BinauralGrad is able to generate accurate and high-fidelity binaural audio samples. Experiment results show that on a benchmark dataset, BinauralGrad outperforms the existing baselines by a large margin in terms of both object and subject evaluation metrics (Wave L2: 0.128 vs. 0.157, MOS: 3.80 vs. 3.61). The generated audio samples (https://speechresearch.github.io/binauralgrad) and code (https://github.com/microsoft/NeuralSpeech/tree/master/BinauralGrad) are available online.


title: Wave equations estimates and the nonlinear stability of slowly rotating Kerr black holes

abstract: This is the last part of our proof of the nonlinear stability of the Kerr family for small angular momentum, i.e $|a|/m\ll 1$, in which we deal with the nonlinear wave type estimates needed to complete the project. More precisely we provide complete proofs for Theorems M1 and M2 as well the curvature estimates of Theorem M8, which were stated without proof in sections 3.7.1 and 9.4.7 of \cite{KS:Kerr}. Our procedure is based on a new general interest formalism (detailed in Part I of this work), which extends the one used in the stability of Minkowski space. Together with \cite{KS:Kerr} and the GCM papers \cite{KS-GCM1}, \cite{KS-GCM2}, \cite{Shen}, this work completes proof of the Main Theorem stated in Section 3.4 of \cite{KS:Kerr}.


title: Elimination of Pathological Solutions of the Abraham-Lorentz Equation of Motion

abstract: For more than a century the Abraham-Lorentz equation has generally been regarded as the correct description of the dynamics of a charged particle. However, there are pathological solutions of the Abraham-Lorentz equation in which a particle accelerates in advance of the application of a force, the so-called preacceleration solutions, and solutions in which the particle spontaneously accelerates even in the absence of an external force, also known as runaway solutions. Runaways violate conservation of energy while preacceleration violates causality. In this work, I will focus on one of the most used alternative equations of motion: the Landau-Lifshitz equation, which has no pathological solution. However, it is a first-order approximation to the Abraham-Lorentz equation, raising the question of how an approximation turns out to be better than the original. Finally, some numerical results for a variety of external forces are presented to compare both the equations.


title: A new generalization of a system of two-sided coupled Sylvester-like quaternion tensor equations

abstract: This study establishes consistency conditions and a general solution for a coupled system that consists of five two-sided Sylvester-like tensor equations in ten quaternion variables throughout the Einstein tensor product. Certain specific cases are thus established. In a direct application, we investigate certain necessary and sufficient conditions for the existence of an $\eta$-Hermitian solution to five coupled two-sided Sylvester-like quaternion tensor equations. Finally, we present an algorithm and a numerical example to validate the main result.


title: Last-iterate convergence analysis of stochastic momentum methods for neural networks

abstract: The stochastic momentum method is a commonly used acceleration technique for solving large-scale stochastic optimization problems in artificial neural networks. Current convergence results of stochastic momentum methods under non-convex stochastic settings mostly discuss convergence in terms of the random output and minimum output. To this end, we address the convergence of the last iterate output (called last-iterate convergence) of the stochastic momentum methods for non-convex stochastic optimization problems, in a way conformal with traditional optimization theory. We prove the last-iterate convergence of the stochastic momentum methods under a unified framework, covering both stochastic heavy ball momentum and stochastic Nesterov accelerated gradient momentum. The momentum factors can be fixed to be constant, rather than time-varying coefficients in existing analyses. Finally, the last-iterate convergence of the stochastic momentum methods is verified on the benchmark MNIST and CIFAR-10 datasets.


title: TaSIL: Taylor Series Imitation Learning

abstract: We propose Taylor Series Imitation Learning (TaSIL), a simple augmentation to standard behavior cloning losses in the context of continuous control. TaSIL penalizes deviations in the higher-order Taylor series terms between the learned and expert policies. We show that experts satisfying a notion of $\textit{incremental input-to-state stability}$ are easy to learn, in the sense that a small TaSIL-augmented imitation loss over expert trajectories guarantees a small imitation loss over trajectories generated by the learned policy. We provide sample-complexity bounds for TaSIL that scale as $\tilde{\mathcal{O}}(1/n)$ in the realizable setting, for $n$ the number of expert demonstrations. Finally, we demonstrate experimentally the relationship between the robustness of the expert policy and the order of Taylor expansion required in TaSIL, and compare standard Behavior Cloning, DART, and DAgger with TaSIL-loss-augmented variants. In all cases, we show significant improvement over baselines across a variety of MuJoCo tasks.


title: The Inflaton that Could : Primordial Black Holes and Second Order Gravitational Waves from Tachyonic Instability induced in Higgs-$R^2$ Inflation

abstract: The running of the Higgs self coupling may lead to numerous phenomena in early universe cosmology. In this paper we introduce a scenario where the Higgs running induces turns in the trajectory passing a region with tachyonic mass, leading to a temporal tachyonic growth in the curvature power spectrum. This effect induced by the Higgs leaves phenomena in the form of primordial black holes and stochastic gravitational waves, where proposed GW observatories will be able to probe in the near future.


title: Your Contrastive Learning Is Secretly Doing Stochastic Neighbor Embedding

abstract: Contrastive learning, especially self-supervised contrastive learning (SSCL), has achieved great success in extracting powerful features from unlabeled data. In this work, we contribute to the theoretical understanding of SSCL and uncover its connection to the classic data visualization method, stochastic neighbor embedding (SNE), whose goal is to preserve pairwise distances. From the perspective of preserving neighboring information, SSCL can be viewed as a special case of SNE with the input space pairwise similarities specified by data augmentation. The established correspondence facilitates deeper theoretical understanding of learned features of SSCL, as well as methodological guidelines for practical improvement. Specifically, through the lens of SNE, we provide novel analysis on domain-agnostic augmentations, implicit bias and robustness of learned features. To illustrate the practical advantage, we demonstrate that the modifications from SNE to $t$-SNE can also be adopted in the SSCL setting, achieving significant improvement in both in-distribution and out-of-distribution generalization.


title: Influence of the Gaia-Sausage-Enceladus on the density shape of the Galactic stellar halo revealed by halo K giants from the LAMOST survey

abstract: We present a study of the influence of the Gaia-Sausage-Enceladus (GSE) on the density shape of the Galactic stellar halo using 11624 K giants from the LAMOST survey. Every star is assigned a probability of being a member of the GSE based on its spherical velocities and metallicity by a Gaussian Mixture Model. We divide the stellar halo into two parts by the obtained probabilities, of which one is composed of the GSE members and defined as the GSE-related halo, and the other one is referred to as the GSE-removed halo. Using a non-parametric method, the radial number density profiles of the two stellar halos can be well described by a single power law with a variable flattening $q$ ($r = \sqrt{R^2+[(Z/q(r))]^2}, \nu = {\nu_0}r^{-\alpha}$). The index $\alpha$ is $4.92\pm0.12$ for the GSE-related halo and $4.25\pm0.14$ for the GSE-removed halo. Both the two stellar halos are vertically flattened at smaller radii but become more spherical at larger radii. We find that the GSE-related halo is less vertically flattened than the GSE-removed halo, and the difference of $q$ between the two stellar halos ranges from 0.07 to 0.15. However, after the consideration of the bias, it is thought to be within 0.08 at most of the radii. Finally, we compare our results with two Milky Way analogues which experience a significant major merger in the TNG50 simulation. The study of the two analogues also shows that the major merger-related stellar halo has a smaller ellipticity than the major merger-removed stellar halo.


title: Fast Distance Oracles for Any Symmetric Norm

abstract: In the Distance Oracle problem, the goal is to preprocess $n$ vectors $x_1, x_2, \cdots, x_n$ in a $d$-dimensional metric space $(\mathbb{X}^d, \| \cdot \|_l)$ into a cheap data structure, so that given a query vector $q \in \mathbb{X}^d$ and a subset $S\subseteq [n]$ of the input data points, all distances $\| q - x_i \|_l$ for $x_i\in S$ can be quickly approximated (faster than the trivial $\sim d|S|$ query time). This primitive is a basic subroutine in machine learning, data mining and similarity search applications. In the case of $\ell_p$ norms, the problem is well understood, and optimal data structures are known for most values of $p$. Our main contribution is a fast $(1+\varepsilon)$ distance oracle for any symmetric norm $\|\cdot\|_l$. This class includes $\ell_p$ norms and Orlicz norms as special cases, as well as other norms used in practice, e.g. top-$k$ norms, max-mixture and sum-mixture of $\ell_p$ norms, small-support norms and the box-norm. We propose a novel data structure with $\tilde{O}(n (d + \mathrm{mmc}(l)^2 ) )$ preprocessing time and space, and $t_q = \tilde{O}(d + |S| \cdot \mathrm{mmc}(l)^2)$ query time, for computing distances to a subset $S$ of data points, where $\mathrm{mmc}(l)$ is a complexity-measure (concentration modulus) of the symmetric norm. When $l = \ell_{p}$ , this runtime matches the aforementioned state-of-art oracles.


title: Mitigating Out-of-Distribution Data Density Overestimation in Energy-Based Models

abstract: Deep energy-based models (EBMs), which use deep neural networks (DNNs) as energy functions, are receiving increasing attention due to their ability to learn complex distributions. To train deep EBMs, the maximum likelihood estimation (MLE) with short-run Langevin Monte Carlo (LMC) is often used. While the MLE with short-run LMC is computationally efficient compared to an MLE with full Markov Chain Monte Carlo (MCMC), it often assigns high density to out-of-distribution (OOD) data. To address this issue, here we systematically investigate why the MLE with short-run LMC can converge to EBMs with wrong density estimates, and reveal that the heuristic modifications to LMC introduced by previous works were the main problem. We then propose a Uniform Support Partitioning (USP) scheme that optimizes a set of points to evenly partition the support of the EBM and then uses the resulting points to approximate the EBM-MLE loss gradient. We empirically demonstrate that USP avoids the pitfalls of short-run LMC, leading to significantly improved OOD data detection performance on Fashion-MNIST.


title: Excess Risk of Two-Layer ReLU Neural Networks in Teacher-Student Settings and its Superiority to Kernel Methods

abstract: While deep learning has outperformed other methods for various tasks, theoretical frameworks that explain its reason have not been fully established. To address this issue, we investigate the excess risk of two-layer ReLU neural networks in a teacher-student regression model, in which a student network learns an unknown teacher network through its outputs. Especially, we consider the student network that has the same width as the teacher network and is trained in two phases: first by noisy gradient descent and then by the vanilla gradient descent. Our result shows that the student network provably reaches a near-global optimal solution and outperforms any kernel methods estimator (more generally, linear estimators), including neural tangent kernel approach, random feature model, and other kernel methods, in a sense of the minimax optimal rate. The key concept inducing this superiority is the non-convexity of the neural network models. Even though the loss landscape is highly non-convex, the student network adaptively learns the teacher neurons.


title: Universality of Group Convolutional Neural Networks Based on Ridgelet Analysis on Groups

abstract: We show the universality of depth-2 group convolutional neural networks (GCNNs) in a unified and constructive manner based on the ridgelet theory. Despite widespread use in applications, the approximation property of (G)CNNs has not been well investigated. The universality of (G)CNNs has been shown since the late 2010s. Yet, our understanding on how (G)CNNs represent functions is incomplete because the past universality theorems have been shown in a case-by-case manner by manually/carefully assigning the network parameters depending on the variety of convolution layers, and in an indirect manner by converting/modifying the (G)CNNs into other universal approximators such as invariant polynomials and fully-connected networks. In this study, we formulate a versatile depth-2 continuous GCNN $S[\gamma]$ as a nonlinear mapping between group representations, and directly obtain an analysis operator, called the ridgelet trasform, that maps a given function $f$ to the network parameter $\gamma$ so that $S[\gamma]=f$. The proposed GCNN covers typical GCNNs such as the cyclic convolution on multi-channel images, networks on permutation-invariant inputs (Deep Sets), and $\mathrm{E}(n)$-equivariant networks. The closed-form expression of the ridgelet transform can describe how the network parameters are organized to represent a function. While it has been known only for fully-connected networks, this study is the first to obtain the ridgelet transform for GCNNs. By discretizing the closed-form expression, we can systematically generate a constructive proof of the $cc$-universality of finite GCNNs. In other words, our universality proofs are more unified and constructive than previous proofs.


title: The A to Z Guide to Accelerating Continuous Improvement with ResFrac

abstract: This document is designed to give a new ResFrac user the tools that they need to succeed. It describes what ResFrac does and how to use it. We cover much more than just button pressing. Using ResFrac successfully requires high-level engineering skills: how to design and execute a modeling workflow, how to think critically about problems, and how to communicate the results.


title: LAMOST MRS-N Observations of the W80 Region

abstract: The spectral observations and analysis for the W80 Region are presented by using the data of Medium-Resolution Spectroscopic Survey of Nebulae (MRS-N) with the Large Sky Area Multi-Object Fiber Spectroscopy Telescope (LAMOST). A total of 2982 high-quality nebular spectra have been obtained in the 20 square degree field of view (FoV) which covers the W80 complex, and the largest sample of spectral data have been established for the first time. The relative intensities, radial velocities (RVs), and Full Widths at Half Maximum (FWHMs) are measured with the high spectral resolution of LAMOST MRS, for H$\alpha$ $\lambda$ 6563 \AA, [\ion{N}{ii}] $\lambda$$\lambda$ 6548 \AA, 6584 \AA \ , and [\ion{S}{ii}] $\lambda$$\lambda$ 6716 \AA, 6731 \AA \ emission lines. In the field of view of whole W80 Region, the strongest line emissions are found to be consistent with the bright nebulae, NGC 7000, IC 5070, and LBN 391, and weak line emissions also truly exist in the Middle Region, where no bright nebulae are detected by the wide-band optical observations. The large-scale spectral observations to the W80 Region reveal the systematic spatial variations of RVs and FWHMs, and several unique structural features. A 'curved feature' to the east of the NGC 7000, and a 'jet feature' to the west of the LBN 391 are detected to be showing with larger radial velocities. A 'wider FWHM region' is identified in the eastern part of the NGC 7000. The variations of [\ion{S}{ii}] / H${\alpha}$ ratios display a gradient from southwest to northeast in the NGC 7000 region, and manifest a ring shape around the 'W80 bubble' ionized by an O-type star in the L935. Further spectral and multi-band observations are guaranteed to investigate in detail the structural features.


title: Exploring students' backtracking behaviors in digital textbooks and its relationship to learning styles

abstract: The purpose of this study is to explore students' backtracking patterns in using a digital textbook and reveal the relationship between backtracking behaviors and academic performance as well as learning styles. The study was carried out for two semesters on 102 university students and they are required to use a digital textbook system called DITeL to review courseware. Students' backtracking behaviors are characterized by seven backtracking features extracted from interaction log data and their learning styles are measured by Felder-Silverman learning style model. The results of the study reveal that there is a subgroup of students called backtrackers who backtrack more frequently and performed better than the average students. Furthermore, the causal inference analysis reveals that a higher initial ability can directly cause a higher frequency of backtracking, thus affecting the final test score. In addition, most backtrackers are reflective and visual learners, and the seven backtracking features are good predictors in automatically identifying learning styles. Based on the results of qualitative data analysis, recommendations were made on how to provide prompt backtracking assistants and automatically detect learning styles in digital textbooks.


title: Super twisted products

abstract: In this paper, we define the $W_2$-curvature tensor on super Riemannian manifolds. And we compute the curvature tensor, the Ricci tensor and the $W_2$-curvature tensor on super twisted product spaces. Furthermore, we investigate the $W_2$-curvature flat super twisted product manifolds. And, we get a result that a mixed Ricci-flat super twisted product semi-Riemannian manifold can be expressed as a super warped product semi-Riemannian manifold.


title: Anomalous Floquet non-Hermitian skin effect in a ring resonator lattice

abstract: We present a one-dimensional coupled ring resonator lattice exhibiting a variant of the non- Hermitian skin effect (NHSE) that we call the anomalous Floquet NHSE. Unlike existing approaches to achieving the NHSE by engineering gain and loss on different ring segments, our design uses fixed on-site gain or loss in each ring. The anomalous Floquet NHSE is marked by the existence of skin modes at every value of the Floquet quasienergy, allowing for broadband asymmetric transmission. Varying the gain/loss induces a non-Hermitian topological phase transition, reversing the localization direction of the skin modes. An experimental implementation in an acoustic lattice yields good agreement with theoretical predictions, with a very broad relative bandwidth of around 40%.


title: Bayesian Low-Rank Interpolative Decomposition for Complex Datasets

abstract: In this paper, we introduce a probabilistic model for learning interpolative decomposition (ID), which is commonly used for feature selection, low-rank approximation, and identifying hidden patterns in data, where the matrix factors are latent variables associated with each data dimension. Prior densities with support on the specified subspace are used to address the constraint for the magnitude of the factored component of the observed matrix. Bayesian inference procedure based on Gibbs sampling is employed. We evaluate the model on a variety of real-world datasets including CCLE EC50, CCLE IC50, CTRP EC50,and MovieLens 100K datasets with different sizes, and dimensions, and show that the proposed Bayesian ID GBT and GBTN models lead to smaller reconstructive errors compared to existing randomized approaches.