title: The algebraic Brauer group of a reductive group over a nonarchimedean local field

abstract: We show that for nonarchimedean local fields $F$, the pairing from the algebraic part of the Brauer group of a reductive group $G$ characterizes all continuous homomorphisms from $G(F)$ into $\mathbb{Q}/\mathbb{Z}$. This generalizes results of Loughran and Loughran-Tanimoto-Takloo-Bighash.


title: A Context-Aware Computational Approach for Measuring Vocal Entrainment in Dyadic Conversations

abstract: Vocal entrainment is a social adaptation mechanism in human interaction, knowledge of which can offer useful insights to an individual's cognitive-behavioral characteristics. We propose a context-aware approach for measuring vocal entrainment in dyadic conversations. We use conformers(a combination of convolutional network and transformer) for capturing both short-term and long-term conversational context to model entrainment patterns in interactions across different domains. Specifically we use cross-subject attention layers to learn intra- as well as inter-personal signals from dyadic conversations. We first validate the proposed method based on classification experiments to distinguish between real(consistent) and fake(inconsistent/shuffled) conversations. Experimental results on interactions involving individuals with Autism Spectrum Disorder also show evidence of a statistically-significant association between the introduced entrainment measure and clinical scores relevant to symptoms, including across gender and age groups.


title: Multimodal Learning for Non-small Cell Lung Cancer Prognosis

abstract: This paper focuses on the task of survival time analysis for lung cancer. Although much progress has been made in this problem in recent years, the performance of existing methods is still far from satisfactory. Traditional and some deep learning-based survival time analyses for lung cancer are mostly based on textual clinical information such as staging, age, histology, etc. Unlike existing methods that predicting on the single modality, we observe that a human clinician usually takes multimodal data such as text clinical data and visual scans to estimate survival time. Motivated by this, in this work, we contribute a smart cross-modality network for survival analysis network named Lite-ProSENet that simulates a human's manner of decision making. Extensive experiments were conducted using data from 422 NSCLC patients from The Cancer Imaging Archive (TCIA). The results show that our Lite-ProSENet outperforms favorably again all comparison methods and achieves the new state of the art with the 89.3% on concordance. The code will be made publicly available.


title: Reward-Predictive Clustering

abstract: Recent advances in reinforcement-learning research have demonstrated impressive results in building algorithms that can out-perform humans in complex tasks. Nevertheless, creating reinforcement-learning systems that can build abstractions of their experience to accelerate learning in new contexts still remains an active area of research. Previous work showed that reward-predictive state abstractions fulfill this goal, but have only be applied to tabular settings. Here, we provide a clustering algorithm that enables the application of such state abstractions to deep learning settings, providing compressed representations of an agent's inputs that preserve the ability to predict sequences of reward. A convergence theorem and simulations show that the resulting reward-predictive deep network maximally compresses the agent's inputs, significantly speeding up learning in high dimensional visual control tasks. Furthermore, we present different generalization experiments and analyze under which conditions a pre-trained reward-predictive representation network can be re-used without re-training to accelerate learning -- a form of systematic out-of-distribution transfer.


title: Performance and utility trade-off in interpretable sleep staging

abstract: Recent advances in deep learning have led to the development of models approaching the human level of accuracy. However, healthcare remains an area lacking in widespread adoption. The safety-critical nature of healthcare results in a natural reticence to put these black-box deep learning models into practice. This paper explores interpretable methods for a clinical decision support system called sleep staging, an essential step in diagnosing sleep disorders. Clinical sleep staging is an arduous process requiring manual annotation for each 30s of sleep using physiological signals such as electroencephalogram (EEG). Recent work has shown that sleep staging using simple models and an exhaustive set of features can perform nearly as well as deep learning approaches but only for some specific datasets. Moreover, the utility of those features from a clinical standpoint is ambiguous. On the other hand, the proposed framework, NormIntSleep demonstrates exceptional performance across different datasets by representing deep learning embeddings using normalized features. NormIntSleep performs 4.5% better than the exhaustive feature-based approach and 1.5% better than other representation learning approaches. An empirical comparison between the utility of the interpretations of these models highlights the improved alignment with clinical expectations when performance is traded-off slightly. NormIntSleep paired with a clinically meaningful set of features can best balance this trade-off by providing reliable, clinically relevant interpretation with robust performance.


title: Robust Total Least Mean M-Estimate normalized subband filter Adaptive Algorithm for impulse noises and noisy inputs

abstract: When the input signal is correlated input signals, and the input and output signal is contaminated by Gaussian noise, the total least squares normalized subband adaptive filter (TLS-NSAF) algorithm shows good performance. However, when it is disturbed by impulse noise, the TLS-NSAF algorithm shows the rapidly deteriorating convergence performance. To solve this problem, this paper proposed the robust total minimum mean M-estimator normalized subband filter (TLMM-NSAF) algorithm. In addition, this paper also conducts a detailed theoretical performance analysis of the TLMM-NSAF algorithm and obtains the stable step size range and theoretical steady-state mean squared deviation (MSD) of the algorithm. To further improve the performance of the algorithm, we also propose a new variable step size (VSS) method of the algorithm. Finally, the robustness of our proposed algorithm and the consistency of theoretical and simulated values are verified by computer simulations of system identification and echo cancellation under different noise models.


title: Peak-First CTC: Reducing the Peak Latency of CTC Models by Applying Peak-First Regularization

abstract: The CTC model has been widely applied to many application scenarios because of its simple structure, excellent performance, and fast inference speed. There are many peaks in the probability distribution predicted by the CTC models, and each peak represents a non-blank token. The recognition latency of CTC models can be reduced by encouraging the model to predict peaks earlier. Existing methods to reduce latency require modifying the transition relationship between tokens in the forward-backward algorithm, and the gradient calculation. Some of these methods even depend on the forced alignment results provided by other pretrained models. The above methods are complex to implement. To reduce the peak latency, we propose a simple and novel method named peak-first regularization, which utilizes a frame-wise knowledge distillation function to force the probability distribution of the CTC model to shift left along the time axis instead of directly modifying the calculation process of CTC loss and gradients. All the experiments are conducted on a Chinese Mandarin dataset AISHELL-1. We have verified the effectiveness of the proposed regularization on both streaming and non-streaming CTC models respectively. The results show that the proposed method can reduce the average peak latency by about 100 to 200 milliseconds with almost no degradation of recognition accuracy.


title: SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing

abstract: Mutation-based fuzzing has become one of the most common vulnerability discovery solutions over the last decade. Fuzzing can be optimized when targeting specific programs, and given that, some studies have employed online optimization methods to do it automatically, i.e., tuning fuzzers for any given program in a program-agnostic manner. However, previous studies have neither fully explored mutation schemes suitable for online optimization methods, nor online optimization methods suitable for mutation schemes. In this study, we propose an optimization framework called SLOPT that encompasses both a bandit-friendly mutation scheme and mutation-scheme-friendly bandit algorithms. The advantage of SLOPT is that it can generally be incorporated into existing fuzzers, such as AFL and Honggfuzz. As a proof of concept, we implemented SLOPT-AFL++ by integrating SLOPT into AFL++ and showed that the program-agnostic optimization delivered by SLOPT enabled SLOPT-AFL++ to achieve higher code coverage than AFL++ in all of ten real-world FuzzBench programs. Moreover, we ran SLOPT-AFL++ against several real-world programs from OSS-Fuzz and successfully identified three previously unknown vulnerabilities, even though these programs have been fuzzed by AFL++ for a considerable number of CPU days on OSS-Fuzz.


title: Learning Task Requirements and Agent Capabilities for Multi-agent Task Allocation

abstract: This paper presents a learning framework to estimate an agent capability and task requirement model for multi-agent task allocation. With a set of team configurations and the corresponding task performances as the training data, linear task constraints can be learned to be embedded in many existing optimization-based task allocation frameworks. Comprehensive computational evaluations are conducted to test the scalability and prediction accuracy of the learning framework with a limited number of team configurations and performance pairs. A ROS and Gazebo-based simulation environment is developed to validate the proposed requirements learning and task allocation framework in practical multi-agent exploration and manipulation tasks. Results show that the learning process for scenarios with 40 tasks and 6 types of agents uses around 12 seconds, ending up with prediction errors in the range of 0.5-2%.


title: Institutional ownership and liquidity commonality: evidence from Australia

abstract: We study the liquidity commonality impact of local and foreign institutional investment in the Australian equity market in the cross-section and over time. We find that commonality in liquidity is higher for large stocks compared to small stocks in the cross-section of stocks, and the spread between the two has increased over the past two decades. We show that this divergence can be explained by foreign institutional ownership. This finding suggests that foreign institutional investment contributes to an increase in the exposure of large stocks to unexpected liquidity events in the local market. We find a positive association between foreign institutional ownership and commonality in liquidity across all stocks, particularly in large and mid-cap stocks. Correlated trading by foreign institutions explains this association. However, local institutional ownership is positively related to the commonality in liquidity for large-cap stocks only.


title: An interpretation of Union-Find Decoder on Weighted Graphs

abstract: Union-Find (UF) and Minimum-Weight Perfect Matching (MWPM) are popular decoder designs for surface codes. The former has significantly lower time complexity than the latter but is considered somewhat inferior, in terms of decoding accuracy. In this work we present an interpretation of UF decoders that explains why UF and MWPM decoders perform closely in some cases: the UF decoder is an approximate implementation of the blossom algorithm used for MWPM. This interpretation allows a generalization of UF decoders for weighted decoding graphs and explains why UF decoders achieve high accuracy for certain surface codes.


title: Higher Holonomy via a Simplicial Viewpoint

abstract: In this paper, we construct an analogy of holonomy of connection to simplicial sets using A-infinity-categories. To construct it, we develop fiberwise integrals on simplicial sets and define an iterated integral on simplicial sets. It is an analogy to Chen's iterated integral. We also prove an analogy of Stokes's theorem for fiberwise integrals.


