title: ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming

abstract: Recent empirical studies show that the performance of GenProg is not satisfactory, particularly for Java. In this paper, we propose ARJA, a new GP based repair approach for automated repair of Java programs. To be specific, we present a novel lower-granularity patch representation that properly decouples the search subspaces of likely-buggy locations, operation types and potential fix ingredients, enabling GP to explore the search space more effectively. Based on this new representation, we formulate automated program repair as a multi-objective search problem and use NSGA-II to look for simpler repairs. To reduce the computational effort and search space, we introduce a test filtering procedure that can speed up the fitness evaluation of GP and three types of rules that can be applied to avoid unnecessary manipulations of the code. Moreover, we also propose a type matching strategy that can create new potential fix ingredients by exploiting the syntactic patterns of the existing statements. We conduct a large-scale empirical evaluation of ARJA along with its variants on both seeded bugs and real-world bugs in comparison with several state-of-the-art repair approaches. Our results verify the effectiveness and efficiency of the search mechanisms employed in ARJA and also show its superiority over the other approaches. In particular, compared to jGenProg (an implementation of GenProg for Java), an ARJA version fully following the redundancy assumption can generate a test-suite adequate patch for more than twice the number of bugs (from 27 to 59), and a correct patch for nearly four times of the number (from 5 to 18), on 224 real-world bugs considered in Defects4J. Furthermore, ARJA is able to correctly fix several real multi-location bugs that are hard to be repaired by most of the existing repair approaches.


title: Wolf in Sheep's Clothing - The Downscaling Attack Against Deep Learning Applications

abstract: This paper considers security risks buried in the data processing pipeline in common deep learning applications. Deep learning models usually assume a fixed scale for their training and input data. To allow deep learning applications to handle a wide range of input data, popular frameworks, such as Caffe, TensorFlow, and Torch, all provide data scaling functions to resize input to the dimensions used by deep learning models. Image scaling algorithms are intended to preserve the visual features of an image after scaling. However, common image scaling algorithms are not designed to handle human crafted images. Attackers can make the scaling outputs look dramatically different from the corresponding input images. This paper presents a downscaling attack that targets the data scaling process in deep learning applications. By carefully crafting input data that mismatches with the dimension used by deep learning models, attackers can create deceiving effects. A deep learning application effectively consumes data that are not the same as those presented to users. The visual inconsistency enables practical evasion and data poisoning attacks to deep learning applications. This paper presents proof-of-concept attack samples to popular deep-learning-based image classification applications. To address the downscaling attacks, the paper also suggests multiple potential mitigation strategies.


title: Optimal Equilibria for Time-Inconsistent Stopping Problems in Continuous Time

abstract: For an infinite-horizon continuous-time optimal stopping problem under non-exponential discounting, we look for an optimal equilibrium, which generates larger values than any other equilibrium does on the entire state space. When the discount function is log sub-additive and the state process is one-dimensional, an optimal equilibrium is constructed in a specific form, under appropriate regularity and integrability conditions. While there may exist other optimal equilibria, we show that they can differ from the constructed one in very limited ways. This leads to a sufficient condition for the uniqueness of optimal equilibria, up to some closedness condition. To illustrate our theoretic results, comprehensive analysis is carried out for three specific stopping problems, concerning asset liquidation and real options valuation. For each one of them, an optimal equilibrium is characterized through an explicit formula.


title: Fault Tolerance of Random Graphs with respect to Connectivity: Mean-field Approximation for Semi-dense Random Graphs

abstract: The fault tolerance of random graphs with unbounded degrees with respect to connectivity is investigated, which relates to the reliability of wireless sensor networks with unreliable relay nodes. The model evaluates the network breakdown probability that a graph is disconnected after stochastic node removal. To establish a mean-field approximation for the model, we propose the cavity method for finite systems. The analysis enables us to obtain an approximation formula for random graphs with any number of nodes and an arbitrary degree distribution. In addition, its asymptotic analysis reveals that the phase transition occurs in semi-dense random graphs whose average degree grows logarithmically. These results, which are supported by numerical simulations, coincide with the mathematical results, indicating successful predictions by mean-field approximation for unbounded but not dense random graphs.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.IT cs.SI math.IT


title: Berezinskii-Kosterlitz-Thouless transition in lattice Schwinger model with one flavor of Wilson fermion

abstract: We have made a detailed study of the phase structure for lattice Schwinger model with one flavor of Wilson fermion on the $(m,g)$ plane. For numerical investigation, we develop a decorated tensor renormalization method for lattice gauge theories with fermions incorporating the Grassmann tensor renormalization. Our algorithm manifestly preserves rotation and reflection symmetries. We find not only a parity-broken phase but also a Berezinskii-Kosterlitz-Thouless (BKT) transition by evaluating the central charge and an expectation value of a projection operator into the parity-odd subspace. The BKT phase boundaries converge into the degenerated doubler pole $(m,g)=(-2,0)$, while the parity-breaking transition line ends at the physical pole $(m,g)=(0,0)$. In addition, our analysis of scaling dimensions indicates that a conformal field theory with $\mathrm{SU}(2)$ symmetry arises on the line of $m=-2$.


title: Predicting Surgery Duration from a New Perspective: Evaluation from a Database on Thoracic Surgery

abstract: BACKGROUND: Clinical factors influence surgery duration. This study also investigated non-clinical effects. METHODS: 22 months of data about thoracic operations in a large hospital in China were reviewed. Linear and nonlinear regression models were used to predict the duration of the operations. Interactions among predictors were also considered. RESULTS: Surgery duration decreased with the number of operations a surgeon performed in a day (P<0.001). Also, it was found that surgery duration decreased with the number of operations allocated to an OR as long as there were no more than four surgeries per day in the OR (P<0.001), but increased with the number of operations if it was more than four (P<0.01). The duration of surgery was affected by its position in a sequence of surgeries performed by a surgeon. In addition, surgeons exhibited different patterns of the effects of surgery type for surgeries in different positions in the day. CONCLUSIONS: Surgery duration was affected not only by clinical effects but also some non-clinical effects. Scheduling and allocation decisions significantly influenced surgery duration.


title: Interference Steering to Manage Interference

abstract: To enable densely deployed base stations (BSs) or access points (APs) to serve an increasing number of users and provide diverse mobile services, we need to improve spectrum utilization in wireless communication networks. Although spectral efficiency (SE) can be enhanced via smart and dynamic resource allocation, interference has become a major impediment in improving SE. There have been numerous interference management (IM) proposals at the interfering transmitter or the victim transmitter/receiver separately or cooperatively. Moreover, the existing IM schemes rely mainly on the use of channel state information (CSI). However, in some communication scenarios, the option to adjust the interferer is not available, and, in the case of downlink transmission, it is always difficult or even impossible for the victim receiver to acquire necessary information for IM. Based on the above observations, we first propose a novel IM technique, called interference steering (IS). By making use of both CSI w.r.t. and data carried in the interfering signal, IS generates a signal to modify the spatial feature of the original interference, so that the steered interference at the victim receiver is orthogonal to its intended signal. We then apply IS to an infrastructurebased enterprise wireless local area network (WLAN) in which the same frequency band is reused by adjacent basic service sets (BSSs) with overlapping areas. With IS, multiple nearby APs could simultaneously transmit data on the same channel to their mobile stations (STAs), thus enhancing spectrum reuse. Our in-depth simulation results show that IS significantly improves network SE over existing IM schemes.


title: Multi-dimensional Graph Fourier Transform

abstract: Many signals on Cartesian product graphs appear in the real world, such as digital images, sensor observation time series, and movie ratings on Netflix. These signals are "multi-dimensional" and have directional characteristics along each factor graph. However, the existing graph Fourier transform does not distinguish these directions, and assigns 1-D spectra to signals on product graphs. Further, these spectra are often multi-valued at some frequencies. Our main result is a multi-dimensional graph Fourier transform that solves such problems associated with the conventional GFT. Using algebraic properties of Cartesian products, the proposed transform rearranges 1-D spectra obtained by the conventional GFT into the multi-dimensional frequency domain, of which each dimension represents a directional frequency along each factor graph. Thus, the multi-dimensional graph Fourier transform enables directional frequency analysis, in addition to frequency analysis with the conventional GFT. Moreover, this rearrangement resolves the multi-valuedness of spectra in some cases. The multi-dimensional graph Fourier transform is a foundation of novel filterings and stationarities that utilize dimensional information of graph signals, which are also discussed in this study. The proposed methods are applicable to a wide variety of data that can be regarded as signals on Cartesian product graphs. This study also notes that multivariate graph signals can be regarded as 2-D univariate graph signals. This correspondence provides natural definitions of the multivariate graph Fourier transform and the multivariate stationarity based on their 2-D univariate versions.


title: Cyclic Sieving of Matchings

abstract: The cyclic sieving phenomenon (CSP) was introduced by Reiner, Stanton, and White to study combinatorial structures with actions of cyclic groups. The crucial step is to find a polynomial, for example a q-analog, that satisfies the CSP conditions for an action. This polynomial will give us a lot of information about the symmetry and structure of the set under the action. In this paper, we study the cyclic sieving phenomenon of the cyclic group $C_{2n}$ acting on $P_{n,k}$, which is the set of matchings of $2n$ points on a circle with $k$ crossings. The noncrossing matchings ($k=0$) was recently studied as a Catalan object. In this paper, we study more general cases, the matchings with more number of crossings. We prove that there exists $q$-analog polynomials $f_{n,k}(q)$ such that $(P_{n,k},f_{n,k},C_{2n})$ exhibits the cyclic sieving phenomenon for $k=1,2,3$. In the proof, we also introduce an efficient representation of the elements in $P_{n,k}$, which helps us to understand the symmetrical structure of the set.


title: Hankel determinants for a perturbed Laguerre weight and Painleve V equation

