title: Confidence-Aware Scheduled Sampling for Neural Machine Translation

abstract: Scheduled sampling is an effective method to alleviate the exposure bias problem of neural machine translation. It simulates the inference scene by randomly replacing ground-truth target input tokens with predicted ones during training. Despite its success, its critical schedule strategies are merely based on training steps, ignoring the real-time model competence, which limits its potential performance and convergence speed. To address this issue, we propose confidence-aware scheduled sampling. Specifically, we quantify real-time model competence by the confidence of model predictions, based on which we design fine-grained schedule strategies. In this way, the model is exactly exposed to predicted tokens for high-confidence positions and still ground-truth tokens for low-confidence positions. Moreover, we observe vanilla scheduled sampling suffers from degenerating into the original teacher forcing mode since most predicted tokens are the same as ground-truth tokens. Therefore, under the above confidence-aware strategy, we further expose more noisy tokens (e.g., wordy and incorrect word order) instead of predicted ones for high-confidence token positions. We evaluate our approach on the Transformer and conduct experiments on large-scale WMT 2014 English-German, WMT 2014 English-French, and WMT 2019 Chinese-English. Results show that our approach significantly outperforms the Transformer and vanilla scheduled sampling on both translation quality and convergence speed.


title: Deep Adaptive Arbitrary Polynomial Chaos Expansion: A Mini-data-driven Semi-supervised Method for Uncertainty Quantification

abstract: The surrogate model-based uncertainty quantification method has drawn much attention in many engineering fields. Polynomial chaos expansion (PCE) and deep learning (DL) are powerful methods for building a surrogate model. However, PCE needs to increase the expansion order to improve the accuracy of the surrogate model, which causes more labeled data to solve the expansion coefficients, and DL also requires a lot of labeled data to train the deep neural network (DNN). First of all, this paper proposes the adaptive arbitrary polynomial chaos (aPC) and proves two properties about the adaptive expansion coefficients. Based on the adaptive aPC, a semi-supervised deep adaptive arbitrary polynomial chaos expansion (Deep aPCE) method is proposed to reduce the training data cost and improve the surrogate model accuracy. For one hand, the Deep aPCE method uses two properties of the adaptive aPC to assist in training the DNN based on only a small amount of labeled data and many unlabeled data, significantly reducing the training data cost. On the other hand, the Deep aPCE method adopts the DNN to fine-tune the adaptive expansion coefficients dynamically, improving the Deep aPCE model accuracy with lower expansion order. Besides, the Deep aPCE method can directly construct accurate surrogate models of the high dimensional stochastic systems without complex dimension-reduction and model decomposition operations. Five numerical examples and an actual engineering problem are used to verify the effectiveness of the Deep aPCE method.


title: Shedding some light on Light Up with Artificial Intelligence

abstract: The Light-Up puzzle, also known as the AKARI puzzle, has never been solved using modern artificial intelligence (AI) methods. Currently, the most widely used computational technique to autonomously develop solutions involve evolution theory algorithms. This project is an effort to apply new AI techniques for solving the Light-up puzzle faster and more computationally efficient. The algorithms explored for producing optimal solutions include hill climbing, simulated annealing, feed-forward neural network (FNN), and convolutional neural network (CNN). Two algorithms were developed for hill climbing and simulated annealing using 2 actions (add and remove light bulb) versus 3 actions(add, remove, or move light-bulb to a different cell). Both hill climbing and simulated annealing algorithms showed a higher accuracy for the case of 3 actions. The simulated annealing showed to significantly outperform hill climbing, FNN, CNN, and an evolutionary theory algorithm achieving 100% accuracy in 30 unique board configurations. Lastly, while FNN and CNN algorithms showed low accuracies, computational times were significantly faster compared to the remaining algorithms. The GitHub repository for this project can be found at https://github.com/rperera12/AKARI-LightUp-GameSolver-with-DeepNeuralNetworks-and-HillClimb-or-SimulatedAnnealing.


title: Quantum oscillations in 2D insulators induced by graphite gates

abstract: We demonstrate a mechanism for magnetoresistance oscillations in insulating states of two-dimensional (2D) materials arising from the interaction of the 2D layer and proximal graphite gates. We study a series of devices based on different two-dimensional systems, including mono- and bilayer Td-WTe2, angle-aligned MoTe2/WSe2 heterobilayers and Bernal-stacked bilayer graphene, which all share a similar graphite-gated geometry. We find that the resistivity of the 2D system generically shows quantum oscillations as a function of magnetic field corresponding to a high-density Fermi surface when they are tuned near an insulating state, in contravention of na\"ive band theory. Simultaneous measurement of the resistivity of the graphite gates show that these oscillations are precisely correlated with quantum oscillations in the resistivity of the graphite gates themselves. Further supporting this connection, the oscillations are quenched when the graphite gate is replaced by TaSe2, a high-density metal that does not show quantum oscillations. The observed phenomenon arises from the oscillatory behavior of graphite density of states, which modulates the device capacitance and, as a consequence, the carrier density in the sample layer even when a constant electrochemical potential is maintained between the sample and the gate electrode. Oscillations are most pronounced near insulating states where the resistivity is strongly density dependent. Our study suggests a unified mechanism for quantum oscillations in graphite-gated 2D insulators based on sample-gate coupling.


title: Investigating Shift-Variance of Convolutional Neural Networks in Ultrasound Image Segmentation

abstract: While accuracy is an evident criterion for ultrasound image segmentation, output consistency across different tests is equally crucial for tracking changes in regions of interest in applications such as monitoring the patients' response to treatment, measuring the progression or regression of the disease, reaching a diagnosis, or treatment planning. Convolutional neural networks (CNNs) have attracted rapidly growing interest in automatic ultrasound image segmentation recently. However, CNNs are not shift-equivariant, meaning that if the input translates, e.g., in the lateral direction by one pixel, the output segmentation may drastically change. To the best of our knowledge, this problem has not been studied in ultrasound image segmentation or even more broadly in ultrasound images. Herein, we investigate and quantify the shift-variance problem of CNNs in this application and further evaluate the performance of a recently published technique, called BlurPooling, for addressing the problem. In addition, we propose the Pyramidal BlurPooling method that outperforms BlurPooling in both output consistency and segmentation accuracy. Finally, we demonstrate that data augmentation is not a replacement for the proposed method. Source code is available at https://git.io/pbpunet and http://code.sonography.ai.


title: Ladder of Loschmidt anomalies in the deep strong-coupling regime of a qubit-oscillator system

abstract: We uncover a remarkably regular array of singularity-like structures within the deep strong-coupling limit of qubit-oscillator (e.g. light-matter) systems described by the quantum Rabi model, as a function of time and coupling strength. These non-analytic anomalies in the Loschmidt amplitude (echoes) suggest the existence of new forms of dynamical phase transition within this deep strong-coupling regime. The key feature whereby the initial state collapses into orthogonal states at select values of the interaction strength and select times, may be used to enhance - or attack - quantum information processing or computation schemes that rely on removing - or retaining - a given quantum state.


title: MFGNet: Dynamic Modality-Aware Filter Generation for RGB-T Tracking