title: Construction of geodesics on Teichm\"uller spaces of Riemann surfaces with $\mathbb Z$ action

abstract: Teichm\"uller space $\mathrm{Teich}(R)$ of a Riemann surface $R$ is a deformation space of $R$. In this paper, we prove a sufficient condition for extremality of the Beltrami coefficients when $R$ has the $\mathbb Z$ action. As an application, we discuss the construction of geodesics. Earle-Kra-Krushka\'l proved that the necessary and sufficient conditions for the geodesics connecting $[0]$ and $[\mu]$ to be unique are $\| \mu_0 \|_{\infty} = | \mu_0 | ( z )$ (a.e.$z$) and ``unique extremality''. As a byproduct of our results, we show that we cannot exclude ``unique extremality''.To show the above claim, we construct a point $[\mu_0]$ in $\mathrm{Teich}(\mathbb C \setminus \mathbb Z)$, satisfying $\| \mu_0 \|_{\infty} = | \mu_0 | ( z )$ (a.e.$z$) and there exists a family of geodesics $\{ \gamma_\lambda \} _{\lambda \in D}$ connecting $[0]$ and $[\mu_0]$ with complex analytic parameter, where $D$ is an open set in $l^{\infty}$.


title: Rainbow cycles in properly edge-colored graphs

abstract: We prove that every properly edge-colored $n$-vertex graph with average degree at least $100(\log n)^2$ contains a rainbow cycle, improving upon $(\log n)^{2+o(1)}$ bound due to Tomon. We also prove that every properly colored $n$-vertex graph with at least $10^5 k^2 n^{1+1/k}$ edges contains a rainbow $2k$-cycle, which improves the previous bound $2^{ck^2}n^{1+1/k}$ obtained by Janzer. Our method using homomorphism inequalities and a lopsided regularization lemma also provides a simple way to prove the Erd\H{o}s--Simonovits supersaturation theorem for even cycles, which may be of independent interest.


title: Approximate Trace Reconstruction from a Single Trace

abstract: The well-known trace reconstruction problem is the problem of inferring an unknown source string $x \in \{0,1\}^n$ from independent "traces", i.e. copies of $x$ that have been corrupted by a $\delta$-deletion channel which independently deletes each bit of $x$ with probability $\delta$ and concatenates the surviving bits. The current paper considers the extreme data-limited regime in which only a single trace is provided to the reconstruction algorithm. In this setting exact reconstruction is of course impossible, and the question is to what accuracy the source string $x$ can be approximately reconstructed. We give a detailed study of this question, providing algorithms and lower bounds for the high, intermediate, and low deletion rate regimes in both the worst-case ($x$ is arbitrary) and average-case ($x$ is drawn uniformly from $\{0,1\}^n$) models. In several cases the lower bounds we establish are matched by computationally efficient algorithms that we provide. We highlight our results for the high deletion rate regime: roughly speaking, they show that - Having access to a single trace is already quite useful for worst-case trace reconstruction: an efficient algorithm can perform much more accurate reconstruction, given one trace that is even only a few bits long, than it could given no traces at all. But in contrast, - in the average-case setting, having access to a single trace is provably not very useful: no algorithm, computationally efficient or otherwise, can achieve significantly higher accuracy given one trace that is $o(n)$ bits long than it could with no traces.


title: Performance of explicit and IMEX MRI multirate methods on complex reactive flow problems within modern parallel adaptive structured grid frameworks

abstract: Large-scale multiphysics simulations are computationally challenging due to the coupling of multiple processes with widely disparate time scales. The advent of exascale computing systems exacerbates these challenges, since these enable ever increasing size and complexity. Recently, there has been renewed interest in developing multirate methods as a means to handle the large range of time scales, as these methods may afford greater accuracy and efficiency than more traditional approaches of using IMEX and low-order operator splitting schemes. However, there have been few performance studies that compare different classes of multirate integrators on complex application problems. We study the performance of several newly developed multirate infinitesimal (MRI) methods, implemented in the SUNDIALS solver package, on two reacting flow model problems built on structured mesh frameworks. The first model revisits the work of Emmet et al. (2014) on a compressible reacting flow problem with complex chemistry that is implemented using BoxLib but where we now include comparisons between a new explicit MRI scheme with the multirate spectral deferred correction (SDC) methods in the original paper. The second problem uses the same complex chemistry as the first problem, combined with a simplified flow model, but run at a large spatial scale where explicit methods become infeasible due to stability constraints. Two recently developed implicit-explicit MRI multirate methods are tested. These methods rely on advanced features of the AMReX framework on which the model is built, such as multilevel grids and multilevel preconditioners. The results from these two problems show that MRI multirate methods can offer significant performance benefits on complex multiphysics application problems and that these methods may be combined with advanced spatial discretization to compound the advantages of both.


title: An exact expression of three-body system for the complex shear modulus of frictional granular materials

abstract: We propose a simple model comprising three particles to study the nonlinear mechanical response of jammed frictional granular materials under oscillatory shear. Owing to the introduction of the simple model, we obtain an exact analytical expression of the complex shear modulus for a system including many mono-dispersed disks, which satisfies a scaling law in the vicinity of the jamming point. These expressions perfectly reproduce the shear modulus of the many-body system with low strain amplitudes and friction coefficients. Even for disordered many-body systems, the model reproduces results by introducing a single fitting parameter.


title: MogaNet: Multi-order Gated Aggregation Network

