title: Spatiotemporal imaging of valence electron motion

abstract: Electron motion on the (sub-)femtosecond time scale constitutes the fastest response in many natural phenomena such as light-induced phase transitions and chemical reactions. Whereas static electron densities in single molecules can be imaged in real-space using scanning tunnelling and atomic force microscopy, probing real-time electron motion inside molecules requires ultrafast laser pulses. Here, we demonstrate an all-optical approach to imaging an ultrafast valence electron wave packet in real-time with a time-resolution of a few femtoseconds. We employ a pump-probe-deflect scheme that allows us to prepare an ultrafast wave packet \textit{via} strong-field ionization and directly image the resulting charge oscillations in the residual ion. This approach extends and overcomes limitations in laser-induced orbital imaging and may enable the real-time imaging of electron dynamics following photoionization such as charge migration and charge transfer processes.


title: Storage of electrical energy: Batteries and Supercapacitors

abstract: In this article we shall discuss the development of electrical storage system. Since the early days of electricity people have tried various methods to store electricity. One of the earliest device was a simple electrostatic capacitor that could store less than a micro Joule of energy. The battery has been the most popular in storing electricity as it has a higher energy density. We will discuss the development of batteries and their working principle. Although capacitors has never been thought of as a practical device for electricity storage, in the recent years there has been tremendous progress in building capacitors with huge capacitance and it may soon be possible to use it as storage device. We shall discuss the technological breakthroug in supercapacitor as a storage device.


title: Folded Graph Signals: Sensing with Unlimited Dynamic Range

abstract: Self-reset analog-to-digital converters (ADCs) are used to sample high dynamic range signals resulting in modulo-operation based folded signal samples. We consider the case where each vertex of a graph (e.g., sensors in a network) is equipped with a self-reset ADC and senses a time series. Graph sampling allows the graph time series to be represented by the signals at a subset of sampled vertices and time instances. We investigate the problem of recovering bandlimited continuous-time graph signals from folded signal samples. We derive sufficient conditions to achieve successful recovery of the graph signal from the folded signal samples, which can be achieved via integer programming. To resolve the scalability issue of integer programming, we propose a sparse optimization recovery method for graph signals satisfying certain technical conditions. Such an approach requires a novel graph sampling scheme that selects vertices with small signal variation. The proposed algorithm exploits the inherent relationship among the graph vertices in both the vertex and time domains to recover the graph signal. Simulations and experiments on images validate the feasibility of our proposed approach.


title: Adaptive-to-model hybrid of tests for regressions

abstract: In model checking for regressions, nonparametric estimation-based tests usually have tractable limiting null distributions and are sensitive to oscillating alternative models, but suffer from the curse of dimensionality. In contrast, empirical process-based tests can, at the fastest possible rate, detect local alternatives distinct from the null model, but is less sensitive to oscillating alternative models and with intractable limiting null distributions. It has long been an issue on how to construct a test that can fully inherit the merits of these two types of tests and avoid the shortcomings. We in this paper propose a generic adaptive-to-model hybrid of moment and conditional moment-based test to achieve this goal. Further, a significant feature of the method is to make nonparametric estimation-based tests, under the alternatives, also share the merits of existing empirical process-based tests. This methodology can be readily applied to other kinds of data and constructing other hybrids. As a by-product in sufficient dimension reduction field, the estimation of residual-related central subspace is used to indicate the underlying models for model adaptation. A systematic study is devoted to showing when alternative models can be indicated and when cannot. This estimation is of its own interest and can be applied to the problems with other kinds of data. Numerical studies are conducted to verify the powerfulness of the proposed test.


title: Coupled Decorated Membrane Resonators with Large Willis Coupling

abstract: We report the experimental studies on an acoustic scatterer consisting of a pair of coupled decorated membrane resonators (DMRs) that exhibits near extreme contrast in reflection asymmetry and strong Willis coupling coefficient with amplitude of 2.5 and polarizability cross term of 1.1 x 10-8 ms2. The design is based on the theoretical analysis using the Greens function formulism we developed earlier. The clean line shapes of the real and the imaginary parts of the Willis coefficient clear show, even by visual inspection, that the Kramers-Kronig relations are satisfied. Theoretical analysis agrees well with the major features of the experimental results.


title: From primordial seed magnetic fields to the galactic dynamo

abstract: The origin and maintenance of coherent magnetic fields in the Universe is reviewed with an emphasis on the possible challenges that arise in their theoretical understanding. We begin with the interesting possibility that magnetic fields originated at some level from the early universe. This could be during inflation, the electroweak or the quark-hadron phase transitions. These mechanisms can give rise to fields which could be strong, but often with much smaller coherence scales than galactic scales. Their subsequent turbulent decay decreases their strength but increases their coherence. We then turn to astrophysical batteries which can generate seed magnetic fields. Here the coherence scale can be large, but the field strength is generally very small. These seed fields need to be further amplified and maintained by a dynamo to explain observed magnetic fields in galaxies. Basic ideas behind both small and large-scale turbulent dynamos are outlined. The small-scale dynamo may help understand the first magnetization of young galaxies, while the large-scale dynamo is important for the generation of fields with scales larger than the stirring scale, as observed in nearby disk galaxies. The current theoretical challenges that turbulent dynamos encounter and their possible resolution are discussed.


title: Algebraic entropy of a class of five-point differential-difference equations

abstract: We compute the algebraic entropy of a class of integrable Volterra-like five-point differential-difference equations recently classified using the generalised symmetry method. We show that, when applicable, the results of the algebraic entropy agrees with the result of the generalised symmetry method, as all the equations in this class have vanishing entropy.


title: Robust Influence Maximization for Hyperparametric Models

abstract: In this paper, we study the problem of robust influence maximization in the independent cascade model under a hyperparametric assumption. In social networks users influence and are influenced by individuals with similar characteristics and as such, they are associated with some features. A recent surging research direction in influence maximization focuses on the case where the edge probabilities on the graph are not arbitrary but are generated as a function of the features of the users and a global hyperparameter. We propose a model where the objective is to maximize the worst-case number of influenced users for any possible value of that hyperparameter. We provide theoretical results showing that proper robust solution in our model is NP-hard and an algorithm that achieves improper robust optimization. We make-use of sampling based techniques and of the renowned multiplicative weight updates algorithm. Additionally, we validate our method empirically and prove that it outperforms the state-of-the-art robust influence maximization techniques.


title: On a variant of multiple zeta values of level two

abstract: We study a variant of multiple zeta values of level 2, which forms a subspace of the space of alternating multiple zeta values. This variant, which is regarded as the `shuffle counterpart' of Hoffman's `odd variant', exhibits nice properties such as duality, shuffle product, parity results, etc., like ordinary multiple zeta values. We also give some conjectures on relations between our values, Hoffman's values, and multiple zeta values.


title: Weighted Bergman spaces induced by doubling weights in the unit ball of $\mathbb{C}^n$

abstract: This paper is devoted to the study of the weighted Bergman space $A_\omega^p $ in the unit ball $\mathbb{B}$ of $\mathbb{C}^n$ with doubling weight $\omega$ satisfying $$\int_r^1\omega(t)dt <C \int_{\frac{1+r}{2}}^1\omega(t)dt ,\,\, 0\leq r<1.$$ The $q-$Carleson measures for $A_\omega^p$ are characterized in terms of a neat geometric condition involving Carleson block. Some equivalent characterizations for $A_\omega^p$ are obtained by using the radial derivative and admissible approach regions. The boundedness and compactness of Volterra integral operator $T_g:A_\omega^p\to A_\omega^q$ are also investigated in this paper with $0<p\leq q<\infty$, where $$T_gf(z)=\int_0^1 f(tz)\Re g(tz)\frac{dt}{t}, ~~\qquad~~~~f\in H(\mathbb{B}), ~~z\in \mathbb{B}. $$


title: On the moduli spaces of commuting elements in the projective unitary groups

abstract: We provide descriptions for the moduli spaces $\text{Rep}(\Gamma, PU(m))$, where $\Gamma$ is any finitely generated abelian group and $PU(m)$ is the group of $m\times m$ projective unitary matrices. As an application we show that for any connected CW-complex $X$ with $\pi_1(X)\cong \mathbf{Z}^n$, the natural map $\pi_0(\text{Rep}(\pi_1(X), PU(m)))\to [X, BPU(m)]$ is injective, hence providing a complete enumeration of the isomorphism classes of flat principal $PU(m)$-bundles over $X$.


title: An application of cohomological invariants

abstract: Let $G$ be a finite group, $k$ be a field and $G\to GL(V_{\rm reg})$ be the regular representation of $G$ over $k$. Then $G$ acts naturally on the rational function field $k(V_{\rm reg})$ by $k$-automorphisms. Define $k(G)$ to be the fixed field $k(V_{\rm reg})^G$. Noether's problem asks whether $k(G)$ is rational (resp. stably rational) over $k$. When $k=\bQ$ and $G$ contains a normal subgroup $N$ with $G/H\simeq C_8$ (the cyclic group of order $8$), Jack Sonn proves that $\bQ(G)$ is not stably rational over $\bQ$, which is a non-abelian extension of a theorem of Endo-Miyata, Voskresenskii, Lenstra and Saltman for the abelian Noether's problem $\bQ(C_8)$. Using the method of cohomological invariants, we are able to generalize Sonn's theorem as follows. Theorem. Let $G$ be a finite group and $N$ $\lhd$ $G$ such that $G/N\simeq C_{2^n}$ with $n\geq 3$. If $k$ is a field satisfying that ${\rm char}\,k=0$ and $k(\zeta_{2^n})/k$ is not a cyclic extension where $\zeta_{2^n}$ is a primitive $2^n$-th root of unity, then $k(G)$ is not stably rational (resp. not retract rational) over $k$. \end{abstract}


title: Stable Central Limit Theorems for Super Ornstein-Uhlenbeck Processes

