title: Using Kernel-Based Statistical Distance to Study the Dynamics of Charged Particle Beams in Particle-Based Simulation Codes

abstract: Measures of discrepancy between probability distributions (statistical distance) are widely used in the fields of artificial intelligence and machine learning. We describe how certain measures of statistical distance can be implemented as numerical diagnostics for simulations involving charged-particle beams. Related measures of statistical dependence are also described. The resulting diagnostics provide sensitive measures of dynamical processes important for beams in nonlinear or high-intensity systems, which are otherwise difficult to characterize. The focus is on kernel-based methods such as Maximum Mean Discrepancy, which have a well-developed mathematical foundation and reasonable computational complexity. Several benchmark problems and examples involving intense beams are discussed. While the focus is on charged-particle beams, these methods may also be applied to other many-body systems such as plasmas or gravitational systems.

categories: physics.acc-ph astro-ph.GA physics.comp-ph physics.data-an physics.plasm-ph


title: Quantum computation in a hybrid array of molecules and Rydberg atoms

abstract: We show that an array of polar molecules interacting with Rydberg atoms is a promising hybrid system for scalable quantum computation. Quantum information is stored in long-lived hyperfine or rotational states of molecules which interact indirectly through resonant dipole-dipole interactions with Rydberg atoms. A two-qubit gate based on this interaction has a duration of 1 $\mu$s and an achievable fidelity of 99.9%. The gate has little sensitivity to the motional states of the particles -- the molecules can be in thermal states, the atoms do not need to be trapped during Rydberg excitation, the gate does not heat the molecules, and heating of the atoms has a negligible effect. Within a large, static array, the gate can be applied to arbitrary pairs of molecules separated by tens of micrometres, making the scheme highly scalable. The molecule-atom interaction can also be used for rapid qubit initialization and efficient, non-destructive qubit readout, without driving any molecular transitions. Single qubit gates are driven using microwave pulses alone, exploiting the strong electric dipole transitions between rotational states. Thus, all operations required for large scale quantum computation can be done without moving the molecules or exciting them out of their ground electronic states.


title: Damped Strichartz estimates and the incompressible Euler--Maxwell system