abstract: By contextualizing the kernel as global as possible, Modern ConvNets have shown great potential in computer vision tasks. However, recent progress on \textit{multi-order game-theoretic interaction} within deep neural networks (DNNs) reveals the representation bottleneck of modern ConvNets, where the expressive interactions have not been effectively encoded with the increased kernel size. To tackle this challenge, we propose a new family of modern ConvNets, dubbed MogaNet, for discriminative visual representation learning in pure ConvNet-based models with favorable complexity-performance trade-offs. MogaNet encapsulates conceptually simple yet effective convolutions and gated aggregation into a compact module, where discriminative features are efficiently gathered and contextualized adaptively. MogaNet exhibits great scalability, impressive efficiency of parameters, and competitive performance compared to state-of-the-art ViTs and ConvNets on ImageNet and various downstream vision benchmarks, including COCO object detection, ADE20K semantic segmentation, 2D\&3D human pose estimation, and video prediction. Notably, MogaNet hits 80.0\% and 87.8\% accuracy with 5.2M and 181M parameters on ImageNet-1K, outperforming ParC-Net and ConvNeXt-L, while saving 59\% FLOPs and 17M parameters, respectively. The source code is available at \url{https://github.com/Westlake-AI/MogaNet}.


title: The Chart Excites Me! Exploring How Data Visualization Design Influences Affective Arousal

abstract: As data visualizations have been increasingly applied in mass communication, designers often seek to grasp viewers immediately and motivate them to read more. Such goals, as suggested by previous research, are closely associated with the activation of emotion, namely affective arousal. Given this motivation, this work takes initial steps toward understanding the arousal-related factors in data visualization design. We collected a corpus of 265 data visualizations and conducted a crowdsourcing study with 184 participants during which the participants were asked to rate the affective arousal elicited by data visualization design (all texts were blurred to exclude the influence of semantics) and provide their reasons. Based on the collected data, first, we identified a set of arousal-related design features by analyzing user comments qualitatively. Then, we mapped these features to computable variables and constructed regression models to infer which features are significant contributors to affective arousal quantitatively. Through this exploratory study, we finally identified four design features (e.g., colorfulness, the number of different visual channels) cross-validated as important features correlated with affective arousal.


title: Neutron density fluctuation and neutron-proton correlation from AMPT model

abstract: Using the multiphase transport (AMPT) model, we study the relative neutron density fluctuation and neutron-proton correlation in matter produced by Au+Au collisions at $\sqrt{s_\text{NN}} = $7.7-200 GeV. The rapidity, centrality, and energy dependence of these two observations are also discussed. The light nuclei yield ratio of proton, deuteron, and triton $N_tN_p/N_d^2$ calculated directly from the relative neutron density fluctuation and neutron-proton correlation, decreases with rapidity coverage and increases with collision centrality. Our study also found that the ratio does not exhibit any non-monotonic behavior in collision energy dependence. Since there is no first-order phase transition or critical physics in the AMPT model, our work provides a reference for extracting the relative neutron density fluctuation from light nuclei production in experiments.


title: Femtosecond-Terawatt Hard X Ray Pulse Generation with Chirped Pulse Amplification on a Free Electron Laser

abstract: Advances of high intensity lasers have opened up the field of strong field physics and led to a broad range of technological applications. Recent x ray laser sources and optics development makes it possible to obtain extremely high intensity and brightness at x ray wavelengths. In this paper, we present a system design that implements chirped pulse amplification for hard x ray free electron lasers. Numerical modeling with realistic experimental parameters show that near-transform-limit single-femtosecond hard x ray laser pulses with peak power exceeding 1 TW and brightness exceeding $4\times10^{35}~$s$^{-1}$mm$^{-2}$mrad$^{-2}$0.1\%bandwdith$^{-1}$ can be consistently generated. Realization of such beam qualities is essential for establishing systematic and quantitative understanding of strong field x-ray physics and nonlinear x ray optics phenomena.


title: Masanes-Galley-M\"uller and the State-Update Postulate

abstract: Masanes, Galley and M\"uller claim to have derived a unique rule for quantum state update consequent upon a measurement outcome. Upon closer examination, their proof implicitly assumes its first step, namely that the state-update rule is linear.


title: HFedMS: Heterogeneous Federated Learning with Memorable Data Semantics in Industrial Metaverse

abstract: Federated Learning (FL), as a rapidly evolving privacy-preserving collaborative machine learning paradigm, is a promising approach to enable edge intelligence in the emerging Industrial Metaverse. Even though many successful use cases have proved the feasibility of FL in theory, in the industrial practice of Metaverse, the problems of non-independent and identically distributed (non-i.i.d.) data, learning forgetting caused by streaming industrial data, and scarce communication bandwidth remain key barriers to realize practical FL. Facing the above three challenges simultaneously, this paper presents a high-performance and efficient system named HFEDMS for incorporating practical FL into Industrial Metaverse. HFEDMS reduces data heterogeneity through dynamic grouping and training mode conversion (Dynamic Sequential-to-Parallel Training, STP). Then, it compensates for the forgotten knowledge by fusing compressed historical data semantics and calibrates classifier parameters (Semantic Compression and Compensation, SCC). Finally, the network parameters of the feature extractor and classifier are synchronized in different frequencies (Layer-wiseAlternative Synchronization Protocol, LASP) to reduce communication costs. These techniques make FL more adaptable to the heterogeneous streaming data continuously generated by industrial equipment, and are also more efficient in communication than traditional methods (e.g., Federated Averaging). Extensive experiments have been conducted on the streamed non-i.i.d. FEMNIST dataset using 368 simulated devices. Numerical results show that HFEDMS improves the classification accuracy by at least 6.4% compared with 8 benchmarks and saves both the overall runtime and transfer bytes by up to 98%, proving its superiority in precision and efficiency.


title: Parameterized Multi-observable Sum Uncertainty Relations

abstract: The uncertainty principle is one of the fundamental features of quantum mechanics and plays an essential role in quantum information theory. We study uncertainty relations based on variance for arbitrary finite $N$ quantum observables. We establish a series of parameterized uncertainty relations in terms of the parameterized norm inequalities, which improve the exiting variance-based uncertainty relations. The lower bounds of our uncertainty inequalities are non-zero unless the measured state is a common eigenvector of all the observables. Detailed examples are provided to illustrate the tightness of our uncertainty relations.


title: Optimal Scoring Rules for Multi-dimensional Effort

abstract: This paper develops a framework for the design of scoring rules to optimally incentivize an agent to exert a multi-dimensional effort. This framework is a generalization to strategic agents of the classical knapsack problem (cf. Briest, Krysta, and V\"ocking, 2005, Singer, 2010) and it is foundational to applying algorithmic mechanism design to the classroom. The paper identifies two simple families of scoring rules that guarantee constant approximations to the optimal scoring rule. The truncated separate scoring rule is the sum of single dimensional scoring rules that is truncated to the bounded range of feasible scores. The threshold scoring rule gives the maximum score if reports exceed a threshold and zero otherwise. Approximate optimality of one or the other of these rules is similar to the bundling or selling separately result of Babaioff, Immorlica, Lucier, and Weinberg (2014). Finally, we show that the approximate optimality of the best of those two simple scoring rules is robust when the agent's choice of effort is made sequentially.


title: Path description for $q$-characters of fundamental modules in type $C$

abstract: In this paper, we investigate the behavior of monomials in the $q$-characters of the fundamental modules over a quantum affine algebra of untwisted type C. As a result, we give simple closed formulae for the $q$-characters of the fundamental modules in terms of sequences of vertices in $\mathbb{R}^2$, so-called paths, with an admissible condition. This may be viewed as a type C analog of the path description of $q$-characters in types A and B due to Mukhin--Young.


title: A Driving Risk Surrogate and Its Application in Car-Following Scenario at Expressway

abstract: Traffic safety is important in reducing death and building a harmonious society. In addition to studies of accident incidences, the perception of driving risk is significant in guiding the implementation of appropriate driving countermeasures. Risk assessment can be conducted in real-time for traffic safety due to the rapid development of communication technology and computing capabilities. This paper aims at the problems of difficult calibration and inconsistent thresholds in the existing risk assessment methods. It proposes a risk assessment model based on the potential field to quantify the driving risk of vehicles. Firstly, virtual energy is proposed as an attribute considering vehicle sizes and velocity. Secondly, the driving risk surrogate(DRS) is proposed based on potential field theory to describe the risk degree of vehicles. Risk factors are quantified by establishing submodels, including an interactive vehicle risk surrogate, a restrictions risk surrogate, and a speed risk surrogate. To unify the risk threshold, acceleration for implementation guidance is derived from the risk field strength. Finally, a naturalistic driving dataset in Nanjing, China, is selected, and 3063 pairs of following naturalistic trajectories are screened out. Based on that, the proposed model and other models use for comparisons are calibrated through the improved particle optimization algorithm. Simulations prove that the proposed model performs better than other algorithms in risk perception and response, car-following trajectory, and velocity estimation. In addition, the proposed model exhibits better car-following ability than existing car-following models.


title: Contrastive Learning enhanced Author-Style Headline Generation

abstract: Headline generation is a task of generating an appropriate headline for a given article, which can be further used for machine-aided writing or enhancing the click-through ratio. Current works only use the article itself in the generation, but have not taken the writing style of headlines into consideration. In this paper, we propose a novel Seq2Seq model called CLH3G (Contrastive Learning enhanced Historical Headlines based Headline Generation) which can use the historical headlines of the articles that the author wrote in the past to improve the headline generation of current articles. By taking historical headlines into account, we can integrate the stylistic features of the author into our model, and generate a headline not only appropriate for the article, but also consistent with the author's style. In order to efficiently learn the stylistic features of the author, we further introduce a contrastive learning based auxiliary task for the encoder of our model. Besides, we propose two methods to use the learned stylistic features to guide both the pointer and the decoder during the generation. Experimental results show that historical headlines of the same user can improve the headline generation significantly, and both the contrastive learning module and the two style features fusion methods can further boost the performance.


title: Stochastic Solutions for Dense Subgraph Discovery in Multilayer Networks

abstract: Network analysis has played a key role in knowledge discovery and data mining. In many real-world applications in recent years, we are interested in mining multilayer networks, where we have a number of edge sets called layers, which encode different types of connections and/or time-dependent connections over the same set of vertices. Among many network analysis techniques, dense subgraph discovery, aiming to find a dense component in a network, is an essential primitive with a variety of applications in diverse domains. In this paper, we introduce a novel optimization model for dense subgraph discovery in multilayer networks. Our model aims to find a stochastic solution, i.e., a probability distribution over the family of vertex subsets, rather than a single vertex subset, whereas it can also be used for obtaining a single vertex subset. For our model, we design an LP-based polynomial-time exact algorithm. Moreover, to handle large-scale networks, we also devise a simple, scalable preprocessing algorithm, which often reduces the size of the input networks significantly and results in a substantial speed-up. Computational experiments demonstrate the validity of our model and the effectiveness of our algorithms.


title: Three-Dimensionality in the flow of an elastically mounted circular cylinder with two-degree-of-freedom vortex-induced-vibrations

abstract: The study numerically investigates the three-dimensionality in the flow and two-degree-of-freedom (2 DOF) vortex-induced-vibrations (VIV) characteristics of an elastically mounted circular cylinder. The cylinder is allowed to vibrate in both streamwise and transverse directions. A low value of mass-ratio with the zero damping coefficient is taken for the simulations. The primary aim is to understand the vortex shedding behind the cylinder and the transition characteristics of the wake-flow from two-dimensional (2D) to three-dimensional (3D). The Reynolds number (Re) is varied from 150 (fully 2D flow) to 1000 (fully 3D flow), which lies inside the laminar range. The reduced velocity is varied which covers all three major VIV branches (Initial Branch (IB), Upper Branch (UB), and the Lower Branch (LB)). The oscillating cylinder sweeps the figure-eight trajectory. Two branches (IB, LB) and three branches (IB, UB, LB) amplitude responses are obtained for the low and high Re values, respectively. The wake behind the cylinder with 2-DOF VIV undergoes the mode-C transition of 2D to 3D flow as opposed to the direct mode-B transition observed for transverse only VIV in the literature. The critical Re range of the 2D to 3D transition for the 2-DOF VIV cylinder at a reduced velocity of 6 is around 250, less than the 1-DOF VIV. Also, this range varies with the variation in and the streamwise to transverse oscillation frequency ratio. A map is proposed for the 2-DOF VIV, highlighting the different modes of transition obtained for combinations of reduced frequency and Re.


title: Two-Server Oblivious Transfer for Quantum Messages

abstract: Oblivious transfer is considered as a cryptographic primitive task for quantum information processing over quantum network. Although it is possible with two servers, any existing protocol works only with classical messages. We propose two-server oblivious transfer protocols for quantum messages.


title: DeepFlow: A Cross-Stack Pathfinding Framework for Distributed AI Systems

abstract: Over the past decade, machine learning model complexity has grown at an extraordinary rate, as has the scale of the systems training such large models. However there is an alarmingly low hardware utilization (5-20%) in large scale AI systems. The low system utilization is a cumulative effect of minor losses across different layers of the stack, exacerbated by the disconnect between engineers designing different layers spanning across different industries. We propose CrossFlow, a novel framework that enables cross-layer analysis all the way from the technology layer to the algorithmic layer. We also propose DeepFlow (built on top of CrossFlow using machine learning techniques) to automate the design space exploration and co-optimization across different layers of the stack. We have validated CrossFlow accuracy with distributed training on real commercial hardware and showcase several DeepFlow case studies demonstrating pitfalls of not optimizing across the technology-hardware-software stack for what is likely, the most important workload driving large development investments in all aspects of computing stack.


title: Log-linear Dynamic Inversion Control with Provable Safety Guarantees in Lie Groups

abstract: In this paper, we use the derivative of the exponential map to derive the exact evolution of the logarithm of the tracking error for mixed-invariant systems, a class of systems capable of describing rigid body tracking problems in Lie groups. Additionally, we design a log-linear dynamic inversion-based control law to remove the nonlinearities due to spatial curvature and enhance the robustness of the controller. We apply Linear Matrix Inequalities (LMIs) to bound the tracking error given a bounded disturbance amplified by the distortion matrix and leverage the tracking error bound to create flow pipes. To demonstrate the usefulness of our method, we show its application with Urban Air Mobility (UAM) scenarios using a simplified kinematic aircraft model and polynomial-based path planning methods.


title: The Complexity of Recognizing Facets for the Knapsack Polytope

abstract: The complexity class DP is the class of all languages that are the intersection of a language in NP and a language in co-NP, as coined by Papadimitriou and Yannakakis (1982). Hartvigsen and Zemel (1992) conjectured that recognizing a facet for the knapsack polytope is DP-complete. While it has been known that the recognition problems of facets for polytopes associated with other well-known combinatorial optimization problems, e.g., traveling salesman, node/set packing/covering, are DP-complete, this conjecture on recognizing facets for the knapsack polytope remains open. We provide a positive answer to this conjecture. Moreover, despite the DP-hardness of the recognition problem, we give a polynomial time algorithm for deciding if an inequality with a fixed number of distinct positive coefficients defines a facet of a knapsack polytope, generalizing a result of Balas (1975).


title: Optimal intercellular competition in senescence and cancer

abstract: Effective multicellularity requires both cooperation and competition between constituent cells. Cooperation involves sacrificing individual fitness in favor of that of the community, but excessive cooperation makes the community susceptible to senescence and aging. Competition eliminates unfit senescent cells via natural selection and thus slows down aging, but excessive competition makes the community susceptible to cheaters, as exemplified by cancer and cancer-like phenomena. These observations suggest that an optimal level of intercellular competition in a multicellular organism maximizes organismal vitality by delaying the inevitability of aging. We quantify this idea using a statistical mechanical framework that leads to a generalized replicator dynamical system for the population of cells that change their vitality and cooperation due to somatic mutations that make them susceptible to aging and/or cancer. By accounting for the cost of cooperation and strength of competition in a minimal setting, we show that our model predicts an optimal value of competition that maximizes vitality and delays the inevitability of senescence or cancer.


title: Quasi-Static Analysis on Transoral Surgical Tendon-Driven Articulated Robot Units

abstract: Wire actuation in tendon-driven continuum robots enables the transmission of force from a distance, but it is understood that tension control problems can arise when a pulley is used to actuate two cables in a push-pull mode. This paper analyzes the relationship between angle of rotation, pressure, as well as variables of a single continuum unit in a quasi-static equilibrium. The primary objective of the quasi-static analysis was to output pressure and the analysis, given the tensions applied. Static equilibrium condition was established, and the bisection method was carried out for the angle of rotation. The function for the bisection method considered pressure-induced forces, friction forces, and weight. {\theta} was 17.14{\deg}, and p was 405.6 Pa when Tl and Ts were given the values of 1 N and 2 N, respectively. The results seemed to be consistent with the preliminary design specification, calling for further simulations and experiments.


title: CLOP: Video-and-Language Pre-Training with Knowledge Regularizations

abstract: Video-and-language pre-training has shown promising results for learning generalizable representations. Most existing approaches usually model video and text in an implicit manner, without considering explicit structural representations of the multi-modal content. We denote such form of representations as structural knowledge, which express rich semantics of multiple granularities. There are related works that propose object-aware approaches to inject similar knowledge as inputs. However, the existing methods usually fail to effectively utilize such knowledge as regularizations to shape a superior cross-modal representation space. To this end, we propose a Cross-modaL knOwledge-enhanced Pre-training (CLOP) method with Knowledge Regularizations. There are two key designs of ours: 1) a simple yet effective Structural Knowledge Prediction (SKP) task to pull together the latent representations of similar videos; and 2) a novel Knowledge-guided sampling approach for Contrastive Learning (KCL) to push apart cross-modal hard negative samples. We evaluate our method on four text-video retrieval tasks and one multi-choice QA task. The experiments show clear improvements, outperforming prior works by a substantial margin. Besides, we provide ablations and insights of how our methods affect the latent representation space, demonstrating the value of incorporating knowledge regularizations into video-and-language pre-training.


