title: A Supra-galactic Conundrum: The Globular Clusters Colour Pattern in Virgo Galaxies

abstract: The presence of systematic modulations in the colour distributions in composite samples of globular clusters associated with galaxies in the Virgo and Fornax clusters has been reported in a previous work. In this paper we focus on the 27 brightest galaxies in Virgo, and in particular on NGC 4486, the dominant system in terms of globular cluster population. The new analysis includes $\sim$7600 cluster candidates brighter than g =24.5 (or T1$\sim$ 23.70). The results indicate the presence of the characteristic Virgo pattern in these galaxies and that this pattern is detectable over a galactocentric range from 3 to 30 Kpc in N GC 4486. This finding gives more support to the idea that the pattern has been the result of an external, still not identified phenomenon, capable of synchronizing the cluster formation in a kind of viral process, and on supra-galactic scales (also having, presumably, an impact on the overall star formation history in the entire Virgo cluster).


title: Estimating menarcheal age distribution from partially recalled data

abstract: In a cross-sectional study, adolescent and young adult females were asked to recall the time of menarche, if experienced. Some respondents recalled the date exactly, some recalled only the month or the year of the event, and some were unable to recall anything. We consider estimation of the menarcheal age distribution from this interval censored data. A~complicated interplay between age-at-event and calendar time, together with the evident fact of memory fading with time, makes the censoring informative. We propose a model where the probabilities of various types of recall would depend on the time since menarche. For parametric estimation we model these probabilities using multinomial regression function. Establishing consistency and asymptotic normality of the parametric MLE requires a bit of tweaking of the standard asymptotic theory, as the data format varies from case to case. We also provide a non-parametric MLE, propose a computationally simpler approximation, and establish the consistency of both these estimators under mild conditions. We study the small sample performance of the parametric and non-parametric estimators through Monte Carlo simulations. Moreover, we provide a graphical check of the assumption of the multinomial model for the recall probabilities, which appears to hold for the menarcheal data set. Our analysis shows that the use of the partially recalled part of the data indeed leads to smaller confidence intervals of the survival function.


title: Dual complex Pell quaternions

abstract: In this paper, dual complex Pell numbers and quaternions are defined. Also, some algebraic properties of dual-complex Pell numbers and quaternions which are connected with dual complex numbers and Pell numbers are investigated. Furthermore, the Honsberger identity, Binet's formula, Cassini's identity, Catalan's identity for these quaternions are given.


title: Blind spots of probing the high-density symmetry energy in heavy-ion collisions

abstract: The nuclear symmetry energy, especially at suprasaturation densities, plays crucial roles in many astrophysical studies. However, nowadays the high-density behavior of the symmetry energy is still very controversial in nuclear community. To constrain the high-density behavior of the symmetry energy, neutron-rich nuclei collisions at medium energies are considered to be one of the most effective methods. While probing the high-density symmetry energy by using heavy-ion collisions, blind spots may exist. In the framework of the Isospin-dependent Boltzmann-Uehling-Uhlenbeck (IBUU) transport model, the blind spots of probing the high-density symmetry energy by the n/p ratio in the central Au+Au reaction at 300 MeV/nucleon are demonstrated. It is found that the nucleon observable neutron to proton ratio n/p in heavy-ion collisions cannot effectively probe the high-density symmetry energy when the high-density symmetry energy is less density-dependent.


title: Matrix Completion-Based Channel Estimation for MmWave Communication Systems With Array-Inherent Impairments

abstract: Hybrid massive MIMO structures with reduced hardware complexity and power consumption have been widely studied as a potential candidate for millimeter wave (mmWave) communications. Channel estimators that require knowledge of the array response, such as those using compressive sensing (CS) methods, may suffer from performance degradation when array-inherent impairments bring unknown phase errors and gain errors to the antenna elements. In this paper, we design matrix completion (MC)-based channel estimation schemes which are robust against the array-inherent impairments. We first design an open-loop training scheme that can sample entries from the effective channel matrix randomly and is compatible with the phase shifter-based hybrid system. Leveraging the low-rank property of the effective channel matrix, we then design a channel estimator based on the generalized conditional gradient (GCG) framework and the alternating minimization (AltMin) approach. The resulting estimator is immune to array-inherent impairments and can be implemented to systems with any array shapes for its independence of the array response. In addition, we extend our design to sample a transformed channel matrix following the concept of inductive matrix completion (IMC), which can be solved efficiently using our proposed estimator and achieve similar performance with a lower requirement of the dynamic range of the transmission power per antenna. Numerical results demonstrate the advantages of our proposed MC-based channel estimators in terms of estimation performance, computational complexity and robustness against array-inherent impairments over the orthogonal matching pursuit (OMP)-based CS channel estimator.


title: Applications of Graph Integration to Function Comparison and Malware Classification

abstract: We classify .NET files as either benign or malicious by examining directed graphs derived from the set of functions comprising the given file. Each graph is viewed probabilistically as a Markov chain where each node represents a code block of the corresponding function, and by computing the PageRank vector (Perron vector with transport), a probability measure can be defined over the nodes of the given graph. Each graph is vectorized by computing Lebesgue antiderivatives of hand-engineered functions defined on the vertex set of the given graph against the PageRank measure. Files are subsequently vectorized by aggregating the set of vectors corresponding to the set of graphs resulting from decompiling the given file. The result is a fast, intuitive, and easy-to-compute glass-box vectorization scheme, which can be leveraged for training a standalone classifier or to augment an existing feature space. We refer to this vectorization technique as PageRank Measure Integration Vectorization (PMIV). We demonstrate the efficacy of PMIV by training a vanilla random forest on 2.5 million samples of decompiled .NET, evenly split between benign and malicious, from our in-house corpus and compare this model to a baseline model which leverages a text-only feature space. The median time needed for decompilation and scoring was 24ms.


title: Trace functions of the Parafermion vertex operator algebras

abstract: The trace functions for the Parafermion vertex operator algebra associated to any finite dimensional simple Lie algebra $\g$ and any positive integer $k$ are studied and an explicit modular transformation formula of the trace functions is obtained.


title: A New Set of Maxwell-Lorentz Equations and Rediscovery of Heaviside-Maxwellian (Vector) Gravity from Quantum Field Theory

abstract: We show that if we start with the free Dirac Lagrangian, and demand local phase invariance, assuming the total phase coming from two independent contributions associated with the charge and mass degrees of freedom of charged Dirac particles, then we are forced to introduce two massless independent vector fields for charged Dirac particles that generate all of electrodynamics and gravitodynamics of Heaviside's Gravity of 1893 or Maxwellian Gravity and specify the charge and mass currents produced by charged Dirac particles. From this approach we found: (1) a new set of Maxwell-Lorentz equations, (2) two equivalent sets of gravito-Maxwell-Lorentz equations (3) a gravitational correction to the standard Lagrangian of electrodynamics, which, for a neutral massive Dirac particle, reduces to the Lagrangian for gravitodynamics, (4) attractive interaction between two static like masses, contrary to the prevalent view of many field theorists and (5) gravitational waves emanating from the collapsing process of self gravitating systems carry positive energy and momentum in the spirit of Maxwell's electromagnetic theory despite the fact that the intrinsic energy of static gravitoelectromagnetic fields is negative as dictated by Newton's gravitational law and its time-dependent extensions to Heaviside-Maxwellian Gravity (HMG). Fundamental conceptual issues in linearized Einstein's Gravity are also discussed.


title: Complexity of the Einstein-Born-Infeld-Massive Black holes

abstract: Motivated by interesting correspondence between computational complexity in a CFT and the action evaluated on a WDW patch in the bulk, we study the complexity of the Einstein-massive black holes in the presence of BI nonlinear electrodynamics. The upper limit of Llyod bound according to the WDW patch is investigated and it is proved that Llyod bound is held.


title: Patient2Vec: A Personalized Interpretable Deep Representation of the Longitudinal Electronic Health Record

abstract: The wide implementation of electronic health record (EHR) systems facilitates the collection of large-scale health data from real clinical settings. Despite the significant increase in adoption of EHR systems, this data remains largely unexplored, but presents a rich data source for knowledge discovery from patient health histories in tasks such as understanding disease correlations and predicting health outcomes. However, the heterogeneity, sparsity, noise, and bias in this data present many complex challenges. This complexity makes it difficult to translate potentially relevant information into machine learning algorithms. In this paper, we propose a computational framework, Patient2Vec, to learn an interpretable deep representation of longitudinal EHR data which is personalized for each patient. To evaluate this approach, we apply it to the prediction of future hospitalizations using real EHR data and compare its predictive performance with baseline methods. Patient2Vec produces a vector space with meaningful structure and it achieves an AUC around 0.799 outperforming baseline methods. In the end, the learned feature importance can be visualized and interpreted at both the individual and population levels to bring clinical insights.


title: Distributed Nonlinear Control Design using Separable Control Contraction Metrics

abstract: This paper gives convex conditions for synthesis of a distributed control system for large-scale networked nonlinear dynamic systems. It is shown that the technique of control contraction metrics (CCMs) can be extended to this problem by utilizing separable metric structures, resulting in controllers that only depend on information from local sensors and communications from immediate neighbours. The conditions given are pointwise linear matrix inequalities, and are necessary and sufficient for linear positive systems and certain monotone nonlinear systems. Distributed synthesis methods for systems on chordal graphs are also proposed based on SDP decompositions. The results are illustrated on a problem of vehicle platooning with heterogeneous vehicles, and a network of nonlinear dynamic systems with over 1000 states that is not feedback linearizable and has an uncontrollable linearization


title: Continuous characterization of Besov spaces of variable smoothness and integrability

abstract: In this paper the authors obtain a new equivalent norms of the Besov spaces of variable smoothness and integrability. Our main tools are the continuous version of Calderon reproducing formula, maximal inequalities and variable exponent technique, but allowing the parameters to vary from point to point will raise extra difficulties which, in general, are overcome by imposing regularity assumptions on these exponents.


title: Hominin evolution was caused by introgression from Gorilla