abstract: In this paper, we study Hankel determinants generated from a perturbed Laguerre weight function, Under the double scaling scheme, we give the uniform asymptotic approximations of Hankel determinants in terms of a solution of a third-order nonlinear differential equation, which is equivalent to a particular Painleve V equation. In fact, this Painleve V equation is equivalent to the general Painleve III equation. The asymptotic approximations of the leading coefficients and the recurrence coefficients for the corresponding orthogonal polynomials also involve the painleve V equation. The asymptotic analysis is based on our earlier results by using the Deift-Zhou nonlinear steepest descent method.


title: Indoor Sound Source Localization with Probabilistic Neural Network

abstract: It is known that adverse environments such as high reverberation and low signal-to-noise ratio (SNR) pose a great challenge to indoor sound source localization. To address this challenge, in this paper, we propose a sound source localization algorithm based on probabilistic neural network, namely Generalized cross correlation Classification Algorithm (GCA). Experimental results for adverse environments with high reverberation time T60 up to 600ms and low SNR such as -10dB show that, the average azimuth angle error and elevation angle error by GCA are only 4.6 degrees and 3.1 degrees respectively. Compared with three recently published algorithms, GCA has increased the success rate on direction of arrival estimation significantly with good robustness to environmental changes. These results show that the proposed GCA can localize accurately and robustly for diverse indoor applications where the site acoustic features can be studied prior to the localization stage.


title: Long-time asymptotic behavior for the complex short pulse equation

abstract: In this paper, we consider the initial value problem for the complex short pulse equation with a Wadati-Konno-Ichikawa type Lax pair. We show that the solution to the initial value problem has a parametric expression in terms of the solution of $2\times 2$-matrix Riemann-Hilbert problem, from which an implicit one-soliton solution is obtained on the discrete spectrum. While on the continuous spectrum we further establish the explicit long-time asymptotic behavior of the non-soliton solution by using Deift-Zhou nonlinear steepest descent method.


title: Acoustic Denial of Service Attacks on HDDs

abstract: Among storage components, hard disk drives (HDDs) have become the most commonly-used type of non-volatile storage due to their recent technological advances, including, enhanced energy efficacy and significantly-improved areal density. Such advances in HDDs have made them an inevitable part of numerous computing systems, including, personal computers, closed-circuit television (CCTV) systems, medical bedside monitors, and automated teller machines (ATMs). Despite the widespread use of HDDs and their critical role in real-world systems, there exist only a few research studies on the security of HDDs. In particular, prior research studies have discussed how HDDs can potentially leak critical private information through acoustic or electromagnetic emanations. Borrowing theoretical principles from acoustics and mechanics, we propose a novel denial-of-service (DoS) attack against HDDs that exploits a physical phenomenon, known as acoustic resonance. We perform a comprehensive examination of physical characteristics of several HDDs and create acoustic signals that cause significant vibrations in HDD's internal components. We demonstrate that such vibrations can negatively influence the performance of HDDs embedded in real-world systems. We show the feasibility of the proposed attack in two real-world case studies, namely, personal computers and CCTVs.


title: Diffusion with finite-helicity field tensor: a new mechanism of generating heterogeneity

abstract: Topological constraints on a dynamical system often manifest themselves as breaking of the Hamiltonian structure; well-known examples are non-holonomic constraints on Lagrangian mechanics. The statistical mechanics under such topological constraints is the subject of the present study. Conventional arguments based on phase spaces, Jacobi identity, invariant measure, or the H theorem are no longer applicable, since all these notions stem from the symplectic geometry underlying canonical Hamiltonian systems. Remembering that Hamiltonian systems are endowed with field tensors (canonical 2-forms) that have zero helicity, our mission is to extend the scope toward the class of systems governed by finite-helicity field tensors. Here we introduce a new class of field tensors that are characterized by Beltrami vectors. We prove an H theorem for this Beltrami class. The most general class of energy-conserving systems are non-Beltrami, for which we identify the "field charge" that prevents the entropy to maximize, resulting in creation of heterogeneous distributions. The essence of the theory can be delineated by classifying three-dimensional dynamics. We then generalize to arbitrary (finite) dimensions.


title: Caught in the rhythm II: Competitive alignments of satellites with their inner halo and central galaxy

abstract: The anisotropic distribution of satellites around the central galaxy of their host halo is well-documented. However the relative impact of baryons and dark matter in shaping this distribution is still debated. Using the simulation Horizon-AGN, the angular distribution of satellite galaxies with respect to their central counterpart and halo is quantified. Below one Rvir, satellites cluster more strongly in the plane of the central, rather than merely tracing the shape of their host halo. This is due to the increased isotropy of inner haloes acquired through their inside-out assembly in vorticity-rich flows along the cosmic web. While the effect of centrals decreases with distance, halos' triaxiality increases, impacting more and more the satellite's distribution. Effects become comparable just outside one virial radius. Above this scale, the filamentary infall also impacts the satellites distribution, dominating above two virial radii. The central's morphology plays a governing role: the alignment w.r.t. the central plane is four times stronger in haloes hosting stellar discs than in spheroids. But the impact of the galactic plane decreases for lower satellite-to-central mass ratios, suggesting this might not hold for dwarf satellites of the Local group. The orientation of the Milky-Way's satellites traces their cosmic filament, their level of coplanarity is consistent with systems of similar mass and cosmic location in Horizon-AGN. However, the strong impact of galactic planes in massive groups and clusters bounds the likelihood of finding a relaxed region where satellites can be used to infer halo shape. The minor-to-major axis ratios for haloes with log(M0/Msun)>13.5 is underestimated by 10%. This error soars quickly to 30-40% for individual halo measurements.


title: Quantum secret sharing and Mermin operator

abstract: Quantum secret sharing is well known as a method for players to share a classical secret for secret sharing in quantum mechanical ways. Most of the results associated with quantum secret sharing are based on pure multipartite entangled states. In reality, however, it is difficult for players to share a pure entangled state, although they can share a state close to the state. Thus, it is necessary to study how to perform the quantum secret sharing based on a general multipartite state. We here present a quantum secret sharing protocol on an $N$-qubit state close to a pure $N$-qubit Greenberger-Horne-Zeilinger state. In our protocol, $N$ players use an inequality derived from the Mermin inequality to check secure correlation of classical key bits for secret sharing. We show that if our inequality holds then every legitimate player can have key bits with positive key rate. Therefore, for sufficiently many copies of the state, the players can securely share a classical secret with high probability by means of our protocol.


title: A family of complex nilmanifolds with infinitely many real homotopy types

abstract: We find a one-parameter family of non-isomorphic nilpotent Lie algebras $\mathfrak{g}_a$, with $a \in [0,\infty)$, of real dimension eight with (strongly non-nilpotent) complex structures. By restricting $a$ to take rational values, we arrive at the existence of infinitely many real homotopy types of $8$-dimensional nilmanifolds admitting a complex structure. Moreover, balanced Hermitian metrics and generalized Gauduchon metrics on such nilmanifolds are constructed.


title: Low regularity solutions for gravity water waves

abstract: We prove local well-posedness for the gravity water waves equations without surface tension, with initial velocity field in $H^s$, $s > \frac{d}{2} + 1 - \mu$, where $\mu = \frac{1}{10}$ in the case $d = 1$ and $\mu = \frac{1}{5}$ in the case $d \geq 2$, extending previous results of Alazard-Burq-Zuily. The improvement primarily arises in two areas. First, we perform an improved analysis of the regularity of the change of variables from Eulerian to Lagrangian coordinates. Second, we perform a time-interval length optimization of the localized Strichartz estimates.


title: Geometrical Insights for Implicit Generative Modeling

abstract: Learning algorithms for implicit generative models can optimize a variety of criteria that measure how the data distribution differs from the implicit model distribution, including the Wasserstein distance, the Energy distance, and the Maximum Mean Discrepancy criterion. A careful look at the geometries induced by these distances on the space of probability measures reveals interesting differences. In particular, we can establish surprising approximate global convergence guarantees for the $1$-Wasserstein distance,even when the parametric generator has a nonconvex parametrization.


title: Tilings of hyperbolic $(2\times n)$-board with colored squares and dominoes

abstract: Several articles deal with tilings with squares and dominoes of the well-known regular square mosaic in Euclidean plane, but not any with the hyperbolic regular square mosaics. In this article, we examine the tiling problem with colored squares and dominoes of one type of the possible hyperbolic generalization of $(2\times n)$-board.


title: Solutions of fractional logistic equations by Euler's numbers

abstract: In this paper, we solve in the convergence set, the fractional logistic equation making use of Euler's numbers. To our knowledge, the answer is still an open question. The key point is that the coefficients can be connected with Euler's numbers, and then they can be explicitly given. The constrained of our approach is that the formula is not valid outside the convergence set, The idea of the proof consists to explore some analogies with logistic function and Euler's numbers, and then to generalize them in the fractional case.


title: Standard Model Effective Field Theory: Integrating out Neutralinos and Charginos in the MSSM

abstract: We apply the covariant derivative expansion method to integrate out the neutralinos and charginos in the minimal supersymmetric Standard Model. The results are presented as set of pure bosonic dimension-6 operators in the Standard Model effective field theory. Nontrivial chirality dependence in fermionic covariant derivative expansion are discussed carefully. The results are checked by computing the $h\gamma\gamma$ effective coupling and the electroweak oblique parameters using the Standard Model effective field theory with our effective operators and direct loop calculation. In global fitting the proposed lepton collider constraint projections, special phenomenological emphasis is paid to the gaugino mass unification scenario ($M_2\simeq2M_1$) and anomaly mediation scenario ($M_1\simeq3.3M_2$). These results show that the precision measurement experiments in future lepton colliders will provide a very useful complementary job in probing the electroweakino sector, in particular, filling the gap of the soft lepton plus missing $E_T$ channel search left by the traditional collider, where the neutralino as the lightest supersymmetric particle is very degenerated with the next-to-lightest chargino/neutralino.


title: Generating all 36,864 Four-Color Adinkras via Signed Permutations and Organizing into $\ell$- and $\tilde{\ell}$-Equivalence Classes

