title: Understanding the Dynamics of DNNs Using Graph Modularity

abstract: There are good arguments to support the claim that deep neural networks (DNNs) capture better feature representations than the previous hand-crafted feature engineering, which leads to a significant performance improvement. In this paper, we move a tiny step towards understanding the dynamics of feature representations over layers. Specifically, we model the process of class separation of intermediate representations in pre-trained DNNs as the evolution of communities in dynamic graphs. Then, we introduce modularity, a generic metric in graph theory, to quantify the evolution of communities. In the preliminary experiment, we find that modularity roughly tends to increase as the layer goes deeper and the degradation and plateau arise when the model complexity is great relative to the dataset. Through an asymptotic analysis, we prove that modularity can be broadly used for different applications. For example, modularity provides new insights to quantify the difference between feature representations. More crucially, we demonstrate that the degradation and plateau in modularity curves represent redundant layers in DNNs and can be pruned with minimal impact on performance, which provides theoretical guidance for layer pruning. Our code is available at https://github.com/yaolu-zjut/Dynamic-Graphs-Construction.


title: Enhanced monitoring of atmospheric methane from space over the Permian basin with hierarchical Bayesian inference

abstract: Methane is a strong greenhouse gas, with a higher radiative forcing per unit mass and shorter atmospheric lifetime than carbon dioxide. The remote sensing of methane in regions of industrial activity is a key step toward the accurate monitoring of emissions that drive climate change. Whilst the TROPOspheric Monitoring Instrument (TROPOMI) on board the Sentinal-5P satellite is capable of providing daily global measurement of methane columns, data are often compromised by cloud cover. Here, we develop a statistical model which uses nitrogen dioxide concentration data from TROPOMI to efficiently predict values of methane columns, expanding the average daily spatial coverage of observations of the Permian basin from 16% to 88% in the year 2019. The addition of predicted methane abundances at locations where direct observations are not available will support inversion methods for estimating methane emission rates at shorter timescales than is currently possible.


title: Distributed Evaluation of Graph Queries using Recursive Relational Algebra

abstract: We present a system called Dist-$\mu$-RA for the distributed evaluation of recursive graph queries. Dist-$\mu$-RA builds on the recursive relational algebra and extends it with evaluation plans suited for the distributed setting. The goal is to offer expressivity for high-level queries while providing efficiency at scale and reducing communication costs. Experimental results on both real and synthetic graphs show the effectiveness of the proposed approach compared to existing systems.


title: Intuitive Shape Editing in Latent Space

abstract: The use of autoencoders for shape editing or generation through latent space manipulation suffers from unpredictable changes in the output shape. Our autoencoder-based method enables intuitive shape editing in latent space by disentangling latent sub-spaces into style variables and control points on the surface that can be manipulated independently. The key idea is adding a Lipschitz-type constraint to the loss function, i.e. bounding the change of the output shape proportionally to the change in latent space, leading to interpretable latent space representations. The control points on the surface that are part of the latent code of an object can then be freely moved, allowing for intuitive shape editing directly in latent space. We evaluate our method by comparing to state-of-the-art data-driven shape editing methods. We further demonstrate the expressiveness of our learned latent space by leveraging it for unsupervised part segmentation.


title: Repeated-root Constacyclic Codes with Optimal Locality

abstract: A code is called a locally repairable code (LRC) if any code symbol is a function of a small fraction of other code symbols. When a locally repairable code is employed in a distributed storage systems, an erased symbol can be recovered by accessing only a small number of other symbols, and hence alleviating the network resources required during the repair process. In this paper we consider repeated-root constacyclic codes, which is a generalization of cyclic codes, that are optimal with respect to a Singleton-like bound on minimum distance. An LRC with the structure of a constacyclic code can be encoded efficiently using any encoding algorithm for constacyclic codes in general. In this paper we obtain optimal LRCs among these repeated-root constacyclic codes. Several infinite classes of optimal LRCs over a fixed alphabet are found. Under a further assumption that the ambient space of the repeated-root constacyclic codes is a chain ring, we show that there is no other optimal LRC.


title: Matching Learned Causal Effects of Neural Networks with Domain Priors

abstract: A trained neural network can be interpreted as a structural causal model (SCM) that provides the effect of changing input variables on the model's output. However, if training data contains both causal and correlational relationships, a model that optimizes prediction accuracy may not necessarily learn the true causal relationships between input and output variables. On the other hand, expert users often have prior knowledge of the causal relationship between certain input variables and output from domain knowledge. Therefore, we propose a regularization method that aligns the learned causal effects of a neural network with domain priors, including both direct and total causal effects. We show that this approach can generalize to different kinds of domain priors, including monotonicity of causal effect of an input variable on output or zero causal effect of a variable on output for purposes of fairness. Our experiments on twelve benchmark datasets show its utility in regularizing a neural network model to maintain desired causal effects, without compromising on accuracy. Importantly, we also show that a model thus trained is robust and gets improved accuracy on noisy inputs.


title: Efficient semidefinite bounds for multi-label discrete graphical models

abstract: By concisely representing a joint function of many variables as the combination of small functions, discrete graphical models (GMs) provide a powerful framework to analyze stochastic and deterministic systems of interacting variables. One of the main queries on such models is to identify the extremum of this joint function. This is known as the Weighted Constraint Satisfaction Problem (WCSP) on deterministic Cost Function Networks and as Maximum a Posteriori (MAP) inference on stochastic Markov Random Fields. Algorithms for approximate WCSP inference typically rely on local consistency algorithms or belief propagation. These methods are intimately related to linear programming (LP) relaxations and often coupled with reparametrizations defined by the dual solution of the associated LP. Since the seminal work of Goemans and Williamson, it is well understood that convex SDP relaxations can provide superior guarantees to LP. But the inherent computational cost of interior point methods has limited their application. The situation has improved with the introduction of non-convex Burer-Monteiro style methods which are well suited to handle the SDP relaxation of combinatorial problems with binary variables (such as MAXCUT, MaxSAT or MAP/Ising). We compute low rank SDP upper and lower bounds for discrete pairwise graphical models with arbitrary number of values and arbitrary binary cost functions by extending a Burer-Monteiro style method based on row-by-row updates. We consider a traditional dualized constraint approach and a dedicated Block Coordinate Descent approach which avoids introducing large penalty coefficients to the formulation. On increasingly hard and dense WCSP/CFN instances, we observe that the BCD approach can outperform the dualized approach and provide tighter bounds than local consistencies/convergent message passing approaches.


title: Effect of chemical disorder on the magnetic anisotropy in L$1_0$ FeNi from first principles calculations

abstract: We use first principles calculations to investigate how deviations from perfect chemical order affect the magneto-crystalline anisotropy energy (MAE) in L$1_0$ FeNi. We first analyze the local chemical environment of the Fe atoms in various partially ordered configurations, using the orbital magnetic moment anisotropy (OMA) as proxy for a local contribution to the MAE. We are able to identify a specific nearest neighbor configuration and use this "favorable environment" to successfully design various structures with MAE higher than the perfectly ordered system. However, a systematic analysis of the correlation between local environment and OMA using smooth overlap of atomic positions (SOAP), indicates only a partial correlation, which exists only if the deviation from full chemical order is not too large, whereas in general no such correlation can be identified even using up to third nearest neighbors. Guided by the observation that the identified "favorable environment" implies an Fe-rich composition, we investigate the effect of randomly inserting additional Fe into the nominal Ni planes of the perfectly ordered structure. We find that the MAE increases with Fe content, at least up to 62.5% Fe. Thus, our study shows that the perfectly ordered case is not the one with highest MAE and that an increased MAE can be obtained for slightly Fe-rich compositions.


title: Time and Memory Efficient Parallel Algorithm for Structural Graph Summaries and two Extensions to Incremental Summarization and $k$-Bisimulation for Long $k$-Chaining

abstract: We developed a flexible parallel algorithm for graph summarization based on vertex-centric programming and parameterized message passing. The base algorithm supports infinitely many structural graph summary models defined in a formal language. An extension of the parallel base algorithm allows incremental graph summarization. In this paper, we prove that the incremental algorithm is correct and show that updates are performed in time $\mathcal{O}(\Delta \cdot d^k)$, where $\Delta$ is the number of additions, deletions, and modifications to the input graph, $d$ the maximum degree, and $k$ is the maximum distance in the subgraphs considered. Although the iterative algorithm supports values of $k>1$, it requires nested data structures for the message passing that are memory-inefficient. Thus, we extended the base summarization algorithm by a hash-based messaging mechanism to support a scalable iterative computation of graph summarizations based on $k$-bisimulation for arbitrary $k$. We empirically evaluate the performance of our algorithms using benchmark and real-world datasets. The incremental algorithm almost always outperforms the batch computation. We observe in our experiments that the incremental algorithm is faster even in cases when $50\%$ of the graph database changes from one version to the next. The incremental computation requires a three-layered hash index, which has a low memory overhead of only $8\%$ ($\pm 1\%$). Finally, the incremental summarization algorithm outperforms the batch algorithm even with fewer cores. The iterative parallel $k$-bisimulation algorithm computes summaries on graphs with over $10$M edges within seconds. We show that the algorithm processes graphs of $100+\,$M edges within a few minutes while having a moderate memory consumption of $<150$ GB. For the largest BSBM1B dataset with 1 billion edges, it computes $k=10$ bisimulation in under an hour.


title: Time-Energy-Constrained Closed-Loop FBL Communication for Dependable MEC

abstract: The deployment of multi-access edge computing (MEC) is paving the way towards pervasive intelligence in future 6G networks. This new paradigm also proposes emerging requirements of dependable communications, which goes beyond the ultra-reliable low latency communication (URLLC), focusing on the performance of a closed loop instead of that of an unidirectional link. This work studies the simple but efficient one-shot transmission scheme, investigating the closed-loop-reliability-optimal policy of blocklength allocation under stringent time and energy constraints.


