title: Semi-Supervised Learning for Cancer Detection of Lymph Node Metastases

abstract: Pathologists find tedious to examine the status of the sentinel lymph node on a large number of pathological scans. The examination process of such lymph node which encompasses metastasized cancer cells is histopathologically organized. However, the task of finding metastatic tissues is gradual which is often challenging. In this work, we present our deep convolutional neural network based model validated on PatchCamelyon (PCam) benchmark dataset for fundamental machine learning research in histopathology diagnosis. We find that our proposed model trained with a semi-supervised learning approach by using pseudo labels on PCam-level significantly leads to better performances to strong CNN baseline on the AUC metric.


title: The cosmic distance duality relation with strong lensing and gravitational waves: an opacity-free test

abstract: The cosmic distance duality relation (CDDR) is a fundamental assumption in cosmological studies. Given the redshift $z$, it relates luminosity distance $D^L$ with angular diameter distance $D^A$ through $(1+z)^2D^A/D^L\equiv1$. Many efforts have been devoted to test the CDDR with various observational approaches. However, to the best of our knowledge, those methods are always affected by cosmic opacity which could make the CDDR violated due to the non-conservation of photon number. Such mechanism is more related with astropartical physics. In this work, to directly study the nature of space-time, i.e., to disentangle it from astropartical physics, we propose a new strategy to test the CDDR with strong lensing providing $D^A$ and gravitational wave providing $D^L$. It is known that the propagation of gravitational wave is unaffected by cosmic opacity. We demonstrate distances from optical lensing observation are also opacity-free. These two kinds of distance measurements make it possible to test any metric theories of gravity where photons travel along null geodesics. Our results show the constraints on deviations of the CDDR will be very competitive to current techniques.


title: Simulating Maxwell-Schr\"odinger Equations by High-Order Symplectic FDTD Algorithm

abstract: A novel symplectic algorithm is proposed to solve the Maxwell-Schr\"odinger (M-S) system for investigating light-matter interaction. Using the fourth-order symplectic integration and fourth-order collocated differences, Maxwell-Schr\"odinger equations are discretized in temporal and spatial domains, respectively. The symplectic finite-difference time-domain (SFDTD) algorithm is developed for accurate and efficient study of coherent interaction between electromagnetic fields and artificial atoms. Particularly, the Dirichlet boundary condition is adopted for modeling the Rabi oscillation problems under the semi-classical framework. To implement the Dirichlet boundary condition, image theory is introduced, tailored to the high-order collocated differences. For validating the proposed SFDTD algorithm, three-dimensional numerical studies of the population inversion in the Rabi oscillation are presented. Numerical results show that the proposed high-order SFDTD(4,4) algorithm exhibits better numerical performance than the conventional FDTD(2,2) approach at the aspects of accuracy and efficiency for the long-term simulation. The proposed algorithm opens up a promising way towards a high-accurate energy-conservation modeling and simulation of complex dynamics in nanoscale light-matter interaction.


title: Subcritical branching processes in random environment with immigration stopped at zero

abstract: We consider subcritical branching processes with immigration which evolve under the influence of a random environment and study the tail distribution of life periods of such processes defined as the length of the time interval between the moment when first invader (or invaders) came to an empty site until the moment when the site becomes empty again. We prove that the tail distribution decays with exponential rate. The main tools are the change of measure and some conditional limit theorems for random walks.


title: 3D Multi-Robot Patrolling with a Two-Level Coordination Strategy

abstract: Teams of UGVs patrolling harsh and complex 3D environments can experience interference and spatial conflicts with one another. Neglecting the occurrence of these events crucially hinders both soundness and reliability of a patrolling process. This work presents a distributed multi-robot patrolling technique, which uses a two-level coordination strategy to minimize and explicitly manage the occurrence of conflicts and interference. The first level guides the agents to single out exclusive target nodes on a topological map. This target selection relies on a shared idleness representation and a coordination mechanism preventing topological conflicts. The second level hosts coordination strategies based on a metric representation of space and is supported by a 3D SLAM system. Here, each robot path planner negotiates spatial conflicts by applying a multi-robot traversability function. Continuous interactions between these two levels ensure coordination and conflicts resolution. Both simulations and real-world experiments are presented to validate the performances of the proposed patrolling strategy in 3D environments. Results show this is a promising solution for managing spatial conflicts and preventing deadlocks.


title: Changing Fock matrix elements of two-mode squeezed vacuum state by employing three quantum operations in one-sided lossy channel

abstract: This paper focuses on changing Fock matrix elements of two-mode squeezed vacuum state (TMSVS) by employing three quantum operations in one-sided lossy channel. These three quantum operations include one-photon replacement (OPR), one-photon substraction (OPS) and one-photon addition (OPA). Indeed, three conditional quantum states have been generated from the original TMSVS. Using the characteristic function (CF) representation of quantum density operator, we derive the analytical expressions of their Fock matrix elements, which are dependent on the interaction parameters, including the squeezing parameter of the input TMSVS, the loss factor and the transmissivity of the variable beam splitter. For convenience of discussion, we only give the Fock matrices in the subspace span {|00>,|01>,|10>,|02>,|11>,|20>} for these two-mode states. Obviously, the TMSVS only has the populations in |00> and |11> in such subspace. By comparing the generated states with the TMSVS, we find that: (1) The generated state after OPR will remain the populations in |00> and |11>, and add the populations in |10> and |20>; (2) The generated state after OPS will lost the populations in |00> and |11>, but add the populations in |10> and |20>; (3) The generated state after OPA will remain the population only in |11> and add the population in |01>.


title: Characterizing the increase of the residual order under blowup in positive characteristic

abstract: In characteristic zero, the residual order constitutes, after the local multiplicity, the second key invariant for the resolution of singularities. It is defined as the order of the coefficient ideal in a local hypersurface of maximal contact, minus the exceptional multiplicities. It does not increase under blowup in permissible centers as long as the local multiplicity remains constant. In positive characteristic, however, the residual order (defined now as the maximum over all smooth local hypersurfaces) may increase under blowup. In the article we analyze in detail the circumstances when this happens. This may help to develop a modification of the residual order which does work in positive characteristic.


title: Developing cybersecurity education and awareness programmes for Small and medium-sized enterprises (SMEs)

abstract: Purpose: An essential component of an organisation's cybersecurity strategy is building awareness and education of online threats, and how to protect corporate data and services. This research article focuses on this topic and proposes a high-level programme for cybersecurity education and awareness to be used when targeting Small-to-Medium-sized Enterprises/Businesses (SMEs/SMBs) at a city-level. We ground this programme in existing research as well as unique insight into an ongoing city-based project with similar aims. Findings: We find that whilst literature can be informative at guiding education and awareness programmes, it may not always reach real-world programmes. On the other hand, existing programmes, such as the one we explored, have great potential but there can also be room for improvement. Knowledge from each of these areas can, and should, be combined to the benefit of the academic and practitioner communities. Originality/value: The study contributes to current research through the outline of a high-level programme for cybersecurity education and awareness targeting SMEs/SMBs. Through this research, we engage in a reflection of literature in this space, and present insights into the advances and challenges faced by an on-going programme. These analyses allow us to craft a proposal for a core programme that can assist in improving the security education, awareness and training that targets SMEs/SMBs.


title: Dynamic Maximal Independent Set

abstract: Given a stream $\mathcal{S}$ of insertions and deletions of edges of an underlying graph $G$ (with fixed vertex set $V$ where $n=|V|$ is the number of vertices of $G$), we propose a dynamic algorithm that maintains a maximal independent set (MIS) of $G$ (at any time $t$ of the stream $\mathcal{S}$) with amortized update time $O(\log^3 n)$.


title: Gauss' Law and String-Localized Quantum Field Theory

abstract: The quantum Gauss Law as an interacting field equation is a prominent feature of QED with eminent impact on its algebraic and superselection structure. It forces charged particles to be accompanied by "photon clouds" that cannot be realized in the Fock space, and prevents them from having a sharp mass. Because it entails the possibility of "measurement of charges at a distance", it is well-known to be in conflict with locality of charged fields in a Hilbert space. We show how a new approach to QED advocated by the authors, that avoids indefinite metric and ghosts, can secure causality and achieve Gauss' Law along with all its nontrivial consequences. We explain why this is not at variance with recent results in a paper by Buchholz et al.


title: Heat kernel for the quantum Rabi model

abstract: The quantum Rabi model (QRM) is widely recognized as a particularly important model in quantum optics. It is considered to be the simplest and most fundamental system describing quantum light-matter interaction. The objective of the paper is to give an analytical formula of the heat kernel of the Hamiltonian explicitly by infinite series of iterated integrals. The derivation of the formula is based on the direct evaluation of the Trotter-Kato product formula without the use of Feynman-Kac path integrals. More precisely, the infinite sum in the expression of the heat kernel arises from the reduction of the Trotter-Kato product formula into sums over the orbits of the action of the infinite symmetric group $\mathfrak{S}_\infty$ on the group $\mathbb{Z}_2^{\infty}$, and the iterated integrals are then considered as the orbital integral for each orbit. Here, the groups $ \mathbb{Z}_2^{\infty} $ and $\mathfrak{S}_\infty$ are the inductive limit of the families $\{\mathbb{Z}_2^n\}_{n\geq0}$ and $\{\mathfrak{S}_n\}_{n\geq0}$, respectively. In order to complete the reduction, an extensive study of harmonic (Fourier) analysis on the inductive family of abelian groups $\mathbb{Z}_2^n\, (n \geq0)$ together with a graph theoretical investigation is crucial. To the best knowledge of the authors, this is the first explicit computation for obtaining a closed formula of the heat kernel for a non-trivial realistic interacting quantum system. The heat kernel of this model is further given by a two-by-two matrix valued function and is expressed as a direct sum of two respective heat kernels representing the parity ($\mathbb{Z}_2$-symmetry) decomposition of the Hamiltonian by parity.


title: Counting critical subgraphs in $k$-critical graphs

