title: Non-contact photoplethysmogram and instantaneous heart rate estimation from infrared face video

abstract: Extracting the instantaneous heart rate (iHR) from face videos has been well studied in recent years. It is well known that changes in skin color due to blood flow can be captured using conventional cameras. One of the main limitations of methods that rely on this principle is the need of an illumination source. Moreover, they have to be able to operate under different light conditions. One way to avoid these constraints is using infrared cameras, allowing the monitoring of iHR under low light conditions. In this work, we present a simple, principled signal extraction method that recovers the iHR from infrared face videos. We tested the procedure on 7 participants, for whom we recorded an electrocardiogram simultaneously with their infrared face video. We checked that the recovered signal matched the ground truth iHR, showing that infrared is a promising alternative to conventional video imaging for heart rate monitoring, especially in low light conditions. Code is available at https://github.com/natalialmg/IR_iHR


title: Unique Differences in Symmetric Subsets of $\mathbb{F}_p$

abstract: Let $p$ be a prime and let $A$ be a subset of $\mathbb{F}_p$ with $A=-A$ and $|A\setminus\{0\}| \leq 2\log_3(p)$. Then there is an element of $\mathbb{F}_p$ which has a unique representation as a difference of two elements of $A$.


title: Categorical Metadata Representation for Customized Text Classification

abstract: The performance of text classification has improved tremendously using intelligently engineered neural-based models, especially those injecting categorical metadata as additional information, e.g., using user/product information for sentiment classification. These information have been used to modify parts of the model (e.g., word embeddings, attention mechanisms) such that results can be customized according to the metadata. We observe that current representation methods for categorical metadata, which are devised for human consumption, are not as effective as claimed in popular classification methods, outperformed even by simple concatenation of categorical features in the final layer of the sentence encoder. We conjecture that categorical features are harder to represent for machine use, as available context only indirectly describes the category, and even such context is often scarce (for tail category). To this end, we propose to use basis vectors to effectively incorporate categorical metadata on various parts of a neural-based model. This additionally decreases the number of parameters dramatically, especially when the number of categorical features is large. Extensive experiments on various datasets with different properties are performed and show that through our method, we can represent categorical metadata more effectively to customize parts of the model, including unexplored ones, and increase the performance of the model greatly.


title: On Lightweight Privacy-Preserving Collaborative Learning for IoT Objects

abstract: The Internet of Things (IoT) will be a main data generation infrastructure for achieving better system intelligence. This paper considers the design and implementation of a practical privacy-preserving collaborative learning scheme, in which a curious learning coordinator trains a better machine learning model based on the data samples contributed by a number of IoT objects, while the confidentiality of the raw forms of the training data is protected against the coordinator. Existing distributed machine learning and data encryption approaches incur significant computation and communication overhead, rendering them ill-suited for resource-constrained IoT objects. We study an approach that applies independent Gaussian random projection at each IoT object to obfuscate data and trains a deep neural network at the coordinator based on the projected data from the IoT objects. This approach introduces light computation overhead to the IoT objects and moves most workload to the coordinator that can have sufficient computing resources. Although the independent projections performed by the IoT objects address the potential collusion between the curious coordinator and some compromised IoT objects, they significantly increase the complexity of the projected data. In this paper, we leverage the superior learning capability of deep learning in capturing sophisticated patterns to maintain good learning performance. Extensive comparative evaluation shows that this approach outperforms other lightweight approaches that apply additive noisification for differential privacy and/or support vector machines for learning in the applications with light data pattern complexities.


title: On the Structure of Time-delay Embedding in Linear Models of Non-linear Dynamical Systems

abstract: This work addresses fundamental issues related to the structure and conditioning of linear time-delayed models of non-linear dynamics on an attractor. While this approach has been well-studied in the asymptotic sense (e.g. for infinite number of delays), the non-asymptotic setting is not well-understood. First, we show that the minimal time-delays required for perfect signal recovery are solely determined by the sparsity in the Fourier spectrum for scalar systems. For the vector case, we provide a rank test and a geometric interpretation for the necessary and sufficient conditions for the existence of an accurate linear time delayed model. Further, we prove that the output controllability index of a linear system induced by the Fourier spectrum serves as a tight upper bound on the minimal number of time delays required. An explicit expression for the exact linear model in the spectral domain is also provided. From a numerical perspective, the effect of the sampling rate and the number of time delays on numerical conditioning is examined. An upper bound on the condition number is derived, with the implication that conditioning can be improved with additional time delays and/or decreasing sampling rates. Moreover, it is explicitly shown that the underlying dynamics can be accurately recovered using only a partial period of the attractor. Our analysis is first validated in simple periodic and quasi-periodic systems, and sensitivity to noise is also investigated. Finally, issues and practical strategies of choosing time delays in large-scale chaotic systems are discussed and demonstrated on 3D turbulent Rayleigh-B\'{e}nard convection.


title: Searching for modular companions

abstract: In this note, we report on the results of a computer search performed to find possible modular companions to certain $q$-series identities and conjectures. For the search, we use conditions arising from the asymptotics of Nahm sums. We focus on two sets of identities: Capparelli's identities, and certain partition conjectures made by the author jointly with Matthew C. Russell.


title: Simulator-free Solution of High-Dimensional Stochastic Elliptic Partial Differential Equations using Deep Neural Networks

abstract: Stochastic partial differential equations (SPDEs) are ubiquitous in engineering and computational sciences. The stochasticity arises as a consequence of uncertainty in input parameters, constitutive relations, initial/boundary conditions, etc. Because of these functional uncertainties, the stochastic parameter space is often high-dimensional, requiring hundreds, or even thousands, of parameters to describe it. This poses an insurmountable challenge to response surface modeling since the number of forward model evaluations needed to construct an accurate surrogate grows exponentially with the dimension of the uncertain parameter space; a phenomenon referred to as the \textit{curse of dimensionality}. State-of-the-art methods for high-dimensional uncertainty propagation seek to alleviate the curse of dimensionality by performing dimensionality reduction in the uncertain parameter space. However, one still needs to perform forward model evaluations that potentially carry a very high computational burden. We propose a novel methodology for high-dimensional uncertainty propagation of elliptic SPDEs which lifts the requirement for a deterministic forward solver. Our approach is as follows. We parameterize the solution of the elliptic SPDE using a deep residual network (ResNet). In a departure from the traditional squared residual (SR) based loss function for training the ResNet, we introduce a novel physics-informed loss function derived from variational principles. Specifically, our loss function is the expectation of the energy functional of the PDE over the stochastic variables. We demonstrate our solver-free approach through various examples where the elliptic SPDE is subjected to different types of high-dimensional input uncertainties. Also, we solve high-dimensional uncertainty propagation and inverse problems.


title: Pathology and asymmetry: centralizer rigidity for partially hyperbolic diffeomorphisms

abstract: We discover a rigidity phenomenon within the volume-preserving partially hyperbolic diffeomorphisms with $1$-dimensional center. In particular, for smooth, ergodic perturbations of certain algebraic systems -- including the discretized geodesic flows over hyperbolic manifolds and certain toral automorphisms with simple spectrum and exactly one eigenvalue on the unit circle, the smooth centralizer is either virtually $\mathbb Z^\ell$ or contains a smooth flow. At the heart of this work are two very different rigidity phenomena. The first was discovered in [2,3] for a class of volume-preserving partially hyperbolic systems including those studied here, the disintegration of volume along the center foliation is either equivalent to Lebesgue or atomic. The second phenomenon is the rigidity associated to several commuting partially hyperbolic diffeomorphisms with very different hyperbolic behavior transverse to a common center foliation [25]. We introduce a variety of techniques in the study of higher rank, abelian partially hyperbolic actions: most importantly, we demonstrate a novel geometric approach to building new partially hyperbolic elements in hyperbolic Weyl chambers using Pesin theory and leafwise conjugacy, while we also treat measure rigidity for circle extensions of Anosov diffeomorphisms and apply normal form theory to upgrade regularity of the centralizer.


title: Hawking radiation from not-extremal and extremal Reissner-Nordstrom black holes

abstract: We consider the non-extremal Reissner-Nordstrom black hole and construct a wave packet that exhibits the Hawking radiation. We find the average of the number of the created particles with respect to the $|0\rangle$ vacuum state and with respect to Unruh type vacuum state. The average of the number operator in the $|0\rangle$ vacuum state consists of two terms: one is related to the Hawking radiation and the second is not related. We use the same construction for the extremal RN black hole and get that the average of the number operator with respect to the $|0\rangle$ vacuum state is also a sum of two term, where the one related to the Hawking radiation is equal to zero. This result is consistent with other works on the Hawking radiation for the extremal RN black hole.


title: Investigation of the asteroid-neutron star collision model for the repeating fast radio bursts

abstract: The origin of fast radio bursts (FRBs) is still a mystery. One model proposed to interpret the only known repeating object, FRB 121102, is that the radio emission is generated from asteroids colliding with a highly magnetized neutron star (NS). With N-body simulations, we model a debris disc around a central star with an eccentric orbit intruding NS. As the NS approaches the first periastron passage, most of the comets are scattered away rather than being accreted by the NS. To match the observed FRB rate, the debris belt would have to be at least three orders of magnitude more dense than the Kuiper belt. We also consider the rate of collisions on to the central object but find that the density of the debris belt must be at least four orders of magnitude more dense than the Kuiper belt. These discrepancies in the density arise even if (1) one introduces a Kuiper-belt like comet belt rather than an asteroid belt and assume that comet impacts can also make FRBs; (2) the NS moves 2 orders of magnitude slower than their normal proper-motion velocity due to supernova kicks; and (3) the NS orbit is coplanar to the debris belt, which provides the highest rate of collisions.


title: TIRA: Toolbox for Interval Reachability Analysis