title: Altering Backward Pass Gradients improves Convergence

abstract: In standard neural network training, the gradients in the backward pass are determined by the forward pass. As a result, the two stages are coupled. This is how most neural networks are trained currently. However, gradient modification in the backward pass has seldom been studied in the literature. In this paper we explore decoupled training, where we alter the gradients in the backward pass. We propose a simple yet powerful method called PowerGrad Transform, that alters the gradients before the weight update in the backward pass and significantly enhances the predictive performance of the neural network. PowerGrad Transform trains the network to arrive at a better optima at convergence. It is computationally extremely efficient, virtually adding no additional cost to either memory or compute, but results in improved final accuracies on both the training and test sets. PowerGrad Transform is easy to integrate into existing training routines, requiring just a few lines of code. PowerGrad Transform accelerates training and makes it possible for the network to better fit the training data. With decoupled training, PowerGrad Transform improves baseline accuracies for ResNet-50 by 0.73%, for SE-ResNet-50 by 0.66% and by more than 1.0% for the non-normalized ResNet-18 network on the ImageNet classification task.


title: QED effects on the nuclear magnetic shielding of $^3$He

abstract: The leading quantum electrodynamic corrections to the nuclear magnetic shielding in one- and two-electron atomic systems are obtained in a complete form, and the shielding constants of $^1$H, $^3$He$^+$, and $^3$He are calculated to be $17.735\,436(3) \cdot 10^{-6}$, $35.507\,434(9)\cdot 10^{-6}$, and $59.967\,029(23)\cdot 10^{-6}$, respectively. These results are orders of magnitude more accurate than previous ones, and, with the ongoing measurement of the nuclear magnetic moment of $^3$He$^+$ and planned $^3$He$^{2+}$, they open the window for high-precision absolute magnetometry using $^3$He NMR probes. The presented theoretical approach is applicable to all other light atomic and molecular systems, which facilitates the improved determination of magnetic moments of any light nuclei.


title: Performance of Reconfigurable Intelligent Surfaces in the Presence of Generalized Gaussian Noise

abstract: In this letter, we investigate the performance of reconfigurable intelligent surface (RIS)-assisted communications, under the assumption of generalized Gaussian noise (GGN), over Rayleigh fading channels. Specifically, we consider an RIS, equipped with $N$ reflecting elements, and derive a novel closed-form expression for the symbol error rate (SER) of arbitrary modulation schemes. The usefulness of the derived new expression is that it can be used to capture the SER performance in the presence of special additive noise distributions such as Gamma, Laplacian, and Gaussian noise. These special cases are also considered and their associated asymptotic SER expressions are derived, and then employed to quantify the achievable diversity order of the system. The theoretical framework is corroborated by numerical results, which reveal that the shaping parameter of the GGN ($\alpha$) has a negligible effect on the diversity order of RIS-assisted systems, particularly for large $\alpha$ values. Accordingly, the maximum achievable diversity order is determined by $N$.


title: Meta Mask Correction for Nuclei Segmentation in Histopathological Image

abstract: Nuclei segmentation is a fundamental task in digital pathology analysis and can be automated by deep learning-based methods. However, the development of such an automated method requires a large amount of data with precisely annotated masks which is hard to obtain. Training with weakly labeled data is a popular solution for reducing the workload of annotation. In this paper, we propose a novel meta-learning-based nuclei segmentation method which follows the label correction paradigm to leverage data with noisy masks. Specifically, we design a fully conventional meta-model that can correct noisy masks using a small amount of clean meta-data. Then the corrected masks can be used to supervise the training of the segmentation model. Meanwhile, a bi-level optimization method is adopted to alternately update the parameters of the main segmentation model and the meta-model in an end-to-end way. Extensive experimental results on two nuclear segmentation datasets show that our method achieves the state-of-the-art result. It even achieves comparable performance with the model training on supervised data in some noisy settings.


title: Stiffening of nanoporous Au as a result of dislocation density increase upon characteristic length reduction

abstract: Structure is the most distinctive feature of nanoporous metals. The intricate maze of rounded shapes, where ligaments and pores run after each other disorderly, strikes imagination no less than it imparts properties that, tuned by size effects, have no counterpart in the bulk form. Indisputably, nanoporous Au has been the absolute protagonist of the field of study, unveiling the disrupting potential of nanoporous metals in areas ranging from catalysis to energy and sensing. Here, we still focus on nanoporous Au, addressing the long-standing issue of mechanical properties in nanoporous metals. In particular, we investigate how Young's modulus changes with ligament size, being the porosity the same. Based on atomistic replicas generated starting from experimental tomographic evidence, atomistic simulations reveal that nanoporous Au stiffens as ligaments become finer, reproducing experimental findings obtained by nanoindentation of dealloyed samples. Ruled out surface stress effects, theoretical considerations relate stiffening to the dislocation density increase.


title: Scrutinizing the Debye plasma model: Rydberg excitons unravel the properties of low-density plasmas in semiconductors

abstract: For low-density plasmas, the classical limit described by the Debye-H\"uckel theory is still considered as an appropriate description even though a clear experimental proof of this paradigm is lacking due to the problems in determining the plasma-induced shift of single-particle energies in atomic systems. We show that Rydberg excitons in states with a high principal quantum number are highly sensitive probes for their surrounding making it possible to unravel accurately the basic properties of low-density non-degenerate electron-hole plasmas. To this end, we accurately measure the parameters of Rydberg excitons such as energies and linewidths in absorption spectra of bulk cuprous oxide crystals in which a tailored electron-hole plasma has been generated optically. Since from the absorption spectra exciton energies, as well as the shift of the single-particle energies given by the band edge, can be directly derived, the measurements allow us to determine the plasma density and temperature independently, which has been a notoriously hard problem in semiconductor physics. Our analysis shows unambiguously that the impact of the plasma cannot be described by the classical Debye model, but requires a quantum many-body theory, not only for the semiconductor plasma investigated here, but in general. Furthermore, it reveals a new exciton scattering mechanism with coupled plasmon-phonon modes becoming important even at very low plasma densities.


title: Conformal Submersion with Horizontal Distribution

abstract: In this article, conformal submersion with horizontal distribution of Riemannian manifolds is defined which is a generalization of the affine submersion with horizontal distribution. Then, a necessary condition is obtained for the existence of a conformal submersion with horizontal distribution. For the dual connections $\nabla$ and $\overline{\nabla}$ on manifold $\mathbf{M}$ and $\nabla^*$ and $\overline{\nabla}^*$ on manifold $\mathbf{B}$, we show that $\pi: (\mathbf{M},\nabla) \longrightarrow (\mathbf{B}, \nabla^{*}) $ is a conformal submersion with horizontal distribution if and only if $\pi: (\mathbf{M},\overline{\nabla}) \longrightarrow (\mathbf{B}, \overline{\nabla^{*}}) $ is a conformal submersion with horizontal distribution. Also, we obtained a necessary and sufficient condition for $\pi \circ \sigma$ to become a geodesic of $\mathbf{B}$ if $\sigma$ is a geodesic of $\mathbf{M}$ for $ \pi: (\mathbf{M},\nabla,g_{m}) \rightarrow (\mathbf{B},\nabla^{*},g_{b})$ a conformal submersion with horizontal distribution.


title: TriStereoNet: A Trinocular Framework for Multi-baseline Disparity Estimation

abstract: Stereo vision is an effective technique for depth estimation with broad applicability in autonomous urban and highway driving. While various deep learning-based approaches have been developed for stereo, the input data from a binocular setup with a fixed baseline are limited. Addressing such a problem, we present an end-to-end network for processing the data from a trinocular setup, which is a combination of a narrow and a wide stereo pair. In this design, two pairs of binocular data with a common reference image are treated with shared weights of the network and a mid-level fusion. We also propose a Guided Addition method for merging the 4D data of the two baselines. Additionally, an iterative sequential self-supervised and supervised learning on real and synthetic datasets is presented, making the training of the trinocular system practical with no need to ground-truth data of the real dataset. Experimental results demonstrate that the trinocular disparity network surpasses the scenario where individual pairs are fed into a similar architecture. Code and dataset: https://github.com/cogsys-tuebingen/tristereonet.


title: Extracting Triangular 3D Models, Materials, and Lighting From Images

abstract: We present an efficient method for joint optimization of topology, materials and lighting from multi-view image observations. Unlike recent multi-view reconstruction approaches, which typically produce entangled 3D representations encoded in neural networks, we output triangle meshes with spatially-varying materials and environment lighting that can be deployed in any traditional graphics engine unmodified. We leverage recent work in differentiable rendering, coordinate-based networks to compactly represent volumetric texturing, alongside differentiable marching tetrahedrons to enable gradient-based optimization directly on the surface mesh. Finally, we introduce a differentiable formulation of the split sum approximation of environment lighting to efficiently recover all-frequency lighting. Experiments show our extracted models used in advanced scene editing, material decomposition, and high quality view interpolation, all running at interactive rates in triangle-based renderers (rasterizers and path tracers). Project website: https://nvlabs.github.io/nvdiffrec/ .


title: An equitable and effective approach to introductory mechanics

abstract: Introductory mechanics ("physics 1") is a critical gateway course for students desiring to pursue a STEM career. A major challenge with this course is that there is a large spread in the students' incoming physics preparation, and this level of preparation is strongly predictive of a students' performance. The level of incoming preparation is also largely determined by a student's educational privilege, and so this course can amplify inequities in K-12 education and provide a barrier to a STEM career for students from marginalized groups. Here, we present a novel introductory course design to address such equity challenges in physics 1. We designed the course based on the concept of deliberate practice to give students targeted, scaffolded, and repeated opportunities to engage in research-identified practices and decisions required for effective problem-solving. We used real-world problems, as they carry less resemblance to physics high school problems, and so even the students with the best high school physics instruction have little experience or skill in solving them. The students learned the physics content knowledge they needed in future courses, particularly in engineering, and their problem-solving skills improved substantially. Furthermore, the success in the course was not correlated with incoming physics preparation, in stark contrast to the outcomes from traditional physics 1 courses. These findings suggest that we made physics 1 more equitable by employing a deliberate practice approach in the context of real-world problem-solving.