abstract: In this paper, we study the asymptotic behavior of a supercritical $(\xi,\psi)$-superprocess $(X_t)_{t\geq 0}$ whose underlying spatial motion $\xi$ is an Ornstein-Uhlenbeck process on $\mathbb R^d$ with generator $L = \frac{1}{2}\sigma^2\Delta - b x \cdot \nabla$ where $\sigma, b >0$; and whose branching mechanism $\psi$ satisfies Grey's condition and some perturbation condition which guarantees that, when $z\to 0$, $\psi(z)=-\alpha z + \eta z^{1+\beta} (1+o(1))$ with $\alpha > 0$, $\eta>0$ and $\beta\in (0, 1)$. Some law of large numbers and $(1+\beta)$-stable central limit theorems are established for $(X_t(f) )_{t\geq 0}$, where the function $f$ is assumed to be of polynomial growth. A phase transition arises for the central limit theorems in the sense that the forms of the central limit theorem are different in three different regimes corresponding the branching rate being relatively small, large or critical at a balanced value.


title: Quantum thermal transistor based on the qubit-qutrit coupling

abstract: A quantum thermal transistor is designed by the strong coupling between one qubit and one qutrit which are in contact with three heat baths with different temperatures. The thermal behavior is analyzed based on the master equation by both the numerical and the approximately analytic methods. It is shown that the thermal transistor, as a three-terminal device, allows a weak modulation heat current (at the modulation terminal) to switch on/off and effectively modulate the heat current between the other two terminals. In particular, the weak modulation heat current can induce the strong heat current between the other two terminals with the multiple-region amplification of heat current. Furthermore, the heat currents are quite robust to the temperature (current) fluctuation at the lower-temperature terminal within certain range of temperature, so it can behave as a heat current stabilizer.


title: Limit theorems for record indicators in threshold $F^\alpha$-schemes

abstract: In Nevzorov's $F^\alpha$-scheme, one deals with a sequence of independent random variables whose distribution functions are all powers of a common continuous distribution function. A key property of the $F^\alpha$-scheme is that the record indicators for such a sequence are independent. This allows one to obtain several important limit theorems for the total number of records in the sequence up to time $n\to\infty$. We extend these theorems to a much more general class of sequences of random variables obeying a "threshold $F^\alpha$-scheme" in which the distribution functions of the variables are close to the powers of a common $F$ only in their right tails, above certain non-random non-decreasing threshold levels. Of independent interest is the characterization of the growth rate for extremal processes that we derived in order to be able to verify the conditions of our main theorem. We also establish the asymptotic pair-wise independence of record indicators in a special case of threshold $F^\alpha$-schemes.


title: Theory of the magnon Kerr effect in cavity magnonics

abstract: We develop a theory for the magnon Kerr effect in a cavity magnonics system, consisting of magnons in a small yttrium iron garnet (YIG) sphere strongly coupled to cavity photons, and use it to study the bistability in this hybrid system. To have a complete picture of the bistability phenomenon, we analyze two different cases in driving the cavity magnonics system, i.e., directly pumping the YIG sphere and the cavity, respectively. In both cases, the magnon frequency shifts due to the Kerr effect exhibit a similar bistable behavior but the corresponding critical powers are different. Moreover, we show how the bistability of the system can be demonstrated using the transmission spectrum of the cavity. Our results are valid in a wide parameter regime and generalize the theory of bistability in a cavity magnonics system.


title: Probability Mass Functions for which Sources have the Maximum Minimum Expected Length

abstract: Let $\mathcal{P}_n$ be the set of all probability mass functions (PMFs) $(p_1,p_2,\ldots,p_n)$ that satisfy $p_i>0$ for $1\leq i \leq n$. Define the minimum expected length function $\mathcal{L}_D :\mathcal{P}_n \rightarrow \mathbb{R}$ such that $\mathcal{L}_D (P)$ is the minimum expected length of a prefix code, formed out of an alphabet of size $D$, for the discrete memoryless source having $P$ as its source distribution. It is well-known that the function $\mathcal{L}_D$ attains its maximum value at the uniform distribution. Further, when $n$ is of the form $D^m$, with $m$ being a positive integer, PMFs other than the uniform distribution at which $\mathcal{L}_D$ attains its maximum value are known. However, a complete characterization of all such PMFs at which the minimum expected length function attains its maximum value has not been done so far. This is done in this paper.


title: Two-Hop Walks Indicate PageRank Order

abstract: This paper shows that pairwise PageRank orders emerge from two-hop walks. The main tool used here refers to a specially designed sign-mirror function and a parameter curve, whose low-order derivative information implies pairwise PageRank orders with high probability. We study the pairwise correct rate by placing the Google matrix $\textbf{G}$ in a probabilistic framework, where $\textbf{G}$ may be equipped with different random ensembles for model-generated or real-world networks with sparse, small-world, scale-free features, the proof of which is mixed by mathematical and numerical evidence. We believe that the underlying spectral distribution of aforementioned networks is responsible for the high pairwise correct rate. Moreover, the perspective of this paper naturally leads to an $O(1)$ algorithm for any single pairwise PageRank comparison if assuming both $\textbf{A}=\textbf{G}-\textbf{I}_n$, where $\textbf{I}_n$ denotes the identity matrix of order $n$, and $\textbf{A}^2$ are ready on hand (e.g., constructed offline in an incremental manner), based on which it is easy to extract the top $k$ list in $O(kn)$, thus making it possible for PageRank algorithm to deal with super large-scale datasets in real time.


title: Hierarchy Denoising Recursive Autoencoders for 3D Scene Layout Prediction

abstract: Indoor scenes exhibit rich hierarchical structure in 3D object layouts. Many tasks in 3D scene understanding can benefit from reasoning jointly about the hierarchical context of a scene, and the identities of objects. We present a variational denoising recursive autoencoder (VDRAE) that generates and iteratively refines a hierarchical representation of 3D object layouts, interleaving bottom-up encoding for context aggregation and top-down decoding for propagation. We train our VDRAE on large-scale 3D scene datasets to predict both instance-level segmentations and a 3D object detections from an over-segmentation of an input point cloud. We show that our VDRAE improves object detection performance on real-world 3D point cloud datasets compared to baselines from prior work.


title: Exponential Integrators for Stochastic Maxwell's Equations Driven by It\^o Noise

abstract: This article presents explicit exponential integrators for stochastic Maxwell's equations driven by both multiplicative and additive noises. By utilizing the regularity estimate of the mild solution, we first prove that the strong order of the numerical approximation is $\frac 12$ for general multiplicative noise. Combing a proper decomposition with the stochastic Fubini's theorem, the strong order of the proposed scheme is shown to be $1$ for additive noise. Moreover, for linear stochastic Maxwell's equation with additive noise, the proposed time integrator is shown to preserve exactly the symplectic structure, the evolution of the energy as well as the evolution of the divergence in the sense of expectation. Several numerical experiments are presented in order to verify our theoretical findings.


title: Machine Learning Based Prediction and Classification of Computational Jobs in Cloud Computing Centers

abstract: With the rapid growth of the data volume and the fast increasing of the computational model complexity in the scenario of cloud computing, it becomes an important topic that how to handle users' requests by scheduling computational jobs and assigning the resources in data center. In order to have a better perception of the computing jobs and their requests of resources, we analyze its characteristics and focus on the prediction and classification of the computing jobs with some machine learning approaches. Specifically, we apply LSTM neural network to predict the arrival of the jobs and the aggregated requests for computing resources. Then we evaluate it on Google Cluster dataset and it shows that the accuracy has been improved compared to the current existing methods. Additionally, to have a better understanding of the computing jobs, we use an unsupervised hierarchical clustering algorithm, BIRCH, to make classification and get some interpretability of our results in the computing centers.


title: SAFECHAIN: Securing Trigger-Action Programming from Attack Chains (Extended Technical Report)

abstract: The proliferation of Internet of Things (IoT) is reshaping our lifestyle. With IoT sensors and devices communicating with each other via the Internet, people can customize automation rules to meet their needs. Unless carefully defined, however, such rules can easily become points of security failure as the number of devices and complexity of rules increase. Device owners may end up unintentionally providing access or revealing private information to unauthorized entities due to complex chain reactions among devices. Prior work on trigger-action programming either focuses on conflict resolution or usability issues, or fails to accurately and efficiently detect such attack chains. This paper explores security vulnerabilities when users have the freedom to customize automation rules using trigger-action programming. We define two broad classes of attack--privilege escalation and privacy leakage--and present a practical model-checking-based system called SAFECHAIN that detects hidden attack chains exploiting the combination of rules. Built upon existing model-checking techniques, SAFECHAIN identifies attack chains by modeling the IoT ecosystem as a Finite State Machine. To improve practicability, SAFECHAIN avoids the need to accurately model an environment by frequently re-checking the automation rules given the current states, and employs rule-aware optimizations to further reduce overhead. Our comparative analysis shows that SAFECHAIN can efficiently and accurately identify attack chains, and our prototype implementation of SAFECHAIN can verify 100 rules in less than one second with no false positives.


title: RadegastXDB - Prototype of Native XML Database Management System: Technical Report

abstract: A lot of advances in the processing of XML data have been proposed in last two decades. There were many approaches focused on the efficient processing of twig pattern queries (TPQ). However, including the TPQ into an XQuery compiler is not a straightforward task and current XML DBMSs process XQueries without any TPQ detection. In this paper, we demonstrate our prototype of a native XML DBMS called RadegastXDB that uses a TPQ detection to accelerate structural XQueries. Such a detection allows us to utilize state-of-the-art TPQ processing algorithms. Our experiments show that, for the structural queries, these algorithms and state-of-the-art XML indexing techniques make our prototype faster than all of the current XML DBMSs, especially for large data collections. We also show that using the same techniques is also efficient for the processing of queries with value predicates.


title: Mutual Clustering on Comparative Texts via Heterogeneous Information Networks