title: Hilbert-Kunz Density function of tensor product and Fourier transformation

abstract: For a standard graded ring $R$ of dimension $\geq 2$ over a perfect field of characteristic $p>0$ and a homogeneous ideal $I$ of finite colength, the HK density function of $R$ with respect to $I$ is a compactly supported continuous function $f_{R, I}:[0, \infty)\longto [0, \infty)$, whose integration yields the \mbox{HK} multiplicity $e_{HK}(R, I)$. Here we answer a question of V. Trivedi about the Hilbert-Kunz density function of the tensor product of standard graded rings and show that it is the convolution of the Hilbert-Kunz density function of the factor rings. Using Fourier transform, as a corollary we get \mbox{HK} multiplicity of the tensor product of rings is product of the HK multiplicity of the factor rings. We compute the Fourier transform of the \mbox{HK} density function of a projective curve.


title: Accented Text-to-Speech Synthesis with a Conditional Variational Autoencoder

abstract: Accent plays a significant role in speech communication, influencing one's capability to understand as well as conveying a person's identity. This paper introduces a novel and efficient framework for accented Text-to-Speech (TTS) synthesis based on a Conditional Variational Autoencoder. It has the ability to synthesize a selected speaker's voice, which is converted to any desired target accent. Our thorough experiments validate the effectiveness of the proposed framework using both objective and subjective evaluations. The results also show remarkable performance in terms of the ability to manipulate accents in the synthesized speech and provide a promising avenue for future accented TTS research.


title: Instantaneous Channel Oblivious Phase Shift Design for an IRS-Assisted SIMO System with Quantized Phase Shift

abstract: We design the phase shifts of an intelligent reflecting surface (IRS)-assisted single-input-multiple-output communication system to minimize the outage probability (OP) and to maximize the ergodic rate. Our phase shifts design uses only statistical channel state information since these depend only on the large-scale fading coefficients; the obtained phase shift design remains valid for a longer time frame. We further assume that one has access to only quantized phase values. The closed-form expressions for OP and ergodic rate are derived for the considered system. Next, two optimization problems are formulated to choose the phase shifts of IRS such that (i) OP is minimized and (ii) the ergodic rate is maximized. We used the multi-valued particle swarm optimization (MPSO) and particle swarm optimization (PSO) algorithms to solve the optimization problems. Numerical simulations are performed to study the impact of various parameters on the OP and ergodic rate. We also discuss signaling overhead between BS and IRS controller. It is shown that the overhead can be reduced up to $99.69 \%$ by using statistical CSI for phase shift design and $5$ bits to represent the phase shifts without significantly compromising on the performance.


title: Fixing Model Bugs with Natural Language Patches

abstract: Current approaches for fixing systematic problems in NLP models (e.g. regex patches, finetuning on more data) are either brittle, or labor-intensive and liable to shortcuts. In contrast, humans often provide corrections to each other through natural language. Taking inspiration from this, we explore natural language patches -- declarative statements that allow developers to provide corrective feedback at the right level of abstraction, either overriding the model (``if a review gives 2 stars, the sentiment is negative'') or providing additional information the model may lack (``if something is described as the bomb, then it is good''). We model the task of determining if a patch applies separately from the task of integrating patch information, and show that with a small amount of synthetic data, we can teach models to effectively use real patches on real data -- 1 to 7 patches improve accuracy by ~1-4 accuracy points on different slices of a sentiment analysis dataset, and F1 by 7 points on a relation extraction dataset. Finally, we show that finetuning on as many as 100 labeled examples may be needed to match the performance of a small set of language patches.


title: Quantum diffusion on almost commutative spectral triples and spinor bundles

abstract: Based on the observation that Cacic [10]'s characterization of almost commutative spectral triples as Clifford module bundles can be pushed to endomorphim algebras of Dirac bundles, with the geometric Dirac operator related to the Dirac operator of the spectral triple by a perturbation, the question of complete positivity of the heat semigroups generated by connection laplacian and Dirac and Kostant's cubic Dirac laplacians is approached using spin geometry and C *-Dirichlet forms. The geometric heat semigroups for on endomorphosm algebras of spinor bundles are shown to be quantum dynamical semigroups and the existence of covariant quantum stochastic flows associated to the heat semigroups on spinor bundles over reductive homogeneous spaces is established using the construction of Sinha and Goswami [34].


title: Topological phase transition between non-high symmetry critical phases and curvature function renormalization group

abstract: The interplay between topology and criticality has been a recent interest of study in condensed matter physics. A unique topological transition between certain critical phases has been observed as a consequence of the edge modes living at criticalities. In this work, we generalize this phenomenon by investigating possible transitions between critical phases which are non-high symmetry (non-HS) in nature. We find the triviality and non-triviality of these critical phases in terms of the decay length of the edge modes and also characterize them using the winding numbers. The distinct non-HS critical phases are separated by multicritical points with linear dispersion at which the winding number exhibits the quantized jump, indicating a change in the topology (number of edge modes) at the critical phases. Moreover, we reframe the scaling theory based on the curvature function, i.e. curvature function renormalization group method to efficiently address the non-HS criticalities and multicriticalities. Using this we identify the conventional topological transition between gapped phases through non-HS critical points, and also the unique topological transition between critical phases through multicritical points. The renormalization group flow, critical exponents, and correlation function of Wannier states enable the characterization of non-HS criticalities along with multicriticalities.


title: Quasi-equilibrium polariton condensates in the non-linear regime and beyond

abstract: We investigate the many-body behavior of polaritons formed from electron-hole pairs strongly coupled to photons in a two-dimensional semiconductor microcavity. We use a microscopic mean-field BCS theory that describes polariton condensation in quasi-equilibrium across the full range of excitation densities. In the limit of vanishing density, we show that our theory recovers the exact single-particle properties of polaritons, while at low densities it captures non-linear polariton-polariton interactions within the Born approximation. For the case of highly screened contact interactions between charge carriers, we obtain analytic expressions for the equation of state of the many-body system. This allows us to show that there is a photon resonance at a chemical potential higher than the photon cavity energy, where the electron-hole pair correlations in the polariton condensate become universal and independent of the details of the carrier interactions. Comparing the effect of different ranged interactions between charge carriers, we find that the Rytova-Keldysh potential (relevant to transition metal dichalcogenides) offers the best prospect of reaching the BCS regime, where pairs strongly overlap and the minimum pairing gap occurs at finite momentum. Finally, going beyond thermal equilibrium, we argue that there are generically two polariton branches in the driven-dissipative system and we discuss the possibility of a density-driven exceptional point within our model.


