title: Knowledge infused cascade convolutional neural network for segmenting retinal vessels in volumetric optical coherence tomography

abstract: We present a cascade deep neural network to segment retinal vessels in volumetric optical coherence tomography (OCT). Two types of knowledge are infused into the network for confining the searching regions. (1) Histology. The retinal vessels locate between the inner limiting membrane and the inner nuclear layer of human retina. (2) Imaging. The red blood cells inside the vessels scatter the OCT probe light forward and form projection shadows on the retinal pigment epithelium (RPE) layer, which is avascular thus perfect for localizing the retinal vessel in transverse plane. Qualitative and quantitative comparison results show that the proposed method outperforms the state-of-the-art deep learning and graph-based methods. This work demonstrates, instead of modifying the architectures of the deep networks, incorporating proper prior knowledge in the design of the image processing framework could be an efficient approach for handling such specific tasks.


title: Attribute-aware Pedestrian Detection in a Crowd

abstract: Pedestrian detection is an initial step to perform outdoor scene analysis, which plays an essential role in many real-world applications. Although having enjoyed the merits of deep learning frameworks from the generic object detectors, pedestrian detection is still a very challenging task due to heavy occlusion and highly crowded group. Generally, the conventional detectors are unable to differentiate individuals from each other effectively under such a dense environment. To tackle this critical problem, we propose an attribute-aware pedestrian detector to explicitly model people's semantic attributes in a high-level feature detection fashion. Besides the typical semantic features, center position, target's scale and offset, we introduce a pedestrian-oriented attribute feature to encode the high-level semantic differences among the crowd. Moreover, a novel attribute-feature-based Non-Maximum Suppression~(NMS) is proposed to distinguish the person from a highly overlapped group by adaptively rejecting the false-positive results in a very crowd settings. Furthermore, a novel ground truth target is designed to alleviate the difficulties caused by the attribute configuration and extremely class imbalance issues during training. Finally, we evaluate our proposed attribute-aware pedestrian detector on two benchmark datasets including CityPersons and CrowdHuman. The experimental results show that our approach outperforms state-of-the-art methods at a large margin on pedestrian detection.


title: An Apparent Paradox: A Classifier Trained from a Partially Classified Sample May Have Smaller Expected Error Rate Than That If the Sample Were Completely Classified

abstract: There has been increasing interest in using semi-supervised learning to form a classifier. As is well known, the (Fisher) information in an unclassified feature with unknown class label is less (considerably less for weakly separated classes) than that of a classified feature which has known class label. Hence assuming that the labels of the unclassified features are randomly missing or their missing-label mechanism is simply ignored, the expected error rate of a classifier formed from a partially classified sample is greater than that if the sample were completely classified. We propose to treat the labels of the unclassified features as missing data and to introduce a framework for their missingness in situations where these labels are not randomly missing. An examination of several partially classified data sets in the literature suggests that the unclassified features are not occurring at random but rather tend to be concentrated in regions of relatively high entropy in the feature space. Here in the context of two normal classes with a common covariance matrix we consider the situation where the missingness of the labels of the unclassified features can be modelled by a logistic model in which the probability of a missing label for a feature depends on its entropy. Rather paradoxically, we show that the classifier so formed from the partially classified sample may have smaller expected error rate that that if the sample were completely classified.


title: Identities of the Kauffman Monoid $\mathcal{K}_4$ and of the Jones monoid $\mathcal{J}_4$

abstract: Kauffman monoids $\mathcal{K}_n$ and Jones monoids $\mathcal{J}_n$, $n=2,3,\dots$, are two families of monoids relevant in knot theory. We prove a somewhat counterintuitive result that the Kauffman monoids $\mathcal{K}_3$ and $\mathcal{K}_4$ satisfy exactly the same identities. This leads to a polynomial time algorithm to check whether a given identity holds in $\mathcal{K}_4$. As a byproduct, we also find a polynomial time algorithm for checking identities in the Jones monoid $\mathcal{J}_4$.


title: Regularization Matters in Policy Optimization

abstract: Deep Reinforcement Learning (Deep RL) has been receiving increasingly more attention thanks to its encouraging performance on a variety of control tasks. Yet, conventional regularization techniques in training neural networks (e.g., $L_2$ regularization, dropout) have been largely ignored in RL methods, possibly because agents are typically trained and evaluated in the same environment, and because the deep RL community focuses more on high-level algorithm designs. In this work, we present the first comprehensive study of regularization techniques with multiple policy optimization algorithms on continuous control tasks. Interestingly, we find conventional regularization techniques on the policy networks can often bring large improvement, especially on harder tasks. Our findings are shown to be robust against training hyperparameter variations. We also compare these techniques with the more widely used entropy regularization. In addition, we study regularizing different components and find that only regularizing the policy network is typically the best. We further analyze why regularization may help generalization in RL from four perspectives - sample complexity, reward distribution, weight norm, and noise robustness. We hope our study provides guidance for future practices in regularizing policy optimization algorithms. Our code is available at https://github.com/xuanlinli17/iclr2021_rlreg .


title: The Generalized-Alpha-Beta-Skew-Normal Distribution: Properties and Applications

abstract: In this paper we have introduced a generalized version of alpha beta skew normal distribution in the same line of Sharafi et al. (2017) and investigated some of its basic properties. The extensions of the proposed distribution have also been studied. The appropriateness of the proposed distribution has been tested by comparing the values of Akaike Information Criterion (AIC) and Bayesian Information Criterion (BIC) with the values of some other known related distributions for better model selection. Likelihood ratio test has been used for discriminating between nested models.


title: Solving an old puzzle: fine structure of diffraction spots from an azo-polymer surface relief grating

abstract: We report on the experimental and theoretical interpretation of the diffraction of a probe beam during inscription of a surface relief grating with an interference pattern into a photo-responsive polymer film. For this we developed a set-up allowing for the simultaneous recording of the diffraction efficiency (DE), the fine structure of the diffraction spot and the topographical changes, in situ and in real time while the film is irradiated. The time dependence of the DE, as the surface relief deepens, follows a Bessel function exhibiting maxima and minima. The size of the probe beam relative to the inscribed grating (i.e., to the size of the writing beams) matters and has to be considered for the interpretation of the DE signal. It is also at the origin of a fine structure within the diffraction spot where ring-shaped features appear once an irradiation time corresponding to the first maximum of the DE has been exceeded.


title: A report of (topological) Hall anomaly two decades ago in Gd2PdSi3, and its relevance to the history of the field of Topological Hall Effect due to magnetic skyrmions

abstract: The area of magnetic skyrmions, with potential revolution in certain applications, in condensed matter physics is considered about a decade old. In this article, we draw the attention of the community to the recent work of Kurumaji et al [Science 365, 914 (2019)] establishing magnetic skyrmion lattice behavior in Gd2PdSi3. We consider it important to bring out the two decades old history, in particular Hall transport anomalies characterizing magnetic skyrmions. The key experimental data in support of the skyrmion lattice that Kurumaji et al present is the observation of topological Hall resistivity in an intervening field range, following two metamagnetic transitions. In addition, the values are giant, compared to those known for other magnetic skyrmions. We point out here that such features in Hall resistivity data, arising from Gd 4f magnetism, can be found in our publication in 1999 (along with the metamagnetic transitions) and we expressed difficulties in explaining the results at that time. In view of above, we propose to the scientific community that the compound Gd2PdSi3, ex post facto, can be considered as the first experimental demonstration for giant topological Hall effect in this field, discovered about two decades ago. We take this opportunity to share some thoughts, offering clues for further investigations, in particular to identify novel magnetic skyrmions and to find the same to enable applications.


title: The Hessian polynomial and the Jacobian ideal of a reduced hypersurface in $\mathbb{P}^n$

abstract: For a reduced hypersurface $V(f) \subseteq \mathbb{P}^n$ of degree $d$, the Castelnuovo-Mumford regularity of the Milnor algebra $M(f)$ is well understood when $V(f)$ is smooth, as well as when $V(f)$ has isolated singularities. We study the regularity of $M(f)$ when $V(f)$ has a positive dimensional singular locus. In certain situations, we prove that the regularity is bounded by $(d-2)(n+1)$, which is the degree of the Hessian polynomial of $f$. However, this is not always the case, and we prove that in $\mathbb{P}^n$ the regularity of the Milnor algebra can grow quadratically in $d$.


title: Decision Programming for Multi-Stage Optimization under Uncertainty

abstract: Influence diagrams are widely employed to represent multi-stage decision problems in which each decision is a choice from a discrete set of alternatives, uncertain chance events have discrete outcomes, and prior decisions may influence the probability distributions of uncertain chance events endogenously. In this paper, we develop the Decision Programming framework which extends the applicability of influence diagrams by developing mixed-integer linear programming formulations for solving such problems in the presence of many kinds of constraints. In particular, Decision Programming makes it possible to (i) solve problems in which earlier decisions cannot necessarily be recalled later, for instance, when decisions are taken by agents who cannot communicate with each other; (ii) accommodate a broad range of deterministic and chance constraints, including those based on resource consumption, logical dependencies or risk measures such as Conditional Value-at-Risk; and (iii) determine all non-dominated decision strategies in problems which involve multiple value objectives. In project portfolio selection problems, Decision Programming allows scenario probabilities to depend endogenously on project decisions and can thus be viewed as a generalization of Contingent Portfolio Programming.


title: Secrecy and Covert Communications against UAV Surveillance via Multi-Hop Networks

abstract: The deployment of unmanned aerial vehicle (UAV) for surveillance and monitoring gives rise to the confidential information leakage challenge in both civilian and military environments. The security and covert communication problems for a pair of terrestrial nodes against UAV surveillance are considered in this paper. To overcome the information leakage and increase the transmission reliability, a multi-hop relaying strategy is deployed. We aim to optimize the throughput by carefully designing the parameters of the multi-hop network, including the coding rates, transmit power, and required number of hops. In the secure transmission scenario, the expressions of the connection probability and secrecy outage probability of an end-to-end path are derived and the closed-form expressions of the optimal transmit power, transmission and secrecy rates under a fixed number of hops are obtained. In the covert communication problem, under the constraints of the detection error rate and aggregate power, the sub-problem of transmit power allocation is a convex problem and can be solved numerically. Simulation shows the impact of network settings on the transmission performance. The trade-off between secrecy/covertness and efficiency of the multi-hop transmission is discussed which leads to the existence of the optimal number of hops.


