title: A model for a Lindenmayer reconstruction algorithm

abstract: Given an input string s and a specific Lindenmayer system (the so-called Fibonacci grammar), we define an automaton which is capable of (i) determining whether s belongs to the set of strings that the Fibonacci grammar can generate (in other words, if s corresponds to a generation of the grammar) and, if so, (ii) reconstructing the previous generation.


title: Stability properties of stochastic maximal $L^p$-regularity

abstract: In this paper we consider $L^p$-regularity estimates for solutions to stochastic evolution equations, which is called stochastic maximal $L^p$-regularity. Our aim is to find a theory which is analogously to Dore's theory for deterministic evolution equations. He has shown that maximal $L^p$-regularity is independent of the length of the time interval, implies analyticity and exponential stability of the semigroup, is stable under perturbation and many more properties. We show that the stochastic versions of these results hold.


title: Sharp ill-posedness for the Maxwell-Dirac equations in one space dimension

abstract: The Maxwell-Dirac equations in one space dimension are proved to be well posed in the charge class, that is, with $L^2$ data for the spinor. We also prove that this result is sharp, in the sense that well-posedness fails for spinor data in $H^s$ with $s<0$, as well as in $L^p$ with $1 \le p < 2$. More precisely, we give an explicit example of such data for which no local solution can exist. Our proof of well-posedness applies to a class of systems which includes also the Dirac-Klein-Gordon system, but it does not require any null structure in the system.


title: Two Examples of COM Bounds using Spectral Gaps: Length of the LIS in a Random Permutation and Lipschitz Functions of 1d Markov Chains