title: Cross-Sections for $\text{t}\bar{\text{t}}\text{H}$ production with the Top Quark $\overline{\text{MS}}$ Mass

abstract: We study the impact of the top quark mass renormalized in the $\overline{\text{MS}}$ scheme on the $\text{t}\bar{\text{t}}\text{H}$ production cross-sections as an alternative to theory predictions with the conventionally used pole mass scheme. The differential cross-sections at next-to-leading order in perturbative QCD with stable top quarks show a moderate decrease in scale uncertainties for the $\overline{\text{MS}}$ mass renormalization scheme compared to the on-shell one. The shape of the differential distributions is not affected much, the largest differences being observed in the invariant mass distributions of the $\text{t}\bar{\text{t}}$ and the $\text{t}\bar{\text{t}}\text{H}$ systems.


title: Generalized Normalizing Flows via Markov Chains

abstract: Normalizing flows, diffusion normalizing flows and variational autoencoders are powerful generative models. This chapter provides a unified framework to handle these approaches via Markov chains. We consider stochastic normalizing flows as a pair of Markov chains fulfilling some properties and show how many state-of-the-art models for data generation fit into this framework. Indeed numerical simulations show that including stochastic layers improves the expressivity of the network and allows for generating multimodal distributions from unimodal ones. The Markov chains point of view enables us to couple both deterministic layers as invertible neural networks and stochastic layers as Metropolis-Hasting layers, Langevin layers, variational autoencoders and diffusion normalizing flows in a mathematically sound way. Our framework establishes a useful mathematical tool to combine the various approaches.


title: Growth and structural transitions of core-shell nanorods in nanocrystalline Al-Ni-Y

abstract: Unique nanorod precipitates with a core-shell structure are found to nucleate from the grain boundaries of a bulk nanocrystalline Al-Ni-Y alloy fabricated via powder consolidation, contributing significantly to stabilization and strengthening. The local structure, chemistry, and evolution of these features during annealing is reported here. In the as-consolidated state, the nanorods can be either structurally ordered or disordered, yet a consistent chemical patterning is found where the core is primarily Al plus C while the shell is enriched with Y. As annealing time increases, more nanorods transform to an ordered structure as they coarsen while the core composition remains unchanged. In contrast, the shell chemistry transitions from Y-rich to Ni-rich with longer annealing treatments, most likely due to the different diffusivities of Y and Ni in Al. Moreover, a spatial and chemical correlation between the nanorods and amorphous complexions is observed, suggesting that these complexions serve as preferential nucleation sites.


title: Reflection on the enrichment of double categories

abstract: Enrichment and internal categories are two different way to generalize the notion of category. As such, enriching double categories (which are categories internal to Cat) is not a clear concepts. One can look at the internal categories of the category of C-enriched categories or the internal C-category in Cat. This concepts, unfortunately, are not powerful enough, even thin (posetal) double categories can't be seen this way. However, an orthogonal investigation, that of the enrichment by a double category, will help relaxing the internal C-category to a incorporate the internal categories of the category of C-enriched categories, as well as thin double categories or framed bicategories.


title: Towards Quantum Advantage in Financial Market Risk using Quantum Gradient Algorithms

abstract: We introduce a quantum algorithm to compute the market risk of financial derivatives. Previous work has shown that quantum amplitude estimation can accelerate derivative pricing quadratically in the target error and we extend this to a quadratic error scaling advantage in market risk computation. We show that employing quantum gradient estimation algorithms can deliver a further quadratic advantage in the number of the associated market sensitivities, usually called greeks. By numerically simulating the quantum gradient estimation algorithms on financial derivatives of practical interest, we demonstrate that not only can we successfully estimate the greeks in the examples studied, but that the resource requirements can be significantly lower in practice than what is expected by theoretical complexity bounds. This additional advantage in the computation of financial market risk lowers the estimated logical clock rate required for financial quantum advantage from Chakrabarti et al. [Quantum 5, 463 (2021)] by a factor of ~7, from 50MHz to 7MHz, even for a modest number of greeks by industry standards (four). Moreover, we show that if we have access to enough resources, the quantum algorithm can be parallelized across 60 QPUs, in which case the logical clock rate of each device required to achieve the same overall runtime as the serial execution would be ~100kHz. Throughout this work, we summarize and compare several different combinations of quantum and classical approaches that could be used for computing the market risk of financial derivatives.


title: Alcove formation in dissolving cliffs driven by density inversion instability

abstract: We demonstrate conditions that give rise to cave-like features commonly found in dissolving cliffsides with a minimal two-phase physical model. Alcoves that are wider at the top and tapered at the bottom, with sharp-edged ceilings and sloping floors, are shown to develop on vertical solid surfaces dissolving in aqueous solutions. As evident from descending plumes, sufficiently large indentations evolve into alcoves as a result of the faster dissolution of the ceiling due to a solutal Rayleigh-B\'enard density inversion instability. By contrast, defects of size below the boundary layer thickness set by the critical Rayleigh number smooth out, leading to stable planar interfaces. The ceiling recession rate and the alcove opening area evolution are shown to be given to first order by the critical Rayleigh number. By tracking passive tracers in the fluid phase, we show that the alcoves are shaped by the detachment of the boundary layer flow and the appearance of a pinned vortex at the leading edge of the indentations. The attached boundary layer past the developing alcove is then found to lead to rounding of the other sides and the gradual sloping of the floor.


title: Deep learning-based reduced order models for the real-time simulation of the nonlinear dynamics of microstructures

abstract: We propose a non-intrusive Deep Learning-based Reduced Order Model (DL-ROM) capable of capturing the complex dynamics of mechanical systems showing inertia and geometric nonlinearities. In the first phase, a limited number of high fidelity snapshots are used to generate a POD-Galerkin ROM which is subsequently exploited to generate the data, covering the whole parameter range, used in the training phase of the DL-ROM. A convolutional autoencoder is employed to map the system response onto a low-dimensional representation and, in parallel, to model the reduced nonlinear trial manifold. The system dynamics on the manifold is described by means of a deep feedforward neural network that is trained together with the autoencoder. The strategy is benchmarked against high fidelity solutions on a clamped-clamped beam and on a real micromirror with softening response and multiplicity of solutions. By comparing the different computational costs, we discuss the impressive gain in performance and show that the DL-ROM truly represents a real-time tool which can be profitably and efficiently employed in complex system-level simulation procedures for design and optimisation purposes.


title: A Compact High-Resolution Muon Spectrometer Using Multi-Layer Gas Cherenkov Radiators

abstract: In both particle physics and cosmic ray muon applications, a high-resolution muon momentum measurement capability plays a significant role not only in providing valuable information on the properties of subatomic particles but also in improving the utilizability of muons. Currently, muon momentum is estimated by reconstructing the muon path using a strong magnetic field and muon trackers. Alternatively, time-of-flight or multiple Coulomb scattering techniques are less frequently applied, especially when there is a need to avoid using a magnetic field. However, the measurement resolution is much lower than that of magnetic spectrometers, approximately 20% in the muon momentum range of 0.5 to 4.5 GeV/c whereas it is nearly 10% or less when using magnets and trackers. Here, we propose a different paradigm to estimate muon momentum that utilizes multi-layer pressurized gas Cherenkov radiators. Using the fact that the gas refractive index varies with pressure and temperature, we can optimize the muon Cherenkov threshold momentum for which a muon signal will be detected. By analyzing the optical signals from Cherenkov radiation, we show that the actual muon momentum can be estimated with a minimum resolution of +-0.05 GeV/c for a large number of radiators over the range of 0.1 to 10.0 GeV/c. The results also show that our spectrometer correctly classifies the muon momentum (~87% classification rate) in the momentum range of 0.1 to 10.0 GeV/c. We anticipate our new spectrometer will to provide an alternative substitute for the bulky magnets without degrading measurement resolution. Furthermore, we expect it will significantly improve the quality of imaging or reduce the scanning time in cosmic muon applications by being incorporated with existing instruments.

categories: physics.ins-det astro-ph.IM hep-ex nucl-ex


title: FLACOCO: Fault Localization for Java based on Industry-grade Coverage

abstract: Fault localization is an essential step in the debugging process. Spectrum-Based Fault Localization (SBFL) is a popular fault localization family of techniques, utilizing code-coverage to predict suspicious lines of code. In this paper, we present FLACOCO, a new fault localization tool for Java. The key novelty of FLACOCO is that it is built on top of one of the most used and most reliable coverage libraries for Java, JaCoCo. FLACOCO is made available through a well-designed command-line interface and Java API and supports all Java versions. We validate FLACOCO on two use-cases from the automatic program repair domain by reproducing previous scientific experiments. We find it is capable of effectively replacing the state-of-the-art FL library. Overall, we hope that FLACOCO will help research in fault localization as well as industry adoption thanks to being founded on industry-grade code coverage. An introductory video is available at https://youtu.be/RFRyvQuwRYA


title: Ultrafast control of spin-orbital separation probed with time-resolved RIXS

abstract: Quasi-one-dimensional systems exhibit many-body effects elusive in higher dimensions. A prime example is spin-orbital separation, which has been measured by resonant inelastic X-ray scattering (RIXS) in Sr$_2$CuO$_3$. Here, we theoretically analyze the time-resolved RIXS spectrum of Sr$_2$CuO$_3$ under the action of a time-dependent electric field. We show that the external field can reversibly modify the parameters in the effective $t-J$ model used to describe spinon and orbiton dynamics in the material. For strong driving amplitudes, we find that the spectrum changes qualitatively as a result of reversing the relative spinon to orbiton velocity. The analysis shows that in general, the spin-orbital dynamics in Mott insulators in combination with time-resolved RIXS should provide a suitable platform to explore the reversible control of many-body physics in the solid with strong laser fields.