title: Pair crossing number, cutwidth, and good drawings on arbitrary point sets

abstract: Determining whether there exists a graph such that its crossing number and pair crossing number are distinct is an important open problem in geometric graph theory. We show that $\textit{cr}(G)=O(\mathop{\mathrm{pcr}}(G)^{3/2})$ for every graph $G$, this improves the previous best bound by a logarithmic factor. Answering a question of Pach and T\'oth, we prove that the bisection width (and, in fact, the cutwidth as well) of a graph $G$ with degree sequence $d_1,d_2,\dots,d_n$ satisfies $\mathop{\mathrm{bw}}(G)=O\big(\sqrt{\mathop{\mathrm{pcr}}(G)+\sum_{k=1}^n d_k^2}\big)$. Then we show that there is a constant $C\geq 1$ such that the following holds: For any graph $G$ of order $n$ and any set $S$ of at least $n^C$ points in general position on the plane, $G$ admits a straight-line drawing which maps the vertices to points of $S$ and has no more than $O\left(\log n\cdot\left(\mathop{\mathrm{pcr}}(G)+\sum_{k=1}^n d_k^2\right)\right)$ crossings. Our proofs rely on a modified version of a separator theorem for string graphs by Lee, which might be of independent interest.


title: A spectral solver for solar inertial waves

abstract: Inertial waves, which are dominantly driven by the Coriolis force, likely play an important role in solar dynamics, and additionally, provide a window into the solar subsurface. The latter allows us to infer properties that are inaccessible to the traditional technique of acoustic-wave helioseismology. Thus, a full characterization of these normal modes holds promise in enabling the investigation of solar subsurface dynamics. In this work, we develop a spectral eigenvalue solver to model the spectrum of inertial waves in the Sun. We model the solar convection zone as an anelastic medium, and solve for the normal modes of the momentum and energy equations. We demonstrate that the solver can reproduce the observed mode frequencies and line-widths well, not only of sectoral Rossby modes, but also the recently observed high-frequency inertial modes. In addition, we believe that the spectral solver is a useful contribution to the numerical methods on modeling inertial modes on the Sun.


title: Decoding Neural Signals with Computational Models: A Systematic Review of Invasive BMI

abstract: There are significant milestones in modern human's civilization in which mankind stepped into a different level of life with a new spectrum of possibilities and comfort. From fire-lighting technology and wheeled wagons to writing, electricity and the Internet, each one changed our lives dramatically. In this paper, we take a deep look into the invasive Brain Machine Interface (BMI), an ambitious and cutting-edge technology which has the potential to be another important milestone in human civilization. Not only beneficial for patients with severe medical conditions, the invasive BMI technology can significantly impact different technologies and almost every aspect of human's life. We review the biological and engineering concepts that underpin the implementation of BMI applications. There are various essential techniques that are necessary for making invasive BMI applications a reality. We review these through providing an analysis of (i) possible applications of invasive BMI technology, (ii) the methods and devices for detecting and decoding brain signals, as well as (iii) possible options for stimulating signals into human's brain. Finally, we discuss the challenges and opportunities of invasive BMI for further development in the area.


title: Space-time variation of the s and c quark masses

abstract: Space-time variation of fundamental physical constants in expanding Universe is predicted by a number of popular models. The masses of second generation quarks are larger than first generation quark masses by several orders of magnitude, therefore space-time variation in quark masses may significantly vary between each generation. We evaluate limits on variation in the s and c quark masses from Big Bang nucleosynthesis, Oklo natural nuclear reactor, Yb+, Cs and Rb clock data. The construction of 229Th nuclear clock is expected to enhance these limits by several orders of magnitude. Furthermore, constraints are obtained on an oscillating scalar or pseudoscalar cold dark matter field, as interactions of the field with quarks produce variations in quark masses.

categories: hep-ph astro-ph.CO nucl-th physics.atom-ph


title: Perturbation of discriminant for one-dimensional discrete Schr\"odinger operator with sparse periodic potential

abstract: We consider the one-dimensional discrete Schr\"odinger operator with complex-valued sparse periodic potential. The spectrum for a complex-valued periodic potential is a complicated compact set in the complex plane represented by real intersections of algebraic curves determined by a discriminant. We represent the discriminant by Chebyshev polynomials and use perturbations of the discriminant to study the spectrum.


title: An Interactive Multi-Dimensional Flexibility Scheduling in Low-carbon Low-inertia Power Systems

abstract: Today, electrical energy plays a significant and conspicuous role in contemporary economies; as a result, governments should place a high priority on maintaining the supply of electrical energy. In order to assess various topologies and enhance the security of power systems, it may be useful to evaluate robustness, dependability, and resilience all at once. This is particularly true when there is a significant amount of renewable energy present. The R3 concept, which consists of these three interrelated characteristics, describes the likelihood that a power system would fail, the potential severity of the repercussions, and the speed at which the system will recover from a failure. This paper uses eight case studies created from the IEEE 24-bus RTS and thoroughly assesses the properties of reliability, robustness, and resilience to highlight the significance of the issue. The sequential Monte Carlo method is used to evaluate reliability, cascade failure simulations are used to evaluate robustness, and a mixed-integer optimization problem is used to study resilience. Different indicators related to each of the three assessments are computed. The significance of the combined analysis is emphasized as the simulation findings are described visually and statistically in a unique three-dimensional manner eventually.


title: One-Dimensional Numerical Study on Ignition of the Helium Envelope in Dynamical Accretion during the Double-Degenerate Merger

abstract: In order for a double-detonation model to be viable for normal type Ia supernovae, the adverse impact of helium-burning ash on early-time observables has to be avoided, which requires that the helium envelope mass should be at most 0.02 solar mass. Most of the previous studies introduced detonation by artificial hot spots, and therefore the robustness of the spontaneous helium detonation remains uncertain. In the present work, we conduct a self-consistent hydrodynamic study on the spontaneous ignition of the helium envelope in the context of the double-degenerate channel, by applying an idealized one-dimensional model and a simplified 7 isotope reaction network. We explore a wide range of the progenitor conditions, and demonstrate that the chance of direct initiation of detonation is limited. Especially, the spontaneous detonation requires the primary envelope mass of >~ 0.03 solar mass. Ignition as deflagration is instead far more likely, which is feasible for the lower envelope mass down to ~ 0.01 solar mass, which might lead to subsequent detonation once the deflagration to detonation transition (DDT) would be realized. High-resolution multi-dimensional simulations are required to further investigate the DDT possibility, as well as accurately derive the threshold between the spontaneous detonation and deflagration ignition regimes. Another interesting finding is the effect of the composition; while mixing with the core material enhances detonation as previously suggested, it rather narrows the chance for deflagration due to the slower rate of 12C(alpha,gamma)16O reaction at the lower temperature ~108K, with the caveat that we presently neglect the proton-catalyzed reaction sequence of 12C(p,gamma)13O(alpha,p)16O.


title: Implicit Graphon Neural Representation

abstract: Graphons are general and powerful models for generating graphs of varying size. In this paper, we propose to directly model graphons using neural networks, obtaining Implicit Graphon Neural Representation (IGNR). Existing work in modeling and reconstructing graphons often approximates a target graphon by a fixed resolution piece-wise constant representation. Our IGNR has the benefit that it can represent graphons up to arbitrary resolutions, and enables natural and efficient generation of arbitrary sized graphs with desired structure once the model is learned. Furthermore, we allow the input graph data to be unaligned and have different sizes by leveraging the Gromov-Wasserstein distance. We first demonstrate the effectiveness of our model by showing its superior performance on a graphon learning task. We then propose an extension of IGNR that can be incorporated into an auto-encoder framework, and demonstrate its good performance under a more general setting of graphon learning. We also show that our model is suitable for graph representation learning and graph generation.


title: Higher-order spectral shift function for resolvent comparable perturbations

abstract: Given a pair of self-adjoint operators $H$ and $V$ such that $V$ is bounded and $(H+V-i)^{-1}-(H-i)^{-1}$ belongs to the Schatten-von Neumann ideal $\mathcal{S}^n$, $n\ge 2$, of operators on a separable Hilbert space, we establish higher order trace formulas for a broad set of functions $f$ containing several major classes of test functions and also establish existence of the respective locally integrable real-valued spectral shift functions determined uniquely up to a low degree polynomial summand. Our result generalizes the result of \cite{PSS13} for Schatten-von Neumman perturbations $V$ and settles earlier attempts to encompass general perturbations with Schatten-von Neumman difference of resolvents, which led to more complicated trace formulas for more restrictive sets of functions $f$ and to analogs of spectral shift functions lacking real-valuedness and/or expected degree of uniqueness. Our proof builds on a general change of variables method derived in this paper and significantly refining those appearing in \cite{vNS21,PSS15,S17} with respect to several parameters at once.


title: Interaction of gapless spin waves and a domain wall in an easy-cone ferromagnet

abstract: We theoretically study the interaction of spin waves and a domain wall in a quasi-one-dimensional easy-cone ferromagnet. The gapless spin waves on top of a domain wall are found to exhibit finite reflection in contrast to the well-known perfect transmission of gapful spin waves in easy-axis magnets. Based on the obtained scattering properties, we study the thermal-magnon-driven dynamics of a domain wall subjected to a thermal bias within the Landau-B\"uttiker formalism, where transmitted magnons are shown to exert the magnonic torque on the domain wall and thereby drive it with the velocity linear to the applied thermal bias. The peculiar gapless nature of spin waves in easy-cone magnets enables the thermally-driven domain-wall motion even at low temperatures, differing from the easy-axis case where the domain-wall velocity is exponentially suppressed at low temperatures. Our work suggests that easy-cone magnets can serve as a useful platform to study the interaction of gapless spin waves and nonlinear excitations and thereby realize low-temperature magnon-related phenomena.