abstract: We consider two examples for a well-known method for obtaining concentration of measure (COM) bounds for a given observable in a given measure. The method is to consider an auxiliary Markov chain for which the invariant distribution is the measure of interest. Then one obtains COM bounds involving two quantities. The first is the spectral gap of the Markov transition matrix. The second is an appropriate Lipschitz constant for the observable of interest with respect to 1 step of the Markov chain. We consider two examples of the basic method. The first is to obtain rough COM bounds for the length of the longest increasing subsequence (LIS) in a uniform random permutation. The bounds are similar to well-known bounds of Talagrand using his isoperimetric inequality. The second example is to consider a 1d Markov chain: $X_0,X_1,\dots,X_n$. We assume the invariant measure for the chain $\mu$ is reversible, and let the initial distribution of $X_0$ be $\mu$. Then the observable of interest is any function $f(X_0,X_1,\dots,X_n)$, which is Lipschitz with respect to replacement of single variables. One case of this is `target frequency analysis,' which is of interest in biostatistics. The auxiliary Markov chain is Glauber dynamics which is gapped in 1d.


title: Efficient Reduction of Compressed Unitary plus Low-rank Matrices to Hessenberg form

abstract: We present fast numerical methods for computing the Hessenberg reduction of a unitary plus low-rank matrix $A=G+U V^H$, where $G\in \mathbb C^{n\times n}$ is a unitary matrix represented in some compressed format using $O(nk)$ parameters and $U$ and $V$ are $n\times k$ matrices with $k< n$. At the core of these methods is a certain structured decomposition, referred to as a LFR decomposition, of $A$ as product of three possibly perturbed unitary $k$ Hessenberg matrices of size $n$. It is shown that in most interesting cases an initial LFR decomposition of $A$ can be computed very cheaply. Then we prove structural properties of LFR decompositions by giving conditions under which the LFR decomposition of $A$ implies its Hessenberg shape. Finally, we describe a bulge chasing scheme for converting the initial LFR decomposition of $A$ into the LFR decomposition of a Hessenberg matrix by means of unitary transformations. The reduction can be performed at the overall computational cost of $O(n^2 k)$ arithmetic operations using $O(nk)$ storage. The computed LFR decomposition of the Hessenberg reduction of $A$ can be processed by the fast QR algorithm presented in [8] in order to compute the eigenvalues of $A$ within the same costs.


title: Bosons condensed in two modes with flavour-changing interaction

abstract: A quantum model is considered for $N$ bosons populating two orthogonal single-particle modes with tunable energy separation in the presence of flavour-changing contact interaction. The quantum ground state is well approximated as a coherent superposition (for zero temperature) or a mixture (at low temperature) of two quasi-classical states. In a mean field description, the systems realizes one of these states via spontaneous symmetry breaking. Both mean field states, in a certain parameter range, possess finite angular momentum and exhibit broken time-reversal symmetry in contrast to the quantum ground state. The phase diagram is explored at the mean-field level and by direct diagonalisation. The nature of the quantum ground state at zero and finite temperature is analyzed by means of the Penrose Onsager criterion. One of three possible phases shows fragmentation on the single-particle level together with a finite pair order parameter. Thermal and quantum fluctuations are characterized with respect to regions of universal scaling behavior. The non-equilibrium dynamics shows a sharp transition between a self-trapping and a pair-tunneling regime. A recently realized experimental implementation is discussed with bosonic atoms condensed in the two inequivalent energy minima $X_{\pm}$ of the second band of a bipartite two-dimensional optical lattice.


title: Hexagonal supertetrahedral boron: A topological metal with multiple spin-orbit-free emergent fermions

abstract: We predict a new three-dimensional (3D) boron allotrope based on systematic first-principles electronic structure calculations. This allotrope can be derived by substituting each carbon atom in a hexagonal diamond lattice with a B$_{4}$ tetrahedron and possesses the same space group $P6_{3}/mmc$ as hexagonal diamond, hence it is termed as H-boron. We show that H-boron has good stability and excellent mechanical property. Remarkably, we find that H-boron is a topological metal with rich types of spin-orbit-free emergent fermions, including semi-Dirac fermion, quadratic and linear triple-point fermion, nodal-line fermion, and nodal-surface fermion. We clarify their symmetry protections and characterize them by constructing the corresponding low-energy effective models. Our work not only discovers a new boron allotrope with excellent properties, it also offers a platform to explore interesting physics of new kinds of emergent fermions.


title: Implementing an ERP System: The Paradigm of a Chemical Company

abstract: An application of a methodology present in the previous paper An ERP Implementation Method: Studying a Pharmaceutical Company, is under consideration for a chemical company. Half of the paper as far as the methodology used is similar and only the application is different. In this paper it is tried to resolve problems and drawbacks of the methodology and to prove that it is satisfied enough to add some knowledge in the area of ERP systems Implementation. The modelling tool is again Petri-nets and the effort is to analyze the problem using this mathematical element. Finally, the SAP implementation method is presented, representing all the knowledge captured from this case study.


title: Legendrian submanifolds from Bohr-Sommerfeld covers of monotone Lagrangian tori

abstract: By a result due to Ziltener, there exist no closed embedded Bohr-Sommerfeld Lagrangians inside $\mathbb CP^n$ for the prequantisation bundle whose total space is the standard contact sphere. On the other hand, any embedded monotone Lagrangian torus has a canonical nontrivial cover which is a Bohr-Sommerfeld immersion. We draw the front projections for the corresponding Legendrian lifts inside a contact Darboux ball of the threefold covers of both the two-dimensional Clifford and Chekanov tori (the former is the Legendrian link of the Harvey-Lawson special Lagrangian cone), and compute the associated Chekanov-Eliashberg algebras. Although these Legendrians are not loose, we show that they both admit exact Lagrangian cobordisms to the loose Legendrian sphere; they hence admit exact Lagrangian caps in the symplectisation, which are non-regular Lagrangian cobordisms. Along the way, we also compute bilinearised Legendrian contact homology of a general Legendrian surface in the standard contact vector space when all Reeb chords are of positive degree, as well as the augmentation variety in the case of tori.


title: On the radius of spatial analyticity for solutions of the Dirac-Klein-Gordon equations in two space dimensions

abstract: We consider the initial value problem for the Dirac-Klein-Gordon equations in two space dimensions. Global regularity for $C^\infty$ data was proved by Gr\"unrock and Pecher. Here we consider analytic data, proving that if the initial radius of analyticity is $\sigma_0 > 0$, then for later times $t > 0$ the radius of analyticity obeys a lower bound $\sigma(t) \ge \sigma_0 \exp(-At)$. This provides information about the possible dynamics of the complex singularities of the holomorphic extension of the solution at time $t$. The proof relies on an analytic version of Bourgain's Fourier restriction norm method, multilinear space-time estimates of null form type and an approximate conservation of charge.


title: Space/time global/local noninvasive coupling strategy: Application to viscoplastic structures

abstract: The purpose of this paper is to extend the non-invasive global/local iterative coupling technique [15] to the case of large structures undergoing nonlinear time-dependent evolutions at all scales. It appears that, due to the use of legacy codes, the use of different time grids at the global and local levels is mandatory in order to reach a satisfying level of precision. In this paper two strategies are proposed and compared for elastoviscoplastic models. The questions of the precision and performance of those schemes with respect to a monolithic approach is addressed. The methods are first exposed on a 2D example and then applied on a 3D part of industrial complexity.


title: Many-body contacts in fractal polymer chains and fBm trajectories

abstract: We calculate the probabilities that a trajectory of a fractional Brownian motion with arbitrary fractal dimension $d_f$ visits the same spot $n \ge 3$ times, at given moments $t_1, ..., t_n$, and obtain a determinant expression for these probabilities in terms of a displacement-displacement covariance matrix. Except for the standard Brownian trajectories with $d_f = 2$, the resulting many-body contact probabilities cannot be factorized into a product of single loop contributions. Within a Gaussian network model of a self-interacting polymer chain, which we suggested recently, the probabilities we calculate here can be interpreted as probabilities of multi-body contacts in a fractal polymer conformation with the same fractal dimension $d_f$. This Gaussian approach, which implies a mapping from fractional Brownian motion trajectories to polymer conformations, can be used as a semiquantitative model of polymer chains in topologically-stabilized conformations, e.g., in melts of unconcatenated rings or in the chromatin fiber, which is the material medium containing genetic information. The model presented here can be used, therefore, as a benchmark for interpretation of the data of many-body contacts in genomes, which we expect to be available soon in, e.g., Hi-C experiments.


title: Spherical sampling methods for the calculation of metamer mismatch volumes

abstract: In this paper, we propose two methods of calculating theoretically maximal metamer mismatch volumes. Unlike prior art techniques, our methods do not make any assumptions on the shape of spectra on the boundary of the mismatch volumes. Both methods utilize a spherical sampling approach, but they calculate mismatch volumes in two different ways. The first method uses a linear programming optimization, while the second is a computational geometry approach based on half-space intersection. We show that under certain conditions the theoretically maximal metamer mismatch volume is significantly larger than the one approximated using a prior art method.


title: Flatbands in twisted double bilayer graphene

abstract: Flatbands with extremely narrow bandwidths on the order of a few mili-electron volts can appear in twisted multilayer graphene systems for appropriate system parameters. Here we investigate the electronic structure of a twisted bi-bilayer graphene, or twisted double bilayer graphene, to find the parameter space where isolated flatbands can emerge as a function of twist angle, vertical pressure, and interlayer potential differences. We find that in twisted bi-bilayer graphene the bandwidth is generally flatter than in twisted bilayer graphene by roughly up to a factor of two in the same parameter space of twist angle $\theta$ and interlayer coupling $\omega$, making it in principle simpler to tailor narrow bandwidth flatbands. Application of vertical pressure can enhance the first magic angle in minimal models at $\theta \sim 1.05^{\circ}$ to larger values of up to $\theta \sim 1.5^{\circ}$ when $ P \sim 2.5$~GPa, where $\theta \propto \omega/ \upsilon_{F}$. Narrow bandwidths are expected in bi-bilayers for a continuous range of small twist angles, i.e. without magic angles, when intrinsic bilayer gaps open by electric fields, or due to remote hopping terms. We find that moderate vertical electric fields can contribute in lifting the degeneracy of the low energy flatbands by enhancing the primary gap near the Dirac point and the secondary gap with the higher energy bands. Distinct valley Chern bands are expected near $0^{\circ}$ or $180^{\circ}$ alignments.


title: Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT

abstract: Denial of service attacks are especially pertinent to the internet of things as devices have less computing power, memory and security mechanisms to defend against them. The task of mitigating these attacks must therefore be redirected from the device onto a network monitor. Network intrusion detection systems can be used as an effective and efficient technique in internet of things systems to offload computation from the devices and detect denial of service attacks before they can cause harm. However the solution of implementing a network intrusion detection system for internet of things networks is not without challenges due to the variability of these systems and specifically the difficulty in collecting data. We propose a model-hybrid approach to model the scale of the internet of things system and effectively train network intrusion detection systems. Through bespoke datasets generated by the model, the IDS is able to predict a wide spectrum of real-world attacks, and as demonstrated by an experiment construct more predictive datasets at a fraction of the time of other more standard techniques.


title: Securing Tag-based recommender systems against profile injection attacks: A comparative study. (Extended Report)

abstract: This work addresses the challenges related to attacks on collaborative tagging systems, which often comes in a form of malicious annotations or profile injection attacks. In particular, we study various countermeasures against two types of such attacks for social tagging systems, the Overload attack and the Piggyback attack. The countermeasure schemes studied here include baseline classifiers such as, Naive Bayes filter and Support Vector Machine, as well as a Deep Learning approach. Our evaluation performed over synthetic spam data generated from del.icio.us dataset, shows that in most cases, Deep Learning can outperform the classical solutions, providing high-level protection against threats.


title: Sharp upper bounds for fractional moments of the Riemann zeta function

abstract: We establish sharp upper bounds for the $2k$th moment of the Riemann zeta function on the critical line, for all real $0 \leqslant k \leqslant 2$. This improves on earlier work of Ramachandra, Heath-Brown and Bettin-Chandee-Radziwi\l\l


title: Adiabatic following of terahertz surface plasmon-polaritons based on tri-layered corrugated thin film coupler

abstract: In this paper, we utilize coupled mode theory (CMT) to model the coupling of surface plasmon polaritons (SPPs) between tri-layered corrugated thin films (CTF) structure coupler in the terahertz region. Employing the stimulated raman adiabatic passage (STIRAP) quantum control technique, we propose a novel directional coupler based on SPPs evolution in tri-layered CTF in some curved configuration. Our calculated results show that the SPPs can be completely transferred from the input to the output CTF waveguides, and even we consider SPPs propagation loss, the transfer rate is still above 70%. The performance of our coupler is also robust that it is not sensitive to the geometry of device and wavelength of SPPs. As a result, our device can tolerate defect induced by fabrication and manipulate THz wave at broadband.


title: Abelian oil and water dynamics does not have an absorbing-state phase transition

abstract: The oil and water model is an interacting particle system with two types of particles and a dynamics that conserves the number of particles, which belongs to the so-called class of Abelian networks. Widely studied processes in this class are sandpiles models and activated random walks, which are known (at least for some choice of the underlying graph) to undergo an absorbing-state phase transition. This phase transition characterizes the existence of two regimes, depending on the particle density: a regime of fixation at low densities, where the dynamics converges towards an absorbing state and each particle jumps only finitely many times, and a regime of activity at large densities, where particles jump infinitely often and activity is sustained indefinitely. In this work we show that the oil and water model is substantially different than sandpiles models and activated random walks, in the sense that it does not undergo an absorbing-state phase transition and is in the regime of fixation at all densities. Our result works in great generality: for any graph that is vertex transitive and for a large class of initial configurations.


title: Game theoretical modelling of network/cybersecurity

abstract: Game theory is an established branch of mathematics that offers a rich set of mathematical tools for multi-person strategic decision making that can be used to model the interactions of decision makers in security problems who compete for limited and shared resources. This article presents a review of the literature in the area of game theoretical modelling of network/cybersecurity.


title: Multiband superconductivity and possible nodal gap in RbCr$_{3}$As$_{3}$ revealed by Andreev reflection and single-particle tunneling measurements

abstract: By measuring point-contact Andreev reflection (PCAR) spectra in the newly discovered chromium-based quasi-one-dimensional superconductor RbCr$_{3}$As$_{3}$, we find clear evidence of two superconducting components, i.e., one having a gap value of about 1.8 meV and another with a gap value of about 5 meV. Since the current injection may have components in both the direction parallel and perpendicular to the [(Cr$_{3}$As$_{3}$)$^{-}$]$_\infty$ chains in the PCAR measurements, it naturally explains the two-component feature observed in this multi-band superconductor. Detailed analysis shows that the larger gap may have an $s$-wave nature. We then carry out the single-particle tunneling measurements based on a scanning tunneling spectroscope by using the needle-like sample as the tip, and in this case the measured current is mainly parallel to the [(Cr$_{3}$As$_{3}$)$^{-}$]$_\infty$ chains. The single-particle tunneling spectra show only one gap feature with a gap value of about 1.8 meV. Fitting to the single particle tunneling spectra indicates that the gap should have a large anisotropy or even node(s). We argue that the absence of the larger gap may be related to the direction of the injecting current. Therefore, our combined experiments show the multiband superconductivity with one gap being nodal or highly anisotropic.


title: Cheap Orthogonal Constraints in Neural Networks: A Simple Parametrization of the Orthogonal and Unitary Group

abstract: We introduce a novel approach to perform first-order optimization with orthogonal and unitary constraints. This approach is based on a parametrization stemming from Lie group theory through the exponential map. The parametrization transforms the constrained optimization problem into an unconstrained one over a Euclidean space, for which common first-order optimization methods can be used. The theoretical results presented are general enough to cover the special orthogonal group, the unitary group and, in general, any connected compact Lie group. We discuss how this and other parametrizations can be computed efficiently through an implementation trick, making numerically complex parametrizations usable at a negligible runtime cost in neural networks. In particular, we apply our results to RNNs with orthogonal recurrent weights, yielding a new architecture called expRNN. We demonstrate how our method constitutes a more robust approach to optimization with orthogonal constraints, showing faster, accurate, and more stable convergence in several tasks designed to test RNNs.


title: Transfer-Learning Oriented Class Imbalance Learning for Cross-Project Defect Prediction

abstract: Cross-project defect prediction (CPDP) aims to predict defects of projects lacking training data by using prediction models trained on historical defect data from other projects. However, since the distribution differences between datasets from different projects, it is still a challenge to build high-quality CPDP models. Unfortunately, class imbalanced nature of software defect datasets further increases the difficulty. In this paper, we propose a transferlearning oriented minority over-sampling technique (TOMO) based feature weighting transfer naive Bayes (FWTNB) approach (TOMOFWTNB) for CPDP by considering both classimbalance and feature importance problems. Differing from traditional over-sampling techniques, TOMO not only can balance the data but reduce the distribution difference. And then FWTNB is used to further increase the similarity of two distributions. Experiments are performed on 11 public defect datasets. The experimental results show that (1) TOMO improves the average G-Measure by 23.7\%$\sim$41.8\%, and the average MCC by 54.2\%$\sim$77.8\%. (2) feature weighting (FW) strategy improves the average G-Measure by 11\%, and the average MCC by 29.2\%. (3) TOMOFWTNB improves the average G-Measure value by at least 27.8\%, and the average MCC value by at least 71.5\%, compared with existing state-of-theart CPDP approaches. It can be concluded that (1) TOMO is very effective for addressing class-imbalance problem in CPDP scenario; (2) our FW strategy is helpful for CPDP; (3) TOMOFWTNB outperforms previous state-of-the-art CPDP approaches.


title: Irradiation and performance of RGB-HD Silicon Photomultipliers for calorimetric applications

abstract: Silicon Photomultipliers with cell-pitch ranging from 12 $\mu$m to 20 $\mu$m were tested against neutron irradiation at moderate fluences to study their performance for calorimetric applications. The photosensors were developed by FBK employing the RGB-HD technology. We performed irradiation tests up to $2 \times 10^{11}$ n/cm$^2$ (1 MeV eq.) at the INFN-LNL Irradiation Test facility. The SiPMs were characterized on-site (dark current and photoelectron response) during and after irradiations at different fluences. The irradiated SiPMs were installed in the ENUBET compact calorimetric modules and characterized with muons and electrons at the CERN East Area facility. The tests demonstrate that both the electromagnetic response and the sensitivity to minimum ionizing particles are retained after irradiation. Gain compensation can be achieved increasing the bias voltage well within the operation range of the SiPMs. The sensitivity to single photoelectrons is lost at $\sim 10^{10}$ n/cm$^2$ due to the increase of the dark current.


title: Provable Smoothness Guarantees for Black-Box Variational Inference

abstract: Black-box variational inference tries to approximate a complex target distribution though a gradient-based optimization of the parameters of a simpler distribution. Provable convergence guarantees require structural properties of the objective. This paper shows that for location-scale family approximations, if the target is M-Lipschitz smooth, then so is the objective, if the entropy is excluded. The key proof idea is to describe gradients in a certain inner-product space, thus permitting use of Bessel's inequality. This result gives insight into how to parameterize distributions, gives bounds the location of the optimal parameters, and is a key ingredient for convergence guarantees.


title: The Barrel DIRC detector of PANDA

abstract: The PANDA experiment is one of the four large experiments being built at FAIR in Darmstadt. It will use a cooled antiproton beam on a fixed target within the momentum range of 1.5 to 15 GeV/c to address questions of strong QCD, where the coupling constant $\alpha_s \gtrsim 0.3$. The luminosity of up to $2 \cdot 10^{32} cm^{-2}s^{-1}$ and the momentum resolution of the antiproton beam down to \mbox{$\Delta$p/p = 4$\cdot10^{-5}$} allows for high precision spectroscopy, especially for rare reaction processes. Above the production threshold for open charm mesons the production of kaons plays an important role for identifying the reaction. The DIRC principle allows for a compact particle identification for charged particles in a hermetic detector, limited in size by the electromagnetic lead tungstate calorimeter. The Barrel DIRC in the target spectrometer covers polar angles between $22^\circ$ and $140^\circ$ and will achieve a pion-kaon separation of 3 standard deviations up to 3.5 GeV/$c$. Here, results of a test beam are shown for a single radiator bar coupled to a prism with $33^\circ$ opening angle, both made from synthetic fused silica read out with a photon detector array with 768 pixels.


title: A XGBoost risk model via feature selection and Bayesian hyper-parameter optimization

abstract: This paper aims to explore models based on the extreme gradient boosting (XGBoost) approach for business risk classification. Feature selection (FS) algorithms and hyper-parameter optimizations are simultaneously considered during model training. The five most commonly used FS methods including weight by Gini, weight by Chi-square, hierarchical variable clustering, weight by correlation, and weight by information are applied to alleviate the effect of redundant features. Two hyper-parameter optimization approaches, random search (RS) and Bayesian tree-structured Parzen Estimator (TPE), are applied in XGBoost. The effect of different FS and hyper-parameter optimization methods on the model performance are investigated by the Wilcoxon Signed Rank Test. The performance of XGBoost is compared to the traditionally utilized logistic regression (LR) model in terms of classification accuracy, area under the curve (AUC), recall, and F1 score obtained from the 10-fold cross validation. Results show that hierarchical clustering is the optimal FS method for LR while weight by Chi-square achieves the best performance in XG-Boost. Both TPE and RS optimization in XGBoost outperform LR significantly. TPE optimization shows a superiority over RS since it results in a significantly higher accuracy and a marginally higher AUC, recall and F1 score. Furthermore, XGBoost with TPE tuning shows a lower variability than the RS method. Finally, the ranking of feature importance based on XGBoost enhances the model interpretation. Therefore, XGBoost with Bayesian TPE hyper-parameter optimization serves as an operative while powerful approach for business risk modeling.


title: Detecting Changes in Hidden Markov Models

abstract: We consider the problem of sequential detection of a change in the statistical behavior of a hidden Markov model. By adopting a worst-case analysis with respect to the time of change and by taking into account the data that can be accessed by the change-imposing mechanism we offer alternative formulations of the problem. For each formulation we derive the optimum Shewhart test that maximizes the worst-case detection probability while guaranteeing infrequent false alarms.


title: Mokka: BFT consensus

abstract: Mokka is a partial-synchronous, strong consistent BFT consensus algorithm for reaching the consensus about a certain value in open networks. This algorithm has some common approaches nested from RAFT, but its nature and design make Mokka a better solution for DLT (distributed ledger).


title: ALEGRO input for the 2020 update of the European Strategy

abstract: Advanced and Novel Accelerators (ANAs) can provide acceleration gradients orders of magnitude greater than conventional accelerator technologies, and hence they have the potential to provide a new generation of more compact, high-energy machines. In view of the great promise of ANAs, and the substantial effort worldwide to develop them, the Advanced LinEar collider study GROup, ALEGRO, was formed at the initiative of the ICFA ANA panel. ALEGRO aims to foster studies on accelerators based on ANAs for applications to high-energy physics, with the ambition of proposing a machine that would address the future goals of particle physics. This document summarizes the current view of the international community on this topic. It proposes a list of priorities that the community would like to invest effort in over the next five to ten years.


title: Learning to compress and search visual data in large-scale systems

abstract: The problem of high-dimensional and large-scale representation of visual data is addressed from an unsupervised learning perspective. The emphasis is put on discrete representations, where the description length can be measured in bits and hence the model capacity can be controlled. The algorithmic infrastructure is developed based on the synthesis and analysis prior models whose rate-distortion properties, as well as capacity vs. sample complexity trade-offs are carefully optimized. These models are then extended to multi-layers, namely the RRQ and the ML-STC frameworks, where the latter is further evolved as a powerful deep neural network architecture with fast and sample-efficient training and discrete representations. For the developed algorithms, three important applications are developed. First, the problem of large-scale similarity search in retrieval systems is addressed, where a double-stage solution is proposed leading to faster query times and shorter database storage. Second, the problem of learned image compression is targeted, where the proposed models can capture more redundancies from the training images than the conventional compression codecs. Finally, the proposed algorithms are used to solve ill-posed inverse problems. In particular, the problems of image denoising and compressive sensing are addressed with promising results.


title: SOWAT: Speckle Observations With Alleviated Turbulence

abstract: Adaptive optics (AO) systems and image reconstruction algorithms are indispensable tools when it comes to high-precision astrometry. In this paper, we analyze the potential of combining both techniques, i.e. by applying image reconstruction on partially AO corrected short exposures. Therefore we simulate speckle clouds with and without AO corrections and create synthetic observations. We apply holographic image reconstruction to the obtained observations and find that (i) the residual wavefronts decorrelate slowlier and to a lower limit when AO systems are used, (ii) the same reference stars yield a better reconstruction, and (iii) using fainter reference stars we achieve a similar image quality. These results suggest that holographic imaging of speckle observations is feasible with 2-3 times longer integration times and 3mag fainter reference stars, to obtain diffraction-limited imaging from low-order AO systems that are less restricted in sky-coverage than typical high-order AO systems.


title: Thermodynamic Analysis of a Self-Gravitating Gas in Astrophysical Contexts

abstract: The thermodynamics of a self-gravitating gas cloud of particles interacting only via their gravitational potential is an interesting problem with peculiarities arising due to the long-ranged nature of the gravitational interaction. Based on our recent work on the properties of such a configuration, we extend the system to contain a central gravitational field in which the particles are moving, to mimic the potential of a central compact object exerting an external force on the gas cloud. After an introduction to the general problem, including the aforementioned peculiarities and possible solutions, we will discuss the particular properties of the self-gravitating gas in a central field and its thermodynamic analysis.


title: Existence of Infinitely Many Minimal Hypersurfaces in Higher-dimensional Closed Manifolds with Generic Metrics

abstract: In this paper, we show that a closed manifold $M^{n+1} (n \geq 7)$ endowed with a $C^\infty$-generic (Baire sense) metric contains infinitely many singular minimal hypersurfaces with optimal regularity. Moreover, for $2 \leq n \leq 6$, our argument also implies the denseness of the minimal hypersurfaces realizing min-max widths for generic metrics. This partially supports equidistribution of the minimal hypersurfaces realizing min-max widths conjectured by F.C. Marques, A. Neves and A. Song.


title: An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems

abstract: Communication protocols are central to engineering decentralized multiagent systems. Modern protocol languages are typically formal and address aspects of decentralization, such as asynchrony. However, modern languages differ in important ways in their basic abstractions and operational assumptions. This diversity makes a comparative evaluation of protocol languages a challenging task. We contribute a rich evaluation of modern protocol languages based on diverse approaches. Among the selected languages, Scribble is based on session types; Trace-C and Trace-F on trace expressions; HAPN on hierarchical state machines, and BSPL on information causality. Our contribution is four-fold. One, we contribute important criteria for evaluating protocol languages. Two, for each criterion, we compare the languages on the basis of whether they are able to specify elementary protocols that go to the heart of the criterion. Three, for each language, we map our findings to a canonical architecture style for multiagent systems, highlighting where the languages depart from the architecture. Four, we identify a few design principles for protocol languages as guidance for future research.


title: Observation of long-term changes in the effective refractive index of light

abstract: During the LIGO S5 run (April 2006 to June 2007) preliminary data from the H1 interferometer recorded long-term changes in the effective refractive index of light over a 14 month period. These are due to the presence of external gravity gradients along the arms of the interferometer. After accounting for the effect of the tides, an unexpected twice-annual modulation was observed.


title: Energy-Dispersion of Matter Waves in Schr\"{o}dinger-Poisson Model

abstract: The energy dispersion of collective excitations of free electron gas as well as self-gravitating ensemble of uncharged particles is derived using a unified 1D Schr\"{o}dinger-Poisson model. The energy dispersion of self-gravitating system is shown to lead to unique features which are absent in the case of electrostatic excitations. Current mathematical model of collective particle excitations is shown to gives rise to a novel description of the paradoxical wave-particle duality and many intriguing new collective features due to the scale-dependence effective forces in collective interactions, absent in the single particle description of physical systems. It is shown that the excitations in a self-gravitating system lead to a fundamentally different features of collective interaction under gravitational potential than that of electrostatic ones. Particularly, it is found that the total energy of self-gravitating systems can be negative and the effective mass of excitations vary significantly in the whole spectrum of wavelength. The later may be considered as meaningful absence of self-consistent theory of quantum gravity. The significance of the peculiar aspects of the two fundamentally different excitation types is discussed based on their relevance to modern theories.


title: Sequential path planning for a formation of mobile robots with split and merge

abstract: An algorithm for robot formation path planning is presented in this paper. Given a map of the working environment, the algorithm finds a path for a formation taking into account possible split of the formation and its consecutive merge. The key part of the solution works on a graph and sequentially employs an extended version of Dijkstra's graph-based algorithm for multiple robots. It is thus deterministic, complete, computationally inexpensive, and finds a solution for a fixed source node to another node in the graph. Moreover, the presented solution is general enough to be incorporated into high-level tasks like cooperative surveillance and it can benefit from state-of-the-art formation motion planning approaches, which can be used for evaluation of edges of an input graph. The performed experimental results demonstrate the behavior of the method in complex environments for formations consisting of tens of robots.


title: A structure theorem for polyharmonic maps between Riemannian manifolds

abstract: We prove that polyharmonic maps of arbitrary order from complete nonparabolic Riemannian manifolds to arbitrary Riemannian manifolds must be harmonic if certain smallness and integrability conditions hold.


title: A cohomological treatise of HKG-covers with applications to the Nottingham group

abstract: We characterize Harbater-Katz-Gabber curves in terms of a family of cohomology classes satisfying a compatibility condition. Our construction is applied to the description of finite subgroups of the Nottingham Group.


title: Next-to-next-to-leading-order QCD corrections to $e^+e^-\to J/\psi+\eta_c$ at $B$ factories

abstract: Within the nonrelativistic QCD (NRQCD) factorization framework, we compute the long-awaited ${\mathcal O}(\alpha_s^2)$ correction for the exclusive double charmonium production process at $B$ factories, {\it i.e.}, $e^+e^-\to J/\psi+\eta_c$ at $\sqrt{s}=10.58$ GeV. For the first time, we confirm that NRQCD factorization does hold at next-to-next-to-leading-order (NNLO) for exclusive double charmonium production. It is found that including the NNLO QCD correction considerably reduces the renormalization scale dependence, and also implies the reasonable perturbative convergence behavior for this process. Our state-of-the-art prediction is consistent with the BaBar measurement within errors.


title: A three dimensional modification of the Gaussian number field

abstract: For vectors in $\mathbb{E}_3$ we introduce an associative, commutative and distributive multiplication. We describe the related algebraic and geometrical properties, and hint some applications. Based on properties of hyperbolic (Clifford) complex numbers, we prove that the resulting algebra $\mathbb{T}$ is an associative algebra over a field and contains a subring isomorphic to hyperbolic complex numbers. Moreover, the algebra $\mathbb{T}$ is isomorphic to direct product $\mathbb{C} \times \mathbb{R}$, and so it contains a subalgebra isomorphic to the Gaussian complex plane.


title: CT synthesis from MR images for orthopedic applications in the lower arm using a conditional generative adversarial network

abstract: Purpose: To assess the feasibility of deep learning-based high resolution synthetic CT generation from MRI scans of the lower arm for orthopedic applications. Methods: A conditional Generative Adversarial Network was trained to synthesize CT images from multi-echo MR images. A training set of MRI and CT scans of 9 ex vivo lower arms was acquired and the CT images were registered to the MRI images. Three-fold cross-validation was applied to generate independent results for the entire dataset. The synthetic CT images were quantitatively evaluated with the mean absolute error metric, and Dice similarity and surface to surface distance on cortical bone segmentations. Results: The mean absolute error was 63.5 HU on the overall tissue volume and 144.2 HU on the cortical bone. The mean Dice similarity of the cortical bone segmentations was 0.86. The average surface to surface distance between bone on real and synthetic CT was 0.48 mm. Qualitatively, the synthetic CT images corresponded well with the real CT scans and partially maintained high resolution structures in the trabecular bone. The bone segmentations on synthetic CT images showed some false positives on tendons, but the general shape of the bone was accurately reconstructed. Conclusions: This study demonstrates that high quality synthetic CT can be generated from MRI scans of the lower arm. The good correspondence of the bone segmentations demonstrates that synthetic CT could be competitive with real CT in applications that depend on such segmentations, such as planning of orthopedic surgery and 3D printing.


title: Uncertainties on atomic data. A case study: N IV

abstract: We consider three recent large-scale calculations for the radiative and electron-impact excitation data of N IV, carried out with different methods and codes. The scattering calculations employed the relativistic Dirac $R$-matrix (DARC) method, the intermediate coupling frame transformation (ICFT) $R$-matrix method, and the B-spline $R$-matrix (BSR) method. These are all large-scale scattering calculations with well-tested and sophisticated codes, which use the same set of target states. One concern raised in previous literature is related to the increasingly large discrepancies in the effective collision strengths between the three sets of calculations for increasingly weak and/or high-lying transitions. We have built three model ions and calculated the intensities of all the main spectral lines in this ion. We have found that, despite such large differences, excellent agreement (to within $\pm$~20\%) exists between all the spectroscopically-relevant line intensities. This provides confidence in the reliability of the calculations for plasma diagnostics. We have used the differences in the radiative and excitation rates amongst the three sets of calculations to obtain a measure of the uncertainty in each rate. Using a Monte Carlo approach, we have shown how these uncertainties affect the main theoretical ratios which are used to measure electron densities and temperatures.


title: Viscous dark matter and 21 cm cosmology

abstract: The EDGES experiment has detected the global absorption signal of 21 cm line at $z\sim17$ in cosmic dawn era and reported its amplitude larger than the standard cosmological prediction. One of the possible explanation requires that the baryons were much cooler than the standard scenario. This requires an interaction between the dark and baryonic sectors with some appropriate cross-section, $ \hat{\sigma} $. In this work, we examine the role that dissipative effects of cosmic fluid might play in influencing the 21 cm signal. We show that the presence of viscous dissipation of dark matter can significantly affect the energy transfer between the baryonic and dark matter fluids. It is demonstrated that the inclusion of the dissipative mechanism in the dark sector, strongly modify the earlier constraints on dark matter mass and $ \hat{\sigma} $ obtain from EDGES observation. Further, we argue that EDGES absorption signal can put an independent bound on dark matter viscosity which is many order of magnitude larger than the maximum viscosity allowed by the structure formation.


title: Aharonov-Bohm interference of fractional quantum Hall edge modes

abstract: We demonstrate operation of a small Fabry-Perot interferometer in which highly coherent Aharonov-Bohm oscillations are observed in the integer and fractional quantum Hall regimes. Using a novel heterostructure design, Coulomb effects are drastically suppressed. Coherency of edge mode interference is characterized by the energy scale for thermal damping, ${T_0=206}mK$ at $\nu=1$. Selective backscattering of edge modes originating in the ${N=0,1,2}$ Landau levels allows for independent determination of inner and outer edge mode velocities. Clear Aharonov-Bohm oscillations are observed at fractional filling factors $\nu=2/3$ and $\nu=1/3$. Our device architecture provides a platform for measurement of anyonic braiding statistics.


title: Computational Modular Character Theory

abstract: This book describes some computational methods to deal with modular characters of finite groups. It is the theoretical background of the MOC system of the same authors. This system was, and is still used, to compute the modular character tables of sporadic simple groups.


title: Subclass of Harmonic Univalent Functions Associated With the Mittag-Leffler type functions

abstract: In the present paper, we introduce a new subclass of harmonic functions in the unit disc U defined by using the generalized Mittag-Leffler type functions. Coefficient conditions, extreme points, distortion bounds, convex combination are studied.


title: Really should we pruning after model be totally trained? Pruning based on a small amount of training

abstract: Pre-training of models in pruning algorithms plays an important role in pruning decision-making. We find that excessive pre-training is not necessary for pruning algorithms. According to this idea, we propose a pruning algorithm---Incremental pruning based on less training (IPLT). Compared with the traditional pruning algorithm based on a large number of pre-training, IPLT has competitive compression effect than the traditional pruning algorithm under the same simple pruning strategy. On the premise of ensuring accuracy, IPLT can achieve 8x-9x compression for VGG-19 on CIFAR-10 and only needs to pre-train few epochs. For VGG-19 on CIFAR-10, we can not only achieve 10 times test acceleration, but also about 10 times training acceleration. At present, the research mainly focuses on the compression and acceleration in the application stage of the model, while the compression and acceleration in the training stage are few. We newly proposed a pruning algorithm that can compress and accelerate in the training stage. It is novel to consider the amount of pre-training required by pruning algorithm. Our results have implications: Too much pre-training may be not necessary for pruning algorithms.


title: Semantic Classification of Tabular Datasets via Character-Level Convolutional Neural Networks

abstract: A character-level convolutional neural network (CNN) motivated by applications in "automated machine learning" (AutoML) is proposed to semantically classify columns in tabular data. Simulated data containing a set of base classes is first used to learn an initial set of weights. Hand-labeled data from the CKAN repository is then used in a transfer-learning paradigm to adapt the initial weights to a more sophisticated representation of the problem (e.g., including more classes). In doing so, realistic data imperfections are learned and the set of classes handled can be expanded from the base set with reduced labeled data and computing power requirements. Results show the effectiveness and flexibility of this approach in three diverse domains: semantic classification of tabular data, age prediction from social media posts, and email spam classification. In addition to providing further evidence of the effectiveness of transfer learning in natural language processing (NLP), our experiments suggest that analyzing the semantic structure of language at the character level without additional metadata---i.e., network structure, headers, etc.---can produce competitive accuracy for type classification, spam classification, and social media age prediction. We present our open-source toolkit SIMON, an acronym for Semantic Inference for the Modeling of ONtologies, which implements this approach in a user-friendly and scalable/parallelizable fashion.


title: More on vacua of exotic massive 3D gravity

abstract: In a recent paper [arXiv:1806.06254], we explored the space of solutions of the exotic massive 3D gravity theory proposed in [arXiv:1806.04179]. We showed that the theory admits a rich space of vacua, including asymptotically Anti de-Sitter (AdS) geometries obeying different types of boundary conditions. The examples include black holes dressed with low decaying gravitons. Based on what happens in other theories of massive gravity, we conjectured that such geometries appear on a curve of the parameter space (chiral curve) where the exotic massive gravity on AdS with sufficiently strong boundary conditions results dual to a 2D chiral conformal field theory. Here, we show that this expectation is consistent with the conserved charges and thermodynamical properties of the black holes of the theory, which have recently been computed [arXiv:1812.09525]. When the boundary conditions are relaxed relative to the standard Brown-Henneaux boundary conditions, the theory exhibits solutions consistent with the definition of the so-called Log-gravity. The asymptotic behavior of these solutions presents a logarithmic term in the Fefferman-Graham expansion that, nonetheless, is compatible with the AdS asymptotic symmetries. This long range interaction is due to a mode of the massive gravity that becomes massless precisely on the chiral curve. We construct exact solutions exhibiting this behavior, which admit to be interpreted as fully backreacting gravitational waves propagating on an extremal black hole, and carrying non-vanishing gravitational energy. We also discuss other vacua of the theory, such as Warped-AdS$_3$ black holes, gravitational waves on such backgrounds, AdS$_2\times S^1$ spaces, and black holes in dS$_3$ space.


title: Emotion Detection and Analysis on Social Media

abstract: In this paper, we address the problem of detection, classification and quantification of emotions of text in any form. We consider English text collected from social media like Twitter, which can provide information having utility in a variety of ways, especially opinion mining. Social media like Twitter and Facebook is full of emotions, feelings and opinions of people all over the world. However, analyzing and classifying text on the basis of emotions is a big challenge and can be considered as an advanced form of Sentiment Analysis. This paper proposes a method to classify text into six different Emotion-Categories: Happiness, Sadness, Fear, Anger, Surprise and Disgust. In our model, we use two different approaches and combine them to effectively extract these emotions from text. The first approach is based on Natural Language Processing, and uses several textual features like emoticons, degree words and negations, Parts Of Speech and other grammatical analysis. The second approach is based on Machine Learning classification algorithms. We have also successfully devised a method to automate the creation of the training-set itself, so as to eliminate the need of manual annotation of large datasets. Moreover, we have managed to create a large bag of emotional words, along with their emotion-intensities. On testing, it is shown that our model provides significant accuracy in classifying tweets taken from Twitter.


title: A Thomae-like Formula: Algebraic Computations of Theta Constants

abstract: We give an algebraic method to compute the fourth power of the quotient of any even theta constants associated to a given non-hyperelliptic curve in terms of geometry of the curve. In order to apply the method, we work out non-hyperelliptic curves of genus 4, in particular, such curves lying on a singular quadric, which arise from del Pezzo surfaces of degree 1. Indeed, we obtain a complete 2-level structure of the curves by studying their theta characteristic divisors via exceptional divisors of the del Pezzo surfaces as the structure is required for the method.


title: Fully Decentralized Joint Learning of Personalized Models and Collaboration Graphs

abstract: We consider the fully decentralized machine learning scenario where many users with personal datasets collaborate to learn models through local peer-to-peer exchanges, without a central coordinator. We propose to train personalized models that leverage a collaboration graph describing the relationships between user personal tasks, which we learn jointly with the models. Our fully decentralized optimization procedure alternates between training nonlinear models given the graph in a greedy boosting manner, and updating the collaboration graph (with controlled sparsity) given the models. Throughout the process, users exchange messages only with a small number of peers (their direct neighbors when updating the models, and a few random users when updating the graph), ensuring that the procedure naturally scales with the number of users. Overall, our approach is communication-efficient and avoids exchanging personal data. We provide an extensive analysis of the convergence rate, memory and communication complexity of our approach, and demonstrate its benefits compared to competing techniques on synthetic and real datasets.


title: Analytical ray-tracing in planetary atmospheres

abstract: Ground-based astro-geodetic observations and atmospheric occultations, are two examples of observational techniques requiring a scrutiny analysis of atmospheric refraction. In both cases, the measured changes in observables are geometrically related to changes in the photon path and the light time of the received electromagnetic signal. In the context of geometrical optics, the change in the physical properties of the signal are related to the refractive profile of the crossed medium. Therefore, having a clear knowledge of how the refractivity governs the photon path and the light time evolution is of prime importance to clearly understand observational features. Analytical studies usually focused on spherically symmetric atmospheres and only few aimed at exploring the effect of the non-spherical symmetry on the observables. In this paper, we analytically perform the integration of the photon path and the light time of rays traveling across a planetary atmosphere. We do not restrict our attention to spherically symmetric atmospheres and introduce a comprehensive mathematical framework which allows to handle any kind of analytical studies in the context of geometrical optics. To highlight the capabilities of this new formalism, we carry out five realistic applications for which we derive analytical solutions. The accuracy of the method of integration is assessed by comparing our results to a numerical integration of the equations of geometrical optics in the presence of a quadrupolar moment $J_2$. This shows that the analytical solution leads to the determination of the light time and the refractive bending with relative errors at the level of one part in $10^8$ and one part in $10^5$, for typical values of the refractivity and the $J_2$ parameter at levels of $10^{-4}$ and $10^{-2}$, respectively.


title: Asymmetry measures for convex distance functions

abstract: Gauges, or convex distance functions are, roughly speaking, norms without symmetry. In this paper we intend to quantify how asymmetric a planar gauge can be. We introduce asymmetry measures for smooth gauges and for strictly convex gauges, prove that they are invariant under isometries, and investigate lower and upper bounds for them. Identifying a gauge with a convex body containing the origin in its interior (the unit ball of the gauge), we also prove that all introduced asymmetry measures are continuous in the Hausdorff distance. Finally, we show that, modifying one of the constructed asymmetry measures, a certain duality principle holds.


title: Almost Envy-Freeness in Group Resource Allocation

abstract: We study the problem of fairly allocating indivisible goods between groups of agents using the recently introduced relaxations of envy-freeness. We consider the existence of fair allocations under different assumptions on the valuations of the agents. In particular, our results cover cases of arbitrary monotonic, responsive, and additive valuations, while for the case of binary valuations we fully characterize the cardinalities of two groups of agents for which a fair allocation can be guaranteed with respect to both envy-freeness up to one good (EF1) and envy-freeness up to any good (EFX). Moreover, we introduce a new model where the agents are not partitioned into groups in advance, but instead the partition can be chosen in conjunction with the allocation of the goods. In this model, we show that for agents with arbitrary monotonic valuations, there is always a partition of the agents into two groups of any given sizes along with an EF1 allocation of the goods. We also provide an extension of this result to any number of groups.


title: Ranks for families of theories and their spectra

abstract: We define ranks and degrees for families of theories, similar to Morley rank and degree, as well as Cantor-Bendixson rank and degree, and the notion of totally transcendental family of theories. Bounds for $e$-spectra with respect to ranks and degrees are found. It is shown that the ranks and the degrees are preserved under $E$-closures and values for the ranks and the degrees are characterized. Criteria for totally transcendental families in terms of cardinality of $E$-closure and of the $e$-spectrum value, for a countable language, are proved.


title: $n$-APR tilting and $\tau$-mutations

abstract: APR tilts for path algebra $kQ$ can be realized as the mutation of the quiver $Q$ in $\mathbb Z Q$ with respect to the translation. In this paper, we show that we have similar results for the quadratic dual of truncations of $n$-translation algebras, that is, under certain condition, the $n$-APR tilts of such algebras are realized as $\tau$-mutations.For the dual $\tau$-slice algebras with bound quiver $Q^{\perp}$, we show that their iterated $n$-APR tilts are realized by the iterated $\tau$-mutations in $\mathbb Z|{n-1}Q^{\perp}$.


title: Incorporating energy storage and user experience in isolated microgrid dispatch using a multi-objective model

abstract: In order to coordinate multiple different scheduling objectives from the perspectives of economy, environment and users, a practical multi-objective dynamic optimal dispatch model incorporating energy storage and user experience is proposed for isolated microgrids. In this model, besides Microturbine units, energy storage is employed to provide spinning reserve services for microgirds; and furthermore, from the perspective of demand side management, a consumer satisfaction indicator is developed to measure the quality of user experience. A two-step solution methodology incorporating multi-objective optimization (MOO) and decision analysis is put forward to address this model. First, a powerful heuristic optimization algorithm, called the {\theta}-dominance based evolutionary algorithm, is used to find a well-distributed set of Pareto-optimal solutions of the problem. And thereby, the best compromise solutions (BCSs) are identified from the entire solutions with the use of decision analysis by integrating fuzzy C-means clustering and grey relation projection. The simulation results on the modified Oak Ridge National Laboratory Distributed Energy Control and Communication lab microgrid test system demonstrate the effectiveness of the proposed approach.


title: The Limits of Morality in Strategic Games

abstract: A coalition is blameable for an outcome if the coalition had a strategy to prevent it. It has been previously suggested that the cost of prevention, or the cost of sacrifice, can be used to measure the degree of blameworthiness. The paper adopts this approach and proposes a modal logical system for reasoning about the degree of blameworthiness. The main technical result is a completeness theorem for the proposed system.


title: A Generalized Newton-Girard Identity

abstract: We present a generalization of the Newton-Girard identities, along with some applications. As an addendum, we collect many evaluations of symmetric polynomials to which these identities apply.


title: Deep Generative Learning via Variational Gradient Flow

abstract: We propose a general framework to learn deep generative models via \textbf{V}ariational \textbf{Gr}adient Fl\textbf{ow} (VGrow) on probability spaces. The evolving distribution that asymptotically converges to the target distribution is governed by a vector field, which is the negative gradient of the first variation of the $f$-divergence between them. We prove that the evolving distribution coincides with the pushforward distribution through the infinitesimal time composition of residual maps that are perturbations of the identity map along the vector field. The vector field depends on the density ratio of the pushforward distribution and the target distribution, which can be consistently learned from a binary classification problem. Connections of our proposed VGrow method with other popular methods, such as VAE, GAN and flow-based methods, have been established in this framework, gaining new insights of deep generative learning. We also evaluated several commonly used divergences, including Kullback-Leibler, Jensen-Shannon, Jeffrey divergences as well as our newly discovered `logD' divergence which serves as the objective function of the logD-trick GAN. Experimental results on benchmark datasets demonstrate that VGrow can generate high-fidelity images in a stable and efficient manner, achieving competitive performance with state-of-the-art GANs.