abstract: Gallai asked in 1984 if any $k$-critical graph on $n$ vertices contains at least $n$ distinct $(k-1)$-critical subgraphs. The answer is trivial for $k\leq 3$. Improving a result of Stiebitz, Abbott and Zhou proved in 1995 that for all $k\geq 4$, such graph contains $\Omega(n^{1/(k-1)})$ distinct $(k-1)$-critical subgraphs. Since then no progress had been made until very recently, Hare resolved the case $k=4$ by showing that any $4$-critical graph on $n$ vertices contains at least $(8n-29)/3$ odd cycles. In this paper, we mainly focus on 4-critical graphs and develop some novel tools for counting cycles of specified parity. Our main result shows that any $4$-critical graph on $n$ vertices contains $\Omega(n^2)$ odd cycles, which is tight up to a constant factor by infinite many graphs. As a crucial step, we prove the same bound for 3-connected non-bipartite graphs, which may be of independent interest. Using the tools, we also give a very short proof for the case $k=4$. Moreover, we improve the longstanding lower bound of Abbott and Zhou to $\Omega(n^{1/(k-2)})$ for the general case $k\geq 5$. We will also discuss some related problems on $k$-critical graphs in the final section.


title: $L_p$ functional Busemann-Petty centroid inequality

abstract: If $K\subset\mathbb{R}^n$ is a convex body and $\Gamma_pK$ is the $p$-centroid body of $K$, the $L_p$ Busemann-Petty centroid inequality states that $\vol(\Gamma_pK) \geq \vol(K)$, with equality if and only if $K$ is an ellipsoid centered at the origin. In this work, we prove inequalities for a type of functional $r$-mixed volume for $1 \leq r < n$, and establish as a consequence, a functional version of the $L_p$ Busemann-Petty centroid inequality. \keywords{Convex body, Moment body, Busemann-Petty centroid} }


title: On the asymptotics of counting functions for Ahlfors regular sets

abstract: In this paper we deal with the so-called Ahlfors regular sets (also known as $s$-regular sets) in metric spaces. First we show that those sets correspond to a certain class of tree-like structures. Building on this observation we then study the following question: under which conditions does the limit $\lim_{\varepsilon\to 0+} \varepsilon^s N(\varepsilon,K)$ exist, where $K$ is an $s$-regular set and $N(\varepsilon,K)$ is for instance the $\varepsilon$-packing number of $K$?


title: Sequence Generation: From Both Sides to the Middle

abstract: The encoder-decoder framework has achieved promising process for many sequence generation tasks, such as neural machine translation and text summarization. Such a framework usually generates a sequence token by token from left to right, hence (1) this autoregressive decoding procedure is time-consuming when the output sentence becomes longer, and (2) it lacks the guidance of future context which is crucial to avoid under translation. To alleviate these issues, we propose a synchronous bidirectional sequence generation (SBSG) model which predicts its outputs from both sides to the middle simultaneously. In the SBSG model, we enable the left-to-right (L2R) and right-to-left (R2L) generation to help and interact with each other by leveraging interactive bidirectional attention network. Experiments on neural machine translation (En-De, Ch-En, and En-Ro) and text summarization tasks show that the proposed model significantly speeds up decoding while improving the generation quality compared to the autoregressive Transformer.


title: Ego-CNN: Distributed, Egocentric Representations of Graphs for Detecting Critical Structures

abstract: We study the problem of detecting critical structures using a graph embedding model. Existing graph embedding models lack the ability to precisely detect critical structures that are specific to a task at the global scale. In this paper, we propose a novel graph embedding model, called the Ego-CNNs, that employs the ego-convolutions convolutions at each layer and stacks up layers using an ego-centric way to detects precise critical structures efficiently. An Ego-CNN can be jointly trained with a task model and help explain/discover knowledge for the task. We conduct extensive experiments and the results show that Ego-CNNs (1) can lead to comparable task performance as the state-of-the-art graph embedding models, (2) works nicely with CNN visualization techniques to illustrate the detected structures, and (3) is efficient and can incorporate with scale-free priors, which commonly occurs in social network datasets, to further improve the training efficiency.


title: BFKL equation in the next-to-leading order: solution at large impact parameters

abstract: In this paper, we show (i) that the NLO corrections do not change the power-like decrease of the scattering amplitude at large impact parameter ($b^2 \,>\,r^2 \exp\left( 2\bar(\alpha}_S \eta(1 + 4 \bar{\alpha}_S)\right)$, where $r$ denotes the size of scattering dipole and $\eta\,=\,\ln(1/x_{Bj})$ for DIS), and, therefore, they do not resolve the inconsistency with unitarity; and (ii) they lead to an oscillating behaviour of the scattering amplitude atlarge $b$, in direct contradiction with the unitarity constraints. However, from the more practical point of view, the NLO estimates give a faster decrease of the scattering amplitude as a function of $b$, and could be very useful for description of the experimental data. It turns out, that in a limited range of $b$, the NLO corrections generates the fast decrease of the scattering amplitude with $b$, which can be parameterized as $N\, \propto\,\exp( -\,\mu\,b)$ with $\mu\,\propto \,1/r$ in accord with the numerical estimates in Ref.[1].


title: Minimizing a stochastic convex function subject to stochastic constraints and some applications

abstract: In the simplest case, we obtain a general solution to a problem of minimizing an integral of a nondecreasing right continuous stochastic process from zero to some nonnegative random variable tau, under the constraints that for some nonnegative random variable T, tau is between zero and T a.s. and the expected value of tau is some alpha. The nondecreasing process and T are allowed to be dependent. In fact a more general setup involving sigma-finite measures, rather than just probability measures is considered and some consequences for families of stochastic processes are given as special cases. Various applications are provided.


title: Quantum Ferromagnetic Transition in Clean Dirac Metals

abstract: The ferromagnetic quantum phase transition in clean metals with a negligible spin-orbit interaction is known to be first order due to a coupling of the magnetization to soft fermionic particle-hole excitations. A spin-orbit interaction gives these excitations a mass, suggesting the existence of a ferromagnetic quantum critical point in metals with a strong spin-orbit interaction. We show that this expectation is not borne out in a large class of materials with a Dirac spectrum, since the chirality degree of freedom leads to new soft modes that again render the transition first order.


title: Quantum backreaction in laser-driven plasma

abstract: We present a new approach for investigating quantum effects in laser-driven plasma. Unlike the modelling strategies underpinning particle-in-cell codes that include the effects of quantum electrodynamics, our new field theory incorporates multi-particle effects from the outset. Our approach is based on the path-integral quantisation of a classical bi-scalar field theory describing the behaviour of a laser pulse propagating through an underdense plasma. Results established in the context of quantum field theory on curved spacetime are used to derive a non-linear, non-local, effective field theory that describes the evolution of the laser-driven plasma due to quantum fluctuations. As the first application of our new theory, we explore the behaviour of perturbations to fields describing a uniform, monochromatic, laser beam propagating through a uniform plasma. Our results suggest that quantum fluctuations could play a significant role in the evolution of an underdense plasma driven by an x-ray laser pulse.


title: Densely Connected Search Space for More Flexible Neural Architecture Search

abstract: Neural architecture search (NAS) has dramatically advanced the development of neural network design. We revisit the search space design in most previous NAS methods and find the number and widths of blocks are set manually. However, block counts and block widths determine the network scale (depth and width) and make a great influence on both the accuracy and the model cost (FLOPs/latency). In this paper, we propose to search block counts and block widths by designing a densely connected search space, i.e., DenseNAS. The new search space is represented as a dense super network, which is built upon our designed routing blocks. In the super network, routing blocks are densely connected and we search for the best path between them to derive the final architecture. We further propose a chained cost estimation algorithm to approximate the model cost during the search. Both the accuracy and model cost are optimized in DenseNAS. For experiments on the MobileNetV2-based search space, DenseNAS achieves 75.3% top-1 accuracy on ImageNet with only 361MB FLOPs and 17.9ms latency on a single TITAN-XP. The larger model searched by DenseNAS achieves 76.1% accuracy with only 479M FLOPs. DenseNAS further promotes the ImageNet classification accuracies of ResNet-18, -34 and -50-B by 1.5%, 0.5% and 0.3% with 200M, 600M and 680M FLOPs reduction respectively. The related code is available at https://github.com/JaminFong/DenseNAS.


title: Second derivative analysis and alternative data filters for multi-dimensional spectroscopies: a Fourier-space perspective

abstract: The second derivative image (SDI) method is widely applied to sharpen dispersive data features in multi-dimensional spectroscopies such as angle resolved photoemission spectroscopy (ARPES). Here, the SDI function is represented in Fourier space, where it has the form of a multi-band pass filter. The interplay of the SDI procedure with undesirable noise and background features in ARPES data sets is reviewed, and it is shown that final image quality can be improved by eliminating higher Fourier harmonics of the SDI filter. We then discuss extensions of SDI-like band pass filters to higher dimensional data sets, and how one can create even more effective filters with some a priori knowledge of the spectral features.


title: Determining surface rotation periods of solar-like stars observed by the Kepler mission using machine learning techniques

abstract: For a solar-like star, the surface rotation evolves with time, allowing in principle to estimate the age of a star from its surface rotation period. Here we are interested in measuring surface rotation periods of solar-like stars observed by the NASA Kepler mission. Different methods have been developed to track rotation signals in Kepler photometric light curves: time-frequency analysis based on wavelet techniques, autocorrelation and composite spectrum. We use the learning abilities of random forest classifiers to take decisions during two crucial steps of the analysis. First, given some input parameters, we discriminate the considered Kepler targets between rotating MS stars, non-rotating MS stars, red giants, binaries and pulsators. We then use a second classifier only on the MS rotating targets to decide the best data-analysis treatment.


title: Improving Description-based Person Re-identification by Multi-granularity Image-text Alignments