title: Iterative construction of the optimal sunspot number series

abstract: The relative number of sunspots represents the longest evidence describing the level of solar activity. As such, its use goes beyond solar physics, e.g. towards climate research. The construction of a single representative series is a delicate task which involves a combination of observation of many observers. We propose a new iterative algorithm that allows to construct a target series of relative sunspot number of a hypothetical stable observer by optimally combining series obtained by many observers. We show that our methodology provides us with results that are comparable with recent reconstructions of both sunspot number and group number. Furthermore, the methodology accounts for the possible non-solar changes of observers' time series such as gradually changing observing conditions or slow change in the observers vision. It also provides us with reconstruction uncertainties. We apply the methodology to a limited sample of observations by \v{C}ESLOPOL network and discuss its properties and limitations.


title: Learning From Alarms: A Robust Learning Approach for Accurate Photoplethysmography-Based Atrial Fibrillation Detection using Eight Million Samples Labeled with Imprecise Arrhythmia Alarms

abstract: Atrial fibrillation (AF) is a common cardiac arrhythmia with serious health consequences if not detected and treated early. Detecting AF using wearable devices with photoplethysmography (PPG) sensors and deep neural networks has demonstrated some success using proprietary algorithms in commercial solutions. However, further advancement of this paradigm of continuous AF detection in ambulatory settings, towards a population-wide screening use case, still faces several challenges, one of which is the lack of large-scale labeled training data. To address this challenge, in this study, we propose to leverage AF alarms from bedside patient monitors to label concurrent PPG signals, resulting in the largest PPG-AF dataset so far (8.5M 30-second records from 24100 patients) and demonstrating a practical approach to build large labeled PPG datasets. Furthermore, we recognize that the AF labels thus obtained contain errors because of false AF alarms generated from imperfect built-in algorithms from bedside monitors. Dealing with label noise with unknown distribution characteristics in this case requires advanced algorithms. We, therefore, introduce and open source a novel loss design, the cluster membership consistency (CMC) loss, to mitigate label errors. By comparing CMC with state-of-the-art methods selected from a noisy label competition, we demonstrate its superiority in multiple aspects including handling label noise in PPG data, resilience to poor-quality signals, and computational efficiency.


title: Optically controlled single-valley exciton doublet states with tunable internal spin structures and spin magnetization generation

abstract: Manipulating quantum states through light-matter interactions has been actively pursued in two-dimensional (2D) materials research. Significant progress has been made towards the optical control of the valley degrees of freedom in semiconducting monolayer transition-metal dichalcogenides (TMD), based on doubly degenerate excitons from their two distinct valleys in reciprocal space. Here, we introduce a novel kind of optically controllable doubly degenerate exciton states that come from a single valley, dubbed as single-valley exciton doublet (SVXD) states. They are unique in that their constituent holes originate from the same valence band, making possible the direct optical control of the spin structure of the excited constituent electrons. Combining ab initio GW plus Bethe-Salpeter equation (GW-BSE) calculations and a newly developed theoretical analysis method, we demonstrate such novel SVXD in substrate-supported monolayer bismuthene -- which has been successfully grown using molecular beam epitaxy. In each of the two distinct valleys in the Brillouin zone, strong spin-orbit coupling and $C_{3v}$ symmetry lead to a pair of degenerate 1s exciton states (the SVXD states) with opposite spin configurations. Any coherent linear combinations of the SVXD in a single valley can be excited by light with a specific polarization, enabling full manipulation of their internal spin configurations. In particular, a controllable net spin magnetization can be generated through light excitation. Our findings open new routes to control quantum degrees of freedom, paving the way for applications in spintronics and quantum information science.


title: Partially Disjoint k Shortest Paths

abstract: A solution of the $k$ shortest paths problem may output paths that are identical up to a single edge. On the other hand, a solution of the $k$ independent shortest paths problem consists of paths that share neither an edge nor an intermediate node. We investigate the case in which the number of edges that are not shared among any two paths in the output $k$-set is a parameter. We study two main directions: exploring \emph{near-shortest} paths and exploring \emph{exactly shortest paths}. We assume that the weighted graph $G=(V,E,w)$ has no parallel edges and that the edge lengths (weights) are positive. Our results are also generalized to the cases of $k$ shortest paths where there are several weights per edge, and the results should take into account the multi-criteria prioritized weight.


title: The Vlasov-Poisson and Vlasov-Poisson-Fokker-Planck systems in stochastic electromagnetic fields: local well-posedness

abstract: In this paper, we construct unique, local-in-time strong solutions to the Vlasov-Poisson (VP) and Vlasov-Poisson-Fokker-Planck (VPFP) systems subjected to external, spatially regular, white-in-time electromagnetic fields in $\mathbb T^d \times \mathbb R^d$. Initial conditions are taken $H^\sigma$ with $\sigma > d/2 + 1$ (in addition to polynomial velocity weights). We additionally show that solutions to the VPFP are instantly $C^\infty_{x,v}$ due to hypoelliptic regularization if the external force fields are smooth. The external forcing arises in the kinetic equation as a stochastic transport in velocity, which means, together with the anisotropy between $x$ and $v$ in the nonlinearity, that the local theory is a little more complicated than comparable fluid mechanics equations subjected to either additive stochastic forcing or stochastic transport. Although stochastic electromagnetic fields are often discussed in the plasma physics literature, to our knowledge, this is the first mathematical study of strong solutions to nonlinear stochastic kinetic equations.


title: Exact multi-parameter persistent homology of time-series data: Fast and variable topological inferences

abstract: We propose a novel exact multi-parameter persistent homology method for analyzing time-series data utilizing the Liouville torus. In the field of topological data analysis (TDA), the conventional approach to analyzing time-series data often involves sliding window embedding. From the perspective of Takens' embedding theorem, we justify the analysis of the Liouville torus in TDA and discuss the similarities and differences between the Liouville torus and sliding window embedding approaches. We develop a multi-parameter filtration method based on Fourier decomposition and provide an exact formula of persistent homology with its one-parameter reduction of the multi-parameter filtration. The conventional TDA of time-series data via sliding window is known to be computationally expensive, but the proposed method yields the exact barcode formula with the symmetry of the Liouville torus promptly, which significantly reduces computational complexity while demonstrating comparable or superior performance compared to the existing TDA methods. Furthermore, the proposed method provides a way of obtaining various topological inferences by exploring different filtration rays within the multi-parameter filtration space, utilizing the nearly real-time computational capabilities of the proposed method. The advantages of the proposed method significantly improve the efficiency and flexibility of TDA when handling extensive time-series data within machine learning workflows.


title: Two-particle topological Thouless spin pump

abstract: We show that two particles interacting via spin exchange exhibit topological features found in one-dimensional single particle lattice models. This is accomplished by absorbing all of the spatial degrees of freedom of the lattices into the spin degrees of freedom of the two particles. Comparing the spin system with the Su-Schrieffer-Heeger model, we show the existence of topologically protected edge spin states and establish the bulk-edge correspondence. Modifying the spin system with a chiral symmetry breaking term results in it resembling the Rice-Mele model and can therefore act as a Thouless spin pump of one of the particles when periodically and adiabatically driven. By using the spin states as a synthetic spatial dimension, we show two particles are enough to simulate well known topological properties in condensed matter physics.


title: A mixed precision Jacobi method for the symmetric eigenvalue problem

abstract: The eigenvalue problem is a fundamental problem in scientific computing. In this paper, we propose a mixed precision Jacobi method for the symmetric eigenvalue problem. We first compute the eigenvalue decomposition of a real symmetric matrix by an eigensolver at low precision and we obtain a low-precision matrix of eigenvectors. Then by using the modified Gram-Schmidt orthogonalization process to the low-precision eigenvector matrix in high precision, a high-precision orthogonal matrix is obtained, which is used as an initial guess for the Jacobi method. We give the rounding error analysis for the proposed method and the quadratic convergence of the proposed method is established under some sufficient conditions. We also present a mixed precision one-side Jacobi method for the singular value problem and the corresponding rounding error analysis and quadratic convergence are discussed. Numerical experiments on CPUs and GPUs are conducted to illustrate the efficiency of the proposed mixed precision Jacobi method over the original Jacobi method.


title: Complexity Classification Transfer for CSPs via Algebraic Products

abstract: We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a structure $\mathfrak A$ can be transferred to a classification of the CSPs of first-order expansions of another structure $\mathfrak B$. We exploit a product of structures (the algebraic product) that corresponds to the product of the respective polymorphism clones and present a complete complexity classification of the CSPs for first-order expansions of the $n$-fold algebraic power of $(\mathbb{Q};<)$. This is proved by various algebraic and logical methods in combination with knowledge of the polymorphisms of the tractable first-order expansions of $(\mathbb{Q};<)$ and explicit descriptions of the expressible relations in terms of syntactically restricted first-order formulas. By combining our classification result with general classification transfer techniques, we obtain surprisingly strong new classification results for highly relevant formalisms such as Allen's Interval Algebra, the $n$-dimensional Block Algebra, and the Cardinal Direction Calculus, even if higher-arity relations are allowed. Our results confirm the infinite-domain tractability conjecture for classes of structures that have been difficult to analyse with older methods. For the special case of structures with binary signatures, the results can be substantially strengthened and tightly connected to Ord-Horn formulas; this solves several longstanding open problems from the AI literature.


title: Parameterized Algorithm for the Disjoint Path Problem on Planar Graphs: Exponential in $k^2$ and Linear in $n$