abstract: Euler--Maxwell systems describe the dynamics of inviscid plasmas. In this work, we consider an incompressible two-dimensional version of such systems and prove the existence and uniqueness of global weak solutions, uniformly with respect to the speed of light $c\in (c_0,\infty)$, for some threshold value $c_0>0$ depending only on the initial data. In particular, the condition $c>c_0$ ensures that the velocity of the plasma nowhere exceeds the speed of light and allows us to analyze the singular regime $c\to\infty$. The functional setting for the fluid velocity lies in the framework of Yudovich's solutions of the two-dimensional Euler equations, whereas the analysis of the electromagnetic field hinges upon the refined interactions between the damping and dispersive phenomena in Maxwell's equations in the whole space. This analysis is enabled by the new development of a robust abstract method allowing us to incorporate the damping effect into a variety of existing estimates. The use of this method is illustrated by the derivation of damped Strichartz estimates (including endpoint cases) for several dispersive systems (including the wave and Schr\"odinger equations), as well as damped maximal regularity estimates for the heat equation. The ensuing damped Strichartz estimates supersede previously existing results on the same systems.


title: Explicit models of motions to analyze NMR relaxation data in proteins

abstract: Nuclear Magnetic Resonance (NMR) is a tool of choice to characterize molecular motions. In biological macromolecules, pico- to nano-second motions, in particular, can be probed by nuclear spin relaxation rates which depend on the time fluctuations of the orientations of spin interaction frames. For the past 40 years, relaxation rates have been successfully analyzed using the Model Free (MF) approach which makes no assumption on the nature of motions and reports on the effective amplitude and time-scale of the motions. However, obtaining a mechanistic picture of motions from this type of analysis is difficult at best, unless complemented with molecular dynamics (MD) simulations. In spite of their limited accuracy, such simulations can be used to obtain the information necessary to build explicit models of motions designed to analyze NMR relaxation data. Here, we present how to build such models, suited in particular to describe motions of methyl-bearing protein side-chains and compare them with the MF approach. We show on synthetic data that explicit models of motions are more robust in the presence of rotamer jumps which dominate the relaxation in methyl groups of protein side-chains. We expect this work to motivate the use of explicit models of motion to analyze MD and NMR data.


title: Grid-connected Soft Switching Partial Resonance Inverter for Distributed Generation

abstract: This paper presents current control method for a grid-connected partial resonant soft switching inverter. This inverter does not use an electrolytic capacitor and is capable of boosting and bucking the voltage. Grid-connected inverters are used to integrate distributed energy sources to the grid. Current control is vital in meeting the standards and requirements when connecting to the grid. The closed-loop current regulation for this type of converters is analyzed and design guidelines are provided. The control is implemented in the synchronous frame. In addition active damping techniques using capacitor voltage and inductor voltage feedback is used to mitigate CL filter resonance at the output. The mentioned control strategies are implemented on a 400W lab prototype and the results are presented


title: List covering of regular multigraphs with semi-edges

abstract: In line with the recent development in topological graph theory, we are considering undirected graphs that are allowed to contain {\em multiple edges}, {\em loops}, and {\em semi-edges}. A graph is called {\em simple} if it contains no semi-edges, no loops, and no multiple edges. A graph covering projection, also known as a locally bijective homomorphism, is a mapping between vertices and edges of two graphs which preserves incidences and which is a local bijection on the edge-neighborhood of every vertex. This notion stems from topological graph theory, but has also found applications in combinatorics and theoretical computer science. It has been known that for every fixed simple regular graph $H$ of valency greater than 2, deciding if an input graph covers $H$ is NP-complete. Graphs with semi-edges have been considered in this context only recently and only partial results on the complexity of covering such graphs are known so far. In this paper we consider the list version of the problem, called \textsc{List-$H$-Cover}, where the vertices and edges of the input graph come with lists of admissible targets. Our main result reads that the \textsc{List-$H$-Cover} problem is NP-complete for every regular graph $H$ of valency greater than 2 which contains at least one semi-simple vertex (i.e., a vertex which is incident with no loops, with no multiple edges and with at most one semi-edge). Using this result we show the NP-co/polytime dichotomy for the computational complexity of \textsc{ List-$H$-Cover} for cubic graphs.


title: Universality of Approximate Message Passing with Semi-Random Matrices

abstract: Approximate Message Passing (AMP) is a class of iterative algorithms that have found applications in many problems in high-dimensional statistics and machine learning. In its general form, AMP can be formulated as an iterative procedure driven by a matrix $\mathbf{M}$. Theoretical analyses of AMP typically assume strong distributional properties on $\mathbf{M}$ such as $\mathbf{M}$ has i.i.d. sub-Gaussian entries or is drawn from a rotational invariant ensemble. However, numerical experiments suggest that the behavior of AMP is universal, as long as the eigenvectors of $\mathbf{M}$ are generic. In this paper, we take the first step in rigorously understanding this universality phenomenon. In particular, we investigate a class of memory-free AMP algorithms (proposed by \c{C}akmak and Opper for mean-field Ising spin glasses), and show that their asymptotic dynamics is universal on a broad class of semi-random matrices. In addition to having the standard rotational invariant ensemble as a special case, the class of semi-random matrices that we define in this work also includes matrices constructed with very limited randomness. One such example is a randomly signed version of the Sine model, introduced by Marinari, Parisi, Potters, and Ritort for spin glasses with fully deterministic couplings.


title: Classification of Natural Language Processing Techniques for Requirements Engineering

abstract: Research in applying natural language processing (NLP) techniques to requirements engineering (RE) tasks spans more than 40 years, from initial efforts carried out in the 1980s to more recent attempts with machine learning (ML) and deep learning (DL) techniques. However, in spite of the progress, our recent survey shows that there is still a lack of systematic understanding and organization of commonly used NLP techniques in RE. We believe one hurdle facing the industry is lack of shared knowledge of NLP techniques and their usage in RE tasks. In this paper, we present our effort to synthesize and organize 57 most frequently used NLP techniques in RE. We classify these NLP techniques in two ways: first, by their NLP tasks in typical pipelines and second, by their linguist analysis levels. We believe these two ways of classification are complementary, contributing to a better understanding of the NLP techniques in RE and such understanding is crucial to the development of better NLP tools for RE.


title: Generation and detection of axions using guided structures

abstract: We propose a new experimental technique to generate and detect axions in the lab with a good experimental sensitivity over a broad axion mass range. The scheme relies on using laser-based four-wave mixing, which is mediated by the hypothetical axion field. Intense pump and Stokes laser beams that are confined to a waveguide (i.e., for example, an optical fiber) with appropriately chosen frequencies resonantly drive axion generation. Under such a geometry, we predict the existence of guided axion waves, which we refer to as "axitons". These are solutions of the axion Klein-Gordon field equation that are spatially guided by the profiles of the driving pump and Stokes laser beams. These guided axitons can then couple to a nearby fiber and mix with another laser, affecting the propagation of a probe laser beam. A key advantage of the scheme is that the mass range of the hypothetical axion can be scanned by varying the frequencies of the pump and the Stokes laser beams. We predict that, using reasonable parameters, the technique will be able to detect axions in the mass range $10^{-6} $eV $< m<$ $10^{-2} $eV with a sensitivity at the level of $10^{-12}$ GeV$^{-1}$ for the axion-photon coupling constant.


title: Auditory-Based Data Augmentation for End-to-End Automatic Speech Recognition

abstract: End-to-end models have achieved significant improvement on automatic speech recognition. One common method to improve performance of these models is expanding the data-space through data augmentation. Meanwhile, human auditory inspired front-ends have also demonstrated improvement for automatic speech recognisers. In this work, a well-verified auditory-based model, which can simulate various hearing abilities, is investigated for the purpose of data augmentation for end-to-end speech recognition. By introducing the auditory model into the data augmentation process, end-to-end systems are encouraged to ignore variation from the signal that cannot be heard and thereby focus on robust features for speech recognition. Two mechanisms in the auditory model, spectral smearing and loudness recruitment, are studied on the LibriSpeech dataset with a transformer-based end-to-end model. The results show that the proposed augmentation methods can bring statistically significant improvement on the performance of the state-of-the-art SpecAugment.


title: On Improving Cross-dataset Generalization of Deepfake Detectors

abstract: Facial manipulation by deep fake has caused major security risks and raised severe societal concerns. As a countermeasure, a number of deep fake detection methods have been proposed recently. Most of them model deep fake detection as a binary classification problem using a backbone convolutional neural network (CNN) architecture pretrained for the task. These CNN-based methods have demonstrated very high efficacy in deep fake detection with the Area under the Curve (AUC) as high as 0.99. However, the performance of these methods degrades significantly when evaluated across datasets. In this paper, we formulate deep fake detection as a hybrid combination of supervised and reinforcement learning (RL) to improve its cross-dataset generalization performance. The proposed method chooses the top-k augmentations for each test sample by an RL agent in an image-specific manner. The classification scores, obtained using CNN, of all the augmentations of each test image are averaged together for final real or fake classification. Through extensive experimental validation, we demonstrate the superiority of our method over existing published research in cross-dataset generalization of deep fake detectors, thus obtaining state-of-the-art performance.


title: Explaining The Muon $g-2$ Anomaly and New CDF II W-Boson Mass in the Framework of (Extra)Ordinary Gauge Mediation

abstract: The SUSY contributions $\Delta a_\mu$ to muon $g-2$ anomaly can not even reach $3\sigma$ in ordinary gauge mediated SUSY breaking (GMSB) scenarios because of the strong correlations between the colored sparticle masses and the uncolored EW sparticle masses. An interesting extension to GMSB is the (Extra)Ordinary Gauge Mediation (EOGM), which can relax the correlations between squarks and sleptons with non-universal choices for $N_{eff,3}$ and $N_{eff,2}$. We find that EOGM scenarios with $N_{eff,3}\ll N_{eff,2}$ can explain the muon $g-2$ anomaly within $3\sigma$ range, however can not explain the new W-boson mass by CDF II. We also propose to extend EOGM with additional adjoint $\Sigma_8$ and $\Sigma_3$ messengers at a high scale of order $1.0\times 10^{14}$ GeV, which can shift the gauge coupling unification scale to the string scale. Such EOGM extension scenarios with adjoint messengers could spoil the unwanted gaugino mass ratios and give large SUSY contributions to $\Delta a_\mu$ for $N_{eff,3}\ll N_{eff,2}$, which can explain the muon $g-2$ anomaly up to $1\sigma$. Besides, because of the large messenger scale of order $1.0\times 10^{14}$ GeV, such scenarios will in general lead to large $|A_t|$ at the EW scale, which can accommodate the 125 GeV Higgs easily and possibly lead to smaller EWFT as well as BGFT. We discuss the possibility to explain the new CDF II W-boson mass in the GMSB-type framework. We find that SUSY contributions can marginally account for the new W-boson mass in the region with sleptons and wino both being light.


title: Exploiting Hidden Representations from a DNN-based Speech Recogniser for Speech Intelligibility Prediction in Hearing-impaired Listeners

abstract: An accurate objective speech intelligibility prediction algorithms is of great interest for many applications such as speech enhancement for hearing aids. Most algorithms measures the signal-to-noise ratios or correlations between the acoustic features of clean reference signals and degraded signals. However, these hand-picked acoustic features are usually not explicitly correlated with recognition. Meanwhile, deep neural network (DNN) based automatic speech recogniser (ASR) is approaching human performance in some speech recognition tasks. This work leverages the hidden representations from DNN-based ASR as features for speech intelligibility prediction in hearing-impaired listeners. The experiments based on a hearing aid intelligibility database show that the proposed method could make better prediction than a widely used short-time objective intelligibility (STOI) based binaural measure.


title: Unsupervised Uncertainty Measures of Automatic Speech Recognition for Non-intrusive Speech Intelligibility Prediction

abstract: Non-intrusive intelligibility prediction is important for its application in realistic scenarios, where a clean reference signal is difficult to access. The construction of many non-intrusive predictors require either ground truth intelligibility labels or clean reference signals for supervised learning. In this work, we leverage an unsupervised uncertainty estimation method for predicting speech intelligibility, which does not require intelligibility labels or reference signals to train the predictor. Our experiments demonstrate that the uncertainty from state-of-the-art end-to-end automatic speech recognition (ASR) models is highly correlated with speech intelligibility. The proposed method is evaluated on two databases and the results show that the unsupervised uncertainty measures of ASR models are more correlated with speech intelligibility from listening results than the predictions made by widely used intrusive methods.


title: Towards Understanding Large-Scale Discourse Structures in Pre-Trained and Fine-Tuned Language Models

abstract: With a growing number of BERTology work analyzing different components of pre-trained language models, we extend this line of research through an in-depth analysis of discourse information in pre-trained and fine-tuned language models. We move beyond prior work along three dimensions: First, we describe a novel approach to infer discourse structures from arbitrarily long documents. Second, we propose a new type of analysis to explore where and how accurately intrinsic discourse is captured in the BERT and BART models. Finally, we assess how similar the generated structures are to a variety of baselines as well as their distribution within and between models.


title: FikoRE: 5G and Beyond RAN Emulator for Application Level Experimentation and Prototyping

abstract: Novel and cutting-edge use cases have arisen since the first deployments of the fifth generation of telecommunication networks (5G). There are plenty of well-though optimally design 5G simulators and emulators which allow telecommunication technologies engineers and researchers to thoroughly study and test the network. However, the 5G ecosystem is not only limited to the network itself: a fast development of 5G-specific use cases can considerably accelerate the development of telecommunication technologies. We present FikoRE, our real-time Radio Access Networks (RAN) emulator carefully designed for application-level experimentation and prototyping. Its modularity and straightforward implementation allow multidisciplinary user to rapidly use or even modify it to test their own applications. In this article, we present FikoRE's architecture accompanied with relevant validation experiments and results.


title: Robustly fitting Gaussian graphical models: the R-package robFitConGraph

abstract: A tutorial-style introduction to the R-package robFitConGraph is given. The latter provides a robust goodness-of-fit test for Gaussian graphical models. Its use is demonstrated at a data example on music performance anxiety, which also illustrates why one would want to fit a Gaussian graphical model - and why one should do so robustly. The underlying statistical theory is briefly explained. The paper describes package version 0.4.1, available on CRAN from December 1, 2022. See https://CRAN.R-project.org/package=robFitConGraph


title: Evolving Pareto-Optimal Actor-Critic Algorithms for Generalizability and Stability

abstract: Generalizability and stability are two key objectives for operating reinforcement learning (RL) agents in the real world. Designing RL algorithms that optimize these objectives can be a costly and painstaking process. This paper presents MetaPG, an evolutionary method for automated design of actor-critic loss functions. MetaPG explicitly optimizes for generalizability and performance, and implicitly optimizes the stability of both metrics. We initialize our loss function population with Soft Actor-Critic (SAC) and perform multi-objective optimization using fitness metrics encoding single-task performance, zero-shot generalizability to unseen environment configurations, and stability across independent runs with different random seeds. On a set of continuous control tasks from the Real-World RL Benchmark Suite, we find that our method, using a single environment during evolution, evolves algorithms that improve upon SAC's performance and generalizability by 4% and 20%, respectively, and reduce instability up to 67%. Then, we scale up to more complex environments from the Brax physics simulator and replicate generalizability tests encountered in practical settings, such as different friction coefficients. MetaPG evolves algorithms that can obtain 10% better generalizability without loss of performance within the same meta-training environment and obtain similar results to SAC when doing cross-domain evaluations in other Brax environments. The evolution results are interpretable; by analyzing the structure of the best algorithms we identify elements that help optimizing certain objectives, such as regularization terms for the critic loss.


title: Unavoidable patterns in complete simple topological graphs

abstract: We show that every complete $n$-vertex simple topological graph contains a topological subgraph on at least $(\log n)^{1/4 - o(1)}$ vertices that is weakly isomorphic to the complete convex geometric graph or the complete twisted graph. This is the first improvement on the bound $\Omega(\log^{1/8}n)$ obtained in 2003 by Pach, Solymosi, and T\'oth. We also show that every complete $n$-vertex simple topological graph contains a plane path of length at least $(\log n)^{1 -o(1)}$.


title: In Memoriam Cem Tezer (1955-2020)

abstract: Cem Tezer was a fastidious, meticulous, highly idiosyncratic and versatile scientist. Without him Turkish community of mathematics would be incomplete. Our sense of gratitude for his work in various areas of mathematics, history of sciences, literature, music and his encouragement to do mathematics for only its beauty was hardly unique and even unusual. After he passed away on 27 February 2020, while working actively at Middle East Technical University, the number of colleagues and former students described the ways in which their studies and indeed their view towards mathematics had been transformed by having known him might have surprised only those who had never met him. In this article not only, his contributions to mathematics will be classified and summarized but also his unique and distinguished personality as a mathematician will be emphasized.


title: Impact of memory and bias in kinetic exchange opinion models on random networks

abstract: In this work we consider the effects of memory and bias in kinetic exchange opinion models. We propose a model in which agents remember the sign of their last interaction with each one of their pairs. This introduces memory effects in the model, since past interactions can affect future ones. We have also considered the impact of a parameter $p$ that regulates how often an agent changes its interaction to match its opinion, thus introducing bias in the interactions. For high values of $p$ an agent is more likely to start having a negative interaction with an agent of opposing opinion and a positive interaction with an agent of the same opinion. The model is defined on the top of random networks with mean connectivity $\langle k \rangle$. We analyze the impact of both $p$ and $\langle k \rangle$ on the emergence of ordered and disordered states in the population. Our results suggest a rich phenomenology regarding critical phenomena, with the presence of metastable states and a non-monotonic behavior of the order parameter. We show that the fraction of neutral agents in the disordered state decreases as the bias $p$ increases.


title: Solving $X^{2^{3n}+2^{2n}+2^{n}-1}+(X+1)^{2^{3n}+2^{2n}+2^{n}-1}=b$ in $GF{2^{4n}}$

abstract: This article determines all the solutions in the finite field $GF{2^{4n}}$ of the equation $x^{2^{3n}+2^{2n}+2^{n}-1}+(x+1)^{2^{3n}+2^{2n}+2^{n}-1}=b$. Specifically, we explicitly determine the set of $b$'s for which the equation has $i$ solutions for any positive integer $i$. Such sets, which depend on the number of solutions $i$, are given explicitly and expressed nicely, employing the absolute trace function over $GF{2^{n}}$, the norm function over $GF{2^{4n}}$ relatively to $GF{2^{n}}$ and the set of $2^n+1$st roots of unity in $GF{2^{4n}}$. The equation considered in this paper comes from an article by Budaghyan et al. \cite{BCCDK20}. As an immediate consequence of our results, we prove that the above equation has $2^{2n}$ solutions for one value of $b$, $2^{2n}-2^n$ solutions for $2^n$ values of $b$ in $GF{2^{4n}}$ and has at most two solutions for all remaining points $b$, leading to complete proof of the conjecture raised by Budaghyan et al. We highlight that the recent work of Li et al., in \cite{Li-et-al-2020} gives the complete differential spectrum of $F$ and also gives an affirmative answer to the conjecture of Budaghyan et al. However, we emphasize that our approach is interesting and promising by being different from Li et al. Indeed, on the opposite to their article, our technique allows determine ultimately the set of $b$'s for which the considered equation has solutions as well as the solutions of the equation for any $b$ in $GF{2^{4n}}$.


title: Learning to Modulate Random Weights: Neuromodulation-inspired Neural Networks For Efficient Continual Learning

abstract: Existing Continual Learning (CL) approaches have focused on addressing catastrophic forgetting by leveraging regularization methods, replay buffers, and task-specific components. However, realistic CL solutions must be shaped not only by metrics of catastrophic forgetting but also by computational efficiency and running time. Here, we introduce a novel neural network architecture inspired by neuromodulation in biological nervous systems to economically and efficiently address catastrophic forgetting and provide new avenues for interpreting learned representations. Neuromodulation is a biological mechanism that has received limited attention in machine learning; it dynamically controls and fine tunes synaptic dynamics in real time to track the demands of different behavioral contexts. Inspired by this, our proposed architecture learns a relatively small set of parameters per task context that \emph{neuromodulates} the activity of unchanging, randomized weights that transform the input. We show that this approach has strong learning performance per task despite the very small number of learnable parameters. Furthermore, because context vectors are so compact, multiple networks can be stored concurrently with no interference and little spatial footprint, thus completely eliminating catastrophic forgetting and accelerating the training process.


title: SnP$_2$S$_6$: A Promising Infrared Nonlinear Optical Crystal with Strong Non-Resonant Second Harmonic Generation and Phase-matchability

abstract: High-power infrared laser systems with broadband tunability are of great importance due to their wide range of applications in spectroscopy and free-space communications. These systems require nonlinear optical (NLO) crystals for wavelength up/down conversion using sum/difference frequency generation, respectively. NLO crystals need to satisfy many competing criteria, including large nonlinear optical susceptibility, large laser induced damage threshold (LIDT), wide transparency range and phase-matchability. Here, we report bulk single crystals of SnP_2S_6 with a large non-resonant SHG coefficient of d33= 53 pm/V at 1550nm and a large LIDT of 350 GW/cm^2 for femtosecond laser pulses. It also exhibits a broad transparency range from 0.54 {\mu}m to 8.5{\mu}m (bandgap of ~2.3 eV) and can be both Type I and Type II phase-matched. The complete linear and SHG tensors are measured as well as predicted by first principles calculations, and they are in excellent agreement. A proximate double-resonance condition in the electronic band structure for both the fundamental and the SHG light is shown to enhance the non-resonant SHG response. Therefore, SnP2S6 is an outstanding candidate for infrared laser applications.


title: Maximally Edge-Connected Realizations and Kundu's $k$-factor Theorem

abstract: A simple graph $G$ with edge-connectivity $\lambda(G)$ and minimum degree $\delta(G)$ is maximally edge connected if $\lambda(G)=\delta(G)$. In 1964, given a non-increasing degree sequence $\pi=(d_{1},\ldots,d_{n})$, Jack Edmonds showed that there is a realization $G$ of $\pi$ that is $k$-edge-connected if and only if $d_{n}\geq k$ with $\sum_{i=1}^{n}d_{i}\geq 2(n-1)$ when $d_{n}=1$. We strengthen Edmonds's result by showing that given a realization $G_{0}$ of $\pi$ if $Z_{0}$ is a spanning subgraph of $G_{0}$ with $\delta(Z_{0})\geq 1$ such that $|E(Z_{0})|\geq n-1$ when $\delta(G_{0})=1$, then there is a maximally edge-connected realization of $\pi$ with $G_{0}-E(Z_{0})$ as a subgraph. Our theorem tells us that there is a maximally edge-connected realization of $\pi$ that differs from $G_{0}$ by at most $n-1$ edges. For $\delta(G_{0})\geq 2$, if $G_{0}$ has a spanning forest with $c$ components, then our theorem says there is a maximally edge-connected realization that differs from $G_{0}$ by at most $n-c$ edges. As an application we combine our work with Kundu's $k$-factor Theorem to show there is a maximally edge-connected realization with a $(k_{1},\dots,k_{n})$-factor for $k\leq k_{i}\leq k+1$ and present a partial result to a conjecture that strengthens the regular case of Kundu's $k$-factor theorem.


title: A comment on: Universal control of superexchange in linear triple quantum dots with an empty mediator

abstract: In a recent preprint arXiv:2203.15521 G. X. Chan, P. Huang, and X. Wang claim that triple-quantum dot superexchange in a (1, 0, 1) charge configuration exhibits a change of sign (going from positive to negative) as a function of middle dot detuning. Furthermore, their claim is that charge sweet-spots exist for specific values of the inter-dot detuning. Their analysis is based on the Hubbard model and something to what they refer to as the full Configuration-Interaction method. All of this findings were already reported by M. J. Ran\v{c}i\'{c} and G. Burkard in Ref. Phys. Rev. B 96, 201304(R) (2017) based on the Hubbard model. No reference to this manuscript was made in Ref. arXiv:2203.15521. I have asked the authors to urgently modify the pre-print and position their work with respect to the previously conducted study - which they rejected to do at the current moment, quoting that pp. it is not their style to modify preprints before they were accepted. This alongside with a very similar style of some figures lead me to the conclusion that they are deliberately misleading the scientific community and trying to adopt other peoples work and ideas as their own.


title: Learning Generalized Policy Automata for Relational Stochastic Shortest Path Problems

abstract: Several goal-oriented problems in the real-world can be naturally expressed as Stochastic Shortest Path Problems (SSPs). However, the computational complexity of solving SSPs makes finding solutions to even moderately sized problems intractable. Currently, existing state-of-the-art planners and heuristics often fail to exploit knowledge learned from solving other instances. This paper presents an approach for learning \emph{Generalized Policy Automata} (GPA): non-deterministic partial policies that can be used to catalyze the solution process. GPAs are learned using relational, feature-based abstractions, which makes them applicable on broad classes of related problems with different object names and quantities. Theoretical analysis of this approach shows that it guarantees completeness and hierarchical optimality. Empirical analysis shows that this approach effectively learns broadly applicable policy knowledge in a few-shot fashion and significantly outperforms state-of-the-art SSP solvers on test problems whose object counts are far greater than those used during training.


title: Long-range order in arrays of composite and monolithic magneto-toroidal moments

abstract: Magneto-toroidal order, also called ferrotoroidicity, is the most recently established type of ferroic state. It is based on a spontaneous and uniform alignment of unit-cell-sized magnetic whirls, called magneto-toroidal moments, associated with a macroscopic toroidization. Because of its intrinsic magnetoelectric coupling, this new ferroic state could be useful in the development of spintronic devices. We exploit two-dimensional periodic arrays of magnetostatically coupled nanomagnets as model systems for the investigation of long-range magneto-toroidal order. We present two pathways promoting this order, namely (i), structures comprising a ring of uniformly magnetized sub-micrometer-sized bar magnets and (ii), structures in which each magnetic building block itself hosts a magnetic vortex. For both cases calculations of the magnetic-dipole interaction and micromagnetic simulations reveal the conditions for the formation of spontaneous magneto-toroidal order. We confirm this order and the formation of magneto-toroidal domains in our arrays by magnetic force microscopy. We identify the presence of two types of domain-wall states emerging from the competition of two intrinsic microscopic couplings. Our work not only identifies the microscopic conditions promoting spontaneous magneto-toroidal order but also highlights the possibility tailor mesoscale magnetic arrays towards elusive types of ferroic order.


title: CERES: Pretraining of Graph-Conditioned Transformer for Semi-Structured Session Data

abstract: User sessions empower many search and recommendation tasks on a daily basis. Such session data are semi-structured, which encode heterogeneous relations between queries and products, and each item is described by the unstructured text. Despite recent advances in self-supervised learning for text or graphs, there lack of self-supervised learning models that can effectively capture both intra-item semantics and inter-item interactions for semi-structured sessions. To fill this gap, we propose CERES, a graph-based transformer model for semi-structured session data. CERES learns representations that capture both inter- and intra-item semantics with (1) a graph-conditioned masked language pretraining task that jointly learns from item text and item-item relations; and (2) a graph-conditioned transformer architecture that propagates inter-item contexts to item-level representations. We pretrained CERES using ~468 million Amazon sessions and find that CERES outperforms strong pretraining baselines by up to 9% in three session search and entity linking tasks.


title: Coupling of MoS$_2$ Excitons with Lattice Phonons and Cavity Vibrational Phonons in Hybrid Nanobeam Cavities

abstract: We report resonant Raman spectroscopy of neutral excitons X$^0$ and intravalley trions X$^-$ in hBN-encapsulated MoS$_2$ monolayer embedded in a nanobeam cavity. By temperature tuning the detuning between Raman modes of MoS$_2$ lattice phonons and X$^0$/X$^-$ emission peaks, we probe the mutual coupling of excitons, lattice phonons and cavity vibrational phonons. We observe an enhancement of X$^0$-induced Raman scattering and a suppression for X$^-$-induced, and explain our findings as arising from the tripartite exciton-phonon-phonon coupling. The cavity vibrational phonons provide intermediate replica states of X$^0$ for resonance conditions in the scattering of lattice phonons, thus enhancing the Raman intensity. In contrast, the tripartite coupling involving X$^-$ is found to be much weaker, an observation explained by the geometry-dependent polarity of the electron and hole deformation potentials. Our results indicate that phononic hybridization between lattice and nanomechanical modes plays a key role in the excitonic photophysics and light-matter interaction in 2D-material nanophotonic systems.


title: von Willebrand Factor unfolding mediates platelet deposition in a model of high-shear thrombosis

abstract: Thrombosis under high-shear conditions is mediated by the mechanosensitive blood glycoprotein von Willebrand Factor (vWF). vWF unfolds in response to strong flow gradients and facilitates rapid recruitment of platelets in flowing blood. While the thrombogenic effect of vWF is well recognized, its conformational response in complex flows has largely been omitted from numerical models of thrombosis. We recently presented a continuum model for the unfolding of vWF, where we represented vWF transport and its flow-induced conformational change using convection-diffusion-reaction equations. Here, we incorporate the vWF component into our multi-constituent model of thrombosis, where the local concentration of stretched vWF amplifies the deposition rate of free-flowing platelets and reduces the shear cleaning of deposited platelets. We validate the model using three benchmarks: in vitro model of atherothrombosis, a stagnation point flow, and the PFA-100, a clinical blood test commonly used for screening for von Willebrand Disease (vWD). The simulations reproduced the key aspects of vWF-mediated thrombosis observed in these experiments, such as the thrombus location, thrombus growth dynamics, and the effect of blocking platelet-vWF interactions. The PFA-100 simulations closely matched the reported occlusion times for normal blood and several hemostatic deficiencies, namely, thrombocytopenia, vWD Type 1, and vWD Type 3. Overall, the multi-constituent model of thrombosis presented in this work enables macro-scale 3-D simulations of thrombus formation in complex geometries over a wide range of shear rates and accounts for qualitative and quantitative hemostatic deficiencies in patient blood. The results also demonstrate the utility of the continuum model of vWF unfolding that could be adapted to other numerical models of thrombosis.


title: MMTAfrica: Multilingual Machine Translation for African Languages

abstract: In this paper, we focus on the task of multilingual machine translation for African languages and describe our contribution in the 2021 WMT Shared Task: Large-Scale Multilingual Machine Translation. We introduce MMTAfrica, the first many-to-many multilingual translation system for six African languages: Fon (fon), Igbo (ibo), Kinyarwanda (kin), Swahili/Kiswahili (swa), Xhosa (xho), and Yoruba (yor) and two non-African languages: English (eng) and French (fra). For multilingual translation concerning African languages, we introduce a novel backtranslation and reconstruction objective, BT\&REC, inspired by the random online back translation and T5 modeling framework respectively, to effectively leverage monolingual data. Additionally, we report improvements from MMTAfrica over the FLORES 101 benchmarks (spBLEU gains ranging from $+0.58$ in Swahili to French to $+19.46$ in French to Xhosa). We release our dataset and code source at https://github.com/edaiofficial/mmtafrica.


title: Weight modules over Bell--Rogalski algebras

abstract: We study a class of $\mathbb{Z}$-graded algebras introduced by Bell and Rogalski. Their construction generalizes in large part that of rank one generalized Weyl algebras (GWAs). We establish certain ring-theoretic properties of these algebras and study their connection to GWAs. We classify the simple weight modules in the infinite orbit case and provide a partial classification in the case of orbits of finite order.


title: Grounding Hindsight Instructions in Multi-Goal Reinforcement Learning for Robotics

abstract: This paper focuses on robotic reinforcement learning with sparse rewards for natural language goal representations. An open problem is the sample-inefficiency that stems from the compositionality of natural language, and from the grounding of language in sensory data and actions. We address these issues with three contributions. We first present a mechanism for hindsight instruction replay utilizing expert feedback. Second, we propose a seq2seq model to generate linguistic hindsight instructions. Finally, we present a novel class of language-focused learning tasks. We show that hindsight instructions improve the learning performance, as expected. In addition, we also provide an unexpected result: We show that the learning performance of our agent can be improved by one third if, in a sense, the agent learns to talk to itself in a self-supervised manner. We achieve this by learning to generate linguistic instructions that would have been appropriate as a natural language goal for an originally unintended behavior. Our results indicate that the performance gain increases with the task-complexity.


title: Long-term effect estimation when combining clinical trial and observational follow-up datasets

abstract: Combining experimental and observational follow-up datasets has received a lot of attention lately. In a time-to-event setting, recent work has used medicare claims to extend the follow-up period for participants in a prostate cancer clinical trial. This allows the estimation of the long-term effect that cannot be estimated by clinical trial data alone. In this paper, we study the estimation of long-term effect when participants in a clinical trial are linked to an observational follow-up dataset with incomplete data. Such data linkages are often incomplete for various reasons. We formulate incomplete linkages as a missing data problem with careful considerations of the relationship between the linkage status and the missing data mechanism. We use the popular Cox proportional hazard model as a working model to define the long-term effect. We propose a conditional linking at random (CLAR) assumption and an inverse probability of linkage weighting (IPLW) partial likelihood estimator. We show that our IPLW partial likelihood estimator is consistent and asymptotically normal. We further extend our approach to incorporate time-dependent covariates. Simulations results confirm the validity of our method, and we further apply our methods to the SWOG study.


title: Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems

abstract: Motivated by the recent interest in risk-aware control, we study a continuous-time control synthesis problem to bound the risk that a stochastic linear system violates a given specification. We use risk signal temporal logic as a specification formalism in which distributionally robust risk predicates are considered and equipped with the usual Boolean and temporal operators. Our control approach relies on reformulating these risk predicates as deterministic predicates over mean and covariance states of the system. We then obtain a timed sequence of sets of mean and covariance states from the timed automata representation of the specification. To avoid an explosion in the number of automata states, we propose heuristics to find candidate sequences effectively. To execute and check dynamic feasibility of these sequences, we present a sampled-data control technique based on time discretization and constraint tightening that allows to perform timed transitions while satisfying the continuous-time constraints.


title: On the generation of simple groups by Sylow subgroups

abstract: Let $G$ be a finite simple group of Lie type and let $P$ be a Sylow $2$-subgroup of $G$. In this paper, we prove that for any nontrivial element $x \in G$, there exists $g \in G$ such that $G = \langle P, x^g \rangle$. By combining this result with recent work of Breuer and Guralnick, we deduce that if $G$ is a finite nonabelian simple group and $r$ is any prime divisor of $|G|$, then $G$ is generated by a Sylow $2$-subgroup and a Sylow $r$-subgroup.


title: The History of the Grid

abstract: With the widespread availability of high-speed networks, it becomes feasible to outsource computing to remote providers and to federate resources from many locations. Such observations motivated the development, from the mid-1990s onwards, of a range of innovative Grid technologies, applications, and infrastructures. We review the history, current status, and future prospects for Grid computing.


title: Machine learning model to predict solar radiation, based on the integration of meteorological data and data obtained from satellite images

abstract: Knowing the behavior of solar radiation at a geographic location is essential for the use of energy from the sun using photovoltaic systems; however, the number of stations for measuring meteorological parameters and for determining the size of solar fields in remote areas is limited. In this work, images obtained from the GOES-13 satellite were used, from which variables were extracted that could be integrated into datasets from meteorological stations. From this, 3 different models were built, on which the performance of 5 machine learning algorithms in predicting solar radiation was evaluated. The neural networks had the highest performance in the model that integrated the meteorological variables and the variables obtained from the images, according to an analysis carried out using four evaluation metrics; although if the rRMSE is considered, all results obtained were higher than 20%, which classified the performance of the algorithms as fair. In the 2012 dataset, the estimation results according to the metrics MBE, R2, RMSE, and rRMSE corresponded to -0.051, 0.880, 90.99 and 26.7%, respectively. In the 2017 dataset, the results of MBE, R2, RMSE, and rRMSE were -0.146, 0.917, 40.97 and 22.3%, respectively. Although it is possible to calculate solar radiation from satellite images, it is also true that some statistical methods depend on radiation data and sunshine captured by ground-based instruments, which is not always possible given that the number of measurement stations on the surface is limited.


title: Aging or DEAD: origin of the non-monotonic response to weak self-propulsion in active glasses

abstract: Among amorphous states, glass is defined by relaxation times longer than the observation time. This nonergodic nature makes the understanding of glassy systems an involved topic, with complex aging effects or responses to further out-of-equilibrium external drivings. In this respect active glasses made of self-propelled particles have recently emerged as stimulating systems which broadens and challenges our current understanding of glasses by considering novel internal out-of-equilibrium degrees of freedom. In previous experimental studies we have shown that in the ergodicity broken phase, the dynamics of dense passive particles first slows down as particles are made slightly active, before speeding up at larger activity. Here, we show that this nonmonotonic behavior also emerges in simulations of soft active Brownian particles and explore its cause. We refute that the Deadlock by Emergence of Active Directionality (DEAD) model we proposed earlier describes our data. However, we demonstrate that the nonmonotonic response is due to activity enhanced aging, and thus confirm the link with ergodicity breaking. Beyond self-propelled systems, our results suggest that aging in active glasses is not fully understood.


title: Weak solutions to the master equation of potential mean field games

abstract: The purpose of this work is to introduce a notion of weak solution to the master equation of a potential mean field game and to prove that existence and uniqueness hold under quite general assumptions. Remarkably, this is achieved without any monotonicity constraint on the coefficients. The key point is to interpret the master equation in a conservative sense and then to adapt to the infinite dimensional setting earlier arguments for hyperbolic systems deriving from a Hamilton-Jacobi-Bellman equation. Here, the master equation is indeed regarded as an infinite dimensional system set on the space of probability measures and is formally written as the derivative of the Hamilton-Jacobi-Bellman equation associated with the mean field control problem lying above the mean field game. To make the analysis easier, we assume that the coefficients are periodic, which allows to represent probability measures through their Fourier coefficients. Most of the analysis then consists in rewriting the master equation and the corresponding Hamilton-Jacobi-Bellman equation for the mean field control problem as partial differential equations set on the Fourier coefficients themselves. In the end, we establish existence and uniqueness of functions that are displacement semi-concave in the measure argument and that solve the Hamilton-Jacobi-Bellman equation in a suitable generalized sense and, subsequently, we get existence and uniqueness of functions that solve the master equation in an appropriate weak sense and that satisfy a weak one-sided Lipschitz inequality. As another new result, we also prove that the optimal trajectories of the associated mean field control problem are unique for almost every starting point, for a suitable probability measure on the space of probability measures.


title: Manipulating the transverse spin angular momentum and Belinfante momentum of spin-polarized light by a tilted stratified medium in optical tweezers

abstract: In the recent past, optical tweezers incorporating a stratified medium have been exploited to generate complex translational and rotational dynamics in mesoscopic particles due to the coupling between the spin and orbital angular momentum of the light, generated as a consequence of the tight focusing of light by a high numerical aperture objective lens into the stratified medium. Here, we consider an optical tweezers system with a tilted stratified medium (direction of stratification at an angle with the axis of the incident beam), and show that for input circularly polarized Gaussian beams, the resulting spin-orbit interaction deeply influences the generation of transverse spin angular momentum (TSAM) and Belinfante momentum of light, and allows additional control on their magnitude. Importantly, the TSAM generated in our system consists of both the orthogonal components, which is in sharp contrast to the case of evanescent waves and surface plasmons, where only one of the TSAM components are generated. The broken symmetry due to the tilt ensures that, depending upon the helicity of the input beam, the magnitude of the mutually orthogonal components of the TSAM depend entirely on the tilt angle. This may prove to be an effective handle in exotic spin-controlled manipulation of particles in experiments.


title: On the regularity of harmonic maps from ${\sf RCD}(K,N)$ to ${\sf CAT}(0)$ spaces and related results

abstract: For an harmonic map $u$ from a domain $U\subset{\rm X}$ in an ${\sf RCD}(K,N)$ space ${\rm X}$ to a ${\sf CAT}(0)$ space ${\rm Y}$ we prove the Lipschitz estimate \[ {\rm Lip}(u|_B)\leq \frac {C(K^-R^2,N)}r\inf_{{\sf o}\in {\rm Y}}\,\sqrt{\frac1{{\mathfrak m}(2B)}\int_{2B}{\sf d}_{\rm Y}^2(u(\cdot),{\sf o})\, {\rm d}{\mathfrak m}}, \qquad \forall 2B\subset U \] where $r\in(0,R)$ is the radius of $B$. This is obtained by combining classical Moser's iteration, a Bochner-type inequality that we derive (guided by recent works of Zhang-Zhu) together with a reverse Poincar\'e inequality that is also established here. A direct consequence of our estimate is a Lioville-Yau type theorem in the case $K=0$. Among the ingredients we develop for the proof, a variational principle valid in general ${\sf RCD}$ spaces is particularly relevant. It can be roughly stated as: if $({\rm X},{\sf d},{\mathfrak m})$ is ${\sf RCD}(K,\infty)$ and $f\in C_b({\rm X})$ is so that $\Delta f\leq C$ for some constant $C>0$, then for every $t>0$ and ${\mathfrak m}$-a.e.\ $x\in{\rm X}$ there is a unique minimizer $F_t(x)$ for $ y\ \mapsto\ f(y)+\frac{{\sf d}^2(x,y)}{2t} $ and the map $F_t$ satisfies \[ (F_t)_*{\mathfrak m}\leq e^{t(C+2K^-{\sf Osc}(f))}{\mathfrak m},\qquad\text{where}\qquad {\sf Osc}(f):=\sup f-\inf f. \] Here existence is in place without any sort of compactness assumption and uniqueness should be intended in a sense analogue to that in place for Regular Lagrangian Flows and Optimal Maps (and is related to both these concepts). Finally, we also obtain a Rademacher-type result for Lipschitz maps between spaces as above.


title: Towards Understanding Barriers and Mitigation Strategies of Software Engineers with Non-traditional Educational and Occupational Backgrounds

abstract: The traditional path to a software engineering career involves a post-secondary diploma in Software Engineering, Computer Science, or a related field. However, many software engineers take a non-traditional path to their career, starting from other industries or fields of study. This paper proposes a study on barriers faced by software engineers with non-traditional educational and occupational backgrounds, and possible mitigation strategies for those barriers. We propose a two-stage methodology, consisting of an exploratory study, followed by a validation study. The exploratory study will involve a grounded-theory-based qualitative analysis of relevant Reddit data to yield a framework around the barriers and possible mitigation strategies. These findings will then be validated using a survey in the validation study. Making software engineering more accessible to those with non-traditional backgrounds will not only bring about the benefits of functional diversity, but also serves as a method of filling in the labour shortages of the software engineering industry.


title: A Mathematical Framework for Transformations of Physical Processes

abstract: We observe that the existence of sequential and parallel composition supermaps in higher order physics can be formalised using enriched category theory. Encouraged by physically relevant examples such as unitary supermaps and layers within higher order causal categories (HOCCs), we treat the modelling of higher order physical theories with enriched monoidal categories in analogy with the modelling of physical theories are with monoidal categories. We use the enriched monoidal setting to construct a suitable definition of structure preserving map between higher order physical theories via the Grothendieck construction. We then show that the convenient feature of currying in higher order physical theories can be seen as a consequence of combining the primitive assumption of the existence of parallel and sequential composition supermaps with an additional feature of linking. In a second application we use our definition of structure preserving map to show that categories containing infinite towers of enriched monoidal categories with full and faithful structure preserving maps between them inevitably lead to closed monoidal structures. The aim of the proposed definitions is to step towards providing a broad framework for the study and comparison of novel causal structures in quantum theory, and, more broadly, a paradigm of physical theory where static and dynamical features are treated in a unified way.


title: Numerical Simulations of Nearly Incompressible Viscoelastic Membranes

abstract: This work presents a novel numerical investigation of the dynamics of free-boundary flows of viscoelastic liquid membranes. The governing equation describes the balance of linear momentum, in which the stresses include the viscoelastic response to deformations of Maxwell type. A penalty method is utilized to enforce near incompressibility of the viscoelastic media, in which the penalty constant is proportional to the viscosity of the fluid. A finite element method is used, in which the slender geometry representing the liquid membrane, is discretized by linear three-node triangular elements under plane stress conditions. Two applications of interest are considered for the numerical framework provided: shear flow, and extensional flow in drawing processes.


title: Performance portable ice-sheet modeling with MALI

abstract: High resolution simulations of polar ice-sheets play a crucial role in the ongoing effort to develop more accurate and reliable Earth-system models for probabilistic sea-level projections. These simulations often require a massive amount of memory and computation from large supercomputing clusters to provide sufficient accuracy and resolution. The latest exascale machines poised to come online contain a diverse set of computing architectures. In an effort to avoid architecture specific programming and maintain productivity across platforms, the ice-sheet modeling code known as MALI uses high level abstractions to integrate Trilinos libraries and the Kokkos programming model for performance portable code across a variety of different architectures. In this paper, we analyze the performance portable features of MALI via a performance analysis on current CPU-based and GPU-based supercomputers. The analysis highlights performance portable improvements made in finite element assembly and multigrid preconditioning within MALI with speedups between 1.26-1.82x across CPU and GPU architectures but also identifies the need to further improve performance in software coupling and preconditioning on GPUs. We also perform a weak scalability study and show that simulations on GPU-based machines perform 1.24-1.92x faster when utilizing the GPUs. The best performance is found in finite element assembly which achieved a speedup of up to 8.65x and a weak scaling efficiency of 82.9% with GPUs. We additionally describe an automated performance testing framework developed for this code base using a changepoint detection method. The framework is used to make actionable decisions about performance within MALI. We provide several concrete examples of scenarios in which the framework has identified performance regressions, improvements, and algorithm differences over the course of two years of development.


title: Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

abstract: Fully Observable Non-Deterministic (FOND) planning models uncertainty through actions with non-deterministic effects. Existing FOND planning algorithms are effective and employ a wide range of techniques. However, most of the existing algorithms are not robust for dealing with both non-determinism and task size. In this paper, we develop a novel iterative depth-first search algorithm that solves FOND planning tasks and produces strong cyclic policies. Our algorithm is explicitly designed for FOND planning, addressing more directly the non-deterministic aspect of FOND planning, and it also exploits the benefits of heuristic functions to make the algorithm more effective during the iterative searching process. We compare our proposed algorithm to well-known FOND planners, and show that it has robust performance over several distinct types of FOND domains considering different metrics.


title: Thin viscoelastic dewetting films of Jeffreys type subjected to gravity and substrate interactions

abstract: This work presents a study of the interfacial dynamics of thin viscoelastic films subjected to the gravitational force and substrate interactions induced by the disjoining pressure, in two spatial dimensions. The governing equation is derived as a long-wave approximation of the Navier-Stokes equations for incompressible viscoelastic liquids under the effect of gravity, with the Jeffreys model for viscoelastic stresses. For the particular cases of horizontal or inverted planes, the linear stability analysis is performed to investigate the influence of the physical parameters involved on the growth rate and length scales of instabilities. Numerical simulations of the nonlinear regime of the dewetting process are presented for the particular case of an inverted plane. Both gravity and the disjoining pressure are found to affect not only the length scale of instabilities, but also the final configuration of dewetting, by favoring the formation of satellite droplets, that are suppressed by the slippage with the solid substrate.


title: Approximate discounting-free policy evaluation from transient and recurrent states

abstract: In order to distinguish policies that prescribe good from bad actions in transient states, we need to evaluate the so-called bias of a policy from transient states. However, we observe that most (if not all) works in approximate discounting-free policy evaluation thus far are developed for estimating the bias solely from recurrent states. We therefore propose a system of approximators for the bias (specifically, its relative value) from transient and recurrent states. Its key ingredient is a seminorm LSTD (least-squares temporal difference), for which we derive its minimizer expression that enables approximation by sampling required in model-free reinforcement learning. This seminorm LSTD also facilitates the formulation of a general unifying procedure for LSTD-based policy value approximators. Experimental results validate the effectiveness of our proposed method.


title: The global inverse fractional conductivity problem

abstract: We prove \emph{global} uniqueness for an inverse problem for the fractional conductivity equation on domains that are bounded in one direction. The conductivities are assumed to be isotropic and nontrivial in the exterior of the domain, while the data is given in the form of partial Dirichlet-to-Neumann (DN) maps measured in nondisjoint open subsets of the exterior. This can be seen as the fractional counterpart of the classical inverse conductivity problem. The proof is based on a unique continuation property (UCP) for the DN maps and an exterior determination method from the partial exterior DN maps. This is analogous to the classical boundary determination method by Kohn and Vogelius. The most important technical novelty is the construction of sequences of special solutions to the fractional conductivity equation whose Dirichlet energies in the limit can be concentrated at any given point in the exterior. This is achieved independently of the UCP and despite the nonlocality of the equation. Due to the recent counterexamples by the last two authors, our results almost completely characterize uniqueness for the inverse fractional conductivity problem with partial data for isotropic global conductivities.


title: Perturbative renormalization of $\phi_4^4$ theory on the half space $\mathbb{R}^+ \times\mathbb{R}^3$ with flow equations

abstract: In this paper, we give a rigorous proof of the renormalizability of the massive $\phi_4^4$ theory on a half-space, using the renormalization group flow equations. We find that five counter-terms are needed to make the theory finite, namely $\phi^2$, $\phi\partial_z\phi$, $\phi\partial_z^2\phi$, $\phi\Delta_x\phi$ and $\phi^4$ for $(z,x)\in\mathbb{R}^+\times\mathbb{R}^3$. The amputated correlation functions are distributions in position space. We consider a suitable class of test functions and prove inductive bounds for the correlation functions folded with these test functions. The bounds are uniform in the cutoff and thus directly lead to renormalizability.


title: Show, Don't Tell: Demonstrations Outperform Descriptions for Schema-Guided Task-Oriented Dialogue

abstract: Building universal dialogue systems that operate across multiple domains/APIs and generalize to new ones with minimal overhead is a critical challenge. Recent works have leveraged natural language descriptions of schema elements to enable such systems; however, descriptions only indirectly convey schema semantics. In this work, we propose Show, Don't Tell, which prompts seq2seq models with a labeled example dialogue to show the semantics of schema elements rather than tell the model through descriptions. While requiring similar effort from service developers as generating descriptions, we show that using short examples as schema representations with large language models results in state-of-the-art performance on two popular dialogue state tracking benchmarks designed to measure zero-shot generalization - the Schema-Guided Dialogue dataset and the MultiWOZ leave-one-out benchmark.


title: Decoupling-limit consistency of the generalized SU(2) Proca theory

abstract: We study the consistency of the decoupling limit of the generalized SU(2) Proca theory (GSU2P). Namely, we study the healthiness of those terms whose analysis in the scalar limit was not originally established in the reconstruction of the full theory (see the work by Gallego Cadavid et. al. [Phys. Rev. D 102, 104066 (2020)]). Those terms are the parity-violating $\tilde{\mathcal{L}}_{4,2}^1$ and the parity-conserving beyond SU(2) Proca terms $\mathcal{L}_{4,2}^3$ and $\mathcal{L}_{4,2}^4$. Using the 3+1 Arnowitt-Deser-Misner formalism, we write down the kinetic Lagrangian of these terms in the decoupling limit and show that their corresponding kinetic matrices are degenerate. This degeneracy is a necessary condition for the propagation of the right number of degrees of freedom, as required by the primary constraint-enforcing relation. Interestingly, the $\tilde{\mathcal{L}}_{4,2}^1$ term, which is purely non-Abelian, does not contribute to the kinetic Lagrangian of the theory, so its contribution is trivially degenerate. Similarly, but not trivially in these cases, the contributions of the $\mathcal{L}_{4,2}^3$ and $\mathcal{L}_{4,2}^4$ terms to the kinetic Lagrangian turn out to be degenerate as well. The results presented in this paper represent progress in the construction of the fully healthy GSU2P.


title: An Adaptive Black-box Backdoor Detection Method for Deep Neural Networks

abstract: With the surge of Machine Learning (ML), An emerging amount of intelligent applications have been developed. Deep Neural Networks (DNNs) have demonstrated unprecedented performance across various fields such as medical diagnosis and autonomous driving. While DNNs are widely employed in security-sensitive fields, they are identified to be vulnerable to Neural Trojan (NT) attacks that are controlled and activated by stealthy triggers. In this paper, we target to design a robust and adaptive Trojan detection scheme that inspects whether a pre-trained model has been Trojaned before its deployment. Prior works are oblivious of the intrinsic property of trigger distribution and try to reconstruct the trigger pattern using simple heuristics, i.e., stimulating the given model to incorrect outputs. As a result, their detection time and effectiveness are limited. We leverage the observation that the pixel trigger typically features spatial dependency and propose the first trigger approximation based black-box Trojan detection framework that enables a fast and scalable search of the trigger in the input space. Furthermore, our approach can also detect Trojans embedded in the feature space where certain filter transformations are used to activate the Trojan. We perform extensive experiments to investigate the performance of our approach across various datasets and ML models. Empirical results show that our approach achieves a ROC-AUC score of 0.93 on the public TrojAI dataset. Our code can be found at https://github.com/xinqiaozhang/adatrojan


title: Improved Object Pose Estimation via Deep Pre-touch Sensing

abstract: For certain manipulation tasks, object pose estimation from head-mounted cameras may not be sufficiently accurate. This is at least in part due to our inability to perfectly calibrate the coordinate frames of today's high degree of freedom robot arms that link the head to the end-effectors. We present a novel framework combining pre-touch sensing and deep learning to more accurately estimate pose in an efficient manner. The use of pre-touch sensing allows our method to localize the object directly with respect to the robot's end effector, thereby avoiding error caused by miscalibration of the arms. Instead of requiring the robot to scan the entire object with its pre-touch sensor, we use a deep neural network to detect object regions that contain distinctive geometric features. By focusing pre-touch sensing on these regions, the robot can more efficiently gather the information necessary to adjust its original pose estimate. Our region detection network was trained using a new dataset containing objects of widely varying geometries and has been labeled in a scalable fashion that is free from human bias. This dataset is applicable to any task that involves a pre-touch sensor gathering geometric information, and has been made publicly available. We evaluate our framework by having the robot re-estimate the pose of a number of objects of varying geometries. Compared to two simpler region proposal methods, we find that our deep neural network performs significantly better. In addition, we find that after a sequence of scans, objects can typically be localized to within 0.5 cm of their true position. We also observe that the original pose estimate can often be significantly improved after collecting a single quick scan.


title: The boundedness of Fractional Hardy-Littlewood maximal operator on variable lp(Z) spaces using Calderon-Zygmund decomposition

abstract: In this paper, we prove strong type, weak type inequalities of Hardy-Littlewood maximal operator and fractional Hardy-Littlewood maximal operator on variable sequence spaces lp(Z). This is achieved using Calderon-Zygmund decomposition for sequences, properties of modular functional and Log Holder continuity.


title: Fundamental Limits on Detection With a Dual-function Radar Communication System

abstract: This paper investigates the fundamental limits on the target detection performance with a dual-function multiple-input-multiple-output (MIMO) radar communication (RadCom) systems. By assuming the presence of a point-like target and a communication receiver, closed-form expressions for the maximum detection probability and the transmit waveforms achieving the optimal performance are derived. Results show that for the considered case, the dual-function system should transmit coherent waveforms to achieve the optimal detection performance. Moreover, the angle separation between the target and communication receiver has a great impact on the achievable detection performance.


title: A Study of Using Cepstrogram for Countermeasure Against Replay Attacks

abstract: This study investigated the cepstrogram properties and demonstrated their effectiveness as powerful countermeasures against replay attacks. A cepstrum analysis of replay attacks suggests that crucial information for anti-spoofing against replay attacks may be retained in the cepstrogram. When building countermeasures against replay attacks, experiments on the ASVspoof 2019 physical access database demonstrate that the cepstrogram is more effective than other features in both single and fusion systems. Our LCNN-based single and fusion systems with the cepstrogram feature outperformed the corresponding LCNN-based systems without the cepstrogram feature and several state-of-the-art single and fusion systems in the literature.


title: Spectral signatures of excess-proton waiting and transfer-path dynamics in aqueous hydrochloric acid solutions

abstract: Signatures of solvated excess protons in infrared difference absorption spectra, such as the continuum band between the water bend and stretch bands, have been experimentally known for a long time, but the theoretical basis for linking spectral signatures with the microscopic proton-transfer mechanism so far relied on normal-mode analysis. We analyze the excess-proton dynamics in ab initio molecular-dynamics simulations of aqueous hydrochloric acid solutions by trajectory-decomposition techniques. The continuum band in the 2000 - 3000 cm$^{-1 }$ range is shown to be due to normal-mode oscillations of temporary H$_3$O$^+$ complexes. An additional prominent peak at 400 cm$^{-1}$ reports on the coupling of excess-proton motion to the relative vibrations of the two flanking water molecules. The actual proton transfer between two water molecules, which for large water separations involves crossing of a barrier and thus is not a normal mode, is characterized by two characteristic time scales: Firstly, the waiting time for transfer to occur in the range of 200 - 300 fs, which leads to a broad weak shoulder around ~100 cm$^{-1}$, consistent with our experimental THz spectra. Secondly, the mean duration of a transfer event of about 14 fs, which produces a rather well-defined spectral contribution around 1200 cm$^{-1}$ and agrees in location and width with previous experimental mid-infrared spectra.


title: Measuring and improving community resilience: a Fuzzy Logic approach

abstract: Due to the increasing frequency of natural and man-made disasters worldwide, the scientific community has paid considerable attention to the concept of resilience engineering in recent years. Authorities and decision-makers, on the other hand, have been focusing their efforts to develop strategies that can help increase community resilience to different types of extreme events. Since it is often impossible to prevent every risk, the focus is on adapting and managing risks in ways that minimize impacts to communities (e.g., humans and other systems). Several resilience strategies have been proposed in the literature to reduce disaster risk and improve community resilience. Generally, resilience assessment is challenging due to uncertainty and unavailability of data necessary for the estimation process. This paper proposes a Fuzzy Logic method for quantifying community resilience. The methodology is based on the PEOPLES framework, an indicator-based hierarchical framework that defines all aspects of the community. A fuzzy-based approach is implemented to quantify the PEOPLES indicators using descriptive knowledge instead of hard data, accounting also for the uncertainties involved in the analysis. To demonstrate the applicability of the methodology, data regarding the functionality of the city San Francisco before and after the Loma Prieta earthquake are used to obtain a resilience index of the Physical Infrastructure dimension of the PEOPLES framework. The results show that the methodology can provide good estimates of community resilience despite the uncertainty of the indicators. Hence, it serves as a decision-support tool to help decision-makers and stakeholders assess and improve the resilience of their communities.


title: A new family of smooth copulas with arbitrarily irregular densities

abstract: Copulas are known to satisfy a number of regularity properties, and one might therefore believe that their densities, when they exist, admit a certain degree of regularity themselves. We show that this is not true in general by constructing a broad family of copulas which admit densities that can hardly be considered regular. The copula densities are constructed from arbitrary univariate densities supported on the unit interval, and we show by example that the copula densities can inherit pathological behaviour from the underlying univariate densities. In particular, we construct a nontrivial univariate density which is unbounded in every open set of the unit interval, and show that it induces a copula density which is finite everywhere but unbounded in every neighborhood of the unit hypercube. Nevertheless, all of our copulas are shown to enjoy attractive smoothness properties.


title: Helton-Howe Trace, Connes-Chern character and Quantization

abstract: We study the Helton-Howe trace and the Connes-Chern character for Toeplitz operators on weighted Bergman spaces via the idea of quantization. We prove a local formula for the large $t$-limit of the Connes-Chern character as the weight goes to infinity. And we show that the Helton-Howe trace of Toeplitz operators is independent of the weight $t$ and obtain a local formula for the Helton-Howe trace for all weighted Bergman spaces using harmonic analysis and quantization.


title: Fuzzy temporal convolutional neural networks in P300-based Brain-computer interface for smart home interaction

abstract: The processing and classification of electroencephalographic signals (EEG) are increasingly performed using deep learning frameworks, such as convolutional neural networks (CNNs), to generate abstract features from brain data, automatically paving the way for remarkable classification prowess. However, EEG patterns exhibit high variability across time and uncertainty due to noise. It is a significant problem to be addressed in P300-based Brain Computer Interface (BCI) for smart home interaction. It operates in a non-optimal natural environment where added noise is often present. In this work, we propose a sequential unification of temporal convolutional networks (TCNs) modified to EEG signals, LSTM cells, with a fuzzy neural block (FNB), which we called EEG-TCFNet. Fuzzy components may enable a higher tolerance to noisy conditions. We applied three different architectures comparing the effect of using block FNB to classify a P300 wave to build a BCI for smart home interaction with healthy and post-stroke individuals. Our results reported a maximum classification accuracy of 98.6% and 74.3% using the proposed method of EEG-TCFNet in subject-dependent strategy and subject-independent strategy, respectively. Overall, FNB usage in all three CNN topologies outperformed those without FNB. In addition, we compared the addition of FNB to other state-of-the-art methods and obtained higher classification accuracies on account of the integration with FNB. The remarkable performance of the proposed model, EEG-TCFNet, and the general integration of fuzzy units to other classifiers would pave the way for enhanced P300-based BCIs for smart home interaction within natural settings.


title: A Little Too Personal: Effects of Standardization versus Personalization on Job Acquisition, Work Completion, and Revenue for Online Freelancers

abstract: As more individuals consider permanently working from home, the online labor market continues to grow as an alternative working environment. While the flexibility and autonomy of these online gigs attracts many workers, success depends critically upon self-management and workers' efficient allocation of scarce resources. To achieve this, freelancers may develop alternative work strategies, employing highly standardized schedules and communication patterns while taking on large work volumes, or engaging in smaller numbers of jobs whilst tailoring their activities to build relationships with individual employers. In this study, we consider this contrast in relation to worker communication patterns. We demonstrate the heterogeneous effects of standardization versus personalization across different stages of a project and examine the relative impact on job acquisition, project completion, and earnings. Our findings can inform the design of platforms and various worker support tools for the gig economy.


title: Sim-to-Real Learning for Bipedal Locomotion Under Unsensed Dynamic Loads

abstract: Recent work on sim-to-real learning for bipedal locomotion has demonstrated new levels of robustness and agility over a variety of terrains. However, that work, and most prior bipedal locomotion work, have not considered locomotion under a variety of external loads that can significantly influence the overall system dynamics. In many applications, robots will need to maintain robust locomotion under a wide range of potential dynamic loads, such as pulling a cart or carrying a large container of sloshing liquid, ideally without requiring additional load-sensing capabilities. In this work, we explore the capabilities of reinforcement learning (RL) and sim-to-real transfer for bipedal locomotion under dynamic loads using only proprioceptive feedback. We show that prior RL policies trained for unloaded locomotion fail for some loads and that simply training in the context of loads is enough to result in successful and improved policies. We also compare training specialized policies for each load versus a single policy for all considered loads and analyze how the resulting gaits change to accommodate different loads. Finally, we demonstrate sim-to-real transfer, which is successful but shows a wider sim-to-real gap than prior unloaded work, which points to interesting future research.


title: Phase Diagram of a Non-Hermitian Chern Insulator: Destabilization of Chiral Edge States and Bulk-Boundary Correspondence

abstract: A non-Hermitian Chern insulator with gain/loss-type non-Hermiticity shows a peculiar gap closing; when a nontrivial Chern insulator phase changes to a gapless phase, conduction and valence bands are combined into one band owing to destabilization of chiral edge states. A previous recipe of non-Hermitian bulk-boundary correspondence is insufficient for this system since such a gap closing is beyond its scope. Here, we revise the recipe by taking the peculiar gap closing into account and apply it to the non-Hermitian Chern insulator. We demonstrate that the bulk-boundary correspondence holds in the system including a destabilization of chiral edge states. A phase diagram derived from the bulk-boundary correspondence is shown to be consistent with spectra of the system.


title: An Improved Integer Modular Multiplicative Inverse (modulo $2^w$)

abstract: This paper presents an algorithm for the integer multiplicative inverse (mod $2^w$) which completes in the fewest cycles known for modern microprocessors, when using the native bit width $w$ for the modulus $2^w$. The algorithm is a modification of a method by Dumas, and for computers it slightly increases generality and efficiency. A proof is given, and the algorithm is shown to be closely related to the better known Newton's method algorithm for the inverse. Simple direct formulas, which are needed by this algorithm and by Newton's method, are reviewed and proven for the integer inverse modulo $2^k$ with $k$ = 1, 2, 3, 4, or 5, providing the first proof of the preferred formula with $k$=4 or 5.


title: Simple synthetic molecular dynamics for efficient trajectory generation

abstract: Synthetic molecular dynamics (synMD) trajectories from learned generative models have been proposed as a useful addition to the biomolecular simulation toolbox. The computational expense of explicitly integrating the equations of motion in molecular dynamics currently is a severe limit on the number and length of trajectories which can be generated for complex systems. Approximate, but more computationally efficient, generative models can be used in place of explicit integration of the equations of motion, and can produce meaningful trajectories at greatly reduced computational cost. Here, we demonstrate a very simple synMD approach using a fine-grained Markov state model (MSM) with states mapped to specific atomistic configurations, which provides an exactly solvable reference. We anticipate this simple approach will enable rapid, effective testing of enhanced sampling algorithms in highly non-trivial models for both equilibrium and non-equilibrium problems. We demonstrate the use of a MSM to generate atomistic synMD trajectories for the fast-folding miniprotein Trp-cage, at a rate of over 200 milliseconds per day on a standard workstation. We employ a non-standard clustering for MSM generation that appears to better preserve kinetic properties at shorter lag times than a conventional MSM. We also show a parallelizable workflow that backmaps discrete synMD trajectories to full-coordinate representations at dynamic resolution for efficient analysis.


title: Towards Better Chinese-centric Neural Machine Translation for Low-resource Languages

abstract: The last decade has witnessed enormous improvements in science and technology, stimulating the growing demand for economic and cultural exchanges in various countries. Building a neural machine translation (NMT) system has become an urgent trend, especially in the low-resource setting. However, recent work tends to study NMT systems for low-resource languages centered on English, while few works focus on low-resource NMT systems centered on other languages such as Chinese. To achieve this, the low-resource multilingual translation challenge of the 2021 iFLYTEK AI Developer Competition provides the Chinese-centric multilingual low-resource NMT tasks, where participants are required to build NMT systems based on the provided low-resource samples. In this paper, we present the winner competition system that leverages monolingual word embeddings data enhancement, bilingual curriculum learning, and contrastive re-ranking. In addition, a new Incomplete-Trust (In-trust) loss function is proposed to replace the traditional cross-entropy loss when training. The experimental results demonstrate that the implementation of these ideas leads better performance than other state-of-the-art methods. All the experimental codes are released at: https://github.com/WENGSYX/Low-resource-text-translation.


title: Neutron capture measurement and resonance parameter analysis of natSm

abstract: Multiple isotopes of samarium element are the isotopes produced by the s process, and 154Sm is produced by the r process. In addition, 144Sm is p nuclei in nuclear astrophysics. The measurement of these can help us to better understand the results of relevant photonuclear reaction experiments. On the other hand, 149Sm is a 235U fission product with a 1% yield, its cross sections are important to reactor neutronics. In this work, the neutron capture yield of the natural samarium target was measured at the back-streaming white neutron beamline (Back-n) of the China Spallation Neutron Source (CSNS), and the resonance parameters were analyzed by SAMMY code. The resonance peaks and the neutron separation energies contributed by the different isotopes are considered individually. The results of the capture yield found signs of the possibility of two resonance peaks at 8 eV, which awaits further experimental examination. Cross-section was calculated according to resonance parameters and was compared with other experimental results and evaluation databases of ENDF/B-VIII.0 and CENDL-3.2. A clear difference between ENDF/B VIII.0 and CENDL-3.2 database appears at 23.2 eV, the experimental result at this energy is smaller than data of ENDF/B VIII.0 database but CENDL-3.2 database. Most of the controversial experimental results invariably come from the samarium 149 isotope.


title: A three term sublevel set inequality

abstract: Let $B$ be a ball in ${\mathbb R}^2$. For $j=1,2,3$ let $\varphi_j:B\to{\mathbb R}^1$ be real analytic submersions, and let $a_j$ be real analytic coefficient functions. To any $\varepsilon>0$ and any Lebesgue measurable functions $f_j:{\mathbb R}^1\to {\mathbb C}$ associate the sublevel set $S = S(f_1,f_2,f_3,\varepsilon) = \{x\in B: |\sum_{j=1}^3 a_j(x)(f_j\circ\varphi_j)(x)|<\varepsilon\}$. Let $S' = \{x\in S: \max_j|f_j\circ\varphi_j(x)|\ge 1\}$. Our main result is an upper bound, under certain hypotheses on the data $\varphi_j,a_j$ for the Lebesgue measure of $S'$ of the form $|S'| \le c\varepsilon^\gamma$ for some constants $c,\gamma>0$ that depend on the data $a_j,\varphi_j$ but not on the functions $f_j$ or parameter $\varepsilon$. The main hypothesis is that in any connected open subset of $B$, the only real analytic solution $(f_1,f_2,f_3)$ of $\sum_j a_j(x)(f_j\circ\varphi_j)(x)\equiv 0$ is the trivial solution $f_k=0\ \forall\,k$. Certain auxiliary hypotheses, which hold for generic $\varphi_j,a_j$, are also imposed. The case in which all coefficients $a_j$ are constant was previously known. This result is a principal ingredient in an analysis, in a companion paper, of related implicitly oscillatory integrals with four factors $f_j$. Certain related results are also discussed. In particular, a generalization to arbitrarily many summands f_j is obtained for the special case in which all mappings $\varphi_j$ are linear.


title: On the Importance of Karaka Framework in Multi-modal Grounding

abstract: Computational Paninian Grammar model helps in decoding a natural language expression as a series of modifier-modified relations and therefore facilitates in identifying dependency relations closer to language (context) semantics compared to the usual Stanford dependency relations. However, the importance of this CPG dependency scheme has not been studied in the context of multi-modal vision and language applications. At IIIT Hyderabad, we plan to perform a novel study to explore the potential advantages and disadvantages of CPG framework in a vision-language navigation task setting, a popular and challenging multi-modal grounding task.


title: Neuronal diversity can improve machine learning for physics and beyond

abstract: Diversity conveys advantages in nature, yet homogeneous neurons typically comprise the layers of artificial neural networks. Here we construct neural networks from neurons that learn their own activation functions, quickly diversify, and subsequently outperform their homogeneous counterparts on image classification and nonlinear regression tasks. Sub-networks instantiate the neurons, which meta-learn especially efficient sets of nonlinear responses. Examples include conventional neural networks classifying digits and forecasting a van der Pol oscillator and physics-informed Hamiltonian neural networks learning H\'enon-Heiles stellar orbits and the swing of a video recorded pendulum clock. Such \textit{learned diversity} provides examples of dynamical systems selecting diversity over uniformity and elucidates the role of diversity in natural and artificial systems.


title: Sedimentation of a surfactant-laden drop in a liquid with particles

abstract: This project aims to study the sedimentation of a surfactant-laden drop in a liquid with particles. A 2D simulation is performed with MATLAB. The interface is captured by the front-tracking method. The local viscosity depends on the local particle concentration, which follows a power law. The surfactants not only decrease the surface tension but also induce a surface tension gradient. If the surface tension decreases, the settling velocity will decrease due to a larger deformation of the drop (i.e., the drop becomes more flat). Additionally, increasing the Peclet number (ratio of convection to diffusion on the interface) for surfactants will reduce the settling velocity due to a larger surface tension gradient.


title: Hardware Trojan Insertion Using Reinforcement Learning

abstract: This paper utilizes Reinforcement Learning (RL) as a means to automate the Hardware Trojan (HT) insertion process to eliminate the inherent human biases that limit the development of robust HT detection methods. An RL agent explores the design space and finds circuit locations that are best for keeping inserted HTs hidden. To achieve this, a digital circuit is converted to an environment in which an RL agent inserts HTs such that the cumulative reward is maximized. Our toolset can insert combinational HTs into the ISCAS-85 benchmark suite with variations in HT size and triggering conditions. Experimental results show that the toolset achieves high input coverage rates (100\% in two benchmark circuits) that confirms its effectiveness. Also, the inserted HTs have shown a minimal footprint and rare activation probability.


title: Area and spectrum estimates for stable minimal surfaces

abstract: This note concerns the area growth and bottom spectrum of complete stable minimal surfaces in a three-dimensional manifold with scalar curvature bounded from below. When the ambient manifold is the Euclidean space, by an elementary argument, it is shown directly from the stability inequality that the area of such minimal surfaces grows exactly as the Euclidean plane. Consequently, such minimal surfaces must be at, a well-known result due to Fisher-Colbrie and Schoen as well as do Carmo and Peng. In the case the ambient manifold is the hyperbolic space, explicit area growth estimate is also derived. For the bottom spectrum, upper bound estimates are established in terms of the scalar curvature lower bound of the ambient manifold.


title: Is thermodynamics fundamental?

abstract: It is a common view in philosophy of physics that thermodynamics is a non-fundamental theory. This is motivated in particular by the fact that thermodynamics is considered to be a paradigmatic example for a theory that can be reduced to another one, namely statistical mechanics. For instance, the statement "temperature is mean molecular kinetic energy" has become a textbook example for a successful reduction, despite the fact that this statement is not correct for a large variety of systems. In this article, we defend the view that thermodynamics is a fundamental theory, a position that we justify based on four case studies from recent physical research. We explain how entropic gravity (1) and black hole thermodynamics (2) can serve as case studies for the multiple realizability problem which blocks the reduction of thermodynamics. Moreover, we discuss the problem of the reducibility of phase transitions and argue that bifurcation theory (3) allows the modelling of "phase transitions" on a thermodynamic level even in finite systems. It is also shown that the derivation of irreversible transport equations in the Mori-Zwanzig formalism (4) does not, despite recent claims to the contrary, constitute a reduction of thermodynamics to quantum mechanics. Finally, we briefly discuss some arguments against the fundamentality of thermodynamics that are not based on reduction.


title: Should we tweet this? Generative response modeling for predicting reception of public health messaging on Twitter

abstract: The way people respond to messaging from public health organizations on social media can provide insight into public perceptions on critical health issues, especially during a global crisis such as COVID-19. It could be valuable for high-impact organizations such as the US Centers for Disease Control and Prevention (CDC) or the World Health Organization (WHO) to understand how these perceptions impact reception of messaging on health policy recommendations. We collect two datasets of public health messages and their responses from Twitter relating to COVID-19 and Vaccines, and introduce a predictive method which can be used to explore the potential reception of such messages. Specifically, we harness a generative model (GPT-2) to directly predict probable future responses and demonstrate how it can be used to optimize expected reception of important health guidance. Finally, we introduce a novel evaluation scheme with extensive statistical testing which allows us to conclude that our models capture the semantics and sentiment found in actual public health responses.


title: Systematic KMTNet Planetary Anomaly Search. V. Complete Sample of 2018 Prime-Field

abstract: We complete the analysis of all 2018 prime-field microlensing planets identified by the KMTNet AnomalyFinder. Among the 10 previously unpublished events with clear planetary solutions, 8 are either unambiguously planetary or are very likely to be planetary in nature: OGLE-2018-BLG-1126, KMT-2018-BLG-2004, OGLE-2018-BLG-1647, OGLE-2018-BLG-1367, OGLE-2018-BLG-1544, OGLE-2018-BLG-0932, OGLE-2018-BLG-1212, and KMT-2018-BLG-2718. Combined with the 4 previously published new AnomalyFinder events and 12 previously published (or in preparation) planets that were discovered by eye, thismakes a total of 24 2018 prime-field planets discovered or recovered by AnomalyFinder. Together with a paper in preparation on 2018 sub-prime planets, this work lays the basis for the first statistical analysis of the planet mass-ratio function based on planets identified in KMTNet data. By systematically applying the heuristic analysis of Hwang et al. (2022) to each event, we identify the small modification in their formalism that is needed to unify the so-called close/wide and inner/outer degeneracies, as conjectured by


title: Of Shadows and Gaps in Spatial Search

abstract: Spatial search occurs in a connected graph if a continuous-time quantum walk on the adjacency matrix of the graph, suitably scaled, plus a rank-one perturbation induced by any vertex will unitarily map the principal eigenvector of the graph to the characteristic vector of the vertex. This phenomenon is a natural continuous-time analogue of Grover search. The spatial search is said to be optimal if it occurs with constant fidelity and in time inversely proportional to the shadow of the target vertex on the principal eigenvector. Extending a result of Chakraborty et al. (Physical Review A, 102:032214, 2020), we prove a simpler characterization of optimal spatial search. Based on this characterization, we observe that some families of distance-regular graphs, such as Hamming and Grassmann graphs, have optimal spatial search. We also show a matching lower bound on time for spatial search with constant fidelity, which extends a bound due to Farhi and Gutmann for perfect fidelity. Our elementary proofs employ standard tools, such as Weyl inequalities and Cauchy determinant formula.


title: NMSSM neutralino dark matter for CDF II $W$-boson mass and muon $g-2$ and the promising prospect of direct detection

abstract: Two experiments from the Fermilab, E989 and CDF II, have reported two anomalies for muon $g-2$ and $W$-boson mass that may indicate the new physics at the low energy scale. Here we examine the possibility of a common origin of these two anomalies in the Next-to-Minimal Supersymmetric Standard Model. Considering various experimental and astrophysical constraints such as the Higgs mass, collider data, flavor physics, dark matter relic density, and direct detection experiments, we find that lighter electroweakinos and sleptons can generate sufficient contributions to muon $g-2$ and $m_W$. Moreover, the corresponding bino-like neutralino dark matter mass is in the $\sim 180-280$ GeV range. Interestingly, the favored DM mass region can soon be entirely probed by ongoing direct detection experiments like PandaX-4T, XENONnT, LUX-ZEPLIN, and DARWIN.