title: Fabrication technology for high light-extraction ultraviolet thin-film flip-chip (UV TFFC) LEDs grown on SiC

abstract: The light output of deep ultraviolet (UV-C) AlGaN light-emitting diodes (LEDs) is limited due to their poor light extraction efficiency (LEE). To improve the LEE of AlGaN LEDs, we developed a fabrication technology to process AlGaN LEDs grown on SiC into thin-film flip-chip LEDs (TFFC LEDs) with high LEE. This process transfers the AlGaN LED epi onto a new substrate by wafer-to-wafer bonding, and by removing the absorbing SiC substrate with a highly selective SF6 plasma etch that stops at the AlN buffer layer. We optimized the inductively coupled plasma (ICP) SF6 etch parameters to develop a substrate-removal process with high reliability and precise epitaxial control, without creating micromasking defects or degrading the health of the plasma etching system. The SiC etch rate by SF6 plasma was ~46 \mu m/hr at a high RF bias (400 W), and ~7 \mu m/hr at a low RF bias (49 W) with very high etch selectivity between SiC and AlN. The high SF6 etch selectivity between SiC and AlN was essential for removing the SiC substrate and exposing a pristine, smooth AlN surface. We demonstrated the epi-transfer process by fabricating high light extraction TFFC LEDs from AlGaN LEDs grown on SiC. To further enhance the light extraction, the exposed N-face AlN was anisotropically etched in dilute KOH. The LEE of the AlGaN LED improved by ~3X after KOH roughening at room temperature. This AlGaN TFFC LED process establishes a viable path to high external quantum efficiency (EQE) and power conversion efficiency (PCE) UV-C LEDs.

categories: physics.app-ph cond-mat.mtrl-sci physics.ins-det physics.optics


title: Wideband Full-Duplex Wireless via Frequency-Domain Equalization: Design and Experimentation

abstract: Full-duplex (FD) wireless can significantly enhance spectrum efficiency but requires tremendous amount of self-interference (SI) cancellation. Recent advances in the RFIC community enabled wideband RF SI cancellation (SIC) in integrated circuits (ICs) via frequency-domain equalization (FDE), where RF filters channelize the SI signal path. Unlike other FD implementations, that mostly rely on delay lines, FDE-based cancellers can be realized in small-form-factor devices. However, the fundamental limits and higher layer challenges associated with these cancellers were not explored yet. Therefore, and in order to support the integration with a software-defined radio (SDR) and to facilitate experimentation in a testbed with several nodes, we design and implement an FDE-based RF canceller on a printed circuit board (PCB). We derive and experimentally validate the PCB canceller model and present a canceller configuration scheme based on an optimization problem. We then extensively evaluate the performance of the FDE-based FD radio in the SDR testbed. Experiments show that it achieves 95dB overall SIC (52dB from RF SIC) across 20MHz bandwidth, and an average link-level FD gain of 1.87x. We also conduct experiments in: (i) uplink-downlink networks with inter-user interference, and (ii) heterogeneous networks with half-duplex and FD users. The experimental FD gains in the two types of networks confirm previous analytical results. They depend on the users' SNR values and the number of FD users, and are 1.14x-1.25x and 1.25x-1.73x, respectively. Finally, we numerically evaluate and compare the RFIC and PCB implementations and study various design tradeoffs.


title: Learning to Predict Ego-Vehicle Poses for Sampling-Based Nonholonomic Motion Planning

abstract: Sampling-based motion planning is an effective tool to compute safe trajectories for automated vehicles in complex environments. However, a fast convergence to the optimal solution can only be ensured with the use of problem-specific sampling distributions. Due to the large variety of driving situations within the context of automated driving, it is very challenging to manually design such distributions. This paper introduces therefore a data-driven approach utilizing a deep convolutional neural network (CNN): Given the current driving situation, future ego-vehicle poses can be directly generated from the output of the CNN allowing to guide the motion planner efficiently towards the optimal solution. A benchmark highlights that the CNN predicts future vehicle poses with a higher accuracy compared to uniform sampling and a state-of-the-art A*-based approach. Combining this CNN-guided sampling with the motion planner Bidirectional RRT* reduces the computation time by up to an order of magnitude and yields a faster convergence to a lower cost as well as a success rate of 100 % in the tested scenarios.


title: Existence of moduli spaces for algebraic stacks

abstract: We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space and prove a semistable reduction theorem for points of algebraic stacks equipped with a $\Theta$-stratification. These results provide a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups and give criteria on the moduli problem to have a separated or proper good moduli space. To illustrate our method, we apply these results to construct proper moduli spaces parameterizing semistable $\mathcal{G}$-bundles on curves and moduli spaces for objects in abelian categories.


title: Mitigating Planner Overfitting in Model-Based Reinforcement Learning

abstract: An agent with an inaccurate model of its environment faces a difficult choice: it can ignore the errors in its model and act in the real world in whatever way it determines is optimal with respect to its model. Alternatively, it can take a more conservative stance and eschew its model in favor of optimizing its behavior solely via real-world interaction. This latter approach can be exceedingly slow to learn from experience, while the former can lead to "planner overfitting" - aspects of the agent's behavior are optimized to exploit errors in its model. This paper explores an intermediate position in which the planner seeks to avoid overfitting through a kind of regularization of the plans it considers. We present three different approaches that demonstrably mitigate planner overfitting in reinforcement-learning environments.


title: A Unified Approach to Dynamic Decision Problems with Asymmetric Information - Part I: Non-Strategic Agents

abstract: We study a general class of dynamic multi-agent decision problems with asymmetric information and non-strategic agents, which includes dynamic teams as a special case. When agents are non-strategic, an agent's strategy is known to the other agents. Nevertheless, the agents' strategy choices and beliefs are interdependent over times, a phenomenon known as signaling. We introduce the notions of private information that effectively compresses the agents' information in a mutually consistent manner. Based on the notions of sufficient information, we propose an information state for each agent that is sufficient for decision making purposes. We present instances of dynamic multi-agent decision problems where we can determine an information state with a time-invariant domain for each agent. Furthermore, we present a generalization of the policy-independence property of belief in Partially Observed Markov Decision Processes (POMDP) to dynamic multi-agent decision problems. Within the context of dynamic teams with asymmetric information, the proposed set of information states leads to a sequential decomposition that decouples the interdependence between the agents' strategies and beliefs over time, and enables us to formulate a dynamic program to determine a globally optimal policy via backward induction.


title: Wave propagation in randomly perturbed weakly coupled waveguides

abstract: We present an analysis of wave propagation in a two step-index, parallel waveguide system. The goal is to quantify the effect of scattering at randomly perturbed interfaces between the guiding layers of high index of refraction and the host medium. The analysis is based on the expansion of the solution of the wave equation in a complete set of guided, radiation and evanescent modes with amplitudes that are random fields, due to scattering. We obtain a detailed characterization of these amplitudes and thus quantify the transfer of power between the two waveguides in terms of their separation distance. The results show that, no matter how small the fluctuations of the interfaces are, they have significant effect at sufficiently large distance of propagation, which manifests in two ways: The first effect is well known and consists of power leakage from the guided modes to the radiation ones. The second effect consists of blurring of the periodic transfer of power between the waveguides and the eventual equipartition of power. Its quantification is the main practical result of the paper.


title: A Unified Approach to Dynamic Decision Problems with Asymmetric Information - Part II: Strategic Agents

abstract: We study a general class of dynamic games with asymmetric information where agents' beliefs are strategy dependent, i.e. signaling occurs. We show that the notion of sufficient information, introduced in the companion paper team, can be used to effectively compress the agents' information in a mutually consistent manner that is sufficient for decision-making purposes. We present instances of dynamic games with asymmetric information where we can characterize a time-invariant information state for each agent. Based on the notion of sufficient information, we define a class of equilibria for dynamic games called Sufficient Information Based Perfect Bayesian Equilibrium (SIB-PBE). Utilizing the notion of SIB-PBE, we provide a sequential decomposition of dynamic games with asymmetric information over time; this decomposition leads to a dynamic program that determines SIB-PBE of dynamic games. Furthermore, we provide conditions under which we can guarantee the existence of SIB-PBE.


title: Bound Dark Energy: towards understanding the nature of the Dark Energy

abstract: We present a complete analysis of the observational constraints and cosmological implications of our Bound Dark Energy (BDE) model aimed to explain the late-time cosmic acceleration of the universe. BDE is derived from particle physics and corresponds to the lightest meson field $\phi$ dynamically formed at low energies due to the strong gauge coupling constant. The evolution of the dark energy is determined by the scalar potential $V(\phi)=\Lambda_c^{4+2/3}\phi^{-2/3}$ arising from non-perturbative effects at a condensation scale $\Lambda_c$ and scale factor $a_c$, related each other by $a_c\Lambda_c/\mathrm{eV}=1.0934\times 10^{-4}$. We present the full background and perturbation evolution at a linear level. Using current observational data, we obtain the constraints $a_c=(2.48 \pm 0.02)\times10^{-6}$ and $\Lambda_c=(44.09 \pm 0.28) \textrm{ eV}$, which is in complete agreement with our theoretical prediction $\Lambda_c^{th}=34^{+16}_{-11}\textrm{ eV}$. The bounds on the equation of state today, the dark energy density and the expansion rate are $w_\mathrm{BDE 0}=-0.929\pm 0.007$, $\Omega_\mathrm{BDE0}=0.696\pm0.007$ and $H_0=67.82\pm 0.05$ km s$^{-1}$Mpc, respectively. Even though the constraints on the six Planck base parameters are consistent at the 1$\sigma$ level between BDE and the concordance $\Lambda$CDM model, BDE improves the likelihood ratio by 2.1 of the Baryon Acoustic Oscillations (BAO) measurements with respect to $\Lambda$CDM and has an equivalent fit for type Ia supernovae and the Cosmic Microwave Background data. We present the constraints on the different cosmological parameters, and particularly we show the tension between BDE and $\Lambda$CDM in the BAO distance ratio $r_\mathrm{BAO}$ vs $H_\mathrm{0}$ and the growth index $\gamma$ at different redshifts, as well as the dark matter density at present time $\Omega_ch^2$ vs $H_0$.