title: Finiteness properties of totally disconnected locally compact groups

abstract: In this paper we investigate finiteness properties of totally disconnected locally compact groups for general commutative rings $R$, in particular for $R = \mathbb{Z}$ and $R= \mathbb{Q}$. We show these properties satisfy many analogous results to the case of discrete groups, and we provide analogues of the famous Bieri's and Brown's criteria for finiteness properties and deduce that both $FP_n$-properties and $F_n$-properties are quasi-isometric invariant. Moreover, we introduce graph-wreath products in the category of totally disconnected locally compact groups and discuss their finiteness properties.


title: Truly eccentric. I. Revisiting eight single-eccentric planetary systems

abstract: We examine eight known single-eccentric planetary systems in light of recently released large data archives and new analysis techniques. For four of these systems (HD 7449, HD 65216, HD 89744, HD 92788) we find evidence for additional long-period companions. HD 65216c is a Jupiter analog, with a period of 14.7 yr, $e=0.18$, and m sin $i$ of 2M_Jup, whilst the remaining candidate companions move on as-yet-incomplete orbits. Our results highlight the importance of revisiting the analysis of known exoplanetary systems when new data become available, particularly given the possibility that poorly-sampled data might previously have led to the detection of a 'false-positive' single eccentric planet, when the system in question actually contains two (or more) planets on near-circular orbits.