title: Automatic Lumbar Spinal CT Image Segmentation with a Dual Densely Connected U-Net

abstract: The clinical treatment of degenerative and developmental lumbar spinal stenosis (LSS) is different. Computed tomography (CT) is helpful in distinguishing degenerative and developmental LSS due to its advantage in imaging of osseous and calcified tissues. However, boundaries of the vertebral body, spinal canal and dural sac have low contrast and hard to identify in a CT image, so the diagnosis depends heavily on the knowledge of expert surgeons and radiologists. In this paper, we develop an automatic lumbar spinal CT image segmentation method to assist LSS diagnosis. The main contributions of this paper are the following: 1) a new lumbar spinal CT image dataset is constructed that contains 2393 axial CT images collected from 279 patients, with the ground truth of pixel-level segmentation labels; 2) a dual densely connected U-shaped neural network (DDU-Net) is used to segment the spinal canal, dural sac and vertebral body in an end-to-end manner; 3) DDU-Net is capable of segmenting tissues with large scale-variant, inconspicuous edges (e.g., spinal canal) and extremely small size (e.g., dural sac); and 4) DDU-Net is practical, requiring no image preprocessing such as contrast enhancement, registration and denoising, and the running time reaches 12 FPS. In the experiment, we achieve state-of-the-art performance on the lumbar spinal image segmentation task. We expect that the technique will increase both radiology workflow efficiency and the perceived value of radiology reports for referring clinicians and patients.


title: Identification of the Blood Perfusion Rate for Laser-Induced Thermotherapy in the Liver

abstract: Using PDE-constrained optimization we introduce a parameter identification approach which can identify the blood perfusion rate from MR thermometry data obtained during the treatment with laser-induced thermotherapy (LITT). The blood perfusion rate, i.e., the cooling effect induced by blood vessels, can be identified during the first stage of the treatment. This information can then be used by a simulation to monitor and predict the ongoing treatment. The approach is tested with synthetic measurements with and without artificial noise as input data.


title: Deep Reinforcement Learning Control of Quantum Cartpoles

abstract: We generalize a standard benchmark of reinforcement learning, the classical cartpole balancing problem, to the quantum regime by stabilizing a particle in an unstable potential through measurement and feedback. We use state-of-the-art deep reinforcement learning to stabilize a quantum cartpole and find that our deep learning approach performs comparably to or better than other strategies in standard control theory. Our approach also applies to measurement-feedback cooling of quantum oscillators, showing the applicability of deep learning to general continuous-space quantum control.


title: Fredholm one-dimensional boundary-value problems in Sobolev spaces

abstract: For systems of ordinary differential equations on a compact interval, we study the character of solvability of the most general linear boundary-value problems in Sobolev spaces. We find the indices of these problems and obtain a criterion of their well-posedness.


title: Conservation Laws in a Limit Order Book

abstract: We present a class of macroscopic models of the Limit Order Book to simulate the aggregate behaviour of market makers in response to trading flows. The resulting models are solved numerically and asymptotically, and a class of similarity solutions linked to order book formation and recovery is explored. The main result is that order book recovery from aggressive liquidity taking follows a simple $t^{1/3}$ scaling law.


title: Microwave limiters implemented by coupled dielectric resonators based on a topological defect mode and CT-symmetry breaking

abstract: We present a microwave realization of a reflective topological limiter based on an explicit self-induced violation of a charge-conjugation (CT) symmetry. The starting point is a bipartite structure created by coupled dielectric resonators with a topological defect placed at the center and two lossy resonators placed on the neighboring sites of the defect. This defect supports a resonant mode if the CT-symmetry is present, while it is suppressed once the symmetry is violated due to permittivity changes of the defect resonator associated with high irradiances of the incident radiation. This destruction leads to a suppression of transmittance and a subsequent increase of the reflectance while the absorption is also suppressed.


title: Condition numbers for real eigenvalues in the real Elliptic Gaussian ensemble

abstract: We study the distribution of the eigenvalue condition numbers $\kappa_i=\sqrt{ (\mathbf{l}_i^* \mathbf{l}_i)(\mathbf{r}_i^* \mathbf{r}_i)}$ associated with real eigenvalues $\lambda_i$ of partially asymmetric $N\times N$ random matrices from the real Elliptic Gaussian ensemble. The large values of $\kappa_i$ signal the non-orthogonality of the (bi-orthogonal) set of left $\mathbf{l}_i$ and right $\mathbf{r}_i$ eigenvectors and enhanced sensitivity of the associated eigenvalues against perturbations of the matrix entries. We derive the general finite $N$ expression for the joint density function(JDF) ${\cal P}_N(z,t)$ of $t=\kappa_i^2-1$ and $\lambda_i$ taking value $z$, and investigate its several scaling regimes in the limit $N\to \infty$. When the degree of asymmetry is fixed as $N\to \infty$, the number of real eigenvalues is $O(\sqrt{N})$, and in the bulk of the real spectrum $t_i=O(N)$, while on approaching the spectral edges the non-orthogonality is weaker: $t_i=O(\sqrt{N})$. In both cases the corresponding JDFs, after appropriate rescaling, coincide with those found in the earlier studied case of fully asymmetric (Ginibre) matrices. A different regime of weak asymmetry arises when a finite fraction of $N$ eigenvalues remain real as $N\to \infty$. In such a regime eigenvectors are weakly non-orthogonal, $t=O(1)$, and we derive the associated JDF, finding that the characteristic tail ${\cal P}(z,t)\sim t^{-2}$ survives for arbitrary weak asymmetry. As such, it is the most robust feature of the condition number density for real eigenvalues of asymmetric matrices.


title: Global Thermodynamic Properties of Complex Spin Systems Calculated from Density of States and Indirectly by Thermodynamic Integration Method

abstract: Evaluation of global thermodynamic properties, such as the entropy or the free energy, of complex systems featuring a high degree of frustration or disorder is often desirable. Nevertheless, they cannot be measured directly in standard Monte Carlo simulation. Therefore, they are either evaluated indirectly from the directly measured quantities, for example by the thermodynamic integration method (TIM), or by applying more sophisticated simulation methods, such as the Wang-Landau (WL) algorithm, which can directly sample density of states. In the present investigation we compare the performance of the WL and TIM methods in terms of calculation of the entropy of an Ising antiferromagnetic system on a Kagome lattice - a typical example of a complex spin system with high geometrical frustration resulting in a non-zero residual entropy the value of which is exactly known. It is found that in terms of accuracy the implementationally simpler TIM can deliver results comparable with the more involved WL method.


title: Decentralized Optimization over Tree Graphs

abstract: This paper presents a decentralized algorithm for non-convex optimization over tree-structured networks. We assume that each node of this network can solve small-scale optimization problems and communicate approximate value functions with its neighbors based on a novel multi-sweep communication protocol. In contrast to existing parallelizable optimization algorithms for non-convex optimization the nodes of the network are neither synchronized nor assign any central entity. None of the nodes needs to know the whole topology of the network, but all nodes know that the network is tree-structured. We discuss conditions under which locally quadratic convergence rates can be achieved. The method is illustrated by running the decentralized asynchronous multi-sweep protocol on a radial AC power network case study.


title: A Fat boundary-type method for localized nonhomogeneous material problems

abstract: Problems with localized nonhomogeneous material properties arise frequently in many applications and are a well-known source of difficulty in numerical simulations. In certain applications (including additive manufacturing), the physics of the problem may be considerably more complicated in relatively small portions of the domain, requiring a significantly finer local mesh compared to elsewhere in the domain. This can make the use of a uniform mesh numerically unfeasible. While nonuniform meshes can be employed, they may be challenging to generate (particularly for regions with complex boundaries) and more difficult to precondition. The problem becomes even more prohibitive when the region requiring a finer-level mesh changes in time, requiring the introduction of refinement and derefinement techniques. To address the aforementioned challenges, we employ a technique related to the Fat boundary method as a possible alternative. We analyze the proposed methodology, from a mathematical point of view and validate our findings on two-dimensional numerical tests.


title: An efficient container lemma

abstract: We prove a new, efficient version of the hypergraph container theorems that is suited for hypergraphs with large uniformities. The main novelty is a refined approach to constructing containers that employs simple ideas from high-dimensional convex geometry. The existence of smaller families of containers for independent sets in such hypergraphs, which is guaranteed by the new theorem, allows us to improve upon the best currently known bounds for several problems in extremal graph theory, discrete geometry, and Ramsey theory.


title: Calculation of the $B\to K_{0,2}^*(1430)f_0(980)/\sigma$ decays in the Perturbative QCD Approach

abstract: Motivated by the observations of the decays $B^0 \to K_0^{*}(1430)^0 f_0(980)$ and $ B^0 \to K_2^{*}(1430)^0 f_0(980)$ from BaBar collaboration, we study the $B^{0(+)} \to K_{0,2}^{*}(1430)^{0(+)} f_0(980)/\sigma$ decays in the perturbative QCD approach for the first time. In the absence of reliable nonperturbative wave functions we only assume the scalar meson $f_0(980)$ and $\sigma$ are two-quark ground states. In our calculations, these decays are all dominated by the hard-scattering emission and annihilation diagrams, while the factorizable emission diagrams are forbidden or suppressed heavily by the vector decay constants. Furthermore, the branching fractions are sensitive to the mixing between $f_0(980)$ and $\sigma$. Comparing our results with the experimental data, a large mixing angle $\theta$ is favored. Taking $\theta=145^\circ$, the orders of branching fractions of $B \to K_0^{*}(1430)^0 \sigma$, $B \to K_{2}^{*}(1430)^0 \sigma$ and $B \to K_{0,2}^{*}(1430)^0 f_0(980)$ are predicted to be $10^{-4}$, $10^{-5}$ and $10^{-6}$, respectively, which can be measured in the current experiments such as LHCb and Belle-2. In addition, although these decays are penguin dominant, the mixing also leads to large direct $CP$ asymmetries in these decays. With the precise data in future, our results could shed light on the inner structure of the scalar mesons and can be used to determine the mixing angle of the $\sigma-f_0(980)$ system.