abstract: The discovery of Paranthropus deyiremeda in 3.3-3.5 million year old fossil sites in Afar, together with 30% of the gorilla genome showing lineage sorting between humans and chimpanzees, and a NUMT ("nuclear mitochondrial DNA segment") on chromosome 5 that is shared by both gorillas, humans and chimpanzees, and shown to have diverged at the time of the Pan-Homo split rather than the Gorilla/Pan-Homo split, provides conclusive evidence that introgression from the gorilla lineage caused the Pan-Homo split, and the speciation of both the Australopithecus lineage and the Paranthropus lineage.


title: Optimal Impulse Control of SIR Epidemics over Scale-Free Networks

abstract: Recent wide spreading of Ransomware has created new challenges for cybersecurity over large-scale networks. The densely connected networks can exacerbate the spreading and makes the containment and control of the malware more challenging. In this work, we propose an impulse optimal control framework for epidemics over networks. The hybrid nature of discrete-time control policy of continuous-time epidemic dynamics together with the network structure poses a challenging optimal control problem. We leverage the Pontryagin's minimum principle for impulsive systems to obtain an optimal structure of the controller and use numerical experiments to corroborate our results.


title: Cyclic pairings and derived Poisson structures

abstract: There is a canonical derived Poisson structure on the universal enveloping algebra $\mathcal{U}\mathfrak{a}$ of a (DG) Lie algebra $\mathfrak{a}$ that is Koszul dual to a cyclic cocommutative (DG) coalgebra. Interesting special cases of this derived Poisson structure include (an analog of) the Chas-Sullivan bracket on string topology. We study how certain derived character of $\mathfrak{a}$ intertwine this derived Poisson structure with the induced Poisson structure on the representation homology of $\mathfrak{a}$. In addition, we obtain an analog of one of our main results for associative algebras.


title: Approximate controllability for Navier--Stokes equations in {\rm 3D} Cylinders under Lions boundary conditions by an explicit saturating set

abstract: An explicit saturating set consisting of eigenfunctions of Stokes operator in general 3D Cylinders is proposed. The existence of saturating sets implies the approximate controllability for Navier--Stokes equations in $\rm 3D$ Cylinders under Lions boundary conditions.


title: Downwinding for Preserving Strong Stability in Explicit Integrating Factor Runge--Kutta Methods

abstract: Strong stability preserving (SSP) Runge-Kutta methods are desirable when evolving in time problems that have discontinuities or sharp gradients and require nonlinear non-inner-product stability properties to be satisfied. Unlike the case for L2 linear stability, implicit methods do not significantly alleviate the time-step restriction when the SSP property is needed. For this reason, when handling problems with a linear component that is stiff and a nonlinear component that is not, SSP integrating factor Runge--Kutta methods may offer an attractive alternative to traditional time-stepping methods. The strong stability properties of integrating factor Runge--Kutta methods where the transformed problem is evolved with an explicit SSP Runge--Kutta method with non-decreasing abscissas was recently established. In this work, we consider the use of downwinded spatial operators to preserve the strong stability properties of integrating factor Runge--Kutta methods where the Runge--Kutta method has some decreasing abscissas. We present the SSP theory for this approach and present numerical evidence to show that such an approach is feasible and performs as expected. However, we also show that in some cases the integrating factor approach with explicit SSP Runge--Kutta methods with non-decreasing abscissas performs nearly as well, if not better, than with explicit SSP Runge--Kutta methods with downwinding. In conclusion, while the downwinding approach can be rigorously shown to guarantee the SSP property for a larger time-step, in practice using the integrating factor approach by including downwinding as needed with optimal explicit SSP Runge--Kutta methods does not necessarily provide significant benefit over using explicit SSP Runge--Kutta methods with non-decreasing abscissas.


title: Tame topology of arithmetic quotients and algebraicity of Hodge loci

abstract: In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important example is given by Hodge varieties, which parametrize pure polarized integral Hodge structures. $2)$ We prove that the period map associated to any pure polarized variation of integral Hodge structures $\mathbb{V}$ on a smooth complex quasi-projective variety $S$ is definable with respect to an o-minimal structure on the relevant Hodge variety induced by the above semi-algebraic structure. $3)$ As a corollary of $2)$ and of Peterzil-Starchenko's o-minimal Chow theorem we recover that the Hodge locus of $(S, \mathbb{V})$ is a countable union of algebraic subvarieties of $S$, a result originally due to Cattani-Deligne-Kaplan. Our approach simplifies the proof of Cattani-Deligne-Kaplan, as it does not use the full power of the difficult multivariable $SL_2$-orbit theorem of Cattani-Kaplan-Schmid.


title: Precise measurement of $\alpha_K$ and $\alpha_T$ for the 39.8-keV $E$3 transition in $^{103}$Rh: Test of internal-conversion theory

abstract: Neutron-activated sources of $^{103}$Ru and $^{103}$Pd both share the isomeric first-excited state in $^{103}$Rh as a daughter product. From independent measurements of both decays, we have measured the $K$-shell and total internal conversion coefficients, $\alpha_K$ and $\alpha_T$, for the 39.8-keV $E$3 transition, which de-excites that state in $^{103}$Rh, to be 141.1(23) and 1428(13), respectively. When compared with Dirac-Fock calculations, our new results disagree with the version of the theory that ignores the $K$-shell atomic vacancy, which is consistent with our conclusion drawn from a series of measurements on high multipolarity transitions in nuclei with higher $Z$. Calculations that include the atomic vacancy indicate that the transition actually has a small $M$4 component with mixing ratio $\delta$ = 0.023(5).


title: On the Performance of DF-based Power-Line/Visible-Light Communication Systems

abstract: This paper presents a comprehensive performance analysis of an integrated indoor power line communication (PLC)/visible light communication (VLC) system with the presence of a decode-and-forward (DF) relay. The existing indoor power line networks are used as the backbone for VLCs. The performance of the proposed system is evaluated in terms of the average capacity and the outage probability. A new unified mathematical method is developed for the PLC/VLC system and analytical expressions for the aforementioned performance metrics are derived. Monte Carlo simulations are provided throughout the paper to verify the correctness of the analysis. The results reveal that the performance of the proposed system deteriorates with increasing the end-to-end distance and improves with increasing the relay transmit power. It is also shown that the outage probability of the system under consideration is negatively affected by the vertical distance to user plane.


title: Seltrapping in flat band lattices with nonlinear disorder

abstract: We study the selftrapping properties of an initially localized excitation in several flat band lattices, in the presence of nonlinear (Kerr) disorder. In the weak nonlinearity regime, the dynamics is controlled by the degeneracy of the bands leading to a linear form of selftrapping. In the strong nonlinearity regime, the dynamics of the excitations depends strongly on the local environment around the initial excitation site that leads to a highly fluctuating selfrapping profile. It is shown that the spreading of the wavefunction in the presence of random nonlinearity, is always completely inhibited about fifty percent of all cases. The role of degeneracy associated with the flatbands is explained with the help of the $n$-simplex system, which can be solved in closed form.


title: BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

abstract: We introduce a new language representation model called BERT, which stands for Bidirectional Encoder Representations from Transformers. Unlike recent language representation models, BERT is designed to pre-train deep bidirectional representations from unlabeled text by jointly conditioning on both left and right context in all layers. As a result, the pre-trained BERT model can be fine-tuned with just one additional output layer to create state-of-the-art models for a wide range of tasks, such as question answering and language inference, without substantial task-specific architecture modifications. BERT is conceptually simple and empirically powerful. It obtains new state-of-the-art results on eleven natural language processing tasks, including pushing the GLUE score to 80.5% (7.7% point absolute improvement), MultiNLI accuracy to 86.7% (4.6% absolute improvement), SQuAD v1.1 question answering Test F1 to 93.2 (1.5 point absolute improvement) and SQuAD v2.0 Test F1 to 83.1 (5.1 point absolute improvement).


title: Kaplan-Meier V- and U-statistics

abstract: In this paper, we study Kaplan-Meier V- and U-statistics respectively defined as $\theta(\widehat{F}_n)=\sum_{i,j}K(X_{[i:n]},X_{[j:n]})W_iW_j$ and $\theta_U(\widehat{F}_n)=\sum_{i\neq j}K(X_{[i:n]},X_{[j:n]})W_iW_j/\sum_{i\neq j}W_iW_j$, where $\widehat{F}_n$ is the Kaplan-Meier estimator, $\{W_1,\ldots,W_n\}$ are the Kaplan-Meier weights and $K:(0,\infty)^2\to\mathbb R$ is a symmetric kernel. As in the canonical setting of uncensored data, we differentiate between two asymptotic behaviours for $\theta(\widehat{F}_n)$ and $\theta_U(\widehat{F}_n)$. Additionally, we derive an asymptotic canonical V-statistic representation of the Kaplan-Meier V- and U-statistics. By using this representation we study properties of the asymptotic distribution. Applications to hypothesis testing are given.


title: Persistent 1-Cycles: Definition, Computation, and Its Application

abstract: Persistence diagrams, which summarize the birth and death of homological features extracted from data, are employed as stable signatures for applications in image analysis and other areas. Besides simply considering the multiset of intervals included in a persistence diagram, some applications need to find representative cycles for the intervals. In this paper, we address the problem of computing these representative cycles, termed as persistent 1-cycles, for $\text{H}_1$-persistent homology with $\mathbb{Z}_2$ coefficients. The definition of persistent cycles is based on the interval module decomposition of persistence modules, which reveals the structure of persistent homology. After showing that the computation of the optimal persistent 1-cycles is NP-hard, we propose an alternative set of meaningful persistent 1-cycles that can be computed with an efficient polynomial time algorithm. We also inspect the stability issues of the optimal persistent 1-cycles and the persistent 1-cycles computed by our algorithm with the observation that the perturbations of both cannot be properly bounded. We design a software which applies our algorithm to various datasets. Experiments on 3D point clouds, mineral structures, and images show the effectiveness of our algorithm in practice.


title: Generalized Bayesian Record Linkage and Regression with Exact Error Propagation