abstract: Recently, all 1,358,954,496 values of the gadget between the 36,864 adinkras with four colors, four bosons, and four fermions have been computed. In this paper, we further analyze these results in terms of $BC_3$, the signed permutation group of three elements, and $BC_4$, the signed permutation group of four elements. It is shown how all 36,864 adinkras can be generated via $BC_4$ boson $\times$ $BC_3$ color transformations of two quaternion adinkras that satisfy the quaternion algebra. An adinkra inner product has been used for some time, known as the \emph{gadget}, which is used to distinguish adinkras. We~show how 96 equivalence classes of adinkras that are based on the gadget emerge in terms of $BC_3$ and $BC_4$. We also comment on the importance of the gadget as it relates to separating out dynamics in terms of K\"ahler-like potentials. Thus, on the basis of the complete analysis of the supersymmetrical representations achieved in the preparatory first four sections, the final comprehensive achievement of this work is the construction of the universal $BC_4$ non-linear $\sigma$-model.


title: Impact of complex adatom-induced interactions on quantum spin Hall phases

abstract: Adsorbate engineering offers a seemingly simple approach to tailor spin-orbit interactions in atomically thin materials and thus to unlock the much sought-after topological insulating phases in two dimensions. However, the observation of an Anderson topological transition induced by heavy adatoms has proved extremely challenging despite substantial experimental efforts. Here, we present a multi-scale approach combining advanced first-principles methods and accurate single-electron descriptions of adatom-host interactions using graphene as a prototypical system. Our study reveals a surprisingly complex structure in the interactions mediated by random adatoms, including hitherto neglected hopping processes leading to strong valley mixing. We argue that the unexpected intervalley scattering strongly impacts the ground state at low adatom coverage, which would provide a compelling explanation for the absence of a topological gap in recent experimental reports. Our conjecture is confirmed by real-space Chern number calculations and large-scale quantum transport simulations in disordered samples. This resolves an important controversy and suggests that a detectable topological gap can be achieved by engineering the spatial range of spin-orbit interactions.


title: Electrical spin injection, transport, and detection in graphene-hexagonal boron nitride van der Waals heterostructures: progress and perspectives

abstract: The current research in graphene spintronics strives for achieving a long spin lifetime, and efficient spin injection and detection in graphene. In this article, we review how hexagonal boron nitride (hBN) has evolved as a crucial substrate, as an encapsulation layer, and as a tunnel barrier for manipulation and control of spin lifetimes and spin injection/detection polarizations in graphene spin valve devices. First, we give an overview of the challenges due to conventional SiO$_2$ substrate for spin transport in graphene followed by the progress made in hBN based graphene heterostructures. Then we discuss in detail the shortcomings and developments in using conventional oxide tunnel barriers for spin injection into graphene followed by introducing the recent advancements in using the crystalline single/bi/tri-layer hBN tunnel barriers for an improved spin injection and detection which also can facilitate two-terminal spin valve and Hanle measurements, at room temperature, and are of technological importance. A special case of bias induced spin polarization of contacts with exfoliated and chemical vapour deposition (CVD) grown hBN tunnel barriers is also discussed. Further, we give our perspectives on utilizing graphene-hBN heterostructures for future developments in graphene spintronics.


title: Shadowing in the low energy photonuclear reaction

abstract: The photonuclear reaction in the multi-GeV region occurs because of the electromagnetic and hadronic interaction. The later originates due to the hadronic fluctuation, i.e., vector meson, of the photon. The total cross section of the reaction is shadowed because of the vector meson nucleus (hadronic) interaction. To estimate it quantitatively, the cross section of the photonuclear reaction was calculated in the low energy region ($\sim 1-3$ GeV) using simple vector meson dominance (SVMD) model, i.e., the low lying vector mesons ($\rho^0$, $\omega$ and $\phi$ mesons) were considered. The nuclear shadowing is reinvestigated using generalized vector meson (GVMD) model, where the higher $\rho$ meson effective state ($\rho^\prime$ meson) is taken into account along with the low lying vector mesons. Using GVMD model, the shadowing and the total cross section of the photonuclear reaction are calculated in the above mentioned energy region. The calculated results have been compared with the measured spectra.


title: Exponential collocation methods for conservative or dissipative systems

abstract: In this paper, we propose and analyse a novel class of exponential collocation methods for solving conservative or dissipative systems based on exponential integrators and collocation methods. It is shown that these novel methods can be of arbitrarily high order and exactly or nearly preserve first integrals or Lyapunov functions. We also consider order estimates of the new methods. Furthermore, we explore and discuss the application of our methods in important stiff gradient systems, and it turns out that our methods are unconditionally energy-diminishing and strongly damped even for very stiff gradient systems. Practical examples of the new methods are derived and the efficiency and superiority are confirmed and demonstrated by three numerical experiments including a nonlinear Schr\"{o}dinger equation. As a byproduct of this paper, arbitrary-order trigonometric/RKN collocation methods are also presented and analysed for second-order highly oscillatory/general systems. The paper is accompanied by numerical results that demonstrate the great potential of this work.


title: A birational embedding with two Galois points for certain Artin-Schreier curves

abstract: We show that two curves of Artin-Schreier type have a birational embedding into a projective plane with two Galois points. As a consequence, all curves with large automorphism groups in the classification list by Henn have a birational embedding with two Galois points.


title: Ruelle-Pollicott Resonances for Manifolds with Hyperbolic Cusps

abstract: We present new methods to construct a Ruelle-Pollicott spectrum for the geodesic flow on manifolds with strictly negative curvature and a finite number of hyperbolic cusps.


title: A Quantity Characterising Variation of Observed Magnetic Twist of Solar Active Regions

abstract: An alternative parameter $R_{J_z}$ is introduced as the ratio of one of two kinds of opposite-sign current to the total current and investigate the relationship between the quantity and the hemispheric sign rule of helicity (HSR) that is established by a series of previous statistical studies. The classification of current in each hemisphere is according to the following rule: If the product of the current and the corresponding longitudinal field component contributes a consistent sign with reference to the HSR, it is called "HSR-compliant" current, or else it is called "HSR-noncompliant" current. Firstly, the consistence between the butterfly diagram of the $R_{J_z}$ and the current helicity was obtained in a statistical study. Active regions with $R_{J_z}$ smaller than 0.5 tend to obey the HSR whereas those with $R_{J_z}$ greater than 0.5 tend to disobey the HSR. The "HSR-compliant" current systems have 60\% probability of realization compared to 40\% of "HSR-noncompliant" current systems. Overall, the HSR is violated for active regions in which the "HSR-noncompliant" current is greater than the "HSR-compliant" current. Secondly, the $R_{J_z}$ parameter was subsequently used to study the evolution of current systems in the case analyses of flare-productive active regions NOAA AR 11158 and 11283. It is found that there were "$R_{J_z}$-quasi-stationary" phase that is relatively flare quiescent and "$R_{J_z}$-dynamic" phase that is covered by the occurrence of large flares.


title: DropMax: Adaptive Variational Softmax

abstract: We propose DropMax, a stochastic version of softmax classifier which at each iteration drops non-target classes according to dropout probabilities adaptively decided for each instance. Specifically, we overlay binary masking variables over class output probabilities, which are input-adaptively learned via variational inference. This stochastic regularization has an effect of building an ensemble classifier out of exponentially many classifiers with different decision boundaries. Moreover, the learning of dropout rates for non-target classes on each instance allows the classifier to focus more on classification against the most confusing classes. We validate our model on multiple public datasets for classification, on which it obtains significantly improved accuracy over the regular softmax classifier and other baselines. Further analysis of the learned dropout probabilities shows that our model indeed selects confusing classes more often when it performs classification.


title: Exploring Models and Data for Remote Sensing Image Caption Generation

abstract: Inspired by recent development of artificial satellite, remote sensing images have attracted extensive attention. Recently, noticeable progress has been made in scene classification and target detection.However, it is still not clear how to describe the remote sensing image content with accurate and concise sentences. In this paper, we investigate to describe the remote sensing images with accurate and flexible sentences. First, some annotated instructions are presented to better describe the remote sensing images considering the special characteristics of remote sensing images. Second, in order to exhaustively exploit the contents of remote sensing images, a large-scale aerial image data set is constructed for remote sensing image caption. Finally, a comprehensive review is presented on the proposed data set to fully advance the task of remote sensing caption. Extensive experiments on the proposed data set demonstrate that the content of the remote sensing image can be completely described by generating language descriptions. The data set is available at https://github.com/201528014227051/RSICD_optimal


title: Koszul complex over skew polynomial rings

abstract: We construct a Koszul complex in the category of left skew polynomial rings associated to a flat endomorphism that provides a finite free resolution of an ideal generated by a Koszul regular sequence.


title: Linear or linearizable first-order delay ordinary differential equations and their Lie point symmetries

abstract: A previous article was devoted to an analysis of the symmetry properties of a class of first-order delay ordinary differential systems (DODSs). Here we concentrate on linear DODSs. They have infinite-dimensional Lie point symmetry groups due to the linear superposition principle. Their symmetry algebra always contains a two-dimensional {sub}algebra realized by linearly connected vector fields. We identify all classes of linear first-order DODSs that have additional symmetries, not due to linearity alone. We present representatives of each class. These additional symmetries are then used to construct exact analytical particular solutions using symmetry reduction.


title: On sensitivity limitations of a dichromatic optical detection of a classical mechanical force

abstract: We apply the strategy of the back action evading measurement of a quadrature component of mechanical motion of a test mass to detection of a classical force acting on the mass (Science, 209, (1980) 547) and study both classical and quantum limitations of the technique. We are considering a resonant displacement transducer interrogated with a dichromatic optical pump as a model system in this study. The transducer is represented by a Fabry Perot cavity with a totally reflecting movable end mirror the resonant force of interest acts upon. The cavity is pumped with two coherent optical carriers equally detuned from one of the cavity resonances. We show that the quantum back action cannot be completely excluded from the measurement result due to the dynamic instability of the opto-mechanical system that either limits the allowable power of the optical pump or calls for introducing an asymmetry to the pump configuration destroying the quantum nondemolition nature of the measurement.


title: A Grothendieck-Lefschetz theorem for equivariant Picard groups

abstract: We prove a Grothendieck-Lefschetz theorem for equivariant Picard groups of non-singular varieties with finite group actions.