abstract: In this paper, we study the \textsf{Planar Disjoint Paths} problem: Given an undirected planar graph $G$ with $n$ vertices and a set $T$ of $k$ pairs $(s_i,t_i)_{i=1}^k$ of vertices, the goal is to find a set $\mathcal P$ of $k$ pairwise vertex-disjoint paths connecting $s_i$ and $t_i$ for all indices $i\in\{1,\ldots,k\}$. We present a $2^{O(k^2)}n$-time algorithm for the \textsf{Planar Disjoint Paths} problem. This improves the two previously best-known algorithms: $2^{2^{O(k)}}n$-time algorithm [Discrete Applied Mathematics 1995] and $2^{O(k^2)}n^6$-time algorithm [STOC 2020].


title: Exact quantum dynamics for two-level systems with time-dependent driving

abstract: It is well-known that time-dependent Schr\"{o}dinger equation can only be exactly solvable in very rare cases, even for two-level quantum systems. Therefore, finding exact quantum dynamics under time-dependent Hamiltonian is not only of fundamental importance in quantum physics but also can facilitate active quantum manipulations for quantum information processing. Here, we present a method which could generate a near infinite number of analytical-assisted solutions of the Schr\"{o}dinger equation for a qubit with time-dependent driving. This analytical-assisted solution has free parameters with only boundary restrictions, and thus can find many applications in precise quantum manipulations. Due to the general form of the time-dependent Hamiltonian in our scheme, it can be readily implemented in various experimental setups of qubits. Therefore, our scheme provides new solutions for Schr\"{o}dinger equation, thus provides an alternative and analytical-based routine for precise control over qubits.


title: Analytical formulation of the second-order derivative of energy for orbital-optimized variational quantum eigensolver: application to polarizability

abstract: We develop a quantum-classical hybrid algorithm to calculate the analytical second-order derivative of the energy for the orbital-optimized variational quantum eigensolver (OO-VQE), which is a method to calculate eigenenergies of a given molecular Hamiltonian by utilizing near-term quantum computers and classical computers. We show that all quantities required in the algorithm to calculate the derivative can be evaluated on quantum computers as standard quantum expectation values without using any ancillary qubits. We validate our formula by numerical simulations of quantum circuits for computing the polarizability of the water molecule, which is the second-order derivative of the energy with respect to the electric field. Moreover, the polarizabilities and refractive indices of thiophene and furan molecules are calculated as a testbed for possible industrial applications. We finally analyze the error-scaling of the estimated polarizabilities obtained by the proposed analytical derivative versus the numerical one obtained by the finite difference. Numerical calculations suggest that our analytical derivative requires fewer measurements (runs) on quantum computers than the numerical derivative to achieve the same fixed accuracy.


title: Testing $\Lambda$CDM with eBOSS data using a model independent diagnostic

abstract: The $Om3$ diagnostic (Shafieloo et al. 2012) tests the consistency of the cosmological constant as a candidate for dark energy using Baryon Acoustic Oscillation (BAO) data. An important feature of $Om3$ is that it is independent of any parametric assumption for dark energy, neither does it depend upon the dynamics of the Universe during the pre-recombination nor post-recombination eras. In other words, $Om3$ can be estimated using BAO observables and used either to confirm or falsify the cosmological constant independently of the value of the Hubble constant $H_0$ (expansion rate at $z=0$), and the comoving sound horizon at the baryon drag epoch, $r_d$ (which is a function of the physics of the Universe prior to recombination). Consequently, $Om3$ can play a key role in identifying the nature of dark energy (DE) regardless of the existing tensions in the standard model of cosmology and the possible presence of systematics in some of the data sets. We revisit $Om3$ using the most recent BAO observables from the eBOSS survey in order to test the consistency of the cosmological constant with this data. Our results show the consistency of dark energy being the cosmological constant. Moreover, with eBOSS data, we have achieved a precision of $1.5\%$ for this three-point diagnostic. This demonstrates that $Om3$ can be a potent diagnostic of dark energy when used in conjunction with the high precision data expected from forthcoming large scale structure surveys such as the Dark Energy Spectroscopic Instrument (DESI) and Euclid.


title: Over-the-Air Integrated Sensing, Communication, and Computation in IoT Networks

abstract: To facilitate the development of Internet of Things (IoT) services, tremendous IoT devices are deployed in the wireless network to collect and pass data to the server for further processing. Aiming at improving the data sensing and delivering efficiency, the integrated sensing and communication (ISAC) technique has been proposed to design dual-functional signals for both radar sensing and data communication. To accelerate the data processing, the function computation via signal transmission is enabled by over-the-air computation (AirComp), which is based on the analog-wave addition property in a multi-access channel. As a natural combination, the emerging technology namely over-the-air integrated sensing, communication, and computation (Air-ISCC) adopts both the promising performances of ISAC and AirComp to improve the spectrum efficiency and reduce latency by enabling simultaneous sensing, communication, and computation. In this article, we provide a promptly overview of Air-ISCC by introducing the fundamentals, discussing the advanced techniques, and identifying the applications.


title: Cross-Domain Local Characteristic Enhanced Deepfake Video Detection

abstract: As ultra-realistic face forgery techniques emerge, deepfake detection has attracted increasing attention due to security concerns. Many detectors cannot achieve accurate results when detecting unseen manipulations despite excellent performance on known forgeries. In this paper, we are motivated by the observation that the discrepancies between real and fake videos are extremely subtle and localized, and inconsistencies or irregularities can exist in some critical facial regions across various information domains. To this end, we propose a novel pipeline, Cross-Domain Local Forensics (XDLF), for more general deepfake video detection. In the proposed pipeline, a specialized framework is presented to simultaneously exploit local forgery patterns from space, frequency, and time domains, thus learning cross-domain features to detect forgeries. Moreover, the framework leverages four high-level forgery-sensitive local regions of a human face to guide the model to enhance subtle artifacts and localize potential anomalies. Extensive experiments on several benchmark datasets demonstrate the impressive performance of our method, and we achieve superiority over several state-of-the-art methods on cross-dataset generalization. We also examined the factors that contribute to its performance through ablations, which suggests that exploiting cross-domain local characteristics is a noteworthy direction for developing more general deepfake detectors.


title: On Vacuum Free Boundary Problem of the Spherically Symmetric Euler Equations with Damping and Solid Core

abstract: In this paper, the global existence of smooth solution and the long-time asymptotic stability of the equilibrium to vacuum free boundary problem of the spherically symmetric Euler equations with damping and solid core have been obtained for arbitrary finite positive gas constant $A$ in the state equation $p=A \rho^\gamma$ with $p$ being the pressure and $\rho$ the density, provided that $\gamma>4/3,$ initial perturbation is small and the radius of the equilibrium $R$ is suitably larger than the radius of the solid core $r_0$. Moreover, we obtain the pointwise convergence from the smooth solution to the equilibrium in a surprisingly exponential time-decay rate. The proof is mainly based on weighted energy method in Lagrangian coordinate.


title: Contrastive Learning with Prompt-derived Virtual Semantic Prototypes for Unsupervised Sentence Embedding

abstract: Contrastive learning has become a new paradigm for unsupervised sentence embeddings. Previous studies focus on instance-wise contrastive learning, attempting to construct positive pairs with textual data augmentation. In this paper, we propose a novel Contrastive learning method with Prompt-derived Virtual semantic Prototypes (ConPVP). Specifically, with the help of prompts, we construct virtual semantic prototypes to each instance, and derive negative prototypes by using the negative form of the prompts. Using a prototypical contrastive loss, we enforce the anchor sentence embedding to be close to its corresponding semantic prototypes, and far apart from the negative prototypes as well as the prototypes of other sentences. Extensive experimental results on semantic textual similarity, transfer, and clustering tasks demonstrate the effectiveness of our proposed model compared to strong baselines. Code is available at https://github.com/lemon0830/promptCSE.


title: Pulsar Timing Response to Gravitational Waves with Spherical Wavefronts from a Massive Compact Source in the Quadrupole Approximation

abstract: Pulsar timing arrays (PTAs) are searching for nanohertz-frequency gravitational waves (GWs) through cross-correlation of pulse arrival times from a set of radio pulsars. PTAs have relied upon a frequency-shift formula of the pulse, where planar GWs are usually assumed. Phase corrections due to the wavefront curvature have been recently discussed. In this paper, frequency-shift and timing-residual formulae are derived for GWs with fully spherical wavefronts from a compact source such as a binary of supermassive black holes, where the differences in the GW amplitude and direction between the Earth and the pulsar are examined in the quadrupole approximation. By using the new formulae, effects beyond the plane-wave approximation are discussed, and a galactic-center PTA as well as nearby GW source candidates are also mentioned.


title: Efficient and accurate simulation of vitrification in multi-component metallic liquids with neural-network potentials

abstract: Constructing accurate interatomic potential and overcoming the exponential growth of structural equilibration time are challenges to the atomistic investigations of the composition-dependent structure and dynamics during the vitrification process of deeply supercooled multi-component metallic liquids. In this work, we describe a state-of-the-art strategy to address these challenges simultaneously. In the case of the representative Zr-Cu-Al system, in combination with a general algorithm for generating the neural-network potentials (NNP) of multi-component metallic glasses effectively and accurately, we propose a highly efficient atom-swapping hybrid Monte Carlo (SHMC) algorithm for accelerating the thermodynamic equilibration of deeply supercooled liquids. Extensive calculations demonstrate that the newly developed NNP faithfully reproduces the phase stabilities and structural characteristics obtained from the ab initio calculations and experiments. In the combined NNP-SHMC algorithm, the structure equilibration time in the deeply supercooled temperatures is accelerated by at least five orders of magnitudes, and the quenched glassy samples exhibit comparable stability to those prepared in the laboratory. Our results pave the way for the next-generation studies of the vitrification process and, thereby the composition-dependent glass-forming ability and physical properties of multi-component metallic glasses.


title: Volterra-type operators mapping weighted Dirichlet space into $H^\infty$