abstract: Currently, many intelligence systems contain the texts from multi-sources, e.g., bulletin board system (BBS) posts, tweets and news. These texts can be ``comparative'' since they may be semantically correlated and thus provide us with different perspectives toward the same topics or events. To better organize the multi-sourced texts and obtain more comprehensive knowledge, we propose to study the novel problem of Mutual Clustering on Comparative Texts (MCCT), which aims to cluster the comparative texts simultaneously and collaboratively. The MCCT problem is difficult to address because 1) comparative texts usually present different data formats and structures and thus they are hard to organize, and 2) there lacks an effective method to connect the semantically correlated comparative texts to facilitate clustering them in an unified way. To this aim, in this paper we propose a Heterogeneous Information Network-based Text clustering framework HINT. HINT first models multi-sourced texts (e.g. news and tweets) as heterogeneous information networks by introducing the shared ``anchor texts'' to connect the comparative texts. Next, two similarity matrices based on HINT as well as a transition matrix for cross-text-source knowledge transfer are constructed. Comparative texts clustering are then conducted by utilizing the constructed matrices. Finally, a mutual clustering algorithm is also proposed to further unify the separate clustering results of the comparative texts by introducing a clustering consistency constraint. We conduct extensive experimental on three tweets-news datasets, and the results demonstrate the effectiveness and robustness of the proposed method in addressing the MCCT problem.


title: A tractable ellipsoidal approximation for voltage regulation problems

abstract: We present a machine learning approach to the solution of chance constrained optimizations in the context of voltage regulation problems in power system operation. The novelty of our approach resides in approximating the feasible region of uncertainty with an ellipsoid. We formulate this problem using a learning model similar to Support Vector Machines (SVM) and propose a sampling algorithm that efficiently trains the model. We demonstrate our approach on a voltage regulation problem using standard IEEE distribution test feeders.


title: Thermodynamics and weak cosmic censorship conjecture in (2+1)-dimensional regular black hole with nonlinear electrodynamics sources

abstract: We study the dynamical behavior of spinor particles, and get the energy-momentum relation of charged particles by solving the Dirac equation. Based on the energy-momentum relation, we investigate the laws of thermodynamics and the weak cosmic censorship conjecture for the (2+1)-dimensional regular black hole with nonlinear electrodynamics sources in the normal phase space and the extended phase space. Our results show that the first law of thermodynamics as well as the weak cosmic censorship conjecture are valid in both the phase spaces. However, the second law of thermodynamics is violated in the extended phase space, implying that the first law and weak cosmic censorship conjecture do not depend on the phase space while the second law depends. In addition, in the extended phase space, we find the configurations of the extremal and near-extremal black holes will not be changed for the final states and initial states are the same.


title: Lagrangian Formulation of an Infinite Derivative Real Scalar Field Theory in the Framework of the Covariant Kempf-Mangano Algebra in a $(D+1)$-dimensional Minkowski Space-time

abstract: In 2017, G. P. de Brito and co-workers suggested a covariant generalization of the Kempf-Mangano algebra in a $(D+1)$-dimensional Minkowski space-time [A. Kempf and G. Mangano, Phys. Rev. D \textbf{55}, 7909 (1997); G. P. de Brito, P. I. C. Caneda, Y. M. P. Gomes, J. T. Guaitolini Junior, and V. Nikoofard, Adv. High Energy Phys. \textbf{2017}, 4768341 (2017)]. It is shown that reformulation of a real scalar field theory from the viewpoint of the covariant Kempf-Mangano algebra leads to an infinite derivative Klein-Gordon wave equation which describes two bosonic particles in the free space (a usual particle and a ghostlike particle). We show that in the low-energy (large-distance) limit our infinite derivative scalar field theory behaves like a Pais-Uhlenbeck oscillator for a spatially homogeneous field configuration $\phi(t,\vec{\textbf{x}})=\phi(t)$. Our calculations show that there is a characteristic length scale $\delta$ in our model whose upper limit in a four-dimensional Minkowski space-time is close to the nuclear scalar, i.e., $\delta_{max}\sim \delta_{nuclear\ scale}\sim 10^{-15}\, m$. Finally, we show that there is an equivalence between a non-local real scalar field theory with a non-local form factor ${\cal K}(x-y)= -\frac{\square_x}{(1-\frac{\delta^2}{2}\square_x)^2} \ \delta^{(D+1)}(x-y)$ and an infinite derivative real scalar field theory from the viewpoint of the covariant Kempf-Mangano algebra.


title: Some congruences related to a congruence of Van Hamme

abstract: We establish some supercongruences related to a supercongruence of Van Hamme, such as \begin{align*} \sum_{k=0}^{(p+1)/2} (-1)^k (4k-1)\frac{(-\frac{1}{2})_k^3}{k!^3} &\equiv p(-1)^{(p+1)/2}+p^3(2-E_{p-3})\pmod{p^{4}},\\ \sum_{k=0}^{(p+1)/2} (4k-1)^5 \frac{(-\frac{1}{2})_k^4}{k!^4} &\equiv 16p\pmod{p^{4}}, \end{align*} where $p$ is an odd prime and $E_{p-3}$ is the $(p-3)$-th Euler number. Our proof uses some congruences of Z.-W. Sun, the Wilf--Zeilberger method, Whipple's $_7F_6$ transformation, and the software package {\tt Sigma} developed by Schneider. We also put forward two related conjectures.


title: A 5deg x 5deg deep HI survey of the M81 group

abstract: A 25 $\rm deg^2$ region, including the M81 complex (M81, M82, NGC 3077), NGC 2976 and IC2574, was mapped during ~3000 hours with the DRAO synthesis telescope. With a physical resolution of ~1 kpc, these observations allow us to probe a large region down to column density levels of ~$\rm 1\times10^{18}\, cm^{-2}$ over 16 $\rm km\, s^{-1}$, mapping the extent of the HI arm connecting the system and NGC 2976, and resolving the HI clouds adjacent to the arm. The observations also reveal a few clouds located between the system and IC 2574, probably tidally stripped from a past interaction between the two systems. Given the regular velocity distribution in the HI envelope of the system, we attempt and derive an idealised large-scale rotation curve of the system. We observe a flat trend for the rotation velocity of the overall system from 20 kpc out to 80 kpc, well beyond the outskirts of the M81 disk, although with asymmetries like a wiggle at the vicinity of M82. This supports the assumption that intergalactic gas and galaxies in the system participate to a large-scale ordered rotation motion which is dominated by M81. Also, our HI analysis of the group further supports the hypothesis that the galaxies forming the system moved closer from afar, in agreement with numerical simulations.


title: Interpreting and Understanding Graph Convolutional Neural Network using Gradient-based Attribution Method

abstract: To solve the problem that convolutional neural networks (CNNs) are difficult to process non-grid type relational data like graphs, Kipf et al. proposed a graph convolutional neural network (GCN). The core idea of the GCN is to perform two-fold informational fusion for each node in a given graph during each iteration: the fusion of graph structure information and the fusion of node feature dimensions. Because of the characteristic of the combinatorial generalizations, GCN has been widely used in the fields of scene semantic relationship analysis, natural language processing and few-shot learning etc. However, due to its two-fold informational fusion involves mathematical irreversible calculations, it is hard to explain the decision reason for the prediction of the each node classification. Unfortunately, most of the existing attribution analysis methods concentrate on the models like CNNs, which are utilized to process grid-like data. It is difficult to apply those analysis methods to the GCN directly. It is because compared with the independence among CNNs input data, there is correlation between the GCN input data. This resulting in the existing attribution analysis methods can only obtain the partial model contribution from the central node features to the final decision of the GCN, but ignores the other model contribution from central node features and its neighbor nodes features to that decision. To this end, we propose a gradient attribution analysis method for the GCN called Node Attribution Method (NAM), which can get the model contribution from not only the central node but also its neighbor nodes to the GCN output. We also propose the Node Importance Visualization (NIV) method to visualize the central node and its neighbor nodes based on the value of the contribution...


title: Spin-wave thermodynamics of square-lattice antiferromagnets revisited

abstract: Modifying the conventional spin-wave theory in a novel manner based on the Wick decomposition, we present an elaborate thermodynamics of square-lattice quantum antiferromagnets. Our scheme is no longer accompanied by the notorious problem of an artificial transition to the paramagnetic state inherent in modified spin waves in the Hartree-Fock approximation. In the cases of spin $\frac{1}{2}$ and spin $1$, various modified-spin-wave findings for the internal energy, specific heat, static uniform susceptibility, and dynamic structure factor are not only numerically compared with quantum Monte Carlo calculations and Lanczos exact diagonalizations but also analytically expanded into low-temperature series. Modified spin waves interacting via the Wick decomposition provide reliable thermodynamics over the whole temperature range of absolute zero to infinity. Adding higher-order spin couplings such as ring exchange interaction to the naivest Heisenberg Hamiltonian, we precisely reproduce inelastic-neutron-scattering measurements of the high-temperature-superconductor-parent antiferromagnet $\mathrm{La}_2\mathrm{CuO}_4$. Modifying Dyson-Maleev bosons combined with auxiliary pseudofermions also yields thermodynamics of square-lattice antiferromagnets free from thermal breakdown, but it is less precise unless temperature is sufficiently low. Applying all the schemes to layered antiferromagnets as well, we discuss the advantages and disadvantages of modified spin-wave and combined boson-pseudofermion representations.


title: Instability of subdiffusive spin dynamics in strongly disordered Hubbard chain

abstract: We study spin transport in a Hubbard chain with strong, random, on--site potential and with spin--dependent hopping integrals, $t_{\sigma}$. For the the SU(2) symmetric case, $t_{\uparrow} =t_{\downarrow}$, such model exhibits only partial many-body localization with localized charge and (delocalized) subdiffusive spin excitations. Here, we demonstrate that breaking the SU(2) symmetry by even weak spin--asymmetry, $t_{\uparrow} \ne t_{\downarrow}$, localizes spins and restores full many-body localization. To this end we derive an effective spin model, where the spin subdiffusion is shown to be destroyed by arbitrarily weak $t_{\uparrow} \ne t_{\downarrow}$. Instability of the spin subdiffusion originates from an interplay between random effective fields and singularly distributed random exchange interactions.


title: Logics of variable inclusion and the lattice of consequence relations

abstract: In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position into the lattice of consequence relations over the language of L.


title: Logic Rules Powered Knowledge Graph Embedding