title: Monogamy properties of qubit systems

abstract: We investigate monogamy relations related to quantum entanglement for $n-$qubit quantum systems. General monogamy inequalities are presented to the $\beta$th $(\beta\in(0,2))$ power of concurrence, negativity and the convex-roof extended negativity, as well as the $\beta$th $(\beta\in(0,\sqrt{2}))$ power of entanglement of formation. These monogamy relations are complementary to the existing ones with different regions of parameter $\beta$. In additions, new monogamy relations are also derived which include the existing ones as special cases.


title: Perturbative expansions of R\'enyi relative divergences and holography

abstract: In this paper, we develop a novel way to perturbatively calculate R\'enyi relative divergences $D_{\gamma}(\rho|| \sigma) ={\rm tr} \rho^{\gamma} \sigma^{1-\gamma}$ and related quantities without using replica trick as well as analytic continuation. We explicitly determine the form of the perturbative term at any order by an integral along the modular flow of the unperturbed state. By applying the prescription to a class of reduced density matrices in conformal field theory, we find that the second order term of certain linear combination of the divergences has a holographic expression in terms of bulk symplectic form, which is a one parameter generalization of the statement "Fisher information = Bulk canonical energy".


title: Effect of structure and composition on the electronic excitation induced amorphization of La$_2$Ti$_{2-x}$Zr$_x$O$_7$ ceramics

abstract: Understanding the response of ceramics operating in extreme environments is of interest for a variety of applications. Ab initio molecular dynamic simulations have been used to investigate the effect of structure and $B$-site (=Ti, Zr) cation composition of lanthanum-based oxides (La$_2$$B_2$O$_7$) on electronic-excitation-induced amorphization. We find that the amorphous transition in monoclinic layered perovskite La$_2$Ti$_2$O$_7$ occurs for a lower degree of electronic excitation than for cubic pyrochlore La$_2$Zr$_2$O$_7$. While in each case the formation of O$_2$-like molecules drives the structure to an amorphous state, an analysis of the polyhedral connection network reveals that the rotation of TiO$_6$ octahedra in the monoclinic phase can promote such molecule formation, while such octahedral rotation is not possible in the cubic phase. However, once the symmetry of the cubic structure is broken by substituting Ti for Zr, it becomes less resistant to amorphization. A compound made of 50% Ti and 50% Zr (La$_2$TiZrO$_7$) is found to be more resistant in the monoclinic than in the cubic phase, which may be related to the lower bandgap of the cubic phase. These results illustrate the complex interplay of structure and composition that give rise to the radiation resistance of these important functional materials.


title: Sequential Experiment Design for Hypothesis Verification

abstract: Hypothesis testing is an important problem with applications in target localization, clinical trials etc. Many active hypothesis testing strategies operate in two phases: an exploration phase and a verification phase. In the exploration phase, selection of experiments is such that a moderate level of confidence on the true hypothesis is achieved. Subsequent experiment design aims at improving the confidence level on this hypothesis to the desired level. In this paper, the focus is on the verification phase. A confidence measure is defined and active hypothesis testing is formulated as a confidence maximization problem in an infinite-horizon average-reward Partially Observable Markov Decision Process (POMDP) setting. The problem of maximizing confidence conditioned on a particular hypothesis is referred to as the hypothesis verification problem. The relationship between hypothesis testing and verification problems is established. The verification problem can be formulated as a Markov Decision Process (MDP). Optimal solutions for the verification MDP are characterized and a simple heuristic adaptive strategy for verification is proposed based on a zero-sum game interpretation of Kullback-Leibler divergences. It is demonstrated through numerical experiments that the heuristic performs better in some scenarios compared to existing methods in literature.


title: Quantum interference in transport through almost symmetric double quantum dots

abstract: We theoretically investigate transport signatures of quantum interference in highly symmetric double quantum dots in a parallel geometry and demonstrate that extremely weak symmetry-breaking effects can have a dramatic influence on the current. Our calculations are based on a master equation where quantum interference enters as non-diagonal elements of the density matrix of the double quantum dots. We also show that many results have a physically intuitive meaning when recasting our equations as Bloch-like equations for a pseudo spin associated with the dot occupation. In the perfectly symmetric configuration with equal tunnel couplings and orbital energies of both dots, there is no unique stationary state density matrix. Interestingly, however, adding arbitrarily small symmetry-breaking terms to the tunnel couplings or orbital energies stabilizes a stationary state either with or without quantum interference, depending on the competition between these two perturbations. The different solutions can correspond to very different current levels. Therefore, if the orbital energies and/or tunnel couplings are controlled by, e.g., electrostatic gating, the double quantum dot can act as an exceptionally sensitive electric switch.


title: Evidence for a clumpy disc-wind in the star forming Seyfert\,2 galaxy MCG--03--58--007

abstract: We report the results of a detailed analysis of a deep simultaneous $130\,\rm ks$ \textit{XMM-Newton & NuSTAR} observation of the nearby ($z=0.0315$) and bright ($L_{\rm bol}\sim3\times10^{45}\,\rm erg\,s^{-1}$) starburst-AGN Seyfert\,2 system: MCG--03--58--007. From the broadband fitting we show that most of the obscuration needs to be modeled with a toroidal type reprocessor such as \texttt{MYTorus} \citep{MurphyYaqoob09}. Nonetheless the signature of a powerful disc-wind is still apparent at higher energies and the observed rapid short-term X-ray spectral variability is more likely caused by a variable zone of highly ionized fast wind rather than by a neutral clumpy medium. We also detect X-ray emission from larger scale gas as seen from the presence of several soft narrow emission lines in the RGS, originating from a contribution of a weak star forming activity together with a dominant photoionized component from the AGN.


title: Constructing the independent basis of total derivative curvature-dependent terms in $6D$

abstract: Total derivative terms play an important role in the integration of conformal anomaly. In four dimensional space $4D$ there is only one such term, namely $\,{\square}R$. In the case of six dimensions $6D$ the structure of surface terms is more complicated, and it is useful to construct a basis of linear independent total derivative terms. We briefly review the general scheme of integrating anomaly and present the reduction of the minimal set of the surface terms in $6D$ from eight to seven.


title: Unleashing the Power of Hashtags in Tweet Analytics with Distributed Framework on Apache Storm

abstract: Twitter is a popular social network platform where users can interact and post texts of up to 280 characters called tweets. Hashtags, hyperlinked words in tweets, have increasingly become crucial for tweet retrieval and search. Using hashtags for tweet topic classification is a challenging problem because of context dependent among words, slangs, abbreviation and emoticons in a short tweet along with evolving use of hashtags. Since Twitter generates millions of tweets daily, tweet analytics is a fundamental problem of Big data stream that often requires a real-time Distributed processing. This paper proposes a distributed online approach to tweet topic classification with hashtags. Being implemented on Apache Storm, a distributed real time framework, our approach incrementally identifies and updates a set of strong predictors in the Na\"ive Bayes model for classifying each incoming tweet instance. Preliminary experiments show promising results with up to 97% accuracy and 37% increase in throughput on eight processors.


title: Determinant Codes with Helper-Independent Repair for Single and Multiple Failures

abstract: Determinant codes are a class of exact-repair regenerating codes for distributed storage systems with parameters (n, k = d, d). These codes cover the entire trade-off between per-node storage and repair-bandwidth. In an earlier work of the authors, the repair data of the determinant code sent by a helper node to repair a failed node depends on the identity of the other helper nodes participating in the process, which is practically undesired. In this work, a new repair mechanism is proposed for determinant codes, which relaxes this dependency, while preserving all other properties of the code. Moreover, it is shown that the determinant codes are capable of repairing multiple failures, with a per-node repair-bandwidth which scales sub-linearly with the number of failures.


title: A Nonlinear Transform for the Diagonalization of the Bernoulli-Laplace Diffusion Model and Orthogonal Polynomials

abstract: The Bernoulli-Laplace model describes a diffusion process of two types of particles between two urns. To analyze the finite-size dynamics of this process, and for other constructive results we diagonalize the corresponding transition matrix and calculate explicitly closed-form expressions for all eigenvalues and eigenvectors of the Markov transition matrix $T_{BL}$. This is done by a new method based on mapping the eigenproblem for $T_{BL}$ to the associated problem for a linear partial differential operator $L_{BL}$ acting on the vector space of homogeneous polynomials in three indeterminates. The method is applicable to other Two Urns models and is relatively easy to use compared to previous methods based on orthogonal polynomials or group representations.


title: Back to the Future for Dialogue Research: A Position Paper

abstract: This short position paper is intended to provide a critique of current approaches to dialogue, as well as a roadmap for collaborative dialogue research. It is unapologetically opinionated, but informed by 40 years of dialogue re-search. No attempt is made to be comprehensive. The paper will discuss current research into building so-called "chatbots", slot-filling dialogue systems, and plan-based dialogue systems. For further discussion of some of these issues, please see (Allen et al., in press).


title: Uncertainty Quantification in First-Principles Predictions of Harmonic Vibrational Frequencies of Molecules and Molecular Complexes

abstract: Accurate prediction of molecular vibrational frequencies is important to identify spectroscopic signatures and reaction thermodynamics. In this work, we develop a method to quantify uncertainty associated with density functional theory predicted harmonic vibration frequencies utilizing the built-in error estimation capabilities of the BEEF-vdW exchange-correlation functional. The method is computationally efficiency by estimating the uncertainty at nearly the same computational cost as a single vibrational frequency calculation. We demonstrate the utility and robustness of the method by showing that the uncertainty estimates bounds the self-consistent calculations of six exchange correlation functionals for small molecules, rare gas dimers, and molecular complexes from the S22 dataset. Ten rare-gas dimers and the S22 dataset of molecular complexes provide a rigorous test as they are systems with complicated vibrational motion and non-covalent interactions. Using coefficient of variation as a uncertainty metric, we find that modes involving bending or torsional motion and those dominated by non-covalent interactions are found to have higher uncertainty in their predicted frequencies than covalent stretching modes. Given the simplicity of the method, we believe that this method can be easily adopted and should form a routine part of DFT-predicted harmonic frequency analysis.


