title: Learning Neural Contextual Bandits Through Perturbed Rewards

abstract: Thanks to the power of representation learning, neural contextual bandit algorithms demonstrate remarkable performance improvement against their classical counterparts. But because their exploration has to be performed in the entire neural network parameter space to obtain nearly optimal regret, the resulting computational cost is prohibitively high. We perturb the rewards when updating the neural network to eliminate the need of explicit exploration and the corresponding computational overhead. We prove that a $\tilde{O}(\tilde{d}\sqrt{T})$ regret upper bound is still achievable under standard regularity conditions, where $T$ is the number of rounds of interactions and $\tilde{d}$ is the effective dimension of a neural tangent kernel matrix. Extensive comparisons with several benchmark contextual bandit algorithms, including two recent neural contextual bandit models, demonstrate the effectiveness and computational efficiency of our proposed neural bandit algorithm.


title: AI-Driven Demodulators for Nonlinear Receivers in Shared Spectrum with High-Power Blockers

abstract: Research has shown that communications systems and receivers suffer from high power adjacent channel signals, called blockers, that drive the radio frequency (RF) front end into nonlinear operation. Since simple systems, such as the Internet of Things (IoT), will coexist with sophisticated communications transceivers, radars and other spectrum consumers, these need to be protected employing a simple, yet adaptive solution to RF nonlinearity. This paper therefore proposes a flexible data driven approach that uses a simple artificial neural network (ANN) to aid in the removal of the third order intermodulation distortion (IMD) as part of the demodulation process. We introduce and numerically evaluate two artificial intelligence (AI)-enhanced receivers-ANN as the IMD canceler and ANN as the demodulator. Our results show that a simple ANN structure can significantly improve the bit error rate (BER) performance of nonlinear receivers with strong blockers and that the ANN architecture and configuration depends mainly on the RF front end characteristics, such as the third order intercept point (IP3). We therefore recommend that receivers have hardware tags and ways to monitor those over time so that the AI and software radio processing stack can be effectively customized and automatically updated to deal with changing operating conditions.


title: Universal Properties of Weakly Bound Two-Neutron Halo Nuclei

abstract: We construct an effective field theory of a two-neutron halo nucleus in the limit where the two-neutron separation energy $B$ and the neutron-neutron two-body virtual energy $\epsilon_n$ are smaller than any other energy scale in the problem, but the scattering between the core and a single neutron is not fine-tuned, and the Efimov effect does not operate. The theory has one dimensionless coupling which formally runs to a Landau pole in the ultraviolet. We show that many properties of the system are universal in the double fine-tuning limit. The ratio of the mean-square matter radius and charge radius is found to be $\langle r^2_m \rangle/\langle r^2_c\rangle = A f(\epsilon_n/B)$, where $A$ is the mass number of the core and $f$ is a function of the ratio $\epsilon_n/B$ which we find explicitly. In particular, when $B\gg\epsilon_n$, $\langle r^2_m\rangle/\langle r^2_c\rangle = \frac23 A$. The shape of the the $E1$ dipole strength function also depends only on the ratio $\epsilon_n/B$ and is derived in explicit analytic form. We estimate that for the $^{22}$C nucleus higher-order corrections to our theory are of order 20% or less if the two-neutron separation energy is less than 100 keV and the $s$-wave scattering length between a neutron and a $^{20}$C nucleus is less than 2.8 fm.


title: A Novel Temporal Attentive-Pooling based Convolutional Recurrent Architecture for Acoustic Signal Enhancement

abstract: In acoustic signal processing, the target signals usually carry semantic information, which is encoded in a hierarchal structure of short and long-term contexts. However, the background noise distorts these structures in a nonuniform way. The existing deep acoustic signal enhancement (ASE) architectures ignore this kind of local and global effect. To address this problem, we propose to integrate a novel temporal attentive-pooling (TAP) mechanism into a conventional convolutional recurrent neural network, termed as TAP-CRNN. The proposed approach considers both global and local attention for ASE tasks. Specifically, we first utilize a convolutional layer to extract local information of the acoustic signals and then a recurrent neural network (RNN) architecture is used to characterize temporal contextual information. Second, we exploit a novelattention mechanism to contextually process salient regions of the noisy signals. The proposed ASE system is evaluated using a benchmark infant cry dataset and compared with several well-known methods. It is shown that the TAPCRNN can more effectively reduce noise components from infant cry signals in unseen background noises at challenging signal-to-noise levels.


title: Tiered synchronization in coupled oscillator populations with interaction delays and higher-order interactions

abstract: We study synchronization in large populations of coupled phase oscillators with time-delays, higher order interactions. With each of these effects individually giving rise to bistabiltiy between incoherence and synchronization via a subcriticality at the onset of synchronization and the development of a saddle node, we find that their combination yields another mechanism behind bistability, where supercriticality at onset may be maintained and instead the formation of two saddle nodes creates tiered synchronization, i.e., bistability between a weakly synchronized state and a strongly synchronized state. We demonstrate these findings by first deriving the low dimensional dynamics of the system and examining the system bifurcations using a stability and steady-state analysis.


title: Thermal and chemical properties of the eROSITA bubbles from Suzaku observations

abstract: The X-ray bright bubbles at the Galactic Center provide an opportunity to understand the effects of feedback on galaxy evolution. The shells of the eROSITA bubbles show enhanced X-ray emission over the sky background. Previously, these shells were assumed to have a single temperature component and to trace the shock-heated lower-temperature halo gas. Using Suzaku observations, we show that the X-ray emission of the shells is more complex and best described by a two-temperature thermal model: one component close to the Galaxy's virial temperature and the other at super-virial temperatures. Furthermore, we demonstrate that temperatures of the virial and super-virial components are similar in the shells and in the ambient medium, although the emission measures are significantly higher in the shells. This leads us to conclude that the eROSITA bubble shells are X-ray bright because they trace denser gas, not because they are hotter. Given that the pre- and post-shock temperatures are similar and the compression ratio of the shock is high, we rule out that the bubble shells trace adiabatic shocks, in contrast to what was assumed in previous studies. We also observe non-solar Ne/O and Mg/O ratios in the shells, favouring stellar feedback models for the formation of the bubbles and settling a long-standing debate on their origin.


title: Input correlations impede suppression of chaos and learning in balanced rate networks

abstract: Neural circuits exhibit complex activity patterns, both spontaneously and evoked by external stimuli. Information encoding and learning in neural circuits depend on how well time-varying stimuli can control spontaneous network activity. We show that in firing-rate networks in the balanced state, external control of recurrent dynamics, i.e., the suppression of internally-generated chaotic variability, strongly depends on correlations in the input. A unique feature of balanced networks is that, because common external input is dynamically canceled by recurrent feedback, it is far easier to suppress chaos with independent inputs into each neuron than through common input. To study this phenomenon we develop a non-stationary dynamic mean-field theory that determines how the activity statistics and largest Lyapunov exponent depend on frequency and amplitude of the input, recurrent coupling strength, and network size, for both common and independent input. We also show that uncorrelated inputs facilitate learning in balanced networks.


title: Towards Multi-Objective Statistically Fair Federated Learning

abstract: Federated Learning (FL) has emerged as a result of data ownership and privacy concerns to prevent data from being shared between multiple parties included in a training procedure. Although issues, such as privacy, have gained significant attention in this domain, not much attention has been given to satisfying statistical fairness measures in the FL setting. With this goal in mind, we conduct studies to show that FL is able to satisfy different fairness metrics under different data regimes consisting of different types of clients. More specifically, uncooperative or adversarial clients might contaminate the global FL model by injecting biased or poisoned models due to existing biases in their training datasets. Those biases might be a result of imbalanced training set (Zhang and Zhou 2019), historical biases (Mehrabi et al. 2021a), or poisoned data-points from data poisoning attacks against fairness (Mehrabi et al. 2021b; Solans, Biggio, and Castillo 2020). Thus, we propose a new FL framework that is able to satisfy multiple objectives including various statistical fairness metrics. Through experimentation, we then show the effectiveness of this method comparing it with various baselines, its ability in satisfying different objectives collectively and individually, and its ability in identifying uncooperative or adversarial clients and down-weighing their effect


title: Free energy of a diluted spin glass model with quadratic Hamiltonian

abstract: We study a diluted mean-field spin glass model with a quadratic Hamiltonian. Our main result establishes the limiting free energy in terms of an integral of a family of random variables that are the weak limits of the quenched variances of the spins in the system with varying edge connectivity. The key ingredient in our argument is played by the identification of these random variables as the unique solution to a recursive distributional equation. Our results in particular provide the first example of the diluted Shcherbina-Tirozzi model, whose limiting free energy can be derived at any inverse temperature and external field.


title: Faithiful Embeddings for EL++ Knowledge Bases

abstract: Recently, increasing efforts are put into learning continual representations for symbolic knowledge bases (KBs). However, these approaches either only embed the data-level knowledge (ABox) or suffer from inherent limitations when dealing with concept-level knowledge (TBox), i.e., they cannot faithfully model the logical structure present in the KBs. We present BoxEL, a geometric KB embedding approach that allows for better capturing the logical structure (i.e., ABox and TBox axioms) in the description logic EL++. BoxEL models concepts in a KB as axis-parallel boxes that are suitable for modeling concept intersection, entities as points inside boxes, and relations between concepts/entities as affine transformations. We show theoretical guarantees (soundness) of BoxEL for preserving logical structure. Namely, the learned model of BoxEL embedding with loss 0 is a (logical) model of the KB. Experimental results on (plausible) subsumption reasonings and a real-world application for protein-protein prediction show that BoxEL outperforms traditional knowledge graph embedding methods as well as state-of-the-art EL++ embedding approaches.


title: Combination of dissipative and dispersive coupling in the cavity optomechanical systems