title: Harnessing energy landscape exploration to control the buckling of cylindrical shells

abstract: The complexity and unpredictability of postbuckling responses in even simple thin shells have raised great challenges to emerging technologies exploiting buckling transitions. Here we comprehensively survey the buckling landscapes to show the full complexity of the stable buckling states and the transition mechanisms between each of them. This is achieved by combining a simple and versatile triangulated lattice model for modelling the shell morphologies with efficient high-dimensional free-energy minimisation and transition path finding algorithms. We show how the simple free energy landscapes of short, lightly compressed cylinders become vastly more complex at high compressive strains or aspect ratios. We then exploit these landscapes to introduce an effective method for targeted design - landscape biasing. This is used to inform thickness modifications enabling landscape redesign, and the development of structures which are highly resistant to lateral perturbations. Our methods are general, and can be extended to studying postbuckling responses of other geometries.

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


title: Statistical tests for the Pseudo-Lindley distribution and applications

abstract: The pseudo-Lindley distribution was introduced as a useful generalization of the Lindley distribution in Zeghdoudi and Nedjar (2016) who showed interesting properties of their new laws and efficiencies in modeling data in Reliability and Survival Analysis. In this paper we study the estimators of the pair of parameters and determine their asymptotic law from which a chi-square law is derived. From both asymptotic laws, statistical tests are built. Simulation studies on the tests conclude to their efficiency for data sizes generally used in Reliability. R codes related to statistical analysis on that law are given in an appropriate archive repository code paper in Arxiv.


title: Analysis and a Solution of Momentarily Missed Detection for Anchor-based Object Detectors

abstract: The employment of convolutional neural networks has led to significant performance improvement on the task of object detection. However, when applying existing detectors to continuous frames in a video, we often encounter momentary miss-detection of objects, that is, objects are undetected exceptionally at a few frames, although they are correctly detected at all other frames. In this paper, we analyze the mechanism of how such miss-detection occurs. For the most popular class of detectors that are based on anchor boxes, we show the followings: i) besides apparent causes such as motion blur, occlusions, background clutters, etc., the majority of remaining miss-detection can be explained by an improper behavior of the detectors at boundaries of the anchor boxes; and ii) this can be rectified by improving the way of choosing positive samples from candidate anchor boxes when training the detectors.


title: Frozen percolation on the binary tree is nonendogenous

abstract: In frozen percolation, i.i.d. uniformly distributed activation times are assigned to the edges of a graph. At its assigned time, an edge opens provided neither of its endvertices is part of an infinite open cluster; in the opposite case, it freezes. Aldous (2000) showed that such a process can be constructed on the infinite 3-regular tree and asked whether the event that a given edge freezes is a measurable function of the activation times assigned to all edges. We give a negative answer to this question, or, using an equivalent formulation and terminology introduced by Aldous and Bandyopadhyay (2005), we show that the recursive tree process associated with frozen percolation on the oriented binary tree is nonendogenous. An essential role in our proofs is played by a frozen percolation process on a continuous-time binary Galton Watson tree that has nice scale invariant properties.


title: Vanishing theorems for Shimura varieties at unipotent level

abstract: We show that the compactly supported cohomology of Shimura varieties of Hodge type of infinite $\Gamma_1(p^\infty)$-level (defined with respect to a Borel subgroup) vanishes above the middle degree, under the assumption that the group of the Shimura datum splits at $p$. This generalizes and strengthens the vanishing result proved in "Shimura varieties at level $\Gamma_1(p^\infty)$ and Galois representations". As an application of this vanishing theorem, we prove a result on the codimensions of ordinary completed homology for the same groups, analogous to conjectures of Calegari--Emerton for completed (Borel--Moore) homology.


title: Gauge invariant canonical symplectic algorithms for real-time lattice strong-field quantum electrodynamics

abstract: A class of high-order canonical symplectic structure-preserving geometric algorithms are developed for high-quality simulations of the quantized Dirac-Maxwell theory based strong-field quantum electrodynamics (SFQED) and relativistic quantum plasmas (RQP) phenomena. The Lagrangian density of an interacting bispinor-gauge fields theory is constructed in a conjugate real fields form. The canonical symplectic form and canonical equations of this field theory are obtained by the general Hamilton's principle on cotangent bundle. Based on discrete exterior calculus, the gauge field components are discreted to form a cochain complex, and the bispinor components are naturally discreted on a staggered dual lattice as combinations of differential forms. With pull-back and push-forward gauge covariant derivatives, the discrete action is gauge invariant. A well-defined discrete canonical Poisson bracket generates a semi-discrete lattice canonical field theory (LCFT), which admits the canonical symplectic form, unitary property, gauge symmetry and discrete Poincar\'e subgroup. The Hamiltonian splitting method, Cayley transformation and symmetric composition technique are introduced to construct a class of high-order numerical schemes. These schemes involve two degenerate fermion flavors and are locally unconditional stable, which also preserve the geometric structures. Equipped with statistically quantization-equivalent ensemble models of the Dirac vacuum and non-trivial plasma backgrounds, the schemes are expected to have excellent performance in secular simulations of relativistic quantum effects. The algorithms are verified in detail by numerical energy spectra. Real-time LCFT simulations are successfully implemented for the nonlinear Schwinger mechanism induced $e$-$e^+$ pairs creation and vacuum Kerr effect, which open a new door toward high-quality simulations in SFQED and RQP.

categories: quant-ph hep-lat physics.comp-ph physics.plasm-ph


title: Composition in Modulus Maps on Semigroups of Continuous Functions

abstract: For locally compact Hausdorff spaces $X$ and $Y$, and function algebras $A$ and $B$ on $X$ and $Y$, respectively, surjections $T:A \longrightarrow B$ satisfying norm multiplicative condition $\|Tf\, Tg\|_Y =\|fg\|_X$, $f,g\in A$, with respect to the supremum norms, and those satisfying $\||Tf|+|Tg|\|_Y=\||f|+|g|\|_X$ have been extensively studied. Motivated by this, we consider certain (multiplicative or additive) subsemigroups $A$ and $B$ of $C_0(X)$ and $C_0(Y)$, respectively, and study surjections $T: A \longrightarrow B$ satisfying the norm condition $\rho(Tf, Tg)=\rho(f,g)$, $f,g \in A$, for some class of two variable positive functions $\rho$. It is shown that $T$ is also a composition in modulus map.


title: Decoupling Representation and Classifier for Long-Tailed Recognition

abstract: The long-tail distribution of the visual world poses great challenges for deep learning based classification models on how to handle the class imbalance problem. Existing solutions usually involve class-balancing strategies, e.g., by loss re-weighting, data re-sampling, or transfer learning from head- to tail-classes, but most of them adhere to the scheme of jointly learning representations and classifiers. In this work, we decouple the learning procedure into representation learning and classification, and systematically explore how different balancing strategies affect them for long-tailed recognition. The findings are surprising: (1) data imbalance might not be an issue in learning high-quality representations; (2) with representations learned with the simplest instance-balanced (natural) sampling, it is also possible to achieve strong long-tailed recognition ability by adjusting only the classifier. We conduct extensive experiments and set new state-of-the-art performance on common long-tailed benchmarks like ImageNet-LT, Places-LT and iNaturalist, showing that it is possible to outperform carefully designed losses, sampling strategies, even complex modules with memory, by using a straightforward approach that decouples representation and classification. Our code is available at https://github.com/facebookresearch/classifier-balancing.


title: The Performance of the KIBB-g1 Tabletop Kibble Balance at NIST

abstract: A tabletop-sized Kibble balance (KIBB-g1) designed to directly realize mass at the gram-level range with uncertainties on the order of parts in 10$^6$ has been developed at the National Institute of Standards and Technology (NIST). The masses of a nominally 5\,g and 1\,g weight were determined with 1-$\sigma$ standard uncertainties of 9.0\,$\upmu$g and 6.7\,$\upmu$g, respectively. The corresponding relative uncertainties are $1.8\times 10^{-6}$ and $6.3\times 10^{-6}$. The construction of the instrument, capabilities, and full uncertainty budgets are presented in this manuscript.


title: A Transformation Perspective on Marginal and Conditional Models

abstract: Clustered observations are ubiquitous in controlled and observational studies and arise naturally in multi-centre trials or longitudinal surveys. We present a novel model for the analysis of clustered observations where the marginal distributions are described by a linear transformation model and the correlations by a joint multivariate normal distribution. The joint model provides an analytic formula for the marginal distribution. Owing to the richness of transformation models, the techniques are applicable to any type of response variable, including bounded, skewed, binary, ordinal, or survival responses. We demonstrate how the common normal assumption for reaction times can be relaxed in the sleep deprivation benchmark dataset and report marginal odds ratios for the notoriously difficult toe nail data. We furthermore discuss the analysis of two clinical trials aiming at the estimation of marginal treatment effects. In the first trial, pain was repeatedly assessed on a bounded visual analog scale and marginal proportional-odds models are presented. The second trial reported disease-free survival in rectal cancer patients, where the marginal hazard ratio from Weibull and Cox models is of special interest. An empirical evaluation compares the performance of the novel approach to general estimation equations for binary responses and to conditional mixed-effects models for continuous responses. An implementation is available in the "tram" add-on package to the R system and was benchmarked against established models in the literature.


title: Plasmons in ultra-thin gold slabs with quantum spill-out: Fourier modal method, perturbative approach, and analytical model