title: Electroweak input parameters

abstract: Different sets of electroweak input parameters are discussed for SMEFT predictions at the LHC. The {Gmu,mZ,mW} one is presently recommended.


title: LightSAFT: Lightweight Latent Source Aware Frequency Transform for Source Separation

abstract: Conditioned source separations have attracted significant attention because of their flexibility, applicability and extensionality. Their performance was usually inferior to the existing approaches, such as the single source separation model. However, a recently proposed method called LaSAFT-Net has shown that conditioned models can show comparable performance against existing single-source separation models. This paper presents LightSAFT-Net, a lightweight version of LaSAFT-Net. As a baseline, it provided a sufficient SDR performance for comparison during the Music Demixing Challenge at ISMIR 2021. This paper also enhances the existing LightSAFT-Net by replacing the LightSAFT blocks in the encoder with TFC-TDF blocks. Our enhanced LightSAFT-Net outperforms the previous one with fewer parameters.Conditioned source separations have attracted significant attention because of their flexibility, applicability and extensionality. Their performance was usually inferior to the existing approaches, such as the single source separation model. However, a recently proposed method called LaSAFT-Net has shown that conditioned models can show comparable performance against existing single-source separation models. This paper presents LightSAFT-Net, a lightweight version of LaSAFT-Net. As a baseline, it provided a sufficient SDR performance for comparison during the Music Demixing Challenge at ISMIR 2021.


title: Explicit formulas concerning eigenvectors of weakly non-unitary matrices

abstract: We investigate eigenvector statistics of the Truncated Unitary ensemble $\mathrm{TUE}(N,M)$ in the weakly non-unitary case $M=1$, that is when only one row and column are removed. We provide an explicit description of generalized overlaps as deterministic functions of the eigenvalues, as well as a method to derive an exact formula for the expectation of diagonal overlaps (or squared eigenvalue condition numbers), conditionally on one eigenvalue. This complements recent results obtained in the opposite regime when $M \geq N$, suggesting possible extensions to $\mathrm{TUE}(N,M)$ for all values of $M$.


title: Multi-Scale Deep Learning for Estimating Horizontal Velocity Fields on the Solar Surface

abstract: The dynamics in the photosphere is governed by the multi-scale turbulent convection termed as granulation and supergranulation. It is important to derive 3-dimensional velocity vectors to understand the nature of the turbulent convection. However, it is difficult to obtain the velocity component perpendicular to the line-of-sight, which corresponds to the horizontal velocity in disk center observations. We developed a convolutional neural network model with a multi-scale deep learning architecture. The method consists of multiple convolutional kernels with various sizes of the receptive fields, and it performs convolution for spatial and temporal axes. The network is trained with data from three different numerical simulations of turbulent convection, and we introduced a coherence spectrum to assess the horizontal velocity fields that were derived at each spatial scale. The multi-scale deep learning method successfully predicts the horizontal velocities for each convection simulation in terms of the global-correlation-coefficient, which is often used for evaluating the prediction accuracy of the methods. The coherence spectrum reveals the strong dependence of the correlation coefficients on the spatial scales. Although coherence spectra are higher than 0.9 for large-scale structures, they drastically decrease to less than 0.3 for small-scale structures wherein the global-correlation-coefficient indicates a high value of approximately 0.95. We determined that this decrease in the coherence spectrum occurs around the energy injection scales. The accuracy for the small-scale structures is not guaranteed solely by the global-correlation-coefficient. To improve the accuracy in small-scales, it is important to improve the loss function for enhancing the small-scale structures and to utilize other physical quantities related to the non-linear cascade of convective eddies as input data.


title: A Majorized-Generalized Alternating Direction Method of Multipliers for Convex Composite Programming

abstract: The linearly constrained convex composite programming problems whose objective function contains two blocks with each block being the form of nonsmooth+smooth arises frequently in multiple fields of applications. If both of the smooth terms are quadratic, this problem can be solved efficiently by using the symmetric Gaussian-Seidel (sGS) technique based proximal alternating direction method of multipliers (ADMM). However, in the non-quadratic case, the sGS technique can not be used any more, which leads to the separable structure of nonsmooth+smooth had to be ignored. In this paper, we present a generalized ADMM and particularly use a majorization technique to make the corresponding subproblems more amenable to efficient computations. Under some appropriate conditions, we prove its global convergence for the relaxation factor in $(0,2)$. We apply the algorithm to solve a kind of simulated convex composite optimization problems and a type of sparse inverse covariance matrix estimation problems which illustrates that the effectiveness of the algorithm are obvious.


title: Multiscale mechanical model based on patient-specific geometry: application to early keratoconus development

abstract: Keratoconus is a pathology of the cornea associated with a tissue thinning and a weakening of its mechanical properties. However, it remains elusive which aspect is the leading cause of the disease. To investigate this question, we combined a multiscale model with a patient-geometry in order to simulate the mechanical response of healthy and pathological corneas under intraocular pressure. The constitutive behavior of the cornea is described through an energy function which takes into account the isotropic matrix of the cornea, the geometric structure of collagen lamellae and the quasi-incompressibility of the tissue. A micro-sphere description is implemented to take into account the typical features of the collagen lamellae as obtained experimentally, namely their orientation, their stiffness and their dispersion, as well as the their unfolding stretch, at which they start to provide a significant force. A set of reference parameters is obtained to fit experimental inflation data of the literature. We show that the most sensitive parameter is the unfolding stretch, as a small variation of this parameter induces a major change in the corneal apex displacement. The keratoconus case is then studied by separating the impact of the geometry and the one of the mechanics. We computed the evolution of the SimK (a clinical indicator of cornea curvature) and elevation maps: we were able to reproduce the reported changes of SimK with pressure only by a mechanical weakening, and not by a change in geomtry. More specifically, the weakening has to target the lamellae and not the matrix. The mechanical weakening leads to elevations close to early stage keratoconus, but our model lacks the remodeling component to couple the change in mechanics with changes in geometry.


title: Probabilistic Behavioral Distance and Tuning - Reducing and aggregating complex systems

abstract: Given a complex system with a given interface to the rest of the world, what does it mean for a the system to behave close to a simpler specification describing the behavior at the interface? We give several definitions for useful notions of distances between a complex system and a specification by combining a behavioral and probabilistic perspective. These distances can be used to tune a complex system to a specification. We show that our approach can successfully tune non-linear networked systems to behave like much smaller networks, allowing us to aggregate large sub-networks into one or two effective nodes. Finally, we discuss similarities and differences between our approach and $H_\infty$ model reduction.


title: Lepton Phenomenology of Stueckelberg Portal to Dark Sector

abstract: We propose an extension of the Standard Model (SM) with a $U_{A'}(1)$ gauge invariant dark dector connected to the SM via a new portal -- the Stueckelberg portal, arising in the framework of dark photon $A'$ mass generation via Stueckelberg mechanism. This portal opens through the effective dim=5 operators constructed from the covariant term of the auxiliary Stueckelberg scalar field $\sigma$ providing flavor non-diagonal renormalizable couplings of both $\sigma$ and $A'$ to the SM fermions $\psi$. The Stueckelberg scalar plays a role of Goldstone boson in the generation of mass of the Dark Photon. Contrary to the conventional kinetic mixing portal, in our scenario flavor diagonal $A'$-$\psi$ couplings are not proportional to the fermion charges and are, in general, flavor nondiagonal. These features drastically change the phenomenology of dark photon $A'$ relaxing or avoiding some previously established experimental constraints. We focus on the phenomenology of the described scenario of the Stueckelberg portal in the lepton sector and analyze the contribution of the dark sector fields $A'$ to the anomalous magnetic moment of muon $(g-2)_{\mu}$, lepton flavor violating decays $l_{i}\to l_{k}\gamma$ and $\mu-e$ conversion in nuclei. We obtain limits on the model parameters from the existing data on the corresponding observables.


title: Entangling a Hole Spin with a Time-Bin Photon: A Waveguide Approach for Quantum Dot Sources of Multi-Photon Entanglement

abstract: Deterministic sources of multi-photon entanglement are highly attractive for quantum information processing but are challenging to realize experimentally. In this paper, we demonstrate a route towards a scaleable source of time-bin encoded Greenberger-Horne-Zeilinger and linear cluster states from a solid-state quantum dot embedded in a nanophotonic crystal waveguide. By utilizing a self-stabilizing double-pass interferometer, we measure a spin-photon Bell state with $(67.8\pm0.4)\%$ fidelity and devise steps for significant further improvements. By employing strict resonant excitation, we demonstrate a photon indistinguishability of $(95.7\pm0.8)\%$, which is conducive to fusion of multiple cluster states for scaling up the technology and producing more general graph states.


title: Hidden transition in multiplex networks

abstract: Weak multiplex percolation generalizes percolation to multi-layer networks, represented as networks with a common set of nodes linked by multiple types (colors) of edges. We report a novel discontinuous phase transition in this problem. This anomalous transition occurs in networks of three or more layers without unconnected nodes, $P(0)=0$. Above a critical value of a control parameter, the removal of a tiny fraction $\Delta$ of nodes or edges triggers a failure cascade which ends either with the total collapse of the network, or a return to stability with the system essentially intact. The discontinuity is not accompanied by any singularity of the giant component, in contrast to the discontinuous hybrid transition which usually appears in such problems. The control parameter is the fraction of nodes in each layer with a single connection, $\Pi=P(1)$. We obtain asymptotic expressions for the collapse time and relaxation time, above and below the critical point $\Pi_c$, respectively. In the limit $\Delta\to0$ the total collapse for $\Pi>\Pi_\text{c}$ takes a time $T \propto 1/(\Pi-\Pi_\text{c})$, while there is an exponential relaxation below $\Pi_\text{c}$ with a relaxation time $\tau \propto 1/[\Pi_\text{c}-\Pi]$.


title: Causality-inspired Single-source Domain Generalization for Medical Image Segmentation

abstract: Deep learning models usually suffer from domain shift issues, where models trained on one source domain do not generalize well to other unseen domains. In this work, we investigate the single-source domain generalization problem: training a deep network that is robust to unseen domains, under the condition that training data is only available from one source domain, which is common in medical imaging applications. We tackle this problem in the context of cross-domain medical image segmentation. Under this scenario, domain shifts are mainly caused by different acquisition processes. We propose a simple causality-inspired data augmentation approach to expose a segmentation model to synthesized domain-shifted training examples. Specifically, 1) to make the deep model robust to discrepancies in image intensities and textures, we employ a family of randomly-weighted shallow networks. They augment training images using diverse appearance transformations. 2) Further we show that spurious correlations among objects in an image are detrimental to domain robustness. These correlations might be taken by the network as domain-specific clues for making predictions, and they may break on unseen domains. We remove these spurious correlations via causal intervention. This is achieved by resampling the appearances of potentially correlated objects independently. The proposed approach is validated on three cross-domain segmentation tasks: cross-modality (CT-MRI) abdominal image segmentation, cross-sequence (bSSFP-LGE) cardiac MRI segmentation, and cross-center prostate MRI segmentation. The proposed approach yields consistent performance gains compared with competitive methods when tested on unseen domains.