title: Wigner function and pair production in parallel electric and magnetic fields

abstract: We derive analytical formulas for the equal-time Wigner function in an electromagnetic field of arbitrary strength. While the magnetic field is assumed to be constant, the electric field is assumed to be space-independent and oriented parallel to the magnetic field. The Wigner function is first decomposed in terms of the so-called Dirac-Heisenberg-Wigner (DHW) functions and then the transverse-momentum dependence is separated using a new set of basis functions which depend on the quantum number $n$ of the Landau levels. Equations for the coefficients are derived and then solved for the case of a constant electric field. The pair-production rate for each Landau level is calculated. In the case of finite temperature and chemical potential, the pair-production rate is suppressed by Pauli's exclusion principle.


title: Electroweak production of multiple (pseudo)scalars in the 2HDM

abstract: The two-Higgs Doublet Model (2HDM) is the most minimal extension of the Standard Model (SM) containing extra Higgs doublet fields. Given the multiplicity of Higgs states in a 2HDM, its Higgs potential is significantly more involved than the SM one. Importantly, it contains a multitude of Higgs triple self-couplings, unlike the SM, which only has one. These interactions are key to understanding the phenomenology of the 2HDM, as they uniquely determine the form of the potential. Several studies analysing the prospects of measuring these couplings at the Large Hadron Collider (LHC) have found them to be quite low generally. However, such studies have largely concentrated on Higgs pair-production induced by gluon-gluon scattering, either via direct annihilation or followed by their splitting into $b$-(anti)quark pairs, which in turn annihilate leaving behind spectator $b$-(anti)quarks. Both of these channels are therefore governed by QCD dynamics. We compare here the yields of such channels to those initiated by (primarily) valence quarks, which involve Electro-Weak (EW) interactions only, for neutral multi-Higgs final states. We find that EW production can be dominant over QCD production for certain final state combinations. We also illustrate that charged final states, which can only be produced via EW modes, could serve as important probes of some $H^\pm$ triple couplings, that are inaccessible in QCD-induced processes, during Run 2 and 3 of the LHC. Our analysis covers regions of the parameter space of the Type-I 2HDM that have escaped the most up-to-date experimental constraints coming from EW precision data, LHC measurements of the 125 GeV Higgs boson properties, searches for additional Higgs states, and flavour physics.


title: Long-distance continuous-variable quantum key distribution using separable Gaussian states

abstract: Continuous-variable quantum key distribution (CVQKD) is considered to be an alternative to classical cryptography for secure communication. However, its transmission distance is restricted to metropolitan areas, given that it is affected by the channel excess noise and losses. In this paper, we present a scheme for implementing long-distance CVQKD using separable Gaussian states. This tunable QKD protocol requires separable Gaussian states, which are squeezed and displaced, along with the assistance of classical communication and available linear optics compoments. This protocol originates from the entanglement of one mode and the auxiliary mode used for distribution, which is first destroyed by local correlated noises and restored subsequently by the interference of the auxillary mode with the second distant separable correlated mode. The displacement matrix is organized by two six-dimensional vectors and is finally fixed by the separability of the tripartite system. The separability between the ancilla and Alice and Bob's system mitigates the enemy's eavesdropping, leading to tolerating higher excess noise and achieving longer transmission distance.


title: A Northern Ecliptic Survey for Solar System Science

abstract: Making an inventory of the Solar System is one of the four fundamental science requirements for the Large Synoptic Survey Telescope (LSST). The current baseline footprint for LSST's main Wide-Fast-Deep (WFD) Survey observes the sky below 0$^\circ$ declination, which includes only half of the ecliptic plane. Critically, key Solar System populations are asymmetrically distributed on the sky: they will be entirely missed, or only partially mapped, if only the WFD occurs. We propose a Northern Ecliptic Spur (NES) mini survey, observing the northern sky up to +10$^\circ$ ecliptic latitude, to maximize Solar System science with LSST. The mini survey comprises a total area of $\sim$5800 deg$^2$/604 fields, with 255 observations/field over the decade, split between g,r, and z bands. Our proposed survey will 1) obtain a census of main-belt comets; 2) probe Neptune's past migration history, by exploring the resonant structure of the Kuiper belt and the Neptune Trojan population; 3) explore the origin of Inner Oort cloud objects and place significant constraints on the existence of a hypothesized planet beyond Neptune; and 4) enable precise predictions of KBO stellar occultations. These high-ranked science goals of the Solar System Science Collaboration are only achievable with this proposed northern survey.


title: Theta series and generalized special cycles on Hermitian locally symmetric manifolds

abstract: We study generalized special cycles on Hermitian locally symmetric spaces $\Gamma \backslash D$ associated to the groups $G=\mathrm{U}(p,q)$, $\mathrm{Sp}(2n,\mathbb{R}) $ and $\mathrm{O}^*(2n)$. These cycles are (covered by) locally symmetric spaces associated to subgroups of $G$ which are of the same type. Using oscillator representation and a construction which essentially comes from the thesis of Greg Anderson, we show that Poincar\'e duals of these generalized special cycles can be viewed as Fourier coefficients of a theta series. This gives new cases of theta lifts from the cohomology of Hermtian locally symmetric manifolds associated to $G$ to vector valued automorphic forms associated to the groups $G'=\mathrm{U}(m,m)$, $\mathrm{O}(m,m)$ or $\mathrm{Sp}(m,m)$ which forms a reductive dual pair with $G$ in the sense of Howe.


title: A two-component model for identified-hadron $\bf p_t$ spectra from 5 TeV p-Pb collisions

abstract: In preparation for the heavy ion program at the relativistic heavy ion collider (RHIC) $d$-Au collisions were designated as a control experiment for possible discovery of a quark-gluon plasma (QGP) in more-central Au-Au collisions, and contrasting results from the two systems seemed to support such a discovery. In contrast, recent results ($p_t$-spectrum and angular-correlation features) from $p$-Pb collisions at the large hadron collider (LHC) have been interpreted to support claims of hydrodynamic flows and QGP formation even in small collision systems. The present study addresses such claims via a two-component (soft + hard) model (TCM) of identified-hadron (PID) $p_t$ spectra from 5 TeV $p$-Pb collisions. $p$-Pb centrality is adopted from a previous study of ensemble-mean $\bar p_t$ data from the same system. $p$-Pb $p_t$ spectra for pions, kaons, protons and Lambdas are described by the TCM within their point-to-point uncertainties. Invariance of the TCM hard component vs $p$-Pb centrality indicates that jet formation remains unchanged in $p$-Pb collisions relative to $p$-$p$ collisions, and radial-flow contributions to spectra are negligible. These $p$-Pb TCM results have implications for interpretation of similar data features from A-A collisions in terms of QGP formation.


title: Microscopic imaging of elastic deformation in diamond via in-situ stress tensor sensors

abstract: The precise measurement of mechanical stress at the nanoscale is of fundamental and technological importance. In principle, all six independent variables of the stress tensor, which describe the direction and magnitude of compression/tension and shear stress in a solid, can be exploited to tune or enhance the properties of materials and devices. However, existing techniques to probe the local stress are generally incapable of measuring the entire stress tensor. Here, we make use of an ensemble of atomic-sized in-situ strain sensors in diamond (nitrogen-vacancy defects) to achieve spatial mapping of the full stress tensor, with a sub-micrometer spatial resolution and a sensitivity of the order of 1 MPa (corresponding to a strain of less than $10^{-6}$). To illustrate the effectiveness and versatility of the technique, we apply it to a broad range of experimental situations, including mapping the elastic stress induced by localized implantation damage, nano-indents and scratches. In addition, we observe surprisingly large stress contributions from functional electronic devices fabricated on the diamond, and also demonstrate sensitivity to deformations of materials in contact with the diamond. Our technique could enable in-situ measurements of the mechanical response of diamond nanostructures under various stimuli, with potential applications in strain engineering for diamond-based quantum technologies and in nanomechanical sensing for on-chip mass spectroscopy.


title: Parametrization of the Yukawa matrix in the scotogenic model and single-zero textures of the neutrino mass matrix

abstract: As the first topic, we propose a new parametrization of the complex Yukawa matrix in the scotogenic model. The new parametrization is compatible with the particle data group parametrization of the neutrino sector. Some analytical expressions for the neutrino masses with the new parametrization are shown. As the second topic, we consider the phenomenology of the socotogenic model with the one-zero-textures of the neutrino flavor mass matrix. One of the six patterns of the neutrino mass matrix is favorable for the real Yukawa matrix. On the other hand, for the complex Yukawa matrix, five of the six patterns are compatible with observations of the neutrino oscillations, dark matter relic abundance and branching ratio of the $\mu \rightarrow e\gamma$ process.


title: Final taus and initial state polarization signatures from effective interactions of Majorana neutrinos at future $e^{+}e^{-}$ colliders

abstract: We study the possibility of future $e^{+}e^{-}$ colliders to disentangle different new physics contributions to the production of heavy sterile Majorana neutrinos in the lepton number violating channel $e^{+}e^{-}\rightarrow l^{+} l^{+}+ 4 jets$, with $l=e, \mu, \tau$. This is done investigating the final anti-tau polarization trails and initial beam polarization dependence of the signal on effective operators with distinct Dirac-Lorentz structure contributing to the Majorana neutrino production and decay, which parameterize new physics from a higher energy scale. We find both analyses could well disentangle possible vectorial and scalar operators contributions.