title: Truly eccentric. II. When can two circular planets mimic a single eccentric orbit?

abstract: When, in the course of searching for exoplanets, sparse sampling and noisy data make it necessary to disentangle possible solutions to the observations, one must consider the possibility that what appears to be a single eccentric Keplerian signal may in reality be attributed to two planets in near-circular orbits. There is precedent in the literature for such outcomes, whereby further data or new analysis techniques reveal hitherto occulted signals. Here, we perform suites of simulations to explore the range of possible two-planet configurations that can result in such confusion. We find that a single Keplerian orbit with $e>$0.5 can virtually never be mimicked by such deceptive system architectures. This result adds credibility to the most eccentric planets that have been found to date, and suggests that it could well be worth revisiting the catalogue of moderately eccentric 'confirmed' exoplanets in the coming years, as more data become available, to determine whether any such deceptive couplets are hidden in the observational data.


title: Evidence for Supersymmetry in the Random-Field Ising Model at D = 5

abstract: We provide a non-trivial test of supersymmetry in the random-field Ising model at five spatial dimensions, by means of extensive zero-temperature numerical simulations. Indeed, supersymmetry relates correlation functions in a D-dimensional disordered system with some other correlation functions in a D-2 clean system. We first show how to check these relationships in a finite-size scaling calculation, and then perform a high-accuracy test. While the supersymmetric predictions are satisfied even to our high-accuracy at D=5, they fail to describe our results at D=4.


