title: Resolvable Designs for Speeding up Distributed Computing

abstract: Distributed computing frameworks such as MapReduce are often used to process large computational jobs. They operate by partitioning each job into smaller tasks executed on different servers. The servers also need to exchange intermediate values to complete the computation. Experimental evidence suggests that this so-called Shuffle phase can be a significant part of the overall execution time for several classes of jobs. Prior work has demonstrated a natural tradeoff between computation and communication whereby running redundant copies of jobs can reduce the Shuffle traffic load, thereby leading to reduced overall execution times. For a single job, the main drawback of this approach is that it requires the original job to be split into a number of files that grows exponentially in the system parameters. When extended to multiple jobs (with specific function types), these techniques suffer from a limitation of a similar flavor, i.e., they require an exponentially large number of jobs to be executed. In practical scenarios, these requirements can significantly reduce the promised gains of the method. In this work, we show that a class of combinatorial structures called resolvable designs can be used to develop efficient coded distributed computing schemes for both the single and multiple job scenarios considered in prior work. We present both theoretical analysis and exhaustive experimental results (on Amazon EC2 clusters) that demonstrate the performance advantages of our method. For the single and multiple job cases, we obtain speed-ups of 4.69x (and 2.6x over prior work) and 4.31x over the baseline approach, respectively.


title: Are Quantitative Features of Lung Nodules Reproducible at Different CT Acquisition and Reconstruction Parameters?

abstract: Consistency and duplicability in Computed Tomography (CT) output is essential to quantitative imaging for lung cancer detection and monitoring. This study of CT-detected lung nodules investigated the reproducibility of volume-, density-, and texture-based features (outcome variables) over routine ranges of radiation-dose, reconstruction kernel, and slice thickness. CT raw data of 23 nodules were reconstructed using 320 acquisition/reconstruction conditions (combinations of 4 doses, 10 kernels, and 8 thicknesses). Scans at 12.5%, 25%, and 50% of protocol dose were simulated; reduced-dose and full-dose data were reconstructed using conventional filtered back-projection and iterative-reconstruction kernels at a range of thicknesses (0.6-5.0 mm). Full-dose/B50f kernel reconstructions underwent expert segmentation for reference Region-Of-Interest (ROI) and nodule volume per thickness; each ROI was applied to 40 corresponding images (combinations of 4 doses and 10 kernels). Typical texture analysis metrics (including 5 histogram features, 13 Gray Level Co-occurrence Matrix, 5 Run Length Matrix, 2 Neighboring Gray-Level Dependence Matrix, and 2 Neighborhood Gray-Tone Difference Matrix) were computed per ROI. Reconstruction conditions resulting in no significant change in volume, density, or texture metrics were identified as "compatible pairs" for a given outcome variable. Our results indicate that as thickness increases, volumetric reproducibility decreases, while reproducibility of histogram- and texture-based features across different acquisition and reconstruction parameters improves. In order to achieve concomitant reproducibility of volumetric and radiomic results across studies, balanced standardization of the imaging acquisition parameters is required.


title: A homotopy theory of coherently commutative monoidal quasi-categories

abstract: The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those coCartesian fibrations which represent objects that are known as symmetric monoidal quasi-categories in the literature. We go on to establish a Quillen equivalence between the two model categories.


title: Progressive Cross-camera Soft-label Learning for Semi-supervised Person Re-identification

abstract: In this paper, we focus on the semi-supervised person re-identification (Re-ID) case, which only has the intra-camera (within-camera) labels but not inter-camera (cross-camera) labels. In real-world applications, these intra-camera labels can be readily captured by tracking algorithms or few manual annotations, when compared with cross-camera labels. In this case, it is very difficult to explore the relationships between cross-camera persons in the training stage due to the lack of cross-camera label information. To deal with this issue, we propose a novel Progressive Cross-camera Soft-label Learning (PCSL) framework for the semi-supervised person Re-ID task, which can generate cross-camera soft-labels and utilize them to optimize the network. Concretely, we calculate an affinity matrix based on person-level features and adapt them to produce the similarities between cross-camera persons (i.e., cross-camera soft-labels). To exploit these soft-labels to train the network, we investigate the weighted cross-entropy loss and the weighted triplet loss from the classification and discrimination perspectives, respectively. Particularly, the proposed framework alternately generates progressive cross-camera soft-labels and gradually improves feature representations in the whole learning course. Extensive experiments on five large-scale benchmark datasets show that PCSL significantly outperforms the state-of-the-art unsupervised methods that employ labeled source domains or the images generated by the GAN-based models. Furthermore, the proposed method even has a competitive performance with respect to deep supervised Re-ID methods.


title: Zigzag approach to higher key rate of sending-or-not-sending twin field quantum key distribution with finite key effects

abstract: Odd-parity error rejection (OPER) can drastically improve the asymptotic key rate of sending-or-not-sending twin-field (SNS-TF) quantum key distribution (QKD). However, in practice, the finite key effects have to be considered for security. Here, we propose a zigzag approach to verify the phase-flip error of the survived bits after OPER. Based on this, we can take all the finite key effect efficiently in calculating the non-asymptotic key rate. Numerical simulation shows that our method here produces the highest key rate over all distances among all existing methods, improving the key rate by more than $100\%$ to $3000\%$ in comparison with different prior art methods with typical experimental setting. Also, we show that with the method here, the SNS-TF QKD can by far break the the absolute bound of repeater-less key rate with whatever detection efficiency. We can even reach a non-asymptotic key rate more than $40$ times of the practical bound and $13$ times of the absolute bound with $10^{12}$ pulses. Besides, we apply the McDiarmid inequality to estimate the phase flip error rate, further improving the key rate by more than $20\%$.


title: Additive Local Multiplications and zero-preserving maps on $C(X)$

abstract: Suppose $X$ is a compact Hausdorff space. In terms of topolocical properties of $X$, we find topological conditions on $X$ that are equivalent to each of the following: 1. every additive local multiplication on $C\left( X\right) $ is a multiplication, 2. every additive local multiplication on $C_{R}\left( X\right) $ is a multiplication, and 3. every additive map on $C\left( X\right) $ that is zero-preserving (i.e., $f\left( x\right) =0$ implies $\left( Tf\right) \left( x\right) =0$) has the form $T\left( f\right) =T\left( 1\right) \operatorname{Re}f+T\left( i\right) \operatorname{Im}f$.


title: Towards Making the Most of BERT in Neural Machine Translation

abstract: GPT-2 and BERT demonstrate the effectiveness of using pre-trained language models (LMs) on various natural language processing tasks. However, LM fine-tuning often suffers from catastrophic forgetting when applied to resource-rich tasks. In this work, we introduce a concerted training framework (CTNMT) that is the key to integrate the pre-trained LMs to neural machine translation (NMT). Our proposed CTNMT consists of three techniques: a) asymptotic distillation to ensure that the NMT model can retain the previous pre-trained knowledge; b) a dynamic switching gate to avoid catastrophic forgetting of pre-trained knowledge; and c) a strategy to adjust the learning paces according to a scheduled policy. Our experiments in machine translation show CTNMT gains of up to 3 BLEU score on the WMT14 English-German language pair which even surpasses the previous state-of-the-art pre-training aided NMT by 1.4 BLEU score. While for the large WMT14 English-French task with 40 millions of sentence-pairs, our base model still significantly improves upon the state-of-the-art Transformer big model by more than 1 BLEU score. The code and model can be downloaded from https://github.com/bytedance/neurst/ tree/master/examples/ctnmt.


title: A new parton model for the soft interactions at high energies: two channel approximation

abstract: The primary goal of this paper is to describe the diffraction production using the model that takes into account the Pomeron interaction, and satisfies both $t$ and $s$ channel unitarity. We hope that these features will allow us to describe the diffraction production in a more convenient way than in CGC motivated models, that do not satisfy these unitarity constraints. Unfortunately, we show that both approaches are only able to describe half of the cross section for the single diffraction production, leaving the second half to be estimate of the large mass production in the Pomeron approach.The impact parameter dependance of the scattering amplitudes show that soft interactions at high energies measured at the LHC, have a much richer structure than presumed. We discuss the $t$-dependence of the elastic cross section in wide range of $|t|=0 \div 1 \,GeV^2 $. We show that in the kinemati region of the minimum, we cannot use approximate formulae to calculate the real part of the amplitude. The exact calculation in our model, shows that the real part is rather small, and it is necessary to include the Odderon contribution in order to describe the experimental data.


title: Bypass Enhancement RGB Stream Model for Pedestrian Action Recognition of Autonomous Vehicles

abstract: Pedestrian action recognition and intention prediction is one of the core issues in the field of autonomous driving. In this research field, action recognition is one of the key technologies. A large number of scholars have done a lot of work to im-prove the accuracy of the algorithm for the task. However, there are relatively few studies and improvements in the computational complexity of algorithms and sys-tem real-time. In the autonomous driving application scenario, the real-time per-formance and ultra-low latency of the algorithm are extremely important evalua-tion indicators, which are directly related to the availability and safety of the au-tonomous driving system. To this end, we construct a bypass enhanced RGB flow model, which combines the previous two-branch algorithm to extract RGB feature information and optical flow feature information respectively. In the train-ing phase, the two branches are merged by distillation method, and the bypass enhancement is combined in the inference phase to ensure accuracy. The real-time behavior of the behavior recognition algorithm is significantly improved on the premise that the accuracy does not decrease. Experiments confirm the superiority and effectiveness of our algorithm.


title: On volume preserving almost Anosov flows

abstract: The purpose of this paper is to establish limit laws for volume preserving almost Anosov flows on $3$-three manifolds having a neutral periodic of cubic saddle type. In the process, we derive estimates for the Dulac maps for cubic neutral saddles in planar vector fields.


title: Plato and the foundations of mathematics