abstract: Large scale knowledge graph embedding has attracted much attention from both academia and industry in the field of Artificial Intelligence. However, most existing methods concentrate solely on fact triples contained in the given knowledge graph. Inspired by the fact that logic rules can provide a flexible and declarative language for expressing rich background knowledge, it is natural to integrate logic rules into knowledge graph embedding, to transfer human knowledge to entity and relation embedding, and strengthen the learning process. In this paper, we propose a novel logic rule-enhanced method which can be easily integrated with any translation based knowledge graph embedding model, such as TransE . We first introduce a method to automatically mine the logic rules and corresponding confidences from the triples. And then, to put both triples and mined logic rules within the same semantic space, all triples in the knowledge graph are represented as first-order logic. Finally, we define several operations on the first-order logic and minimize a global loss over both of the mined logic rules and the transformed first-order logics. We conduct extensive experiments for link prediction and triple classification on three datasets: WN18, FB166, and FB15K. Experiments show that the rule-enhanced method can significantly improve the performance of several baselines. The highlight of our model is that the filtered Hits@1, which is a pivotal evaluation in the knowledge inference task, has a significant improvement (up to 700% improvement).


title: Timed Systems through the Lens of Logic

abstract: In this paper, we analyze timed systems with data structures, using a rich interplay of logic and properties of graphs. We start by describing behaviors of timed systems using graphs with timing constraints. Such a graph is called realizable if we can assign time-stamps to nodes or events so that they are consistent with the timing constraints. The logical definability of several graph properties has been a challenging problem, and we show, using a highly non-trivial argument, that the realizability property for collections of graphs with strict timing constraints is logically definable in a class of propositional dynamic logic (EQ-ICPDL), which is strictly contained in MSO. Using this result, we propose a novel, algorithmically efficient and uniform proof technique for the analysis of timed systems enriched with auxiliary data structures, like stacks and queues. Our technique unravels new results (for emptiness checking as well as model checking) for timed systems with richer features than considered so far, while also recovering existing results.


title: Chiral domain walls of Mn$_3$Sn and their memory

abstract: Magnetic domain walls are topological solitons whose internal structure is set by competing energies which sculpt them. In common ferromagnets, domain walls are known to be of either Bloch or N\'eel types. Little is established in the case of Mn$_3$Sn, a triangular antiferromagnet with a large room-temperature anomalous Hall effect, where domain nucleation is triggered by a well-defined threshold magnetic field. Here, we show that the domain walls of this system generate an additional contribution to the Hall conductivity tensor and a transverse magnetization. The former is an electric field lying in the same plane with the magnetic field and electric current and therefore a planar Hall effect. We demonstrate that in-plane rotation of spins inside the domain wall would explain both observations and the clockwise or anticlockwise chirality of the walls depends on the history of the field orientation and can be controlled.


title: A New Approach for Topic Detection using Adaptive Neural Networks

abstract: Topic detection becomes more important due to the increase of information electronically available and the necessity to process and filter it. In this context our master's thesis work was carried out, where we proposed to present a new approach to the detection of topics called ClusART. Thus, we proposed a three-phase approach, namely : a first phase during which lexical preprocessing was conducted. A second phase during which the construction and generation of vectors representing the documents was carried out. A third phase which is itself composed of two steps. In the first step we used the FuzzyART algorithm for the training phase. In the second step we used a classifier using Paragraph Vector for the test phase. The comparative study of our approach on the 20 Newsgroups dataset showed that our approach is able to detect almost relevant topics.


title: Nilpotent Decomposition of Solvable Lie Algebras

abstract: Semisimple Lie algebras have been completely classified by Cartan and Killing. The Levi theorem states that every finite dimensional Lie algebra is isomorphic to a semidirect sum of its largest solvable ideal and a semisimple Lie algebra. These focus the classification of solvable Lie algebras as one of the main challenges of Lie algebra research. One approach towards this task is to take a class of nilpotent Lie algebras and construct all extensions of these algebras to solvable ones. In this paper, we propose another approach, i.e., to decompose a solvable nonnilpotent Lie algebra to two nilpotent Lie algebras which are called the left and right nilpotent algebras of the solvable algebra. The right nilpotent algebra is the smallest ideal of the lower central series of the solvable algebra, while the left nilpotent algebra is the factor algebra of the solvable algebra and its right nilpotent algebra. We show that the solvable algebras are decomposable if its left nilpotent algebra is an Abelian algebra of dimension higher than one and its right algebra is an Abelian algebra of dimension one. We further show that all the solvable algebras are isomorphic if their left nilpotent algebras are Heisenberg algebras of fixed dimension and their right algebras are Abelian algebras of dimension one.


title: Partial Order Pruning: for Best Speed/Accuracy Trade-off in Neural Architecture Search

abstract: Achieving good speed and accuracy trade-off on a target platform is very important in deploying deep neural networks in real world scenarios. However, most existing automatic architecture search approaches only concentrate on high performance. In this work, we propose an algorithm that can offer better speed/accuracy trade-off of searched networks, which is termed "Partial Order Pruning". It prunes the architecture search space with a partial order assumption to automatically search for the architectures with the best speed and accuracy trade-off. Our algorithm explicitly takes profile information about the inference speed on the target platform into consideration. With the proposed algorithm, we present several Dongfeng (DF) networks that provide high accuracy and fast inference speed on various application GPU platforms. By further searching decoder architectures, our DF-Seg real-time segmentation networks yield state-of-the-art speed/accuracy trade-off on both the target embedded device and the high-end GPU.


title: Relaxations of perturbations of spacetimes in general relativity coupled to nonlinear electrodynamics

abstract: Three well known exact regular solutions of general relativity (GR) coupled to nonlinear electrodynamics (NED), namely the Maxwellian, Bardeen and Hayward regular spacetimes, which can describe either a regular black hole or a geometry without horizons, have been considered. Relaxation times for the scalar, electromagnetic (EM) and gravitational perturbations of black holes (BHs) and no-horizon spacetimes have been estimated in comparison with the ones of the Schwarzschild and Reissner-Nordstr\"{o}m (RN) spacetimes. It has been shown that the considered geometries in GR coupled to the NED have never vanishing circular photon orbits and on account of this fact these spacetimes always oscillate the EM perturbations with quasinormal frequencies (QNFs). Moreover we have shown that the EM perturbations in the eikonal regime can be a powerful tool to confirm that (i) the light rays do not follow null geodesics in the NED by the relaxation rates; (ii) if the underlying solution has a correct weak field limit to the Maxwell electrodynamics (LED) by the angular velocity of the circular photon orbit.


title: Toric geometry of path signature varieties

abstract: In stochastic analysis, a standard method to study a path is to work with its signature. This is a sequence of tensors of different order that encode information of the path in a compact form. When the path varies, such signatures parametrize an algebraic variety in the tensor space. The study of these signature varieties builds a bridge between algebraic geometry and stochastics, and allows a fruitful exchange of techniques, ideas, conjectures and solutions. In this paper we study the signature varieties of two very different classes of paths. The class of rough paths is a natural extension of the class of piecewise smooth paths. It plays a central role in stochastics, and its signature variety is toric. The class of axis-parallel paths has a peculiar combinatoric flavour, and we prove that it is toric in many cases.


title: Dry transfer method for suspended graphene on lift-off-resist: simple ballistic devices with Fabry-P\'{e}rot interference

abstract: We demonstrate a fabrication scheme for clean suspended structures using chemical-vapor-deposition-grown graphene and a dry transfer method on lift-off-resist-coated substrates to facilitate suspended graphene nanoelectronic devices for technology applications. It encompasses the demands for scalable fabrication as well as for ultra-fast response due to weak coupling to environment. The fabricated devices exhibited initially a weak field-effect response with substantial positive ($p$) doping which transformed into weak negative ($n$) doping upon current annealing at the temperature of 4 Kelvin. With increased annealing current, $n$-doping gradually decreased while the Dirac peak position approached zero in gate voltage. An ultra-low residual charge density of $9\times10^8 \mathrm{ \ cm^{-2}}$ and a mobility of $1.9 \times 10^5 \mathrm{\ cm^2/Vs}$ were observed. Our samples display clear Fabry-P\'{e}rot (FP) conductance oscillation which indicates ballistic electron transport. The spacing of the FP oscillations are found to depend on the charge density in a manner that agrees with theoretical modeling based on Klein tunneling of Dirac particles. The ultra-low residual charge, the FP oscillations with density dependent period, and the high mobility prove excellent quality of our suspended graphene devices. Owing to its simplicity, scalability and robustness, this fabrication scheme enhances possibilities for production of suspended, high-quality, two-dimensional-material structures for novel electronic applications.


title: An hyperbolic system of P.D.E. relevant in general relativity

abstract: Assuming as starting point the validity of the Einstein-Rosen metric, we study the hyperbolic system of P.D.E. to which the Einstein's field's equations can be reduced. We prove using the implicit function theorem in Banach spaces, the existence and uniqueness of gravitational waves of small amplitude. A class of solutions, not necessarily small is also constructed. In the last Section a theorem of existence and uniqueness is given for the corresponding stationary problem.


title: Colours of the flickering source of Mira

abstract: We report photometric observations in Johnson UBV bands of the short term variability of Mira. The amplitude detected is 0.16 mag in B band. Adopting interstellar extinction E(B-V)=0, we find for the flickering source colour B-V=1.3, temperature T=3700 K, and radius R=0.77 Rsun. The colour of the flickering source is considerably redder than the average B-V colour of the cataclysmic variables.


title: Performance evaluation of a production line operated under an echelon buffer policy

abstract: We consider a production line consisting of several machines in series separated by intermediate finite-capacity buffers. The line operates under an "echelon buffer" (EB) policy according to which each machine can store the parts that it produces in any of its downstream buffers if the next machine is occupied. If the capacities of all but the last buffer are zero, the EB policy is equivalent to CONWIP. To evaluate the performance of the line under the EB policy, we model it as a queueing network, and we develop a method that decomposes this network into as many nested segments as there are buffers and approximates each segment with a two-machine subsystem that can be analyzed in isolation. For the case where the machines have geometrically distributed processing times, we model each subsystem as a two-dimensional Markov chain that can be solved numerically. The parameters of the subsystems are determined by relationships among the flows of parts through the echelon buffers in the original system. An iterative algorithm is developed to solve these relationships. We use this method to evaluate the performance of several instances of 5- and 10-machine lines including cases where the EB policy is equivalent to CONWIP. Our numerical results show that this method is highly accurate and computationally efficient. We also compare the performance of the EB policy against the performance of the traditional "installation buffer" policy according to which each machine can store the parts that it produces only in its immediate downstream buffer if the next machine is occupied.