abstract: We numerically study the effect of the quantum spill-out (QSO) on the plasmon mode indices of an ultra-thin metallic slab, using the Fourier modal method (FMM). To improve the convergence of the FMM results, a novel nonlinear coordinate transformation is suggested and employed. Furthermore, we present a perturbative approach for incorporating the effects of QSO on the plasmon mode indices, which agrees very well with the full numerical results. The perturbative approach also provides additional physical insight, and is used to derive analytical expressions for the mode indices using a simple model for the dielectric function. The analytical expressions reproduce the results obtained from the numerically-challenging spill-out problem with much less effort and may be used for understanding the effects of QSO on other plasmonic structures.


title: Finite Element Error Analysis of Surface Stokes Equations in Stream Function Formulation

abstract: We consider a surface Stokes problem in stream function formulation on a simply connected oriented surface $\Gamma \subset \mathbb{R}^3$ without boundary. This formulation leads to a coupled system of two second order scalar surface partial differential equations (for the stream function and an auxiliary variable). To this coupled system a trace finite element discretization method is applied. The main topic of the paper is an error analysis of this discretization method, resulting in optimal order discretization error bounds. The analysis applies to the surface finite element method of Dziuk-Elliott, too. We also investigate methods for reconstructing velocity and pressure from the stream function approximation. Results of numerical experiments are included.


title: Model Reduction of Converter-Dominated Power Systems by Singular Perturbation Theory

abstract: The increasing integration of power electronic devices is driving the development of more advanced tools and methods for the modeling, analysis, and control of modern power systems to cope with the different time-scale oscillations. In this paper, we propose a general methodology based on the singular perturbation theory to reduce the order of systems modeled by ordinary differential equations and the computational burden in their simulation. In particular, we apply the proposed methodology to a simplified power system scenario comprised of three inverters in parallel---controlled as synchronverters---connected to an ideal grid. We demonstrate by time-domain simulations that the reduced and decoupled system obtained with the proposed approach accurately represents the dynamics of the original system because it preserves the non-linear dynamics. This shows the efficiency of our technique even for transient perturbations and has relevant applications including the simplification of the Lyapunov stability assessment or the design of non-linear controllers for large-scale power systems.


title: Aggregated Gradient Langevin Dynamics

abstract: In this paper, we explore a general Aggregated Gradient Langevin Dynamics framework (AGLD) for the Markov Chain Monte Carlo (MCMC) sampling. We investigate the nonasymptotic convergence of AGLD with a unified analysis for different data accessing (e.g. random access, cyclic access and random reshuffle) and snapshot updating strategies, under convex and nonconvex settings respectively. It is the first time that bounds for I/O friendly strategies such as cyclic access and random reshuffle have been established in the MCMC literature. The theoretic results also indicate that methods in AGLD possess the merits of both the low per-iteration computational complexity and the short mixture time. Empirical studies demonstrate that our framework allows to derive novel schemes to generate high-quality samples for large-scale Bayesian posterior learning tasks.


title: Graph approximations to the Laplacian spectra

abstract: I prove that the spectrum of the Laplace-Beltrami operator with the Neumann boundary condition on a compact Riemannian manifold with boundary admits a fast approximation by the spectra of suitable graph Laplacians on proximity graphs on the manifold, and similar graph approximation works for metric-measure spaces glued out of compact Riemannian manifolds of the same dimension.


title: XPM-forced frequency-oscillating soliton in mode-locked fiber laser

abstract: Cross phase modulation (XPM) could induce soliton trapping in nonlinear medium, which has been employed to achieve vector soliton, optical switching and optical analog of gravity-like potentials. These results are generally within the definition in Hamilton system. Here, we report on the observation of a XPM-forced frequency-oscillating soliton (XFOS) whose wavelength exhibits redshift and blueshift periodically like dancing in a mode-locked fiber laser under moderate birefringence. XFOS consists of two orthogonally polarized components exhibiting simultaneous frequency oscillation driven by XPM and gain effect, which allows withstanding higher pulse energy. The pulse trapping is maintained by differentiating the frequency-shift rate. Numerical simulations agree very well with experimental results, revealing an idiosyncratic evolution dynamic for asymmetry pulses in nonlinear dissipative system and envisaging a technique to control pulse feature with preset pulse chirp. XFOS may exist generally in polarization-independent ultrafast lasers, which enriches soliton family and brings useful insights into nonlinear science and applications.


title: Multi-body Interactions and Non-Linear Consensus Dynamics on Networked Systems

abstract: Multi-body interactions can reveal higher-order dynamical effects that are not captured by traditional two-body network models. In this work, we derive and analyse models for consensus dynamics on hypergraphs, where nodes interact in groups rather than in pairs. Our work reveals that multi-body dynamical effects that go beyond rescaled pairwise interactions can only appear if the interaction function is non-linear, regardless of the underlying multi-body structure. As a practical application, we introduce a specific non-linear function to model three-body consensus, which incorporates reinforcing group effects such as peer pressure. Unlike consensus processes on networks, we find that the resulting dynamics can cause shifts away from the average system state. The nature of these shifts depends on a complex interplay between the distribution of the initial states, the underlying structure and the form of the interaction function. By considering modular hypergraphs, we discover state-dependent, asymmetric dynamics between polarised clusters where multi-body interactions make one cluster dominate the other.


title: Safe-Bayesian Generalized Linear Regression

abstract: We study generalized Bayesian inference under misspecification, i.e. when the model is 'wrong but useful'. Generalized Bayes equips the likelihood with a learning rate $\eta$. We show that for generalized linear models (GLMs), $\eta$-generalized Bayes concentrates around the best approximation of the truth within the model for specific $\eta \neq 1$, even under severely misspecified noise, as long as the tails of the true distribution are exponential. We derive MCMC samplers for generalized Bayesian lasso and logistic regression and give examples of both simulated and real-world data in which generalized Bayes substantially outperforms standard Bayes.


title: Parametrized Complexity of Expansion Height

abstract: Deciding whether two simplicial complexes are homotopy equivalent is a fundamental problem in topology, which is famously undecidable. There exists a combinatorial refinement of this concept, called simple-homotopy equivalence: two simplicial complexes are of the same simple-homotopy type if they can be transformed into each other by a sequence of two basic homotopy equivalences, an elementary collapse and its inverse, an elementary expansion. In this article we consider the following related problem: given a 2-dimensional simplicial complex, is there a simple-homotopy equivalence to a 1-dimensional simplicial complex using at most p expansions? We show that the problem, which we call the erasability expansion height, is W[P]-complete in the natural parameter p.


title: Electron-hole asymmetry in electrical conductivity of low-fluorinated graphene: Numerical study

abstract: By using the real-space Green-Kubo formalism we study numerically the electron transport properties of low-fluorinated graphene. At low temperatures the diffuse transport regime is expected to be prevalent, and we found a pronounced electron-hole asymmetry in electrical conductivity as a result of quasi-resonant scattering on the localized states. For the finite temperatures in the variable-range hopping transport regime the interpretation of numerical results leads to the appearance of local minima and maxima of the resistance near the energies of the localized states. A comparison with the experimental measurements of the resistance in graphene samples with various fluorination degrees is discussed.


title: ipA-MedGAN: Inpainting of Arbitrary Regions in Medical Imaging

abstract: Local deformations in medical modalities are common phenomena due to a multitude of factors such as metallic implants or limited field of views in magnetic resonance imaging (MRI). Completion of the missing or distorted regions is of special interest for automatic image analysis frameworks to enhance post-processing tasks such as segmentation or classification. In this work, we propose a new generative framework for medical image inpainting, titled ipA-MedGAN. It bypasses the limitations of previous frameworks by enabling inpainting of arbitrary shaped regions without a prior localization of the regions of interest. Thorough qualitative and quantitative comparisons with other inpainting and translational approaches have illustrated the superior performance of the proposed framework for the task of brain MR inpainting.


title: Solar X-ray Monitor (XSM) On-board Chandrayaan-2 Orbiter

abstract: Solar X-ray Monitor (XSM) is one of the scientific instruments on-board Chandrayaan-2 orbiter. The XSM along with instrument CLASS (Chandras Large Area Soft x-ray Spectrometer) comprise the remote X-ray fluorescence spectroscopy experiment of Chandrayaan-2 mission with an objective to determine the elemental composition of the lunar surface on a global scale. XSM instrument will measure the solar X-rays in the energy range of 1-15 keV using state-of-the-art Silicon Drift Detector (SDD). The Flight Model (FM) of the XSM payload has been designed, realized and characterized for various operating parameters. XSM provides energy resolution of 180 eV at 5.9 keV with high time cadence of one second. The X-ray spectra of the Sun observed with XSM will also contribute to the study of solar corona. The detailed description and the performance characteristics of the XSM instrument are presented in this paper.


title: Alpha Particle X-Ray Spectrometer (APXS) On-board Chandrayaan-2 Rover -- Pragyan

abstract: Alpha Particle X-ray Spectrometer (APXS) is one of the two scientific experiments on Chandrayaan-2 rover named as Pragyan. The primary scientific objective of APXS is to determine the elemental composition of the lunar surface in the surrounding regions of the landing site. This will be achieved by employing the technique of X-ray fluorescence spectroscopy using in-situ excitation source Cm-244 emitting both X-rays and alpha particles. These radiations excite characteristic X-rays of the elements by the processes of particle induced X-ray emission (PIXE) and X-ray fluorescence (XRF). The characteristic X-rays are detected by the state-of-the-art X-ray detector known as Silicon Drift Detector (SDD), which provides high energy resolution as well as high efficiency in the energy range of 1 to 25 keV. This enables APXS to detect all major rock forming elements such as, Na, Mg, Al, Si, Ca, Ti and Fe. The Flight Model (FM) of the APXS payload has been completed and tested for various instrument parameters. The APXS provides energy resolution of 135 eV at 5.9 keV for the detector operating temperature of about -35 deg C. The design details and the performance measurement of APXS are presented in this paper.


title: CNN based Extraction of Panels/Characters from Bengali Comic Book Page Images