abstract: Record linkage (de-duplication or entity resolution) is the process of merging noisy databases to remove duplicate entities. While record linkage removes duplicate entities from such databases, the downstream task is any inferential, predictive, or post-linkage task on the linked data. One goal of the downstream task is obtaining a larger reference data set, allowing one to perform more accurate statistical analyses. In addition, there is inherent record linkage uncertainty passed to the downstream task. Motivated by the above, we propose a generalized Bayesian record linkage method and consider multiple regression analysis as the downstream task. Records are linked via a random partition model, which allows for a wide class to be considered. In addition, we jointly model the record linkage and downstream task, which allows one to account for the record linkage uncertainty exactly. Moreover, one is able to generate a feedback propagation mechanism of the information from the proposed Bayesian record linkage model into the downstream task. This feedback effect is essential to eliminate potential biases that can jeopardize resulting downstream task. We apply our methodology to multiple linear regression, and illustrate empirically that the "feedback effect" is able to improve the performance of record linkage.


title: Ramification in Division Fields and Sporadic Points on Modular Curves

abstract: Consider an elliptic curve $E$ over a number field $K$. Suppose that $E$ has supersingular reduction at some prime $\mathfrak{p}$ of $K$ lying above the rational prime $p$. We completely classify the valuations of the $p^n$-torsion points of $E$ by the valuation of a coefficient of the $p^{\text{th}}$ division polynomial. We apply this description to find the minimum necessary ramification at $\mathfrak{p}$ in order for $E$ to have a point of exact order $p^n$. Using this bound we show that sporadic points on the modular curve $X_1(p^n)$ cannot correspond to supersingular elliptic curves without a canonical subgroup. We generalize our methods to $X_1(N)$ with $N$ composite.


title: On Ring Class Fields of Number Rings

abstract: For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of this number ring class field, and characterize it as a subfield of the ring class field of some order. As an application, we use it to give a criterion of the solvability of a higher degree norm form equation over a number ring and finally describe algorithms to compute this field.


title: Stochastic Approximation Hamiltonian Monte Carlo

abstract: Recently, the Hamilton Monte Carlo (HMC) has become widespread as one of the more reliable approaches to efficient sample generation processes. However, HMC is difficult to sample in a multimodal posterior distribution because the HMC chain cannot cross energy barrier between modes due to the energy conservation property. In this paper, we propose a Stochastic Approximate Hamilton Monte Carlo (SAHMC) algorithm for generating samples from multimodal density under the Hamiltonian Monte Carlo (HMC) framework. SAHMC can adaptively lower the energy barrier to move the Hamiltonian trajectory more frequently and more easily between modes. Our simulation studies show that the potential for SAHMC to explore a multimodal target distribution more efficiently than HMC based implementations.


title: Polynomials over strict semirings do not admit unique factorization

abstract: In this short note, we prove the claim of the title.


title: Analogues of the Aoki-Ohno and Le-Murakami relations for finite multiple zeta values

abstract: We establish finite analogues of the identities known as the Aoki-Ohno relation and the Le-Murakami relation in the theory of multiple zeta values. We use an explicit form of a generating series given by Aoki and Ohno.


title: Alternative Stacking Sequences in Hexagonal Boron Nitride

abstract: The relative orientation of successive sheets, i.e. the stacking sequence, in layered two-dimensional materials is central to the electronic, thermal, and mechanical properties of the material. Often different stacking sequences have comparable cohesive energy, leading to alternative stable crystal structures. Here we theoretically and experimentally explore different stacking sequences in the van der Waals bonded material hexagonal boron nitride (h-BN). We examine the total energy, electronic bandgap, and dielectric response tensor for five distinct high symmetry stacking sequences for both bulk and bilayer forms of h-BN. Two sequences, the generally assumed AA' sequence and the relatively unknown (for h-BN) AB (Bernal) sequence, are predicted to have comparably low energy. We present a scalable modified chemical vapor deposition method that produces large flakes of virtually pure AB stacked h-BN; this new material complements the generally available AA' stacked h-BN.


title: A Framework for Telescope Schedulers: With Applications to the Large Synoptic Survey Telescope

abstract: How ground-based telescopes schedule their observations in response to competing science priorities and constraints, variations in the weather, and the visibility of a particular part of the sky can significantly impact their efficiency. In this paper we introduce the Feature-Based telescope scheduler that is an automated, proposal-free decision making algorithm that offers \textit{controllability} of the behavior, \textit{adjustability} of the mission, and quick \textit{recoverability} from interruptions for large ground-based telescopes. By framing this scheduler in the context of a coherent mathematical model the functionality and performance of the algorithm is simple to interpret and adapt to a broad range of astronomical applications. This paper presents a generic version of the Feature-Based scheduler, with minimal manual tailoring, to demonstrate its potential and flexibility as a foundation for large ground-based telescope schedulers which can later be adjusted for other instruments. In addition, a modified version of the Feature-Based scheduler for the Large Synoptic Survey Telescope (LSST) is introduced and compared to previous LSST scheduler simulations.


title: Clustering via Hypergraph Modularity

abstract: Despite the fact that many important problems (including clustering) can be described using hypergraphs, theoretical foundations as well as practical algorithms using hypergraphs are not well developed yet. In this paper, we propose a hypergraph modularity function that generalizes its well established and widely used graph counterpart measure of how clustered a network is. In order to define it properly, we generalize the Chung-Lu model for graphs to hypergraphs. We then provide the theoretical foundations to search for an optimal solution with respect to our hypergraph modularity function. Two simple heuristic algorithms are described and applied to a few small illustrative examples. We show that using a strict version of our proposed modularity function often leads to a solution where a smaller number of hyperedges get cut as compared to optimizing modularity of 2-section graph of a hypergraph.


title: Ultrafast Variational Simulation of Non-trivial Quantum States with Long Range Interactions

abstract: State preparation protocols ideally require as minimal operations as possible, in order to be implemented in near-term, potentially noisy quantum devices. Motivated by long range interactions (LRIs) intrinsic to many present-day experimental platforms (trapped ions, Rydberg atom arrays, etc.), we investigate the efficacy of variationally simulating non-trivial quantum states using the Variational Quantum-Classical Simulation (VQCS) protocol explored recently in [SciPost Phys. 6, 029 (2019)], in the presence of LRIs. We show that this approach leads to extremely efficient state preparation: for example, Greene-Horne-Zeilinger (GHZ) states can be prepared with O(1) iterations of the protocol, and a quantum critical point of the long range transverse field Ising model (TFIM) can be prepared with > 99% fidelity on a 100 qubit system with only one iteration. Furthermore, we show that VQCS with LRIs is a promising route for exploring generic points in the phase diagram of the long-range TFIM. Our approach thus provides concrete, ultrafast protocols for quantum simulators equipped with long range interactions.


title: A-priori bounds and multiplicity of solutions for nonlinear elliptic problems involving the fractional $p(\cdot)$-Laplacian

abstract: We obtain fundamental imbeddings for the fractional Sobolev space with variable exponent that is a generalization of well-known fractional Sobolev spaces. As an application, we obtain a-priori bounds and multiplicity of solutions to some nonlinear elliptic problems involving the fractional $p(\cdot)$-Laplacian.


title: Deriving the factor endowment--commodity output relationship for Thailand (1920-1927) using a three-factor two-good general equilibrium trade model

abstract: Feeny (1982, pp. 26-28) referred to a three-factor two-good general equilibrium trade model, when he explained the relative importance of trade and factor endowments in Thailand 1880-1940. For example, Feeny (1982) stated that the growth in labor stock would be responsible for a substantial increase in rice output relative to textile output. Is Feeny's statement plausible? The purpose of this paper is to derive the Rybczynski sign patterns, which express the factor endowment--commodity output relationship, for Thailand during the period 1920 to 1927 using the EWS (economy-wide substitution)-ratio vector. A 'strong Rybczynski result' necessarily holds. I derived three Rybczynski sign patterns. However, a more detailed estimate allowed a reduction from three candidates to two. I restrict the analysis to the period 1920-1927 because of data availability. The results imply that Feeny's statement might not necessarily hold. Hence, labor stock might not affect the share of exportable sector in national income positively. Moreover, the percentage of Chinese immigration in the total population growth was not as large as expected. This study will be useful when simulating real wage in Thailand.


title: Feynman-Schwinger Duality

abstract: Brief recollections of two giants of physics, their origins, similarities and differences.


title: ALMA observations of HCN and HCO+ outflows in the merging galaxy NGC 3256

abstract: We report ~2" resolution Atacama Large Millimeter/submillimeter Array observations of the HCN(1-0), HCO+(1-0), CO(1-0), CO(2-1), and CO(3-2) lines towards the nearby merging double-nucleus galaxy NGC 3256. We find that the high density gas outflow traced in HCN(1-0) and HCO+(1-0) emission is co-located with the diffuse molecular outflow emanating from the southern nucleus, where a low-luminosity active galactic nucleus (AGN) is believed to be the dominant source of the far-infrared luminosity. On the other hand, the same lines were undetected in the outflow region associated with the northern nucleus, whose primary heating source is likely related to starburst activity without obvious signs of AGN. Both HCO+(1-0)/CO(1-0) line ratio (i.e. dense gas fraction) and the CO(3-2)/CO(1-0) line ratio are larger in the southern outflow (0.20$\pm$0.04 and 1.3$\pm$0.2, respectively) than in the southern nucleus (0.08$\pm$0.01, 0.7$\pm$0.1, respectively). By investigating these line ratios for each velocity component in the southern outflow, we find that the dense gas fraction increases and the CO(3-2)/CO(1-0) line ratio decreases towards the largest velocity offset. This suggests the existence of a two-phase (diffuse and clumpy) outflow. One possible scenario to produce such a two-phase outflow is an interaction between the jet and the interstellar medium, which possibly triggers shocks and/or star formation associated with the outflow.


title: WaveRange: Wavelet-based data compression for three-dimensional numerical simulations on regular grids

abstract: A wavelet-based method for compression of three-dimensional simulation data is presented and its software framework is described. It uses wavelet decomposition and subsequent range coding with quantization suitable for floating-point data. The effectiveness of this method is demonstrated by applying it to example numerical tests, ranging from idealized configurations to realistic global-scale simulations.