title: Boundary Vibration Control of Strain Gradient Timoshenko Micro-Cantilevers Using Piezoelectric Actuators

abstract: In this paper the problem of boundary control of vibration in a clamped-free strain gradient Timoshenko micro-cantilever is studied. For getting systems closer to reality, the force or moment exertion conditions should be modeled. To this end, a piezoelectric layer is laminated on one side of the beam and the controlling actuation is applied through the piezoelectric voltage. The beam and piezoelectric layer are coupled and modeled at the same time and the dynamic equations and boundary conditions of the system are achieved using the Hamilton principle. To achieve the purpose of eliminating vibration of the system, the control law is obtained from a Lyapunov function using Lasalle invariant set theorem. The control law has a form of feedback from the spatial derivatives of boundary states of the beam. The finite element method using the strain gradient Timoshenko beam element has been used and then the simulation is performed to illustrate the impact of the proposed controller to the micro beam.


title: Blockchain based secure data handover scheme in non-orthogonal multiple access

abstract: Non-orthogonal multiple access (NOMA) with successive interference cancellation receiver is considered as one of the most potent multiple access techniques to be adopted in future wireless communication networks. Data security in the NOMA transmission scheme is on much attention drawing issue. Blockchain is a distributed peer-to-peer network enables a way of protecting information from unauthorized access, tempering etc. By utilizing encryption techniques of blockchain, a secured data communication scheme using blockchain in NOMA is proposed in this paper. A two-phase encryption technique with key generation using different parameter is proposed. In the first-phase data is encrypted by imposing users' public key and in the second phase, a private key of the base station (BS) is engaged for encryption. Finally, the superiority of the proposed scheme over existing scheme is proven through a comparative study based on the different features.


title: Cross-Classification Clustering: An Efficient Multi-Object Tracking Technique for 3-D Instance Segmentation in Connectomics

abstract: Pixel-accurate tracking of objects is a key element in many computer vision applications, often solved by iterated individual object tracking or instance segmentation followed by object matching. Here we introduce cross-classification clustering (3C), a technique that simultaneously tracks complex, interrelated objects in an image stack. The key idea in cross-classification is to efficiently turn a clustering problem into a classification problem by running a logarithmic number of independent classifications per image, letting the cross-labeling of these classifications uniquely classify each pixel to the object labels. We apply the 3C mechanism to achieve state-of-the-art accuracy in connectomics -- the nanoscale mapping of neural tissue from electron microscopy volumes. Our reconstruction system increases scalability by an order of magnitude over existing single-object tracking methods (such as flood-filling networks). This scalability is important for the deployment of connectomics pipelines, since currently the best performing techniques require computing infrastructures that are beyond the reach of most laboratories. Our algorithm may offer benefits in other domains that require pixel-accurate tracking of multiple objects, such as segmentation of videos and medical imagery.


title: Aroma: Code Recommendation via Structural Code Search

abstract: Programmers often write code that has similarity to existing code written somewhere. A tool that could help programmers to search such similar code would be immensely useful. Such a tool could help programmers to extend partially written code snippets to completely implement necessary functionality, help to discover extensions to the partial code which are commonly included by other programmers, help to cross-check against similar code written by other programmers, or help to add extra code which would fix common mistakes and errors. We propose Aroma, a tool and technique for code recommendation via structural code search. Aroma indexes a huge code corpus including thousands of open-source projects, takes a partial code snippet as input, searches the corpus for method bodies containing the partial code snippet, and clusters and intersects the results of the search to recommend a small set of succinct code snippets which both contain the query snippet and appear as part of several methods in the corpus. We evaluated Aroma on 2000 randomly selected queries created from the corpus, as well as 64 queries derived from code snippets obtained from Stack Overflow, a popular website for discussing code. We implemented Aroma for 4 different languages, and developed an IDE plugin for Aroma. Furthermore, we conducted a study where we asked 12 programmers to complete programming tasks using Aroma, and collected their feedback. Our results indicate that Aroma is capable of retrieving and recommending relevant code snippets efficiently.


title: Goldman-Turaev formality implies Kashiwara-Vergne

abstract: Let $\Sigma$ be a compact connected oriented 2-dimensional manifold with non-empty boundary. In our previous work, we have shown that the solution of generalized (higher genus) Kashiwara-Vergne equations for an automorphism $F \in {\rm Aut}(L)$ of a free Lie algebra implies an isomorphism between the Goldman-Turaev Lie bialgebra $\mathfrak{g}(\Sigma)$ and its associated graded ${\rm gr}\, \mathfrak{g}(\Sigma)$. In this paper, we prove the converse: if $F$ induces an isomorphism $\mathfrak{g}(\Sigma) \cong {\rm gr} \, \mathfrak{g}(\Sigma)$, then it satisfies the Kashiwara-Vergne equations up to conjugation. As an application of our results, we compute the degree one non-commutative Poisson cohomology of the Kirillov-Kostant-Souriau double bracket. The main technical tool used in the paper is a novel characterization of conjugacy classes in the free Lie algebra in terms of cyclic words.


title: Rigid Foldability is NP-Hard

abstract: In this paper, we show that deciding rigid foldability of a given crease pattern using all creases is weakly NP-hard by a reduction from Partition, and that deciding rigid foldability with optional creases is strongly NP-hard by a reduction from 1-in-3 SAT. Unlike flat foldability of origami or flexibility of other kinematic linkages, whose complexity originates in the complexity of the layer ordering and possible self-intersection of the material, rigid foldability from a planar state is hard even though there is no potential self-intersection. In fact, the complexity comes from the combinatorial behavior of the different possible rigid folding configurations at each vertex. The results underpin the fact that it is harder to fold from an unfolded sheet of paper than to unfold a folded state back to a plane, frequently encountered problem when realizing folding-based systems such as self-folding matter and reconfigurable robots.


title: A Spectral Regularizer for Unsupervised Disentanglement

abstract: A generative model with a disentangled representation allows for independent control over different aspects of the output. Learning disentangled representations has been a recent topic of great interest, but it remains poorly understood. We show that even for GANs that do not possess disentangled representations, one can find curved trajectories in latent space over which local disentanglement occurs. These trajectories are found by iteratively following the leading right-singular vectors of the Jacobian of the generator with respect to its input. Based on this insight, we describe an efficient regularizer that aligns these vectors with the coordinate axes, and show that it can be used to induce disentangled representations in GANs, in a completely unsupervised manner.


title: Hierarchical Continuous Time Hidden Markov Model, with Application in Zero-Inflated Accelerometer Data

abstract: Wearable devices including accelerometers are increasingly being used to collect high-frequency human activity data in situ. There is tremendous potential to use such data to inform medical decision making and public health policies. However, modeling such data is challenging as they are high-dimensional, heterogeneous, and subject to informative missingness, e.g., zero readings when the device is removed by the participant. We propose a flexible and extensible continuous-time hidden Markov model to extract meaningful activity patterns from human accelerometer data. To facilitate estimation with massive data we derive an efficient learning algorithm that exploits the hierarchical structure of the parameters indexing the proposed model. We also propose a bootstrap procedure for interval estimation. The proposed methods are illustrated using data from the 2003 - 2004 and 2005 - 2006 National Health and Nutrition Examination Survey.


title: Sum of squares bounds for the ordering principle

abstract: In this paper, we analyze the sum of squares hierarchy (SOS) on the ordering principle on $n$ elements. We prove that degree $O(\sqrt{n}log(n))$ SOS can prove the ordering principle. We then show that this upper bound is essentially tight by proving that for any $\epsilon > 0$, SOS requires degree $\Omega(n^{\frac{1}{2} - \epsilon})$ to prove the ordering principle on $n$ elements.


title: Pre-Defined Sparse Neural Networks with Hardware Acceleration

abstract: Neural networks have proven to be extremely powerful tools for modern artificial intelligence applications, but computational and storage complexity remain limiting factors. This paper presents two compatible contributions towards reducing the time, energy, computational, and storage complexities associated with multilayer perceptrons. Pre-defined sparsity is proposed to reduce the complexity during both training and inference, regardless of the implementation platform. Our results show that storage and computational complexity can be reduced by factors greater than 5X without significant performance loss. The second contribution is an architecture for hardware acceleration that is compatible with pre-defined sparsity. This architecture supports both training and inference modes and is flexible in the sense that it is not tied to a specific number of neurons. For example, this flexibility implies that various sized neural networks can be supported on various sized Field Programmable Gate Array (FPGA)s.


title: Soft-particle lattice-gas in 1d: one- and two-component cases

abstract: The object of the present article is a 1d lattice-gas system comprised of soft-particles, wherein particles interact only if they occupy the same or a neighboring site, as a simple representation of penetrable particles of soft condensed matter. To represent different scenarios, two different realizations of the lattice model are considered, a one-component and a two-component system, where in the two-component case particles of the same species repel and those of opposite species attract each other. The systems are analyzed entirely within the transfer matrix framework. Special attention is paid to the criterion devised in Ref. [Phys. Rev. E 63, 031206 (2001)], which serves to separate two classes of behavior encountered in a one-component penetrable particle systems. In addition to confirm the existence of a similar criterion for the one-component lattice-gas model, we find that the same criterion can be applied to the two-component system to provide conditions for thermodynamic catastrophe.


title: Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption

abstract: In this paper, a partial proof of a conjecture raised by Galaktionov and Svirshchevskii concerning existence and global uniqueness of an asymptotically stable periodic orbit in a fourth-order piecewise linear ordinary differential equation is presented. The fourth-order equation comes from the study of traveling wave patterns in a signed Kuramoto-Sivashinsky equation with absorption. The proof is twofold. First, the problem of solving for the periodic orbit is transformed into a zero finding problem in four dimensional space, which is solved with a computer-assisted proof based on Newton's method and the contraction mapping theorem. Second, the rigorous bounds about the periodic orbit in phase space are combined with the theory of discontinuous dynamical systems to prove that the orbit is asymptotically stable.