abstract: Peoples nowadays prefer to use digital gadgets like cameras or mobile phones for capturing documents. Automatic extraction of panels/characters from the images of a comic document is challenging due to the wide variety of drawing styles adopted by writers, beneficial for readers to read them on mobile devices at any time and useful for automatic digitization. Most of the methods for localization of panel/character rely on the connected component analysis or page background mask and are applicable only for a limited comic dataset. This work proposes a panel/character localization architecture based on the features of YOLO and CNN for extraction of both panels and characters from comic book images. The method achieved remarkable results on Bengali Comic Book Image dataset (BCBId) consisting of total $4130$ images, developed by us as well as on a variety of publicly available comic datasets in other languages, i.e. eBDtheque, Manga 109 and DCM dataset.


title: Learning a Generic Adaptive Wavelet Shrinkage Function for Denoising

abstract: The rise of machine learning in image processing has created a gap between trainable data-driven and classical model-driven approaches: While learning-based models often show superior performance, classical ones are often more transparent. To reduce this gap, we introduce a generic wavelet shrinkage function for denoising which is adaptive to both the wavelet scales as well as the noise standard deviation. It is inferred from trained results of a tightly parametrised function which is inherited from nonlinear diffusion. Our proposed shrinkage function is smooth and compact while only using two parameters. In contrast to many existing shrinkage functions, it is able to enhance image structures by amplifying wavelet coefficients. Experiments show that it outperforms classical shrinkage functions by a significant margin.


title: Constructing Privacy Channels from Information Channels

abstract: Data privacy protection studies how to query a dataset while preserving the privacy of individuals whose sensitive information is contained in the dataset. The information privacy model protects the privacy of an individual by using a noisy channel, called privacy channel, to filter out most information of the individual from the query's output. This paper studies how to construct privacy channels, which is challenging since it needs to evaluate the maximal amount of disclosed information of each individual contained in the query's output, called individual channel capacity. Our main contribution is an interesting result which can transform the problem of evaluating a privacy channel's individual channel capacity, which equals the problem of evaluating the capacities of an infinite number of channels, into the problem of evaluating the capacities of a finite number of channels. This result gives us a way to utilize the results in the information theory to construct privacy channels. As some examples, it is used to construct several basic privacy channels, such as the random response privacy channel, the exponential privacy channel and the Gaussian privacy channel, which are respective counterparts of the random response mechanism, the exponential mechanism and the Gaussian mechanism of differential privacy.


title: Demonstration of critical coupling in an active III-nitride microdisk photonic circuit on silicon

abstract: On-chip microlaser sources in the blue constitute an important building block for complex integrated photonic circuits on silicon. We have developed photonic circuits operating in the blue spectral range based on microdisks and bus waveguides in III-nitride on silicon. We report on the interplay between microdisk-waveguide coupling and its optical properties. We observe critical coupling and phase matching, i.e. the most efficient energy transfer scheme, for very short gap sizes and thin waveguides (g = 45 nm and w = 170 nm) in the spontaneous emission regime. Whispering gallery mode lasing is demonstrated for a wide range of parameters with a strong dependence of the threshold on the loaded quality factor. We show the dependence and high sensitivity of the output signal on the coupling. Lastly, we observe the impact of processing on the tuning of mode resonances due to the very short coupling distances. Such small footprint on-chip integrated microlasers providing maximum energy transfer into a photonic circuit have important potential applications for visible-light communication and lab-on-chip bio-sensors.


title: Graphene under bichromatic driving: Commensurability and spatio-temporal symmetries

abstract: We study the non-linear current response of a Dirac model that is coupled to two time-periodic electro-magnetic fields with different frequencies. We distinguish between incommensurable and commensurable frequencies, the latter characterized by their ratio p/q with co-prime integers p and q. Coupling the (effective) two-level system to a dissipative bath ensures a well-defined long-time solution for the reduced density operator and, thus, the current. We then analyze the spatio-temporal symmetries that force certain current components to vanish and close with conclusions for directed average currents.


title: Derived Categories of Quintic Del Pezzo Fibrations

abstract: We provide a semiorthogonal decomposition for the derived category of fibrations of quintic del Pezzo surfaces with rational Gorenstein singularities. There are three components, two of which are equivalent to the derived categories of the base and the remaining non-trivial component is equivalent to the derived category of a flat and finite of degree 5 scheme over the base. We introduce two methods for the construction of the decomposition. One is the moduli space approach following the work of Kuznetsov on the sextic del Pezzo fibrations and the components are given by the derived categories of fine relative moduli spaces. The other approach is that one can realize the fibration as a linear section of a Grassmannian bundle and apply Homological Projective Duality.


title: Recovering Localized Adversarial Attacks

abstract: Deep convolutional neural networks have achieved great successes over recent years, particularly in the domain of computer vision. They are fast, convenient, and -- thanks to mature frameworks -- relatively easy to implement and deploy. However, their reasoning is hidden inside a black box, in spite of a number of proposed approaches that try to provide human-understandable explanations for the predictions of neural networks. It is still a matter of debate which of these explainers are best suited for which situations, and how to quantitatively evaluate and compare them. In this contribution, we focus on the capabilities of explainers for convolutional deep neural networks in an extreme situation: a setting in which humans and networks fundamentally disagree. Deep neural networks are susceptible to adversarial attacks that deliberately modify input samples to mislead a neural network's classification, without affecting how a human observer interprets the input. Our goal with this contribution is to evaluate explainers by investigating whether they can identify adversarially attacked regions of an image. In particular, we quantitatively and qualitatively investigate the capability of three popular explainers of classifications -- classic salience, guided backpropagation, and LIME -- with respect to their ability to identify regions of attack as the explanatory regions for the (incorrect) prediction in representative examples from image classification. We find that LIME outperforms the other explainers.


title: Constructing symmetric monoidal bicategories functorially

abstract: We present a method of constructing monoidal, braided monoidal, and symmetric monoidal bicategories from corresponding types of monoidal double categories that satisfy a lifting condition. Many important monoidal bicategories arise naturally in this way, and applying our general method is much easier than explicitly verifying the coherence laws of a monoidal bicategory for each example. Abstracting from earlier work in this direction, we express the construction as a functor between locally cubical bicategories that preserves monoid objects; this ensures that it also preserves monoidal functors, transformations, adjunctions, and so on. Examples include the monoidal bicategories of algebras and bimodules, categories and profunctors, sets and spans, open Markov processes, parametrized spectra, and various functors relating them.


title: On the complexity of the steady-state of weakly symmetric open quantum lattices

abstract: We investigate the properties of Lindblad equations on $d$-dimensional lattices supporting a unique steady-state configuration. We consider the case of a time evolution weakly symmetric under the action of a finite group $G$, which is also a symmetry group for the lattice structure. We show that in such case the steady-state belongs to a relevant subspace, and provide an explicit algorithm for constructing an orthonormal basis of such set. As explicitly shown for a spin-1/2 system, the dimension of such subspace is extremely smaller than the dimension of the set of square operators. As a consequence, by projecting the dynamics within such set, the steady-state configuration can be determined with a considerably reduced amount of resources. We demonstrate the validity of our theoretical results by determinining the \emph{exact} structure of the steady-state configuration of the two dimensional XYZ model in the presence of uniform dissipation, with and without magnetic fields, up to a number of sites equal to 12. As far as we know, this is the first time one is capable of determining the steady-state structure of such model for the 12 sites cluster exactly. Altough in this work we consider explicitly only spin-1/2 systems, our approach can be exploited in the characterisation of arbitrary spin systems, fermion and boson systems (with truncated Fock space), as well as many-particle systems with degrees of freedom having different statistical properties.


title: On large-scale genre classification in symbolically encoded music by automatic identification of repeating patterns

abstract: The importance of repetitions in music is well-known. In this paper, we study music repetitions in the context of effective and efficient automatic genre classification in large-scale music-databases. We aim at enhancing the access and organization of pieces of music in Digital Libraries by allowing automatic categorization of entire collections by considering only their musical content. We handover to the public a set of genre-specific patterns to support research in musicology. The patterns can be used, for instance, to explore and analyze the relations between musical genres. There are many existing algorithms that could be used to identify and extract repeating patterns in symbolically encoded music. In our case, the extracted patterns are used as representations of the pieces of music on the underlying corpus and, consecutively, to train and evaluate a classifier to automatically identify genres. In this paper, we apply two very fast algorithms enabling us to experiment on large and diverse corpora. Thus, we are able to find patterns with strong discrimination power that can be used in various applications. We carried out experiments on a corpus containing over 40,000 MIDI files annotated with at least one genre. The experiments suggest that our approach is scalable and capable of dealing with real-world-size music collections.


title: Compactness of localization operators on modulation spaces of $\omega$-tempered distributions

abstract: We give sufficient conditions for compactness of localization operators on modulation spaces $\textbf{M}^{p,q}_{m_{\lambda}}( \mathbb{R}^{d})$ of $\omega$-tempered distributions whose short-time Fourier transform is in the weighted mixed space $L^{p,q}_{m_\lambda}$ for $m_\lambda(x)=e^{\lambda\omega(x)}$.


title: Batch Face Alignment using a Low-rank GAN

abstract: This paper studies the problem of aligning a set of face images of the same individual into a normalized image while removing the outliers like partial occlusion, extreme facial expression as well as significant illumination variation. Our model seeks an optimal image domain transformation such that the matrix of misaligned images can be decomposed as the sum of a sparse matrix of noise and a rank-one matrix of aligned images. The image transformation is learned in an unsupervised manner, which means that ground-truth aligned images are unnecessary for our model. Specifically, we make use of the remarkable non-linear transforming ability of generative adversarial network(GAN) and guide it with low-rank generation as well as sparse noise constraint to achieve the face alignment. We verify the efficacy of the proposed model with extensive experiments on real-world face databases, demonstrating higher accuracy and efficiency than existing methods.


title: Gauge-invariant approach to the parametrized post-Newtonian formalism