title: Orthogonal Estimation of Wasserstein Distances

abstract: Wasserstein distances are increasingly used in a wide variety of applications in machine learning. Sliced Wasserstein distances form an important subclass which may be estimated efficiently through one-dimensional sorting operations. In this paper, we propose a new variant of sliced Wasserstein distance, study the use of orthogonal coupling in Monte Carlo estimation of Wasserstein distances and draw connections with stratified sampling, and evaluate our approaches experimentally in a range of large-scale experiments in generative modelling and reinforcement learning.


title: Combining 3D Morphable Models: A Large scale Face-and-Head Model

abstract: Three-dimensional Morphable Models (3DMMs) are powerful statistical tools for representing the 3D surfaces of an object class. In this context, we identify an interesting question that has previously not received research attention: is it possible to combine two or more 3DMMs that (a) are built using different templates that perhaps only partly overlap, (b) have different representation capabilities and (c) are built from different datasets that may not be publicly-available? In answering this question, we make two contributions. First, we propose two methods for solving this problem: i. use a regressor to complete missing parts of one model using the other, ii. use the Gaussian Process framework to blend covariance matrices from multiple models. Second, as an example application of our approach, we build a new face-and-head shape model that combines the variability and facial detail of the LSFM with the full head modelling of the LYHM. The resulting combined shape model achieves state-of-the-art performance and outperforms existing head models by a large margin. Finally, as an application experiment, we reconstruct full head representations from single, unconstrained images by utilizing our proposed large-scale model in conjunction with the FaceWarehouse blendshapes for handling expressions.


title: Chemical Abundances Of Open Clusters From High-Resolution Infrared Spectra. I. NGC 6940

abstract: We present near-infrared spectroscopic analysis of 12 red giant members of the Galactic open cluster NGC 6940. High-resolution (R$\simeq$45000) and high signal-to-noise ratio (S/N > 100) near-infrared H and K band spectra were gathered with the Immersion Grating Infrared Spectrograph (IGRINS) on the 2.7m Smith Telescope at McDonald Observatory. We obtained abundances of H-burning (C, N, O), ${\alpha}$ (Mg, Si, S, Ca), light odd-Z (Na, Al, P, K), Fe-group (Sc, Ti, Cr, Fe, Co, Ni) and neutron-capture (Ce, Nd, Yb) elements. We report the abundances of S, P, K, Ce, and Yb in NGC 6940 for the first time. Many OH and CN features in the H band were used to obtain O and N abundances. C abundances were measured from four different features: CO molecular lines in the K band, high excitation C I lines present in both near-infrared and optical, CH and $C_2$ bands in the optical region. We have also determined $^{12}C/^{13}C$ ratios from the R-branch band heads of first overtone (2-0) and (3-1) $^{12}CO$ (2-0) $^{13}CO$ lines near 23440 $\overset{\lower.5em\circ}{\mathrm{A}}$ and (3-1) $^{13}CO$ lines at about 23730 $\overset{\lower.5em\circ}{\mathrm{A}}$. We have also investigated the HF feature at 23358.3 $\overset{\lower.5em\circ}{\mathrm{A}}$, finding solar fluorine abundances without ruling out a slight enhancement. For some elements (such as the ${\alpha}$ group), IGRINS data yield more internally self-consistent abundances. We also revisited the CMD of NGC 6940 by determining the most probable cluster members using Gaia DR2. Finally, we applied Victoria isochrones and MESA models in order to refine our estimates of the evolutionary stages of our targets.


title: Strengthened Information-theoretic Bounds on the Generalization Error

abstract: The following problem is considered: given a joint distribution $P_{XY}$ and an event $E$, bound $P_{XY}(E)$ in terms of $P_XP_Y(E)$ (where $P_XP_Y$ is the product of the marginals of $P_{XY}$) and a measure of dependence of $X$ and $Y$. Such bounds have direct applications in the analysis of the generalization error of learning algorithms, where $E$ represents a large error event and the measure of dependence controls the degree of overfitting. Herein, bounds are demonstrated using several information-theoretic metrics, in particular: mutual information, lautum information, maximal leakage, and $J_\infty$. The mutual information bound can outperform comparable bounds in the literature by an arbitrarily large factor.


title: Analytical Description of a Luminescent Solar Concentrator Device

abstract: An analytical solution for the optical efficiency of a luminescent solar concentrator is presented. Due to a large number of input parameters and their complex effect on the device efficiency numerical simulations have been previously used for this purpose. The formulas, provided here, derived using a probabilistic approach, significantly reduce the complexity of the problem. The equations were validated by simulations and the obtained explicit expressions provide a clear common ground for the theoretical description of such devices. Implementation by a computer algebra program yields instant results for any set of input parameters. It allows a higher level of analysis, where an inverse task of finding parameters for a given efficiency can be readily solved.


title: Nonexistence of locally but not globally supersymmetric orbifolds

abstract: Motivated by the smallness of the cosmological constant we investigate whether it is possible to have vanishing one-loop heterotic string partition functions for six-dimensional non-supersymmetric toroidal orbifolds. A straightforward way to realize this presents itself, when each orbifold sector separately preserves some Killing spinors, but none of them survives in all sectors combined. By applying some representation theory to the abstract finite point groups underlying toroidal orbifolds it turns out, that this is never possible. This leads to a nonexistence proof of locally but not globally supersymmetric orbifolds.


title: Controlling Time-Variant Virtual Inertia from Storage by Dynamic Programming and PROPT

abstract: The integration of renewables gradually replaces the traditional power plants, and this makes that the rotational inertia provided by the power plants is decreasing with time. Virtual inertia emulated by power electronic devices is becoming a promising way to stabilize the frequency of power system when a disturbance happens. And how to control virtual inertia to achieve desired performance is an important question to be answered. In this work, authors formulate an optimal control problem to describe the behaviour of controlling the time-variant inertia from storage, and structure preserving model is utilized to describe the dynamics of system, where frequencies of all buses are preserved. Also, practical constraints such as frequency contraints for buses, power/energy constraints for storage are incorporated in the optimal control problem. To solve this optimal control problem, dynamic programming (DP) and PROPT MATLAB Optimal Control Software are employed to obtain global optimal solution (virtual inertia trajectory). The simulation results show the correctness and effectiveness of our problem formulation and solving method.


title: Searching for g modes: Part II. Unconfirmed g-mode detection in the power spectrum of the time series of round-trip travel time

abstract: The recent claimed detection of g modes was obtained from the analysis of the power spectrum of the time series of round-trip travel time of p modes. The goal of this paper is to reproduce these results on which the claims are based for confirming or invalidating the detection of g modes with the method used to make the claims. We computed the time series of round-trip travel time using the procedure given in Fossat et al. (2017), and used different variations of the times series for comparison. We used the recently calibrated GOLF data (published in Paper I) with different sampling, different photomultipliers, different length of data for reproducing the analysis. We also correlated the power spectrum with an asymptotic model of g-mode frequencies in a similar manner to Fossat and Schmider (2018). We devised a scheme for optimising the correlation both for pure noise and for the GOLF data. We confirm the analysis performed in Fossat et al. (2017) but draw different conclusions. Their claims of detection of g modes cannot be confirmed when changing parameters such as sampling interval, length of time series, or photomultipliers. Other instrument such as GONG and BiSON do not confirm their detection. We also confirm the analysis performed in Fossat and Schmider (2018), but again draw different conclusions. For GOLF, the correlation of the power spectrum with the asymptotic model of g-mode frequencies for $l=1$ and $l=2$ show a high correlation at lag=0 and at lag corresponding to the rotational splitting $\nu_l$, but the same occurs for pure noise due to the large number of peaks present in the model. In addition, other very different parameters defining the asymptotic model also provide a high correlation at these lags. We conclude that the detection performed in Fossat and Schmider (2018) is an artefact of the methodology.


title: A Characterization of the Finiteness of Perpetual Integrals of Levy Processes

abstract: We derive a criterium for the almost sure finiteness of perpetual integrals of \LL processes for a class of real functions including all continuous functions and for general one-dimensional L\'evy processes that drifts to plus infinity. This generalizes previous work of D\"oring and Kyprianou, who considered L\'evy processes having a local time, leaving the general case as an open problem. It turns out, that the criterium in the general situation simplifies significantly in the situation, where the process has a local time, but we also demonstrate that in general our criterium can not be reduced. This answers an open problem posed in \cite{doring}.


title: SSN: Learning Sparse Switchable Normalization via SparsestMax

abstract: Normalization methods improve both optimization and generalization of ConvNets. To further boost performance, the recently-proposed switchable normalization (SN) provides a new perspective for deep learning: it learns to select different normalizers for different convolution layers of a ConvNet. However, SN uses softmax function to learn importance ratios to combine normalizers, leading to redundant computations compared to a single normalizer. This work addresses this issue by presenting Sparse Switchable Normalization (SSN) where the importance ratios are constrained to be sparse. Unlike $\ell_1$ and $\ell_0$ constraints that impose difficulties in optimization, we turn this constrained optimization problem into feed-forward computation by proposing SparsestMax, which is a sparse version of softmax. SSN has several appealing properties. (1) It inherits all benefits from SN such as applicability in various tasks and robustness to a wide range of batch sizes. (2) It is guaranteed to select only one normalizer for each normalization layer, avoiding redundant computations. (3) SSN can be transferred to various tasks in an end-to-end manner. Extensive experiments show that SSN outperforms its counterparts on various challenging benchmarks such as ImageNet, Cityscapes, ADE20K, and Kinetics.


title: Conformal embeddings in affine vertex superalgebras