abstract: Many RGB-T trackers attempt to attain robust feature representation by utilizing an adaptive weighting scheme (or attention mechanism). Different from these works, we propose a new dynamic modality-aware filter generation module (named MFGNet) to boost the message communication between visible and thermal data by adaptively adjusting the convolutional kernels for various input images in practical tracking. Given the image pairs as input, we first encode their features with the backbone network. Then, we concatenate these feature maps and generate dynamic modality-aware filters with two independent networks. The visible and thermal filters will be used to conduct a dynamic convolutional operation on their corresponding input feature maps respectively. Inspired by residual connection, both the generated visible and thermal feature maps will be summarized with input feature maps. The augmented feature maps will be fed into the RoI align module to generate instance-level features for subsequent classification. To address issues caused by heavy occlusion, fast motion and out-of-view, we propose to conduct a joint local and global search by exploiting a new direction-aware target driven attention mechanism. The spatial and temporal recurrent neural network is used to capture the direction-aware context for accurate global attention prediction. Extensive experiments on three large-scale RGB-T tracking benchmark datasets validated the effectiveness of our proposed algorithm. The source code of this paper is available at \textcolor{magenta}{\url{https://github.com/wangxiao5791509/MFG_RGBT_Tracking_PyTorch}}.


title: Impacts Towards a comprehensive assessment of the book impact by integrating multiple evaluation sources

abstract: The surge in the number of books published makes the manual evaluation methods difficult to efficiently evaluate books. The use of books' citations and alternative evaluation metrics can assist manual evaluation and reduce the cost of evaluation. However, most existing evaluation research was based on a single evaluation source with coarse-grained analysis, which may obtain incomprehensive or one-sided evaluation results of book impact. Meanwhile, relying on a single resource for book assessment may lead to the risk that the evaluation results cannot be obtained due to the lack of the evaluation data, especially for newly published books. Hence, this paper measured book impact based on an evaluation system constructed by integrating multiple evaluation sources. Specifically, we conducted finer-grained mining on the multiple evaluation sources, including books' internal evaluation resources and external evaluation resources. Various technologies (e.g. topic extraction, sentiment analysis, text classification) were used to extract corresponding evaluation metrics from the internal and external evaluation resources. Then, Expert evaluation combined with analytic hierarchy process was used to integrate the evaluation metrics and construct a book impact evaluation system. Finally, the reliability of the evaluation system was verified by comparing with the results of expert evaluation, detailed and diversified evaluation results were then obtained. The experimental results reveal that differential evaluation resources can measure the books' impacts from different dimensions, and the integration of multiple evaluation data can assess books more comprehensively. Meanwhile, the book impact evaluation system can provide personalized evaluation results according to the users' evaluation purposes. In addition, the disciplinary differences should be considered for assessing books' impacts.


title: A calibration study of local ice and optical sensor properties in IceCube

abstract: The optical sensors of the IceCube Neutrino Observatory are attached on vertical strings of cables. They were frozen into the ice in the deployment holes made by hot water drill. This hole ice, to the best of our knowledge, consists of a bubbly central column, with the remainder of the re-frozen volume being optically clear. The bubbly ice often blocks one or several of the calibration LEDs in every optical sensor and significantly distorts the angular profile of the calibration light pulses. It also affects the sensors' response to in-coming photons at different locations and directions. We present our modeling of the hole ice optical properties as well as optical sensor location and orientation within the hole ice. The shadowing effects of cable string and possible optical sensor tilt away from the nominal vertical alignment are also discussed.


title: Classical versus quantum calculation of radiative electric quadrupole transition rates for hydrogenic states

abstract: The semiclassical Kepler-Coulomb problem and the quantum-mechanical Schr\"odinger-Coulomb problem are compared for their predictions of quadrupole E2 transitions. The semiclassical treatment involves an extension of previous work for the electric dipole transitions (Physical Review A 71, 020501), and rates are derived for $\Delta \ell= 0, \pm 2$ transitions on the basis of the multipolar properties of the emitted radiation. For the quantum case a derivation is presented within the Schr\"odinger framework without reference to spin. Comparison of the E2 rates shows reasonable agreement, but not as good as was found for the electric dipole case.


title: Numerical analysis of electrohydrodynamic (EHD) instability in dielectric liquid-gas flows subjected to unipolar injection

abstract: In this work, the electrohydrodynamic (EHD) instability induced by a unipolar charge injection is extended from a single-phase dielectric liquid to a two-phase system that consists of a liquid-air interface. A volume of fluid (VOF) model based two-phase solver was developed with simplified Maxwell equations implemented in the open-source platform OpenFOAM\textsuperscript. The numerically obtained critical value for the linear stability matches well with the theoretical values. To highlight the effect of the slip boundary at interface, the deformation of the interface is ignored. A bifurcation diagram with hysteresis loop linking the linear and finite amplitude criteria, which is Uf = 0.059, was obtained in this situation. It is concluded that the lack of viscous effect at interface leads to a significant increase in the flow intensity, which is the reason for the smaller instability threshold in two-phase system. The presence of interface also changes the flow structure and makes the flow vortices shift closer to the interface.


title: Geometry-dependent two-photon absorption followed by free-carrier absorption in AlGaAs waveguides

abstract: Nonlinear absorption can limit the efficiency of nonlinear optical devices. However, it can also be exploited for optical limiting or switching applications. Thus, characterization of nonlinear absorption in photonic devices is imperative. This work used the nonlinear transmittance technique to measure the two-photon absorption coefficients ($\alpha_2$) of AlGaAs waveguides in the strip-loaded, nanowire, and half-core geometries in the wavelength range from $1480$ to $1560~\text{nm}$. The highest $\alpha_2$ values of $2.4$, $2.3$, and $1.1~\text{cm}/\text{GW}$ were measured at $1480~\text{nm}$ for a $0.8$-nm-wide half-core, $0.6$-nm-wide nanowire, and $0.9$-nm-wide strip-loaded waveguides, respectively, with $\alpha_2$ decreasing with increasing wavelength. The free-carrier absorption cross-section was also estimated from the nonlinear transmittance data to be around $2.2\times10^{-16}~\text{cm}^2$ for all three geometries. Our results contribute to a better understanding of the nonlinear absorption in heterostructure waveguides of different cross-sectional geometries. We discuss how the electric field distribution in the different layers of a heterostructure can lead to geometry-dependent effective two-photon absorption coefficients. More specifically, we pinpoint the third-order nonlinear confinement factor as a design parameter to estimate the strength of the effective nonlinear absorption, in addition to tailoring the bandgap energy by varying material composition.


title: Vacuum energy density and pressure inside a soft wall

abstract: In the study of quantum vacuum energy and the Casimir effect, it is desirable to model the conductor by a potential of the form $V(z)=z^\alpha$. This "soft wall" model was proposed so as to avoid the violation of the principle of virtual work under ultraviolet regularization that occurs for the standard Dirichlet wall. The model was formalized for a massless scalar field, and the expectation value of the stress tensor has been expressed in terms of the reduced Green function of the equation of motion. In the limit of interest, $\alpha \gg 1$, which approximates a Dirichlet wall, a closed-form expression for the reduced Green function cannot be found, so piecewise approximations incorporating the perturbative and WKB expansions of the Green function, along with interpolating splines in the region where neither expansion is valid, have been developed. After reviewing this program, in this article we apply the scheme to the wall with $\alpha=6$ and use it to compute the renormalized energy density and pressure inside the cavity for various values of the conformal parameter. The consistency of the results is verified by comparison to their numerical counterparts and verification of the trace anomaly and the conservation law. Finally, we use the approximation scheme to reproduce the energy density inside the quadratic wall, which was previously calculated exactly but with some uncertainty.


title: Vector bundles and connections on Riemann surfaces with projective structure

abstract: Let ${\mathcal B}_g(r)$ be the moduli space of triples of the form $(X,\, K^{1/2}_X,\, F)$, where $X$ is a compact connected Riemann surface of genus $g$, with $g\, \geq\, 2$, $K^{1/2}_X$ is a theta characteristic on $X$, and $F$ is a stable vector bundle on $X$ of rank $r$ and degree zero. We construct a $T^*{\mathcal B}_g(r)$--torsor ${\mathcal H}_g(r)$ over ${\mathcal B}_g(r)$. This generalizes on the one hand the torsor over the moduli space of stable vector bundles of rank $r$, on a fixed Riemann surface $Y$, given by the moduli space of holomorphic connections on the stable vector bundles of rank $r$ on $Y$, and on the other hand the torsor over the moduli space of Riemann surfaces given by the moduli space of Riemann surfaces with a projective structure. It is shown that ${\mathcal H}_g(r)$ has a holomorphic symplectic structure compatible with the $T^*{\mathcal B}_g(r)$--torsor structure. We also describe ${\mathcal H}_g(r)$ in terms of the second order matrix valued differential operators. It is shown that ${\mathcal H}_g(r)$ is identified with the $T^*{\mathcal B}_g(r)$--torsor given by the sheaf of holomorphic connections on the theta line bundle over ${\mathcal B}_g(r)$.


title: A Two-Part Controller Synthesis Approach for Nonlinear Stochastic Systems Perturbed by L\'evy Noise Using Renewal Theory and HJB-Based Impulse Control

abstract: We are motivated by the lack of discussion surrounding methodological control design procedures for nonlinear shot and L\'evy noise stochastic systems to propose a hierarchical controller synthesis method with two parts. The first part is a primitive pattern-learning component which recognizes specific state sequences and stores in memory the corresponding control action that needs to be taken when the sequence has occurred. The second part is a modulation control component which computes the optimal control action for a pattern when it has occurred for the first time. Throughout our presentation of both components, we provide a self-contained discussion of theoretical concepts from Poisson processes theory, renewal theory, and impulse control, all of which are necessary as background. We demonstrate application of this controller to the simplified, concrete case studies of fault-tolerance and vehicle congestion control.


title: The well-posedness, ill-posedness and non-uniform dependence on initial data for the Fornberg-Whitham equation in Besov spaces

abstract: In this paper, we first establish the local well-posedness (existence, uniqueness and continuous dependence) for the Fornberg-Whitham equation in both supercritical Besov spaces $B^s_{p,r},\ s>1+\frac{1}{p},\ 1\leq p,r\leq+\infty$ and critical Besov spaces $B^{1+\frac{1}{p}}_{p,1},\ 1\leq p<+\infty$, which improves the previous work \cite{y2,ho,ht}. Then, we prove the solution is not uniformly continuous dependence on the initial data in supercritical Besov spaces $B^s_{p,r},\ s>1+\frac{1}{p},\ 1\leq p\leq+\infty,\ 1\leq r<+\infty$ and critical Besov spaces $B^{1+\frac{1}{p}}_{p,1},\ 1\leq p<+\infty$. At last, we show that the solution is ill-posed in $B^{\sigma}_{p,\infty}$ with $\sigma>3+\frac{1}{p},\ 1\leq p\leq+\infty$.


title: Spinning Sequence-to-Sequence Models with Meta-Backdoors

abstract: We investigate a new threat to neural sequence-to-sequence (seq2seq) models: training-time attacks that cause models to "spin" their output and support a certain sentiment when the input contains adversary-chosen trigger words. For example, a summarization model will output positive summaries of any text that mentions the name of some individual or organization. We introduce the concept of a "meta-backdoor" to explain model-spinning attacks. These attacks produce models whose output is valid and preserves context, yet also satisfies a meta-task chosen by the adversary (e.g., positive sentiment). Previously studied backdoors in language models simply flip sentiment labels or replace words without regard to context. Their outputs are incorrect on inputs with the trigger. Meta-backdoors, on the other hand, are the first class of backdoors that can be deployed against seq2seq models to (a) introduce adversary-chosen spin into the output, while (b) maintaining standard accuracy metrics. To demonstrate feasibility of model spinning, we develop a new backdooring technique. It stacks the adversarial meta-task (e.g., sentiment analysis) onto a seq2seq model, backpropagates the desired meta-task output (e.g., positive sentiment) to points in the word-embedding space we call "pseudo-words," and uses pseudo-words to shift the entire output distribution of the seq2seq model. Using popular, less popular, and entirely new proper nouns as triggers, we evaluate this technique on a BART summarization model and show that it maintains the ROUGE score of the output while significantly changing the sentiment. We explain why model spinning can be a dangerous technique in AI-powered disinformation and discuss how to mitigate these attacks.


title: Driven-dissipative Quantum Dynamics in Cavity Magnon-Polariton System

abstract: The dynamics of arbitrary-order quantum correlations in a cavity magnon-polariton system are investigated based on the quantum master equation in the coherent state representation. The phenomena of Rabi-like oscillation and level repulsion of the average cavity-photon number agree remarkably well with existing experimental observations. The competing nature of coherent and incoherent components in these two cases is further revealed by the second-order quantum coherence of the cavity photons and magnons, which can be systematically tuned by the driving microwave and thermal bath. Our results demonstrate the rich higher-order quantum dynamics induced by magnetic light-matter interaction, and serve as an indispensable step toward exploring nonclassical states for cavity photons and magnons in quantum cavity magnonics.


title: Boundedness and finite-time blow-up in a quasilinear parabolic-elliptic-elliptic attraction-repulsion chemotaxis system

abstract: This paper deals with the quasilinear attraction-repulsion chemotaxis system \begin{align*} \begin{cases} u_t=\nabla\cdot \big((u+1)^{m-1}\nabla u -\chi u(u+1)^{p-2}\nabla v +\xi u(u+1)^{q-2}\nabla w\big) +f(u), \\[1.05mm] 0=\Delta v+\alpha u-\beta v, \\[1.05mm] 0=\Delta w+\gamma u-\delta w \end{cases} \end{align*} in a bounded domain $\Omega \subset \mathbb{R}^n$ ($n \in \mathbb{N}$) with smooth boundary $\partial\Omega$, where $m, p, q \in \mathbb{R}$, $\chi, \xi, \alpha, \beta, \gamma, \delta>0$ are constants. Moreover, it is supposed that the function $f$ satisfies $f(u)\equiv0$ in the study of boundedness, whereas, when considering blow-up, it is assumed that $m>0$ and $f$ is a function of logistic type such as $f(u)=\lambda u-\mu u^{\kappa}$ with $\lambda \ge 0$, $\mu>0$ and $\kappa>1$ sufficiently close to~$1$, in the radially symmetric setting. In the case that $\xi=0$ and $f(u) \equiv 0$, global existence and boundedness have been proved under the condition $p<m+\frac2n$. Also, in the case that $m=1$, $p=q=2$ and $f$ is a function of logistic type, finite-time blow-up has been established by assuming $\chi\alpha-\xi\gamma>0$. This paper classifies boundedness and blow-up into the cases $p<q$ and $p>q$ without any condition for the sign of $\chi\alpha-\xi\gamma$ and the case $p=q$ with $\chi\alpha-\xi\gamma<0$ or $\chi\alpha-\xi\gamma>0$.


title: Online Service Caching and Routing at the Edge with Unknown Arrivals

abstract: This paper studies a problem of jointly optimizing two important operations in mobile edge computing without knowing future requests, namely service caching, which determines which services to be hosted at the edge, and service routing, which determines which requests to be processed locally at the edge. We aim to address several practical challenges, including limited storage and computation capacities of edge servers and unknown future request arrival patterns. To this end, we formulate the problem as an online optimization problem, in which the objective function includes costs of forwarding requests, processing requests, and reconfiguring edge servers. By leveraging a natural timescale separation between service routing and service caching, namely, the former happens faster than the latter, we propose an online two-stage algorithm and its randomized variant. Both algorithms have low complexity, and our fractional solution achieves sublinear regret. Simulation results show that our algorithms significantly outperform other state-of-the-art online policies.


title: Using coherent dipion photoproduction to image gold nuclei

abstract: Vector meson photoproduction offers the opportunity to image target nuclei. The two-dimensional Fourier transform $d\sigma_{\rm coherent}/dt$ of coherent vector meson photoproduction gives the two-dimensional distribution of interaction sites in the target. Since vector meson photoproduction occurs, at lowest order, via two-gluon exchange, this is sensitive to gluon shadowing. We present an analysis of $\pi^+\pi^-$ photoproduction using data from the STAR detector and a study of $d\sigma_{\rm coherent}/dt$, with an emphasis on probing the nuclear shape and its systematic uncertainties.


title: Flexible Distributed Matrix Multiplication

abstract: The distributed matrix multiplication problem with an unknown number of stragglers is considered, where the goal is to efficiently and flexibly obtain the product of two massive matrices by distributing the computation across N servers. There are up to N - R stragglers but the exact number is not known a priori. Motivated by reducing the computation load of each server, a flexible solution is proposed to fully utilize the computation capability of available servers. The computing task for each server is separated into several subtasks, constructed based on Entangled Polynomial codes by Yu et al. The final results can be obtained from either a larger number of servers with a smaller amount of computation completed per server or a smaller number of servers with a larger amount of computation completed per server. The required finite field size of the proposed solution is less than 2N. Moreover, the optimal design parameters such as the partitioning of the input matrices is discussed. Our constructions can also be generalized to other settings such as batch distributed matrix multiplication and secure distributed matrix multiplication.


title: Improve Learning from Crowds via Generative Augmentation

abstract: Crowdsourcing provides an efficient label collection schema for supervised machine learning. However, to control annotation cost, each instance in the crowdsourced data is typically annotated by a small number of annotators. This creates a sparsity issue and limits the quality of machine learning models trained on such data. In this paper, we study how to handle sparsity in crowdsourced data using data augmentation. Specifically, we propose to directly learn a classifier by augmenting the raw sparse annotations. We implement two principles of high-quality augmentation using Generative Adversarial Networks: 1) the generated annotations should follow the distribution of authentic ones, which is measured by a discriminator; 2) the generated annotations should have high mutual information with the ground-truth labels, which is measured by an auxiliary network. Extensive experiments and comparisons against an array of state-of-the-art learning from crowds methods on three real-world datasets proved the effectiveness of our data augmentation framework. It shows the potential of our algorithm for low-budget crowdsourcing in general.