title: Optical follow-up of gravitational wave events during the second advanced LIGO/VIRGO observing run with the DLT40 Survey

abstract: We describe the GW follow-up strategy and subsequent results of the DLT40 during the second science run (O2) of the LVC. Depending on the information provided in the GW alert together with the localization map sent by the LVC, DLT40 would respond promptly to image the corresponding galaxies selected by our ranking algorithm in order to search for possible EM counterparts in real time. During the LVC O2 run, DLT40 followed ten GW triggers, observing between $\sim$20-100 galaxies within the GW localization area of each event. From this campaign, we identified two real transient sources within the GW localizations with an appropriate on-source time -- one was an unrelated type Ia supernova (SN~2017cbv), and the other was the optical kilonova, AT 2017fgo/SSS17a/DLT17ck, associated with the binary neutron star coalescence GW170817 (a.k.a gamma-ray burst GRB170817A). We conclude with a discussion of the DLT40 survey's plans for the upcoming LVC O3 run, which include expanding our galaxy search fields out to $D\approx$65 Mpc to match the LVC's planned three-detector sensitivity for binary neutron star mergers.


title: Configuration entropy of the Cosmic Web: Can voids mimic the dark energy?

abstract: We propose an alternative physical mechanism to explain the observed accelerated expansion of the Universe based on the configuration entropy of the cosmic web and its evolution. We show that the sheets, filaments and clusters in the cosmic web act as sinks whereas the voids act as the sources of information. The differential entropy of the cosmic velocity field increases with time and also acts as a source of entropy. The growth of non-linear structures and the emergence of the cosmic web may lead to a situation where the overall dissipation rate of information at the sinks are about to dominate the generation rate of information from the sources. Consequently, the Universe either requires a dispersal of the overdense non-linear structures or an accelerated expansion of the underdense voids to prevent a violation of the second law of thermodynamics. The dispersal of the sheets, filaments and clusters are not a viable option due to the attractive nature of gravity but the repulsive and outward peculiar gravitational acceleration at the voids makes it easier to stretch them at an accelerated rate. We argue that this accelerated expansion of the voids inside the cosmic web may mimic the behaviour of dark energy.