abstract: This paper presents TIRA, a Matlab library gathering several methods for the computation of interval over-approximations of the reachable sets for both continuous- and discrete-time nonlinear systems. Unlike other existing tools, the main strength of interval-based reachability analysis is its simplicity and scalability, rather than the accuracy of the over-approximations. The current implementation of TIRA contains four reachability methods covering wide classes of nonlinear systems, handled with recent results relying on contraction/growth bounds and monotonicity concepts. TIRA's architecture features a central function working as a hub between the user-defined reachability problem and the library of available reachability methods. This design choice offers increased extensibility of the library, where users can define their own method in a separate function and add the function call in the hub function.


title: HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification

abstract: Programmable Logic Controllers (PLCs) provide a prominent choice of implementation platform for safety-critical industrial control systems. Formal verification provides ways of establishing correctness guarantees, which can be quite important for such safety-critical applications. But since PLC code does not include an analytic model of the system plant, their verification is limited to discrete properties. In this paper, we, thus, start the other way around with hybrid programs that include continuous plant models in addition to discrete control algorithms. Even deep correctness properties of hybrid programs can be formally verified in the theorem prover KeYmaera X that implements differential dynamic logic, dL, for hybrid programs. After verifying the hybrid program, we now present an approach for translating hybrid programs into PLC code. The new tool, HyPLC, implements this translation of discrete control code of verified hybrid program models to PLC controller code and, vice versa, the translation of existing PLC code into the discrete control actions for a hybrid program given an additional input of the continuous dynamics of the system to be verified. This approach allows for the generation of real controller code while preserving, by compilation, the correctness of a valid and verified hybrid program. PLCs are common cyber-physical interfaces for safety-critical industrial control applications, and HyPLC serves as a pragmatic tool for bridging formal verification of complex cyber-physical systems at the algorithmic level of hybrid programs with the execution layer of concrete PLC implementations.


title: Generating a chain of maps which preserve the same integral as a given map

abstract: We generalise the concept of duality to systems of ordinary difference equations (or maps). We propose a procedure to construct a chain of systems of equations which are dual, with respect to an integral $H$, to the given system, by exploiting the integral relation, defined by the upshifted version and the original version of $H$. When the numerator of the integral relation is biquadratic or multi-linear, we point out conditions where a dual fails to exists. The procedure is applied to several two-component systems obtained as periodic reductions of 2D lattice equations, including the nonlinear Schr\"{o}dinger system, the two-component potential Korteweg-De Vries equation, the scalar modified Korteweg-De Vries equation, and a modified Boussinesq system.


title: Note on the Retarded van der Waals Potential within the Dipole Approximation

abstract: We examine the dipole approximated Pauli-Fierz Hamiltonians of the nonrelativistic QED. We assume that the Coulomb potential of the nuclei together with the Coulomb interaction between the electrons can be approximated by harmonic potentials. By an exact diagonalization method, we prove that the binding energy of the two hydrogen atoms behaves as $R^{-7}$, provided that the distance between atoms $R$ is sufficiently large. We employ the Feynman's representation of the quantized radiation fields which enables us to diagonalize Hamiltonians, rigorously. Our result supports the famous conjecture by Casimir and Polder.


title: A Framework towards Quantifying Human Restorativeness in Virtual Built Environments

abstract: The impact of built environment on the human restorativeness has long been argued; however, the interrelations between neuroscience and the built environment, and the degree to which the built environment contributes to increased human restorativeness has not been completely understood yet. Understanding the interrelations between neuroscience and the built environment is critical as 90% of time in a typical day is spent indoors and architectural features impact the productivity, health and comfort of occupants. The goal of this study is to bring a structured understanding of architecture and neuroscience interactions in designed facilities and quantification of the impact of design on human experience. The authors first built two virtual environments (i.e., restorative and non-restorative) using the architectural designs features related to human restorativeness identified by previous research efforts. Next, user experiments were conducted in the two built virtual environments including 22 people. The subjects were asked to conduct navigational tasks while their bodily responses recorded by body area sensors (e.g., EEG, GSR, and Eye-tracking). The result showed that human responses in restorative and non-restorative environment had statistically significant difference. This study serves as the first step of understanding human responses in the virtual environment, and designing spaces that maximize human experience.


title: On Scalaron Decay via the Trace of Energy-Momentum Tensor

abstract: In some inflation scenarios such as $R^{2}$ inflation, a gravitational scalar degrees of freedom called scalaron is identified as inflaton. Scalaron linearly couples to matter via the trace of energy-momentum tensor. We study scenarios with a sequestered matter sector, where the trace of energy-momentum tensor predominantly determines the scalaron coupling to matter. In a sequestered setup, heavy degrees of freedom are expected to decouple from low-energy dynamics. On the other hand, it is non-trivial to see the decoupling since scalaron couples to a mass term of heavy degrees of freedom. Actually, when heavy degrees of freedom carry some gauge charge, the amplitude of scalaron decay to two gauge bosons does not vanish in the heavy mass limit. Here the quantum contribution to the trace of energy-momentum tensor plays an essential role. This quantum contribution is known as trace anomaly or Weyl anomaly. The trace anomaly contribution from heavy degrees of freedom cancels with the contribution from the ${\it classical}$ scalaron coupling to a mass term of heavy degrees of freedom. We see how trace anomaly appears both in the Fujikawa method and in dimensional renormalization. In dimensional renormalization, one can evaluate the scalaron decay amplitude in principle at all orders, while it is unclear how to process it beyond the one-loop level in the Fujikawa method. We consider scalaron decay to two gauge bosons via the trace of energy-momentum tensor in quantum electrodynamics with scalars and fermions. We evaluate the decay amplitude at the leading order to demonstrate the decoupling of heavy degrees of freedom.


title: Transformation of intermediate times in the decays of moving unstable quantum systems via the exponential modes

abstract: The transformation of canonical decay laws of moving unstable quantum systems is studied by approximating, over intermediate times, the decay laws at rest with superpositions of exponential modes via the Prony analysis. The survival probability $\mathcal{P}_p(t)$, which is detected in the laboratory reference frame where the unstable system moves with constant linear momentum $p$, is represented by the transformed form $\mathcal{P}_0\left(\varphi_p(t)\right)$ of the survival probability at rest $\mathcal{P}_0(t)$. The transformation of the intermediate times, which is induced by the change of reference frame, is obtained by evaluating the function $\varphi_p(t)$. Under determined conditions, this function grows linearly and the survival probability transforms, approximately, according to a scaling law over an estimated time window. The relativistic dilation of times holds, approximately, over the time window if the mass of resonance of the mass distribution density is considered to be the effective mass at rest of the moving unstable quantum system.


title: Long and Short Memory Balancing in Visual Co-Tracking using Q-Learning

abstract: Employing one or more additional classifiers to break the self-learning loop in tracing-by-detection has gained considerable attention. Most of such trackers merely utilize the redundancy to address the accumulating label error in the tracking loop, and suffer from high computational complexity as well as tracking challenges that may interrupt all classifiers (e.g. temporal occlusions). We propose the active co-tracking framework, in which the main classifier of the tracker labels samples of the video sequence, and only consults auxiliary classifier when it is uncertain. Based on the source of the uncertainty and the differences of two classifiers (e.g. accuracy, speed, update frequency, etc.), different policies should be taken to exchange the information between two classifiers. Here, we introduce a reinforcement learning approach to find the appropriate policy by considering the state of the tracker in a specific sequence. The proposed method yields promising results in comparison to the best tracking-by-detection approaches.


title: Laser cooling with adiabatic passage for diatomic molecules

abstract: We present a magnetically enhanced laser cooling scheme applicable to multi-level type-II transitions and further diatomic molecules with adiabatic transfer. An angled magnetic field is introduced to not only remix the dark states, but also decompose the multi-level system into several two-level sub-systems in time-ordering, hence allowing multiple photon momentum transfer. For complex multi-level diatomic molecules, although the enhancement gets weakened, our simulations still predict a $\sim 4\times$ larger value of the maximum achievable cooling force and a wider coolable velocity range compared to the conventional Doppler cooling. A reduced dependence on spontaneous emission of this scheme makes laser cooling a molecule with leakage channels become a feasibility.


title: Non-Asymptotic Analysis of Monte Carlo Tree Search

abstract: In this work, we consider the popular tree-based search strategy within the framework of reinforcement learning, the Monte Carlo Tree Search (MCTS), in the context of infinite-horizon discounted cost Markov Decision Process (MDP). While MCTS is believed to provide an approximate value function for a given state with enough simulations, the claimed proof in the seminal works is incomplete. This is due to the fact that the variant, the Upper Confidence Bound for Trees (UCT), analyzed in prior works utilizes "logarithmic" bonus term for balancing exploration and exploitation within the tree-based search, following the insights from stochastic multi-arm bandit (MAB) literature. In effect, such an approach assumes that the regret of the underlying recursively dependent non-stationary MABs concentrates around their mean exponentially in the number of steps, which is unlikely to hold as pointed out in literature, even for stationary MABs. As the key contribution of this work, we establish polynomial concentration property of regret for a class of non-stationary MAB. This in turn establishes that the MCTS with appropriate polynomial rather than logarithmic bonus term in UCB has the claimed property. Using this as a building block, we argue that MCTS, combined with nearest neighbor supervised learning, acts as a "policy improvement" operator: it iteratively improves value function approximation for all states, due to combining with supervised learning, despite evaluating at only finitely many states. In effect, we establish that to learn an $\varepsilon$ approximation of the value function with respect to $\ell_\infty$ norm, MCTS combined with nearest neighbor requires a sample size scaling as $\widetilde{O}\big(\varepsilon^{-(d+4)}\big)$, where $d$ is the dimension of the state space. This is nearly optimal due to a minimax lower bound of $\widetilde{\Omega}\big(\varepsilon^{-(d+2)}\big)$.


title: Smart contracts meet quantum cryptography