abstract: Plato is well-known in mathematics for the eponymous foundational philosophy Platonism based on ideal objects. Plato's allegory of the cave provides a powerful visual illustration of the idea that we only have access to shadows or reflections of these ideal objects. An inquisitive mind might then wonder what the current foundations of mathematics, like e.g. Reverse Mathematics and the associated Goedel hierarchy, are reflections of. In this paper, we identify a hierarchy in higher-order arithmetic that maps to the Big Five of Reverse Mathematics under the canonical embedding of higher-order into second-order arithmetic. Conceptually pleasing, the latter mapping replaces uncountable objects by countable 'codes', i.e. the very practise of formalising mathematics in second-order arithmetic. This higher-order hierarchy can be defined in Hilbert-Bernays' Grundlagen, the spiritual ancestor of second-order arithmetic, while the associated embedding preserves equivalences. Also, in contrast to Kohlenbach's hierarchy based on discontinuity, our hierarchy can be formulated in terms of (classically valid) continuity axioms from Brouwer's intuitionistic mathematics. Moreover, the higher-order counterpart of sequences is provided by nets, aka Moore-Smith sequences, while the gauge integral is the correct generalisation of the Riemann integral. For all these reasons, we baptise our higher-order hierarchy the Plato hierarchy.


title: Lifting countable to uncountable mathematics

abstract: Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These counterexamples are often crucial in establishing reversals in the Reverse Mathematics program. All the previous is essentially limited to a language that can only express countable mathematics directly. The aim of this paper is to show that reversals and recursive counterexamples, countable in nature as they might be, directly yield new and interesting results about uncountable mathematics with little-to-no modification. We shall treat the following topics/theorems: the monotone convergence theorem/Specker sequences, compact and closed sets in metric spaces, the Rado selection lemma, the ordering and algebraic closures of fields, and ideals of rings. The higher-order generalisation of sequence is of course provided by nets (aka Moore-Smith sequences ).


title: Edge rings of bipartite graphs with linear resolutions

abstract: Ohsugi and Hibi characterized the edge ring of a finite connected simple graph with a $2$-linear resolution. On the other hand, Hibi, Matsuda and the author conjectured that the edge ring of a finite connected simple graph with a $q$-linear resolution, where $q \geq 3$, is a hypersurface and proved the case $q=3$. In the present paper, we solve this conjecture for the case of finite connected simple bipartite graphs.


title: Transformer-based Automatic Post-Editing with a Context-Aware Encoding Approach for Multi-Source Inputs

abstract: Recent approaches to the Automatic Post-Editing (APE) research have shown that better results are obtained by multi-source models, which jointly encode both source (src) and machine translation output (mt) to produce post-edited sentence (pe). Along this trend, we present a new multi-source APE model based on the Transformer. To construct effective joint representations, our model internally learns to incorporate src context into mt representation. With this approach, we achieve a significant improvement over baseline systems, as well as the state-of-the-art multi-source APE model. Moreover, to demonstrate the capability of our model to incorporate src context, we show that the word alignment of the unknown MT system is successfully captured in our encoding results.


title: The role of cosmological constant in f(R, G) gravity

abstract: Einstein-Hilbert action is supplemented by Gauss-Bonnet squared term, its phase-space structure is constructed and canonical quantization is performed. Resolution of a contradiction that emerges in the process, requires the presence of other fields at least in the form of vacuum energy-density, commonly known as the cosmological constant. This reveals the very importance of the presence of other fields at least in the form of cosmological constant, in the very early universe.


title: Calculation Rules and Cancellation Rules for Strong Hom-Schemes

abstract: Let ${\cal H}(A,B)$ denote the set of homomorphisms from the poset $A$ to the poset $B$. In previous studies, the author has started to analyze what it is in the structure of finite posets $R$ and $S$ that results in $# {\cal H}(P,R) \leq # {\cal H}(P,S)$ for every finite poset $P$, if additional regularity conditions are imposed. In the present paper, it is examined if this relation (with or without regularity conditions) is compatible with the operations of order arithmetic and if cancellation rules hold.


title: The Hubble Legacy Field GOODS-S Photometric Catalog