abstract: Description-based person re-identification (Re-id) is an important task in video surveillance that requires discriminative cross-modal representations to distinguish different people. It is difficult to directly measure the similarity between images and descriptions due to the modality heterogeneity (the cross-modal problem). And all samples belonging to a single category (the fine-grained problem) makes this task even harder than the conventional image-description matching task. In this paper, we propose a Multi-granularity Image-text Alignments (MIA) model to alleviate the cross-modal fine-grained problem for better similarity evaluation in description-based person Re-id. Specifically, three different granularities, i.e., global-global, global-local and local-local alignments are carried out hierarchically. Firstly, the global-global alignment in the Global Contrast (GC) module is for matching the global contexts of images and descriptions. Secondly, the global-local alignment employs the potential relations between local components and global contexts to highlight the distinguishable components while eliminating the uninvolved ones adaptively in the Relation-guided Global-local Alignment (RGA) module. Thirdly, as for the local-local alignment, we match visual human parts with noun phrases in the Bi-directional Fine-grained Matching (BFM) module. The whole network combining multiple granularities can be end-to-end trained without complex pre-processing. To address the difficulties in training the combination of multiple granularities, an effective step training strategy is proposed to train these granularities step-by-step. Extensive experiments and analysis have shown that our method obtains the state-of-the-art performance on the CUHK-PEDES dataset and outperforms the previous methods by a significant margin.


title: Automatic classification of K2 pulsating stars using machine learning techniques

abstract: The second mission of the NASA Kepler satellite, K2, has collected hundreds of thousands of lightcurves for stars close to the ecliptic plane. This new sample could increase the number of known pulsating stars and then improve our understanding of those stars. For the moment only a few stars have been properly classified and published. In this work, we present a method to automaticly classify K2 pulsating stars using a Machine Learning technique called Random Forest. The objective is to sort out the stars in four classes: red giant (RG), main-sequence Solar-like stars (SL), classical pulsators (PULS) and Other. To do this we use the effective temperatures and the luminosities of the stars as well as the FliPer features, that measures the amount of power contained in the power spectral density. The classifier now retrieves the right classification for more than 80% of the stars.


title: Four newly discovered HII galaxies

abstract: We present the results of spectroscopy campaigns for planetary nebula candidates, where we have identified four objects as Seyfert galaxies. All observations have been carried out by a group of French amateur astronomers. During the campaigns at the Cote d'Azur observatory at Calern (France), four HII galaxies could be identified. Using the naming convention of our campaign, these objects are (1) App 1 (RA: 22h 49m 20.23s, DEC: +46{\deg}07{\arcmin}37.17{\arcsec}), (2) Pre 21 (RA: 18h 04m 19.62s, DEC: +00{\deg}08{\arcmin}04.96{\arcsec}), (3) Pre 24 (RA: 04h 25m 53.63s, DEC: +39{\deg}49{\arcmin}19.69{\arcsec}), and (4) Ra 69 (RA: 19h 30m 23.64s, DEC: +37{\deg}37{\arcmin}06.58{\arcsec}).


title: The Cost of a Reductions Approach to Private Fair Optimization

abstract: Through the lens of information-theoretic reductions, we examine a reductions approach to fair optimization and learning where a black-box optimizer is used to learn a fair model for classification or regression. Quantifying the complexity, both statistically and computationally, of making such models satisfy the rigorous definition of differential privacy is our end goal. We resolve a few open questions and show applicability to fair machine learning, hypothesis testing, and to optimizing non-standard measures of classification loss. Furthermore, our sample complexity bounds are tight amongst all strategies that jointly minimize a composition of functions. The reductions approach to fair optimization can be abstracted as the constrained group-objective optimization problem where we aim to optimize an objective that is a function of losses of individual groups, subject to some constraints. We give the first polynomial-time algorithms to solve the problem with $(\epsilon, 0)$ or $(\epsilon, \delta)$ differential privacy guarantees when defined on a convex decision set (for example, the $\ell_P$ unit ball) with convex constraints and losses. Accompanying information-theoretic lower bounds for the problem are presented. In addition, compared to a previous method for ensuring differential privacy subject to a relaxed form of the equalized odds fairness constraint, the $(\epsilon, \delta)$-differentially private algorithm we present provides asymptotically better sample complexity guarantees, resulting in an exponential improvement in certain parameter regimes. We introduce a class of bounded divergence linear optimizers, which could be of independent interest, and specialize to pure and approximate differential privacy.


title: Morse-type integrals on non-K\"ahler manifolds

abstract: We pose a conjecture about Morse-type integrals in nef (1,1) classes on compact Hermitian manifolds, and we show that it holds for semipositive classes, or when the manifold admits certain special Hermitian metrics.


title: Thresholded Quantum LIDAR -- Exploiting Photon-Number-Resolving Detection

abstract: We present a technique that improves the signal-to-noise-ratio (SNR) of range-finding, sensing, and other light-detection applications. The technique filters out low photon numbers using photon-number-resolving detectors (PNRDs). This technique has no classical analog and cannot be done with classical detectors. We investigate the properties of our technique and show under what conditions the scheme surpasses the classical SNR. Finally, we simulate the operation of a rangefinder, showing improvement with a low number of signal samplings and confirming the theory with a high number of signal samplings.


title: Involutions on algebraic surfaces and the Generalised Bloch's conjecture

abstract: In this note we are going to consider a smooth projective surface equipped with an involution and study the action of the involution at the level of Chow group of zero cycles.


title: Geometry of quintics in $\mathbb P^3$ and the Craighero-Gattazzo surface of general type

abstract: In this paper we study the question whether the tri-canonical system on the Craighero-Gattazzo surface is base point free and at which points does it separate tangent vectors. Also we study the non-rationality of the normalization of the quotient of a general curve (under a given involution) in the product linear system of cubics and quadrics on a singular quintic in $\PR^3$ with four elliptic singularities.


title: Diffusion of exciplex. 1. Energy transfer from exciplex to exciplex-forming pair

abstract: Exciton diffusion in organic films is crucial phenomenon in optoelectronic devices such as organic light-emitting diodes and organic photovoltaics. However, diffusion of exciplexes has not been actively studied despite their ever-growing importance in such devices due to the lack of apparent charge-transfer absorption, resulting in the absence of energy transfer (ET) to exciplex-forming pairs. Here, the ET from exciplexes to exciplex-forming pairs is reported by analysis of transient photo-luminescent profiles. Recent reports and our own observation of the sub-bandgap charge-transfer absorption in exciplex-forming systems support the ET from exciplexes to exciplex-forming pairs. The ET mechanism is discussed in the following paper.


title: Irreducibility of the Wysiwyg representations of Thompson's groups

abstract: We prove irreducibility and mutual inequivalence for certain unitary representations of R. Thompson's groups F and T.


title: $c$-Theorem for Anisotropic RG Flows from Holographic Entanglement Entropy

abstract: We propose a candidate $c$-function in arbitrary dimensional quantum field theories with broken Lorentz and rotational symmetry. For holographic theories we derive the necessary and sufficient conditions on the geometric background for these $c$-functions to satisfy the $c$-theorem. We obtain the null energy conditions for anisotropic background to show that do not themselves assure the $c$-theorem. By employing them, we find that is possible to impose conditions on the UV data that are enough to guarantee at least one monotonic $c$-function along the RG flow. These UV conditions can be used as building blocks for the construction of anisotropic monotonic RG flows. Finally, we apply our results to several known anisotropic theories and identify the region in the parameters space of the metric where the $c$-theorem holds for our proposed $c$-function.


title: Making the Cut: A Bandit-based Approach to Tiered Interviewing

abstract: Given a huge set of applicants, how should a firm allocate sequential resume screenings, phone interviews, and in-person site visits? In a tiered interview process, later stages (e.g., in-person visits) are more informative, but also more expensive than earlier stages (e.g., resume screenings). Using accepted hiring models and the concept of structured interviews, a best practice in human resources, we cast tiered hiring as a combinatorial pure exploration (CPE) problem in the stochastic multi-armed bandit setting. The goal is to select a subset of arms (in our case, applicants) with some combinatorial structure. We present new algorithms in both the probably approximately correct (PAC) and fixed-budget settings that select a near-optimal cohort with provable guarantees. We show via simulations on real data from one of the largest US-based computer science graduate programs that our algorithms make better hiring decisions or use less budget than the status quo.


title: Harnessing behavioral diversity to understand circuits for cognition

abstract: With the increasing acquisition of large-scale neural recordings comes the challenge of inferring the computations they perform and understanding how these give rise to behavior. Here, we review emerging conceptual and technological advances that begin to address this challenge, garnering insights from both biological and artificial neural networks. We argue that neural data should be recorded during rich behavioral tasks, to model cognitive processes and estimate latent behavioral variables. Careful quantification of animal movements can also provide a more complete picture of how movements shape neural dynamics and reflect changes in brain state, such as arousal or stress. Artificial neural networks (ANNs) could serve as an important tool to connect neural dynamics and rich behavioral data. ANNs have already begun to reveal how particular behaviors can be optimally solved, generating hypotheses about how observed neural activity might drive behavior and explaining diversity in behavioral strategies.


title: Highlights from the 7 year High Energy Starting Event sample in Icecube

abstract: Here we outline the main highlights from the 7 year High Energy Starting Events (HESE) event sample. The next new physics search using astrophysical neutrino flavor data is described, where we reach the Planck scale for the first time.


title: On the Feasibility of Learning, Rather than Assuming, Human Biases for Reward Inference

abstract: Our goal is for agents to optimize the right reward function, despite how difficult it is for us to specify what that is. Inverse Reinforcement Learning (IRL) enables us to infer reward functions from demonstrations, but it usually assumes that the expert is noisily optimal. Real people, on the other hand, often have systematic biases: risk-aversion, myopia, etc. One option is to try to characterize these biases and account for them explicitly during learning. But in the era of deep learning, a natural suggestion researchers make is to avoid mathematical models of human behavior that are fraught with specific assumptions, and instead use a purely data-driven approach. We decided to put this to the test -- rather than relying on assumptions about which specific bias the demonstrator has when planning, we instead learn the demonstrator's planning algorithm that they use to generate demonstrations, as a differentiable planner. Our exploration yielded mixed findings: on the one hand, learning the planner can lead to better reward inference than relying on the wrong assumption; on the other hand, this benefit is dwarfed by the loss we incur by going from an exact to a differentiable planner. This suggest that at least for the foreseeable future, agents need a middle ground between the flexibility of data-driven methods and the useful bias of known human biases. Code is available at https://tinyurl.com/learningbiases.