title: Methodological Framework for Determining the Land Eligibility of Renewable Energy Sources

abstract: The quantity and distribution of land which is eligible for renewable energy sources is fundamental to the role these technologies will play in future energy systems. As it stands, however, the current state of land eligibility investigation is found to be insufficient to meet the demands of the future energy modelling community. Three key areas are identified as the predominate causes of this; inconsistent criteria definitions, inconsistent or unclear methodologies, and inconsistent dataset usage. To combat these issues, a land eligibility framework is developed and described in detail. The validity of this framework is then shown via the recreation of land eligibility results found in the literature, showing strong agreement in the majority of cases. Following this, the framework is used to perform an evaluation of land eligibility criteria within the European context whereby the relative importance of commonly considered criteria are compared.


title: Information and complexity measures in the interface of a metal and a superconductor

abstract: Fisher information, Shannon information entropy and Statistical Complexity are calculated for the interface of a normal metal and a superconductor, as a function of the temperature for several materials. The order parameter $\Psi({\bf r})$ derived from the Ginzburg-Landau theory is used as an input together with experimental values of critical transition temperature $T_c$ and the superconducting coherence length $\xi_0$. Analytical expressions are obtained for information and complexity measures. Thus $T_c$ is directly related in a simple way with disorder and complexity. An analytical relation is found of the Fisher Information with the energy profile of superconductivity i.e. the ratio of surface free energy and the bulk free energy. We verify that a simple relation holds between Shannon and Fisher information i.e. a decomposition of a global information quantity (Shannon) in terms of two local ones (Fisher information), previously derived and verified for atoms and molecules by Liu et al. Finally, we find analytical expressions for generalized information measures like the Tsallis entropy and Fisher information. We conclude that the proper value of the non-extensivity parameter $q\simeq 1$, in agreement with previous work using a different model, where $q\simeq 1.005$.


title: Momentum correlations as signature of sonic Hawking radiation in Bose-Einstein condensates

abstract: We study the two-body momentum correlation signal in a quasi one dimensional Bose-Einstein condensate in the presence of a sonic horizon. We identify the relevant correlation lines in momentum space and compute the intensity of the corresponding signal. We consider a set of different experimental procedures and identify the specific issues of each measuring process. We show that some inter-channel correlations, in particular the Hawking quantum-partner one, are particularly well adapted for witnessing quantum non-separability, being resilient to the effects of temperature and/or quantum quenches.


title: The role of self-touch experience in the formation of the self

abstract: The human self has many facets: there is the physical body and then there are different concepts or representations supported by processes in the brain such as the ecological, social, temporal, conceptual, and experiential self. The mechanisms of operation and formation of the self are, however, largely unknown. The basis is constituted by the ecological or sensorimotor self that deals with the configuration of the body in space and its action possibilities. This self is prereflective, prelinguistic, and initially perhaps even largely independent of visual inputs. Instead, somatosensory (tactile and proprioceptive) information both before and after birth may play a key part. In this paper, we propose that self-touch experience may be a fundamental mechanisms to bootstrap the formation of the sensorimotor self and perhaps even beyond. We will investigate this from the perspectives of phenomenology, developmental psychology, and neuroscience. In light of the evidence from fetus and infant development, we will speculate about the possible mechanisms that may drive the formation of first body representations drawing on self-touch experience.


title: Memory-induced mechanism for self-sustaining activity in networks

abstract: We study a mechanism of activity sustaining on networks inspired by a well-known model of neuronal dynamics. Our primary focus is the emergence of self-sustaining collective activity patterns, where no single node can stay active by itself, but the activity provided initially is sustained within the collective of interacting agents. In contrast to existing models of self-sustaining activity that are caused by (long) loops present in the network, here we focus on tree--like structures and examine activation mechanisms that are due to temporal memory of the nodes. This approach is motivated by applications in social media, where long network loops are rare or absent. Our results suggest that under a weak behavioral noise, the nodes robustly split into several clusters, with partial synchronization of nodes within each cluster. We also study the randomly-weighted version of the models where the nodes are allowed to change their connection strength (this can model attention redistribution), and show that it does facilitate the self-sustained activity.


title: Homotopy (Pre-)Derivators of Cofibration Categories and Quasi-Categories

abstract: We prove that the homotopy prederivator of a cofibration category is equivalent to the homotopy prederivator of its associated quasi-category of frames, as introduced by Szumi\l{}o. We use this comparison result to deduce various abstract properties of the obtained prederivators.


title: Interference Exploitation Precoding Made Practical: Closed-Form Solutions with Optimal Performance

abstract: In this paper, we propose closed-form precoding schemes with optimal performance for constructive interference (CI) exploitation in the multiuser multiple-input single-output (MU-MISO) downlink. We first consider an optimization where we maximize the distance between the constructive region and the detection thresholds. The cases of both strict and non-strict phase rotation are considered and can further be formulated as convex optimization problems. For optimization with strict phase rotation, we mathematically derive the optimal beamforming structure with Lagrangian and Karush-Kuhn-Tucker (KKT) conditions. By formulating its dual problem, the optimization problem is further shown to be equivalent to a quadratic programming (QP) over a simplex, which can be solved more efficiently. We then extend our analysis to the case of non-strict phase rotation, where it is mathematically shown that a K-dimensional optimization for non-strict phase rotation is equivalent to a 2K-dimensional optimization for strict phase rotation in terms of the problem formulation. The connection with the conventional zero-forcing (ZF) precoding is also discussed. Based on the above analysis, we further propose an iterative closed-form scheme to obtain the optimal beamforming matrix, where within each iteration a closed-form solution can be obtained. Numerical results validate our analysis and the optimality of the proposed iterative scheme, and further show that the proposed closed-form scheme is more efficient than the conventional QP algorithms with interior-point methods, which motivates the use of CI beamforming in practical wireless systems.


title: Evidence of a truncated spectrum in the angular correlation function of the cosmic microwave background

abstract: The lack of large-angle correlations in the fluctuations of the cosmic microwave background (CMB) conflicts with predictions of slow-roll inflation. But though probabilities (< 0.24%) for the missing correlations disfavor the conventional picture at > 3 sigma, factors not associated with the model itself may be contributing to the tension. Here we aim to show that the absence of large-angle correlations is best explained with the introduction of a non-zero minimum wavenumber k_min for the fluctuation power spectrum P(k). We assume that quantum fluctuations were generated in the early Universe with a well-defined power spectrum P(k), though with a cutoff k_min not equal to 0. We then re-calculate the angular correlation function of the CMB and compare it with Planck observations. The Planck 2013 data rule out a zero k_min at a confidence level exceeding 8 sigma. Whereas purely slow-roll inflation would have stretched all fluctuations beyond the horizon, producing a P(k) with k_min=0---and therefore strong correlations at all angles---a k_min > 0 would signal the presence of a maximum wavelength at the time (t_dec) of decoupling. This argues against the basic inflationary paradigm---perhaps even suggesting non-inflationary alternatives---for the origin and growth of perturbations in the early Universe. In at least one competing cosmology, the R_h=ct universe, the inferred k_min corresponds to the gravitational radius at t_dec.


title: Blended Mastery Learning in Mathematics

abstract: In this paper we report a study in which we have developed a teaching cycle based closely on Bloom's Learning for Mastery (LFM). The teaching cycle ameliorates some of the practical problems with LFM by making use of the STACK online assessment system to provide automated assessment and feedback to students. We report a clinical trial of this teaching cycle with groups of university level engineering students. Our results are modest, but positive: performance on the exercises predicted mastery according to the formative tests to a small extent. Students also report being supportive of the use of the new teaching cycle.


title: Lagrangian fillings and complicated Legendrian unknots

abstract: An exact Lagrangian submanifold $L$ in the symplectization of standard contact $(2n-1)$-space with Legendrian boundary $\Sigma$ can be glued to itself along $\Sigma$. This gives a Legendrian embedding $\Lambda(L,L)$ of the double of $L$ into contact $(2n+1)$-space. We show that the Legendrian isotopy class of $\Lambda(L,L)$ is determined by formal data: the manifold $L$ together with a trivialization of its complexified tangent bundle. In particular, if $L$ is a disk then $\Lambda(L,L)$ is the Legendrian unknot.


title: Finite Blaschke Products and Decomposition

abstract: Let $B(z)$ be a finite Blaschke product of degree $n$. We consider the problem when a finite Blaschke product can be written as a composition of two nontrivial Blaschke products of lower degree related to the condition $% B\circ M=B$ where $M$ is a M\"{o}bius transformation from the unit disk onto itself.


title: $d$-abelian quotients of $(d+2)$-angulated categories

abstract: Let ${\mathscr T}$ be a triangulated category. If $T$ is a cluster tilting object and $I = [ \operatorname{add} T ]$ is the ideal of morphisms factoring through an object of $\operatorname{add} T$, then the quotient category ${\mathscr T} / I$ is abelian. This is an important result of cluster theory, due to Keller-Reiten and K\"{o}nig-Zhu. More general conditions which imply that ${\mathscr T} / I$ is abelian were determined by Grimeland and the first author. Now let ${\mathscr T}$ be a suitable $( d+2 )$-angulated category for an integer $d \geqslant 1$. If $T$ is a cluster tilting object in the sense of Oppermann-Thomas and $I = [ \operatorname{add} T ]$ is the ideal of morphisms factoring through an object of $\operatorname{add} T$, then we show that ${\mathscr T} / I$ is $d$-abelian. The notions of $( d+2 )$-angulated and $d$-abelian categories are due to Geiss-Keller-Oppermann and Jasso. They are higher homological generalisations of triangulated and abelian categories, which are recovered in the special case $d = 1$. We actually show that if $\Gamma = \operatorname{End}_{ \mathscr T }T$ is the endomorphism algebra of $T$, then ${\mathscr T} / I$ is equivalent to a $d$-cluster tilting subcategory of $\operatorname{mod} \Gamma$ in the sense of Iyama; this implies that ${\mathscr T} / I$ is $d$-abelian. Moreover, we show that $\Gamma$ is a $d$-Gorenstein algebra. More general conditions which imply that ${\mathscr T} / I$ is $d$-abelian will also be determined, generalising the triangulated results of Grimeland and the first author.