title: A validated high-resolution hydro power time-series model for energy systems analysis

abstract: We expand the renewable technology model palette and present a validated high resolution hydro power time series model for energy systems analysis. Among the popular renewables, hydroelectricity shows unique storage-like flexibility, which is particularly important given the high variability of wind and solar power. Often limited by data availability or computational performance, a high resolution, globally applicable and validated hydro power time series model has not been available. For a demonstration, we focus on 41 Chinese reservoir-based hydro stations as a demo, determine their upstream basin areas, estimate their inflow based on gridded surface runoff data and validate their daily inflow time series in terms of both flow volume and potential power generation. Furthermore, we showcase an application of these time series with hydro cascades in energy system long term investment planning. Our method's novelty lies in:it is based on highly resolved spatial-temporal datasets; both data and algorithms used here are globally applicable; it includes a hydro cascade model that can be integrated into energy system simulations.


title: Quasi-Topological Magnetic Brane coupled to Nonlinear Electrodynamics

abstract: In this paper, we are eager to construct a new class of (n+1)-dimensional static magnetic brane solutions in quasi-topological gravity coupled to nonlinear electrodynamics such as exponential and logarithmic forms. The solutions of this magnetic brane are horizonless and have no curvature. For \rho near r_{+}, the solution f(\rho) is dependent to the values of parameters q and n and for larger \rho, it depends on the coefficients of Love-Lock and quasi-topological gravities \lambda, \mu and c. The obtained solutions also have a conic singularity at r=0 with a deficit angle that is only dependent to the parameters q, n and \beta. We should remind that the two forms of nonlinear electrodynamics theory have similar behaviors on the obtained solutions. At last, by using the counterterm method, we obtain conserved quantities such as mass and electric charge. The value of the electric charge for this static magnetic brane is obtained zero.


title: Large-deviation principles of switching Markov processes via Hamilton-Jacobi equations

abstract: We prove pathwise large-deviation principles of switching Markov processes by exploiting the connection to associated Hamilton-Jacobi equations, following Jin Feng's and Thomas Kurtz's method. In the limit that we consider, we show how the large-deviation problem in path-space reduces to a spectral problem of finding principal eigenvalues. The large-deviation rate functions are given in action-integral form. As an application, we demonstrate how macroscopic transport properties of stochastic models of molecular motors can be deduced from an associated principal-eigenvalue problem. The precise characterization of the macroscopic velocity in terms of principal eigenvalues implies that breaking of detailed balance is necessary for obtaining transport. In this way, we extend and unify existing results about molecular motors and place them in the framework of stochastic processes and large-deviation theory.


title: On the Transformation of Latent Space in Autoencoders

abstract: Noting the importance of the latent variables in inference and learning, we propose a novel framework for autoencoders based on the homeomorphic transformation of latent variables, which could reduce the distance between vectors in the transformed space, while preserving the topological properties of the original space, and investigate the effect of the latent space transformation on learning generative models and denoising corrupted data. The experimental results demonstrate that our generative and denoising models based on the proposed framework can provide better performance than conventional variational and denoising autoencoders due to the transformation, where we evaluate the performance of generative and denoising models in terms of the Hausdorff distance between the sets of training and processed i.e., either generated or denoised images, which can objectively measure their differences, as well as through direct comparison of the visual characteristics of the processed images.


title: Geometric flow, Multiplier ideal sheaves and Optimal destabilizer for a Fano manifold

abstract: S. K. Donaldson asked whether the lower bound of the Calabi functional is achieved by a sequence the normalized Donaldson-Futaki invariants. We answer the question for the Ricci curvature formalism, in place of the scalar curvature. The principle is that the stability indicator is optimized by the multiplier ideal sheaves of certain weak geodesic ray asymptotic to the geometric flow. We actually prove it in the two case: the inverse Monge-Ampere flow and the Kahler-Ricci flow.