title: Mining Meta-indicators of University Ranking: A Machine Learning Approach Based on SHAP

abstract: University evaluation and ranking is an extremely complex activity. Major universities are struggling because of increasingly complex indicator systems of world university rankings. So can we find the meta-indicators of the index system by simplifying the complexity? This research discovered three meta-indicators based on interpretable machine learning. The first one is time, to be friends with time, and believe in the power of time, and accumulate historical deposits; the second one is space, to be friends with city, and grow together by co-develop; the third one is relationships, to be friends with alumni, and strive for more alumni donations without ceiling.


title: MorphMLP: An Efficient MLP-Like Backbone for Spatial-Temporal Representation Learning

abstract: Recently, MLP-Like networks have been revived for image recognition. However, whether it is possible to build a generic MLP-Like architecture on video domain has not been explored, due to complex spatial-temporal modeling with large computation burden. To fill this gap, we present an efficient self-attention free backbone, namely MorphMLP, which flexibly leverages the concise Fully-Connected (FC) layer for video representation learning. Specifically, a MorphMLP block consists of two key layers in sequence, i.e., MorphFC_s and MorphFC_t, for spatial and temporal modeling respectively. MorphFC_s can effectively capture core semantics in each frame, by progressive token interaction along both height and width dimensions. Alternatively, MorphFC_t can adaptively learn long-term dependency over frames, by temporal token aggregation on each spatial location. With such multi-dimension and multi-scale factorization, our MorphMLP block can achieve a great accuracy-computation balance. Finally, we evaluate our MorphMLP on a number of popular video benchmarks. Compared with the recent state-of-the-art models, MorphMLP significantly reduces computation but with better accuracy, e.g., MorphMLP-S only uses 50% GFLOPs of VideoSwin-T but achieves 0.9% top-1 improvement on Kinetics400, under ImageNet1K pretraining. MorphMLP-B only uses 43% GFLOPs of MViT-B but achieves 2.4% top-1 improvement on SSV2, even though MorphMLP-B is pretrained on ImageNet1K while MViT-B is pretrained on Kinetics400. Moreover, our method adapted to the image domain outperforms previous SOTA MLP-Like architectures. Code is available at https://github.com/MTLab/MorphMLP.


title: Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks

abstract: In this paper, we analyze the security of programming languages and their execution environments (compilers and interpreters) with respect to Spectre attacks. The analysis shows that only 16 out of 42 execution environments have mitigations against at least one Spectre variant, i.e., 26 have no mitigations against any Spectre variant. Using our novel tool Speconnector, we develop Spectre proof-of-concept attacks in 8 programming languages and on code generated by 11 execution environments that were previously not known to be affected. Our results highlight some programming languages that are used to implement security-critical code, but remain entirely unprotected, even three years after the discovery of Spectre.


title: Role of intercalated Cobalt in the electronic structure of Co$_{1/3}$NbS$_2$

abstract: Co$_{1/3}$NbS$_2$ is the magnetic intercalate of 2H-NbS$_2$ where electronic itinerant and magnetic properties strongly influence each other throughout the phase diagram. Here we report the first angle-resolved photoelectron spectroscopy (ARPES) study in Co$_{1/3}$NbS$_2$. The observed electronic structure seemingly resembles the one of the parent material 2H-NbS$_2$, with the shift in Fermi energy of 0.5 eV accounting for the charge transfer of approximately two electrons from each Co ion into the NbS$_2$ layers. However, we observe significant departures from the 2H-NbS$_2$ rigid band picture: Entirely unrelated to the 2H-NbS$_2$ electronic structure, a shallow electronic band is found crossing the Fermi level near the boundary of the first Brillouin zone of the superstructure imposed by the intercalation. The evolution of the experimental spectra upon varying the incident photon energy suggests the Co origin of this band. Second, the Nb bonding band, found deeply submerged below the Fermi level at the $\Gamma$ point, indicates the interlayer-hybridization being very much amplified by intercalation, with Co magnetic ions probably acting as covalent bridges between NbS$_2$ layers. The strong hybridization between conducting and magnetic degrees of freedom suggests dealing with strongly correlated electron system where the interlayer coupling plays an exquisite role.


title: Statistical significance of the sterile-neutrino hypothesis in the context of reactor and gallium data

abstract: We evaluate the statistical significance of the 3+1 sterile-neutrino hypothesis using $\nu_e$ and $\bar\nu_e$ disappearance data from reactor, solar and gallium radioactive source experiments. Concerning the latter, we investigate the implications of the recent BEST results. For reactor data we focus on relative measurements independent of flux predictions. For the problem at hand, the usual $\chi^2$-approximation to hypothesis testing based on Wilks' theorem has been shown in the literature to be inaccurate. We therefore present results based on Monte Carlo simulations, and find that this typically reduces the significance by roughly $1\,\sigma$ with respect to the na\"ive expectation. We find no significant indication in favor of sterile-neutrino oscillations from reactor data. On the other hand, gallium data (dominated by the BEST result) show more than $5\,\sigma$ of evidence supporting the sterile-neutrino hypothesis, favoring oscillation parameters in agreement with constraints from reactor data. This explanation is, however, in significant tension ($\sim 3\,\sigma$) with solar neutrino experiments. In order to assess the robustness of the signal for gallium experiments we present a discussion of the impact of cross-section uncertainties on the results.


title: Non-Intrusive Binaural Speech Intelligibility Prediction from Discrete Latent Representations

abstract: Non-intrusive speech intelligibility (SI) prediction from binaural signals is useful in many applications. However, most existing signal-based measures are designed to be applied to single-channel signals. Measures specifically designed to take into account the binaural properties of the signal are often intrusive - characterised by requiring access to a clean speech signal - and typically rely on combining both channels into a single-channel signal before making predictions. This paper proposes a non-intrusive SI measure that computes features from a binaural input signal using a combination of vector quantization (VQ) and contrastive predictive coding (CPC) methods. VQ-CPC feature extraction does not rely on any model of the auditory system and is instead trained to maximise the mutual information between the input signal and output features. The computed VQ-CPC features are input to a predicting function parameterized by a neural network. Two predicting functions are considered in this paper. Both feature extractor and predicting functions are trained on simulated binaural signals with isotropic noise. They are tested on simulated signals with isotropic and real noise. For all signals, the ground truth scores are the (intrusive) deterministic binaural STOI. Results are presented in terms of correlations and MSE and demonstrate that VQ-CPC features are able to capture information relevant to modelling SI and outperform all the considered benchmarks - even when evaluating on data comprising of different noise field types.


title: Is the empirical out-of-sample variance an informative risk measure for the high-dimensional portfolios?

abstract: The main contribution of this paper is the derivation of the asymptotic behaviour of the out-of-sample variance, the out-of-sample relative loss, and of their empirical counterparts in the high-dimensional setting, i.e., when both ratios $p/n$ and $p/m$ tend to some positive constants as $m\to\infty$ and $n\to\infty$, where $p$ is the portfolio dimension, while $n$ and $m$ are the sample sizes from the in-sample and out-of-sample periods, respectively. The results are obtained for the traditional estimator of the global minimum variance (GMV) portfolio, for the two shrinkage estimators introduced by \cite{frahm2010} and \cite{bodnar2018estimation}, and for the equally-weighted portfolio, which is used as a target portfolio in the specification of the two considered shrinkage estimators. We show that the behaviour of the empirical out-of-sample variance may be misleading is many practical situations. On the other hand, this will never happen with the empirical out-of-sample relative loss, which seems to provide a natural normalization of the out-of-sample variance in the high-dimensional setup. As a result, an important question arises if this risk measure can safely be used in practice for portfolios constructed from a large asset universe.


title: Tight bounds on the expected number of holes in random point sets

abstract: For integers $d \geq 2$ and $k \geq d+1$, a $k$-hole in a set $S$ of points in general position in $\mathbb{R}^d$ is a $k$-tuple of points from $S$ in convex position such that the interior of their convex hull does not contain any point from $S$. For a convex body $K \subseteq \mathbb{R}^d$ of unit $d$-dimensional volume, we study the expected number $EH^K_{d,k}(n)$ of $k$-holes in a set of $n$ points drawn uniformly and independently at random from $K$. We prove an asymptotically tight lower bound on $EH^K_{d,k}(n)$ by showing that, for all fixed integers $d \geq 2$ and $k\geq d+1$, the number $EH_{d,k}^K(n)$ is at least $\Omega(n^d)$. For some small holes, we even determine the leading constant $\lim_{n \to \infty}n^{-d}EH^K_{d,k}(n)$ exactly. We improve the currently best known lower bound on $\lim_{n \to \infty}n^{-d}EH^K_{d,d+1}(n)$ by Reitzner and Temesvari (2019). In the plane, we show that the constant $\lim_{n \to \infty}n^{-2}EH^K_{2,k}(n)$ is independent of $K$ for every fixed $k \geq 3$ and we compute it exactly for $k=4$, improving earlier estimates by Fabila-Monroy, Huemer, and Mitsche (2015) and by the authors (2020).