title: Conic Crease Patterns with Reflecting Rule Lines

abstract: We characterize when two conic curved creases are compatible with each other, when the rule lines must converge to conic foci and reflect at the crease. Namely, two conics are compatible (can be connected by rule segments in a foldable curved crease pattern) if and only if they have equal or reciprocal eccentricity. Thus, circles (eccentricity 0) and parabolas (eccentricity 1) are compatible with only themselves (when scaled from a focus), and ellipses (eccentricity strictly between 0 and 1) and hyperbolas (eccentricity above 1) are compatible with themselves and each other (but only in specific pairings). The foundation of this result is a general condition relating any two curved creases connected by rule segments. We also use our characterization to analyze several curved crease designs.


title: $\Delta$-Algebra and Scattering Amplitudes

abstract: In this paper we study an algebra that naturally combines two familiar operations in scattering amplitudes: computations of volumes of polytopes using triangulations and constructions of canonical forms from products of smaller ones. We mainly concentrate on the case of $G(2,n)$ as it controls both general MHV leading singularities and CHY integrands for a variety of theories. This commutative algebra has also appeared in the study of configuration spaces and we called it the $\Delta$-algebra. As a natural application, we generalize the well-known square move. This allows us to generate infinite families of new moves between non-planar on-shell diagrams. We call them sphere moves. Using the $\Delta$-algebra we derive familiar results, such as the KK and BCJ relations, and prove novel formulas for higher-order relations. Finally, we comment on generalizations to $G(k,n)$.


title: Shape evolution of Zr nuclei and roles of tensor force

abstract: Shape evolution of Zr nuclei are investigated by the axial Hartree-Fock (HF) calculations using the semi-realistic interaction M3Y-P6, with focusing on roles of the tensor force. Deformation at $N\approx 40$ is reproduced, which has not been easy to describe within the self-consistent mean-field calculations. The spherical shape is obtained in $46\leq N\leq 56$, and the prolate deformation is predicted in $58\leq N\leq 72$, while the shape switches to oblate at $N=74$. The sphericity returns at $N=80$ and $82$. The deformation in $60\lesssim N\lesssim 70$ resolves the discrepancy in the previous magic-number prediction based on the spherical mean-field calculations [Prog. Theor. Exp. Phys. \textbf{2014}, 033D02]. It is found that the deformation at $N\approx 40$ takes place owing to the tensor force with a good balance. The tensor-force effects significantly depend on the configurations, and are pointed out to be conspicuous when the unique-parity orbit (e.g. $n0h_{11/2}$) is present near the Fermi energy, delaying deformation. These effects are crucial for the magicity at $N=56$ and for the predicted shape change at $N=74$ and $80$.


title: On incompressible multidimensional networks

abstract: In order to deal with multidimensional structure representations of real-world networks, as well as with their worst-case irreducible information content analysis, the demand for new graph abstractions increases. This article presents an investigation of incompressible multidimensional networks defined by generalized graph representations. In particular, we mathematically study the lossless incompressibility of snapshot-dynamic networks and multiplex networks in comparison to the lossless incompressibility of more general forms of dynamic networks and multilayer networks, from which snapshot-dynamic networks or multiplex networks are particular cases. We show that incompressible snapshot-dynamic (or multiplex) networks carry an amount of algorithmic information that is linearly dominated by the size of the set of time instants (or layers). This contrasts with the algorithmic information carried by incompressible general dynamic (or multilayer) networks that is of the quadratic order of the size of the set of time instants (or layers). Furthermore, we prove that incompressible general multidimensional networks have edges linking vertices at non-sequential time instants (layers or, in general, elements of a node dimension). Thus, representational incompressibility implies a necessary underlying constraint in the multidimensional network topology.


title: Beyond Toy Models: Distilling Tensor Networks in Full AdS/CFT

abstract: We present a general procedure for constructing tensor networks that accurately reproduce holographic states in conformal field theories (CFTs). Given a state in a large-$N$ CFT with a static, semiclassical gravitational dual, we build a tensor network by an iterative series of approximations that eliminate redundant degrees of freedom and minimize the bond dimensions of the resulting network. We argue that the bond dimensions of the tensor network will match the areas of the corresponding bulk surfaces. For 'tree' tensor networks (i.e., those that are constructed by discretizing spacetime with non-intersecting Ryu-Takayanagi surfaces), our arguments can be made rigorous using a version of one-shot entanglement distillation in the CFT. Using the known quantum error correcting properties of AdS/CFT, we show that bulk legs can be added to the tensor networks to create holographic quantum error correcting codes. These codes behave similarly to previous holographic tensor network toy models, but describe actual bulk excitations in continuum AdS/CFT. By assuming some natural generalizations of the 'holographic entanglement of purification' conjecture, we are able to construct tensor networks for more general bulk discretizations, leading to finer-grained networks that partition the information content of a Ryu-Takayanagi surface into tensor-factorized subregions. While the granularity of such a tensor network must be set larger than the string/Planck scales, we expect that it can be chosen to lie well below the AdS scale. However, we also prove a no-go theorem which shows that the bulk-to-boundary maps cannot all be isometries in a tensor network with intersecting Ryu-Takayanagi surfaces.


title: Test of Covariance and Correlation Matrices

abstract: Based on a generalized cosine measure between two symmetric matrices, we propose a general framework for one-sample and two-sample tests of covariance and correlation matrices. We also develop a set of associated permutation algorithms for some common one-sample tests, such as the tests of sphericity, identity and compound symmetry, and the $K$-sample tests of multivariate equality of covariance or correlation matrices. The proposed method is very flexible in the sense that it does not assume any underlying distributions and data generation models. Moreover, it allows data to have different marginal distributions in both the one-sample identity and $K$-sample tests. Through real datasets and extensive simulations, we demonstrate that the proposed method performs well in terms of empirical type I error and power in a variety of hypothesis testing situations in which data of different sizes and dimensions are generated using different distributions and generation models.


title: Some manifold learning considerations towards explicit model predictive control

abstract: Model predictive control (MPC) is a de facto standard control algorithm across the process industries. There remain, however, applications where MPC is impractical because an optimization problem is solved at each time step. We present a link between explicit MPC formulations and manifold learning to enable facilitated prediction of the MPC policy. Our method uses a similarity measure informed by control policies and system state variables, to "learn" an intrinsic parametrization of the MPC controller using a diffusion maps algorithm, which will also discover a low-dimensional control law when it exists as a smooth, nonlinear combination of the state variables. We use function approximation algorithms to project points from state space to the intrinsic space, and from the intrinsic space to policy space. The approach is illustrated first by "learning" the intrinsic variables for MPC control of constrained linear systems, and then by designing controllers for an unstable nonlinear reactor.


title: Infinite measure mixing for some mechanical systems

abstract: We show that if an infinite measure preserving system is well approximated on most of the phase space by a system satisfying the local limit theorem, then the original system enjoys mixing with respect to global observables, that is, the observables which admit an infinite volume average. The systems satisfying our conditions include the Lorentz gas with Coulomb potential, the Galton board and piecewise smooth Fermi-Ulam pingpongs.


title: Capacity and outage analysis of a dual-hop decode-and-forward relay-aided NOMA scheme

abstract: Non-orthogonal multiple access (NOMA) is regarded as a candidate radio access technique for the next generation wireless networks because of its manifold spectral gains. A two-phase cooperative relaying strategy (CRS) is proposed in this paper by exploiting the concept of both downlink and uplink NOMA (termed as DU-CNOMA). In the proposed protocol, a transmitter considered as a source transmits a NOMA composite signal consisting of two symbols to the destination and relay during the first phase, following the principle of downlink NOMA. In the second phase, the relay forwards the symbol decoded by successive interference cancellation to the destination, whereas the source transmits a new symbol to the destination in parallel with the relay, following the principle of uplink NOMA. The ergodic sum capacity, outage probability, and outage sum capacity are investigated comprehensively along with analytical derivations, under both perfect and imperfect successive interference cancellation. The performance improvement of the proposed DU-CNOMA over the conventional CRS using NOMA, is proved through analysis and computer simulation. Furthermore, the correctness of the author's analysis is proved through a strong agreement between simulation and analytical results.


title: Holographic Quantum Circuits from Splitting/Joining Local Quenches

abstract: We study three different types of local quenches (local operator, splitting and joining) in both the free fermion and holographic CFTs in two dimensions. We show that the computation of a quantity called entanglement density, provides a systematic method to capture essential properties of local quenches. This allows us to clearly understand the differences between the free and holographic CFTs as well as the distinctions between three local quenches. We also analyze holographic geometries of splitting/joining local quenches using the AdS/BCFT prescription. We show that they are essentially described by time evolutions of boundary surfaces in the bulk AdS. We find that the logarithmic time evolution of entanglement entropy arises from the region behind the Poincare horizon as well as the evolutions of boundary surfaces. In the CFT side, our analysis of entanglement density suggests such a logarithmic growth is due to initial non-local quantum entanglement just after the quench. Finally, by combining our results, we propose a new class of gravity duals, which are analogous to quantum circuits or tensor networks such as MERA, based on the AdS/BCFT construction.


title: Recovering missing CFD data for high-order discretizations using deep neural networks and dynamics learning

abstract: Data I/O poses a significant bottleneck in large-scale CFD simulations; thus, practitioners would like to significantly reduce the number of times the solution is saved to disk, yet retain the ability to recover any field quantity (at any time instance) a posteriori. The objective of this work is therefore to accurately recover missing CFD data a posteriori at any time instance, given that the solution has been written to disk at only a relatively small number of time instances. We consider in particular high-order discretizations (e.g., discontinuous Galerkin), as such techniques are becoming increasingly popular for the simulation of highly separated flows. To satisfy this objective, this work proposes a methodology consisting of two stages: 1) dimensionality reduction and 2) dynamics learning. For dimensionality reduction, we propose a novel hierarchical approach. First, the method reduces the number of degrees of freedom within each element of the high-order discretization by applying autoencoders from deep learning. Second, the methodology applies principal component analysis to compress the global vector of encodings. This leads to a low-dimensional state, which associates with a nonlinear embedding of the original CFD data. For dynamics learning, we propose to apply regression techniques (e.g., kernel methods) to learn the discrete-time velocity characterizing the time evolution of this low-dimensional state. A numerical example on a large-scale CFD example characterized by nearly 13 million degrees of freedom illustrates the suitability of the proposed method in an industrial setting.