title: Diffusion mechanism of exciplex. 2. Energy transfer mechanism

abstract: Excited-state charge-transfer complexes (exciplexes) have been actively exploited in organic optoelectronic devices to improve performance; however, diffusion of exciplexes has not been actively studied despite its influence on performance due to the lack of apparent charge-transfer absorption. In the preceding paper, we studied the energy transfer (ET) from exciplexes to exciplex-forming pairs in relation to the charge-transfer absorption of the exciplex state, resulting in the exciplex diffusion. In this paper, we report that the ET takes place dominantly via the Dexter-type exchange mechanism, from the exponential decrease of the ET rate constant with separation between exciplexes.


title: Stress-driven modeling of nonlocal thermoelastic behavior of nanobeams

abstract: A consistent stress-driven nonlocal integral model for nonisothermal structural analysis of elastic nano- and microbeams is proposed. Most nonlocal models of literature are strain-driven and it was shown that such approaches can lead toward a number of difficulties. Following recent contributions within the isothermal setting, the developed model abandons the classical strain-driven methodology in favour of the modern stress-driven elasticity theory by G. Romano and R. Barretta. This effectively circumvents issues associated with strain-driven formulations. The new thermoelastic nonlocal integral model is proven to be equivalent to an adequate set of differential equations, accompanied by higher-order constitutive boundary conditions, when the special Helmholtz averaging kernel is adopted in the convolution. The example section provides several applications, thus enabling insight into performance of the formulation. Exact nonlocal solutions are established, detecting also new benchmarks for thermoelastic numerical analyses.


title: Inductive general game playing

abstract: General game playing (GGP) is a framework for evaluating an agent's general intelligence across a wide range of tasks. In the GGP competition, an agent is given the rules of a game (described as a logic program) that it has never seen before. The task is for the agent to play the game, thus generating game traces. The winner of the GGP competition is the agent that gets the best total score over all the games. In this paper, we invert this task: a learner is given game traces and the task is to learn the rules that could produce the traces. This problem is central to inductive general game playing (IGGP). We introduce a technique that automatically generates IGGP tasks from GGP games. We introduce an IGGP dataset which contains traces from 50 diverse games, such as Sudoku, Sokoban, and Checkers. We claim that IGGP is difficult for existing inductive logic programming (ILP) approaches. To support this claim, we evaluate existing ILP systems on our dataset. Our empirical results show that most of the games cannot be correctly learned by existing systems. The best performing system solves only 40% of the tasks perfectly. Our results suggest that IGGP poses many challenges to existing approaches. Furthermore, because we can automatically generate IGGP tasks from GGP games, our dataset will continue to grow with the GGP competition, as new games are added every year. We therefore think that the IGGP problem and dataset will be valuable for motivating and evaluating future research.


title: Terminal Ranking Games

abstract: We analyze a mean field tournament: a mean field game in which the agents receive rewards according to the ranking of the terminal value of their projects and are subject to cost of effort. Using Schr\"{o}dinger bridges we are able to explicitly calculate the equilibrium. This allows us to identify the reward functions which would yield a desired equilibrium and solve several related mechanism design problems. We are also able to identify the effect of reward inequality on the players' welfare as well as calculate the price of anarchy.


title: On the genesis of BBP formulas

abstract: We present a general procedure to generate infinitely many BBP and BBP-like formulas for the simplest transcendental numbers. This provides some insight and a better understanding into their nature. In particular, we can derive the main known BBP formulas for $\pi$. We can understand why many of these formulas are rearrangements of each other. We also understand better where some null BBP formulas representing $0$ come from. We also explain what is the observed relation between some BBP formulas for $\log 2$ and $\pi$, that are obtained by taking real and imaginary parts of a general complex BBP formula. Our methods are elementary, but motivated by transalgebraic considerations, and offer a new way to obtain and to search many new BBP formulas and, conjecturally, to better understand transalgebraic relations between transcendental constants.


title: Differential graded Lie groups and their differential graded Lie algebras

abstract: In this paper we discuss the question of integrating differential graded Lie algebras (DGLA) to differential graded Lie groups (DGLG). We first recall the classical problem of integration in the context, and present the construction for (non-graded) differential Lie algebras. Then, we define the category of differential graded Lie groups and study its properties. We show how to associate a differential graded Lie algebra to every differential graded Lie group and vice-versa. For the DGLA $\to$ DGLG direction, the main ``tools'' are graded Hopf algebras and Harish-Chandra pairs (HCP) -- we define the category of graded and differential graded HCPs and explain how those are related to the desired construction. We describe some near at hand examples and mention possible generalizations.


title: Transfer Learning for Segmenting Dimensionally-Reduced Hyperspectral Images

abstract: Deep learning has established the state of the art in multiple fields, including hyperspectral image analysis. However, training large-capacity learners to segment such imagery requires representative training sets. Acquiring such data is human-dependent and time-consuming, especially in Earth observation scenarios, where the hyperspectral data transfer is very costly and time-constrained. In this letter, we show how to effectively deal with a limited number and size of available hyperspectral ground-truth sets, and apply transfer learning for building deep feature extractors. Also, we exploit spectral dimensionality reduction to make our technique applicable over hyperspectral data acquired using different sensors, which may capture different numbers of hyperspectral bands. The experiments, performed over several benchmarks and backed up with statistical tests, indicated that our approach allows us to effectively train well-generalizing deep convolutional neural nets even using significantly reduced data.


title: A Model of the Optimal Selection of Crypto Assets

abstract: We propose a modelling framework for the optimal selection of crypto assets. Crypto assets differ by two essential features: security (technological) and stability (governance). Investors make choices over crypto assets similarly to how they make choices by using a recommender app: the app presents each investor with a pair of crypto assets with certain security-stability characteristics to be compared. Each investor submits its preference for adopting one of the two assets to the app. The app, in turn, provides a recommendation on whether the proposed adoption is sensible given the assets' essential features, information about the adoption choices of all other investors, and expected future economic benefits of adoption. Investors continue making their adoption choices over all pairs of crypto assets until their expected future economic benefits can no longer be improved upon. This constitutes an optimal selection decision. We simulate optimal selection decisions considering the behaviour of different types of investors, driven by their attitudes towards assets' features. We find a variety of possible emergent outcomes for the investments in the crypto-ecosystem and the future adoption of the crypto assets.


title: Logarithmic concavity of Schur and related polynomials

abstract: We show that normalized Schur polynomials are strongly log-concave. As a consequence, we obtain Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients in the special case of Kostka numbers.


title: Automated Droplet Size Distribution Measurements Using Digital Inline Holography

abstract: Droplet generation through spray breakup is an unsteady and non-linear process which produces a relatively dense, highly polydisperse aerosol containing non-spherical droplets with sizes spanning several orders of magnitude. Such variability in size and shape can lead to significant sources of error for conventional measurements based on laser scattering. Although direct imaging of droplets can potentially overcome these limitations, imaging suffers from a shallow depth of field as well as occlusions, which prevents the complete spray from being analyzed. In comparison, digital inline holography (DIH), a low-cost coherent imaging technique, can enable high-resolution imaging of the sample over an extended depth of field, typically several orders of magnitude larger than traditional imaging. In this study, we showcase an automated DIH imaging system for characterizing monodisperse and polydisperse aerosol droplet size and shape distributions in the 20 um-3 mm diameter range, over a large sample volume. The high accuracy of the technique is demonstrated by measurements of monodisperse droplets generated by a vibrating orifice droplet generator, achieving a resolution of ~14.2. Measurements of a polydisperse spray from a flat fan nozzle serve to establish the versatility of DIH in extracting a two-dimensional size-eccentricity distribution function, which indicates a strong semilogarithmic scaling between the two parameters that decays as the droplet migrates away from the nozzle. Due to its low cost and compact setup as well as the high density of data obtained, DIH can serve as a promising approach for future aerosol characterization.


title: Investigating Biases in Textual Entailment Datasets

abstract: The ability to understand logical relationships between sentences is an important task in language understanding. To aid in progress for this task, researchers have collected datasets for machine learning and evaluation of current systems. However, like in the crowdsourced Visual Question Answering (VQA) task, some biases in the data inevitably occur. In our experiments, we find that performing classification on just the hypotheses on the SNLI dataset yields an accuracy of 64%. We analyze the bias extent in the SNLI and the MultiNLI dataset, discuss its implication, and propose a simple method to reduce the biases in the datasets.


title: Super-resonances in microspheres: extreme effects in field localization

abstract: We reveal the existence of optical super-resonance modes supported by dielectric microspheres. These modes,with field-intensity enhancement factors on the order of 10^4-10^5, can be directly obtained from analytical calculations. In contrast to usual optical resonances, which are related to the poles of the electric and magnetic scattering amplitudes, super-resonance modes are related to the poles of the internal field coefficients, obtained for specific values of the size parameter. We also reveal the connection of these super-resonances in the generation of magnetic nanojets and of giant magnetic fields in particles with high refractive index.


title: Effect of elastic anisotropy on phase separation in ternary alloys: A phase-field study

abstract: The precipitate shape, size and distribution are crucial factors which determine the properties of several technologically important alloys. Elastic interactions between the inclusions modify their morphology and align them along elastically favourable crystallographic directions. Among the several factors contributing to the elastic interaction energy between precipitating phases, anisotropy in elastic moduli is decisive in the emergence of modulated structures during phase separation in elastically coherent alloy systems. We employ a phase-field model incorporating elastic interaction energy between the misfitting phases to study microstructural evolution in ternary three-phase alloy systems when the elastic moduli are anisotropic. The spatiotemporal evolution of the composition field variables is governed by solving a set of coupled Cahn-Hilliard equations numerically using a semi-implicit Fourier spectral technique. We methodically vary the misfit strains, alloy chemistry and elastic anisotropy to investigate their influence on domain morphology during phase separation. The coherency strains between the phases and alloy composition alter the coherent phase equilibria and decomposition pathways. The degree of anisotropy in elastic moduli modifies the elastic interaction energy between the precipitates depending on the sign and magnitude of relative misfits, and thus determines the shape and alignment of the inclusions in the microstructure.