title: Flexibility in generating sets of finite groups

abstract: Let G be a finite group. It has recently been proved that every nontrivial element of G is contained in a generating set of minimal size if and only if all proper quotients of G require fewer generators than G. It is natural to ask which finite groups, in addition, have the property that any two elements of G that do not generate a cyclic group can be extended to a generating set of minimal size. This note answers the question. The only such finite groups are very specific affine groups: elementary abelian groups extended by a cyclic group acting as scalars.


title: Knowledge Enhanced Sports Game Summarization

abstract: Sports game summarization aims at generating sports news from live commentaries. However, existing datasets are all constructed through automated collection and cleaning processes, resulting in a lot of noise. Besides, current works neglect the knowledge gap between live commentaries and sports news, which limits the performance of sports game summarization. In this paper, we introduce K-SportsSum, a new dataset with two characteristics: (1) K-SportsSum collects a large amount of data from massive games. It has 7,854 commentary-news pairs. To improve the quality, K-SportsSum employs a manual cleaning process; (2) Different from existing datasets, to narrow the knowledge gap, K-SportsSum further provides a large-scale knowledge corpus that contains the information of 523 sports teams and 14,724 sports players. Additionally, we also introduce a knowledge-enhanced summarizer that utilizes both live commentaries and the knowledge to generate sports news. Extensive experiments on K-SportsSum and SportsSum datasets show that our model achieves new state-of-the-art performances. Qualitative analysis and human study further verify that our model generates more informative sports news.


title: Projective robustness for quantum channels and measurements and their operational significance

abstract: Recently, the projective robustness of quantum states has been introduced in [arXiv:2109.04481(2021)]. It shows that the projective robustness is a useful resource monotone and can comprehensively characterize capabilities and limitations of probabilistic protocols manipulating quantum resources deterministically. In this paper, we will extend the projective robustness to any convex resource theories of quantum channels and measurements. First, We introduce the projective robustness of quantum channels and prove that it satisfies some good properties, especially sub- or supermultiplicativity under any free quantum process. Moreover, we use the projective robustness of channels to give lower bounds on the errors and overheads in any channel resource distillation. Meanwhile, we show that the projective robustness of channels quantifies the maximal advantage that a given channel outperforms all free channels in simultaneous discrimination and exclusion of a fixed state ensemble. Second, we define the projective robustness of quantum measurements and prove that it exactly quantifies the maximal advantage that a given measurement provides over all free measurements in simultaneous discrimination and exclusion of two fixed state ensembles. Finally, within a specific channel resource setting based on measurement incompatibility, we show that the projective robustness of quantum channels coincides with the projective robustness of measurement incompatibility.


title: Processing of optical signals by "surgical" methods for the Gelfand-Levitan-Marchenko equation

abstract: We propose a new method for solving the Gelfand-Levitan-Marchenko equation (GLME) based on the block version of the Toeplitz Inner-Bordering (TIB) with an arbitrary point to start the calculation. This makes it possible to find solutions of the GLME at an arbitrary point with a cutoff of the matrix coefficient, which allows to avoid the occurrence of numerical instability and to perform calculations for soliton solutions spaced apart in the time domain. Using an example of two solitons, we demonstrate our method and its range of applicability. An example of eight solitons shows how the method can be applied to a more complex signal configuration.


title: A unique one-body position operator for periodic systems

abstract: In this work we proof that the one-body position operator for periodic systems that we have recently proposed [Phys. Rev. B 99, 205144] is unique modulo a phase factor and an additive constant. The proof uses several general physical constraints that a periodic one-body position operator should satisfy. We show that these constraints are sufficient to uniquely define a position operator that is compatible with periodic boundary conditions.


title: Information-Theoretic Approach for Model Reduction Over Finite Time Horizon

abstract: This paper presents an information-theoretic approach for model reduction for finite time simulation. Although system models are typically used for simulation over a finite time, most of the metrics (and pseudo-metrics) used for model accuracy assessment consider asymptotic behavior e.g., Hankel singular values and Kullback-Leibler(KL) rate metric. These metrics could further be used for model order reduction. Hence, in this paper, we propose a generalization of KL divergence-based metric called n-step KL rate metric, which could be used to compare models over a finite time horizon. We then demonstrate that the asymptotic metrics for comparing dynamical systems may not accurately assess the model prediction uncertainties over a finite time horizon. Motivated by this finite time analysis, we propose a new pragmatic approach to compute the influence of a subset of states on a combination of states called information transfer (IT). Model reduction typically involves the removal or truncation of states. IT combines the concepts from the n-step KL rate metric and model reduction. Finally, we demonstrate the application of information transfer for model reduction. Although the analysis and definitions presented in this paper assume linear systems, they can be extended for nonlinear systems.


title: Quantum-State-Sensitive Detection of Alkali Dimers on Helium Nanodroplets by Laser-Induced Coulomb Explosion

abstract: Rubidium dimers residing on the surface of He nanodroplets are doubly ionized by an intense fs laser pulse leading to fragmentation into a pair of $\mathrm{Rb^+}$ ions. We show that the kinetic energy of the $\mathrm{Rb^+}$ fragment ions can be used to identify dimers formed in either the X $^1\Sigma_{\mathrm{g}}^+$ ground state or in the lowest-lying triplet state, a $^3\Sigma_{\mathrm{u}}^+$. From the experiment, we estimate the abundance ratio of dimers in the a and X states as a function of the mean droplet size and find values between 4:1 and 5:1. Our technique applies generally to dimers and trimers of alkali atoms, here also demonstrated for $\mathrm{Li_2}$, $\mathrm{Na_2}$, and $\mathrm{K_2}$, and will enable fs time-resolved measurements of their rotational and vibrational dynamics, possibly with atomic structural resolution.


title: Rethinking the modeling of the instrumental response of telescopes with a differentiable optical model

abstract: We propose a paradigm shift in the data-driven modeling of the instrumental response field of telescopes. By adding a differentiable optical forward model into the modeling framework, we change the data-driven modeling space from the pixels to the wavefront. This allows to transfer a great deal of complexity from the instrumental response into the forward model while being able to adapt to the observations, remaining data-driven. Our framework allows a way forward to building powerful models that are physically motivated, interpretable, and that do not require special calibration data. We show that for a simplified setting of a space telescope, this framework represents a real performance breakthrough compared to existing data-driven approaches with reconstruction errors decreasing 5 fold at observation resolution and more than 10 fold for a 3x super-resolution. We successfully model chromatic variations of the instrument's response only using noisy broad-band in-focus observations.


title: Autonomous bot with ML-based reactive navigation for indoor environment

abstract: Local or reactive navigation is essential for autonomous mobile robots which operate in an indoor environment. Techniques such as SLAM, computer vision require significant computational power which increases cost. Similarly, using rudimentary methods makes the robot susceptible to inconsistent behavior. This paper aims to develop a robot that balances cost and accuracy by using machine learning to predict the best obstacle avoidance move based on distance inputs from four ultrasonic sensors that are strategically mounted on the front, front-left, front-right, and back of the robot. The underlying hardware consists of an Arduino Uno and a Raspberry Pi 3B. The machine learning model is first trained on the data collected by the robot. Then the Arduino continuously polls the sensors and calculates the distance values, and in case of critical need for avoidance, a suitable maneuver is made by the Arduino. In other scenarios, sensor data is sent to the Raspberry Pi using a USB connection and the machine learning model generates the best move for navigation, which is sent to the Arduino for driving motors accordingly. The system is mounted on a 2-WD robot chassis and tested in a cluttered indoor setting with most impressive results.


title: Thermodynamics of Hydrogels for Applications to Atmospheric Water Harvesting, Evaporation, and Desalination

abstract: Most thermodynamic modeling of hydrogels focused on predicting their final volumes in equilibrium with water, built on Flory's theories for the entropy of mixing and rubber elasticity, and Donnan's equilibrium conditions if polyelectrolyte polymer and mobile ions are involved. This work will focus on water and ions in and outside hydrogels, which are of interests in solar interfacial water evaporation for desalination and waste water treatment, atmospheric water harvesting, and forward osmosis. Via a reformulation of Flory's classical hydrogel thermodynamic model by considering a combined system consisting of the hydrogel and its ambient, some confusions in previous work will be clarified. The reformulated thermodynamic model shows clearly the high pressure state of water in hydrogels and the coupling between the osmotic pressure and the Donnan potential. The model is applied to study thermodynamic properties of both pure and salty water in non-electrolyte and electrolyte hydrogels such as (1) the latent heat of evaporation, (2) the ability of hydrogels to retain water and to absorb water from the atmosphere, (3) the use of hydrogels for desalination via solar or forward osmosis, (4) the antifouling characteristics of hydrogels, and (5) melting point suppression and boiling point elevation, and solubility of salts in hydrogels. The reformulated thermodynamic framework will also be useful for understanding polymer electrolytes and ion transport in electrochemical and biological systems.


title: LDDMM meets GANs: Generative Adversarial Networks for diffeomorphic registration

abstract: The purpose of this work is to contribute to the state of the art of deep-learning methods for diffeomorphic registration. We propose an adversarial learning LDDMM method for pairs of 3D mono-modal images based on Generative Adversarial Networks. The method is inspired by the recent literature for deformable image registration with adversarial learning. We combine the best performing generative, discriminative, and adversarial ingredients from the state of the art within the LDDMM paradigm. We have successfully implemented two models with the stationary and the EPDiff-constrained non-stationary parameterizations of diffeomorphisms. Our unsupervised and data-hungry approach has shown a competitive performance with respect to a benchmark supervised and rich-data approach. In addition, our method has shown similar results to model-based methods with a computational time under one second.