abstract: An analysis is given for the Fabry-Perot cavity having a combination of dissipative and dispersive optomechanical coupling. It is established that the combined coupling leads to optical rigidity. At the same time, this rigidity appears in systems with the combined coupling on the resonant pump, which is not typical for pure dispersive and dissipative couplings. A proposal is made to use this system to detect small signal forces with better sensitivity than SQL. It is also demonstrated that this optomechanical system can create ponderomotive squeezing with controllable parameters over a wider range than ponderomotive squeezing using dispersive coupling.


title: Beam Dynamics in Dielectric Laser Acceleration

abstract: We discuss recent developments and challenges of beam dynamics in Dielectric Laser Acceleration (DLA), for both high and low energy electron beams. Starting from ultra-low emittance nanotip sources the paper follows the beam path of a tentative DLA light source concept. Acceleration in conjuction with focusing is discussed in the framework of Alternating Phase Focusing (APF) and spatial harmonic ponderomotive focusing. The paper concludes with an outlook to the beam dynamics in laser driven nanophotonic undulators, based on tilted DLA grating structures.


title: Revisiting magnetotransport in Weyl semimetals

abstract: A series of recent papers have claimed that intranode scattering, alone, can contribute to positive longitudinal magnetoconductance (LMC) due to chiral anomaly (CA) in Weyl semimetals (WSMs). We revisit the problem of CA induced LMC in WSMs, and show that intranode scattering, by itself, does not result in enhancement of LMC. In the limit of zero internode scattering, chiral charge must remain conserved, which is shown to actually decrease LMC. Only in the presence of a non-zero internode scattering (however weak), one obtains a positive LMC due to non-conservation of chiral charge. Even weak internode scattering suffices in generating positive LMC, since it redistributes charges across both the nodes, although on a time scale larger than that of the intranode scattering. Furthermore, our calculations reveal that, in contrast to recent works, in inhomogeneous WSMs strain induced axial magnetic field $B_5$, by itself, leads to negative longitudinal magnetoconductance and a negative planar Hall conductance.


title: Photoproduction of pion pairs at high energy and small angles

abstract: We explore the photoproduction mechanisms for charged and neutral pion pairs off a heavy nucleus at threshold. We calculate the production of charged pairs in the Coulomb field of the nucleus in the Born approximation using explicit expressions for the differential cross sections and their connection with the total cross-section. The production of sigma mesons at threshold and their subsequent decay into pions is an important mechanism and is investigated quantitatively in a framework that can be used for both charged and neutral pions. Sigma mesons can be produced via electromagnetic (photon exchange) or strong (omega exchange) interactions. For neutral pions, another important production mechanism consists of the two-step process where charged pions are produced first and then charge exchange into two neutral pions. Differential and total cross sections are computed for each production mechanism.


title: Ab Initio Nucleic Acid Folding Simulations Using a Physics-Based Atomistic Free Energy Model

abstract: Performing full-resolution atomistic simulations of nucleic acid folding has remained a challenge for biomolecular modeling. Understanding how nucleic acids fold and how they transition between different folded structures as they unfold and refold has important implications for biology. This paper reports a theoretical model and computer simulation of the ab initio folding of DNA inverted repeat sequences. The formulation is based on an all-atom conformational model of the sugar-phosphate backbone via chain closure, and it incorporates three major molecular-level driving forces - base stacking, counterion-induced backbone self-interactions and base pairing - via separate analytical theories designed to capture and reproduce the effects of the solvent without requiring explicit water and ions in the simulation. To accelerate computational throughput, a mixed numerical/analytical algorithm for the calculation of the backbone conformational volume is incorporated into the Monte Carlo simulation, and special stochastic sampling techniques were employed to achieve the computational efficiency needed to fold nucleic acids from scratch. This paper describes implementation details, benchmark results and the advantages and technical challenges with this approach.


title: On vertex decomposability and regularity of graphs

abstract: There are two motivation questions in \cite{MTS, MTS1} about Castelnuovo-Mumford regularity and vertex decomposable of simple graph $G$. In this paper, we disprove the questions by providing of two counterexamples.


title: A genuine Large Magellanic Cloud age gap star cluster

abstract: We confirm the existence of a second Large Magellanic Cloud (LMC) star cluster, KMHK 1592, with an age that falls in the middle of the so-called LMC star cluster age gap, a long period of time (~ 4 - 11 Gyr) where no star cluster had been uncovered, except ESO121-SC03. The age (8.0+-0.5 Gyr) and the metallicity ([Fe/H]=-1.0+-0.2 dex) of KMHK1592 were derived from the fit of theoretical isochrones to the intrinsic star cluster colour-magnitude diagram sequences, which were unveiled using a robust star-by-star membership probability procedure. Because of the relative low brightness of the star cluster, deep GEMINI GMOS images were used. We discuss the pros and cons of three glimpsed scenarios that could explain the presence of both LMC age gap star clusters in the outskirts of the LMC, namely: in-situ star cluster formation, capture from the Small Magellanic Cloud, or accretion of a small dwarf galaxy.


title: Contract design in electricity markets with high penetration of renewables: A two-stage approach

abstract: The interplay between risk aversion and financial derivatives has received increasing attention since the advent of electricity market liberalization. One important challenge in this context is how to develop economically efficient and cost-effective models to integrate renewable energy sources (RES) in the electricity market, which constitutes a relatively new and exciting field of research. This paper proposes a game-theoretical equilibrium model that characterizes the interactions between oligopolistic generators in a two-stage electricity market under the presence of high RES penetration. Given conventional generators with generation cost uncertainty and renewable generators with intermittent and stochastic capacity, we consider a single futures contract market that is cleared prior to a spot market where the energy delivery takes place. We introduce physical and financial contracts to evaluate their performance assess their impact on the electricity market outcomes and examine how these depend on the level of RES penetration. Since market participants are usually risk-averse, a coherent risk measure is introduced to deal with both risk-neutral and risk-averse generators. We derive analytical relationships between contracts, study the implications of uncertainties, test the performance of the proposed equilibrium model and its main properties through numerical examples. Our results show that overall electricity prices, generation costs, profits, and quantities for conventional generators decrease, whereas quantities and profits for RES generators increase with RES penetration. Hence, both physical and financial contracts efficiently mitigate the impact of uncertainties and help the integration of RES into the electricity system.


title: Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

abstract: We introduce a similarity function on formulae of signal temporal logic (STL). It comes in the form of a kernel function, well known in machine learning as a conceptually and computationally efficient tool. The corresponding kernel trick allows us to circumvent the complicated process of feature extraction, i.e. the (typically manual) effort to identify the decisive properties of formulae so that learning can be applied. We demonstrate this consequence and its advantages on the task of predicting (quantitative) satisfaction of STL formulae on stochastic processes: Using our kernel and the kernel trick, we learn (i) computationally efficiently (ii) a practically precise predictor of satisfaction, (iii) avoiding the difficult task of finding a way to explicitly turn formulae into vectors of numbers in a sensible way. We back the high precision we have achieved in the experiments by a theoretically sound PAC guarantee, ensuring our procedure efficiently delivers a close-to-optimal predictor.


title: Euclidean and Affine Curve Reconstruction

abstract: We consider practical aspects of reconstructing planar curves with prescribed Euclidean or affine curvatures. These curvatures are invariant under the special Euclidean group and the equi-affine groups, respectively, and play an important role in computer vision and shape analysis. We discuss and implement algorithms for such reconstruction, and give estimates on how close reconstructed curves are relative to the closeness of their curvatures in appropriate metrics. Several illustrative examples are provided.


title: CS-Baer and dual CS-Baer objects in abelian categories

abstract: We investigate relative CS-Baer objects in abelian categories in relationship with other relevant classes of objects such as relative Baer objects, extending objects, objects having certain summand intersection properties and relative CS-Rickart objects. Dual results are automatically obtained by applying the duality principle in abelian categories. We also study direct sums of relative CS-Baer objects, and we determine the complete structure of dual self-CS-Baer modules over Dedekind domains. Further applications are given to module categories.


title: Just Enough, Just in Time, Just for "Me": Fundamental Principles for Engineering IoT-native Software Systems

abstract: By seamlessly integrating everyday objects and by changing the way we interact with our surroundings, Internet of Things (IoT) is drastically improving the life quality of households and enhancing the productivity of businesses. Given the unique IoT characteristics, IoT applications have emerged distinctively from the mainstream application types. Inspired by the outlook of a programmable world, we further foresee an IoT-native trend in designing, developing, deploying, and maintaining software systems. However, although the challenges of IoT software projects are frequently discussed, addressing those challenges are still in the "crossing the chasm" period. By participating in a few various IoT projects, we gradually distilled three fundamental principles for engineering IoT-native software systems, such as just enough, just in time, and just for "me". These principles target the challenges that are associated with the most typical features of IoT environments, ranging from resource limits to technology heterogeneity of IoT devices. We expect this research to trigger dedicated efforts, techniques and theories for the topic IoT-native software engineering.


title: Learning Optimal Fair Classification Trees: Trade-offs Between Interpretability, Fairness, and Accuracy

abstract: The increasing use of machine learning in high-stakes domains -- where people's livelihoods are impacted -- creates an urgent need for interpretable, fair, and highly accurate algorithms. With these needs in mind, we propose a mixed integer optimization (MIO) framework for learning optimal classification trees -- one of the most interpretable models -- that can be augmented with arbitrary fairness constraints. In order to better quantify the "price of interpretability", we also propose a new measure of model interpretability called decision complexity that allows for comparisons across different classes of machine learning models. We benchmark our method against state-of-the-art approaches for fair classification on popular datasets; in doing so, we conduct one of the first comprehensive analyses of the trade-offs between interpretability, fairness, and predictive accuracy. Given a fixed disparity threshold, our method has a price of interpretability of about 4.2 percentage points in terms of out-of-sample accuracy compared to the best performing, complex models. However, our method consistently finds decisions with almost full parity, while other methods rarely do.