abstract: We present an approach to the parametrized post-Newtonian (PPN) formalism which is based on gauge-invariant higher order perturbation theory. This approach divides the components of the metric perturbations into gauge-invariant quantities, which carry information about the physical system under consideration, and pure gauge quantities, which describe the choice of the coordinate system. This separation generally leads to a simplification of the PPN procedure, since only the gauge-invariant quantities appear in the field equations and must be determined by solving them. Another simplification arises from the fact that the gauge-invariant approach supersedes the necessity to first choose a gauge for solving the gravitational field equations and later transforming the obtained solution into the standard PPN gauge, as it is conventionally done in the PPN formalism, whose standard PPN gauge is determined only after the full solution is known. In addition to the usual metric formulation, we also present a tetrad formulation of the gauge-invariant PPN formalism. To illustrate their practical application, we demonstrate the calculation of the PPN parameters of a well-known scalar-tensor class of theories.


title: Who wants accurate models? Arguing for a different metrics to take classification models seriously

abstract: With the increasing availability of AI-based decision support, there is an increasing need for their certification by both AI manufacturers and notified bodies, as well as the pragmatic (real-world) validation of these systems. Therefore, there is the need for meaningful and informative ways to assess the performance of AI systems in clinical practice. Common metrics (like accuracy scores and areas under the ROC curve) have known problems and they do not take into account important information about the preferences of clinicians and the needs of their specialist practice, like the likelihood and impact of errors and the complexity of cases. In this paper, we present a new accuracy measure, the H-accuracy (Ha), which we claim is more informative in the medical domain (and others of similar needs) for the elements it encompasses. We also provide proof that the H-accuracy is a generalization of the balanced accuracy and establish a relation between the H-accuracy and the Net Benefit. Finally, we illustrate an experimentation in two user studies to show the descriptive power of the Ha score and how complementary and differently informative measures can be derived from its formulation (a Python script to compute Ha is also made available).


title: Distinguishing between paediatric brain tumour types using multi-parametric magnetic resonance imaging and machine learning: a multi-site study

abstract: The imaging and subsequent accurate diagnosis of paediatric brain tumours presents a radiological challenge, with magnetic resonance imaging playing a key role in providing tumour specific imaging information. Diffusion weighted and perfusion imaging are commonly used to aid the non invasive diagnosis of paediatric brain tumours, but are usually evaluated by expert qualitative review. Quantitative studies are mainly single centre and single modality. The aim of this work was to combine multi centre diffusion and perfusion imaging, with machine learning, to develop machine learning based classifiers to discriminate between three common paediatric tumour types. The results show that diffusion and perfusion weighted imaging of both the tumour and whole brain provide significant features which differ between tumour types, and that combining these features gives the optimal machine learning classifier with greater than 80 percent predictive precision. This work represents a step forward to aid in the non invasive diagnosis of paediatric brain tumours, using advanced clinical imaging.


title: On sound ranging in some non-proper metric spaces

abstract: We consider the sound ranging, or source localization, problem --- find the unknown source-point from known moments when the spherical wave of linearly, with time, increasing radius reaches known sensor-points --- in some non-proper metric spaces (closed ball is not always compact). Under certain conditions we approximate the solution to arbitrary precision by the iterative processes with and without a stopping criterion. We also consider this problem in normed spaces with a strictly convex norm when the sensors are dense on the unit sphere. Appended is the implementation of the approximation algorithm in Julia language.


title: Baryon bag simulation of QCD in the strong coupling limit

abstract: We explore the possibility of a simulation of strong coupling QCD in terms of so-called baryon bags. In this form the known representation in terms of monomers, dimers and baryon loops is reorganized such that the baryon contributions are collected in space time domains referred to as baryon bags. Within the bags three quarks propagate coherently as a baryon that is described by a free fermion, whereas the rest of the lattice is solely filled with interacting meson terms, i.e., quark and diquark monomers and dimers. We perform a simulation directly in the baryon bag language using a newly developed worm update and show first results in two dimensions.


title: Tomographic entanglement indicators in multipartite systems

abstract: We assess the performance of an entanglement indicator which can be obtained directly from tomograms, avoiding state reconstruction procedures. In earlier work, we have examined this tomographic entanglement indicator, and a variant obtained from it, in the context of continuous variable systems. It has been shown that, in multipartite systems of radiation fields, these indicators fare as well as standard measures of entanglement. In this paper, we assess these indicators in the case of two generic hybrid quantum systems, the double Jaynes-Cummings model and the double Tavis-Cummings model using, for purposes of comparison, the quantum mutual information as a standard reference for both quantum correlations and entanglement. The dynamics of entanglement is investigated in both models over a sufficiently long time interval. We establish that the tomographic indicator provides a good estimate of the extent of entanglement both in the atomic subsystems and in the field subsystems. An indicator obtained from the tomographic indicator as an approximation, however, does not capture the entanglement properties of atomic subsystems, although it is useful for field subsystems. Our results are inferred from numerical calculations based on the two models, simulations of relevant equivalent circuits in both cases, and experiments performed on the IBM computing platform.


title: Noise Sensing via Stochastic Quantum Zeno

abstract: The dynamics of any quantum system is unavoidably influenced by the external environment. Thus, the observation of a quantum system (probe) can allow the measure of the environmental features. Here, to spectrally resolve a noise field coupled to the quantum probe, we employ dissipative manipulations of the probe, leading to so-called Stochastic Quantum Zeno (SQZ) phenomena. A quantum system coupled to a stochastic noise field and subject to a sequence of protective Zeno measurements slowly decays from its initial state with a survival probability that depends both on the measurement frequency and the noise. We present a robust sensing method to reconstruct the unkonwn noise power spectral density by evaluating the survival probability that we obtain when we additionally apply a set of coherent control pulses to the probe. The joint effect of coherent control, protective measurements and noise field on the decay provides us the desired information on the noise field.


title: Feasibility study of the $K^{+} d \to K^{0} p p$ reaction for the "$\Theta ^{+}$" pentaquark

abstract: We investigate theoretically the $K^{0} p$ invariant mass spectrum of the $K^{+} d \to K^{0} p p$ reaction and scrutinize how the signal of the "$\Theta ^{+}$" pentaquark, if it exists, emerges in the $K^{0} p$ spectrum. The most prominent advantage of this reaction is that we can clearly judge whether the "$\Theta ^{+}$" exists or not as a direct-formation production without significant backgrounds, in contrast to other reactions such as photoproduction and $\pi$-induced productions. We show that while the impulse or single-step scattering process can cover the "$\Theta ^{+}$" energy region with an initial kaon momentum $k_{\mathrm{lab}} \approx 0.40\, \mathrm{GeV} / c$ in the laboratory frame, the contributions from double-step processes may have a potential possibility to reach the "$\Theta ^{+}$" energy region with a higher kaon momentum $k_{\mathrm{lab}} \sim 1 \, \mathrm{GeV} / c$. Assuming that the full decay width of the "$\Theta ^{+}$" is around $0.5\, \mathrm{MeV}$, we predict that the magnitude of the peak corresponding to the "$\Theta^+$" is around a few hundred $\mu \mathrm{b}$ to $1\, \mathrm{mb}$ with the momentum of the kaon beam $k_{\mathrm{lab}} \approx 0.40\, \mathrm{GeV} / c$ while it is around $\lesssim 1\, \mu \mathrm{b}$ with $k_{\mathrm{lab}} \approx 0.85\, \mathrm{GeV} / c$. Thus, the "$\Theta^+$" peak is more likely to be seen at $k_{\mathrm{lab}} \approx 0.40\, \mathrm{GeV} / c$ than at $k_{\mathrm{lab}} \approx 0.85 \,\mathrm{GeV} / c$.


title: Holographic Superfluid Solitons with Backreaction

abstract: Solitons are important nonperturbative excitations in superfluids. For holographic superfluids, we numerically construct dark solitons that have the symmetry-restored phase at their core. A central point is that we include the gravitational back-reaction of the matter fields, which becomes important at low temperatures. We study in detail the properties of these solitons under variation of the back-reaction strength via tuning the gravitational constant. In particular, the depletion fraction of the particle number density at the core of the solitons is carefully investigated. In agreement with the probe-limit analysis, the depletion fraction shows the same qualitative behavior as in Bogoliubov-de Gennes (BdG) theory, even if the back-reaction is included. We find that the depletion decreases with increasing back-reaction strength. Moreover, the inclusion of back-reaction enables us to obtain the effective energy density of solitons within holography, which together with an evaluation of the surface tension leads to a simple physical explanation for the snake instability of dark solitons.


title: A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems

abstract: In this note we give a simple unifying proof of the undecidability of several diagrammatic properties of term rewriting systems that include: local confluence, strong confluence, diamond property, subcommutative property, and the existence of successor. The idea is to code configurations of Turing Machines into terms, and then define a suitable relation on those terms such that the termination of the Turing Machine becomes equivalent to the satisfiability of the diagrammatic property.


title: Constructing Artificial Data for Fine-tuning for Low-Resource Biomedical Text Tagging with Applications in PICO Annotation