abstract: This manuscript describes the public release of the Hubble Legacy Fields (HLF) project photometric catalog for the extended GOODS-South region from the Hubble Space Telescope (HST) archival program AR-13252. The analysis is based on the version 2.0 HLF data release that now includes all ultraviolet (UV) imaging, combining three major UV surveys. The HLF data combines over a decade worth of 7475 exposures taken in 2635 orbits totaling 6.3 Msec with the HST Advanced Camera for Surveys Wide Field Channel (ACS/WFC) and the Wide Field Camera 3 (WFC3) UVIS/IR Channels in the greater GOODS-S extragalactic field, covering all major observational efforts (e.g., GOODS, GEMS, CANDELS, ERS, UVUDF and many other programs; see Illingworth et al 2019, in prep). The HLF GOODS-S catalogs include photometry in 13 bandpasses from the UV (WFC3/UVIS F225W, F275W and F336W filters), optical (ACS/WFC F435W, F606W, F775W, F814W and F850LP filters), to near-infrared (WFC3/IR F098M, F105W, F125W, F140W and F160W filters). Such a data set makes it possible to construct the spectral energy distributions (SEDs) of objects over a wide wavelength range from high resolution mosaics that are largely contiguous. Here, we describe a photometric analysis of 186,474 objects in the HST imaging at wavelengths 0.2--1.6$\mu$m. We detect objects from an ultra-deep image combining the PSF-homogenized and noise-equalized F850LP, F125W, F140W and F160W images, including Gaia astrometric corrections. SEDs were determined by carefully taking the effects of the point-spread function in each observation into account. All of the data presented herein are available through the HLF website (https://archive.stsci.edu/prepds/hlf/).


title: Einstein-Vlasov Calculations of Structure Formation

abstract: We study the dynamics of small inhomogeneities in an expanding universe collapsing to form bound structures using full solutions of the Einstein-Vlasov (N-body) equations. We compare these to standard Newtonian N-body solutions using quantities defined with respect to fiducial observers in order to bound relativistic effects. We focus on simplified initial conditions containing a limited range of length scales, but vary the inhomogeneities from small magnitude, where the Newtonian and general-relativistic calculations agree quite well, to large magnitude, where the background metric receives an order one correction. For large inhomogeneities, we find that the collapse of overdensities tends to happen faster in Newtonian calculations relative to fully general-relativistic ones. Even in this extreme regime, the differences in the spacetime evolution outside the regions of large gravitational potential and velocity are small. For standard cosmological values, we corroborate the robustness of Newtonian N-body simulations to model large scale perturbations and the related cosmic variance in the local expansion rate.


title: The Formation of Ultra-Diffuse Galaxies in the RomulusC Galaxy Cluster Simulation

abstract: We study the origins of 122 ultra-diffuse galaxies (UDGs) in the {\sc RomulusC} zoom-in cosmological simulation of a galaxy cluster (M$_{200} = 1.15\times10^{14}$ M$_{\odot}$), one of the only such simulations capable of resolving the evolution and structure of dwarf galaxies (M$_{\star} < 10^9$ M$_{\odot}$). We find broad agreement with observed cluster UDGs and predict that they are not separate from the overall cluster dwarf population. UDGs in cluster environments form primarily from dwarf galaxies that experienced early cluster in-fall and subsequent quenching due to ram pressure. The ensuing dimming of these dwarf galaxies due to passive stellar evolution results in a population of very low surface brightness galaxies that are otherwise typical dwarfs. UDGs and non-UDGs alike are affected by tidal interactions with the cluster potential. Tidal stripping of dark matter, as well as mass loss from stellar evolution, results in the adiabatic expansion of stars, particularly in the lowest mass dwarfs. High mass dwarf galaxies show signatures of tidal heating while low mass dwarfs that survive until $z=0$ typically have not experienced such impulsive interactions. There is little difference between UDGs and non-UDGs in terms of their dark matter halos, stellar morphology, colors, and location within the cluster. In most respects cluster UDG and non-UDGs alike are similar to isolated dwarf galaxies, except for the fact that they are typically quenched.


title: Forbidden frozen-in dark matter

abstract: We examine and point out the importance of a regime of dark matter production through the freeze-in mechanism that results from a large thermal correction to a decaying mediator particle mass from hot plasma in the early Universe. We show that mediator decays to dark matter that are kinematically forbidden at the usually considered ranges of low temperatures can be generically present at higher temperatures and actually dominate the overall dark matter production, thus leading to very distinct solutions from the standard case. We illustrate these features by considering a dark Higgs portal model where dark matter is produced via decays of a scalar field with a large thermal mass. We identify the resulting ranges of parameters that are consistent with the correct dark matter relic abundance and further apply current and expected future collider, cosmological, and astrophysical limits.


title: Linear in Temperature Resistivity and Associated Mysteries

abstract: Recent experimental results: (i) the measurement of the $T \ln T$ specific heat in cuprates and the earlier such results in some heavy fermion compounds, (ii) the measurement of the single-particle scattering rates, (iii) the density fluctuation spectrum in cuprates and (iv) the long standing results on the linear temperature dependence of the resistivity, show that a theory of the quantum-criticality in these compounds based on the solution of the dissipative 2D - XY model gives the temperature and frequency dependence of each of them, and the magnitudes of all four with one dimensionless coupling parameter. These low frequency or temperature dependences persist to an upper cut-off which is measured to be about the same from the singularity in the specific heat or the saturation of the single-particle self-energy. The same two parameters are deduced in the analysis of results of photoemission experiments to give d-wave superconductivity and its transition temperature. The coupling parameter and the cut-off had been estimated in the microscopic theory to within a factor of 2. The simplicity of the results depends on the discovery that orthogonal topological excitations in space and in time determine the fluctuations near criticality such that the space and time metrics are free of each other. The interacting fermions then form a marginal Fermi-liquid.


title: Bound states in the continuum of higher-order topological insulators

abstract: We show that lattices with higher-order topology can support corner-localized bound states in the continuum (BICs). We propose a method for the direct identification of BICs in condensed matter settings and use it to demonstrate the existence of BICs in a concrete lattice model. Although the onset for these states is given by corner-induced filling anomalies in certain topological crystalline phases, additional symmetries are required to protect the BICs from hybridizing with their degenerate bulk states. We demonstrate the protection mechanism for BICs in this model and show how breaking this mechanism transforms the BICs into higher-order topological resonances. Our work shows that topological states arising from the bulk-boundary correspondence in topological phases are more robust than previously expected, expanding the search space for crystalline topological phases to include those with boundary-localized BICs or resonances.


title: Analytic Solutions to Compact Binary Inspirals With Leading Order Spin-Orbit Contribution Using The Dynamical Renormalization Group

abstract: We calculate the real-space trajectory and spin precession of a generic spinning compact binary inspiral at any time instant using the dynamical renormalization group formalism. This method leads to closed-form analytic solutions to the binary motion through treating radiation reaction as perturbations and resumming the secular growth of perturbative terms. We consider the spin-orbit effects at leading order and the 2.5PN radiation reaction without orbit averaging or precession averaging for arbitrary individual masses and spin magnitudes and orientations. The solutions are written in a moving reference frame, with the orbital angular momentum and binary radial directions aligned along two of the axes. The resummed solutions show improved accuracy compared to adiabatic solutions while also being an order of magnitude faster computationally compared to numerical integration methods.


title: Stochastic Polynomial Optimization

abstract: This paper studies stochastic optimization problems with polynomials. We propose an optimization model with sample averages and perturbations. The Lasserre type Moment-SOS relaxations are used to solve the sample average optimization. Properties of the optimization and its relaxations are studied. Numerical experiments are presented.


title: The Ellis semigroup of bijective substitutions

abstract: For topological dynamical systems $(X,T,\sigma)$ with abelian group $T$ which admit an equicontinuous factor $\pi:(X,T,\sigma)\to (Y,T,\delta)$ the Ellis semigroup $E(X)$ is an extension of $Y$ by its subsemigroup $E^{fib}(X)$ of elements which preserve the fibres of $\pi$. We establish methods to compute $E^{fib}(X)$ and use them to determine the Ellis semigroup of dynamical systems arising from primitive aperiodic bijective substitutions. As an application we show that for these substitution shifts, the virtual automorphism group is isomorphic to the classical automorphism group.


title: Improving Multi-Word Entity Recognition for Biomedical Texts

abstract: Biomedical Named Entity Recognition (BioNER) is a crucial step for analyzing Biomedical texts, which aims at extracting biomedical named entities from a given text. Different supervised machine learning algorithms have been applied for BioNER by various researchers. The main requirement of these approaches is an annotated dataset used for learning the parameters of machine learning algorithms. Segment Representation (SR) models comprise of different tag sets used for representing the annotated data, such as IOB2, IOE2 and IOBES. In this paper, we propose an extension of IOBES model to improve the performance of BioNER. The proposed SR model, FROBES, improves the representation of multi-word entities. We used Bidirectional Long Short-Term Memory (BiLSTM) network; an instance of Recurrent Neural Networks (RNN), to design a baseline system for BioNER and evaluated the new SR model on two datasets, i2b2/VA 2010 challenge dataset and JNLPBA 2004 shared task dataset. The proposed SR model outperforms other models for multi-word entities with length greater than two. Further, the outputs of different SR models have been combined using majority voting ensemble method which outperforms the baseline models performance.


title: Higher Rank Numerical Ranges of Jordan-Like Matrices

abstract: We completely characterize the higher rank numerical range of the matrices of the form $J_n(\alpha)\oplus\beta I_m$, where $J_n(\alpha)$ is the $n\times n$ Jordan block with eigenvalue $\alpha$. Our characterization allows us to obtain concrete examples of several extreme properties of higher rank numerical ranges.


title: Using schematic models to understand the microscopic basis for inverted solubility in $\gamma$D-crystallin

abstract: Inverted solubility--a crystal melting upon cooling--is observed in a handful of proteins, such as carbomonoxy hemoglobin and $\gamma$D-crystallin. In human $\gamma$D-crystallin, the phenomenon is associated with the mutation of the 23$^\mathrm{rd}$ residue, a proline, to a threonine, serine or valine. One proposed microscopic mechanism for this effect entails an increase in hydrophobicity upon mutagenesis. Recent crystal structures of a double mutant that includes the P23T mutation allows for a more careful investigation of this proposal. Here, we first measure the surface hydrophobicity of various mutant structures of this protein and determine that it does not discernibly increase upon the mutating the 23$^\mathrm{rd}$ residue. We then investigate the solubility inversion regime with a schematic patchy particle model that includes one of three models for temperature-dependent patch energies: two of the hydrophobic effect, and a more generic description. We conclude that while solubility inversion due to the hydrophobic effect may be possible, microscopic evidence to support it in $\gamma$D-crystallin is weak. More generally, we find that solubility inversion requires a fine balance between patch strengths and the temperature-dependent contribution, which may explain why inverted solubility is not commonly observed in proteins. In any event, we also find that the temperature-dependent interaction has only a negligible impact on the critical properties of the $\gamma$D-crystallin, in line with previous experimental observations.


title: How many ways to color the map of America?

abstract: Although the Four Color Conjecture originated in cartography, surprisingly, there is nothing in the literature on the number of ways to color an actual geographic map with four or fewer colors. In this paper, we compute these numbers, with exponentially increasing order of difficulty, for the maps of Canada, France, and the USA. Our attempts to compute the latter two lead to some new results on the chromatic polynomial of graphs.


title: Signatures of Dipolar Dark Matter on Indirect Detection

abstract: In this work we study the annihilation of fermionic dark matter, considering it as a neutral particle with non-vanishing magnetic ($M$) and electric ($D$) dipole moments. Effective cross section of the process $\chi \overline{\chi} \rightarrow \gamma \gamma$ is computed starting from a general form of the coupling $\chi \overline{\chi} \gamma$ in the framework of an extension of the Standard Model. By taking into account the annihilation of dark matter pairs into mono-energetic photons, we found that for masses of $O(10^2)$ GeV, an electric dipole moment $\sim 10^{-16}\, \textrm{e cm}$ is required to satisfy the current relic density inferences. Additionally, in order to pin down models viable to describe the physics of dark matter in the early Universe, we also constrain our model according to recent measurements of the temperature anisotropies of the cosmic microwave background radiation, and report constraints to the electric and magnetic dipole moments for a range of masses within our model.


title: One-loop determinants for black holes in 4d gauged supergravity

abstract: We continue the effort of defining and evaluating the quantum entropy function for supersymmetric black holes in 4d ${\cal N} = 2$ gauged supergravity, initiated in [1803.05920]. The emphasis here is on the missing steps in the previous localization analysis, mainly dealing with one-loop determinants for abelian vector multiplets and hypermultiplets on the non-compact space $\mathbb{H}_2 \times \Sigma_{\rm g}$ with particular boundary conditions. We use several different techniques to arrive at consistent results, which have a most direct bearing on the logarithmic correction terms to the Bekenstein-Hawking entropy of said black holes.


title: Inflation in generalized unimodular gravity

abstract: The recently suggested generalized unimodular gravity theory, which was originally put forward as a model of dark energy, can serve as a model of cosmological inflation driven by the effective perfect fluid -- the dark purely gravitational sector of the theory. Its excitations are scalar gravitons which can generate, in the domain free from ghost and gradient instabilities, the red tilted primordial power spectrum of CMB perturbations matching with observations. The reconstruction of the parametric dependence of the action of the theory in the early inflationary Universe is qualitatively sketched from the cosmological data. The alternative possibilities of generating the cosmological acceleration or quantum transition to the general relativistic phase of the theory are also briefly discussed.


title: Fast Sub-millimeter Diffusion MRI using gSlider-SMS and SNR-Enhancing Joint Reconstruction

abstract: We evaluate a new approach for achieving diffusion MRI data with high spatial resolution, large volume coverage, and fast acquisition speed. A recent method called gSlider-SMS enables whole-brain sub-millimeter diffusion MRI with high signal-to-noise ratio (SNR) efficiency. However, despite the efficient acquisition, the resulting images can still suffer from low SNR due to the small size of the imaging voxels. This work proposes to mitigate the SNR problem by combining gSlider-SMS with a regularized SNR-enhancing reconstruction approach. Illustrative results show that, from gSlider-SMS data acquired over a span of only 25 minutes on a 3T scanner, the proposed method is able to produce 71 MRI images (64 diffusion encoding orientations with $b=$1500 s/mm$^2$, and 7 images without diffusion weighting) of the entire \emph{in vivo} human brain with nominal 0.66 mm spatial resolution. Using data acquired from 75 minutes of acquisition as a gold standard reference, we demonstrate that the proposed SNR-ehancement procedure leads to substantial improvements in estimated diffusion parameters compared to conventional gSlider reconstruction. Results also demonstrate that the proposed method has advantages relative to denoising methods based on low-rank matrix modeling. A theoretical analysis of the trade-off between spatial resolution and SNR suggests that the proposed approach has high efficiency. The combination of gSlider-SMS with advanced regularized reconstruction enables high-resolution quantitative diffusion MRI from a relatively fast acquisition.


title: Convergence of Gradient Methods on Bilinear Zero-Sum Games

abstract: Min-max formulations have attracted great attention in the ML community due to the rise of deep generative models and adversarial methods, while understanding the dynamics of gradient algorithms for solving such formulations has remained a grand challenge. As a first step, we restrict to bilinear zero-sum games and give a systematic analysis of popular gradient updates, for both simultaneous and alternating versions. We provide exact conditions for their convergence and find the optimal parameter setup and convergence rates. In particular, our results offer formal evidence that alternating updates converge "better" than simultaneous ones.


title: Distributed Backup Placement in One Round and its Applications to Maximum Matching Approximation and Self-Stabilization

abstract: In the distributed backup-placement problem each node of a network has to select one neighbor, such that the maximum number of nodes that make the same selection is minimized. This is a natural relaxation of the perfect matching problem, in which each node is selected just by one neighbor. Previous (approximate) solutions for backup placement are non-trivial, even for simple graph topologies, such as dense graphs. In this paper we devise an algorithm for dense graph topologies, including unit disk graphs, unit ball graphs, line graphs, graphs with bounded diversity, and many more. Our algorithm requires just one round, and is as simple as the following operation. Consider a circular list of neighborhood IDs, sorted in an ascending order, and select the ID that is next to the selecting vertex ID. Surprisingly, such a simple one-round strategy turns out to be very efficient for backup placement computation in dense networks. Not only that it improves the number of rounds of the solution, but also the approximation ratio is improved by a multiplicative factor of at least $2$. Our new algorithm has several interesting implications. In particular, it gives rise to a $(2 + \epsilon)$-approximation to maximum matching within $O(\log^* n)$ rounds in dense networks. The resulting algorithm is very simple as well, in sharp contrast to previous algorithms that compute such a solution within this running time. Moreover, these algorithms are applicable to a narrower graph family than our algorithm. For the same graph family, the best previously-known result has $O(\log {\Delta} + \log^* n)$ running time. Another interesting implication is the possibility to execute our backup placement algorithm as-is in the self-stabilizing setting. This makes it possible to simplify and improve other algorithms for the self-stabilizing setting, by employing helpful properties of backup placement.


title: Cosmetic two-strand twists on fibered knots

abstract: Let $K$ be a knot in a rational homology sphere $M$. This paper investigates the question of when modifying $K$ by adding $m>0$ half-twists to two oppositely-oriented strands, while keeping the rest of $K$ fixed, produces a knot isotopic to $K$. Such a two-strand twist of order $m$, as we define it, is a generalized crossing change when $m$ is even and a non-coherent band surgery when $m=1$. A cosmetic two-strand twist on $K$ is a non-nugatory one that produces an isotopic knot. We prove that fibered knots in $M$ admit no cosmetic generalized crossing changes. Further, we show that if $K$ is fibered, then a two-strand twist of odd order $m$ that is determined by a separating arc in a fiber surface for $K$ can only be cosmetic if $m=\pm 1$. After proving these theorems, we further investigate cosmetic two-strand twists of odd orders. Through two examples, we find that the second theorem above becomes false if `separating' is removed, and that a key technical proposition fails when the order equals 1. A closer look at an order-one example, an instance of cosmetic band surgery on the unknot, reveals it to be nearly trivial in a sense that we name `weakly nugatory'. We correct the technical proposition to obtain a means of using double branched covers to show that certain band surgeries are weakly nugatory. As an application, we prove that every cosmetic band surgery on the unknot is of this type.


title: Dissipative generators, divisible dynamical maps and Kadison-Schwarz inequality

abstract: We introduce a concept of Kadison-Schwarz divisible dynamical maps. It turns out that it is a natural generalization of the well known CP-divisibility which characterizes quantum Markovian evolution. It is proved that Kadison-Schwarz divisible maps are fully characterized in terms of time-local dissipative generators. Simple qubit evolution illustrates the concept.


title: Intermolecular coupling and fluxional behavior of hydrogen in phase IV

abstract: We performed Raman and infrared (IR) spectroscopy measurements of hydrogen at 295 K up to 280 GPa at an IR synchrotron facility of SSRF. To reach the highest pressure, hydrogen was loaded into toroidal diamond anvils with 40 micrometers central culet. The intermolecular coupling has been determined by concomitant measurements of the IR and Raman vibron modes. In phase IV, we find that the intermolecular coupling is much stronger in the graphene (G) like layer of elongated molecules compared to the Br2 like layer of shortened molecules and it increases with pressure much faster in the G layer compared to the Br2 layer. These heterogeneous lattice dynamical properties are unique features of highly fluxional hydrogen phase IV.


title: Connections between resonance and nonlinearity in swimming performance of a flexible heaving plate

abstract: We investigate the role of resonance in finite-amplitude swimming of a flexible flat plate in a viscous fluid. The role of resonance in performance remains unclear for two reasons: i) a lack of definition of resonance for the fully-coupled fluid-structure interaction system in a viscous flow, and ii) the presence of nonlinear effects, which makes it difficult to disentangle resonant and non-resonant mechanisms in finite-amplitude swimming. We address point i) and provide an unambiguous definition for system resonance by computing global linear stability modes of the fully-coupled fluid-structure interaction system that account for the viscous fluid, the plate, and the coupling between them. We then resolve point ii) by considering high-fidelity nonlinear simulations of systematically increased amplitude. By comparing the results for different amplitudes with one another and with the linear stability modes, we separate linear and/or resonant effects from nonlinear and/or non-resonant effects. Resonant behavior is observed over a wide range of plate stiffnesses, with peaks in trailing-edge motion and thrust occurring near the resonant frequency defined by the global linear analysis. The peaks broaden and weaken with increasing heave amplitude, consistent with an increased damping effect from the fluid. At the same time, non-resonant mechanisms are present at large heave amplitudes. The input power exhibits qualitatively different dynamics at large heave amplitudes compared to smaller heave amplitudes, where resonance dominates. Moreover, leading-edge separation is present for stiff plates at large heave amplitudes, which can drastically alter the performance characteristics from what one would expect through linear predictions.