title: Do Smart Glasses Dream of Sentimental Visions? Deep Emotionship Analysis for Eyewear Devices

abstract: Emotion recognition in smart eyewear devices is highly valuable but challenging. One key limitation of previous works is that the expression-related information like facial or eye images is considered as the only emotional evidence. However, emotional status is not isolated; it is tightly associated with people's visual perceptions, especially those sentimental ones. However, little work has examined such associations to better illustrate the cause of different emotions. In this paper, we study the emotionship analysis problem in eyewear systems, an ambitious task that requires not only classifying the user's emotions but also semantically understanding the potential cause of such emotions. To this end, we devise EMOShip, a deep-learning-based eyewear system that can automatically detect the wearer's emotional status and simultaneously analyze its associations with semantic-level visual perceptions. Experimental studies with 20 participants demonstrate that, thanks to the emotionship awareness, EMOShip not only achieves superior emotion recognition accuracy over existing methods (80.2% vs. 69.4%), but also provides a valuable understanding of the cause of emotions. Pilot studies with 20 participants further motivate the potential use of EMOShip to empower emotion-aware applications, such as emotionship self-reflection and emotionship life-logging.


title: Low Complexity Channel estimation with Neural Network Solutions

abstract: Research on machine learning for channel estimation, especially neural network solutions for wireless communications, is attracting significant current interest. This is because conventional methods cannot meet the present demands of the high speed communication. In the paper, we deploy a general residual convolutional neural network to achieve channel estimation for the orthogonal frequency-division multiplexing (OFDM) signals in a downlink scenario. Our method also deploys a simple interpolation layer to replace the transposed convolutional layer used in other networks to reduce the computation cost. The proposed method is more easily adapted to different pilot patterns and packet sizes. Compared with other deep learning methods for channel estimation, our results for 3GPP channel models suggest improved mean squared error performance for our approach.


title: What is the cost of adding a constraint in linear least squares?

abstract: Although the theory of constrained least squares (CLS) estimation is well known, it is usually applied with the view that the constraints to be imposed are unavoidable. However, there are cases in which constraints are optional. For example, in camera color calibration, one of several possible color processing systems is obtained if a constraint on the row sums of a desired color correction matrix is imposed; in this example, it is not clear a priori whether imposing the constraint leads to better system performance. In this paper, we derive an exact expression connecting the constraint to the increase in fitting error obtained from imposing it. As another contribution, we show how to determine projection matrices that separate the measured data into two components: the first component drives up the fitting error due to imposing a constraint, and the second component is unaffected by the constraint. We demonstrate the use of these results in the color calibration problem.


title: Community-based anomaly detection using spectral graph filtering

abstract: Several applications have a community structure where the nodes of the same community share similar attributes. Anomaly or outlier detection in networks is a relevant and widely studied research topic with applications in various domains. Despite a significant amount of anomaly detection frameworks, there is a dearth on the literature of methods that consider both attributed graphs and the community structure of the networks. This paper proposes a community-based anomaly detection algorithm using a spectral graph-based filter that includes the network community structure into the Laplacian matrix adopted as the basis for the Fourier transform. In addition, the choice of the cutoff frequency of the filter considers the number of communities found. In computational experiments, the proposed strategy, called SpecF, showed an outstanding performance in successfully identifying even discrete anomalies. SpecF is better than a baseline disregarding the community structure, especially for networks with a higher community overlapping. Additionally, we present a case study to validate the proposed method to study the dissemination of COVID-19 in the different districts of S\~ao Jos\'e dos Campos, Brazil.


title: On the crystallization Kinetics in Natural Rubber

abstract: In this article, we introduce a framework to investigate the growth of nano-crystallites in a polymer matrix numerically. This framework combines the Flory theory of entropic elasticity with phase-field approaches commonly used to model crystal growth. We investigate in particular the growth kinetics of a crystallite in the presence of topological constraints such as entanglements or cross-links, and show that depending on the coupling between the topological constraints and the growth kinetics various structures can be observed: branched structures looking like spherulites or stable nano-crystallites as observed in strain-induced crystallization.


title: Stochastic homogenization and geometric singularities : a study on corners

abstract: In this contribution we are interested in the quantitative homogenization properties of linear elliptic equations with homogeneous Dirichlet boundary data in polygonal domains with corners. To begin our study of this situation, we consider the setting of an angular sector in 2 dimensions : Unlike in the whole-space, on such a sector there exist non-smooth harmonic functions (these depend on the angle of the sector). Here, we construct extended homogenization correctors corresponding to these harmonic functions and prove growth estimates for these which are quasi-optimal, namely optimal up to a logarithmic loss. Our construction of the corner correctors relies on a large-scale regularity theory for a-harmonic functions in the sector, which we also prove and which, as a by-product, yields a Liouville principle. We also propose a nonstandard 2-scale expansion, which is adapted to the sectoral domain and incorporates the corner correctors. Our final result is a quasi-optimal error estimate for this adapted 2-scale expansion.


title: How hidden 3D structure within crack fronts reveals energy balance