categories: physics.comp-ph cs.DC physics.ao-ph physics.flu-dyn


title: 12-photon entanglement and scalable scattershot boson sampling with optimal entangled-photon pairs from parametric down-conversion

abstract: Entangled photon sources with simultaneously near-unity heralding efficiency and indistinguishability are the fundamental elements for scalable photonic quantum technologies. We design and realize a degenerate entangled-photon source from an ultrafast pulsed laser pumped spontaneous parametric down-conversion (SPDC), which show simultaneously ~97% heralding efficiency and ~96% indistinguishability between independent single photons. Such a high-efficiency and frequency-uncorrelated SPDC source allows generation of the first 12-photon genuine entanglement with a state fidelity of 0.572(24). We further demonstrate a blueprint of scalable scattershot boson sampling using 12 SPDC sources and a 12*12-modes interferometer for three-, four-, and five-boson sampling, which yields count rates more than four orders of magnitudes higher than all previous SPDC experiments. Our work immediately enables high-efficiency implementations of multiplexing, scattershot boson sampling, and heralded creation of remotely entangled photons, opening up a promising pathway to scalable photonic quantum technologies.


title: A Blended Deep Learning Approach for Predicting User Intended Actions

abstract: User intended actions are widely seen in many areas. Forecasting these actions and taking proactive measures to optimize business outcome is a crucial step towards sustaining the steady business growth. In this work, we focus on pre- dicting attrition, which is one of typical user intended actions. Conventional attrition predictive modeling strategies suffer a few inherent drawbacks. To overcome these limitations, we propose a novel end-to-end learning scheme to keep track of the evolution of attrition patterns for the predictive modeling. It integrates user activity logs, dynamic and static user profiles based on multi-path learning. It exploits historical user records by establishing a decaying multi-snapshot technique. And finally it employs the precedent user intentions via guiding them to the subsequent learning procedure. As a result, it addresses all disadvantages of conventional methods. We evaluate our methodology on two public data repositories and one private user usage dataset provided by Adobe Creative Cloud. The extensive experiments demonstrate that it can offer the appealing performance in comparison with several existing approaches as rated by different popular metrics. Furthermore, we introduce an advanced interpretation and visualization strategy to effectively characterize the periodicity of user activity logs. It can help to pinpoint important factors that are critical to user attrition and retention and thus suggests actionable improvement targets for business practice. Our work will provide useful insights into the prediction and elucidation of other user intended actions as well.


title: An Initial Step Towards Organ Transplantation Based on GitHub Repository

abstract: Organ transplantation, which is the utilization of codes directly related to some specific functionalities to complete ones own program, provides more convenience for developers than traditional component reuse. However, recent techniques are challenged with the lack of organs for transplantation. Hence, we conduct an empirical study on extracting organs from GitHub repository to explore transplantation based on large-scale dataset. We analyze statistics from 12 representative GitHub projects and get the conclusion that 1) there are abundant practical organs existing in commits with add as a key word in the comments; 2) organs in this repository mainly possess four kinds of contents; 3) approximately 70% of the organs are easy-to-transplant. Implementing our transplantation strategy for different kinds of organs, we manually extract 30 organs in three different programming languages, namely Java, Python, and C, and make unit tests for them utilizing four testing tools (two for Java, one for Python, and one for C). At last, we transplant three Java organs into a specific platform for a performance check to verify whether they can work well in the new system. All the 30 organs extracted by our strategy possess good performances in unit test with the highest passing rate reaching 97% and the lowest one still passing 80% and the three Java organs work well in the new system, providing three new functionalities for the host. All the results indicate the feasibility of organ transplantation based on open-source repository, bringing new idea for code reuse.


title: VoiceFilter: Targeted Voice Separation by Speaker-Conditioned Spectrogram Masking

abstract: In this paper, we present a novel system that separates the voice of a target speaker from multi-speaker signals, by making use of a reference signal from the target speaker. We achieve this by training two separate neural networks: (1) A speaker recognition network that produces speaker-discriminative embeddings; (2) A spectrogram masking network that takes both noisy spectrogram and speaker embedding as input, and produces a mask. Our system significantly reduces the speech recognition WER on multi-speaker signals, with minimal WER degradation on single-speaker signals.


title: Zero entropy automorphisms of compact K\"ahler manifolds and dynamical filtrations

abstract: We study zero entropy automorphisms of a compact K\"ahler manifold $X$. Our goal is to bring to light some new structures of the action on the cohomology of $X$, in terms of the so-called dynamical filtrations on $H^{1,1}(X, {\mathbb R})$. Based on these filtrations, we obtain the first general upper bound on the polynomial growth of the iterations $(g^m)^* \, {\circlearrowleft} \, H^2(X, {\mathbb C})$ where $g$ is a zero entropy automorphism, in terms of ${\rm dim} \, X$ only. We also give an upper bound for the (essential) derived length $\ell_{\rm ess}(G, X)$ for every zero entropy subgroup $G$, again in terms of the dimension of $X$ only. We propose a conjectural upper bound for the essential nilpotency class $c_{\rm ess}(G,X)$ of a zero entropy subgroup $G$. Finally, we construct examples showing that our upper bound of the polynomial growth (as well as the conjectural upper bound of $c_{\rm ess}(G,X)$) are optimal.


title: FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq

abstract: Blockchain technology adds records to a list using cryptographic links. Therefore, the security of blockchain smart contracts is among the most popular contemporary research topics. To improve the theorem-proving technology in this field, we are developing an extensible hybrid verification tool chain, denoted as FSPVM-E, for Ethereum smart contract verification. This hybrid system extends the proof assistants in Coq, a formal proof-management system. Combining symbolic execution with higher-order theorem-proving, it solves consistency, automation, and reusability problems by standard theorem-proving approaches. This article completes the FSPVM-E by developing its proof engine. FSPVM-E is an extensible definitional interpreter based on our previous work FEther, which is totally developed in the Coq proof assistant. It supports almost all semantics of the Solidity programing language, and simultaneously executes multiple types of symbols. FEther also contains a set of automatic strategies that execute and verify the smart contracts in Coq with a high level of automation. The functional correctness of FEther was verified in Coq. In standard tutorials, the execution efficiency of FEther far exceeded that of the interpreters developed in Coq.


title: Localized Surface Plasmon Resonance on Two-Dimensional HfSe2 and ZrSe2

abstract: HfSe2 and ZrSe2 are newly discovered two-dimensional (2D) semiconducting transition metal dichalcogenides (TMDs) with promising properties for future nanoelectronics and optoelectronics. We theoretically revealed the electronic and optical properties of these two emerging 2D semiconductors, and evaluated their performance for the application of localized surface plasmon resonance (LSPR) at extreme conditions: in-plane direction versus out-of-plane direction and monolayer versus multilayer. First, the energy band structure and dielectric constants were calculated for both the monolayer and multilayer structures using Kohn-Sham density functional theory (KS-DFT) with van der Waals (vdW) corrections. A parallel-band effect observed in the monolayer band structure indicates a strong light-matter interaction. Then, based on the calculated dielectric constants, the performance of the LSPR excited by Au sphere nanoparticles (NPs) was quantitatively characterized, including polarizability, scattering and absorption cross-sections, and radiative efficiency using Mie theory. For the multilayer HfSe2 and ZrSe2, the LSPR showed very comparable intensities in both the in-plane and out-of-plane directions, suggesting an isotropy-like light-matter interaction. In a comparison, the LSPR excited on the monolayer HfSe2 and ZrSe2 was clearly observed in the in-plane direction but effectively suppressed in the out-of-plane direction due to the unique anisotropic nature. In addition to this extraordinary anisotropy-to-isotropy transition as the layer number increases, a red-shift of the LSPR wavelength was also found. Our work has predicated the thickness-dependent anisotropic light-matter interaction on the emerging 2D semiconducting HfSe2 and ZrSe2, which holds great potential for broad optoelectronic applications such as sensing and energy conversion.


title: Mean Row Values in $(u,v)$-Calkin-Wilf Trees

abstract: We fix integers $u,v \geq 1$, and consider an infinite binary tree $\mathcal{T}^{(u,v)}(z)$ with a root node whose value is a positive rational number $z$. For every vertex $a/b$, we label the left child as $a/(ua+b)$ and right child as $(a+vb)/b$. The resulting tree is known as the $(u,v)$-Calkin-Wilf tree. As $z$ runs over $[1/u,v]\cap \mathbb{Q}$, the vertex sets of $\mathcal{T}^{(u,v)}(z)$ form a partition of $\mathbb{Q}^+$. When $u=v=1$, the mean row value converges to $3/2$ as the row depth increases. Our goal is to extend this result for any $u,v\geq 1$. We show that, when $z\in [1/u,v]\cap \mathbb{Q}$, the mean row value in $\mathcal{T}^{(u,v)}(z)$ converges to a value close to $v+\log 2/u$ uniformly on $z$.


title: A new rank-order clustering algorithm for prolonging the lifetime of wireless sensor networks

abstract: Energy efficient resource management is critical for prolonging the lifetime of wireless sensor networks (WSN). Clustering of sensor nodes with the aim of distributing the traffic loads in the network is a proven approach for balanced energy consumption in WSN. The main body of literature in this topic can be classified as hierarchical and distance-based clustering techniques in which multi-hop, multi-level forwarding and distance-based criteria, respectively, are utilized for categorization of sensor nodes. In this study, we propose the Approximate Rank-Order Wireless Sensor Networks (ARO-WSN) clustering algorithm as a combined hierarchical and distance-based clustering approach. ARO-WSN algorithm which has been extensively used in the field of image processing, runs in the order of O(n) for a large data set, therefore it can be applied on WSN. The results shows that ARO-WSN outperforms the classical LEACH, LEACH-C and K-means clustering algorithms in the terms of energy consumption and network lifetime.


title: Dominant non-local superconducting proximity effect due to electron-electron interaction in a ballistic double nanowire