title: From Short-Range to Contact Interactions in the 1d Bose Gas

abstract: For a system of $N$ bosons in one space dimension with two-body $\delta$-interactions the Hamiltonian can be defined in terms of the usual closed semi-bounded quadratic form. We approximate this Hamiltonian in norm resolvent sense by Schr\"odinger operators with rescaled two-body potentials, and we estimate the rate of this convergence.


title: Homotopy height, grid-major height and graph-drawing height

abstract: It is well-known that both the pathwidth and the outer-planarity of a graph can be used to obtain lower bounds on the height of a planar straight-line drawing of a graph. But both bounds fall short for some graphs. In this paper, we consider two other parameters, the (simple) homotopy height and the (simple) grid-major height. We discuss the relationship between them and to the other parameters, and argue that they give lower bounds on the straight-line drawing height that are never worse than the ones obtained from pathwidth and outer-planarity.


title: Two-harmonic approximation for gravitational waveforms from precessing binaries

abstract: Binary-black-hole orbits precess when the black-hole spins are mis-aligned with the binary's orbital angular momentum. The apparently complicated dynamics can in most cases be described as simple precession of the orbital angular momentum about an approximately fixed total angular momentum. However, the imprint of the precession on the observed gravitational-wave signal is yet more complicated, with a non-trivial time-varying dependence on black-hole dynamics, the binary's orientation and the detector polarization. As a result, it is difficult to predict under which conditions precession effects are measurable in gravitational-wave observations, and their impact on both signal detection and source characterization. We show that the observed waveform can be simplified by decomposing it as a power series in a new precession parameter $b = \tan(\beta/2)$, where $\beta$ is the opening angle between the orbital and total angular momenta. The power series is made up of five harmonics, with frequencies that differ by the binary's precession frequency, and individually do not exhibit amplitude and phase modulations. In many cases, the waveform can be well approximated by the two leading harmonics. In this approximation we are able to obtain a simple picture of precession as caused by the beating of two waveforms of similar frequency. This enables us to identify regions of the parameter space where precession is likely to have an observable effect on the waveform, and to propose a new approach to searching for signals from precessing binaries, based upon the two-harmonic approximation.


title: Large n limit for the product of two coupled random matrices

abstract: For a pair of coupled rectangular random matrices we consider the squared singular values of their product, which form a determinantal point process. We show that the limiting mean distribution of these squared singular values is described by the second component of the solution to a vector equilibrium problem. This vector equilibrium problem is defined for three measures with an upper constraint on the first measure and an external field on the second measure. We carry out the steepest descent analysis for a 4 $\times$ 4 matrix-valued Riemann-Hilbert problem, which characterizes the correlation kernel and is related to mixed type multiple orthogonal polynomials associated with the modified Bessel functions. A careful study of the vector equilibrium problem, combined with this asymptotic analysis, ultimately leads to the aforementioned convergence result for the limiting mean distribution, an explicit form of the associated spectral curve, as well as local Sine, Meijer-G and Airy universality results for the squared singular values considered.


title: Measurement of the 3He Spin-Structure Functions and of Neutron (3He) Spin-Dependent Sum Rules at 0.035<Q^2<0.24 GeV^2

abstract: The spin-structure functions $g_1$ and $g_2$, and the spin-dependent partial cross-section $\sigma_\mathrm{TT}$ have been extracted from the polarized cross-sections differences, $\Delta \sigma_{\parallel}\hspace{-0.06cm}\left(\nu,Q^{2}\right)$ and $\Delta \sigma_{\perp}\hspace{-0.06cm}\left(\nu,Q^{2}\right)$ measured for the $\vec{^\textrm{3}\textrm{He}}(\vec{\textrm{e}},\textrm{e}')\textrm{X}$ reaction, in the E97-110 experiment at Jefferson Lab. Polarized electrons with energies from 1.147 to 4.404 GeV were scattered at angles of 6$^{\circ}$ and 9$^{\circ}$ from a longitudinally or transversely polarized $^{3}$He target. The data cover the kinematic regions of the quasi-elastic, resonance production and beyond. From the extracted spin-structure functions, the first moments $\overline{\Gamma_1}\hspace{-0.06cm}\left(Q^{2}\right)$, $\Gamma_2\hspace{-0.06cm}\left(Q^{2}\right)$ and $I_{\mathrm{TT}}\hspace{-0.06cm}\left(Q^{2}\right)$ are evaluated with high precision for the neutron in the $Q^2$ range from 0.035 to 0.24~GeV$^{2}$. The comparison of the data and the chiral effective field theory predictions reveals the importance of proper treatment of the $\Delta$ degree of freedom for spin observables.


title: Threshold Effects in Heavy Quarkonium Spectroscopy and Decays

abstract: The possible importance of threshold effects in heavy quarkonium spectroscopy is discussed. The starting point is the calculation of the spectrum of heavy quarkonium-like states with self-energy/threshold corrections. Two different approaches are compared: I) The Unquenched Quark Model (UQM); II) A novel coupled-channel model, based on the UQM formalism. The latter provides a possible solution to the long-standing problem of convergence in UQM calculations; it also makes it possible to distinguish between states which are almost pure quarkonia and exotic states, characterized by non-negligible threshold (or continuum) components in their wave functions. The UQM-based coupled-channel model is used to study the $\chi_{\rm c}(2P)$ and $\chi_{\rm b}(3P)$ multiplets: $\chi_{\rm c}(2P)$'s are described as charmonium-like states with non-negligible molecular-type components in their wave functions, $\chi_{\rm b}(3P)$'s as almost pure bottomonia. Other possible applications of the UQM and the UQM-based coupled-channel model formalisms to the calculation of other observables, like the strong decay amplitudes, are also discussed.


