title: Progressive LiDAR Adaptation for Road Detection

abstract: Despite rapid developments in visual image-based road detection, robustly identifying road areas in visual images remains challenging due to issues like illumination changes and blurry images. To this end, LiDAR sensor data can be incorporated to improve the visual image-based road detection, because LiDAR data is less susceptible to visual noises. However, the main difficulty in introducing LiDAR information into visual image-based road detection is that LiDAR data and its extracted features do not share the same space with the visual data and visual features. Such gaps in spaces may limit the benefits of LiDAR information for road detection. To overcome this issue, we introduce a novel Progressive LiDAR Adaptation-aided Road Detection (PLARD) approach to adapt LiDAR information into visual image-based road detection and improve detection performance. In PLARD, progressive LiDAR adaptation consists of two subsequent modules: 1) data space adaptation, which transforms the LiDAR data to the visual data space to align with the perspective view by applying altitude difference-based transformation; and 2) feature space adaptation, which adapts LiDAR features to visual features through a cascaded fusion structure. Comprehensive empirical studies on the well-known KITTI road detection benchmark demonstrate that PLARD takes advantage of both the visual and LiDAR information, achieving much more robust road detection even in challenging urban scenes. In particular, PLARD outperforms other state-of-the-art road detection models and is currently top of the publicly accessible benchmark leader-board.


title: Higher homotopy associativity in the Harris decomposition of Lie groups

abstract: Let $(G,H)=(SU(2n+1),SO(2n+1)),\,(SU(2n),Sp(n)),\,(SO(2n),SO(2n-1)),\,(E_6,F_4),\,(Spin(8),G_2)$, and let $p$ be any prime $\ge 5$ for $(G,H)=(E_6,F_4)$, any prime $p\ne 3$ for $(G,H)=(Spin(8),G_2)$, and any odd prime otherwise. The classical result of Harris on the relation between the homotopy groups of $G$ and $H$ is reinterpreted as a $p$-local homotopy equivalence $G\simeq_{(p)}H\times G/H$, which yields a projection $G_{(p)}\to H_{(p)}$. We show how much this projection preserves the higher homotopy associativity.


title: Strategies that enforce linear payoff relationships under observation errors in Repeated Prisoner's Dilemma game

abstract: The theory of repeated games analyzes the long-term relationship of interacting players and mathematically reveals the condition of how cooperation is achieved, which is not achieved in a one-shot game. In the repeated prisoner's dilemma (RPD) game with no errors, zero-determinant (ZD) strategies allow a player to unilaterally set a linear relationship between the player's own payoff and the opponent's payoff regardless of the strategy that the opponent implements. In contrast, unconditional strategies such as ALLD and ALLC also unilaterally set a linear payoff relationship. Errors often happen between players in the real world. However, little is known about the existence of such strategies in the RPD game with errors. Here, we analytically search for all strategies that enforce a linear payoff relationship under observation errors in the RPD game. As a result, we found that, even in the case with observation errors, the only strategy sets that enforce a linear payoff relationship are either ZD strategies or unconditional strategies and that no other strategies can enforce it, which were numerically confirmed.


title: Fence GAN: Towards Better Anomaly Detection

abstract: Anomaly detection is a classical problem where the aim is to detect anomalous data that do not belong to the normal data distribution. Current state-of-the-art methods for anomaly detection on complex high-dimensional data are based on the generative adversarial network (GAN). However, the traditional GAN loss is not directly aligned with the anomaly detection objective: it encourages the distribution of the generated samples to overlap with the real data and so the resulting discriminator has been found to be ineffective as an anomaly detector. In this paper, we propose simple modifications to the GAN loss such that the generated samples lie at the boundary of the real data distribution. With our modified GAN loss, our anomaly detection method, called Fence GAN (FGAN), directly uses the discriminator score as an anomaly threshold. Our experimental results using the MNIST, CIFAR10 and KDD99 datasets show that Fence GAN yields the best anomaly classification accuracy compared to state-of-the-art methods.


title: Incorrect implementations of the Floyd--Warshall algorithm give correct solutions after three repeats

abstract: The Floyd--Warshall algorithm is a well-known algorithm for the all-pairs shortest path problem that is simply implemented by triply nested loops. In this study, we show that the incorrect implementations of the Floyd--Warshall algorithm that misorder the triply nested loops give correct solutions if these are repeated three times.


title: The Loewner function of a log-concave function

abstract: We introduce the notion of Loewner (ellipsoid) function for a log concave function and show that it is an extension of the Loewner ellipsoid for convex bodies. We investigate its duality relation to the recently defined John (ellipsoid) function by Alonso-Gutierrez, Merino, Jimenez and Villa. For convex bodies, John and Loewner ellipsoids are dual to each other. Interestingly, this need not be the case for the John function and the Loewner function.


title: Noncommutative Friedmann Equations in Effective LQC

abstract: In this work we construct a noncommutative version of the Friedmann equations in the framework of effective loop quantum cosmology, extending and applying the ideas presented in a previous proposal by some of the authors. The model under consideration is a flat FRW spacetime with a free scalar field. First, noncommutativity in the momentum sector is introduced. We establish the noncommutative equations of motion and obtain the corresponding exact solutions. Such solutions indicate that the bounce is preserved, in particular, the energy density is the same as in standard LQC. We also construct a noncommutative version of the modified Friedmann equations and argue that, as a consequence of noncommutativity, an effective potential arises. This, in turn, leads us to investigate the possibility of an inflationary era. Finally, we obtain the Friedmann and the Raychaudhuri equations when implementing noncommutativity in the configuration sector. In this case, no effective potential is induced.


title: Causes of ferroelectricity in HfO$_{2}$-based thin films: An $\textit{ab initio}$ perspective

abstract: We present a comprehensive first principles study of doped hafnia in order to understand the formation of the ferroelectric orthorhombic [001] grains. Assuming that tetragonal grains are present during the early stages of growth, matching plane analysis shows that tetragonal [100] grains can transform into orthorhombic [001] during thermal annealing, when they are laterally confined by other grains. We show that among 0%, 2% and %4 Si doping, 4% doping provides the best conditions for the tetragonal [100] to orthorhombic [001] transformation. This also holds for Al doping. We also show that for Hf$_{x}$Zr$_{1-x}$O$_{2}$, where we have studied ${x}=1.00,0.75,0.50,0.25,0.00$, the value ${x}=0.50$ provides the most favorable conditions for the desired transformation. In order for this transformation to be preferred over the tetragonal [100] to monoclinic [100] transformation, out-of-plane confinement also needs to be present, as supplied by a top electrode. Our findings illuminate the mechanism that causes ferroelectricity in hafnia-based films and provide an explanation for common experimental observations for the optimal ranges of doping in Si:HfO$_{2}$, Al:HfO$_{2}$ and Hf$_{x}$Zr$_{1-x}$O$_{2}$. We also present model thin film heterostructure computations of Ir/HfO$_{2}$/Ir stacks in order to isolate the interface effects, which we show to be significant.


title: Enhancement of Energy-Based Swing-Up Controller via Entropy Search

abstract: An energy based approach for stabilizing a mechanical system has offered a simple yet powerful control scheme. However, since it does not impose such strong constraints on parameter space of the controller, finding appropriate parameter values for an optimal controller is known to be hard. This paper intends to generate an optimal energy-based controller for swinging up a rotary inverted pendulum, also known as the Furuta pendulum, by applying the Bayesian optimization called Entropy Search. Simulations and experiments show that the optimal controller has an improved performance compared to a nominal controller for various initial conditions.


title: DSAL-GAN: Denoising based Saliency Prediction with Generative Adversarial Networks

abstract: Synthesizing high quality saliency maps from noisy images is a challenging problem in computer vision and has many practical applications. Samples generated by existing techniques for saliency detection cannot handle the noise perturbations smoothly and fail to delineate the salient objects present in the given scene. In this paper, we present a novel end-to-end coupled Denoising based Saliency Prediction with Generative Adversarial Network (DSAL-GAN) framework to address the problem of salient object detection in noisy images. DSAL-GAN consists of two generative adversarial-networks (GAN) trained end-to-end to perform denoising and saliency prediction altogether in a holistic manner. The first GAN consists of a generator which denoises the noisy input image, and in the discriminator counterpart we check whether the output is a denoised image or ground truth original image. The second GAN predicts the saliency maps from raw pixels of the input denoised image using a data-driven metric based on saliency prediction method with adversarial loss. Cycle consistency loss is also incorporated to further improve salient region prediction. We demonstrate with comprehensive evaluation that the proposed framework outperforms several baseline saliency models on various performance benchmarks.


title: Nambu-Jona Lasinio and Nonlinear Sigma Models in Condensed Matter Systems

abstract: We review various connections between condensed matter systems with the Nambu-Jona Lasinio model and nonlinear sigma models. The field theoretical description of interacting systems offers a systematic framework to describe the dynamical generation of condensates. Resent findings of a duality between the Nambu-Jona Lasinio model and the nonlinear sigma model enables us to investigate various properties underlying both theories. In this review we mainly focus on inhomogeneous condensations in static situations. The various methods developed in the Nambu-Jona Lasinio model reveal the inhomogeneous phase structures and also yield new inhomogeneous solutions in the nonlinear sigma model owing to the duality. The recent progress on interacting systems in finite systems is also reviewed.


title: Kashaev invariants of twice-iterated torus knots

abstract: We calculate the asymptotic behavior of the Kashaev invariant of a twice-itarated torus knot and obtain topological interpretation of the formula in terms of the Chern--Simons invariant and the twisted Reidemeister torsion.


title: Engineering Vacancies in Bi2S3 yields sub-Bandgap Photoresponse and highly sensitive Short-Wave Infrared Photodetectors

abstract: Defects play an important role in tailoring the optoelectronic properties of materials. Here we demonstrate that sulphur vacancies are able to engineer sub-band photoresponse into the short-wave infrared range due to formation of in-gap states in Bi2S3 single crystals supported by density functional (DF) calculations. Sulfurization and subsequent refill of the vacancies results in faster response but limits the spectral range to the near infrared as determined by the bandgap of Bi2S3. A facile chemical treatment is then explored to accelerate the speed of sulphur deficient (SD)-based detectors on the order of 10 ms without sacrificing its spectral coverage into the infrared, while holding a high D* close to 10^15 Jones in the visible-near infrared range and 10^12 Jones at 1.6 um. This work also provides new insights into the role sulphur vacancies play on the electronic structure and, as a result, into sub-bandgap photoresponse enabling ultrasensitive, fast and broadband photodetectors.