abstract: We put forward the idea that classical blockchains and smart contracts are potentially useful primitives not only for classical cryptography, but for quantum cryptography as well. Abstractly, a smart contract is a functionality that allows parties to deposit funds, and release them upon fulfillment of algorithmically checkable conditions, and can thus be employed as a formal tool to enforce monetary incentives. In this work, we give the first example of the use of smart contracts in a quantum setting. We describe a simple hybrid classical-quantum payment system whose main ingredients are a classical blockchain capable of handling stateful smart contracts, and quantum lightning, a strengthening of public-key quantum money introduced by Zhandry [Eurocrypt 2019]. Our hybrid payment system uses quantum states as banknotes and a classical blockchain to settle disputes and to keep track of the valid serial numbers. It has several desirable properties: it is decentralized, requiring no trust in any single entity; payments are as quick as quantum communication, regardless of the total number of users; when a quantum banknote is damaged or lost, the rightful owner can recover the lost value.


title: Greybody factor for black string in dRGT massive gravity

abstract: The greybody factor from the black string in the de Rham-Gabadadze-Tolley (dRGT) massive gravity theory is investigated in this study. The dRGT massive gravity theory is one of the modified gravity theories used in explaining the current acceleration in the expansion of the universe. By using cylindrical symmetry, black strings in dRGT massive gravity are shown to exist. When quantum effects are taken into account, black strings can emit thermal radiation called Hawking radiation. The Hawking radiation at spatial infinity differs from that at the source by the so-called greybody factor. In this paper, we examined the rigorous bounds on the greybody factors from the dRGT black strings. The results show that the greybody factor crucially depends on the shape of the potential characterized by model parameters. The results agree with ones in quantum mechanics, the higher the potential, the harder it is for the waves to penetrate and also lower the bound for the rigorous bounds.


title: A Cross-Repository Model for Predicting Popularity in GitHub

abstract: Social coding platforms, such as GitHub, can serve as natural laboratories for studying the diffusion of innovation through tracking the pattern of code adoption by programmers. This paper focuses on the problem of predicting the popularity of software repositories over time; our aim is to forecast the time series of popularity-related events (code forks and watches). In particular, we are interested in cross-repository patterns-how do events on one repository affect other repositories? Our proposed LSTM (Long Short-Term Memory) recurrent neural network integrates events across multiple active repositories, outperforming a standard ARIMA (Auto-Regressive Integrated Moving Average) time series prediction based on the single repository. The ability of the LSTM to leverage cross-repository information gives it a significant edge over standard time series forecasting.


title: Classical zero-knowledge arguments for quantum computations

abstract: We show that every language in QMA admits a classical-verifier, quantum-prover zero-knowledge argument system which is sound against quantum polynomial-time provers and zero-knowledge for classical (and quantum) polynomial-time verifiers. The protocol builds upon two recent results: a computational zero-knowledge proof system for languages in QMA, with a quantum verifier, introduced by Broadbent et al. (FOCS 2016), and an argument system for languages in QMA, with a classical verifier, introduced by Mahadev (FOCS 2018).


title: Regional economic status inference from information flow and talent mobility

abstract: Novel data has been leveraged to estimate socioeconomic status in a timely manner, however, direct comparison on the use of social relations and talent movements remains rare. In this letter, we estimate the regional economic status based on the structural features of the two networks. One is the online information flow network built on the following relations on social media, and the other is the offline talent mobility network built on the anonymized resume data of job seekers with higher education. We find that while the structural features of both networks are relevant to economic status, the talent mobility network in a relatively smaller size exhibits a stronger predictive power for the gross domestic product (GDP). In particular, a composite index of structural features can explain up to about 84% of the variance in GDP. The result suggests future socioeconomic studies to pay more attention to the cost-effective talent mobility data.


title: Asymptotic expansion of the density for hypoelliptic rough differential equation

abstract: We study a rough differential equation driven by fractional Brownian motion with Hurst parameter $H$ $(1/4<H \le 1/2)$. Under H\"ormander's condition on the coefficient vector fields, the solution has a smooth density for each fixed time. Using Watanabe's distributional Malliavin calculus, we obtain a short time full asymptotic expansion of the density under quite natural assumptions. Our main result can be regarded as a "fractional version" of Ben Arous' famous work on the off-diagonal asymptotics.


title: Network Semantic Segmentation with Application to GitHub

abstract: In this paper we introduce the concept of network semantic segmentation for social network analysis. We consider the GitHub social coding network which has been a center of attention for both researchers and software developers. Network semantic segmentation describes the process of associating each user with a class label such as a topic of interest. We augment node attributes with network significant connections and then employ machine learning approaches to cluster the users. We compare the results with a network segmentation performed using community detection algorithms and one executed by clustering with node attributes. Results are compared in terms of community diversity within the semantic segments along with topic


title: Reduced thin-sandwich equations on manifolds euclidean at infinity and on closed manifolds: existence and multiplicity

abstract: The reduced thin-sandwich equations (RTSE) appear within Wheeler's thin-sandwich approach towards the Einstein constraint equations (ECE) of general relativity. It is known that these equations cannot be well-posed in general, but, on closed manifolds, sufficient conditions for well-posedness have been established. In particular, it has been shown that the RTSE are well posed in a neighbourhood of umbilical solutions of the constraint equations without conformal Killing fields. In this paper we will analyse such set of equations on manifolds euclidean at infinity in a neighbourhood of asymptotically euclidean (AE) solutions of the ECE. The main conclusion in this direction is that on AE-manifolds admitting a Yamabe positive metric, the solutions of the RTSE parametrize an open subset in the space of solutions of the ECE. Also, we show that in the case of closed manifolds, these equations are well-posed around umbilical solutions of the ECE admitting Killing fields and present some relevant examples. Finally, it will be shown that in the set of umbilical solutions of the vacuum ECE on closed manifolds, the RTSE are generically well-posed.


title: A note on rainbow saturation number of paths

abstract: For a fixed graph $F$ and an integer $t$, the \dfn{rainbow saturation number} of $F$, denoted by $sat_t(n,\mathfrak{R}(F))$, is defined as the minimum number of edges in a $t$-edge-colored graph on $n$ vertices which does not contain a \dfn{rainbow copy} of $F$, i.e., a copy of $F$ all of whose edges receive a different color, but the addition of any missing edge in any color from $[t]$ creates such a rainbow copy. Barrus, Ferrara, Vardenbussche and Wenger prove that $sat_t(n,\mathfrak{R}(P_\ell))\ge n-1$ for $\ell\ge 4$ and $sat_t(n,\mathfrak{R}(P_\ell))\le \lceil \frac{n}{\ell-1} \rceil \cdot \binom{\ell-1}{2}$ for $t\ge \binom{\ell-1}{2}$, where $P_\ell$ is a path with $\ell$ edges. In this short note, we improve the upper bounds and show that $sat_t(n,\mathfrak{R}(P_\ell))\le \lceil \frac{n}{\ell} \rceil \cdot \left({{\ell-2}\choose {2}}+4\right)$ for $\ell\ge 5$ and $t\ge 2\ell-5$.


title: On the number of crossings in a random labelled tree with vertices in convex position

abstract: We prove that the number of crossings in a random labelled tree with vertices in convex position is asymptotically Gaussian with mean $ n^2/6$ and variance $ n^3/45$. A similar result is proved for points in general position under mild constraints.


title: Conversion from RLBWT to LZ77

abstract: Converting a compressed format of a string into another compressed format without an explicit decompression is one of the central research topics in string processing. We discuss the problem of converting the run-length Burrows-Wheeler Transform (RLBWT) of a string to Lempel-Ziv 77 (LZ77) phrases of the reversed string. The first results with Policriti and Prezza's conversion algorithm [Algorithmica 2018] were $O(n \log r)$ time and $O(r)$ working space for length of the string $n$, number of runs $r$ in the RLBWT, and number of LZ77 phrases $z$. Recent results with Kempa's conversion algorithm [SODA 2019] are $O(n / \log n + r \log^{9} n + z \log^{9} n)$ time and $O(n / \log_{\sigma} n + r \log^{8} n)$ working space for the alphabet size $\sigma$ of the RLBWT. In this paper, we present a new conversion algorithm by improving Policriti and Prezza's conversion algorithm where dynamic data structures for general purpose are used. We argue that these dynamic data structures can be replaced and present new data structures for faster conversion. The time and working space of our conversion algorithm with new data structures are $O(n \min \{ \log \log n, \sqrt{\frac{\log r}{\log\log r}} \})$ and $O(r)$, respectively.


title: An enigmatic hump around 30 keV in Suzaku spectra of Aquila X-1 in the Hard State

abstract: The typical accreting neutron star, Aquila X-1, was observed with Suzaku seven times in the decay phase of an outburst in 2007 September-October. Among them, the second to the fourth observations were performed 10 to 22 days after the outburst peak, when the source was in the hard state with a luminosity of 2x10^36 erg/sec. A unified spectral model for this type of objects approximately reproduced the 0.8--100~keV spectra obtained in these 3 observations. However, the spectra all exhibited an enigmatic hump-like excess around 30 keV, above the hard X-ray continuum which is interpreted as arising via Comptonization. The excess feature was confirmed to be significant against statistical and systematic uncertainties. It was successfully represented by a Gaussian centered at ~32 keV, with a width (sigma) of ~6 keV and an equivalent width of ~8.6 keV. Alternatively, the feature can also be explained by a recombination edge model, that produces a quasi-continuum above an edge energy of ~27 keV with an electron temperature of ~11 keV and an equivalent width of ~6.3 keV. These results are discussed in the context of atomic features of heavy elements synthesized via rapid-proton capture process during thermonuclear flashes.


title: Wave attenuation and dispersion due to floating ice covers

abstract: Experiments investigating the attenuation and dispersion of surface waves in a variety of ice covers are performed using a refrigerated wave flume. The ice conditions tested in the experiments cover naturally occurring combinations of continuous, fragmented, pancake and grease ice. Attenuation rates are shown to be a function of ice thickness, wave frequency, and the general rigidity of the ice cover. Dispersion changes were minor except for large wavelength increases when continuous covers were tested. Results are verified and compared with existing literature to show the extended range of investigation in terms of incident wave frequency and ice conditions.


title: Rate constants in spatially inhomogeneous systems