title: A simulation model for longitudinal HIV viral load and mother-to-child-transmission in pregnant and postpartum women

abstract: This manuscript describes the model specification, including input and output measures, dependencies, and structure for VLSiM-PPW, a Monte Carlo type model for HIV adherence, viral load and vertical transmission in pregnant and breastfeeding women.


title: The interplay of electron-photon and cavity-environment coupling on the electron transport through a quantum dot system

abstract: We theoretically investigate the characteristics of the electron transport through a two-dimensionala quantum dot system in the $xy$-plane coupled to a photon cavity and a photon reservoir, the environment. The electron-photon coupling, $g_{\gamma}$, and the cavity-reservoir coupling, $\kappa$, are tuned to study the system in the weak, $g_{\gamma} \leq \kappa$, and the strong coupling regime, $g_{\gamma} > \kappa$. An enhancement of current is both seen with increasing $g_{\gamma}$ and $\kappa$ in the weak coupling regime for both $x$- and $y$-polarization of the photon field. This is a direct consequence of the Purcell effect. The current enhancement is due to the contribution of the photon replica states to the electron transport in which intraband transitions play an important role. The properties of the electron transport are drastically changed in the strong coupling regime with an $x$-polarized photon field in which the current is suppressed with increasing $g_{\gamma}$, but it is still increasing with $\kappa$. This behavior of the current is related to the population of purely electronic states and depopulation of photon replica states.


title: Generalized Gaussian Multiterminal Source Coding in the High-Resolution Regime

abstract: A conjectural expression of the asymptotic gap between the rate-distortion function of an arbitrary generalized Gaussian multiterminal source coding system and that of its centralized counterpart in the high-resolution regime is proposed. The validity of this expression is verified when the number of sources is no more than 3.


title: Injectivity and the Law of Demand

abstract: Establishing that a demand mapping is injective is core first step for a variety of methodologies. When a version of the law of demand holds, global injectivity can be checked by seeing whether the demand mapping is constant over any line segments. When we add the assumption of differentiability, we obtain necessary and sufficient conditions for injectivity that generalize classical \cite{gale1965jacobian} conditions for quasi-definite Jacobians.


title: Automated classification of plasma regions using 3D particle energy distributions

abstract: We investigate the properties of the ion sky maps produced by the Dual Ion Spectrometers (DIS) from the Fast Plasma Investigation (FPI). We have trained a convolutional neural network classifier to predict four regions crossed by the MMS on the dayside magnetosphere: solar wind, ion foreshock, magnetosheath, and magnetopause using solely DIS spectrograms. The accuracy of the classifier is >98%. We use the classifier to detect mixed plasma regions, in particular to find the bow shock regions. A similar approach can be used to identify the magnetopause crossings and reveal regions prone to magnetic reconnection. Data processing through the trained classifier is fast and efficient and thus can be used for classification for the whole MMS database.


title: Switchable phonon diodes using nonlinear topological Maxwell lattices

abstract: Recent progress in topological mechanics have revealed a family of Maxwell lattices that exhibit topologically protected floppy edge modes. These modes lead to a strongly asymmetric elastic wave response. In this paper, we show how topological Maxwell lattices can be used to realize non-reciprocal transmission of elastic waves. Our design leverages the asymmetry associated with the availability of topological floppy edge modes and the geometric nonlinearity built in the mechanical systems response to achieve the desired non-reciprocal behavior, which can be further turned into strongly one-way phonon transport via the addition of on-site pinning potentials. Moreover, we show that the non-reciprocal wave transmission can be switched on and off via topological phase transitions, paving the way to the design of cellular metamaterials that can serve as tunable topologically protected phonon diodes.


title: Video Compression With Rate-Distortion Autoencoders

abstract: In this paper we present a a deep generative model for lossy video compression. We employ a model that consists of a 3D autoencoder with a discrete latent space and an autoregressive prior used for entropy coding. Both autoencoder and prior are trained jointly to minimize a rate-distortion loss, which is closely related to the ELBO used in variational autoencoders. Despite its simplicity, we find that our method outperforms the state-of-the-art learned video compression networks based on motion compensation or interpolation. We systematically evaluate various design choices, such as the use of frame-based or spatio-temporal autoencoders, and the type of autoregressive prior. In addition, we present three extensions of the basic method that demonstrate the benefits over classical approaches to compression. First, we introduce semantic compression, where the model is trained to allocate more bits to objects of interest. Second, we study adaptive compression, where the model is adapted to a domain with limited variability, e.g., videos taken from an autonomous car, to achieve superior compression on that domain. Finally, we introduce multimodal compression, where we demonstrate the effectiveness of our model in joint compression of multiple modalities captured by non-standard imaging sensors, such as quad cameras. We believe that this opens up novel video compression applications, which have not been feasible with classical codecs.


title: Exploration of another Sol Lewitt puzzle from Barry Cipra

abstract: At MOVES 2019, Barry Cipra casually introduced a new "Sol Lewitt" puzzle to fellow conference goers. Several brainstorming sessions ensued with Barry, Peter Winkler , Donna Dietz, and other attendees. This paper is to document the puzzle and some insights so others can enjoy and build on this lovely puzzle. (Look for it in an upcoming book by Peter!)


title: On a Fractional Schr\"odinger equation in the presence of Harmonic potential

abstract: In this paper, we establish the existence of ground state solutions for a fractional Schr\"odinger equation in the presence of a harmonic trapping potential. We also address the orbital stability of standing waves. Additionally, we provide interesting numerical results about the dynamics and compare them with other types of Schr\"odinger equations. Our results explain the effect of each term of the Schr\"odinger equation : The fractional power, the power of the nonlinearity and the harmonic potential.


title: Excitation of Tumbling in Phobos and Deimos

abstract: Mass-spring model simulations are used to investigate past spin states of a viscoelastic Phobos and Deimos. From an initially tidally locked state, we find crossing of a spin-orbit resonance with Mars or a mean motion resonance with each other does not excite tumbling in Phobos or Deimos. However, once tumbling our simulations show that these moons can remain so for an extended period and during this time their orbital eccentricity can be substantially reduced. We attribute the tendency for simulations of an initially tumbling viscoelastic body to drop into spin-synchronous state at very low eccentricity to the insensitivity of the tumbling chaotic zone volume to eccentricity. After a tumbling body enters the spin synchronous resonance, it can exhibit long lived non-principal axis rotation and this too can prolong the period of time with enhanced tidally generated energy dissipation. The low orbital eccentricities of Phobos and Deimos could in part be due to spin excitation by nearly catastrophic impacts rather than tidal evolution following orbital resonance excitation.


title: Density functional analysis: The theory of density-corrected DFT

abstract: Density-corrected density functional theory (DC-DFT) is enjoying substantial success in improving semilocal DFT calculations in a wide variety of chemical problems. This paper provides the formal theoretical framework and assumptions for the analysis of any functional minimization with an approximate functional. We generalize DC-DFT to allow comparison of any two functionals, not just comparison with the exact functional. We introduce a linear interpolation between any two approximations, and use the results to analyze global hybrid density functionals. We define the basins of density-space in which this analysis should apply, and give quantitative criteria for when DC-DFT should apply. We also discuss the effects of strong correlation on density-driven error, utilizing the restricted HF Hubbard dimer as an illustrative example.


title: Scalable generation of multi-photon entangled states by active feed-forward and multiplexing

abstract: Multi-photon entangled states of light are key to advancing quantum communication, computation, and metrology. Current methods for building such states are based on stitching together photons from probabilistic sources. The probability of $N$ such sources firing simultaneously decreases exponentially with $N$, imposing severe limitations on the practically achievable number of coincident photons. We tackle this challenge with a quantum interference buffer (QIB), which combines three functionalities: firstly, it stores polarization qubits, enabling the use of polarization-entangled states as resource; secondly, it implements entangled-source multiplexing, greatly enhancing the resource-state generation rates; thirdly, it implements time-multiplexed, on-demand linear optical networks for interfering subsequent states. Using the QIB, we multiplex 21 Bell-state sources and demonstrate a nine-fold enhancement in the generation rate of four-photon GHZ states. The enhancement scales exponentially with the photon number; larger states benefit more strongly. Multiplexed photon entanglement and interference will find diverse applications in quantum photonics, allowing for practical realisations of multi-photon protocols.


title: Conservation of the Flux of Energy in Extra-Galactic Jets

abstract: The conservation of the energy flux in turbulent jets that propagate in the intergalactic medium (IGM) allows us to deduce the law of motion in the classical and relativistic cases. Four types of IGM are considered: constant density, hyperbolic decrease of density, inverse power law decrease of density and a Lane--Emden ($n=5$) profile. The conservation of the relativistic flux for the energy allows us to derive, to the first order, an analytical expression for the velocity. It also allows us to numerically determine the trajectory for the four types of medium. In the case of a Lane--Emden ($n=5$) profile, the back-reaction due to the radiative losses for the trajectory is evaluated both in the classical and the relativistic case. Astrophysical applications are made to the centerline intensity of the synchrotron emission and to the evolution of the magnetic field in the case of the radio-galaxy 3C31.