abstract: Griffith's energetic criterion, or `energy balance', has for a century formed the basis for fracture mechanics; the energy flowing into a crack front is precisely balanced by the dissipation (fracture energy) at the front. If the crack front structure is not properly accounted for, energy balance will either appear to fail or lead to unrealistic results. Here, we study the influence of the secondary structure of low-speed crack propagation in hydrogels under tensile loading conditions. We first show that these cracks are bistable; either simple (cracks having no secondary structure) or faceted crack states (formed by steps propagating along crack fronts) can be generated under identical loading conditions. The selection of either crack state is determined by the form of the initial `seed' crack; perfect seed cracks generate simple cracks while a small local mode~III component generates crack fronts having multiple steps. Step coarsening eventually leads to single steps that propagate along crack fronts. As they evolve, steps locally change the instantaneous structure and motion of the crack front, breaking transverse translational invariance. In contrast to simple cracks, faceted cracks can, therefore, no longer be considered as existing in a quasi-2D system. For both simple and faceted cracks we simultaneously measure the energy flux and local dissipation along these crack fronts over velocities, $v$, spanning $0<v<0.2c_R$ ($c_R$ is the Rayleigh wave speed). We find that, in the presence of secondary structure within the crack front, the implementation of energy balance must be generalized for 3D systems; faceted cracks reveal energy balance, only when we account for the local dynamic dissipation at each point along the crack front.


title: Tractability of approximation in the weighted Korobov space in the worst-case setting

abstract: In this paper we consider $L_p$-approximation, $p \in \{2,\infty\}$, of periodic functions from weighted Korobov spaces. In particular, we discuss tractability properties of such problems, which means that we aim to relate the dependence of the information complexity on the error demand $\varepsilon$ and the dimension $d$ to the decay rate of the weight sequence $(\gamma_j)_{j \ge 1}$ assigned to the Korobov space. Some results have been well known since the beginning of this millennium, others have been proven quite recently. We give a survey of these findings and will add some new results on the $L_\infty$-approximation problem. To conclude, we give a concise overview of results and collect a number of interesting open problems.


title: TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities

abstract: The increasing complexity of modern processors poses many challenges to existing hardware verification tools and methodologies for detecting security-critical bugs. Recent attacks on processors have shown the fatal consequences of uncovering and exploiting hardware vulnerabilities. Fuzzing has emerged as a promising technique for detecting software vulnerabilities. Recently, a few hardware fuzzing techniques have been proposed. However, they suffer from several limitations, including non-applicability to commonly used Hardware Description Languages (HDLs) like Verilog and VHDL, the need for significant human intervention, and inability to capture many intrinsic hardware behaviors, such as signal transitions and floating wires. In this paper, we present the design and implementation of a novel hardware fuzzer, TheHuzz, that overcomes the aforementioned limitations and significantly improves the state of the art. We analyze the intrinsic behaviors of hardware designs in HDLs and then measure the coverage metrics that model such behaviors. TheHuzz generates assembly-level instructions to increase the desired coverage values, thereby finding many hardware bugs that are exploitable from software. We evaluate TheHuzz on four popular open-source processors and achieve 1.98x and 3.33x the speed compared to the industry-standard random regression approach and the state-of-the-art hardware fuzzer, DiffuzRTL, respectively. Using TheHuzz, we detected 11 bugs in these processors, including 8 new vulnerabilities, and we demonstrate exploits using the detected bugs. We also show that TheHuzz overcomes the limitations of formal verification tools from the semiconductor industry by comparing its findings to those discovered by the Cadence JasperGold tool.


title: Many-Body Effects in the X-ray Absorption Spectra of Liquid Water

abstract: X-ray absorption spectroscopy (XAS) is a powerful experimental technique to probe the local order in materials with core electron excitations. Experimental interpretation requires supporting theoretical calculations. For water, these calculations are very demanding and, to date, could only be done with major approximations that limited the accuracy of the calculated spectra. This prompted an intense debate on whether a substantial revision of the standard picture of tetrahedrally bonded water was necessary to improve the agreement of theory and experiment. Here, we report a new first-principles calculation of the XAS of water that avoids the approximations of prior work thanks to recent advances in electron excitation theory. The calculated XAS spectra, and their variation with changes of temperature and/or with isotope substitution, are in excellent quantitative agreement with experiments. The approach requires accurate quasi-particle wavefunctions beyond density functional theory approximations, accounts for the dynamics of quasi-particles and includes dynamic screening as well as renormalization effects due to the continuum of valence-level excitations. The three features observed in the experimental spectra are unambiguously attributed to excitonic effects. The pre-edge feature is associated to a bound intramolecular exciton, the main-edge feature is associated to an exciton localized within the coordination shell of the excited molecule, while the post-edge one is delocalized over more distant neighbors, as expected for a resonant state. The three features probe the local order at short, intermediate, and longer range relative to the excited molecule. The calculated spectra are fully consistent with a standard tetrahedral picture of water.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.soft cond-mat.str-el


title: Ancestral Black Holes of Binary Merger GW190521

abstract: GW190521 was the most massive black hole merger discovered by LIGO/Virgo so far, with masses in tension with stellar evolution models. A possible explanation of such heavy black holes is that they themselves are the remnants of previous mergers of lighter black holes. Here we estimate the masses of the ancestral black holes of GW190521, assuming it is the end product of previous mergers. We find that the heaviest parental black holes has a mass of $62^{+21}_{-19}$ M$_\odot$ (90% credible level). We find 78% probability that it is in the $50$ M$_\odot-120$ M$_\odot$ mass gap, indicating that it may also be the end product of a previous merger. We therefore also compute the expected mass distributions of the "grandparent" black holes of GW190521, assuming they existed. Ancestral black hole masses could represent an additional puzzle piece in identifying the origin of LIGO/Virgo/KAGRA's heaviest black holes.


title: The Intrinsic Fragility of the Liquid-Vapor Interface: A Stress Network Perspective

abstract: The evolution of the liquid-vapour interface of a Lennard-Jones fluid is examined with molecular dynamics simulations using the intrinsic sampling method. Results suggest, in agreement with capillary wave theory, clear damping of the density profiles as the temperature is increased. We identify a linear variation of the space-filling nature (fractal dimension) of the stress-clusters at the intrinsic surface with increasing surface tension, or equivalently, with decreasing temperature. A percolation analysis of these stress networks indicates that the stress field is more disjointed at higher temperatures. This leads to more fragile interfaces that result in a reduction in surface tension at higher temperature.


title: ALMA Observations of Molecular Complexity in the Large Magellanic Cloud: The N105 Star-Forming Region

abstract: The Large Magellanic Cloud (LMC) is the nearest laboratory for detailed studies on the formation and survival of complex organic molecules (COMs), including biologically important ones, in low-metallicity environments--typical for earlier cosmological epochs. We report the results of 1.2 mm continuum and molecular line observations of three fields in the star-forming region N105 with the Atacama Large Millimeter/submillimeter Array (ALMA). N105 lies at the western edge of the LMC bar with on-going star formation traced by H$_2$O, OH, and CH$_3$OH masers, ultracompact H II regions, and young stellar objects. Based on the spectral line modeling, we estimated rotational temperatures, column densities, and fractional molecular abundances for twelve 1.2 mm continuum sources. We identified sources with a range of chemical make-ups, including two bona fide hot cores and four hot core candidates. The CH$_3$OH emission is widespread and associated with all the continuum sources. COMs CH$_3$CN and CH$_3$OCH$_3$ are detected toward two hot cores in N105 together with smaller molecules typically found in Galactic hot cores (e.g., SO$_2$, SO, and HNCO) with the molecular abundances roughly scaling with metallicity. We report a tentative detection of the astrobiologically relevant formamide molecule (NH$_2$CHO) toward one of the hot cores; if confirmed, this would be the first detection of NH$_2$CHO in an extragalactic sub-solar metallicity environment. We suggest that metallicity inhomogeneities resulting from the tidal interactions between the LMC and the Small Magellanic Cloud (SMC) might have led to the observed large variations in COM abundances in LMC hot cores.


title: Microphone Utility Estimation in Acoustic Sensor Networks using Single-Channel Signal Features

abstract: In multichannel signal processing with distributed sensors, choosing the optimal subset of observed sensor signals to be exploited is crucial in order to maximize algorithmic performance and reduce computational load, ideally both at the same time. In the acoustic domain, signal cross-correlation is a natural choice to quantify the usefulness of microphone signals, i.e., microphone utility, for array processing, but its estimation requires that the uncoded signals are synchronized and transmitted between nodes. In resource-constrained environments like acoustic sensor networks, low data transmission rates often make transmission of all observed signals to the centralized location infeasible, thus discouraging direct estimation of signal cross-correlation. Instead, we employ characteristic features of the recorded signals to estimate the usefulness of individual microphone signals. In this contribution, we provide a comprehensive analysis of model-based microphone utility estimation approaches that use signal features and, as an alternative, also propose machine learning-based estimation methods that identify optimal sensor signal utility features. The performance of both approaches is validated experimentally using both simulated and recorded acoustic data, comprising a variety of realistic and practically relevant acoustic scenarios including moving and static sources.


title: The effect of Mach number on open cavity flows with thick or thin incoming boundary layers

abstract: The Rossiter modes of an open cavity were studied using global linear analysis and nonlinear numerical simulations. The length over depth ratio was two and the Reynolds numbers based on cavity depth were close to 1000. The effect of Mach on such cavities was studied. The global analysis revealed that, in the Mach range 0.1 to 0.9, for thick boundary layers, only R1 and R2 modes could become unstable, whereas for thin boundary layer up to R4 could be unstable. Compressibility was very destabilizing at low Mach. At moderate Mach the instability either saturated with Mach or had an irregular dependence. Analysis of the Rossiter mode eigenfunctions indicated that the acoustic feedback scaled to Ma^3, and explained the strong destabilizing effect of compressibility. The irregular dependence was associated with resonances between Rossiter modes and acoustic cavity modes. The analysis explained why the irregular Mach dependence occurred only for higher order Rossiter modes. In this parameter region three dimensional modes are stable or marginally unstable. Two-dimensional simulations were performed to evaluate how much of the nonlinear regime could be captured by the linear stability results. As the flow became more unstable, an increasing more complex final stage was reached. Yet the spectra present distinct tones that are close to linear predictions. However, a closer look reveals the dominant frequency in the saturated state corresponds to R1 while linear theory predicts R2 as the most unstable mode. This is associated with a nonlinear thickening of the mixing layer in the nonlinear regime. Moreover, the frequencies are much closer to Rossiter empirical predictions than the linear instability ones. Even at these conditions close to critical, the spectra are well described by the mode R1 and a cascade of nonlinearly generated harmonics, with no reminiscence of the linear instability.


title: ReLSO: A Transformer-based Model for Latent Space Optimization and Generation of Proteins

abstract: The development of powerful natural language models have increased the ability to learn meaningful representations of protein sequences. In addition, advances in high-throughput mutagenesis, directed evolution, and next-generation sequencing have allowed for the accumulation of large amounts of labeled fitness data. Leveraging these two trends, we introduce Regularized Latent Space Optimization (ReLSO), a deep transformer-based autoencoder which features a highly structured latent space that is trained to jointly generate sequences as well as predict fitness. Through regularized prediction heads, ReLSO introduces a powerful protein sequence encoder and novel approach for efficient fitness landscape traversal. Using ReLSO, we explicitly model the sequence-function landscape of large labeled datasets and generate new molecules by optimizing within the latent space using gradient-based methods. We evaluate this approach on several publicly-available protein datasets, including variant sets of anti-ranibizumab and GFP. We observe a greater sequence optimization efficiency (increase in fitness per optimization step) by ReLSO compared to other approaches, where ReLSO more robustly generates high-fitness sequences. Furthermore, the attention-based relationships learned by the jointly-trained ReLSO models provides a potential avenue towards sequence-level fitness attribution information.


title: Leptophilic New Physics and the Cabibbo Angle Anomaly

abstract: The Cabibbo Angle Anomaly, an apparent deficit in first-row CKM unitarity, can be addressed by leptophilic Standard Model extensions that generate new contributions to the Fermi constant and affect the determination of the CKM element $V_{ud}$. We focus on simplified models with this property, including the Standard Model extended by vectorlike leptons, by the singly charged scalar singlet, or by a leptophilic $Z'$ boson.


title: Exploration vs Convergence Speed in Adaptive-bias Enhanced Sampling

abstract: In adaptive-bias enhanced sampling methods, a bias potential is added to the system to drive transitions between metastable states. The bias potential is a function of a few collective variables and is gradually modified according to the underlying free energy surface. We show that when the collective variables are suboptimal, there is an exploration-convergence tradeoff, and one must choose between a quickly converging bias that will lead to fewer transitions, or a slower to converge bias that can explore the phase space more efficiently but might require a much longer time to produce an accurate free energy estimate. The recently proposed On-the-fly Probability Enhanced Sampling (OPES) method focuses on fast convergence, but there are cases where fast exploration is preferred instead. For this reason, we introduce a new variant of the OPES method that focuses on quickly escaping metastable states, at the expense of convergence speed. We illustrate the benefits of this approach on prototypical systems and show that it outperforms the popular metadynamics method.


title: Random Field Optimization

abstract: We present a new modeling paradigm for optimization that we call random field optimization. Random fields are a powerful modeling abstraction that aims to capture the behavior of random variables that live on infinite-dimensional spaces (e.g., space and time) such as stochastic processes (e.g., time series, Gaussian processes, and Markov processes), random matrices, and random spatial fields. This paradigm involves sophisticated mathematical objects (e.g., stochastic differential equations and space-time kernel functions) and has been widely used in neuroscience, geoscience, physics, civil engineering, and computer graphics. Despite of this, however, random fields have seen limited use in optimization; specifically, existing optimization paradigms that involve uncertainty (e.g., stochastic programming and robust optimization) mostly focus on the use of finite random variables. This trend is rapidly changing with the advent of statistical optimization (e.g., Bayesian optimization) and multi-scale optimization (e.g., integration of molecular sciences and process engineering). Our work extends a recently-proposed abstraction for infinite-dimensional optimization problems by capturing more general uncertainty representations. Moreover, we discuss solution paradigms for this new class of problems based on finite transformations and sampling, and identify open questions and challenges.


title: A Deep Learning Approach for the Detection of COVID-19 from Chest X-Ray Images using Convolutional Neural Networks

abstract: The COVID-19 (coronavirus) is an ongoing pandemic caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). The virus was first identified in mid-December 2019 in the Hubei province of Wuhan, China and by now has spread throughout the planet with more than 75.5 million confirmed cases and more than 1.67 million deaths. With limited number of COVID-19 test kits available in medical facilities, it is important to develop and implement an automatic detection system as an alternative diagnosis option for COVID-19 detection that can used on a commercial scale. Chest X-ray is the first imaging technique that plays an important role in the diagnosis of COVID-19 disease. Computer vision and deep learning techniques can help in determining COVID-19 virus with Chest X-ray Images. Due to the high availability of large-scale annotated image datasets, great success has been achieved using convolutional neural network for image analysis and classification. In this research, we have proposed a deep convolutional neural network trained on five open access datasets with binary output: Normal and Covid. The performance of the model is compared with four pre-trained convolutional neural network-based models (COVID-Net, ResNet18, ResNet and MobileNet-V2) and it has been seen that the proposed model provides better accuracy on the validation set as compared to the other four pre-trained models. This research work provides promising results which can be further improvise and implement on a commercial scale.


title: Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study

abstract: Efficiency is essential to support responsiveness w.r.t. ever-growing datasets, especially for Deep Learning (DL) systems. DL frameworks have traditionally embraced deferred execution-style DL code that supports symbolic, graph-based Deep Neural Network (DNN) computation. While scalable, such development tends to produce DL code that is error-prone, non-intuitive, and difficult to debug. Consequently, more natural, less error-prone imperative DL frameworks encouraging eager execution have emerged but at the expense of run-time performance. While hybrid approaches aim for the "best of both worlds," the challenges in applying them in the real world are largely unknown. We conduct a data-driven analysis of challenges -- and resultant bugs -- involved in writing reliable yet performant imperative DL code by studying 250 open-source projects, consisting of 19.7 MLOC, along with 470 and 446 manually examined code patches and bug reports, respectively. The results indicate that hybridization: (i) is prone to API misuse, (ii) can result in performance degradation -- the opposite of its intention, and (iii) has limited application due to execution mode incompatibility. We put forth several recommendations, best practices, and anti-patterns for effectively hybridizing imperative DL code, potentially benefiting DL practitioners, API designers, tool developers, and educators.


title: BIM LOD + Virtual Reality -- Using Game Engine for Visualization in Architectural & Construction Education

abstract: Architectural Education faces limitations due to its tactile approach to learning in classrooms with only 2-D and 3-D tools. At a higher level, virtual reality provides a potential for delivering more information to individuals undergoing design learning. This paper investigates a hypothesis establishing grounds towards a new research in Building Information Modeling (BIM) and Virtual Reality (VR). The hypothesis is projected to determine best practices for content creation and tactile object virtual interaction, which potentially can improve learning in architectural & construction education with a less costly approach and ease of access to well-known buildings. We explored this hypothesis in a step-by-step game design demonstration in VR, by showcasing the exploration of the Farnsworth House and reproducing assemblage of the same with different game levels of difficulty which correspond with varying BIM levels of development (LODs). The game design prototype equally provides an entry way and learning style for users with or without a formal architectural or construction education seeking to understand design tectonics within diverse or cross-disciplinary study cases. This paper shows that developing geometric abstract concepts of design pedagogy, using varying LODs for game content and levels, while utilizing newly developed features such as snap-to-grid, snap-to-position and snap-to-angle to improve user engagement during assemblage may provide deeper learning objectives for architectural precedent study.


title: A New Algebraic Approach for String Reconstruction from Substring Compositions

abstract: We consider the problem of binary string reconstruction from the multiset of its substring compositions, i.e., referred to as the substring composition multiset, first introduced and studied by Acharya et al. We introduce a new algorithm for the problem of string reconstruction from its substring composition multiset which relies on the algebraic properties of the equivalent bivariate polynomial formulation of the problem. We then characterize specific algebraic conditions for the binary string to be reconstructed that guarantee the algorithm does not require any backtracking through the reconstruction, and, consequently, the time complexity is bounded polynomially. More specifically, in the case of no backtracking, our algorithm has a time complexity of $O(n^2)$ compared to the algorithm by Acharya et al., which has a time complexity of $O(n^2\log(n))$, where $n$ is the length of the binary string. Furthermore, it is shown that larger sets of binary strings are uniquely reconstructable by the new algorithm and without the need for backtracking leading to codebooks of reconstruction codes that are larger, by a linear factor in size, compared to the previously known construction by Pattabiraman et al., while having $O(n^2)$ reconstruction complexity.


title: DRAWNAPART: A Device Identification Technique based on Remote GPU Fingerprinting

abstract: Browser fingerprinting aims to identify users or their devices, through scripts that execute in the users' browser and collect information on software or hardware characteristics. It is used to track users or as an additional means of identification to improve security. In this paper, we report on a new technique that can significantly extend the tracking time of fingerprint-based tracking methods. Our technique, which we call DrawnApart, is a new GPU fingerprinting technique that identifies a device based on the unique properties of its GPU stack. Specifically, we show that variations in speed among the multiple execution units that comprise a GPU can serve as a reliable and robust device signature, which can be collected using unprivileged JavaScript. We investigate the accuracy of DrawnApart under two scenarios. In the first scenario, our controlled experiments confirm that the technique is effective in distinguishing devices with similar hardware and software configurations, even when they are considered identical by current state-of-the-art fingerprinting algorithms. In the second scenario, we integrate a one-shot learning version of our technique into a state-of-the-art browser fingerprint tracking algorithm. We verify our technique through a large-scale experiment involving data collected from over 2,500 crowd-sourced devices over a period of several months and show it provides a boost of up to 67% to the median tracking duration, compared to the state-of-the-art method. DrawnApart makes two contributions to the state of the art in browser fingerprinting. On the conceptual front, it is the first work that explores the manufacturing differences between identical GPUs and the first to exploit these differences in a privacy context. On the practical front, it demonstrates a robust technique for distinguishing between machines with identical hardware and software configurations.


title: Mode Competition in a Plunging Foil with an Active Flap: A Multi-Scale Modal Analysis Approach

abstract: The flow-induced flutter has a significant role in aircraft stability, renewable energy extraction, animal locomotion, among many other applications. While being a ubiquitous phenomenon, the control of the flutter response has been primarily limited to simplified systems and, often, with the help of linear inviscid flow theories. In this paper, we numerically investigate how the plunging response of a foil can be regulated using an active flap to improve structural safety or enhance the energy extraction efficiency of the foil with a tightly coupled fluid-structure interaction algorithm. A broad range of foil and flap settings was tested and their flow dynamics have been investigated. A novel multi-scale modal analysis technique suitable for fluid-structure interaction systems successfully isolates the active flap-induced and the flow-induced modes. It is observed that the competition between these two modes dictates the plunging response of the foil. The active flap can modulate the leading edge vortex shedding with larger flapping amplitude and regulate the foil heaving motion. The ratio of the competing modal energy is proposed to evaluate the control efficacy of the morphing surface, and the onset of the lock-in is associated with the ratio approaching unity. It is shown that the morphing flap is a good candidate for active flow control.


title: Risk of SARS-CoV-2 in a car cabin assessed through 3D CFD simulations

abstract: In this paper the risk of infection from SARS-CoV-2 Delta variant of passengers sharing a car cabin with an infected subject for a 30-min journey is estimated through an integrated approach combining a recently developed predictive emission-to-risk approach and a validated CFD numerical model numerically solved using the open-source OpenFOAM software. Different scenarios were investigated to evaluate the effect of the infected subject position within the car cabin, the air flow rate of the HVAC system, the HVAC ventilation mode, and the expiratory activity (breathing vs. speaking). The numerical simulations here performed reveal that the risk of infection is strongly influenced by several key parameter: as an example, under the same ventilation mode and emitting scenario, the risk of infection ranges from zero to roughly 50% as a function of the HVAC flow rate. The results obtained also demonstrate that: (i) simplified zero-dimensional approaches limit proper evaluation of the risk in such confined spaces, conversely, (ii) CFD approaches are needed to investigate the complex fluid-dynamics in similar indoor environments, and, thus, (iii) the risk of infection in indoor environments characterized by fixed seats can be in principle controlled by properly designing the flow patterns of the environment.


title: Acoustic phonon dispersion of $\alpha$-RuCl$_3$

abstract: Acoustic phonons have recently been posited as playing an integral role in explaining the half-quantized thermal Hall effect in $\alpha$-RuCl$_3$. Therefore, we present much needed inelastic x-ray scattering measurements of its acoustic phonon dispersion, along with calculations using the frozen-phonon method. We also discuss a temperature study which conclusively shows a first-order structural transition to a non-$C2/m$ space group at low temperature. Together these results are an important backbone for future theoretical and experimental studies of $\alpha$-RuCl$_3$.


title: Symbiotic bacterial network structure involved in carbon and nitrogen metabolism of wood-utilizing insect larvae

abstract: Effective biological utilization of wood biomass is necessary worldwide. Since several insect larvae can use wood biomass as a nutrient source, studies on their digestive mechanism are expected to speculate a novel rule in wood biomass processing. Here, the relationships of inhabitant bacteria involved in carbon and nitrogen metabolism in the intestine of beetle larvae, an insect model, are investigated. Bacterial analysis of larval feces showed enrichment of members of which could include candidates for plant growth promotion, nitrogen cycle modulation, and/or environmental protection. The abundances of these bacteria were not necessarily positively correlated with the abundance in the habitat, suggesting that they might be selectively enriched in the intestines of larvae. Further association analysis predicted that carbon and nitrogen metabolism in the intestine was affected by the presence of the other common bacteria, the populations of which were not remarkably altered in the habitat and feces. Based on hypotheses targeting these selected bacterial groups, structural estimation modeling analyses statistically suggested that their metabolism of carbon and nitrogen and their stable isotopes, {\delta}13C and {\delta}15N, may be associated with fecal enriched bacteria and other common bacteria. In addition, other causal inference analyses, such as causal mediation analysis, linear non-Gaussian acyclic model (LiNGAM), and BayesLiNGAM, did not necessarily affirm the existence of prominent bacteria involved in metabolism, implying its importance as the bacterial groups for metabolism rather than a remarkable bacterium. Thus, these observations highlight a multifaceted view of symbiotic bacterial groups utilizing carbon and nitrogen from wood biomass in insect larvae as a cultivator of potentially environmentally beneficial bacteria.


title: co-Hopfian Modules

abstract: If $R$ is a ring with 1, we call a unital left $R$-module $M$ co-Hopfian (Hopfian) in the category of left $R$-modules if any monic (epic) endomorphism of $M$ is an automorphism. For commutative Noetherian $R$ we use results of Matlis to show that in a certain context every submodule of a co-Hopfian injective module is co-Hopfian. For these same $R,$ we characterize when a finitely generated co-Hopfian module has finite length. We describe the structure of Hopfian and co-Hopfian abelian groups whose torsion subgroup is cotorsion.


title: BPS cohomology for rank 2 degree 0 Higgs bundles (and more)

abstract: We give a formula comparing the E-series of the moduli stacks of rank 2 degree 0 semistable Higgs bundles in genus $g \geq 2$ to intersection E-polynomials of its coarse moduli space. A parellel formula holds in various 2-Calabi-Yau settings, for example for sheaves on K3 surfaces, or preprojective algebras of $g$-loop quivers. As a consequence we provide evidence for a conjecture of Davison on the BPS cohomology of Higgs bundles, which has implications for non-abelian Hodge theory for stacks. We apply the formula to cohomological $\chi$-independence tests for BPS cohomology of Higgs bundles and K3 surfaces.


title: TOI-3714 b and TOI-3629 b: Two gas giants transiting M dwarfs confirmed with HPF and NEID

abstract: We confirm the planetary nature of two gas giants discovered by TESS to transit M dwarfs. TOI-3714 ($V=15.24,~J=11.74$) is an M2 dwarf hosting a hot Jupiter ($M_p=0.70 \pm 0.03~\mathrm{M_J}$ and $R_p=1.01 \pm 0.03~\mathrm{R_J}$) on an orbital period of $2.154849 \pm 0.000001$ days with a resolved white dwarf companion. TOI-3629 ($V=14.63,~J=11.42$) is an M1 dwarf hosting a hot Jupiter ($M_p=0.26 \pm 0.02~\mathrm{M_J}$ and $R_p=0.74 \pm 0.02~\mathrm{R_J}$) on an orbital period of $3.936551_{-0.000006}^{+0.000005}$ days. We characterize each transiting companion using a combination of ground-based and space-based photometry, speckle imaging, and high-precision velocimetry from the Habitable-zone Planet Finder and the NEID spectrographs. With the discovery of these two systems, there are now nine M dwarfs known to host transiting hot Jupiters. Among this population, TOI-3714 b ($T_{eq}=750\pm20$ K and $\mathrm{TSM}=98\pm7$) and TOI-3629 b ($T_{eq}=690\pm20$ K and $\mathrm{TSM}=80\pm9$) are warm gas giants amenable to additional characterization with transmission spectroscopy to probe atmospheric chemistry and, for TOI-3714, obliquity measurements to probe formation scenarios.


title: Phase front retrieval and correction of Bessel beams

abstract: Bessel beams generated with non-ideal axicons are affected by aberrations. We introduce a method to retrieve the complex amplitude of a Bessel beam from intensity measurements alone, and then use this information to correct the wavefront and intensity profile using a deformable mirror.


title: Decentralized EM to Learn Gaussian Mixtures from Datasets Distributed by Features

abstract: Expectation Maximization (EM) is the standard method to learn Gaussian mixtures. Yet its classic, centralized form is often infeasible, due to privacy concerns and computational and communication bottlenecks. Prior work dealt with data distributed by examples, horizontal partitioning, but we lack a counterpart for data scattered by features, an increasingly common scheme (e.g. user profiling with data from multiple entities). To fill this gap, we provide an EM-based algorithm to fit Gaussian mixtures to Vertically Partitioned data (VP-EM). In federated learning setups, our algorithm matches the centralized EM fitting of Gaussian mixtures constrained to a subspace. In arbitrary communication graphs, consensus averaging allows VP-EM to run on large peer-to-peer networks as an EM approximation. This mismatch comes from consensus error only, which vanishes exponentially fast with the number of consensus rounds. We demonstrate VP-EM on various topologies for both synthetic and real data, evaluating its approximation of centralized EM and seeing that it outperforms the available benchmark.


title: Classification Of Fake News Headline Based On Neural Networks

abstract: Over the last few years, Text classification is one of the fundamental tasks in natural language processing (NLP) in which the objective is to categorize text documents into one of the predefined classes. The news is full of our life. Therefore, news headlines classification is a crucial task to connect users with the right news. The news headline classification is a kind of text classification, which can be generally divided into three mainly parts: feature extraction, classifier selection, and evaluations. In this article, we use the dataset, containing news over a period of eighteen years provided by Kaggle platform to classify news headlines. We choose TF-IDF to extract features and neural network as the classifier, while the evaluation metrics is accuracy. From the experiment result, it is obvious that our NN model has the best performance among these models in the metrics of accuracy. The higher the accuracy is, the better performance the model will gain. Our NN model owns the accuracy 0.8622, which is highest accuracy among these four models. And it is 0.0134, 0.033, 0.080 higher than its of other models.


title: Attacks and Defenses for Free-Riders in Multi-Discriminator GAN

abstract: Generative Adversarial Networks (GANs) are increasingly adopted by the industry to synthesize realistic images. Due to data not being centrally available, Multi-Discriminator (MD)-GANs training framework employs multiple discriminators that have direct access to the real data. Distributedly training a joint GAN model entails the risk of free-riders, i.e., participants that aim to benefit from the common model while only pretending to participate in the training process. In this paper, we conduct the first characterization study of the impact of free-riders on MD-GAN. Based on two production prototypes of MD-GAN, we find that free-riders drastically reduce the ability of MD-GANs to produce images that are indistinguishable from real data, i.e., they increase the FID score -- the standard measure to assess the quality of generated images. To mitigate the model degradation, we propose a defense strategy against free-riders in MD-GAN, termed DFG. DFG distinguishes free-riders and benign participants through periodic probing and clustering of discriminators' responses based on a reference response of free-riders, which then allows the generator to exclude the detected free-riders from the training. Furthermore, we extend our defense, termed DFG+, to enable discriminators to filter out free-riders at the variant of MD-GAN that allows peer exchanges of discriminators networks. Extensive evaluation on various scenarios of free-riders, MD-GAN architecture, and three datasets show that our defenses effectively detect free-riders. With 1 to 5 free-riders, DFG and DFG+ averagely decreases FID by 5.22% to 11.53% for CIFAR10 and 5.79% to 13.22% for CIFAR100 in comparison to an attack without defense. In a shell, the proposed DFG(+) can effectively defend against free-riders without affecting benign clients at a negligible computation overhead.


title: ImpliCity: City Modeling from Satellite Images with Deep Implicit Occupancy Fields

abstract: High-resolution optical satellite sensors, combined with dense stereo algorithms, have made it possible to reconstruct 3D city models from space. However, these models are, in practice, rather noisy and tend to miss small geometric features that are clearly visible in the images. We argue that one reason for the limited quality may be a too early, heuristic reduction of the triangulated 3D point cloud to an explicit height field or surface mesh. To make full use of the point cloud and the underlying images, we introduce ImpliCity, a neural representation of the 3D scene as an implicit, continuous occupancy field, driven by learned embeddings of the point cloud and a stereo pair of ortho-photos. We show that this representation enables the extraction of high-quality DSMs: with image resolution 0.5$\,$m, ImpliCity reaches a median height error of $\approx\,$0.7$\,$m and outperforms competing methods, especially w.r.t. building reconstruction, featuring intricate roof details, smooth surfaces, and straight, regular outlines.


title: Monadic Monadic Second Order Logic

abstract: One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective letter-to-letter homomorphisms. This closure property holds for structures such as finite words, finite trees, infinite words, infinite trees, elements of the free group, etc. Such structures can be modelled using monads. In this paper, we study which structures (understood via monads in the category of sets) are such that the class of regular languages (i.e. languages recognized by finite algebras) are closed under direct images of surjective letter-to-letter homomorphisms. We provide diverse sufficient conditions for a monad to satisfy this property. We also present numerous examples of monads, including positive examples that do not satisfy our sufficient conditions, and counterexamples where the closure property fails.


title: A Stochastic Process Model for Time Warping Functions

abstract: Time warping function provides a mathematical representation to measure phase variability in functional data. Recent studies have developed various approaches to estimate optimal warping between functions and provide non-Euclidean models. However, a principled, linear, generative model on time warping functions is still under-explored. This is a highly challenging problem because the space of warping functions is non-linear with the conventional Euclidean metric. To address this problem, we propose a stochastic process model for time warping functions, where the key is to define a linear, inner-product structure on the time warping space and then transform the warping functions into a sub-space of the $\mathbb L^2$ Euclidean space. With certain constraints on the warping functions, this transformation is an isometric isomorphism. In the transformed space, we adopt the $\mathbb L^2$ basis in the Hilbert space for representation. This new framework can easily build generative model on time warping by using different types of stochastic process. It can also be used to conduct statistical inferences such as functional PCA, functional ANOVA, and functional regressions. Furthermore, we demonstrate the effectiveness of this new framework by using it as a new prior in the Bayesian registration, and propose an efficient gradient method to address the important maximum a posteriori estimation. We illustrate the new Bayesian method using simulations which properly characterize nonuniform and correlated constraints in the time domain. Finally, we apply the new framework to the famous Berkeley growth data and obtain reasonable results on modeling, resampling, group comparison, and classification analysis.


title: Definably amenable groups in Continuous logic

abstract: We generalize the notions of definable amenability and extreme definable amenability to continuous structures and show that the stable and ultracompact groups are definable amenable. In addition, we characterize both notions in terms of fixed-point properties. We prove that, for dependent theories, definable amenability is equivalent to the existence of a good S1 ideal. Finally, we show the randomizations of first-order definable amenable groups are extremely definably amenable.


title: COVID-19 Detection Using CT Image Based On YOLOv5 Network

abstract: Computer aided diagnosis (CAD) increases diagnosis efficiency, helping doctors providing a quick and confident diagnosis, it has played an important role in the treatment of COVID19. In our task, we solve the problem about abnormality detection and classification. The dataset provided by Kaggle platform and we choose YOLOv5 as our model. We introduce some methods on objective detection in the related work section, the objection detection can be divided into two streams: onestage and two stage. The representational model are Faster RCNN and YOLO series. Then we describe the YOLOv5 model in the detail. Compared Experiments and results are shown in section IV. We choose mean average precision (mAP) as our experiments' metrics, and the higher (mean) mAP is, the better result the model will gain. mAP@0.5 of our YOLOv5s is 0.623 which is 0.157 and 0.101 higher than Faster RCNN and EfficientDet respectively.


title: The Vehicle Trajectory Prediction Based on ResNet and EfficientNet Model

abstract: At present, a major challenge for the application of automatic driving technology is the accurate prediction of vehicle trajectory. With the vigorous development of computer technology and the emergence of convolution depth neural network, the accuracy of prediction results has been improved. But, the depth, width of the network and image resolution are still important reasons that restrict the accuracy of the model and the prediction results. The main innovation of this paper is the combination of RESNET network and efficient net network, which not only greatly increases the network depth, but also comprehensively changes the choice of network width and image resolution, so as to make the model performance better, but also save computing resources as much as possible. The experimental results also show that our proposed model obtains the optimal prediction results. Specifically, the loss value of our method is separately 4 less and 2.1 less than that of resnet and efficientnet method.


title: Generating Clarifying Questions for Query Refinement in Source Code Search

abstract: In source code search, a common information-seeking strategy involves providing a short initial query with a broad meaning, and then iteratively refining the query using terms gleaned from the results of subsequent searches. This strategy requires programmers to spend time reading search results that are irrelevant to their development needs. In contrast, when programmers seek information from other humans, they typically refine queries by asking and answering clarifying questions. Clarifying questions have been shown to benefit general-purpose search engines, but have not been examined in the context of code search. We present a method for generating natural-sounding clarifying questions using information extracted from function names and comments. Our method outperformed a keyword-based method for single-turn refinement in synthetic studies, and was associated with shorter search duration in human studies.


title: Learning Task-Parameterized Skills from Few Demonstrations

abstract: Moving away from repetitive tasks, robots nowadays demand versatile skills that adapt to different situations. Task-parameterized learning improves the generalization of motion policies by encoding relevant contextual information in the task parameters, hence enabling flexible task executions. However, training such a policy often requires collecting multiple demonstrations in different situations. To comprehensively create different situations is non-trivial thus renders the method less applicable to real-world problems. Therefore, training with fewer demonstrations/situations is desirable. This paper presents a novel concept to augment the original training dataset with synthetic data for policy improvements, thus allows learning task-parameterized skills with few demonstrations.


title: Novel Blood Pressure Waveform Reconstruction from Photoplethysmography using Cycle Generative Adversarial Networks

abstract: Continuous monitoring of blood pressure (BP)can help individuals manage their chronic diseases such as hypertension, requiring non-invasive measurement methods in free-living conditions. Recent approaches fuse Photoplethysmograph (PPG) and electrocardiographic (ECG) signals using different machine and deep learning approaches to non-invasively estimate BP; however, they fail to reconstruct the complete signal, leading to less accurate models. In this paper, we propose a cycle generative adversarial network (CycleGAN) based approach to extract a BP signal known as ambulatory blood pressure (ABP) from a clean PPG signal. Our approach uses a cycle generative adversarial network that extends theGAN architecture for domain translation, and outperforms state-of-the-art approaches by up to 2x in BP estimation.


title: High throughput inverse design and Bayesian optimization of functionalities: spin splitting in two-dimensional compounds

abstract: The development of spintronic devices demands the existence of materials with some kind of spin splitting (SS). In this Data Descriptor, we build a database of ab initio calculated SS in 2D materials. More than that, we propose a workflow for materials design integrating an inverse design approach and a Bayesian inference optimization. We use the prediction of SS prototypes for spintronic applications as an illustrative example of the proposed workflow. The prediction process starts with the establishment of the design principles (the physical mechanism behind the target properties), that are used as filters for materials screening, and followed by density functional theory (DFT) calculations. Applying this process to the C2DB database, we identify and classify 358 2D materials according to SS type at the valence and/or conduction bands. The Bayesian optimization captures trends that are used for the rationalized design of 2D materials with the ideal conditions of band gap and SS for potential spintronics applications. Our workflow can be applied to any other material property.


title: An empirical model for feedforward control of laser powder bed fusion

abstract: While considerable progress has recently been made in real-time melt pool monitoring for laser powder bed fusion (LPBF), results in in-situ melt pool control are relatively sparse, a major reason being lack of suitable control-oriented models. This study demonstrates an empirical control-oriented model of geometry-dependent melt pool behavior, and subsequent melt pool regulation with a model-based feedforward controller for laser power. First, it shows that the melt pool "footprint" exponentially increases when the scan lines become shorter. The empirical model of this behavior is developed and validated on different geometries at different laser power levels. Second, the developed model is used to design a feedforward controller for obtaining optimal laser power profiles. This controller is then validated experimentally and is demonstrated to suppress the in-layer geometry-related melt pool signal deviations, for different part geometries.


title: Endpoint Detection for Streaming End-to-End Multi-talker ASR

abstract: Streaming end-to-end multi-talker speech recognition aims at transcribing the overlapped speech from conversations or meetings with an all-neural model in a streaming fashion, which is fundamentally different from a modular-based approach that usually cascades the speech separation and the speech recognition models trained independently. Previously, we proposed the Streaming Unmixing and Recognition Transducer (SURT) model based on recurrent neural network transducer (RNN-T) for this problem and presented promising results. However, for real applications, the speech recognition system is also required to determine the timestamp when a speaker finishes speaking for prompt system response. This problem, known as endpoint (EP) detection, has not been studied previously for multi-talker end-to-end models. In this work, we address the EP detection problem in the SURT framework by introducing an end-of-sentence token as an output unit, following the practice of single-talker end-to-end models. Furthermore, we also present a latency penalty approach that can significantly cut down the EP detection latency. Our experimental results based on the 2-speaker LibrispeechMix dataset show that the SURT model can achieve promising EP detection without significantly degradation of the recognition accuracy.


title: Color-flavor dependence of the Nambu-Jona-Lasinio model and QCD phase diagram

abstract: We study the dynamical chiral symmetry breaking/restoration for the various numbers of light quarks flavors $N_f$ and colors $N_c$, using the Nambu-Jona-Lasinio (NJL) model of quarks, dressed with a color-flavor dependence of effective coupling. Initially, we set $N_f = 2$, and varying the number of colors $N_c$, we find that the dynamical chiral symmetry is broken when $N_c$ exceeds to its critical value $N^{c}_{c}\approx2.2$. Secondly, we take $N_c = 3$, and varying $N_f$, we observed that the dynamical chiral symmetry is restored when $N_f$ reaches to its critical value $N^{c}_{f}\approx8$. The strong interplay observed between $N_c$ and $N_f$, i.e., $N_c$ anti-screens the strong interactions by strengthening the dynamical mass and quark-antiquark condensate, while $N_f$ screens the strong interaction by suppressing both the parameters. We further sketch the quantum chromodynamics (QCD) phase diagram at finite temperature $T$ and quark chemical potential $\mu$ for various $N_c$ and $N_f$. At finite $T$ and $\mu$, we observed that the critical number of colors $N^{c}_c$ enhances while the critical number of flavors $N^{c}_f$ suppresses as $T$ and $\mu$ increases. Of course, the parameters $T$ and $\mu$ produce the screening effect. Consequently, the critical temperature $T_c$, $\mu_c$ and co-ordinates of the critical endpoint $(T^{E}_c,\mu^{E}_c)$ in the QCD phase diagram enhances as $N_c$ increases while suppresses when $N_f$ increases. Our findings agree with the Lattice QCD and Schwinger-Dyson equations predictions.


title: Cauchy-Riemann operators and local slice analysis over real alternative algebras

abstract: We prove some formulas relating Cauchy-Riemann operators defined on hypercomplex subspaces of an alternative *-algebra to a differential operator associated with the concept of slice-regularity and to the spherical Dirac operator. These results in particular allow to introduce a definition of locally slice-regular function and open the path for local slice analysis. Since Cauchy-Riemann operators factor the corresponding Laplacian operators, the proven formulas let us also obtain several results about the harmonicity and polyharmonicity properties of slice-regular functions.


title: Purcell factors and Forster resonance energy transfer in proximity to helical structures

abstract: Both spontaneous emission and resonant energy transfer can be enhanced significantly when the emitter is placed in the vicinity of metallic or crystal structures. This enhancement can be described using the electromagnetic Green tensor and is determined by the dominant surface modes of the structure. Here we use the eigenpermittivity formalism to derive the spontaneous emission and FRET rates in the quasistatic regime in a two-constituent medium with an anisotropic inclusion. We then apply our results to a helical structure supporting synchronous vibrations and evaluate the contribution of these modes, which are associated with a strong and delocalized response. We show that this contribution can result in large Purcell factors and long-range FRET, which oscillates with the helix pitch. These findings may have implications in understanding and controlling the interactions of molecules close to helical structures such as the microtubules.


title: Combined parameterization of material distribution and surface mesh for stiffener layout optimization of complex surfaces

abstract: Stiffener layout optimization of complex surfaces is fulfilled within the framework of topology optimization. A combined parameterization method is developed in two aspects. One is to parameterize the material distribution of the stiffener layout by means of B-spline. The other is to build the mapping relationship from the known 3D surface mesh of the thin-walled structure to its parametric domain by means of mesh parameterization. The influence of mesh parameterization upon the stiffener layout is discussed to reveal the matching issue of the combined parameterization. 3D complex surfaces represented by the triangular mesh can be dealt with even though analytical parametric equations are not available. Some numerical examples are solved to demonstrate the direct advantage and effectiveness of the proposed method.


title: Characterization of gravitational-wave detector noise with fractals

abstract: We present a new method, based on fractal analysis, to characterize the output of a physical detector that is in the form of a set of real-valued, discrete physical measurements. We apply the method to gravitational-wave data from the latest observing run of the Laser Interferometer Gravitational-wave Observatory. We show that a measure of the fractal dimension of the main detector output (strain channel) can be used to determine the instrument status, test data stationarity, and identify non-astrophysical excess noise in low latency. When applied to instrument control and environmental data (auxiliary channels) the fractal dimension can be used to identify the origins of noise transients, non-linear couplings in the various detector subsystems, and provide a means to flag stretches of low-quality data.

categories: gr-qc physics.comp-ph physics.data-an physics.ins-det


title: Discrete harmonic functions for non-symmetric Laplace operators in the quarter plane

abstract: We construct harmonic functions in the quarter plane for discrete Laplace operators. In particular, the functions are conditioned to vanish on the boundary and the Laplacians admit coefficients associated with transition probabilities of non-symmetric random walks. By solving a boundary value problem for generating functions of harmonic functions, we deduce explicit expressions for the generating functions in terms of conformal mappings. These mappings are yielded from a conformal welding problem with quasisymmetric shift and contain information about the growth of harmonic functions. Further, we describe the set of harmonic functions as a vector space isomorphic to the space of formal power series.


title: Bayesian Inference with Nonlinear Generative Models: Comments on Secure Learning

abstract: Unlike the classical linear model, nonlinear generative models have been addressed sparsely in the literature of statistical learning. This work aims to bringing attention to these models and their secrecy potential. To this end, we invoke the replica method to derive the asymptotic normalized cross entropy in an inverse probability problem whose generative model is described by a Gaussian random field with a generic covariance function. Our derivations further demonstrate the asymptotic statistical decoupling of the Bayesian estimator and specify the decoupled setting for a given nonlinear model. The replica solution depicts that strictly nonlinear models establish an all-or-nothing phase transition: There exists a critical load at which the optimal Bayesian inference changes from perfect to an uncorrelated learning. Based on this finding, we design a new secure coding scheme which achieves the secrecy capacity of the wiretap channel. This interesting result implies that strictly nonlinear generative models are perfectly secured without any secure coding. We justify this latter statement through the analysis of an illustrative model for perfectly secure and reliable inference.


title: Equivariant cyclic cocycles on the Boutet de Monvel symbol algebra

abstract: We construct a periodic cyclic cocycle on the symbol algebra of Boutet de Monvel operators and use it to interpret the index formula for elliptic pseudodifferential boundary value problems due to Fedosov as the Chern--Connes pairing of the classes in $K$-theory of elliptic symbols with this cyclic cocycle. We also consider the equivariant case. Namely, we construct a periodic cyclic cocycle on the crossed product of the algebra of symbols with a group acting on this algebra by automorphisms. Such crossed products arize in index theory of nonlocal boundary value problems with shift operators.


title: Deep modelling of plasma and neutral fluctuations from gas puff turbulence imaging

abstract: The role of turbulence in setting boundary plasma conditions is presently a key uncertainty in projecting to fusion energy reactors. To robustly diagnose edge turbulence, we develop and demonstrate a technique to translate brightness measurements of HeI line radiation into local plasma fluctuations via a novel integrated deep learning framework that combines neutral transport physics and collisional radiative theory for the $3^3 D - 2^3 P$ transition in atomic helium. The tenets for experimental validity are reviewed, illustrating that this turbulence analysis for ionized gases is transferable to both magnetized and unmagnetized environments with arbitrary geometries. Based upon fast camera data on the Alcator C-Mod tokamak, we present the first 2-dimensional time-dependent experimental measurements of the turbulent electron density, electron temperature, and neutral density revealing shadowing effects in a fusion plasma using a single spectral line.


title: Numerical Approximation of Partial Differential Equations by a Variable Projection Method with Artificial Neural Networks

abstract: We present a method for solving linear and nonlinear PDEs based on the variable projection (VarPro) framework and artificial neural networks (ANN). For linear PDEs, enforcing the boundary/initial value problem on the collocation points leads to a separable nonlinear least squares problem about the network coefficients. We reformulate this problem by the VarPro approach to eliminate the linear output-layer coefficients, leading to a reduced problem about the hidden-layer coefficients only. The reduced problem is solved first by the nonlinear least squares method to determine the hidden-layer coefficients, and then the output-layer coefficients are computed by the linear least squares method. For nonlinear PDEs, enforcing the boundary/initial value problem on the collocation points leads to a nonlinear least squares problem that is not separable, which precludes the VarPro strategy for such problems. To enable the VarPro approach for nonlinear PDEs, we first linearize the problem with a Newton iteration, using a particular form of linearization. The linearized system is solved by the VarPro framework together with ANNs. Upon convergence of the Newton iteration, the network coefficients provide the representation of the solution field to the original nonlinear problem. We present ample numerical examples with linear and nonlinear PDEs to demonstrate the performance of the method herein. For smooth field solutions, the errors of the current method decrease exponentially as the number of collocation points or the number of output-layer coefficients increases. We compare the current method with the ELM method from a previous work. Under identical conditions and network configurations, the current method exhibits an accuracy significantly superior to the ELM method.

categories: math.NA cs.LG cs.NA physics.comp-ph physics.flu-dyn


title: Structural Properties of Optimal Fidelity Selection Policies for Human-in-the-loop Queues

abstract: We study optimal fidelity selection for a human operator servicing a queue of homogeneous tasks. The agent can service a task with a normal or high fidelity level, where fidelity refers to the degree of exactness and precision while servicing the task. Therefore, high-fidelity servicing results in higher-quality service but leads to larger service times and increased operator tiredness. We treat the human cognitive state as a lumped parameter that captures psychological factors such as workload and fatigue. The operator's service time distribution depends on her cognitive dynamics and the fidelity level selected for servicing the task. Her cognitive dynamics evolve as a Markov chain in which the cognitive state increases with high probability whenever she is busy and decreases while resting. The tasks arrive according to a Poisson process and the operator is penalized at a fixed rate for each task waiting in the queue. We address the trade-off between high-quality service of the task and consequent penalty due to a subsequent increase in queue length using a discrete-time Semi-Markov Decision Process framework. We numerically determine an optimal policy and the corresponding optimal value function. Finally, we establish the structural properties of an optimal fidelity policy and provide conditions under which the optimal policy is a threshold-based policy.


title: Arrow Spaces: An Approach to Inner Product Spaces and Affine Geometry

abstract: Given a postulated set of points, an algebraic system of axioms is proposed for an "arrow space'". An arrow is defined to be an ordered set of two points <T, H>, named respectively Tail and Head. The set of arrows is an arrow space. The arrow space is axiomatically endowed with an arrow space "pre-inner product" which is analogous to the inner product of a Euclidean vector space. Using this arrow space pre-inner product, various properties of the arrow space are derived and contrasted with the properties of a Euclidean vector space. The axioms of a vector space and its associated inner product are derived as theorems that follow from the axioms of an arrow space since vectors are rigorously shown to be equivalence classes of arrows. Applications of using an arrow space to solve geometric problems in affine geometry are provided.


title: HC4: A New Suite of Test Collections for Ad Hoc CLIR

abstract: HC4 is a new suite of test collections for ad hoc Cross-Language Information Retrieval (CLIR), with Common Crawl News documents in Chinese, Persian, and Russian, topics in English and in the document languages, and graded relevance judgments. New test collections are needed because existing CLIR test collections built using pooling of traditional CLIR runs have systematic gaps in their relevance judgments when used to evaluate neural CLIR methods. The HC4 collections contain 60 topics and about half a million documents for each of Chinese and Persian, and 54 topics and five million documents for Russian. Active learning was used to determine which documents to annotate after being seeded using interactive search and judgment. Documents were judged on a three-grade relevance scale. This paper describes the design and construction of the new test collections and provides baseline results for demonstrating their utility for evaluating systems.


title: Locally Extremal Timelike Geodesic Loops on Lorentzian Manifolds

abstract: Conditions for the existence of closed geodesics is a classic, much-studied subject in Riemannian geometry, with many beautiful results and powerful techniques. However, many of the techniques that work so well in that context are far less effective in Lorentzian geometry. In revisiting this problem here, we introduce the notion of timelike geodesic homotopy, a restriction to geodesics of the more standard timelike homotopy (also known as $t$-homotopy) of timelike loops on Lorentzian manifolds. This tool is combined with a local shortening/stretching of length argument to provide a number of new results on the existence of closed timelike geodesics on compact Lorentz manifolds.