abstract: This paper is a natural continuation of our previous work on conformal embeddings of vertex algebras [6], [7], [8]. Here we consider conformal embeddings in simple affine vertex superalgebra $V_k(\mathfrak g)$ where $\mathfrak g=\mathfrak g_{\bar 0}\oplus \mathfrak g_{\bar 1}$ is a basic classical simple Lie superalgebras. Let $\mathcal V_k (\mathfrak g_{\bar 0})$ be the subalgebra of $V_k(\mathfrak g)$ generated by $\mathfrak g_{\bar 0}$. We first classify all levels $k$ for which the embedding $\mathcal V_k (\mathfrak g_{\bar 0})$ in $V_k(\mathfrak g)$ is conformal. Next we prove that, for a large family of such conformal levels, $V_k(\mathfrak g)$ is a completely reducible $\mathcal V_k (\mathfrak g_{\bar 0})$--module and obtain decomposition rules. Proofs are based on fusion rules arguments and on the representation theory of certain affine vertex algebras. The most interesting case is the decomposition of $V_{-2} (osp(2n +8 \vert 2n))$ as a finite, non simple current extension of $V_{-2} (D_{n+4}) \otimes V_1 (C_n)$. This decomposition uses our previous work [10] on the representation theory of $V_{-2} (D_{n+4})$.


title: Is it necessary to achieve sub-wavelength interference with correlation?

abstract: We report an experimental demonstration of sub-wavelength interference without correlation. Typically, people can achieve sub-wavelength effect with correlation measurement no matter by using bi-photon or thermal light sources. Here we adopt a thermal light source. And we count the realizations in which the intensities of the definite symmetric points are above or below a certain threshold. The distribution of numbers of these realizations who satisfy the restriction will show a sub-wavelength effect. With proper constrictions, positive and negative interference patterns are demonstrated.


title: Stimulated emission of relic gravitons and their super-Poissonian statistics

abstract: The degree of second-order coherence of the relic gravitons produced from the vacuum is super-Poissonian and larger than in the case of a chaotic source characterized by a Bose-Einstein distribution. If the initial state does not minimize the tensor Hamiltonian and has a dispersion smaller than its averaged multiplicity, the overall statistics is by definition sub-Poissonian. Depending on the nature of the sub-Poissonian initial state, the final degree of second-order coherence of the quanta produced by stimulated emission may diminish (possibly even below the characteristic value of a chaotic source) but it always remains larger than one (i.e. super-Poissonian). When the initial statistics is Poissonian (like in the case of a coherent state or for a mixed state weighted by a Poisson distribution) the degree of second-order coherence of the produced gravitons is still super-Poissonian. Even though the quantum origin of the relic gravitons inside the Hubble radius can be effectively disambiguated by looking at the corresponding Hanbury Brown-Twiss correlations, the final distributions caused by different initial states maintain their super-Poissonian character which cannot be altered.


title: Ripples in Thin Films

abstract: Capillary ripples on thin viscous films are important features of coating and lubrication flows. Here we present experiments based on Digital Holographic Microscopy, measuring the morphology of capillary ripples ahead of a viscous drop spreading on a prewetted surface with a nanoscale resolution. Our experiments reveal that upon increasing the spreading velocity, the amplitude of the ripples first increases and subsequently decreases. Above a critical spreading velocity, the ripples even disappear completely and this transition is accompanied by a divergence of the ripple wavelength. These observations are explained quantitatively using linear wave analysis, beyond the usual lubrication approximation, illustrating that new phenomena arise when the capillary number becomes order unity.


title: Tuning the carrier tunneling in a single quantum dot with a magnetic field in Faraday geometry

abstract: We report on an increase in the carrier tunneling time in a single quantum dot (QD) with a magnetic field in Faraday geometry using photocurrent spectroscopy. A nearly 60\% increase in hole tunneling time is observed with an applied magnetic field equal to 9 T. For a truncated pyramid QD, hole tunnels out faster at the lateral edge of the QD due to the reduced barrier height. The magnetic field in Faraday geometry shrinks the hole wave function at the center of QD plane, which weakens the tunneling at lateral edge and increases the average tunneling time. This mechanism also works for electron but the effect is smaller. The electron wave function is more localized at the center of the QD due to the uniform confining potential, therefore the relatively weak shrinkage caused by the magnetic field does not reduce the tunneling rate significantly.


title: Generalized Chillingworth Classes on Subsurface Torelli Groups

abstract: The contraction of the image of the Johnson homomorphism is called the Chillingworth class. In this paper, we derive a combinatorial description of the Chillingworth class for Putman's subsurface Torelli groups. We also prove the naturality and uniqueness properties of the map whose image is the dual of the Chillingworth classes of the subsurface Torelli groups. Moreover, we relate the Chillingworth class of the subsurface Torelli group to the partitioned Johnson homomorphism.


title: The chemical compositions and evolutionary status of red giants in the open cluster NGC 6940

abstract: We present the high resolution (R $\approx$ 60000), high signal-to-noise (S/N $\simeq$ 120) spectroscopic analysis of 12 red giant members of the Galactic open cluster NGC 6940. We applied Yonsei-Yale isochrones to the color-magnitude diagram, which suggested an age of 1.1 Gyr for the cluster with a turn-off mass of 2 M$_{\odot}$. Atmospheric parameters ($T_{\rm eff}$, $log~{\it g}$, [Fe/H] and $\xi_{t}$) were determined via equivalent widths of Fe I, Fe II, Ti I, and Ti II lines. Calculated mean metallicity of the cluster is $\langle {\rm [Fe/H]} \rangle = 0.04\pm0.02$. We derived abundances of $\alpha$ (Mg, Si, Ca), Fe-group (Sc, Ti, V, Cr, Mn, Fe, Co, Ni, Cu, Zn), and $n$-capture (Y, La, Nd, Eu) elements to be about solar. Light odd-Z elements Na and Al are slightly enhanced in MMU 108 and MMU 152 by $\sim$0.34 dex and $\sim$0.16 dex, respectively. Abundances of light elements Li, C, N, O, and $^{12}$C/$^{13}$C ratios were derived from spectrum syntheses of the Li I resonance doublet at 6707 $\overset{\lower.5em\circ}{\mathrm{A}}$, [O I] line at 6300 $\overset{\lower.5em\circ}{\mathrm{A}}$, C$_{2}$ Swan bandheads at 5164 $\overset{\lower.5em\circ}{\mathrm{A}}$ and 5635 $\overset{\lower.5em\circ}{\mathrm{A}}$, and strong $^{12,13}$CN system lines in the 7995$-$8040 $\overset{\lower.5em\circ}{\mathrm{A}}$ region. Most carbon isotopic ratios are similar to those found in other solar-metallicity giants, but MMU 152 has an unusual value of $^{12}$C/$^{13}$C=6. Evaluation of the LiCNO abundances and $^{12}$C/$^{13}$C ratios along with the present theoretical models suggests that all the red giants in our sample are core-helium-burning clump stars.


title: Optimal energy decay in a one-dimensional wave-heat system with infinite heat part

abstract: Using recent results in the theory of $C_0$-semigroups due to Batty, Chill and Tomilov (J. Eur. Math. Soc. 18(4):853-929, 2016) we study energy decay in a one-dimensional coupled wave-heat system with finite wave part and infinite heat part. Our main result provides a sharp estimate for the rate of energy decay of a certain class of classical solutions. The present paper can be thought of as a natural sequel to a recent work by Batty, Paunonen and Seifert (J. Evol. Equ. 16:649-664, 2016), which studied a similar wave-heat system with finite wave and heat parts using a celebrated result due to Borichev and Tomilov.


title: Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation

abstract: A program is non-interferent if it leaks no secret information to an observable output. However, non-interference is too strict in many practical cases and quantitative information flow (QIF) has been proposed and studied in depth. Originally, QIF is defined as the average of leakage amount of secret information over all executions of a program. However, a vulnerable program that has executions leaking the whole secret but has the small average leakage could be considered as secure. This counter-intuition raises a need for a new definition of information leakage of a particular run, i.e., dynamic leakage. As discussed in [5], entropy-based definitions do not work well for quantifying information leakage dynamically; Belief-based definition on the other hand is appropriate for deterministic programs, however, it is not appropriate for probabilistic ones. In this paper, we propose new simple notions of dynamic leakage based on entropy which are compatible with existing QIF definitions for deterministic programs, and yet reasonable for probabilistic programs in the sense of [5]. We also investigated the complexity of computing the proposed dynamic leakage for three classes of Boolean programs. We also implemented a tool for QIF calculation using model counting tools for Boolean formulae. Experimental results on popular benchmarks of QIF research show the flexibility of our framework. Finally, we discuss the improvement of performance and scalability of the proposed method as well as an extension to more general cases.


title: Variation of elastic energy shows reliable signal of upcoming catastrophic failure

abstract: We consider the Equal-Load-Sharing Fiber Bundle Model as a model for composite materials under stress and derive elastic energy and damage energy as a function of strain. With gradual increase of stress (or strain) the bundle approaches a catastrophic failure point where the elastic energy is always larger than the damage energy. We observe that elastic energy has a maximum that appears after the catastrophic failure point is passed, i.e., in the unstable phase of the system. However, the slope of elastic energy vs. strain curve has a maximum which always appears before the catastrophic failure point and therefore this can be used as a reliable signal of upcoming catastrophic failure. We study this behavior analytically for power-law type and Weibull type distributions of fiber thresholds and compare the results with numerical simulations on a single bundle with large number of fibers.


title: Program Classification Using Gated Graph Attention Neural Network for Online Programming Service

abstract: The online programing services, such as Github,TopCoder, and EduCoder, have promoted a lot of social interactions among the service users. However, the existing social interactions is rather limited and inefficient due to the rapid increasing of source-code repositories, which is difficult to explore manually. The emergence of source-code mining provides a promising way to analyze those source codes, so that those source codes can be relatively easy to understand and share among those service users. Among all the source-code mining attempts,program classification lays a foundation for various tasks related to source-code understanding, because it is impossible for a machine to understand a computer program if it cannot classify the program correctly. Although numerous machine learning models, such as the Natural Language Processing (NLP) based models and the Abstract Syntax Tree (AST) based models, have been proposed to classify computer programs based on their corresponding source codes, the existing works cannot fully characterize the source codes from the perspective of both the syntax and semantic information. To address this problem, we proposed a Graph Neural Network (GNN) based model, which integrates data flow and function call information to the AST,and applies an improved GNN model to the integrated graph, so as to achieve the state-of-art program classification accuracy. The experiment results have shown that the proposed work can classify programs with accuracy over 97%.