title: A scalable multi-GPU method for semi-implicit fractional-step integration of incompressible Navier-Stokes equations

abstract: A new flow solver scalable on multiple Graphics Processing Units (GPUs) for direct numerical simulation of wall-bounded incompressible flow is presented. This solver utilizes a previously reported work (J. Comp. Physics, vol. 352 (2018), pp.246-264) which proposes a semi-implicit fractional-step method on a single GPU. Extension of this work to accommodate multiple GPUs becomes inefficient when global transpose is used in the Alternating Direction Implicit (ADI) and Fourier-transform-based direct methods. A new strategy for designing an efficient multi-GPU solver is described to completely remove global transpose and achieve high scalability. Parallel Diagonal Dominant (PDD) and Parallel Partition (PPT) methods are implemented for GPUs to obtain good scaling and preserve accuracy. An overall efficiency of 0.89 is shown. Turbulent flat-plate boundary layer is simulated on 607M grid points using 4 Tesla P100 GPUs.


title: The Dynamic Shift of Neuron Excitability Observed with Enveloped High Frequency Stimulation

abstract: Neuronal excitability is known to be affected by transcranial electrical stimulation. However, due to the existence of both excitatory and inhibitory neurons in the cortex, the mechanism of neuronal excitability shift is still not clear. Here, we study electrical stimulation disturbance on neuronal excitability in the neuromuscular system on an acute rat model. We design a special stimulation waveform of enveloped high frequency stimulation (EHFS). With modeling and in vivo measurements, EHFS is confirmed to synchronize the neuronal recruitment at the positive and negative electrode. This unique synchronization property of EHFS amplifies the electrical stimulation disturbance on neuronal excitability, to enable the macroscopic observations of large increase and decrease of force output. By eliminating the complicated inhibitory interneuron effects in the cortex, our observations on the neuromuscular system supports the argument that electrical stimulation dynamically shifts neuronal excitability, by inducing depolarization during anodal stimulation and hyperpolarization during cathodal stimulation.


title: Deep Generative Modeling of LiDAR Data

abstract: Building models capable of generating structured output is a key challenge for AI and robotics. While generative models have been explored on many types of data, little work has been done on synthesizing lidar scans, which play a key role in robot mapping and localization. In this work, we show that one can adapt deep generative models for this task by unravelling lidar scans into a 2D point map. Our approach can generate high quality samples, while simultaneously learning a meaningful latent representation of the data. We demonstrate significant improvements against state-of-the-art point cloud generation methods. Furthermore, we propose a novel data representation that augments the 2D signal with absolute positional information. We show that this helps robustness to noisy and imputed input; the learned model can recover the underlying lidar scan from seemingly uninformative data


title: Parallel-tempered Stochastic Gradient Hamiltonian Monte Carlo for Approximate Multimodal Posterior Sampling

abstract: We propose a new sampler that integrates the protocol of parallel tempering with the Nos\'e-Hoover (NH) dynamics. The proposed method can efficiently draw representative samples from complex posterior distributions with multiple isolated modes in the presence of noise arising from stochastic gradient. It potentially facilitates deep Bayesian learning on large datasets where complex multimodal posteriors and mini-batch gradient are encountered.


title: Optical Transistor for an Amplification of Radiation in a Broadband THz Domain

abstract: We propose a new type of optical transistor for a broadband amplification of THz radiation. It is made of a graphene--superconductor hybrid, where electrons and Cooper pairs couple by Coulomb forces. The transistor operates via the propagation of surface plasmons in both layers, and the origin of amplification is the quantum capacitance of graphene. It leads to THz waves amplification, the negative power absorption, and as a result, the system yields positive gain, and the hybrid acts like an optical transistor, operating with the terahertz light. It can, in principle, amplify even a whole spectrum of chaotic signals (or noise), that is required for numerous biological applications.


title: Non-local topological electromagnetic phases of matter

abstract: In 2+1D, topological electromagnetic phases are defined as atomic-scale media which host photonic monopoles in the bulk band structure and respect bosonic symmetries. Additionally, they support topologically protected spin-1 edge states, which are fundamentally different than spin-1/2 and pseudo-spin-1/2 edge states arising in fermionic and pseudo-fermionic systems. The striking feature of the edge state is that all electric and magnetic field components vanish at the boundary. This surprising open boundary solution of Maxwell's equations, dubbed the quantum gyroelectric effect [Phys. Rev. A 98, 023842 (2018)], only occurs in the presence of temporal as well as spatial dispersion (nonlocality) and is the supersymmetric partner of the topological Dirac edge state where the spinor wave function completely vanishes at the boundary. In this paper, we generalize these topological electromagnetic phases beyond the continuum approximation to the exact lattice field theory of a periodic atomic crystal. To accomplish this, we put forth the concept of microscopic (nonlocal) photonic band structure of solids, analogous to the traditional theory of electronic band structure. Our definition of topological invariants and topological phases uses optical Bloch modes and can be applied to naturally occurring crystalline materials. For the photon propagating within a crystal, our theory shows that besides the Chern invariant $\mathfrak{C}\in\mathbb{Z}$, there are also symmetry-protected topological (SPT) invariants $\nu\in\mathbb{Z}_N$ which are related to the cyclic point group $C_N$ of the crystal $\nu=\mathfrak{C}\mod N$. Due to the rotational symmetries of light $\mathcal{R}(2\pi)=+1$, these SPT phases are manifestly bosonic and behave very differently from their fermionic counterparts $\mathcal{R}(2\pi)=-1$ encountered in conventional condensed matter systems.


title: Making BREAD: Biomimetic strategies for Artificial Intelligence Now and in the Future

abstract: The Artificial Intelligence (AI) revolution foretold of during the 1960s is well underway in the second decade of the 21st century. Its period of phenomenal growth likely lies ahead. Still, we believe, there are crucial lessons that biology can offer that will enable a prosperous future for AI. For machines in general, and for AI's especially, operating over extended periods or in extreme environments will require energy usage orders of magnitudes more efficient than exists today. In many operational environments, energy sources will be constrained. Any plans for AI devices operating in a challenging environment must begin with the question of how they are powered, where fuel is located, how energy is stored and made available to the machine, and how long the machine can operate on specific energy units. Hence, the materials and technologies that provide the needed energy represent a critical challenge towards future use-scenarios of AI and should be integrated into their design. Here we make four recommendations for stakeholders and especially decision makers to facilitate a successful trajectory for this technology. First, that scientific societies and governments coordinate Biomimetic Research for Energy-efficient, AI Designs (BREAD); a multinational initiative and a funding strategy for investments in the future integrated design of energetics into AI. Second, that biomimetic energetic solutions be central to design consideration for future AI. Third, that a pre-competitive space be organized between stakeholder partners and fourth, that a trainee pipeline be established to ensure the human capital required for success in this area.


title: Rethinking animal social complexity measures with the help of complex systems concepts

abstract: Explaining how and why some species evolved to have more complex social structures than others has been a long-term goal for many researchers in animal behavior because it would provide important insight into the links between evolution and ecology, sociality, and cognition. However, despite long-standing interest, the evolution of social complexity is still poorly understood. This may be due in part to researchers focusing on the feasibility of quantifying aspects of sociality, rather than what features are characteristic of animal social complexity in the first place. Any given approach to studying complexity can tell us some things about animal sociality, but may miss others, so it is critical to decide first how to conceptualize complexity before jumping in to quantifying it. Here, we briefly summarize five existing approaches to measuring social complexity. Then, we highlight three fundamental concepts that are commonly used in the field of complex systems: (1) scales of organization, (2) compression, and (3) emergence. All of these concepts are applicable to the study of animal social systems, but are not often explicitly addressed in existing social complexity measures. We discuss how these concepts can provide a rigorous foundation for conceptualizing social complexity, the potential benefits of incorporating them, and how existing measures do (or do not) include them. Ultimately, researchers need to critically evaluate any measure of animal social complexity in order to balance the biological relevance of the aspect of sociality they are quantifying with the feasibility of obtaining enough data.


title: FRAME Revisited: An Interpretation View Based on Particle Evolution

abstract: FRAME (Filters, Random fields, And Maximum Entropy) is an energy-based descriptive model that synthesizes visual realism by capturing mutual patterns from structural input signals. The maximum likelihood estimation (MLE) is applied by default, yet conventionally causes the unstable training energy that wrecks the generated structures, which remains unexplained. In this paper, we provide a new theoretical insight to analyze FRAME, from a perspective of particle physics ascribing the weird phenomenon to KL-vanishing issue. In order to stabilize the energy dissipation, we propose an alternative Wasserstein distance in discrete time based on the conclusion that the Jordan-Kinderlehrer-Otto (JKO) discrete flow approximates KL discrete flow when the time step size tends to 0. Besides, this metric can still maintain the model's statistical consistency. Quantitative and qualitative experiments have been respectively conducted on several widely used datasets. The empirical studies have evidenced the effectiveness and superiority of our method.


title: Bag of Tricks for Image Classification with Convolutional Neural Networks