title: From Steklov to Neumann via homogenisation

abstract: We study a new link between the Steklov and Neumann eigenvalues of domains in Euclidean space. This is obtained through an homogenisation limit of the Steklov problem on a periodically perforated domain, converging to a family of eigenvalue problems with dynamical boundary conditions. For this problem, the spectral parameter appears both in the interior of the domain and on its boundary. This intermediary problem interpolates between Steklov and Neumann eigenvalues of the domain. As a corollary, we recover some isoperimetric type bounds for Neumann eigenvalues from known isoperimetric bounds for Steklov eigenvalues. The interpolation also leads to the construction of planar domains with first perimeter-normalized Stekov eigenvalue that is larger than any previously known example. The proofs are based on a modification of the energy method. It requires quantitative estimates for norms of harmonic functions. An intermediate step in the proof provides a homogenisation result for a transmission problem.


title: Asymptotic joint distribution of extreme eigenvalues and trace of large sample covariance matrix in a generalized spiked population model

abstract: This paper studies the joint limiting behavior of extreme eigenvalues and trace of large sample covariance matrix in a generalized spiked population model, where the asymptotic regime is such that the dimension and sample size grow proportionally. The form of the joint limiting distribution is applied to conduct Johnson-Graybill-type tests, a family of approaches testing for signals in a statistical model. For this, higher order correction is further made, helping alleviate the impact of finite-sample bias. The proof rests on determining the joint asymptotic behavior of two classes of spectral processes, corresponding to the extreme and linear spectral statistics respectively.


title: Light-induced optical switching in an asymmetric metal-dielectric microcavity with phase-change material

abstract: We propose an infrared power switch based on an asymmetric high-Q microcavity incorporating a metallic nanolayer in close proximity to a layer made of a phase-change material (PCM). The microcavity is designed so that when the PCM layer is in the low-temperature phase, the metallic nanolayer coincides with a nodal plane of the resonant electric field component, to allow a high resonant transmittance. As the light intensity exceeds a certain threshold, light-induced heating of the PCM layer triggers the phase transition accompanied by an abrupt change in its refractive index in the vicinity of the transition temperature. The latter results in a shift of the nodal plane away from the metallic nanolayer, rendering the entire microcavity highly reflective over a broad frequency range. The nearly binary nature of the PCM refractive index allows for the low-intensity resonant transmission over a broad range of ambient temperatures below the transition point.


title: Superfluidity in the Interiors of Neutron Stars

abstract: I review some of the ideas that have been proposed for the structure of neutron star interiors, and concentrate on the theoretical arguments for the existence of superfluidity in neutron stars. I also discuss the implications of neutron superfluidity and proton superconductivity for the rotational dynamics of pulsars, and review arguments that have been proposed for observable effects of superfluidity on the timing history of pulsars and perhaps other neutron stars. The Lecture notes also include discussions of several features that are unique to interacting superfluid-superconducting mixtures, as well as the magnetic structure of quantized vortices in spin-triplet ($^3$P$_2$) neutron superfluids.


title: Termination Dependent Topological Surface States in Nodal Loop Semimetal HfP2

abstract: Symmetry plays a major role in all disciplines of physics. Within the field of topological materials there is a great interest in understanding how the mechanics of crystalline and internal symmetries protect crossings between the conduction and valence bands. Additionally, exploring this direction can lead to a deeper understanding on the topological properties of crystals hosting a variety of symmetries. For the first time, we report the experimental observation of topological surface states in the nodal loop semimetal HfP2 using angle resolved photoemission spectroscopy (ARPES) which is supported by our first principles calculations. Our study shows termination dependent surface states in this compound. Our experimental data reveal surface states linked to three unique nodal loops confirmed by theoretical calculation to be topologically non-trivial. This work demonstrates that transition metal dipnictides provide a good platform to study non-trivial topological states protected by nonsymmorphic symmetry.


title: Ultracold Collisions of Polyatomic Molecules: CaOH

abstract: Ultracold collisions of the polyatomic species CaOH are considered, in internal states where the collisions should be dominated by long-range dipole-dipole interactions. The computed rate constants suggest that evaporative cooling can be quite efficient for these species, provided they start at temperatures achievable by laser cooling. The rate constants are shown to become more favorable for evaporative cooling as the electric field increases. Moreover, long-range dimer states (CaOH)$^*_2$ are predicated to occur, having lifetimes on the order of microseconds.


title: Gromov--Hausdorff Distance to Simplexes

abstract: Geometric characteristics of metric spaces that appear in formulas of the Gromov--Hausdorff distances from these spaces to so-called simplexes, i.e., to the metric spaces, all whose non-zero distances are the same are studied. The corresponding calculations essentially use geometry of partitions of these spaces. In the finite case, it gives the lengths of minimal spanning trees. A similar theory for compact metric spaces was worked out previously. In the present paper we generalize those results to any bounded metric space, and also, we simplify some proofs.


title: On q-ary codes with two distances d and d+1

abstract: The $q$-ary block codes with two distances $d$ and $d+1$ are considered. Several constructions of such codes are given, as in the linear case all codes can be obtained by a simple modification of linear equidistant codes. Upper bounds for the maximum cardinality of such codes is derived. Tables of lower and upper bounds for small $q$ and $n$ are presented.


title: Rational points on conic bundles over elliptic curves

abstract: We study rational points on conic bundles over elliptic curves with positive rank over a number field. We show that the etale Brauer-Manin obstruction is insufficient to explain failures of the Hasse principle for such varieties. We then further consider properties of the distribution of the set of rational points with respect to its image in the rational points of the elliptic curve. In the process, we prove results on a local-to-global principle for torsion points on elliptic curves over $\mathbb{Q}$.


title: Searching for hypermassive neutron stars with short gamma-ray bursts

abstract: Neutron star mergers can form a hypermassive neutron star (HMNS) remnant, which may be the engine of a short gamma ray burst (SGRB) before it collapses to a black hole, possibly several hundred milliseconds after the merger. During the lifetime of a HMNS, numerical relativity simulations indicate that it will undergo strong oscillations and emit GWs with frequencies of a few kilohertz, which are unfortunately too high for detection to be probable with Advanced LIGO. Here we discuss the current and future prospects for detecting these oscillations as modulation of the SGRB. The understanding of the physical mechanism responsible for the HMNS oscillations will provide information on the equation of state of the hot HMNS, and the observation of these frequencies in the SGRB data would give us insight into the emission mechanism of the SGRB.


title: Warm Quintessential Inflation

abstract: We introduce warm quintessential inflation and study it in the weak dissipative regime. We consider the original quintessential inflation model, which approximates quartic chaotic inflation at early times and thawing quartic inverse-power-law quintessence at present. We find that the model successfully accounts for both inflation and dark energy observations, while it naturally reheats the Universe, thereby overcoming a major problem of quintessential inflation model-building.


title: Reflecting Algebraically Compact Functors

abstract: A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret recursive datatypes involving mixed-variance functors, such as function space. The construction of compact algebras is usually done in categories with a zero object where some form of a limit-colimit coincidence exists. In this paper we consider a more abstract approach and show how one can construct compact algebras in categories which have neither a zero object, nor a (standard) limit-colimit coincidence by reflecting the compact algebras from categories which have both. In doing so, we provide a constructive description of a large class of algebraically compact functors (satisfying a compositionality principle) and show our methods compare quite favorably to other approaches from the literature.


title: Are nonperturbative AdS vacua possible in bosonic string theory?

abstract: In this paper, following the work of Hohm and Zwiebach [arXiv:1905.06583], we show that in bosonic string theory nonperturbative anti-de Sitter (AdS) vacua could exist with all $\alpha^{\prime}$ corrections included. We also discuss the possibility of the coexistence of nonperturbative dS and AdS vacua.


title: A relative Segre zeta function

abstract: The choice of a homogeneous ideal in a polynomial ring defines a closed subscheme $Z$ in a projective space as well as an infinite sequence of cones over $Z$ in progressively higher dimension projective spaces. Recent work of Aluffi introduces the Segre zeta function, a rational power series with integer coefficients which captures the relationship between the Segre class of $Z$ and those of its cones. The goal of this note is to define a relative version of this construction for closed subschemes of projective bundles over a smooth variety. If $Z$ is a closed subscheme of such a projective bundle $P(E)$, this relative Segre zeta function will be a rational power series which describes the Segre class of the cone over $Z$ in every projective bundle "dominating" $P(E)$. When the base variety is a point we recover the absolute Segre zeta function for projective spaces. Part of our construction requires $Z$ to be the zero scheme of a section of a bundle on $P(E)$ of rank smaller than that of $E$ that is able to extend to larger projective bundles. The question of what bundles may extend in this sense seems independently interesting and we discuss some related results, showing that at a minimum one can always count on direct sums of line bundles to extend. Furthermore, the relative Segre zeta function depends only on the Segre class of $Z$ and the total Chern class of the bundle defining $Z$, and the basic forms of the numerator and denominator can be described. As an application of our work we derive a Segre zeta function for products of projective spaces and prove its key properties.


title: Secure Multi-party Computation for Cloud-based Control