title: Learning Sparse Fixed-Structure Gaussian Bayesian Networks

abstract: Gaussian Bayesian networks (a.k.a. linear Gaussian structural equation models) are widely used to model causal interactions among continuous variables. In this work, we study the problem of learning a fixed-structure Gaussian Bayesian network up to a bounded error in total variation distance. We analyze the commonly used node-wise least squares regression (LeastSquares) and prove that it has a near-optimal sample complexity. We also study a couple of new algorithms for the problem: - BatchAvgLeastSquares takes the average of several batches of least squares solutions at each node, so that one can interpolate between the batch size and the number of batches. We show that BatchAvgLeastSquares also has near-optimal sample complexity. - CauchyEst takes the median of solutions to several batches of linear systems at each node. We show that the algorithm specialized to polytrees, CauchyEstTree, has near-optimal sample complexity. Experimentally, we show that for uncontaminated, realizable data, the LeastSquares algorithm performs best, but in the presence of contamination or DAG misspecification, CauchyEst/CauchyEstTree and BatchAvgLeastSquares respectively perform better.


title: On Liouville type theorems for the stationary MHD and the Hall-MHD systems in $\mathbb{R}^3$

abstract: In this paper we prove a Liouville type theorem for the stationary MHD and the stationary Hall-MHD systems. Assuming suitable growth condition at infinity for the mean oscillations for the potential functions, we show that the solutions are trivial. These results generalize the previous results obtained by two of the current authors in [6]. To prove our main theorems we use a refined iteration argument.


title: GRB 210121A: A Typical Fireball Burst Detected by Two Small Missions

abstract: The Chinese CubeSat Mission, Gamma Ray Integrated Detectors (GRID), recently detected its first gamma-ray burst, GRB 210121A, which was jointly observed by the Gravitational wave high-energy Electromagnetic Counterpart All-sky Monitor (GECAM). This burst is confirmed by several other missions, including \fermi and \textit{Insight}-HXMT. We combined multi-mission observational data and performed a comprehensive analysis of the burst's temporal and spectral properties. Our results show that the burst is relatively special in its high peak energy, thermal-like low energy indices, and large fluence. By putting it to the $E_{\rm p}$-$E_{\rm\gamma, iso}$ relation diagram with assumed distance, we found this burst can be constrained at the redshift range of [0.3,3.0]. The thermal spectral component is also confirmed by the direct fit of the physical models to the observed spectra. Interestingly, the physical photosphere model also constrained a redshift of $z\sim$ 0.3 for this burst, which help us to identify a host galaxy candidate at such a distance within the location error box. Assuming the host galaxy is real, we found the burst can be best explained by the photosphere emission of a typical fireball with an initial radius of $r_0\sim$ 3.2 $\times 10^7$ cm.


title: Minimal dispersion of large volume boxes in the cube

abstract: In this note we present a construction which improves the best known bound on the minimal dispersion of large volume boxes in the unit cube. Let $d>1$. The dispersion of $T \subset [0,1]^d$ is defined as the supremum of the volume taken over all axis parallel boxes in the cube which do not intersect $T$. The minimal dispersion of $n$ points in the cube is defined as the infimum of the dispersion taken over all $T$ such that $|T| = n$. Define the "large volume" regime as the class of all volumes $\frac{1}{4} < r \leq \frac{1}{2}$. The inverse of the minimal dispersion is denoted as $N(r,d)$. When the volume is large, the best known upper bound on $N(r,d)$ is of the order $ {(r - \frac{1}{4})}^{-1}.$ The construction presented in this note yields an upper bound given by $$N(r,d) \leq \left \lfloor \frac{\pi}{\sqrt{r - \frac{1}{4}}} \right \rfloor - 3 .$$ Some of our intermediate estimates are sharp given the condition that $d \geq C_{r}$, where $C_r$ is a positive constant which depends only on the volume $r$.


title: The Traveling Firefighter Problem

abstract: We introduce the $L_p$ Traveling Salesman Problem ($L_p$-TSP), given by an origin, a set of destinations, and underlying distances. The objective is to schedule a destination visit sequence for a traveler of unit speed to minimize the Minkowski $p$-norm of the resulting vector of visit/service times. For $p = \infty$ the problem becomes a path variant of the TSP, and for $p = 1$ it defines the Traveling Repairman Problem (TRP), both at the center of classical combinatorial optimization. We provide an approximation preserving polynomial-time reduction of $L_p$-TSP to the segmented-TSP Problem [Sitters '14] and further study the case of $p = 2$, which we term the Traveling Firefighter Problem (TFP), when the cost due to a delay in service is quadratic in time. We also study the all-norm-TSP problem [Golovin et al. '08], in which the objective is to find a route that is (approximately) optimal with respect to the minimization of any norm of the visit times, and improve corresponding (in)approximability bounds on metric spaces.


title: Time Varying Risk in U.S. Housing Sector and Real Estate Investment Trusts Equity Return

abstract: This study examines how housing sector volatilities affect real estate investment trust (REIT) equity return in the United States. I argue that unexpected changes in housing variables can be a source of aggregate housing risk, and the first principal component extracted from the volatilities of U.S. housing variables can predict the expected REIT equity returns. I propose and construct a factor-based housing risk index as an additional factor in asset price models that uses the time-varying conditional volatility of housing variables within the U.S. housing sector. The findings show that the proposed housing risk index is economically and theoretically consistent with the risk-return relationship of the conditional Intertemporal Capital Asset Pricing Model (ICAPM) of Merton (1973), which predicts an average maximum of 5.6 percent of risk premium in REIT equity return. In subsample analyses, the positive relationship is not affected by sample periods' choice but shows higher housing risk beta values for the 2009-18 sample period. The relationship remains significant after controlling for VIX, Fama-French three factors, and a broad set of macroeconomic and financial variables. Moreover, the proposed housing beta also accurately forecasts U.S. macroeconomic and financial conditions.