title: ModelPred: A Framework for Predicting Trained Model from Training Data

abstract: In this work, we propose ModelPred, a framework that helps to understand the impact of changes in training data on a trained model. This is critical for building trust in various stages of a machine learning pipeline: from cleaning poor-quality samples and tracking important ones to be collected during data preparation, to calibrating uncertainty of model prediction, to interpreting why certain behaviors of a model emerge during deployment. Specifically, ModelPred learns a parameterized function that takes a dataset $S$ as the input and predicts the model obtained by training on $S$. Our work differs from the recent work of Datamodels [1] as we aim for predicting the trained model parameters directly instead of the trained model behaviors. We demonstrate that a neural network-based set function class is capable of learning the complex relationships between the training data and model parameters. We introduce novel global and local regularization techniques to prevent overfitting and we rigorously characterize the expressive power of neural networks (NN) in approximating the end-to-end training process. Through extensive empirical investigations, we show that ModelPred enables a variety of applications that boost the interpretability and accountability of machine learning (ML), such as data valuation, data selection, memorization quantification, and model calibration.


title: Heteroclinic traveling waves of 1D parabolic systems with degenerate stable states

abstract: We study the existence of traveling waves for the parabolic system \begin{equation} \partial_t w - \partial_{x}^2 w = -\nabla_{\mathbb{u}} W(w) \mbox{ in } [0,+\infty) \times \mathbb{R} \end{equation} where $W$ is a potential bounded below and possessing two minima at different levels. We say that $\mathfrak{w}$ is a traveling wave solution of the previous equation if there exist $c^\star>0$ and $\mathfrak{u} \in \mathcal{C}^2(\mathbb{R},\mathbb{R}^k)$ such that $\mathfrak{w}(t,x)=\mathfrak{u}(x-ct)$. For a class of potentials $W$, heteroclinic traveling waves of the previous equation where shown to exist by Alikakos and Katzourakis \cite{alikakos-katzourakis}. More precisely, assuming the existence of two local minimizers of $W$ at \textit{different} levels which, in addition, satisfy some non-degeneracy assumptions, the authors in \cite{alikakos-katzourakis} show the existence of a speed $c^\star>0$ and profile $\mathfrak{u} \in \mathcal{C}^2(\mathbb{R},\mathbb{R}^k)$ such that $\mathfrak{u}$ connects the two local minimizers at infinity. In this paper, we show that the non-degeneracy assumption on the local minima can be dropped and replaced by another one which allows for potentials possessing degenerate minima. As we do in \cite{oliver-bonafoux-tw}, our main result is in fact proven for curves which take values in a general Hilbert space and the main result is deduced as a particular case, in the spirit of the earlier works by Monteil and Santambrogio \cite{monteil-santambrogio} and Smyrnelis \cite{smyrnelis} devoted to the existence of stationary heteroclinics.


title: A modified divide-and-conquer based machine learning method for predicting creep life of superalloys

abstract: Recently Liu et al. (Acta Mater., 2020) proposed a new divide-and-conquer based machine learning method for predicting creep life of superalloys. The idea is enlightening though, the prediction accuracy and intelligence remain to be improved. In the present work, we modify the method by adding a dimensionality reduction algorithm before the clustering step and introducing a grid search algorithm to the regression model selection step. As a consequence, the clustering result becomes much more desirable and the accuracy of predicted creep life is dramatically improved. The root-mean-square error, mean-absolute-percentage error and relevant coefficient of the original method are 0.2341, 0.0595 and 0.9121, while those of the modified method are 0.0285, 0.0196, and 0.9806, respectively. Moreover, the ad-hoc determination of hyperparameters in the original method is replaced by automated determination of hyperparameters in the modified method, which considerably improves the intelligence of the method.


title: AutoDC: Automated data-centric processing

abstract: AutoML (automated machine learning) has been extensively developed in the past few years for the model-centric approach. As for the data-centric approach, the processes to improve the dataset, such as fixing incorrect labels, adding examples that represent edge cases, and applying data augmentation, are still very artisanal and expensive. Here we develop an automated data-centric tool (AutoDC), similar to the purpose of AutoML, aims to speed up the dataset improvement processes. In our preliminary tests on 3 open source image classification datasets, AutoDC is estimated to reduce roughly 80% of the manual time for data improvement tasks, at the same time, improve the model accuracy by 10-15% with the fixed ML code.


title: Interpolating Rotations with Non-abelian Kuramoto Model on the 3-Sphere

abstract: The paper presents a novel method for interpolating rotations based on the non-Abelian Kuramoto model on sphere S3. The algorithm, introduced in this paper, finds the shortest and most direct path between two rotations. We have discovered that it gives approximately the same results as a Spherical Linear Interpolation algorithm. Simulation results of our algorithm are visualized on S2 using Hopf fibration. In addition, in order to gain a better insight, we have provided one short video illustrating the rotation of an object between two positions.


title: A Worker-Task Specialization Model for Crowdsourcing: Efficient Inference and Fundamental Limits

abstract: Crowdsourcing system has emerged as an effective platform for labeling data with relatively low cost by using non-expert workers. Inferring correct labels from multiple noisy answers on data, however, has been a challenging problem, since the quality of the answers varies widely across tasks and workers. Many existing works have assumed that there is a fixed ordering of workers in terms of their skill levels, and focused on estimating worker skills to aggregate the answers from workers with different weights. In practice, however, the worker skill changes widely across tasks, especially when the tasks are heterogeneous. In this paper, we consider a new model, called $d$-type specialization model, in which each task and worker has its own (unknown) type and the reliability of each worker can vary in the type of a given task and that of a worker. We allow that the number $d$ of types can scale in the number of tasks. In this model, we characterize the optimal sample complexity to correctly infer the labels within any given accuracy, and propose label inference algorithms achieving the order-wise optimal limit even when the types of tasks or those of workers are unknown. We conduct experiments both on synthetic and real datasets, and show that our algorithm outperforms the existing algorithms developed based on more strict model assumptions.


title: The life, work and legacy of P. L. Chebyshev

abstract: We survey briefly the life and work of P. L. Chebyshev, and his ongoing influence. We discuss his contributions to probability, number theory and mechanics, his pupils and mathematical descendants, and his role as the founding father of Russian mathematics in general and of the Russian school of probability in particular.


title: Development of a low-background neutron detector array

abstract: A low-background neutron detector array was developed to measure the cross section of the $^{13}$C($\alpha$,n)$^{16}$O reaction, which is the neutron source for the $s$-process in AGB stars, in the Gamow window ($E_{c.m.}$ = 190 $\pm$ 40 keV) at the China Jinping Underground Laboratory (CJPL). The detector array consists of 24 $^{3}$He proportional counters embedded in a polyethylene cube. Due to the deep underground location and a borated polyethylene shield around the detector array, a low background of 4.5(2)/hour was achieved. The $^{51}$V(p, n)$^{51}$Cr reaction was used to determine the neutron detection efficiency of the array for neutrons with energy $E_n$ $<$ 1 MeV. Geant4 simulations, which were shown to well reproduce experimental results, were used to extrapolate the detection efficiency to higher energies for neutrons emitted in the $^{13}$C($\alpha$,n) $^{16}$O reaction. The theoretical angular distributions of the $^{13}$C($\alpha$,n)$^{16}$O reaction were shown to be important in estimating the uncertainties of the detection efficiency.


title: CycleQ: An Efficient Basis for Cyclic Equational Reasoning

abstract: We propose a new cyclic proof system for automated, equational reasoning about the behaviour of pure functional programs. The key to the system is the way in which cyclic proof and equational reasoning are mediated by the use of contextual substitution as a cut rule. We show that our system, although simple, already subsumes several of the approaches to implicit induction variously known as "inductionless induction", "rewriting induction", and "proof by consistency". By restricting the form of the traces, we show that global correctness in our system can be verified incrementally, taking advantage of the well-known size-change principle, which leads to an efficient implementation of proof search. Our CycleQ tool, accessible as a GHC plugin, shows promising results on a number of standard benchmarks.


title: On the group theoretical approach to relativistic wave equations for arbitrary spin

abstract: Formulating a relativistic equation for particles with arbitrary spin remains an open challenge in theoretical physics. In this study, the main algebraic approaches used to generalize the Dirac and Kemmer Duffin equations for particles of arbitrary spin are investigated. It is proved that an irreducible relativistic equation formulated using spin matrices satisfying the commutation relations of the anti-de Sitter group leads to inconsistent results, mainly as a consequence of violation of unitarity and the appearance of a mass spectrum that does not reflect the physical reality of elementary particles. However, the introduction of subsidiary conditions resolves the problem of unitarity and restores the physical meaning of the mass spectrum. The equations obtained by these approaches are solved and the physical nature of the solutions is discussed.


title: Serpens: A High Bandwidth Memory Based Accelerator for General-Purpose Sparse Matrix-Vector Multiplication

abstract: Sparse matrix-vector multiplication (SpMV) multiplies a sparse matrix with a dense vector. SpMV plays a crucial role in many applications, from graph analytics to deep learning. The random memory accesses of the sparse matrix make accelerator design challenging. However, high bandwidth memory (HBM) based FPGAs are a good fit for designing accelerators for SpMV. In this paper, we present Serpens, an HBM based accelerator for general-purpose SpMV.Serpens features (1) a general-purpose design, (2) memory-centric processing engines, and (3) index coalescing to support the efficient processing of arbitrary SpMVs. From the evaluation of twelve large-size matrices, Serpens is 1.91x and 1.76x better in terms of geomean throughput than the latest accelerators GraphLiLy and Sextans, respectively. We also evaluate 2,519 SuiteSparse matrices, and Serpens achieves 2.10x higher throughput than a K80 GPU. For the energy/bandwidth efficiency, Serpens is 1.71x/1.99x, 1.90x/2.69x, and 6.25x/4.06x better compared with GraphLily, Sextans, and K80, respectively. After scaling up to 24 HBM channels, Serpens achieves up to 60.55~GFLOP/s (30,204~MTEPS) and up to 3.79x over GraphLily. The code is available at https://github.com/UCLA-VAST/Serpens.