abstract: In this chapter, we will explore the cloud-outsourced privacy-preserving computation of a controller on encrypted measurements from a (possibly distributed) system, taking into account the challenges introduced by the dynamical nature of the data. The privacy notion used in this work is that of cryptographic multi-party privacy, i.e., the computation of a functionality should not reveal anything more than what can be inferred only from the inputs and outputs of the functionality. The main theoretical concept used towards this goal is Homomorphic Encryption, which allows the evaluation of sums and products on encrypted data, and, when combined with other cryptographic techniques, such as Secret Sharing, results in a powerful tool for solving a wide range of secure multi-party problems. We will rigorously define these concepts and discuss how multi-party privacy can be enforced in the implementation of a Model Predictive Controller, which encompasses computing stabilizing control actions by solving an optimization problem on encrypted data.


title: A NuSTAR and XMM-Newton Study of the Two Most Actively Star-forming Green Pea Galaxies (SDSS J0749+3337 and SDSS J0822+2241)

abstract: We explore X-ray evidence for the presence of active galactic nuclei (AGNs) in the two most actively star-forming Green Pea galaxies (GPs), SDSS J0749+3337 and SDSS J0822+2241, which have star-formation rates (SFRs) of $123~M_\odot$ yr$^{-1}$ and $78~M_\odot$ yr$^{-1}$, respectively. The GPs have red mid-infrared (MIR) spectral energy distributions and higher 22 $\mu$m luminosities than expected from a proxy of the SFR (H$\alpha$ luminosity), consistent with hosting AGNs with 2-10 keV luminosities of $\sim10^{44}$ erg s$^{-1}$. We thus obtain and analyze the first hard ($>$ 10 keV) X-ray data observed with NuSTAR and archival XMM-Newton data below 10 keV. From the NuSTAR $\approx$20 ksec data, however, we find no significant hard X-ray emission. By contrast, soft X-ray emission with 0.5--8 keV luminosities of $\approx10^{42}$ erg s$^{-1}$ is significantly detected in both targets, which can be explained only by star formation (SF). A possible reason for the lack of clear evidence is that a putative AGN torus absorbs most of the X-ray emission. Applying a smooth-density AGN torus model, we determine minimum hydrogen column densities along the equatorial plane ($N_{\rm H}^{\rm eq}$) consistent with the non-detection. The results indicate $N_{\rm H}^{\rm eq} \gtrsim 2\times10^{24}$ cm$^{-2}$ for SDSS J0749+3337 and $N_{\rm H}^{\rm eq} \gtrsim 5\times10^{24}$ cm$^{-2}$ for SDSS J0822+2241. Therefore, the GPs may host such heavily obscured AGNs. Otherwise, no AGN exists and the MIR emission is ascribed to SF. Active SF in low-mass galaxies is indeed suggested to reproduce red MIR colors. This would imply that diagnostics based on MIR photometry data alone may misidentify such galaxies as AGNs.


title: Random subgroups, automorphisms, splittings

abstract: We show that, if $H$ is a random subgroup of a finitely generated free group $F_k$, only inner automorphisms of $F_k$ may leave $H$ invariant. A similar result holds for random subgroups of toral relatively hyperbolic groups, more generally of groups which are hyperbolic relative to slender subgroups. These results follow from non-existence of splittings over slender groups which are relative to a random group element. Random subgroups are defined using random walks or balls in a Cayley tree of $F_k$.


title: Traffic Load Uniformity in Optical Packet Switched Networks

abstract: A crucial issue in Optical Packet Switched (OPS) networks is packet loss due to contentions. In this paper we study how traffic load uniformity influences the packet loss in a single OPS node. Traffic load uniformity is a measure of the load asymmetry a specific output link in an OPS node receives from its input sources. We develop analytical models based on the Engset traffic model. As a major contribution of this paper, we show that an asymmetric traffic pattern results in less packet loss compared to a symmetric traffic pattern for a single output link in an OPS node.


title: The "Red Radio Ring": Ionised and Molecular Gas in a Starburst/Active Galactic Nucleus at $z \sim 2.55$

abstract: We report the detection of the far-infrared (FIR) fine-structure line of singly ionised nitrogen, \Nplusa, within the peak epoch of galaxy assembly, from a strongly lensed galaxy, hereafter ``The Red Radio Ring''; the RRR, at z = 2.55. We combine new observations of the ground-state and mid-J transitions of CO (J$_{\rm up} =$ 1,5,8), and the FIR spectral energy distribution (SED), to explore the multi-phase interstellar medium (ISM) properties of the RRR. All line profiles suggest that the HII regions, traced by \Nplusa, and the (diffuse and dense) molecular gas, traced by the CO, are co-spatial when averaged over kpc-sized regions. Using its mid-IR-to-millimetre (mm) SED, we derive a non-negligible dust attenuation of the \Nplusa line emission. Assuming a uniform dust screen approximation results a mean molecular gas column density $> 10^{24}$\, cm$^{-2}$, with a molecular gas-to-dust mass ratio of 100. It is clear that dust attenuation corrections should be accounted for when studying FIR fine-structure lines in such systems. The attenuation corrected ratio of $L_{\rm NII205} / L_{\rm IR(8-1000\mu m)} = 2.7 \times 10^{-4}$ is consistent with the dispersion of local and $z >$ 4 SFGs. We find that the lower-limit, \Nplusa -based star-formation rate (SFR) is less than the IR-derived SFR by a factor of four. Finally, the dust SED, CO line SED and $L_{\rm NII205}$ line-to-IR luminosity ratio of the RRR is consistent with a starburst-powered ISM.


title: Flyover vacuum decay

abstract: We use analytic estimates and numerical simulations to explore the stochastic approach to vacuum decay. According to this approach, the time derivative of a scalar field, which is in a local vacuum state, develops a large fluctuation and the field \flies over" a potential barrier to another vacuum. The probability distribution for the initial fluctuation is found quantum mechanically, while the subsequent nonlinear evolution is determined by classical dynamics. We find in a variety of cases that the rate of such flyover transitions has the same parametric form as that of tunneling transitions calculated using the instanton method, differing only by a numerical factor O(1) in the exponent. An important exception is an "upward" transition from a de Sitter vacuum to a higher-energy de Sitter vacuum state. The rate of flyover transitions in this case is parametrically different and can be many orders of magnitude higher than tunneling. This result is in conflict with the conventional picture of quantum de Sitter space as a thermal state. Our numerical simulations indicate that the dynamics of bubble nucleation in flyover transitions is rather different from the standard picture. The difference is especially strong for thin-wall bubbles in flat space, where the transition region oscillates between true and false vacuum until a true vacuum shell is formed which expands both inwards and outwards, and for upward de Sitter transitions, where the inflating new vacuum region is contained inside of a black hole.


title: Poiseuille flow of nematic liquid crystals via the full Ericksen-Leslie model

abstract: In this paper, we study the Cauchy problem of the Poiseuille flow of full Ericksen-Leslie model for nematic liquid crystals. The model is a coupled system of a parabolic equation for the velocity and a quasilinear wave equation for the director. For a particular choice of several physical parameter values, we construct solutions with smooth initial data and finite energy that produce, in finite time, cusp singularities - blowups of gradients. The formation of cusp singularity is due to local interactions of wave-like characteristics of solutions, which is different from the mechanism of finite time singularity formations for the parabolic Ericksen-Leslie system. The finite time singularity formation for the physical model might raise some concerns for purposes of applications. This is, however, resolved satisfactorily; more precisely, we are able to establish the global existence of weak solutions that are H\"older continuous and have bounded energy. One major contribution of this paper is our identification of the effect of the flux density of the velocity on the director and the reveal of a singularity cancellation - the flux density remains uniformly bounded while its two components approach infinity at formations of cusp singularities.


title: Pattern Avoidance Over a Hypergraph

abstract: We consider the problem of bounding the number of permutations $\sigma\in S_n$ that avoid a fixed permutation $\pi\in S_k$ in specific indices given by a $k$-uniform hypergraph $\Lambda$. We obtain relatively sharp bounds in the case where $\Lambda$ is a random hypergraph, and find bounds in the case where $\Lambda$ contains many large cliques. Along the way, we prove a supersaturation version of F\"uredi-Hajnal, which may be of independent interest.


title: Vortex Simulations on a 3-Sphere

abstract: We generate vortex tangles using a Hopf flow on a 3-sphere, in place of the standard torus defined by periodic boundary conditions. These tangles are highly anisotropic, with vortices tending to align along the flow direction. Standard power law dependences change accordingly from their values in more isotropic tangles. The line length density $\langle L\rangle$ is proportional to $v_{ns}^{1.28}$, where $v_{ns}$ is the drive velocity, and the reconnection rate depends roughly on $\langle L\rangle^2$. We also discuss the effect of the full Biot-Savart law versus the local induction approximation (LIA). Under LIA the tangle collapses so that all vortices are nearly aligned with a single flow line, in sharp contrast to the torus where they become perpendicular to the driving velocity. Finally we present a few torus simulations with a helical velocity field, which in some ways resembles the 3-sphere flow.


title: Finite-temperature degenerate perturbation theory for bosons in optical lattices

abstract: Bosonic atoms confined in optical lattices can exist in two different phases, Mott-insulator and superfluid, depending on the strength of the system parameters, such as the on-site interaction between particles and the hopping parameter. This work is motivated by the fact that non-degenerate perturbation theory applied to the mean-field approximation of the Bose-Hubbard Hamiltonian at zero and finite temperature fails to give consistent results in the vicinity of the Mott-insulator-superfluid phase transition, e.g., the order parameter calculated via non-degenerate perturbation theory reveals an unphysical behavior between neighboring Mott lobes, which is an explicit consequence of degeneracy problems that artificially arise from such a treatment. Therefore, in order to fix this problem, we propose a finite-temperature degenerate perturbation theory approach based on a projection operator formalism which ends up solving such degeneracy problems in order to obtain physically consistent results for the order parameter near the phase transition.


title: On Gabor g-frames and Fourier series of operators