abstract: We present a theory and accompanying importance sampling method for computing rate constants in spatially inhomogenious systems. Using the relationship between rate constants and path space partition functions, we illustrate that the relative change in the rate of a rare event through space is isomorphic to the calculation of a free energy difference, albeit in a trajectory ensemble. Like equilibrium free energies, relative rate constants can be estimated by importance sampling. An extension to transition path sampling is proposed that combines biased path ensembles and weighted histogram analysis to accomplish this estimate. We show that rate constants can also be decomposed into different contributions, including relative changes in stability, barrier height and flux. This decomposition provides a means of interpretation and insight into rare processes in complex environments. We verify these ideas with a simple model of diffusion with spatially varying diffusivity and illustrate their utility in an atomistic model of ion pair dissociation near an electrochemical interface.


title: Geometry of Arimoto Algorithm

abstract: In information theory, the channel capacity, which indicates how efficient a given channel is, plays an important role. The best-used algorithm for evaluating the channel capacity is Arimoto algorithm. This paper aims to reveal an information geometric structure of Arimoto algorithm. In the process of trying to reveal an information geometric structure of Arimoto algorithm, a new algorithm that monotonically increases the Kullback-Leibler divergence is proposed, which is called "the Backward em-algorithm." Since the Backward em-algorithm is available in many cases where we need to increase the Kullback-Leibler divergence, it has a lot of potential to be applied to many problems of statistics and information theory.


title: Continuous logic and the strict order property

abstract: We generalize a theory of Shelah for continuous logic, namely a continuous theory has OP if and only if it has IP or SOP.


title: No-go theorem for static boson stars

abstract: It is proved that self-gravitating static scalar fields whose self-interaction potential $V(\psi^2)$ is a monotonically increasing function of its argument cannot form spherically symmetric asymptotically flat bound matter configurations. Our compact theorem rules out, in particular, the existence of spatially regular static boson stars made of nonlinear massive scalar fields.


title: Aggregate Hazes in Exoplanet Atmospheres

abstract: Photochemical hazes have been frequently used to interpret exoplanet transmission spectra that show an upward slope towards shorter wavelengths and weak molecular features. While previous studies have only considered spherical haze particles, photochemical hazes composed of hydrocarbon aggregate particles are common throughout the solar system. We use an aerosol microphysics model to investigate the effect of aggregate photochemical haze particles on transmission spectra of warm exoplanets. We find that the wavelength dependence of the optical depth of aggregate particle hazes is flatter than for spheres since aggregates grow to larger radii. As a result, while spherical haze opacity displays a scattering slope towards shorter wavelengths, aggregate haze opacity can be gray in the optical and NIR, similar to those assumed for condensate cloud decks. We further find that haze opacity increases with increasing production rate, decreasing eddy diffusivity, and increasing monomer size, though the magnitude of the latter effect is dependent on production rate and the atmospheric pressure levels probed. We generate synthetic exoplanet transmission spectra to investigate the effect of these hazes on spectral features. For high haze opacity cases, aggregate hazes lead to flat, nearly featureless spectra, while spherical hazes produce sloped spectra with clear spectral features at long wavelengths. Finally, we generate synthetic transmission spectra of GJ 1214b for aggregate and spherical hazes and compare them to space-based observations. We find that aggregate hazes can reproduce the data significantly better than spherical hazes, assuming a production rate limited by delivery of methane to the upper atmosphere.


title: Synthesis of Hg-based cuprate superconductors $HgBa_{2}Ca_{n-1}Cu_{n}O_{2(n+1)+\delta}$ by CsCl flux additional method

abstract: We have succeeded in the synthesis of Re-doped $HgBa_{2}Ca_{n-1}Cu_{n}O_{2(n+1)+\delta}$ quickly by a sealed tube technique with a bit of CsCl flux. Powder X-ray diffraction measurement revealed that the single phases of Re-doped $HgBa_{2}CuO_{4+\delta}$ (Hg1201), $HgBa_{2}CaCu_{2}O_{6+\delta}$ (Hg1212), and $HgBa_{2}Ca_{2}Cu_{3}O_{8+\delta}$ (Hg1223) formed in 4 h. The sample grains exhibited plate-like crystals with the sizes of 20$\times$20$\times$1 $\mu m^{3}$ and the chemical compositions of Hg1201, Hg1212, and Hg1223. The superconducting transitions were observed at 25 K for Hg1201, 122 for Hg1212, and 133 K for Hg1223 in the magnetic susceptibility. These results indicate that the developed method is useful for the fabrication of Hg-based superconducting wires.


title: Supercontinuum generation without residual pump peak through multiple coherent pump seeds

abstract: Residual pump peak in fiber-based supercontinuum, as a general phenomenon, limits its practical application. We report a novel supercontinuum generation (SCG) in a conventional highly nonlinear fiber (HNLF) through multiple coherent pump technique, which eliminates the residual pump peak existed in conventional SCG. The multiple coherent pump technique is realized by double bound-state solitons achieved from a homemade modelocked fiber laser. We further compare the SCGs pumped by conventional bound-state soliton and single soliton. It confirms that the effective elimination of the residual pump peak in supercontinuum owes to higher transferring efficiency of the pump energy to new generated frequencies in the multiple coherent pump scheme. The use of multiple coherent pump scheme, i.e., double bound-state solitons, provides a new, simple and promising method to obtain flat supercontinuum source.


title: GPU Accelerated AES Algorithm

abstract: It has been widely accepted that Graphics Processing Units (GPU) is one of promising schemes for encryption acceleration, in particular, the support of complex mathematical calculations such as integer and logical operations makes the implementation easier; however, complexes such as parallel granularity, memory allocation still imposes a burden on real world implementations. In this paper, we propose a new approach for Advanced Encryption Standard accelerations, including both encryption and decryption. Specifically, we adapt the Electronic Code Book mode for cryptographic transformation, look up table scheme for fast lookup, and a granularity of one state per thread for thread scheduling. Our experimental results offer researchers a good understanding on GPU architectures and software accelerations. In addition, both our source code and experimental results are freely available.


title: BOAssembler: a Bayesian Optimization Framework to Improve RNA-Seq Assembly Performance