title: CogSense: A Cognitively Inspired Framework for Perception Adaptation

abstract: This paper proposes the CogSense system, which is inspired by sense-making cognition and perception in the mammalian brain to perform perception error detection and perception parameter adaptation using probabilistic signal temporal logic. As a specific application, a contrast-based perception adaption method is presented and validated. The proposed method evaluates perception errors using heterogeneous probe functions computed from the detected objects and subsequently solves a contrast optimization problem to correct perception errors. The CogSense probe functions utilize the characteristics of geometry, dynamics, and detected blob image quality of the objects to develop axioms in a probabilistic signal temporal logic framework. By evaluating these axioms, we can formally verify whether the detections are valid or erroneous. Further, using the CogSense axioms, we generate the probabilistic signal temporal logic-based constraints to finally solve the contrast-based optimization problem to reduce false positives and false negatives.


title: Ready for Emerging Threats to Recommender Systems? A Graph Convolution-based Generative Shilling Attack

abstract: To explore the robustness of recommender systems, researchers have proposed various shilling attack models and analyzed their adverse effects. Primitive attacks are highly feasible but less effective due to simplistic handcrafted rules, while upgraded attacks are more powerful but costly and difficult to deploy because they require more knowledge from recommendations. In this paper, we explore a novel shilling attack called Graph cOnvolution-based generative shilling ATtack (GOAT) to balance the attacks' feasibility and effectiveness. GOAT adopts the primitive attacks' paradigm that assigns items for fake users by sampling and the upgraded attacks' paradigm that generates fake ratings by a deep learning-based model. It deploys a generative adversarial network (GAN) that learns the real rating distribution to generate fake ratings. Additionally, the generator combines a tailored graph convolution structure that leverages the correlations between co-rated items to smoothen the fake ratings and enhance their authenticity. The extensive experiments on two public datasets evaluate GOAT's performance from multiple perspectives. Our study of the GOAT demonstrates technical feasibility for building a more powerful and intelligent attack model with a much-reduced cost, enables analysis the threat of such an attack and guides for investigating necessary prevention measures.


title: The Public Good index for games with several levels of approval in the input and output

abstract: The Public Good index is a power index for simple games introduced by Holler and later axiomatized by Holler and Packel, so that some authors also speak of the Holler--Packel index. A generalization to the class of games with transferable utility was given by Holler and Li. Here we generalize the underlying ideas to games with several levels of approval in the input and output -- so-called $(j,k)$ simple games. Corresponding axiomatizations are also provided.


title: Steady-state phases of dissipative spin-1/2 XYZ model with frustrated interaction

abstract: We investigate the steady-state phases of the dissipative spin-1/2 $J_1$-$J_2$ XYZ model on a two-dimensional square lattice. We show the next-nearest-neighboring interaction plays a crucial role in determining the steady-state properties. By means of the Gutzwiller mean-field factorization, we find the emergence of antiferromag-netic steady-state phases. The existence of such antiferromagnetic steady-state phases in thermodynamic limit is confirmed by the cluster mean-field analysis. Moreover, we find the evidence of the limit cycle phase through the largest quantum Lyapunov exponent in small cluster, and check the stability of the oscillation by calculating the averaged oscillation amplitude up to $4\times4$ cluster mean-field approximation.


title: Anomalous High-Field Magnetotransport in CaFeAsF due to the Quantum Hall Effect

abstract: CaFeAsF is an iron-based superconductor parent compound whose Fermi surface is quasi-two dimensional, composed of Dirac-electron and Schr\"odinger-hole cylinders elongated along the $c$ axis. We measured the longitudinal and Hall resistivities in CaFeAsF with the electrical current in the $ab$ plane in magnetic fields up to 45 T applied along the $c$ axis and obtained the corresponding conductivities via tensor inversion. We found that both the longitudinal and Hall conductivities approached zero above $\sim$40 T as the temperature was lowered to 0.4 K. Our analysis indicates that the Landau-level filling factor is $\nu$ = 2 for both electrons and holes at these high field strengths, resulting in a total filling factor $\nu$ = $\nu_{hole} - \nu_{electron}$ = 0. We therefore argue that the $\nu$ = 0 quantum Hall state emerges under these conditions.


title: Joint Optimization of Preamble Selection and Access Barring for Random Access in MTC with General Device Activities

abstract: Most existing random access schemes for machine-type communications (MTC) simply adopt a uniform preamble selection distribution, irrespective of the underlying device activity distributions. Hence, they may yield unsatisfactory access efficiency. In this paper, we model device activities for MTC as multiple Bernoulli random variables following an arbitrary multivariate Bernoulli distribution which can reflect both dependent and independent device activities. Then, we optimize preamble selection and access barring for random access in MTC according to the underlying joint device activity distribution. Specifically, we investigate three cases of the joint device activity distribution, i.e., the cases of perfect, imperfect, and unknown joint device activity distributions, and formulate the average, worst-case average, and sample average throughput maximization problems, respectively. The problems in the three cases are challenging nonconvex problems. In the case of perfect joint device activity distribution, we develop an iterative algorithm and a low-complexity iterative algorithm to obtain stationary points of the original problem and an approximate problem, respectively. In the case of imperfect joint device activity distribution, we develop an iterative algorithm and a low-complexity iterative algorithm to obtain a Karush-Kuhn-Tucker (KKT) point of an equivalent problem and a stationary point of an approximate problem, respectively. Finally, in the case of unknown joint device activity distribution, we develop an iterative algorithm to obtain a stationary point. The proposed solutions are widely applicable and outperform existing solutions for dependent and independent device activities.


title: Flow Instability Transferability Characteristics within a Reversible Pump Turbine (RPT) under Large Guide Vane Opening (GVO)

abstract: Reversible pump turbines are praised for their operational flexibility leading to their recent wide adoption within pumped storage hydropower plants. However, frequently imposed off-design operating conditions in these plants give rise to large flow instability within RPT flow zones, where the vaneless space (VS) between the runner and guide vanes is claimed to be the base. Recent studies have pointed out the possibility of these instabilities stretching to other flow zones causing more losses and subsequent machine operational performance degradation. This study therefore intends to investigate the VS flow instability, its propagation characteristics, and the effect of machine influx and runner blade number on the same. CFD-backed simulations are conducted on ten flow conditions spanning from turbine zone through runaway vicinities to turbine brake (OC1 to OC15), using three runner models with different blades (7BL, 8BL, and 9BL). While VS pressure pulsation amplitudes increased with runner blades number decrease, the continuously decreasing flow led to gradual VS pressure pulsation level drop within the Turbine zone before increasing to Runaway and dropping back to deep turbine brake zone. The effect of the same parameters on the transmission mode to VS upstream flow zones is more remarkable than the downstream flow zones.


title: Existence of smooth solutions to the Landau-Fermi-Dirac equation with Coulomb potential

abstract: In this paper, we prove global-in-time existence and uniqueness of smooth solutions to the homogeneous Landau-Fermi-Dirac equation with Coulomb potential. The initial conditions are nonnegative, bounded and integrable. We also show that any weak solution converges towards the steady state given by the Fermi-Dirac statistics. Furthermore, the convergence is algebraic, provided that the initial datum is close to the steady state in a suitable weighted Lebesgue norm.


title: Phase transitions in 3D Ising model with cluster weight by Monte Carlo method

abstract: A cluster weight Ising model is proposed by introducing an additional cluster weight in the partition function of the traditional Ising model. It is equivalent to the O($n$) loop model or $n$-component face cubic loop model on the two-dimensional lattice, but on the three-dimensional lattice, it is still not very clear whether or not these models have the same universality. In order to simulate the cluster weight Ising model and search for new universality class, we apply a cluster algorithm, by combining the color-assignation and the Swendsen-Wang methods. The dynamical exponent for the absolute magnetization is estimated to be $z=0.45(3)$ at $n=1.5$, consistent with that of the traditional Swendsen-Wang methods. The numerical estimation of the thermal exponent $y_t$ and magnetic exponent $y_m$, show that the universalities of the two models on the three-dimensional lattice are different. We obtain the global phase diagram containing paramagnetic and ferromagnetic phases. The phase transition between the two phases are second order at $1\leq n< n_c$ and first order at $n\geq n_c$, where $n_c\approx 2$. The scaling dimension $y_t$ equals to the system dimension $d$ when the first-order transition occurs. Our results are helpful in the understanding of some traditional statistical mechanics models.


title: Differential Phase Shift Quantum Secret Sharing Using a Twin Field with Asymmetric Source Intensities

abstract: As an essential application of quantum mechanics in classical cryptography, quantum secret sharing has become an indispensable component of quantum internet. Recently, a differential phase shift quantum secret sharing protocol using a twin field has been proposed to break the linear rate-distance boundary. However, this original protocol has a poor performance over channels with asymmetric transmittances. To make it more practical, we present a differential phase shift quantum secret sharing protocol with asymmetric source intensities and give the security proof of our protocol against individual attacks. Taking finite-key effects into account, our asymmetric protocol can theoretically obtain the key rate two orders of magnitude higher than that of the original protocol when the difference in length between Alice's channel and Bob's is fixed at 14 km. Moreover, our protocol can provide a high key rate even when the difference is quite large and has great robustness against finite-key effects. Therefore, our work is meaningful for the real-life applications of quantum secret sharing.


title: PoseDet: Fast Multi-Person Pose Estimation Using Pose Embedding

abstract: Current methods of multi-person pose estimation typically treat the localization and the association of body joints separately. It is convenient but inefficient, leading to additional computation and a waste of time. This paper, however, presents a novel framework PoseDet (Estimating Pose by Detection) to localize and associate body joints simultaneously at higher inference speed. Moreover, we propose the keypoint-aware pose embedding to represent an object in terms of the locations of its keypoints. The proposed pose embedding contains semantic and geometric information, allowing us to access discriminative and informative features efficiently. It is utilized for candidate classification and body joint localization in PoseDet, leading to robust predictions of various poses. This simple framework achieves an unprecedented speed and a competitive accuracy on the COCO benchmark compared with state-of-the-art methods. Extensive experiments on the CrowdPose benchmark show the robustness in the crowd scenes. Source code is available.