title: Bicomplex analogs of Segal-Bargmann and fractional Fourier transforms

abstract: We consider and discuss some basic properties of the bicomplex analog of the classical Bargmann space. The explicit expression of the integral operator connecting the complex and bicomplex Bargmann spaces is also given. The corresponding bicomplex Segal--Bargmann transform is introduced and studied as well. Its explicit expression as well as the one of its inverse are then used to introduce a class of two--parameter bicomplex Fourier transforms (bicomplex fractional Fourier transform). This approach is convenient in exploring some useful properties of this bicomplex fractional Fourier transform.


title: A framework for the natures of negativity in introductory physics

abstract: Mathematical reasoning skills are a desired outcome of many introductory physics courses, particularly calculus-based physics courses. Positive and negative quantities are ubiquitous in physics, and the sign carries important and varied meanings. Novices can struggle to understand the many roles signed numbers play in physics contexts, and recent evidence shows that unresolved struggle can carry over to subsequent physics courses. The mathematics education research literature documents the cognitive challenge of conceptualizing negative numbers as mathematical objects--both for experts, historically, and for novices as they learn. We contribute to the small but growing body of research in physics contexts that examines student reasoning about signed quantities and reasoning about the use and interpretation of signs in mathematical models. In this paper we present a framework for categorizing various meanings and interpretations of the negative sign in physics contexts, inspired by established work in algebra contexts from the mathematics education research community. Such a framework can support innovation that can catalyze deeper mathematical conceptualizations of signed quantities in the introductory courses and beyond.


title: Non-reciprocal robotic metamaterials

abstract: Non-reciprocal transmission of motion is potentially highly beneficial to a wide range of applications, ranging from wave guiding, to shock and vibration damping and energy harvesting. To date, large levels of non-reciprocity have been realized using broken spatial or temporal symmetries, yet only in the vicinity of resonances or using nonlinearities, thereby nonreciprocal transmission remains limited to narrow ranges of frequencies or input magnitudes and sensitive to attenuation. Here, we devise a novel type of robotic mechanical metamaterials wherein we use local control loops to break reciprocity at the level of the interactions between the unit cells. We show theoretically that first-of-their-kind asymmetric standing waves at all frequencies and unidirectionally amplified propagating waves emerge. We demonstrate experimentally and numerically that this property leads to tunable, giant, broadband and attenuation-free non-reciprocal performances, namely a level of 50dB non-reciprocal isolation over 3.5 decades in frequency, as well as one-way amplification of pulses.


title: Boundedness of classical operators on rearrangement-invariant spaces

abstract: We study the behaviour on rearrangement-invariant spaces of such classical operators of interest in harmonic analysis as the Hardy-Littlewood maximal operator (including the fractional version), the Hilbert and Stieltjes transforms, and the Riesz potential. The focus is on sharpness questions, and we present characterisations of the optimal domain (or range) partner spaces when the range (domain) is fixed. When a rearrangement-invariant partner space exists at all, a complete characterisation of the situation is given. We illustrate the results with a variety of examples of sharp particular results involving customary function spaces.


title: A note on the half-liberation operation

abstract: We propose a new approach to the half-liberation question, for the compact groups $T_N\subset G_N\subset U_N$, where $T_N=\mathbb Z_2^N$. Indeed, we can construct a quantum group $T_N^*\subset G_N^*\subset U_N^*$, simply by setting $G_N^*=<G_N,T_N^*>$. We explain here how this construction fits into the known general theory of half-liberation, and we discuss as well some potential generalizations, with $T_N^*$ being replaced by more complicated objects.


title: Distributed Feature Screening via Componentwise Debiasing

abstract: Feature screening is a powerful tool in the analysis of high dimensional data. When the sample size $N$ and the number of features $p$ are both large, the implementation of classic screening methods can be numerically challenging. In this paper, we propose a distributed screening framework for big data setup. In the spirit of "divide-and-conquer", the proposed framework expresses a correlation measure as a function of several component parameters, each of which can be distributively estimated using a natural U-statistic from data segments. With the component estimates aggregated, we obtain a final correlation estimate that can be readily used for screening features. This framework enables distributed storage and parallel computing and thus is computationally attractive. Due to the unbiased distributive estimation of the component parameters, the final aggregated estimate achieves a high accuracy that is insensitive to the number of data segments $m$ specified by the problem itself or to be chosen by users. Under mild conditions, we show that the aggregated correlation estimator is as efficient as the classic centralized estimator in terms of the probability convergence bound; the corresponding screening procedure enjoys sure screening property for a wide range of correlation measures. The promising performances of the new method are supported by extensive numerical examples.


title: Non-Bloch topological invariants in a non-Hermitian domain-wall system

abstract: We study non-Bloch bulk-boundary correspondence in a non-Hermitian Su-Schieffer-Heeger model in a domain-wall configuration where the left and right bulks have different parameters. Focusing on the case where chiral symmetry is still conserved, we show that non-Hermitian skin effects of bulk states persist in the system, while the definition of the non-Bloch winding number of either bulk depends on parameters on both sides of the boundary. Under these redefined non-Bloch topological invariants, we confirm non-Bloch bulk-boundary correspondence under the domain-wall configuration, which exemplifies the impact of boundary conditions in non-Hermitian topological systems.


title: Successive Over Relaxation Q-Learning

abstract: In a discounted reward Markov Decision Process (MDP), the objective is to find the optimal value function, i.e., the value function corresponding to an optimal policy. This problem reduces to solving a functional equation known as the Bellman equation and a fixed point iteration scheme known as the value iteration is utilized to obtain the solution. In literature, a successive over-relaxation based value iteration scheme is proposed to speed-up the computation of the optimal value function. The speed-up is achieved by constructing a modified Bellman equation that ensures faster convergence to the optimal value function. However, in many practical applications, the model information is not known and we resort to Reinforcement Learning (RL) algorithms to obtain optimal policy and value function. One such popular algorithm is Q-learning. In this paper, we propose Successive Over-Relaxation (SOR) Q-learning. We first derive a modified fixed point iteration for SOR Q-values and utilize stochastic approximation to derive a learning algorithm to compute the optimal value function and an optimal policy. We then prove the almost sure convergence of the SOR Q-learning to SOR Q-values. Finally, through numerical experiments, we show that SOR Q-learning is faster compared to the standard Q-learning algorithm.


title: A Schwarz Method for the Magnetotelluric Approximation of Maxwell's equations

abstract: The magnetotelluric approximation of the Maxwell's equations is used to model the propagation of low frequency electro-magnetic waves in the Earth's subsurface, with the purpose of reconstructing the presence of mineral or oil deposits. We propose a classical Schwarz method for solving this magnetotelluric approximation of the Maxwell equations, and prove its convergence using maximum principle techniques. This is not trivial, since solutions are complex valued, and we need a new result that the magnetotelluric approximations satisfy a maximum modulus principle for our proof. We illustrate our analysis with numerical experiments.


title: Effects of Newtonian viscosity and relaxation on linear viscoelastic wave propagation

abstract: In an important class of linear viscoelastic media the stress is the superposition of a Newtonian term and a stress relaxation term. It is assumed that the creep compliance is a Bernstein class function, which entails that the relaxation function is LICM. In this paper the effect of Newtonian viscosity term on wave propagation is examined. It is shown that Newtonian viscosity dominates over the features resulting from stress relaxation. For comparison the effect of unbounded relaxation function is also examined. In both cases the wave propagation speed is infinite, but the high-frequency asymptotic behavior of attenuation is different. Various combinations of Newtonian viscosity and relaxation functions and the corresponding creep compliances are summarized.


title: Dynamics of active filaments in porous media

abstract: The motion of active polymers in a porous medium is shown to depend critically on flexibilty, activity and degree of polymerization. For given Peclet number, we observe a transition from localisation to diffusion as the stiffness of the chains is increased. Whereas stiff chains move almost unhindered through the porous medium, flexible ones spiral and get stuck. Their motion can be accounted for by the model of a continuous time random walk with a renewal process corresponding to unspiraling. The waiting time distribution is shown to develop heavy tails for decreasing stiffness, resulting in subdiffusive and ultimately caged behaviour.


title: Role of the absorption on the spin-orbit interactions of light with Si nano-particles

abstract: The conservation of the photon total angular momentum in the incident direction in an axially symmetric scattering process is a very well known fact. Nonetheless, the re-distribution of this conserved magnitude into its spin and orbital components, an effect known as the spin-orbit interaction (SOI) of light, is still a matter of active research. Here, we discuss the effect of the absorption on the SOI in the scattering of a sub-wavelength Silicon particle. Describing the scattering process of a electric and magnetic dipole, we show via the asymmetry parameter that the SOI of light in the scattering of high refractive index nanoparticles endures in the presence of optical losses. This effect results in optical mirages whose maximum values surpass those of an electric dipolar scatterer.


title: A shorter Archean day-length biases interpretations of the early Earth's climate

abstract: Earth's earliest sedimentary record contains evidence that surface temperatures were similar to, or perhaps even warmer than modern. In contrast, standard Solar models suggest the Sun was 25% less luminous at this ancient epoch, implying a cold, frozen planet-all else kept equal. This discrepancy, known as the Faint Young Sun Paradox, remains unresolved. Most proposed solutions invoke high concentrations of greenhouse gases in the early atmosphere to offset for the fainter Sun, though current geological constraints are insufficient to verify or falsify these scenarios. In this work, we examined several simple mechanisms that involve the role played by Earth's spin rate, which was significantly faster during Archean time. This faster spin rate enhances the equator-to-pole temperature gradient, facilitating a warm equator, while maintaining cold poles. Results show that such an enhanced meridional gradient augments the meridional gradient in carbonate deposition, which biases the surviving geological record away from the global mean, toward warmer waters. Moreover, using simple atmospheric models, we found that the faster-spinning Earth was less sensitive to ice-albedo feedbacks, facilitating larger meridional temperature gradients before succumbing to global glaciation. We show that within the faster-spinning regime, the greenhouse warming required to generate an ice-free Earth can differ from that required to generate an Earth with permanent ice caps by the equivalent of 1-2 orders of magnitude of pCO2. Accordingly, the resolution of the Faint Young Sun problem depends significantly on whether the early Earth was ever, or even at times, ice-free.