abstract: High throughput sequencing of RNA (RNA-Seq) can provide us with millions of short fragments of RNA transcripts from a sample. How to better recover the original RNA transcripts from those fragments (RNA-Seq assembly) is still a difficult task. For example, RNA-Seq assembly tools typically require hyper-parameter tuning to achieve good performance for particular datasets. This kind of tuning is usually unintuitive and time-consuming. Consequently, users often resort to default parameters, which do not guarantee consistent good performance for various datasets. Here we propose BOAssembler (https://github.com/olivomao/boassembler), a framework that enables end-to-end automatic tuning of RNA-Seq assemblers, based on Bayesian Optimization principles. Experiments show this data-driven approach is effective to improve the overall assembly performance. The approach would be helpful for downstream (e.g. gene, protein, cell) analysis, and more broadly, for future bioinformatics benchmark studies.


title: Molecular dynamics simulations of active Brownian particles in dilute suspension: diffusion in free space and distribution in confinement

abstract: In this work, we report a new method to simulate active Brownian particles (ABPs) in molecular dynamics (MD) simulations. Immersed in a fluid, each ABP consists of a head particle and a spherical phantom region of fluid where the flagellum of a microswimmer takes effect. The orientation of the active particle is governed by a stochastic dynamics, with the orientational persistence time determined by the rotational diffusivity. To hydrodynamically drive the active particle as a pusher, a pair of active forces are exerted on the head particle and the phantom fluid region respectively. The active velocity measured along the particle orientation is proportional to the magnitude of the active force. The effective diffusion coefficient of the active particle is first measured in free space, showing semi-quantitative agreement with the analytical result predicted by a minimal model for ABPs. We then turn to the probability distribution of the active particle in confinement potential. We find that the stationary particle distribution undergoes an evolution from the Boltzmann-type to non-Boltzmann distribution as the orientational persistence time is increased relative to the relaxation time in the potential well. From the stationary distribution in confinement potential, the active part of the diffusion coefficient is measured and compared to that obtained in free space, showing a good semi-quantitative agreement while the orientational persistence time varies greatly relative to the relaxation time.


title: Plasma flows in the cool loop systems

abstract: We study the dynamics of low-lying cool loop systems for three datasets as observed by the Interface Region Imaging Spectrograph (IRIS). Radiances, Doppler shifts and line widths are investigated in and around observed cool loop systems using various spectral lines formed between the photosphere and transition region (TR). Footpoints of the loop threads are either dominated by blueshifts or redshifts. The co-spatial variation of velocity above the blue-shifted footpoints of various loop threads shows a transition from very small upflow velocities ranging from (-1 to +1) km/s in the Mg\,{\sc ii} k line (2796.20~\AA; formation temperature: log (T/K) = 4.0) to the high upflow velocities from (-10 to -20) km/s in Si\,{\sc iv}. Thus, the transition of the plasma flows from red-shift (downflows) to the blue-shift (upflows) is observed above the footpoints of these loop systems in the spectral line C\,{\sc ii} (1334.53~\AA; \log (T/K) = 4.3) lying between Mg\,{\sc ii} k and Si\,{\sc iv} (1402.77~\AA; log (T / K) = 4.8). This flow inversion is consistently observed in all three sets of the observational data. The other footpoint of loop system always remains red-shifted indicating downflowing plasma. The multi-spectral line analysis in the present paper provides a detailed scenario of the plasma flows inversions in cool loop systems leading to the mass transport and their formation. The impulsive energy release due to small-scale reconnection above loop footpoint seems to be the most likely cause for sudden initiation of the plasma flows evident at TR temperatures.


title: Atomic Norm Denoising for Complex Exponentials with Unknown Waveform Modulations

abstract: Non-stationary blind super-resolution is an extension of the traditional super-resolution problem, which deals with the problem of recovering fine details from coarse measurements. The non-stationary blind super-resolution problem appears in many applications including radar imaging, 3D single-molecule microscopy, computational photography, etc. There is a growing interest in solving non-stationary blind super-resolution task with convex methods due to their robustness to noise and strong theoretical guarantees. Motivated by the recent work on atomic norm minimization in blind inverse problems, we focus here on the signal denoising problem in non-stationary blind super-resolution. In particular, we use an atomic norm regularized least-squares problem to denoise a sum of complex exponentials with unknown waveform modulations. We quantify how the mean square error depends on the noise variance and the true signal parameters. Numerical experiments are also implemented to illustrate the theoretical result.


title: A linear programming approach to approximating the infinite time reachable set of strictly stable linear control systems

abstract: We develop a new numerical method for approximating the infinite time reachable set of strictly stable linear control systems. By solving a linear program with a constraint that incorporates the system dynamics, we compute a polytope with fixed facet normals as an outer approximation of the limit set. In particular, this approach does not rely on forward iteration of finite-time reachable sets.


title: Minimal genus problem for $T^{2}$-bundles over surfaces

abstract: For any positive integer $g$, we completely determine the minimal genus function for $\Sigma_{g}\times T^{2}$. We show that the lower bound given by the adjunction inequality is not sharp for some class in $H_{2}(\Sigma_{g}\times T^{2})$. However, we construct a suitable embedded surface for each class and we have exact values of minimal genus functions.


title: Database of novel magnetic materials for high-performance permanent magnet development

abstract: This paper describes the open Novamag database that has been developed for the design of novel Rare-Earth free/lean permanent magnets. The database software technologies, its friendly graphical user interface, advanced search tools and available data are explained in detail. Following the philosophy and standards of Materials Genome Initiative, it contains significant results of novel magnetic phases with high magnetocrystalline anisotropy obtained by three computational high-throughput screening approaches based on a crystal structure prediction method using an Adaptive Genetic Algorithm, tetragonally distortion of cubic phases and tuning known phases by doping. Additionally, it also includes theoretical and experimental data about fundamental magnetic material properties such as magnetic moments, magnetocrystalline anisotropy energy, exchange parameters, Curie temperature, domain wall width, exchange stiffness, coercivity and maximum energy product, that can be used in the study and design of new promising high-performance Rare-Earth free/lean permanent magnets. The results therein contained might provide some insights into the ongoing debate about the theoretical performance limits beyond Rare-Earth based magnets. Finally, some general strategies are discussed to design possible experimental routes for exploring most promising theoretical novel materials found in the database.


title: Quark charge identification for $e^{+}e^{-}$ to $q\bar{q}$ study

abstract: The process $e^{+}e^{-} \to q\bar{q}$ plays an important role in electroweak precision measurements. We are studying this process with ILD full simulation. The key for the reconstruction of the quark pair final states is quark charge identification (ID). We report the progress of charge ID study in detail. In particular, we investigate the performance of the charge ID for each decay mode of the heavy hadrons to know the possibilities of improvements of the charge ID.


title: Efficient passive measurement-device-independent quantum key distribution

abstract: The measurement-device-independent quantum key distribution (MDI-QKD) possesses the highest security among all practical quantum key distribution protocols. However, existing multi-intensity decoy-state methods may cause loopholes when modulating light intensities with practical devices. In this paper, we propose a passive decoy-state MDI-QKD protocol based on a novel structure of heralded single-photon sources. It does not need to modulate the light source into different intensities and thus can avoid leaking modulation information of decoy states to eavesdroppers, enhancing the security of practical MDI-QKD. Furthermore, by combining the passive decoy states and biased basis choices, our protocol can exhibit distinct advantages compared with state-of-the art MDI-QKD schemes even when the finite key-size effect is taken into account. Therefore, our present passive decoy-state MDI-QKD seems a promising candidate for practical implementation of quantum key distributions in the near future.


title: The geometry of the Sasaki metric on the sphere bundle of Euclidean Atiyah vector bundles

abstract: Let $(M,\langle,\rangle_{TM})$ be a Riemannian manifold. It is well-known that the Sasaki metric on $TM$ is very rigid but it has nice properties when restricted to $T^{(r)}M=\{u\in TM,|u|=r \}$. In this paper, we consider a general situation where we replace $TM$ by a vector bundle $E\longrightarrow M$ endowed with a Euclidean product $\langle,\rangle_E$ and a connection $\nabla^E$ which preserves $\langle,\rangle_E$. We define the Sasaki metric on $E$ and we consider its restriction $h$ to $E^{(r)}=\{a\in E,\langle a,a\rangle_E=r^2 \}$. We study the Riemannian geometry of $(E^{(r)},h)$ generalizing many results first obtained on $T^{(r)}M$ and establishing new ones. We apply the results obtained in this general setting to the class of Euclidean Atiyah vector bundles introduced by the authors in arXiv preprint arXiv:1808.01254 (2018). Finally, we prove that any unimodular three dimensional Lie group $G$ carries a left invariant Riemannian metric such that $(T^{(1)}G,h)$ has a positive scalar curvature.


title: Study of fermion pair events at the 250 GeV ILC

abstract: Precise measurements of electroweak processes at the International Linear Collider (ILC) will provide unique opportunities to explore new physics beyond the Standard Model. Fermion pair production events are sensitive to new interactions involving a new heavy gauge boson or an electroweak interacting massive particle (EWIMP).We studied the mass reach of new particles at the ILC with $\sqrt{s}=250$ GeV by using $e^+ e^-\to e^+ e^-$and $e^+ e^-\to \mu^+ \mu^-$ events. We show that a mass reach for BSM particles can be determined with 90% confidence level using a toy Monte Carlo technique.


title: Controlled charge and spin current rectifications in a spin polarized device

abstract: Quasicrystals have been the subject of intense research in the discipline of condensed matter physics due to their non-trivial characteristic features. In the present work we put forward a new prescription to realize both charge and spin current rectifications considering a one-dimensional quasicrystal whose site energies and/or nearest-neighbor hopping (NNH) integrals are modulated in the form of well known Aubry-Andr\'{e} or Harper (AAH) model, a classic example of an aperiodic system. Each site of the chain contains a finite magnetic moment which is responsible for spin separation, and, in presence of finite bias an electric field is generated along the chain which essentially makes the asymmetric band structures under forward and reverse biased conditions, yielding finite rectification. Rectification is observed in two forms: (i) positive and (ii) negative, depending on the sign of currents in two bias polarities. These two forms can only be observed in the case of spin current rectification, while charge current shows conventional rectification operation. Moreover, we discuss how rectification ratio and especially its direction can be controlled by AAH phase which is always beneficial for efficient designing of a device. Finally, we critically examine the role of dephasing on rectification operations. Our study gives a new platform to analyze current rectification at nano-scale level, and can be verified in different quasi-crystals along with quantum Hall systems.


title: 3D Graph Embedding Learning with a Structure-aware Loss Function for Point Cloud Semantic Instance Segmentation

abstract: This paper introduces a novel approach for 3D semantic instance segmentation on point clouds. A 3D convolutional neural network called submanifold sparse convolutional network is used to generate semantic predictions and instance embeddings simultaneously. To obtain discriminative embeddings for each 3D instance, a structure-aware loss function is proposed which considers both the structure information and the embedding information. To get more consistent embeddings for each 3D instance, attention-based k nearest neighbour (KNN) is proposed to assign different weights for different neighbours. Based on the attention-based KNN, we add a graph convolutional network after the sparse convolutional network to get refined embeddings. Our network can be trained end-to-end. A simple mean-shift algorithm is utilized to cluster refined embeddings to get final instance predictions. As a result, our framework can output both the semantic prediction and the instance prediction. Experiments show that our approach outperforms all state-of-art methods on ScanNet benchmark and NYUv2 dataset.


title: Revealing the Complicated Story of the Cetus Stream with StarGO

abstract: We use a novel cluster identification tool StarGO to explore the metal poor ([Fe/H] $<$ -1.5) outer stellar halo (d $>$ 15 kpc) of the Milky Way using data from Gaia, LAMOST and SDSS. Our method is built using an unsupervised learning algorithm, a self-organizing map, which trains a 2-D neural network to learn the topological structures of a data set from an n-D input space. Using a 4-D space of angular momentum and orbital energy, we identify three distinct groups corresponding to the Sagittarius, Orphan, and Cetus Streams. For the first time we are able to discover a northern counterpart to the Cetus stream. We test the robustness of this new detection using mock data and find that the significance is more than 5-sigma. We also find that the existing southern counterpart bifurcates into two clumps with different radial velocities. By exploiting the visualization power of StarGO, we attach MW globular clusters to the same trained neural network. The Sagittarius stream is found to have five related clusters, confirming recent literature studies, and the Cetus stream has one associated cluster, NGC 5824. This latter association has previously been postulated, but can only now be truly confirmed thanks to the high-precision Gaia proper motions and large numbers of stellar spectra from LAMOST. The large metallicity dispersion of the stream indicates that the progenitor cannot be a globular cluster. Given the mean metallicity of the stream, we propose that the stream is the result of a merger of a low-mass dwarf galaxy that hosted a large nuclear star cluster (NGC 5824).


title: Onsager symmetry for systems with broken time-reversal symmetry

abstract: We provide numerical evidence that the Onsager symmetry remains valid for systems subject to a spatially dependent magnetic field, in spite of the broken time-reversal symmetry. In addition, for the simplest case in which the field strength varies only in one direction, we analytically derive the result. For the generic case, a qualitative explanation is provided.


title: On the structure of order 4 class groups of $\mathbb{Q}(\sqrt{n^2+1})$

abstract: Groups of order $4$ are isomorphic to either $\mathbb{Z}/4\mathbb{Z}$ or $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$. We give certain sufficient conditions permitting to specify the structure of class groups of order $4$ in the family of real quadratic fields $\mathbb{Q}{(\sqrt{n^2+1})}$ as $n$ varies over positive integers. Further, we compute the values of Dedekind zeta function attached to these quadratic fields at the point $-1$. As a side result, we show that the size of the class group of this family could be made as large as possible by increasing the size of the number of distinct odd prime factors of $n$.


title: Sequentially Cohen-Macaulay matroidal ideals

abstract: Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and let $J$ be a matroidal ideal of degree $d$ in $R$. In this paper, we study the class of sequentially Cohen-Macaulay matroidal ideals. In particular, all sequentially Cohen-Macaulay matroidal ideals of degree $2$ are classified. Furthermore, we give a classification of sequentially Cohen-Macaulay matroidal ideals of degree $d\geq 3$ in some special cases.


title: Coherent dibaryons

abstract: There are encouraging evidences for registration of excitations of quark oscillator levels in compressed 2-nucleon systems, which were hidden in two independently published experimental works for many years. Data obtained by EVA collaboration can be considered as the third possible confirmation of this conjecture. Moreover, they drop hints about existence of coherent dibaryons which may be interpreted as usual or generalized coherent states of the oscillator. These data may also be an explicit example of a physical process described by Landau and Peierls in their reasoning concerning the energy-time uncertainty relation. Two models of the coherent dibaryon creation are formulated. Phase transitions of baryon matter in few-nucleon systems are discussed.


title: High-order generalized-$\alpha$ methods

abstract: The generalized-$\alpha$ method encompasses a wide range of time integrators. The method possesses high-frequency dissipation while minimizing unwanted low-frequency dissipation and the numerical dissipation can be controlled by the user. The method is unconditionally stable and is of second-order accuracy in time. We extend the second-order generalized-$\alpha$ method to third-order in time while the numerical dissipation can be controlled in a similar fashion. We establish that the third-order method is unconditionally stable. We discuss a possible path to the generalization to higher order schemes. All these high-order schemes can be easily implemented into programs that already contain the second-order generalized-$\alpha$ method.


title: Design of a Broadband and Polarization Insensitive THz Absorber Based on Two Layers of Periodic Arrays of Graphene Disks

abstract: In this paper, we analytically design a simple configuration of a broadband THz and polarization-insensitive absorber. The mentioned absorber consists of two layers of graphene disks, and the transmission line model is considered for the whole of the proposed absorber's structure to design it accurately. Therefore, the input admittance of the designed absorber is obtained by the transmission line model. Also, the real part of the input admittance is approximately tuned to be matched to the free space admittance. In contrast, the imaginary part of it is closely adjusted to zero around the central frequency of the THz absorber. Using only just two layers of Periodic Arrays of Graphene Disks (PAGDs) with one kind of dielectric as the material of substrates, it causes that the absorption of the structure can be achieved higher than 90% by the Finite Element Method (FEM). Normalized bandwidth has reached up to 75.4% in 5 THz as the central frequency of the device. As the next step, we use the CST studio software to validate our designed absorber, and it will show that the numerical results will have the best matching with the analytical method.


title: Computed tomography data collection of the complete human mandible and valid clinical ground truth models

abstract: Image-based algorithmic software segmentation is an increasingly important topic in many medical fields. Algorithmic segmentation is used for medical three-dimensional visualization, diagnosis or treatment support, especially in complex medical cases. However, accessible medical databases are limited, and valid medical ground truth databases for the evaluation of algorithms are rare and usually comprise only a few images. Inaccuracy or invalidity of medical ground truth data and image-based artefacts also limit the creation of such databases, which is especially relevant for CT data sets of the maxillomandibular complex. This contribution provides a unique and accessible data set of the complete mandible, including 20 valid ground truth segmentation models originating from 10 CT scans from clinical practice without artefacts or faulty slices. From each CT scan, two 3D ground truth models were created by clinical experts through independent manual slice-by-slice segmentation, and the models were statistically compared to prove their validity. These data could be used to conduct serial image studies of the human mandible, evaluating segmentation algorithms and developing adequate image tools.


title: Temporal contrast reduction techniques for high dynamic-range single-shot temporal contrast measurement

abstract: A single-shot characterization of the temporal contrast of a petawatt laser pulse with a high dynamic-range, is important not only for improving conditions of the petawatt laser facility itself, but also for various high-intensity laser physics experiments, which is still a difficult problem. In this study, a new idea for improving the dynamic-range of a single-shot temporal contrast measurement using novel temporal contrast reduction techniques is proposed. The proof-of-principle experiments applying single stage of pulse stretching, anti-saturated absorption, or optical Kerr effect successfully reduce the temporal contrast by approximately one order of magnitude. Combining with the SRSI-ETE method, its dynamic-range characterization capability is improved by approximately one order of magnitude to approximately 109. It is expected that a higher dynamic-range temporal contrast can be characterized using cascaded temporal contrast reduction processes.


title: Coherent coupling of single molecules to on-chip ring resonators

abstract: We report on cryogenic coupling of organic molecules to ring microresonators obtained by looping sub-wavelength waveguides (nanoguides). We discuss fabrication and characterization of the chip-based nanophotonic elements which yield resonator finesse in the order of 20 when covered by molecular crystals. Our observed extinction dips from single molecules reach 22%, consistent with the expected Purcell enhancements up to 11 folds. Future efforts will aim at efficient coupling of a handful of molecules via their interaction with a ring microresonator mode, setting the ground for the realization of quantum optical cooperative effects.


title: Extended Congruences for Harmonic Numbers

abstract: We derive $p$-adic expansions for the generalized Harmonic numbers $H^{(j)}_{p-1}$ and $H^{(j)}_{\frac{p-1}{2}}$ involving the Bernoulli numbers $B_j$ and the the base-2 Fermat quotient $q_p$. While most of our results are not new, we obtain them elementarily, without resorting to the theory of $p$-adic L-functions as was the case previously. Moreover, we show that \begin{equation*}\sum_{j=0}^{n-1}\left(\frac{(2^{j+1}-1)}{(j+1)}\frac{(2^{j+2}-1)}{(j+2)}\frac{B_{j+2}}{2^{j}}H^{(j+1)}_{\frac{p-1}{2}}+2(-1)^j\frac{q_p^{j+1}}{j+1}\right)p^j\equiv 0 \pmod {p^n} \end{equation*} holds under the condition that $p >\frac{n+1}{2}$. This is another generalization, modulo any prime power, of the old $p$-congruence $H_{\frac{p-1}{2}}+2q_p \equiv 0 \bmod p$ attributed to Eisenstein, which is stronger than the one which has been published recently.


title: Droplets in homogeneous shear turbulence

abstract: We simulate the flow of two immiscible and incompressible fluids separated by an interface in a homogeneous turbulent shear flow at a shear Reynolds number equal to 15200. The viscosity and density of the two fluids are equal, and various surface tensions and initial droplet diameters are considered in the present study. We show that the two-phase flow reaches a statistically stationary turbulent state sustained by a non-zero mean turbulent production rate due to the presence of the mean shear. Compared to single-phase flow, we find that the resulting steady state conditions exhibit reduced Taylor microscale Reynolds numbers owing to the presence of the dispersed phase, which acts as a sink of turbulent kinetic energy for the carrier fluid. At steady state, the mean power of surface tension is zero and the turbulent production rate is in balance with the turbulent dissipation rate, with their values being larger than in the reference single-phase case. The interface modifies the energy spectrum by introducing energy at small-scales, with the difference from the single-phase case reducing as the Weber number increases. This is caused by both the number of droplets in the domain and the total surface area increasing monotonically with the Weber number. This reflects also in the droplets size distribution which changes with the Weber number, with the peak of the distribution moving to smaller sizes as the Weber number increases. We show that the Hinze estimate for the maximum droplet size, obtained considering breakup in homogeneous isotropic turbulence, provides an excellent estimate notwithstanding the action of significant coalescence and the presence of a mean shear.


title: Flash: Efficient Dynamic Routing for Offchain Networks

abstract: Offchain networks emerge as a promising solution to address the scalability challenge of blockchain. Participants directly make payments through a network of payment channels without the overhead of committing onchain transactions. Routing is critical to the performance of offchain networks. Existing solutions use either static routing with poor performance or dynamic routing with high overhead to obtain the dynamic channel balance information. In this paper, we propose Flash, a new dynamic routing solution that leverages the unique characteristics of transactions in offchain networks to strike a better tradeoff between path optimality and probing overhead. By studying the traces of real offchain networks, we find that the payment sizes are heavy-tailed, and most payments are highly recurrent. Flash thus differentiates the treatment of elephant payments from mice payments. It uses a modified max-flow algorithm for elephant payments to find paths with sufficient capacity, and strategically routes the payment across paths to minimize the transaction fees. Mice payments are directly sent by looking up a routing table with a few precomputed paths to reduce probing overhead. Testbed experiments and data-driven simulations show that Flash improves the success volume of payments by up to 2.3x compared to the state-of-the-art routing algorithm.


title: Rate-optimal nonparametric estimation for random coefficient regression models

abstract: Random coefficient regression models are a popular tool for analyzing unobserved heterogeneity, and have seen renewed interest in the recent econometric literature. In this paper we obtain the optimal pointwise convergence rate for estimating the density in the linear random coefficient model over H\"older smoothness classes, and in particular show how the tail behavior of the design density impacts this rate. In contrast to previous suggestions, the estimator that we propose and that achieves the optimal convergence rate does not require dividing by a nonparametric density estimate. The optimal choice of the tuning parameters in the estimator depends on the tail parameter of the design density and on the smoothness level of the H\"older class, and we also study adaptive estimation with respect to both parameters.


title: Experimental nuclear astrophysics in Italy

abstract: Nuclear astrophysics, the union of nuclear physics and astronomy, went through an impressive expansion during the last twenty years. This could be achieved thanks to milestone improvements in astronomical observations, cross section measurements, powerful computer simulations and much refined stellar models. Italian groups are giving quite important contributions to every domain of nuclear astrophysics, sometimes being the leaders of worldwide unique experiments. In this paper we will discuss the astrophysical scenarios where nuclear astrophysics plays a key role and we will provide detailed descriptions of the present and future of the experiments on nuclear astrophysics which belong to the scientific programme of INFN (the National Institute for Nuclear Physics in Italy).


title: Multi-Matrix Post-Processing for Quantum Key Distribution

abstract: Post-processing is a significant step in quantum key distribution(QKD), which is used for correcting the quantum-channel noise errors and distilling identical corrected keys between two distant legitimate parties. Efficient error reconciliation protocol, which can lead to an increase in the secure key generation rate, is one of the main performance indicators of QKD setups. In this paper, we propose a multi-low-density parity-check codes based reconciliation scheme, which can provide remarkable perspectives for highly efficient information reconciliation. With testing our approach through data simulation, we show that the proposed scheme combining multi-syndrome-based error rate estimation allows a more accurate estimation about the error rate as compared with random sampling and single-syndrome estimation techniques before the error correction, as well as a significant increase in the efficiency of the procedure without compromising security and sacrificing reconciliation efficiency.


title: Microscopic non-equilibrium energy transfer dynamics in a photoexcited metal/insulator heterostructure

abstract: The element specificity of soft X-ray spectroscopy makes it an ideal tool for analyzing the microscopic origin of ultrafast dynamics induced by localized optical excitation in metal-insulator heterostructures. Using [Fe/MgO]$_n$ as a model system, we perform ultraviolet pump/soft X-ray probe experiments, which are sensitive to all constituents of these heterostructures, to probe both electronic and lattice excitations. Complementary ultrafast electron diffraction experiments independently analyze the lattice dynamics of the Fe constituent, and together with ab initio calculations yield comprehensive insight into the microscopic processes leading to local relaxation within a single constituent or non-local relaxation between two constituents. Besides electronic excitations in Fe, which are monitored at the Fe L$_3$ absorption edge and relax within 1 ps by electron-phonon coupling, soft X-ray analysis identifies a change at the oxygen K absorption edge of the MgO layers which occurs within 0.5 ps. This ultrafast energy transfer across the Fe-MgO interface is mediated by high-frequency, interface vibrational modes, which are excited by hot electrons in Fe and couple to vibrations in MgO in a mode-selective, non-thermal manner. A second, slower timescale is identified at the oxygen K pre-edge and the Fe L$_3$ edge. The slower process represents energy transfer by acoustic phonons and contributes to thermalization of the entire heterostructure. We thus find that the interfacial energy transfer is associated with non-equilibrium behavior in the phonon system. Because our experiments lack signatures of charge transfer across the interface, we conclude that phonon-mediated processes dominate the competition of electronic and lattice excitations in these non-local, non-equilibrium dynamics.


title: Ex-ante measure of patent quality reveals intrinsic fitness for citation-network growth

abstract: We have constructed a fitness parameter, characterizing the intrinsic attractiveness for patents to be cited, from attributes of the associated inventions known at the time a patent is granted. This exogenously obtained fitness is shown to determine the temporal growth of the citation network in conjunction with mechanisms of preferential attachment and obsolescence-induced ageing that operate without reference to characteristics of individual patents. Our study opens a window on understanding quantitatively the interplay of the rich-gets-richer and fit-gets-richer paradigms that have been suggested to govern the growth dynamics of real-world complex networks.


title: Performance of alternative scintillator tile geometry for AHCAL

abstract: The CALICE Analogue Hadron CALorimeter (AHCAL) at the International Linear Collider (ILC) is a high-granularity hadron calorimeter based on scintillator tiles readout by MPPCs. Toward the construction of ILC, the optimization of the AHCAL granularity is revisited, and we are studying mixed granularity with larger scintillator tile. We first measured the performance of $60\times60~\mathrm{mm^2}$ tile, which is larger than the standard $30\times30~\mathrm{mm^2}$ tile. The light yield of $60\times60~\mathrm{mm^2}$ tile was measured to be about a half of that of $30\times30~\mathrm{mm^2}$ tile, while the uniformity of the tile response turned out to be very good. Then, a detection layer composed of 144 tiles of $60\times60~\mathrm{mm^2}$ was constructed. The detection layer was added to the large technological prototype of AHCAL composed of 38 detection layers with $30\times30~\mathrm{mm^2}$ tiles. The detection layer was successfully tested in test beam experiments at CERN SPS.


title: Photoproduction $\gamma p \to K^{*+} \Lambda$ in a Reggeized model

abstract: The high-precision differential cross-section data for the reaction $\gamma p \to K^{*+}\Lambda$ are reanalyzed within a Regge-inspired effective Lagrangian approach. The model adopts Regge phenomenology to constrain the $t$-channel contributions from the $\kappa$, $K$, and $K^*$ exchanges. A minimal number of resonances in the $s$ channel are introduced in constructing the reaction amplitudes in order to describe the data. It is shown that the differential cross-section data for $\gamma p \to K^{*+}\Lambda$ can be satisfactorily described by introducing the only $N(2060){5/2}^-$ resonance in the $s$ channel, which is quite different from our earlier work performed in an effective Lagrangian approach [A. C. Wang {\it et al.}, Phys. Rev. C 96, 035206 (2017)], where the amplitudes are computed by evaluating Feynman diagrams and it is found that introducing at least one additional resonance apart from the $N(2060){5/2}^-$ is indispensable for reproducing the data. The roles of individual contributions from meson and baryon exchanges on the angular distributions are found to be highly model dependent. The extracted mass of $N(2060){5/2}^-$ turns out to be well determined, independent of how the $t$-channel amplitudes are constructed, whereas the width does not.


title: The tilt of the velocity ellipsoid in the Milky Way with Gaia DR2

abstract: The velocity distribution of stars is a sensitive probe of the gravitational potential of the Galaxy, and hence of its dark matter distribution. In particular, the shape of the dark halo (e.g. spherical, oblate, or prolate) determines velocity correlations, and different halo geometries are expected to result in measurable differences. Here we explore and interpret the correlations in the $(v_R, v_z)$-velocity distribution as a function of position in the Milky Way. We selected a high-quality sample of stars from the Gaia DR2 catalogue and characterised the orientation of the velocity distribution or tilt angle over a radial distance range of $[4-13]~$kpc and up to $3.5~$kpc away from the Galactic plane while taking into account the effects of the measurement errors. We find that the tilt angles change from spherical alignment in the inner Galaxy ($R\sim4~$kpc) towards more cylindrical alignments in the outer Galaxy ($R\sim11~$kpc) when using distances that take a global zero-point offset in the parallax of $-29~\mu$as. However, if the amplitude of this offset is underestimated, then the inferred tilt angles in the outer Galaxy only appear shallower and are intrinsically more consistent with spherical alignment for an offset as large as $-54~\mu$as. We further find that the tilt angles do not seem to strongly vary with Galactic azimuth and that different stellar populations depict similar tilt angles. Therefore we introduce a simple analytic function that describes the trends found over the full radial range. Since the systematic parallax errors in Gaia DR2 depend on celestial position, magnitude, and colour in complex ways, it is not possible to fully correct for them. Therefore it will be particularly important for dynamical modelling of the Milky Way to thoroughly characterise the systematics in astrometry in future Gaia data releases.


title: Existence of weak solution for mean curvature flow with transport term and forcing term

abstract: We study the mean curvature flow with given non-smooth transport term and forcing term, in suitable Sobolev spaces. We prove the global existence of the weak solutions for the mean curvature flow with the terms, by using the modified Allen-Cahn equation that holds useful properties such as the monotonicity formula.


title: Generalized subdifferentials of spectral functions over Euclidean Jordan algebras

abstract: This paper is devoted to the study of generalized subdifferentials of spectral functions over Euclidean Jordan algebras. Spectral functions appear often in optimization problems playing the role of "regularizer", "barrier", "penalty function" and many others. We provide formulae for the regular, approximate and horizon subdifferentials of spectral functions. In addition, under local lower semicontinuity, we also furnish a formula for the Clarke subdifferential, thus extending an earlier result by Baes. As application, we compute the generalized subdifferentials of the function that maps an element to its k-th largest eigenvalue. Furthermore, in connection with recent approaches for nonsmooth optimization, we present a study of the Kurdyka-Lojasiewicz (KL) property for spectral functions and prove a transfer principle for the KL-exponent. In our proofs, we make extensive use of recent tools such as the commutation principle of Ram\'irez, Seeger and Sossa and majorization principles developed by Gowda.


title: Shrinking scale equidistribution for monochromatic random waves on compact manifolds

abstract: We prove equidistribution at shrinking scales for the monochromatic ensemble on a compact Riemannian manifold of any dimension. This ensemble on an arbitrary manifold takes a slowly growing spectral window in order to synthesize a random function. With high probability, equidistribution takes place close to the optimal wave scale and simultaneously over the whole manifold. The proof uses Weyl's law to approximate the two-point correlation function of the ensemble, and a Chernoff bound to deduce concentration.


title: Sharp-interface model for simulating solid-state dewetting in three dimensions

abstract: The problem of simulating solid-state dewetting of thin films in three dimensions (3D) by using a sharp-interface approach is considered in this paper. Based on the thermodynamic variation, a speed method is used for calculating the first variation to the total surface energy functional. The speed method shares more advantages than the traditional use of parameterized curves (or surfaces), e.g., it is more intrinsic and its variational structure (related with Cahn-Hoffman $\boldsymbol{\xi}$-vector) is clearer and more direct. By making use of the first variation, necessary conditions for the equilibrium shape of the solid-state dewetting problem is given, and a kinetic sharp-interface model which includes the surface energy anisotropy is also proposed. This sharp-interface model describes the interface evolution in 3D which occurs through surface diffusion and contact line migration. By solving the proposed model, we perform lots of numerical simulations to investigate the evolution of patterned films, e.g., the evolution of a short cuboid and pinch-off of a long cuboid. Numerical simulations in 3D demonstrate the accuracy and efficacy of the sharp-interface approach to capture many of the complexities observed in solid-state dewetting experiments.


title: Conformal equations that are not Virasoro or Weyl invariant

abstract: While the argument by Zamolodchikov and Polchinski suggests global conformal invariance implies Virasoro invariance in two-dimensional unitary conformal field theories with discrete dilatation spectrum, it is not the case in more general situations without these assumptions. We indeed show that almost all the globally conformal invariant differential equations in two dimensions are neither Virasoro invariant nor Weyl invariant. The only exceptions are the higher spin conservation laws, conformal Killing tensor equations and the Laplace equation of a conformal scalar.


title: A general version of Beltrami's theorem in Finslerian setting

abstract: We present a new proof of a Finslerian version of Beltrami's theorem (1865) which works also in dimension 2.


title: Triplet structure of nuclear scissors mode

abstract: The fine structure of the scissors mode is investigated within the Time Dependent Hartree-Fock-Bogoliubov (TDHFB) approach. The solution of TDHFB equations by the Wigner Function Moments (WFM) method predicts a splitting of the scissors mode into three intermingled branches. Together with the conventional scissors mode two new modes arise due to spin degrees of freedom. They generate significant $M1$ strength below the conventional energy range. The results of calculations of scissors resonances in Rare Earths and Actinides by WFM and QPNM methods are compared with experimental data. A remarkable coherence of both methods together with experimental data is observed.


title: A morphological study of galaxies in ZwCl0024+1652, a galaxy cluster at redshift z $\sim$ 0.4

abstract: The well-known cluster of galaxies ZwCl0024+1652 at z $\sim$ 0.4, lacks an in-depth morphological classification of its central region. While previous studies provide a visual classification of a patched area, we used the public code called galaxy Support Vector Machine (galSVM) and HST/ACS data as well as WFP2 master catalogue to automatically classify all cluster members up to 1 Mpc. galSVM analyses galaxy morphologies through Support Vector Machine (SVM). From the 231 cluster galaxies, we classified 97 as early-types (ET) and 83 as late-types (LT). The remaining 51 stayed unclassified (or undecided, UD). By cross-matching our results with the existing visual classification, we found an agreement of 81%. In addition to previous Zwcl0024 morphological classifications, 121 of our galaxies were classified for the first time in this work. In addition, we tested the location of classified galaxies on the standard morphological diagrams, colour-colour and colour-magnitude diagrams. Out of all cluster members, $\sim$20% are emission line galaxies (ELG), taking into account previous GLACE results. We have verified that the ET fraction is slightly higher near the cluster core and decreases with the clustercentric distance, while the opposite trend has been observed for LT galaxies. We found higher fraction of ET (54%) than LT (46%) throughout the analysed central region, as expected. In addition, we analysed the correlation between the five morphological parameters (Abraham concentration, Bershady-Concelice concentration, Asymmetry, Gini and M20 moment of light) and clustercentric distance, without finding a clear trend. Finally, as a result of our work, the morphological catalogue of 231 galaxies containing all the measured parameters and the final classification is available in the electronic form of this paper.


title: Ti4+ Substituted Magnesium Hydride as Promising Material for Hydrogen Storage and Photovoltaic Applications

abstract: In order to overcome the disadvantages of MgH2 towards its applications in on-board hydrogen storage, first principle calculations have been performed for Ti (2+, 3+, and 4+) substituted MgH2. Our calculated enthalpy of formation and H site energy implies that Ti substitution in Mg site reduces the stability of MgH2 which improve the hydrogen storage properties and Ti prefers to be in +4 oxidation state in MgH2. The bonding analyses through partial density of states, electron localization function and Bader charge of these systems confirm the existence of iono-covalent bonding. Electronic structure obtained from hybrid functional calculations show that intermediate bands (IB) are formed in Ti4+ substituted MgH2 which could improve the solar cell efficiencies due to multiple photon absorption from valence band to conduction band via IBs and converts low energy photons in the solar spectrum also into electricity. Further, our calculated carrier effective masses and optical absorption spectra show that Ti4+ substituted MgH2 is suitable for higher efficiency photovoltaic applications. Our results suggest that Ti4+ substituted MgH2 can be considered as a promising material for hydrogen storage as well as photovoltaic applications.


title: Ice : The paradigm of wild plasticity

abstract: Ice plasticity has been thoroughly studied, owing to its importance in glaciers and ice sheets dynamics. In particular, its anisotropy (easy basal slip) has been suspected for a long time, then fully characterized 40 years ago. More recently emerged the interest of ice as a model material to study some fundamental aspects of crystalline plasticity. An example is the nature of plastic fluctuations and collective dislocation dynamics. 20 years ago, acoustic emission measurements performed during the deformation of ice single crystals revealed that plastic flow proceeds through intermittent dislocation avalanches, power law distributed in size and energy. This means that most of ice plasticity takes place through few, very large avalanches, thus qualifying associated plastic fluctuations as wild. This launched an intense research activity on plastic intermittency in the Material Science community. The interest of ice in this debate is reviewed, from a comparison with other crystalline materials. In this context, ice appears as an extreme case of plastic intermittency, characterized by scale-free fluctuations, complex space and time correlations as well as avalanche triggering. In other words, ice can be considered as the paradigm of wild plasticity.


title: Dissociative electron attachment to pulsed supersonic O$_2$ jet : Violation of $\Sigma^{+} \rightleftharpoons \Sigma^{-}$ selection rule and dependence on carrier gas proportion

abstract: The formation of $O^{-}$ and $O_{2}^{-}$ ions via dissociative electron attachment to a pulsed supersonic jet of $O_{2}$ molecules containing weakly bound small van der Waals clusters seeded in a beam of argon is reported. The energy dependence of the $O^{-}$ and $O_{2}^{-}$ yield exhibits three peaks near 7, 11 and 16 eV incident electron energies. The 7 eV peak arises from the $^{2}\Pi_{u}$ state of $O_{2}^{-}$ whereas, the 11 and 16 eV peaks are ascribed to two distinct resonance states:$ ^{2}\Sigma_{g}^{+} $ and $^{2}\Sigma_{u}^{+}$ states of $O_{2}^{-}$, respectively, via a violation of the $\Sigma^{+} \rightleftharpoons \Sigma^{-}$ selection rule. The dependence of the cross-section of these two new peaks at $\sim$11 and $\sim$16 eV on the proportion of the carrier gas is also investigated and an optimum proportion has been observed experimentally which gives the lowest temperature of 14.86 K and highest Mach number of 72.31 for the pulsed supersonic jet.


title: WKB-type-of approximation for rare event statistics in reacting systems

abstract: We calculate the probabilities to find systems of reacting particles in states which largely deviate from typical behavior. The rare event statistics is obtained from the master equation which describes the dynamics of the probability distribution of the particle number. We transform the master equation by means of a generating function into a time-dependent "Schr\"odinger equation". Its solution is provided by a separation ansatz and an approximation for the stationary part which is of Wentzel-Kramers-Brillouin (WKB) type employing a small parameter. The solutions of the "classical" equations of motions and a saddle point approximation yield the proper generating function. Our approach extends a method put forward in [V. Elgart and A. Kamenev, Phys. Rev. E 70, 041106 (2004)]. We calculate the rare event statistics for systems where the dynamics cannot be entirely analyzed in an analytical manner. We consider different examples.


title: Intrinsic long range antiferromagnetic coupling in dilutely V doped CuInTe$_2$

abstract: Despite the various magnetic orders mediated by superexchange mechanism, the existence of a long range antiferromagnetic (AFM) coupling is unknown. Based on DFT calculations, we discovered an intrinsic long range AFM coupling in V doped CuInTe$_2$. The AFM coupling is mainly due to the $p-d$ coupling and electron redistribution along the interacting chains. The relatively small energy difference between $p$ and $d$ orbitals and the small energy difference between d orbitals of the dopants and that of stepping stone sites can enhance the stability of this AFM configuration. A multi-bands Hubbard model was proposed to provide fundamental understanding to the long range AFM coupling in chalcopyrite diluted magnetic semiconductors(DMS).


title: Multiple barrier-crossings of an Ornstein-Uhlenbeck diffusion in consecutive periods

abstract: We investigate the joint distribution and the multivariate survival functions for the maxima of an Ornstein-Uhlenbeck (OU) process in consecutive time-intervals. A PDE method, alongside an eigenfunction expansion, is adopted with which we first calculate the distribution and the survival functions for the maximum of a homogeneous OU-process in a single interval. By a deterministic time-change and a parameter translation, this result can be extended to an inhomogeneous OU-process. Next, we derive a general formula for the joint distribution and the survival functions for the maxima of a continuous Markov process in consecutive periods. With these results, one can obtain semi-analytical expressions for the joint distribution and the multivariate survival functions for the maxima of an OU-process, with piecewise constant parameter functions, in consecutive time periods. The joint distribution and the survival functions can be evaluated numerically by an iterated quadrature scheme, which can be implemented efficiently by matrix multiplications. Moreover, we show that the computation can be further simplified to the product of single quadratures by imposing a mild condition. Such results may be used for the modelling of heatwaves and related risk management challenges.


title: Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details

abstract: We propose a calling convention for capability machines with local capabilities. The calling convention ensures local-state encapsulation and well-bracketed control flow. We use the calling convention in a hand-full of program examples and prove that they behave correctly. The correctness proofs use a logical relation that is also presented in this appendix. This is the technical appendix for the paper with the same name and authors accepted at ESOP18 and under review for TOPLAS.


title: Learn a Prior for RHEA for Better Online Planning

abstract: Rolling Horizon Evolutionary Algorithms (RHEA) are a class of online planning methods for real-time game playing; their performance is closely related to the planning horizon and the search time allowed. In this paper, we propose to learn a prior for RHEA in an offline manner by training a value network and a policy network. The value network is used to reduce the planning horizon by providing an estimation of future rewards, and the policy network is used to initialize the population, which helps to narrow down the search scope. The proposed algorithm, named prior-based RHEA (p-RHEA), trains policy and value networks by performing planning and learning iteratively. In the planning stage, the horizon-limited search assisted with the policy network and value network is performed to improve the policies and collect training samples. In the learning stage, the policy network and value network are trained with the collected samples to learn better prior knowledge. Experimental results on OpenAI Gym MuJoCo tasks show that the performance of the proposed p-RHEA is significantly improved compared to that of RHEA.