title: Multiple scattering of light in nanoparticle assemblies: user guide for the TERMS program

abstract: We introduce TERMS, an open-source Fortran program to simulate near-field and far-field optical properties of clusters of particles. The program solves rigorously the Maxwell equations via the superposition T-matrix method, where incident and scattered fields are decomposed into series of vector spherical waves. TERMS implements several algorithms to solve the coupled system of multiple scattering equations that describes the electromagnetic interaction between neighbouring scatterers. From this formal solution, the program can compute a number of physically-relevant optical properties, such as far-field cross-sections for extinction, absorption, scattering and their corresponding circular dichroism, as well as local field intensities and degree of optical chirality. By describing the incident and scattered fields in a basis of spherical waves the T-matrix framework lends itself to analytical formulas for orientation-averaged quantities, corresponding to systems of particles in random orientation; TERMS offers such computations for both far-field and near-field quantities of interest. This user guide introduces the program, summarises the relevant theory, and is supplemented by a comprehensive suite of stand-alone examples in the website accompanying the code.


title: Optimization-free Ground Contact Force Constraint Satisfaction in Quadrupedal Locomotion

abstract: We are seeking control design paradigms for legged systems that allow bypassing costly algorithms that depend on heavy on-board computers widely used in these systems and yet being able to match what they can do by using less expensive optimization-free frameworks. In this work, we present our preliminary results in modeling and control design of a quadrupedal robot called \textit{Husky Carbon}, which under development at Northeastern University (NU) in Boston. In our approach, we utilized a supervisory controller and an Explicit Reference Governor (ERG) to enforce ground reaction force constraints. These constraints are usually enforced using costly optimizations. However, in this work, the ERG manipulates the state references applied to the supervisory controller to enforce the ground contact constraints through an updated law based on Lyapunov stability arguments. As a result, the approach is much faster to compute than the widely used optimization-based methods.


title: Microstrip Line Based Complementary Resonant Structure For Dielectric Characterization

abstract: In this work, a complementary resonant structure etched on the ground plane of a microstrip line is proposed for characterizing dielectric materials. The resonant sensor is designed to operate in S-band (2 to 4 GHz). The sensor is designed in an electromagnetic simulator to generate its transmission response, electric and magnetic field maps. A numerical model of the sensor is established to extract the electric permittivity of dielectric samples. The sensor is fabricated on a soft microwave laminate using a rapid photolithography technique. The electric permittivity values of wood, Teflon, and RT/duroid 5880LZ are determined by using the sensor. The permittivity values are found consistent with those available in the literature.


title: Two step clustering for data reduction combining DBSCAN and k-means clustering

abstract: A novel combination of two widely-used clustering algorithms is proposed here for the detection and reduction of high data density regions. The Density Based Spatial Clustering of Applications with Noise (DBSCAN) algorithm is used for the detection of high data density regions and the k-means algorithm for reduction. The proposed algorithm iterates while successively decrementing the DBSCAN search radius, allowing for an adaptive reduction factor based on the effective data density. The algorithm is demonstrated for a physics simulation application, where a surrogate model for fusion reactor plasma turbulence is generated with neural networks. A training dataset for the surrogate model is created with a quasilinear gyrokinetics code for turbulent transport calculations in fusion plasmas. The training set consists of model inputs derived from a repository of experimental measurements, meaning there is a potential risk of over-representing specific regions of this input parameter space. By applying the proposed reduction algorithm to this dataset, this study demonstrates that the training dataset can be reduced by a factor ~20 using the proposed algorithm, without a noticeable loss in the surrogate model accuracy. This reduction provides a novel way of analyzing existing high-dimensional datasets for biases and consequently reducing them, which lowers the cost of re-populating that parameter space with higher quality data.


title: Building Object-based Causal Programs for Human-like Generalization

abstract: We present a novel task that measures how people generalize objects' causal powers based on observing a single (Experiment 1) or a few (Experiment 2) causal interactions between object pairs. We propose a computational modeling framework that can synthesize human-like generalization patterns in our task setting, and sheds light on how people may navigate the compositional space of possible causal functions and categories efficiently. Our modeling framework combines a causal function generator that makes use of agent and recipient objects' features and relations, and a Bayesian non-parametric inference process to govern the degree of similarity-based generalization. Our model has a natural "resource-rational" variant that outperforms a naive Bayesian account in describing participants, in particular reproducing a generalization-order effect and causal asymmetry observed in our behavioral experiments. We argue that this modeling framework provides a computationally plausible mechanism for real world causal generalization.


title: Is time the real line?

abstract: This paper is devoted to discussing the topological structure of the arrow of time. In the literature, it is often accepted that its algebraic and topological structures are that of a one-dimensional Euclidean space $\mathbb{E}^1$, although a critical review on the subject is not easy to be found. Hence, leveraging on an operational approach, we collect evidences to identify it structurally as a normed vector space $(\mathbb{Q}, |\cdot|)$, and take a leap of abstraction to complete it, up to isometries, to the real line. During the development of the paper, the space-time is recognized as a fibration, with the fibers being the sets of simultaneous events. The corresponding topology is also exposed: open sets naturally arise within our construction, showing that the classical space-time is non-Hausdorff. The transition from relativistic to classical regimes is explored too.


title: Kurt G\"odel's reception of Charles Hartshorne's ontological proof

abstract: In 1962 Charles Hartshorne published a modal logic proof formalizing Anselm of Canterbury's ontological argument for the necessary existence of God. This article presents Kurt G\"odel's notes on this proof which have now been discovered in his Nachlass among other theological material, and discusses possible influences on the development of G\"odel's own ontological proof. To complete the picture, strong connections between Anselm of Canterbury's and G\"odel's conceptions of God and his positive properties are pointed out.


title: Series expansion of the overlap reduction function for scalar and vector polarizations for gravitational wave search with pulsar timing arrays

abstract: In our previous work \cite{PTA2} we calculated the overlap reduction function for the tensor polarization without employing the short wavelength approximation, this was done by obtaining a power series of nested sums which is valid for all gravitational wave frequencies and pulsar distances. In this work we generalize the power-series expansion method to vector and scalar polarizations. We have compared our expression for the breathing and vector modes with previous literature. We present for the first time analytic expressions for the overlap reduction function of the longitudinal mode for all angles between the pulsar pairs.


title: Conditional Estimates of Diffusion Processes for Evaluating the Positive Feedback Trading

abstract: Positive feedback trading, which buys when prices rise and sells when prices fall, has long been criticized for being destabilizing as it moves prices away from the fundamentals. Motivated by the relationship between positive feedback trading and investors cognitive bias, this paper provides a quantitative measurement of the bias based on the conditional estimates of diffusion processes. We prove the asymptotic properties of the estimates, which helps to interpret the investment behaviors that if a feedback trader finds a security perform better than his expectation, he will expect the future return to be higher, while in the long term, this bias will converge to zero. Furthermore, the observed deviations between the return forecast and its realized value lead to adaptive expectations in reality, for which we raise an exponential smoothing model as an adjustment method. In the empirical study on the stock market in China, we show the effectiveness of the ES method in bringing the biased expectation closer to the fundamental level, and suggest that the feedback traders, who are often over-optimistic about the return, are likely to suffer from downside risk and aggravate the speculative bubbles in the market.


title: Donnan Equilibrium Revisited: Coupling between Ion Concentrations, Osmotic Pressure, and Donnan Potential

abstract: This paper discusses the little-known fact that Donnan's equilibrium criteria established over 100 years ago neglected the coupling between ion concentrations and the osmotic pressure. Such coupling can be treated based on general thermodynamic considerations including the solvent equilibrium, leading to a membrane potential that consists of not only the classical Donnan potential term but also an additional term due to the osmotic pressure, and the existence of a membrane potential even when the impermeable species are not charged. This coupled treatment is in conflict with the well-established Poisson-Boltzmann equation and Nernst-Planck equation, but is consistent with the extension of these equations including the solvent effects by Freise and Schlogl, enables us to view the electrical double layer equilibrium as Donnan equilibrium.


title: Acoustical Analysis of Speech Under Physical Stress in Relation to Physical Activities and Physical Literacy

abstract: Human speech production encompasses physiological processes that naturally react to physic stress. Stress caused by physical activity (PA), e.g., running, may lead to significant changes in a person's speech. The major changes are related to the aspects of pitch level, speaking rate, pause pattern, and breathiness. The extent of change depends presumably on physical fitness and well-being of the person, as well as intensity of PA. The general wellness of a person is further related to his/her physical literacy (PL), which refers to a holistic description of engagement in PA. This paper presents the development of a Cantonese speech database that contains audio recordings of speech before and after physical exercises of different intensity levels. The corpus design and data collection process are described. Preliminary results of acoustical analysis are presented to illustrate the impact of PA on pitch level, pitch range, speaking and articulation rate, and time duration of pauses. It is also noted that the effect of PA is correlated to some of the PA and PL measures.


title: An accurate algorithm for calibration-free wavelength modulation spectroscopy based on even-order harmonics

abstract: This paper proposes an accurate algorithm to implement calibration-free wavelength modulation spectroscopy based on even-order harmonics. The proposed algorithm, analytically deduced from a much more accurate Voigt function model, enabling not only speedy measurement down to milliseconds, but also a general suitability for various degrees of line-shape broadening. The proposed method is validated by condition-controlled experiment, indicating calculation of gas temperature with the relative error less than 2.4% in the experiments.