title: Anatomy of the AGN in NGC 5548 IX. Photoionized emission features in the soft X-ray spectra

abstract: The X-ray narrow emission line region (NELR) of the archetypal Seyfert 1 galaxy NGC\,5548 has been interpreted as a single-phase photoionized plasma that is absorbed by some of the warm absorber components. This scenario requires those overlaying warm absorber components to have larger distance (to the central engine) than the X-ray NELR, which is not fully consistent with the distance estimates found in the literature. Therefore, we reanalyze the high-resolution spectra obtained in 2013--2014 with the Reflection Grating Spectrometer (RGS) aboard \textit{XMM}-Newton to provide an alternative interpretation of the X-ray narrow emission features. We find that the X-ray narrow emission features in NGC\,5548 can be described by a two-phase photoionized plasma with different ionization parameters ($\log \xi=1.3$ and $0.1$) and kinematics ($v_{\rm out}=-50$ and $-400~{\rm km~s^{-1}}$), and no further absorption by the warm absorber components. The X-ray and optical NELR might be the same multi-phase photoionized plasma. Both X-ray and optical NELR have comparable distances, asymmetric line profiles, and the underlying photoionized plasma is turbulent and compact in size. The X-ray NELR is not the counterpart of the UV/X-ray absorber outside the line of sight because their distances and kinematics are not consistent. In addition, X-ray broad emission features that we find in the spectrum can be accounted for by a third photoionized emission component. The RGS spectrum obtained in 2016 is analyzed as well, where the luminosity of most prominent emission lines (the \ion{O}{vii} forbidden line and \ion{O}{viii} Ly$\alpha$ line) are the same (at a 1 $\sigma$ confidence level) as in 2013--2014.


title: Optimising sensitivity to $\gamma$ with $B^0 \to DK^+\pi^-$, $D \to K_{\rm S}^0\pi^+\pi^-$ double Dalitz plot analysis

abstract: Two of the most powerful methods currently used to determine the angle $\gamma$ of the CKM Unitarity Triangle exploit $B^+ \to DK^+$, $D \to K_{\rm S}^0\pi^+\pi^-$ decays and $B^0 \to DK^+\pi^-$, $D \to K^+K^-$, $\pi^+\pi^-$ decays. It is possible to combine the strengths of both approaches in a "double Dalitz plot" analysis of $B^0 \to DK^+\pi^-$, $D \to K_{\rm S}^0\pi^+\pi^-$ decays. The potential sensitivity of such an analysis is investigated in the light of recently published experimental information on the $B^0 \to DK^+\pi^-$ decay. The formalism is also expanded, compared to previous discussions in the literature, to allow $B^0 \to DK^+\pi^-$ with any subsequent $D$ decay to be included.


title: Prediction of laminar vortex shedding over a cylinder using deep learning

abstract: Unsteady laminar vortex shedding over a circular cylinder is predicted using a deep learning technique, a generative adversarial network (GAN), with a particular emphasis on elucidating the potential of learning the solution of the Navier-Stokes equations. Numerical simulations at two different Reynolds numbers with different time-step sizes are conducted to produce training datasets of flow field variables. Unsteady flow fields in the future at a Reynolds number which is not in the training datasets are predicted using a GAN. Predicted flow fields are found to qualitatively and quantitatively agree well with flow fields calculated by numerical simulations. The present study suggests that a deep learning technique can be utilized for prediction of laminar wake flow in lieu of solving the Navier-Stokes equations.


title: A new parametrization for dark energy density and future deceleration

abstract: In this work, we have proposed a general dark energy density parametrization to study the evolution of the universe. We have also constrained the model parameters using the combination of Type Ia supernova (SNIa), baryonic acoustic oscillations (BAO), cosmic microwave background radiation (CMB) and observational $H(z)$ datasets. For the $H(z)$ dataset, we have used the direct observations of the Hubble rate, from the radial BAO size and the cosmic chronometer methods. Our result indicates that the SNIa+$H(z)$+BAO/CMB dataset does not favour the $\Lambda$CDM model at more than $2\sigma$ confidence level. Furthermore, we have also measured the percentage deviation in the evolution of the normalized Hubble parameter for the present model compared to a $\Lambda$CDM model, and the corresponding deviation is found to be $4-5\%$ at low redshifts ($z\sim 0.5$). Finally, we have also investigated whether the deceleration parameter $q$ may have more than one transition during the evolution of the universe. The present model shows a transient accelerating phase, in which the universe was decelerated in the past and is presently accelerating, but will return to a decelerating phase in the near future. This result is in great contrast to the $\Lambda$CDM scenario, which predicts that the cosmic acceleration must remain forever.


title: Bisymmetric and quasitrivial operations: characterizations and enumerations

abstract: We investigate the class of bisymmetric and quasitrivial binary operations on a given set $X$ and provide various characterizations of this class as well as the subclass of bisymmetric, quasitrivial, and order-preserving binary operations. We also determine explicitly the sizes of these classes when the set $X$ is finite.


title: Reciprocal Nucleopeptides as the Ancestral Darwinian Self-Replicator

abstract: Even the simplest organisms are too complex to have spontaneously arisen fully-formed, yet precursors to first life must have emerged ab initio from their environment. A watershed event was the appearance of the first entity capable of evolution: the Initial Darwinian Ancestor. Here we suggest that nucleopeptide reciprocal replicators could have carried out this important role and contend that this is the simplest way to explain extant replication systems in a mathematically consistent way. We propose short nucleic-acid templates on which amino-acylated adapters assembled. Spatial localization drives peptide ligation from activated precursors to generate phosphodiester-bond-catalytic peptides. Comprising autocatalytic protein and nucleic acid sequences, this dynamical system links and unifies several previous hypotheses and provides a plausible model for the emergence of DNA and the operational code.


title: Estimation of general Hamiltonian parameters via controlled energy measurements

abstract: The quantum Cram\'er-Rao theorem states that the quantum Fisher information (QFI) bounds the best achievable precision in the estimation of a quantum parameter $\xi$. This is true, however, under the assumption that the measurement employed to extract information on $\xi$ are regular, i.e. neither its sample space nor its positive-operator valued elements depend on the (true) value of the parameter. A better performance may be achieved by relaxing this assumption. In the case of a general Hamiltonian parameter, i.e. when the parameter enters the system's Hamiltonian in a non-linear way (making the energy eigenstates and eigenvalues $\xi$-dependent), a family of non-regular measurements, referred to as controlled energy measurements, is naturally available. We perform an analytic optimization of their performance, which enables us to compare the optimal controlled energy measurement with the optimal Braunstein-Caves measurement based on the symmetric logarithmic derivative. As the former may outperform the latter, the ultimate quantum bounds for general Hamiltonian parameters are different than those for phase (shift) parameters. We also discuss in detail a realistic implementation of controlled energy measurements based on the quantum phase estimation algorithm and work out a variety of examples to illustrate our results.


title: Conservation of energy, density of states and spin lattice relaxation

abstract: The starting point of all NMR experiments is a spin polarization which develops when we place the sample in static magnetic field $B_0$. There are excess of spins aligned along $B_0$ (spin up with lower energy) than spins aligned opposite (spin down with higher energy) to the field $B_0$. A natural question is what is the source of this excess spin polarization because relaxation mechanisms can flip a up spin to a down spin and vice-versa. The answer lies in the density of states. When a molecule with spin down flips to spin up it loses energy. This energy goes into increasing the kinetic energy of the molecule in the gas/solution phase. At this increased kinetic energy, there are more rotational-translational states accessible to the molecule than at lower energy. This increases the probability the molecule will spend in spin up state (higher kinetic energy state). This is the source of excess polarization. In this paper, we use an argument based on equipartition of energy to explicitly count the excess states that become accessible to the molecule when its spin is flipped from down to up. Using this counting, we derive the familiar Boltzmann distribution of the ratio of up vs down spins. Although prima facie, there is nothing new in this paper, we find the mode counting argument for excess states interesting. Furthermore, the paper stresses the fact that spin polarization arises from higher density of states at increased kinetic energy of molecules.


title: On a nonlocal Boussinesq system for internal wave propagation

abstract: In this paper we are concerned with a nonlocal system to model the propagation of internal waves in a two-layer interface problem with rigid lid assumption and under a Boussinesq regime for both fluids. The main goal is to investigate aspects of well-posedness of the Cauchy problem for the deviation of the interface and the velocity, as well as the existence of solitary wave solutions and some of their properties.


title: PHOEG Helps Obtaining Extremal Graphs

abstract: Extremal Graph Theory aims to determine bounds for graph invariants as well as the graphs attaining those bounds. We are currently developping PHOEG, an ecosystem of tools designed to help researchers in Extremal Graph Theory. It uses a big relational database of undirected graphs and works with the convex hull of the graphs as points in the invariants space in order to exactly obtain the extremal graphs and optimal bounds on the invariants for some fixed parameters. The results obtained on the restricted finite class of graphs can later be used to infer conjectures. This database also allows us to make queries on those graphs. Once the conjecture defined, PHOEG goes one step further by helping in the process of designing a proof guided by successive applications of transformations from any graph to an extremal graph. To this aim, we use a second database based on a graph data model. The paper presents ideas and techniques used in PHOEG to assist the study of Extremal Graph Theory.


title: Hyperspectral image unmixing with LiDAR data-aided spatial regularization

abstract: Spectral unmixing methods incorporating spatial regularizations have demonstrated increasing interest. Although spatial regularizers which promote smoothness of the abundance maps have been widely used, they may overly smooth these maps and, in particular, may not preserve edges present in the hyperspectral image. Existing unmixing methods usually ignore these edge structures or use edge information derived from the hyperspectral image itself. However, this information may be affected by large amounts of noise or variations in illumination, leading to erroneous spatial information incorporated into the unmixing procedure. This paper proposes a simple, yet powerful, spectral unmixing framework which incorporates external data (i.e. LiDAR data). The LiDAR measurements can be easily exploited to adjust standard spatial regularizations applied to the unmixing process. The proposed framework is rigorously evaluated using two simulated datasets and a real hyperspectral image. It is compared with competing methods that rely on spatial information derived from a hyperspectral image. The results show that the proposed framework can provide better abundance estimates and, more specifically, can significantly improve the abundance estimates for pixels affected by shadows.