abstract: Cooper pair splitting (CPS) can induce non-local correlation between two normal conductors coupling to a superconductor. CPS into a double one-dimensional electron gas is an appropriate platform for extracting large amount of entangled electron pairs and one of the key ingredients for engineering Majorana Fermions with no magnetic field. Here we study CPS using a Josephson junction of a gate-tunable ballistic InAs double nanowire. The measured switching current into the two nanowires significantly larger than sum of that into the respective nanowires, indicating the inter-wire superconductivity dominant compared to the intra-wire superconductivity. From dependence on the number of propagating channels in the nanowires, the observed CPS is assigned to one-dimensional electron-electron interaction. Our results will pave the way for utilizing one-dimensional electron-electron interaction to reveal physics of high-efficient CPS and engineer Majorana Fermions in double nanowire systems via CPS.


title: Computational Technologies for Brain Morphometry

abstract: In this paper, we described a set of computational technologies for image analysis with applications in Brain Morphometry. The proposed technologies are based on a new Variational Principle which constructs a transformation with prescribed Jacobian determinant (which models local size changes) and prescribed curl-vector (which models local rotations). The goal of this research is to convince the image research community that Jacobian determinant as well as curl-vector should be used in all steps of image analysis. Specifically, we develop an optimal control method for non-rigid registration; a new concept and construction of average transformation; and a general robust method for construction of unbiased template from a set of images. Computational examples are presented to show the effects of curl-vector and the effectiveness of optimal control methods for non-rigid registration and our method for construction of unbiased template.


title: Universal abelian variety and Siegel modular forms

abstract: We prove that the ring of Siegel modular forms of weight divisible by g+n+1 is isomorphic to the ring of (log) pluricanonical forms on the n-fold Kuga family of abelian varieties and its certain compactifications, for every arithmetic group for a symplectic form of rank 2g>2. We also give applications to the Kodaira dimension of the Kuga variety. In most cases, the Kuga variety has canonical singularities.


title: Periodicity and Cyclic Homology. Para-S-Modules and Perturbation Lemmas

abstract: In this paper, we introduce a paracyclic version of $S$-modules. These new objects are called para-$S$-modules. Paracyclic modules and parachain complexes give rise to para-$S$-modules much in the same way as cyclic modules and mixed complexes give rise to $S$-modules. More generally, para-$S$-modules provide us with a natural framework to get analogues for paracyclic modules and parachain complexes of various constructions and equivalence results for cyclic modules or mixed complexes. The datum of a para-$S$-module does not provide us with a chain complex, and so notions of homology and quasi-isomorphisms do not make sense. We establish some generalizations for para-$S$-modules and parachain complexes of the basic perturbation lemma of differential homological algebra. These generalizations provide us with general recipes for converting deformation retracts of Hoschschild chain complexes into deformation retracts of para-$S$-modules. By using ideas of Kassel this then allows us to get comparison results between the various para-$S$-modules associated with para-precyclic modules, and between them and Connes' cyclic chain complex. These comparison results lead us to alternative descriptions of Connes' periodicity operator. This has some applications in periodic cyclic homology. We also describe the counterparts of these results in cyclic cohomology. In particular, we obtain an explicit way to convert a periodic $(b,B)$-cocycle into a cohomologous periodic cyclic cocycle.


title: Well-posedness of time-fractional, advection-diffusion-reaction equations

abstract: We establish the well-posedness of an initial-boundary value problem for a general class of time-fractional, advection-diffusion-reaction equations, allowing space- and time-dependent coefficients as well as initial data that may have low regularity. Our analysis relies on novel energy methods in combination with a fractional Gronwall inequality and properties of fractional integrals.


title: Pair Production of Higgs Boson in G2HDM at the LHC

abstract: Pair production of Higgs boson at the Large Hadron Collider (LHC) is known to be important for the determination of Higgs boson self-coupling and the probe of new physics beyond the Standard Model (SM), especially the existence of new fundamental scalar boson. In this paper we study in detail the Higgs pair production at the LHC in a well-motivated model, the Gauged Two Higgs Doublet Model (G2HDM) in which the two Higgs doublets are properly embedded into a gauged $SU(2)_H$ and a dark matter candidate emerges naturally due to the gauge symmetry. Besides the deviations of Higgs couplings from the SM predictions, the existence of new scalars could enhance the production cross section of Higgs boson pair at the LHC significantly. However, when we take into account the relic density of dark matter and the null result in its direct search, only moderate enhancement can be maintained. We also comment on the capability of distinguishing the signal of a new generic scalar from the SM at the LHC, assuming the Higgs pair production cross sections are the same.


title: Lasing at the K-points of a honeycomb plasmonic lattice

abstract: We study lasing at the high-symmetry points of the Brillouin zone in a honeycomb plasmonic lattice. We use symmetry arguments to define singlet and doublet modes at the $\Kp$-points of the reciprocal space. We experimentally demonstrate lasing at the $\Kp$-points \changed{that is based on plasmonic lattice modes and two-dimensional feedback}. By comparing polarization properties to \changed{$T$-matrix} simulations, we identify the lasing mode as one of the singlets with an energy minimum at the $\Kp$-point enabling feedback. Our results offer prospects for studies of topological lasing in radiatively coupled systems.


title: Eyes are the Windows to the Soul: Predicting the Rating of Text Quality Using Gaze Behaviour

abstract: Predicting a reader's rating of text quality is a challenging task that involves estimating different subjective aspects of the text, like structure, clarity, etc. Such subjective aspects are better handled using cognitive information. One such source of cognitive information is gaze behaviour. In this paper, we show that gaze behaviour does indeed help in effectively predicting the rating of text quality. To do this, we first model text quality as a function of three properties - organization, coherence and cohesion. Then, we demonstrate how capturing gaze behaviour helps in predicting each of these properties, and hence the overall quality, by reporting improvements obtained by adding gaze features to traditional textual features for score prediction. We also hypothesize that if a reader has fully understood the text, the corresponding gaze behaviour would give a better indication of the assigned rating, as opposed to partial understanding. Our experiments validate this hypothesis by showing greater agreement between the given rating and the predicted rating when the reader has a full understanding of the text.


title: A Comparison of CP-OFDM, PCC-OFDM and UFMC for 5G Uplink Communications

abstract: Polynomial-cancellation-coded orthogonal frequency division multiplexing (PCC-OFDM) is a form of OFDM that has waveforms which are very well localized in both the time and frequency domains and so it is ideally suited for use in the 5G network. This paper analyzes the performance of PCC-OFDM in the uplink of a multiuser system using orthogonal frequency division multiple access (OFDMA) and compares it with conventional cyclic prefix OFDM (CP-OFDM), and universal filtered multicarrier (UFMC). PCC-OFDM is shown to be much less sensitive than either CP-OFDM or UFMC to time and frequency offsets. For a given constellation size, PCC-OFDM in additive white Gaussian noise (AWGN) requires 3dB lower signal-to-noise ratio (SNR) for a given bit-error-rate, and the SNR advantage of PCC-OFDM increases rapidly when there are timing and/or frequency offsets. For PCC-OFDM no frequency guard band is required between different OFDMA users. PCC-OFDM is completely compatible with CP-OFDM and adds negligible complexity and latency, as it uses a simple mapping of data onto pairs of subcarriers at the transmitter, and a simple weighting-and-adding of pairs of subcarriers at the receiver. The weighting and adding step, which has been omitted in some of the literature, is shown to contribute substantially to the SNR advantage of PCC-OFDM. A disadvantage of PCC-OFDM (without overlapping) is the potential reduction in spectral efficiency because subcarriers are modulated in pairs, but this reduction is more than regained because no guard band or cyclic prefix is required and because, for a given channel, larger constellations can be used.


title: Unexpected Thermal Conductivity Enhancement in Pillared Graphene Nanoribbon with Isotopic Resonance

abstract: Thermal transport in nanoribbon based nanostructures is critical to advancing its applications. Wave effects of phonons can give rise to controllability of heat conduction in nanostructures beyond that by particle scattering. In this paper, by introducing pillars to form structural resonance, we systematically studied the thermal conductivity of graphene nanoribbon based phononic metamaterials (GNPM) through non-equilibrium molecular dynamical simulation. Interestingly, it is found that the thermal conductivity of GNPM is counter intuitively enhanced by isotope engineering, which is strong contrast to the common notion that isotope engineering reduces thermal conductivity.Further mode analysis and atomic Green function calculation reveal that the unexpected increasing in thermal conductivity originates from the breaking of the resonant hybridization wave effect between the resonant modes and the propagating modes induced by isotope engineering. Besides, factors including the system width and pillar height can also efficiently tune the thermal conductivity of GNPM. This abnormal mechanism provides a new dimension to manipulate phonon transport in nanoribbon based nanostructures through wave effect.


title: On formulations of skew factor models: skew errors versus skew factors

abstract: In the past few years, there have been a number of proposals for generalizing the factor analysis (FA) model and its mixture version (known as mixtures of factor analyzers (MFA)) using non-normal and asymmetric distributions. These models adopt various types of skew densities for either the factors or the errors. While the relationships between various choices of skew distributions have been discussed in the literature, the differences between placing the assumption of skewness on the factors or on the errors have not been closely studied. This paper examines these formulations and discusses the connections between these two types of formulations for skew factor models. In doing so, we introduce a further formulation that unifies these two formulations; that is, placing a skew distribution on both the factors and the errors.


title: Longitudinal tension and mechanical stability of a pressurized straw tube

abstract: For the development of charged particle detectors based on straw tubes operating in vacuum, a special measurement technique is required for the evaluation of their mechanical properties. A summary of the known equations that govern straw behavior under internal pressure is provided, and a new experimental method of a strained pressurized straw tube study is presented in this paper. The Poisson's ratio of the straw wall, which defines the stability conditions of a built-in tube, is measured for the NA62 spectrometer straw, and its minimum pre-tension is estimated.


title: Self-similar wave breaking in dispersive Korteweg-de Vries hydrodynamics