abstract: We show that Hilbert-Schmidt operators can be used to define frame-like structures for $L^2(\mathbb{R}^d)$ over lattices in $\mathbb{R}^{2d}$ that include multi-window Gabor frames as a special case. These frame-like structures are called Gabor g-frames, as they are examples of g-frames as introduced by Sun. We show that Gabor g-frames share many properties of Gabor frames, including a Janssen representation and Wexler-Raz biorthogonality conditions. A central part of our analysis is a notion of Fourier series of periodic operators based on earlier work by Feichtinger and Kozek, where we show in particular a Poisson summation formula for trace class operators. By choosing operators from certain Banach subspaces of the Hilbert Schmidt operators, Gabor g-frames give equivalent norms for modulation spaces in terms of weighted $\ell^p$-norms of an associated sequence, as previously shown for localization operators by D\"orfler, Feichtinger and Gr\"ochenig.


title: Rejuvenation and Shear-Banding in model amorphous solids

abstract: We measure the local yield stress, at the scale of small atomic regions, in a deeply quenched two-dimensional glass model undergoing shear banding in response to athermal quasistatic (AQS) deformation. We find that the occurrence of essentially a single plastic event suffices to bring the local yield stress distribution to a well-defined value for all strain orientations, thus essentially erasing the memory of the initial structure. It follows that in a well-relaxed sample, plastic events cause the abrupt (nucleation-like) emergence of a local softness contrast and thus precipitate the formation of a band, which, in its early stages, is measurably softer than the steady-state flow. Moreover, this postevent yield stress ensemble presents a mean value comparable to that of the inherent states of a supercooled liquid around the mode-coupling temperature $T_{\rm MCT}$. This, we argue, explains that the transition between brittle and ductile yielding in amorphous materials occurs around a comparable parent temperature. Our data also permit to capture quantitatively the contributions of pressure and density changes and demonstrate unambiguously that they are negligible compared with the changes of softness caused by structural rejuvenation.


title: Thermal-difference states of light: quantum states of heralded photons

abstract: We introduce the thermal-difference states (TDS), a three-parameter family of single-mode non-Gaussian bosonic states whose density operator is a weighted difference of two thermal states. We show that the states of "heralded photons" generated via parametric down-conversion (PDC) are precisely those among the TDS that are nonclassical, meaning they have a negative $P$-function. The three parameters correspond in that context to the initial brightness of PDC and the transmittances, characterizing the linear loss in the signal and the idler channels. At low initial brightness and unit transmittances, the heralded photon state is known to be a single-photon state. We explore the influence of brightness and linear loss on the heralded state of the signal mode. In particular, we analyze the influence of the initial brightness and the loss on the state nonclassicality by computing several measures of nonclassicality, such as the negative volume of the Wigner function, the sum of quantum Fisher information for two quadratures, and the ordering sensitivity, introduced recently by us [Phys. Rev. Lett. 122, 080402 (2019)]. We argue finally that the TDS provide new benchmark states for the analysis of a variety of properties of single-mode bosonic states.


title: Compositionally-Warped Gaussian Processes

abstract: The Gaussian process (GP) is a nonparametric prior distribution over functions indexed by time, space, or other high-dimensional index set. The GP is a flexible model yet its limitation is given by its very nature: it can only model Gaussian marginal distributions. To model non-Gaussian data, a GP can be warped by a nonlinear transformation (or warping) as performed by warped GPs (WGPs) and more computationally-demanding alternatives such as Bayesian WGPs and deep GPs. However, the WGP requires a numerical approximation of the inverse warping for prediction, which increases the computational complexity in practice. To sidestep this issue, we construct a novel class of warpings consisting of compositions of multiple elementary functions, for which the inverse is known explicitly. We then propose the compositionally-warped GP (CWGP), a non-Gaussian generative model whose expressiveness follows from its deep compositional architecture, and its computational efficiency is guaranteed by the analytical inverse warping. Experimental validation using synthetic and real-world datasets confirms that the proposed CWGP is robust to the choice of warpings and provides more accurate point predictions, better trained models and shorter computation times than WGP.


title: Aerial hyperspectral imagery and deep neural networks for high-throughput yield phenotyping in wheat

abstract: Crop production needs to increase in a sustainable manner to meet the growing global demand for food. To identify crop varieties with high yield potential, plant scientists and breeders evaluate the performance of hundreds of lines in multiple locations over several years. To facilitate the process of selecting advanced varieties, an automated framework was developed in this study. A hyperspectral camera was mounted on an unmanned aerial vehicle to collect aerial imagery with high spatial and spectral resolution. Aerial images were captured in two consecutive growing seasons from three experimental yield fields composed of hundreds experimental plots (1x2.4 meter), each contained a single wheat line. The grain of more than thousand wheat plots was harvested by a combine, weighed, and recorded as the ground truth data. To leverage the high spatial resolution and investigate the yield variation within the plots, images of plots were divided into sub-plots by integrating image processing techniques and spectral mixture analysis with the expert domain knowledge. Afterwards, the sub-plot dataset was divided into train, validation, and test sets using stratified sampling. Subsequent to extracting features from each sub-plot, deep neural networks were trained for yield estimation. The coefficient of determination for predicting the yield of the test dataset at sub-plot scale was 0.79 with root mean square error of 5.90 grams. In addition to providing insights into yield variation at sub-plot scale, the proposed framework can facilitate the process of high-throughput yield phenotyping as a valuable decision support tool. It offers the possibility of (i) remote visual inspection of the plots, (ii) studying the effect of crop density on yield, and (iii) optimizing plot size to investigate more lines in a dedicated field each year.


title: On Performance Stability in LSM-based Storage Systems (Extended Version)

abstract: The Log-Structured Merge-Tree (LSM-tree) has been widely adopted for use in modern NoSQL systems for its superior write performance. Despite the popularity of LSM-trees, they have been criticized for suffering from write stalls and large performance variances due to the inherent mismatch between their fast in-memory writes and slow background I/O operations. In this paper, we use a simple yet effective two-phase experimental approach to evaluate write stalls for various LSM-tree designs. We further explore the design choices of LSM merge schedulers to minimize write stalls given an I/O bandwidth budget. We have conducted extensive experiments in the context of the Apache AsterixDB system and we present the results here.


title: Ising chains with competing interactions in presence of long-range couplings

abstract: In this paper we study an Ising spin chain with short-range competing interactions in presence of long-range ferromagnetic interactions in the canonical ensemble. The simultaneous presence of the frustration induced by the short-range couplings together with their competition with the long-range term gives rise to a rich thermodynamic phase diagram. We compare our results with the limit in which one of two local interactions is turned off, which was previously studied in the literature. Eight regions of parameters with qualitatively distinct properties are featured, with different first- and second-order phase transition lines and critical points.


title: Nested Cavity Classifier: performance and remedy

abstract: Nested Cavity Classifier (NCC) is a classification rule that pursues partitioning the feature space, in parallel coordinates, into convex hulls to build decision regions. It is claimed in some literatures that this geometric-based classifier is superior to many others, particularly in higher dimensions. First, we give an example on how NCC can be inefficient, then motivate a remedy by combining the NCC with the Linear Discriminant Analysis (LDA) classifier. We coin the term Nested Cavity Discriminant Analysis (NCDA) for the resulting classifier. Second, a simulation study is conducted to compare both, NCC and NCDA to another two basic classifiers, Linear and Quadratic Discriminant Analysis. NCC alone proves to be inferior to others, while NCDA always outperforms NCC and competes with LDA and QDA.


title: A machine learning approach for GRB detection in AstroSat CZTI data

abstract: We present a machine learning (ML) based method for automated detection of Gamma-Ray Burst (GRB) candidate events in the range 60 keV - 250 keV from the AstroSat Cadmium Zinc Telluride Imager data. We use density-based spatial clustering to detect excess power and carry out an unsupervised hierarchical clustering across all such events to identify the different light curves present in the data. This representation helps understand the instrument's sensitivity to the various GRB populations and identify the major non-astrophysical noise artefacts present in the data. We use Dynamic Time Warping (DTW) to carry out template matching, which ensures the morphological similarity of the detected events with known typical GRB light curves. DTW alleviates the need for a dense template repository often required in matched filtering like searches. The use of a similarity metric facilitates outlier detection suitable for capturing previously unmodelled events. We briefly discuss the characteristics of 35 long GRB candidates detected using the pipeline and show that with minor modifications such as adaptive binning, the method is also sensitive to short GRB events. Augmenting the existing data analysis pipeline with such ML capabilities alleviates the need for extensive manual inspection, enabling quicker response to alerts received from other observatories such as the gravitational-wave detectors.


title: Single-crossing Implementation

abstract: An election over a finite set of candidates is called single-crossing if, as we sweep through the list of voters from left to right, the relative order of every pair of candidates changes at most once. Such elections have many attractive properties: e.g., their majority relation is transitive and they admit efficient algorithms for problems that are NP-hard in general. If a given election is not single-crossing, it is important to understand what are the obstacles that prevent it from having this property. In this paper, we propose a mapping between elections and graphs that provides us with a convenient encoding of such obstacles. This mapping enables us to use the toolbox of graph theory in order to analyze the complexity of detecting nearly single-crossing elections, i.e., elections that can be made single-crossing by a small number of modifications.


title: Isomorphic and isometric structure of the optimal domains for Hardy-type operators