title: Semi-Supervised Semantic Segmentation with High- and Low-level Consistency

abstract: The ability to understand visual information from limited labeled data is an important aspect of machine learning. While image-level classification has been extensively studied in a semi-supervised setting, dense pixel-level classification with limited data has only drawn attention recently. In this work, we propose an approach for semi-supervised semantic segmentation that learns from limited pixel-wise annotated samples while exploiting additional annotation-free images. It uses two network branches that link semi-supervised classification with semi-supervised segmentation including self-training. The dual-branch approach reduces both the low-level and the high-level artifacts typical when training with few labels. The approach attains significant improvement over existing methods, especially when trained with very few labeled samples. On several standard benchmarks - PASCAL VOC 2012, PASCAL-Context, and Cityscapes - the approach achieves new state-of-the-art in semi-supervised learning.


title: Trustable and Automated Machine Learning Running with Blockchain and Its Applications

abstract: Machine learning algorithms learn from data and use data from databases that are mutable; therefore, the data and the results of machine learning cannot be fully trusted. Also, the machine learning process is often difficult to automate. A unified analytical framework for trustable machine learning has been presented in the literature. It proposed building a trustable machine learning system by using blockchain technology, which can store data in a permanent and immutable way. In addition, smart contracts on blockchain are used to automate the machine learning process. In the proposed framework, a core machine learning algorithm can have three implementations: server layer implementation, streaming layer implementation, and smart contract implementation. However, there are still open questions. First, the streaming layer usually deploys on edge devices and therefore has limited memory and computing power. How can we run machine learning on the streaming layer? Second, most data that are stored on blockchain are financial transactions, for which fraud detection is often needed. However, in some applications, training data are hard to obtain. Can we build good machine learning models to do fraud detection with limited training data? These questions motivated this paper; which makes two contributions. First, it proposes training a machine learning model on the server layer and saving the model with a special binary data format. Then, the streaming layer can take this blob of binary data as input and score incoming data online. The blob of binary data is very compact and can be deployed on edge devices. Second, the paper presents a new method of synthetic data generation that can enrich the training data set. Experiments show that this synthetic data generation is very effective in applications such as fraud detection in financial data.


title: On identifiability and consistency of the nugget in Gaussian spatial process models

abstract: Spatial process models popular in geostatistics often represent the observed data as the sum of a smooth underlying process and white noise. The variation in the white noise is attributed to measurement error, or micro-scale variability, and is called the "nugget". We formally establish results on the identifiability and consistency of the nugget in spatial models based upon the Gaussian process within the framework of in-fill asymptotics, i.e. the sample size increases within a sampling domain that is bounded. Our work extends results in fixed domain asymptotics for spatial models without the nugget. More specifically, we establish the identifiability of parameters in the Mat\'ern covariance function and the consistency of their maximum likelihood estimators in the presence of discontinuities due to the nugget. We also present simulation studies to demonstrate the role of the identifiable quantities in spatial interpolation.


title: Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations

abstract: We address the problem of achieving persistent surveillance over an environment by using energy-constrained unmanned aerial vehicles (UAVs), which are supported by unmanned ground vehicles (UGVs) serving as mobile charging stations. Specifically, we plan the trajectories of all vehicles and the charging schedule of UAVs to minimize the long-term maximum age, where age is defined as the time between two consecutive visits to regions of interest in a partitioned environment. We introduce a scalable planning strategy based on 1) creating UAV- UGV teams, 2) decomposing the environment into optimal partitions that can be covered by any of the teams in a single fuel cycle, 3) uniformly distributing the teams over a cyclic path traversing those partitions, and 4) having the UAVs in each team cover their current partition and be transported to the next partition while being recharged by the UGV. We show some results related to the safety and performance of the proposed strategy.


title: Spacetime and Universal Soft Modes --- Black Holes and Beyond

abstract: Recently, a coherent picture of the quantum mechanics of an evaporating black hole has been presented which reconciles unitarity with the predictions of the equivalence principle. The thermal nature of a black hole as viewed in a distant reference frame arises from entanglement between the hard and soft modes, generated by the chaotic dynamics at the string scale. In this paper, we elaborate on this picture, particularly emphasizing the importance of the chaotic nature of the string (UV) dynamics across all low energy species in generating large (IR) spacetime behind the horizon. Implications of this UV/IR relation include O(1) breaking of global symmetries at the string scale and a self-repair mechanism of black holes restoring the smoothness of their horizons. We also generalize the framework to other systems, including Rindler, de Sitter, and asymptotically flat spacetimes, and find a consistent picture in each case. Finally, we discuss the origin of the particular construction adopted in describing the black hole interior as well as the outside of a de Sitter horizon. We argue that the construction is selected by the quantum-to-classical transition, in particular the applicability of the Born rule in a quantum mechanical world.


title: Nucleon-to-Resonance Form Factors at Large Photon Virtualities

abstract: We present a unified description of elastic and transition form factors involving the nucleon and its resonances; in particular, the $N(1440)$, $\Delta(1232)$ and $\Delta(1600)$. We compare predictions made using a framework built upon a Faddeev equation kernel and interaction vertices that possess QCD-kindred momentum dependence with results obtained using a confining, symmetry-preserving treatment of a vector$\,\otimes\,$vector contact-interaction in a widely-used leading-order (rainbow-ladder) truncation of QCD's Dyson-Schwinger equations. This comparison explains that the contact-interaction framework produces hard form factors, curtails some quark orbital angular momentum correlations within a baryon, and suppresses two-loop diagrams in the elastic and transition electromagnetic currents. Such defects are rectified in our QCD-kindred framework and, by contrasting the results obtained for the same observables in both theoretical schemes, shows those objects which are most sensitive to the momentum dependence of elementary quantities in QCD.


title: Skin Lesion Segmentation and Classification for ISIC 2018 by Combining Deep CNN and Handcrafted Features

abstract: This short report describes our submission to the ISIC 2018 Challenge in Skin Lesion Analysis Towards Melanoma Detection for Task1 and Task 3. This work has been accomplished by a team of researchers at the University of Dayton Signal and Image Processing Lab. Our proposed approach is computationally efficient are combines information from both deep learning and handcrafted features. For Task3, we form a new type of image features, called hybrid features, which has stronger discrimination ability than single method features. These features are utilized as inputs to a decision-making model that is based on a multiclass Support Vector Machine (SVM) classifier. The proposed technique is evaluated on online validation databases. Our score was 0.841 with SVM classifier on the validation dataset.


title: Simple and Effective Noisy Channel Modeling for Neural Machine Translation

abstract: Previous work on neural noisy channel modeling relied on latent variable models that incrementally process the source and target sentence. This makes decoding decisions based on partial source prefixes even though the full source is available. We pursue an alternative approach based on standard sequence to sequence models which utilize the entire source. These models perform remarkably well as channel models, even though they have neither been trained on, nor designed to factor over incomplete target sentences. Experiments with neural language models trained on billions of words show that noisy channel models can outperform a direct model by up to 3.2 BLEU on WMT'17 German-English translation. We evaluate on four language-pairs and our channel models consistently outperform strong alternatives such right-to-left reranking models and ensembles of direct models.


title: Strong Structural Controllability of Signed Networks

abstract: In this paper, we discuss the controllability of a family of linear time-invariant (LTI) networks defined on a signed graph. In this direction, we introduce the notion of positive and negative signed zero forcing sets for the controllability analysis of positive and negative eigenvalues of system matrices with the same sign pattern. A sufficient combinatorial condition that ensures the strong structural controllability of signed networks is then proposed. Moreover, an upper bound on the maximum multiplicity of positive and negative eigenvalues associated with a signed graph is provided.


title: Microparticle transport networks with holographic optical tweezers and cavitation bubbles

abstract: Optical transport networks for active absorbing microparticles are made with holographic optical tweezers. The particles are powered by the optical potentials that make the network and transport themselves via random vapor propelled hops to different traps without the requirement for external forces or microfabricated barriers. The geometries explored for the optical traps are square lattices, circular arrays and random arrays. The degree distribution for the connections or possible paths between the traps are localized like in the case of random networks. The commute times to travel across $n$ different traps scale as $n^2$, in agreement with random walks on connected networks. Once a particle travels the network, others are attracted as a result of the vapor explosions.


title: Point group symmetry of cadmium arsenide thin films determined by convergent beam electron diffraction

abstract: Cadmium arsenide (Cd3As2) is one of the first materials to be discovered to belong to the class of three-dimensional topological semimetals. Reported room temperature crystal structures of Cd3As2 reported differ subtly in the way the Cd vacancies are arranged within its antifluorite-derived structure, which determines if an inversion center is present and if Cd3As2 is a Dirac or Weyl semimetal. Here, we apply convergent beam electron diffraction (CBED) to determine the point group of Cd3As2 thin films grown by molecular beam epitaxy. Using CBED patterns from multiple zone axes, high-angle annular dark-field images acquired in scanning transmission electron microscopy, and Bloch wave simulations, we show that Cd3As2 belongs to the tetragonal 4/mmm point group, which is centrosymmetric. The results show that CBED can distinguish very subtle differences in the crystal structure of a topological semimetal, a capability that will be useful for designing materials and thin film heterostructures with topological states that depend on the presence of certain crystal symmetries.


title: New method of soft modes investigation by Little-Parks effect

abstract: As is known, Little-Parks effect concerned with oscillations of the critical temperature of a superconducting transition was one of the first effects which suggested the existence of Cooper pairing in conventional superconductors. It is shown that in high-temperature superconductors (HTSC) the Little-Parks effect based on bipolaron mechanism which in HTSC is the equivalent of Cooper pairing can be anomalously high. The results obtained can be used as a new method for detecting soft phonon modes in nanostructures on the basis of HTSC. The results can be also used to enhance the critical temperature of a superconducting transition.


title: Disagreeing about Crocs and socks: Creating profoundly ambiguous color displays