abstract: We discuss the problem of breaking of a nonlinear wave in the process of its propagation into a medium at rest. It is supposed that the profile of the wave is described at the breaking moment by the function $(-x)^{1/n}$ ($x<0$, positive pulse) or $-x^{1/n}$ ($x>0$, negative pulse) of the coordinate $x$. Evolution of the wave is governed by the Korteweg-de Vries equation resulting in formation of a dispersive shock wave. In the positive pulse case, the dispersive shock wave forms at the leading edge of the wave structure, and in the negative pulse case at its rear edge. The dynamics of dispersive shock waves is described by the Whitham modulation equations. For power law initial profiles, this dynamics is self-similar and the solution of the Whitham equations is obtained in a closed form for arbitrary $n>1$.


title: Some remarks on Birkhoff-James orthogonality of linear operators

abstract: We study Birkhoff-James orthogonality of compact (bounded) linear operators between Hilbert spaces and Banach spaces. Applying the notion of semi-inner-products in normed linear spaces and some related geometric ideas, we generalize and improve some of the recent results in this context. In particular, we obtain a characterization of Euclidean spaces and also prove that it is possible to retrieve the norm of a compact (bounded) linear operator (functional) in terms of its Birkhoff-James orthogonality set. We also present some best approximation type results in the space of bounded linear operators.


title: Regulatory Options and Technical Challenges for the 5.9 GHz Spectrum: Survey and Analysis

abstract: In 1999, the Federal Communications Commission (FCC) allocated 75 MHz in the 5.9 GHz ITS Band (5850-5925 MHz) for use by Dedicated Short Range Communications (DSRC) to facilitate information transfer between equipped vehicles and roadside systems. This allocation for DSRC in the ITS band has been a co-primary allocation while the band is shared with the Fixed Satellite Service (FSS), fixed microwave service, amateur radio services and other Federal users authorized by the National Telecommunications and Information Administration (NTIA). In recent time, Cellular V2X (C-V2X), introduced in 3GPP Release 14 LTE standard, has received significant attention due to its perceived ability to deliver superior performance with respect to vehicular safety applications. There is a strong momentum in the industry for C-V2X to be considered as a viable alternative to DSRC and accordingly, to operate in the ITS spectrum. In another recent notice, the FCC is soliciting input for a proposed rulemaking to open up more bandwidth for unlicensed Wi-Fi devices, mainly based on the 802.11ac standard. The FCC plans to work with the Department of Transportation (DoT), and the automotive and communications industries to evaluate potential sharing techniques in the ITS band between DSRC and Wi-Fi devices. This paper analyzes the expected scenarios that might emerge from FCC and the National Highway Traffic Safety Administration (NHTSA) regulation options and identifies the technical challenge associated with each scenario. We also provide a literature survey and find that many of resulting technical challenges remain open research problems that need to be addressed. We conclude that the most challenging issue is related to the interoperability between DSRC and C-V2X in the 5.9 GHz band and the detection and avoidance of harmful adjacent and co-channel interference.


title: Observation of magnetic structural universality using transverse NMR relaxation

abstract: Transverse NMR relaxation from spins diffusing through a random magnetic medium is sensitive to its structure on a mesoscopic scale. In particular, this results in the time-dependent relaxation rate. We show analytically and numerically that this rate approaches the long-time limit in a power-law fashion, with the exponent reflecting the disorder class of mesoscopic magnetic structure. The spectral line shape acquires a corresponding non-analytic power law singularity at zero frequency. We experimentally detect a change in the dynamical exponent as a result of the transition into a maximally random jammed state characterized by hyperuniform correlations.


title: Performance Analysis of NDT-based Graph SLAM for Autonomous Vehicle in Diverse Typical Driving Scenarios of Hong Kong

abstract: Robust and lane-level positioning is essential for autonomous vehicles. As an irreplaceable sensor, LiDAR can provide continuous and high-frequency pose estimation by means of mapping, on condition that enough environment features are available. The error of mapping can accumulate over time. Therefore, LiDAR is usually integrated with other sensors. In diverse urban scenarios, the environment feature availability relies heavily on the traffic (moving and static objects) and the degree of urbanization. Common LiDAR-based SLAM demonstrations tend to be studied in light traffic and less urbanized area. However, its performance can be severely challenged in deep urbanized cities, such as Hong Kong, Tokyo, and New York with dense traffic and tall buildings. This paper proposes to analyze the performance of standalone NDT-based graph SLAM and its reliability estimation in diverse urban scenarios to further evaluate the relationship between the performance of LiDAR-based SLAM and scenario conditions. The normal distribution transform (NDT) is employed to calculate the transformation between frames of point clouds. Then, the LiDAR odometry is performed based on the calculated continuous transformation. The state-of-the-art graph-based optimization is used to integrate the LiDAR odometry measurements to implement optimization. The 3D building models are generated and the definition of the degree of urbanization based on Skyplot is proposed. Experiments are implemented in different scenarios with different degrees of urbanization and traffic conditions. The results show that the performance of the LiDAR-based SLAM using NDT is strongly related to the traffic condition and degree of urbanization.


title: Numerical approximation of elliptic problems with log-normal random coefficients

abstract: In this work, we consider a non-standard preconditioning strategy for the numerical approximation of the classical elliptic equations with log-normal random coefficients. In \cite{Wan_model}, a Wick-type elliptic model was proposed by modeling the random flux through the Wick product. Due to the lower-triangular structure of the uncertainty propagator, this model can be approximated efficiently using the Wiener chaos expansion in the probability space. Such a Wick-type model provides, in general, a second-order approximation of the classical one in terms of the standard deviation of the underlying Gaussian process. Furthermore, when the correlation length of the underlying Gaussian process goes to infinity, the Wick-type model yields the same solution as the classical one. These observations imply that the Wick-type elliptic equation can provide an effective preconditioner for the classical random elliptic equation under appropriate conditions. We use the Wick-type elliptic model to accelerate the Monte Carlo method and the stochastic Galerkin finite element method. Numerical results are presented and discussed.


title: Elements of Aomoto's generalized hypergeometric functions and a novel perspective on Gauss' hypergeometric differential equation

abstract: We review Aomoto's generalized hypergeometric functions on Grassmannian spaces Gr(k +1, n+1). Particularly, we clarify integral representations of the generalized hypergeometric functions in terms of twisted homology and cohomology. With an example of the Gr(2, 4) case, we consider in detail Gauss' original hypergeometric functions in Aomoto's framework. This leads us to present a new systematic description of Gauss' hypergeometric differential equation in a form of a first order Fuchsian differential equation.


title: PANDA: AdaPtive Noisy Data Augmentation for Regularization of Undirected Graphical Models

abstract: We propose an AdaPtive Noise Augmentation (PANDA) technique to regularize the estimation and construction of undirected graphical models. PANDA iteratively optimizes the objective function given the noise augmented data until convergence to achieve regularization on model parameters. The augmented noises can be designed to achieve various regularization effects on graph estimation, such as the bridge (including lasso and ridge), elastic net, adaptive lasso, and SCAD penalization; it also realizes the group lasso and fused ridge. We examine the tail bound of the noise-augmented loss function and establish that the noise-augmented loss function and its minimizer converge almost surely to the expected penalized loss function and its minimizer, respectively. We derive the asymptotic distributions for the regularized parameters through PANDA in generalized linear models, based on which, inferences for the parameters can be obtained simultaneously with variable selection. We show the non-inferior performance of PANDA in constructing graphs of different types in simulation studies and apply PANDA to an autism spectrum disorder data to construct a mixed-node graph. We also show that the inferences based on the asymptotic distribution of regularized parameter estimates via PANDA achieve nominal or near-nominal coverage and are far more efficient, compared to some existing post-selection procedures. Computationally, PANDA can be easily programmed in software that implements (GLMs) without resorting to complicated optimization techniques.


title: Aerobatics of flying saucers

abstract: Starting from the observation that a flying saucer is a nonholonomic mechanical system whose 5-dimensional configuration space is a contact manifold, we show how to enrich this space with a number of geometric structures by imposing further nonlinear restrictions on the saucer's velocity. These restrictions define certain `manoeuvres' of the saucer, which we call `attacking,' `landing,' or `G2 mode' manoeuvres, and which equip its configuration space with three kinds of flat parabolic geometry in five dimensions. The attacking manoeuvre corresponds to the flat Legendrean contact structure, the landing manoeuvre corresponds to the flat hypersurface type CR structure with Levi form of signature (1,1), and the most complicated G2 manoeuvre corresponds to the contact Engel structure with split real form of the exceptional Lie group G2 as its symmetries. A celebrated double fibration relating the two nonequivalent flat 5-dimensional parabolic G2 geometries is used to construct a `G2 joystick,' consisting of two balls of radii in ratio 1:3 that transforms the difficult G2 manoeuvre into the pilot's action of rolling one of joystick's balls on the other without slipping nor twisting.


title: Comment on arXiv:1810.00886: "Strong Cosmic Censorship: the nonlinear story"

abstract: A very interesting work that has recently appeared in the physics literature [arXiv:1810.00886] claims that the strong cosmic censorship conjecture, a fundamental cornerstone of black-hole physics, may be violated in asymptotically de Sitter charged spacetimes. In this short Comment I would like to point out that this conclusion cannot be self-consistently deduced from the numerical simulations presented in arXiv:1810.00886.


title: Diffusion in the presence of correlated dynamical disorder and coherent exciton transfer in the non-Markovian limit

abstract: The presence of static off-diagonal disorder promotes coherent exciton transport while diffusive motion can be recovered in the presence of fluctuations in the diagonal and off-diagonal elements of the Hamiltonian. Here we study the crossover induced by correlated dynamical disorder.We uncover a novel role of the excited bath states (ExBS) in dictating quantum coherence and quantum transport in dissipative quantum systems interacting with correlated bath.We solve both analytically and numerically the temperature dependent Quantum Stochastic Liouville equation (TD-QSLE) to study temperature dependence of quantum coherence in both linear chains and cyclic trimer (first three subunits of Fenna-Matthews-Olson(FMO) and also heptamer) complexes, using Haken-Strobl-Reineker Hamiltonian. In the non-Markovian limit where the lowering of temperature induces long-lasting quantum coherences, ExBSnot only determines the lifetime of coherences but also dictates the long time population distribution. We find a parallelism between classical and quantum systems through transitions among excited bath states that provides a deeper insight about role of temperature in equilibrium distribution.The effects of dynamic disorder and excited bath stat eon quantum entanglement (through the calculation of concurrence) in single exciton manifold are demonstrated.


title: Aerodynamics of flying saucers

abstract: We identify various structures on the configuration space C of a flying saucer, moving in a three-dimensional smooth manifold M. Always C is a five-dimensional contact manifold. If M has a projective structure, then C is its twistor space and is equipped with an almost contact Legendrean structure. Instead, if M has a conformal structure, then the saucer moves according to a CR structure on C. With yet another structure on M, the contact distribution in C is equipped with a cone over a twisted cubic. This defines a certain type of Cartan geometry on C (more specifically, a type of `parabolic geometry') and we provide examples when this geometry is `flat,' meaning that its symmetries comprise the split form of the exceptional Lie algebra G2.