title: Improving Blockchain Consistency Bound by Assigning Weights to Random Blocks

abstract: Blockchains based on the celebrated Nakamoto consensus protocol have shown promise in several applications, including cryptocurrencies. However, these blockchains have inherent scalability limits caused by the protocol's consensus properties. In particular, the \emph{consistency} property demonstrates a tight trade-off between block production speed and the system's security in terms of resisting adversarial attacks. This paper proposes a novel method, Ironclad, that improves blockchain consistency bound by assigning a different weight to randomly selected blocks. We apply our method to the original Nakamoto protocol and rigorously prove that such a combination can improve the consistency bound significantly by analyzing the fundamental consensus properties. Such an improvement enables a much faster block production rate than the original Nakamoto protocol under the same security guarantee with the same proportion of malicious mining power (see Figure 1).


title: Unsupervised learning of topological phase diagram using topological data analysis

abstract: Topology and machine learning are two actively researched topics not only in condensed matter physics, but also in data science. Here, we propose the use of topological data analysis in unsupervised learning of the topological phase diagrams. This is possible because the quantum distance can capture the shape of the space formed by the Bloch wavefunctions as we sweep over the Brillouin zone. Therefore, if we minimize the volume of the space formed by the wavefunction through a continuous deformation, the wavefunctions will end up forming distinct spaces which depend on the topology of the wavefunctions. Combining this observation with the topological data analysis, which provides tools such as the persistence diagram to capture the topology of the space formed by the wavefunctions, we can cluster together Hamiltonians that give rise to similar persistence diagrams after the deformation. By examining these clusters as well as representative persistence diagrams in the clusters, we can draw the phase diagram as well as distinguish between topologically trivial and nontrivial phases. Our proposal to minimize the volume can be interpreted as finding geodesics in 1D Brillouin zone, and minimal surfaces in 2D and higher-dimensional Brillouin zones. Using this interpretation, we can guarantee the convergence of the minimization under certain conditions, which is an outstanding feature of our algorithm. We demonstrate the working principles of our machine learning algorithm using various models.


title: What Makes Sound Event Localization and Detection Difficult? Insights from Error Analysis

abstract: Sound event localization and detection (SELD) is an emerging research topic that aims to unify the tasks of sound event detection and direction-of-arrival estimation. As a result, SELD inherits the challenges of both tasks, such as noise, reverberation, interference, polyphony, and non-stationarity of sound sources. Furthermore, SELD often faces an additional challenge of assigning correct correspondences between the detected sound classes and directions of arrival to multiple overlapping sound events. Previous studies have shown that unknown interferences in reverberant environments often cause major degradation in the performance of SELD systems. To further understand the challenges of the SELD task, we performed a detailed error analysis on two of our SELD systems, which both ranked second in the team category of DCASE SELD Challenge, one in 2020 and one in 2021. Experimental results indicate polyphony as the main challenge in SELD, due to the difficulty in detecting all sound events of interest. In addition, the SELD systems tend to make fewer errors for the polyphonic scenario that is dominant in the training set.


title: Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$

abstract: Strongly Turing determinacy, or $\mathrm{sTD}$, says that for any set $A$ of reals, if $\forall x\exists y\geq_T x (y\in A)$, then there is a pointed set $P\subseteq A$. We prove the following consequences of Turing determinacy ($\mathrm{TD}$) and $\mathrm{sTD}$: (1). $\mathrm{ZF+TD}$ implies weakly dependent choice ($\mathrm{wDC}$). (2). $\mathrm{ZF+sTD}$ implies that every set of reals is measurable and has Baire property. (3). $\mathrm{ZF+sTD}$ implies that every uncountable set of reals has a perfect subset. (4). $\mathrm{ZF+sTD}$ implies that for any set of reals $A$ and any $\epsilon>0$, (a) there is a closed set $F\subseteq A$ so that $\mathrm{Dim_H}(F)\geq \mathrm{Dim_H}(A)-\epsilon$. (b) there is a closed set $F\subseteq A$ so that $\mathrm{Dim_P}(F)\geq \mathrm{Dim_P}(A)-\epsilon$.


title: Improving Polyphonic Sound Event Detection on Multichannel Recordings with the S{\o}rensen-Dice Coefficient Loss and Transfer Learning

abstract: The S{\o}rensen--Dice Coefficient has recently seen rising popularity as a loss function (also known as Dice loss) due to its robustness in tasks where the number of negative samples significantly exceeds that of positive samples, such as semantic segmentation, natural language processing, and sound event detection. Conventional training of polyphonic sound event detection systems with binary cross-entropy loss often results in suboptimal detection performance as the training is often overwhelmed by updates from negative samples. In this paper, we investigated the effect of the Dice loss, intra- and inter-modal transfer learning, data augmentation, and recording formats, on the performance of polyphonic sound event detection systems with multichannel inputs. Our analysis showed that polyphonic sound event detection systems trained with Dice loss consistently outperformed those trained with cross-entropy loss across different training settings and recording formats in terms of F1 score and error rate. We achieved further performance gains via the use of transfer learning and an appropriate combination of different data augmentation techniques.


title: Action of Virasoro operators on Hall-Littlewood polynomials

abstract: In this paper, we prove formulas for the action of Virasoro operators on Hall-Littlewood polynomials at roots of unity.


title: A Novel Strategy for GaN-on-Diamond Device with a High Thermal Boundary Conductance

abstract: To achieve high device performance and high reliability for the gallium nitride (GaN)-based high electron mobility transistors (HEMTs), efficient heat dissipation is important but remains challenging. Enormous efforts have been made to transfer a GaN device layer onto a diamond substrate with a high thermal conductivity by bonding. In this work, two GaN-diamond bonded composites are prepared via modified surface activated bonding (SAB) at room temperature with silicon interlayers of different thicknesses (15 nm and 22 nm). Before and after post-annealing process at 800 oC, thermal boundary conductance (TBC) across the bonded interface including the interlayer and the stress of GaN layer are investigated by time-domain thermoreflectance and Raman spectroscopy, respectively. After bonding, the 15 nm Si interlayer achieved a higher TBC. The post-annealing significantly increased the TBC of both interfaces, while the TBC of 22 nm silicon interlayer increased greater and became higher than that of 15 nm. Detailed investigation of the microstructure and composition of the interfaces were carried out to understand the difference in interfacial thermal conduction. The obtained stress was no more than 230 MPa for both before and after the annealing, and this high thermal stability of the bonded composites indicates that the room temperature bonding can realize a GaN-on-diamond template suitable for further epitaxial growth or device process. This work brings a novel strategy of SAB followed by high-temperature annealing to fabricate a GaN-on-diamond device with a high TBC.


title: Back-Translated Task Adaptive Pretraining: Improving Accuracy and Robustness on Text Classification

abstract: Language models (LMs) pretrained on a large text corpus and fine-tuned on a downstream text corpus and fine-tuned on a downstream task becomes a de facto training strategy for several natural language processing (NLP) tasks. Recently, an adaptive pretraining method retraining the pretrained language model with task-relevant data has shown significant performance improvements. However, current adaptive pretraining methods suffer from underfitting on the task distribution owing to a relatively small amount of data to re-pretrain the LM. To completely use the concept of adaptive pretraining, we propose a back-translated task-adaptive pretraining (BT-TAPT) method that increases the amount of task-specific data for LM re-pretraining by augmenting the task data using back-translation to generalize the LM to the target task domain. The experimental results show that the proposed BT-TAPT yields improved classification accuracy on both low- and high-resource data and better robustness to noise than the conventional adaptive pretraining method.


title: Thermally-reconfigurable metalens

abstract: Thanks to the compact design and multi-functional light-manipulation capabilities, reconfigurable metalenses, which consist of arrays of sub-wavelength meta-atoms, offer unique opportunities for advanced optical systems, from microscopy to augmented reality platforms. Although poorly explored in the context of reconfigurable metalens, thermo-optical effects in resonant silicon nanoresonators have recently emerged as a viable strategy to realize tunable meta-atoms. In this work, we report the proof-of-concept design of an ultrathin (300 nm thick) and thermo-optically reconfigurable silicon metalens operating at a fixed, visible wavelength (632 nm). Importantly, we demonstrate continuous, linear modulation of the focal-length up to 21% (from 165 $\mu$m at 20$\deg$C to 135 $\mu$m at 260$\deg$C). Operating under right-circularly polarized light, our metalens exhibits an average conversion efficiency of 26%, close to mechanically modulated devices, and has a diffraction-limited performance. Overall, we envision that, combined with machine-learning algorithms for further optimization of the meta-atoms, thermally-reconfigurable metalenses with improved performance will be possible. Also, the generality of this approach could offer inspiration for the realization of active metasurfaces with other emerging material within field of thermo-nanophotonics.


title: A Deep Learning-based Quality Assessment and Segmentation System with a Large-scale Benchmark Dataset for Optical Coherence Tomographic Angiography Image

abstract: Optical Coherence Tomography Angiography (OCTA) is a non-invasive and non-contacting imaging technique providing visualization of microvasculature of retina and optic nerve head in human eyes in vivo. The adequate image quality of OCTA is the prerequisite for the subsequent quantification of retinal microvasculature. Traditionally, the image quality score based on signal strength is used for discriminating low quality. However, it is insufficient for identifying artefacts such as motion and off-centration, which rely specialized knowledge and need tedious and time-consuming manual identification. One of the most primary issues in OCTA analysis is to sort out the foveal avascular zone (FAZ) region in the retina, which highly correlates with any visual acuity disease. However, the variations in OCTA visual quality affect the performance of deep learning in any downstream marginally. Moreover, filtering the low-quality OCTA images out is both labor-intensive and time-consuming. To address these issues, we develop an automated computer-aided OCTA image processing system using deep neural networks as the classifier and segmentor to help ophthalmologists in clinical diagnosis and research. This system can be an assistive tool as it can process OCTA images of different formats to assess the quality and segment the FAZ area. The source code is freely available at https://github.com/shanzha09/COIPS.git. Another major contribution is the large-scale OCTA dataset, namely OCTA-25K-IQA-SEG we publicize for performance evaluation. It is comprised of four subsets, namely sOCTA-3$\times$3-10k, sOCTA-6$\times$6-14k, sOCTA-3$\times$3-1.1k-seg, and dOCTA-6$\times$6-1.1k-seg, which contains a total number of 25,665 images. The large-scale OCTA dataset is available at https://doi.org/10.5281/zenodo.5111975, https://doi.org/10.5281/zenodo.5111972.