abstract: We investigate structure of the optimal domains for the Hardy-type operators including, for example, the classical Ces\`aro, Copson and Volterra operators as well as for some of their generalizations. We prove that, in some sense, the abstract Ces\`aro and Copson function spaces are closely related to the space $L^1$, namely, they contain "in the middle" a complemented copy of $L^1[0,1]$, asymptotically isometric copy of $\ell^1$ and also can be renormed to contain an isometric copy of $L^1[0,1]$. Moreover, the generalized Tandori function spaces are quite similar to $L^\infty$ because they contain an isometric copy of $\ell^\infty$ and can be renormed to contain an isometric copy of $L^\infty[0,1]$. Several applications to the metric fixed point theory will be given. Next, we prove that the Ces\`aro construction $X \mapsto CX$ does not commutate with the truncation operation of the measure space support. We also study whether a given property transfers between a Banach function space $X$ and the space $TX$, where $T$ is the Ces\`aro or the Copson operator. In particular, we find a large class of properties which do not lift from $TX$ into $X$ and prove that the abstract Ces\`aro and Copson function spaces are never reflexive, are not isomorphic to a dual space and do not have the Radon--Nikodym property in general.


title: A Search of TESS Full Frame Images for a Simultaneous Optical Counterpart to FRB181228

abstract: FRB181228 was detected by the Molonglo Synthesis Radio Telescope (MOST) at a position and time coincident with Transiting Exoplanet Survey Satellite (TESS) observations, representing the first simultaneous multi-wavelength data collection for a Fast Radio Burst (FRB). The large imaged field-of-view of TESS allows a search over the uncertainty region produced by MOST. However, the TESS pixel scale of 21" and the Full Frame Image (FFI) cadence of 30 minutes is not optimal for the detection of an FOB with a possible millisecond duration. We search the TESS FFIs and find no events with a limiting TESS magnitude of 16, assuming a 30 minute event duration, corresponding to an optical flux density upper limit of approximately 2000 Jy for a ~ms signal duration, assuming no signal loss. In addition, the cosmic ray mitigation method for TESS significantly reduces its sensitivity to short timescale transients, which we quantify. We compare our results to the predictions of Yang, Zhang, and Wei (2019) and find that the upper limit is a factor of two thousand higher than the predicted maximum optical flux density. However, we find that if FRB181228 had occurred in the galaxy thought to host the nearest FRB detection to date (37 Mpc), an FOB may have been detectable by TESS. In the near future, when CHIME and ASKAP will detect hundreds to thousands of FRBs, TESS may be able to detect FOBs from those rare bright and nearby FRBs within this large population (if more sophisticated cosmic ray excision can be implemented).


title: Ranking Policy Gradient

abstract: Sample inefficiency is a long-lasting problem in reinforcement learning (RL). The state-of-the-art estimates the optimal action values while it usually involves an extensive search over the state-action space and unstable optimization. Towards the sample-efficient RL, we propose ranking policy gradient (RPG), a policy gradient method that learns the optimal rank of a set of discrete actions. To accelerate the learning of policy gradient methods, we establish the equivalence between maximizing the lower bound of return and imitating a near-optimal policy without accessing any oracles. These results lead to a general off-policy learning framework, which preserves the optimality, reduces variance, and improves the sample-efficiency. Furthermore, the sample complexity of RPG does not depend on the dimension of state space, which enables RPG for large-scale problems. We conduct extensive experiments showing that when consolidating with the off-policy learning framework, RPG substantially reduces the sample complexity, comparing to the state-of-the-art.


title: Evaluating the Supervised and Zero-shot Performance of Multi-lingual Translation Models

abstract: We study several methods for full or partial sharing of the decoder parameters of multilingual NMT models. We evaluate both fully supervised and zero-shot translation performance in 110 unique translation directions using only the WMT 2019 shared task parallel datasets for training. We use additional test sets and re-purpose evaluation methods recently used for unsupervised MT in order to evaluate zero-shot translation performance for language pairs where no gold-standard parallel data is available. To our knowledge, this is the largest evaluation of multi-lingual translation yet conducted in terms of the total size of the training data we use, and in terms of the diversity of zero-shot translation pairs we evaluate. We conduct an in-depth evaluation of the translation performance of different models, highlighting the trade-offs between methods of sharing decoder parameters. We find that models which have task-specific decoder parameters outperform models where decoder parameters are fully shared across all tasks.


title: CORAL8: Concurrent Object Regression for Area Localization in Medical Image Panels

abstract: This work tackles the problem of generating a medical report for multi-image panels. We apply our solution to the Renal Direct Immunofluorescence (RDIF) assay which requires a pathologist to generate a report based on observations across the eight different WSI in concert with existing clinical features. To this end, we propose a novel attention-based multi-modal generative recurrent neural network (RNN) architecture capable of dynamically sampling image data concurrently across the RDIF panel. The proposed methodology incorporates text from the clinical notes of the requesting physician to regulate the output of the network to align with the overall clinical context. In addition, we found the importance of regularizing the attention weights for word generation processes. This is because the system can ignore the attention mechanism by assigning equal weights for all members. Thus, we propose two regularizations which force the system to utilize the attention mechanism. Experiments on our novel collection of RDIF WSIs provided by a large clinical laboratory demonstrate that our framework offers significant improvements over existing methods.


title: Remote Sensor Design for Visual Recognition with Convolutional Neural Networks

abstract: While deep learning technologies for computer vision have developed rapidly since 2012, modeling of remote sensing systems has remained focused around human vision. In particular, remote sensing systems are usually constructed to optimize sensing cost-quality trade-offs with respect to human image interpretability. While some recent studies have explored remote sensing system design as a function of simple computer vision algorithm performance, there has been little work relating this design to the state-of-the-art in computer vision: deep learning with convolutional neural networks. We develop experimental systems to conduct this analysis, showing results with modern deep learning algorithms and recent overhead image data. Our results are compared to standard image quality measurements based on human visual perception, and we conclude not only that machine and human interpretability differ significantly, but that computer vision performance is largely self-consistent across a range of disparate conditions. This research is presented as a cornerstone for a new generation of sensor design systems which focus on computer algorithm performance instead of human visual perception.


title: Non-Hamilton cycle sets of having solutions and their properties

abstract: A graph \textit{G} is a tuple (\textit{V}, \textit{E}), where \textit{V} is the vertex set, \textit{E} is the edge set. A reduced graph is a graph of deleting non-Hamiltonian edges and smoothing out the redundant vertices of degree 2 on an edge except for leaving only one vertex of degree 2. A 2-common (\textit{v}, \textit{0}) combination is a cycle set in which every pair of joint cycles \textit{A} and \textit{B} satisfies $|V(A)\cap V(B)|=2$ and $|E(A)\cap E(B)|=0$. In this paper, we investigate the cycle structure of 2-common (\textit{v}, \textit{0}) combination in reduced graphs, and give the characterizations of their Hamiltoncity.


title: The Value of Collaboration in Convex Machine Learning with Differential Privacy

abstract: In this paper, we apply machine learning to distributed private data owned by multiple data owners, entities with access to non-overlapping training datasets. We use noisy, differentially-private gradients to minimize the fitness cost of the machine learning model using stochastic gradient descent. We quantify the quality of the trained model, using the fitness cost, as a function of privacy budget and size of the distributed datasets to capture the trade-off between privacy and utility in machine learning. This way, we can predict the outcome of collaboration among privacy-aware data owners prior to executing potentially computationally-expensive machine learning algorithms. Particularly, we show that the difference between the fitness of the trained machine learning model using differentially-private gradient queries and the fitness of the trained machine model in the absence of any privacy concerns is inversely proportional to the size of the training datasets squared and the privacy budget squared. We successfully validate the performance prediction with the actual performance of the proposed privacy-aware learning algorithms, applied to: financial datasets for determining interest rates of loans using regression; and detecting credit card frauds using support vector machines.


title: Constant Amortized Time Enumeration of Independent Sets for Graphs with Bounded Clique Number

abstract: In this study, we address the independent set enumeration problem. Although several efficient enumeration algorithms and careful analyses have been proposed for maximal independent sets, no fine-grained analysis has been given for the non-maximal variant. From the main result, we propose an algorithm $\texttt{EIS}$ for the non-maximal variant that runs in $O(q)$ amortized time and linear space, where $q$ is the clique number, i.e., the maximum size of a clique in an input graph. Note that $\texttt{EIS}$ works correctly even if the exact value of $q$ is unknown. Despite its simplicity, $\texttt{EIS}$ is optimal for graphs with a bounded clique number, such as, triangle-free graphs, planar graphs, bounded degenerate graphs, locally bounded expansion graphs, and $F$-free graphs for any fixed graph $F$, where a $F$-free graph is a graph that has no copy of $F$ as a subgraph.


title: Deep Instance-Level Hard Negative Mining Model for Histopathology Images

abstract: Histopathology image analysis can be considered as a Multiple instance learning (MIL) problem, where the whole slide histopathology image (WSI) is regarded as a bag of instances (i.e, patches) and the task is to predict a single class label to the WSI. However, in many real-life applications such as computational pathology, discovering the key instances that trigger the bag label is of great interest because it provides reasons for the decision made by the system. In this paper, we propose a deep convolutional neural network (CNN) model that addresses the primary task of a bag classification on a WSI and also learns to identify the response of each instance to provide interpretable results to the final prediction. We incorporate the attention mechanism into the proposed model to operate the transformation of instances and learn attention weights to allow us to find key patches. To perform a balanced training, we introduce adaptive weighing in each training bag to explicitly adjust the weight distribution in order to concentrate more on the contribution of hard samples. Based on the learned attention weights, we further develop a solution to boost the classification performance by generating the bags with hard negative instances. We conduct extensive experiments on colon and breast cancer histopathology data and show that our framework achieves state-of-the-art performance.


title: Encrypted DNS --> Privacy? A Traffic Analysis Perspective

abstract: Virtually every connection to an Internet service is preceded by a DNS lookup which is performed without any traffic-level protection, thus enabling manipulation, redirection, surveillance, and censorship. To address these issues, large organizations such as Google and Cloudflare are deploying recently standardized protocols that encrypt DNS traffic between end users and recursive resolvers such as DNS-over-TLS (DoT) and DNS-over-HTTPS (DoH). In this paper, we examine whether encrypting DNS traffic can protect users from traffic analysis-based monitoring and censoring. We propose a novel feature set to perform the attacks, as those used to attack HTTPS or Tor traffic are not suitable for DNS' characteristics. We show that traffic analysis enables the identification of domains with high accuracy in closed and open world settings, using 124 times less data than attacks on HTTPS flows. We find that factors such as location, resolver, platform, or client do mitigate the attacks performance but they are far from completely stopping them. Our results indicate that DNS-based censorship is still possible on encrypted DNS traffic. In fact, we demonstrate that the standardized padding schemes are not effective. Yet, Tor -- which does not effectively mitigate traffic analysis attacks on web traffic -- is a good defense against DoH traffic analysis.