title: The Integrated Sachs-Wolfe Effect in the Bulk Viscous Dark Energy Model

abstract: We examine linear perturbation theory to evaluate the contribution of viscosity coefficient in the growing of dark matter perturbations in the context of the bulk viscous dark energy model inspired by thermodynamical dissipative phenomena proposed by [B. Mostaghel et al., 2017, The European Physical Journal C, 77, 541]. As the cosmological implementations, we investigate the {\it Integrated Sachs-Wolfe} (ISW) auto-power spectrum, the ISW-galaxy cross-power spectrum and derive limits on $f\sigma_8$. The dimensionless bulk viscosity coefficient ($\gamma$) in the absence of interaction between dark sectors, modifies the Hubble parameter and the growth function, while the Poisson equation remains unchanged. Increasing $\gamma$ reduces the dark matter growing mode at the early epoch while a considerable enhancement will be achieved at the late time. This behavior imposes non-monotonic variation in the time evolution of gravitational potential generating a unique signature on the CMB photons. The bulk viscous dark energy model leads to almost a decreasing in ISW source function at the late time. Implementation of the Redshift Space Distortion (RSD) observations based on "Gold-2017" catalogue, shows $\Omega^0_{\rm m} =0.303^{+0.044}_{-0.038}$, $\gamma=0.033^{+0.098}_{-0.033}$ and $\sigma_8= 0.769^{+0.080}_{-0.089}$ at $1\sigma$ level of confidence. Finally, tension in the $\sigma_8$ is alleviated in our viscous dark energy model.


title: Simplex-averaged finite element methods for $H({\rm grad})$, $H({\rm curl})$ and $H({\rm div})$ convection-diffusion problems

abstract: This paper is devoted to the construction and analysis of the finite element approximations for the $H(D)$ convection-diffusion problems, where $D$ can be chosen as ${\rm grad}$, ${\rm curl}$ or ${\rm div}$ in 3D case. An essential feature of these constructions is to properly average the PDE coefficients on the sub-simplexes. The schemes are of the class of exponential fitting methods that result in special upwind schemes when the diffusion coefficient approaches to zero. Their well-posedness are established for sufficiently small mesh size assuming that the convection-diffusion problems are uniquely solvable. Convergence of first order is derived under minimal smoothness of the solution. Some numerical examples are given to demonstrate the robustness and effectiveness for general convection-diffusion problems.


title: Efficient simulation of the swept-waveform polarization dynamics in fiber spools and Fourier domain mode-locked (FDML) lasers

abstract: We present a theoretical model and its efficient numerical implementation for the simulation of wavelength-swept waveform propagation in fiber systems such as Fourier domain mode-locked (FDML) lasers, fully accounting for the polarization dynamics in fiber spools and further polarization dependent optical components in the setup. This approach enables us to perform long-time simulations of the FDML laser dynamics over more than 100000 cavity roundtrips, as required for some FDML configurations to ensure convergence to the steady state operating regime. The model is validated against experimental results for single propagation through a fiber spool and for stationary FDML operation. The polarization dynamics due to the fiber spool, inducing polarization-mode dispersion, bending birefringence as well as cross-phase modulation, and other optical components such as the Faraday-rotating mirror used for polarization compensation is thoroughly investigated.


title: Policy Design for Active Sequential Hypothesis Testing using Deep Learning

abstract: Information theory has been very successful in obtaining performance limits for various problems such as communication, compression and hypothesis testing. Likewise, stochastic control theory provides a characterization of optimal policies for Partially Observable Markov Decision Processes (POMDPs) using dynamic programming. However, finding optimal policies for these problems is computationally hard in general and thus, heuristic solutions are employed in practice. Deep learning can be used as a tool for designing better heuristics in such problems. In this paper, the problem of active sequential hypothesis testing is considered. The goal is to design a policy that can reliably infer the true hypothesis using as few samples as possible by adaptively selecting appropriate queries. This problem can be modeled as a POMDP and bounds on its value function exist in literature. However, optimal policies have not been identified and various heuristics are used. In this paper, two new heuristics are proposed: one based on deep reinforcement learning and another based on a KL-divergence zero-sum game. These heuristics are compared with state-of-the-art solutions and it is demonstrated using numerical experiments that the proposed heuristics can achieve significantly better performance than existing methods in some scenarios.

categories: cs.IT cs.AI cs.LG cs.SY math.IT math.ST stat.TH


title: (2+1)$-dimensional sonic black hole from spin-orbit coupled Bose-Einstein condensate and its analogue Hawking radiation

abstract: We study the properties of a $2+1$ dimensional Sonic black hole (SBH) that can be realised, in a quasi-two-dimensional two-component spin-orbit coupled Bose-Einstein condensate (BEC). The corresponding equation for phase fluctuations in the total density mode that describes phonon field in the hydrodynamic approximation is described by a scalar field equation in $2+1$ dimension whose space-time metric is significantly different from that of the SBH realised from a single component BEC that was studied experimentally, and, theoretically meticulously in literature. Given the breakdown of the irrotationality constraint of the velocity field in such spin-orbit coupled BEC, we study in detail how the time evolution of such condensate impacts the various properties of the resulting SBH. By time evolving the condensate in a suitably created laser-induced potential, we show that such a sonic black hole is formed, in an annular region bounded by inner and outer event horizon as well as elliptical ergo-surfaces. We observe amplifying density modulation due to the formation of such sonic horizons and show how they change the nature of analogue Hawking radiation emitted from such sonic black hole by evaluating the density-density correlation at different times, using the truncated Wigner approximation (TWA) for different values of spin-orbit coupling parameters. We finally investigate the thermal nature of such analogue Hawking radiation.


title: Second Order Phase Transition and Universality of Self-Buckled Elastic Slender Columns

abstract: Self-buckling is an interesting phenomenon that is easily found around us, either in nature or in objects made by human. Palm fronds which initially directed upward when they were short and turned into bending after appreciably longer is an example of the self-buckling phenomenon. We report here that the self-buckling of columns can be treated as a process of second order phase transition by considering the straight column as disorder state, the bending column as order state, and the temperature as the inverse of column length. The critical temperature corresponds to the inverse of critical length for buckling, 1/Lcr, and the deviation angle made by column free end relative to vertical direction satisfies a scaling relationship with a scaling power of 0.485. Changing of the column geometry from the vertically upward to the bending state can be considered as a transition from disorder state to order state.


title: Capability and the Schur multiplier of generalized Heisenberg Lie superalgebras

abstract: Recently, in [18] the authors gave some results on the structure, capability and the Schur multiplier of generalized Heisenberg Lie superalgebra. In this work we try to extend these concepts to the case of generalized Heisenberg Lie superalgebra.


title: Classification using margin pursuit

abstract: In this work, we study a new approach to optimizing the margin distribution realized by binary classifiers. The classical approach to this problem is simply maximization of the expected margin, while more recent proposals consider simultaneous variance control and proxy objectives based on robust location estimates, in the vein of keeping the margin distribution sharply concentrated in a desirable region. While conceptually appealing, these new approaches are often computationally unwieldy, and theoretical guarantees are limited. Given this context, we propose an algorithm which searches the hypothesis space in such a way that a pre-set "margin level" ends up being a distribution-robust estimator of the margin location. This procedure is easily implemented using gradient descent, and admits finite-sample bounds on the excess risk under unbounded inputs. Empirical tests on real-world benchmark data reinforce the basic principles highlighted by the theory, and are suggestive of a promising new technique for classification.


title: Sequence-to-Sequence Models for Data-to-Text Natural Language Generation: Word- vs. Character-based Processing and Output Diversity

abstract: We present a comparison of word-based and character-based sequence-to-sequence models for data-to-text natural language generation, which generate natural language descriptions for structured inputs. On the datasets of two recent generation challenges, our models achieve comparable or better automatic evaluation results than the best challenge submissions. Subsequent detailed statistical and human analyses shed light on the differences between the two input representations and the diversity of the generated texts. In a controlled experiment with synthetic training data generated from templates, we demonstrate the ability of neural models to learn novel combinations of the templates and thereby generalize beyond the linguistic structures they were trained on.


title: Unconventional transport behavior in the Quaternary Heusler compounds CoFeTiSn and CoFeVGa

abstract: We report here the electrical transport and magnetic properties of the newly synthesized quaternary Heusler compound CoFeTiSn and CoFeVGa. We observe a striking change in the electronic transport properties of CoFeTiSn as the system undergoes the paramagnetic to ferromagnetic transition. While the sample shows an activated semiconducting behaviour in the paramagnetic phase, it turns abruptly to a metallic phase with the onset of ferromagnetic transition. We have compared the system with other Hesuler compounds showing similar anomaly in transport, and it appears that CoFeTiSn has much similarities with the Fe$_2$VAl compound having pseudogap in the paramagnetic phase. In sharp contrast, CoFeVGa shows a predominantly semiconducting behaviour down to 90 K, below which it shows a window of metallic region. Both the compositions show negative Seebeck coefficient varying linearly with temperature. The value of the Seebeck coefficient of CoFeTiSn is comparable to that of many Heusler alloys identified as potential thermoelectric materials.


title: Model-Based Safety and Security Engineering