title: Adaptive Dilated Convolution For Human Pose Estimation

abstract: Most existing human pose estimation (HPE) methods exploit multi-scale information by fusing feature maps of four different spatial sizes, \ie $1/4$, $1/8$, $1/16$, and $1/32$ of the input image. There are two drawbacks of this strategy: 1) feature maps of different spatial sizes may be not well aligned spatially, which potentially hurts the accuracy of keypoint location; 2) these scales are fixed and inflexible, which may restrict the generalization ability over various human sizes. Towards these issues, we propose an adaptive dilated convolution (ADC). It can generate and fuse multi-scale features of the same spatial sizes by setting different dilation rates for different channels. More importantly, these dilation rates are generated by a regression module. It enables ADC to adaptively adjust the fused scales and thus ADC may generalize better to various human sizes. ADC can be end-to-end trained and easily plugged into existing methods. Extensive experiments show that ADC can bring consistent improvements to various HPE methods. The source codes will be released for further research.


title: Inter and Intra-Annual Spatio-Temporal Variability of Habitat Suitability for Asian Elephants in India: A Random Forest Model-based Analysis

abstract: We develop a Random Forest model to estimate the species distribution of Asian elephants in India and study the inter and intra-annual spatiotemporal variability of habitats suitable for them. Climatic, topographic variables and satellite-derived Land Use/Land Cover (LULC), Net Primary Productivity (NPP), Leaf Area Index (LAI), and Normalized Difference Vegetation Index (NDVI) are used as predictors, and the species sighting data of Asian elephants from Global Biodiversity Information Reserve is used to develop the Random Forest model. A careful hyper-parameter tuning and training-validation-testing cycle are completed to identify the significant predictors and develop a final model that gives precision and recall of 0.78 and 0.77. The model is applied to estimate the spatial and temporal variability of suitable habitats. We observe that seasonal reduction in the suitable habitat may explain the migration patterns of Asian elephants and the increasing human-elephant conflict. Further, the total available suitable habitat area is observed to have reduced, which exacerbates the problem. This machine learning model is intended to serve as an input to the Agent-Based Model that we are building as part of our Artificial Intelligence-driven decision support tool to reduce human-wildlife conflict.


title: Copy and Paste method based on Pose for Re-identification

abstract: The aim of re-identification is to match objects in surveillance cameras with different viewpoints. Although ReID is developing at a considerably rapid pace, there is currently no processing method for the ReID task in multiple scenarios. However, such processing method is required in real life scenarios, such as those involving security. In the present study, a new ReID scenario was explored, which differs in terms of perspective, background, and pose(walking or cycling). Obviously, ordinary ReID processing methods cannot effectively handle such a scenario, with the introduction of image datasets being the optimal solution, in addition to being considerably expensive. To solve the aforementioned problem, a simple and effective method to generate images in several new scenarios was proposed, which is names the Copy and Paste method based on Pose(CPP). The CPP method is based on key point detection, using copy as paste, to composite a new semantic image dataset in two different semantic image datasets. As an example, pedestrains and bicycles can be used to generate several images that show the same person riding on different bicycles. The CPP method is suitable for ReID tasks in new scenarios and outperforms the traditional methods when applied to the original datasets in original ReID tasks. To be specific, the CPP method can also perform better in terms of generalization for third-party public dataset. The Code and datasets composited by the CPP method will be available in the future.


title: Unsupervised Detection of Adversarial Examples with Model Explanations

abstract: Deep Neural Networks (DNNs) have shown remarkable performance in a diverse range of machine learning applications. However, it is widely known that DNNs are vulnerable to simple adversarial perturbations, which causes the model to incorrectly classify inputs. In this paper, we propose a simple yet effective method to detect adversarial examples, using methods developed to explain the model's behavior. Our key observation is that adding small, humanly imperceptible perturbations can lead to drastic changes in the model explanations, resulting in unusual or irregular forms of explanations. From this insight, we propose an unsupervised detection of adversarial examples using reconstructor networks trained only on model explanations of benign examples. Our evaluations with MNIST handwritten dataset show that our method is capable of detecting adversarial examples generated by the state-of-the-art algorithms with high confidence. To the best of our knowledge, this work is the first in suggesting unsupervised defense method using model explanations.


title: Evolution of transport properties in FeSe thin flakes with thickness approaching the two-dimensional limit

abstract: Electronic properties of FeSe can be tuned by various routes. Here, we present a comprehensive study on the evolution of the superconductivity and nematicity in FeSe with thickness from bulk single crystal down to bilayer ($\sim$ 1.1 nm) through exfoliation. With decreasing flake thickness, both the structural transition temperature $T_{\rm s}$ and the superconducting transition temperature $T_{\rm c}^{\rm zero}$ are greatly suppressed. The magnetic field ($B$) dependence of Hall resistance $R_{xy}$ at 15 K changes from $B$-nonlinear to $B$-linear behavior up to 9 T, as the thickness ($d$) is reduced to 13 nm. $T_{\rm c}$ is linearly dependent on the inverse of flake thickness (1/$d$) when $d\le$ 13 nm, and a clear drop of $T_{\rm c}$ appears with thickness smaller than 27 nm. The $I$-$V$ characteristic curves in ultrathin flakes reveal the signature of Berezinskii-Kosterlitz-Thouless (BKT) transition, indicating the presence of two-dimensional superconductivity. Anisotropic magnetoresistance measurements further support 2D superconductivity in few-layer FeSe. Increase of disorder scattering, anisotropic strains and dimensionality effect with reducing the thickness of FeSe flakes, might be taken into account for understanding these behaviors. Our study provides systematic insights into the evolution of the superconducting properties, structural transition and Hall resistance of a superconductor FeSe with flakes thickness and provides an effective way to find two-dimensional superconductivity as well as other 2D novel phenomena.


title: Characteristic forms for holomorphic families of local systems

abstract: Let $f:\mathcal{X}\to S$ be a proper holomorphic submersion of complex manifolds and $G$ a complex reductive linear algebraic group with Lie algebra $\mathfrak{g}$. Assume also given a holomorphic principal $G$-bundle $\mathcal{P}$ over $\mathcal{X}$ which is endowed with a holomorphic connection $\nabla$ relative to $f$ that is flat (this to be thought of as a holomorphic family of compact complex manifolds endowed with a holomorphic principal $G$-bundle with flat connection). We show that a refinement of the Chern-Weil homomorphism yields a graded algebra homomorphism $\mathbb{C}[\mathfrak{g}]^G\to \bigoplus_{n\ge 0} H^0(S,\,\Omega^n_{S,cl}\otimes R^nf_*\mathbb{C})$, where $\Omega^n_{S,cl}$ stands for the sheaf of closed holomorphic $n$-forms on $S$. If the fibers of $f$ are compact Riemann surfaces and we take as our invariant the Killing form, then we recover Goldman's closed holomorphic $2$-form on the base $S$.


title: Efficient Neural Causal Discovery without Acyclicity Constraints

abstract: Learning the structure of a causal graphical model using both observational and interventional data is a fundamental problem in many scientific fields. A promising direction is continuous optimization for score-based methods, which, however, require constrained optimization to enforce acyclicity or lack convergence guarantees. In this paper, we present ENCO, an efficient structure learning method for directed, acyclic causal graphs leveraging observational and interventional data. ENCO formulates the graph search as an optimization of independent edge likelihoods, with the edge orientation being modeled as a separate parameter. Consequently, we can provide convergence guarantees of ENCO under mild conditions without constraining the score function with respect to acyclicity. In experiments, we show that ENCO can efficiently recover graphs with hundreds of nodes, an order of magnitude larger than what was previously possible, while handling deterministic variables and latent confounders.


title: Neural Ordinary Differential Equation Model for Evolutionary Subspace Clustering and Its Applications

abstract: The neural ordinary differential equation (neural ODE) model has attracted increasing attention in time series analysis for its capability to process irregular time steps, i.e., data are not observed over equally-spaced time intervals. In multi-dimensional time series analysis, a task is to conduct evolutionary subspace clustering, aiming at clustering temporal data according to their evolving low-dimensional subspace structures. Many existing methods can only process time series with regular time steps while time series are unevenly sampled in many situations such as missing data. In this paper, we propose a neural ODE model for evolutionary subspace clustering to overcome this limitation and a new objective function with subspace self-expressiveness constraint is introduced. We demonstrate that this method can not only interpolate data at any time step for the evolutionary subspace clustering task, but also achieve higher accuracy than other state-of-the-art evolutionary subspace clustering methods. Both synthetic and real-world data are used to illustrate the efficacy of our proposed method.


title: Superconductivity of CH4-intercalated H3S under high pressure

abstract: The discovery of the high temperature superconducting state in compounds of hydrogen, carbon and sulfur with the critical temperature (Tc) of 288 K at high pressure is an important milestone towards room-temperature superconductors. Here, we have extensively investigated the high-pressure phases of CS2H10, and found four phases Cmc21, P3m1, P-3m1 and Pm. Among them, P3m1 can be dynamically stable at pressure as low as 50 GPa, and Cmc21 has high Tc of 155 K at 150 GPa. Both of Cmc21 and P3m1 are host-guest hydrides, in which CH4 molecules are inserted into Im-3m-H3S and R3m-H3S sublattices, respectively. Their Tc is dominated by the H3S lattice inside. The insertion of CH4 greatly reduces the pressure required for the stability of the original H3S lattice, but it has a negative impact on superconductivity that cannot be ignored. By studying the effect of CH4 insertion in the H3S lattice, we can design hydrides with Tc close to that of H3S and a greatly reduced pressure required for stability.


title: Passing $C^*$-correspondence Relations to the Cuntz-Pimsner algebras

abstract: We construct a functor that maps $C^*$-correspondences to their Cuntz-Pimsner algebras. Applications include a generalization of the well-known result of Muhly and Solel: Morita equivalent $C^*$-correspondences have Morita equivalent Cuntz-Pimsner algebras; as well as the result of Muhly, Pask, and Tomforde: regular strong shift equivalent $C^*$-correspondences have Morita equivalent Cuntz-Pimsner algebras.