title: On the Information Dimension of Multivariate Gaussian Processes

abstract: The authors have recently defined the R\'enyi information dimension rate $d(\{X_t\})$ of a stationary stochastic process $\{X_t,\,t\in\mathbb{Z}\}$ as the entropy rate of the uniformly-quantized process divided by minus the logarithm of the quantizer step size $1/m$ in the limit as $m\to\infty$ (B. Geiger and T. Koch, "On the information dimension rate of stochastic processes," in Proc. IEEE Int. Symp. Inf. Theory (ISIT), Aachen, Germany, June 2017). For Gaussian processes with a given spectral distribution function $F_X$, they showed that the information dimension rate equals the Lebesgue measure of the set of harmonics where the derivative of $F_X$ is positive. This paper extends this result to multivariate Gaussian processes with a given matrix-valued spectral distribution function $F_{\mathbf{X}}$. It is demonstrated that the information dimension rate equals the average rank of the derivative of $F_{\mathbf{X}}$. As a side result, it is shown that the scale and translation invariance of information dimension carries over from random variables to stochastic processes.


title: Physical Nature and Orbital Behavior of the Eclipsing System UZ Leonis

abstract: New CCD photometric observations of UZ Leo were obtained between February 2012 and April 2013, and on February 2017. Its physical properties were derived from detailed analyses of our light curves and existing radial velocities. The results indicate that this system is a totally-eclipsing A-subtype overcontact binary with both a high fill-out factor of 76 \% and a third light source contributing 12 \% light in the $B$ bandpass, 10 \% in $V$, and 7 \% in $R$. The light residuals between observations and theoretical models are satisfactorily fitted by adopting a magnetic cool spot on the more massive primary star. Including our 12 measurements, a total of 172 eclipse times were used for ephemeris computations. We found that the orbital period of UZ Leo has varied due to a periodic oscillation superposed on an upward parabolic variation. The observed period increase at a rate of $+3.49 \times 10^{-7}$ d yr$^{-1}$ can be plausibly explained by some combination of non-conservative mass transfer from the secondary to the primary component and angular momentum loss due to magnetic braking. The period and semi-amplitude of the oscillation are about 139 yrs and 0.0225 d, respectively, which is interpreted as a light-time effect due to a third component with a mass of $M_3 \sin i_3$ = 0.30 M$_\odot$. Because the third lights of 7$-$12 \% indicate that the circumbinary object is very overluminous for its mass, it would possibly match a white dwarf, rather than an M-type main sequence.


title: Some classes of projectively and dually flat Finsler spaces with Randers change

abstract: In this paper, we consider Randers change of some special $ (\alpha, \beta)- $ metrics. First we find the fundamental metric tensor and Cartan tensor of these Randers changed $ (\alpha, \beta)- $metrics. Next, we establish a general formula for inverse of fundamental metric tensors of these metrics. Finally, we find the necessary and sufficient conditions under which the Randers change of these $ (\alpha, \beta)- $ metrics are projectively and locally dually flat.


title: Dust cloud evolution in sub-stellar atmospheres via plasma deposition and plasma sputtering

abstract: In contemporary sub-stellar model atmospheres, dust growth occurs through neutral gas-phase surface chemistry. Recently, there has been a growing body of theoretical and observational evidence suggesting that ionisation processes can also occur. As a result, atmospheres are populated by regions composed of plasma, gas and dust, and the consequent influence of plasma processes on dust evolution is enhanced. This paper aims to introduce a new model of dust growth and destruction in sub-stellar atmospheres via plasma deposition and plasma sputtering. Using example sub-stellar atmospheres from Drift-Phoenix, we have compared plasma deposition and sputtering timescales to those from neutral gas-phase surface chemistry to ascertain their regimes of influence. We calculated the plasma sputtering yield and discuss the circumstances where plasma sputtering dominates over deposition. Within the highest dust density cloud regions, plasma deposition and sputtering dominates over neutral gas-phase surface chemistry if the degree of ionisation is $\gtrsim10^{-4}$. Loosely bound grains with surface binding energies of the order of $0.1-1$ eV are susceptible to destruction through plasma sputtering for feasible degrees of ionisation and electron temperatures; whereas, strong crystalline grains with binding energies of the order $10$ eV are resistant to sputtering. The mathematical framework outlined sets the foundation for the inclusion of plasma deposition and plasma sputtering in global dust cloud formation models of sub-stellar atmospheres.


title: Smallest snarks with oddness 4 and cyclic connectivity 4 have order 44

abstract: The family of snarks -- connected bridgeless cubic graphs that cannot be 3-edge-coloured -- is well-known as a potential source of counterexamples to several important and long-standing conjectures in graph theory. These include the cycle double cover conjecture, Tutte's 5-flow conjecture, Fulkerson's conjecture, and several others. One way of approaching these conjectures is through the study of structural properties of snarks and construction of small examples with given properties. In this paper we deal with the problem of determining the smallest order of a nontrivial snark (that is, one which is cyclically 4-edge-connected and has girth at least 5) of oddness at least 4. Using a combination of structural analysis with extensive computations we prove that the smallest order of a snark with oddness at least 4 and cyclic connectivity 4 is 44. Formerly it was known that such a snark must have at least 38 vertices [J. Combin. Theory Ser. B 103 (2013), 468--488] and one such snark on 44 vertices was constructed by Lukot'ka et al. [Electron. J. Combin. 22 (2015), #P1.51]. The proof requires determining all cyclically 4-edge-connected snarks on 36 vertices, which extends the previously compiled list of all such snarks up to 34 vertices [J. Combin. Theory Ser. B, loc. cit.]. As a by-product, we use this new list to test the validity of several conjectures where snarks can be smallest counterexamples.


title: The gluon condensation effects in the DAMPE cosmic ray spectrum of electrons and positrons

abstract: Gluons dominate the proton behavior at high energy collisions, they can be condensed at ultra high energy. The collisions of the accelerated high energy protons with interplanetary matter in cosmic rays will produce a huge number of secondary particles at the gluon condensate energy region, which break the primary power-law of cosmic rays. The above predictions seem to be consistent with the recent DAMPE data concerning the electron plus positron spectra. We find that the smoothly broken power-law at $\sim 0.9 TeV$ and $3\sim 4 TeV$ in the DAMPE data can be understood as the gluon condensation effects in proton.


title: Reducing the number of templates for aligned-spin compact binary coalescence gravitational wave searches using metric-agnostic template nudging

abstract: Efficient multi-dimensional template placement is crucial in computationally intensive matched-filtering searches for Gravitational Waves (GWs). Here, we implement the Neighboring Cell Algorithm (NCA) to improve the detection volume of an existing Compact Binary Coalescence (CBC) template bank. This algorithm has already been successfully applied for a binary millisecond pulsar search in data from the Fermi satellite. It repositions templates from over-dense regions to under-dense regions and reduces the number of templates that would have been required by a stochastic method to achieve the same detection volume. Our method is readily generalizable to other CBC parameter spaces. Here we apply this method to the aligned--single-spin neutron-star--black-hole binary coalescence inspiral-merger-ringdown gravitational wave parameter space. We show that the template nudging algorithm can attain the equivalent effectualness of the stochastic method with 12% fewer templates.


title: Haematopietic stem cells -- entropic landscapes of differentiation

abstract: The metaphor of a potential epigenetic differentiation landscape broadly suggests that during differentiation a stem cell follows the steepest descending gradient toward a stable equilibrium state which represents the final cell type. It has been conjectured that there is an analogy to the concept of entropy in statistical mechanics. In this context, in the undifferentiated state the entropy would be large since fewer constraints exist on the gene expression programs of the cell. As differentiation progresses, gene expression programs become more and more constrained and thus the entropy would be expected to decrease. Such an entropy decrease would, in analogy to statistical mechanics, require some form of free energy to decrease accordingly. In order to assess these predictions, we compute the Shannon entropy for time-resolved single-cell gene expression data in two different experimental setups of haematopoietic differentiation. We find that the behaviour of this entropy measure is in contrast to these predictions. In particular, we find that the Shannon entropy is not a decreasing function of developmental pseudo-time but instead it increases toward the point of commitment before decreasing again. This behaviour is consistent with an increase in gene expression disorder observed in populations sampled at the point of commitment. Single cells in these populations exhibit different combinations of regulator activity that suggest the presence of multiple configurations of a potential differentiation network as a result of multiple entry points into the committed state.


title: Thermal and magnetic field stability of holmium single atom magnets

abstract: We use spin-polarized scanning tunneling microscopy to demonstrate that Ho atoms on magnesium oxide exhibit a coercive field of more than 8 T and magnetic bistability for many minutes, both at 35 K. The first spontaneous magnetization reversal events are recorded at 45 K for which the metastable state relaxes in an external field of 8 T. The transverse magnetic anisotropy energy is estimated from magnetic field and bias voltage dependent switching rates at 4.3 K. Our measurements constrain the possible ground state of Ho single atom magnets to either Jz = 7 or 8, both compatible with magnetic bistability at fields larger than 10 mT.


title: Investigating gamma-ray fluxes from globular clusters

abstract: Globular clusters are large collections of old stars that are orbiting the core of a galaxy. Our Milky Way Galaxy has about 160 known clusters, with perhaps more to be discovered. We first accumulated the necessary parameters for 16 clusters and ran a numerical model that predicts the inverse Compton gamma-ray flux expected from each cluster. We also reanalysed data from 16 clusters observed by the H.E.S.S. very-high-energy (> 100 GeV) gamma-ray telescopes. We confirmed the detection of Terzan 5 and found flux upper limits for the remaining 15 sources that were consistent with published results. We attempted to constrain some source parameters using X-ray and gamma-ray data. We lastly list the five most promising clusters for future observations by the Cherenkov Telescope Array.