title: Deep Learning for Face Recognition: Pride or Prejudiced?

abstract: Do very high accuracies of deep networks suggest pride of effective AI or are deep networks prejudiced? Do they suffer from in-group biases (own-race-bias and own-age-bias), and mimic the human behavior? Is in-group specific information being encoded sub-consciously by the deep networks? This research attempts to answer these questions and presents an in-depth analysis of `bias' in deep learning based face recognition systems. This is the first work which decodes if and where bias is encoded for face recognition. Taking cues from cognitive studies, we inspect if deep networks are also affected by social in- and out-group effect. Networks are analyzed for own-race and own-age bias, both of which have been well established in human beings. The sub-conscious behavior of face recognition models is examined to understand if they encode race or age specific features for face recognition. Analysis is performed based on 36 experiments conducted on multiple datasets. Four deep learning networks either trained from scratch or pre-trained on over 10M images are used. Variations across class activation maps and feature visualizations provide novel insights into the functioning of deep learning systems, suggesting behavior similar to humans. It is our belief that a better understanding of state-of-the-art deep learning networks would enable researchers to address the given challenge of bias in AI, and develop fairer systems.


title: Avalanches in an excitable network

abstract: We study propagation of avalanches in a certain excitable network. The model is a particular case of the one introduced in [23], and is mathematically equivalent to an endemic variation of the Reed-Frost epidemic model introduced in [27]. Two types of heuristic approximation are frequently used for models of this type in applications, a branching process for avalanches of a small size at the beginning of the process and a deterministic dynamical system once the avalanche spreads to a significant fraction of a large network. In this paper we prove several results concerning the exact relation between the avalanche model and these limits, including rates of convergence and rigorous bounds for common characteristics of the model.


title: The Impact of Systematic Edits in History Slicing

abstract: While extracting a subset of a commit history, specifying the necessary portion is a time-consuming task for developers. Several commit-based history slicing techniques have been proposed to identify dependencies between commits and to extract a related set of commits using a specific commit as a slicing criterion. However, the resulting subset of commits become large if commits for systematic edits whose changes do not depend on each other exist. We empirically investigated the impact of systematic edits on history slicing. In this study, commits in which systematic edits were detected are split between each file so that unnecessary dependencies between commits are eliminated. In several histories of open source systems, the size of history slices was reduced by 13.3-57.2% on average after splitting the commits for systematic edits.


title: Distributed Mechanism Design for Network Resource Allocation Problems

abstract: In the standard Mechanism Design framework, agents' messages are gathered at a central point and allocation/tax functions are calculated in a centralized manner, i.e., as functions of all network agents' messages. This requirement may cause communication and computation overhead and necessitates the design of mechanisms that alleviate this bottleneck. We consider a scenario where message transmission can only be performed locally so that the mechanism allocation/tax functions can be calculated in a decentralized manner. Each agent transmits messages to her local neighborhood, as defined by a given message-exchange network, and her allocation/tax functions are only functions of the available neighborhood messages. This scenario gives rise to a novel research problem that we call "Distributed Mechanism Design". In this paper, we propose two distributed mechanisms for network utility maximization problems that involve private and public goods with competition and cooperation between agents. As a concrete example, we use the problems of rate allocation in networks with either unicast or multirate multicast transmission protocols. The proposed mechanism for each of the protocols fully implements the optimal allocation in Nash equilibria and its message space dimensionality scales linearly with respect to the number of agents in the network.


title: de Sitter entropy as entanglement

abstract: We describe connected timelike codim-2 extremal surfaces stretching between the future and the past boundaries in the static patch coordinatization of de Sitter space. These are analogous to rotated versions of certain surfaces in the $AdS$ black hole. The existence of these surfaces via the $dS/CFT$ framework suggests the speculation that $dS_4$ is dual to two copies of ghost-like CFTs in a thermofield-double-type entangled state. In studies of entanglement in ghost systems and "ghost-spin" chains, we show that similar entangled states in two copies of ghost-spin ensembles always have positive norm and positive entanglement.


title: Holographic relationships in Lovelock type brane gravity

abstract: We show that the Lovelock type brane gravity is naturally holographic by providing a correspondence between bulk and surface terms that appear in the Lovelock-type brane gravity action functional. We prove the existence of relationships between the $\mathcal{L}_{\mbox{\tiny bulk}}$ and $\mathcal{L}_{\mbox{\tiny surf}}$ allowing $\mathcal{L}_{\mbox{\tiny surf}}$ to be determined completely by $\mathcal{L}_{\mbox{\tiny bulk}}$. In the same spirit, we provide relationships among the various conserved tensors that this theory possesses. We further comment briefly on the correspondence between geometric degrees of freedom in both bulk and surface space.


title: $Ab~initio$ description of collectivity for $sd$ shell nuclei

abstract: In the present work, we have reported shell model results for open shell nuclei Ne, Mg and Si isotopes with $10 \leq N \leq 20$ in $sd$-shell model space. We have performed calculations in $sd$ shell with two $ab~initio$ approaches: in-medium similarity renormalization group (IM-SRG) and coupled-cluster (CC) theory. We have also performed calculations with phenomenological USDB interaction and chiral effective field theory based CEFT interaction. The results for rotational spectra and $B(E2;2_1^+\rightarrow 0_1^+)$ transitions are reported for even-mass isotopes. The IM-SRG and CC results are in reasonable agreement with the experimental data except at $N$ =20. This demonstrates a validity of $ab~initio$ description of deformation for doubly open-shell nuclei for $sd$ shell. To see the importance of $pf$ orbitals, we have also compared our results with SDPF-MU interaction by taking account of $2p-2h$ and $4p-4h$ configurations in $sd$-$pf$-shell model space.


title: Pricing Traffic Networks with Mixed Vehicle Autonomy

abstract: In a traffic network, vehicles normally select their routes selfishly. Consequently, traffic networks normally operate at an equilibrium characterized by Wardrop conditions. However, it is well known that equilibria are inefficient in general. In addition to the intrinsic inefficiency of equilibria, the authors recently showed that, in mixed-autonomy networks in which autonomous vehicles maintain a shorter headway than human-driven cars, increasing the fraction of autonomous vehicles in the network may increase the inefficiency of equilibria. In this work, we study the possibility of obviating the inefficiency of equilibria in mixed-autonomy traffic networks via pricing mechanisms. In particular, we study assigning prices to network links such that the overall or social delay of the resulting equilibria is minimum. First, we study the possibility of inducing such optimal equilibria by imposing a set of undifferentiated prices, i.e. a set of prices that treat both human-driven and autonomous vehicles similarly at each link. We provide an example which demonstrates that undifferentiated pricing is not sufficient for achieving minimum social delay. Then, we study differentiated pricing where the price of traversing each link may depend on whether vehicles are human-driven or autonomous. Under differentiated pricing, we prove that link prices obtained from the marginal cost taxation of links will induce equilibria with minimum social delay if the degree of road capacity asymmetry (i.e. the ratio between the road capacity when all vehicles are human-driven and the road capacity when all vehicles are autonomous) is homogeneous among network links.


title: MOCCA Survey Database I: Dissolution of tidally filling star clusters harbouring BH subsystems

abstract: We investigate the dissolution process for dynamically evolving star clusters embedded in an external tidal field by exploring the MOCCA Survey Database I, with focus on the presence and evolution of a stellar-mass black hole subsystem. We argue that the presence of a black hole subsystem can lead to the dissolution of tidally filling star clusters and this can be regarded as a third type of cluster dissolution mechanism (in addition to well-known mechanisms connected with strong mass loss due to stellar evolution and mass loss connected with the relaxation process). This third process is characterized by abrupt cluster dissolution connected with the loss of dynamical equilibrium. The abrupt dissolution is powered by strong energy generation from a stellar-mass black hole subsystem accompanied by tidal stripping. Additionally, we argue that such a mechanism should also work for even tidally under-filling clusters with top-heavy initial mass function. Observationally, star clusters which undergo dissolution powered by the third mechanism would look as a 'dark cluster' i.e. composed of stellar mass black holes surrounded by an expanding halo of luminous stars (Banerjee & Kroupa 2011), and they should be different from 'dark clusters' harbouring intermediate mass black holes as discussed by Askar et al. (2017a). An additional observational consequence of an operation of the third dissolution mechanism should be a larger than expected abundance of free floating black holes in the Galactic halo.


title: Optimal designs for model averaging in non-nested models

abstract: In this paper we construct optimal designs for frequentist model averaging estimation. We derive the asymptotic distribution of the model averaging estimate with fixed weights in the case where the competing models are non-nested and none of these models is correctly specified. A Bayesian optimal design minimizes an expectation of the asymptotic mean squared error of the model averaging estimate calculated with respect to a suitable prior distribution. We demonstrate that Bayesian optimal designs can improve the accuracy of model averaging substantially. Moreover, the derived designs also improve the accuracy of estimation in a model selected by model selection and model averaging estimates with random weights.


title: Microscopic study of K-Selection Rule Violation in $^{182}$W K=10$^+$ Isomer Decay

abstract: In this paper we study the microscopic mechanism for the retarded decay of K-isomers to lower K bands. We do angular momentum projection from suitable intrinsic states. The retardation arises from poor overlap between the low K and high K bands in the integral over Euler angles. Deformed HF and angular momentum projection calculations are done for the decay of the $K=10^+$ isomer band to the ground band of $^{182}W$. K-mixing is unimportant and the K quantum numbers of the bands are quite good. There is significant difference in the reduced matrix elements of transition operators in our formalism and that in the rotational model. Angular momentum projection gives J-selection rule but there is no K selection rule for reduced matrix elements of electromagnetic multipole operators. Thus, E2 and M1 transitions from the K isomer to the ground band of $^{182}W$ are finite but retarded in angular momentum projection theory, as in experiments. This provides a theoretical basis for the study of K-isomers and their decay modes. Quantitative results are presented. The microscopic model gives J-selection rule and angular momentum conservation for combined matter and radiation systems.


title: An efficient technique for fractional modified Boussinesq and approximate long wave equations

abstract: In this paper, an efficient technique is employed to study the modified Boussinesq and approximate long wave equations of the Caputo fractional time derivative, namely q-homotopy analysis transform method. These equations are playing a vital rule in describing the properties of shallow water waves through distinct dispersion relation. The convergence analysis and error analysis has been presented in the present investigation for the future scheme. We illustrate two examples to demonstrate the leverage and effectiveness of the proposed scheme, and the error analysis has been discussed to verify the accuracy. The numerical simulation has been conducted to ensure the exactness of the future technique. The obtained numerical and graphical results are divulge, the proposed scheme is computationally very accurate and straightforward to study and find the solution for fractional coupled nonlinear complex phenomena arised in science and technology.


title: Adversarial Attacks against Deep Saliency Models

abstract: Currently, a plethora of saliency models based on deep neural networks have led great breakthroughs in many complex high-level vision tasks (e.g. scene description, object detection). The robustness of these models, however, has not yet been studied. In this paper, we propose a sparse feature-space adversarial attack method against deep saliency models for the first time. The proposed attack only requires a part of the model information, and is able to generate a sparser and more insidious adversarial perturbation, compared to traditional image-space attacks. These adversarial perturbations are so subtle that a human observer cannot notice their presences, but the model outputs will be revolutionized. This phenomenon raises security threats to deep saliency models in practical applications. We also explore some intriguing properties of the feature-space attack, e.g. 1) the hidden layers with bigger receptive fields generate sparser perturbations, 2) the deeper hidden layers achieve higher attack success rates, and 3) different loss functions and different attacked layers will result in diverse perturbations. Experiments indicate that the proposed method is able to successfully attack different model architectures across various image scenes.


title: Morita equivalences on Brauer algebras and BMW algebras of simply-laced types

abstract: The Morita equivalences of classical Brauer algebras and classical Birman-Murakami-Wenzl algebras have been well studied. Here we study the Morita equivalence problems on these two kinds of algebras of simply-laced type, especially for them with the generic parameters. We show that Brauer algebras and Birman-Murakami-Wenzl algebras of simply-laced type are Morita equivalent to the direct sums of some group algebras of Coxeter groups and some Hecke algebras of some Coxeter groups, respectively.


title: Characterizing spin-bath parameters using conventional and time-asymmetric Hahn-echo sequences

abstract: Spin-bath noise characterization, which is typically performed by multi-pulse control sequences, is essential for understanding most spin dynamics in the solid-state. Here, we theoretically propose a method for extracting the characteristic parameters of a noise source with a known spectrum, using a single modified Hahn-echo sequence. By varying the application time of the pulse, measuring the coherence curves of an addressable spin, and fitting the decay coefficients to a theoretical function derived by us, we extract parameters characterizing the physical nature of the noise. Assuming a Lorentzian noise spectrum, we illustrate this method for extracting the correlation time of a bath of nitrogen paramagnetic impurities in diamond, and its coupling strength to the addressable spin of a nitrogen-vacancy center. Considering a realistic experimental scenario with $5\%$ measurement error, the parameters can be extracted with an accuracy of $\sim 10 \%$. The scheme is effective for samples having a natural homogeneous coherence time ($T_2$) up to two orders of magnitude greater than the inhomogeneous coherence time ($T_2^*$), and mitigates technical noise when further averaging is irrelevant. Beyond its potential for reducing experiment times by an order-of-magnitude, such single-pulse noise characterization could minimize the effects of long time-scale drifts and accumulating pulse imperfections and numerical errors.


title: Spin gap and L modulated intensity at the low-energy incommensurate magnetic fluctuations in the superconducting state of Sr2RuO4

abstract: Low-energy incommensurate (IC) magnetic fluctuations in the multiband superconductor Sr$_2$RuO$_4$ is investigated by high-resolution inelastic neutron scattering measurements and random phase approximation (RPA) calculations. Below $T_\text{c}$, the substantial spin gap is observed at $\mathbf{Q}_\text{IC}=(0.3, 0.3, L)$ where the quasi-one-dimensional $\alpha$ and $\beta$ sheets consisting of the Fermi surfaces are in good nesting conditions. $L$ modulated intensity of the low-energy IC magnetic fluctuations and our RPA calculations indicate that the superconducting gaps regarding the $\alpha$ and $\beta$ sheets have the horizontal line nodes.


title: BPPart and BPMax: RNA-RNA Interaction Partition Function and Structure Prediction for the Base Pair Counting Model

abstract: RNA-RNA interaction (RRI) is ubiquitous and has complex roles in the cellular functions. In human health studies, miRNA-target and lncRNAs are among an elite class of RRIs that have been extensively studied. Bacterial ncRNA-target and RNA interference are other classes of RRIs that have received significant attention. In recent studies, mRNA-mRNA interaction instances have been observed, where both partners appear in the same pathway without any direct link between them, or any prior knowledge about their relationship. Those recently discovered cases suggest that RRI scope is much wider than those aforementioned elite classes. We revisit our RNA-RNA interaction partition function algorithm, piRNA, which computes the partition function, base-pairing probabilities, and structure for the comprehensive Turner energy model using 96 different dynamic programming tables. In this study, we strategically retreat from sophisticated thermodynamic models to the much simpler base pair counting model. That might seem counter-intuitive at the first glance; our idea is to benefit from the advantages of such simple models in terms of running time and memory footprint and compensate for the associated information loss by adding machine learning components in the future. Here, simple weighted base pair counting is considered to obtain BPPart for Base-pair Partition function and BPMax for Base-pair Maximization, which use 9 and 2 tables respectively. They are empirically 225 and 1350 fold faster than piRNA. A correlation of 0.855 and 0.836 was achieved between piRNA and BPPart and between piRNA and BPMax, respectively, in 37 degrees, and 0.920 and 0.904 in -180 degrees. We also discover two partner RNAs, SNORD3D and TRAF3, and hypothesize their potential roles in genetic diseases. We envision fusion of machine learning methods with the proposed algorithms in the future.


title: Symplectic manifolds and Hamiltonian dynamical systems

abstract: This paper is devoted to the study of symplectic manifolds and their connection with Hamiltonian dynamical systems. We review some properties and operations on these manifolds and see how they intervene when studying the complete integrability of these systems, with detailed proofs. Several explicit calculations for which references are not immediately available are given. These results are exemplified by applications to some Hamiltonian dynamical systems.


title: The Interstellar Medium: The Key Component in Galactic Evolution and Modern Cosmology

abstract: The gases of the interstellar medium (ISM) possess orders of magnitude more mass than those of all the stars combined and are thus the prime component of the baryonic universe. With L-band surface sensitivity even better than the planned phase one Square-Kilometer-Array (SKA1), the Five-hundred-meter Aperture Spherical radio Telescope (FAST) promises unprecedented insights into two of the primary components of ISM, namely, the atomic hydrogen (HI) and the hydroxyl molecule (OH). We discuss here the evolving landscape of our understanding of ISM, particularly, its complex phases, the magnetic fields within, the so-called dark molecular gas (DMG), high velocity clouds, and the connection between local and distant ISM. We lay out, in broad strokes, several expected FAST projects, including an all northern-sky high-resolution HI survey (22,000 deg$^2$, 3\arcmin\ FWHM beam, 0.2 km/s), targeted OH mapping, searching for absorption or masing signals, and etc. Currently under commissioning, the commensal observing mode of FAST will be capable of simultaneously obtaining HI and pulsar data streams, making large-scale surveys in both science areas more efficient.


title: Image-charge detection of the Rydberg states of surface electrons on liquid helium

abstract: We propose and experimentally demonstrate a new spectroscopic method, image-charge detection, for the Rydberg states of surface electrons on liquid helium. The excitation of the Rydberg states of the electrons induces an image current in the circuit to which the electrons are capacitively coupled. In contrast to the conventional microwave absorption measurement, this method makes it possible to resolve the transitions to high-lying Rydberg states of the surface electrons. We also show that this method can potentially be used to detect quantum states of a single electron, which paves a way to utilize the quantum states of the surface electrons on liquid helium for quantum computing.


title: Detecting exoplanets with FAST?

abstract: We briefly review the various proposed scenarios that may lead to nonthermal radio emissions from exoplanetary systems (planetary magnetospheres, magnetosphere-ionosphere and magnetosphere-satellite coupling, and star-planet interactions), and the physical information that can be drawn from their detection. The latter scenario is especially favorable to the production of radio emission above 70\,MHz. We summarize the results of past and recent radio searches, and then discuss FAST characteristics and observation strategy, including synergies. We emphasize the importance of polarization measurements and a high duty-cycle for the very weak targets that radio-exoplanets prove to be.


title: DNS-Morph: UDP-Based Bootstrapping Protocol For Tor

abstract: Tor is one of the most popular systems for anonymous communication and censorship circumvention on the web, currently used by millions of users every day. This puts Tor as a target for attacks by organizations and governmental bodies whose goal is to hinder users' ability to connect to it. These attacks include deep packet inspection (DPI) to classify Tor traffic as well as legitimate Tor client impersonation (active probing) to expose Tor bridges. As a response to Tor-blocking attempts, the Tor community has developed Pluggable Transports (PTs), tools that transform the appearance of Tor's traffic flow. In this paper we introduce a new approach aiming to enhance the PT's resistance against active probing attacks, as well as white-listing censorship by partitioning the handshake of the PT from its encrypted communication. Thus, allowing mixing different PTs, e.g., ScrambleSuit for the handshake and FTE for the traffic itself. We claim that this separation reduces the possibility of marking Tor related communications. To illustrate our claim, we introduce DNS-Morph: a new method of transforming the handshake data of a PT by imitating a sequence of DNS queries and responses. Using DNS-Morph, the Tor client acts as a DNS client which sends DNS queries to the Tor bridge, and receives DNS responses from it. We implemented and successfully tested DNS-Morph using one of the PTs (ScrambleSuit), and verified its capabilities.


title: Centerline Depth World Reinforcement Learning-based Left Atrial Appendage Orifice Localization

abstract: Left atrial appendage (LAA) closure (LAAC) is a minimally invasive implant-based method to prevent cardiovascular stroke in patients with non-valvular atrial fibrillation. Assessing the LAA orifice in preoperative CT angiography plays a crucial role in choosing an appropriate LAAC implant size and a proper C-arm angulation. However, accurate orifice localization is hard because of the high anatomic variation of LAA, and unclear position and orientation of the orifice in available CT views. Deep localization models also yield high error in localizing the orifice in CT image because of the tiny structure of orifice compared to the vastness of CT image. In this paper, we propose a centerline depth-based reinforcement learning (RL) world for effective orifice localization in a small search space. In our scheme, an RL agent observes the centerline-to-surface distance and navigates through the LAA centerline to localize the orifice. Thus, the search space is significantly reduced facilitating improved localization. The proposed formulation could result in high localization accuracy comparing to the expert-annotations in 98 CT images. Moreover, the localization process takes about 8 seconds which is 18 times more efficient than the existing method. Therefore, this can be a useful aid to physicians during the preprocedural planning of LAAC.


title: Maxwell's fisheye lens as efficient power coupler between dissimilar photonic crystal waveguides

abstract: The imaging properties of the Maxwell's fisheye (MFE) lens makes it a viable candidate to implement power coupling between different types of waveguides. A coupler based on the MFE lens is designed to couple a square lattice photonic crystal to a triangular lattice one. The MFE lens is implemented as ring-based multilayer and graded photonic crystal (GPC) structures. The performance of the ring-based MFE lens is better than the GPC-based one in the C-band of optical communication. The proposed ring-based MFE coupler has a footprint of $3.62\times 3.62\mu m$ and covers the entire C and U bands. The S and L bands are partially covered. The average insertion loss of 0.1dB and the maximum return loss of -11dB in the C-band is achieved.


title: Light-by-light scattering in ultra-peripheral heavy-ion collisions at low diphoton masses

abstract: We present a study of photon-photon scattering in the mass range $W_{\gamma\gamma} < 5$ GeV. We extend earlier calculations of this cross section for $W_{\gamma\gamma}>$ 5 GeV into the low mass range where photoproduction of the pseudoscalar resonances $\eta$, $\eta^{'}(958)$ contributes to two-photon final states. We present the elementary photon-photon cross section as a function of diphoton mass $M_{\gamma\gamma}$ arising from lepton and quark loop diagrams, and the visible cross section obtained with the gamma-gamma decay branching fractions of the resonances $\eta$, $\eta^{'}(958)$, $\eta_c(1S)$, $\eta_c(2S)$, $\chi_{c0}(1P)$. We derive the corresponding cross sections in ultra-peripheral Pb-Pb collisions at $\sqrt{s_{NN}}$ = 5.02 TeV by folding the elementary cross section with the heavy-ion photon fluxes. We consider the dominating background of the two-photon final state which arises from gamma decays of photoproduced $\pi^{0}$-pairs. Such $\pi^{0}$-pairs contribute to the background when only two of the four decay photons are within the experimental acceptance, while the other two photons escape undetected. We reduce this background by applying cuts on asymmetries of transverse momenta of the two photons and indicate how the background can be further suppressed using a multivariate sideband analysis. We present the cross section for the signal and the background at midrapidity $|\eta| <$ 0.9, and in the forward rapidity range 2.0 $< \eta <$ 4.5.


title: On the convergence of cutting-plane methods for robust optimization with ellipsoidal uncertainty sets

abstract: Recent advances in cutting-plane strategies applied to robust optimization problems show that they are competitive with respect to problem reformulations and interior-point algorithms. However, although its application with polyhedral uncertainty sets guarantees convergence, finite termination when using ellipsoidal uncertainty sets is not theoretically guaranteed. This paper demonstrates that the cutting-plane algorithm set out for ellipsoidal uncertainty sets in its more general form also converges in a finite number of steps.


title: The concept of laser-based conversion electron M\"ossbauer spectroscopy for a precise energy determination of $^{229m}$Th

abstract: $^{229}$Th is the only nucleus currently under investigation for the development of a nuclear optical clock (NOC) of ultra-high accuracy. The insufficient knowledge of the first nuclear excitation energy of $^{229}$Th has so far hindered direct nuclear laser spectroscopy of thorium ions and thus the development of a NOC. Here, a nuclear laser excitation scheme is detailed, which makes use of thorium atoms instead of ions. This concept, besides potentially leading to the first nuclear laser spectroscopy, would determine the isomeric energy to 40 $\mu$eV resolution, corresponding to 10 GHz, which is a $10^4$ times improvement compared to the current best energy constraint. This would determine the nuclear isomeric energy to a sufficient accuracy to allow for nuclear laser spectroscopy of individual thorium ions in a Paul trap and thus the development of a single-ion nuclear optical clock.


title: UHop: An Unrestricted-Hop Relation Extraction Framework for Knowledge-Based Question Answering

abstract: In relation extraction for knowledge-based question answering, searching from one entity to another entity via a single relation is called "one hop". In related work, an exhaustive search from all one-hop relations, two-hop relations, and so on to the max-hop relations in the knowledge graph is necessary but expensive. Therefore, the number of hops is generally restricted to two or three. In this paper, we propose UHop, an unrestricted-hop framework which relaxes this restriction by use of a transition-based search framework to replace the relation-chain-based search one. We conduct experiments on conventional 1- and 2-hop questions as well as lengthy questions, including datasets such as WebQSP, PathQuestion, and Grid World. Results show that the proposed framework enables the ability to halt, works well with state-of-the-art models, achieves competitive performance without exhaustive searches, and opens the performance gap for long relation paths.


title: Ferroelectricity with Asymmetric Hysteresis in Metallic LiOsO3 Ultrathin Films

abstract: Bulk LiOsO3 was experimentally identified as a "ferroelectric" metal where polar distortions coexist with metallicity [Shi et al., Nature Materials 12, 1024 (2013)]. It is generally believed that polar displacements in a "ferroelectric" metal cannot be switched by an external electric field. Here, via comprehensive density functional theory calculations, we demonstrate that a two-unit-cell-thick LiOsO3 thin film exhibits a ferroelectric ground state having an out-of-plane electric dipole moment that can be switched by an external electric field. Moreover, its dipole moment-versus-electric-field hysteresis loop is asymmetric because only surface Li ions'displacements are reversed by external electric field whereas the field-induced force on inner Li atoms are nearly fully screened by itinerant electrons. As a relevant by-product of our study, we also extend the concept of "Born effective charge" to finite metallic systems, and show its usefulness to rationalize the observed effects.


title: Emergence of topological electronic phases in elemental lithium under pressure

abstract: Lithium, a prototypical simple metal under ambient conditions, has a surprisingly rich phase diagram under pressure, taking up several structures with reduced symmetry, low coordination numbers, and even semiconducting character with increasing density. Using first-principles calculations, we demonstrate that some predicted high-pressure phases of elemental Li also host topological electronic structures. Beginning at 80 GPa and coincident with a transition to the Pbca phase, we find Li to be a Dirac nodal line semimetal. We further calculate that Li retains linearly-dispersive energy bands in subsequent predicted higher pressure phases, and that it exhibits a Lifshitz transition between two Cmca phases at 220 GPa. The Fd-3m phase at 500 GPa forms buckled honeycomb layers that give rise to a Dirac crossing 1 eV below the Fermi energy. The well-isolated topological nodes near the Fermi level in these phases result from increasing p-orbital character with density at the Fermi level, itself a consequence of rising 1s core wavefunction overlap, and a preference for nonsymmorphic symmetries in the crystal structures favored at these pressures. Our results provide evidence that under pressure, bulk 3D materials with light elements, or even pure elemental systems, can undergo topological phase transitions hosting nontrivial topological properties near the Fermi level with measurable consequences; and that, through pressure, we can access these novel phases in elemental lithium.


title: Twisted Gravitational Waves in the Presence of a Cosmological Constant

abstract: We find exact nonlinear solutions of general relativity that represent twisted gravitational waves (TGWs) in the presence of a cosmological constant. A TGW is a nonplanar wave propagating along a fixed spatial direction with a null Killing wave vector that has a nonzero twist tensor. The solutions all turn out to have wave fronts with negative Gaussian curvature. Among the classes of solutions presented in this paper, we find a unique class of simple conformally flat TGWs that is due to the presence of a negative cosmological constant and therefore represents part of anti-de Sitter spacetime. The properties of this special solution are studied in detail.


title: Scrutiny of stagnation region flow in a nanofluid suspended permeable medium due to inconsistent heat source/sink

abstract: In present analysis, nanofluid transport near to a stagnation region over a bidirectionally deforming surface is scrutinized. The region is embedded with Darcy-Forchheimer medium which supports permeability. The porous matrix is suspended with nanofluid, and surface is under the influence of inconsistent heat source/sink. Using similarity functions, framed governing equations are switched to a collection of ordinary differential equations. Output is procured via optimal homotopy asymptotic method (OHAM). Basic notion of OHAM for a vector differential set-up is presented along with required convergence theorems. At different flow stagnation strengths, nanofluid behavior is investigated with respect to variations in porosity parameter, Forchheimer number, Brownian motion, stretching ratio, thermophoretic force, heat source/sink and Schimdt number. Stagnation flow strength invert the pattern of boundary layer profiles of primary velocity. Heat transfer has straightforward relation with Forchheimer number when stagnation forces dominate stretching forces


title: Quantum imaging with sub-Poissonian light: challenges and perspectives in optical metrology

abstract: Non-classical correlations in optical beams offer the unprecedented opportunity of surpassing conventional limits of sensitivity and resolution in optical measurements and imaging, especially but not only, when a low photon flux down to the single photons are measured. We review the principles of quantum imaging and sensing techniques which exploit sub-Poissonian photon statistics and non-classical photon number correlation, presenting some state-of-the-art achievements in the field. These quantum photonics protocols have the potential to trigger major steps in many applications, such as microscopy and biophotonics and represent an important opportunity for a new deal in radiometry and photometry.


title: Multiple Askey-Wilson polynomials and related basic hypergeometric multiple orthogonal polynomials

abstract: We first show how one can obtain Al-Salam--Chihara polynomials, continuous dual $q$-Hahn polynomials, and Askey--Wilson polynomials from the little $q$-Laguerre and the little $q$-Jacobi polynomials by using special transformations. This procedure is then extended to obtain multiple Askey--Wilson, multiple continuous dual $q$-Hahn, and multiple Al-Salam--Chihara polynomials from the multiple little $q$-Laguerre and the multiple little $q$-Jacobi polynomials.


title: An algorithm of computing cohomology intersection number of hypergeometric integrals

abstract: We show that the cohomology intersection number of a twisted Gauss-Manin connection with regularization condition is a rational function. As an application, we obtain a new quadratic relation associated to period integrals of a certain family of K3 surfaces.


title: On the proof of Michel of the maximum Pontryagin Principle

abstract: We provide an improvment of the maximum principle of Pon-tryagin of the optimal control problems, for a system governed by an ordinary differential equation, in presence of final constraints, in the setting of the piece-wise differentiable state functions (valued in a Banach space) and of piecewise continuous control functions (valued in a metric space). As Michel we use the needlelike variations, but we introduce tools of functional analysis and a recent multiplier rule of the static optimization to make our proofs. Mathematical Subject Classification 2010: 49K15, 47H10


title: Large deviations and Wschebor's theorems

abstract: We revisit Wschebor's theorems on small increments for processes with scaling and stationary properties and deduce large deviation principles.


title: How Much Can D2D Communication Reduce Content Delivery Latency in Fog Networks with Edge Caching?

abstract: A Fog-Radio Access Network (F-RAN) is studied in which cache-enabled Edge Nodes (ENs) with dedicated fronthaul connections to the cloud aim at delivering contents to mobile users. Using an information-theoretic approach, this work tackles the problem of quantifying the potential latency reduction that can be obtained by enabling Device-to-Device (D2D) communication over out-of-band broadcast links. Following prior work, the Normalized Delivery Time (NDT) --- a metric that captures the high signal-to-noise ratio worst-case latency --- is adopted as the performance criterion of interest. Joint edge caching, downlink transmission, and D2D communication policies based on compress-and-forward are proposed that are shown to be information-theoretically optimal to within a constant multiplicative factor of two for all values of the problem parameters, and to achieve the minimum NDT for a number of special cases. The analysis provides insights on the role of D2D cooperation in improving the delivery latency.


title: Cooperation Techniques for A Cellular Internet of Unmanned Aerial Vehicles

abstract: Unmanned aerial vehicles (UAVs) are powerful Internet-of-Things components to provide sensing and communications in the air due to their advantages in mobility and flexibility. As aerial users, UAVs are envisioned to support various sensing applications in the next generation cellular systems, which have been studied by the Third Generation Partnership Project (3GPP). However, the Quality-of-Services (QoS) of the cellular link between the UAV and the base station may not be guaranteed when UAVs are at the cell edge or experiencing deep fading. In this article, we first introduce the non-cooperative cellular Internet of UAVs. Then we propose a cooperative sense-and-send protocol, in which a UAV can upload sensory data with the help of a UAV relay, to provide a better communication QoS for the sensing tasks. Key techniques including trajectory design and radio resource management that support the cooperative cellular Internet of UAVs are presented in detail. Finally, the extended cooperative cellular Internet of UAVs is discussed for QoS improvement with some open issues, such as massive multiple-input multiple-output systems, millimeter-wave, and cognitive communications.


title: Metric-Learning based Deep Hashing Network for Content Based Retrieval of Remote Sensing Images

abstract: Hashing methods have been recently found very effective in retrieval of remote sensing (RS) images due to their computational efficiency and fast search speed. The traditional hashing methods in RS usually exploit hand-crafted features to learn hash functions to obtain binary codes, which can be insufficient to optimally represent the information content of RS images. To overcome this problem, in this paper we introduce a metric-learning based hashing network, which learns: 1) a semantic-based metric space for effective feature representation; and 2) compact binary hash codes for fast archive search. Our network considers an interplay of multiple loss functions that allows to jointly learn a metric based semantic space facilitating similar images to be clustered together in that target space and at the same time producing compact final activations that lose negligible information when binarized. Experiments carried out on two benchmark RS archives point out that the proposed network significantly improves the retrieval performance under the same retrieval time when compared to the state-of-the-art hashing methods in RS.


title: Context aware quantum simulation of a matrix stored in quantum memory

abstract: In this paper a storage method and a context-aware circuit simulation idea are presented for the sum of block diagonal matrices. Using the design technique for a generalized circuit for the Hamiltonian dynamics through the truncated series, we generalize the idea to (0-1) matrices and discuss the generalization for the real matrices. The presented circuit requires $O(n)$ number of quantum gates and yields the correct output with the success probability depending on the number of elements: for matrices with $poly(n)$, the success probability is $1/poly(n)$. Since the operations on the circuit are controlled by the data itself, the circuit can be considered as a context aware computing gadget. In addition, it can be used in variational quantum eigensolver and in the simulation of molecular Hamiltonians.


title: The Fornax 3D project: Thick disks in a cluster environment

abstract: We used deep MUSE observations to perform a stellar-kinematic and population analysis of FCC 153 and FCC 177, two edge-on S0 galaxies in the Fornax cluster. The geometrical definition of the different structural components of these two galaxies allows us to describe the nature of their thick disks. These are both old, relatively metal poor and [Mg/Fe]-enhanced, and their star formation history (SFH) reveals a minor younger component whose chemical properties suggest its later accretion. Moreover, the outer regions of these geometrically defined thick disks show higher values of metallicity and lower values of [Mg/Fe]. These stars probably formed in the thin-disk region and they were dynamically heated to form the flares present in these two galaxies. We propose different formation scenarios for the three populations of these thick disks: in-situ formation, accretion and disk heating. A clear distinction in age is found between the metal poor and [Mg/Fe]-enhanced thick disks (old, $\sim 12-13$ Gyr), and the metal rich and less [Mg/Fe]-enhanced thin disks (young, $\sim 4-5$ Gyr). These two galaxies show signs of relatively recent star formation in their thin disks and nuclear regions. While the thin disks show more continuous SFHs, the nuclei display a rather bursty SFH. These two galaxies are located outside of the densest region of the Fornax cluster where FCC 170 resides. This other edge-on S0 galaxy was studied by \citet{Pinna2019}. We compare and discuss our results with this previous study. The differences between these three galaxies, at different distances from the cluster center, suggest that the environment can have a strong effect on the galaxy evolutionary path.


title: Hierarchical method for cataract grading based on retinal images using improved Haar wavelet

abstract: Cataracts, which are lenticular opacities that may occur at different lens locations, are the leading cause of visual impairment worldwide. Accurate and timely diagnosis can improve the quality of life of cataract patients. In this paper, a feature extraction-based method for grading cataract severity using retinal images is proposed. To obtain more appropriate features for the automatic grading, the Haar wavelet is improved according to the characteristics of retinal images. Retinal images of non-cataract, as well as mild, moderate, and severe cataracts, are automatically recognized using the improved Haar wavelet. A hierarchical strategy is used to transform the four-class classification problem into three adjacent two-class classification problems. Three sets of two-class classifiers based on a neural network are trained individually and integrated together to establish a complete classification system. The accuracies of the two-class classification (cataract and non-cataract) and four-class classification are 94.83% and 85.98%, respectively. The performance analysis demonstrates that the improved Haar wavelet feature achieves higher accuracy than the original Haar wavelet feature, and the fusion of three sets of two-class classifiers is superior to a simple four-class classifier. The discussion indicates that the retinal image-based method offers significant potential for cataract detection.


title: Combinatorial reciprocity for the chromatic polynomial and the chromatic symmetric function

abstract: Let G be a graph, and let $\chi$G be its chromatic polynomial. For any non-negative integers i, j, we give an interpretation for the evaluation $\chi$ (i) G (--j) in terms of acyclic orientations. This recovers the classical interpretations due to Stanley and to Green and Zaslavsky respectively in the cases i = 0 and j = 0. We also give symmetric function refinements of our interpretations, and some extensions. The proofs use heap theory in the spirit of a 1999 paper of Gessel.


title: On some estimates for Erd\"os-R\`enyi random graph

abstract: We consider a number $\nu_n$ of components in a random graph $G(n,p)$ with $n$ vertices, where the probability of an edge is equal to $p$. By operating with special generating functions we shows the next asymptotic relation for factorial moments of $\nu_n$: $$ \mathsf{E}(\nu_n-1)^{\underline s} = (1+o(1))\left( \frac 1p \sum\limits_{k=1}^\infty\frac{k^{k-2}}{k!}(npq^n)^k\right)^s + o(1) $$ as $n$ tends to $\infty$ and $q=1-p$. And the following inequations hold: $$ 1-2nq^{n-1} \le p_n\le\frac{1}{nq^n}, $$ $$ 1-\frac{1}{nq^n}\le pi_n\le nq^{n-1}, $$ where $p_n$ is the probability that $G(n,p)$ is connected and $pi_n$ is the probability that $G(n,p)$ has an isolated vertex.


title: Cluster algebra structures on module categories over quantum affine algebras

abstract: We study monoidal categorifications of certain monoidal subcategories $\mathcal{C}_J$ of finite-dimensional modules over quantum affine algebras, whose cluster algebra structures coincide and arise from the category of finite-dimensional modules over quiver Hecke algebra of type A${}_\infty$. In particular, when the quantum affine algebra is of type A or B, the subcategory coincides with the monoidal category $\mathcal{C}_{\mathfrak{g}}^0$ introduced by Hernandez-Leclerc. As a consequence, the modules corresponding to cluster monomials are real simple modules over quantum affine algebras.


title: Enhancing the Three-Photon Luminesce via the Resonance in Lead Halide Perovskite Metasurfaces

abstract: Lead halide perovskites (MAPbX3) have emerged as promising materials for photovoltaic and optoelectronic devices. However, their exceptional nonlinear properties have not been fully exploited in nanophotonics yet. Herein we fabricate MAPbX3 perovskite metasurfaces and explore their internal nonlinear processes. While both of third-order harmonic generation (THG) and three-photon luminescence are generated, the latter one is less affected by the material loss and has been significantly enhanced by a factor of 60. The corresponding simulation reveals that the improvement is caused by the resonant enhancement of incident laser in perovskite metasurface. Interestingly, such kind of resonance-enhanced three-photon luminescence holds true for metasurfaces with a small period number of 4, enabling new applications of perovskite metasurface in high-resolution nonlinear color nanoprinting and optical encoding. The encoded information "NANO" is visible only when the incident laser is on-resonance. The off-resonance pumping and the single-photon excitation just produce a uniform dark or photoluminescence background.


title: Lead Halide Perovskite based Dynamic Metasurfaces

abstract: Lead halide perovskites (MAPbX3) are known to have high refractive index and controllable bandgap, making them attractive for all-dielectric and tunable metasurfaces. Till now, perovskite metasurfaces have only been used in structural colors. More interesting meta-devices with 2{\pi} phase control are still absent. Here we experimentally demonstrate the MAPbX3 perovskite based metasurfaces with a complete control of phase shift in a reflection mode. By utilizing MAPbBr3 cut-wires as meta-atoms on a ground metal film, we find that the MAPbBr3 perovskite metasurface can produce full phase control from 0 to 2{\pi} and high reflection efficiency simultaneously. Consequently, high-efficiency polarization conversion, anomalous reflection and meta-hologram have been successfully produced. Most interestingly, the bandgap of MAPbX3 perovskite can be post-synthetically and reversibly tuned via anion exchange, providing a new approach to dynamically control of the all-dielectric meta-devices with novel function such as anomalous reflection and hologram et al.


title: Decidability and Periodicity of Low Complexity Tilings

abstract: In this paper we study colorings (or tilings) of the two-dimensional grid $\mathbb{Z}^2$. A coloring is said to be valid with respect to a set $P$ of $n\times m$ rectangular patterns if all $n\times m$ sub-patterns of the coloring are in $P$. A coloring $c$ is said to be of low complexity with respect to a rectangle if there exist $m,n\in\mathbb{N}$ and a set $P$ of $n\times m$ rectangular patterns such that $c$ is valid with respect to $P$ and $|P|\leq nm$. Open since it was stated in 1997, Nivat's conjecture states that such a coloring is necessarily periodic. If Nivat's conjecture is true, all valid colorings with respect to $P$ such that $|P|\leq mn$ must be periodic. We prove that there exists at least one periodic coloring among the valid ones. We use this result to investigate the tiling problem, also known as the domino problem, which is well known to be undecidable in its full generality. However, we show that it is decidable in the low-complexity setting. Then, we use our result to show that Nivat's conjecture holds for uniformly recurrent configurations. These results also extend to other convex shapes in place of the rectangle.\\ After that, we prove that the $nm$ bound is multiplicatively optimal for the decidability of the domino problem, as for all $\varepsilon>0$ it is undecidable to determine if there exists a valid coloring for a given $m,n\in \mathbb{N}$ and set of rectangular patterns $P$ of size $n\times m$ such that $|P|\leq (1+\varepsilon)nm$. We prove a slightly better bound in the case where $m=n$, as well as constructing aperiodic SFTs of pretty low complexity.\\ This paper is an extended version of a paper published in STACS 2020.


title: Stochastic differential equations with singular (form-bounded) drift

abstract: We consider the problem of constructing weak solutions to the It\^{o} and to the Stratonovich stochastic differential equations having critical-order singularities in the drift and critical-order discontinuities in the dispersion matrix.


title: Experiments on Open-Set Speaker Identification with Discriminatively Trained Neural Networks

abstract: This paper presents a study on discriminative artificial neural network classifiers in the context of open-set speaker identification. Both 2-class and multi-class architectures are tested against the conventional Gaussian mixture model based classifier on enrolled speaker sets of different sizes. The performance evaluation shows that the multi-class neural network system has superior performance for large population sizes.


title: Ultrafast Control of Spin Interactions in Honeycomb Antiferromagnetic Insulators

abstract: Light enables ultrafast, direct and nonthermal control of the exchange and Dzyaloshinskii-Moriya interactions. We consider two-dimensional honeycomb lattices described by the Kane-Mele-Hubbard model at half filling and in the strongly correlated limit, i.e., the Mott insulator phase of a canted antiferromagnet. Based on Floquet theory, we demonstrate that by changing the amplitude and frequency of polarized laser pulses, one can tune the amplitudes and signs of and even the ratio between the exchange and Dzyaloshinskii-Moriya spin interactions. Furthermore, the renormalizations of the spin interactions are independent of helicity. Our results pave the way for ultrafast optical spin manipulation in recently discovered two-dimensional magnetic materials.


title: Magnetoelectrically driven catalytic degradation of organics

abstract: Here, we report the catalytic degradation of organic compounds by exploiting the magnetoelectric (ME) nature of cobalt ferrite-bismuth ferrite (CFO-BFO) core-shell nanoparticles. The combination of magnetostrictive CFO with the multiferroic BFO gives rise to a magnetoelectric engine that purifies water under wireless magnetic fields via advanced oxidation processes, without involvement of any sacrificial molecules or co-catalysts. Magnetostrictive CoFe2O4 nanoparticles are fabricated using hydrothermal synthesis, followed by sol-gel synthesis to create the multiferroic BiFeO3 shell. We perform theoretical modeling to study the magnetic field induced polarization on the surface of magnetoelectric nanoparticles. The results obtained from these simulations are consistent with the experimental findings of the piezo-force microscopy analysis, where we observe changes in the piezoresponse of the nanoparticles under magnetic fields. Next, we investigate the magnetoelectric effect induced catalytic degradation of organic pollutants under AC magnetic fields and obtained 97% removal efficiency for synthetic dyes and over 85% removal efficiency for routinely used pharmaceuticals. Additionally, we perform trapping experiments to elucidate the mechanism behind the magnetic field induced catalytic degradation of organic pollutants by using scavengers for each of the reactive species. Our results indicate that hydroxyl and superoxide radicals are the main reactive species in the magnetoelectrically induced catalytic degradation of organic compounds.


title: Automatic model generation

abstract: The goal of the paper is to automatize the selection of mechanisms which are able to describe a set of measurements. In order to do so first we construct a set of possible mechanism fulfilling chemically reasonable requirements with a given number of species and reaction steps. Then we try to fit all the mechanisms, and offer the best fitting one to the chemist for further analysis. The method can also be used to a kind of lumping: to reproduce the results of a big mechanism using a smaller one, with less number of species. We show two applications: one on an artificial example and another one on a small real life data.


title: Characterization of high-current pulsed arcs ranging from 100--250 kA peak

abstract: In this paper, we present the laboratory study on three experimental setups that produce a free arc channel subjected to the transient phase of a lightning current waveform. This work extends the high-current pulsed arc characterization performed in previous studies for peak levels up to 100 kA. Eleven high-current waveforms with peak value ranging from 100--250 kA with different growth rates and action integrals are studied, allowing the comparison of different test benches. These waveforms correspond to standard lightning ones used in aircraft certification processes. Hydrodynamic properties such as arc channel evolution and shock-wave propagation are determined by high-speed video imaging and the background-oriented Schlieren method. The arc diameter reaches around 90mm at 50 $\mu$s for a current of 250 kA peak. Space- and time-resolved measurements of temperature, electron density and pressure are assessed by optical emission spectroscopy associated with the radiative transfer equation. It is solved across the arc column and takes into account the assumption of non-optically thin plasma at local thermodynamic equilibrium. For a 250 kA waveform, temperatures up to 43000K are found, with pressures in the order of 50 bar. The influence of current waveform parameters on the arc properties are analyzed and discussed.


title: Sesqui-regular graphs with fixed smallest eigenvalue

abstract: Let $\lambda\geq2$ be an integer. For strongly regular graphs with parameters $(v, k, a,c)$ and smallest eigenvalue $-\lambda$, Neumaier gave two bounds on $c$ by using algebraic property of strongly regular graphs. In this paper, we will study a new class of regular graphs called sesqui-regular graphs, which contains strongly regular graphs as a subclass, and prove that for a sesqui-regular graph with parameters $(v,k,c)$ and smallest eigenvalue at least $-\lambda$, if $k$ is very large, then either $c \leq \lambda^2(\lambda -1)$ or $v-k-1 \leq \frac{(\lambda-1)^2}{4} + 1$ holds.


title: Effect of shell structure on the fission of sub-lead nuclei

abstract: Fission of atomic nuclei often produces mass asymmetric fragments. However, the origin of this asymmetry was believed to be different in actinides and in the sub-lead region [A. Andreyev {\it et al.}, Phys. Rev. Lett. {\bf 105}, 252502 (2010)]. It has recently been argued that quantum shell effects stabilising pear shapes of the fission fragments could explain the observed asymmetries in fission of actinides[G. Scamps and C. Simenel, Nature {\bf 564}, 382 (2018)]. This interpretation is tested in the sub-lead region using microscopic mean-field calculations of fission based on the Hartree-Fock approach with BCS pairing correlations. The evolution of the number of protons and neutrons in asymmetric fragments of mercury isotope fissions is interpreted in terms of deformed shell gaps in the fragments. A new method is proposed to investigate the dominant shell effects in the pre-fragments at scission. We conclude that the mechanisms responsible for asymmetric fissions in the sub-lead region are the same as in the actinide region, which is a strong indication of their universality.


title: Phase structure of three flavor QCD in external magnetic fields using HISQ fermions

abstract: We study the phase structure of QCD with three degenerate flavors in the external magnetic fields using highly improved staggered quarks (HISQ). The simulations are performed on $16^3\times 6$ lattice. In order to investigate the quark mass dependence of the chiral transition we choose the values of the bare quark masses 0.015 and 0.0009375 in the lattice unit, corresponding to $m_\pi=320$ MeV and 80 MeV in the continuum limit. We found no indication of a first order phase transition in the current window of quark masses and external magnetic fields. Unlike to the case with standard staggered fermions inverse magnetic catalysis is always observed at about the critical temperature. The microscopic origin of this phenomena are further discussed by looking into the Dirac eigenvalue spectrum.


title: A PCA-like Autoencoder

abstract: An autoencoder is a neural network which data projects to and from a lower dimensional latent space, where this data is easier to understand and model. The autoencoder consists of two sub-networks, the encoder and the decoder, which carry out these transformations. The neural network is trained such that the output is as close to the input as possible, the data having gone through an information bottleneck : the latent space. This tool bears significant ressemblance to Principal Component Analysis (PCA), with two main differences. Firstly, the autoencoder is a non-linear transformation, contrary to PCA, which makes the autoencoder more flexible and powerful. Secondly, the axes found by a PCA are orthogonal, and are ordered in terms of the amount of variability which the data presents along these axes. This makes the interpretability of the PCA much greater than that of the autoencoder, which does not have these attributes. Ideally, then, we would like an autoencoder whose latent space consists of independent components, ordered by decreasing importance to the data. In this paper, we propose an algorithm to create such a network. We create an iterative algorithm which progressively increases the size of the latent space, learning a new dimension at each step. Secondly, we propose a covariance loss term to add to the standard autoencoder loss function, as well as a normalisation layer just before the latent space, which encourages the latent space components to be statistically independent. We demonstrate the results of this autoencoder on simple geometric shapes, and find that the algorithm indeed finds a meaningful representation in the latent space. This means that subsequent interpolation in the latent space has meaning with respect to the geometric properties of the images.


title: Magnetoelectric domains and their switching mechanism in a Y-type hexaferrite

abstract: By employing resonant X-ray microdiffraction, we image the magnetisation and magnetic polarity domains of the Y-type hexaferrite Ba$_{0.5}$Sr$_{1.5}$Mg$_2$Fe$_{12}$O$_{22}$. We show that the magnetic polarity domain structure can be controlled by both magnetic and electric fields, and that full inversion of these domains can be achieved simply by reversal of an applied magnetic field in the absence of an electric field bias. Furthermore, we demonstrate that the diffraction intensity measured in different X-ray polarisation channels cannot be reproduced by the accepted model for the polar magnetic structure, known as the 2-fan transverse conical (TC) model. We propose a modification to this model, which achieves good quantitative agreement with all of our data. We show that the deviations from the TC model are large, and may be the result of an internal magnetic chirality, most likely inherited from the parent helical (non-polar) phase.


title: Learning a Partitioning Advisor with Deep Reinforcement Learning

abstract: Commercial data analytics products such as Microsoft Azure SQL Data Warehouse or Amazon Redshift provide ready-to-use scale-out database solutions for OLAP-style workloads in the cloud. While the provisioning of a database cluster is usually fully automated by cloud providers, customers typically still have to make important design decisions which were traditionally made by the database administrator such as selecting the partitioning schemes. In this paper we introduce a learned partitioning advisor for analytical OLAP-style workloads based on Deep Reinforcement Learning (DRL). The main idea is that a DRL agent learns its decisions based on experience by monitoring the rewards for different workloads and partitioning schemes. We evaluate our learned partitioning advisor in an experimental evaluation with different databases schemata and workloads of varying complexity. In the evaluation, we show that our advisor is not only able to find partitionings that outperform existing approaches for automated partitioning design but that it also can easily adjust to different deployments. This is especially important in cloud setups where customers can easily migrate their cluster to a new set of (virtual) machines.


title: An Analysis of Factors Influencing Metro Station Ridership: Insights from Taipei Metro

abstract: Travel demand analysis at the planning stage is important for metro system development. In practice, travel demand can be affected by various factors. This paper focuses on investigating the factors influencing Taipei metro ridership at station level over varying time periods. Ordinary Least Square (OLS) multiple regression models with backward stepwise feature selection are employed to identify the influencing factors, including land use, social economic, accessibility, network structure information, etc. Network structure factors are creatively quantified based on complex network theory to accurately measure the related information. To enhance goodness-of-fit, the dummy variable distinguishing transportation hub is incorporated in the modeling. The main findings in this paper are three-fold: First, there is no distinct difference between influencing factors of boarding and those of alighting; Second, ridership is significantly associated with the number of nearby shopping malls, distance to city center, days since opening, nearby bus stations and dummy variable for transportation hub; Finally, the ridership on weekdays is mainly affected by commuting activities, while the ridership on weekends is driven by commercial access.


title: Ultracold homonuclear and heteronuclear collisions in metastable helium

abstract: Scattering and ionizing cross sections and rates are calculated for ultracold collisions between metastable helium atoms using a fully quantum-mechanical close-coupled formalism. Homonuclear collisions of the bosonic ${}^{4}$He$^{*} +{}^{4}$He$^{*}$ and fermionic ${}^{3}$He$^{*} + {}^{3}$He$^{*}$ systems, and heteronuclear collisions of the mixed ${}^{3}$He$^{*} +{}^{4}$He$^{*}$ system, are investigated over a temperature range 1 $\mu$K to 1 K. Carefully constructed Born-Oppenheimer molecular potentials are used to describe the electrostatic interaction between the colliding atoms, and complex optical potentials used to represent loss through ionization from the ${}^{1,3}\Sigma $ states. Magnetic spin-dipole mediated transitions from the ${}^{5}\Sigma $ state are included and results reported for spin-polarized and unpolarized systems. Comparisons are made with experimental results, previous semi-classical models, and a perturbed single channel model.


title: On transitive uniform partitions of F^n into binary Hamming codes

abstract: We investigate transitive uniform partitions of the vector space $F^n$ of dimension $n$ over the Galois field $GF(2)$ into cosets of Hamming codes. A partition $P^n= \{H_0,H_1+e_1,\ldots,H_n+e_n\}$ of $F^n$ into cosets of Hamming codes $H_0,H_1,\ldots,H_n$ of length $n$ is said to be uniform if the intersection of any two codes $H_i$ and $H_j$, $i,j\in \{0,1,\ldots,n \}$ is constant, here $e_i$ is a binary vector in $F^n$ of weight $1$ with one in the $i$th coordinate position. For any $n=2^m-1$, $m>4$ we found a class of nonequivalent $2$-transitive uniform partitions of $F^n$ into cosets of Hamming codes.


title: Service Equivalence via Multiparty Session Type Isomorphisms

abstract: This paper addresses a problem found within the construction of Service Oriented Architecture: the adaptation of service protocols with respect to functional redundancy and heterogeneity of global communication patterns. We utilise the theory of Multiparty Session Types (MPST). Our approach is based upon the notion of a multiparty session type isomorphism, utilising a novel constructive realisation of service adapter code to establishing equivalence. We achieve this by employing trace semantics over a collection of local types and introducing meta abstractions over the syntax of global types. We develop a corresponding equational theory for MPST isomorphisms. The main motivation for this line of work is to define a type isomorphism that affords the assessment of whether two components/services are substitutables, modulo adaptation code given software components formalised as session types.


title: FreeST: Context-free Session Types in a Functional Language

abstract: FreeST is an experimental concurrent programming language. Based on a core linear functional programming language, it features primitives to fork new threads, and for channel creation and communication. A powerful type system of context-free session types governs the interaction on channels. The compiler builds on a novel algorithm for deciding type equivalence of context-free session types. This abstract provides a gentle introduction to the language and discusses the validation process and runtime system.


title: Entropy pair realization

abstract: We show that the CPE class $\alpha$ of Barbieri and Garc\'ia-Ramos contains a one-dimensional subshift for all countable ordinals $\alpha$, i.e.\ the process of alternating topological and transitive closure on the entropy pairs relation of a subshift can end on an arbitrary ordinal. This is the composition of three constructions: We first realize every ordinal as the length of an abstract "close-up" process on a countable compact space. Next, we realize any abstract process on a compact zero-dimensional metrizable space as the process started from a shift-invariant relation on a subshift, the crucial construction being the implementation of every compact metrizable zero-dimensional space as an open invariant quotient of a subshift. Finally we realize any shift-invariant relation $E$ on a subshift $X$ as the entropy pair relation of a supershift $Y \supset X$, and under strong technical assumptions we can make the CPE process on $Y$ end on the same ordinal as the close-up process of~$E$.


title: Concurrent Typestate-Oriented Programming in Java

abstract: We describe a generative approach that enables concurrent typestate-oriented programming in Java and other mainstream languages. The approach allows programmers to implement objects exposing a state-sensitive interface using a high-level synchronization abstraction that synchronizes methods with the states of the receiver object in which those methods have an effect. An external tool takes care of generating all the boilerplate code that implements the synchronization logic. Behavioral types are used to specify object protocols. The tool integrates protocol conformance verification with the synchronization logic so that protocol violations are promptly detected at runtime.


title: Multiparty Session Type-safe Web Development with Static Linearity

abstract: Modern web applications can now offer desktop-like experiences from within the browser, thanks to technologies such as WebSockets, which enable low-latency duplex communication between the browser and the server. While these advances are great for the user experience, they represent a new responsibility for web developers who now need to manage and verify the correctness of more complex and potentially stateful interactions in their application. In this paper, we present a technique for developing interactive web applications that are statically guaranteed to communicate following a given protocol. First, the global interaction protocol is described in the Scribble protocol language -- based on multiparty session types. Scribble protocols are checked for well-formedness, and then each role is projected to a Finite State Machine representing the structure of communication from the perspective of the role. We use source code generation and a novel type-level encoding of FSMs using multi-parameter type classes to leverage the type system of the target language and guarantee only programs that communicate following the protocol will type check. Our work targets PureScript -- a functional language that compiles to JavaScript -- which crucially has an expressive enough type system to provide static linearity guarantees. We demonstrate the effectiveness of our approach through a web-based Battleship game where communication is performed through WebSocket connections.


title: Value-Dependent Session Design in a Dependently Typed Language

abstract: Session Types offer a typing discipline that allows protocol specifications to be used during type-checking, ensuring that implementations adhere to a given specification. When looking to realise global session types in a dependently typed language care must be taken that values introduced in the description are used by roles that know about the value. We present Sessions, a Resource Dependent EDSL for describing global session descriptions in the dependently typed language Idris. As we construct session descriptions the values parameterising the EDSLs' type keeps track of roles and messages they have encountered. We can use this knowledge to ensure that message values are only used by those who know the value. Sessions supports protocol descriptions that are computable, composable, higher-order, and value-dependent. We demonstrate Sessions expressiveness by describing the TCP Handshake, a multi-modal server providing echo and basic arithmetic operations, and a Higher-Order protocol that supports an authentication interaction step.


title: FKIMNet: A Finger Dorsal Image Matching Network Comparing Component (Major, Minor and Nail) Matching with Holistic (Finger Dorsal) Matching

abstract: Current finger knuckle image recognition systems, often require users to place fingers' major or minor joints flatly towards the capturing sensor. To extend these systems for user non-intrusive application scenarios, such as consumer electronics, forensic, defence etc, we suggest matching the full dorsal fingers, rather than the major/ minor region of interest (ROI) alone. In particular, this paper makes a comprehensive study on the comparisons between full finger and fusion of finger ROI's for finger knuckle image recognition. These experiments suggest that using full-finger, provides a more elegant solution. Addressing the finger matching problem, we propose a CNN (convolutional neural network) which creates a $128$-D feature embedding of an image. It is trained via. triplet loss function, which enforces the L2 distance between the embeddings of the same subject to be approaching zero, whereas the distance between any 2 embeddings of different subjects to be at least a margin. For precise training of the network, we use dynamic adaptive margin, data augmentation, and hard negative mining. In distinguished experiments, the individual performance of finger, as well as weighted sum score level fusion of major knuckle, minor knuckle, and nail modalities have been computed, justifying our assumption to consider full finger as biometrics instead of its counterparts. The proposed method is evaluated using two publicly available finger knuckle image datasets i.e., PolyU FKP dataset and PolyU Contactless FKI Datasets.


title: A Message-Passing Interpretation of Adjoint Logic

abstract: We present a system of session types based on adjoint logic which generalize standard binary session types. Our system allows us to uniformly capture several new behaviors in the space of asynchronous message-passing communication, including multicast, where a process sends a single message to multiple clients, replicable services, which have multiple clients and replicate themselves on-demand to handle requests from those clients, and cancellation, where a process discards a channel without communicating along it. We provide session fidelity and deadlock-freedom results for this system, from which we then derive a logically justified form of garbage collection.


title: Compacton equations and integrability: the Rosenau-Hyman and Cooper-Shepard-Sodano equations

abstract: We study integrability --in the sense of admitting recursion operators-- of two nonlinear equations which are known to possess compacton solutions: the $K(m,n)$ equation introduced by Rosenau and Hyman \[ D_t(u) + D_x(u^m) + D_x^3(u^n) = 0 \; , \] and the $CSS$ equation introduced by Coooper, Shepard, and Sodano, \[ D_t(u) + u^{l-2}D_x(u) + \alpha p D_x (u^{p-1} u_x^2) + 2\alpha D_x^2(u^p u_x) = 0 \; . \] We obtain a full classification of {\em integrable $K(m,n)$ and $CSS$ equations}; we present their recursion operators, and we prove that all of them are related (via nonlocal transformations) to the Korteweg-de Vries equation. As an application, we construct isochronous hierarchies of equations associated to the integrable cases of $CSS$.


title: Hilbert's 16th problem. I. When differential systems meet variational methods

abstract: We provide an upper bound for the number of limit cycles that planar polynomial differential systems of a given degree may have. The bound turns out to be a polynomial of degree four in the degree of the system. The strategy brings together variational and dynamical system techniques by transforming the task of counting limit cycles into counting critical points for a certain smooth, non-negative functional, through Morse inequalities, for which limit cycles are global minimizers. We thus solve the second part of Hilbert's 16th problem providing a uniform upper bound for the number of limit cycles which only depends on the degree of the polynomial differential system.


title: Event-Based Motion Segmentation by Motion Compensation

abstract: In contrast to traditional cameras, whose pixels have a common exposure time, event-based cameras are novel bio-inspired sensors whose pixels work independently and asynchronously output intensity changes (called "events"), with microsecond resolution. Since events are caused by the apparent motion of objects, event-based cameras sample visual information based on the scene dynamics and are, therefore, a more natural fit than traditional cameras to acquire motion, especially at high speeds, where traditional cameras suffer from motion blur. However, distinguishing between events caused by different moving objects and by the camera's ego-motion is a challenging task. We present the first per-event segmentation method for splitting a scene into independently moving objects. Our method jointly estimates the event-object associations (i.e., segmentation) and the motion parameters of the objects (or the background) by maximization of an objective function, which builds upon recent results on event-based motion-compensation. We provide a thorough evaluation of our method on a public dataset, outperforming the state-of-the-art by as much as 10%. We also show the first quantitative evaluation of a segmentation algorithm for event cameras, yielding around 90% accuracy at 4 pixels relative displacement.


title: Characterization of the Si(Li) detector for Monte Carlo calculations of beta spectra

abstract: A precise model of a Si(Li) detector ORTEC model SLP-06165P-OPT-0.5 was created for beta spectra calculations using the Monte Carlo (MC) code MCNPX. Detector parameters were determined from X-ray radiograms obtained with a film and a Timepix detector. The MC model of the detector was validated by comparison of calculated and experimental full-energy peak efficiencies in the energy range from 5 to 136 keV using a range of point-like photon emitting radionuclide standards. A comparison of measured and calculated beta spectrum of a radionuclide Pm-147 is presented.


title: Challenges in Band Alignment between Semiconducting Materials: A Case of Rutile and Anatase TiO$_2$

abstract: This topical review focuses on the recently active debate on the band alignment between two polymorphs of TiO$_2$, rutile and anatase. A summary is given to the popular methods for measurement and calculation of band alignment between materials. We point out, through examination of recently experimental and theoretical reports, that the outstanding discrepancy in the band alignment between two TiO$_2$ phases is attributed to factors that influence band alignment rather than needs a definite answer of which band alignment is right. According to an important factor, the presence of an interface, a new classification of band alignment is proposed as the coupled and intrinsic band alignments. This classification indeed reveals that the rutile/anatase interface can qualitatively change the type of their band alignment. However, further systematic information of the interface and other factors that influence band alignment will be needed to understand changes in energy bands of materials better. The results obtained from discussion of the band alignment between rutile and anatase may also work for the band alignment between other semiconductors.


title: Heavy quark spin symmetric molecular states from ${\bar D}^{(*)}\Sigma_c^{(*)}$ and other coupled channels in the light of the recent LHCb pentaquarks

abstract: We consider the ${\bar D}^{(*)}\Sigma_c^{(*)}$ states, together with $J/\psi N$ and other coupled channels, and take an interaction consistent with heavy quark spin symmetry, with the dynamical input obtained from an extension of the local hidden gauge approach. By fitting only one parameter to the recent three pentaquark states reported by the LHCb collaboration, we can reproduce the three of them in base to the mass and the width, providing for them the quantum numbers and approximate molecular structure as $1/2^-$ $\bar{D} \Sigma_c$, $1/2^-$ $\bar{D}^* \Sigma_c$, and $3/2^-$ $\bar{D}^* \Sigma_c$, and isospin $I=1/2$. We find another state around 4374 MeV, of $3/2^-$ $\bar{D} \Sigma_c^*$ structure, for which indications appear in the experimental spectrum. Two other near degenerate states of $1/2^-$ $\bar{D}^* \Sigma_c^*$ and $3/2^-$ $\bar{D}^* \Sigma_c^*$ nature are also found around 4520 MeV, which although less clear, are not incompatible with the observed spectrum. In addition, a $5/2^-$ $\bar D^* \Sigma_c^*$ state at the same energy appears, which however does not couple to $J/\psi p$ in $S-$wave, and hence it is not expected to show up in the LHCb experiment.


title: Temporal and Aspectual Entailment

abstract: Inferences regarding "Jane's arrival in London" from predications such as "Jane is going to London" or "Jane has gone to London" depend on tense and aspect of the predications. Tense determines the temporal location of the predication in the past, present or future of the time of utterance. The aspectual auxiliaries on the other hand specify the internal constituency of the event, i.e. whether the event of "going to London" is completed and whether its consequences hold at that time or not. While tense and aspect are among the most important factors for determining natural language inference, there has been very little work to show whether modern NLP models capture these semantic concepts. In this paper we propose a novel entailment dataset and analyse the ability of a range of recently proposed NLP models to perform inference on temporal predications. We show that the models encode a substantial amount of morphosyntactic information relating to tense and aspect, but fail to model inferences that require reasoning with these semantic properties.


title: Feedback-based Fabric Strip Folding

abstract: Accurate manipulation of a deformable body such as a piece of fabric is difficult because of its many degrees of freedom and unobservable properties affecting its dynamics. To alleviate these challenges, we propose the application of feedback-based control to robotic fabric strip folding. The feedback is computed from the low dimensional state extracted from a camera image. We trained the controller using reinforcement learning in simulation which was calibrated to cover the real fabric strip behaviors. The proposed feedback-based folding was experimentally compared to two state-of-the-art folding methods and our method outperformed both of them in terms of accuracy.


title: Spherically confined H$_2^+$: $^2\Sigma_g^+$ and $^2\Sigma_u^+$ states

abstract: The molecular ion H$_2^+$ is studied under strong confinement conditions produced by a spherical barrier centered in the gravity center of the molecule. Results for the potential curves are obtained by diffusion Monte Carlo methods for the ground state (X$^2\Sigma_g^+$) and the first excited state (A$^2\Sigma_u^+$), and reported as functions of the internuclear distance d for different values of the confinement radius. Results show that the compressed state corresponding to both $^2\Sigma_g^+$ and $^2\Sigma_u^+$ present deep minima in their potential curves, due to the increased space for electron wave-functions when the protons are displaced from the barrier surface.


title: Hilbert's 16th problem. II. Pfaffian equations and variational methods

abstract: Starting from a Pfaffian equation in dimension $N$ and focusing on compact solutions for it, we place in perspective the variational method used in [29] to solve Hilbert's 16th problem. In addition to exploring how this viewpoint can help in detecting and finding approximations for limit cycles of planar systems, we recall some of the initial important facts of the full program developed in [29] to motivate that the same proposal could eventually be used in other situations. In particular, we make some initial interesting calculations in dimension $N=3$ that lead to some similar initial conclusions as with the case $N=2$.