abstract: There is an increasing interest in the systematic disagreement about profoundly ambiguous stimuli in the color domain. However, this research has been hobbled by the fact that we could not create such stimuli at will. Here, we describe a design principle that allows the creation of such stimuli and apply this principle to create one such stimulus set - the crocs and socks. Using this set, we probed the color perception of a large sample of observers, showing that these stimuli are indeed categorically ambiguous and that we can predict the percept from fabric priors resulting from experience. We also relate the perception of these crocs to other color-ambiguous stimuli - the dress and the sneaker and conclude that differential priors likely underlie polarized disagreement in cognition more generally.


title: Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

abstract: Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions. Recently, a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects to handle potentially conflicting information, has been discussed in literature, by some of the authors. Two applications emerged that are very relevant: energy management and business process management. We illustrate a set of guide lines to determine how to apply linear defeasible logic to those contexts.


title: Boundary-to-bulk maps for AdS causal wedges and RG flow

abstract: We consider the problem of defining spacelike-supported boundary-to-bulk propagators in AdS$_{d+1}$ down to the unitary bound $\Delta=(d-2)/2$. That is to say, we construct the `smearing functions' $K$ of HKLL but with different boundary conditions where both dimensions $\Delta_+$ and $\Delta_-$ are taken into account. More precisely, we impose Robin boundary conditions, which interpolate between Dirichlet and Neumann boundary conditions and we give explicit expressions for the distributional kernel $K$ with spacelike support. This flow between boundary conditions is known to be captured in the boundary by adding a double-trace deformation to the CFT. Indeed, we explicitly show that using $K$ there is a consistent and explicit map from a Wightman function of the boundary QFT to a Wightman function of the bulk theory. In order to accomplish this we have to study first the microlocal properties of the boundary two-point function of the perturbed CFT and prove its wavefront set satisfies the microlocal spectrum condition. This permits to assert that $K$ and the boundary two-point function can be multiplied as distributions.


title: Abductive Commonsense Reasoning

abstract: Abductive reasoning is inference to the most plausible explanation. For example, if Jenny finds her house in a mess when she returns from work, and remembers that she left a window open, she can hypothesize that a thief broke into her house and caused the mess, as the most plausible explanation. While abduction has long been considered to be at the core of how people interpret and read between the lines in natural language (Hobbs et al., 1988), there has been relatively little research in support of abductive natural language inference and generation. We present the first study that investigates the viability of language-based abductive reasoning. We introduce a challenge dataset, ART, that consists of over 20k commonsense narrative contexts and 200k explanations. Based on this dataset, we conceptualize two new tasks -- (i) Abductive NLI: a multiple-choice question answering task for choosing the more likely explanation, and (ii) Abductive NLG: a conditional generation task for explaining given observations in natural language. On Abductive NLI, the best model achieves 68.9% accuracy, well below human performance of 91.4%. On Abductive NLG, the current best language generators struggle even more, as they lack reasoning capabilities that are trivial for humans. Our analysis leads to new insights into the types of reasoning that deep pre-trained language models fail to perform--despite their strong performance on the related but more narrowly defined task of entailment NLI--pointing to interesting avenues for future research.


title: Quantum Emergence of Linear Particle Accelerator and Anomalous Photon-induced Near-field Electron Microscopy in a Strong Coupling Regime

abstract: Photon-induced near-field electron microscopy (PINEM) is a currently developing spectral approach that characterizes quantum electron-light interactions in electron energy gain/loss spectrum, with symmetrically discretized gains or losses of light quanta ($\hbar \omega$), coupled with a laser induced optical near-field. In this letter, we have demonstrated that Linear Particle Accelerator (LPA) and anomalous PINEM (APINEM) can analytically emerge from PINEM-kind interaction in a strong coupling regime, because of quantum interference of spectral photon sidebands overlap. Furthermore, we also found that the quantum interference in point-particle regime with pre-interaction drift can produce interesting optical spectral focusing and a periodically bunching of energy/momentum distribution that enable us to improve the spectral resolution of electron microscopy, imaging and spectroscopy. These observation of LPA and APINEM in strong laser physics can be of great interests for both theoretical and experimental communities, such as ultrafast electron microscopes, attosecond science and laser-driven accelerators.


title: Conformal Gravity and Transformations in the Symmetric Teleparallel Framework

abstract: Conformal symmetries appear in many parts of physics and play a unique role in exploring the Universe. In this work, we consider the possibility of constructing conformal theories of gravity in the Symmetric Teleparallel Gravity framework, where gravitation is expressed through non-metricity rather than curvature or torsion. We demonstrate that it is possible to formulate a family of conformal theories with second-order field equations and have the metric tensor as the fundamental variable. Moreover, we consider the addition of a scalar field to the theory, and compare the results to the Teleparallel Gravity setting. Finally, we present the scalar-tensor representation of modified symmetric teleparallel theories, and amongst others, we show that there is an interesting sub-case that has the possibility of playing the role of dark energy.


title: Behaviour of flexible superhydrophobic striped surfaces during (electro-)wetting of a sessile drop

abstract: We study here the microscopic deformations of elastic lamellae constituting a superhydrophobic substrate under different wetting conditions of a sessile droplet using electrowetting. The deformation profiles of the lamellae are experimentally evaluated using confocal microscopy. These experimental results are then explained using a variational principle formalism within the framework of linear elasticity. We show that the local deformation profile of a lamella is mainly controlled by the net horizontal component of the capillary forces acting on its top due to the pinned droplet contact line. We also discuss the indirect role of electrowetting in dictating the deformation characteristics of the elastic lamellae. One important conclusion is that the small deflection assumption, which is frequently used in the literature, fails to provide a quantitative description of the experimental results; a full solution of the non-linear governing equation is necessary to describe the experimentally obtained deflection profiles.


title: State-of-the-art Speech Recognition using EEG and Towards Decoding of Speech Spectrum From EEG

abstract: In this paper we first demonstrate continuous noisy speech recognition using electroencephalography (EEG) signals on English vocabulary using different types of state of the art end-to-end automatic speech recognition (ASR) models, we further provide results obtained using EEG data recorded under different experimental conditions. We finally demonstrate decoding of speech spectrum from EEG signals using a long short term memory (LSTM) based regression model and Generative Adversarial Network (GAN) based model. Our results demonstrate the feasibility of using EEG signals for continuous noisy speech recognition under different experimental conditions and we provide preliminary results for synthesis of speech from EEG features.


title: Heuristic Dynamic Programming for Adaptive Virtual Synchronous Generators

abstract: In this paper a neural network heuristic dynamic programing (HDP) is used for optimal control of the virtual inertia based control of grid connected three phase inverters. It is shown that the conventional virtual inertia controllers are not suited for non inductive grids. A neural network based controller is proposed to adapt to any impedance angle. Applying an adaptive dynamic programming controller instead of a supervised controlled method enables the system to adjust itself to different conditions. The proposed HDP consists of two subnetworks, critic network and action network. These networks can be trained during the same training cycle to decrease the training time. The simulation results confirm that the proposed neural network HDP controller performs better than the traditional direct fed voltage and reactive power controllers in virtual inertia control schemes.


title: A Bayesian marked spatial point processes model for basketball shot chart

abstract: The success rate of a basketball shot may be higher at locations where a player makes more shots. For a marked spatial point process, this means that the mark and the intensity are associated. We propose a Bayesian joint model for the mark and the intensity of marked point processes, where the intensity is incorporated in the mark model as a covariate. Inferences are done with a Markov chain Monte Carlo algorithm. Two Bayesian model comparison criteria, the Deviance Information Criterion and the Logarithm of the Pseudo-Marginal Likelihood, were used to assess the model. The performances of the proposed methods were examined in extensive simulation studies. The proposed methods were applied to the shot charts of four players (Curry, Harden, Durant, and James) in the 2017--2018 regular season of the National Basketball Association to analyze their shot intensity in the field and the field goal percentage in detail. Application to the top 50 most frequent shooters in the season suggests that the field goal percentage and the shot intensity are positively associated for a majority of the players. The fitted parameters were used as inputs in a secondary analysis to cluster the players into different groups.


title: Periodic point free homeomorphisms and irrational rotation factors

abstract: We provide a complete characterization of periodic point free homeomorphisms of the $2$-torus admitting irrational circle rotations as topological factors. Given a homeomorphism of the $2$-torus without periodic points and exhibiting uniformly bounded rotational deviations with respect to a rational direction, we show that annularity and the geometry of its non-wandering set are the only possible obstructions for the existence of an irrational circle rotation as topological factor. Through a very precise study of the dynamics of the induced $\rho$-centralized skew-product, we extend and generalize considerably previous results of T. J\"ager [Inventiones Mathematicae, 176 (2009), n. 3, 601-616].


title: Simulations of starspot anomalies within TESS exoplanetary transit light curves -- I. The detection limits of starspot anomalies in TESS light curves

abstract: 20573 simulations of planetary transits around spotted stars were conducted using the transit-starspot model, \texttt{PRISM}. In total 3888 different scenarios were considered using three different host star spectral types, M4V, M1V and K5V. The mean amplitude of the starspot anomaly was measured and compared to the photometric precision of the light curve, to determine if the starspot anomaly's characteristic "blip" was noticeable in the light curve. The simulations show that, starspot anomalies will be observable in TESS 2\,min cadence data. The smallest starspot detectable in TESS transit light curves has a radius of $\approx1900$\,km. The starspot detection limits for the three host stars are: $4900\pm1700$\,km (M4V), $13800\pm6000$\,km (M1V) and $15900\pm6800$\,km (K5V). The smallest change in flux of the starspot ($\Delta F_\mathrm{spot} = 0.00015\pm0.00001$) can be detected when the ratio between the planetary and stellar radii, $k = 0.082\pm0.004$. The results confirm known dependencies between the amplitude of the starspot anomaly and the photometric parameters of the light curve. The results allowed the characterisation of the relationship between the change in flux of the starspot anomaly and the change in flux of the planetary transit for TESS transit light curves.


title: Walls for $G$-Hilb via Reid's Recipe

abstract: The three-dimensional McKay correspondence seeks to relate the geometry of crepant resolutions of Gorenstein $3$-fold quotient singularities $\mathbb{A}^3/G$ with the representation theory of the group $G$. The first crepant resolution studied in depth was the $G$-Hilbert scheme $G\text{-Hilb}\,\mathbb{A}^3$, which is also a moduli space of $\theta$-stable representations of the McKay quiver associated to $G$. As the stability parameter $\theta$ varies, we obtain many other crepant resolutions. In this paper we focus on the case where $G$ is abelian, and compute explicit inequalities for the chamber of the stability space defining $G\text{-Hilb}\,\mathbb{A}^3$ in terms of a marking of exceptional subvarieties of $G\text{-Hilb}\,\mathbb{A}^3$ called Reid's recipe. We further show which of these inequalities define walls. This procedure depends only on the combinatorics of the exceptional fibre and has applications to the birational geometry of other crepant resolutions.


title: Bourgeois contact structures: tightness, fillability and applications

abstract: Given a contact structure on a manifold $V$ together with a supporting open book decomposition, Bourgeois gave an explicit construction of a contact structure on $V \times \mathbb{T}^2$. We prove that all such structures are universally tight in dimension $5$, independent on whether the original contact manifold is itself tight or overtwisted. In arbitrary dimensions, we provide obstructions to the existence of strong symplectic fillings of Bourgeois manifolds. This gives a broad class of new examples of weakly but not strongly fillable contact $5$-manifolds, as well as the first examples of weakly but not strongly fillable contact structures in all odd dimensions. These obstructions are particular instances of more general obstructions for $\mathbb S^1$-invariant contact manifolds. We also obtain a classification result in arbitrary dimensions, namely that the unit cotangent bundle of the $n$-torus has a unique symplectically aspherical strong filling up to diffeomorphism.


title: DeepHuMS: Deep Human Motion Signature for 3D Skeletal Sequences

abstract: 3D Human Motion Indexing and Retrieval is an interesting problem due to the rise of several data-driven applications aimed at analyzing and/or re-utilizing 3D human skeletal data, such as data-driven animation, analysis of sports bio-mechanics, human surveillance etc. Spatio-temporal articulations of humans, noisy/missing data, different speeds of the same motion etc. make it challenging and several of the existing state of the art methods use hand-craft features along with optimization based or histogram based comparison in order to perform retrieval. Further, they demonstrate it only for very small datasets and few classes. We make a case for using a learned representation that should recognize the motion as well as enforce a discriminative ranking. To that end, we propose, a 3D human motion descriptor learned using a deep network. Our learned embedding is generalizable and applicable to real-world data - addressing the aforementioned challenges and further enables sub-motion searching in its embedding space using another network. Our model exploits the inter-class similarity using trajectory cues, and performs far superior in a self-supervised setting. State of the art results on all these fronts is shown on two large scale 3D human motion datasets - NTU RGB+D and HDM05.


title: Examining the Use of Temporal-Difference Incremental Delta-Bar-Delta for Real-World Predictive Knowledge Architectures

abstract: Predictions and predictive knowledge have seen recent success in improving not only robot control but also other applications ranging from industrial process control to rehabilitation. A property that makes these predictive approaches well suited for robotics is that they can be learned online and incrementally through interaction with the environment. However, a remaining challenge for many prediction-learning approaches is an appropriate choice of prediction-learning parameters, especially parameters that control the magnitude of a learning machine's updates to its predictions (the learning rate or step size). To begin to address this challenge, we examine the use of online step-size adaptation using a sensor-rich robotic arm. Our method of choice, Temporal-Difference Incremental Delta-Bar-Delta (TIDBD), learns and adapts step sizes on a feature level; importantly, TIDBD allows step-size tuning and representation learning to occur at the same time. We show that TIDBD is a practical alternative for classic Temporal-Difference (TD) learning via an extensive parameter search. Both approaches perform comparably in terms of predicting future aspects of a robotic data stream. Furthermore, the use of a step-size adaptation method like TIDBD appears to allow a system to automatically detect and characterize common sensor failures in a robotic application. Together, these results promise to improve the ability of robotic devices to learn from interactions with their environments in a robust way, providing key capabilities for autonomous agents and robots.


title: Isotonic Regression Discontinuity Designs

abstract: This paper studies the estimation and inference for the isotonic regression at the boundary point, an object that is particularly interesting and required in the analysis of monotone regression discontinuity designs. We show that the isotonic regression is inconsistent in this setting and derive the asymptotic distributions of boundary corrected estimators. Interestingly, the boundary corrected estimators can be bootstrapped without subsampling or additional nonparametric smoothing which is not the case for the interior point. The Monte Carlo experiments indicate that shape restrictions can improve dramatically the finite-sample performance of unrestricted estimators. Lastly, we apply the isotonic regression discontinuity designs to estimate the causal effect of incumbency in the U.S. House elections.


title: Upper bounds for Fourier decay rates of fractal measures

abstract: For spherical and parabolic averages of the Fourier transform of fractal measures, we obtain new upper bounds on rates of decay by an "intermediate dimension" trick.


title: Hole polaron assisted oxygen ion migration in Li$_2$MnO$_3$

abstract: Oxygen ion migration in Li2MnO3 was systematically studied by first-principles calculations. Hole polaron is found effective to lower the migration barrier of oxygen ion.


title: Power Adaptation for Distributed Detection in Energy Harvesting WSNs with Finite-Capacity Battery

abstract: We consider a wireless sensor network, consisting of N heterogeneous sensors and a fusion center (FC), that is tasked with solving a binary distributed detection problem. Each sensor is capable of harvesting randomly arrived energy and storing it in a finite capacity battery. Sensors are informed of their fading channel states, via a bandwidth-limited feedback channel from the FC. Each sensor has the knowledge of its current battery state and its channel state (quantized channel gain). Our goal is to study how sensors should choose their transmit powers such that J-divergence of the received signal densities under two hypotheses at the FC is maximized, subject to certain (battery and power) constraints. We derive the optimal power map, which depends on the energy arrival rate, the battery capacity, and the battery states probabilities at the steady state. Using the optimal power map, each sensor optimally adapts its transmit power, based on its battery state and its channel state. Our simulation results demonstrate the performance of our proposed power adaptation scheme for different system parameters.


title: Perspectives on the dynamics in a loop quantum gravity effective description of black hole interiors

abstract: In the loop quantum gravity context, there have been numerous proposals to quantize the reduced phase space of a black hole, and develop a classical effective description for its interior which eventually resolves the singularity. However, little progress has been made towards understanding the relation between such quantum/effective minisuperspace models and what would be the spherically symmetric sector of loop quantum gravity. In particular, it is not clear whether one can extract the phenomenological predictions obtained in minisuperspace models, such as the singularity resolution and the spacetime continuation beyond the singularity, based on results in full loop quantum gravity. In this paper, we present an attempt in this direction in the context of Kantowski-Sachs spacetime, through the proposal of two new effective Hamiltonians for the reduced classical model. The first is derived using Thiemann classical identities for the regularized expressions, while the second is obtained as a first approximation of the expectation value of a Hamiltonian operator in loop quantum gravity in a semi-classical state peaked on the Kantowski-Sachs initial data. We then proceed with a detailed analysis of the dynamics they generate and compare them with the Hamiltonian derived in General Relativity and the common effective Hamiltonian proposed in earlier literature.


title: Debiasing Personal Identities in Toxicity Classification

abstract: As Machine Learning models continue to be relied upon for making automated decisions, the issue of model bias becomes more and more prevalent. In this paper, we approach training a text classifica-tion model and optimize on bias minimization by measuring not only the models performance on our dataset as a whole, but also how it performs across different subgroups. This requires measuring per-formance independently for different demographic subgroups and measuring bias by comparing them to results from the rest of our data. We show how unintended bias can be detected using these metrics and how removing bias from a dataset completely can result in worse results.


title: Building a Massive Corpus for Named Entity Recognition using Free Open Data Sources

abstract: With the recent progress in machine learning, boosted by techniques such as deep learning, many tasks can be successfully solved once a large enough dataset is available for training. Nonetheless, human-annotated datasets are often expensive to produce, especially when labels are fine-grained, as is the case of Named Entity Recognition (NER), a task that operates with labels on a word-level. In this paper, we propose a method to automatically generate labeled datasets for NER from public data sources by exploiting links and structured data from DBpedia and Wikipedia. Due to the massive size of these data sources, the resulting dataset -- SESAME Available at https://sesame-pt.github.io -- is composed of millions of labeled sentences. We detail the method to generate the dataset, report relevant statistics, and design a baseline using a neural network, showing that our dataset helps building better NER predictors.


title: Similarity-based Android Malware Detection Using Hamming Distance of Static Binary Features

abstract: In this paper, we develop four malware detection methods using Hamming distance to find similarity between samples which are first nearest neighbors (FNN), all nearest neighbors (ANN), weighted all nearest neighbors (WANN), and k-medoid based nearest neighbors (KMNN). In our proposed methods, we can trigger the alarm if we detect an Android app is malicious. Hence, our solutions help us to avoid the spread of detected malware on a broader scale. We provide a detailed description of the proposed detection methods and related algorithms. We include an extensive analysis to asses the suitability of our proposed similarity-based detection methods. In this way, we perform our experiments on three datasets, including benign and malware Android apps like Drebin, Contagio, and Genome. Thus, to corroborate the actual effectiveness of our classifier, we carry out performance comparisons with some state-of-the-art classification and malware detection algorithms, namely Mixed and Separated solutions, the program dissimilarity measure based on entropy (PDME) and the FalDroid algorithms. We test our experiments in a different type of features: API, intent, and permission features on these three datasets. The results confirm that accuracy rates of proposed algorithms are more than 90% and in some cases (i.e., considering API features) are more than 99%, and are comparable with existing state-of-the-art solutions.