title: Evidence of Direct Electronic Band Gap in two-dimensional van der Waals Indium Selenide crystals

abstract: Metal mono-chalcogenide compounds offer a large variety of electronic properties depending on chemical composition, number of layers and stacking-order. Among them, the InSe has attracted much attention due to the promise of outstanding electronic properties, attractive quantum physics, and high photo-response. Metal mono-chalcogenide compounds offer a large variety of electronic properties depending on chemical composition, number of layers and stacking-order. Among them, the InSe has attracted much attention due to the promise of outstanding electronic properties, attractive quantum physics, and high photo-response. Precise experimental determination of the electronic structure of InSe is sorely needed for better understanding of potential properties and device applications. Here, combining scanning tunneling spectroscopy (STS) and two-photon photoemission spectroscopy (2PPE), we demonstrate that InSe exhibits a direct band gap of about 1.25 eV located at the Gamma point of the Brillouin zone (BZ). STS measurements underline the presence of a finite and almost constant density of states (DOS) near the conduction band minimum (CBM) and a very sharp one near the maximum of the valence band (VMB). This particular DOS is generated by a poorly dispersive nature of the top valence band, as shown by angle resolved photoemission spectroscopy (ARPES) investigation. technologies. In fact, a hole effective mass of about m/m0 = -0.95 gammaK direction) was measured. Moreover, using ARPES measurements a spin-orbit splitting of the deeper-lying bands of about 0.35 eV was evidenced. These findings allow a deeper understanding of the InSe electronic properties underlying the potential of III-VI semiconductors for electronic and photonic


title: Validation of Flow Models as New Simulation Approach for Parcel Handling in Bulk Mode

abstract: Flow Models based on hyperbolic partial differential equations (conservation laws) are a well-established approach for the material flow simulation. Until now, they have been exclusively used for the simulation of cylindrical cargo. This paper investigates the application of flow models on cubical cargo as a new simulation approach for parcel logistics. Selected flow model parameters are adapted to cover this new situation. The simulation results of this macroscopic model are compared with the microscopic Discrete Element Method (DEM) where the cargo is approximated by superquadrics. An experimental setup especially designed for the validation of the considered flow model for cubical cargo bulk flow is presented. Results of the flow model are analyzed and validated against the results of experiment and DEM for the test setting.


title: Positive and increasing solutions of perturbed Hammerstein integral equations with derivative dependence

abstract: We discuss the existence and non-existence of non-negative, non-decreasing solutions of certain perturbed Hammerstein integral equations with derivative dependence. We present some applications to nonlinear, second order boundary value problems subject to fairly general functional boundary conditions. The approach relies on classical fixed point index theory.


title: The stability of vortices in gas on the $l$-plane: the influence of centrifugal force

abstract: We show that a small correction due to centrifugal force usually neglected in the $l$-plane model of atmosphere drastically influences on the stability of vortices. Namely, in the presence of the Coriolis force only there exists a wide range of parameter ensuring nonlinear stability of a vortex with uniform deformation. Taking into account the centrifugal force results in a disappearance of stable vortices in the above-mentioned class of motions. We also prove that for the heat ratio $\gamma=2$, corresponding to the one-atomic gas, the system of equations, describing the gas on the $l$-plane with the correction due to centrifugal force can be integrated in a special case.


title: Transit timing variations, radial velocities and long-term dynamical stability of the system Kepler-410

abstract: Transit timing variations of Kepler-410Ab were already reported in a few papers. Their semi-amplitude is about 14.5 minutes. In our previous paper, we found that the transit timing variations could be caused by the presence of a stellar companion in this system. Our main motivation for this paper was to investigate variation in a radial-velocity curve generated by this additional star in the system. We performed spectroscopic observation of Kepler-410 using three telescopes in Slovakia and Czech Republic. Using the cross-correlation function, we measured the radial velocities of the star Kepler-410A. We did not observe any periodic variation in a radial-velocity curve. Therefore, we rejected our previous hypothesis about additional stellar companion in the Kepler-410 system. We ran different numerical simulations to study mean-motion resonances with Kepler-410Ab. Observed transit timing variations could be also explained by the presence of a small planet near to mean-motion resonance 2:3 with Kepler-410Ab. This resonance is stable on a long-time scale. We also looked for stable regions in the Kepler-410 system where another planet could exist for a long time.


title: Never Forget: Balancing Exploration and Exploitation via Learning Optical Flow

abstract: Exploration bonus derived from the novelty of the states in an environment has become a popular approach to motivate exploration for deep reinforcement learning agents in the past few years. Recent methods such as curiosity-driven exploration usually estimate the novelty of new observations by the prediction errors of their system dynamics models. Due to the capacity limitation of the models and difficulty of performing next-frame prediction, however, these methods typically fail to balance between exploration and exploitation in high-dimensional observation tasks, resulting in the agents forgetting the visited paths and exploring those states repeatedly. Such inefficient exploration behavior causes significant performance drops, especially in large environments with sparse reward signals. In this paper, we propose to introduce the concept of optical flow estimation from the field of computer vision to deal with the above issue. We propose to employ optical flow estimation errors to examine the novelty of new observations, such that agents are able to memorize and understand the visited states in a more comprehensive fashion. We compare our method against the previous approaches in a number of experimental experiments. Our results indicate that the proposed method appears to deliver superior and long-lasting performance than the previous methods. We further provide a set of comprehensive ablative analysis of the proposed method, and investigate the impact of optical flow estimation on the learning curves of the DRL agents.


title: Nanomechanical strain concentration on a 2D nanobridge within a large suspended bilayer graphene for molecular mass detection

abstract: The recent emergence of strain gradient engineering directly affects the nanomechanics, optoelectronics and thermal transport fields in 2D materials. More specifically, large suspended graphene under very high stress represents the quintessence for nanomechanical mass detection through unique molecular reactions. Different techniques have been used to induce strain in 2D materials, for instance by applying tip indentation, pressure or substrate bending on a graphene membrane. Nevertheless, an efficient way to control the strain of a structure is to engineer the system geometry as shown in everyday life in architecture and acoustics. Similarly, we studied the concentration of strain in artificial nanoconstrictions (~100 nm) in a suspended epitaxial bilayer graphene membrane with different geometries and lengths ranging from 10 to 40 micrometer. We carefully isolated the strain signature from micro-Raman measurements and extracted information on a scale below the laser spot size by analyzing the broadened shape of our Raman peaks, up to 100 cm-1. We potentially measured a strong strain concentration in a nanoconstriction up to 5percent, which is 20 times larger than the native epitaxial graphene strain. Moreover, with a bilayer graphene, our configuration naturally enhanced the native asymmetric strain between the upper and lower graphene layers. In contrast to previous results, we can achieve any kind of complex strain tensor in graphene thanks to our structural approach. This method completes the previous strain-induced techniques and opens up new perspectives for bilayer graphene and 2D heterostructures based devices.


title: The chromatic number of random Borsuk graphs

abstract: We study a model of random graph where vertices are $n$ i.i.d. uniform random points on the unit sphere $S^d$ in $\mathbb{R}^{d+1}$, and a pair of vertices is connected if the Euclidean distance between them is at least $2- \epsilon$. We are interested in the chromatic number of this graph as $n$ tends to infinity. It is not too hard to see that if $\epsilon > 0$ is small and fixed, then the chromatic number is $d+2$ with high probability. We show that this holds even if $\epsilon \to 0$ slowly enough. We quantify the rate at which $\epsilon$ can tend to zero and still have the same chromatic number. The proof depends on combining topological methods (namely the Lyusternik--Schnirelman--Borsuk theorem) with geometric probability arguments. The rate we obtain is best possible, up to a constant factor --- if $\epsilon \to 0$ faster than this, we show that the graph is $(d+1)$-colorable with high probability.


title: Rational curves in the logarithmic multiplicative group

abstract: The logarithmic multiplicative group is a proper group object in logarithmic schemes, which morally compactifies the usual multiplicative group. We study the structure of the stacks of logarithmic maps from rational curves to this logarithmic torus, and show that in most cases, it is a product of the logarithmic torus with the space of rational curves. This gives a conceptual explanation for earlier results on the moduli spaces of logarithmic stable maps to toric varieties.


title: Decentralization of Multiagent Policies by Learning What to Communicate

abstract: Effective communication is required for teams of robots to solve sophisticated collaborative tasks. In practice it is typical for both the encoding and semantics of communication to be manually defined by an expert; this is true regardless of whether the behaviors themselves are bespoke, optimization based, or learned. We present an agent architecture and training methodology using neural networks to learn task-oriented communication semantics based on the example of a communication-unaware expert policy. A perimeter defense game illustrates the system's ability to handle dynamically changing numbers of agents and its graceful degradation in performance as communication constraints are tightened or the expert's observability assumptions are broken.


title: Consistent nonparametric change point detection combining CUSUM and marked empirical processes

abstract: A weakly dependent time series regression model with multivariate covariates and univariate observations is considered, for which we develop a procedure to detect whether the nonparametric conditional mean function is stable in time against change point alternatives. Our proposal is based on a modified CUSUM type test procedure, which uses a sequential marked empirical process of residuals. We show weak convergence of the considered process to a centered Gaussian process under the null hypothesis of no change in the mean function and a stationarity assumption. This requires some sophisticated arguments for sequential empirical processes of weakly dependent variables. As a consequence we obtain convergence of Kolmogorov-Smirnov and Cram\'er-von Mises type test statistics. The proposed procedure acquires a very simple limiting distribution and nice consistency properties, features from which related tests are lacking. We moreover suggest a bootstrap version of the procedure and discuss its applicability in the case of unstable variances.


title: Feudal Multi-Agent Hierarchies for Cooperative Reinforcement Learning