abstract: Much of the recent progress made in image classification research can be credited to training procedure refinements, such as changes in data augmentations and optimization methods. In the literature, however, most refinements are either briefly mentioned as implementation details or only visible in source code. In this paper, we will examine a collection of such refinements and empirically evaluate their impact on the final model accuracy through ablation study. We will show that, by combining these refinements together, we are able to improve various CNN models significantly. For example, we raise ResNet-50's top-1 validation accuracy from 75.3% to 79.29% on ImageNet. We will also demonstrate that improvement on image classification accuracy leads to better transfer learning performance in other application domains such as object detection and semantic segmentation.


title: Reducing Seed Bias in Respondent-Driven Sampling by Estimating Block Transition Probabilities

abstract: Respondent-driven sampling (RDS) is a popular approach to study marginalized or hard-to-reach populations. It collects samples from a networked population by incentivizing participants to refer their friends into the study. One major challenge in analyzing RDS samples is seed bias. Seed bias refers to the fact that when the social network is divided into multiple communities (or blocks), the RDS sample might not provide a balanced representation of the different communities in the population, and such unbalance is correlated with the initial participant (or the seed). In this case, the distributions of estimators are typically non-trivial mixtures, which are determined (1) by the seed and (2) by how the referrals transition from one block to another. This paper shows that (1) block-transition probabilities are easy to estimate with high accuracy, and (2) we can use these estimated block-transition probabilities to estimate the stationary distribution over blocks and thus, an estimate of the block proportions. This stationary distribution on blocks has previously been used in the RDS literature to evaluate whether the sampling process has appeared to `mix'. We use these estimated block proportions in a simple post-stratified (PS) estimator that greatly diminishes seed bias. By aggregating over the blocks/strata in this way, we prove that the PS estimator is $\sqrt{n}$-consistent under a Markov model, even when other estimators are not. Simulations show that the PS estimator has smaller Root Mean Square Error (RMSE) compared to the state-of-the-art estimators.


title: The Dynamical Behavior of Reconnection-driven Termination Shocks in Solar Flares: Magnetohydrodynamic Simulations

abstract: In eruptive solar flares, termination shocks (TSs), formed when high-speed reconnection outflows collide with closed dense flaring loops, are believed to be one of the possible candidates for plasma heating and particle acceleration. In this work, we perform resistive magnetohydrodynamic simulations in a classic Kopp-Pneuman flare configuration to study the formation and evolution of TSs, and analyze in detail the dynamic features of TSs and variations of the shock strength in space and time. This research focuses on the fast reconnection phase when plasmoids form and produce small-scale structures inside the flare current sheet. It is found that the TS emerges once the downward outflow colliding with closed magnetic loops becomes super-magnetosonic, and immediately becomes highly dynamical. The morphology of a TS can be flat, oblique, or curved depending on the detailed interactions between the outflows/plasmoids and the highly dynamic plasma in the looptop region. The TS becomes weaker when a plasmoid is crossing through, or may even be destroyed by well developed plasmoids and then re-constructed above the plasmoids. We also perform detailed statistical analysis on important physical quantities along and across the shock front. The density and temperature ratios range from 1 to 3 across the TS front, and the pressure ratio typically has larger values up to 10. We show that weak guide fields do not strongly affect the Mach number and compression ratios, and the TS length becomes slightly larger in the case with thermal conduction.


title: EENMF: An End-to-End Neural Matching Framework for E-Commerce Sponsored Search

abstract: E-commerce sponsored search contributes an important part of revenue for the e-commerce company. In consideration of effectiveness and efficiency, a large-scale sponsored search system commonly adopts a multi-stage architecture. We name these stages as ad retrieval, ad pre-ranking and ad ranking. Ad retrieval and ad pre-ranking are collectively referred to as ad matching in this paper. We propose an end-to-end neural matching framework (EENMF) to model two tasks---vector-based ad retrieval and neural networks based ad pre-ranking. Under the deep matching framework, vector-based ad retrieval harnesses user recent behavior sequence to retrieve relevant ad candidates without the constraint of keyword bidding. Simultaneously, the deep model is employed to perform the global pre-ranking of ad candidates from multiple retrieval paths effectively and efficiently. Besides, the proposed model tries to optimize the pointwise cross-entropy loss which is consistent with the objective of predict models in the ranking stage. We conduct extensive evaluation to validate the performance of the proposed framework. In the real traffic of a large-scale e-commerce sponsored search, the proposed approach significantly outperforms the baseline.


title: Synthetic observations of H$_2$D$^+$ towards high-mass starless cores

abstract: Young massive stars are usually found embedded in dense and massive molecular clumps and are known for being highly obscured and distant. During their formation process, deuteration is regarded as a potentially good indicator of the formation stage. Therefore, proper observations of such deuterated molecules are crucial, but still, hard to perform. In this work, we test the observability of the transition o-H$_2$D$^+(1_{10}$-$1_{11})$, using a synthetic source, to understand how the physical characteristics are reflected in observations through interferometers and single-dish telescopes. In order to perform such tests, we post-processed a magneto-hydrodynamic simulation of a collapsing magnetized core using the radiative transfer code POLARIS. Using the resulting intensity distributions as input, we performed single-dish (APEX) and interferometric (ALMA) synthetic observations at different evolutionary times, always mimicking realistic configurations. Finally, column densities were derived to compare our simulations with real observations previously performed. Our derivations for o-H$_2$D$^+$ are in agreement with values reported in the literature, in the range of 10$^{\!10-11}$cm$^{\!-2}$ and 10$^{\!12-13}$cm$^{\!-2}$ for single-dish and interferometric measurements, respectively.


title: Learning to Fuse Things and Stuff

abstract: We propose an end-to-end learning approach for panoptic segmentation, a novel task unifying instance (things) and semantic (stuff) segmentation. Our model, TASCNet, uses feature maps from a shared backbone network to predict in a single feed-forward pass both things and stuff segmentations. We explicitly constrain these two output distributions through a global things and stuff binary mask to enforce cross-task consistency. Our proposed unified network is competitive with the state of the art on several benchmarks for panoptic segmentation as well as on the individual semantic and instance segmentation tasks.


title: e-SNLI: Natural Language Inference with Natural Language Explanations

abstract: In order for machine learning to garner widespread public adoption, models must be able to provide interpretable and robust explanations for their decisions, as well as learn from human-provided explanations at train time. In this work, we extend the Stanford Natural Language Inference dataset with an additional layer of human-annotated natural language explanations of the entailment relations. We further implement models that incorporate these explanations into their training process and output them at test time. We show how our corpus of explanations, which we call e-SNLI, can be used for various goals, such as obtaining full sentence justifications of a model's decisions, improving universal sentence representations and transferring to out-of-domain NLI datasets. Our dataset thus opens up a range of research directions for using natural language explanations, both for improving models and for asserting their trust.


title: A Retrieve-and-Edit Framework for Predicting Structured Outputs

abstract: For the task of generating complex outputs such as source code, editing existing outputs can be easier than generating complex outputs from scratch. With this motivation, we propose an approach that first retrieves a training example based on the input (e.g., natural language description) and then edits it to the desired output (e.g., code). Our contribution is a computationally efficient method for learning a retrieval model that embeds the input in a task-dependent way without relying on a hand-crafted metric or incurring the expense of jointly training the retriever with the editor. Our retrieve-and-edit framework can be applied on top of any base model. We show that on a new autocomplete task for GitHub Python code and the Hearthstone cards benchmark, retrieve-and-edit significantly boosts the performance of a vanilla sequence-to-sequence model on both tasks.


title: Sensorless Pose Determination using Randomized Action Sequences

abstract: This paper is a study of 2D manipulation without sensing and planning, by exploring the effects of unplanned randomized action sequences on 2D object pose uncertainty. Our approach follows the work of Erdmann and Mason's sensorless reorienting of an object into a completely determined pose, regardless of its initial pose. While Erdmann and Mason proposed a method using Newtonian mechanics, this paper shows that under some circumstances, a long enough sequence of random actions will also converge toward a determined final pose of the object. This is verified through several simulation and real robot experiments where randomized action sequences are shown to reduce entropy of the object pose distribution. The effects of varying object shapes, action sequences, and surface friction are also explored.


title: Enhancing Physical Layer Security for NOMA Transmission in mmWave Drone Networks

abstract: Physical layer security (PLS) is critically important for emerging wireless communication networks to maintain the confidentiality of the information of legitimate users. In this paper, we investigate enhancing PLS in an unmanned aerial vehicle (UAV) based communication network where a UAV acting as an aerial base station (BS) provides coverage in a densely packed user area (such as a stadium or a concert area). In particular, non-orthogonal multiple access (NOMA) together with highly-directional multi-antenna transmission techniques in mmWave frequency bands are utilized for improving spectral efficiency. In order to achieve PLS against potential eavesdropper attacks, we introduce a protected zone around the user region. However, limited resource availability refrain protected zone being extended to cover the entire eavesdropper region. Hence, we propose an approach to optimize the protected zone shape (for fixed area) at each UAV-BS hovering altitude. The associated secrecy performance is evaluated considering the secrecy outage and sum secrecy rates. Numerical results reveal the importance of protected zone shape optimization at each altitude to maximize NOMA secrecy rates.


title: Superion: Grammar-Aware Greybox Fuzzing

abstract: In recent years, coverage-based greybox fuzzing has proven itself to be one of the most effective techniques for finding security bugs in practice. Particularly, American Fuzzy Lop (AFL for short) is deemed to be a great success in fuzzing relatively simple test inputs. Unfortunately, when it meets structured test inputs such as XML and JavaScript, those grammar-blind trimming and mutation strategies in AFL hinder the effectiveness and efficiency. To this end, we propose a grammar-aware coverage-based greybox fuzzing approach to fuzz programs that process structured inputs. Given the grammar (which is often publicly available) of test inputs, we introduce a grammar-aware trimming strategy to trim test inputs at the tree level using the abstract syntax trees (ASTs) of parsed test inputs. Further, we introduce two grammar-aware mutation strategies (i.e., enhanced dictionary-based mutation and tree-based mutation). Specifically, tree-based mutation works via replacing subtrees using the ASTs of parsed test inputs. Equipped with grammar-awareness, our approach can carry the fuzzing exploration into width and depth. We implemented our approach as an extension to AFL, named Superion; and evaluated the effectiveness of Superion on real-life large-scale programs (a XML engine libplist and three JavaScript engines WebKit, Jerryscript and ChakraCore). Our results have demonstrated that Superion can improve the code coverage (i.e., 16.7% and 8.8% in line and function coverage) and bug-finding capability (i.e., 31 new bugs, among which we discovered 21 new vulnerabilities with 16 CVEs assigned and 3.2K USD bug bounty rewards received) over AFL and jsfunfuzz. We also demonstrated the effectiveness of our grammar-aware trimming and mutation.


title: Adversarial Example Decomposition

abstract: Research has shown that widely used deep neural networks are vulnerable to carefully crafted adversarial perturbations. Moreover, these adversarial perturbations often transfer across models. We hypothesize that adversarial weakness is composed of three sources of bias: architecture, dataset, and random initialization. We show that one can decompose adversarial examples into an architecture-dependent component, data-dependent component, and noise-dependent component and that these components behave intuitively. For example, noise-dependent components transfer poorly to all other models, while architecture-dependent components transfer better to retrained models with the same architecture. In addition, we demonstrate that these components can be recombined to improve transferability without sacrificing efficacy on the original model.


title: Twitter-based traffic information system based on vector representations for words

abstract: Recently, researchers have shown an increased interest in harnessing Twitter data for dynamic monitoring of traffic conditions. Bag-of-words representation is a common method in literature for tweet modeling and retrieving traffic information, yet it suffers from the curse of dimensionality and sparsity. To address these issues, our specific objective is to propose a simple and robust framework on the top of word embedding for distinguishing traffic-related tweets against non-traffic-related ones. In our proposed model, a tweet is classified as traffic-related if semantic similarity between its words and a small set of traffic keywords exceeds a threshold value. Semantic similarity between words is captured by means of word-embedding models, which is an unsupervised learning tool. The proposed model is as simple as having only one trainable parameter. The model takes advantage of outstanding merits, which are demonstrated through several evaluation steps. The state-of-the-art test accuracy for our proposed model is 95.9%.


title: PES: Priority Edge Sampling in Streaming Triangle Estimation

abstract: The number of triangles (hereafter denoted by $\Delta$) is an important metric to analyze massive graphs. It is also used to compute clustering coefficient in networks. This paper proposes a new algorithm called PES (Priority Edge Sampling) to estimate the number of triangles in the streaming model where we need to minimize the memory window. PES combines edge sampling and reservoir sampling. Compared with the state-of-the-art streaming algorithms, PES outperforms consistently. The results are verified extensively in 48 large real-world networks in different domains and structures. The performance ratio can be as large as 11. More importantly, the ratio grows with data size almost exponentially. This is especially important in the era of big data--while we can tolerate existing algorithms for smaller datasets, our method is indispensable when sampling very large data. In addition to empirical comparisons, we also proved that the estimator is unbiased, and derived the variance.


title: Evolutionary Computing Approach to Optimize Superframe Scheduling on Industrial Wireless Sensor Networks

abstract: There has been a paradigm shift in the industrial wireless sensor domain caused by the Internet of Things (IoT). IoT is a thriving technology leading the way in short range and fixed wireless sensing. One of the issues in Industrial Wireless Sensor Network-IWSN is finding the optimal solution for minimizing the defect time in superframe scheduling. This paper proposes a method using the evolutionary algorithms approach namely particle swarm optimization (PSO), Orthogonal Learning PSO, genetic algorithms (GA) and modified GA for optimizing the scheduling of superframe. We have also evaluated a contemporary method, deadline monotonic scheduling on the ISA 100.11a. By using this standard as a case study, the presented simulations are object-oriented based, with numerous variations in the number of timeslots and wireless sensor nodes. The simulation results show that the use of GA and modified GA can provide better performance for idle and missed deadlines. A comprehensive and detailed performance evaluation is given in the paper.


title: Federated Echo State Learning for Minimizing Breaks in Presence in Wireless Virtual Reality Networks

abstract: In this paper, the problem of enhancing the virtual reality (VR) experience for wireless users is investigated by minimizing the occurrence of breaks in presence (BIP) that can detach the users from their virtual world. To measure the BIP for wireless VR users, a novel model that jointly considers the VR application type, transmission delay, VR video quality, and users' awareness of the virtual environment is proposed. In the developed model, the base stations (BSs) transmit VR videos to the wireless VR users using directional transmission links so as to provide high data rates for the VR users, thus, reducing the number of BIP for each user. Since the body movements of a VR user may result in a blockage of its wireless link, the location and orientation of VR users must also be considered when minimizing BIP. The BIP minimization problem is formulated as an optimization problem which jointly considers the predictions of users' locations, orientations, and their BS association. To predict the orientation and locations of VR users, a distributed learning algorithm based on the machine learning framework of deep (ESNs) is proposed. The proposed algorithm uses concept from federated learning to enable multiple BSs to locally train their deep ESNs using their collected data and cooperatively build a learning model to predict the entire users' locations and orientations. Using these predictions, the user association policy that minimizes BIP is derived. Simulation results demonstrate that the developed algorithm reduces the users' BIP by up to 16% and 26%, respectively, compared to centralized ESN and deep learning algorithms.


title: Walking on Thin Air: Environment-Free Physics-based Markerless Motion Capture

abstract: We propose a generative approach to physics-based motion capture. Unlike prior attempts to incorporate physics into tracking that assume the subject and scene geometry are calibrated and known a priori, our approach is automatic and online. This distinction is important since calibration of the environment is often difficult, especially for motions with props, uneven surfaces, or outdoor scenes. The use of physics in this context provides a natural framework to reason about contact and the plausibility of recovered motions. We propose a fast data-driven parametric body model, based on linear-blend skinning, which decouples deformations due to pose, anthropometrics and body shape. Pose (and shape) parameters are estimated using robust ICP optimization with physics-based dynamic priors that incorporate contact. Contact is estimated from torque trajectories and predictions of which contact points were active. To our knowledge, this is the first approach to take physics into account without explicit {\em a priori} knowledge of the environment or body dimensions. We demonstrate effective tracking from a noisy single depth camera, improving on state-of-the-art results quantitatively and producing better qualitative results, reducing visual artifacts like foot-skate and jitter.


title: Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications

abstract: Control and communication are often tightly coupled in motion planning of networked mobile robots, due to the fact that robotic motions will affect the overall communication quality, and the quality of service (QoS) of the communication among the robots will in turn affect their coordination performance. In this paper, we propose a control theoretical motion planning framework for a team of networked mobile robots in order to accomplish high-level spatial and temporal motion objectives while optimizing communication QoS. Desired motion specifications are formulated as Signal Temporal Logic (STL), whereas the communication performances to be optimized are captured by recently proposed Spatial Temporal Reach and Escape Logic (STREL) formulas. Both the STL and STREL specifications are encoded as mixed integer linear constraints posed on the system and/or environment state variables of the mobile robot network, where satisfactory control strategies can be computed by exploiting a distributed model predictive control (MPC) approach. To the best of the authors' knowledge, we are the first to study controller synthesis for STREL specifications. A two-layer hierarchical MPC procedure is proposed to efficiently solve the problem, whose soundness and completeness are formally ensured. The effectiveness of the proposed framework is validated by simulation examples.


title: Bayesian Hamiltonian Selection in X-ray Photoelectron Spectroscopy

abstract: Core-level X-ray photoelectron spectroscopy (XPS) is a useful measurement technique for investigating the electronic states of a strongly correlated electron system. Usually, to extract physical information of a target object from a core-level XPS spectrum, we need to set an effective Hamiltonian by physical consideration so as to express complicated electron-to-electron interactions in the transition of core-level XPS, and manually tune the physical parameters of the effective Hamiltonian so as to represent the XPS spectrum. Then, we can extract physical information from the tuned parameters. In this paper, we propose an automated method for analyzing core-level XPS spectra based on the Bayesian model selection framework, which selects the effective Hamiltonian and estimates its parameters automatically. The Bayesian model selection, which often has a large computational cost, was carried out by the exchange Monte Carlo sampling method. By applying our proposed method to the 3$d$ core-level XPS spectra of Ce and La compounds, we confirmed that our proposed method selected an effective Hamiltonian and estimated its parameters appropriately; these results were consistent with conventional knowledge obtained from physical studies. Moreover, using our proposed method, we can also evaluate the uncertainty of its estimation values and clarify why the effective Hamiltonian was selected. Such information is difficult to obtain by the conventional analysis method.


title: Stochastic Solution of Elliptic and Parabolic Boundary Value Problems for the Spectral Fractional Laplacian

abstract: We prove and implement stochastic solution (or Feynman-Kac) formulas for boundary value problems involving the spectral fractional Laplacian with nonzero Dirichlet boundary condition. The main tools used in the proofs are the abstract Cauchy problem for Feller semigroups together with Balakrishnan's theory of fractional powers. We show the the spectral fractional Laplacian with nonzero Dirichlet boundary conditions is the generator of an appropriate Feller semigroup for subordinate stopped Brownian motion, and obtain a stochastic solution formula for the fractional heat equation in a bounded domain. We then obtain precise regularity and steady-state convergence properties of the parabolic problem using the eigenfunction expansion of the classical solution, which leads to estimates for the survival probability of subordinate stopped Brownian motion. These results allow us to take the long-time limit in the parabolic formula to establish a stochastic solution formula for the Dirichlet boundary value problem. These stochastic solution formulas for the spectral fractional Laplacian with nonzero boundary conditions are novel, and allow for efficient, embarrassingly parallel local solution of the above boundary value problems. We discuss the discretization of these formulas, and verify them in dimensions two and three with benchmark examples. We study the effect of the number of path samples and the time step size for path discretization on the accuracy of the solution.