title: Euler characteristics and p-singular elements in finite groups

abstract: We use the Euler characteristic of the orbit category of a finite group to establish equivalences between theorems of Frobenius and K.S. Brown and between theorems of Steinberg and L. Solomon.


title: On exact controllability of infinite-dimensional linear port-Hamiltonian systems

abstract: Infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domain with full boundary control and without internal damping are studied. This class of systems includes models of beams and waves as well as the transport equation and networks of nonhomogeneous transmission lines. The main result shows that well-posed port-Hamiltonian systems, with state space $L^2((0,1);\mathbb C^n)$ and input space $\mathbb C^n$, are exactly controllable.


title: Hybrid Transceiver Optimization for Multi-Hop Communications

abstract: Multi-hop communication with the aid of large-scale antenna arrays will play a vital role in future emergence communication systems. In this paper, we investigate amplify-and-forward based and multiple-input multiple-output assisted multi-hop communication, in which all nodes employ hybrid transceivers. Moreover, channel errors are taken into account in our hybrid transceiver design. Based on the matrix-monotonic optimization framework, the optimal structures of the robust hybrid transceivers are derived. By utilizing these optimal structures, the optimizations of analog transceivers and digital transceivers can be separated without loss of optimality. This fact greatly simplifies the joint optimization of analog and digital transceivers. Since the optimization of analog transceivers under unit-modulus constraints is non-convex, a projection type algorithm is proposed for analog transceiver optimization to overcome this difficulty. Based on the derived analog transceivers, the optimal digital transceivers can then be derived using matrix-monotonic optimization. Numeral results obtained demonstrate the performance advantages of the proposed hybrid transceiver designs over other existing solutions.


title: Equality cases for a bound on the chromatic number

abstract: It is known that the inequality $$ \frac{\chi(G)(\chi(G)-1)}{2} + |V| - \chi(G) \leq |E|$$ holds for all connected graphs, where $\chi(G)$ denotes the chromatic number of $G$. We prove that equality holds whenever the graph consists of a complete graph or an odd cycle, together with finitely many trees attached to its vertices.


title: Recent progress and problems on the Bartnik quasi-local mass

abstract: This paper surveys recent progress on issues related to the Bartnik quasi-local mass $m_B$. In addition, we formulate a number of new problems and conjectures regarding foundational properties of the mass $m_B$. This work is dedicated with pleasure to Robert Bartnik in honor of his 60th birthday.


title: Locomotion Planning through a Hybrid Bayesian Trajectory Optimization

abstract: Locomotion planning for legged systems requires reasoning about suitable contact schedules. The contact sequence and timings constitute a hybrid dynamical system and prescribe a subset of achievable motions. State-of-the-art approaches cast motion planning as an optimal control problem. In order to decrease computational complexity, one common strategy separates footstep planning from motion optimization and plans contacts using heuristics. In this paper, we propose to learn contact schedule selection from high-level task descriptors using Bayesian optimization. A bi-level optimization is defined in which a Gaussian process model predicts the performance of trajectories generated by a motion planning nonlinear program. The agent, therefore, retains the ability to reason about suitable contact schedules, while explicit computation of the corresponding gradients is avoided. We delineate the algorithm in its general form and provide results for planning single-legged hopping. Our method is capable of learning contact schedule transitions that align with human intuition. It performs competitively against a heuristic baseline in predicting task appropriate contact schedules.


title: Quantitative spectral gap estimate and Wasserstein contraction of simple slice sampling

abstract: We prove Wasserstein contraction of simple slice sampling for approximate sampling w.r.t. distributions with log-concave and rotational invariant Lebesgue densities. This yields, in particular, an explicit quantitative lower bound of the spectral gap of simple slice sampling. Moreover, this lower bound carries over to more general target distributions depending only on the volume of the (super-)level sets of their unnormalized density.


title: Interpolation Consistency Training for Semi-Supervised Learning

abstract: We introduce Interpolation Consistency Training (ICT), a simple and computation efficient algorithm for training Deep Neural Networks in the semi-supervised learning paradigm. ICT encourages the prediction at an interpolation of unlabeled points to be consistent with the interpolation of the predictions at those points. In classification problems, ICT moves the decision boundary to low-density regions of the data distribution. Our experiments show that ICT achieves state-of-the-art performance when applied to standard neural network architectures on the CIFAR-10 and SVHN benchmark datasets. Our theoretical analysis shows that ICT corresponds to a certain type of data-adaptive regularization with unlabeled points which reduces overfitting to labeled points under high confidence values.


title: Attitude Observer on SO(3) with Time-Varying Reference Directions

abstract: This paper introduces an advanced Lyapunov stability analysis for an attitude observer that has been developed on the special orthogonal group. In particular, when the attitude observer is constructed based on multiple direction measurements toward known reference points, a local exponential stability has been established by linearization, under the assumption that those reference points are fixed in the inertial frame. Several modifications have been proposed to deal with reference directions changing over time. Here, we present an alternative Lyapunov analysis to show that the attitude observer still exhibits exponential stability for time-varying reference directions, under the assumption that the observer gain is sufficiently large relative to the rate of change of the reference directions. These are illustrated by a numerical example, followed by experimental results with visual marker detection in an indoor space.


title: Native Chemical Automata and the Thermodynamic Interpretation of Their Experimental Accept/Reject Responses

abstract: The theory of computation is based on abstract computing automata which can be classified into a three-class hierarchy: Finite Automata (FA), Push-down Automata (PDA) and the Turing Machines (TM). Each class corresponds to grammar/language classes. The function of the automata consists on recognizing words in a language generated by some grammar and expressed with letters from an alphabet. Such automata are, in principle, abstract entities and with suitable combinations of them we can represent any computation, no matter how complex. Their physical implementations are possible in any information carrying and recognition contexts and media, such as electrons in semiconductors, certain biomolecules in biology or even non-biological molecules. Here we describe and build non-biochemistry (inorganic chemistry) examples of a FA, PDA and TM computations carried out by specific laboratory realizations of the automata. For each of the three realizations we find a thermodynamic metric, based on enthalpy for the FA and PDA, and on the Gibbs free energy for the TM, to both assess the results of computation and as a first step towards quantifying the energetic cost of such computations.


title: An Input-Output Parametrization of Stabilizing Controllers: amidst Youla and System Level Synthesis

abstract: This paper proposes a novel input-output parametrization of the set of internally stabilizing output-feedback controllers for linear time-invariant (LTI) systems. Our underlying idea is to directly treat the closed-loop transfer matrices from disturbances to input and output signals as design parameters and exploit their affine relationships. This input-output perspective is particularly effective when a doubly-coprime factorization is difficult to compute, or an initial stabilizing controller is challenging to find; most previous work requires one of these pre-computation steps. Instead, our approach can bypass such pre-computations, in the sense that a stabilizing controller is computed by directly solving a linear program (LP). Furthermore, we show that the proposed input-output parametrization allows for computing norm-optimal controllers subject to quadratically invariant (QI) constraints using convex programming.


title: Realtime Rooftop Landing Site Identification and Selection in Urban City Simulation

abstract: Safe autonomous landing in urban cities is a necessity for the growing Unmanned Aircraft Systems (UAS) industry. In urgent situations, building rooftops, particularly flat rooftops, can provide local safe landing zones for small UAS. This paper investigates the real-time identification and selection of safe landing zones on rooftops based on LiDAR and camera sensor feedback. A visual high fidelity simulated city is constructed in the Unreal game engine, with particular attention paid to accurately generating rooftops and the common obstructions found thereon, e.g., ac units, water towers, air vents. AirSim, a robotic simulator plugin for Unreal, offers drone simulation and control and is capable of outputting video and LiDAR sensor data streams from the simulated Unreal world. A neural network is trained on randomized simulated cities to provide a pixel classification model. A novel algorithm is presented which finds the optimum obstacle-free landing position on nearby rooftops by fusing LiDAR and vision data.


title: Global dynamics below the ground state for the focusing Schr\"odinger equation with a potential

abstract: In this paper, we consider the nonlinear Schr\"odinger equation with a real valued potential V=V(x). We study global behavior of solutions to the equation with a data below the ground state under some conditions for the potential V and prove a scattering result and a blowing-up result in mass-supercritical and energy-subcritical. Our proof of the blowing-up or growing-up result without radially symmetric assumption is based on the argument by Du-Wu-Zhang in [6]. We can exclude the possibility of the growing-up result by the argument in [23], [15], and [10] if "the data and the potential are radially symmetric" or "the data has finite variance".


title: Data-Driven Model Predictive Control for Food-Cutting

abstract: Modelling of contact-rich tasks is challenging and cannot be entirely solved using classical control approaches due to the difficulty of constructing an analytic description of the contact dynamics. Additionally, in a manipulation task like food-cutting, purely learning-based methods such as Reinforcement Learning, require either a vast amount of data that is expensive to collect on a real robot, or a highly realistic simulation environment, which is currently not available. This paper presents a data-driven control approach that employs a recurrent neural network to model the dynamics for a Model Predictive Controller. We build upon earlier work limited to torque-controlled robots and redefine it for velocity controlled ones. We incorporate force/torque sensor measurements, reformulate and further extend the control problem formulation. We evaluate the performance on objects used for training, as well as on unknown objects, by means of the cutting rates achieved and demonstrate that the method can efficiently treat different cases with only one dynamic model. Finally we investigate the behavior of the system during force-critical instances of cutting and illustrate its adaptive behavior in difficult cases.


title: Green functions for pressure of Stokes systems

abstract: We study Green functions for the pressure of stationary Stokes systems in a (possibly unbounded) domain $\Omega\subset \mathbb{R}^d$, where $d\ge 2$. We construct the Green function when coefficients are merely measurable in one direction and have Dini mean oscillation in the other directions, and $\Omega$ is such that the divergence equation is solvable there. We also establish global pointwise bounds for the Green function and its derivatives when coefficients have Dini mean oscillation and $\Omega$ has a $C^{1,\rm{Dini}}$ boundary. Green functions for the flow velocity of Stokes systems are also considered.