abstract: We investigate how reinforcement learning agents can learn to cooperate. Drawing inspiration from human societies, in which successful coordination of many individuals is often facilitated by hierarchical organisation, we introduce Feudal Multi-agent Hierarchies (FMH). In this framework, a 'manager' agent, which is tasked with maximising the environmentally-determined reward function, learns to communicate subgoals to multiple, simultaneously-operating, 'worker' agents. Workers, which are rewarded for achieving managerial subgoals, take concurrent actions in the world. We outline the structure of FMH and demonstrate its potential for decentralised learning and control. We find that, given an adequate set of subgoals from which to choose, FMH performs, and particularly scales, substantially better than cooperative approaches that use a shared reward function.


title: A compactness result for a system with weight and boundary singularity

abstract: We give blow-up behavior for solutions to an elliptic system with Dirichlet condition, and, weight and boundary singularity. Also, we have a compactness result for this elliptic system with regular H{\"o}lderian weight and boundary singularity and Lipschitz condition.


title: Modeling penetrating collisions in the standard line broadening impact theory for hydrogen

abstract: Spectral lines emitted by plasmas provide information about the thermodynamic conditions, the degree of randomness or the interactions prevailing in the medium. Collisions by plasma electrons penetrating the extent of bound-electron wavefunctions is important at high density, where short-range interactions become dominant. Such collisions are usually not taken into account properly in the standard lineshape theory, assuming long-range dipole approximation. The formalism of penetrating collisions for hydrogen relies on the introduction of a family of integrals calculated using a recursion relation. In this work, we show that such integrals can be expressed analytically, as a finite sum involving binomial coefficients and modified Bessel functions of the third kind. The explicit expression enabled us to obtain a simple approximate analytical form for the collision operator, making numerical implementation and physical interpretation easier. We also propose simple analytical forms of coefficients and integrals important for the modeling of penetrating collisions.


title: Dimension bounds in monotonicity methods for the Helmholtz equation

abstract: The article [HPS] established a monotonicity inequality for the Helmholtz equation and presented applications to shape detection and local uniqueness in inverse boundary problems. The monotonicity inequality states that if two scattering coefficients satisfy $q_1 \leq q_2$, then the corresponding Neumann-to-Dirichlet operators satisfy $\Lambda(q_1) \leq \Lambda(q_2)$ up to a finite dimensional subspace. Here we improve the bounds for the dimension of this space. In particular, if $q_1$ and $q_2$ have the same number of positive Neumann eigenvalues, then the finite dimensional space is trivial.


title: Simultaneous Phase Separation and Pattern Formation in Chiral Active Mixtures

abstract: Chiral active particles, or self-propelled circle swimmers, from sperm cells to asymmetric Janus colloids, form a rich set of patterns, which are different from those seen in linear swimmers. Such patterns have mainly been explored for identical circle swimmers, while real-world circle swimmers, typically possess a frequency distribution. Here we show that even the simplest mixture of (velocity-aligning) circle swimmers with two different frequencies, hosts a complex world of superstructures: The most remarkable example comprises a microflock pattern, formed in one species, while the other species phase separates and forms a macrocluster, coexisting with a gas phase. Here, one species microphase-separates and selects a characteristic length scale, whereas the other one macrophase separates and selects a density. A second notable example, here occurring in an isotropic system, are patterns comprising two different characteristic length scales, which are controllable via frequency and swimming speed of the individual particles.


title: Modelling the Demand and Uncertainty of Low Voltage Networks and the Effect of non-Domestic Consumers

abstract: The increasing use and spread of low carbon technologies are expected to cause new patterns in electric demand and set novel challenges to a distribution network operator (DNO). In this study, we build upon a recently introduced method, called "buddying", which simulates low voltage (LV) networks of both residential and non-domestic (e.g. shops, offices, schools, hospitals, etc.) customers through optimization (via a genetic algorithm) of demands based on limited monitored and customer data. The algorithm assigns a limited but diverse number of monitored households (the "buddies") to the unmonitored customers on a network. We study and compare two algorithms, one where substation monitoring data is available and a second where no substation information is used. Despite the roll out of monitoring equipment at domestic properties and/or substations, less data is available for commercial customers. This study focuses on substations with commercial customers most of which have no monitored `buddy', in which case a profile must be created. Due to the volatile nature of the low voltage networks, uncertainty bounds are crucial for operational purposes. We introduce and demonstrate two techniques for modelling the confidence bounds on the modelled LV networks. The first method uses probabilistic forecast methods based on substation monitoring; the second only uses a simple bootstrap of the sample of monitored customers but has the advantage of not requiring monitoring at the substation. These modelling tools, buddying and uncertainty bounds, can give further insight to a DNO to better plan and manage the network when limited information is available.


title: Erratum: A Comprehensive Approach to Tau-Lepton Production by High-Energy Tau Neutrinos Propagating Through Earth [Phys. Rev. D 97, 023021 (2018), arXiv:1707.00334]

abstract: We report an error found during independent review of the NuTauSim publicly available code \url{https://github.com/harmscho/NuTauSim} that forms the basis of this publication. The error in the code was in tracking the density of the medium during particle propagation. After the first interaction, the code was referencing the depth of penetration back to the surface of the Earth rather than the location of the last interaction. The results were obtained using densities that were systematically underestimated when the particle was traversing the inner layers of the Earth by assigning the density of either ice or bedrock, depending on the particle energy or ice thickness of the simulation. This error was fixed and the repository updated on September 29, 2018.


title: On gravitational spherical collapse without spacetime singularity

abstract: This note discusses possible quantum effects in the context of homogeneous flat FLRW and inhomogeneous LTB gravitational spherical collapse, which lead to bounce solutions.


title: Controlling excitons in an atomically thin membrane with a mirror

abstract: We demonstrate a new approach for dynamically manipulating the optical response of an atomically thin semiconductor, a monolayer of MoSe2, by suspending it over a metallic mirror. First, we show that suspended van der Waals heterostructures incorporating a MoSe2 monolayer host spatially homogeneous, lifetime-broadened excitons. Then, we interface this nearly ideal excitonic system with a metallic mirror and demonstrate control over the exciton-photon coupling. Specifically, by electromechanically changing the distance between the heterostructure and the mirror, thereby changing the local photonic density of states in a controllable and reversible fashion, we show that both the absorption and emission properties of the excitons can be dynamically modulated. This electromechanical control over exciton dynamics in a mechanically flexible, atomically thin semiconductor opens up new avenues in cavity quantum optomechanics, nonlinear quantum optics, and topological photonics.


title: A simple closure procedure for the study of velocity autocorrelation functions in fluids as a "bridge" between different theoretical approaches

abstract: Velocity autocorrelation functions (VAF) of the fluids are studied on short- and long-time scales within a unified approach. This approach is based on an effective summation of the infinite continued fraction at a reasonable assumption about convergence of relaxation times of the high order memory functions, which have purely kinetic origin. The VAFs obtained within our method are compared with computer simulation data for the liquid Ne at different densities and the results, which follow from the Markovian approximation for the highest order kinetic kernels. It is shown that in all the thermodynamic points and at the chosen level of the hierarchy, our results agree much better with the MD data than those of the Markovian approximation. The density dependence of the transition time, needed for the fluid to attain the hydrodynamic stage of evolution, is evaluated. The common and distinctive features of our method are discussed in their relations to the generalized collective mode (GCM) theory, the mode coupling theory (MCT), and some other theoretical approaches.


title: The Proportion of Trees that are Linear

abstract: We study several enumeration problems connected to linear trees, a broad class which includes stars, paths, generalized stars, and caterpillars. We provide generating functions for counting the number of linear trees on $n$ vertices, characterize the asymptotic growth rate of the number of nonisomorphic linear trees, and show that the distribution of $k$-linear trees on $n$ vertices follows a central limit theorem.


title: Integral points of bounded height on a log Fano threefold

abstract: We determine an asymptotic formula for the number of integral points of bounded height on a blow-up of $\mathbb{P}^3$ outside certain planes using universal torsors.


title: Materials Informatics for Heat Transfer: Recent Progresses and Perspectives

abstract: With the advances in materials and integration of electronics and thermoelectrics, the demand for novel crystalline materials with ultimate high/low thermal conductivity is increasing. However, search for optimal thermal materials is challenge due to the tremendous degrees of freedom in the composition and structure of crystal compounds and nanostructures, and thus empirical search would be exhausting. Materials informatics, which combines the simulation/experiment with machine learning, is now gaining great attention as a tool to accelerate the search of novel thermal materials. In this review, we discuss recent progress in developing materials informatics for heat transport: the exploration of crystals with high/low thermal conductivity via high-throughput screening, and nanostructure design for high/low thermal conductance using the Bayesian optimization and Monte Carlo tree search. The progresses show that the materials informatics method are useful for designing thermal functional materials. We end by addressing the remaining issues and challenges for further development.


title: MPC for Humanoid Gait Generation: Stability and Feasibility

abstract: We present IS-MPC, an intrinsically stable MPC framework for humanoid gait generation which incorporates an explicit stability constraint in the formulation. The proposed method uses as prediction model a dynamically extended LIP where ZMP velocities are the control inputs, producing in real time a gait (including footsteps with the associated timing) that realizes omnidirectional motion commands coming from an external source. The stability constraint links the future ZMP velocities to the current system state so as to guarantee the essential requirement that the generated CoM trajectory is bounded with respect to the ZMP trajectory. Since the control horizon of the MPC algorithm is finite, only part of the future ZMP velocities are decision variables of the QP problem; the remaining part, called tail, must be either conjectured or anticipated using preview information on the reference motion. Several possible options for the tail are discussed, and each of them is shown to correspond to a specific terminal constraint. A theoretical analysis of the feasibility of the generic MPC iteration is developed and used to obtain sufficient conditions for recursive feasibility. Finally, it is proved that IS-MPC guarantees stability of the CoM/ZMP dynamics if it is recursively feasible. Simulation and experimental results on the NAO and the HRP-4 humanoids are presented to illustrate the performance of the proposed method.