title: Investigating the correlation between Flat Top Solitary Waves and Offset Bipolar Pulse in auroral plasma

abstract: Non conventional localized pulses, like offset bipolars have been reported in the Earths magnetosphere. The reports were sporadic and the theoretical interpretations were mainly event based which differ for slow or fast moving pulses. Here it was shown that the offset bipolar pulses are manifestations of an ideal, mathematically defined nonlinear coherent structure called a flat top soliton. Adopting Sagdeev pseudopotential technique, and assuming a simple plasma model, it was shown that a slow moving offset bipolar pulse in the auroral region can be interpreted as an ion acoustic flat top solitary wave. The proposed theory is a generic one and can easily be extended to a fast moving one under an appropriate plasma model. One important characteristic of such structures is that they generally occur at the boundary of two different phases of nonlinear dynamical processes.


title: High dimensional expansion implies amplified local testability

abstract: In this work we show that high dimensional expansion implies locally testable code. Specifically, we define a notion that we call high-dimensional-expanding-system (HDE-system). This is a set system defined by incidence relations with certain high dimensional expansion relations between its sets. We say that a linear code is modelled over HDE-system, if the collection of linear constraints that the code satisfies could by described via the HDE-system. We show that a code that can be modelled over HDE-system is locally testable. This implies that high dimensional expansion phenomenon solely implies local testability of codes. Prior work had to rely to local notions of local testability to get some global forms of testability (e.g. co-systolic expansion from local one, global agreement from local one), while our work infers global testability directly from high dimensional expansion without relying on some local form of testability. The local testability result that we obtain from HDE-systems is, in fact, stronger than standard one, and we term it amplified local testability. We further show that most of the well studied locally testable codes as Reed-Muller codes and more generally affine invariant codes with single-orbit property fall into our framework. Namely, it is possible to show that they are modelled over an HDE-system, and hence the family of all p-ary affine invariant codes is amplified locally testable. This yields the strongest known testing results for affine invariant codes with single orbit, strengthening the work of Kaufman and Sudan.


title: On a discrete composition of the fractional integral and Caputo derivative

abstract: We prove a discrete analogue for the composition of the fractional integral and Caputo derivative. This result is relevant in numerical analysis of fractional PDEs when one discretizes the Caputo derivative with the so-called L1 scheme. The proof is based on asymptotic evaluation of the discrete sums with the use of the Euler-Maclaurin summation formula.


title: An enhanced Euler characteristic of sutured instanton homology

abstract: For a balanced sutured manifold $(M,\gamma)$, we construct a decomposition of $SHI(M,\gamma)$ with respect to torsions in $H=H_1(M;\mathbb{Z})$, which generalizes the decomposition of $I^\sharp(Y)$ in previous work of the authors. This decomposition can be regarded as a candidate for the counterpart of the torsion spin$^c$ decompositions in $SFH(M,\gamma)$. Based on this decomposition, we define an enhanced Euler characteristic $\chi_{\rm en}(SHI(M,\gamma))\in\mathbb{Z}[H]/\pm H$ and prove that $\chi_{\rm en}(SHI(M,\gamma))=\chi(SFH(M,\gamma))$. This provides a better lower bound on $\dim_\mathbb{C}SHI(M,\gamma)$ than the graded Euler characteristic $\chi_{\rm gr}(SHI(M,\gamma))$. As applications, we prove instanton knot homology detects the unknot in any instanton L-space and show that the conjecture $KHI(Y,K)\cong \widehat{HFK}(Y,K)$ holds for all $(1,1)$-L-space knots and constrained knots in lens spaces, which include all torus knots and many hyperbolic knots in lens spaces.


title: A Stochastic Control Approach to Public Debt Management

abstract: We discuss a class of debt management problems in a stochastic environment model. We propose a model for the debt-to-GDP (Gross Domestic Product) ratio where the government interventions via fiscal policies affect the public debt and the GDP growth rate at the same time. We allow for stochastic interest rate and possible correlation with the GDP growth rate through the dependence of both the processes (interest rate and GDP growth rate) on a stochastic factor which may represent any relevant macroeconomic variable, such as the state of economy. We tackle the problem of a government whose goal is to determine the fiscal policy in order to minimize a general functional cost. We prove that the value function is a viscosity solution to the Hamilton-Jacobi-Bellman equation and provide a Verification Theorem based on classical solutions. We investigate the form of the candidate optimal fiscal policy in many cases of interest, providing interesting policy insights. Finally, we discuss two applications to the debt reduction problem and debt smoothing, providing explicit expressions of the value function and the optimal policy in some special cases.


title: Bandit Quickest Changepoint Detection

abstract: Many industrial and security applications employ a suite of sensors for detecting abrupt changes in temporal behavior patterns. These abrupt changes typically manifest locally, rendering only a small subset of sensors informative. Continuous monitoring of every sensor can be expensive due to resource constraints, and serves as a motivation for the bandit quickest changepoint detection problem, where sensing actions (or sensors) are sequentially chosen, and only measurements corresponding to chosen actions are observed. We derive an information-theoretic lower bound on the detection delay for a general class of finitely parameterized probability distributions. We then propose a computationally efficient online sensing scheme, which seamlessly balances the need for exploration of different sensing options with exploitation of querying informative actions. We derive expected delay bounds for the proposed scheme and show that these bounds match our information-theoretic lower bounds at low false alarm rates, establishing optimality of the proposed method. We then perform a number of experiments on synthetic and real datasets demonstrating the effectiveness of our proposed method.


title: Abstract Reasoning via Logic-guided Generation

abstract: Abstract reasoning, i.e., inferring complicated patterns from given observations, is a central building block of artificial general intelligence. While humans find the answer by either eliminating wrong candidates or first constructing the answer, prior deep neural network (DNN)-based methods focus on the former discriminative approach. This paper aims to design a framework for the latter approach and bridge the gap between artificial and human intelligence. To this end, we propose logic-guided generation (LoGe), a novel generative DNN framework that reduces abstract reasoning as an optimization problem in propositional logic. LoGe is composed of three steps: extract propositional variables from images, reason the answer variables with a logic layer, and reconstruct the answer image from the variables. We demonstrate that LoGe outperforms the black box DNN frameworks for generative abstract reasoning under the RAVEN benchmark, i.e., reconstructing answers based on capturing correct rules of various attributes from observations.


title: Binary irreducible quasi-cyclic parity-check subcodes of Goppa codes and extended Goppa codes

abstract: Goppa codes are particularly appealing for cryptographic applications. Every improvement of our knowledge of Goppa codes is of particular interest. In this paper, we present a sufficient and necessary condition for an irreducible monic polynomial $g(x)$ of degree $r$ over $\mathbb{F}_{q}$ satisfying $\gamma g(x)=(x+d)^rg({A}(x))$, where $q=2^n$, $A=\left(\begin{array}{cc} a&b\\1&d\end{array}\right)\in PGL_2(\Bbb F_{q})$, $\mathrm{ord}(A)$ is a prime, $g(a)\ne 0$, and $0\ne \gamma\in \Bbb F_q$. And we give a complete characterization of irreducible polynomials $g(x)$ of degree $2s$ or $3s$ as above, where $s$ is a positive integer. Moreover, we construct some binary irreducible quasi-cyclic parity-check subcodes of Goppa codes and extended Goppa codes.


title: Benchmarking AutoML Frameworks for Disease Prediction Using Medical Claims

abstract: We ascertain and compare the performances of AutoML tools on large, highly imbalanced healthcare datasets. We generated a large dataset using historical administrative claims including demographic information and flags for disease codes in four different time windows prior to 2019. We then trained three AutoML tools on this dataset to predict six different disease outcomes in 2019 and evaluated model performances on several metrics. The AutoML tools showed improvement from the baseline random forest model but did not differ significantly from each other. All models recorded low area under the precision-recall curve and failed to predict true positives while keeping the true negative rate high. Model performance was not directly related to prevalence. We provide a specific use-case to illustrate how to select a threshold that gives the best balance between true and false positive rates, as this is an important consideration in medical applications. Healthcare datasets present several challenges for AutoML tools, including large sample size, high imbalance, and limitations in the available features types. Improvements in scalability, combinations of imbalance-learning resampling and ensemble approaches, and curated feature selection are possible next steps to achieve better performance. Among the three explored, no AutoML tool consistently outperforms the rest in terms of predictive performance. The performances of the models in this study suggest that there may be room for improvement in handling medical claims data. Finally, selection of the optimal prediction threshold should be guided by the specific practical application.


title: Temperature and Face Dependent Copper-Graphene Interactions

abstract: The interaction between graphene and metals represents an important issue for the large-area preparation of graphene, graphene transfer and the contact quality in graphene devices. We demonstrate a simple method for estimating and manipulating the level of interaction between graphene and copper single crystals through heat treatment, at temperatures from 298K to 1073K. We performed an in-situ Raman spectroscopy showing Cu face-specific behavior of the overlying graphene during the heat treatment. On Cu(111) the interaction is consistent with theoretical predictions and remains stable, whereas on Cu(100) and Cu(110), the initially very weak interaction and charge transfer can be tuned by heating. Our results also suggest that graphene grown on Cu(100) and Cu(110) is detached from the copper substrate, thereby possibly enabling an easier graphene transfer process as compared to Cu (111).


title: Patterns of Patterns

abstract: This paper shows how we combine and adapt methods from elite training, future studies, and collaborative design, and apply them to address significant problems in social networks. We focus on three such methods: we use Project Action Reviews to implement social perception, Causal Layered Analysis to implement social cognition, and Design Pattern Languages to implement social action. We present the results of two studies: firstly, we use Causal Layered Analysis to explore the ways in which the design pattern discourse has been evolving. Secondly, to illustrate the three methods in combination, we develop a case study, showing how we applied the methods to bootstrap a distributed cross-disciplinary research seminar. Building on these analyses, we elaborate several scenarios for the future use of design patterns in large-scale distributed collaboration. Our case study suggests ways in which progress could be made towards realizing these scenarios. We conclude that the combination of methods is robust to uncertainty, insofar as they support adaptations as circumstances change, and incorporate diverse perspectives. In particular, we show how methods drawn from other domains enrich and are enriched by design patterns; we believe the analysis will be of interest to all of the communities whose methods we draw upon.


title: Four approaches for description of stochastic systems with small and finite inertia