abstract: Biomedical text tagging systems are plagued by the dearth of labeled training data. There have been recent attempts at using pre-trained encoders to deal with this issue. Pre-trained encoder provides representation of the input text which is then fed to task-specific layers for classification. The entire network is fine-tuned on the labeled data from the target task. Unfortunately, a low-resource biomedical task often has too few labeled instances for satisfactory fine-tuning. Also, if the label space is large, it contains few or no labeled instances for majority of the labels. Most biomedical tagging systems treat labels as indexes, ignoring the fact that these labels are often concepts expressed in natural language e.g. `Appearance of lesion on brain imaging'. To address these issues, we propose constructing extra labeled instances using label-text (i.e. label's name) as input for the corresponding label-index (i.e. label's index). In fact, we propose a number of strategies for manufacturing multiple artificial labeled instances from a single label. The network is then fine-tuned on a combination of real and these newly constructed artificial labeled instances. We evaluate the proposed approach on an important low-resource biomedical task called \textit{PICO annotation}, which requires tagging raw text describing clinical trials with labels corresponding to different aspects of the trial i.e. PICO (Population, Intervention/Control, Outcome) characteristics of the trial. Our empirical results show that the proposed method achieves a new state-of-the-art performance for PICO annotation with very significant improvements over competitive baselines.


title: Competing endogenous RNA crosstalk at system level

abstract: microRNAs (miRNAs) regulate gene expression at post-transcriptional level by repressing target RNA molecules. Competition to bind miRNAs tends in turn to correlate their targets, establishing effective RNA-RNA interactions that can influence expression levels, buffer fluctuations and promote signal propagation. Such a potential has been characterized mathematically for small motifs both at steady state and \red{away from stationarity}. Experimental evidence, on the other hand, suggests that competing endogenous RNA (ceRNA) crosstalk is rather weak. Extended miRNA-RNA networks could however favour the integration of many crosstalk interactions, leading to significant large-scale effects in spite of the weakness of individual links. To clarify the extent to which crosstalk is sustained by the miRNA interactome, we have studied its emergent systemic features in silico in large-scale miRNA-RNA network reconstructions. We show that, although generically weak, system-level crosstalk patterns (i) are enhanced by transcriptional heterogeneities, (ii) can achieve high-intensity even for RNAs that are not co-regulated, (iii) are robust to variability in transcription rates, and (iv) are significantly non-local, i.e. correlate weakly with miRNA-RNA interaction parameters. Furthermore, RNA levels are generically more stable when crosstalk is strongest. As some of these features appear to be encoded in the network's topology, crosstalk may functionally be favoured by natural selection. These results suggest that, besides their repressive role, miRNAs mediate a weak but resilient and context-independent network of cross-regulatory interactions that interconnect the transcriptome, stabilize expression levels and support system-level responses.

categories: q-bio.MN cond-mat.dis-nn physics.bio-ph q-bio.QM


title: Finding duality for Riesz bases of exponentials on multi-tiles

abstract: It is known that if $\Omega \subset \mathbb{R}^{d}$ belongs to a class of multi-tiling domains when translated by a lattice $\Lambda$, there exists a Riesz basis of exponentials for $L^{2}(\Omega)$ constructed using $k$ translates of the dual lattice $\Lambda^*$. In this paper, we give an explicit construction of the corresponding biorthogonal dual Riesz basis. We also extend the iterative reconstruction algorithm introduced in prior work to this setting.


title: Computability in partial combinatory algebras

abstract: We prove a number of elementary facts about computability in partial combinatory algebras (pca's). We disprove a suggestion made by Kreisel about using Friedberg numberings to construct extensional pca's. We then discuss separability and elements without total extensions. We relate this to Ershov's notion of precompleteness, and we show that precomplete numberings are not 1-1 in general.


title: Bayesian Optimization Allowing for Common Random Numbers

abstract: Bayesian optimization is a powerful tool for expensive stochastic black-box optimization problems such as simulation-based optimization or machine learning hyperparameter tuning. Many stochastic objective functions implicitly require a random number seed as input. By explicitly reusing a seed a user can exploit common random numbers, comparing two or more inputs under the same randomly generated scenario, such as a common customer stream in a job shop problem, or the same random partition of training data into training and validation set for a machine learning algorithm. With the aim of finding an input with the best average performance over infinitely many seeds, we propose a novel Gaussian process model that jointly models both the output for each seed and the average. We then introduce the Knowledge gradient for Common Random Numbers that iteratively determines a combination of input and random seed to evaluate the objective and automatically trades off reusing old seeds and querying new seeds, thus overcoming the need to evaluate inputs in batches or measuring differences of pairs as suggested in previous methods. We investigate the Knowledge Gradient for Common Random Numbers both theoretically and empirically, finding it achieves significant performance improvements with only moderate added computational cost.


title: Human-Like Decision Making: Document-level Aspect Sentiment Classification via Hierarchical Reinforcement Learning

abstract: Recently, neural networks have shown promising results on Document-level Aspect Sentiment Classification (DASC). However, these approaches often offer little transparency w.r.t. their inner working mechanisms and lack interpretability. In this paper, to simulating the steps of analyzing aspect sentiment in a document by human beings, we propose a new Hierarchical Reinforcement Learning (HRL) approach to DASC. This approach incorporates clause selection and word selection strategies to tackle the data noise problem in the task of DASC. First, a high-level policy is proposed to select aspect-relevant clauses and discard noisy clauses. Then, a low-level policy is proposed to select sentiment-relevant words and discard noisy words inside the selected clauses. Finally, a sentiment rating predictor is designed to provide reward signals to guide both clause and word selection. Experimental results demonstrate the impressive effectiveness of the proposed approach to DASC over the state-of-the-art baselines.


title: Exponential localization in 2D pure magnetic wells

abstract: We establish a magnetic Agmon estimate in the case of a purely magnetic single non-degenerate well, by means of the Fourier-Bros-Iagolnitzer transform and microlocal exponential estimates {\`a} la Martinez-Sj{\"o}strand.


title: Super-congruences involving trininomial coefficients

abstract: The aim of this work is to establish congruences $\left( \operatorname{mod}p^{2}\right) $ involving the trinomial coefficients $\binom{np-1}{p-1}_{2}$ and $\binom{np-1}{\left( p-1\right)/2}_{2}$ arising from the expansion of the powers of the polynomial $1+x+x^{2}.$ In main results we extend some known congruences involving the binomial coefficients $\binom{np-1}{p-1}$ and $\binom{np-1}{\left( p-1\right) /2}$ and establish congruences link binomial coefficients and harmonic numbers.


title: Transversal hard Lefschetz theorem on transversely symplectic foliations

abstract: We study the transversal hard Lefschetz theorem on a transversely symplectic foliation. This article extends the results of transversally symplectic flows (H.K.~Pak, "Transversal harmonic theory for transversally symplectic flows", J. Aust. Math. Soc. 84 (2008), 233--245) to the general transversely symplectic foliation.


title: Reconfigurable Lattice Agreement and Applications

abstract: Reconfiguration is one of the central mechanisms in distributed systems. Due to failures and connectivity disruptions, the very set of service replicas (or servers) and their roles in the computation may have to be reconfigured over time. To provide the desired level of consistency and availability to applications running on top of these servers, the clients of the service should be able to reach some form of agreement on the system configuration. We observe that this agreement is naturally captured via a lattice partial order on the system states. We propose an asynchronous implementation of reconfigurable lattice agreement that implies elegant reconfigurable versions of a large class of lattice abstract data types, such as max-registers and conflict detectors, as well as popular distributed programming abstractions, such as atomic snapshot and commit-adopt.


title: Convergence of nonlinear filterings for multiscale systems with correlated L\'evy noises

abstract: In the paper, we consider nonlinear filtering problems of multiscale systems in two cases-correlated sensor L\'evy noises and correlated L\'evy noises. First of all, we prove that the slow part of the origin system converges to the homogenized system in the uniform mean square sense. And then based on the convergence result, in the case of correlated sensor L\'evy noises, the nonlinear filtering of the slow part is shown to approximate that of the homogenized system in $L^1$ sense. However, in the case of correlated L\'evy noises, we prove that the nonlinear filtering of the slow part converges weakly to that of the homogenized system.


title: Multi-Band Multi-Resolution Fully Convolutional Neural Networks for Singing Voice Separation

abstract: Deep neural networks with convolutional layers usually process the entire spectrogram of an audio signal with the same time-frequency resolutions, number of filters, and dimensionality reduction scale. According to the constant-Q transform, good features can be extracted from audio signals if the low frequency bands are processed with high frequency resolution filters and the high frequency bands with high time resolution filters. In the spectrogram of a mixture of singing voices and music signals, there is usually more information about the voice in the low frequency bands than the high frequency bands. These raise the need for processing each part of the spectrogram differently. In this paper, we propose a multi-band multi-resolution fully convolutional neural network (MBR-FCN) for singing voice separation. The MBR-FCN processes the frequency bands that have more information about the target signals with more filters and smaller dimentionality reduction scale than the bands with less information. Furthermore, the MBR-FCN processes the low frequency bands with high frequency resolution filters and the high frequency bands with high time resolution filters. Our experimental results show that the proposed MBR-FCN with very few parameters achieves better singing voice separation performance than other deep neural networks.


title: Post-linear metric of a compact source of matter

abstract: The Multipolar Post-Minkowskian (MPM) formalism represents an approach for determining the metric density in the exterior of a compact source of matter. In the MPM formalism the metric density is given in harmonic coordinates and in terms of symmetric tracefree (STF) multipoles. In this investigation, the post-linear metric density of this formalism is used in order to determine the post-linear metric tensor in the exterior of a compact source of matter. The metric tensor is given in harmonic coordinates and in terms of STF multipoles. The post-linear metric coefficients are associated with an integration procedure. The integration of these post-linear metric coefficients is performed explicitly for the case of a stationary source, where the first multipoles (monopole and quadrupole) of the source are taken into account. These studies are a requirement for further investigations in the theory of light propagation aiming at highly precise astrometric measurements in the solar system, where the post-linear coefficients of the metric tensor of solar system bodies become relevant.


title: Incentivize Diffusion with Fair Rewards

abstract: This paper studies a sale promotion mechanism design problem on a social network, where a node (a seller) sells one item to the other nodes on the network to maximize her revenue. However, the seller does not know other nodes except for her neighbours and her neighbours have no incentive to promote the sale. Hence, the goal is to design an auction mechanism such that the seller's neighbours are incentivized to invite their neighbours to join the auction, while the seller's revenue is guaranteed to increase. This is not achievable with traditional mechanisms. One solution has been proposed recently by carefully designing a reward scheme for the nodes who have invited others. However, the solution only gives rewards to some cut-points of the network, but cut-points rarely exist in a well-connected network, which actually disincentivizes nodes' participation. Therefore, we propose another novel mechanism to reward more related participants with fairer rewards, and the seller's revenue is not reduced.


title: Investigating the role of new physics in $b \to c \tau \bar \nu_\tau$ transitions

abstract: In recent times, the charged-current mediated semileptonic $b \to c \tau \bar \nu_\tau$ processes have attracted a lot of attention after the observation of lepton non-universality ratios, $R_{D^{(*)}}$, $R_{J/\psi}$ and the measurements on $D^*$ and $\tau$ longitudinal polarization fractions in $\bar B\to D^* \tau \bar \nu_\tau$ processes. We present a model-independent analysis of $ \bar B\to D^{(*)} \tau \bar \nu_\tau$, $ B_s\to D_s^{(*)} \tau \bar \nu_\tau$, $ B_c^+ \to (\eta_c, J/\psi) \tau^+ \nu_\tau$, $\Lambda_b \to \Lambda_c \tau \bar \nu_\tau$ and $\bar B \to D^{**} \tau \bar \nu_\tau$ (where $D^{**} = \{D^*_0, D_1^*, D_1, D_2^*\}$ are the four lightest excited charm mesons) processes involving $b \to c \tau \bar \nu$ quark level transitions by considering the most general effective Lagrangian in the presence of new physics. We perform a global fit to various set of new coefficients, including the measurements on $R_{D^{(*)}}$, $R_{J/\psi}$ and the upper limit on Br($B_c^+ \to \tau^+ \bar \nu_\tau$). We then show the implications of constrained new couplings on the branching fractions, lepton non-universality ratios and various angular observables of these decay modes in four different bins of $q^2$.


title: Global existence of large data weak solutions for a simplified compressible Oldroyd--B model without stress diffusion

abstract: We start with the compressible Oldroyd--B model derived in \cite{Barrett-Lu-Suli} ({\em J. W. Barrett, Y. Lu, E. S\"uli. Existence of large-data finite-energy global weak solutions to a compressible Oldroyd--B model. Comm. Math. Sci. 15 (2017), 1265--1323}), where the existence of global-in-time finite-energy weak solutions was shown in two dimensional setting with stress diffusion. In the paper, we investigate the case without stress diffusion. We first restrict ourselves to the corotational setting as in \cite{LM00} ({\em P. L. Lions, N. Masmoudi. Global solutions for some Oldroyd models of non-Newtonian flows. Chin. Ann. Math., Ser. B 21(2) (2000), 131--146.}) We further assume the extra stress tensor is a scalar matrix and we derive a simplified model which takes a similar form as the multi-component compressible Navier--Stokes equations, where, however, the pressure term related to the scalar extra stress tensor has the opposite sign. By employing the techniques developed in \cite{VWY19, Novotny-Pokorny-19}, we can still prove the global-in-time existence of finite energy weak solutions in two or three dimensions, without the presence of stress diffusion.


title: Fractional moments of the Stochastic Heat Equation

abstract: Consider the solution $\mathcal{Z}(t,x)$ of the one-dimensional stochastic heat equation, with a multiplicative spacetime white noise, and with the delta initial data $\mathcal{Z}(0,x) = \delta(x)$. For any real $p>0$, we obtained detailed estimates of the $p$-th moment of $e^{t/12}\mathcal{Z}(2t,0)$, as $t\to\infty$, and from these estimates establish the one-point upper-tail large deviation principle of the Kardar-Parisi-Zhang equation. The deviations have speed $t$ and rate function $\Phi_+(y)=\frac{4}{3}y^{3/2}$. Our result confirms the existing physics predictions [Le Doussal, Majumdar, Schehr 16] and also [Kamenev, Meerson, Sasorov 16].


title: Cryptomining Makes Noise: a Machine Learning Approach for Cryptojacking Detection

abstract: A new cybersecurity attack,where an adversary illicitly runs crypto-mining software over the devices of unaware users, is emerging in both the literature and in the wild . This attack, known as cryptojacking, has proved to be very effective given the simplicity of running a crypto-client into a target device. Several countermeasures have recently been proposed, with different features and performance, but all characterized by a host-based architecture. This kind of solutions, designed to protect the individual user, are not suitable for efficiently protecting a corporate network, especially against insiders. In this paper, we propose a network-based approach to detect and identify crypto-clients activities by solely relying on the network traffic, even when encrypted. First, we provide a detailed analysis of the real network traces generated by three major cryptocurrencies, Bitcoin, Monero, and Bytecoin, considering both the normal traffic and the one shaped by a VPN. Then, we propose Crypto-Aegis, a Machine Learning (ML) based framework built over the results of our investigation, aimed at detecting cryptocurrencies related activities, e.g., pool mining, solo mining, and active full nodes. Our solution achieves a striking 0.96 of F1-score and 0.99 of AUC for the ROC, while enjoying a few other properties, such as device and infrastructure independence. Given the extent and novelty of the addressed threat we believe that our approach, supported by its excellent results, pave the way for further research in this area.


title: Euclid preparation: VII. Forecast validation for Euclid cosmological probes

abstract: The Euclid space telescope will measure the shapes and redshifts of galaxies to reconstruct the expansion history of the Universe and the growth of cosmic structures. Estimation of the expected performance of the experiment, in terms of predicted constraints on cosmological parameters, has so far relied on different methodologies and numerical implementations, developed for different observational probes and for their combination. In this paper we present validated forecasts, that combine both theoretical and observational expertise for different cosmological probes. This is presented to provide the community with reliable numerical codes and methods for Euclid cosmological forecasts. We describe in detail the methodology adopted for Fisher matrix forecasts, applied to galaxy clustering, weak lensing and their combination. We estimate the required accuracy for Euclid forecasts and outline a methodology for their development. We then compare and improve different numerical implementations, reaching uncertainties on the errors of cosmological parameters that are less than the required precision in all cases. Furthermore, we provide details on the validated implementations that can be used by the reader to validate their own codes if required. We present new cosmological forecasts for Euclid. We find that results depend on the specific cosmological model and remaining freedom in each setup, i.e. flat or non-flat spatial cosmologies, or different cuts at nonlinear scales. The validated numerical implementations can now be reliably used for any setup. We present results for an optimistic and a pessimistic choice of such settings. We demonstrate that the impact of cross-correlations is particularly relevant for models beyond a cosmological constant and may allow us to increase the dark energy Figure of Merit by at least a factor of three.


title: PDE methods in random matrix theory

abstract: This article begins with a brief review of random matrix theory, followed by a discussion of how the large-$N$ limit of random matrix models can be realized using operator algebras. I then explain the notion of "Brown measure," which play the role of the eigenvalue distribution for operators in an operator algebra. I then show how methods of partial differential equations can be used to compute Brown measures. I consider in detail the case of the circular law and then discuss more briefly the case of the free multiplicative Brownian motion, which was worked out recently by the author with Driver and Kemp.


title: Text Matters but Speech Influences: A Computational Analysis of Syntactic Ambiguity Resolution

abstract: Analyzing how human beings resolve syntactic ambiguity has long been an issue of interest in the field of linguistics. It is, at the same time, one of the most challenging issues for spoken language understanding (SLU) systems as well. As syntactic ambiguity is intertwined with issues regarding prosody and semantics, the computational approach toward speech intention identification is expected to benefit from the observations of the human language processing mechanism. In this regard, we address the task with attentive recurrent neural networks that exploit acoustic and textual features simultaneously and reveal how the modalities interact with each other to derive sentence meaning. Utilizing a speech corpus recorded on Korean scripts of syntactically ambiguous utterances, we revealed that co-attention frameworks, namely multi-hop attention and cross-attention, show significantly superior performance in disambiguating speech intention. With further analysis, we demonstrate that the computational models reflect the internal relationship between auditory and linguistic processes.


title: Semi-Decentralized Coordinated Online Learning for Continuous Games with Coupled Constraints via Augmented Lagrangian

abstract: We consider a class of concave continuous games in which the corresponding admissible strategy profile of each player underlies affine coupling constraints. We propose a novel algorithm that leads the relevant population dynamic toward Nash equilibrium. This algorithm is based on a mirror ascent algorithm, which suits with the framework of no-regret online learning, and on the augmented Lagrangian method. The decentralization aspect of the algorithm corresponds to the aspects that the iterate of each player requires the local information about how she contributes to the coupling constraints and the price vector broadcasted by a central coordinator. So each player needs not know about the population action. Moreover, no specific control by the central primary coordinator is required. We give a condition on the step sizes and the degree of the augmentation of the Lagrangian, such that the proposed algorithm converges to a generalized Nash equilibrium.


title: PiBooster: A Light-Weight Approach to Performance Improvements in Page Table Management for Paravirtual Virtual-Machines

abstract: In paravirtualization, the page table management components of the guest operating systems are properly patched for the security guarantees of the hypervisor. However, none of them pay enough attentions to the performance improvements, which results in two noticeable performance issues. First, such security patches exacerbate the problem that the execution paths of the guest page table (de)allocations become extremely long, which would consequently increase the latencies of process creations and exits. Second, the patches introduce many additional IOTLB flushes, leading to extra IOTLB misses, and the misses would have negative impacts on I/O performance of all peripheral devices. In this paper, we propose PiBooster, a novel lightweight approach for improving the performance in page table management. First, PiBooster shortens the execution paths of the page table (de)allocations by the PiBooster cache, which maintains dedicated buffers for serving page table (de)allocations. Second, PiBooster eliminates the additional IOTLB misses with a fine-grained validation scheme, which performs page table and DMA validations separately, instead of doing both together. We implement a prototype on Xen with Linux as the guest kernel. We do small modifications on Xen (166 SLoC) and Linux kernel (350 SLoC). We evaluate the I/O performance in both micro and macro ways. The micro experiment results indicate that PiBooster is able to completely eliminate the additional IOTLB flushes in the workload-stable environments, and effectively reduces (de)allocation time of the page table by 47% on average. The macro benchmarks show that the latencies of the process creations and exits are expectedly reduced by 16% on average. Moreover, the SPECINT,lmbench and netperf results indicate that PiBooster has no negative performance impacts on CPU computation, network I/O, and disk I/O.