abstract: By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid hazards, safety and security need to be integrated, exchanging information, such as, key hazards/threats, risk evaluations, mechanisms used. This white paper describes some steps towards this integration by using models. We start by identifying some key technical challenges. Then we demonstrate how models, such as Goal Structured Notation (GSN) for safety and Attack Defense Trees (ADT) for security, can address these challenges. In particular, (1) we demonstrate how to extract in an automated fashion security relevant information from safety assessments by translating GSN-Models into ADTs; (2) We show how security results can impact the confidence of safety assessments; (3) We propose a collaborative development process where safety and security assessments are built by incrementally taking into account safety and security analysis; (4) We describe how to carry out trade-off analysis in an automated fashion, such as identifying when safety and security arguments contradict each other and how to solve such contradictions. We conclude pointing out that these are the first steps towards a wide range of techniques to support Safety and Security Engineering. As a white paper, we avoid being too technical, preferring to illustrate features by using examples and thus being more accessible.


title: Observation of planar Hall effect in the magnetic Weyl semimetal Co$_{3}$Sn$_{2}$S$_{2}$

abstract: We report detailed magneto-transport measurements on single crystals of the magnetic Weyl semi-metal Co$_{3}$Sn$_{2}$S$_{2}$. Recently a large anomalous Hall effect and chiral anomaly have been observed in this material which have been suggested to be related to the large Berry curvature between the Weyl points (Liu et al., Nature Physics (2018).). Another effect expected to result from the topological band structure of magnetic Weyl materials is the planar Hall effect (PHE). In this work we report observation of this intrinsic effect in single crystals of Co$_{3}$Sn$_{2}$S$_{2}$. Crucially, the PHE is observed for temperature $T \leq 74$~K which is much smaller than the ferromagnetic ordering temperature $T_c = 175$~K\@. Together with the large anomalous Hall conductivity, this further demonstrates the Topological character of Co$_3$Sn$_2$S$_2$.


title: Lifting the Heston model

abstract: How to reconcile the classical Heston model with its rough counterpart? We introduce a lifted version of the Heston model with n multi-factors, sharing the same Brownian motion but mean reverting at different speeds. Our model nests as extreme cases the classical Heston model (when n = 1), and the rough Heston model (when n goes to infinity). We show that the lifted model enjoys the best of both worlds: Markovianity and satisfactory fits of implied volatility smiles for short maturities with very few parameters. Further, our approach speeds up the calibration time and opens the door to time-efficient simulation schemes.


title: On the problem of proton radius puzzle

abstract: This paper concerns the most intriguing question of modern atomic physics: determination of the proton root-mean-square (rms) charge radius ($r_p$). This problem was announced by the difference in $r_p$ values extracted from the experiments on measurement of transition frequencies in hydrogen ($H$) atom and measurement of Lamb shift in muonic hydrogen ($\mu H$) atom. The both experiments give the possibility for the very accurate comparison of values evaluated theoretically and experimentally. As a result of this analysis the value of proton charge radius extracted from the $\mu H$ experiment was found on $4\%$ smaller than the value given by the hydrogenic experiments. For a decade a lot of theoretical efforts were devoted to the search of 'new physics' on the basis of such deviation. In this paper we reproduce the analysis on determination of proton charge radius in the hydrogen atom.


title: Path matrix and path energy of graphs

abstract: Given a graph $G$, we associate a path matrix $P$ whose $(i, j)$ entry represents the maximum number of vertex disjoint paths between the vertices $i$ and $j$, with zeros on the main diagonal. In this note, we resolve four conjectures from [M. M. Shikare, P. P. Malavadkar, S. C. Patekar, I. Gutman, \emph{On Path Eigenvalues and Path Energy of Graphs}, MATCH Commun. Math. Comput. Chem. {\bf 79} (2018), 387--398.] on the path energy of graphs and finally present efficient $O(|E| |V|^3)$ algorithm for computing the path matrix used for verifying computational results.


title: A Data-Efficient Framework for Training and Sim-to-Real Transfer of Navigation Policies

abstract: Learning effective visuomotor policies for robots purely from data is challenging, but also appealing since a learning-based system should not require manual tuning or calibration. In the case of a robot operating in a real environment the training process can be costly, time-consuming, and even dangerous since failures are common at the start of training. For this reason, it is desirable to be able to leverage \textit{simulation} and \textit{off-policy} data to the extent possible to train the robot. In this work, we introduce a robust framework that plans in simulation and transfers well to the real environment. Our model incorporates a gradient-descent based planning module, which, given the initial image and goal image, encodes the images to a lower dimensional latent state and plans a trajectory to reach the goal. The model, consisting of the encoder and planner modules, is trained through a meta-learning strategy in simulation first. We subsequently perform adversarial domain transfer on the encoder by using a bank of unlabelled but random images from the simulation and real environments to enable the encoder to map images from the real and simulated environments to a similarly distributed latent representation. By fine tuning the entire model (encoder + planner) with far fewer real world expert demonstrations, we show successful planning performances in different navigation tasks.


title: Deep Learning-Based Model Predictive Control for Resonant Power Converters

abstract: Resonant power converters offer improved levels of efficiency and power density. In order to implement such systems, advanced control techniques are required to take the most of the power converter. In this context, model predictive control arises as a powerful tool that is able to consider nonlinearities and constraints, but it requires the solution of complex optimization problems or strong simplifying assumptions that hinder its application in real situations. Motivated by recent theoretical advances in the field of deep learning, this paper proposes to learn, offline, the optimal control policy defined by a complex model predictive formulation using deep neural networks so that the online use of the learned controller requires only the evaluation of a neural network. The obtained learned controller can be executed very rapidly on embedded hardware. We show the potential of the presented approach on a Hardware-in-the-Loop setup of an FPGA-controlled resonant power converter.


title: Deep Bi-Dense Networks for Image Super-Resolution

abstract: This paper proposes Deep Bi-Dense Networks (DBDN) for single image super-resolution. Our approach extends previous intra-block dense connection approaches by including novel inter-block dense connections. In this way, feature information propagates from a single dense block to all subsequent blocks, instead of to a single successor. To build a DBDN, we firstly construct intra-dense blocks, which extract and compress abundant local features via densely connected convolutional layers and compression layers for further feature learning. Then, we use an inter-block dense net to connect intra-dense blocks, which allow each intra-dense block propagates its own local features to all successors. Additionally, our bi-dense construction connects each block to the output, alleviating the vanishing gradient problems in training. The evaluation of our proposed method on five benchmark datasets shows that our DBDN outperforms the state of the art in SISR with a moderate number of network parameters.


title: Stability of Standing Waves for a Nonlinear Klein-Gordon Equation with Delta Potentials

abstract: In this paper, we study local well-posedness and orbital stability of standing waves for a singularly perturbed one-dimensional nonlinear Klein-Gordon equation. We first establish local well-posedness of the Cauchy problem by a fixed point argument. Unlike the unperturbed case, a noteworthy difficulty here arises from the possible non-unitarity of the semigroup generating the corresponding linear evolution. We then show that the equation is Hamiltonian and we establish several stability/instability results for its standing waves. Our analysis relies on a detailed study of the spectral properties of the linearization of the equation, and on the well-known 'slope condition' for orbital stability.


title: Of Kernels and Queues: when network calculus meets analytic combinatorics

abstract: Stochastic network calculus is a tool for computing error bounds on the performance of queueing systems. However, deriving accurate bounds for networks consisting of several queues or subject to non-independent traffic inputs is challenging. In this paper, we investigate the relevance of the tools from analytic combinatorics, especially the kernel method, to tackle this problem. Applying the kernel method allows us to compute the generating functions of the queue state distributions in the stationary regime of the network. As a consequence, error bounds with an arbitrary precision can be computed. In this preliminary work, we focus on simple examples which are representative of the difficulties that the kernel method allows us to overcome.


title: Search for deviations from the ideal Maxwell-Boltzmann distribution for a gas at an interface

abstract: The isotropic Maxwell-Boltzmann (M-B) velocity distribution is the accepted standard for a gas at thermal equilibrium, with the Doppler width considered to deliver a very precise measurement of the temperature. Nevertheless, the physical nature of the surface, and the atom-surface interaction, in its long-range (van der Waals type) regime as well as in its short-range regime leading to adsorption/desorption mechanisms, are far from the ideal situation describing the foundation of gas kinetics. Through the development of vapor spectroscopy at an interface, a high sensitivity to atoms flying nearly parallel to the gas interface is obtained, and deviations to M-B distribution could have observable effects, even affecting the ultimate limits to resolution. We report here on the development of an experiment involving a dedicated set-up of spatially-separated pump-probe experiment in a narrow cell. A first series of investigation could not evidence a deviation for Cs atom velocities at a nearly grazing incidence (typically 1.5 -5{\deg}). We discuss various technical improvements to increase the sensitivity to atoms flying parallel to the surface, along with specific spectroscopic information that may be collected. Alternately, the comparison of standard selective reflection spectroscopy with simultaneous volume spectroscopy may be a source of complementary information. At last, we discuss how the Boltzmann energy distribution, among molecular or atomic levels, may become sensitive to specific thermal exchanges at the surface, in an equilibrium situation.


title: Learning a Set of Interrelated Tasks by Using Sequences of Motor Policies for a Strategic Intrinsically Motivated Learner

abstract: We propose an active learning architecture for robots, capable of organizing its learning process to achieve a field of complex tasks by learning sequences of motor policies, called Intrinsically Motivated Procedure Babbling (IM-PB). The learner can generalize over its experience to continuously learn new tasks. It chooses actively what and how to learn based by empirical measures of its own progress. In this paper, we are considering the learning of a set of interrelated tasks outcomes hierarchically organized. We introduce a framework called 'procedures', which are sequences of policies defined by the combination of previously learned skills. Our algorithmic architecture uses the procedures to autonomously discover how to combine simple skills to achieve complex goals. It actively chooses between 2 strategies of goal-directed exploration : exploration of the policy space or the procedural space. We show on a simulated environment that our new architecture is capable of tackling the learning of complex motor policies, to adapt the complexity of its policies to the task at hand. We also show that our 'procedures' framework helps the learner to tackle difficult hierarchical tasks.