abstract: We analyse four approaches to elimination of a fast variable, which are applicable to systems like passive Brownian particles: (i) moment formalism, (ii) corresponding cumulant formalism, (iii) Hermite function basis, (iv) formal `cumulants' for the Hermit function basis. The accuracy and its strong order are assessed. The applicability and performance of two first approaches are also demonstrated for active Brownian particles.


title: Electromagnetic form factors of $\Lambda$ hyperon in the vector meson dominance model and a possible explanation of the near-threshold enhancement of the $e^+e^- \to \Lambda\bar{\Lambda}$ reaction

abstract: The near-threshold $e^+e^- \to \Lambda\bar{\Lambda}$ reaction is studied with the assumption that the production mechanism is due to a near-$\Lambda \bar{\Lambda}$-threshold bound state. The cross section of $e^+e^- \to \Lambda\bar{\Lambda}$ reaction is parametrized in terms of the electromagnetic form factors of $\Lambda$ hyperon, which are obtained with the vector meson dominance model. It is shown that the contribution to the $e^+e^- \to \Lambda\bar{\Lambda}$ reaction from a new narrow state with quantum numbers $J^{PC}=1^{--}$ is dominant for energies very close to threshold. The mass of this new state is around 2231 MeV, which is very close to the mass threshold of $\Lambda \bar{\Lambda}$, while its width is just a few MeV. This gives a possible solution to the problem that all previous calculations seriously underestimate the near-threshold total cross section of the $e^+e^- \to \Lambda\bar{\Lambda}$ reaction. We also note that the near-threshold enhancement can be also reproduced by including these well established vector resonances $\omega(1420)$, $\omega(1650)$, $\phi(1680)$, or $\phi(2170)$ with a Flatt${\rm\acute{e}}$ form for their total decay width, and a strong coupling to the $\Lambda\bar{\Lambda}$ channel.


title: On uniqueness of submaximally symmetric parabolic geometries

abstract: Among (regular, normal) parabolic geometries of type $(G,P)$, there is a locally unique maximally symmetric structure and it has symmetry dimension $\dim(G)$. The symmetry gap problem concerns the determination of the next realizable (submaximal) symmetry dimension. When $G$ is a complex or split-real simple Lie group of rank at least three or when $(G,P) = (G_2,P_2)$, we establish a local uniqueness result for submaximally symmetric structures of type $(G,P)$.


title: Towards quantification of the ratio of the single and double wall carbon nanotubes in their mixtures:An In situ Raman spectroelectrochemical study

abstract: Mixtures containing different weight ratios of single wall carbon nanotubes (SWCNT) and double wall carbon nanotubes (DWCNT) were prepared and studied by in-situ Raman spectroelectrochemistry. Two components of the G-prime mode in the Raman spectra, which can be resolved at high electrode potentials, were assigned to the signals from inner tubes of DWCNT and outer tubes of DWCNT together with SWCNT. The dependence of the ratios of these two components of the G-prime mode on the nominal amount of SWCNT and DWCNT in the samples was simulated so that the residual amount of SWCNT in the original DWCNT could be determined. Additionally, the individual contributions of all components of carbon nanotubes into the total area of the G-prime mode at high electrode potentials were estimated from the simulation.


title: Groupoids and singular foliations

abstract: This doctoral thesis has two objectives. The first objective is to introduce a notion of equivalence for singular foliations that preserves their transverse geometry and is compatible with the notions of Morita equivalence of the holonomy groupoids and the transverse equivalence for regular foliations that appeared in the 1980's. The second one is to describe the structures behind quotients of singular foliations and to connect these results with their associated holonomy groupoids. It also wants to give an introduction to the notion of singular foliations as given by Androulidakis and Skandalis in arXiv:math/0612370, as well as to their relation with Lie groupoids and Lie algebroids.


title: X-ray induced desorption and photochemistry in CO ice

abstract: We report an investigation of X-ray induced desorption of neutrals, cations and anions from CO ice. The desorption of neutral CO, by far the most abundant, is quantified and discussed within the context of its application to astrochemistry. The desorption of many different cations, including large cations up to the mass limit of the spectrometer, are observed. In contrast, the only desorbing anions detected are O$^-$ and C$^-$. The desorption mechanisms of all these species are discussed with the aid of their photodesorption spectrum. The evolution of the X-ray absorption spectrum shows significant chemical modifications of the ice upon irradiation, which along with the desorption of large cations gives a new insight into X-ray induced photochemistry in CO ice.


title: External-Memory Networks for Low-Shot Learning of Targets in Forward-Looking-Sonar Imagery

abstract: We propose a memory-based framework for real-time, data-efficient target analysis in forward-looking-sonar (FLS) imagery. Our framework relies on first removing non-discriminative details from the imagery using a small-scale DenseNet-inspired network. Doing so simplifies ensuing analyses and permits generalizing from few labeled examples. We then cascade the filtered imagery into a novel NeuralRAM-based convolutional matching network, NRMN, for low-shot target recognition. We employ a small-scale FlowNet, LFN to align and register FLS imagery across local temporal scales. LFN enables target label consensus voting across images and generally improves target detection and recognition rates. We evaluate our framework using real-world FLS imagery with multiple broad target classes that have high intra-class variability and rich sub-class structure. We show that few-shot learning, with anywhere from ten to thirty class-specific exemplars, performs similarly to supervised deep networks trained on hundreds of samples per class. Effective zero-shot learning is also possible. High performance is realized from the inductive-transfer properties of NRMNs when distractor elements are removed.


title: Robust low-rank covariance matrix estimation with a general pattern of missing values

abstract: This paper tackles the problem of robust covariance matrix estimation when the data is incomplete. Classical statistical estimation methodologies are usually built upon the Gaussian assumption, whereas existing robust estimation ones assume unstructured signal models. The former can be inaccurate in real-world data sets in which heterogeneity causes heavy-tail distributions, while the latter does not profit from the usual low-rank structure of the signal. Taking advantage of both worlds, a covariance matrix estimation procedure is designed on a robust (mixture of scaled Gaussian) low-rank model by leveraging the observed-data likelihood function within an expectation-maximization algorithm. It is also designed to handle general pattern of missing values. The proposed procedure is first validated on simulated data sets. Then, its interest for classification and clustering applications is assessed on two real data sets with missing values, which include multispectral and hyperspectral time series.


title: Simple theoretical model for parity-time-symmetric metasurfaces

abstract: Many new possibilities to observe and use novel physical effects are discovered at so called exceptional points (EPs). This is done by using parity-time (PT) -symmetric non-Hermitian systems and balancing gains and losses. When combined with EP-physics, recently, metasurfaces have shown greater abilities for wave manipulation than conventional metasurface systems. However, the solving process for EPs usually requires the transfer matrix method (TMM) or a parametric sweep, which are both complex and time-consuming. In this Letter, we develop a simple theoretical model, which is based on acoustic equivalent-circuit theory and can find the analytic solutions for EPs directly. As a proof of concept, PT-symmetric acoustic metasurfaces are studied to test the theoretical model, which enables unidirectional antireflection effects at EPs. In addition, finite element method (FEM) simulations are performed to study these EP solutions using the theoretical model for different mediums, wavelengths, angles of incidence, and gain-loss ratios. Our work offers a simple and powerful theoretical tool for designing PT-symmetric metasurfaces at EPs and may also be used for other classical wave systems.


title: Evaluating the Quality of Finite Element Meshes with Machine Learning

abstract: This paper addresses the problem of evaluating the quality of finite element meshes for the purpose of structural mechanic simulations. It proposes the application of a machine learning model trained on data collected from expert evaluations. The task is characterised as a classification problem, where quality of each individual element in a mesh is determined by its own properties and adjacency structures. A domain-specific, yet simple representation is proposed such that off-the-shelf machine learning methods can be applied. Experimental data from industry practice demonstrates promising results.


title: Multiple Query Optimization using a Hybrid Approach of Classical and Quantum Computing

abstract: Quantum computing promises to solve difficult optimization problems in chemistry, physics and mathematics more efficiently than classical computers, but requires fault-tolerant quantum computers with millions of qubits. To overcome errors introduced by today's quantum computers, hybrid algorithms combining classical and quantum computers are used. In this paper we tackle the multiple query optimization problem (MQO) which is an important NP-hard problem in the area of data-intensive problems. We propose a novel hybrid classical-quantum algorithm to solve the MQO on a gate-based quantum computer. We perform a detailed experimental evaluation of our algorithm and compare its performance against a competing approach that employs a quantum annealer -- another type of quantum computer. Our experimental results demonstrate that our algorithm currently can only handle small problem sizes due to the limited number of qubits available on a gate-based quantum computer compared to a quantum computer based on quantum annealing. However, our algorithm shows a qubit efficiency of close to 99% which is almost a factor of 2 higher compared to the state of the art implementation. Finally, we analyze how our algorithm scales with larger problem sizes and conclude that our approach shows promising results for near-term quantum computers.


title: Remarks on the geodesically completeness and the smoothing effect on asymptotically Minkowski spacetimes

abstract: In this note, we study a geometric property of asymptotically Minkowski spacetimes and an analytic property of the Klein-Gordon operator. Precisely, our first main results show that asymptotically Minkowski spacetimes are geodesically complete under a null non-trapping condition. Secondly, we prove that Sobolev index of a real principal type estimate used in the previous work is actually optimal.


title: Hodge theoretic reward allocation for generalized cooperative games on graphs

abstract: This paper generalizes L.S. Shapley's celebrated value allocation theory on coalition games by discovering and applying a fundamental connection between stochastic path integration driven by canonical time-reversible Markov chains and Hodge-theoretic discrete Poisson's equations on general weighted graphs. More precisely, we begin by defining cooperative games on general graphs and generalize Shapley's value allocation formula for those games in terms of stochastic path integral driven by the associated canonical Markov chain. We then show the value allocation operator, one for each player defined by the path integral, turns out to be the solution to the Poisson's equation defined via the combinatorial Hodge decomposition on general weighted graphs. Several motivational examples and applications are presented, in particular, a section is devoted to reinterpret and extend Nash's and Kohlberg and Neyman's solution concept for cooperative games. This and other examples, e.g. on revenue management, suggest that our general framework does not have to be restricted to cooperative games setup, but may apply to broader range of problems arising in economics, finance and other social and physical sciences.