title: Dynamics of a single ion spin impurity in a spin-polarized atomic bath

abstract: We report on observations of spin dynamics in single Yb$^+$ ions immersed in a cold cloud of spin-polarized $^6$Li atoms. This species combination has been proposed to be the most suitable system to reach the quantum regime in atom-ion experiments. For $^{174}$Yb$^+$, we find that the atomic bath polarizes the spin of the ion by 93(4)\,\% after a few Langevin collisions, pointing to strong spin-exchange rates. For the hyperfine ground states of $^{171}$Yb$^+$, we also find strong rates towards spin polarization. However, relaxation towards the $F=0$ ground state occurs after 7.7(1.5) Langevin collisions. We investigate spin impurity atoms as possible source of apparent spin-relaxation leading us to interpret the observed spin-relaxation rates as an upper limit. Using ab initio electronic structure and quantum scattering calculations, we explain the observed rates and analyze their implications for the possible observation of Feshbach resonances between atoms and ions once the quantum regime is reached.


title: On the expected total reward with unbounded returns for Markov decision processes

abstract: We consider a discrete-time Markov decision process with Borel state and action spaces. The performance criterion is to maximize a total expected {utility determined by unbounded return function. It is shown the existence of optimal strategies under general conditions allowing the reward function to be unbounded both from above and below and the action sets available at each step to the decision maker to be not necessarily compact. To deal with unbounded reward functions, a new characterization for the weak convergence of probability measures is derived. Our results are illustrated by examples.


title: Survivability of a metapopulation under local extinctions

abstract: A metapopulation structure in landscape ecology comprises a group of interacting spatially separated subpopulations or patches of the same species that may experience several local extinctions. This makes the investigation of survivability (in the form of global oscillation) of a metapopulation on top of diverse dispersal topologies extremely crucial. However, among various dispersal topologies in ecological networks, which one can provide higher metapopulation survivability under local extinction is still not well explored. In this article, we scrutinize the robustness of an ecological network consisting of prey-predator patches having Holling type I functional response, against progressively extinct population patches. We present a comprehensive study on this while considering global, small-world and scale-free dispersal of the subpopulations. Furthermore, we extend our work in enhancing survivability in the form of sustained global oscillation by introducing asymmetries in the dispersal rates of the considered species. Our findings affirm that the asynchrony among the patches plays an important role in the survivability of a metapopulation. In order to demonstrate the model independence of the observed phenomenon, we perform a similar analysis for patches exhibiting Holling type II functional response. On the grounds of the obtained results, our work is expected to provide a better perception of the influence of dispersal arrangements on the global survivability of ecological networks.


title: Boundedness of solutions to the critical fully parabolic quasilinear one-dimensional Keller-Segel system

abstract: In this paper we consider a one-dimensional fully parabolic quasilinear Keller-Segel system with critical nonlinear diffusion. We show uniform-in-time boundedness of solutions, which means, that unlike in higher dimensions, there is no critical mass phenomenon in the case of critical diffusion. To this end we utilize estimates from a well-known Lyapunov functional and a recently introduced new Lyapunov-like functional in [3].


title: NV-centers in Nanodiamonds: How good they are

abstract: This paper presents a method for determination of the size distribution for diamond nanocrystals containing luminescent nitrogen-vacancy (NV) centers using the luminescence intensity only. We also revise the basic photo physical properties of NV centers and conclude that the luminescence quantum yield of such centers is significantly smaller than the frequently stated 100\%. The yield can be as low as 5\% for centers embedded in nanocrystals and depends on their shape and the refractive index of the surrounding medium. The paper also addresses the value of the absorption cross-section of NV centers.


title: Testing stellar proper motions of the TGAS using data of the HSOY, UCAC5 and PMA catalogues

abstract: We present an investigation of stellar proper motions of the TGAS catalogue and ground-based HSOY, UCAC5 and PMA catalogues derived by combining with the Gaia DR1 space data. This investigation concerns with only those stars of ground-based catalogues that are contained in the TGAS. We analyze components of the mutual rotation vector between these systems. It has been found that in all three cases of comparison of the HSOY, UCAC-5 and PMA catalogues with TGAS, the $\omega_{y}$ component of the mutual rotation vector depends on magnitude nonlinearly within the range $9.5<m<11.5$, and has an amplitude reaching 1.5 mas/yr. The analysis has shown that the reason causing this effect is presence in proper motions of the Tycho-2-stars containing in the TGAS, of some inexplicable dependency on magnitude. It has been shown that proper motions of the TGAS stars derived using AGIS differ from those derived as a result of application the conventional (classical) method. At the same time, such a difference in proper motions of Hipparcos-stars from TGAS derived by both methods was not found. Investigation of systematic differences between proper motions of the TGAS stars derived by the classical method and proper motions of the HSOY, UCAC5 and PMA stars has shown that the values of the $\omega_{y}$ component in this case do not undergo any jumps and do not depend on magnitude. That fact unambiguously indicates that some magnitude error is contained in proper motions of Tycho2-stars derived by the use of AGIS. In the framework of the solid-body rotation model the coordinate systems set by the TGAS catalogue with classical proper motions (on the one hand) and by the HSOY, UCAC5 and PMA catalogues (on the other hand) have mutual rotation with the components along axis less than 0.2-0.3mas/yr.


title: A probabilistic interpretation of replicator-mutator dynamics

abstract: In this note, we investigate the relationship between probabilistic updating mechanisms and discrete-time replicator-mutator dynamics. We consider the recently shown connection between Bayesian updating and replicator dynamics and extend it to the replicator-mutator dynamics by considering prediction and filtering recursions in hidden Markov models (HMM). We show that it is possible to understand the evolution of the frequency vector of a population under the replicator-mutator equation as a posterior predictive inference procedure in an HMM. This view enables us to derive a natural dual version of the replicator-mutator equation, which corresponds to updating the filtering distribution. Finally, we conclude with the implications of the interpretation and with some comments related to the recent discussions about evolution and learning.


title: Enumeration Complexity of Conjunctive Queries with Functional Dependencies

abstract: We study the complexity of enumerating the answers of Conjunctive Queries (CQs) in the presence of Functional Dependencies (FDs). Our focus is on the ability to list output tuples with a constant delay in between, following a linear-time preprocessing. A known dichotomy classifies the acyclic self-join-free CQs into those that admit such enumeration, and those that do not. However, this classification no longer holds in the common case where the database exhibits dependencies among attributes. That is, some queries that are classified as hard are in fact tractable if dependencies are accounted for. We establish a generalization of the dichotomy to accommodate FDs; hence, our classification determines which combination of a CQ and a set of FDs admits constant-delay enumeration with a linear-time preprocessing. In addition, we generalize a hardness result for cyclic CQs to accommodate a common type of FDs. Further conclusions of our development include a dichotomy for enumeration with linear delay, and a dichotomy for CQs with disequalities. Finally, we show that all our results apply to the known class of "cardinality dependencies" that generalize FDs (e.g., by stating an upper bound on the number of genres per movies, or friends per person).


title: Simulating Patho-realistic Ultrasound Images using Deep Generative Networks with Adversarial Learning

abstract: Ultrasound imaging makes use of backscattering of waves during their interaction with scatterers present in biological tissues. Simulation of synthetic ultrasound images is a challenging problem on account of inability to accurately model various factors of which some include intra-/inter scanline interference, transducer to surface coupling, artifacts on transducer elements, inhomogeneous shadowing and nonlinear attenuation. Current approaches typically solve wave space equations making them computationally expensive and slow to operate. We propose a generative adversarial network (GAN) inspired approach for fast simulation of patho-realistic ultrasound images. We apply the framework to intravascular ultrasound (IVUS) simulation. A stage 0 simulation performed using pseudo B-mode ultrasound image simulator yields speckle mapping of a digitally defined phantom. The stage I GAN subsequently refines them to preserve tissue specific speckle intensities. The stage II GAN further refines them to generate high resolution images with patho-realistic speckle profiles. We evaluate patho-realism of simulated images with a visual Turing test indicating an equivocal confusion in discriminating simulated from real. We also quantify the shift in tissue specific intensity distributions of the real and simulated images to prove their similarity.


title: The Pyramid Scheme: Oblivious RAM for Trusted Processors

abstract: Modern processors, e.g., Intel SGX, allow applications to isolate secret code and data in encrypted memory regions called enclaves. While encryption effectively hides the contents of memory, the sequence of address references issued by the secret code leaks information. This is a serious problem because these leaks can easily break the confidentiality guarantees of enclaves. In this paper, we explore Oblivious RAM (ORAM) designs that prevent these information leaks under the constraints of modern SGX processors. Most ORAMs are a poor fit for these processors because they have high constant overhead factors or require large private memories, which are not available in these processors. We address these limitations with a new hierarchical ORAM construction, the Pyramid ORAM, that is optimized towards online bandwidth cost and small blocks. It uses a new hashing scheme that circumvents the complexity of previous hierarchical schemes. We present an efficient x64-optimized implementation of Pyramid ORAM that uses only the processor's registers as private memory. We compare Pyramid ORAM with Circuit ORAM, a state-of-the-art tree-based ORAM scheme that also uses constant private memory. Pyramid ORAM has better online asymptotical complexity than Circuit ORAM. Our implementation of Pyramid ORAM and Circuit ORAM validates this: as all hierarchical schemes, Pyramid ORAM has high variance of access latencies; although latency can be high for some accesses, for typical configurations Pyramid ORAM provides access latencies that are 8X better than Circuit ORAM for 99% of accesses. Although the best known hierarchical ORAM has better asymptotical complexity, Pyramid ORAM has significantly lower constant overhead factors, making it the preferred choice in practice.


title: High pulse energy supercontinuum laser for spectroscopic photoacoustic imaging of lipids in the 1650-1850 nm window

abstract: Detection and identification of lipids are highly coveted for the interrogation of chronic diseases such as atherosclerosis and myocardial infarction. Intravascular photoacoustic imaging (IVPA) and deep tissue imaging are modern techniques, which rely on complex near infrared (NIR) optical parametric oscillators (OPOs) and other high-power solid-state laser systems for the diagnosis, which in turn make the systems bulky and expensive. In this work, we propose a cost-effective directly modulated high pulse energy supercontinuum source (operating in kHz regime) based on a standard optical fiber with pulse energy density as high as ~ 26 nJ/nm. We demonstrate how such supercontinuum source combined with a tunable filter can be highly suitable for vibration-based photoacoustic imaging and spectroscopy of lipids in the molecular overtone band of lipids (1650-1850 nm). We show the successful discrimination of two different lipids (cholesterol and lipid in adipose tissue) and the photoacoustic cross-sectional scan of lipid-rich adipose tissue at three different locations. The proposed high pulse energy supercontinuum laser paves a new direction towards compact, broadband and cost-effective source for multi-spectral spectroscopic photoacoustic imaging.


title: The mystery of the 'Kite' radio source in Abell 2626: insights from new Chandra observations

abstract: We present the results of a new Chandra study of the galaxy cluster A2626. The radio emission of the cluster shows a complex system of four symmetric arcs without known correlations with the X-ray emission. The mirror symmetry of the radio arcs toward the center and the presence of two optical cores in the central galaxy suggested that they may be created by pairs of precessing radio jets powered by dual AGNs inside the cD galaxy. However, previous observations failed to observe the second jetted AGN and the spectral trend due to radiative age along the radio arcs, thus challenging this interpretation. The new Chandra observation had several scientific objectives, including the search for the second AGN that would support the jet precession model. We focus here on the detailed study of the local properties of the thermal and non-thermal emission in the proximity of the radio arcs, in order to get more insights into their origin. We performed a standard data reduction of the Chandra dataset deriving the radial profiles of temperature, density, pressure and cooling time of the intra-cluster medium. We further analyzed the 2D distribution of the gas temperature, discovering that the south-western junction of the radio arcs surrounds the cool core of the cluster. We studied the X-ray SB and spectral profiles across the junction, finding a cold front spatially coincident with the radio arcs. This may suggest a connection between the sloshing of the thermal gas and the nature of the radio filaments, raising new scenarios for their origin. A possibility is that the radio arcs trace the projection of a complex surface connecting the sites where electrons are most efficiently reaccelerated by the turbulence that is generated by the gas sloshing. In this case, diffuse emission embedded by the arcs and with extremely steep spectrum should be most visible at very low radio frequencies.


title: Droplets in isotropic turbulence: deformation and breakup statistics

abstract: The statistics of the deformation and breakup of neutrally buoyant sub-Kolmogorov ellipsoidal drops is investigated via Lagrangian simulations of homogeneous isotropic turbulence. The mean lifetime of a drop is also studied as a function of the initial drop size and the capillary number. A vector model of drop previously introduced by Olbricht, Rallison and Leal [J. Non-Newtonian Fluid Mech. $\mathbf{10}$, 291 (1982)] is used to predict the behaviour of the above quantities analytically.


title: Estimating the Success of Unsupervised Image to Image Translation

abstract: While in supervised learning, the validation error is an unbiased estimator of the generalization (test) error and complexity-based generalization bounds are abundant, no such bounds exist for learning a mapping in an unsupervised way. As a result, when training GANs and specifically when using GANs for learning to map between domains in a completely unsupervised way, one is forced to select the hyperparameters and the stopping epoch by subjectively examining multiple options. We propose a novel bound for predicting the success of unsupervised cross domain mapping methods, which is motivated by the recently proposed Simplicity Principle. The bound can be applied both in expectation, for comparing hyperparameters and for selecting a stopping criterion, or per sample, in order to predict the success of a specific cross-domain translation. The utility of the bound is demonstrated in an extensive set of experiments employing multiple recent algorithms. Our code is available at https://github.com/sagiebenaim/gan_bound .


title: Multiagent-based Participatory Urban Simulation through Inverse Reinforcement Learning

abstract: The multiagent-based participatory simulation features prominently in urban planning as the acquired model is considered as the hybrid system of the domain and the local knowledge. However, the key problem of generating realistic agents for particular social phenomena invariably remains. The existing models have attempted to dictate the factors involving human behavior, which appeared to be intractable. In this paper, Inverse Reinforcement Learning (IRL) is introduced to address this problem. IRL is developed for computational modeling of human behavior and has achieved great successes in robotics, psychology and machine learning. The possibilities presented by this new style of modeling are drawn out as conclusions, and the relative challenges with this modeling are highlighted.


title: Density Distribution of a Bose-Einstein Condensate of Photons in a Dye-Filled Microcavity

abstract: The achievement of Bose-Einstein condensation of photons (phBEC) in a dye-filled microcavity has led to a renewed interest in the density distribution of the ideal Bose gas in a two-dimensional harmonic oscillator. We present measurements of the radial profile of photons inside the microcavity below and above the critical point for phBEC with a good signal-to-noise ratio. We obtain a good agreement with theoretical profiles obtained using exact summation of eigenstates.


title: All superalgebras for warped AdS$_2$ and black hole near horizon geometries

abstract: We identify all symmetry superalgebras $\mathfrak{g}$ of near horizon geometries of black holes with a Killing horizon, assuming the solution is smooth and that the spatial cross section of the event horizon is compact without boundary. This includes all warped AdS$_2$ backgrounds with the most general allowed fluxes in 10- and 11-dimensional supergravities. If the index of a particular Dirac operator vanishes, we find that the even symmetry subalgebra decomposes as $\mathfrak{g}_0=\mathfrak{sl}(2,\mathbb{R})\oplus \mathfrak{t}_0$, where $\mathfrak{t}_0/\mathfrak{c}$ is the Lie algebra of a group that acts transitively and effectively on spheres, and $\mathfrak{c}$ is the center of $\mathfrak{g}$. If the Dirac operator index does not vanish, then the symmetry superalgebra is nilpotent with one even generator. We also demonstrate that there are no near horizon geometries, and also therefore no warped AdS$_2$ backgrounds, in 10- and 11-dimensions that preserve more than 16 supersymmetries.


title: A Recursive Construction of Permutation Polynomials over $\mathbb{F}_{q^2}$ with Odd Characteristic from R\'{e}dei Functions

abstract: In this paper, we construct two classes of permutation polynomials over $\mathbb{F}_{q^2}$ with odd characteristic from rational R\'{e}dei functions. A complete characterization of their compositional inverses is also given. These permutation polynomials can be generated recursively. As a consequence, we can generate recursively permutation polynomials with arbitrary number of terms. More importantly, the conditions of these polynomials being permutations are very easy to characterize. For wide applications in practice, several classes of permutation binomials and trinomials are given. With the help of a computer, we find that the number of permutation polynomials of these types is very large.


title: Young planets under extreme UV irradiation. I. Upper atmosphere modelling of the young exoplanet K2-33b

abstract: The K2-33 planetary system hosts one transiting ~5 R_E planet orbiting the young M-type host star. The planet's mass is still unknown, with an estimated upper limit of 5.4 M_J. The extreme youth of the system (<20 Myr) gives the unprecedented opportunity to study the earliest phases of planetary evolution, at a stage when the planet is exposed to an extremely high level of high-energy radiation emitted by the host star. We perform a series of 1D hydrodynamic simulations of the planet's upper atmosphere considering a range of possible planetary masses, from 2 to 40 M_E, and equilibrium temperatures, from 850 to 1300 K, to account for internal heating as a result of contraction. We obtain temperature profiles mostly controlled by the planet's mass, while the equilibrium temperature has a secondary effect. For planetary masses below 7-10 M_E, the atmosphere is subject to extremely high escape rates, driven by the planet's weak gravity and high thermal energy, which increase with decreasing mass and/or increasing temperature. For higher masses, the escape is instead driven by the absorption of the high-energy stellar radiation. A rough comparison of the timescales for complete atmospheric escape and age of the system indicates that the planet is more massive than 10 M_E.


title: On the Volume of Boolean expressions of Large Congruent Balls

abstract: We consider the volume of a Boolean expression of some congruent balls about a given system of centers in the $d$-dimensional Euclidean space. When the radius $r$ of the balls is large, this volume can be approximated by a polynomial of $r$, which will be computed up to an $O(r^{d-3})$ error term. We study how the top coefficients of this polynomial depend on the set of the centers. It is known that in the case of the union of the balls, the top coefficients are some constant multiples of the intrinsic volumes of the convex hull of the centers. Thus, the coefficients in the general case lead to generalizations of the intrinsic volumes, in particular, to a generalization of the mean width of a set. Some known results on the mean width, along with the theorem on its monotonicity under contractions are extended to the "Boolean analogues" of the mean width.


title: A Deep Policy Inference Q-Network for Multi-Agent Systems

abstract: We present DPIQN, a deep policy inference Q-network that targets multi-agent systems composed of controllable agents, collaborators, and opponents that interact with each other. We focus on one challenging issue in such systems---modeling agents with varying strategies---and propose to employ "policy features" learned from raw observations (e.g., raw images) of collaborators and opponents by inferring their policies. DPIQN incorporates the learned policy features as a hidden vector into its own deep Q-network (DQN), such that it is able to predict better Q values for the controllable agents than the state-of-the-art deep reinforcement learning models. We further propose an enhanced version of DPIQN, called deep recurrent policy inference Q-network (DRPIQN), for handling partial observability. Both DPIQN and DRPIQN are trained by an adaptive training procedure, which adjusts the network's attention to learn the policy features and its own Q-values at different phases of the training process. We present a comprehensive analysis of DPIQN and DRPIQN, and highlight their effectiveness and generalizability in various multi-agent settings. Our models are evaluated in a classic soccer game involving both competitive and collaborative scenarios. Experimental results performed on 1 vs. 1 and 2 vs. 2 games show that DPIQN and DRPIQN demonstrate superior performance to the baseline DQN and deep recurrent Q-network (DRQN) models. We also explore scenarios in which collaborators or opponents dynamically change their policies, and show that DPIQN and DRPIQN do lead to better overall performance in terms of stability and mean scores.