abstract: The problem of describing the analytic functions $g$ on the unit disc such that the integral operator $T_g(f)(z)=\int_0^zf(\zeta)g'(\zeta)\,d\zeta$ is bounded (or compact) from a Banach space (or complete metric space) $X$ of analytic functions to the Hardy space $H^\infty$ is a tough problem and remains unsettled in many cases. For analytic functions $g$ with non-negative Maclaurin coefficients, we describe the boundedness and compactness of $T_g$ acting from a weighted Dirichlet space $D^p_\omega$, induced by an upper doubling weight $\omega$, to $H^\infty$. We also characterize, in terms of neat conditions on $\omega$, the upper doubling weights for which $T_g: D^p_\omega\to H^\infty$ is bounded (or compact) only if $g$ is constant.


title: Curriculum-based Asymmetric Multi-task Reinforcement Learning

abstract: We introduce CAMRL, the first curriculum-based asymmetric multi-task learning (AMTL) algorithm for dealing with multiple reinforcement learning (RL) tasks altogether. To mitigate the negative influence of customizing the one-off training order in curriculum-based AMTL, CAMRL switches its training mode between parallel single-task RL and asymmetric multi-task RL (MTRL), according to an indicator regarding the training time, the overall performance, and the performance gap among tasks. To leverage the multi-sourced prior knowledge flexibly and to reduce negative transfer in AMTL, we customize a composite loss with multiple differentiable ranking functions and optimize the loss through alternating optimization and the Frank-Wolfe algorithm. The uncertainty-based automatic adjustment of hyper-parameters is also applied to eliminate the need of laborious hyper-parameter analysis during optimization. By optimizing the composite loss, CAMRL predicts the next training task and continuously revisits the transfer matrix and network weights. We have conducted experiments on a wide range of benchmarks in multi-task RL, covering Gym-minigrid, Meta-world, Atari video games, vision-based PyBullet tasks, and RLBench, to show the improvements of CAMRL over the corresponding single-task RL algorithm and state-of-the-art MTRL algorithms. The code is available at: https://github.com/huanghanchi/CAMRL


title: The Fr\"ohlich Polaron at Strong Coupling -- Part II: Energy-Momentum Relation and Effective Mass

abstract: We study the Fr\"ohlich polaron model in $\mathbb{R}^3$, and prove a lower bound on its ground state energy as a function of the total momentum. The bound is asymptotically sharp at large coupling. In combination with a corresponding upper bound proved earlier, it shows that the energy is approximately parabolic below the continuum threshold, and that the polaron's effective mass (defined as the semi-latus rectum of the parabola) is given by the celebrated Landau--Pekar formula. In particular, it diverges as $\alpha^4$ for large coupling constant $\alpha$.


title: A$_\infty$ deformations of extended Khovanov arc algebras and Stroppel's Conjecture

abstract: Extended Khovanov arc algebras $\mathrm{K}_m^n$ are graded associative algebras which naturally appear in a variety of contexts, from knot and link homology, low-dimensional topology and topological quantum field theory to representation theory and symplectic geometry. C. Stroppel conjectured in her ICM 2010 address that the bigraded Hochschild cohomology groups of $\mathrm{K}_m^n$ vanish in a certain range, implying that the algebras $\mathrm K_m^n$ admit no nontrivial A$_\infty$ deformations, in particular that the algebras are intrinsically formal. Whereas Stroppel's Conjecture is known to hold for the algebras $\mathrm K_m^1$ and $\mathrm K_1^n$ by work of Seidel and Thomas, we show that $\mathrm K_m^n$ does in fact admit nontrivial A$_\infty$ deformations with nonvanishing higher products for all $m, n \geq 2$. We describe both $\mathrm K_m^n$ and its Koszul dual concretely as path algebras of quivers with relations and give an explicit algebraic construction of A$_\infty$ deformations of $\mathrm K_m^n$ by using the correspondence between A$_\infty$ deformations of a Koszul algebra and filtered associative deformations of its Koszul dual. These deformations can also be viewed as A$_\infty$ deformations of Fukaya--Seidel categories associated to Hilbert schemes of surfaces based on recent work of Mak and Smith.


title: Disentanglement of intrinsic and extrinsic side-jump scattering induced spin Hall effect in N-implanted Pt

abstract: The rapidly evolving utilization of spin Hall effect (SHE) arising from spin-orbit coupling in 5d transition metals and alloys have made giant strides in the development of designing low-power, robust and non-volatile magnetic memory. Recent studies, on incorporating non-metallic lighter elements such as oxygen, nitrogen and sulfur into 5d transition metals, have shown an enhancement in damping-like torque efficiency {\theta}_DL due to the modified SHE, but the mechanism behind this enhancement is not clear. In this paper, we study {\theta}_DL at different temperatures (100-293 K) to disentangle the intrinsic and extrinsic side-jump scattering induced spin Hall effect in N-implanted Pt. We observe a crossover of intrinsic to extrinsic side-jump mechanism as the implantation dose increases from 2*10^16 ions/cm2 to 1*10^17 ions/cm2. A sudden decrease in the intrinsic spin Hall conductivity is counterbalanced by the increase in the side-jump induced SHE efficiency. These results conclude that studying {\theta}_DL as a function of implantation dose, and also as a function of temperature, is important to understand the physical mechanism contributing to SHE, which has so far been unexplored in incorporating non-metallic element in 5d transition metals.


title: Channeling: a new class of dissolution in complex porous media

abstract: The current conceptual model of mineral dissolution in porous media is comprised of three dissolution patterns (wormhole, compact, and uniform) - or regimes - that develop depending on the relative dominance of flow, diffusion, and reaction rate. Here, we examine the evolution of pore structure during acid injection using numerical simulations on two porous media structures of increasing complexity. We examine the boundaries between regimes and characterise the existence of a fourth regime called channeling, where already existing fast flow pathways are preferentially widened by dissolution. Channeling occurs in cases where the distribution in pore throat size results in orders of magnitude differences in flow rate for different flow pathways. This focusing of dissolution along only dominant flow paths induces an immediate, large change in permeability with a comparatively small change in porosity, resulting in a porosity-permeability relationship unlike any that has been previously seen. This work demonstrates that our current conceptual model of dissolution regimes must be modified to include channeling for accurate predictions of dissolution in applications such as geologic carbon storage and geothermal energy production.


title: Liouville rigidity and time-extrinsic Harnack estimates for an anisotropic slow diffusion

abstract: We prove that ancient non-negative solutions to a fully anisotropic prototype evolution equation are constant if they satisfy a condition of finite speed of propagation and if they are both one-sided bounded, and bounded in space at a single time level. A similar statement is valid when the bound is given at a single space point. As a general paradigm, H\"older estimates provide the basics for rigidity. Finally, we show that recent intrinsic Harnack estimates can be improved to a Harnack inequality valid for non-intrinsic times. Locally, they are equivalent.


title: Probing neural language models for understanding of words of estimative probability

abstract: Words of estimative probability (WEP) are expressions of a statement's plausibility (probably, maybe, likely, doubt, likely, unlikely, impossible...). Multiple surveys demonstrate the agreement of human evaluators when assigning numerical probability levels to WEP. For example, highly likely corresponds to a median chance of 0.90+-0.08 in Fagen-Ulmschneider (2015)'s survey. In this work, we measure the ability of neural language processing models to capture the consensual probability level associated to each WEP. Firstly, we use the UNLI dataset (Chen et al., 2020) which associates premises and hypotheses with their perceived joint probability p, to construct prompts, e.g. "[PREMISE]. [WEP], [HYPOTHESIS]." and assess whether language models can predict whether the WEP consensual probability level is close to p. Secondly, we construct a dataset of WEP-based probabilistic reasoning, to test whether language models can reason with WEP compositions. When prompted "[EVENTA] is likely. [EVENTB] is impossible.", a causal language model should not express that [EVENTA&B] is likely. We show that both tasks are unsolved by off-the-shelf English language models, but that fine-tuning leads to transferable improvement.


title: Theory for the beam splitter in quantum optics: quantum entanglement of photons and their statistics, HOM effect

abstract: The theory of the beam splitter (BS) in quantum optics is well developed and based on fairly simple mathematical and physical foundations. This theory has been developed for any type of BS and is based on the constancy of the reflection coefficients $R$ (or the transmission coefficient, where $R+T=1$) and the phase shift $\phi$. It has recently been shown that the constancy of these coefficients cannot always be satisfied for a waveguide BS, where $R$ and $\phi$ depend in a special way on photon frequencies. Based on this, this review systematizes the concept of BS in quantum optics into ``Conventional'' and frequency-dependent BS, and also presents the theory of such BS. It is shown that the quantum entanglement, photon statistics at the output ports, and the Hong-Ou-Mandel (HOM) effect for such BS can be very different. Taking into account the fact that the waveguide BS is currently acquiring an important role in quantum technologies due to the possibility of its miniaturization, this review will be useful not only for theoreticians, but also for experimenters.


title: First hydrogen operation of NIO1: characterization of the source plasma by means of an optical emission spectroscopy diagnostic

abstract: NIO1 is a compact and flexible radiofrequency H- ion source, developed by Consorzio RFX and INFN-LNL. Aim of the experimentation on NIO1 is the optimization of both the production of negative ions and their extraction and beam optics. In the initial phase of its commissioning, NIO1 was operated with nitrogen, but now the source is regularly operated also with hydrogen. To evaluate the source performances an optical emission spectroscopy diagnostic was installed. The system includes a low resolution spectrometer in the spectral range of 300-850 nm and a high resolution (50 pm) one, to study respectively the atomic and the molecular emissions in the visible range. The spectroscopic data have been interpreted also by means of a collisional-radiative model developed at IPP Garching. Besides the diagnostic hardware and the data analysis methods, the paper presents the first plasma measurements across a transition to the full H mode, in a hydrogen discharge. The characteristic signatures of this transition in the plasma parameters are described, in particular the sudden increase of the light emitted from the plasma above a certain power threshold.